user=mdettweiler [2016-10-10 00:33:42] 759*2^1442251-1 is not prime. Res64: FDB73913479815FC Time : 0.0 sec. user=mdettweiler [2016-10-10 00:33:42] 855*2^1442251-1 is not prime. Res64: 2F80A9C5F3937ECA Time : 0.0 sec. user=mdettweiler [2016-10-10 00:33:43] 871*2^1442251-1 is not prime. Res64: 47E98E0C30E85C9B Time : 0.0 sec. user=mdettweiler [2016-10-10 00:33:43] 931*2^1442251-1 is not prime. Res64: C5BADC173445FE54 Time : 0.0 sec. user=mdettweiler [2016-10-10 00:33:43] 647*2^1442252-1 is not prime. Res64: E397F3632B00C76C Time : 0.0 sec. user=mdettweiler [2016-10-10 00:35:01] 743*2^1442252-1 is not prime. Res64: D5F28D124A4CAF46 Time : 0.0 sec. user=mdettweiler [2016-10-10 00:35:01] 753*2^1442252-1 is not prime. Res64: 09CA262D63E2D029 Time : 0.0 sec. user=mdettweiler [2016-10-10 00:35:01] 759*2^1442252-1 is not prime. Res64: 0A00746EB7FB904A Time : 0.0 sec. user=mdettweiler [2016-10-10 00:35:01] 903*2^1442252-1 is not prime. Res64: BE812C3C82C94DE1 Time : 0.0 sec. user=mdettweiler [2016-10-10 00:35:02] 963*2^1442252-1 is not prime. Res64: A3D95AC16FEFBADF Time : 0.0 sec. user=mdettweiler [2016-10-10 00:44:21] 651*2^1442253-1 is not prime. Res64: B61F2D67A811DF05 Time : 0.0 sec. user=mdettweiler [2016-10-10 00:44:21] 781*2^1442253-1 is not prime. Res64: 9B69759776BDC2BA Time : 0.0 sec. user=mdettweiler [2016-10-10 00:44:22] 805*2^1442253-1 is not prime. Res64: AE257539E2C18D30 Time : 0.0 sec. user=mdettweiler [2016-10-10 00:44:22] 835*2^1442253-1 is not prime. Res64: B69289CFB7287DBF Time : 0.0 sec. user=mdettweiler [2016-10-10 00:44:22] 877*2^1442253-1 is not prime. Res64: 79727D7964111B82 Time : 0.0 sec. user=mdettweiler [2016-10-10 00:47:33] 889*2^1442253-1 is not prime. Res64: E07DFA735DD26727 Time : 0.0 sec. user=mdettweiler [2016-10-10 00:47:34] 979*2^1442253-1 is not prime. Res64: 1F81DDB3E30EBF2B Time : 0.0 sec. user=mdettweiler [2016-10-10 00:47:34] 611*2^1442254-1 is not prime. Res64: 76F514C4E5C85B0F Time : 0.0 sec. user=mdettweiler [2016-10-10 00:47:34] 665*2^1442254-1 is not prime. Res64: 63363C57734D14F2 Time : 0.0 sec. user=mdettweiler [2016-10-10 00:47:34] 681*2^1442254-1 is not prime. Res64: 450F21352C8B0F3B Time : 0.0 sec. user=mdettweiler [2016-10-10 01:24:37] 773*2^1442254-1 is not prime. Res64: 0954F2A92D4503BE Time : 0.0 sec. user=mdettweiler [2016-10-10 01:24:37] 885*2^1442254-1 is not prime. Res64: 0EC415FDFCBBA66C Time : 0.0 sec. user=mdettweiler [2016-10-10 01:24:38] 897*2^1442254-1 is not prime. Res64: D05689E466A668C5 Time : 0.0 sec. user=mdettweiler [2016-10-10 01:24:38] 971*2^1442254-1 is not prime. Res64: B3A1B0149402AFE4 Time : 0.0 sec. user=mdettweiler [2016-10-10 01:24:38] 993*2^1442254-1 is not prime. Res64: 93FEE21FF4FD4139 Time : 0.0 sec. user=mdettweiler [2016-10-10 01:25:22] 619*2^1442255-1 is not prime. Res64: 7C764E80A25D0630 Time : 0.0 sec. user=mdettweiler [2016-10-10 01:25:24] 643*2^1442255-1 is not prime. Res64: B213B3EDFA145FE3 Time : 0.0 sec. user=mdettweiler [2016-10-10 01:25:25] 669*2^1442255-1 is not prime. Res64: CFAB27E3C1D6AE8C Time : 0.0 sec. user=mdettweiler [2016-10-10 01:25:26] 615*2^1442256-1 is not prime. Res64: 560B585AAE7593EB Time : 0.0 sec. user=mdettweiler [2016-10-10 01:25:27] 623*2^1442256-1 is not prime. Res64: F29173178D9CADB4 Time : 0.0 sec. user=mdettweiler [2016-10-10 01:33:22] 675*2^1442256-1 is not prime. Res64: EB197D96C8FF90C5 Time : 0.0 sec. user=mdettweiler [2016-10-10 01:33:23] 759*2^1442256-1 is not prime. Res64: 7EF3AF8041FA9484 Time : 0.0 sec. user=mdettweiler [2016-10-10 01:33:24] 899*2^1442256-1 is not prime. Res64: 14930C7C610F7472 Time : 0.0 sec. user=mdettweiler [2016-10-10 01:33:25] 993*2^1442256-1 is not prime. Res64: 65EAB6CA2A6B58F1 Time : 0.0 sec. user=mdettweiler [2016-10-10 01:33:26] 625*2^1442257-1 is not prime. Res64: 5B6608F42E6418F0 Time : 0.0 sec. user=mdettweiler [2016-10-10 01:36:01] 649*2^1442257-1 is not prime. Res64: CDF1506A814F0669 Time : 0.0 sec. user=mdettweiler [2016-10-10 01:36:03] 667*2^1442257-1 is not prime. Res64: 926F95F5C8C7471E Time : 0.0 sec. user=mdettweiler [2016-10-10 01:36:04] 759*2^1442257-1 is not prime. Res64: 82A25B7537E198E8 Time : 0.0 sec. user=mdettweiler [2016-10-10 01:36:05] 777*2^1442257-1 is not prime. Res64: 76913D6433CBC48B Time : 0.0 sec. user=mdettweiler [2016-10-10 01:36:05] 937*2^1442257-1 is not prime. Res64: 810AAF38E5482636 Time : 0.0 sec. user=mdettweiler [2016-10-10 02:10:21] 981*2^1442257-1 is not prime. Res64: CE178805DCEEF3BA Time : 0.0 sec. user=mdettweiler [2016-10-10 02:10:22] 603*2^1442258-1 is not prime. Res64: A74E0C354F2D98C0 Time : 0.0 sec. user=mdettweiler [2016-10-10 02:10:23] 605*2^1442258-1 is not prime. Res64: A984DA75C2DC8DC8 Time : 0.0 sec. user=mdettweiler [2016-10-10 02:10:23] 623*2^1442258-1 is not prime. Res64: C347AB2B628664C2 Time : 0.0 sec. user=mdettweiler [2016-10-10 02:10:24] 837*2^1442258-1 is not prime. Res64: 1E47F752DB7E926C Time : 0.0 sec. user=mdettweiler [2016-10-10 02:11:05] 945*2^1442258-1 is not prime. Res64: DA2087D40AA5B454 Time : 0.0 sec. user=mdettweiler [2016-10-10 02:11:06] 953*2^1442258-1 is not prime. Res64: 685AD8C3531D87C7 Time : 0.0 sec. user=mdettweiler [2016-10-10 02:11:06] 993*2^1442258-1 is not prime. Res64: 071DB656D54F2F31 Time : 0.0 sec. user=mdettweiler [2016-10-10 02:11:07] 705*2^1442259-1 is not prime. Res64: D9F6DC11436BF7C8 Time : 0.0 sec. user=mdettweiler [2016-10-10 02:11:07] 751*2^1442259-1 is not prime. Res64: 1770769D91803189 Time : 0.0 sec. user=mdettweiler [2016-10-10 02:19:16] 853*2^1442259-1 is not prime. Res64: 4E8E78DA8CE85346 Time : 0.0 sec. user=mdettweiler [2016-10-10 02:19:16] 629*2^1442260-1 is not prime. Res64: C800A3ADE8F5F4E2 Time : 0.0 sec. user=mdettweiler [2016-10-10 02:19:17] 689*2^1442260-1 is not prime. Res64: 9DE78451B3FAB4BF Time : 0.0 sec. user=mdettweiler [2016-10-10 02:19:18] 723*2^1442260-1 is not prime. Res64: CA38F20C82C44186 Time : 0.0 sec. user=mdettweiler [2016-10-10 02:19:18] 873*2^1442260-1 is not prime. Res64: 5788DF89963C8A8C Time : 0.0 sec. user=mdettweiler [2016-10-10 02:21:37] 957*2^1442260-1 is not prime. Res64: 8D227736BA31F4A6 Time : 0.0 sec. user=mdettweiler [2016-10-10 02:21:37] 965*2^1442260-1 is not prime. Res64: E22F97EC49C91175 Time : 0.0 sec. user=mdettweiler [2016-10-10 02:21:38] 987*2^1442260-1 is not prime. Res64: A0102E013F529B24 Time : 0.0 sec. user=mdettweiler [2016-10-10 02:21:39] 645*2^1442261-1 is not prime. Res64: 3CBF81D8846E32A8 Time : 0.0 sec. user=mdettweiler [2016-10-10 02:21:39] 675*2^1442261-1 is not prime. Res64: 96FEAC9FE5CF2D39 Time : 0.0 sec. user=mdettweiler [2016-10-10 02:56:02] 715*2^1442261-1 is not prime. Res64: 8F832B307CD2C162 Time : 0.0 sec. user=mdettweiler [2016-10-10 02:56:02] 747*2^1442261-1 is not prime. Res64: 78ACF3B54F5F9D0A Time : 0.0 sec. user=mdettweiler [2016-10-10 02:56:02] 769*2^1442261-1 is not prime. Res64: A84091F61F56642F Time : 0.0 sec. user=mdettweiler [2016-10-10 02:56:03] 861*2^1442261-1 is not prime. Res64: 463B32060E80801B Time : 0.0 sec. user=mdettweiler [2016-10-10 02:56:03] 997*2^1442261-1 is not prime. Res64: 56B6C3B362128BFB Time : 0.0 sec. user=mdettweiler [2016-10-10 02:56:41] 695*2^1442262-1 is not prime. Res64: E21463FC15E39BE6 Time : 0.0 sec. user=mdettweiler [2016-10-10 02:56:41] 797*2^1442262-1 is not prime. Res64: 6A47CA5B1AB65A21 Time : 0.0 sec. user=mdettweiler [2016-10-10 02:56:42] 807*2^1442262-1 is not prime. Res64: 62AF31FF3319DB30 Time : 0.0 sec. user=mdettweiler [2016-10-10 02:56:42] 893*2^1442262-1 is not prime. Res64: 306D2B818A02C0F4 Time : 0.0 sec. user=mdettweiler [2016-10-10 02:56:42] 947*2^1442262-1 is not prime. Res64: 73BA75908C9F895C Time : 0.0 sec. user=mdettweiler [2016-10-10 03:04:44] 963*2^1442262-1 is not prime. Res64: A40807B645DE56AD Time : 0.0 sec. user=mdettweiler [2016-10-10 03:04:45] 861*2^1442263-1 is not prime. Res64: EE9A47EA40D17300 Time : 0.0 sec. user=mdettweiler [2016-10-10 03:04:47] 657*2^1442264-1 is not prime. Res64: 3435C439BBC48D96 Time : 0.0 sec. user=mdettweiler [2016-10-10 03:04:48] 659*2^1442264-1 is not prime. Res64: ABE739E5FB187D52 Time : 0.0 sec. user=mdettweiler [2016-10-10 03:04:49] 689*2^1442264-1 is not prime. Res64: 7F41D60F683E9693 Time : 0.0 sec. user=mdettweiler [2016-10-10 03:07:10] 903*2^1442264-1 is not prime. Res64: 4F595B99C3973443 Time : 0.0 sec. user=mdettweiler [2016-10-10 03:07:11] 929*2^1442264-1 is not prime. Res64: 82A0ACA2E9C35FA4 Time : 0.0 sec. user=mdettweiler [2016-10-10 03:07:12] 949*2^1442265-1 is not prime. Res64: DD57E934375450AC Time : 0.0 sec. user=mdettweiler [2016-10-10 03:07:13] 611*2^1442266-1 is not prime. Res64: 22A71ED7E920FE3B Time : 0.0 sec. user=mdettweiler [2016-10-10 03:07:14] 701*2^1442266-1 is not prime. Res64: 8DF2C8E7022D62F2 Time : 0.0 sec. user=mdettweiler [2016-10-10 03:41:38] 737*2^1442266-1 is not prime. Res64: 7ED9E9878E79948E Time : 0.0 sec. user=mdettweiler [2016-10-10 03:41:40] 857*2^1442266-1 is not prime. Res64: 3235C2985AB1ED64 Time : 0.0 sec. user=mdettweiler [2016-10-10 03:41:41] 873*2^1442266-1 is not prime. Res64: D93017947B35142A Time : 0.0 sec. user=mdettweiler [2016-10-10 03:41:41] 651*2^1442267-1 is not prime. Res64: A12B3F1BEAE26280 Time : 0.0 sec. user=mdettweiler [2016-10-10 03:41:42] 655*2^1442267-1 is not prime. Res64: 9F14E3393C011DDC Time : 0.0 sec. user=mdettweiler [2016-10-10 03:42:23] 675*2^1442267-1 is not prime. Res64: F85543285D3B6E42 Time : 0.0 sec. user=mdettweiler [2016-10-10 03:42:23] 799*2^1442267-1 is not prime. Res64: 7084F5AB91A5EDBD Time : 0.0 sec. user=mdettweiler [2016-10-10 03:42:24] 825*2^1442267-1 is not prime. Res64: 0F44B927DCB732D6 Time : 0.0 sec. user=mdettweiler [2016-10-10 03:42:25] 861*2^1442267-1 is not prime. Res64: DD7364AE15BAB3F7 Time : 0.0 sec. user=mdettweiler [2016-10-10 03:42:25] 945*2^1442267-1 is not prime. Res64: FF7B7D1784C28BD7 Time : 0.0 sec. user=mdettweiler [2016-10-10 03:50:37] 955*2^1442267-1 is not prime. Res64: 469CE50F88B0AFAA Time : 0.0 sec. user=mdettweiler [2016-10-10 03:50:40] 981*2^1442267-1 is not prime. Res64: E0B5A6831646EEB7 Time : 0.0 sec. user=mdettweiler [2016-10-10 03:50:44] 985*2^1442267-1 is not prime. Res64: C2023136A2E7FE5F Time : 0.0 sec. user=mdettweiler [2016-10-10 03:50:49] 773*2^1442268-1 is not prime. Res64: E8A0B576BF515534 Time : 0.0 sec. user=mdettweiler [2016-10-10 03:50:55] 777*2^1442268-1 is not prime. Res64: 4C15F3C523019DDA Time : 0.0 sec. user=mdettweiler [2016-10-10 03:53:04] 905*2^1442268-1 is not prime. Res64: 893E04A0DE32D22C Time : 0.0 sec. user=mdettweiler [2016-10-10 03:53:07] 681*2^1442269-1 is not prime. Res64: BA73E25A7AD29501 Time : 0.0 sec. user=mdettweiler [2016-10-10 03:53:08] 757*2^1442269-1 is not prime. Res64: FDD7DE06C20E4847 Time : 0.0 sec. user=mdettweiler [2016-10-10 03:53:10] 775*2^1442269-1 is not prime. Res64: FC08858A7507CC39 Time : 0.0 sec. user=mdettweiler [2016-10-10 03:53:13] 861*2^1442269-1 is not prime. Res64: 90958BD5F294B7FA Time : 0.0 sec. user=mdettweiler [2016-10-10 04:27:26] 877*2^1442269-1 is not prime. Res64: C3991565264A010A Time : 0.0 sec. user=mdettweiler [2016-10-10 04:27:27] 897*2^1442269-1 is not prime. Res64: 7E1C5D9590D885E9 Time : 0.0 sec. user=mdettweiler [2016-10-10 04:27:27] 635*2^1442270-1 is not prime. Res64: B7B16BC61185BD39 Time : 0.0 sec. user=mdettweiler [2016-10-10 04:27:27] 767*2^1442270-1 is not prime. Res64: 0BD0DB7CF44AE973 Time : 0.0 sec. user=mdettweiler [2016-10-10 04:27:27] 861*2^1442270-1 is not prime. Res64: F2B3EC020A1A692C Time : 0.0 sec. user=mdettweiler [2016-10-10 04:27:45] 735*2^1442271-1 is not prime. Res64: BC293E71D1A6F4FC Time : 0.0 sec. user=mdettweiler [2016-10-10 04:27:45] 861*2^1442271-1 is not prime. Res64: 76ABC48398D0D2B8 Time : 0.0 sec. user=mdettweiler [2016-10-10 04:27:45] 991*2^1442271-1 is not prime. Res64: 2973324BB374C55E Time : 0.0 sec. user=mdettweiler [2016-10-10 04:27:46] 635*2^1442272-1 is not prime. Res64: 94DF079ECCFCEC22 Time : 0.0 sec. user=mdettweiler [2016-10-10 04:27:46] 777*2^1442272-1 is not prime. Res64: E96A554959803E04 Time : 0.0 sec. user=mdettweiler [2016-10-10 04:36:49] 843*2^1442272-1 is not prime. Res64: B971E6D3267D2434 Time : 0.0 sec. user=mdettweiler [2016-10-10 04:36:49] 869*2^1442272-1 is not prime. Res64: 7D02361EE7ABB8BF Time : 0.0 sec. user=mdettweiler [2016-10-10 04:36:49] 903*2^1442272-1 is not prime. Res64: 7A8CD54F649DB198 Time : 0.0 sec. user=mdettweiler [2016-10-10 04:36:49] 627*2^1442273-1 is not prime. Res64: E16125DD47D0BC04 Time : 0.0 sec. user=mdettweiler [2016-10-10 04:36:49] 729*2^1442273-1 is not prime. Res64: D348BF844662C29F Time : 0.0 sec. user=mdettweiler [2016-10-10 04:38:54] 775*2^1442273-1 is not prime. Res64: 2BC8DE69BC9B0EB4 Time : 0.0 sec. user=mdettweiler [2016-10-10 04:38:54] 805*2^1442273-1 is not prime. Res64: 8FBF84AA2E33A524 Time : 0.0 sec. user=mdettweiler [2016-10-10 04:38:54] 889*2^1442273-1 is not prime. Res64: DCDA7ECB21F655D3 Time : 0.0 sec. user=mdettweiler [2016-10-10 04:38:54] 955*2^1442273-1 is not prime. Res64: 36C5A47546E0949B Time : 0.0 sec. user=mdettweiler [2016-10-10 04:38:55] 957*2^1442273-1 is not prime. Res64: AE9458E0F3850DFB Time : 0.0 sec. user=mdettweiler [2016-10-10 05:13:10] 887*2^1442274-1 is not prime. Res64: 0771C5C937128604 Time : 0.0 sec. user=mdettweiler [2016-10-10 05:13:11] 635*2^1442274-1 is not prime. Res64: 5905AD81D4F38171 Time : 0.0 sec. user=mdettweiler [2016-10-10 05:13:11] 921*2^1442274-1 is not prime. Res64: 1E9A72777E628FAE Time : 0.0 sec. user=mdettweiler [2016-10-10 05:13:12] 951*2^1442274-1 is not prime. Res64: 6A63E900B50AB9B1 Time : 0.0 sec. user=mdettweiler [2016-10-10 05:13:12] 681*2^1442274-1 is not prime. Res64: B77A398B29504A91 Time : 0.0 sec. user=mdettweiler [2016-10-10 05:13:12] 601*2^1442275-1 is not prime. Res64: 05DAFACB03B8466C Time : 0.0 sec. user=mdettweiler [2016-10-10 05:13:12] 673*2^1442275-1 is not prime. Res64: 821302328B7640D0 Time : 0.0 sec. user=mdettweiler [2016-10-10 05:13:13] 767*2^1442274-1 is not prime. Res64: 5A4425DF9F72EF90 Time : 0.0 sec. user=mdettweiler [2016-10-10 05:13:14] 797*2^1442274-1 is not prime. Res64: 72C8F3A59510975D Time : 0.0 sec. user=mdettweiler [2016-10-10 05:13:16] 833*2^1442274-1 is not prime. Res64: 1E2C2D717FD745C6 Time : 0.0 sec. user=mdettweiler [2016-10-10 05:22:03] 723*2^1442275-1 is not prime. Res64: CA6B4FCD3C7BE81B Time : 0.0 sec. user=mdettweiler [2016-10-10 05:22:03] 741*2^1442275-1 is not prime. Res64: 21CC39117802B44E Time : 0.0 sec. user=mdettweiler [2016-10-10 05:22:04] 771*2^1442275-1 is not prime. Res64: 92175A5A25A95DCB Time : 0.0 sec. user=mdettweiler [2016-10-10 05:22:04] 805*2^1442275-1 is not prime. Res64: 4CDDD4C069555E23 Time : 0.0 sec. user=mdettweiler [2016-10-10 05:22:05] 609*2^1442276-1 is not prime. Res64: 05720F49A12FFDF1 Time : 0.0 sec. user=mdettweiler [2016-10-10 05:24:15] 617*2^1442276-1 is not prime. Res64: DA858547D2B00EE4 Time : 0.0 sec. user=mdettweiler [2016-10-10 05:24:15] 759*2^1442276-1 is not prime. Res64: DAD5CB08CFAA605B Time : 0.0 sec. user=mdettweiler [2016-10-10 05:24:16] 843*2^1442276-1 is not prime. Res64: 0A0990A6F21A1782 Time : 0.0 sec. user=mdettweiler [2016-10-10 05:24:16] 909*2^1442276-1 is not prime. Res64: DDADBDE101C9C5BC Time : 0.0 sec. user=mdettweiler [2016-10-10 05:24:17] 927*2^1442276-1 is not prime. Res64: 3553BBA7C0C302F8 Time : 0.0 sec. user=mdettweiler [2016-10-10 05:58:35] 831*2^1442277-1 is not prime. Res64: EBA72E438FAAA87A Time : 0.0 sec. user=mdettweiler [2016-10-10 05:58:35] 859*2^1442277-1 is not prime. Res64: 3452EC503E47626A Time : 0.0 sec. user=mdettweiler [2016-10-10 05:58:35] 885*2^1442277-1 is not prime. Res64: 5015FD4C1BC699A3 Time : 0.0 sec. user=mdettweiler [2016-10-10 05:58:35] 945*2^1442277-1 is not prime. Res64: 80F971B6FC97513E Time : 0.0 sec. user=mdettweiler [2016-10-10 05:58:36] 987*2^1442276-1 is not prime. Res64: D308DE8FC75A9F3F Time : 0.0 sec. user=mdettweiler [2016-10-10 05:58:36] 605*2^1442278-1 is not prime. Res64: B818E9071DC3B82F Time : 0.0 sec. user=mdettweiler [2016-10-10 05:58:36] 993*2^1442276-1 is not prime. Res64: AF192313DDA20EEF Time : 0.0 sec. user=mdettweiler [2016-10-10 05:58:36] 999*2^1442276-1 is not prime. Res64: 0A92477D1C559D34 Time : 0.0 sec. user=mdettweiler [2016-10-10 05:58:36] 649*2^1442277-1 is not prime. Res64: 041941228B1F660C Time : 0.0 sec. user=mdettweiler [2016-10-10 05:58:37] 805*2^1442277-1 is not prime. Res64: F949E008FE0A4677 Time : 0.0 sec. user=mdettweiler [2016-10-10 06:07:23] 825*2^1442278-1 is not prime. Res64: 2DB017AC927ED36C Time : 0.0 sec. user=mdettweiler [2016-10-10 06:07:24] 951*2^1442278-1 is not prime. Res64: 928B762D734E0B33 Time : 0.0 sec. user=mdettweiler [2016-10-10 06:07:24] 975*2^1442278-1 is not prime. Res64: 8D1EAA2CF1720CED Time : 0.0 sec. user=mdettweiler [2016-10-10 06:07:24] 981*2^1442278-1 is not prime. Res64: 49251F659AB43F57 Time : 0.0 sec. user=mdettweiler [2016-10-10 06:07:25] 621*2^1442279-1 is not prime. Res64: 76BEE168CE6A2681 Time : 0.0 sec. user=mdettweiler [2016-10-10 06:09:49] 661*2^1442279-1 is not prime. Res64: BEECFD1B1E5AF1BE Time : 0.0 sec. user=mdettweiler [2016-10-10 06:09:49] 721*2^1442279-1 is not prime. Res64: 191F4D83EF4C1184 Time : 0.0 sec. user=mdettweiler [2016-10-10 06:09:49] 745*2^1442279-1 is not prime. Res64: FB6D9DF192D6F6C6 Time : 0.0 sec. user=mdettweiler [2016-10-10 06:09:49] 753*2^1442279-1 is not prime. Res64: A2127EB76F66DDA8 Time : 0.0 sec. user=mdettweiler [2016-10-10 06:09:50] 789*2^1442279-1 is not prime. Res64: 02942D2B4F6A6EFE Time : 0.0 sec. user=mdettweiler [2016-10-10 06:44:01] 775*2^1442281-1 is not prime. Res64: 0AC23E50B6456230 Time : 0.0 sec. user=mdettweiler [2016-10-10 06:44:01] 987*2^1442281-1 is not prime. Res64: F7EB96E143765ADF Time : 0.0 sec. user=mdettweiler [2016-10-10 06:44:01] 999*2^1442281-1 is not prime. Res64: 2AC7E4C05C31EDAB Time : 0.0 sec. user=mdettweiler [2016-10-10 06:44:02] 671*2^1442282-1 is not prime. Res64: BB76374D4EC0BC4B Time : 0.0 sec. user=mdettweiler [2016-10-10 06:44:02] 735*2^1442282-1 is not prime. Res64: 4263FECAA6732A27 Time : 0.0 sec. user=mdettweiler [2016-10-10 06:44:08] 949*2^1442279-1 is not prime. Res64: 730BFEBF6933EA3B Time : 0.0 sec. user=mdettweiler [2016-10-10 06:44:08] 635*2^1442280-1 is not prime. Res64: EBBFEBD4BE817892 Time : 0.0 sec. user=mdettweiler [2016-10-10 06:44:08] 669*2^1442280-1 is not prime. Res64: 3A8838BB9FBCE902 Time : 0.0 sec. user=mdettweiler [2016-10-10 06:44:08] 899*2^1442280-1 is not prime. Res64: 0131741DF122E4C0 Time : 0.0 sec. user=mdettweiler [2016-10-10 06:44:09] 927*2^1442280-1 is not prime. Res64: 0CCAA47542E9B0CD Time : 0.0 sec. user=mdettweiler [2016-10-10 06:52:42] 797*2^1442282-1 is not prime. Res64: 0C146844EC7768BB Time : 0.0 sec. user=mdettweiler [2016-10-10 06:52:42] 887*2^1442282-1 is not prime. Res64: 9B75101F1504F20B Time : 0.0 sec. user=mdettweiler [2016-10-10 06:52:42] 721*2^1442283-1 is not prime. Res64: ACDC6BE15336B21D Time : 0.0 sec. user=mdettweiler [2016-10-10 06:52:43] 829*2^1442283-1 is not prime. Res64: 2707F600F5E9556A Time : 0.0 sec. user=mdettweiler [2016-10-10 06:52:43] 871*2^1442283-1 is not prime. Res64: C5FBF3DD0A6B7A1B Time : 0.0 sec. user=mdettweiler [2016-10-10 06:55:16] 873*2^1442283-1 is not prime. Res64: A85FB3361F136AE2 Time : 0.0 sec. user=mdettweiler [2016-10-10 06:55:16] 617*2^1442284-1 is not prime. Res64: B4E639E67433CA4E Time : 0.0 sec. user=mdettweiler [2016-10-10 06:55:16] 749*2^1442284-1 is not prime. Res64: 2F1E289980266189 Time : 0.0 sec. user=mdettweiler [2016-10-10 06:55:16] 855*2^1442284-1 is not prime. Res64: E6EC1F18CF28E47C Time : 0.0 sec. user=mdettweiler [2016-10-10 06:55:17] 873*2^1442284-1 is not prime. Res64: 2697D98DC0F02D9B Time : 0.0 sec. user=mdettweiler [2016-10-10 07:29:17] 811*2^1442285-1 is not prime. Res64: 42CF82DCA58D58FD Time : 0.0 sec. user=mdettweiler [2016-10-10 07:29:17] 867*2^1442285-1 is not prime. Res64: E18F250ED20F5C5F Time : 0.0 sec. user=mdettweiler [2016-10-10 07:29:17] 683*2^1442286-1 is not prime. Res64: 6DD3769AA00989AC Time : 0.0 sec. user=mdettweiler [2016-10-10 07:29:17] 707*2^1442286-1 is not prime. Res64: CED2C5317DA84F57 Time : 0.0 sec. user=mdettweiler [2016-10-10 07:29:18] 801*2^1442286-1 is not prime. Res64: 01F6CC0FD0D8AAD5 Time : 0.0 sec. user=mdettweiler [2016-10-10 07:29:36] 959*2^1442284-1 is not prime. Res64: 917BD50DF0BCDCD2 Time : 0.0 sec. user=mdettweiler [2016-10-10 07:29:36] 975*2^1442284-1 is not prime. Res64: F3CFEEB63323A7D7 Time : 0.0 sec. user=mdettweiler [2016-10-10 07:29:37] 601*2^1442285-1 is not prime. Res64: 54C912EE8C7487B8 Time : 0.0 sec. user=mdettweiler [2016-10-10 07:29:37] 607*2^1442285-1 is not prime. Res64: 6D18038F0BCA5640 Time : 0.0 sec. user=mdettweiler [2016-10-10 07:29:37] 691*2^1442285-1 is not prime. Res64: 65BC7FCA4E5F224C Time : 0.0 sec. user=mdettweiler [2016-10-10 07:38:16] 881*2^1442286-1 is not prime. Res64: ECE7A532834B061E Time : 0.0 sec. user=mdettweiler [2016-10-10 07:38:16] 893*2^1442286-1 is not prime. Res64: FB8D540BEA165723 Time : 0.0 sec. user=mdettweiler [2016-10-10 07:38:16] 903*2^1442286-1 is not prime. Res64: 474A6DBD8A1D37F4 Time : 0.0 sec. user=mdettweiler [2016-10-10 07:38:16] 1001*2^1442286-1 is not prime. Res64: BDB4C24A783F4012 Time : 0.0 sec. user=mdettweiler [2016-10-10 07:38:17] 673*2^1442287-1 is not prime. Res64: 2194AF4684899D87 Time : 0.0 sec. user=mdettweiler [2016-10-10 07:40:41] 729*2^1442287-1 is not prime. Res64: B425597EA57C24E5 Time : 0.0 sec. user=mdettweiler [2016-10-10 07:40:41] 931*2^1442287-1 is not prime. Res64: 07C7B75892CFEF29 Time : 0.0 sec. user=mdettweiler [2016-10-10 07:40:42] 729*2^1442288-1 is not prime. Res64: 561C535C8534BDDC Time : 0.0 sec. user=mdettweiler [2016-10-10 07:40:42] 743*2^1442288-1 is not prime. Res64: 380D9E7009402FDE Time : 0.0 sec. user=mdettweiler [2016-10-10 07:40:42] 827*2^1442288-1 is not prime. Res64: 13776AA97CFC6C36 Time : 0.0 sec. user=mdettweiler [2016-10-10 08:14:28] 839*2^1442288-1 is not prime. Res64: CB0012CC1700C517 Time : 0.0 sec. user=mdettweiler [2016-10-10 08:14:29] 845*2^1442288-1 is not prime. Res64: 314794CB73688E43 Time : 0.0 sec. user=mdettweiler [2016-10-10 08:14:29] 867*2^1442288-1 is not prime. Res64: C507E350E352803C Time : 0.0 sec. user=mdettweiler [2016-10-10 08:14:30] 875*2^1442288-1 is not prime. Res64: 7509299D96EFE082 Time : 0.0 sec. user=mdettweiler [2016-10-10 08:14:30] 977*2^1442288-1 is not prime. Res64: FEA38FF4D94B9D15 Time : 0.0 sec. user=mdettweiler [2016-10-10 08:14:47] 675*2^1442289-1 is not prime. Res64: 279443780EBB5805 Time : 0.0 sec. user=mdettweiler [2016-10-10 08:14:48] 781*2^1442289-1 is not prime. Res64: 1F8A3DF73728A3A1 Time : 0.0 sec. user=mdettweiler [2016-10-10 08:14:48] 807*2^1442289-1 is not prime. Res64: 62201831C1F1443B Time : 0.0 sec. user=mdettweiler [2016-10-10 08:14:48] 817*2^1442289-1 is not prime. Res64: 9A56EEB8D19DD9D9 Time : 0.0 sec. user=mdettweiler [2016-10-10 08:14:48] 877*2^1442289-1 is not prime. Res64: F73B3ABB39BE01A8 Time : 0.0 sec. user=mdettweiler [2016-10-10 08:23:48] 991*2^1442289-1 is not prime. Res64: F30B40C5C7B23501 Time : 0.0 sec. user=mdettweiler [2016-10-10 08:23:48] 623*2^1442290-1 is not prime. Res64: 42A594DABC65BD8F Time : 0.0 sec. user=mdettweiler [2016-10-10 08:23:48] 665*2^1442290-1 is not prime. Res64: 271DBE6473F5CD1A Time : 0.0 sec. user=mdettweiler [2016-10-10 08:23:48] 717*2^1442290-1 is not prime. Res64: 3D70793278834678 Time : 0.0 sec. user=mdettweiler [2016-10-10 08:23:49] 693*2^1442291-1 is not prime. Res64: 58D05CFE076B037E Time : 0.0 sec. user=mdettweiler [2016-10-10 08:26:04] 843*2^1442291-1 is not prime. Res64: C2BC2261BB386525 Time : 0.0 sec. user=mdettweiler [2016-10-10 08:26:05] 939*2^1442291-1 is not prime. Res64: C4A2FC6D387CACC4 Time : 0.0 sec. user=mdettweiler [2016-10-10 08:26:05] 609*2^1442292-1 is not prime. Res64: 07E742BE424755FF Time : 0.0 sec. user=mdettweiler [2016-10-10 08:26:05] 627*2^1442292-1 is not prime. Res64: 0267A8C2706E8273 Time : 0.0 sec. user=mdettweiler [2016-10-10 08:26:05] 723*2^1442292-1 is not prime. Res64: C105B5EE2A4197B5 Time : 0.0 sec. user=mdettweiler [2016-10-10 08:59:45] 843*2^1442292-1 is not prime. Res64: 87A9A3A129D14514 Time : 0.0 sec. user=mdettweiler [2016-10-10 08:59:45] 863*2^1442292-1 is not prime. Res64: FEE57A6E86ADC9C5 Time : 0.0 sec. user=mdettweiler [2016-10-10 08:59:45] 867*2^1442292-1 is not prime. Res64: 345E3DDBBDDAF890 Time : 0.0 sec. user=mdettweiler [2016-10-10 08:59:45] 861*2^1442293-1 is not prime. Res64: 6EAB5458F5D7BAD0 Time : 0.0 sec. user=mdettweiler [2016-10-10 08:59:46] 919*2^1442293-1 is not prime. Res64: 07775B42F0EC1C98 Time : 0.0 sec. user=mdettweiler [2016-10-10 09:00:18] 951*2^1442293-1 is not prime. Res64: 82452D621E146DA1 Time : 0.0 sec. user=mdettweiler [2016-10-10 09:00:19] 961*2^1442293-1 is not prime. Res64: 3BDC6645743B85F0 Time : 0.0 sec. user=mdettweiler [2016-10-10 09:00:20] 627*2^1442294-1 is not prime. Res64: 0A7255FE1CD2C65D Time : 0.0 sec. user=mdettweiler [2016-10-10 09:00:20] 687*2^1442294-1 is not prime. Res64: 959742649DA03731 Time : 0.0 sec. user=mdettweiler [2016-10-10 09:00:20] 731*2^1442294-1 is not prime. Res64: 27A85AB5E3D80590 Time : 0.0 sec. user=mdettweiler [2016-10-10 09:09:08] 791*2^1442294-1 is not prime. Res64: EB293E43BD21F6E3 Time : 0.0 sec. user=mdettweiler [2016-10-10 09:09:08] 795*2^1442294-1 is not prime. Res64: 0F055E3B7D9B540E Time : 0.0 sec. user=mdettweiler [2016-10-10 09:09:08] 935*2^1442294-1 is not prime. Res64: E162DE3553E24540 Time : 0.0 sec. user=mdettweiler [2016-10-10 09:09:09] 619*2^1442295-1 is not prime. Res64: 2252EEC0F81FE0D2 Time : 0.0 sec. user=mdettweiler [2016-10-10 09:09:09] 639*2^1442295-1 is not prime. Res64: 1025593CD7A9BBC6 Time : 0.0 sec. user=mdettweiler [2016-10-10 09:11:44] 643*2^1442295-1 is not prime. Res64: 7A34271EAF2FF97E Time : 0.0 sec. user=mdettweiler [2016-10-10 09:11:44] 651*2^1442295-1 is not prime. Res64: E7C03900839A9B28 Time : 0.0 sec. user=mdettweiler [2016-10-10 09:11:44] 663*2^1442295-1 is not prime. Res64: 5DFCD7499DE79456 Time : 0.0 sec. user=mdettweiler [2016-10-10 09:11:45] 679*2^1442295-1 is not prime. Res64: 7F7630CFA0381519 Time : 0.0 sec. user=mdettweiler [2016-10-10 09:11:45] 751*2^1442295-1 is not prime. Res64: A80A2F84CDE2F196 Time : 0.0 sec. user=mdettweiler [2016-10-10 09:45:17] 765*2^1442295-1 is not prime. Res64: F597EEFBCCBC0148 Time : 0.0 sec. user=mdettweiler [2016-10-10 09:45:17] 781*2^1442295-1 is not prime. Res64: C6E1CE8F8EDF8703 Time : 0.0 sec. user=mdettweiler [2016-10-10 09:45:17] 805*2^1442295-1 is not prime. Res64: EB47E07DB72F1337 Time : 0.0 sec. user=mdettweiler [2016-10-10 09:45:17] 895*2^1442295-1 is not prime. Res64: 234CDAA736BE7B6A Time : 0.0 sec. user=mdettweiler [2016-10-10 09:45:18] 979*2^1442295-1 is not prime. Res64: D06E26990071E421 Time : 0.0 sec. user=mdettweiler [2016-10-10 09:45:45] 991*2^1442295-1 is not prime. Res64: 2CEDF225EBA0D2EE Time : 0.0 sec. user=mdettweiler [2016-10-10 09:45:45] 615*2^1442296-1 is not prime. Res64: 5830536773C10546 Time : 0.0 sec. user=mdettweiler [2016-10-10 09:45:45] 657*2^1442296-1 is not prime. Res64: C0FDC6420AE4A2C9 Time : 0.0 sec. user=mdettweiler [2016-10-10 09:45:46] 707*2^1442296-1 is not prime. Res64: 108CB6F5D81AAB02 Time : 0.0 sec. user=mdettweiler [2016-10-10 09:45:46] 927*2^1442296-1 is not prime. Res64: 092D051042C25615 Time : 0.0 sec. user=mdettweiler [2016-10-10 09:54:29] 649*2^1442297-1 is not prime. Res64: E95E0147158A74EE Time : 0.0 sec. user=mdettweiler [2016-10-10 09:54:29] 691*2^1442297-1 is not prime. Res64: 2C7BA29CE54BC02A Time : 0.0 sec. user=mdettweiler [2016-10-10 09:54:30] 697*2^1442297-1 is not prime. Res64: 34F43C65BE05CF8C Time : 0.0 sec. user=mdettweiler [2016-10-10 09:54:30] 729*2^1442297-1 is not prime. Res64: 43FC0FFA7245C230 Time : 0.0 sec. user=mdettweiler [2016-10-10 09:54:30] 735*2^1442297-1 is not prime. Res64: 433F420CEAD89723 Time : 0.0 sec. user=mdettweiler [2016-10-10 09:57:15] 747*2^1442297-1 is not prime. Res64: C718143370F415D3 Time : 0.0 sec. user=mdettweiler [2016-10-10 09:57:16] 799*2^1442297-1 is not prime. Res64: 5862ACAE046F7624 Time : 0.0 sec. user=mdettweiler [2016-10-10 09:57:16] 837*2^1442297-1 is not prime. Res64: AF0279200ED27EE8 Time : 0.0 sec. user=mdettweiler [2016-10-10 09:57:16] 901*2^1442297-1 is not prime. Res64: 848F742F90900D43 Time : 0.0 sec. user=mdettweiler [2016-10-10 09:57:16] 967*2^1442297-1 is not prime. Res64: 5BD4BEBEF1419600 Time : 0.0 sec. user=mdettweiler [2016-10-10 10:30:40] 997*2^1442297-1 is not prime. Res64: 47AF87E3529D99DE Time : 0.0 sec. user=mdettweiler [2016-10-10 10:30:40] 695*2^1442298-1 is not prime. Res64: C8D18D12414559B3 Time : 0.0 sec. user=mdettweiler [2016-10-10 10:30:40] 801*2^1442298-1 is not prime. Res64: 1607757A0FED1C19 Time : 0.0 sec. user=mdettweiler [2016-10-10 10:30:40] 815*2^1442298-1 is not prime. Res64: 9B5E878DFCF69ABD Time : 0.0 sec. user=mdettweiler [2016-10-10 10:30:41] 971*2^1442298-1 is not prime. Res64: C93C330F4891AF70 Time : 0.0 sec. user=mdettweiler [2016-10-10 10:31:11] 631*2^1442299-1 is not prime. Res64: 9449F6922BED48A1 Time : 0.0 sec. user=mdettweiler [2016-10-10 10:31:11] 691*2^1442299-1 is not prime. Res64: 4FDCC5EFF0AF9427 Time : 0.0 sec. user=mdettweiler [2016-10-10 10:31:11] 693*2^1442299-1 is not prime. Res64: 18927358A90FD2B4 Time : 0.0 sec. user=mdettweiler [2016-10-10 10:31:11] 759*2^1442299-1 is not prime. Res64: E505A856CB798FFA Time : 0.0 sec. user=mdettweiler [2016-10-10 10:31:12] 943*2^1442299-1 is not prime. Res64: 8BBA2D10B5C1A369 Time : 0.0 sec. user=mdettweiler [2016-10-10 10:39:49] 973*2^1442299-1 is not prime. Res64: DE4EF984C56E3DF5 Time : 0.0 sec. user=mdettweiler [2016-10-10 10:39:50] 647*2^1442300-1 is not prime. Res64: D082A6D729263F6F Time : 0.0 sec. user=mdettweiler [2016-10-10 10:39:50] 659*2^1442300-1 is not prime. Res64: 0A3AEB8A32EDDBDE Time : 0.0 sec. user=mdettweiler [2016-10-10 10:39:50] 717*2^1442300-1 is not prime. Res64: DF2490173B73CCB7 Time : 0.0 sec. user=mdettweiler [2016-10-10 10:39:50] 725*2^1442300-1 is not prime. Res64: E1E933772BAE7DAD Time : 0.0 sec. user=mdettweiler [2016-10-10 10:42:45] 753*2^1442300-1 is not prime. Res64: C363F8E647D852F5 Time : 0.0 sec. user=mdettweiler [2016-10-10 10:42:45] 767*2^1442300-1 is not prime. Res64: 2209A63E34C864D2 Time : 0.0 sec. user=mdettweiler [2016-10-10 10:42:45] 827*2^1442300-1 is not prime. Res64: B6803F6D24B1EE71 Time : 0.0 sec. user=mdettweiler [2016-10-10 10:42:46] 839*2^1442300-1 is not prime. Res64: EA043B4B4DC8AFCA Time : 0.0 sec. user=mdettweiler [2016-10-10 10:42:46] 897*2^1442300-1 is not prime. Res64: 94915715E505B275 Time : 0.0 sec. user=mdettweiler [2016-10-10 11:16:15] 915*2^1442300-1 is not prime. Res64: 301846150C3949A0 Time : 0.0 sec. user=mdettweiler [2016-10-10 11:16:15] 959*2^1442300-1 is not prime. Res64: DE39724ADDBC420F Time : 0.0 sec. user=mdettweiler [2016-10-10 11:16:15] 717*2^1442301-1 is not prime. Res64: 6E82C77BC470EA92 Time : 0.0 sec. user=mdettweiler [2016-10-10 11:16:16] 727*2^1442301-1 is not prime. Res64: C05FEFC04CA9264F Time : 0.0 sec. user=mdettweiler [2016-10-10 11:16:16] 745*2^1442301-1 is not prime. Res64: AD8E64501FEF1DCC Time : 0.0 sec. user=mdettweiler [2016-10-10 11:16:28] 781*2^1442301-1 is not prime. Res64: 7318A32C53A5FD2F Time : 0.0 sec. user=mdettweiler [2016-10-10 11:16:28] 621*2^1442302-1 is not prime. Res64: FE80BF90EBA828A4 Time : 0.0 sec. user=mdettweiler [2016-10-10 11:16:28] 647*2^1442302-1 is not prime. Res64: A6365AB72012669E Time : 0.0 sec. user=mdettweiler [2016-10-10 11:16:29] 671*2^1442302-1 is not prime. Res64: 1B0DB4005F26DF1D Time : 0.0 sec. user=mdettweiler [2016-10-10 11:16:29] 705*2^1442302-1 is not prime. Res64: ACA4A87C94CCF289 Time : 0.0 sec. user=mdettweiler [2016-10-10 11:25:15] 747*2^1442302-1 is not prime. Res64: F0930321C1069B29 Time : 0.0 sec. user=mdettweiler [2016-10-10 11:25:16] 911*2^1442302-1 is not prime. Res64: 91A4739DAC6B5550 Time : 0.0 sec. user=mdettweiler [2016-10-10 11:25:16] 945*2^1442302-1 is not prime. Res64: B84ECD39FFB0C2A5 Time : 0.0 sec. user=mdettweiler [2016-10-10 11:25:16] 813*2^1442303-1 is not prime. Res64: 8585C19E58BB1E8F Time : 0.0 sec. user=mdettweiler [2016-10-10 11:25:16] 825*2^1442303-1 is not prime. Res64: 9024204451FDB268 Time : 0.0 sec. user=mdettweiler [2016-10-10 11:28:14] 831*2^1442303-1 is not prime. Res64: 61B5189BB6A44CAB Time : 0.0 sec. user=mdettweiler [2016-10-10 11:28:14] 859*2^1442303-1 is not prime. Res64: 969DA7F748FFC271 Time : 0.0 sec. user=mdettweiler [2016-10-10 11:28:15] 943*2^1442303-1 is not prime. Res64: 79608786B886FC6D Time : 0.0 sec. user=mdettweiler [2016-10-10 11:28:15] 605*2^1442304-1 is not prime. Res64: 412E9070060615E5 Time : 0.0 sec. user=mdettweiler [2016-10-10 11:28:15] 695*2^1442304-1 is not prime. Res64: 4E85848EDD3CD77D Time : 0.0 sec. user=mdettweiler [2016-10-10 12:01:33] 753*2^1442304-1 is not prime. Res64: 5D6B5512308DADF3 Time : 0.0 sec. user=mdettweiler [2016-10-10 12:01:34] 765*2^1442304-1 is not prime. Res64: 42D47ADB279FD24F Time : 0.0 sec. user=mdettweiler [2016-10-10 12:01:35] 601*2^1442305-1 is not prime. Res64: 9C49C97DAFC61D0B Time : 0.0 sec. user=mdettweiler [2016-10-10 12:01:35] 765*2^1442305-1 is not prime. Res64: E2061DB411BF624D Time : 0.0 sec. user=mdettweiler [2016-10-10 12:01:36] 831*2^1442305-1 is not prime. Res64: D29F5AD42FA93BCC Time : 0.0 sec. user=mdettweiler [2016-10-10 12:01:52] 861*2^1442305-1 is not prime. Res64: 54A4AC03DAF2BBAD Time : 0.0 sec. user=mdettweiler [2016-10-10 12:01:53] 951*2^1442305-1 is not prime. Res64: 89ECDF94639B7AF7 Time : 0.0 sec. user=mdettweiler [2016-10-10 12:01:54] 955*2^1442305-1 is not prime. Res64: 759986775982B535 Time : 0.0 sec. user=mdettweiler [2016-10-10 12:01:55] 975*2^1442305-1 is not prime. Res64: A42E59D59BE2EFEB Time : 0.0 sec. user=mdettweiler [2016-10-10 12:01:56] 635*2^1442306-1 is not prime. Res64: 2B7A099AD52FE075 Time : 0.0 sec. user=mdettweiler [2016-10-10 12:10:36] 825*2^1442306-1 is not prime. Res64: 435AF689D5EDC3BF Time : 0.0 sec. user=mdettweiler [2016-10-10 12:10:36] 911*2^1442306-1 is not prime. Res64: 5851AFAFE58B8F56 Time : 0.0 sec. user=mdettweiler [2016-10-10 12:10:37] 921*2^1442306-1 is not prime. Res64: 60D7F0B668BCBEA8 Time : 0.0 sec. user=mdettweiler [2016-10-10 12:10:37] 935*2^1442306-1 is not prime. Res64: F085C336ED6130E3 Time : 0.0 sec. user=mdettweiler [2016-10-10 12:10:37] 735*2^1442307-1 is not prime. Res64: FC6EA64CCA469815 Time : 0.0 sec. user=mdettweiler [2016-10-10 12:13:48] 781*2^1442307-1 is not prime. Res64: 814150673DC71069 Time : 0.0 sec. user=mdettweiler [2016-10-10 12:13:48] 873*2^1442307-1 is not prime. Res64: CA5F1578B5922785 Time : 0.0 sec. user=mdettweiler [2016-10-10 12:13:49] 605*2^1442308-1 is not prime. Res64: B6B71A7446584476 Time : 0.0 sec. user=mdettweiler [2016-10-10 12:13:49] 783*2^1442308-1 is not prime. Res64: 1160458BAFF9A996 Time : 0.0 sec. user=mdettweiler [2016-10-10 12:13:49] 855*2^1442308-1 is not prime. Res64: 8999DF05CBCD4CC6 Time : 0.0 sec. user=mdettweiler [2016-10-10 12:47:12] 915*2^1442308-1 is not prime. Res64: A49E400CA5D4DF66 Time : 0.0 sec. user=mdettweiler [2016-10-10 12:47:12] 619*2^1442309-1 is not prime. Res64: 1183173205C4303E Time : 0.0 sec. user=mdettweiler [2016-10-10 12:47:13] 631*2^1442309-1 is not prime. Res64: 75C58B0272A6B1E1 Time : 0.0 sec. user=mdettweiler [2016-10-10 12:47:13] 679*2^1442309-1 is not prime. Res64: 88355B3FCE589922 Time : 0.0 sec. user=mdettweiler [2016-10-10 12:47:13] 721*2^1442309-1 is not prime. Res64: 7E2D21CE55554C59 Time : 0.0 sec. user=mdettweiler [2016-10-10 12:47:15] 729*2^1442309-1 is not prime. Res64: 72D3ACF3992FD3F1 Time : 0.0 sec. user=mdettweiler [2016-10-10 12:47:15] 795*2^1442309-1 is not prime. Res64: 9A7BBAA2736DFEC3 Time : 0.0 sec. user=mdettweiler [2016-10-10 12:47:15] 957*2^1442309-1 is not prime. Res64: C2D2BFC78A7FFAA8 Time : 0.0 sec. user=mdettweiler [2016-10-10 12:47:16] 985*2^1442309-1 is not prime. Res64: 8BF954510BB77CB3 Time : 0.0 sec. user=mdettweiler [2016-10-10 12:47:16] 997*2^1442309-1 is not prime. Res64: B2CB55BFF01ABE1F Time : 0.0 sec. user=mdettweiler [2016-10-10 12:56:03] 641*2^1442310-1 is not prime. Res64: 44BE9EAE171223C4 Time : 0.0 sec. user=mdettweiler [2016-10-10 12:56:03] 755*2^1442310-1 is not prime. Res64: 8BA4C98F37666469 Time : 0.0 sec. user=mdettweiler [2016-10-10 12:56:04] 761*2^1442310-1 is not prime. Res64: 39DFCE7BC2BCC7B7 Time : 0.0 sec. user=mdettweiler [2016-10-10 12:56:04] 851*2^1442310-1 is not prime. Res64: 4A1409AEC94146FF Time : 0.0 sec. user=mdettweiler [2016-10-10 12:56:04] 963*2^1442310-1 is not prime. Res64: 4286019FABC71FC3 Time : 0.0 sec. user=mdettweiler [2016-10-10 12:59:14] 639*2^1442311-1 is not prime. Res64: 123F88471386BABE Time : 0.0 sec. user=mdettweiler [2016-10-10 12:59:15] 681*2^1442311-1 is not prime. Res64: 1B3870868635D773 Time : 0.0 sec. user=mdettweiler [2016-10-10 12:59:15] 783*2^1442311-1 is not prime. Res64: A3C133FEAD312A38 Time : 0.0 sec. user=mdettweiler [2016-10-10 12:59:15] 793*2^1442311-1 is not prime. Res64: D84AF1ED0EE76F1A Time : 0.0 sec. user=mdettweiler [2016-10-10 12:59:15] 805*2^1442311-1 is not prime. Res64: C37B5DB7D9D2BABC Time : 0.0 sec. user=mdettweiler [2016-10-10 13:32:38] 725*2^1442312-1 is not prime. Res64: 3C89B84646CFF74D Time : 0.0 sec. user=mdettweiler [2016-10-10 13:32:38] 797*2^1442312-1 is not prime. Res64: CAA6BEF9D0E57AF0 Time : 0.0 sec. user=mdettweiler [2016-10-10 13:32:39] 833*2^1442312-1 is not prime. Res64: FF95E5185556873B Time : 0.0 sec. user=mdettweiler [2016-10-10 13:32:39] 867*2^1442312-1 is not prime. Res64: A82650CDCFDC7F72 Time : 0.0 sec. user=mdettweiler [2016-10-10 13:32:39] 935*2^1442312-1 is not prime. Res64: EC15BF500074723F Time : 0.0 sec. user=mdettweiler [2016-10-10 13:32:43] 843*2^1442311-1 is not prime. Res64: 7F2257FABD4D5C26 Time : 0.0 sec. user=mdettweiler [2016-10-10 13:32:44] 901*2^1442311-1 is not prime. Res64: E647A5C5124A75E6 Time : 0.0 sec. user=mdettweiler [2016-10-10 13:32:44] 933*2^1442311-1 is not prime. Res64: 750E3DA7580C2962 Time : 0.0 sec. user=mdettweiler [2016-10-10 13:32:44] 633*2^1442312-1 is not prime. Res64: 95F4566D132E293B Time : 0.0 sec. user=mdettweiler [2016-10-10 13:32:45] 689*2^1442312-1 is not prime. Res64: 205CE60634BB228D Time : 0.0 sec. user=mdettweiler [2016-10-10 13:41:32] 609*2^1442313-1 is not prime. Res64: 60F5392A444FB509 Time : 0.0 sec. user=mdettweiler [2016-10-10 13:41:32] 625*2^1442313-1 is not prime. Res64: 568E9E46D0C18C05 Time : 0.0 sec. user=mdettweiler [2016-10-10 13:41:32] 691*2^1442313-1 is not prime. Res64: 5911BA88B2585F75 Time : 0.0 sec. user=mdettweiler [2016-10-10 13:41:33] 765*2^1442313-1 is not prime. Res64: 1EF2046234FD8A23 Time : 0.0 sec. user=mdettweiler [2016-10-10 13:41:33] 969*2^1442313-1 is not prime. Res64: 0B5C42F01A00F411 Time : 0.0 sec. user=mdettweiler [2016-10-10 13:44:41] 635*2^1442314-1 is not prime. Res64: 56756D6B7EE5E746 Time : 0.0 sec. user=mdettweiler [2016-10-10 13:44:41] 645*2^1442314-1 is not prime. Res64: B7311EF1FC1729C5 Time : 0.0 sec. user=mdettweiler [2016-10-10 13:44:42] 833*2^1442314-1 is not prime. Res64: 7C01B49641F0AEFC Time : 0.0 sec. user=mdettweiler [2016-10-10 13:44:42] 609*2^1442315-1 is not prime. Res64: BED876EC7B20D6C1 Time : 0.0 sec. user=mdettweiler [2016-10-10 13:44:42] 735*2^1442315-1 is not prime. Res64: FCABDCE900E4AC54 Time : 0.0 sec. user=mdettweiler [2016-10-10 14:17:57] 741*2^1442315-1 is not prime. Res64: 83F344A191BDE754 Time : 0.0 sec. user=mdettweiler [2016-10-10 14:17:57] 843*2^1442315-1 is not prime. Res64: DB03668F46DF08ED Time : 0.0 sec. user=mdettweiler [2016-10-10 14:17:57] 909*2^1442315-1 is not prime. Res64: BFED3FA0542C499E Time : 0.0 sec. user=mdettweiler [2016-10-10 14:17:58] 689*2^1442316-1 is not prime. Res64: 8EAC8C7518E077F7 Time : 0.0 sec. user=mdettweiler [2016-10-10 14:17:58] 749*2^1442316-1 is not prime. Res64: 985113E5E0D1AFD0 Time : 0.0 sec. user=mdettweiler [2016-10-10 14:18:15] 759*2^1442316-1 is not prime. Res64: 05B226A0A15A1C72 Time : 0.0 sec. user=mdettweiler [2016-10-10 14:18:16] 765*2^1442316-1 is not prime. Res64: 1AE12C33435C4A1F Time : 0.0 sec. user=mdettweiler [2016-10-10 14:18:16] 773*2^1442316-1 is not prime. Res64: 5F5084C1E443814F Time : 0.0 sec. user=mdettweiler [2016-10-10 14:18:16] 803*2^1442316-1 is not prime. Res64: C9E63473B8B5B104 Time : 0.0 sec. user=mdettweiler [2016-10-10 14:18:16] 857*2^1442316-1 is not prime. Res64: BCE196005EAE2AAF Time : 0.0 sec. user=mdettweiler [2016-10-10 14:27:03] 879*2^1442316-1 is not prime. Res64: AEB4F12D433A16DD Time : 0.0 sec. user=mdettweiler [2016-10-10 14:27:03] 899*2^1442316-1 is not prime. Res64: 5D756CBA71E55256 Time : 0.0 sec. user=mdettweiler [2016-10-10 14:27:03] 903*2^1442316-1 is not prime. Res64: 7304BBBD7EC6B449 Time : 0.0 sec. user=mdettweiler [2016-10-10 14:27:04] 927*2^1442316-1 is not prime. Res64: AEAD86FFADAAD214 Time : 0.0 sec. user=mdettweiler [2016-10-10 14:27:04] 651*2^1442317-1 is not prime. Res64: 6D828C13A39970B2 Time : 0.0 sec. user=mdettweiler [2016-10-10 14:30:03] 771*2^1442317-1 is not prime. Res64: 47788F2A5D306260 Time : 0.0 sec. user=mdettweiler [2016-10-10 14:30:06] 777*2^1442317-1 is not prime. Res64: 4502DE7D9D9ADF88 Time : 0.0 sec. user=mdettweiler [2016-10-10 14:30:06] 919*2^1442317-1 is not prime. Res64: F2F65AD5CBA8151E Time : 0.0 sec. user=mdettweiler [2016-10-10 14:30:07] 617*2^1442318-1 is not prime. Res64: 59DB0E1B169D34B2 Time : 0.0 sec. user=mdettweiler [2016-10-10 14:30:08] 635*2^1442318-1 is not prime. Res64: A2F45290B3B71F32 Time : 0.0 sec. user=mdettweiler [2016-10-10 15:03:16] 657*2^1442318-1 is not prime. Res64: C3A36BFCDBDFAA94 Time : 0.0 sec. user=mdettweiler [2016-10-10 15:03:17] 663*2^1442318-1 is not prime. Res64: 41A220C4E098D950 Time : 0.0 sec. user=mdettweiler [2016-10-10 15:03:18] 683*2^1442318-1 is not prime. Res64: 5245A8573F9CB6D1 Time : 0.0 sec. user=mdettweiler [2016-10-10 15:03:19] 893*2^1442318-1 is not prime. Res64: C30A07DE01AC3ED6 Time : 0.0 sec. user=mdettweiler [2016-10-10 15:03:19] 911*2^1442318-1 is not prime. Res64: C81F504EE99F53E0 Time : 0.0 sec. user=mdettweiler [2016-10-10 15:03:43] 971*2^1442318-1 is not prime. Res64: 2D43ABE5D58C2E98 Time : 0.0 sec. user=mdettweiler [2016-10-10 15:03:43] 703*2^1442319-1 is not prime. Res64: 256DF52FFF721257 Time : 0.0 sec. user=mdettweiler [2016-10-10 15:03:44] 831*2^1442319-1 is not prime. Res64: 0B0D38D691DC8C23 Time : 0.0 sec. user=mdettweiler [2016-10-10 15:03:45] 635*2^1442320-1 is not prime. Res64: 8E935751FEA6F63F Time : 0.0 sec. user=mdettweiler [2016-10-10 15:03:46] 675*2^1442320-1 is not prime. Res64: DC9B64C8B3581F00 Time : 0.0 sec. user=mdettweiler [2016-10-10 15:12:22] 843*2^1442320-1 is not prime. Res64: B706548EE8753993 Time : 0.0 sec. user=mdettweiler [2016-10-10 15:12:22] 855*2^1442320-1 is not prime. Res64: 00887AC03B7144DC Time : 0.0 sec. user=mdettweiler [2016-10-10 15:12:22] 933*2^1442320-1 is not prime. Res64: D28483AD1EC65CC3 Time : 0.0 sec. user=mdettweiler [2016-10-10 15:12:23] 631*2^1442321-1 is not prime. Res64: 582B35AEF4AD71C4 Time : 0.0 sec. user=mdettweiler [2016-10-10 15:12:23] 645*2^1442321-1 is not prime. Res64: 308DAF5412EABB52 Time : 0.0 sec. user=mdettweiler [2016-10-10 15:15:34] 669*2^1442321-1 is not prime. Res64: E44EA95FB0BA35CC Time : 0.0 sec. user=mdettweiler [2016-10-10 15:15:35] 675*2^1442321-1 is not prime. Res64: 249D4F5DFDF2FB24 Time : 0.0 sec. user=mdettweiler [2016-10-10 15:15:35] 855*2^1442321-1 is not prime. Res64: C477D53EFB672E47 Time : 0.0 sec. user=mdettweiler [2016-10-10 15:15:35] 885*2^1442321-1 is not prime. Res64: 6DC631F4676C291C Time : 0.0 sec. user=mdettweiler [2016-10-10 15:15:36] 651*2^1442322-1 is not prime. Res64: A69A06B14AEF1907 Time : 0.0 sec. user=mdettweiler [2016-10-10 15:48:48] 737*2^1442322-1 is not prime. Res64: 9D6CAF07797E052F Time : 0.0 sec. user=mdettweiler [2016-10-10 15:48:48] 755*2^1442322-1 is not prime. Res64: BC8C6212665096FD Time : 0.0 sec. user=mdettweiler [2016-10-10 15:48:48] 803*2^1442322-1 is not prime. Res64: 31A24BF76224F0D5 Time : 0.0 sec. user=mdettweiler [2016-10-10 15:48:48] 619*2^1442323-1 is not prime. Res64: DD3CF29D0EFC5FF7 Time : 0.0 sec. user=mdettweiler [2016-10-10 15:48:49] 625*2^1442323-1 is not prime. Res64: DED3BA87F2A02BC8 Time : 0.0 sec. user=mdettweiler [2016-10-10 15:49:14] 673*2^1442323-1 is not prime. Res64: CE52248ED4F73618 Time : 0.0 sec. user=mdettweiler [2016-10-10 15:49:15] 723*2^1442323-1 is not prime. Res64: FCB0654B48A7B08E Time : 0.0 sec. user=mdettweiler [2016-10-10 15:49:16] 765*2^1442323-1 is not prime. Res64: 5CDC782B8F8B5EE0 Time : 0.0 sec. user=mdettweiler [2016-10-10 15:49:16] 793*2^1442323-1 is not prime. Res64: 9D0DEE9F6A7C9B86 Time : 0.0 sec. user=mdettweiler [2016-10-10 15:49:17] 801*2^1442323-1 is not prime. Res64: A3D7D61EB4BAE5EC Time : 0.0 sec. user=mdettweiler [2016-10-10 15:57:39] 813*2^1442323-1 is not prime. Res64: 55780AEC3C686691 Time : 0.0 sec. user=mdettweiler [2016-10-10 15:57:39] 849*2^1442323-1 is not prime. Res64: 44D43139C7C82BAF Time : 0.0 sec. user=mdettweiler [2016-10-10 15:57:39] 873*2^1442323-1 is not prime. Res64: BD4B02F0A91CA17A Time : 0.0 sec. user=mdettweiler [2016-10-10 15:57:40] 665*2^1442324-1 is not prime. Res64: F04E205FA427748A Time : 0.0 sec. user=mdettweiler [2016-10-10 15:57:40] 753*2^1442324-1 is not prime. Res64: 0315A30BB3F8EC8B Time : 0.0 sec. user=mdettweiler [2016-10-10 16:00:56] 843*2^1442324-1 is not prime. Res64: 1BABF2EEA754425E Time : 0.0 sec. user=mdettweiler [2016-10-10 16:00:57] 959*2^1442324-1 is not prime. Res64: 633A7294BE3C006D Time : 0.0 sec. user=mdettweiler [2016-10-10 16:00:58] 625*2^1442325-1 is not prime. Res64: 227753826DD6AAE8 Time : 0.0 sec. user=mdettweiler [2016-10-10 16:00:59] 751*2^1442325-1 is not prime. Res64: CD47A782E68CEB0A Time : 0.0 sec. user=mdettweiler [2016-10-10 16:00:59] 787*2^1442325-1 is not prime. Res64: 3DFCD2481B2041CE Time : 0.0 sec. user=mdettweiler [2016-10-10 16:34:04] 847*2^1442325-1 is not prime. Res64: 8EB46323EC9D6782 Time : 0.0 sec. user=mdettweiler [2016-10-10 16:34:04] 889*2^1442325-1 is not prime. Res64: 066BB9C740CA1FAF Time : 0.0 sec. user=mdettweiler [2016-10-10 16:34:05] 921*2^1442325-1 is not prime. Res64: BCA5BC2F7DDCE8E3 Time : 0.0 sec. user=mdettweiler [2016-10-10 16:34:05] 927*2^1442325-1 is not prime. Res64: 50C64B823392E33C Time : 0.0 sec. user=mdettweiler [2016-10-10 16:34:05] 949*2^1442325-1 is not prime. Res64: 42E0B7C54CC5F74B Time : 0.0 sec. user=mdettweiler [2016-10-10 16:34:46] 955*2^1442325-1 is not prime. Res64: 0AE0F92D40DA559C Time : 0.0 sec. user=mdettweiler [2016-10-10 16:34:46] 611*2^1442326-1 is not prime. Res64: 0E1FF24AEF8AFB05 Time : 0.0 sec. user=mdettweiler [2016-10-10 16:34:46] 645*2^1442326-1 is not prime. Res64: 1F944D506DE92E93 Time : 0.0 sec. user=mdettweiler [2016-10-10 16:34:46] 765*2^1442326-1 is not prime. Res64: EA4E0CA780D73B75 Time : 0.0 sec. user=mdettweiler [2016-10-10 16:34:47] 777*2^1442326-1 is not prime. Res64: BC2F6E8284653319 Time : 0.0 sec. user=mdettweiler [2016-10-10 16:43:04] 783*2^1442326-1 is not prime. Res64: 0BEC4C7F13167909 Time : 0.0 sec. user=mdettweiler [2016-10-10 16:43:04] 843*2^1442326-1 is not prime. Res64: 6C16324CB820572D Time : 0.0 sec. user=mdettweiler [2016-10-10 16:43:04] 867*2^1442326-1 is not prime. Res64: 91161A5148EB9C7C Time : 0.0 sec. user=mdettweiler [2016-10-10 16:43:04] 957*2^1442326-1 is not prime. Res64: E27C4B625372E459 Time : 0.0 sec. user=mdettweiler [2016-10-10 16:43:05] 983*2^1442326-1 is not prime. Res64: ADB026B5561922C1 Time : 0.0 sec. user=mdettweiler [2016-10-10 16:46:34] 661*2^1442327-1 is not prime. Res64: E1B6F1C94B61A10A Time : 0.0 sec. user=mdettweiler [2016-10-10 16:46:34] 805*2^1442327-1 is not prime. Res64: C1C7E09F011973B2 Time : 0.0 sec. user=mdettweiler [2016-10-10 16:46:34] 939*2^1442327-1 is not prime. Res64: 47379DDDBF578C51 Time : 0.0 sec. user=mdettweiler [2016-10-10 16:46:35] 979*2^1442327-1 is not prime. Res64: 2EA9F56E7A9F232B Time : 0.0 sec. user=mdettweiler [2016-10-10 16:46:35] 639*2^1442328-1 is not prime. Res64: A4572F2CB663DC6C Time : 0.0 sec. user=mdettweiler [2016-10-10 17:19:22] 669*2^1442328-1 is not prime. Res64: 896099E8ED968A34 Time : 0.0 sec. user=mdettweiler [2016-10-10 17:19:23] 725*2^1442328-1 is not prime. Res64: D762B9E08F2F9D43 Time : 0.0 sec. user=mdettweiler [2016-10-10 17:19:23] 735*2^1442328-1 is not prime. Res64: C31C1887CC46B54D Time : 0.0 sec. user=mdettweiler [2016-10-10 17:19:23] 737*2^1442328-1 is not prime. Res64: 0B6B17A2D890441E Time : 0.0 sec. user=mdettweiler [2016-10-10 17:19:23] 899*2^1442328-1 is not prime. Res64: 94524D790718E917 Time : 0.0 sec. user=mdettweiler [2016-10-10 17:20:03] 675*2^1442329-1 is not prime. Res64: 578828BBA86E7861 Time : 0.0 sec. user=mdettweiler [2016-10-10 17:20:03] 705*2^1442329-1 is not prime. Res64: 5DBE19F0C7E19A69 Time : 0.0 sec. user=mdettweiler [2016-10-10 17:20:04] 771*2^1442329-1 is not prime. Res64: A5069E0AB0297762 Time : 0.0 sec. user=mdettweiler [2016-10-10 17:20:04] 817*2^1442329-1 is not prime. Res64: CDD46B8D71CFB1F4 Time : 0.0 sec. user=mdettweiler [2016-10-10 17:20:04] 979*2^1442329-1 is not prime. Res64: EE81DCCCAF73DD8A Time : 0.0 sec. user=mdettweiler [2016-10-10 17:28:14] 671*2^1442330-1 is not prime. Res64: 5DD5D082D6BD94F1 Time : 0.0 sec. user=mdettweiler [2016-10-10 17:28:15] 675*2^1442330-1 is not prime. Res64: 432D54337322F389 Time : 0.0 sec. user=mdettweiler [2016-10-10 17:28:15] 711*2^1442330-1 is not prime. Res64: B7AEB8C1C80FD82E Time : 0.0 sec. user=mdettweiler [2016-10-10 17:28:15] 755*2^1442330-1 is not prime. Res64: D59106DB3EDA4859 Time : 0.0 sec. user=mdettweiler [2016-10-10 17:28:15] 801*2^1442330-1 is not prime. Res64: 250D01EB8BF0F5A8 Time : 0.0 sec. user=mdettweiler [2016-10-10 17:31:59] 813*2^1442330-1 is not prime. Res64: FF18B2C31806AB25 Time : 0.0 sec. user=mdettweiler [2016-10-10 17:31:59] 887*2^1442330-1 is not prime. Res64: C1568C7807CFA5BA Time : 0.0 sec. user=mdettweiler [2016-10-10 17:32:00] 893*2^1442330-1 is not prime. Res64: 1B4885368B81AA17 Time : 0.0 sec. user=mdettweiler [2016-10-10 17:32:00] 927*2^1442330-1 is not prime. Res64: 402A2862A08D41F8 Time : 0.0 sec. user=mdettweiler [2016-10-10 17:32:00] 679*2^1442331-1 is not prime. Res64: ABFC891051E57583 Time : 0.0 sec. user=mdettweiler [2016-10-10 18:07:16] 685*2^1442331-1 is not prime. Res64: 62792E8D9FB7BBE1 Time : 0.0 sec. user=mdettweiler [2016-10-10 18:07:19] 703*2^1442331-1 is not prime. Res64: C2A6E6AF2DC8CC5D Time : 0.0 sec. user=mdettweiler [2016-10-10 18:07:20] 793*2^1442331-1 is not prime. Res64: 70D876B2E8898D11 Time : 0.0 sec. user=mdettweiler [2016-10-10 18:07:21] 801*2^1442331-1 is not prime. Res64: 9322EEC836519AB4 Time : 0.0 sec. user=mdettweiler [2016-10-10 18:07:23] 945*2^1442331-1 is not prime. Res64: B69C8C4C95D870A2 Time : 0.0 sec. user=mdettweiler [2016-10-10 18:08:12] 609*2^1442332-1 is not prime. Res64: E0077DAF073E2386 Time : 0.0 sec. user=mdettweiler [2016-10-10 18:08:12] 843*2^1442332-1 is not prime. Res64: CB54242CF57A44A9 Time : 0.0 sec. user=mdettweiler [2016-10-10 18:08:12] 855*2^1442332-1 is not prime. Res64: 60516D9693B23164 Time : 0.0 sec. user=mdettweiler [2016-10-10 18:08:13] 657*2^1442333-1 is not prime. Res64: 25A57B667F176982 Time : 0.0 sec. user=mdettweiler [2016-10-10 18:08:13] 721*2^1442333-1 is not prime. Res64: D2F14C26FB2F8F3D Time : 0.0 sec. user=mdettweiler [2016-10-10 18:17:38] 781*2^1442333-1 is not prime. Res64: EDD84A9E416831B0 Time : 0.0 sec. user=mdettweiler [2016-10-10 18:17:38] 819*2^1442333-1 is not prime. Res64: 87524DF75DC30AA4 Time : 0.0 sec. user=mdettweiler [2016-10-10 18:17:38] 837*2^1442333-1 is not prime. Res64: F16F9405E80F0578 Time : 0.0 sec. user=mdettweiler [2016-10-10 18:17:39] 937*2^1442333-1 is not prime. Res64: 6084EBA1EAD76521 Time : 0.0 sec. user=mdettweiler [2016-10-10 18:17:39] 627*2^1442334-1 is not prime. Res64: 159F125800930386 Time : 0.0 sec. user=mdettweiler [2016-10-10 18:21:41] 641*2^1442334-1 is not prime. Res64: 7A670D9D8CAE796C Time : 0.0 sec. user=mdettweiler [2016-10-10 18:21:42] 657*2^1442334-1 is not prime. Res64: 6BF95A9A363F0DE7 Time : 0.0 sec. user=mdettweiler [2016-10-10 18:21:42] 723*2^1442334-1 is not prime. Res64: EDF9D156C4B9DACD Time : 0.0 sec. user=mdettweiler [2016-10-10 18:21:43] 927*2^1442334-1 is not prime. Res64: A41A2D91EF501D43 Time : 0.0 sec. user=mdettweiler [2016-10-10 18:21:44] 975*2^1442334-1 is not prime. Res64: 363AC414A7DC7E14 Time : 0.0 sec. user=mdettweiler [2016-10-10 18:58:25] 625*2^1442335-1 is not prime. Res64: 251E750B371F0DE8 Time : 0.0 sec. user=mdettweiler [2016-10-10 18:58:25] 705*2^1442335-1 is not prime. Res64: E6F6FE34483D86C2 Time : 0.0 sec. user=mdettweiler [2016-10-10 18:58:25] 859*2^1442335-1 is not prime. Res64: 6AE8C7AA8CCA3D61 Time : 0.0 sec. user=mdettweiler [2016-10-10 18:58:25] 943*2^1442335-1 is not prime. Res64: D2C4594F13C45893 Time : 0.0 sec. user=mdettweiler [2016-10-10 18:58:25] 969*2^1442335-1 is not prime. Res64: 64E0C5F3AD3D23AB Time : 0.0 sec. user=mdettweiler [2016-10-10 19:00:23] 623*2^1442336-1 is not prime. Res64: EF181CC79277C1D6 Time : 0.0 sec. user=mdettweiler [2016-10-10 19:00:24] 677*2^1442336-1 is not prime. Res64: C7F149E3E6E7F8E9 Time : 0.0 sec. user=mdettweiler [2016-10-10 19:00:25] 785*2^1442336-1 is not prime. Res64: EF53BF7BC5910209 Time : 0.0 sec. user=mdettweiler [2016-10-10 19:00:25] 825*2^1442336-1 is not prime. Res64: 14D293F83A2E5A77 Time : 0.0 sec. user=mdettweiler [2016-10-10 19:00:26] 875*2^1442336-1 is not prime. Res64: F34DBD46C7E5B6BC Time : 0.0 sec. user=mdettweiler [2016-10-10 19:09:58] 993*2^1442336-1 is not prime. Res64: 59E3DDF524DAE0A7 Time : 0.0 sec. user=mdettweiler [2016-10-10 19:09:58] 615*2^1442337-1 is not prime. Res64: 0E958C65D9D2FDB3 Time : 0.0 sec. user=mdettweiler [2016-10-10 19:09:58] 669*2^1442337-1 is not prime. Res64: CEA39F355C7826D3 Time : 0.0 sec. user=mdettweiler [2016-10-10 19:09:59] 739*2^1442337-1 is not prime. Res64: 915356A1AC9453C9 Time : 0.0 sec. user=mdettweiler [2016-10-10 19:09:59] 891*2^1442337-1 is not prime. Res64: 33D1B828A95664FC Time : 0.0 sec. user=mdettweiler [2016-10-10 19:13:47] 605*2^1442338-1 is not prime. Res64: 1F3F665344C50F71 Time : 0.0 sec. user=mdettweiler [2016-10-10 19:13:47] 657*2^1442338-1 is not prime. Res64: 10AA859FEC3CFD6B Time : 0.0 sec. user=mdettweiler [2016-10-10 19:13:47] 663*2^1442338-1 is not prime. Res64: 6941CEC22471645E Time : 0.0 sec. user=mdettweiler [2016-10-10 19:13:47] 665*2^1442338-1 is not prime. Res64: B3E40DC7CFD8B3F7 Time : 0.0 sec. user=mdettweiler [2016-10-10 19:13:48] 791*2^1442338-1 is not prime. Res64: D2B055357A8919D0 Time : 0.0 sec. user=mdettweiler [2016-10-10 19:47:00] 923*2^1442338-1 is not prime. Res64: F320ED08F453C9A8 Time : 0.0 sec. user=mdettweiler [2016-10-10 19:47:00] 993*2^1442338-1 is not prime. Res64: F9A7B925939B3312 Time : 0.0 sec. user=mdettweiler [2016-10-10 19:47:01] 615*2^1442339-1 is not prime. Res64: D3B18AB25651674E Time : 0.0 sec. user=mdettweiler [2016-10-10 19:47:01] 645*2^1442339-1 is not prime. Res64: 7BA3BFC0B303FDF5 Time : 0.0 sec. user=mdettweiler [2016-10-10 19:47:01] 669*2^1442339-1 is not prime. Res64: 759C7EA6255F519C Time : 0.0 sec. user=mdettweiler [2016-10-10 19:48:46] 685*2^1442339-1 is not prime. Res64: 03833F6858DE34F0 Time : 0.0 sec. user=mdettweiler [2016-10-10 19:48:46] 693*2^1442339-1 is not prime. Res64: 55725EB5201062E8 Time : 0.0 sec. user=mdettweiler [2016-10-10 19:48:46] 711*2^1442339-1 is not prime. Res64: 07AE3865B6908440 Time : 0.0 sec. user=mdettweiler [2016-10-10 19:48:46] 843*2^1442339-1 is not prime. Res64: 014DCACACB005DEE Time : 0.0 sec. user=mdettweiler [2016-10-10 19:48:47] 855*2^1442339-1 is not prime. Res64: 2CF55A5F606A58DD Time : 0.0 sec. user=mdettweiler [2016-10-10 19:56:46] 991*2^1442339-1 is not prime. Res64: 9902C0B46DE414FF Time : 0.0 sec. user=mdettweiler [2016-10-10 19:56:46] 689*2^1442340-1 is not prime. Res64: 7AB80BA0E7F1A5F4 Time : 0.0 sec. user=mdettweiler [2016-10-10 19:56:46] 707*2^1442340-1 is not prime. Res64: 722EAA5ED5589A1A Time : 0.0 sec. user=mdettweiler [2016-10-10 19:56:46] 779*2^1442340-1 is not prime. Res64: DDBF8F6C82677267 Time : 0.0 sec. user=mdettweiler [2016-10-10 19:56:47] 789*2^1442340-1 is not prime. Res64: 62AA41F0E663716F Time : 0.0 sec. user=mdettweiler [2016-10-10 20:00:17] 797*2^1442340-1 is not prime. Res64: BDE6BD4D694684B1 Time : 0.0 sec. user=mdettweiler [2016-10-10 20:00:18] 843*2^1442340-1 is not prime. Res64: F1BA446CB2373FE1 Time : 0.0 sec. user=mdettweiler [2016-10-10 20:00:19] 929*2^1442340-1 is not prime. Res64: 7C481766B60BE87A Time : 0.0 sec. user=mdettweiler [2016-10-10 20:00:19] 933*2^1442340-1 is not prime. Res64: C00318983609FC6B Time : 0.0 sec. user=mdettweiler [2016-10-10 20:00:20] 975*2^1442340-1 is not prime. Res64: 99CC84875E0130AC Time : 0.0 sec. user=mdettweiler [2016-10-10 20:32:42] 817*2^1442341-1 is not prime. Res64: BEC07E718D6552BE Time : 0.0 sec. user=mdettweiler [2016-10-10 20:32:42] 861*2^1442341-1 is not prime. Res64: 91E3E1BD75A510E7 Time : 0.0 sec. user=mdettweiler [2016-10-10 20:32:43] 877*2^1442341-1 is not prime. Res64: E0E20B97AC5AED3A Time : 0.0 sec. user=mdettweiler [2016-10-10 20:32:43] 955*2^1442341-1 is not prime. Res64: 8AEE46D0ED291002 Time : 0.0 sec. user=mdettweiler [2016-10-10 20:32:43] 623*2^1442342-1 is not prime. Res64: 91E0FA34BF3F4B35 Time : 0.0 sec. user=mdettweiler [2016-10-10 20:34:30] 671*2^1442342-1 is not prime. Res64: C307A843DF026B7D Time : 0.0 sec. user=mdettweiler [2016-10-10 20:34:31] 705*2^1442342-1 is not prime. Res64: FEC2FE0BD4B3F4A4 Time : 0.0 sec. user=mdettweiler [2016-10-10 20:34:31] 755*2^1442342-1 is not prime. Res64: 10B54DE71DE4DA7C Time : 0.0 sec. user=mdettweiler [2016-10-10 20:34:31] 885*2^1442342-1 is not prime. Res64: 8345DF9DCB925E08 Time : 0.0 sec. user=mdettweiler [2016-10-10 20:34:31] 893*2^1442342-1 is not prime. Res64: C8B297D81E91F351 Time : 0.0 sec. user=mdettweiler [2016-10-10 20:42:30] 897*2^1442342-1 is not prime. Res64: 7D99F26C27D748CE Time : 0.0 sec. user=mdettweiler [2016-10-10 20:42:30] 923*2^1442342-1 is not prime. Res64: F304CC418D8DB951 Time : 0.0 sec. user=mdettweiler [2016-10-10 20:42:31] 1001*2^1442342-1 is not prime. Res64: 438C7D973D158C60 Time : 0.0 sec. user=mdettweiler [2016-10-10 20:42:31] 619*2^1442343-1 is not prime. Res64: 353E2C409E7293AE Time : 0.0 sec. user=mdettweiler [2016-10-10 20:42:31] 649*2^1442343-1 is not prime. Res64: D54AC1AE63343337 Time : 0.0 sec. user=mdettweiler [2016-10-10 20:46:14] 705*2^1442343-1 is not prime. Res64: 5BEF0E30A2B2714A Time : 0.0 sec. user=mdettweiler [2016-10-10 20:46:14] 831*2^1442343-1 is not prime. Res64: 643B4280A3A407AD Time : 0.0 sec. user=mdettweiler [2016-10-10 20:46:14] 921*2^1442343-1 is not prime. Res64: B3E0392F3ED33A74 Time : 0.0 sec. user=mdettweiler [2016-10-10 20:46:15] 615*2^1442344-1 is not prime. Res64: 6F848B4AE71C9895 Time : 0.0 sec. user=mdettweiler [2016-10-10 20:46:15] 695*2^1442344-1 is not prime. Res64: 3B3067A49A4FB2A3 Time : 0.0 sec. user=mdettweiler [2016-10-10 21:18:16] 759*2^1442344-1 is not prime. Res64: A961A7C77D9082F5 Time : 0.0 sec. user=mdettweiler [2016-10-10 21:18:17] 917*2^1442344-1 is not prime. Res64: AB59E8C5377B5897 Time : 0.0 sec. user=mdettweiler [2016-10-10 21:18:17] 927*2^1442344-1 is not prime. Res64: 802322621F65D3D7 Time : 0.0 sec. user=mdettweiler [2016-10-10 21:18:17] 993*2^1442344-1 is not prime. Res64: 3406582770F072E3 Time : 0.0 sec. user=mdettweiler [2016-10-10 21:18:18] 711*2^1442345-1 is not prime. Res64: 8E963D1FC2B9AF4D Time : 0.0 sec. user=mdettweiler [2016-10-10 21:20:08] 847*2^1442345-1 is not prime. Res64: D639677B22C39FB5 Time : 0.0 sec. user=mdettweiler [2016-10-10 21:20:08] 937*2^1442345-1 is not prime. Res64: 2F5AEC96D9EC18CB Time : 0.0 sec. user=mdettweiler [2016-10-10 21:20:08] 979*2^1442345-1 is not prime. Res64: D034B5E025DDD953 Time : 0.0 sec. user=mdettweiler [2016-10-10 21:20:09] 755*2^1442346-1 is not prime. Res64: 612161DD2A03F5ED Time : 0.0 sec. user=mdettweiler [2016-10-10 21:20:09] 837*2^1442346-1 is not prime. Res64: A82B8426FB5A24B0 Time : 0.0 sec. user=mdettweiler [2016-10-10 21:28:09] 917*2^1442346-1 is not prime. Res64: CEDF6484EDCD8353 Time : 0.0 sec. user=mdettweiler [2016-10-10 21:28:09] 649*2^1442347-1 is not prime. Res64: 342919874CDD0E7B Time : 0.0 sec. user=mdettweiler [2016-10-10 21:28:10] 673*2^1442347-1 is not prime. Res64: C25CEACBBACB1329 Time : 0.0 sec. user=mdettweiler [2016-10-10 21:28:10] 871*2^1442347-1 is not prime. Res64: 873BF7B2AED4EA9F Time : 0.0 sec. user=mdettweiler [2016-10-10 21:28:10] 629*2^1442348-1 is not prime. Res64: EC8BEA99808176CE Time : 0.0 sec. user=mdettweiler [2016-10-10 21:32:04] 647*2^1442348-1 is not prime. Res64: 86969289C01F4A79 Time : 0.0 sec. user=mdettweiler [2016-10-10 21:32:04] 687*2^1442348-1 is not prime. Res64: 4C3D11AF65D08D72 Time : 0.0 sec. user=mdettweiler [2016-10-10 21:32:05] 759*2^1442348-1 is not prime. Res64: ABB2E6F46ED19FE5 Time : 0.0 sec. user=mdettweiler [2016-10-10 21:32:05] 945*2^1442348-1 is not prime. Res64: 0D485401A9AF962D Time : 0.0 sec. user=mdettweiler [2016-10-10 21:32:06] 959*2^1442348-1 is not prime. Res64: DE7D5A83877B0A37 Time : 0.0 sec. user=mdettweiler [2016-10-10 22:03:58] 995*2^1442348-1 is not prime. Res64: F26697121D7D1271 Time : 0.0 sec. user=mdettweiler [2016-10-10 22:03:59] 609*2^1442349-1 is not prime. Res64: EC935FDDAAAAE07E Time : 0.0 sec. user=mdettweiler [2016-10-10 22:04:00] 655*2^1442349-1 is not prime. Res64: EE009B4D7319A71E Time : 0.0 sec. user=mdettweiler [2016-10-10 22:04:01] 745*2^1442349-1 is not prime. Res64: C5B57E5490AE6609 Time : 0.0 sec. user=mdettweiler [2016-10-10 22:04:02] 769*2^1442349-1 is not prime. Res64: 084DA067AFCBDAB0 Time : 0.0 sec. user=mdettweiler [2016-10-10 22:05:50] 787*2^1442349-1 is not prime. Res64: 7C88C120E9E489D6 Time : 0.0 sec. user=mdettweiler [2016-10-10 22:05:52] 885*2^1442349-1 is not prime. Res64: F635428EE785A764 Time : 0.0 sec. user=mdettweiler [2016-10-10 22:05:53] 961*2^1442349-1 is not prime. Res64: 1AEDB843A93F6515 Time : 0.0 sec. user=mdettweiler [2016-10-10 22:05:53] 717*2^1442350-1 is not prime. Res64: 51074E8F57E8F311 Time : 0.0 sec. user=mdettweiler [2016-10-10 22:05:54] 747*2^1442350-1 is not prime. Res64: C2E386E1B341EC43 Time : 0.0 sec. user=mdettweiler [2016-10-10 22:13:40] 783*2^1442350-1 is not prime. Res64: 11C233DB69A9C35A Time : 0.0 sec. user=mdettweiler [2016-10-10 22:13:41] 843*2^1442350-1 is not prime. Res64: C59181F6E9EEC8D4 Time : 0.0 sec. user=mdettweiler [2016-10-10 22:13:41] 867*2^1442350-1 is not prime. Res64: 370D842A93C84E8E Time : 0.0 sec. user=mdettweiler [2016-10-10 22:13:42] 885*2^1442350-1 is not prime. Res64: D9AB621EAE7964C0 Time : 0.0 sec. user=mdettweiler [2016-10-10 22:13:42] 663*2^1442351-1 is not prime. Res64: C70E208420DB0F88 Time : 0.0 sec. user=mdettweiler [2016-10-10 22:17:46] 705*2^1442351-1 is not prime. Res64: 8E306C6F09B073E1 Time : 0.0 sec. user=mdettweiler [2016-10-10 22:17:46] 741*2^1442351-1 is not prime. Res64: F28AA6C59B165EDB Time : 0.0 sec. user=mdettweiler [2016-10-10 22:17:47] 759*2^1442351-1 is not prime. Res64: 377EB2DB8F2F95E9 Time : 0.0 sec. user=mdettweiler [2016-10-10 22:17:47] 823*2^1442351-1 is not prime. Res64: A6EA95000FD8B1CE Time : 0.0 sec. user=mdettweiler [2016-10-10 22:17:47] 675*2^1442352-1 is not prime. Res64: 73E5EF0D10BF0EDD Time : 0.0 sec. user=mdettweiler [2016-10-10 22:50:00] 759*2^1442352-1 is not prime. Res64: 9625842582EC930B Time : 0.0 sec. user=mdettweiler [2016-10-10 22:50:00] 615*2^1442353-1 is not prime. Res64: 70A05921FE3F53EF Time : 0.0 sec. user=mdettweiler [2016-10-10 22:50:01] 679*2^1442353-1 is not prime. Res64: 02D42B65142542E9 Time : 0.0 sec. user=mdettweiler [2016-10-10 22:50:01] 699*2^1442353-1 is not prime. Res64: 0E8564E342AA4935 Time : 0.0 sec. user=mdettweiler [2016-10-10 22:50:01] 729*2^1442353-1 is not prime. Res64: 2627C2FE53706738 Time : 0.0 sec. user=mdettweiler [2016-10-10 22:51:49] 867*2^1442353-1 is not prime. Res64: 54D98E7DB23AA9DA Time : 0.0 sec. user=mdettweiler [2016-10-10 22:51:49] 877*2^1442353-1 is not prime. Res64: 307CB1D9F9ADE6F7 Time : 0.0 sec. user=mdettweiler [2016-10-10 22:51:49] 901*2^1442353-1 is not prime. Res64: 46E2653C72905327 Time : 0.0 sec. user=mdettweiler [2016-10-10 22:51:50] 937*2^1442353-1 is not prime. Res64: 4D741FA04FF186FB Time : 0.0 sec. user=mdettweiler [2016-10-10 22:51:50] 623*2^1442354-1 is not prime. Res64: BDD332A4A4D3A5E6 Time : 0.0 sec. user=mdettweiler [2016-10-10 22:59:44] 711*2^1442354-1 is not prime. Res64: 80C9ACBD2A3DA66B Time : 0.0 sec. user=mdettweiler [2016-10-10 22:59:44] 755*2^1442354-1 is not prime. Res64: EE122392A9F2C4C7 Time : 0.0 sec. user=mdettweiler [2016-10-10 22:59:44] 861*2^1442354-1 is not prime. Res64: 7E561CFDB8C54709 Time : 0.0 sec. user=mdettweiler [2016-10-10 22:59:45] 953*2^1442354-1 is not prime. Res64: 1FDF487598235D6D Time : 0.0 sec. user=mdettweiler [2016-10-10 22:59:45] 669*2^1442355-1 is not prime. Res64: 0AC5D6485D24553C Time : 0.0 sec. user=mdettweiler [2016-10-10 23:03:53] 723*2^1442355-1 is not prime. Res64: 510F8CA2197AE2A6 Time : 0.0 sec. user=mdettweiler [2016-10-10 23:03:54] 735*2^1442355-1 is not prime. Res64: D042E2B2449659EE Time : 0.0 sec. user=mdettweiler [2016-10-10 23:03:55] 795*2^1442355-1 is not prime. Res64: 5E1F3AA64C41BAEF Time : 0.0 sec. user=mdettweiler [2016-10-10 23:03:56] 913*2^1442355-1 is not prime. Res64: FB0F7D60046A10CF Time : 0.0 sec. user=mdettweiler [2016-10-10 23:03:57] 963*2^1442355-1 is not prime. Res64: 063AF020F5975B88 Time : 0.0 sec. user=mdettweiler [2016-10-10 23:35:35] 705*2^1442356-1 is not prime. Res64: B74D18C61A903056 Time : 0.0 sec. user=mdettweiler [2016-10-10 23:35:35] 833*2^1442356-1 is not prime. Res64: 032AD11FE1ACA14D Time : 0.0 sec. user=mdettweiler [2016-10-10 23:35:35] 905*2^1442356-1 is not prime. Res64: FD9B172BEEDCAB04 Time : 0.0 sec. user=mdettweiler [2016-10-10 23:35:35] 607*2^1442357-1 is not prime. Res64: 2A31A3C5229DAE53 Time : 0.0 sec. user=mdettweiler [2016-10-10 23:35:36] 697*2^1442357-1 is not prime. Res64: A94DED41675D1434 Time : 0.0 sec. user=mdettweiler [2016-10-10 23:37:19] 717*2^1442357-1 is not prime. Res64: 7AC5AB59317F8FDF Time : 0.0 sec. user=mdettweiler [2016-10-10 23:37:20] 759*2^1442357-1 is not prime. Res64: D669F94E627412B2 Time : 0.0 sec. user=mdettweiler [2016-10-10 23:37:20] 889*2^1442357-1 is not prime. Res64: A8946E65E8A103A8 Time : 0.0 sec. user=mdettweiler [2016-10-10 23:37:20] 915*2^1442357-1 is not prime. Res64: FE69EB11FF89B1F8 Time : 0.0 sec. user=mdettweiler [2016-10-10 23:37:21] 635*2^1442358-1 is not prime. Res64: 3FDE129743BBA7AC Time : 0.0 sec. user=mdettweiler [2016-10-10 23:45:15] 663*2^1442358-1 is not prime. Res64: 08D70F977B1A2ED1 Time : 0.0 sec. user=mdettweiler [2016-10-10 23:45:15] 705*2^1442358-1 is not prime. Res64: 20DD677F44FD9DA7 Time : 0.0 sec. user=mdettweiler [2016-10-10 23:45:15] 843*2^1442358-1 is not prime. Res64: 102FA8ADC770B0B9 Time : 0.0 sec. user=mdettweiler [2016-10-10 23:45:15] 941*2^1442358-1 is not prime. Res64: ACF4F49BEB185A8E Time : 0.0 sec. user=mdettweiler [2016-10-10 23:45:16] 601*2^1442359-1 is not prime. Res64: B0001FD42B6FAF6C Time : 0.0 sec. user=mdettweiler [2016-10-10 23:49:26] 615*2^1442359-1 is not prime. Res64: 9106F689F77A60C6 Time : 0.0 sec. user=mdettweiler [2016-10-10 23:49:26] 633*2^1442359-1 is not prime. Res64: 5F1DC86071C70E1B Time : 0.0 sec. user=mdettweiler [2016-10-10 23:49:26] 681*2^1442359-1 is not prime. Res64: 041B4222E2D4DBF2 Time : 0.0 sec. user=mdettweiler [2016-10-10 23:49:26] 685*2^1442359-1 is not prime. Res64: B59F8F3810E8E233 Time : 0.0 sec. user=mdettweiler [2016-10-10 23:49:26] 705*2^1442359-1 is not prime. Res64: 5E381638D20E199E Time : 0.0 sec.