user=mdettweiler [2018-06-16 00:07:02] 723*2^1513470-1 is not prime. Res64: 54D422AAFDE1D0C7 Time : 0.0 sec. user=mdettweiler [2018-06-16 00:07:04] 773*2^1513470-1 is not prime. Res64: 33F88DCFBDD01ADB Time : 0.0 sec. user=mdettweiler [2018-06-16 00:07:07] 783*2^1513470-1 is not prime. Res64: 1DBF14A003E8FB45 Time : 0.0 sec. user=mdettweiler [2018-06-16 00:07:08] 791*2^1513470-1 is not prime. Res64: F741791B1ABCB8D3 Time : 0.0 sec. user=mdettweiler [2018-06-16 00:07:09] 821*2^1513470-1 is not prime. Res64: 040223A0299A2B0D Time : 0.0 sec. user=mdettweiler [2018-06-16 00:13:48] 887*2^1513470-1 is not prime. Res64: D4A9410AF6029BD6 Time : 0.0 sec. user=mdettweiler [2018-06-16 00:13:48] 603*2^1513471-1 is not prime. Res64: 24DDFFE5D788D905 Time : 0.0 sec. user=mdettweiler [2018-06-16 00:13:49] 639*2^1513471-1 is not prime. Res64: 5E71AAB09536A8AC Time : 0.0 sec. user=mdettweiler [2018-06-16 00:13:49] 741*2^1513471-1 is not prime. Res64: D6A592081214384C Time : 0.0 sec. user=mdettweiler [2018-06-16 00:13:49] 751*2^1513471-1 is not prime. Res64: F2CE0AF79ABE1EA9 Time : 0.0 sec. user=mdettweiler [2018-06-16 00:23:36] 759*2^1513471-1 is not prime. Res64: E375CF8CFA6500C5 Time : 0.0 sec. user=mdettweiler [2018-06-16 00:23:36] 783*2^1513471-1 is not prime. Res64: F1D20507392A8896 Time : 0.0 sec. user=mdettweiler [2018-06-16 00:23:36] 979*2^1513471-1 is not prime. Res64: 7228A61D734D87F4 Time : 0.0 sec. user=mdettweiler [2018-06-16 00:23:37] 725*2^1513472-1 is not prime. Res64: F9901DC2B1EBA4E9 Time : 0.0 sec. user=mdettweiler [2018-06-16 00:23:37] 755*2^1513472-1 is not prime. Res64: EA96EEBF62554A0A Time : 0.0 sec. user=juhehe [2018-06-16 00:37:12] 735*2^1513473-1 is not prime. Res64: 1AEA002A19BFB843 Time : 0.0 sec. user=mdettweiler [2018-06-16 00:39:03] 777*2^1513472-1 is not prime. Res64: F44F8C735ADACC90 Time : 0.0 sec. user=mdettweiler [2018-06-16 00:39:03] 813*2^1513472-1 is not prime. Res64: BBA3BFF46481915F Time : 0.0 sec. user=mdettweiler [2018-06-16 00:39:04] 855*2^1513472-1 is not prime. Res64: DFEB19230D4D9C18 Time : 0.0 sec. user=mdettweiler [2018-06-16 00:39:04] 615*2^1513473-1 is not prime. Res64: 27E25E64CCAC799D Time : 0.0 sec. user=mdettweiler [2018-06-16 00:39:04] 649*2^1513473-1 is not prime. Res64: 91BCEF4649861E4F Time : 0.0 sec. user=mdettweiler [2018-06-16 00:58:05] 759*2^1513473-1 is not prime. Res64: D98831A100903A53 Time : 0.0 sec. user=mdettweiler [2018-06-16 00:58:06] 885*2^1513473-1 is not prime. Res64: 89D3AF9686F581F4 Time : 0.0 sec. user=mdettweiler [2018-06-16 00:58:06] 987*2^1513473-1 is not prime. Res64: E36E31BC49541AA8 Time : 0.0 sec. user=mdettweiler [2018-06-16 00:58:06] 991*2^1513473-1 is not prime. Res64: 28EAA94B1F84A6C2 Time : 0.0 sec. user=mdettweiler [2018-06-16 00:58:07] 611*2^1513474-1 is not prime. Res64: EEF6EDA27EDE0B7F Time : 0.0 sec. user=mdettweiler [2018-06-16 01:04:24] 687*2^1513474-1 is not prime. Res64: 082A86F0E11A5976 Time : 0.0 sec. user=mdettweiler [2018-06-16 01:04:27] 737*2^1513474-1 is not prime. Res64: 224E32C9D8CCB57E Time : 0.0 sec. user=mdettweiler [2018-06-16 01:04:29] 741*2^1513474-1 is not prime. Res64: D79C1130C9188A7D Time : 0.0 sec. user=mdettweiler [2018-06-16 01:04:31] 881*2^1513474-1 is not prime. Res64: A9AAAB958411F974 Time : 0.0 sec. user=mdettweiler [2018-06-16 01:04:33] 885*2^1513474-1 is not prime. Res64: C72D17CD73AE0508 Time : 0.0 sec. user=mdettweiler [2018-06-16 01:18:27] 887*2^1513474-1 is not prime. Res64: F8B57764D32FBA8A Time : 0.0 sec. user=mdettweiler [2018-06-16 01:18:28] 915*2^1513474-1 is not prime. Res64: 6201EEABF3285361 Time : 0.0 sec. user=mdettweiler [2018-06-16 01:18:28] 971*2^1513474-1 is not prime. Res64: 6B66CFB50DA8D2F3 Time : 0.0 sec. user=mdettweiler [2018-06-16 01:18:29] 987*2^1513474-1 is not prime. Res64: BA29B790AD8841D9 Time : 0.0 sec. user=mdettweiler [2018-06-16 01:18:29] 663*2^1513475-1 is not prime. Res64: B30236F09E8FBF51 Time : 0.0 sec. user=mdettweiler [2018-06-16 01:29:21] 829*2^1513475-1 is not prime. Res64: 3E97DC2588A2129A Time : 0.0 sec. user=mdettweiler [2018-06-16 01:29:22] 859*2^1513475-1 is not prime. Res64: 37B10F51E73EC832 Time : 0.0 sec. user=mdettweiler [2018-06-16 01:29:23] 871*2^1513475-1 is not prime. Res64: 74DB34ACE8DDCFF0 Time : 0.0 sec. user=mdettweiler [2018-06-16 01:29:24] 903*2^1513475-1 is not prime. Res64: 063C0316A7FB8311 Time : 0.0 sec. user=mdettweiler [2018-06-16 01:29:25] 773*2^1513476-1 is not prime. Res64: 791805878D3E4F9E Time : 0.0 sec. user=mdettweiler [2018-06-16 01:47:59] 779*2^1513476-1 is not prime. Res64: 30CBBE51F4939026 Time : 0.0 sec. user=mdettweiler [2018-06-16 01:48:00] 789*2^1513476-1 is not prime. Res64: 505878FBB11C3B23 Time : 0.0 sec. user=mdettweiler [2018-06-16 01:48:00] 645*2^1513477-1 is not prime. Res64: 9B7595D4389FF3E0 Time : 0.0 sec. user=mdettweiler [2018-06-16 01:48:01] 819*2^1513477-1 is not prime. Res64: 81B565205A4CB252 Time : 0.0 sec. user=mdettweiler [2018-06-16 01:48:01] 829*2^1513477-1 is not prime. Res64: AEE7A6B40B0CDF83 Time : 0.0 sec. user=mdettweiler [2018-06-16 01:57:15] 849*2^1513477-1 is not prime. Res64: 32A0972D19F1396C Time : 0.0 sec. user=mdettweiler [2018-06-16 01:57:15] 961*2^1513477-1 is not prime. Res64: 18A9D67F93D8BF7F Time : 0.0 sec. user=mdettweiler [2018-06-16 01:57:16] 665*2^1513478-1 is not prime. Res64: B6E7346D5BE9CC19 Time : 0.0 sec. user=mdettweiler [2018-06-16 01:57:16] 671*2^1513478-1 is not prime. Res64: 831D38FDCCF75416 Time : 0.0 sec. user=mdettweiler [2018-06-16 01:57:17] 755*2^1513478-1 is not prime. Res64: 4FCF1DBBB59C2E7F Time : 0.0 sec. user=mdettweiler [2018-06-16 02:08:19] 815*2^1513478-1 is not prime. Res64: E3A15ECD5E7F6668 Time : 0.0 sec. user=mdettweiler [2018-06-16 02:08:21] 957*2^1513478-1 is not prime. Res64: 82C758CB475C089D Time : 0.0 sec. user=mdettweiler [2018-06-16 02:08:24] 619*2^1513479-1 is not prime. Res64: 1E5F737A965859F5 Time : 0.0 sec. user=mdettweiler [2018-06-16 02:08:26] 685*2^1513479-1 is not prime. Res64: 0FA608B69C50F42D Time : 0.0 sec. user=mdettweiler [2018-06-16 02:08:28] 745*2^1513479-1 is not prime. Res64: 4BA1C494D99EA75C Time : 0.0 sec. user=mdettweiler [2018-06-16 02:27:21] 775*2^1513479-1 is not prime. Res64: 735E8EEB53BB79EE Time : 0.0 sec. user=mdettweiler [2018-06-16 02:27:22] 853*2^1513479-1 is not prime. Res64: 4A93C169259EA3F9 Time : 0.0 sec. user=mdettweiler [2018-06-16 02:27:22] 859*2^1513479-1 is not prime. Res64: 1F940EFF5FE2FC0E Time : 0.0 sec. user=mdettweiler [2018-06-16 02:27:23] 605*2^1513480-1 is not prime. Res64: C53D7608642EDF15 Time : 0.0 sec. user=mdettweiler [2018-06-16 02:27:23] 719*2^1513480-1 is not prime. Res64: B4CAD92FFCD2A21A Time : 0.0 sec. user=mdettweiler [2018-06-16 02:38:27] 773*2^1513480-1 is not prime. Res64: 57BE040558C58AA1 Time : 0.0 sec. user=mdettweiler [2018-06-16 02:38:28] 825*2^1513480-1 is not prime. Res64: 81AAAE59984A0022 Time : 0.0 sec. user=mdettweiler [2018-06-16 02:38:28] 839*2^1513480-1 is not prime. Res64: 65FB34BA06145413 Time : 0.0 sec. user=mdettweiler [2018-06-16 02:38:29] 855*2^1513480-1 is not prime. Res64: 901B2D45F78BEF35 Time : 0.0 sec. user=mdettweiler [2018-06-16 02:38:29] 999*2^1513480-1 is not prime. Res64: E54C009E0C8CB4E8 Time : 0.0 sec. user=mdettweiler [2018-06-16 02:48:25] 669*2^1513481-1 is not prime. Res64: 61AAD49AA025BBC2 Time : 0.0 sec. user=mdettweiler [2018-06-16 02:48:26] 909*2^1513481-1 is not prime. Res64: FEC59FDF2F1C9304 Time : 0.0 sec. user=mdettweiler [2018-06-16 02:48:26] 955*2^1513481-1 is not prime. Res64: F1C2D29724C136EE Time : 0.0 sec. user=mdettweiler [2018-06-16 02:48:27] 681*2^1513482-1 is not prime. Res64: C6D42349100A3FB9 Time : 0.0 sec. user=mdettweiler [2018-06-16 02:48:27] 705*2^1513482-1 is not prime. Res64: E569CABD585C32C0 Time : 0.0 sec. user=juhehe [2018-06-16 02:57:41] 951*2^1513482-1 is not prime. Res64: 6F66C60918B2E754 Time : 0.0 sec. user=mdettweiler [2018-06-16 03:01:09] 755*2^1513482-1 is not prime. Res64: B56D551F332C6A83 Time : 0.0 sec. user=mdettweiler [2018-06-16 03:01:13] 777*2^1513482-1 is not prime. Res64: D1EDEE71C61944A3 Time : 0.0 sec. user=mdettweiler [2018-06-16 03:01:16] 815*2^1513482-1 is not prime. Res64: E5E97B0C2967A869 Time : 0.0 sec. user=mdettweiler [2018-06-16 03:01:18] 843*2^1513482-1 is not prime. Res64: 5C9400DC6CCD1390 Time : 0.0 sec. user=mdettweiler [2018-06-16 03:01:20] 947*2^1513482-1 is not prime. Res64: E436C137CBC49028 Time : 0.0 sec. user=mdettweiler [2018-06-16 03:18:51] 771*2^1513483-1 is not prime. Res64: 4A1345ADE6E18BBB Time : 0.0 sec. user=mdettweiler [2018-06-16 03:18:51] 829*2^1513483-1 is not prime. Res64: 6DE8259704E24268 Time : 0.0 sec. user=mdettweiler [2018-06-16 03:18:52] 915*2^1513483-1 is not prime. Res64: E16B6904D25C7D84 Time : 0.0 sec. user=mdettweiler [2018-06-16 03:18:52] 945*2^1513483-1 is not prime. Res64: E59FF35B247368ED Time : 0.0 sec. user=mdettweiler [2018-06-16 03:18:53] 985*2^1513483-1 is not prime. Res64: DD00AF08879D85DD Time : 0.0 sec. user=mdettweiler [2018-06-16 03:29:34] 617*2^1513484-1 is not prime. Res64: FED35C315641FC29 Time : 0.0 sec. user=mdettweiler [2018-06-16 03:29:35] 717*2^1513484-1 is not prime. Res64: D94481A4EC96C7D0 Time : 0.0 sec. user=mdettweiler [2018-06-16 03:29:36] 935*2^1513484-1 is not prime. Res64: 49E7A722A248480A Time : 0.0 sec. user=mdettweiler [2018-06-16 03:29:37] 609*2^1513485-1 is not prime. Res64: 405A928492D65FBB Time : 0.0 sec. user=mdettweiler [2018-06-16 03:29:38] 675*2^1513485-1 is not prime. Res64: BD134877C8299175 Time : 0.0 sec. user=mdettweiler [2018-06-16 03:39:43] 685*2^1513485-1 is not prime. Res64: 06C8B7720899BA73 Time : 0.0 sec. user=mdettweiler [2018-06-16 03:39:44] 781*2^1513485-1 is not prime. Res64: C7A0FBB60189E8F1 Time : 0.0 sec. user=mdettweiler [2018-06-16 03:39:45] 817*2^1513485-1 is not prime. Res64: 3218B2A31017CD0A Time : 0.0 sec. user=mdettweiler [2018-06-16 03:39:46] 859*2^1513485-1 is not prime. Res64: C719A4E1A014CA3A Time : 0.0 sec. user=mdettweiler [2018-06-16 03:39:47] 861*2^1513485-1 is not prime. Res64: E453BFCFC81CC885 Time : 0.0 sec. user=mdettweiler [2018-06-16 03:52:31] 895*2^1513485-1 is not prime. Res64: 175A4B24813095FC Time : 0.0 sec. user=mdettweiler [2018-06-16 03:52:37] 647*2^1513486-1 is not prime. Res64: D21DD06F65662326 Time : 0.0 sec. user=mdettweiler [2018-06-16 03:52:43] 657*2^1513486-1 is not prime. Res64: 57D519DD27E62241 Time : 0.0 sec. user=mdettweiler [2018-06-16 03:52:48] 705*2^1513486-1 is not prime. Res64: D71E131484DAB782 Time : 0.0 sec. user=mdettweiler [2018-06-16 03:52:55] 765*2^1513486-1 is not prime. Res64: FCE07ADE2ABB2978 Time : 0.0 sec. user=mdettweiler [2018-06-16 04:10:02] 843*2^1513486-1 is not prime. Res64: A6E4FFF0F0D2E344 Time : 0.0 sec. user=mdettweiler [2018-06-16 04:21:16] 747*2^1513488-1 is not prime. Res64: E66E5C166DF94944 Time : 0.0 sec. user=mdettweiler [2018-06-16 04:21:22] 845*2^1513488-1 is not prime. Res64: ECF0B5A85734DB52 Time : 0.0 sec. user=mdettweiler [2018-06-16 04:21:28] 849*2^1513488-1 is not prime. Res64: AE5AAB547E905B74 Time : 0.0 sec. user=mdettweiler [2018-06-16 04:21:31] 887*2^1513488-1 is not prime. Res64: A96989FB0C5D2A6A Time : 0.0 sec. user=mdettweiler [2018-06-16 04:21:39] 933*2^1513488-1 is not prime. Res64: 244E7919F05BF5E6 Time : 0.0 sec. user=mdettweiler [2018-06-16 04:30:55] 959*2^1513488-1 is not prime. Res64: 56462F9783099F07 Time : 0.0 sec. user=mdettweiler [2018-06-16 04:36:16] 863*2^1513492-1 is not prime. Res64: ED6B69A3F0E34F15 Time : 0.0 sec. user=juhehe [2018-06-16 04:41:24] 753*2^1513491-1 is not prime. Res64: 871710873C61B2FE Time : 0.0 sec. user=mdettweiler [2018-06-16 04:53:00] 775*2^1513491-1 is not prime. Res64: 8D7B89419812540C Time : 0.0 sec. user=mdettweiler [2018-06-16 04:53:01] 805*2^1513491-1 is not prime. Res64: 9486845B0235285E Time : 0.0 sec. user=mdettweiler [2018-06-16 04:53:01] 871*2^1513491-1 is not prime. Res64: 93BFE3BFFF2458E1 Time : 0.0 sec. user=mdettweiler [2018-06-16 04:53:02] 943*2^1513491-1 is not prime. Res64: D64C38D8B985F6C9 Time : 0.0 sec. user=mdettweiler [2018-06-16 04:53:02] 705*2^1513492-1 is not prime. Res64: 673880F1D2A068A7 Time : 0.0 sec. user=mdettweiler [2018-06-16 05:24:31] 869*2^1513492-1 is not prime. Res64: 41CDE82C0CF86CDB Time : 0.0 sec. user=mdettweiler [2018-06-16 05:24:32] 929*2^1513492-1 is not prime. Res64: FF39CF93C0156BEF Time : 0.0 sec. user=mdettweiler [2018-06-16 05:24:32] 619*2^1513493-1 is not prime. Res64: 48CD8559C0E1BB0B Time : 0.0 sec. user=mdettweiler [2018-06-16 05:24:33] 657*2^1513493-1 is not prime. Res64: 40241FD129F5642C Time : 0.0 sec. user=mdettweiler [2018-06-16 05:24:33] 675*2^1513493-1 is not prime. Res64: 3D64AB43EAD437C2 Time : 0.0 sec. user=mdettweiler [2018-06-16 05:46:57] 691*2^1513493-1 is not prime. Res64: B6B5F7C374230AF8 Time : 0.0 sec. user=mdettweiler [2018-06-16 05:46:58] 715*2^1513493-1 is not prime. Res64: 15899CCC3DF807F6 Time : 0.0 sec. user=mdettweiler [2018-06-16 05:46:59] 801*2^1513493-1 is not prime. Res64: BDB66AE2A2E611C2 Time : 0.0 sec. user=mdettweiler [2018-06-16 05:47:00] 861*2^1513493-1 is not prime. Res64: 0D0F39F1056DDCC5 Time : 0.0 sec. user=mdettweiler [2018-06-16 05:47:01] 885*2^1513493-1 is not prime. Res64: ACCB2EC658CF977D Time : 0.0 sec. user=mdettweiler [2018-06-16 06:18:38] 605*2^1513494-1 is not prime. Res64: A580DC784776B7FE Time : 0.0 sec. user=mdettweiler [2018-06-16 06:18:38] 741*2^1513494-1 is not prime. Res64: F29AE569060EB4A7 Time : 0.0 sec. user=mdettweiler [2018-06-16 06:18:38] 861*2^1513494-1 is not prime. Res64: 4E22AB1F7D2B8880 Time : 0.0 sec. user=mdettweiler [2018-06-16 06:18:39] 881*2^1513494-1 is not prime. Res64: A062A05E43788962 Time : 0.0 sec. user=mdettweiler [2018-06-16 06:18:39] 885*2^1513494-1 is not prime. Res64: 9738C5D3C77D0F8C Time : 0.0 sec. user=mdettweiler [2018-06-16 06:41:11] 921*2^1513494-1 is not prime. Res64: 6A54612F0FED852C Time : 0.0 sec. user=mdettweiler [2018-06-16 06:41:11] 923*2^1513494-1 is not prime. Res64: FE3F77D78625CB9C Time : 0.0 sec. user=mdettweiler [2018-06-16 06:41:11] 993*2^1513494-1 is not prime. Res64: C526D0E7C159AB6B Time : 0.0 sec. user=mdettweiler [2018-06-16 06:41:12] 625*2^1513495-1 is not prime. Res64: FD2EB3B8CC6D8587 Time : 0.0 sec. user=mdettweiler [2018-06-16 06:41:12] 645*2^1513495-1 is not prime. Res64: A708211E0BA91E76 Time : 0.0 sec. user=mdettweiler [2018-06-16 07:11:51] 649*2^1513495-1 is not prime. Res64: 94534AE128161413 Time : 0.0 sec. user=mdettweiler [2018-06-16 07:11:53] 651*2^1513495-1 is not prime. Res64: 794B4B0F6E4ADD2C Time : 0.0 sec. user=mdettweiler [2018-06-16 07:11:55] 661*2^1513495-1 is not prime. Res64: 95C00C586033E8D9 Time : 0.0 sec. user=mdettweiler [2018-06-16 07:11:57] 663*2^1513495-1 is not prime. Res64: 8AB17481E893DC85 Time : 0.0 sec. user=mdettweiler [2018-06-16 07:11:59] 723*2^1513495-1 is not prime. Res64: A50887A4A2D3036B Time : 0.0 sec. user=mdettweiler [2018-06-16 07:35:13] 763*2^1513495-1 is not prime. Res64: 033881163D73A3B0 Time : 0.0 sec. user=mdettweiler [2018-06-16 07:35:13] 765*2^1513495-1 is not prime. Res64: 32BEC53BEFB7F2BF Time : 0.0 sec. user=mdettweiler [2018-06-16 07:35:14] 859*2^1513495-1 is not prime. Res64: 94B5B56EB3EC5A0A Time : 0.0 sec. user=mdettweiler [2018-06-16 07:35:14] 873*2^1513495-1 is not prime. Res64: 1C218EB419915953 Time : 0.0 sec. user=mdettweiler [2018-06-16 07:35:14] 889*2^1513495-1 is not prime. Res64: DEFECA235B3A24EB Time : 0.0 sec. user=juhehe [2018-06-16 07:39:22] 609*2^1513496-1 is not prime. Res64: 4A5A6EDAB636B385 Time : 0.0 sec. user=mdettweiler [2018-06-16 08:07:44] 635*2^1513496-1 is not prime. Res64: 62306E0A6BED00E6 Time : 0.0 sec. user=mdettweiler [2018-06-16 08:07:45] 873*2^1513496-1 is not prime. Res64: 37D544D7CD6020D9 Time : 0.0 sec. user=mdettweiler [2018-06-16 08:07:46] 963*2^1513496-1 is not prime. Res64: C4EC62B83A6F39D9 Time : 0.0 sec. user=mdettweiler [2018-06-16 08:07:48] 999*2^1513496-1 is not prime. Res64: 6382AFC084D123C1 Time : 0.0 sec. user=mdettweiler [2018-06-16 08:07:49] 685*2^1513497-1 is not prime. Res64: 56DAD278711FB270 Time : 0.0 sec. user=mdettweiler [2018-06-16 08:28:43] 937*2^1513497-1 is not prime. Res64: CC713EA6A3E64835 Time : 0.0 sec. user=mdettweiler [2018-06-16 08:28:43] 945*2^1513497-1 is not prime. Res64: AC98EEEC0AECA789 Time : 0.0 sec. user=mdettweiler [2018-06-16 08:28:44] 979*2^1513497-1 is not prime. Res64: 4BB89B0A8A6C0017 Time : 0.0 sec. user=mdettweiler [2018-06-16 08:28:44] 623*2^1513498-1 is not prime. Res64: E4C11DC629946244 Time : 0.0 sec. user=mdettweiler [2018-06-16 08:28:45] 687*2^1513498-1 is not prime. Res64: B2BB2610DAA5246B Time : 0.0 sec. user=mdettweiler [2018-06-16 09:01:56] 735*2^1513498-1 is not prime. Res64: E08AF05A21EA5E4B Time : 0.0 sec. user=mdettweiler [2018-06-16 09:01:59] 857*2^1513498-1 is not prime. Res64: 082EBA7FBCECF99A Time : 0.0 sec. user=mdettweiler [2018-06-16 09:02:01] 867*2^1513498-1 is not prime. Res64: 2773763DCAC85AC3 Time : 0.0 sec. user=mdettweiler [2018-06-16 09:02:02] 885*2^1513498-1 is not prime. Res64: 4D29DF0B48A7163C Time : 0.0 sec. user=mdettweiler [2018-06-16 09:02:04] 887*2^1513498-1 is not prime. Res64: 6553730122341698 Time : 0.0 sec. user=juhehe [2018-06-16 09:12:06] 911*2^1513498-1 is not prime. Res64: 1C99C7E1513FD710 Time : 0.0 sec. user=mdettweiler [2018-06-16 09:22:27] 915*2^1513498-1 is not prime. Res64: 4C7039CCBFD88D76 Time : 0.0 sec. user=mdettweiler [2018-06-16 09:22:27] 957*2^1513498-1 is not prime. Res64: 4A9C06B4C5516263 Time : 0.0 sec. user=mdettweiler [2018-06-16 09:22:28] 971*2^1513498-1 is not prime. Res64: 11555E1DB42CF5D6 Time : 0.0 sec. user=mdettweiler [2018-06-16 09:22:28] 995*2^1513498-1 is not prime. Res64: CEEF3C5E8C8D65DB Time : 0.0 sec. user=mdettweiler [2018-06-16 09:22:29] 1001*2^1513498-1 is not prime. Res64: D3F9F7A7A0FABF7D Time : 0.0 sec. user=mdettweiler [2018-06-16 09:27:46] 741*2^1513487-1 is not prime. Res64: CFC31B759841A258 Time : 0.0 sec. user=mdettweiler [2018-06-16 09:27:46] 775*2^1513487-1 is not prime. Res64: B9B2F28CDACAE3A9 Time : 0.0 sec. user=mdettweiler [2018-06-16 09:27:47] 979*2^1513487-1 is not prime. Res64: D9970D5DDDD1F7E7 Time : 0.0 sec. user=mdettweiler [2018-06-16 09:27:47] 725*2^1513488-1 is not prime. Res64: F14FDCCEC3744835 Time : 0.0 sec. user=mdettweiler [2018-06-16 09:48:00] 885*2^1513489-1 is not prime. Res64: 0E06308638CDDE42 Time : 0.0 sec. user=mdettweiler [2018-06-16 09:48:00] 931*2^1513489-1 is not prime. Res64: 1B547B00E2C7AF57 Time : 0.0 sec. user=mdettweiler [2018-06-16 09:48:00] 623*2^1513490-1 is not prime. Res64: 47A5093D637D13D3 Time : 0.0 sec. user=mdettweiler [2018-06-16 09:48:01] 825*2^1513490-1 is not prime. Res64: A0AEB9835BF17560 Time : 0.0 sec. user=mdettweiler [2018-06-16 09:55:28] 675*2^1513499-1 is not prime. Res64: 12F3AD13FBC61BAE Time : 0.0 sec. user=mdettweiler [2018-06-16 09:55:28] 789*2^1513499-1 is not prime. Res64: 2C5FD8BA4BB4B1BC Time : 0.0 sec. user=mdettweiler [2018-06-16 09:55:29] 841*2^1513499-1 is not prime. Res64: B0A199EF9F20007B Time : 0.0 sec. user=mdettweiler [2018-06-16 09:55:29] 853*2^1513499-1 is not prime. Res64: DDD925E8AB35EA83 Time : 0.0 sec. user=mdettweiler [2018-06-16 09:55:30] 949*2^1513499-1 is not prime. Res64: 33E58A448FB74F5B Time : 0.0 sec. user=mdettweiler [2018-06-16 10:13:24] 985*2^1513499-1 is not prime. Res64: D7CE8830B2EE2468 Time : 0.0 sec. user=mdettweiler [2018-06-16 10:13:24] 693*2^1513500-1 is not prime. Res64: F41CA396B2C6E2BA Time : 0.0 sec. user=mdettweiler [2018-06-16 10:13:25] 719*2^1513500-1 is not prime. Res64: 353ACD0D75B9B27F Time : 0.0 sec. user=mdettweiler [2018-06-16 10:13:26] 723*2^1513500-1 is not prime. Res64: D4947C6DB5DC7E89 Time : 0.0 sec. user=mdettweiler [2018-06-16 10:13:27] 777*2^1513500-1 is not prime. Res64: 1C346D4E60ABCC4D Time : 0.0 sec. user=mdettweiler [2018-06-16 10:17:58] 845*2^1513500-1 is not prime. Res64: CA3DD2D1FA29D8E3 Time : 0.0 sec. user=mdettweiler [2018-06-16 10:17:59] 909*2^1513500-1 is not prime. Res64: 0B1E2A311A68790F Time : 0.0 sec. user=mdettweiler [2018-06-16 10:17:59] 929*2^1513500-1 is not prime. Res64: 073F68F1A286031D Time : 0.0 sec. user=mdettweiler [2018-06-16 10:18:00] 625*2^1513501-1 is not prime. Res64: 440D6945BC10C5C0 Time : 0.0 sec. user=mdettweiler [2018-06-16 10:18:00] 747*2^1513501-1 is not prime. Res64: 04ACB608EE14F931 Time : 0.0 sec. user=mdettweiler [2018-06-16 10:38:25] 771*2^1513501-1 is not prime. Res64: 03714879E8C68F6A Time : 0.0 sec. user=mdettweiler [2018-06-16 10:38:25] 847*2^1513501-1 is not prime. Res64: FB42D459D8F1A30B Time : 0.0 sec. user=mdettweiler [2018-06-16 10:38:26] 867*2^1513501-1 is not prime. Res64: 04864B5481678100 Time : 0.0 sec. user=mdettweiler [2018-06-16 10:38:26] 957*2^1513501-1 is not prime. Res64: 9274999B9AE63D7B Time : 0.0 sec. user=mdettweiler [2018-06-16 10:38:27] 979*2^1513501-1 is not prime. Res64: D41A3E89E4D84325 Time : 0.0 sec. user=mdettweiler [2018-06-16 10:45:09] 997*2^1513501-1 is not prime. Res64: 64ABB941CBDF0FFF Time : 0.0 sec. user=mdettweiler [2018-06-16 10:45:09] 999*2^1513501-1 is not prime. Res64: 08563ADED93865C7 Time : 0.0 sec. user=mdettweiler [2018-06-16 10:45:10] 603*2^1513502-1 is not prime. Res64: 0F732872C4813961 Time : 0.0 sec. user=mdettweiler [2018-06-16 10:45:10] 651*2^1513502-1 is not prime. Res64: 047DA2080CB9BBB5 Time : 0.0 sec. user=mdettweiler [2018-06-16 10:45:10] 713*2^1513502-1 is not prime. Res64: F57C6B314C6E298C Time : 0.0 sec. user=mdettweiler [2018-06-16 11:03:30] 743*2^1513502-1 is not prime. Res64: E637BEF4A873B036 Time : 0.0 sec. user=mdettweiler [2018-06-16 11:03:31] 797*2^1513502-1 is not prime. Res64: 62E366E55E22541F Time : 0.0 sec. user=mdettweiler [2018-06-16 11:03:33] 941*2^1513502-1 is not prime. Res64: 60D8BD593D13E59B Time : 0.0 sec. user=mdettweiler [2018-06-16 11:03:34] 661*2^1513503-1 is not prime. Res64: 76BC3CF4A5D7CA70 Time : 0.0 sec. user=mdettweiler [2018-06-16 11:03:35] 675*2^1513503-1 is not prime. Res64: BBD3CF005DB4C5FD Time : 0.0 sec. user=mdettweiler [2018-06-16 11:08:22] 775*2^1513503-1 is not prime. Res64: EDB965EDFE221705 Time : 0.0 sec. user=mdettweiler [2018-06-16 11:08:23] 783*2^1513503-1 is not prime. Res64: 520E085E77C90D5E Time : 0.0 sec. user=mdettweiler [2018-06-16 11:08:23] 823*2^1513503-1 is not prime. Res64: FC0BA83B5D4982EE Time : 0.0 sec. user=mdettweiler [2018-06-16 11:08:24] 859*2^1513503-1 is not prime. Res64: 8EF778E3F18B6EC9 Time : 0.0 sec. user=mdettweiler [2018-06-16 11:08:24] 879*2^1513503-1 is not prime. Res64: F31EF7E8495FF9CD Time : 0.0 sec. user=mdettweiler [2018-06-16 11:28:38] 759*2^1513504-1 is not prime. Res64: 167228AAF5FD4E17 Time : 0.0 sec. user=mdettweiler [2018-06-16 11:28:39] 849*2^1513504-1 is not prime. Res64: 436E848DA918D917 Time : 0.0 sec. user=mdettweiler [2018-06-16 11:28:39] 869*2^1513504-1 is not prime. Res64: EC95FCD775B8E0E7 Time : 0.0 sec. user=mdettweiler [2018-06-16 11:28:40] 905*2^1513504-1 is not prime. Res64: E7C2A13105B061F4 Time : 0.0 sec. user=mdettweiler [2018-06-16 11:28:40] 947*2^1513504-1 is not prime. Res64: 5AE2EB4B1807FE1F Time : 0.0 sec. user=juhehe [2018-06-16 11:32:34] 991*2^1513505-1 is not prime. Res64: 4EB9E8D329F0CFAC Time : 0.0 sec. user=mdettweiler [2018-06-16 11:34:50] 607*2^1513505-1 is not prime. Res64: 3FFB642141816E7B Time : 0.0 sec. user=mdettweiler [2018-06-16 11:34:50] 649*2^1513505-1 is not prime. Res64: A2A780937E8E2C76 Time : 0.0 sec. user=mdettweiler [2018-06-16 11:34:50] 867*2^1513505-1 is not prime. Res64: 9305DDFB7D6D3515 Time : 0.0 sec. user=mdettweiler [2018-06-16 11:34:51] 871*2^1513505-1 is not prime. Res64: 564629C812CDB978 Time : 0.0 sec. user=mdettweiler [2018-06-16 11:34:51] 951*2^1513505-1 is not prime. Res64: A104A54524608069 Time : 0.0 sec. user=mdettweiler [2018-06-16 11:54:11] 635*2^1513506-1 is not prime. Res64: CFBF65EB557B40F2 Time : 0.0 sec. user=mdettweiler [2018-06-16 11:54:11] 713*2^1513506-1 is not prime. Res64: 9EFE5623E79A0E88 Time : 0.0 sec. user=mdettweiler [2018-06-16 11:54:12] 717*2^1513506-1 is not prime. Res64: B8FE907CD661ADB0 Time : 0.0 sec. user=mdettweiler [2018-06-16 11:54:12] 735*2^1513506-1 is not prime. Res64: 14A848E44C201620 Time : 0.0 sec. user=mdettweiler [2018-06-16 11:54:12] 765*2^1513506-1 is not prime. Res64: 08E9DCF0F1C67570 Time : 0.0 sec. user=mdettweiler [2018-06-16 11:58:22] 807*2^1513506-1 is not prime. Res64: C3E32643E2AEA10A Time : 0.0 sec. user=mdettweiler [2018-06-16 11:58:23] 833*2^1513506-1 is not prime. Res64: 7820E58C642014F4 Time : 0.0 sec. user=mdettweiler [2018-06-16 11:58:23] 861*2^1513506-1 is not prime. Res64: 062E7A7687CFCE29 Time : 0.0 sec. user=mdettweiler [2018-06-16 11:58:23] 887*2^1513506-1 is not prime. Res64: DF7F8511DC6C84B2 Time : 0.0 sec. user=mdettweiler [2018-06-16 11:58:24] 625*2^1513507-1 is not prime. Res64: 1C7DBEA95ED78FC1 Time : 0.0 sec. user=mdettweiler [2018-06-16 12:18:43] 919*2^1513507-1 is not prime. Res64: 62A93FB9D132A940 Time : 0.0 sec. user=mdettweiler [2018-06-16 12:18:43] 973*2^1513507-1 is not prime. Res64: A8FCEC18CBFC20AD Time : 0.0 sec. user=mdettweiler [2018-06-16 12:18:44] 979*2^1513507-1 is not prime. Res64: 1320A5FF6C4E104F Time : 0.0 sec. user=mdettweiler [2018-06-16 12:18:44] 825*2^1513508-1 is not prime. Res64: 63C82D91B9172318 Time : 0.0 sec. user=mdettweiler [2018-06-16 12:18:45] 601*2^1513509-1 is not prime. Res64: E8FFF859CF3CADAD Time : 0.0 sec. user=mdettweiler [2018-06-16 12:24:53] 667*2^1513509-1 is not prime. Res64: 398973B6D6C34043 Time : 0.0 sec. user=mdettweiler [2018-06-16 12:24:53] 735*2^1513509-1 is not prime. Res64: BFA149E0D478FF13 Time : 0.0 sec. user=mdettweiler [2018-06-16 12:24:54] 795*2^1513509-1 is not prime. Res64: BC0E389A29681B6F Time : 0.0 sec. user=mdettweiler [2018-06-16 12:24:54] 817*2^1513509-1 is not prime. Res64: 8BAAC85DA77839FB Time : 0.0 sec. user=mdettweiler [2018-06-16 12:24:55] 847*2^1513509-1 is not prime. Res64: 77F7F9186BBA2B22 Time : 0.0 sec. user=mdettweiler [2018-06-16 12:43:48] 861*2^1513509-1 is not prime. Res64: A1C13742672EADF5 Time : 0.0 sec. user=mdettweiler [2018-06-16 12:43:48] 927*2^1513509-1 is not prime. Res64: EF41C92F16FF64F2 Time : 0.0 sec. user=mdettweiler [2018-06-16 12:43:48] 985*2^1513509-1 is not prime. Res64: 14DC5B6B74570990 Time : 0.0 sec. user=mdettweiler [2018-06-16 12:43:49] 605*2^1513510-1 is not prime. Res64: 24D8489762C48CD9 Time : 0.0 sec. user=mdettweiler [2018-06-16 12:43:49] 653*2^1513510-1 is not prime. Res64: 2C43ADBD412F17F3 Time : 0.0 sec. user=mdettweiler [2018-06-16 12:48:58] 731*2^1513510-1 is not prime. Res64: E56B3DBAF7C223E5 Time : 0.0 sec. user=mdettweiler [2018-06-16 12:48:58] 861*2^1513510-1 is not prime. Res64: A88E1EF1EBF80852 Time : 0.0 sec. user=mdettweiler [2018-06-16 12:48:59] 885*2^1513510-1 is not prime. Res64: 2092D6079F67D9FF Time : 0.0 sec. user=mdettweiler [2018-06-16 12:48:59] 891*2^1513510-1 is not prime. Res64: 83B2F0690A29F20D Time : 0.0 sec. user=mdettweiler [2018-06-16 12:48:59] 923*2^1513510-1 is not prime. Res64: 3C21CF1B36529CFB Time : 0.0 sec. user=mdettweiler [2018-06-16 13:08:50] 965*2^1513510-1 is not prime. Res64: 0EC19621DFFCC7F2 Time : 0.0 sec. user=mdettweiler [2018-06-16 13:08:51] 621*2^1513511-1 is not prime. Res64: 7B5B2AE1D4FE26F2 Time : 0.0 sec. user=mdettweiler [2018-06-16 13:08:51] 711*2^1513511-1 is not prime. Res64: 8A3B99EAA8320AE3 Time : 0.0 sec. user=mdettweiler [2018-06-16 13:08:52] 813*2^1513511-1 is not prime. Res64: 6007607816A8F4C6 Time : 0.0 sec. user=mdettweiler [2018-06-16 13:08:52] 931*2^1513511-1 is not prime. Res64: A8C7D395A20FC152 Time : 0.0 sec. user=mdettweiler [2018-06-16 13:15:24] 949*2^1513511-1 is not prime. Res64: 5C4ADC20133FC266 Time : 0.0 sec. user=mdettweiler [2018-06-16 13:15:24] 969*2^1513511-1 is not prime. Res64: 8264441787179A04 Time : 0.0 sec. user=mdettweiler [2018-06-16 13:15:25] 973*2^1513511-1 is not prime. Res64: D5824A43E3FD9C63 Time : 0.0 sec. user=mdettweiler [2018-06-16 13:15:25] 717*2^1513512-1 is not prime. Res64: 82CBA77D67820A15 Time : 0.0 sec. user=mdettweiler [2018-06-16 13:15:26] 825*2^1513512-1 is not prime. Res64: 0DBA7BAC30D99D06 Time : 0.0 sec. user=mdettweiler [2018-06-16 13:34:17] 909*2^1513512-1 is not prime. Res64: F9046F6224602443 Time : 0.0 sec. user=mdettweiler [2018-06-16 13:34:17] 923*2^1513512-1 is not prime. Res64: 195AC584864FCFBE Time : 0.0 sec. user=mdettweiler [2018-06-16 13:34:17] 945*2^1513512-1 is not prime. Res64: 1DD48DE64A48E6CB Time : 0.0 sec. user=mdettweiler [2018-06-16 13:34:18] 977*2^1513512-1 is not prime. Res64: B993732DF0F110EA Time : 0.0 sec. user=mdettweiler [2018-06-16 13:34:18] 671*2^1513514-1 is not prime. Res64: 5E2FA626D96EE67D Time : 0.0 sec. user=mdettweiler [2018-06-16 13:39:17] 675*2^1513514-1 is not prime. Res64: E3C49A7420F952C5 Time : 0.0 sec. user=mdettweiler [2018-06-16 13:39:18] 701*2^1513514-1 is not prime. Res64: 17F8907CCF324BFB Time : 0.0 sec. user=mdettweiler [2018-06-16 13:39:18] 875*2^1513514-1 is not prime. Res64: 9831F1A6D49F1354 Time : 0.0 sec. user=mdettweiler [2018-06-16 13:39:18] 887*2^1513514-1 is not prime. Res64: E1254534C32881F2 Time : 0.0 sec. user=mdettweiler [2018-06-16 13:39:19] 923*2^1513514-1 is not prime. Res64: 9A2AF5A682FC4259 Time : 0.0 sec. user=juhehe [2018-06-16 13:43:38] 669*2^1513515-1 is not prime. Res64: C4C9D5B355FF1626 Time : 0.0 sec. user=mdettweiler [2018-06-16 13:58:55] 955*2^1513515-1 is not prime. Res64: DBC6042EA8B8EF71 Time : 0.0 sec. user=mdettweiler [2018-06-16 13:58:55] 647*2^1513516-1 is not prime. Res64: 6B6E45F012458981 Time : 0.0 sec. user=mdettweiler [2018-06-16 13:58:56] 693*2^1513516-1 is not prime. Res64: 6121C7939CB18789 Time : 0.0 sec. user=mdettweiler [2018-06-16 13:58:56] 695*2^1513516-1 is not prime. Res64: 23201290C6E440B4 Time : 0.0 sec. user=mdettweiler [2018-06-16 13:58:56] 765*2^1513516-1 is not prime. Res64: 5C2C63F6822DF029 Time : 0.0 sec. user=mdettweiler [2018-06-16 14:05:45] 909*2^1513516-1 is not prime. Res64: 6011A11B6AA18CC9 Time : 0.0 sec. user=mdettweiler [2018-06-16 14:05:47] 607*2^1513517-1 is not prime. Res64: FD5BEF00CE9253AD Time : 0.0 sec. user=mdettweiler [2018-06-16 14:05:48] 711*2^1513517-1 is not prime. Res64: 31BE1A9B6A9CAC79 Time : 0.0 sec. user=mdettweiler [2018-06-16 14:05:50] 759*2^1513517-1 is not prime. Res64: 732B5558D67D9C19 Time : 0.0 sec. user=mdettweiler [2018-06-16 14:05:50] 847*2^1513517-1 is not prime. Res64: F9CC00C2643E5DC4 Time : 0.0 sec. user=mdettweiler [2018-06-16 14:24:41] 871*2^1513517-1 is not prime. Res64: AE41E84D32348029 Time : 0.0 sec. user=mdettweiler [2018-06-16 14:24:42] 925*2^1513517-1 is not prime. Res64: 43D1A37EA6252298 Time : 0.0 sec. user=mdettweiler [2018-06-16 14:24:42] 693*2^1513518-1 is not prime. Res64: D9B75FC2D5F4A130 Time : 0.0 sec. user=mdettweiler [2018-06-16 14:24:43] 731*2^1513518-1 is not prime. Res64: 022A494FC749CAE6 Time : 0.0 sec. user=mdettweiler [2018-06-16 14:24:43] 737*2^1513518-1 is not prime. Res64: 30F383351D10D23F Time : 0.0 sec. user=mdettweiler [2018-06-16 14:29:34] 963*2^1513518-1 is not prime. Res64: 878D5CF406917593 Time : 0.0 sec. user=mdettweiler [2018-06-16 14:29:34] 675*2^1513519-1 is not prime. Res64: B499F1297D8EDDDE Time : 0.0 sec. user=mdettweiler [2018-06-16 14:29:35] 679*2^1513519-1 is not prime. Res64: 7841B9B06E4AD948 Time : 0.0 sec. user=mdettweiler [2018-06-16 14:29:35] 693*2^1513519-1 is not prime. Res64: BAD07F9990896424 Time : 0.0 sec. user=mdettweiler [2018-06-16 14:29:36] 703*2^1513519-1 is not prime. Res64: 5CDDC121A8BA9AC5 Time : 0.0 sec. user=mdettweiler [2018-06-16 14:50:46] 723*2^1513519-1 is not prime. Res64: ABEB2D89BCA2894E Time : 0.0 sec. user=mdettweiler [2018-06-16 14:50:46] 713*2^1513520-1 is not prime. Res64: 2FDFDA567FAE49B6 Time : 0.0 sec. user=mdettweiler [2018-06-16 14:50:47] 717*2^1513520-1 is not prime. Res64: 7F9DA9B90BCF2ED2 Time : 0.0 sec. user=mdettweiler [2018-06-16 14:50:47] 725*2^1513520-1 is not prime. Res64: 84CDD8E607CF8232 Time : 0.0 sec. user=mdettweiler [2018-06-16 14:50:48] 825*2^1513520-1 is not prime. Res64: 2162CD2C49DD4723 Time : 0.0 sec. user=mdettweiler [2018-06-16 14:57:56] 999*2^1513520-1 is not prime. Res64: 8518FC99A8D3B639 Time : 0.0 sec. user=mdettweiler [2018-06-16 14:57:56] 601*2^1513521-1 is not prime. Res64: EBA7367AD98F5710 Time : 0.0 sec. user=mdettweiler [2018-06-16 14:57:56] 649*2^1513521-1 is not prime. Res64: 451350E0548B0814 Time : 0.0 sec. user=mdettweiler [2018-06-16 14:57:57] 795*2^1513521-1 is not prime. Res64: E9A751FA8BC09D0D Time : 0.0 sec. user=mdettweiler [2018-06-16 14:57:57] 817*2^1513521-1 is not prime. Res64: 24B153BB2909CDB9 Time : 0.0 sec. user=juhehe [2018-06-16 15:16:17] 955*2^1513523-1 is not prime. Res64: 3F5EA691136F8ECA Time : 0.0 sec. user=mdettweiler [2018-06-16 15:17:00] 907*2^1513521-1 is not prime. Res64: 58E069FB85A56477 Time : 0.0 sec. user=mdettweiler [2018-06-16 15:17:01] 909*2^1513521-1 is not prime. Res64: 2EC1062C9B86B997 Time : 0.0 sec. user=mdettweiler [2018-06-16 15:17:01] 955*2^1513521-1 is not prime. Res64: 88BC746C702B39F3 Time : 0.0 sec. user=mdettweiler [2018-06-16 15:17:02] 843*2^1513522-1 is not prime. Res64: 591AB8D555540FE8 Time : 0.0 sec. user=mdettweiler [2018-06-16 15:17:02] 885*2^1513522-1 is not prime. Res64: 11800CC2916BEC1F Time : 0.0 sec. user=mdettweiler [2018-06-16 15:21:37] 915*2^1513522-1 is not prime. Res64: 924AE78C07A113F8 Time : 0.0 sec. user=mdettweiler [2018-06-16 15:21:38] 983*2^1513522-1 is not prime. Res64: F07CFAF4071DEC61 Time : 0.0 sec. user=mdettweiler [2018-06-16 15:21:38] 995*2^1513522-1 is not prime. Res64: BC64D92933C48969 Time : 0.0 sec. user=mdettweiler [2018-06-16 15:21:39] 753*2^1513523-1 is not prime. Res64: 49709314510E56FC Time : 0.0 sec. user=mdettweiler [2018-06-16 15:21:39] 861*2^1513523-1 is not prime. Res64: 841C57E7882E4FBE Time : 0.0 sec. user=mdettweiler [2018-06-16 15:41:35] 985*2^1513523-1 is not prime. Res64: 5B35061F66BD3E4B Time : 0.0 sec. user=mdettweiler [2018-06-16 15:41:35] 737*2^1513524-1 is not prime. Res64: 41EDF53EFDD8685C Time : 0.0 sec. user=mdettweiler [2018-06-16 15:41:36] 749*2^1513524-1 is not prime. Res64: 67916B6C8924CD7C Time : 0.0 sec. user=mdettweiler [2018-06-16 15:41:36] 759*2^1513524-1 is not prime. Res64: E8BEEC7116BA4019 Time : 0.0 sec. user=mdettweiler [2018-06-16 15:41:37] 783*2^1513524-1 is not prime. Res64: 7F05F068649F9CE0 Time : 0.0 sec. user=mdettweiler [2018-06-16 15:48:33] 929*2^1513524-1 is not prime. Res64: DE8A74D15EAAA218 Time : 0.0 sec. user=mdettweiler [2018-06-16 15:48:34] 969*2^1513524-1 is not prime. Res64: 7BB07FC92FC75714 Time : 0.0 sec. user=mdettweiler [2018-06-16 15:48:34] 975*2^1513524-1 is not prime. Res64: 2991F6C6ED3A2F71 Time : 0.0 sec. user=mdettweiler [2018-06-16 15:48:35] 717*2^1513525-1 is not prime. Res64: D3E03FFEB21AE119 Time : 0.0 sec. user=mdettweiler [2018-06-16 15:48:35] 721*2^1513525-1 is not prime. Res64: B38A37B0F7C47B45 Time : 0.0 sec. user=mdettweiler [2018-06-16 16:07:48] 741*2^1513525-1 is not prime. Res64: 49DE960C1C2CBBE5 Time : 0.0 sec. user=mdettweiler [2018-06-16 16:07:49] 759*2^1513525-1 is not prime. Res64: C4EFF32D37CBE16C Time : 0.0 sec. user=mdettweiler [2018-06-16 16:07:49] 777*2^1513525-1 is not prime. Res64: FE52CFE64C81D8B2 Time : 0.0 sec. user=mdettweiler [2018-06-16 16:07:50] 817*2^1513525-1 is not prime. Res64: 75B3B91AC777DE04 Time : 0.0 sec. user=mdettweiler [2018-06-16 16:07:50] 885*2^1513525-1 is not prime. Res64: 5A774679C371E235 Time : 0.0 sec. user=mdettweiler [2018-06-16 16:12:20] 915*2^1513525-1 is not prime. Res64: D8823022706069D1 Time : 0.0 sec. user=mdettweiler [2018-06-16 16:12:20] 951*2^1513525-1 is not prime. Res64: DDEE9B97582F543E Time : 0.0 sec. user=mdettweiler [2018-06-16 16:12:21] 975*2^1513525-1 is not prime. Res64: 8C8D85B9A9AEC693 Time : 0.0 sec. user=mdettweiler [2018-06-16 16:12:21] 671*2^1513526-1 is not prime. Res64: 5A623DAC78F58C3B Time : 0.0 sec. user=mdettweiler [2018-06-16 16:12:22] 711*2^1513526-1 is not prime. Res64: C871A435890DAC19 Time : 0.0 sec. user=mdettweiler [2018-06-16 16:31:53] 713*2^1513526-1 is not prime. Res64: FD35B9E3D21C63A2 Time : 0.0 sec. user=mdettweiler [2018-06-16 16:31:54] 741*2^1513526-1 is not prime. Res64: C18F2698B1610D5B Time : 0.0 sec. user=mdettweiler [2018-06-16 16:31:54] 957*2^1513526-1 is not prime. Res64: A858CFC5F71BC918 Time : 0.0 sec. user=mdettweiler [2018-06-16 16:31:54] 1001*2^1513526-1 is not prime. Res64: BDE969B5BDCA4CBD Time : 0.0 sec. user=mdettweiler [2018-06-16 16:31:55] 651*2^1513527-1 is not prime. Res64: 7231A4AFD5B65A1B Time : 0.0 sec. user=mdettweiler [2018-06-16 16:39:14] 691*2^1513527-1 is not prime. Res64: 0E47A405A2648131 Time : 0.0 sec. user=mdettweiler [2018-06-16 16:39:14] 741*2^1513527-1 is not prime. Res64: B7D30F5B9E73C76D Time : 0.0 sec. user=mdettweiler [2018-06-16 16:39:15] 781*2^1513527-1 is not prime. Res64: 1CD9D05186C8C8A2 Time : 0.0 sec. user=mdettweiler [2018-06-16 16:39:15] 865*2^1513527-1 is not prime. Res64: A90682966A9F3D07 Time : 0.0 sec. user=mdettweiler [2018-06-16 16:39:16] 909*2^1513527-1 is not prime. Res64: 642646E6B30F08BC Time : 0.0 sec. user=mdettweiler [2018-06-16 16:57:34] 605*2^1513528-1 is not prime. Res64: 08DF2F08BBB2CC80 Time : 0.0 sec. user=mdettweiler [2018-06-16 16:57:34] 623*2^1513528-1 is not prime. Res64: C28C66A06E830A57 Time : 0.0 sec. user=mdettweiler [2018-06-16 16:57:35] 797*2^1513528-1 is not prime. Res64: E8053CBED3D9761B Time : 0.0 sec. user=mdettweiler [2018-06-16 16:57:35] 825*2^1513528-1 is not prime. Res64: 34CDFACDB535E6F6 Time : 0.0 sec. user=mdettweiler [2018-06-16 16:57:36] 999*2^1513528-1 is not prime. Res64: 5BFEEE92D819670A Time : 0.0 sec. user=mdettweiler [2018-06-16 17:02:22] 619*2^1513529-1 is not prime. Res64: 07FE164977C7E480 Time : 0.0 sec. user=mdettweiler [2018-06-16 17:02:27] 631*2^1513529-1 is not prime. Res64: EDD3E6CD1019C709 Time : 0.0 sec. user=mdettweiler [2018-06-16 17:02:28] 787*2^1513529-1 is not prime. Res64: 14CA9ABA82438FE3 Time : 0.0 sec. user=mdettweiler [2018-06-16 17:02:31] 907*2^1513529-1 is not prime. Res64: ED2A399FDDE01C5D Time : 0.0 sec. user=mdettweiler [2018-06-16 17:02:32] 987*2^1513529-1 is not prime. Res64: 5864344E5EB9D7A4 Time : 0.0 sec. user=mdettweiler [2018-06-16 17:23:03] 681*2^1513530-1 is not prime. Res64: 507641C24BCCF05B Time : 0.0 sec. user=mdettweiler [2018-06-16 17:23:04] 707*2^1513530-1 is not prime. Res64: 7544A73C1F4C126B Time : 0.0 sec. user=mdettweiler [2018-06-16 17:23:04] 725*2^1513530-1 is not prime. Res64: 6D70DD472C053747 Time : 0.0 sec. user=mdettweiler [2018-06-16 17:23:05] 755*2^1513530-1 is not prime. Res64: 8857DB056E5F8D09 Time : 0.0 sec. user=mdettweiler [2018-06-16 17:23:05] 825*2^1513530-1 is not prime. Res64: 4ADAFD789AD7006A Time : 0.0 sec. user=mdettweiler [2018-06-16 17:30:35] 693*2^1513531-1 is not prime. Res64: 66A849721C821227 Time : 0.0 sec. user=mdettweiler [2018-06-16 17:30:35] 709*2^1513531-1 is not prime. Res64: A416D49595523005 Time : 0.0 sec. user=mdettweiler [2018-06-16 17:30:36] 867*2^1513532-1 is not prime. Res64: C615419CEA1C44A7 Time : 0.0 sec. user=mdettweiler [2018-06-16 17:30:36] 929*2^1513532-1 is not prime. Res64: D9752FC92B562B70 Time : 0.0 sec. user=mdettweiler [2018-06-16 17:30:36] 741*2^1513533-1 is not prime. Res64: 83651A8BD90C4EB5 Time : 0.0 sec. user=juhehe [2018-06-16 17:36:15] 765*2^1513533-1 is not prime. Res64: A0817C83ED31B0AA Time : 0.0 sec. user=mdettweiler [2018-06-16 17:48:54] 781*2^1513533-1 is not prime. Res64: 2524622DC240E057 Time : 0.0 sec. user=mdettweiler [2018-06-16 17:48:54] 681*2^1513534-1 is not prime. Res64: 566CFA6EE10921F3 Time : 0.0 sec. user=mdettweiler [2018-06-16 17:48:55] 687*2^1513534-1 is not prime. Res64: B59616E861C82CDC Time : 0.0 sec. user=mdettweiler [2018-06-16 17:48:55] 723*2^1513534-1 is not prime. Res64: 51B58F0CCFC3F4C3 Time : 0.0 sec. user=mdettweiler [2018-06-16 17:48:55] 791*2^1513534-1 is not prime. Res64: 27A617DF741CBBA7 Time : 0.0 sec. user=mdettweiler [2018-06-16 17:53:32] 813*2^1513534-1 is not prime. Res64: 0792196ADA144169 Time : 0.0 sec. user=mdettweiler [2018-06-16 17:53:32] 863*2^1513534-1 is not prime. Res64: CB1C658269B0FE62 Time : 0.0 sec. user=mdettweiler [2018-06-16 17:53:33] 983*2^1513534-1 is not prime. Res64: 44E5960A4B58CEEA Time : 0.0 sec. user=mdettweiler [2018-06-16 17:53:33] 993*2^1513534-1 is not prime. Res64: F915D8DBB3B455C4 Time : 0.0 sec. user=mdettweiler [2018-06-16 17:53:33] 669*2^1513535-1 is not prime. Res64: 14CE1D7CBE231202 Time : 0.0 sec. user=mdettweiler [2018-06-16 18:12:56] 735*2^1513535-1 is not prime. Res64: 0A2A2BFC42A3DA8B Time : 0.0 sec. user=mdettweiler [2018-06-16 18:12:57] 775*2^1513535-1 is not prime. Res64: 6FA92FB1FC0C4DED Time : 0.0 sec. user=mdettweiler [2018-06-16 18:12:58] 969*2^1513535-1 is not prime. Res64: 63FC6E59F30DA925 Time : 0.0 sec. user=mdettweiler [2018-06-16 18:13:00] 623*2^1513536-1 is not prime. Res64: 7A5381D950603051 Time : 0.0 sec. user=mdettweiler [2018-06-16 18:13:01] 633*2^1513536-1 is not prime. Res64: 174B1ECA5C9FEFA6 Time : 0.0 sec. user=mdettweiler [2018-06-16 18:21:04] 689*2^1513536-1 is not prime. Res64: 958FE02242F9D216 Time : 0.0 sec. user=mdettweiler [2018-06-16 18:21:05] 705*2^1513536-1 is not prime. Res64: DFC78F8471B0C885 Time : 0.0 sec. user=mdettweiler [2018-06-16 18:21:05] 815*2^1513536-1 is not prime. Res64: 13817E40976253A5 Time : 0.0 sec. user=mdettweiler [2018-06-16 18:21:06] 899*2^1513536-1 is not prime. Res64: 82444050950A03D2 Time : 0.0 sec. user=mdettweiler [2018-06-16 18:21:06] 917*2^1513536-1 is not prime. Res64: 04694F59E9C2036A Time : 0.0 sec. user=mdettweiler [2018-06-16 18:38:47] 933*2^1513536-1 is not prime. Res64: F55D924D7B083A23 Time : 0.0 sec. user=mdettweiler [2018-06-16 18:38:48] 947*2^1513536-1 is not prime. Res64: 4CC6038696FBF25B Time : 0.0 sec. user=mdettweiler [2018-06-16 18:38:48] 993*2^1513536-1 is not prime. Res64: 86572B86CADFF4E3 Time : 0.0 sec. user=mdettweiler [2018-06-16 18:38:49] 625*2^1513537-1 is not prime. Res64: ABB968011284B19C Time : 0.0 sec. user=mdettweiler [2018-06-16 18:38:49] 639*2^1513537-1 is not prime. Res64: A563EBD5BD8E5CA2 Time : 0.0 sec. user=mdettweiler [2018-06-16 18:43:35] 651*2^1513537-1 is not prime. Res64: E7D93569BB15BD32 Time : 0.0 sec. user=mdettweiler [2018-06-16 18:43:36] 667*2^1513537-1 is not prime. Res64: 92031F370A45D4CA Time : 0.0 sec. user=mdettweiler [2018-06-16 18:43:36] 759*2^1513537-1 is not prime. Res64: B3E132C913466411 Time : 0.0 sec. user=mdettweiler [2018-06-16 18:43:37] 805*2^1513537-1 is not prime. Res64: 19E4EB7F42F776DB Time : 0.0 sec. user=mdettweiler [2018-06-16 18:43:37] 915*2^1513537-1 is not prime. Res64: 375F05379A647D08 Time : 0.0 sec. user=mdettweiler [2018-06-16 19:03:31] 919*2^1513537-1 is not prime. Res64: AF3D3EC050420580 Time : 0.0 sec. user=mdettweiler [2018-06-16 19:03:34] 957*2^1513537-1 is not prime. Res64: CD1E2BF438E12533 Time : 0.0 sec. user=mdettweiler [2018-06-16 19:03:36] 603*2^1513538-1 is not prime. Res64: A148BACC86E0FE18 Time : 0.0 sec. user=mdettweiler [2018-06-16 19:03:39] 711*2^1513538-1 is not prime. Res64: 5F4798D520A99852 Time : 0.0 sec. user=mdettweiler [2018-06-16 19:03:41] 731*2^1513538-1 is not prime. Res64: CF2C2EA52975DA67 Time : 0.0 sec. user=mdettweiler [2018-06-16 19:11:53] 767*2^1513538-1 is not prime. Res64: 108F1D43A6E762A8 Time : 0.0 sec. user=mdettweiler [2018-06-16 19:11:54] 773*2^1513538-1 is not prime. Res64: 33DE7A5AC2C5A6C3 Time : 0.0 sec. user=mdettweiler [2018-06-16 19:11:55] 813*2^1513538-1 is not prime. Res64: 6796FD3B6A43F598 Time : 0.0 sec. user=mdettweiler [2018-06-16 19:11:56] 843*2^1513538-1 is not prime. Res64: 9DF29FDE4A0F1EED Time : 0.0 sec. user=mdettweiler [2018-06-16 19:11:58] 971*2^1513538-1 is not prime. Res64: 4D04CDD760628E21 Time : 0.0 sec. user=mdettweiler [2018-06-16 19:28:52] 613*2^1513539-1 is not prime. Res64: F873A0A270761661 Time : 0.0 sec. user=mdettweiler [2018-06-16 19:28:52] 675*2^1513539-1 is not prime. Res64: 437C5856FED42200 Time : 0.0 sec. user=mdettweiler [2018-06-16 19:28:53] 691*2^1513539-1 is not prime. Res64: B5C11B9EAA13A7C1 Time : 0.0 sec. user=mdettweiler [2018-06-16 19:28:53] 709*2^1513539-1 is not prime. Res64: 2D095F3A805C8863 Time : 0.0 sec. user=mdettweiler [2018-06-16 19:28:54] 741*2^1513539-1 is not prime. Res64: 08BABBB710261AC8 Time : 0.0 sec. user=mdettweiler [2018-06-16 19:34:06] 769*2^1513539-1 is not prime. Res64: B1A805348A822782 Time : 0.0 sec. user=mdettweiler [2018-06-16 19:34:07] 801*2^1513539-1 is not prime. Res64: 7786749A689970A2 Time : 0.0 sec. user=mdettweiler [2018-06-16 19:34:09] 879*2^1513539-1 is not prime. Res64: DB044DCCE36AF3C7 Time : 0.0 sec. user=mdettweiler [2018-06-16 19:34:10] 885*2^1513539-1 is not prime. Res64: D0052BE931E47549 Time : 0.0 sec. user=mdettweiler [2018-06-16 19:34:10] 921*2^1513539-1 is not prime. Res64: C018DD3CF0C00BC5 Time : 0.0 sec. user=juhehe [2018-06-16 19:48:28] 615*2^1513541-1 is not prime. Res64: AE55C1424DE5F29D Time : 0.0 sec. user=mdettweiler [2018-06-16 19:55:19] 975*2^1513539-1 is not prime. Res64: F625558AE319137A Time : 0.0 sec. user=mdettweiler [2018-06-16 19:55:19] 675*2^1513540-1 is not prime. Res64: E956CDE3410109D1 Time : 0.0 sec. user=mdettweiler [2018-06-16 19:55:20] 695*2^1513540-1 is not prime. Res64: 238612F9D0ADF723 Time : 0.0 sec. user=mdettweiler [2018-06-16 19:55:20] 743*2^1513540-1 is not prime. Res64: F1DB48EA48CF320D Time : 0.0 sec. user=mdettweiler [2018-06-16 19:55:21] 939*2^1513540-1 is not prime. Res64: 0BAA865267C9C596 Time : 0.0 sec. user=mdettweiler [2018-06-16 20:04:21] 781*2^1513541-1 is not prime. Res64: A6D957C61BC9ECD9 Time : 0.0 sec. user=mdettweiler [2018-06-16 20:04:23] 819*2^1513541-1 is not prime. Res64: A25E391515731FCB Time : 0.0 sec. user=mdettweiler [2018-06-16 20:04:24] 837*2^1513541-1 is not prime. Res64: 56BA73D5EC4F6A3D Time : 0.0 sec. user=mdettweiler [2018-06-16 20:04:25] 861*2^1513541-1 is not prime. Res64: 56FBE00956C2E569 Time : 0.0 sec. user=mdettweiler [2018-06-16 20:04:26] 865*2^1513541-1 is not prime. Res64: B746FDD3CAC9EC49 Time : 0.0 sec. user=mdettweiler [2018-06-16 20:18:55] 927*2^1513541-1 is not prime. Res64: 7873322DF51BF3F7 Time : 0.0 sec. user=mdettweiler [2018-06-16 20:18:56] 997*2^1513541-1 is not prime. Res64: F741765791E761BF Time : 0.0 sec. user=mdettweiler [2018-06-16 20:18:56] 731*2^1513542-1 is not prime. Res64: F0499D4F9A37D457 Time : 0.0 sec. user=mdettweiler [2018-06-16 20:18:58] 777*2^1513542-1 is not prime. Res64: 0EF8289E2AF5382D Time : 0.0 sec. user=mdettweiler [2018-06-16 20:18:58] 619*2^1513543-1 is not prime. Res64: 7D3F9D05A22C6459 Time : 0.0 sec. user=mdettweiler [2018-06-16 20:24:52] 693*2^1513543-1 is not prime. Res64: 0EDFFEA31982FD70 Time : 0.0 sec. user=mdettweiler [2018-06-16 20:24:52] 741*2^1513543-1 is not prime. Res64: 62897C6DD12E9D7F Time : 0.0 sec. user=mdettweiler [2018-06-16 20:24:53] 853*2^1513543-1 is not prime. Res64: 1087006CB9A487A3 Time : 0.0 sec. user=mdettweiler [2018-06-16 20:24:53] 895*2^1513543-1 is not prime. Res64: EC91DFB232A7BE68 Time : 0.0 sec. user=mdettweiler [2018-06-16 20:24:54] 675*2^1513544-1 is not prime. Res64: 6E5AF48934FE285F Time : 0.0 sec. user=mdettweiler [2018-06-16 20:45:55] 725*2^1513544-1 is not prime. Res64: 1861196DF37CBDF8 Time : 0.0 sec. user=mdettweiler [2018-06-16 20:45:57] 837*2^1513544-1 is not prime. Res64: CBFA1004C9030E7B Time : 0.0 sec. user=mdettweiler [2018-06-16 20:45:58] 875*2^1513544-1 is not prime. Res64: 2795C26E9D84397D Time : 0.0 sec. user=mdettweiler [2018-06-16 20:45:59] 893*2^1513544-1 is not prime. Res64: C6B4CECBE72F42F6 Time : 0.0 sec. user=mdettweiler [2018-06-16 20:46:00] 923*2^1513544-1 is not prime. Res64: AA5B67CC315F9CE1 Time : 0.0 sec. user=mdettweiler [2018-06-16 20:53:49] 935*2^1513544-1 is not prime. Res64: 19E9535364B6A506 Time : 0.0 sec. user=mdettweiler [2018-06-16 20:53:50] 993*2^1513544-1 is not prime. Res64: 03C307B9AA983082 Time : 0.0 sec. user=mdettweiler [2018-06-16 20:53:50] 601*2^1513545-1 is not prime. Res64: 42D2502A6874BD08 Time : 0.0 sec. user=mdettweiler [2018-06-16 20:53:50] 609*2^1513545-1 is not prime. Res64: C1A1D264644B4039 Time : 0.0 sec. user=mdettweiler [2018-06-16 20:53:51] 625*2^1513545-1 is not prime. Res64: 53D258A4E5B19480 Time : 0.0 sec. user=mdettweiler [2018-06-16 21:08:55] 627*2^1513545-1 is not prime. Res64: 1D9D54CDB05A66C4 Time : 0.0 sec. user=mdettweiler [2018-06-16 21:08:59] 721*2^1513545-1 is not prime. Res64: 2E2FA46F3AC4167E Time : 0.0 sec. user=mdettweiler [2018-06-16 21:09:05] 751*2^1513545-1 is not prime. Res64: F937A1C50BC801DB Time : 0.0 sec. user=mdettweiler [2018-06-16 21:09:11] 795*2^1513545-1 is not prime. Res64: A6CDF6BA399B5CF2 Time : 0.0 sec. user=mdettweiler [2018-06-16 21:09:16] 623*2^1513546-1 is not prime. Res64: E69EF075632F1819 Time : 0.0 sec. user=mdettweiler [2018-06-16 21:15:21] 671*2^1513546-1 is not prime. Res64: A38A77E5CBF6615D Time : 0.0 sec. user=mdettweiler [2018-06-16 21:15:23] 717*2^1513546-1 is not prime. Res64: 4A8CDD91B9ACAF63 Time : 0.0 sec. user=mdettweiler [2018-06-16 21:15:24] 735*2^1513546-1 is not prime. Res64: 76E28A00F7583F79 Time : 0.0 sec. user=mdettweiler [2018-06-16 21:15:26] 747*2^1513546-1 is not prime. Res64: 21EE0280E98F7054 Time : 0.0 sec. user=mdettweiler [2018-06-16 21:15:28] 777*2^1513546-1 is not prime. Res64: C11569BF230AACBF Time : 0.0 sec. user=juhehe [2018-06-16 21:21:15] 803*2^1513546-1 is not prime. Res64: 206333D0DA20821D Time : 0.0 sec. user=mdettweiler [2018-06-16 21:36:14] 843*2^1513546-1 is not prime. Res64: 1F0EACE08EC27E6B Time : 0.0 sec. user=mdettweiler [2018-06-16 21:36:15] 905*2^1513546-1 is not prime. Res64: F6978AEF7C75FEE5 Time : 0.0 sec. user=mdettweiler [2018-06-16 21:36:15] 945*2^1513546-1 is not prime. Res64: 41E185A5917CC575 Time : 0.0 sec. user=mdettweiler [2018-06-16 21:36:16] 947*2^1513546-1 is not prime. Res64: 0605A7E6CC1E182C Time : 0.0 sec. user=mdettweiler [2018-06-16 21:36:16] 621*2^1513547-1 is not prime. Res64: 533A67E9793D1BDD Time : 0.0 sec. user=mdettweiler [2018-06-16 21:43:36] 645*2^1513547-1 is not prime. Res64: 3A64B8996401414D Time : 0.0 sec. user=mdettweiler [2018-06-16 21:43:37] 775*2^1513547-1 is not prime. Res64: EB0712B0AE5BE714 Time : 0.0 sec. user=mdettweiler [2018-06-16 21:43:37] 913*2^1513547-1 is not prime. Res64: BA14BE4462841594 Time : 0.0 sec. user=mdettweiler [2018-06-16 21:43:37] 973*2^1513547-1 is not prime. Res64: 388DACC87FAB2ACE Time : 0.0 sec. user=mdettweiler [2018-06-16 21:43:38] 633*2^1513548-1 is not prime. Res64: BFD3893F56ACBFC3 Time : 0.0 sec. user=mdettweiler [2018-06-16 21:59:31] 639*2^1513548-1 is not prime. Res64: 3BBB8964833996A5 Time : 0.0 sec. user=mdettweiler [2018-06-16 21:59:32] 665*2^1513548-1 is not prime. Res64: CE245629C063BA5E Time : 0.0 sec. user=mdettweiler [2018-06-16 21:59:32] 735*2^1513548-1 is not prime. Res64: 9129F00B8DDE76ED Time : 0.0 sec. user=mdettweiler [2018-06-16 21:59:33] 789*2^1513548-1 is not prime. Res64: 6DA785D53F9A5FB4 Time : 0.0 sec. user=mdettweiler [2018-06-16 21:59:33] 839*2^1513548-1 is not prime. Res64: 5DF03333D76F3251 Time : 0.0 sec. user=mdettweiler [2018-06-16 22:05:53] 845*2^1513548-1 is not prime. Res64: 1F47367AB1E188BF Time : 0.0 sec. user=mdettweiler [2018-06-16 22:05:54] 887*2^1513548-1 is not prime. Res64: EE05B33F6B594B3A Time : 0.0 sec. user=mdettweiler [2018-06-16 22:05:55] 915*2^1513548-1 is not prime. Res64: EDC39A1287E9C99C Time : 0.0 sec. user=mdettweiler [2018-06-16 22:05:56] 959*2^1513548-1 is not prime. Res64: ED782C6158839953 Time : 0.0 sec. user=mdettweiler [2018-06-16 22:05:57] 609*2^1513549-1 is not prime. Res64: 42D5F11FFC1FB26F Time : 0.0 sec. user=mdettweiler [2018-06-16 22:27:18] 757*2^1513549-1 is not prime. Res64: 770D5B5A928649CC Time : 0.0 sec. user=mdettweiler [2018-06-16 22:27:18] 769*2^1513549-1 is not prime. Res64: 28E4045C8377DB32 Time : 0.0 sec. user=mdettweiler [2018-06-16 22:27:19] 877*2^1513549-1 is not prime. Res64: 7E26D3685D3B792E Time : 0.0 sec. user=mdettweiler [2018-06-16 22:27:19] 945*2^1513549-1 is not prime. Res64: 908888C127661271 Time : 0.0 sec. user=mdettweiler [2018-06-16 22:27:20] 641*2^1513550-1 is not prime. Res64: 6A1A89EDF12A31F7 Time : 0.0 sec. user=mdettweiler [2018-06-16 22:35:10] 671*2^1513550-1 is not prime. Res64: 5E1ED2C51DE668F8 Time : 0.0 sec. user=mdettweiler [2018-06-16 22:35:10] 709*2^1513551-1 is not prime. Res64: 564D2B87B876A85F Time : 0.0 sec. user=mdettweiler [2018-06-16 22:35:11] 711*2^1513551-1 is not prime. Res64: ED9D1C0CC663CFD7 Time : 0.0 sec. user=mdettweiler [2018-06-16 22:35:11] 769*2^1513551-1 is not prime. Res64: 4335F106262B4557 Time : 0.0 sec. user=mdettweiler [2018-06-16 22:35:11] 781*2^1513551-1 is not prime. Res64: F4DC13DF477E2619 Time : 0.0 sec. user=mdettweiler [2018-06-16 22:50:51] 873*2^1513551-1 is not prime. Res64: 49173147B3EE359D Time : 0.0 sec. user=mdettweiler [2018-06-16 22:50:52] 951*2^1513551-1 is not prime. Res64: B82B8A5F116607E2 Time : 0.0 sec. user=mdettweiler [2018-06-16 22:50:52] 955*2^1513551-1 is not prime. Res64: 7B512E70204A3A81 Time : 0.0 sec. user=mdettweiler [2018-06-16 22:50:53] 961*2^1513551-1 is not prime. Res64: 2C7DA9C8F5B88B75 Time : 0.0 sec. user=mdettweiler [2018-06-16 22:50:53] 693*2^1513552-1 is not prime. Res64: 440346A92E7E5BFD Time : 0.0 sec. user=mdettweiler [2018-06-16 22:57:23] 803*2^1513552-1 is not prime. Res64: 889B8DB82CF2D17C Time : 0.0 sec. user=mdettweiler [2018-06-16 22:57:24] 827*2^1513552-1 is not prime. Res64: 85689ABD01A86DEA Time : 0.0 sec. user=mdettweiler [2018-06-16 22:57:24] 923*2^1513552-1 is not prime. Res64: E54E764EEDF3D577 Time : 0.0 sec. user=mdettweiler [2018-06-16 22:57:25] 989*2^1513552-1 is not prime. Res64: 1B3BD7A9BB96A2FC Time : 0.0 sec. user=mdettweiler [2018-06-16 22:57:25] 999*2^1513552-1 is not prime. Res64: 3ED8D3546DE35BF0 Time : 0.0 sec. user=mdettweiler [2018-06-16 23:18:16] 627*2^1513553-1 is not prime. Res64: 4220315545AA04B6 Time : 0.0 sec. user=mdettweiler [2018-06-16 23:18:18] 685*2^1513553-1 is not prime. Res64: CA84B12312030841 Time : 0.0 sec. user=mdettweiler [2018-06-16 23:18:19] 729*2^1513553-1 is not prime. Res64: 5FF324A31970DDCE Time : 0.0 sec. user=mdettweiler [2018-06-16 23:18:20] 771*2^1513553-1 is not prime. Res64: B3BCCEA2CC35B843 Time : 0.0 sec. user=mdettweiler [2018-06-16 23:18:21] 811*2^1513553-1 is not prime. Res64: 3CE71E788D52F247 Time : 0.0 sec. user=mdettweiler [2018-06-16 23:26:17] 885*2^1513553-1 is not prime. Res64: F329AFA119329633 Time : 0.0 sec. user=mdettweiler [2018-06-16 23:26:18] 611*2^1513554-1 is not prime. Res64: DED4EFE362C9337A Time : 0.0 sec. user=mdettweiler [2018-06-16 23:26:18] 681*2^1513554-1 is not prime. Res64: 2DC2721E23C50994 Time : 0.0 sec. user=mdettweiler [2018-06-16 23:26:18] 731*2^1513554-1 is not prime. Res64: 32707559ED9F7C6D Time : 0.0 sec. user=mdettweiler [2018-06-16 23:26:19] 893*2^1513554-1 is not prime. Res64: E2E640EC3070D15E Time : 0.0 sec. user=juhehe [2018-06-16 23:41:24] 985*2^1513555-1 is not prime. Res64: E8AF79123BEF6612 Time : 0.0 sec. user=mdettweiler [2018-06-16 23:41:47] 915*2^1513554-1 is not prime. Res64: 731080FD4BCE97EB Time : 0.0 sec. user=mdettweiler [2018-06-16 23:41:48] 1001*2^1513554-1 is not prime. Res64: 68CFDD3D433E604F Time : 0.0 sec. user=mdettweiler [2018-06-16 23:41:48] 619*2^1513555-1 is not prime. Res64: A9B4A737BBF48727 Time : 0.0 sec. user=mdettweiler [2018-06-16 23:41:48] 819*2^1513555-1 is not prime. Res64: 60F58AFA4448DEC4 Time : 0.0 sec. user=mdettweiler [2018-06-16 23:41:49] 873*2^1513555-1 is not prime. Res64: CD6570C64403E909 Time : 0.0 sec. user=mdettweiler [2018-06-16 23:47:56] 609*2^1513556-1 is not prime. Res64: 2238550D27F4C076 Time : 0.0 sec. user=mdettweiler [2018-06-16 23:47:56] 629*2^1513556-1 is not prime. Res64: BFB8C6D27468FD06 Time : 0.0 sec. user=mdettweiler [2018-06-16 23:47:56] 813*2^1513556-1 is not prime. Res64: 33B3EBABE835BF09 Time : 0.0 sec. user=mdettweiler [2018-06-16 23:47:57] 897*2^1513556-1 is not prime. Res64: 6C7F1B4649A2F6F0 Time : 0.0 sec. user=mdettweiler [2018-06-16 23:47:57] 903*2^1513556-1 is not prime. Res64: 27597A3AD0654587 Time : 0.0 sec.