user=mdettweiler [2018-06-03 00:23:26] 675*2^1512064-1 is not prime. Res64: 8F358D97D6CCFAF5 Time : 0.0 sec. user=mdettweiler [2018-06-03 00:23:27] 965*2^1512064-1 is not prime. Res64: A1C2AED8B0EB9D42 Time : 0.0 sec. user=mdettweiler [2018-06-03 00:23:27] 993*2^1512064-1 is not prime. Res64: 5286A455C0EEFBFF Time : 0.0 sec. user=mdettweiler [2018-06-03 00:23:27] 649*2^1512065-1 is not prime. Res64: 18B10773037D9F22 Time : 0.0 sec. user=mdettweiler [2018-06-03 00:23:28] 669*2^1512065-1 is not prime. Res64: ECEB24A9E4891C8B Time : 0.0 sec. user=mdettweiler [2018-06-03 00:23:37] 735*2^1512065-1 is not prime. Res64: 77BB857C76C3FE2E Time : 0.0 sec. user=mdettweiler [2018-06-03 00:23:38] 957*2^1512065-1 is not prime. Res64: 79CE5390E80CFD99 Time : 0.0 sec. user=mdettweiler [2018-06-03 00:23:38] 991*2^1512065-1 is not prime. Res64: 0CFE0517E03CB1A4 Time : 0.0 sec. user=mdettweiler [2018-06-03 00:23:39] 627*2^1512066-1 is not prime. Res64: 560B43E9F0A61168 Time : 0.0 sec. user=mdettweiler [2018-06-03 00:23:39] 695*2^1512066-1 is not prime. Res64: C9B4735D634C7ADD Time : 0.0 sec. user=mdettweiler [2018-06-03 00:35:52] 723*2^1512066-1 is not prime. Res64: D021561C333C86D4 Time : 0.0 sec. user=mdettweiler [2018-06-03 00:35:53] 625*2^1512067-1 is not prime. Res64: 9859BCB4E4B59745 Time : 0.0 sec. user=mdettweiler [2018-06-03 00:35:53] 725*2^1512066-1 is not prime. Res64: 8C913E7D2273E300 Time : 0.0 sec. user=mdettweiler [2018-06-03 00:35:53] 901*2^1512067-1 is not prime. Res64: 43D2B945C8780553 Time : 0.0 sec. user=mdettweiler [2018-06-03 00:35:53] 821*2^1512066-1 is not prime. Res64: 84E3A299D6832A85 Time : 0.0 sec. user=mdettweiler [2018-06-03 00:35:53] 909*2^1512067-1 is not prime. Res64: 8363B600D7769D6E Time : 0.0 sec. user=mdettweiler [2018-06-03 00:35:54] 861*2^1512066-1 is not prime. Res64: E2DE0D2BEF9024EC Time : 0.0 sec. user=mdettweiler [2018-06-03 00:35:54] 961*2^1512067-1 is not prime. Res64: 6FA3F50E74339D95 Time : 0.0 sec. user=mdettweiler [2018-06-03 00:35:54] 923*2^1512066-1 is not prime. Res64: EEC5A52AA12CA3FC Time : 0.0 sec. user=mdettweiler [2018-06-03 00:35:54] 979*2^1512067-1 is not prime. Res64: D0209F855F574EF7 Time : 0.0 sec. user=mdettweiler [2018-06-03 01:14:07] 615*2^1512068-1 is not prime. Res64: DE00E392BD8FB591 Time : 0.0 sec. user=mdettweiler [2018-06-03 01:14:08] 669*2^1512068-1 is not prime. Res64: BF6EA11842A714F5 Time : 0.0 sec. user=mdettweiler [2018-06-03 01:14:09] 707*2^1512068-1 is not prime. Res64: A76FEEB66F0D2791 Time : 0.0 sec. user=mdettweiler [2018-06-03 01:14:09] 839*2^1512068-1 is not prime. Res64: 54BFDB48EFD1D660 Time : 0.0 sec. user=mdettweiler [2018-06-03 01:14:10] 899*2^1512068-1 is not prime. Res64: A32D72C93D10D9D2 Time : 0.0 sec. user=mdettweiler [2018-06-03 01:14:29] 945*2^1512068-1 is not prime. Res64: D55D4832D79E180B Time : 0.0 sec. user=mdettweiler [2018-06-03 01:14:29] 615*2^1512069-1 is not prime. Res64: 694843AE37380705 Time : 0.0 sec. user=mdettweiler [2018-06-03 01:14:29] 667*2^1512069-1 is not prime. Res64: 05698E54C0DE1925 Time : 0.0 sec. user=mdettweiler [2018-06-03 01:14:30] 747*2^1512069-1 is not prime. Res64: E6035AD6D785D57A Time : 0.0 sec. user=mdettweiler [2018-06-03 01:14:30] 829*2^1512069-1 is not prime. Res64: F7585C3418369335 Time : 0.0 sec. user=mdettweiler [2018-06-03 01:27:45] 971*2^1512070-1 is not prime. Res64: AD24ECF15FCC7AFE Time : 0.0 sec. user=mdettweiler [2018-06-03 01:27:50] 649*2^1512071-1 is not prime. Res64: 0E76A8DBAA16206C Time : 0.0 sec. user=mdettweiler [2018-06-03 01:27:55] 895*2^1512069-1 is not prime. Res64: C8A6A9159746E38B Time : 0.0 sec. user=mdettweiler [2018-06-03 01:27:55] 735*2^1512071-1 is not prime. Res64: 859E2F51F0D2E791 Time : 0.0 sec. user=mdettweiler [2018-06-03 01:27:59] 907*2^1512069-1 is not prime. Res64: 97782E6A583D76F2 Time : 0.0 sec. user=mdettweiler [2018-06-03 01:28:01] 843*2^1512071-1 is not prime. Res64: 36643CABA149C351 Time : 0.0 sec. user=mdettweiler [2018-06-03 01:28:01] 741*2^1512070-1 is not prime. Res64: 784718A38BA6C364 Time : 0.0 sec. user=mdettweiler [2018-06-03 01:28:03] 931*2^1512071-1 is not prime. Res64: 173D58605604C234 Time : 0.0 sec. user=mdettweiler [2018-06-03 01:28:05] 773*2^1512070-1 is not prime. Res64: D9536698B068A23B Time : 0.0 sec. user=mdettweiler [2018-06-03 01:28:09] 845*2^1512070-1 is not prime. Res64: ECBB85F1C7991576 Time : 0.0 sec. user=mdettweiler [2018-06-03 02:07:19] 969*2^1512071-1 is not prime. Res64: C6919FB27A974379 Time : 0.0 sec. user=mdettweiler [2018-06-03 02:07:21] 653*2^1512072-1 is not prime. Res64: F67474DB2526281C Time : 0.0 sec. user=mdettweiler [2018-06-03 02:07:23] 777*2^1512072-1 is not prime. Res64: 6382DB26D5A8473B Time : 0.0 sec. user=mdettweiler [2018-06-03 02:07:24] 843*2^1512072-1 is not prime. Res64: 043092B55A52D34D Time : 0.0 sec. user=mdettweiler [2018-06-03 02:07:25] 977*2^1512072-1 is not prime. Res64: A8084E91E2FB2BAA Time : 0.0 sec. user=mdettweiler [2018-06-03 02:08:01] 607*2^1512073-1 is not prime. Res64: 498D2C38C2AEF3D6 Time : 0.0 sec. user=mdettweiler [2018-06-03 02:08:03] 649*2^1512073-1 is not prime. Res64: 0D0FB0D49A276D63 Time : 0.0 sec. user=mdettweiler [2018-06-03 02:08:05] 687*2^1512073-1 is not prime. Res64: 9EE4B61D502DFFBA Time : 0.0 sec. user=mdettweiler [2018-06-03 02:08:06] 729*2^1512073-1 is not prime. Res64: 56576872AF62BFC1 Time : 0.0 sec. user=mdettweiler [2018-06-03 02:08:07] 831*2^1512073-1 is not prime. Res64: 239621FE0259FD28 Time : 0.0 sec. user=mdettweiler [2018-06-03 02:23:50] 835*2^1512073-1 is not prime. Res64: A85961512988B6B4 Time : 0.0 sec. user=mdettweiler [2018-06-03 02:23:51] 939*2^1512073-1 is not prime. Res64: 22E45B6E04BFBE71 Time : 0.0 sec. user=mdettweiler [2018-06-03 02:23:51] 951*2^1512073-1 is not prime. Res64: 26DACE89DAFB73B3 Time : 0.0 sec. user=mdettweiler [2018-06-03 02:23:52] 999*2^1512073-1 is not prime. Res64: DB421F2BA722BE4A Time : 0.0 sec. user=mdettweiler [2018-06-03 02:23:52] 671*2^1512074-1 is not prime. Res64: F5B67D484B305B5E Time : 0.0 sec. user=mdettweiler [2018-06-03 02:24:28] 743*2^1512074-1 is not prime. Res64: 1ADC59AF1A2EF640 Time : 0.0 sec. user=mdettweiler [2018-06-03 02:24:29] 783*2^1512074-1 is not prime. Res64: 299CA666D283A42E Time : 0.0 sec. user=mdettweiler [2018-06-03 02:24:29] 825*2^1512074-1 is not prime. Res64: F111FECEBAE97CB4 Time : 0.0 sec. user=mdettweiler [2018-06-03 02:24:30] 833*2^1512074-1 is not prime. Res64: F274E219D705847B Time : 0.0 sec. user=mdettweiler [2018-06-03 02:24:30] 915*2^1512074-1 is not prime. Res64: FD0D07719F311721 Time : 0.0 sec. user=juhehe [2018-06-03 02:33:03] 699*2^1512075-1 is not prime. Res64: A6F9662E75FF3DBA Time : 0.0 sec. user=mdettweiler [2018-06-03 03:00:23] 765*2^1512075-1 is not prime. Res64: 22B9E6C7636BB38F Time : 0.0 sec. user=mdettweiler [2018-06-03 03:00:24] 789*2^1512075-1 is not prime. Res64: 239E48A2F25777B2 Time : 0.0 sec. user=mdettweiler [2018-06-03 03:00:24] 773*2^1512076-1 is not prime. Res64: 7A5C66EA13CD705E Time : 0.0 sec. user=mdettweiler [2018-06-03 03:00:25] 903*2^1512076-1 is not prime. Res64: C60ACB1ED44584B6 Time : 0.0 sec. user=mdettweiler [2018-06-03 03:00:25] 927*2^1512076-1 is not prime. Res64: ED65FD07D6899353 Time : 0.0 sec. user=mdettweiler [2018-06-03 03:00:33] 697*2^1512077-1 is not prime. Res64: 84415661AD59FDF0 Time : 0.0 sec. user=mdettweiler [2018-06-03 03:00:34] 769*2^1512077-1 is not prime. Res64: F5578820B5D849F7 Time : 0.0 sec. user=mdettweiler [2018-06-03 03:00:35] 885*2^1512077-1 is not prime. Res64: 2A265440BAA6A5B0 Time : 0.0 sec. user=mdettweiler [2018-06-03 03:00:36] 901*2^1512077-1 is not prime. Res64: 9E87194BB619D65F Time : 0.0 sec. user=mdettweiler [2018-06-03 03:00:36] 949*2^1512077-1 is not prime. Res64: A9C5D46F1DEE49A0 Time : 0.0 sec. user=mdettweiler [2018-06-03 03:15:51] 957*2^1512077-1 is not prime. Res64: 17960EAF798DFCB5 Time : 0.0 sec. user=mdettweiler [2018-06-03 03:15:52] 893*2^1512078-1 is not prime. Res64: 7A425807BA4041DA Time : 0.0 sec. user=mdettweiler [2018-06-03 03:15:52] 915*2^1512078-1 is not prime. Res64: 482D54E168345A6A Time : 0.0 sec. user=mdettweiler [2018-06-03 03:15:53] 663*2^1512079-1 is not prime. Res64: CC2D88A64C13CF93 Time : 0.0 sec. user=mdettweiler [2018-06-03 03:15:53] 685*2^1512079-1 is not prime. Res64: 8CC1D5113EF04D69 Time : 0.0 sec. user=mdettweiler [2018-06-03 03:16:44] 693*2^1512079-1 is not prime. Res64: 5A6B679EE0A1152E Time : 0.0 sec. user=mdettweiler [2018-06-03 03:16:44] 759*2^1512079-1 is not prime. Res64: 2D1B68F9F7B38502 Time : 0.0 sec. user=mdettweiler [2018-06-03 03:16:45] 765*2^1512079-1 is not prime. Res64: FA7C68268504763C Time : 0.0 sec. user=mdettweiler [2018-06-03 03:16:45] 829*2^1512079-1 is not prime. Res64: C8A39535357D859D Time : 0.0 sec. user=mdettweiler [2018-06-03 03:16:46] 843*2^1512079-1 is not prime. Res64: 5E9A9BB860CE3B3F Time : 0.0 sec. user=mdettweiler [2018-06-03 03:50:33] 785*2^1512080-1 is not prime. Res64: 323B11B7BFDAE1EF Time : 0.0 sec. user=mdettweiler [2018-06-03 03:50:40] 615*2^1512081-1 is not prime. Res64: F3C76172226882C6 Time : 0.0 sec. user=mdettweiler [2018-06-03 03:50:41] 649*2^1512081-1 is not prime. Res64: 6FDF8EDCC9BF376C Time : 0.0 sec. user=mdettweiler [2018-06-03 03:50:46] 657*2^1512081-1 is not prime. Res64: 8D743BCAE54CC008 Time : 0.0 sec. user=mdettweiler [2018-06-03 03:50:48] 837*2^1512081-1 is not prime. Res64: 123712CA6A805BD6 Time : 0.0 sec. user=mdettweiler [2018-06-03 03:51:07] 919*2^1512079-1 is not prime. Res64: B1E25AD4930EB5A6 Time : 0.0 sec. user=mdettweiler [2018-06-03 03:51:14] 933*2^1512079-1 is not prime. Res64: 6959387EC9B8E0D0 Time : 0.0 sec. user=mdettweiler [2018-06-03 03:51:19] 993*2^1512079-1 is not prime. Res64: 3CEAF28F7E749B7A Time : 0.0 sec. user=mdettweiler [2018-06-03 03:51:21] 615*2^1512080-1 is not prime. Res64: AFCEB5C827BD8885 Time : 0.0 sec. user=mdettweiler [2018-06-03 03:51:25] 635*2^1512080-1 is not prime. Res64: 44BDC82BEE1D7E05 Time : 0.0 sec. user=mdettweiler [2018-06-03 04:07:15] 847*2^1512081-1 is not prime. Res64: 01D7CF36B1A286CF Time : 0.0 sec. user=mdettweiler [2018-06-03 04:07:18] 909*2^1512081-1 is not prime. Res64: 5BF7944CE3881ACF Time : 0.0 sec. user=mdettweiler [2018-06-03 04:07:21] 705*2^1512082-1 is not prime. Res64: FF42913E0D91D849 Time : 0.0 sec. user=mdettweiler [2018-06-03 04:07:25] 831*2^1512082-1 is not prime. Res64: 47D21A53DBE26377 Time : 0.0 sec. user=mdettweiler [2018-06-03 04:07:28] 843*2^1512082-1 is not prime. Res64: 445F8262A246A85A Time : 0.0 sec. user=mdettweiler [2018-06-03 04:07:57] 945*2^1512082-1 is not prime. Res64: B954961688D99EC9 Time : 0.0 sec. user=mdettweiler [2018-06-03 04:07:59] 975*2^1512082-1 is not prime. Res64: BFC498643A7194B6 Time : 0.0 sec. user=mdettweiler [2018-06-03 04:08:04] 741*2^1512083-1 is not prime. Res64: AC69FD352BBC12C6 Time : 0.0 sec. user=mdettweiler [2018-06-03 04:08:09] 963*2^1512083-1 is not prime. Res64: ED5B396BAD1E9812 Time : 0.0 sec. user=mdettweiler [2018-06-03 04:08:11] 985*2^1512083-1 is not prime. Res64: CBD88D2AFE25DD36 Time : 0.0 sec. user=mdettweiler [2018-06-03 04:45:27] 875*2^1512084-1 is not prime. Res64: 7F8E9274222AFC67 Time : 0.0 sec. user=mdettweiler [2018-06-03 04:45:28] 927*2^1512084-1 is not prime. Res64: BCA470D1B5EC60DC Time : 0.0 sec. user=mdettweiler [2018-06-03 04:45:28] 983*2^1512084-1 is not prime. Res64: F9D9D6EE14522E71 Time : 0.0 sec. user=mdettweiler [2018-06-03 04:45:29] 609*2^1512085-1 is not prime. Res64: 91FB40D0D6C3A82F Time : 0.0 sec. user=mdettweiler [2018-06-03 04:45:30] 675*2^1512085-1 is not prime. Res64: F751758F3996E0B5 Time : 0.0 sec. user=mdettweiler [2018-06-03 04:46:02] 609*2^1512084-1 is not prime. Res64: 4A5CF480EACF35EC Time : 0.0 sec. user=mdettweiler [2018-06-03 04:46:02] 635*2^1512084-1 is not prime. Res64: 5854FE4699BB7659 Time : 0.0 sec. user=mdettweiler [2018-06-03 04:46:03] 705*2^1512084-1 is not prime. Res64: E977CC67D9FEFA73 Time : 0.0 sec. user=mdettweiler [2018-06-03 04:46:04] 717*2^1512084-1 is not prime. Res64: 95D815E4912BF9CF Time : 0.0 sec. user=mdettweiler [2018-06-03 04:46:06] 729*2^1512085-1 is not prime. Res64: D901239DD68500A2 Time : 0.0 sec. user=mdettweiler [2018-06-03 05:01:21] 683*2^1512086-1 is not prime. Res64: CA8B50F26F0047B7 Time : 0.0 sec. user=mdettweiler [2018-06-03 05:01:22] 717*2^1512086-1 is not prime. Res64: F6385E0EDC5D0056 Time : 0.0 sec. user=mdettweiler [2018-06-03 05:01:24] 827*2^1512086-1 is not prime. Res64: 0DE8848DACF6A5A9 Time : 0.0 sec. user=mdettweiler [2018-06-03 05:01:25] 941*2^1512086-1 is not prime. Res64: 779C8B93FC97DF46 Time : 0.0 sec. user=mdettweiler [2018-06-03 05:01:27] 633*2^1512087-1 is not prime. Res64: 8E800C681D6FADBB Time : 0.0 sec. user=mdettweiler [2018-06-03 05:01:33] 765*2^1512085-1 is not prime. Res64: 4B5E5FF867CF59D3 Time : 0.0 sec. user=mdettweiler [2018-06-03 05:01:34] 801*2^1512085-1 is not prime. Res64: BB4599D9189AFF02 Time : 0.0 sec. user=mdettweiler [2018-06-03 05:01:35] 855*2^1512085-1 is not prime. Res64: 46F3593C1F68F487 Time : 0.0 sec. user=mdettweiler [2018-06-03 05:01:36] 927*2^1512085-1 is not prime. Res64: DFA381443C9961BB Time : 0.0 sec. user=mdettweiler [2018-06-03 05:01:37] 627*2^1512086-1 is not prime. Res64: 387ADABF1BA0AE70 Time : 0.0 sec. user=juhehe [2018-06-03 05:12:40] 643*2^1512087-1 is not prime. Res64: 84A98DC50248E856 Time : 0.0 sec. user=mdettweiler [2018-06-03 05:36:53] 615*2^1512088-1 is not prime. Res64: 6C6CDA25C0C205B1 Time : 0.0 sec. user=mdettweiler [2018-06-03 05:36:54] 677*2^1512088-1 is not prime. Res64: 3C681E376E445E25 Time : 0.0 sec. user=mdettweiler [2018-06-03 05:36:54] 747*2^1512088-1 is not prime. Res64: 63D7E42E8C67CAC9 Time : 0.0 sec. user=mdettweiler [2018-06-03 05:36:55] 813*2^1512088-1 is not prime. Res64: 1477C103255CD378 Time : 0.0 sec. user=mdettweiler [2018-06-03 05:36:55] 849*2^1512088-1 is not prime. Res64: 76F5F473CBE64DFD Time : 0.0 sec. user=mdettweiler [2018-06-03 05:36:58] 795*2^1512087-1 is not prime. Res64: B91EC8443E4A74BE Time : 0.0 sec. user=mdettweiler [2018-06-03 05:37:00] 805*2^1512087-1 is not prime. Res64: 4D10FD4176301B38 Time : 0.0 sec. user=mdettweiler [2018-06-03 05:37:00] 831*2^1512087-1 is not prime. Res64: 2E95AC931DA18651 Time : 0.0 sec. user=mdettweiler [2018-06-03 05:37:00] 849*2^1512087-1 is not prime. Res64: 8D1F4D4E85810461 Time : 0.0 sec. user=mdettweiler [2018-06-03 05:37:01] 891*2^1512087-1 is not prime. Res64: D01586EE3F28EF88 Time : 0.0 sec. user=mdettweiler [2018-06-03 05:52:22] 755*2^1512090-1 is not prime. Res64: 0E82C5F5E6DA8C43 Time : 0.0 sec. user=mdettweiler [2018-06-03 05:52:23] 873*2^1512090-1 is not prime. Res64: 06DDF05B07782AA0 Time : 0.0 sec. user=mdettweiler [2018-06-03 05:52:24] 673*2^1512091-1 is not prime. Res64: 9BAAF4C641B7699B Time : 0.0 sec. user=mdettweiler [2018-06-03 05:52:25] 841*2^1512091-1 is not prime. Res64: C921847A6C81C81B Time : 0.0 sec. user=mdettweiler [2018-06-03 05:52:26] 849*2^1512091-1 is not prime. Res64: 9CE73D615FC405FE Time : 0.0 sec. user=mdettweiler [2018-06-03 05:52:51] 875*2^1512088-1 is not prime. Res64: 37F58BFEC6A95371 Time : 0.0 sec. user=mdettweiler [2018-06-03 05:52:52] 657*2^1512089-1 is not prime. Res64: A12EEFD68547ACEC Time : 0.0 sec. user=mdettweiler [2018-06-03 05:52:52] 741*2^1512089-1 is not prime. Res64: 95724C1527258341 Time : 0.0 sec. user=mdettweiler [2018-06-03 05:52:53] 787*2^1512089-1 is not prime. Res64: 39FC7536DAF00507 Time : 0.0 sec. user=mdettweiler [2018-06-03 05:52:53] 925*2^1512089-1 is not prime. Res64: 1BE86B578B11D115 Time : 0.0 sec. user=mdettweiler [2018-06-03 06:26:58] 903*2^1512094-1 is not prime. Res64: 0F01E9C3595862F9 Time : 0.0 sec. user=mdettweiler [2018-06-03 06:26:59] 945*2^1512094-1 is not prime. Res64: 3EE1D5BD208D8FB5 Time : 0.0 sec. user=mdettweiler [2018-06-03 06:26:59] 655*2^1512095-1 is not prime. Res64: C5EBF77E6B4FE91E Time : 0.0 sec. user=mdettweiler [2018-06-03 06:26:59] 663*2^1512095-1 is not prime. Res64: 71573E2D27239B64 Time : 0.0 sec. user=mdettweiler [2018-06-03 06:27:00] 679*2^1512095-1 is not prime. Res64: 59720D396ED03755 Time : 0.0 sec. user=mdettweiler [2018-06-03 06:27:54] 693*2^1512095-1 is not prime. Res64: 1DED35ECAE2AB418 Time : 0.0 sec. user=mdettweiler [2018-06-03 06:27:54] 759*2^1512095-1 is not prime. Res64: 20B36BA402DD8609 Time : 0.0 sec. user=mdettweiler [2018-06-03 06:27:55] 805*2^1512095-1 is not prime. Res64: 771D44B197DDAF5E Time : 0.0 sec. user=mdettweiler [2018-06-03 06:27:55] 981*2^1512095-1 is not prime. Res64: 65E4486EA1F94892 Time : 0.0 sec. user=mdettweiler [2018-06-03 06:27:56] 999*2^1512095-1 is not prime. Res64: 230A3FAED601B77C Time : 0.0 sec. user=gamer007 [2018-06-03 06:32:47] 925*2^1512091-1 is not prime. Res64: 7E4168D9C4926CE1 Time : 0.0 sec. user=gamer007 [2018-06-03 06:32:47] 961*2^1512091-1 is not prime. Res64: 0667AEA88A38C70F Time : 0.0 sec. user=gamer007 [2018-06-03 06:32:48] 605*2^1512092-1 is not prime. Res64: FE0F5287B8327A3B Time : 0.0 sec. user=gamer007 [2018-06-03 06:32:48] 635*2^1512092-1 is not prime. Res64: D1AB74F623BE79AB Time : 0.0 sec. user=gamer007 [2018-06-03 06:32:49] 693*2^1512092-1 is not prime. Res64: 432267855EC356B8 Time : 0.0 sec. user=gamer007 [2018-06-03 06:38:18] 855*2^1512092-1 is not prime. Res64: 60E472227C910276 Time : 0.0 sec. user=gamer007 [2018-06-03 06:38:18] 873*2^1512092-1 is not prime. Res64: 3DAD51B6A7567FF9 Time : 0.0 sec. user=gamer007 [2018-06-03 06:38:19] 999*2^1512092-1 is not prime. Res64: 8AEA5F35417128E6 Time : 0.0 sec. user=gamer007 [2018-06-03 06:38:19] 649*2^1512093-1 is not prime. Res64: 86309A303DA3B8B7 Time : 0.0 sec. user=gamer007 [2018-06-03 06:38:20] 745*2^1512093-1 is not prime. Res64: 132A975E2A34E6F3 Time : 0.0 sec. user=gamer007 [2018-06-03 06:39:43] 675*2^1512094-1 is not prime. Res64: 965A29C83582E742 Time : 0.0 sec. user=gamer007 [2018-06-03 06:39:44] 717*2^1512094-1 is not prime. Res64: 8358F9DC7876CFCF Time : 0.0 sec. user=gamer007 [2018-06-03 06:39:44] 755*2^1512094-1 is not prime. Res64: FE6678A8EEE636C4 Time : 0.0 sec. user=gamer007 [2018-06-03 06:39:45] 791*2^1512094-1 is not prime. Res64: 868C639172B5B3ED Time : 0.0 sec. user=gamer007 [2018-06-03 06:39:45] 891*2^1512094-1 is not prime. Res64: 432850B8890C2162 Time : 0.0 sec. user=gamer007 [2018-06-03 06:39:47] 765*2^1512093-1 is not prime. Res64: 0A9F2348F016A614 Time : 0.0 sec. user=gamer007 [2018-06-03 06:39:47] 769*2^1512093-1 is not prime. Res64: 5D05AE0DA40F6504 Time : 0.0 sec. user=gamer007 [2018-06-03 06:39:48] 781*2^1512093-1 is not prime. Res64: FD8161344AF36F98 Time : 0.0 sec. user=gamer007 [2018-06-03 06:39:48] 795*2^1512093-1 is not prime. Res64: 3E0B09DB4A173462 Time : 0.0 sec. user=gamer007 [2018-06-03 06:39:49] 645*2^1512094-1 is not prime. Res64: 554F43C42E41A805 Time : 0.0 sec. user=mdettweiler [2018-06-03 06:42:48] 623*2^1512096-1 is not prime. Res64: 4E5F096A3DBE182B Time : 0.0 sec. user=mdettweiler [2018-06-03 06:42:48] 675*2^1512096-1 is not prime. Res64: C8ED984250DDFDDD Time : 0.0 sec. user=mdettweiler [2018-06-03 06:42:48] 683*2^1512096-1 is not prime. Res64: 7322F7A8485D8252 Time : 0.0 sec. user=mdettweiler [2018-06-03 06:42:49] 737*2^1512096-1 is not prime. Res64: 41A9576234CF1B84 Time : 0.0 sec. user=mdettweiler [2018-06-03 06:42:49] 747*2^1512096-1 is not prime. Res64: 2D504A9E78D99225 Time : 0.0 sec. user=mdettweiler [2018-06-03 06:43:36] 815*2^1512096-1 is not prime. Res64: 718110F7B79DC4B0 Time : 0.0 sec. user=mdettweiler [2018-06-03 06:43:36] 873*2^1512096-1 is not prime. Res64: F6BBE4C0BB6248F5 Time : 0.0 sec. user=mdettweiler [2018-06-03 06:43:37] 945*2^1512096-1 is not prime. Res64: AB40D81149D97DEF Time : 0.0 sec. user=mdettweiler [2018-06-03 06:43:37] 601*2^1512097-1 is not prime. Res64: 95755C80C7D33647 Time : 0.0 sec. user=mdettweiler [2018-06-03 06:43:37] 729*2^1512097-1 is not prime. Res64: C51F318ABDFE086D Time : 0.0 sec. user=juhehe [2018-06-03 07:06:22] 741*2^1512097-1 is not prime. Res64: 1B47249594E8014C Time : 0.0 sec. user=mdettweiler [2018-06-03 07:19:02] 835*2^1512097-1 is not prime. Res64: EBBF5FC87C67B951 Time : 0.0 sec. user=mdettweiler [2018-06-03 07:19:03] 861*2^1512097-1 is not prime. Res64: 8A679B72FE28DA2E Time : 0.0 sec. user=mdettweiler [2018-06-03 07:19:03] 915*2^1512097-1 is not prime. Res64: 6DC9773BE0849FEB Time : 0.0 sec. user=mdettweiler [2018-06-03 07:19:04] 919*2^1512097-1 is not prime. Res64: 9B3F9093B51EA163 Time : 0.0 sec. user=mdettweiler [2018-06-03 07:19:04] 665*2^1512098-1 is not prime. Res64: 1D3035C795072675 Time : 0.0 sec. user=mdettweiler [2018-06-03 07:20:43] 671*2^1512098-1 is not prime. Res64: 61BAAD439130C96E Time : 0.0 sec. user=mdettweiler [2018-06-03 07:20:43] 825*2^1512098-1 is not prime. Res64: FA275F3782794545 Time : 0.0 sec. user=mdettweiler [2018-06-03 07:20:44] 911*2^1512098-1 is not prime. Res64: 03965B18DDA4E182 Time : 0.0 sec. user=mdettweiler [2018-06-03 07:20:44] 741*2^1512099-1 is not prime. Res64: 0CD2BDF364411F12 Time : 0.0 sec. user=mdettweiler [2018-06-03 07:20:44] 751*2^1512099-1 is not prime. Res64: 943908182EE85595 Time : 0.0 sec. user=mdettweiler [2018-06-03 07:33:01] 999*2^1512103-1 is not prime. Res64: 6AB7F2ED161F64CE Time : 0.0 sec. user=mdettweiler [2018-06-03 07:33:01] 615*2^1512104-1 is not prime. Res64: 29938858909F4506 Time : 0.0 sec. user=mdettweiler [2018-06-03 07:33:02] 617*2^1512104-1 is not prime. Res64: BD1A470E3AE9A9F5 Time : 0.0 sec. user=mdettweiler [2018-06-03 07:33:02] 659*2^1512104-1 is not prime. Res64: 0D571190A2849526 Time : 0.0 sec. user=mdettweiler [2018-06-03 07:33:03] 663*2^1512104-1 is not prime. Res64: 1B1F1706CCAF3883 Time : 0.0 sec. user=mdettweiler [2018-06-03 07:34:57] 665*2^1512104-1 is not prime. Res64: 08BDF527E06320AE Time : 0.0 sec. user=mdettweiler [2018-06-03 07:34:57] 725*2^1512104-1 is not prime. Res64: C2DD4ACAA7364B5A Time : 0.0 sec. user=mdettweiler [2018-06-03 07:34:58] 747*2^1512104-1 is not prime. Res64: 88C072D5816311D7 Time : 0.0 sec. user=mdettweiler [2018-06-03 07:34:58] 755*2^1512104-1 is not prime. Res64: 7E222D683D6FBF97 Time : 0.0 sec. user=mdettweiler [2018-06-03 07:34:58] 789*2^1512104-1 is not prime. Res64: 415A3A8ED66F2279 Time : 0.0 sec. user=juhehe [2018-06-03 07:39:45] 709*2^1512105-1 is not prime. Res64: E4031A11059ABBF1 Time : 0.0 sec. user=gamer007 [2018-06-03 07:41:36] 829*2^1512099-1 is not prime. Res64: 28F22A6741DF2ACF Time : 0.0 sec. user=gamer007 [2018-06-03 07:41:36] 853*2^1512099-1 is not prime. Res64: 4C2FD460CE9FA8E9 Time : 0.0 sec. user=gamer007 [2018-06-03 07:41:37] 951*2^1512099-1 is not prime. Res64: 35415C0E2D5E5ACA Time : 0.0 sec. user=gamer007 [2018-06-03 07:41:37] 629*2^1512100-1 is not prime. Res64: 99A70BD4CFDB77DF Time : 0.0 sec. user=gamer007 [2018-06-03 07:41:38] 675*2^1512100-1 is not prime. Res64: 4C0B05CC31B54055 Time : 0.0 sec. user=gamer007 [2018-06-03 07:47:27] 707*2^1512100-1 is not prime. Res64: BFC9335B4578D5B5 Time : 0.0 sec. user=gamer007 [2018-06-03 07:47:27] 825*2^1512100-1 is not prime. Res64: E72E5DFE10D66708 Time : 0.0 sec. user=gamer007 [2018-06-03 07:47:28] 887*2^1512100-1 is not prime. Res64: 151D094C13D1B930 Time : 0.0 sec. user=gamer007 [2018-06-03 07:47:28] 607*2^1512101-1 is not prime. Res64: FB72AF56B71BC0DB Time : 0.0 sec. user=gamer007 [2018-06-03 07:47:29] 619*2^1512101-1 is not prime. Res64: BB921032B1897861 Time : 0.0 sec. user=gamer007 [2018-06-03 07:49:25] 621*2^1512101-1 is not prime. Res64: 4B63047EE63E2BED Time : 0.0 sec. user=gamer007 [2018-06-03 07:49:25] 885*2^1512101-1 is not prime. Res64: F4613A8336551529 Time : 0.0 sec. user=gamer007 [2018-06-03 07:49:26] 925*2^1512101-1 is not prime. Res64: 05C0C0AAE6A94F36 Time : 0.0 sec. user=gamer007 [2018-06-03 07:49:26] 725*2^1512102-1 is not prime. Res64: A003B4198B4BCD20 Time : 0.0 sec. user=gamer007 [2018-06-03 07:49:27] 737*2^1512102-1 is not prime. Res64: 2B83F9D1F3E50915 Time : 0.0 sec. user=gamer007 [2018-06-03 07:50:13] 741*2^1512102-1 is not prime. Res64: 478BA7F772FB20B1 Time : 0.0 sec. user=gamer007 [2018-06-03 07:50:13] 765*2^1512102-1 is not prime. Res64: D1750179A30933B8 Time : 0.0 sec. user=gamer007 [2018-06-03 07:50:14] 807*2^1512102-1 is not prime. Res64: DAA331C41911E4B3 Time : 0.0 sec. user=gamer007 [2018-06-03 07:50:14] 963*2^1512102-1 is not prime. Res64: 3DCC9AF7418D154F Time : 0.0 sec. user=gamer007 [2018-06-03 07:50:15] 885*2^1512103-1 is not prime. Res64: 9922D913253E39E3 Time : 0.0 sec. user=mdettweiler [2018-06-03 08:12:38] 867*2^1512106-1 is not prime. Res64: 77ACE28064E9EBB7 Time : 0.0 sec. user=mdettweiler [2018-06-03 08:12:43] 805*2^1512105-1 is not prime. Res64: E5C6300DCB734BD8 Time : 0.0 sec. user=mdettweiler [2018-06-03 08:12:46] 917*2^1512106-1 is not prime. Res64: 88C2C70D13A816A0 Time : 0.0 sec. user=mdettweiler [2018-06-03 08:12:49] 981*2^1512106-1 is not prime. Res64: C47F0A90772E173B Time : 0.0 sec. user=mdettweiler [2018-06-03 08:12:49] 915*2^1512105-1 is not prime. Res64: 87FF3CE94385EAEA Time : 0.0 sec. user=mdettweiler [2018-06-03 08:12:53] 609*2^1512107-1 is not prime. Res64: 3E7288B7BD92D72F Time : 0.0 sec. user=mdettweiler [2018-06-03 08:12:55] 991*2^1512105-1 is not prime. Res64: DB4E53E006054E9A Time : 0.0 sec. user=mdettweiler [2018-06-03 08:12:55] 655*2^1512107-1 is not prime. Res64: 07441BBEDC4BD6AF Time : 0.0 sec. user=mdettweiler [2018-06-03 08:12:56] 645*2^1512106-1 is not prime. Res64: 72E59B7CDFC19EAD Time : 0.0 sec. user=mdettweiler [2018-06-03 08:12:57] 755*2^1512106-1 is not prime. Res64: 086A4EBB76B416FE Time : 0.0 sec. user=mdettweiler [2018-06-03 08:25:01] 685*2^1512107-1 is not prime. Res64: 08B57BB4B2AF66A2 Time : 0.0 sec. user=mdettweiler [2018-06-03 08:25:01] 703*2^1512107-1 is not prime. Res64: 87BD531526FBF31F Time : 0.0 sec. user=mdettweiler [2018-06-03 08:25:02] 715*2^1512107-1 is not prime. Res64: E23EBE8220955DCC Time : 0.0 sec. user=mdettweiler [2018-06-03 08:25:02] 801*2^1512107-1 is not prime. Res64: 2266DCCB38EDF010 Time : 0.0 sec. user=mdettweiler [2018-06-03 08:25:02] 859*2^1512107-1 is not prime. Res64: 5C5F4B77CFFA2254 Time : 0.0 sec. user=mdettweiler [2018-06-03 08:26:49] 889*2^1512107-1 is not prime. Res64: B8B5EADF61285433 Time : 0.0 sec. user=mdettweiler [2018-06-03 08:26:49] 669*2^1512108-1 is not prime. Res64: 628C5DE7F215E9D7 Time : 0.0 sec. user=mdettweiler [2018-06-03 08:26:50] 705*2^1512108-1 is not prime. Res64: 16B703EB17130424 Time : 0.0 sec. user=mdettweiler [2018-06-03 08:26:50] 725*2^1512108-1 is not prime. Res64: 2A9230C30EDF04B5 Time : 0.0 sec. user=mdettweiler [2018-06-03 08:26:51] 759*2^1512108-1 is not prime. Res64: 5CF89FA2B0788BA8 Time : 0.0 sec. user=mdettweiler [2018-06-03 09:04:18] 803*2^1512108-1 is not prime. Res64: 895C9F4D618E2091 Time : 0.0 sec. user=mdettweiler [2018-06-03 09:04:21] 809*2^1512108-1 is not prime. Res64: 344B5D3D6A7CAB1E Time : 0.0 sec. user=mdettweiler [2018-06-03 09:04:22] 829*2^1512109-1 is not prime. Res64: AE2847E045DD5551 Time : 0.0 sec. user=mdettweiler [2018-06-03 09:04:23] 845*2^1512108-1 is not prime. Res64: B0BBB218760CD1E5 Time : 0.0 sec. user=mdettweiler [2018-06-03 09:04:24] 831*2^1512109-1 is not prime. Res64: FCD094139163CC9F Time : 0.0 sec. user=mdettweiler [2018-06-03 09:04:29] 935*2^1512108-1 is not prime. Res64: 63A55E9E5F6070E5 Time : 0.0 sec. user=mdettweiler [2018-06-03 09:04:30] 975*2^1512109-1 is not prime. Res64: 12CB3906625EA446 Time : 0.0 sec. user=mdettweiler [2018-06-03 09:04:33] 985*2^1512109-1 is not prime. Res64: 933DABC80E45C49D Time : 0.0 sec. user=mdettweiler [2018-06-03 09:04:35] 819*2^1512109-1 is not prime. Res64: 9835C981ECF25E1E Time : 0.0 sec. user=mdettweiler [2018-06-03 09:04:36] 987*2^1512109-1 is not prime. Res64: DA7733B12EDAF0E6 Time : 0.0 sec. user=mdettweiler [2018-06-03 09:16:04] 603*2^1512110-1 is not prime. Res64: 49BCE554DD1561EA Time : 0.0 sec. user=mdettweiler [2018-06-03 09:16:05] 743*2^1512110-1 is not prime. Res64: D0B1FE7974D25817 Time : 0.0 sec. user=mdettweiler [2018-06-03 09:16:05] 867*2^1512110-1 is not prime. Res64: 49DB5086701CA22F Time : 0.0 sec. user=mdettweiler [2018-06-03 09:16:05] 951*2^1512110-1 is not prime. Res64: 97CEABEDF3055B0C Time : 0.0 sec. user=mdettweiler [2018-06-03 09:16:06] 965*2^1512110-1 is not prime. Res64: AE4CDAF2697BA313 Time : 0.0 sec. user=mdettweiler [2018-06-03 09:17:44] 693*2^1512111-1 is not prime. Res64: DBFF7487EF032A12 Time : 0.0 sec. user=mdettweiler [2018-06-03 09:17:45] 735*2^1512111-1 is not prime. Res64: AC5C71110D05E482 Time : 0.0 sec. user=mdettweiler [2018-06-03 09:17:45] 781*2^1512111-1 is not prime. Res64: A8CF4F557DC09439 Time : 0.0 sec. user=mdettweiler [2018-06-03 09:17:45] 795*2^1512111-1 is not prime. Res64: 92924D6D98F5C070 Time : 0.0 sec. user=mdettweiler [2018-06-03 09:17:46] 823*2^1512111-1 is not prime. Res64: 321A1D02E4C9F3C6 Time : 0.0 sec. user=mdettweiler [2018-06-03 09:55:38] 621*2^1512114-1 is not prime. Res64: FFBD6C820005F79C Time : 0.0 sec. user=mdettweiler [2018-06-03 09:55:38] 627*2^1512114-1 is not prime. Res64: C6EC5AE45FE801A3 Time : 0.0 sec. user=gamer007 [2018-06-03 09:55:38] 873*2^1512111-1 is not prime. Res64: 5971CF9ABA27CFD8 Time : 0.0 sec. user=mdettweiler [2018-06-03 09:55:38] 651*2^1512114-1 is not prime. Res64: 57391C6AA2BD9CDE Time : 0.0 sec. user=gamer007 [2018-06-03 09:55:39] 931*2^1512111-1 is not prime. Res64: E2F063D57D1BC15E Time : 0.0 sec. user=mdettweiler [2018-06-03 09:55:39] 723*2^1512114-1 is not prime. Res64: FF61A9CF48C6C288 Time : 0.0 sec. user=mdettweiler [2018-06-03 09:55:39] 731*2^1512114-1 is not prime. Res64: A0428D867DA7FCB3 Time : 0.0 sec. user=gamer007 [2018-06-03 09:55:39] 945*2^1512111-1 is not prime. Res64: 6E0A12EA2712263E Time : 0.0 sec. user=gamer007 [2018-06-03 09:55:40] 973*2^1512111-1 is not prime. Res64: E49EE7B4BE4BEC71 Time : 0.0 sec. user=gamer007 [2018-06-03 09:55:40] 999*2^1512111-1 is not prime. Res64: 06A32958FE8E0FA6 Time : 0.0 sec. user=mdettweiler [2018-06-03 09:55:57] 815*2^1512114-1 is not prime. Res64: D4A94A1C76006921 Time : 0.0 sec. user=mdettweiler [2018-06-03 09:55:57] 833*2^1512114-1 is not prime. Res64: E61F502AE7BFC803 Time : 0.0 sec. user=mdettweiler [2018-06-03 09:55:58] 679*2^1512115-1 is not prime. Res64: 5A1968FF9ACC550F Time : 0.0 sec. user=mdettweiler [2018-06-03 09:55:58] 843*2^1512115-1 is not prime. Res64: 3FC2F2D571D2D079 Time : 0.0 sec. user=mdettweiler [2018-06-03 09:55:59] 853*2^1512115-1 is not prime. Res64: 9507DF06DE38415C Time : 0.0 sec. user=juhehe [2018-06-03 09:56:46] 957*2^1512113-1 is not prime. Res64: EC5B714203BA2C6A Time : 0.0 sec. user=gamer007 [2018-06-03 10:00:31] 615*2^1512112-1 is not prime. Res64: 15A1A43326D4080D Time : 0.0 sec. user=gamer007 [2018-06-03 10:00:32] 849*2^1512112-1 is not prime. Res64: 6E805994408F8A28 Time : 0.0 sec. user=gamer007 [2018-06-03 10:00:34] 855*2^1512112-1 is not prime. Res64: 71D19A91687FA4B6 Time : 0.0 sec. user=gamer007 [2018-06-03 10:00:35] 869*2^1512112-1 is not prime. Res64: F2330DE99BAA936F Time : 0.0 sec. user=gamer007 [2018-06-03 10:00:36] 903*2^1512112-1 is not prime. Res64: 9496850A69D82B8D Time : 0.0 sec. user=gamer007 [2018-06-03 10:01:29] 909*2^1512112-1 is not prime. Res64: 0B4963C3F0B76FEF Time : 0.0 sec. user=gamer007 [2018-06-03 10:01:30] 939*2^1512112-1 is not prime. Res64: 30D5C9082A2420DC Time : 0.0 sec. user=gamer007 [2018-06-03 10:01:32] 619*2^1512113-1 is not prime. Res64: 077ABB76FF3379D1 Time : 0.0 sec. user=gamer007 [2018-06-03 10:01:33] 675*2^1512113-1 is not prime. Res64: D443353A96C64DB6 Time : 0.0 sec. user=gamer007 [2018-06-03 10:01:34] 721*2^1512113-1 is not prime. Res64: CEDD3037BF97115D Time : 0.0 sec. user=gamer007 [2018-06-03 10:03:26] 741*2^1512113-1 is not prime. Res64: 78311E1F35A7EC73 Time : 0.0 sec. user=gamer007 [2018-06-03 10:03:27] 831*2^1512113-1 is not prime. Res64: 872A8A7ABBAC8228 Time : 0.0 sec. user=gamer007 [2018-06-03 10:03:29] 837*2^1512113-1 is not prime. Res64: 31DC1C518608C805 Time : 0.0 sec. user=gamer007 [2018-06-03 10:03:31] 871*2^1512113-1 is not prime. Res64: C44ECBD9FAFFF309 Time : 0.0 sec. user=gamer007 [2018-06-03 10:03:32] 879*2^1512113-1 is not prime. Res64: E44FA1391B6806A2 Time : 0.0 sec. user=mdettweiler [2018-06-03 10:07:33] 859*2^1512115-1 is not prime. Res64: 4787CD33386989DE Time : 0.0 sec. user=mdettweiler [2018-06-03 10:07:36] 913*2^1512115-1 is not prime. Res64: 27CC327B4C43CCBD Time : 0.0 sec. user=mdettweiler [2018-06-03 10:07:40] 915*2^1512115-1 is not prime. Res64: DDB8BDA662C2B883 Time : 0.0 sec. user=mdettweiler [2018-06-03 10:07:45] 999*2^1512115-1 is not prime. Res64: 9FFAC4B395EEC090 Time : 0.0 sec. user=mdettweiler [2018-06-03 10:07:51] 617*2^1512116-1 is not prime. Res64: B781E4F5DD7CEB05 Time : 0.0 sec. user=mdettweiler [2018-06-03 10:09:42] 623*2^1512116-1 is not prime. Res64: 0A7DDC377368128F Time : 0.0 sec. user=mdettweiler [2018-06-03 10:09:46] 675*2^1512116-1 is not prime. Res64: DD79E259D8BB5B55 Time : 0.0 sec. user=mdettweiler [2018-06-03 10:09:47] 837*2^1512116-1 is not prime. Res64: 5BCEB8847B69D2E2 Time : 0.0 sec. user=mdettweiler [2018-06-03 10:09:48] 843*2^1512116-1 is not prime. Res64: 9120E1C59CE28754 Time : 0.0 sec. user=mdettweiler [2018-06-03 10:09:49] 927*2^1512116-1 is not prime. Res64: F0A795CDC49ABE30 Time : 0.0 sec. user=mdettweiler [2018-06-03 10:45:47] 945*2^1512116-1 is not prime. Res64: 93230836EC928BAD Time : 0.0 sec. user=mdettweiler [2018-06-03 10:45:47] 969*2^1512116-1 is not prime. Res64: 0A4B42B5A7325F9F Time : 0.0 sec. user=mdettweiler [2018-06-03 10:45:48] 615*2^1512117-1 is not prime. Res64: 661F359F6C1321E3 Time : 0.0 sec. user=mdettweiler [2018-06-03 10:45:48] 625*2^1512117-1 is not prime. Res64: 95513D02F3E30687 Time : 0.0 sec. user=mdettweiler [2018-06-03 10:45:48] 649*2^1512117-1 is not prime. Res64: 23C2D486D74846A8 Time : 0.0 sec. user=mdettweiler [2018-06-03 10:46:42] 655*2^1512117-1 is not prime. Res64: 40CE6C269E85B3B5 Time : 0.0 sec. user=mdettweiler [2018-06-03 10:46:42] 717*2^1512117-1 is not prime. Res64: 97626CE7A71B683D Time : 0.0 sec. user=mdettweiler [2018-06-03 10:46:43] 795*2^1512117-1 is not prime. Res64: 5E8196B6A4BD1D3A Time : 0.0 sec. user=mdettweiler [2018-06-03 10:46:43] 817*2^1512117-1 is not prime. Res64: 6DCF42D6BC7443BC Time : 0.0 sec. user=mdettweiler [2018-06-03 10:46:43] 859*2^1512117-1 is not prime. Res64: A6B5E1399AC7FCE7 Time : 0.0 sec. user=mdettweiler [2018-06-03 11:00:42] 901*2^1512117-1 is not prime. Res64: 6C18A800A36ACB10 Time : 0.0 sec. user=mdettweiler [2018-06-03 11:00:43] 979*2^1512117-1 is not prime. Res64: 50657E3E3F2390E7 Time : 0.0 sec. user=mdettweiler [2018-06-03 11:00:44] 997*2^1512117-1 is not prime. Res64: 6931B5E963CEA13C Time : 0.0 sec. user=mdettweiler [2018-06-03 11:00:45] 623*2^1512118-1 is not prime. Res64: 5E4CE77E12F1FE11 Time : 0.0 sec. user=mdettweiler [2018-06-03 11:00:47] 705*2^1512118-1 is not prime. Res64: 322041FBEA03DE45 Time : 0.0 sec. user=mdettweiler [2018-06-03 11:01:22] 747*2^1512118-1 is not prime. Res64: 3B1A792780CB681D Time : 0.0 sec. user=mdettweiler [2018-06-03 11:01:24] 773*2^1512118-1 is not prime. Res64: E26AB0A342CBB216 Time : 0.0 sec. user=mdettweiler [2018-06-03 11:01:25] 855*2^1512118-1 is not prime. Res64: 8A22ED519A56F394 Time : 0.0 sec. user=mdettweiler [2018-06-03 11:01:26] 867*2^1512118-1 is not prime. Res64: C34D0F353EE2DEA0 Time : 0.0 sec. user=mdettweiler [2018-06-03 11:01:27] 897*2^1512118-1 is not prime. Res64: F69425CA982EBEBF Time : 0.0 sec. user=mdettweiler [2018-06-03 11:37:39] 951*2^1512118-1 is not prime. Res64: 21C3484B2AD8264C Time : 0.0 sec. user=mdettweiler [2018-06-03 11:37:39] 975*2^1512118-1 is not prime. Res64: C7F05276DA966BA7 Time : 0.0 sec. user=mdettweiler [2018-06-03 11:37:40] 1001*2^1512118-1 is not prime. Res64: 167DE834CC4AADB7 Time : 0.0 sec. user=mdettweiler [2018-06-03 11:37:40] 661*2^1512119-1 is not prime. Res64: B2F6FFC09EF76E74 Time : 0.0 sec. user=mdettweiler [2018-06-03 11:37:41] 685*2^1512119-1 is not prime. Res64: 71DA3FF102D021F3 Time : 0.0 sec. user=mdettweiler [2018-06-03 11:37:53] 721*2^1512119-1 is not prime. Res64: C3707FC7B1708673 Time : 0.0 sec. user=mdettweiler [2018-06-03 11:37:54] 729*2^1512119-1 is not prime. Res64: 757CEBE17E48E493 Time : 0.0 sec. user=mdettweiler [2018-06-03 11:37:54] 759*2^1512119-1 is not prime. Res64: 60A55FBACA5F1E37 Time : 0.0 sec. user=mdettweiler [2018-06-03 11:37:55] 789*2^1512119-1 is not prime. Res64: 7E3DDF73C3EB0195 Time : 0.0 sec. user=mdettweiler [2018-06-03 11:37:55] 799*2^1512119-1 is not prime. Res64: 72C083A161704562 Time : 0.0 sec. user=mdettweiler [2018-06-03 11:51:22] 825*2^1512119-1 is not prime. Res64: 4065874B0F4746A4 Time : 0.0 sec. user=mdettweiler [2018-06-03 11:51:22] 939*2^1512119-1 is not prime. Res64: 7D30027A89F96F09 Time : 0.0 sec. user=mdettweiler [2018-06-03 11:51:22] 949*2^1512119-1 is not prime. Res64: 453FFF5AAC7CD129 Time : 0.0 sec. user=mdettweiler [2018-06-03 11:51:23] 627*2^1512120-1 is not prime. Res64: 3403240AAE46AF7D Time : 0.0 sec. user=mdettweiler [2018-06-03 11:51:23] 669*2^1512120-1 is not prime. Res64: F4F7FDDC175248B4 Time : 0.0 sec. user=mdettweiler [2018-06-03 11:52:49] 707*2^1512120-1 is not prime. Res64: 76B3BDF67E29F5DE Time : 0.0 sec. user=mdettweiler [2018-06-03 11:52:50] 737*2^1512120-1 is not prime. Res64: 819116B5BA15AD62 Time : 0.0 sec. user=mdettweiler [2018-06-03 11:52:50] 753*2^1512120-1 is not prime. Res64: 4DA3827807A4977F Time : 0.0 sec. user=mdettweiler [2018-06-03 11:52:50] 681*2^1512121-1 is not prime. Res64: 0C979306220E758A Time : 0.0 sec. user=mdettweiler [2018-06-03 11:52:51] 717*2^1512121-1 is not prime. Res64: 2938C1503AE6858D Time : 0.0 sec. user=mdettweiler [2018-06-03 12:28:43] 911*2^1512122-1 is not prime. Res64: E9AF2EB8AF5C2F6B Time : 0.0 sec. user=mdettweiler [2018-06-03 12:28:43] 957*2^1512122-1 is not prime. Res64: DEF93FE8DBA7BE18 Time : 0.0 sec. user=mdettweiler [2018-06-03 12:28:43] 963*2^1512122-1 is not prime. Res64: 1EA6D25E9C5F55A0 Time : 0.0 sec. user=mdettweiler [2018-06-03 12:28:44] 613*2^1512123-1 is not prime. Res64: 09D5FE9BBBA2947A Time : 0.0 sec. user=mdettweiler [2018-06-03 12:28:44] 649*2^1512123-1 is not prime. Res64: 9F7F2944318CA1C2 Time : 0.0 sec. user=mdettweiler [2018-06-03 12:29:02] 775*2^1512121-1 is not prime. Res64: 2F2CABEDE39F233B Time : 0.0 sec. user=mdettweiler [2018-06-03 12:29:02] 855*2^1512121-1 is not prime. Res64: 28B9AF37781BB9D6 Time : 0.0 sec. user=mdettweiler [2018-06-03 12:29:03] 677*2^1512122-1 is not prime. Res64: 0F53FD4D8C913414 Time : 0.0 sec. user=mdettweiler [2018-06-03 12:29:03] 831*2^1512122-1 is not prime. Res64: 11C7A8761C982DC2 Time : 0.0 sec. user=mdettweiler [2018-06-03 12:29:03] 857*2^1512122-1 is not prime. Res64: F36CD78D12B72895 Time : 0.0 sec. user=mdettweiler [2018-06-03 12:43:23] 801*2^1512123-1 is not prime. Res64: 55910ABC6DFC81DC Time : 0.0 sec. user=mdettweiler [2018-06-03 12:43:24] 805*2^1512123-1 is not prime. Res64: 269E38E98416826D Time : 0.0 sec. user=mdettweiler [2018-06-03 12:43:24] 871*2^1512123-1 is not prime. Res64: F6715EDF7C5A4DD9 Time : 0.0 sec. user=mdettweiler [2018-06-03 12:43:25] 895*2^1512123-1 is not prime. Res64: CBCBE85410FED5D9 Time : 0.0 sec. user=mdettweiler [2018-06-03 12:43:25] 785*2^1512124-1 is not prime. Res64: 8F921D2A17F5CAF8 Time : 0.0 sec. user=mdettweiler [2018-06-03 12:44:03] 803*2^1512124-1 is not prime. Res64: 20CDB0F31C4466A1 Time : 0.0 sec. user=mdettweiler [2018-06-03 12:44:04] 987*2^1512124-1 is not prime. Res64: F4A5BE57661AC495 Time : 0.0 sec. user=mdettweiler [2018-06-03 12:44:04] 675*2^1512125-1 is not prime. Res64: 5808679048F4D566 Time : 0.0 sec. user=mdettweiler [2018-06-03 12:44:05] 757*2^1512125-1 is not prime. Res64: 51D745F555BA3DD8 Time : 0.0 sec. user=mdettweiler [2018-06-03 12:44:05] 831*2^1512125-1 is not prime. Res64: 48D3C78DAE28FA72 Time : 0.0 sec. user=juhehe [2018-06-03 12:46:00] 795*2^1512123-1 is not prime. Res64: E639666452606184 Time : 0.0 sec. user=mdettweiler [2018-06-03 13:19:51] 881*2^1512126-1 is not prime. Res64: 99DE5F07271DC2A8 Time : 0.0 sec. user=mdettweiler [2018-06-03 13:19:51] 933*2^1512126-1 is not prime. Res64: 74379133BC803881 Time : 0.0 sec. user=mdettweiler [2018-06-03 13:19:52] 615*2^1512127-1 is not prime. Res64: 59D1B39EE9BCEDD0 Time : 0.0 sec. user=mdettweiler [2018-06-03 13:19:52] 673*2^1512127-1 is not prime. Res64: C4C153A5B97235A8 Time : 0.0 sec. user=mdettweiler [2018-06-03 13:19:52] 765*2^1512127-1 is not prime. Res64: FE6C107913B22248 Time : 0.0 sec. user=mdettweiler [2018-06-03 13:19:56] 855*2^1512125-1 is not prime. Res64: 4A62424D928A1624 Time : 0.0 sec. user=mdettweiler [2018-06-03 13:19:57] 939*2^1512125-1 is not prime. Res64: BCA22EABA2CDD22E Time : 0.0 sec. user=mdettweiler [2018-06-03 13:19:57] 683*2^1512126-1 is not prime. Res64: 36B73DB6632D453A Time : 0.0 sec. user=mdettweiler [2018-06-03 13:19:58] 707*2^1512126-1 is not prime. Res64: 110673AACDACDFC3 Time : 0.0 sec. user=mdettweiler [2018-06-03 13:19:58] 801*2^1512126-1 is not prime. Res64: FD37D3D5BC6DFAA3 Time : 0.0 sec. user=mdettweiler [2018-06-03 13:35:08] 813*2^1512127-1 is not prime. Res64: DAEB45F20FC757B3 Time : 0.0 sec. user=mdettweiler [2018-06-03 13:35:09] 819*2^1512127-1 is not prime. Res64: F37564E29F03F1E8 Time : 0.0 sec. user=mdettweiler [2018-06-03 13:35:09] 873*2^1512127-1 is not prime. Res64: 35342A29FBD60E81 Time : 0.0 sec. user=mdettweiler [2018-06-03 13:35:10] 891*2^1512127-1 is not prime. Res64: 68A0DA6144881133 Time : 0.0 sec. user=mdettweiler [2018-06-03 13:35:10] 951*2^1512127-1 is not prime. Res64: EAC5708B1BB82465 Time : 0.0 sec. user=mdettweiler [2018-06-03 13:35:34] 825*2^1512128-1 is not prime. Res64: 56C9DCDB4AE38FE8 Time : 0.0 sec. user=mdettweiler [2018-06-03 13:35:34] 875*2^1512128-1 is not prime. Res64: 8D78D187055E7227 Time : 0.0 sec. user=mdettweiler [2018-06-03 13:35:34] 667*2^1512129-1 is not prime. Res64: E9013FFC5BC8B906 Time : 0.0 sec. user=mdettweiler [2018-06-03 13:35:35] 691*2^1512129-1 is not prime. Res64: 0AAC5C96401E676D Time : 0.0 sec. user=mdettweiler [2018-06-03 13:35:35] 709*2^1512129-1 is not prime. Res64: 1A830DCB35B251B9 Time : 0.0 sec. user=mdettweiler [2018-06-03 14:10:34] 817*2^1512129-1 is not prime. Res64: C0CDE22BDAC59721 Time : 0.0 sec. user=mdettweiler [2018-06-03 14:10:34] 987*2^1512129-1 is not prime. Res64: 04565D9AF3731181 Time : 0.0 sec. user=mdettweiler [2018-06-03 14:10:35] 991*2^1512129-1 is not prime. Res64: 00F2280F112F92BC Time : 0.0 sec. user=mdettweiler [2018-06-03 14:10:35] 603*2^1512130-1 is not prime. Res64: EE2D7D8EFACDEFF0 Time : 0.0 sec. user=mdettweiler [2018-06-03 14:10:36] 635*2^1512130-1 is not prime. Res64: 0C69CFFC88E482F8 Time : 0.0 sec. user=mdettweiler [2018-06-03 14:11:02] 735*2^1512130-1 is not prime. Res64: 9C74E3BE2C26C668 Time : 0.0 sec. user=mdettweiler [2018-06-03 14:11:03] 833*2^1512130-1 is not prime. Res64: 6DBDF5F4BDCE652A Time : 0.0 sec. user=mdettweiler [2018-06-03 14:11:03] 843*2^1512130-1 is not prime. Res64: A73AB13C1A574FBE Time : 0.0 sec. user=mdettweiler [2018-06-03 14:11:04] 867*2^1512130-1 is not prime. Res64: CE6EC8B8B4374681 Time : 0.0 sec. user=mdettweiler [2018-06-03 14:11:04] 957*2^1512130-1 is not prime. Res64: 858418861ED16F97 Time : 0.0 sec. user=mdettweiler [2018-06-03 14:24:48] 631*2^1512131-1 is not prime. Res64: DF7B0171410496DB Time : 0.0 sec. user=mdettweiler [2018-06-03 14:24:48] 643*2^1512131-1 is not prime. Res64: 6BB0941E1A34BEA4 Time : 0.0 sec. user=mdettweiler [2018-06-03 14:24:49] 645*2^1512131-1 is not prime. Res64: DDF8B921CFD88FA9 Time : 0.0 sec. user=mdettweiler [2018-06-03 14:24:49] 913*2^1512131-1 is not prime. Res64: 4718D110B4058ED0 Time : 0.0 sec. user=mdettweiler [2018-06-03 14:24:49] 979*2^1512131-1 is not prime. Res64: B12A389A3964C585 Time : 0.0 sec. user=mdettweiler [2018-06-03 14:25:12] 609*2^1512132-1 is not prime. Res64: CE4550BBE7D4C0F4 Time : 0.0 sec. user=mdettweiler [2018-06-03 14:25:13] 623*2^1512132-1 is not prime. Res64: E9903FE3C0E93175 Time : 0.0 sec. user=mdettweiler [2018-06-03 14:25:13] 675*2^1512132-1 is not prime. Res64: D4A13986B865A2C4 Time : 0.0 sec. user=mdettweiler [2018-06-03 14:25:14] 723*2^1512132-1 is not prime. Res64: A7B283A769D8934C Time : 0.0 sec. user=mdettweiler [2018-06-03 14:25:14] 737*2^1512132-1 is not prime. Res64: 34D8F80FF1B8FB11 Time : 0.0 sec. user=juhehe [2018-06-03 14:38:11] 767*2^1512132-1 is not prime. Res64: D6AFFD9F3F4BD942 Time : 0.0 sec. user=mdettweiler [2018-06-03 15:01:03] 967*2^1512133-1 is not prime. Res64: 1F85C9589E1CBC3D Time : 0.0 sec. user=mdettweiler [2018-06-03 15:01:04] 985*2^1512133-1 is not prime. Res64: 6C049EA46B576245 Time : 0.0 sec. user=mdettweiler [2018-06-03 15:01:05] 605*2^1512134-1 is not prime. Res64: 20EAB0AAD340B073 Time : 0.0 sec. user=mdettweiler [2018-06-03 15:01:06] 683*2^1512134-1 is not prime. Res64: 8A595C74C5427DEF Time : 0.0 sec. user=mdettweiler [2018-06-03 15:01:07] 753*2^1512134-1 is not prime. Res64: 4C4E98E987909561 Time : 0.0 sec. user=mdettweiler [2018-06-03 15:01:10] 899*2^1512132-1 is not prime. Res64: 3861333D27684C42 Time : 0.0 sec. user=mdettweiler [2018-06-03 15:01:12] 915*2^1512132-1 is not prime. Res64: ACBD6A8FCA5F22D4 Time : 0.0 sec. user=mdettweiler [2018-06-03 15:01:12] 675*2^1512133-1 is not prime. Res64: 7B04F0C0608D2A28 Time : 0.0 sec. user=mdettweiler [2018-06-03 15:01:14] 741*2^1512133-1 is not prime. Res64: C5C97DAB9CFE24DA Time : 0.0 sec. user=mdettweiler [2018-06-03 15:01:15] 819*2^1512133-1 is not prime. Res64: 5A0EE0D234643D50 Time : 0.0 sec. user=mdettweiler [2018-06-03 15:15:41] 775*2^1512135-1 is not prime. Res64: 688AD81670F85FD1 Time : 0.0 sec. user=mdettweiler [2018-06-03 15:15:41] 819*2^1512135-1 is not prime. Res64: 4AA0D6C3BE129393 Time : 0.0 sec. user=mdettweiler [2018-06-03 15:15:41] 853*2^1512135-1 is not prime. Res64: D6668C42EA043686 Time : 0.0 sec. user=mdettweiler [2018-06-03 15:15:42] 859*2^1512135-1 is not prime. Res64: 63D942C04B1D1BFC Time : 0.0 sec. user=mdettweiler [2018-06-03 15:15:42] 895*2^1512135-1 is not prime. Res64: A0B2AD2F3657D65B Time : 0.0 sec. user=mdettweiler [2018-06-03 15:15:52] 773*2^1512134-1 is not prime. Res64: A6AB0C97545F5BA6 Time : 0.0 sec. user=mdettweiler [2018-06-03 15:15:52] 861*2^1512134-1 is not prime. Res64: 25FEBFCEF89699DA Time : 0.0 sec. user=mdettweiler [2018-06-03 15:15:53] 875*2^1512134-1 is not prime. Res64: BC70E8B8401B9906 Time : 0.0 sec. user=mdettweiler [2018-06-03 15:15:54] 903*2^1512134-1 is not prime. Res64: EA2EF07CF365EF80 Time : 0.0 sec. user=mdettweiler [2018-06-03 15:15:54] 917*2^1512134-1 is not prime. Res64: 31A5C3821912FAF6 Time : 0.0 sec. user=mdettweiler [2018-06-03 15:51:17] 943*2^1512135-1 is not prime. Res64: BDEAFB91DFE5A08C Time : 0.0 sec. user=mdettweiler [2018-06-03 15:51:18] 963*2^1512135-1 is not prime. Res64: EEA432538B534C0A Time : 0.0 sec. user=mdettweiler [2018-06-03 15:51:18] 615*2^1512136-1 is not prime. Res64: 0F5106AD37C70B8A Time : 0.0 sec. user=mdettweiler [2018-06-03 15:51:18] 677*2^1512136-1 is not prime. Res64: CDBB9C77D288409D Time : 0.0 sec. user=mdettweiler [2018-06-03 15:51:19] 813*2^1512136-1 is not prime. Res64: 560E4B3E947FA910 Time : 0.0 sec. user=mdettweiler [2018-06-03 15:51:48] 825*2^1512136-1 is not prime. Res64: 74826D37FDCA57CD Time : 0.0 sec. user=mdettweiler [2018-06-03 15:51:49] 869*2^1512136-1 is not prime. Res64: 5D71AF1F5D942417 Time : 0.0 sec. user=mdettweiler [2018-06-03 15:51:49] 873*2^1512136-1 is not prime. Res64: 5B2D252786F8BB03 Time : 0.0 sec. user=mdettweiler [2018-06-03 15:51:49] 965*2^1512136-1 is not prime. Res64: 737490840BA31833 Time : 0.0 sec. user=mdettweiler [2018-06-03 15:51:50] 637*2^1512137-1 is not prime. Res64: BFDD32F2316F7124 Time : 0.0 sec. user=mdettweiler [2018-06-03 16:06:23] 731*2^1512138-1 is not prime. Res64: 0A5C6ADA4997D513 Time : 0.0 sec. user=mdettweiler [2018-06-03 16:06:24] 837*2^1512138-1 is not prime. Res64: C6802D45E312D206 Time : 0.0 sec. user=mdettweiler [2018-06-03 16:06:26] 651*2^1512137-1 is not prime. Res64: 52230E92C32463E2 Time : 0.0 sec. user=mdettweiler [2018-06-03 16:06:26] 885*2^1512138-1 is not prime. Res64: 148CDAEACFC3572F Time : 0.0 sec. user=mdettweiler [2018-06-03 16:06:28] 951*2^1512138-1 is not prime. Res64: 37BDB56925EB2493 Time : 0.0 sec. user=mdettweiler [2018-06-03 16:06:29] 697*2^1512137-1 is not prime. Res64: D598915216E3C23D Time : 0.0 sec. user=mdettweiler [2018-06-03 16:06:30] 645*2^1512139-1 is not prime. Res64: 09C58511E0B29D6B Time : 0.0 sec. user=mdettweiler [2018-06-03 16:06:33] 741*2^1512137-1 is not prime. Res64: 00B4B21FE276072E Time : 0.0 sec. user=mdettweiler [2018-06-03 16:06:35] 925*2^1512137-1 is not prime. Res64: 1AD2714B25E6288A Time : 0.0 sec. user=mdettweiler [2018-06-03 16:06:38] 657*2^1512138-1 is not prime. Res64: 4B42917C82168E0B Time : 0.0 sec. user=mdettweiler [2018-06-03 16:45:04] 681*2^1512139-1 is not prime. Res64: DC951611C77FBE23 Time : 0.0 sec. user=mdettweiler [2018-06-03 16:45:06] 741*2^1512139-1 is not prime. Res64: 2756D1BCFEC0F3E1 Time : 0.0 sec. user=mdettweiler [2018-06-03 16:45:07] 975*2^1512139-1 is not prime. Res64: 0BA4BD6E9DE0A87B Time : 0.0 sec. user=mdettweiler [2018-06-03 16:45:07] 789*2^1512139-1 is not prime. Res64: E3EDF4BEA420A477 Time : 0.0 sec. user=mdettweiler [2018-06-03 16:45:08] 635*2^1512140-1 is not prime. Res64: D227A9B93D3E6796 Time : 0.0 sec. user=mdettweiler [2018-06-03 16:45:08] 895*2^1512139-1 is not prime. Res64: 2EE9A3ADC1E3AA0A Time : 0.0 sec. user=mdettweiler [2018-06-03 16:45:08] 663*2^1512140-1 is not prime. Res64: CA1E5EA15765945C Time : 0.0 sec. user=mdettweiler [2018-06-03 16:45:08] 913*2^1512139-1 is not prime. Res64: EF8D38CA4622649B Time : 0.0 sec. user=mdettweiler [2018-06-03 16:45:08] 665*2^1512140-1 is not prime. Res64: 1AF3DB69B2913B56 Time : 0.0 sec. user=mdettweiler [2018-06-03 16:45:09] 897*2^1512140-1 is not prime. Res64: 2FA29145AD245862 Time : 0.0 sec. user=mdettweiler [2018-06-03 17:01:50] 789*2^1512141-1 is not prime. Res64: 1624C1FC96A576E5 Time : 0.0 sec. user=mdettweiler [2018-06-03 17:01:51] 907*2^1512141-1 is not prime. Res64: A898CDDA456B6AFD Time : 0.0 sec. user=mdettweiler [2018-06-03 17:01:52] 991*2^1512141-1 is not prime. Res64: AC014D6A2647B3B4 Time : 0.0 sec. user=mdettweiler [2018-06-03 17:01:53] 999*2^1512141-1 is not prime. Res64: B1895A24976E7D1B Time : 0.0 sec. user=mdettweiler [2018-06-03 17:01:53] 713*2^1512142-1 is not prime. Res64: DC255437624D9C91 Time : 0.0 sec. user=mdettweiler [2018-06-03 17:01:56] 959*2^1512140-1 is not prime. Res64: 98981A56F6150DA7 Time : 0.0 sec. user=mdettweiler [2018-06-03 17:01:57] 999*2^1512140-1 is not prime. Res64: BE83F847D53A1779 Time : 0.0 sec. user=mdettweiler [2018-06-03 17:01:58] 607*2^1512141-1 is not prime. Res64: E68DA1860AA3C3E4 Time : 0.0 sec. user=mdettweiler [2018-06-03 17:01:59] 669*2^1512141-1 is not prime. Res64: 79310E91684F0333 Time : 0.0 sec. user=mdettweiler [2018-06-03 17:01:59] 717*2^1512141-1 is not prime. Res64: 96FEFB9ABFF4B897 Time : 0.0 sec. user=juhehe [2018-06-03 17:27:36] 791*2^1512142-1 is not prime. Res64: 876DB612246D82D2 Time : 0.0 sec. user=mdettweiler [2018-06-03 17:37:14] 843*2^1512142-1 is not prime. Res64: 78C104ED33A6FD75 Time : 0.0 sec. user=mdettweiler [2018-06-03 17:37:14] 885*2^1512142-1 is not prime. Res64: 3BC1F5FAD4329AAA Time : 0.0 sec. user=mdettweiler [2018-06-03 17:37:14] 1001*2^1512142-1 is not prime. Res64: 97DA605A6486CD4B Time : 0.0 sec. user=mdettweiler [2018-06-03 17:37:15] 685*2^1512143-1 is not prime. Res64: 118B740A738BA5FC Time : 0.0 sec. user=mdettweiler [2018-06-03 17:37:15] 735*2^1512143-1 is not prime. Res64: 41483AE6F69D7139 Time : 0.0 sec. user=mdettweiler [2018-06-03 17:37:28] 739*2^1512143-1 is not prime. Res64: 43F0736EC86929B7 Time : 0.0 sec. user=mdettweiler [2018-06-03 17:37:28] 789*2^1512143-1 is not prime. Res64: 9FC2C6DE58F7CEA2 Time : 0.0 sec. user=mdettweiler [2018-06-03 17:37:28] 871*2^1512143-1 is not prime. Res64: 8B37F872E7A7BECF Time : 0.0 sec. user=mdettweiler [2018-06-03 17:37:29] 921*2^1512143-1 is not prime. Res64: B27197268B38B458 Time : 0.0 sec. user=mdettweiler [2018-06-03 17:37:29] 623*2^1512144-1 is not prime. Res64: 358D7A2DC805E6CC Time : 0.0 sec. user=mdettweiler [2018-06-03 17:54:04] 689*2^1512144-1 is not prime. Res64: 1D07C0C4FCB09021 Time : 0.0 sec. user=mdettweiler [2018-06-03 17:54:05] 773*2^1512144-1 is not prime. Res64: 98E44FD4B529A36D Time : 0.0 sec. user=mdettweiler [2018-06-03 17:54:05] 893*2^1512144-1 is not prime. Res64: 6BE138FB615AAB57 Time : 0.0 sec. user=mdettweiler [2018-06-03 17:54:06] 905*2^1512144-1 is not prime. Res64: 28146FE4A23A2534 Time : 0.0 sec. user=mdettweiler [2018-06-03 17:54:06] 993*2^1512144-1 is not prime. Res64: BD2361C057B8360E Time : 0.0 sec. user=mdettweiler [2018-06-03 17:55:37] 855*2^1512145-1 is not prime. Res64: 96ADAD491A64DFAD Time : 0.0 sec. user=mdettweiler [2018-06-03 17:55:38] 641*2^1512146-1 is not prime. Res64: 8B2FB797864577FD Time : 0.0 sec. user=mdettweiler [2018-06-03 17:55:38] 705*2^1512146-1 is not prime. Res64: FF324C15765AAE34 Time : 0.0 sec. user=mdettweiler [2018-06-03 17:55:38] 831*2^1512146-1 is not prime. Res64: 608FDF1577F45718 Time : 0.0 sec. user=mdettweiler [2018-06-03 17:55:39] 861*2^1512146-1 is not prime. Res64: E46B621D3A702D33 Time : 0.0 sec. user=mdettweiler [2018-06-03 18:27:42] 635*2^1512148-1 is not prime. Res64: 52AA5D2A3658DC54 Time : 0.0 sec. user=mdettweiler [2018-06-03 18:27:43] 825*2^1512148-1 is not prime. Res64: 8CFCE6D280BDBB7F Time : 0.0 sec. user=mdettweiler [2018-06-03 18:27:43] 959*2^1512148-1 is not prime. Res64: DEDDA371A6464A36 Time : 0.0 sec. user=mdettweiler [2018-06-03 18:27:43] 995*2^1512148-1 is not prime. Res64: 54FFE39B908ABE5A Time : 0.0 sec. user=mdettweiler [2018-06-03 18:27:44] 619*2^1512149-1 is not prime. Res64: DDD2BD909E2BF936 Time : 0.0 sec. user=mdettweiler [2018-06-03 18:27:54] 867*2^1512146-1 is not prime. Res64: 78D62EFEF16AF004 Time : 0.0 sec. user=mdettweiler [2018-06-03 18:27:54] 765*2^1512147-1 is not prime. Res64: AC48B1781ED73033 Time : 0.0 sec. user=mdettweiler [2018-06-03 18:27:55] 823*2^1512147-1 is not prime. Res64: 47B505887CC3011F Time : 0.0 sec. user=mdettweiler [2018-06-03 18:27:55] 955*2^1512147-1 is not prime. Res64: 3B1C2DD7D0E6217A Time : 0.0 sec. user=mdettweiler [2018-06-03 18:27:56] 617*2^1512148-1 is not prime. Res64: A71F22E50379D329 Time : 0.0 sec. user=mdettweiler [2018-06-03 18:44:50] 775*2^1512149-1 is not prime. Res64: A3E3B1F39F9A1128 Time : 0.0 sec. user=mdettweiler [2018-06-03 18:44:50] 847*2^1512149-1 is not prime. Res64: 583EEF284EE7114E Time : 0.0 sec. user=mdettweiler [2018-06-03 18:44:51] 865*2^1512149-1 is not prime. Res64: D45FB392115470CC Time : 0.0 sec. user=mdettweiler [2018-06-03 18:44:51] 945*2^1512149-1 is not prime. Res64: BDC62321C17F053E Time : 0.0 sec. user=mdettweiler [2018-06-03 18:44:51] 891*2^1512150-1 is not prime. Res64: B597A34BB17D488D Time : 0.0 sec. user=mdettweiler [2018-06-03 18:45:47] 621*2^1512151-1 is not prime. Res64: 548DE326CE606A77 Time : 0.0 sec. user=mdettweiler [2018-06-03 18:45:47] 625*2^1512151-1 is not prime. Res64: DDDE971C3E902374 Time : 0.0 sec. user=mdettweiler [2018-06-03 18:45:47] 723*2^1512151-1 is not prime. Res64: CCB98DDED0949E6D Time : 0.0 sec. user=mdettweiler [2018-06-03 18:45:48] 745*2^1512151-1 is not prime. Res64: E7B75449FF8F1653 Time : 0.0 sec. user=mdettweiler [2018-06-03 18:45:48] 789*2^1512151-1 is not prime. Res64: 9E1DD326D61E662C Time : 0.0 sec. user=juhehe [2018-06-03 19:05:37] 805*2^1512151-1 is not prime. Res64: 1108CB5DECDD02A4 Time : 0.0 sec. user=mdettweiler [2018-06-03 19:17:44] 855*2^1512151-1 is not prime. Res64: 02948F51B89EA5DF Time : 0.0 sec. user=mdettweiler [2018-06-03 19:17:44] 913*2^1512151-1 is not prime. Res64: C98306218A3ED6C2 Time : 0.0 sec. user=mdettweiler [2018-06-03 19:17:45] 975*2^1512151-1 is not prime. Res64: CE4D8DEDCC39EA59 Time : 0.0 sec. user=mdettweiler [2018-06-03 19:17:45] 617*2^1512152-1 is not prime. Res64: E31439C05CEE4B73 Time : 0.0 sec. user=mdettweiler [2018-06-03 19:17:46] 623*2^1512152-1 is not prime. Res64: E96C2A3D4BDED9BA Time : 0.0 sec. user=mdettweiler [2018-06-03 19:18:12] 677*2^1512152-1 is not prime. Res64: DA9C95A8280FA574 Time : 0.0 sec. user=mdettweiler [2018-06-03 19:18:12] 699*2^1512152-1 is not prime. Res64: 41493153A279BE69 Time : 0.0 sec. user=mdettweiler [2018-06-03 19:18:12] 803*2^1512152-1 is not prime. Res64: 279E1BE9AEEBCA91 Time : 0.0 sec. user=mdettweiler [2018-06-03 19:18:13] 873*2^1512152-1 is not prime. Res64: 1C5002F265516A5B Time : 0.0 sec. user=mdettweiler [2018-06-03 19:18:13] 923*2^1512152-1 is not prime. Res64: 0C557478969C958D Time : 0.0 sec. user=mdettweiler [2018-06-03 19:34:53] 747*2^1512153-1 is not prime. Res64: 63F1724215A053FC Time : 0.0 sec. user=mdettweiler [2018-06-03 19:34:54] 885*2^1512153-1 is not prime. Res64: 88D0B5377C443E70 Time : 0.0 sec. user=mdettweiler [2018-06-03 19:34:54] 937*2^1512153-1 is not prime. Res64: 13E177F14661AB33 Time : 0.0 sec. user=mdettweiler [2018-06-03 19:34:54] 635*2^1512154-1 is not prime. Res64: 5AFAF0928EB074FB Time : 0.0 sec. user=mdettweiler [2018-06-03 19:34:54] 681*2^1512154-1 is not prime. Res64: 44D16EC28EB3A146 Time : 0.0 sec. user=mdettweiler [2018-06-03 19:36:03] 755*2^1512154-1 is not prime. Res64: 8ADD070B75762EB8 Time : 0.0 sec. user=mdettweiler [2018-06-03 19:36:03] 945*2^1512154-1 is not prime. Res64: B1B7FE8731670F6E Time : 0.0 sec. user=mdettweiler [2018-06-03 19:36:03] 651*2^1512155-1 is not prime. Res64: 007D37E8FAD46A3B Time : 0.0 sec. user=mdettweiler [2018-06-03 19:36:04] 783*2^1512155-1 is not prime. Res64: 5CF417FF06A686B9 Time : 0.0 sec. user=mdettweiler [2018-06-03 19:36:04] 883*2^1512155-1 is not prime. Res64: E510CC09AA27BA89 Time : 0.0 sec. user=mdettweiler [2018-06-03 20:07:57] 895*2^1512155-1 is not prime. Res64: 86382A859CABE2FC Time : 0.0 sec. user=mdettweiler [2018-06-03 20:08:00] 909*2^1512155-1 is not prime. Res64: 89EA069F85D883C7 Time : 0.0 sec. user=mdettweiler [2018-06-03 20:08:01] 963*2^1512155-1 is not prime. Res64: 58B7A69D7BDFCCF3 Time : 0.0 sec. user=mdettweiler [2018-06-03 20:08:02] 633*2^1512156-1 is not prime. Res64: E2A94179D55243B7 Time : 0.0 sec. user=mdettweiler [2018-06-03 20:08:03] 669*2^1512156-1 is not prime. Res64: 6DD8103E92F9F2A2 Time : 0.0 sec. user=mdettweiler [2018-06-03 20:08:54] 749*2^1512156-1 is not prime. Res64: A246B65C1E1D7FD3 Time : 0.0 sec. user=mdettweiler [2018-06-03 20:08:57] 837*2^1512156-1 is not prime. Res64: D65A5C148A671D4E Time : 0.0 sec. user=mdettweiler [2018-06-03 20:08:59] 839*2^1512156-1 is not prime. Res64: 7873F72EEBDA2CAD Time : 0.0 sec. user=mdettweiler [2018-06-03 20:09:08] 873*2^1512156-1 is not prime. Res64: CAFB678300BDDAE3 Time : 0.0 sec. user=mdettweiler [2018-06-03 20:09:13] 875*2^1512156-1 is not prime. Res64: 4BB38F7B6702CF95 Time : 0.0 sec. user=juhehe [2018-06-03 20:16:46] 999*2^1512156-1 is not prime. Res64: 5EE80633162AB339 Time : 0.0 sec. user=mdettweiler [2018-06-03 20:24:52] 601*2^1512157-1 is not prime. Res64: 26911A6A1B36C13C Time : 0.0 sec. user=mdettweiler [2018-06-03 20:24:53] 661*2^1512157-1 is not prime. Res64: 9CAC58C256192731 Time : 0.0 sec. user=mdettweiler [2018-06-03 20:24:53] 687*2^1512157-1 is not prime. Res64: 542AF80FCDD2D210 Time : 0.0 sec. user=mdettweiler [2018-06-03 20:24:54] 847*2^1512157-1 is not prime. Res64: 71C97DB65DDB20D7 Time : 0.0 sec. user=mdettweiler [2018-06-03 20:24:55] 889*2^1512157-1 is not prime. Res64: 1D28B4B635AA3FFC Time : 0.0 sec. user=mdettweiler [2018-06-03 20:25:58] 603*2^1512158-1 is not prime. Res64: 0D281126571A9C3C Time : 0.0 sec. user=mdettweiler [2018-06-03 20:25:59] 657*2^1512158-1 is not prime. Res64: 0EF223F34A22877C Time : 0.0 sec. user=mdettweiler [2018-06-03 20:25:59] 671*2^1512158-1 is not prime. Res64: 83E322620D22C4CD Time : 0.0 sec. user=mdettweiler [2018-06-03 20:26:00] 843*2^1512158-1 is not prime. Res64: A952878E76B813D2 Time : 0.0 sec. user=mdettweiler [2018-06-03 20:26:00] 971*2^1512158-1 is not prime. Res64: A072160474E992DB Time : 0.0 sec. user=mdettweiler [2018-06-03 20:58:54] 1001*2^1512158-1 is not prime. Res64: F6AD0173E7556547 Time : 0.0 sec. user=mdettweiler [2018-06-03 20:58:55] 609*2^1512159-1 is not prime. Res64: 3F436B0FE611C453 Time : 0.0 sec. user=mdettweiler [2018-06-03 20:58:55] 679*2^1512159-1 is not prime. Res64: 7EFE7AAB9623FB8F Time : 0.0 sec. user=mdettweiler [2018-06-03 20:58:56] 721*2^1512159-1 is not prime. Res64: 558DEDECD36CFFC7 Time : 0.0 sec. user=mdettweiler [2018-06-03 20:58:56] 735*2^1512159-1 is not prime. Res64: E0AEC290BDC56DA5 Time : 0.0 sec. user=mdettweiler [2018-06-03 21:00:05] 775*2^1512159-1 is not prime. Res64: 9E0892AB629F37AE Time : 0.0 sec. user=mdettweiler [2018-06-03 21:00:07] 999*2^1512159-1 is not prime. Res64: C43F5B9BEE72EFD0 Time : 0.0 sec. user=mdettweiler [2018-06-03 21:00:10] 735*2^1512160-1 is not prime. Res64: 583CED50E04CB5A6 Time : 0.0 sec. user=mdettweiler [2018-06-03 21:00:10] 827*2^1512160-1 is not prime. Res64: 74B2371460A8C205 Time : 0.0 sec. user=mdettweiler [2018-06-03 21:00:11] 839*2^1512160-1 is not prime. Res64: DDD580AF32BD869A Time : 0.0 sec. user=mdettweiler [2018-06-03 21:15:42] 927*2^1512160-1 is not prime. Res64: D76070B5665C038F Time : 0.0 sec. user=mdettweiler [2018-06-03 21:15:43] 777*2^1512161-1 is not prime. Res64: FCD54F31F973A702 Time : 0.0 sec. user=mdettweiler [2018-06-03 21:15:43] 861*2^1512161-1 is not prime. Res64: 02BAA34EAC835C5E Time : 0.0 sec. user=mdettweiler [2018-06-03 21:15:44] 635*2^1512162-1 is not prime. Res64: 31001FF180F7887A Time : 0.0 sec. user=mdettweiler [2018-06-03 21:15:44] 717*2^1512162-1 is not prime. Res64: 5DF1B21E902214DF Time : 0.0 sec. user=mdettweiler [2018-06-03 21:16:44] 741*2^1512162-1 is not prime. Res64: 105D762752939250 Time : 0.0 sec. user=mdettweiler [2018-06-03 21:16:44] 803*2^1512162-1 is not prime. Res64: 3E4ECB3B081981E1 Time : 0.0 sec. user=mdettweiler [2018-06-03 21:16:44] 833*2^1512162-1 is not prime. Res64: EEC75F9C1B654103 Time : 0.0 sec. user=mdettweiler [2018-06-03 21:16:45] 885*2^1512162-1 is not prime. Res64: C056FEC22D226616 Time : 0.0 sec. user=mdettweiler [2018-06-03 21:16:45] 975*2^1512162-1 is not prime. Res64: 128C39D488536DAC Time : 0.0 sec. user=mdettweiler [2018-06-03 21:49:04] 639*2^1512163-1 is not prime. Res64: 197E06B894BCAFEA Time : 0.0 sec. user=mdettweiler [2018-06-03 21:49:05] 745*2^1512163-1 is not prime. Res64: A0BEE41B4D6F1E22 Time : 0.0 sec. user=mdettweiler [2018-06-03 21:49:05] 985*2^1512163-1 is not prime. Res64: CF253BBF1A251748 Time : 0.0 sec. user=mdettweiler [2018-06-03 21:49:05] 635*2^1512164-1 is not prime. Res64: C41BEB39A3AD8F9A Time : 0.0 sec. user=mdettweiler [2018-06-03 21:49:06] 759*2^1512164-1 is not prime. Res64: 18F8C8CF50D1D9DD Time : 0.0 sec. user=mdettweiler [2018-06-03 21:51:24] 813*2^1512164-1 is not prime. Res64: F6F8287A244829C6 Time : 0.0 sec. user=mdettweiler [2018-06-03 21:51:25] 959*2^1512164-1 is not prime. Res64: CCF9569D8632F4A4 Time : 0.0 sec. user=mdettweiler [2018-06-03 21:51:25] 685*2^1512165-1 is not prime. Res64: 1E1938A17563E115 Time : 0.0 sec. user=mdettweiler [2018-06-03 21:51:25] 709*2^1512165-1 is not prime. Res64: C0B399BAE67CD276 Time : 0.0 sec. user=mdettweiler [2018-06-03 21:51:26] 859*2^1512165-1 is not prime. Res64: 475FA6CA564A5A4E Time : 0.0 sec. user=mdettweiler [2018-06-03 22:06:36] 825*2^1512166-1 is not prime. Res64: 6142F7F76C39FDBF Time : 0.0 sec. user=mdettweiler [2018-06-03 22:06:38] 891*2^1512166-1 is not prime. Res64: 0704DA08EE63EA21 Time : 0.0 sec. user=mdettweiler [2018-06-03 22:06:39] 933*2^1512166-1 is not prime. Res64: B0DA96CD10454172 Time : 0.0 sec. user=mdettweiler [2018-06-03 22:06:40] 615*2^1512167-1 is not prime. Res64: B90210281CF3DE6F Time : 0.0 sec. user=mdettweiler [2018-06-03 22:06:41] 621*2^1512167-1 is not prime. Res64: AE2E8E741A6A85FC Time : 0.0 sec. user=mdettweiler [2018-06-03 22:07:00] 877*2^1512165-1 is not prime. Res64: DFD7A1EF91FE6592 Time : 0.0 sec. user=mdettweiler [2018-06-03 22:07:03] 889*2^1512165-1 is not prime. Res64: 4897DA38B48089CC Time : 0.0 sec. user=mdettweiler [2018-06-03 22:07:04] 955*2^1512165-1 is not prime. Res64: FEE2BD7AE8F4B0F4 Time : 0.0 sec. user=mdettweiler [2018-06-03 22:07:06] 979*2^1512165-1 is not prime. Res64: B2856640D2DFB09A Time : 0.0 sec. user=mdettweiler [2018-06-03 22:07:10] 717*2^1512166-1 is not prime. Res64: F90D6A87866978B4 Time : 0.0 sec. user=mdettweiler [2018-06-03 22:39:50] 693*2^1512167-1 is not prime. Res64: 95B063AD57B64F13 Time : 0.0 sec. user=mdettweiler [2018-06-03 22:39:51] 759*2^1512167-1 is not prime. Res64: D5278F1A7916FFC6 Time : 0.0 sec. user=mdettweiler [2018-06-03 22:39:51] 799*2^1512167-1 is not prime. Res64: 5B4803D247FA562B Time : 0.0 sec. user=mdettweiler [2018-06-03 22:39:51] 805*2^1512167-1 is not prime. Res64: CE0E6169871638FB Time : 0.0 sec. user=mdettweiler [2018-06-03 22:39:52] 825*2^1512167-1 is not prime. Res64: F2A71D51B212269B Time : 0.0 sec. user=mdettweiler [2018-06-03 22:42:04] 831*2^1512167-1 is not prime. Res64: 71670A468CAAF978 Time : 0.0 sec. user=mdettweiler [2018-06-03 22:42:04] 635*2^1512168-1 is not prime. Res64: A09CF74C10B70515 Time : 0.0 sec. user=mdettweiler [2018-06-03 22:42:05] 705*2^1512168-1 is not prime. Res64: 6F99E3E01F5109DF Time : 0.0 sec. user=mdettweiler [2018-06-03 22:42:05] 707*2^1512168-1 is not prime. Res64: 83015B0FA12FF0A3 Time : 0.0 sec. user=mdettweiler [2018-06-03 22:42:06] 725*2^1512168-1 is not prime. Res64: 97425B5F49612C13 Time : 0.0 sec. user=mdettweiler [2018-06-03 22:58:51] 841*2^1512169-1 is not prime. Res64: 2665749C94C23228 Time : 0.0 sec. user=mdettweiler [2018-06-03 22:58:51] 867*2^1512169-1 is not prime. Res64: 0A22B877ADD3B292 Time : 0.0 sec. user=mdettweiler [2018-06-03 22:58:52] 877*2^1512169-1 is not prime. Res64: BEC0AB35559328B0 Time : 0.0 sec. user=mdettweiler [2018-06-03 22:58:52] 939*2^1512169-1 is not prime. Res64: 957D900F4E6806ED Time : 0.0 sec. user=mdettweiler [2018-06-03 22:58:53] 675*2^1512170-1 is not prime. Res64: B5739AD329014479 Time : 0.0 sec. user=mdettweiler [2018-06-03 22:58:58] 753*2^1512168-1 is not prime. Res64: F1F9CDC00498EE33 Time : 0.0 sec. user=mdettweiler [2018-06-03 22:58:58] 899*2^1512168-1 is not prime. Res64: A6D1FB85704705A0 Time : 0.0 sec. user=mdettweiler [2018-06-03 22:58:59] 915*2^1512168-1 is not prime. Res64: 2DE6F1F6CAF573C7 Time : 0.0 sec. user=mdettweiler [2018-06-03 22:58:59] 691*2^1512169-1 is not prime. Res64: 3E95F5AE0E6E97E3 Time : 0.0 sec. user=mdettweiler [2018-06-03 22:59:00] 721*2^1512169-1 is not prime. Res64: EE9888D34E46A1DD Time : 0.0 sec. user=juhehe [2018-06-03 23:07:04] 867*2^1512170-1 is not prime. Res64: 2A439C0096732F5E Time : 0.0 sec. user=mdettweiler [2018-06-03 23:31:27] 887*2^1512170-1 is not prime. Res64: 1D71FE3962EB259D Time : 0.0 sec. user=mdettweiler [2018-06-03 23:31:28] 893*2^1512170-1 is not prime. Res64: 241285C756EDA908 Time : 0.0 sec. user=mdettweiler [2018-06-03 23:31:28] 945*2^1512170-1 is not prime. Res64: 5F27021467002451 Time : 0.0 sec. user=mdettweiler [2018-06-03 23:31:29] 971*2^1512170-1 is not prime. Res64: 5A15DE36AA2C3741 Time : 0.0 sec. user=mdettweiler [2018-06-03 23:31:29] 995*2^1512170-1 is not prime. Res64: FC91E600BEAD5298 Time : 0.0 sec. user=mdettweiler [2018-06-03 23:33:52] 703*2^1512171-1 is not prime. Res64: F853501CAB05BE20 Time : 0.0 sec. user=mdettweiler [2018-06-03 23:33:53] 709*2^1512171-1 is not prime. Res64: 89B88AE933644CD6 Time : 0.0 sec. user=mdettweiler [2018-06-03 23:33:53] 741*2^1512171-1 is not prime. Res64: E005553F46467376 Time : 0.0 sec. user=mdettweiler [2018-06-03 23:33:53] 745*2^1512171-1 is not prime. Res64: 163FA16A4EBCFDDC Time : 0.0 sec. user=mdettweiler [2018-06-03 23:33:54] 769*2^1512171-1 is not prime. Res64: 3CF25E1CCAB7F478 Time : 0.0 sec. user=mdettweiler [2018-06-03 23:50:17] 909*2^1512172-1 is not prime. Res64: 6E39AB1966563B56 Time : 0.0 sec. user=mdettweiler [2018-06-03 23:50:18] 939*2^1512172-1 is not prime. Res64: 5777FB89F967228D Time : 0.0 sec. user=mdettweiler [2018-06-03 23:50:18] 847*2^1512173-1 is not prime. Res64: 029C842D88E6FFA4 Time : 0.0 sec. user=mdettweiler [2018-06-03 23:50:19] 915*2^1512173-1 is not prime. Res64: 82136ECCD54801CF Time : 0.0 sec. user=mdettweiler [2018-06-03 23:50:19] 651*2^1512174-1 is not prime. Res64: 7E3BB8E9E2F972F7 Time : 0.0 sec. user=mdettweiler [2018-06-03 23:50:31] 773*2^1512174-1 is not prime. Res64: 4207BD46B85883C2 Time : 0.0 sec. user=mdettweiler [2018-06-03 23:50:32] 851*2^1512174-1 is not prime. Res64: 7FC6F6F4A6599B04 Time : 0.0 sec. user=mdettweiler [2018-06-03 23:50:32] 885*2^1512174-1 is not prime. Res64: 3955AC8275EE75C3 Time : 0.0 sec. user=mdettweiler [2018-06-03 23:50:33] 983*2^1512174-1 is not prime. Res64: 3DE829DA66F877C0 Time : 0.0 sec. user=mdettweiler [2018-06-03 23:50:33] 609*2^1512175-1 is not prime. Res64: E4935B9DFE0DAB40 Time : 0.0 sec.