user=mdettweiler [2019-01-16 00:07:28] 705*2^1532651-1 is not prime. Res64: CACB3A8A404B0150 Time : 0.0 sec. user=mdettweiler [2019-01-16 00:07:29] 759*2^1532651-1 is not prime. Res64: 58E8BB86A07F2229 Time : 0.0 sec. user=mdettweiler [2019-01-16 00:07:30] 825*2^1532651-1 is not prime. Res64: 32C2178EC745E235 Time : 0.0 sec. user=mdettweiler [2019-01-16 00:07:31] 883*2^1532651-1 is not prime. Res64: 14B8566A9E415894 Time : 0.0 sec. user=mdettweiler [2019-01-16 00:07:32] 943*2^1532651-1 is not prime. Res64: FB4FB3AF1C984A3A Time : 0.0 sec. user=mdettweiler [2019-01-16 00:18:33] 973*2^1532651-1 is not prime. Res64: 7DEA6283E7E2BBEE Time : 0.0 sec. user=mdettweiler [2019-01-16 00:18:33] 653*2^1532652-1 is not prime. Res64: 7291A3D93AA2C061 Time : 0.0 sec. user=mdettweiler [2019-01-16 00:18:34] 719*2^1532652-1 is not prime. Res64: 2761EAA586CA1FE5 Time : 0.0 sec. user=mdettweiler [2019-01-16 00:18:34] 867*2^1532652-1 is not prime. Res64: D6DADA9B254BF3D8 Time : 0.0 sec. user=mdettweiler [2019-01-16 00:18:34] 873*2^1532652-1 is not prime. Res64: 272749F25E7240F9 Time : 0.0 sec. user=mdettweiler [2019-01-16 00:31:18] 879*2^1532652-1 is not prime. Res64: D5BCBF7507CAD2D5 Time : 0.0 sec. user=mdettweiler [2019-01-16 00:31:19] 899*2^1532652-1 is not prime. Res64: CC106E02553AC81C Time : 0.0 sec. user=mdettweiler [2019-01-16 00:31:21] 903*2^1532652-1 is not prime. Res64: 239061972E51A297 Time : 0.0 sec. user=mdettweiler [2019-01-16 00:31:22] 909*2^1532652-1 is not prime. Res64: 4326CA9341767D54 Time : 0.0 sec. user=mdettweiler [2019-01-16 00:31:24] 681*2^1532653-1 is not prime. Res64: 29213B88A83CB416 Time : 0.0 sec. user=mdettweiler [2019-01-16 00:41:18] 951*2^1532653-1 is not prime. Res64: A26F3536F1E6BDEE Time : 0.0 sec. user=mdettweiler [2019-01-16 00:41:18] 987*2^1532653-1 is not prime. Res64: AEC2272D9F429DA4 Time : 0.0 sec. user=mdettweiler [2019-01-16 00:41:19] 623*2^1532654-1 is not prime. Res64: 47F74EF96EDE77B8 Time : 0.0 sec. user=mdettweiler [2019-01-16 00:41:19] 641*2^1532654-1 is not prime. Res64: 1F2E72B7AA7FEFE4 Time : 0.0 sec. user=mdettweiler [2019-01-16 00:41:20] 731*2^1532654-1 is not prime. Res64: E8C2C1429402D555 Time : 0.0 sec. user=mdettweiler [2019-01-16 01:01:44] 741*2^1532654-1 is not prime. Res64: 315CF632E883736A Time : 0.0 sec. user=mdettweiler [2019-01-16 01:01:45] 825*2^1532654-1 is not prime. Res64: E3948B87C7CE7F96 Time : 0.0 sec. user=mdettweiler [2019-01-16 01:01:47] 921*2^1532654-1 is not prime. Res64: F7BA2A576008948F Time : 0.0 sec. user=mdettweiler [2019-01-16 01:01:51] 663*2^1532655-1 is not prime. Res64: FE241438FFB76EF9 Time : 0.0 sec. user=mdettweiler [2019-01-16 01:01:53] 669*2^1532655-1 is not prime. Res64: 053C6CBD1A4ABE69 Time : 0.0 sec. user=mdettweiler [2019-01-16 01:12:47] 763*2^1532655-1 is not prime. Res64: 8590F835358F74B9 Time : 0.0 sec. user=mdettweiler [2019-01-16 01:12:48] 825*2^1532655-1 is not prime. Res64: 569073B8DDFB6036 Time : 0.0 sec. user=mdettweiler [2019-01-16 01:12:48] 895*2^1532655-1 is not prime. Res64: BCB1A35AF73D842D Time : 0.0 sec. user=mdettweiler [2019-01-16 01:12:49] 961*2^1532655-1 is not prime. Res64: 9611F57F1900D2F7 Time : 0.0 sec. user=mdettweiler [2019-01-16 01:12:49] 963*2^1532655-1 is not prime. Res64: 56000930ECEEE86B Time : 0.0 sec. user=mdettweiler [2019-01-16 01:22:42] 999*2^1532655-1 is not prime. Res64: B14B806AE05602E5 Time : 0.0 sec. user=mdettweiler [2019-01-16 01:22:48] 609*2^1532656-1 is not prime. Res64: 4EC4EE4380E81122 Time : 0.0 sec. user=mdettweiler [2019-01-16 01:22:52] 615*2^1532656-1 is not prime. Res64: EB6072864A2F890C Time : 0.0 sec. user=mdettweiler [2019-01-16 01:22:57] 707*2^1532656-1 is not prime. Res64: 4FFBF1EE42221D1A Time : 0.0 sec. user=mdettweiler [2019-01-16 01:22:58] 747*2^1532656-1 is not prime. Res64: E7BC4D1379B452A6 Time : 0.0 sec. user=mdettweiler [2019-01-16 01:35:23] 993*2^1532656-1 is not prime. Res64: 1FCF2A523591CBED Time : 0.0 sec. user=mdettweiler [2019-01-16 01:35:24] 607*2^1532657-1 is not prime. Res64: 197C866F4771E5BF Time : 0.0 sec. user=mdettweiler [2019-01-16 01:35:24] 615*2^1532657-1 is not prime. Res64: 8CF358F22802C92F Time : 0.0 sec. user=mdettweiler [2019-01-16 01:35:25] 675*2^1532657-1 is not prime. Res64: 618D43289ABDC0CA Time : 0.0 sec. user=mdettweiler [2019-01-16 01:35:25] 837*2^1532657-1 is not prime. Res64: D558EC47A96C8546 Time : 0.0 sec. user=mdettweiler [2019-01-16 01:53:37] 841*2^1532657-1 is not prime. Res64: 2568828AEE08E621 Time : 0.0 sec. user=mdettweiler [2019-01-16 01:53:38] 889*2^1532657-1 is not prime. Res64: 7E272AB68AB42D08 Time : 0.0 sec. user=mdettweiler [2019-01-16 01:53:38] 937*2^1532657-1 is not prime. Res64: 6A9761384FB31AE6 Time : 0.0 sec. user=mdettweiler [2019-01-16 01:53:38] 957*2^1532657-1 is not prime. Res64: A8D4249B2CCD3E83 Time : 0.0 sec. user=mdettweiler [2019-01-16 01:53:41] 657*2^1532658-1 is not prime. Res64: 5379559DFAC1FBE0 Time : 0.0 sec. user=mdettweiler [2019-01-16 02:06:16] 665*2^1532658-1 is not prime. Res64: E6AD12F4AFB6DC6B Time : 0.0 sec. user=mdettweiler [2019-01-16 02:06:17] 671*2^1532658-1 is not prime. Res64: DBAF250CDDC43A92 Time : 0.0 sec. user=mdettweiler [2019-01-16 02:06:18] 725*2^1532658-1 is not prime. Res64: 00ED3F32D44A1D99 Time : 0.0 sec. user=mdettweiler [2019-01-16 02:06:19] 737*2^1532658-1 is not prime. Res64: 98B240CBC9088FC9 Time : 0.0 sec. user=mdettweiler [2019-01-16 02:06:19] 801*2^1532658-1 is not prime. Res64: F41FE42674D2BBAF Time : 0.0 sec. user=mdettweiler [2019-01-16 02:16:02] 631*2^1532659-1 is not prime. Res64: 9EA3AAE8AA7786FE Time : 0.0 sec. user=mdettweiler [2019-01-16 02:16:02] 649*2^1532659-1 is not prime. Res64: 6A2AD3E52371E36B Time : 0.0 sec. user=mdettweiler [2019-01-16 02:16:03] 679*2^1532659-1 is not prime. Res64: AB50CD51482F3CD3 Time : 0.0 sec. user=mdettweiler [2019-01-16 02:16:03] 843*2^1532659-1 is not prime. Res64: BEB1EC59FDB649FF Time : 0.0 sec. user=mdettweiler [2019-01-16 02:16:03] 919*2^1532659-1 is not prime. Res64: 53F2EF4B6DFB1AF9 Time : 0.0 sec. user=mdettweiler [2019-01-16 02:28:19] 985*2^1532659-1 is not prime. Res64: 2B800421D8AEF27D Time : 0.0 sec. user=mdettweiler [2019-01-16 02:28:23] 603*2^1532660-1 is not prime. Res64: 0AA3A052CD6A8ED3 Time : 0.0 sec. user=mdettweiler [2019-01-16 02:28:27] 699*2^1532660-1 is not prime. Res64: 2CC106280CED3609 Time : 0.0 sec. user=mdettweiler [2019-01-16 02:28:31] 725*2^1532660-1 is not prime. Res64: AF2A3851B1F1B8A0 Time : 0.0 sec. user=mdettweiler [2019-01-16 02:28:31] 825*2^1532660-1 is not prime. Res64: FFC41CD105FA0C86 Time : 0.0 sec. user=mdettweiler [2019-01-16 02:49:27] 855*2^1532660-1 is not prime. Res64: 74C56C6D4BB5DE1B Time : 0.0 sec. user=mdettweiler [2019-01-16 02:49:28] 875*2^1532660-1 is not prime. Res64: 7EDFEA6B03073C41 Time : 0.0 sec. user=mdettweiler [2019-01-16 02:49:29] 879*2^1532660-1 is not prime. Res64: 043741FC42032E29 Time : 0.0 sec. user=mdettweiler [2019-01-16 02:49:29] 649*2^1532661-1 is not prime. Res64: 889BC11E411DE21E Time : 0.0 sec. user=mdettweiler [2019-01-16 02:49:30] 835*2^1532661-1 is not prime. Res64: 57E97C8659DFA3C7 Time : 0.0 sec. user=mdettweiler [2019-01-16 02:58:31] 837*2^1532661-1 is not prime. Res64: 7F16DB22844C0EC4 Time : 0.0 sec. user=mdettweiler [2019-01-16 02:58:32] 877*2^1532661-1 is not prime. Res64: 2874E99F29DFD383 Time : 0.0 sec. user=mdettweiler [2019-01-16 02:58:32] 895*2^1532661-1 is not prime. Res64: FCF3997C1663C853 Time : 0.0 sec. user=mdettweiler [2019-01-16 02:58:33] 945*2^1532661-1 is not prime. Res64: 070AC9FA49D327BD Time : 0.0 sec. user=mdettweiler [2019-01-16 02:58:36] 969*2^1532661-1 is not prime. Res64: 451ABC30B673A925 Time : 0.0 sec. user=mdettweiler [2019-01-16 03:09:35] 987*2^1532661-1 is not prime. Res64: 5FE0FA834483D489 Time : 0.0 sec. user=mdettweiler [2019-01-16 03:21:34] 885*2^1532662-1 is not prime. Res64: CD668B3AF8DC7C6C Time : 0.0 sec. user=mdettweiler [2019-01-16 03:21:34] 887*2^1532662-1 is not prime. Res64: A13123795B003EC3 Time : 0.0 sec. user=mdettweiler [2019-01-16 03:21:35] 951*2^1532662-1 is not prime. Res64: 303302013E89A270 Time : 0.0 sec. user=mdettweiler [2019-01-16 03:21:36] 965*2^1532662-1 is not prime. Res64: 84E21B6FBDCC6736 Time : 0.0 sec. user=mdettweiler [2019-01-16 03:21:39] 1001*2^1532662-1 is not prime. Res64: 452CAD96074368E9 Time : 0.0 sec. user=mdettweiler [2019-01-16 03:45:30] 615*2^1532663-1 is not prime. Res64: 88F153F62D75A167 Time : 0.0 sec. user=mdettweiler [2019-01-16 03:45:34] 715*2^1532663-1 is not prime. Res64: 1317AB2752DC408D Time : 0.0 sec. user=mdettweiler [2019-01-16 03:45:38] 753*2^1532663-1 is not prime. Res64: A270F8DA9080314F Time : 0.0 sec. user=mdettweiler [2019-01-16 03:45:42] 759*2^1532663-1 is not prime. Res64: E94BC0692FE9C839 Time : 0.0 sec. user=mdettweiler [2019-01-16 03:45:43] 885*2^1532663-1 is not prime. Res64: A223A3A161DD3E3D Time : 0.0 sec. user=mdettweiler [2019-01-16 03:52:28] 915*2^1532663-1 is not prime. Res64: FABE23945AD0BBF2 Time : 0.0 sec. user=mdettweiler [2019-01-16 03:52:29] 939*2^1532663-1 is not prime. Res64: 140683FD968C2A6B Time : 0.0 sec. user=mdettweiler [2019-01-16 03:52:30] 943*2^1532663-1 is not prime. Res64: AA4291A2CC5B5387 Time : 0.0 sec. user=mdettweiler [2019-01-16 03:52:30] 945*2^1532663-1 is not prime. Res64: BCF11C2CBE3C6B91 Time : 0.0 sec. user=mdettweiler [2019-01-16 03:52:31] 963*2^1532663-1 is not prime. Res64: A32CE6BA417ADD0F Time : 0.0 sec. user=mdettweiler [2019-01-16 04:14:02] 969*2^1532663-1 is not prime. Res64: 699F1DE6C26A16C6 Time : 0.0 sec. user=mdettweiler [2019-01-16 04:14:07] 683*2^1532664-1 is not prime. Res64: D885A57A6BE6674B Time : 0.0 sec. user=mdettweiler [2019-01-16 04:14:08] 759*2^1532664-1 is not prime. Res64: 2D747BBE32636DD3 Time : 0.0 sec. user=mdettweiler [2019-01-16 04:14:12] 809*2^1532664-1 is not prime. Res64: 3E36C92DEDD2CFA4 Time : 0.0 sec. user=mdettweiler [2019-01-16 04:14:13] 927*2^1532664-1 is not prime. Res64: C6EC2CFF1028AB85 Time : 0.0 sec. user=mdettweiler [2019-01-16 04:37:41] 959*2^1532664-1 is not prime. Res64: 9F32FC7378E7E96D Time : 0.0 sec. user=mdettweiler [2019-01-16 04:37:41] 691*2^1532665-1 is not prime. Res64: F80BE349BB8743D0 Time : 0.0 sec. user=mdettweiler [2019-01-16 04:37:42] 855*2^1532665-1 is not prime. Res64: 81FF8AA7AC88A405 Time : 0.0 sec. user=mdettweiler [2019-01-16 04:37:42] 861*2^1532665-1 is not prime. Res64: FEA7803FD3A6D106 Time : 0.0 sec. user=mdettweiler [2019-01-16 04:37:43] 895*2^1532665-1 is not prime. Res64: 3EC6A1C2963B6004 Time : 0.0 sec. user=mdettweiler [2019-01-16 04:44:37] 897*2^1532665-1 is not prime. Res64: 3B61C35D08E2D370 Time : 0.0 sec. user=mdettweiler [2019-01-16 04:44:40] 623*2^1532666-1 is not prime. Res64: 6F545B1EADF9AC96 Time : 0.0 sec. user=mdettweiler [2019-01-16 04:44:43] 641*2^1532666-1 is not prime. Res64: ECB6D2E5908BE2E9 Time : 0.0 sec. user=mdettweiler [2019-01-16 04:44:46] 671*2^1532666-1 is not prime. Res64: 8F530CA526C2A37F Time : 0.0 sec. user=mdettweiler [2019-01-16 04:44:49] 713*2^1532666-1 is not prime. Res64: D19B25D6424EE3A4 Time : 0.0 sec. user=mdettweiler [2019-01-16 05:06:17] 741*2^1532666-1 is not prime. Res64: CE7FBFAFD26013A0 Time : 0.0 sec. user=mdettweiler [2019-01-16 05:06:18] 813*2^1532666-1 is not prime. Res64: 581A1A18627B492B Time : 0.0 sec. user=mdettweiler [2019-01-16 05:06:20] 903*2^1532666-1 is not prime. Res64: 828C4C1D41E7CE6D Time : 0.0 sec. user=mdettweiler [2019-01-16 05:06:21] 1001*2^1532666-1 is not prime. Res64: BD698296E18A6A18 Time : 0.0 sec. user=mdettweiler [2019-01-16 05:06:23] 633*2^1532667-1 is not prime. Res64: BF31DEA7F982C83A Time : 0.0 sec. user=mdettweiler [2019-01-16 05:29:28] 741*2^1532667-1 is not prime. Res64: 230D81ECA60FE0B3 Time : 0.0 sec. user=mdettweiler [2019-01-16 05:29:28] 835*2^1532667-1 is not prime. Res64: CE89F6BFF20EA246 Time : 0.0 sec. user=mdettweiler [2019-01-16 05:29:29] 901*2^1532667-1 is not prime. Res64: 3BCA8AAC66E8E288 Time : 0.0 sec. user=mdettweiler [2019-01-16 05:29:29] 963*2^1532667-1 is not prime. Res64: CB2548230FCC687A Time : 0.0 sec. user=mdettweiler [2019-01-16 05:29:30] 605*2^1532668-1 is not prime. Res64: 58959D33256FD8CC Time : 0.0 sec. user=mdettweiler [2019-01-16 05:36:53] 647*2^1532668-1 is not prime. Res64: 3D22907E4107ACBB Time : 0.0 sec. user=mdettweiler [2019-01-16 05:36:54] 707*2^1532668-1 is not prime. Res64: F390967C89C6FE32 Time : 0.0 sec. user=mdettweiler [2019-01-16 05:36:54] 783*2^1532668-1 is not prime. Res64: 193F9B2D91C52121 Time : 0.0 sec. user=mdettweiler [2019-01-16 05:36:54] 923*2^1532668-1 is not prime. Res64: E5F42F457E2261C0 Time : 0.0 sec. user=mdettweiler [2019-01-16 05:36:55] 621*2^1532669-1 is not prime. Res64: AC5485980E66B400 Time : 0.0 sec. user=mdettweiler [2019-01-16 06:00:27] 775*2^1532669-1 is not prime. Res64: 25215E3BA360D9D8 Time : 0.0 sec. user=mdettweiler [2019-01-16 06:00:28] 787*2^1532669-1 is not prime. Res64: 7FECC70A4E0E81A8 Time : 0.0 sec. user=mdettweiler [2019-01-16 06:00:29] 829*2^1532669-1 is not prime. Res64: 13347B0855C5CE87 Time : 0.0 sec. user=mdettweiler [2019-01-16 06:00:30] 711*2^1532670-1 is not prime. Res64: 1E1F033A2CC963FA Time : 0.0 sec. user=mdettweiler [2019-01-16 06:00:31] 791*2^1532670-1 is not prime. Res64: 3D67C31C5E179956 Time : 0.0 sec. user=mdettweiler [2019-01-16 06:22:27] 917*2^1532670-1 is not prime. Res64: 1B8CBB6F91CD350D Time : 0.0 sec. user=mdettweiler [2019-01-16 06:22:28] 927*2^1532670-1 is not prime. Res64: A2EFCFB3B095FB04 Time : 0.0 sec. user=mdettweiler [2019-01-16 06:22:28] 977*2^1532670-1 is not prime. Res64: 1F7F75F0801E0A96 Time : 0.0 sec. user=mdettweiler [2019-01-16 06:22:31] 639*2^1532671-1 is not prime. Res64: F11E45CF846EB084 Time : 0.0 sec. user=mdettweiler [2019-01-16 06:22:35] 645*2^1532671-1 is not prime. Res64: 0B40ACE6FE95AAD8 Time : 0.0 sec. user=mdettweiler [2019-01-16 06:30:21] 703*2^1532671-1 is not prime. Res64: D4D70648EE5517D6 Time : 0.0 sec. user=mdettweiler [2019-01-16 06:30:22] 709*2^1532671-1 is not prime. Res64: 0BE8EC1E9257AB1C Time : 0.0 sec. user=mdettweiler [2019-01-16 06:30:22] 769*2^1532671-1 is not prime. Res64: 3CD5DF77301446C4 Time : 0.0 sec. user=mdettweiler [2019-01-16 06:30:23] 811*2^1532671-1 is not prime. Res64: 5B89C8A970A45E30 Time : 0.0 sec. user=mdettweiler [2019-01-16 06:30:23] 819*2^1532671-1 is not prime. Res64: 5A04760E4CCC5842 Time : 0.0 sec. user=mdettweiler [2019-01-16 06:54:12] 885*2^1532671-1 is not prime. Res64: 8274CE4DB06B3904 Time : 0.0 sec. user=mdettweiler [2019-01-16 06:54:15] 891*2^1532671-1 is not prime. Res64: 529B9513E22B65F0 Time : 0.0 sec. user=mdettweiler [2019-01-16 06:54:16] 975*2^1532671-1 is not prime. Res64: FFBEFA9A7A078EBA Time : 0.0 sec. user=mdettweiler [2019-01-16 06:54:19] 683*2^1532672-1 is not prime. Res64: A09689E4A6635E5C Time : 0.0 sec. user=mdettweiler [2019-01-16 06:54:20] 735*2^1532672-1 is not prime. Res64: 5687113334952525 Time : 0.0 sec. user=mdettweiler [2019-01-16 07:16:17] 797*2^1532672-1 is not prime. Res64: F221DA5BC8123192 Time : 0.0 sec. user=mdettweiler [2019-01-16 07:16:18] 873*2^1532672-1 is not prime. Res64: A7CB4A070B0581B0 Time : 0.0 sec. user=mdettweiler [2019-01-16 07:16:18] 915*2^1532672-1 is not prime. Res64: 0CC96A9258972EF1 Time : 0.0 sec. user=mdettweiler [2019-01-16 07:16:19] 817*2^1532673-1 is not prime. Res64: 5A1D5D00CDA7464B Time : 0.0 sec. user=mdettweiler [2019-01-16 07:16:19] 891*2^1532673-1 is not prime. Res64: 06471A915B30B7D8 Time : 0.0 sec. user=mdettweiler [2019-01-16 07:24:54] 969*2^1532673-1 is not prime. Res64: 6BA92C9A0FA5BC63 Time : 0.0 sec. user=mdettweiler [2019-01-16 07:24:57] 633*2^1532674-1 is not prime. Res64: FF85AA531F962644 Time : 0.0 sec. user=mdettweiler [2019-01-16 07:25:01] 657*2^1532674-1 is not prime. Res64: B27C73F1F891E848 Time : 0.0 sec. user=mdettweiler [2019-01-16 07:25:04] 717*2^1532674-1 is not prime. Res64: 97745713A9FE28B6 Time : 0.0 sec. user=mdettweiler [2019-01-16 07:25:04] 785*2^1532674-1 is not prime. Res64: BF0C343D0238EFC2 Time : 0.0 sec. user=mdettweiler [2019-01-16 07:39:33] 785*2^1532662-1 is not prime. Res64: F7BAFECFE51B3BEB Time : 0.0 sec. user=mdettweiler [2019-01-16 07:39:33] 815*2^1532662-1 is not prime. Res64: 27EC9024BE94740A Time : 0.0 sec. user=mdettweiler [2019-01-16 07:39:34] 857*2^1532662-1 is not prime. Res64: 8D0CD0B494A2B1CF Time : 0.0 sec. user=mdettweiler [2019-01-16 07:39:34] 867*2^1532662-1 is not prime. Res64: 127C9AEED4BD4CA1 Time : 0.0 sec. user=mdettweiler [2019-01-16 07:49:12] 815*2^1532674-1 is not prime. Res64: 942DC9A36E3F5751 Time : 0.0 sec. user=mdettweiler [2019-01-16 07:49:13] 857*2^1532674-1 is not prime. Res64: 3F7C2C33BB10E043 Time : 0.0 sec. user=mdettweiler [2019-01-16 07:49:15] 903*2^1532674-1 is not prime. Res64: B045B8D36EC70A5C Time : 0.0 sec. user=mdettweiler [2019-01-16 07:49:15] 915*2^1532674-1 is not prime. Res64: 1C06A34C3A61BFB4 Time : 0.0 sec. user=mdettweiler [2019-01-16 07:49:16] 951*2^1532674-1 is not prime. Res64: 5B328F4EBDA37F5B Time : 0.0 sec. user=mdettweiler [2019-01-16 08:09:01] 673*2^1532675-1 is not prime. Res64: C5EE14FC85A76AB3 Time : 0.0 sec. user=mdettweiler [2019-01-16 08:09:02] 675*2^1532675-1 is not prime. Res64: D875EB41C0834387 Time : 0.0 sec. user=mdettweiler [2019-01-16 08:09:03] 759*2^1532675-1 is not prime. Res64: BAA200706956D319 Time : 0.0 sec. user=mdettweiler [2019-01-16 08:09:03] 819*2^1532675-1 is not prime. Res64: 5DD9545AA70B6481 Time : 0.0 sec. user=mdettweiler [2019-01-16 08:09:03] 979*2^1532675-1 is not prime. Res64: A3EE379A2285F3E3 Time : 0.0 sec. user=mdettweiler [2019-01-16 08:17:45] 991*2^1532675-1 is not prime. Res64: 53F494CF3E3B752B Time : 0.0 sec. user=mdettweiler [2019-01-16 08:17:46] 629*2^1532676-1 is not prime. Res64: 53AC2FDA3C23241A Time : 0.0 sec. user=mdettweiler [2019-01-16 08:17:46] 947*2^1532676-1 is not prime. Res64: 2B03DB55D011049A Time : 0.0 sec. user=mdettweiler [2019-01-16 08:17:47] 983*2^1532676-1 is not prime. Res64: 951860BD131F9192 Time : 0.0 sec. user=mdettweiler [2019-01-16 08:17:47] 609*2^1532677-1 is not prime. Res64: AFA8B7855369DE2E Time : 0.0 sec. user=mdettweiler [2019-01-16 08:31:15] 649*2^1532677-1 is not prime. Res64: ED3143B31EA4206E Time : 0.0 sec. user=mdettweiler [2019-01-16 08:31:19] 651*2^1532677-1 is not prime. Res64: 2BDE0D19A865A458 Time : 0.0 sec. user=mdettweiler [2019-01-16 08:31:19] 765*2^1532677-1 is not prime. Res64: 20896DC254A562BA Time : 0.0 sec. user=mdettweiler [2019-01-16 08:31:23] 777*2^1532677-1 is not prime. Res64: C0E8CA12C03158CB Time : 0.0 sec. user=mdettweiler [2019-01-16 08:31:23] 801*2^1532677-1 is not prime. Res64: 992974D6B690996C Time : 0.0 sec. user=mdettweiler [2019-01-16 08:41:00] 829*2^1532677-1 is not prime. Res64: 23C8BC5EF48FFE76 Time : 0.0 sec. user=mdettweiler [2019-01-16 08:41:00] 901*2^1532677-1 is not prime. Res64: 0F106EBB4D18DB8C Time : 0.0 sec. user=mdettweiler [2019-01-16 08:41:00] 939*2^1532677-1 is not prime. Res64: 8BC94B372D406354 Time : 0.0 sec. user=mdettweiler [2019-01-16 08:41:01] 617*2^1532678-1 is not prime. Res64: DBB47B8D4FAE9697 Time : 0.0 sec. user=mdettweiler [2019-01-16 08:41:01] 707*2^1532678-1 is not prime. Res64: 0BA4548070B7DEB4 Time : 0.0 sec. user=mdettweiler [2019-01-16 09:01:20] 825*2^1532678-1 is not prime. Res64: 2A47811F66AC0F48 Time : 0.0 sec. user=mdettweiler [2019-01-16 09:01:21] 893*2^1532678-1 is not prime. Res64: A95F43103F0477E3 Time : 0.0 sec. user=mdettweiler [2019-01-16 09:01:22] 897*2^1532678-1 is not prime. Res64: 688A7DF687774A47 Time : 0.0 sec. user=mdettweiler [2019-01-16 09:01:23] 911*2^1532678-1 is not prime. Res64: FAB0E578589C0460 Time : 0.0 sec. user=mdettweiler [2019-01-16 09:01:24] 675*2^1532679-1 is not prime. Res64: B5C630FEF549232B Time : 0.0 sec. user=mdettweiler [2019-01-16 09:09:13] 693*2^1532679-1 is not prime. Res64: B38C45F3E2B1F070 Time : 0.0 sec. user=mdettweiler [2019-01-16 09:09:14] 745*2^1532679-1 is not prime. Res64: 307B5E758D21D76A Time : 0.0 sec. user=mdettweiler [2019-01-16 09:09:14] 829*2^1532679-1 is not prime. Res64: 5962142EBA0FE805 Time : 0.0 sec. user=mdettweiler [2019-01-16 09:09:15] 891*2^1532679-1 is not prime. Res64: 03B6990070E5AF02 Time : 0.0 sec. user=mdettweiler [2019-01-16 09:09:15] 909*2^1532679-1 is not prime. Res64: AA52A293E515059E Time : 0.0 sec. user=mdettweiler [2019-01-16 09:22:53] 955*2^1532679-1 is not prime. Res64: D61DD2E650D7FFF9 Time : 0.0 sec. user=mdettweiler [2019-01-16 09:22:56] 605*2^1532680-1 is not prime. Res64: 1DBD66979367CAC1 Time : 0.0 sec. user=mdettweiler [2019-01-16 09:22:59] 609*2^1532680-1 is not prime. Res64: 87C92F34A61C8868 Time : 0.0 sec. user=mdettweiler [2019-01-16 09:23:02] 615*2^1532680-1 is not prime. Res64: 4FA7FCBEB7E5FEC7 Time : 0.0 sec. user=mdettweiler [2019-01-16 09:23:04] 623*2^1532680-1 is not prime. Res64: 351E4A05CAF23418 Time : 0.0 sec. user=mdettweiler [2019-01-16 09:33:08] 635*2^1532680-1 is not prime. Res64: 1743CC628F5E89E4 Time : 0.0 sec. user=mdettweiler [2019-01-16 09:33:08] 663*2^1532680-1 is not prime. Res64: CB9AA29E4AD9B4FA Time : 0.0 sec. user=mdettweiler [2019-01-16 09:33:09] 747*2^1532680-1 is not prime. Res64: 0856C005DB251454 Time : 0.0 sec. user=mdettweiler [2019-01-16 09:33:09] 827*2^1532680-1 is not prime. Res64: FC1A536A2D881D15 Time : 0.0 sec. user=mdettweiler [2019-01-16 09:33:10] 711*2^1532681-1 is not prime. Res64: CD977193DED51689 Time : 0.0 sec. user=mdettweiler [2019-01-16 09:53:06] 741*2^1532681-1 is not prime. Res64: 09C1ECCDA012B78C Time : 0.0 sec. user=mdettweiler [2019-01-16 09:53:09] 745*2^1532681-1 is not prime. Res64: B796E776E0051515 Time : 0.0 sec. user=mdettweiler [2019-01-16 09:53:09] 907*2^1532681-1 is not prime. Res64: 5F6D08949A2CCDE0 Time : 0.0 sec. user=mdettweiler [2019-01-16 09:53:09] 925*2^1532681-1 is not prime. Res64: 132B824E7FCE9E8B Time : 0.0 sec. user=mdettweiler [2019-01-16 09:53:12] 955*2^1532681-1 is not prime. Res64: 202FBA05C650D6AE Time : 0.0 sec. user=mdettweiler [2019-01-16 10:01:15] 987*2^1532681-1 is not prime. Res64: 176FEB1181F28E58 Time : 0.0 sec. user=mdettweiler [2019-01-16 10:01:16] 621*2^1532682-1 is not prime. Res64: 1146D59B671CB05D Time : 0.0 sec. user=mdettweiler [2019-01-16 10:01:17] 633*2^1532682-1 is not prime. Res64: 166C54429B8D73E5 Time : 0.0 sec. user=mdettweiler [2019-01-16 10:01:18] 725*2^1532682-1 is not prime. Res64: F74A1AE7B18144D1 Time : 0.0 sec. user=mdettweiler [2019-01-16 10:01:19] 765*2^1532682-1 is not prime. Res64: CD707F83A61C5CB0 Time : 0.0 sec. user=mdettweiler [2019-01-16 10:10:35] 805*2^1532687-1 is not prime. Res64: 86B72262947CB52C Time : 0.0 sec. user=mdettweiler [2019-01-16 10:14:54] 873*2^1532682-1 is not prime. Res64: 75DFEDB383E10CD2 Time : 0.0 sec. user=mdettweiler [2019-01-16 10:14:54] 873*2^1532683-1 is not prime. Res64: A02BB3D4C5F389A3 Time : 0.0 sec. user=mdettweiler [2019-01-16 10:14:55] 925*2^1532683-1 is not prime. Res64: 3263B7A28B132051 Time : 0.0 sec. user=mdettweiler [2019-01-16 10:14:55] 939*2^1532683-1 is not prime. Res64: 882909E99AD9EF80 Time : 0.0 sec. user=mdettweiler [2019-01-16 10:14:56] 605*2^1532684-1 is not prime. Res64: 4CEB1F319E6BC278 Time : 0.0 sec. user=mdettweiler [2019-01-16 10:25:20] 875*2^1532684-1 is not prime. Res64: 4C539AF274314600 Time : 0.0 sec. user=mdettweiler [2019-01-16 10:25:23] 927*2^1532684-1 is not prime. Res64: E4E3057F1231C0A9 Time : 0.0 sec. user=mdettweiler [2019-01-16 10:25:24] 957*2^1532684-1 is not prime. Res64: F2255BB1A2685218 Time : 0.0 sec. user=mdettweiler [2019-01-16 10:25:26] 609*2^1532685-1 is not prime. Res64: 67FB9D9D74A8BE97 Time : 0.0 sec. user=mdettweiler [2019-01-16 10:25:29] 625*2^1532685-1 is not prime. Res64: 84BD4E48F0F29E6B Time : 0.0 sec. user=MiHost [2019-01-16 10:45:28] 871*2^1532687-1 is not prime. Res64: E49D798ED748DDBA Time : 0.0 sec. user=mdettweiler [2019-01-16 10:45:51] 735*2^1532685-1 is not prime. Res64: 75E25CF66CD4514E Time : 0.0 sec. user=mdettweiler [2019-01-16 10:45:51] 811*2^1532685-1 is not prime. Res64: 7E534EE9295B2504 Time : 0.0 sec. user=mdettweiler [2019-01-16 10:45:51] 825*2^1532685-1 is not prime. Res64: 45682EE6BE34365C Time : 0.0 sec. user=mdettweiler [2019-01-16 10:45:52] 975*2^1532685-1 is not prime. Res64: 47437F2079BD81FF Time : 0.0 sec. user=mdettweiler [2019-01-16 10:45:52] 713*2^1532686-1 is not prime. Res64: 8B024C4A4E1BB4F6 Time : 0.0 sec. user=mdettweiler [2019-01-16 10:53:57] 891*2^1532686-1 is not prime. Res64: 3D41D720BD0B921E Time : 0.0 sec. user=mdettweiler [2019-01-16 10:53:57] 903*2^1532686-1 is not prime. Res64: 52B190B1112B0706 Time : 0.0 sec. user=mdettweiler [2019-01-16 10:53:58] 993*2^1532686-1 is not prime. Res64: 2ACC4C799DE50EB6 Time : 0.0 sec. user=mdettweiler [2019-01-16 10:54:01] 609*2^1532687-1 is not prime. Res64: B45B7D3AFEF9681E Time : 0.0 sec. user=mdettweiler [2019-01-16 10:54:02] 741*2^1532687-1 is not prime. Res64: 1517E8C4FABC238D Time : 0.0 sec. user=mdettweiler [2019-01-16 11:06:34] 973*2^1532687-1 is not prime. Res64: 4C027D33F5A9F803 Time : 0.0 sec. user=mdettweiler [2019-01-16 11:06:35] 669*2^1532688-1 is not prime. Res64: 0192C108E66D066E Time : 0.0 sec. user=mdettweiler [2019-01-16 11:06:35] 767*2^1532688-1 is not prime. Res64: BC524F3D470D412D Time : 0.0 sec. user=mdettweiler [2019-01-16 11:06:35] 815*2^1532688-1 is not prime. Res64: A0E51090B0F6FB9F Time : 0.0 sec. user=mdettweiler [2019-01-16 11:06:36] 819*2^1532688-1 is not prime. Res64: 171E04C2D0F4E385 Time : 0.0 sec. user=mdettweiler [2019-01-16 11:17:05] 927*2^1532688-1 is not prime. Res64: B67989D583B3779A Time : 0.0 sec. user=mdettweiler [2019-01-16 11:17:05] 929*2^1532688-1 is not prime. Res64: 8ECACB6100E642D2 Time : 0.0 sec. user=mdettweiler [2019-01-16 11:17:05] 601*2^1532689-1 is not prime. Res64: 5B70A86FC8258989 Time : 0.0 sec. user=mdettweiler [2019-01-16 11:17:06] 667*2^1532689-1 is not prime. Res64: 64A056DF55A25021 Time : 0.0 sec. user=mdettweiler [2019-01-16 11:17:06] 685*2^1532689-1 is not prime. Res64: 108CA1BEC08429A6 Time : 0.0 sec. user=MiHost [2019-01-16 11:27:00] 771*2^1532689-1 is not prime. Res64: 9DAF9AF5C4732617 Time : 0.0 sec. user=mdettweiler [2019-01-16 11:38:05] 789*2^1532689-1 is not prime. Res64: 044A5E11564C202B Time : 0.0 sec. user=mdettweiler [2019-01-16 11:38:05] 819*2^1532689-1 is not prime. Res64: 4054035F500630B8 Time : 0.0 sec. user=mdettweiler [2019-01-16 11:38:06] 855*2^1532689-1 is not prime. Res64: 45C9747D93823DCC Time : 0.0 sec. user=mdettweiler [2019-01-16 11:38:06] 895*2^1532689-1 is not prime. Res64: 0462D9C80B612B4A Time : 0.0 sec. user=mdettweiler [2019-01-16 11:38:06] 985*2^1532689-1 is not prime. Res64: 1F08764ED9353877 Time : 0.0 sec. user=mdettweiler [2019-01-16 11:45:56] 657*2^1532690-1 is not prime. Res64: E47D7D956BC7C1AB Time : 0.0 sec. user=mdettweiler [2019-01-16 11:45:56] 713*2^1532690-1 is not prime. Res64: 5E3AD6BCA8AFF702 Time : 0.0 sec. user=mdettweiler [2019-01-16 11:45:56] 755*2^1532690-1 is not prime. Res64: 496819D3B76B2CB2 Time : 0.0 sec. user=mdettweiler [2019-01-16 11:45:57] 797*2^1532690-1 is not prime. Res64: F5068DC1B2A29AE4 Time : 0.0 sec. user=mdettweiler [2019-01-16 11:45:57] 813*2^1532690-1 is not prime. Res64: 16C42A5336C997F9 Time : 0.0 sec. user=mdettweiler [2019-01-16 11:59:03] 601*2^1532691-1 is not prime. Res64: 19EEF0F4BB9785F9 Time : 0.0 sec. user=mdettweiler [2019-01-16 11:59:06] 619*2^1532691-1 is not prime. Res64: 3D9B831781EF8786 Time : 0.0 sec. user=mdettweiler [2019-01-16 11:59:08] 709*2^1532691-1 is not prime. Res64: 09ED7BFD463661F6 Time : 0.0 sec. user=mdettweiler [2019-01-16 11:59:11] 711*2^1532691-1 is not prime. Res64: 7E77DC90573B2449 Time : 0.0 sec. user=mdettweiler [2019-01-16 11:59:14] 823*2^1532691-1 is not prime. Res64: E89C562AD370CD0A Time : 0.0 sec. user=MiHost [2019-01-16 12:09:38] 875*2^1532692-1 is not prime. Res64: 40C8C13D575607F7 Time : 0.0 sec. user=mdettweiler [2019-01-16 12:09:38] 895*2^1532691-1 is not prime. Res64: 4E3361D6EF3E99AE Time : 0.0 sec. user=mdettweiler [2019-01-16 12:09:39] 913*2^1532691-1 is not prime. Res64: 086E5C13E05B8BD8 Time : 0.0 sec. user=mdettweiler [2019-01-16 12:09:39] 921*2^1532691-1 is not prime. Res64: 742BF85EFFBFB058 Time : 0.0 sec. user=mdettweiler [2019-01-16 12:09:40] 677*2^1532692-1 is not prime. Res64: 49DE97E75859BF52 Time : 0.0 sec. user=mdettweiler [2019-01-16 12:09:40] 705*2^1532692-1 is not prime. Res64: AA29065ABF15975E Time : 0.0 sec. user=mdettweiler [2019-01-16 12:30:15] 903*2^1532692-1 is not prime. Res64: 6C1AEC398F48CF45 Time : 0.0 sec. user=mdettweiler [2019-01-16 12:30:16] 923*2^1532692-1 is not prime. Res64: 440C149D30F0528F Time : 0.0 sec. user=mdettweiler [2019-01-16 12:30:16] 975*2^1532692-1 is not prime. Res64: 795E06C60E0C5FB7 Time : 0.0 sec. user=mdettweiler [2019-01-16 12:30:17] 989*2^1532692-1 is not prime. Res64: DA849AA5CF48C801 Time : 0.0 sec. user=mdettweiler [2019-01-16 12:30:20] 615*2^1532693-1 is not prime. Res64: 1C912C427AD84641 Time : 0.0 sec. user=mdettweiler [2019-01-16 12:38:23] 697*2^1532693-1 is not prime. Res64: 14BF482D03100069 Time : 0.0 sec. user=mdettweiler [2019-01-16 12:38:24] 789*2^1532693-1 is not prime. Res64: C826D04E8BE3F4C1 Time : 0.0 sec. user=mdettweiler [2019-01-16 12:38:24] 861*2^1532693-1 is not prime. Res64: 6D446EDCA8A2317E Time : 0.0 sec. user=mdettweiler [2019-01-16 12:38:24] 937*2^1532693-1 is not prime. Res64: A4C5BB725D529D5B Time : 0.0 sec. user=mdettweiler [2019-01-16 12:38:25] 949*2^1532693-1 is not prime. Res64: 518417E4E63A3CCE Time : 0.0 sec. user=mdettweiler [2019-01-16 12:53:16] 985*2^1532693-1 is not prime. Res64: 530E8527C2196F26 Time : 0.0 sec. user=mdettweiler [2019-01-16 12:53:20] 611*2^1532694-1 is not prime. Res64: 38FD4040EDF88E44 Time : 0.0 sec. user=mdettweiler [2019-01-16 12:53:24] 707*2^1532694-1 is not prime. Res64: 28EF0DEA2251F364 Time : 0.0 sec. user=mdettweiler [2019-01-16 12:53:24] 755*2^1532694-1 is not prime. Res64: D38E619B8A1F2051 Time : 0.0 sec. user=mdettweiler [2019-01-16 12:53:27] 917*2^1532694-1 is not prime. Res64: 1750FACA50B5353D Time : 0.0 sec. user=mdettweiler [2019-01-16 13:04:08] 619*2^1532695-1 is not prime. Res64: 08464B846391C786 Time : 0.0 sec. user=mdettweiler [2019-01-16 13:04:09] 673*2^1532695-1 is not prime. Res64: E641A67A18E8459F Time : 0.0 sec. user=mdettweiler [2019-01-16 13:04:11] 675*2^1532695-1 is not prime. Res64: C1D9DAB024328F98 Time : 0.0 sec. user=mdettweiler [2019-01-16 13:04:12] 693*2^1532695-1 is not prime. Res64: 18EEC508B3B0F942 Time : 0.0 sec. user=mdettweiler [2019-01-16 13:04:13] 763*2^1532695-1 is not prime. Res64: 9EF654C6DCC54F4B Time : 0.0 sec. user=mdettweiler [2019-01-16 13:27:54] 951*2^1532694-1 is not prime. Res64: 23AE4989153901AA Time : 0.0 sec. user=mdettweiler [2019-01-16 13:27:59] 805*2^1532695-1 is not prime. Res64: DD310D4EB3C2F14C Time : 0.0 sec. user=mdettweiler [2019-01-16 13:27:59] 873*2^1532695-1 is not prime. Res64: 7FEEAEA05E111DA3 Time : 0.0 sec. user=mdettweiler [2019-01-16 13:27:59] 915*2^1532695-1 is not prime. Res64: 4721DEA6B91C61B2 Time : 0.0 sec. user=mdettweiler [2019-01-16 13:28:00] 999*2^1532695-1 is not prime. Res64: 74DBD5F6CE455288 Time : 0.0 sec. user=mdettweiler [2019-01-16 13:35:17] 659*2^1532696-1 is not prime. Res64: 2486D6BB83FD901E Time : 0.0 sec. user=mdettweiler [2019-01-16 13:35:18] 699*2^1532696-1 is not prime. Res64: CA09BE9FED643C5E Time : 0.0 sec. user=mdettweiler [2019-01-16 13:35:18] 725*2^1532696-1 is not prime. Res64: 23A0EAC3363E140D Time : 0.0 sec. user=mdettweiler [2019-01-16 13:35:19] 789*2^1532696-1 is not prime. Res64: 624927358A02A34B Time : 0.0 sec. user=mdettweiler [2019-01-16 13:35:19] 837*2^1532696-1 is not prime. Res64: 95297584FD26B7B4 Time : 0.0 sec. user=mdettweiler [2019-01-16 13:52:57] 843*2^1532696-1 is not prime. Res64: CC1CCE37B17E019A Time : 0.0 sec. user=mdettweiler [2019-01-16 13:53:01] 651*2^1532697-1 is not prime. Res64: EAD4C0580917FE7D Time : 0.0 sec. user=mdettweiler [2019-01-16 13:53:01] 751*2^1532697-1 is not prime. Res64: F3BCAA28FA191A94 Time : 0.0 sec. user=mdettweiler [2019-01-16 13:53:02] 807*2^1532697-1 is not prime. Res64: 989F7B4979A1A4F4 Time : 0.0 sec. user=mdettweiler [2019-01-16 13:53:05] 831*2^1532697-1 is not prime. Res64: 7889F69021234A8A Time : 0.0 sec. user=mdettweiler [2019-01-16 14:04:05] 835*2^1532697-1 is not prime. Res64: 2F2A1CD1A51F07D2 Time : 0.0 sec. user=mdettweiler [2019-01-16 14:25:39] 735*2^1532698-1 is not prime. Res64: 1573646291F29A25 Time : 0.0 sec. user=mdettweiler [2019-01-16 14:25:42] 803*2^1532698-1 is not prime. Res64: 104483AA405B84B9 Time : 0.0 sec. user=mdettweiler [2019-01-16 14:25:42] 845*2^1532698-1 is not prime. Res64: C4CAAE30101B0017 Time : 0.0 sec. user=mdettweiler [2019-01-16 14:25:45] 885*2^1532698-1 is not prime. Res64: 9D7F25B4A868A900 Time : 0.0 sec. user=mdettweiler [2019-01-16 14:25:45] 993*2^1532698-1 is not prime. Res64: BD2A40922F01B040 Time : 0.0 sec. user=mdettweiler [2019-01-16 14:33:14] 1001*2^1532698-1 is not prime. Res64: 03D93A1F4FA9D485 Time : 0.0 sec. user=mdettweiler [2019-01-16 14:33:18] 619*2^1532699-1 is not prime. Res64: FB80853DC557A0ED Time : 0.0 sec. user=mdettweiler [2019-01-16 14:33:22] 649*2^1532699-1 is not prime. Res64: 1407B4AB3D06D7AD Time : 0.0 sec. user=mdettweiler [2019-01-16 14:33:23] 753*2^1532699-1 is not prime. Res64: 8C8E024A9DE98694 Time : 0.0 sec. user=mdettweiler [2019-01-16 14:33:23] 861*2^1532699-1 is not prime. Res64: 742AFC641AD3EC29 Time : 0.0 sec. user=mdettweiler [2019-01-16 14:46:44] 913*2^1532699-1 is not prime. Res64: E9249CBCDC27E6EC Time : 0.0 sec. user=mdettweiler [2019-01-16 14:46:45] 955*2^1532699-1 is not prime. Res64: F72588EA84250EA6 Time : 0.0 sec. user=mdettweiler [2019-01-16 14:46:45] 979*2^1532699-1 is not prime. Res64: 4E072512C48D302C Time : 0.0 sec. user=mdettweiler [2019-01-16 14:46:46] 675*2^1532700-1 is not prime. Res64: 4F2EF2B52CF66CB3 Time : 0.0 sec. user=mdettweiler [2019-01-16 14:46:46] 783*2^1532700-1 is not prime. Res64: A0851CAC42B20349 Time : 0.0 sec. user=mdettweiler [2019-01-16 15:18:13] 789*2^1532700-1 is not prime. Res64: 9621291AD84D7BF8 Time : 0.0 sec. user=mdettweiler [2019-01-16 15:18:14] 867*2^1532700-1 is not prime. Res64: 0F96341BA11F4489 Time : 0.0 sec. user=mdettweiler [2019-01-16 15:18:14] 927*2^1532700-1 is not prime. Res64: B6E806323EEB5ECC Time : 0.0 sec. user=mdettweiler [2019-01-16 15:18:15] 959*2^1532700-1 is not prime. Res64: ABFEC2AB1B301B7E Time : 0.0 sec. user=mdettweiler [2019-01-16 15:18:15] 999*2^1532700-1 is not prime. Res64: 2F5B77973C34CAB6 Time : 0.0 sec. user=mdettweiler [2019-01-16 22:21:25] 885*2^1532697-1 is not prime. Res64: 066E6557D19B3EA0 Time : 0.0 sec. user=mdettweiler [2019-01-16 22:21:29] 651*2^1532698-1 is not prime. Res64: 1071895511538350 Time : 0.0 sec. user=mdettweiler [2019-01-16 22:21:33] 657*2^1532698-1 is not prime. Res64: C66B7D550D2EAA35 Time : 0.0 sec. user=mdettweiler [2019-01-16 22:21:37] 705*2^1532698-1 is not prime. Res64: 76795807779D1C61 Time : 0.0 sec. user=mdettweiler [2019-01-16 23:18:57] 955*2^1532703-1 is not prime. Res64: 7B13F618C7D15C90 Time : 0.0 sec.