user=mdettweiler [2015-10-30 00:13:15] 743*2^1413562-1 is not prime. Res64: 55EC985F5C2AD5C0 Time : 0.0 sec. user=mdettweiler [2015-10-30 00:13:16] 885*2^1413562-1 is not prime. Res64: 43462851CC141EC2 Time : 0.0 sec. user=mdettweiler [2015-10-30 00:13:21] 705*2^1413563-1 is not prime. Res64: 9B494F6799AA437D Time : 0.0 sec. user=mdettweiler [2015-10-30 00:13:22] 911*2^1413562-1 is not prime. Res64: 56FA32CFFEDA34DD Time : 0.0 sec. user=mdettweiler [2015-10-30 00:13:22] 823*2^1413563-1 is not prime. Res64: 9F441AA88AB83510 Time : 0.0 sec. user=mdettweiler [2015-10-30 00:13:23] 945*2^1413562-1 is not prime. Res64: FE6EBA352A25068F Time : 0.0 sec. user=mdettweiler [2015-10-30 00:31:07] 895*2^1413563-1 is not prime. Res64: B777F0CC784B6E2F Time : 0.0 sec. user=mdettweiler [2015-10-30 00:31:08] 945*2^1413563-1 is not prime. Res64: C74EE150F97EDB24 Time : 0.0 sec. user=mdettweiler [2015-10-30 00:31:08] 675*2^1413564-1 is not prime. Res64: 4410E2CFE82E892E Time : 0.0 sec. user=mdettweiler [2015-10-30 00:31:09] 993*2^1413563-1 is not prime. Res64: AB3F712FEEF45E81 Time : 0.0 sec. user=mdettweiler [2015-10-30 00:31:09] 707*2^1413564-1 is not prime. Res64: DCF42BC5E9B114B5 Time : 0.0 sec. user=mdettweiler [2015-10-30 00:31:09] 623*2^1413564-1 is not prime. Res64: 2D9961392073083E Time : 0.0 sec. user=mdettweiler [2015-10-30 00:49:04] 765*2^1413564-1 is not prime. Res64: 9494EA0BA0D1E1BE Time : 0.0 sec. user=mdettweiler [2015-10-30 00:49:04] 873*2^1413564-1 is not prime. Res64: 712A8B7CB0F34608 Time : 0.0 sec. user=mdettweiler [2015-10-30 00:49:05] 767*2^1413564-1 is not prime. Res64: 6E13252B4BEAEE0F Time : 0.0 sec. user=mdettweiler [2015-10-30 00:49:05] 875*2^1413564-1 is not prime. Res64: C2BB7F8D715B46B4 Time : 0.0 sec. user=mdettweiler [2015-10-30 00:49:06] 725*2^1413564-1 is not prime. Res64: E193B260B1C494A1 Time : 0.0 sec. user=mdettweiler [2015-10-30 00:49:07] 737*2^1413564-1 is not prime. Res64: 1273943731F22644 Time : 0.0 sec. user=mdettweiler [2015-10-30 01:06:40] 915*2^1413564-1 is not prime. Res64: 0E7709B8A11356BE Time : 0.0 sec. user=mdettweiler [2015-10-30 01:06:41] 965*2^1413564-1 is not prime. Res64: 01114066B9DB19F3 Time : 0.0 sec. user=mdettweiler [2015-10-30 01:06:41] 859*2^1413565-1 is not prime. Res64: 73C75842F713AF97 Time : 0.0 sec. user=mdettweiler [2015-10-30 01:06:41] 861*2^1413565-1 is not prime. Res64: 615DA256621C72D0 Time : 0.0 sec. user=mdettweiler [2015-10-30 01:06:43] 741*2^1413565-1 is not prime. Res64: 892D764ACE600F93 Time : 0.0 sec. user=mdettweiler [2015-10-30 01:06:44] 799*2^1413565-1 is not prime. Res64: B0B068CAC9E9D176 Time : 0.0 sec. user=mdettweiler [2015-10-30 01:24:16] 951*2^1413565-1 is not prime. Res64: 01A3F11B8B23737F Time : 0.0 sec. user=mdettweiler [2015-10-30 01:24:17] 651*2^1413566-1 is not prime. Res64: 0B0F0B9823AA4392 Time : 0.0 sec. user=mdettweiler [2015-10-30 01:24:17] 871*2^1413565-1 is not prime. Res64: 5B10ED20858BACF0 Time : 0.0 sec. user=mdettweiler [2015-10-30 01:24:18] 683*2^1413566-1 is not prime. Res64: A1213EEE69A62E62 Time : 0.0 sec. user=mdettweiler [2015-10-30 01:24:18] 877*2^1413565-1 is not prime. Res64: 28494DB0044BC8E2 Time : 0.0 sec. user=mdettweiler [2015-10-30 01:24:19] 747*2^1413566-1 is not prime. Res64: 012ECFBB98B4B1CD Time : 0.0 sec. user=mdettweiler [2015-10-30 01:41:50] 953*2^1413566-1 is not prime. Res64: 05DB3C84051243DB Time : 0.0 sec. user=mdettweiler [2015-10-30 01:41:51] 971*2^1413566-1 is not prime. Res64: 3B964D14AE7C1F6B Time : 0.0 sec. user=mdettweiler [2015-10-30 01:41:54] 833*2^1413566-1 is not prime. Res64: 65049A15D11224B7 Time : 0.0 sec. user=mdettweiler [2015-10-30 01:41:55] 923*2^1413566-1 is not prime. Res64: 15DCBC431157C3E1 Time : 0.0 sec. user=mdettweiler [2015-10-30 01:41:58] 639*2^1413567-1 is not prime. Res64: 2440943E758D2352 Time : 0.0 sec. user=mdettweiler [2015-10-30 01:41:59] 669*2^1413567-1 is not prime. Res64: 96404B1DAC2B4058 Time : 0.0 sec. user=mdettweiler [2015-10-30 01:59:32] 829*2^1413567-1 is not prime. Res64: 82EFD934E4A74F91 Time : 0.0 sec. user=mdettweiler [2015-10-30 01:59:33] 865*2^1413567-1 is not prime. Res64: 120DE2FC7EE2E33F Time : 0.0 sec. user=mdettweiler [2015-10-30 01:59:38] 975*2^1413567-1 is not prime. Res64: 5010DF597C15A2C3 Time : 0.0 sec. user=mdettweiler [2015-10-30 01:59:39] 615*2^1413568-1 is not prime. Res64: 347C2C91E71EA526 Time : 0.0 sec. user=mdettweiler [2015-10-30 01:59:39] 985*2^1413567-1 is not prime. Res64: 9C7657C5952B4692 Time : 0.0 sec. user=mdettweiler [2015-10-30 01:59:40] 657*2^1413569-1 is not prime. Res64: 501E6F59964DE639 Time : 0.0 sec. user=mdettweiler [2015-10-30 02:17:09] 727*2^1413569-1 is not prime. Res64: B607380B53AF36B0 Time : 0.0 sec. user=mdettweiler [2015-10-30 02:17:10] 775*2^1413569-1 is not prime. Res64: A51D5D12544E9B93 Time : 0.0 sec. user=mdettweiler [2015-10-30 02:17:11] 799*2^1413569-1 is not prime. Res64: 97E6AC817753EBBB Time : 0.0 sec. user=mdettweiler [2015-10-30 02:17:11] 627*2^1413570-1 is not prime. Res64: FCAA01DBC0B0F10A Time : 0.0 sec. user=mdettweiler [2015-10-30 02:17:12] 925*2^1413569-1 is not prime. Res64: 2078848A945E744D Time : 0.0 sec. user=mdettweiler [2015-10-30 02:17:12] 905*2^1413570-1 is not prime. Res64: D7E86314D0C98698 Time : 0.0 sec. user=mdettweiler [2015-10-30 02:34:48] 901*2^1413571-1 is not prime. Res64: 3CC12A4771A1531C Time : 0.0 sec. user=mdettweiler [2015-10-30 02:34:49] 917*2^1413570-1 is not prime. Res64: 2EDD3D094BE58878 Time : 0.0 sec. user=mdettweiler [2015-10-30 02:34:50] 673*2^1413571-1 is not prime. Res64: 1C345A8259981EDE Time : 0.0 sec. user=mdettweiler [2015-10-30 02:34:51] 971*2^1413570-1 is not prime. Res64: 455E5F03F88161DA Time : 0.0 sec. user=mdettweiler [2015-10-30 02:34:52] 951*2^1413571-1 is not prime. Res64: 7A54A6C30E6FF738 Time : 0.0 sec. user=mdettweiler [2015-10-30 02:34:52] 675*2^1413571-1 is not prime. Res64: 4B8A9A7B3D33D1D9 Time : 0.0 sec. user=mdettweiler [2015-10-30 02:52:33] 687*2^1413572-1 is not prime. Res64: 37ED54E1808B004F Time : 0.0 sec. user=mdettweiler [2015-10-30 02:52:34] 743*2^1413572-1 is not prime. Res64: B4A17264B8EB7282 Time : 0.0 sec. user=mdettweiler [2015-10-30 02:52:34] 785*2^1413572-1 is not prime. Res64: 8EB8B92B5D65F15B Time : 0.0 sec. user=mdettweiler [2015-10-30 02:52:35] 797*2^1413572-1 is not prime. Res64: C31587CAEAA59352 Time : 0.0 sec. user=mdettweiler [2015-10-30 02:52:37] 813*2^1413572-1 is not prime. Res64: ED38FA0FC6F56BFD Time : 0.0 sec. user=mdettweiler [2015-10-30 02:52:38] 899*2^1413572-1 is not prime. Res64: 296F36FCF2628507 Time : 0.0 sec. user=mdettweiler [2015-10-30 03:10:08] 915*2^1413572-1 is not prime. Res64: C58DF6B4FCA33647 Time : 0.0 sec. user=mdettweiler [2015-10-30 03:10:10] 999*2^1413572-1 is not prime. Res64: B8A4F5C42FE33811 Time : 0.0 sec. user=mdettweiler [2015-10-30 03:10:11] 835*2^1413573-1 is not prime. Res64: 7CEF30D136C7091E Time : 0.0 sec. user=mdettweiler [2015-10-30 03:10:12] 605*2^1413574-1 is not prime. Res64: 949926FE9517148A Time : 0.0 sec. user=mdettweiler [2015-10-30 03:10:13] 849*2^1413573-1 is not prime. Res64: C3E42290FF35E160 Time : 0.0 sec. user=mdettweiler [2015-10-30 03:10:14] 657*2^1413574-1 is not prime. Res64: 748F12E9EF014272 Time : 0.0 sec. user=mdettweiler [2015-10-30 03:27:51] 785*2^1413574-1 is not prime. Res64: E51AEBD5703635F4 Time : 0.0 sec. user=mdettweiler [2015-10-30 03:27:51] 741*2^1413574-1 is not prime. Res64: FEC21C46F0EAEFFD Time : 0.0 sec. user=mdettweiler [2015-10-30 03:27:53] 971*2^1413574-1 is not prime. Res64: B301736A49E4489C Time : 0.0 sec. user=mdettweiler [2015-10-30 03:27:54] 747*2^1413574-1 is not prime. Res64: 8DC6EF21F9028DD6 Time : 0.0 sec. user=mdettweiler [2015-10-30 03:27:55] 603*2^1413575-1 is not prime. Res64: 5D18A4B68FC74E2B Time : 0.0 sec. user=mdettweiler [2015-10-30 03:27:57] 661*2^1413575-1 is not prime. Res64: 525264DA284DFCAC Time : 0.0 sec. user=mdettweiler [2015-10-30 03:45:56] 663*2^1413575-1 is not prime. Res64: 62EBE4F91BCFA2D6 Time : 0.0 sec. user=mdettweiler [2015-10-30 03:45:59] 981*2^1413575-1 is not prime. Res64: 171AA5C3E1CF198B Time : 0.0 sec. user=mdettweiler [2015-10-30 03:46:00] 865*2^1413575-1 is not prime. Res64: 35BED1856536F79C Time : 0.0 sec. user=mdettweiler [2015-10-30 03:46:00] 629*2^1413576-1 is not prime. Res64: 92A0440886233D58 Time : 0.0 sec. user=mdettweiler [2015-10-30 03:46:03] 861*2^1413575-1 is not prime. Res64: 54838B0DB19AAE83 Time : 0.0 sec. user=mdettweiler [2015-10-30 03:46:05] 825*2^1413576-1 is not prime. Res64: D3E551EC758584F1 Time : 0.0 sec. user=mdettweiler [2015-10-30 04:04:22] 805*2^1413577-1 is not prime. Res64: 9DD41A1AB32BA534 Time : 0.0 sec. user=mdettweiler [2015-10-30 04:04:23] 615*2^1413577-1 is not prime. Res64: 0AF921729A062118 Time : 0.0 sec. user=mdettweiler [2015-10-30 04:04:23] 847*2^1413577-1 is not prime. Res64: E981D642BFA24A98 Time : 0.0 sec. user=mdettweiler [2015-10-30 04:04:25] 715*2^1413577-1 is not prime. Res64: C71AEE43358040D7 Time : 0.0 sec. user=mdettweiler [2015-10-30 04:04:26] 835*2^1413577-1 is not prime. Res64: A24CA59A30E0DCD7 Time : 0.0 sec. user=mdettweiler [2015-10-30 04:04:26] 885*2^1413577-1 is not prime. Res64: C20A7B5083867CF0 Time : 0.0 sec. user=mdettweiler [2015-10-30 04:22:52] 889*2^1413577-1 is not prime. Res64: EE2D8C678F4ABDFB Time : 0.0 sec. user=mdettweiler [2015-10-30 04:22:53] 985*2^1413577-1 is not prime. Res64: 76C9A832C02F8CA4 Time : 0.0 sec. user=mdettweiler [2015-10-30 04:22:54] 939*2^1413577-1 is not prime. Res64: 97E82949B0E1535F Time : 0.0 sec. user=mdettweiler [2015-10-30 04:22:55] 921*2^1413578-1 is not prime. Res64: 29A913CBCF6A974C Time : 0.0 sec. user=mdettweiler [2015-10-30 04:22:57] 703*2^1413579-1 is not prime. Res64: FFDDFF1632573E14 Time : 0.0 sec. user=mdettweiler [2015-10-30 04:22:59] 741*2^1413579-1 is not prime. Res64: 38A664AC3946BDD8 Time : 0.0 sec. user=mdettweiler [2015-10-30 04:40:35] 919*2^1413579-1 is not prime. Res64: 201ADDEA906453A7 Time : 0.0 sec. user=mdettweiler [2015-10-30 04:40:35] 773*2^1413580-1 is not prime. Res64: 85D179ACEA6862E6 Time : 0.0 sec. user=mdettweiler [2015-10-30 04:40:36] 609*2^1413580-1 is not prime. Res64: 7ACBDFE092703B58 Time : 0.0 sec. user=mdettweiler [2015-10-30 04:40:36] 827*2^1413580-1 is not prime. Res64: A4685331E6BCF6BE Time : 0.0 sec. user=mdettweiler [2015-10-30 04:40:39] 665*2^1413580-1 is not prime. Res64: 3E390DAFBFAB3DA1 Time : 0.0 sec. user=mdettweiler [2015-10-30 04:40:40] 677*2^1413580-1 is not prime. Res64: 8DF3EB040AAF058D Time : 0.0 sec. user=mdettweiler [2015-10-30 04:58:11] 607*2^1413581-1 is not prime. Res64: 1CD7D82882ABC00D Time : 0.0 sec. user=mdettweiler [2015-10-30 04:58:12] 843*2^1413580-1 is not prime. Res64: 0DB6D9D075EBC44A Time : 0.0 sec. user=mdettweiler [2015-10-30 04:58:13] 615*2^1413581-1 is not prime. Res64: 9C6E24770A970415 Time : 0.0 sec. user=mdettweiler [2015-10-30 04:58:14] 875*2^1413580-1 is not prime. Res64: C4CD0332D8742225 Time : 0.0 sec. user=mdettweiler [2015-10-30 04:58:15] 715*2^1413581-1 is not prime. Res64: 98622558D38C0334 Time : 0.0 sec. user=mdettweiler [2015-10-30 04:58:15] 741*2^1413581-1 is not prime. Res64: A6AC9FEA206A77C4 Time : 0.0 sec. user=mdettweiler [2015-10-30 05:15:48] 789*2^1413581-1 is not prime. Res64: A105BEDBB84DABA3 Time : 0.0 sec. user=mdettweiler [2015-10-30 05:15:50] 867*2^1413581-1 is not prime. Res64: 59B9FBD988A29FB8 Time : 0.0 sec. user=mdettweiler [2015-10-30 05:15:51] 907*2^1413581-1 is not prime. Res64: A5F87E999364E9C6 Time : 0.0 sec. user=mdettweiler [2015-10-30 05:15:52] 939*2^1413581-1 is not prime. Res64: 98BC9954B28ED543 Time : 0.0 sec. user=mdettweiler [2015-10-30 05:15:54] 879*2^1413581-1 is not prime. Res64: EF7C5F459264F680 Time : 0.0 sec. user=mdettweiler [2015-10-30 05:15:55] 901*2^1413581-1 is not prime. Res64: 843454B53AF0C666 Time : 0.0 sec. user=mdettweiler [2015-10-30 05:33:28] 725*2^1413582-1 is not prime. Res64: 6C82138C94F35149 Time : 0.0 sec. user=mdettweiler [2015-10-30 05:33:29] 755*2^1413582-1 is not prime. Res64: 94AB8D9BB7F40213 Time : 0.0 sec. user=mdettweiler [2015-10-30 05:33:30] 765*2^1413582-1 is not prime. Res64: DB3D17568F919326 Time : 0.0 sec. user=mdettweiler [2015-10-30 05:33:31] 945*2^1413582-1 is not prime. Res64: 793CAEC4A9E13D83 Time : 0.0 sec. user=mdettweiler [2015-10-30 05:33:34] 951*2^1413582-1 is not prime. Res64: 8AA5422F37ABD118 Time : 0.0 sec. user=mdettweiler [2015-10-30 05:33:35] 975*2^1413582-1 is not prime. Res64: CEBDCA823511101D Time : 0.0 sec. user=mdettweiler [2015-10-30 05:51:01] 983*2^1413582-1 is not prime. Res64: 1E02FC50F4159054 Time : 0.0 sec. user=mdettweiler [2015-10-30 05:51:02] 723*2^1413583-1 is not prime. Res64: FBD6ED0FFF081C00 Time : 0.0 sec. user=mdettweiler [2015-10-30 05:51:04] 729*2^1413583-1 is not prime. Res64: 3D037BE174944915 Time : 0.0 sec. user=mdettweiler [2015-10-30 05:51:05] 783*2^1413583-1 is not prime. Res64: 71A02861D04F8B8E Time : 0.0 sec. user=mdettweiler [2015-10-30 05:51:07] 859*2^1413583-1 is not prime. Res64: 0959A7EA9DF7079D Time : 0.0 sec. user=mdettweiler [2015-10-30 05:51:08] 871*2^1413583-1 is not prime. Res64: B4FD81CEEC6F871C Time : 0.0 sec. user=mdettweiler [2015-10-30 06:08:36] 943*2^1413583-1 is not prime. Res64: 9A9C22E056E80607 Time : 0.0 sec. user=mdettweiler [2015-10-30 06:08:37] 945*2^1413583-1 is not prime. Res64: A087B7A4F871B5D3 Time : 0.0 sec. user=mdettweiler [2015-10-30 06:08:38] 635*2^1413584-1 is not prime. Res64: 73A1E9052102B8B3 Time : 0.0 sec. user=mdettweiler [2015-10-30 06:08:39] 827*2^1413584-1 is not prime. Res64: 2B70F2CC90D1617A Time : 0.0 sec. user=mdettweiler [2015-10-30 06:08:40] 873*2^1413584-1 is not prime. Res64: 039E4564880855DA Time : 0.0 sec. user=mdettweiler [2015-10-30 06:08:41] 893*2^1413584-1 is not prime. Res64: 247D82148332C2BB Time : 0.0 sec. user=mdettweiler [2015-10-30 06:26:15] 917*2^1413584-1 is not prime. Res64: A398B87D3B6C3F5D Time : 0.0 sec. user=mdettweiler [2015-10-30 06:26:16] 957*2^1413584-1 is not prime. Res64: 8D8C6079F4D8E700 Time : 0.0 sec. user=mdettweiler [2015-10-30 06:26:19] 699*2^1413585-1 is not prime. Res64: F3436FD428E890DE Time : 0.0 sec. user=mdettweiler [2015-10-30 06:26:20] 781*2^1413585-1 is not prime. Res64: 538D827F42241614 Time : 0.0 sec. user=mdettweiler [2015-10-30 06:26:22] 831*2^1413585-1 is not prime. Res64: F7F18D37EA859271 Time : 0.0 sec. user=mdettweiler [2015-10-30 06:26:23] 837*2^1413585-1 is not prime. Res64: 224995F802A788EA Time : 0.0 sec. user=mdettweiler [2015-10-30 06:43:53] 941*2^1413586-1 is not prime. Res64: 1C2964950BB5A062 Time : 0.0 sec. user=mdettweiler [2015-10-30 06:43:54] 957*2^1413586-1 is not prime. Res64: 3A98AC6AC16BC0EA Time : 0.0 sec. user=mdettweiler [2015-10-30 06:43:55] 677*2^1413586-1 is not prime. Res64: 6CC4B3F2C24BE530 Time : 0.0 sec. user=mdettweiler [2015-10-30 06:43:57] 801*2^1413586-1 is not prime. Res64: 204AA0D49C04AEE1 Time : 0.0 sec. user=mdettweiler [2015-10-30 06:43:58] 1001*2^1413586-1 is not prime. Res64: 616BF1A0A1E18C60 Time : 0.0 sec. user=mdettweiler [2015-10-30 06:43:59] 609*2^1413587-1 is not prime. Res64: 44F7011FBDA27995 Time : 0.0 sec. user=mdettweiler [2015-10-30 07:01:28] 673*2^1413587-1 is not prime. Res64: DC6917AF119B448B Time : 0.0 sec. user=mdettweiler [2015-10-30 07:01:30] 843*2^1413587-1 is not prime. Res64: FB134B969E39997E Time : 0.0 sec. user=mdettweiler [2015-10-30 07:01:33] 723*2^1413588-1 is not prime. Res64: E5C2F8A1870F3656 Time : 0.0 sec. user=mdettweiler [2015-10-30 07:01:34] 759*2^1413588-1 is not prime. Res64: 9EB0BFFDBB8659D1 Time : 0.0 sec. user=mdettweiler [2015-10-30 07:01:36] 949*2^1413587-1 is not prime. Res64: EC9B4A54AF551268 Time : 0.0 sec. user=mdettweiler [2015-10-30 07:01:37] 657*2^1413588-1 is not prime. Res64: 3155B795C22A1A15 Time : 0.0 sec. user=mdettweiler [2015-10-30 07:19:25] 803*2^1413588-1 is not prime. Res64: 3C2846FA2DFB79F0 Time : 0.0 sec. user=mdettweiler [2015-10-30 07:19:26] 923*2^1413588-1 is not prime. Res64: 9AF9935063D8E85E Time : 0.0 sec. user=mdettweiler [2015-10-30 07:19:27] 929*2^1413588-1 is not prime. Res64: 9E44307BA3FD5D0A Time : 0.0 sec. user=mdettweiler [2015-10-30 07:19:27] 769*2^1413589-1 is not prime. Res64: 8EBEBD25642A4ED3 Time : 0.0 sec. user=mdettweiler [2015-10-30 07:19:28] 993*2^1413588-1 is not prime. Res64: 9EA3CC9BC11C9330 Time : 0.0 sec. user=mdettweiler [2015-10-30 07:19:29] 855*2^1413589-1 is not prime. Res64: 6FBA9DAC51FB4D82 Time : 0.0 sec. user=mdettweiler [2015-10-30 07:37:11] 997*2^1413589-1 is not prime. Res64: E7F157DEDBF7CF83 Time : 0.0 sec. user=mdettweiler [2015-10-30 07:37:12] 641*2^1413590-1 is not prime. Res64: 71E09EE247D7F38A Time : 0.0 sec. user=mdettweiler [2015-10-30 07:37:12] 895*2^1413589-1 is not prime. Res64: 3F2D0DFF44632B70 Time : 0.0 sec. user=mdettweiler [2015-10-30 07:37:13] 897*2^1413589-1 is not prime. Res64: 9C5BF0AD88588C36 Time : 0.0 sec. user=mdettweiler [2015-10-30 07:37:13] 919*2^1413589-1 is not prime. Res64: 6CD61130174F328E Time : 0.0 sec. user=mdettweiler [2015-10-30 07:37:14] 665*2^1413590-1 is not prime. Res64: 47647F2AE54618ED Time : 0.0 sec. user=mdettweiler [2015-10-30 07:54:45] 785*2^1413590-1 is not prime. Res64: CEDDEA9EAACF025F Time : 0.0 sec. user=mdettweiler [2015-10-30 07:54:46] 797*2^1413590-1 is not prime. Res64: C753ABB10FBA24AD Time : 0.0 sec. user=mdettweiler [2015-10-30 07:54:46] 619*2^1413591-1 is not prime. Res64: A4FDD09734596701 Time : 0.0 sec. user=mdettweiler [2015-10-30 07:54:48] 649*2^1413591-1 is not prime. Res64: 6C5954131E907539 Time : 0.0 sec. user=mdettweiler [2015-10-30 07:54:50] 851*2^1413590-1 is not prime. Res64: 8C4F8B27FD0D1998 Time : 0.0 sec. user=mdettweiler [2015-10-30 07:54:51] 867*2^1413590-1 is not prime. Res64: 2A93B3FCB737E752 Time : 0.0 sec. user=mdettweiler [2015-10-30 08:12:20] 651*2^1413591-1 is not prime. Res64: A81F1B6895EDF20B Time : 0.0 sec. user=mdettweiler [2015-10-30 08:12:21] 675*2^1413591-1 is not prime. Res64: 182A180A255374CA Time : 0.0 sec. user=mdettweiler [2015-10-30 08:12:26] 777*2^1413592-1 is not prime. Res64: 9DC2AD3B840451BB Time : 0.0 sec. user=mdettweiler [2015-10-30 08:12:28] 939*2^1413592-1 is not prime. Res64: 7E24E755BDA4C9BD Time : 0.0 sec. user=mdettweiler [2015-10-30 08:12:28] 895*2^1413591-1 is not prime. Res64: 5E5960A87A620CB9 Time : 0.0 sec. user=mdettweiler [2015-10-30 08:12:30] 961*2^1413591-1 is not prime. Res64: 04655CD2F5372468 Time : 0.0 sec. user=mdettweiler [2015-10-30 08:30:04] 649*2^1413593-1 is not prime. Res64: 9701C06B3A6B3472 Time : 0.0 sec. user=mdettweiler [2015-10-30 08:30:05] 675*2^1413593-1 is not prime. Res64: 313A871E3E605405 Time : 0.0 sec. user=mdettweiler [2015-10-30 08:30:05] 691*2^1413593-1 is not prime. Res64: 49FB7BF8CAA65E53 Time : 0.0 sec. user=mdettweiler [2015-10-30 08:30:06] 735*2^1413593-1 is not prime. Res64: 8639602500839CBA Time : 0.0 sec. user=mdettweiler [2015-10-30 08:30:08] 741*2^1413593-1 is not prime. Res64: 5076001B95100E06 Time : 0.0 sec. user=mdettweiler [2015-10-30 08:30:09] 855*2^1413593-1 is not prime. Res64: 8E1D24282F446804 Time : 0.0 sec. user=mdettweiler [2015-10-30 08:47:38] 957*2^1413593-1 is not prime. Res64: 8AB6A30AD3081C35 Time : 0.0 sec. user=mdettweiler [2015-10-30 08:47:39] 967*2^1413593-1 is not prime. Res64: C292771E815B3AE3 Time : 0.0 sec. user=mdettweiler [2015-10-30 08:47:41] 901*2^1413593-1 is not prime. Res64: FC666138C80AFD3C Time : 0.0 sec. user=mdettweiler [2015-10-30 08:47:42] 949*2^1413593-1 is not prime. Res64: 246D1934D11C9655 Time : 0.0 sec. user=mdettweiler [2015-10-30 08:47:42] 671*2^1413594-1 is not prime. Res64: 16D63F6506B86E4A Time : 0.0 sec. user=mdettweiler [2015-10-30 08:47:43] 681*2^1413594-1 is not prime. Res64: 3C09F4BB609460F1 Time : 0.0 sec. user=mdettweiler [2015-10-30 09:05:18] 915*2^1413594-1 is not prime. Res64: 0F9DC53439717362 Time : 0.0 sec. user=mdettweiler [2015-10-30 09:05:18] 683*2^1413594-1 is not prime. Res64: 4F724AD9FB24AF04 Time : 0.0 sec. user=mdettweiler [2015-10-30 09:05:18] 957*2^1413594-1 is not prime. Res64: F18D2D5A944069A8 Time : 0.0 sec. user=mdettweiler [2015-10-30 09:05:20] 923*2^1413594-1 is not prime. Res64: DB5B69B929E92F56 Time : 0.0 sec. user=mdettweiler [2015-10-30 09:05:20] 803*2^1413594-1 is not prime. Res64: FA6F9732E4FF4A81 Time : 0.0 sec. user=mdettweiler [2015-10-30 09:05:20] 983*2^1413594-1 is not prime. Res64: 146ED34F0218F314 Time : 0.0 sec. user=mdettweiler [2015-10-30 09:23:19] 673*2^1413595-1 is not prime. Res64: 372380F264B4CDA6 Time : 0.0 sec. user=mdettweiler [2015-10-30 09:23:20] 733*2^1413595-1 is not prime. Res64: 76A065B4815BB325 Time : 0.0 sec. user=mdettweiler [2015-10-30 09:23:23] 645*2^1413595-1 is not prime. Res64: EC6883392231E4DA Time : 0.0 sec. user=mdettweiler [2015-10-30 09:23:24] 765*2^1413595-1 is not prime. Res64: 6DE894DFCE493114 Time : 0.0 sec. user=mdettweiler [2015-10-30 09:23:24] 663*2^1413595-1 is not prime. Res64: 910221EB906858A6 Time : 0.0 sec. user=mdettweiler [2015-10-30 09:23:25] 859*2^1413595-1 is not prime. Res64: 4D32105467A081EC Time : 0.0 sec. user=mdettweiler [2015-10-30 09:40:58] 871*2^1413595-1 is not prime. Res64: ABD09D22DF0CCEC5 Time : 0.0 sec. user=mdettweiler [2015-10-30 09:40:59] 873*2^1413595-1 is not prime. Res64: 86D38A7EAA015B38 Time : 0.0 sec. user=mdettweiler [2015-10-30 09:41:00] 885*2^1413595-1 is not prime. Res64: 1223CC9DF9AED303 Time : 0.0 sec. user=mdettweiler [2015-10-30 09:41:01] 999*2^1413595-1 is not prime. Res64: E5FB26C69AAF3C89 Time : 0.0 sec. user=mdettweiler [2015-10-30 09:41:03] 635*2^1413596-1 is not prime. Res64: A76495E4F689DD12 Time : 0.0 sec. user=mdettweiler [2015-10-30 09:41:04] 693*2^1413596-1 is not prime. Res64: 8FF24F081B7E8DBC Time : 0.0 sec. user=mdettweiler [2015-10-30 09:58:34] 837*2^1413596-1 is not prime. Res64: 421F58B7211D56DB Time : 0.0 sec. user=mdettweiler [2015-10-30 09:58:34] 727*2^1413597-1 is not prime. Res64: 6475DD0A793A89A7 Time : 0.0 sec. user=mdettweiler [2015-10-30 09:58:35] 839*2^1413596-1 is not prime. Res64: 6E3CFE1AC8829CE2 Time : 0.0 sec. user=mdettweiler [2015-10-30 09:58:35] 751*2^1413597-1 is not prime. Res64: 28C74F840FBF95CF Time : 0.0 sec. user=mdettweiler [2015-10-30 09:58:35] 795*2^1413597-1 is not prime. Res64: DEAAD04C194E6AD4 Time : 0.0 sec. user=mdettweiler [2015-10-30 09:58:36] 961*2^1413597-1 is not prime. Res64: C65EB7B547C5EC92 Time : 0.0 sec. user=mdettweiler [2015-10-30 10:16:08] 813*2^1413598-1 is not prime. Res64: 1A8C58434D765C20 Time : 0.0 sec. user=mdettweiler [2015-10-30 10:16:09] 843*2^1413598-1 is not prime. Res64: 22D81F36BA654581 Time : 0.0 sec. user=mdettweiler [2015-10-30 10:16:10] 651*2^1413598-1 is not prime. Res64: A97B5BE889511FDB Time : 0.0 sec. user=mdettweiler [2015-10-30 10:16:11] 615*2^1413599-1 is not prime. Res64: 4CA6FF9B77CD84E5 Time : 0.0 sec. user=mdettweiler [2015-10-30 10:16:11] 777*2^1413598-1 is not prime. Res64: B3C82386AD6B7CB3 Time : 0.0 sec. user=mdettweiler [2015-10-30 10:16:12] 741*2^1413599-1 is not prime. Res64: A55B9B17138F7ADA Time : 0.0 sec. user=mdettweiler [2015-10-30 10:33:50] 861*2^1413599-1 is not prime. Res64: C483E3FD204FB44E Time : 0.0 sec. user=mdettweiler [2015-10-30 10:33:51] 865*2^1413599-1 is not prime. Res64: 5B4774330934AFD7 Time : 0.0 sec. user=mdettweiler [2015-10-30 10:33:52] 885*2^1413599-1 is not prime. Res64: 8384E29C229025E7 Time : 0.0 sec. user=mdettweiler [2015-10-30 10:33:53] 629*2^1413600-1 is not prime. Res64: C6762DF55D3A0FD2 Time : 0.0 sec. user=mdettweiler [2015-10-30 10:33:55] 745*2^1413599-1 is not prime. Res64: 7DC7605EC754428A Time : 0.0 sec. user=mdettweiler [2015-10-30 10:33:56] 841*2^1413599-1 is not prime. Res64: D7939143B972EA74 Time : 0.0 sec. user=mdettweiler [2015-10-30 10:51:37] 635*2^1413600-1 is not prime. Res64: 20F432F85AF3F02B Time : 0.0 sec. user=mdettweiler [2015-10-30 10:51:38] 669*2^1413600-1 is not prime. Res64: C68362C6F41521E7 Time : 0.0 sec. user=mdettweiler [2015-10-30 10:51:38] 699*2^1413600-1 is not prime. Res64: DD279D295208DABF Time : 0.0 sec. user=mdettweiler [2015-10-30 10:51:39] 839*2^1413600-1 is not prime. Res64: 5713B8CA0950A250 Time : 0.0 sec. user=mdettweiler [2015-10-30 10:51:43] 849*2^1413600-1 is not prime. Res64: B6D8880D71CCB088 Time : 0.0 sec. user=mdettweiler [2015-10-30 10:51:44] 879*2^1413600-1 is not prime. Res64: 51868A9B7747B7D1 Time : 0.0 sec. user=mdettweiler [2015-10-30 11:09:15] 933*2^1413600-1 is not prime. Res64: 51423EFCBF987446 Time : 0.0 sec. user=mdettweiler [2015-10-30 11:09:16] 645*2^1413601-1 is not prime. Res64: 24EE4DCDB563F7F0 Time : 0.0 sec. user=mdettweiler [2015-10-30 11:09:17] 637*2^1413601-1 is not prime. Res64: 06EEECD41871087F Time : 0.0 sec. user=mdettweiler [2015-10-30 11:09:17] 819*2^1413601-1 is not prime. Res64: AD60F690C402246E Time : 0.0 sec. user=mdettweiler [2015-10-30 11:09:18] 855*2^1413601-1 is not prime. Res64: 33594F70AC7D6DE3 Time : 0.0 sec. user=mdettweiler [2015-10-30 11:09:19] 871*2^1413601-1 is not prime. Res64: 35E240A5CDFB304A Time : 0.0 sec. user=mdettweiler [2015-10-30 11:27:02] 955*2^1413601-1 is not prime. Res64: E8C6C6AB538E8CCA Time : 0.0 sec. user=mdettweiler [2015-10-30 11:27:02] 873*2^1413602-1 is not prime. Res64: E14E650BC247EB0E Time : 0.0 sec. user=mdettweiler [2015-10-30 11:27:03] 767*2^1413602-1 is not prime. Res64: 0CA207B73BE1AB9C Time : 0.0 sec. user=mdettweiler [2015-10-30 11:27:03] 941*2^1413602-1 is not prime. Res64: DC6F42C123D522C3 Time : 0.0 sec. user=mdettweiler [2015-10-30 11:27:03] 679*2^1413603-1 is not prime. Res64: 769AF8DA6C512B6A Time : 0.0 sec. user=mdettweiler [2015-10-30 11:27:04] 765*2^1413603-1 is not prime. Res64: 34550DE3DDCF6EF5 Time : 0.0 sec. user=mdettweiler [2015-10-30 11:44:36] 853*2^1413603-1 is not prime. Res64: 026DAC23E71B2182 Time : 0.0 sec. user=mdettweiler [2015-10-30 11:44:37] 913*2^1413603-1 is not prime. Res64: 73202C30D0EED4B0 Time : 0.0 sec. user=mdettweiler [2015-10-30 11:44:37] 899*2^1413604-1 is not prime. Res64: F7A1A9D27A5115F2 Time : 0.0 sec. user=mdettweiler [2015-10-30 11:44:38] 649*2^1413605-1 is not prime. Res64: 291F8FF2C4126009 Time : 0.0 sec. user=mdettweiler [2015-10-30 11:44:42] 749*2^1413604-1 is not prime. Res64: 03A9C33B83224B46 Time : 0.0 sec. user=mdettweiler [2015-10-30 11:44:43] 875*2^1413604-1 is not prime. Res64: 9F09142740321158 Time : 0.0 sec. user=mdettweiler [2015-10-30 12:02:13] 759*2^1413605-1 is not prime. Res64: 8C8D3920638AF643 Time : 0.0 sec. user=mdettweiler [2015-10-30 12:02:13] 847*2^1413605-1 is not prime. Res64: F5318203F9048057 Time : 0.0 sec. user=mdettweiler [2015-10-30 12:02:15] 805*2^1413605-1 is not prime. Res64: 0F1583D496AA82A5 Time : 0.0 sec. user=mdettweiler [2015-10-30 12:02:15] 889*2^1413605-1 is not prime. Res64: C6E363DCEF6E5AB2 Time : 0.0 sec. user=mdettweiler [2015-10-30 12:02:18] 705*2^1413606-1 is not prime. Res64: 61BD36E9C7CC9027 Time : 0.0 sec. user=mdettweiler [2015-10-30 12:02:19] 761*2^1413606-1 is not prime. Res64: 61F9A511A624FA26 Time : 0.0 sec. user=mdettweiler [2015-10-30 12:20:10] 971*2^1413606-1 is not prime. Res64: 67E17FA1BF9AF358 Time : 0.0 sec. user=mdettweiler [2015-10-30 12:20:10] 923*2^1413606-1 is not prime. Res64: C504078FAF48B3E3 Time : 0.0 sec. user=mdettweiler [2015-10-30 12:20:11] 765*2^1413606-1 is not prime. Res64: 1FF8A94DEF79F3AD Time : 0.0 sec. user=mdettweiler [2015-10-30 12:20:11] 975*2^1413606-1 is not prime. Res64: EE8A02C01960E433 Time : 0.0 sec. user=mdettweiler [2015-10-30 12:20:12] 947*2^1413606-1 is not prime. Res64: 0264B7C763F20912 Time : 0.0 sec. user=mdettweiler [2015-10-30 12:20:12] 783*2^1413606-1 is not prime. Res64: 3B65C90A52D0D48D Time : 0.0 sec. user=mdettweiler [2015-10-30 12:37:48] 765*2^1413607-1 is not prime. Res64: B36F398A3F339D3E Time : 0.0 sec. user=mdettweiler [2015-10-30 12:37:48] 885*2^1413607-1 is not prime. Res64: 85FCE823093C016E Time : 0.0 sec. user=mdettweiler [2015-10-30 12:37:50] 673*2^1413607-1 is not prime. Res64: C8F6FF89344AC220 Time : 0.0 sec. user=mdettweiler [2015-10-30 12:37:51] 729*2^1413607-1 is not prime. Res64: EC3574F63BB80F04 Time : 0.0 sec. user=mdettweiler [2015-10-30 12:37:53] 623*2^1413608-1 is not prime. Res64: ABC5DE6996BDA5F6 Time : 0.0 sec. user=mdettweiler [2015-10-30 12:37:54] 629*2^1413608-1 is not prime. Res64: 035D04457ADF7491 Time : 0.0 sec. user=mdettweiler [2015-10-30 12:55:24] 699*2^1413608-1 is not prime. Res64: 3AB6192D15DE90D7 Time : 0.0 sec. user=mdettweiler [2015-10-30 12:55:25] 735*2^1413608-1 is not prime. Res64: E6885C48F172C4C1 Time : 0.0 sec. user=mdettweiler [2015-10-30 12:55:26] 827*2^1413608-1 is not prime. Res64: 7A14742CC77EA116 Time : 0.0 sec. user=mdettweiler [2015-10-30 12:55:27] 837*2^1413608-1 is not prime. Res64: D53668EF2D1655E8 Time : 0.0 sec. user=mdettweiler [2015-10-30 12:55:27] 893*2^1413608-1 is not prime. Res64: CF6D454A3F1B6A82 Time : 0.0 sec. user=mdettweiler [2015-10-30 12:55:28] 609*2^1413609-1 is not prime. Res64: 046C762BE791418C Time : 0.0 sec. user=mdettweiler [2015-10-30 13:13:04] 627*2^1413609-1 is not prime. Res64: 0DF5549DF4577513 Time : 0.0 sec. user=mdettweiler [2015-10-30 13:13:05] 675*2^1413609-1 is not prime. Res64: 2EDC9B9BFAE6167B Time : 0.0 sec. user=mdettweiler [2015-10-30 13:13:06] 969*2^1413609-1 is not prime. Res64: 28B58B43B07E9224 Time : 0.0 sec. user=mdettweiler [2015-10-30 13:13:06] 679*2^1413609-1 is not prime. Res64: 4E155B77DF491544 Time : 0.0 sec. user=mdettweiler [2015-10-30 13:13:07] 611*2^1413610-1 is not prime. Res64: 5D2D1C3D8BB978B2 Time : 0.0 sec. user=mdettweiler [2015-10-30 13:13:07] 865*2^1413609-1 is not prime. Res64: 592673DE19727032 Time : 0.0 sec. user=mdettweiler [2015-10-30 13:30:47] 677*2^1413610-1 is not prime. Res64: AAFC36BE4B050CC1 Time : 0.0 sec. user=mdettweiler [2015-10-30 13:30:47] 831*2^1413610-1 is not prime. Res64: B9A3B90D23D6D82A Time : 0.0 sec. user=mdettweiler [2015-10-30 13:30:48] 885*2^1413610-1 is not prime. Res64: 398CEB9446438904 Time : 0.0 sec. user=mdettweiler [2015-10-30 13:30:48] 765*2^1413610-1 is not prime. Res64: 8ACB814ADB3DC96F Time : 0.0 sec. user=mdettweiler [2015-10-30 13:30:49] 801*2^1413610-1 is not prime. Res64: 581E6A9912AE8B33 Time : 0.0 sec. user=mdettweiler [2015-10-30 13:30:50] 803*2^1413610-1 is not prime. Res64: F793FD94873A047C Time : 0.0 sec. user=mdettweiler [2015-10-30 13:48:29] 735*2^1413611-1 is not prime. Res64: 37B2672EEF6FFE20 Time : 0.0 sec. user=mdettweiler [2015-10-30 13:48:31] 741*2^1413611-1 is not prime. Res64: CA80AB2C9D0DE5DA Time : 0.0 sec. user=mdettweiler [2015-10-30 13:48:31] 945*2^1413610-1 is not prime. Res64: 96817F93B1A63C3C Time : 0.0 sec. user=mdettweiler [2015-10-30 13:48:31] 673*2^1413611-1 is not prime. Res64: E84A0A7DD480FEAF Time : 0.0 sec. user=mdettweiler [2015-10-30 13:48:32] 619*2^1413611-1 is not prime. Res64: 14E190356B66899F Time : 0.0 sec. user=mdettweiler [2015-10-30 13:48:32] 693*2^1413611-1 is not prime. Res64: 06338FA61584C191 Time : 0.0 sec. user=mdettweiler [2015-10-30 14:06:59] 811*2^1413611-1 is not prime. Res64: 09D32CEA29A69BF6 Time : 0.0 sec. user=mdettweiler [2015-10-30 14:07:01] 979*2^1413611-1 is not prime. Res64: 0D3C4819327AFF63 Time : 0.0 sec. user=mdettweiler [2015-10-30 14:07:02] 879*2^1413611-1 is not prime. Res64: A9064AAA0BA80083 Time : 0.0 sec. user=mdettweiler [2015-10-30 14:07:04] 623*2^1413612-1 is not prime. Res64: D2A23A604A852938 Time : 0.0 sec. user=mdettweiler [2015-10-30 14:07:05] 669*2^1413612-1 is not prime. Res64: EE6B2C2A8785D304 Time : 0.0 sec. user=mdettweiler [2015-10-30 14:07:08] 737*2^1413612-1 is not prime. Res64: F8B2B9E92A0773FF Time : 0.0 sec. user=mdettweiler [2015-10-30 14:26:40] 915*2^1413612-1 is not prime. Res64: CF32E14D3002BA68 Time : 0.0 sec. user=mdettweiler [2015-10-30 14:26:41] 929*2^1413612-1 is not prime. Res64: 8DB81E6FC919098D Time : 0.0 sec. user=mdettweiler [2015-10-30 14:26:41] 681*2^1413613-1 is not prime. Res64: FC05BC3C24085792 Time : 0.0 sec. user=mdettweiler [2015-10-30 14:26:41] 935*2^1413612-1 is not prime. Res64: EC5B33E5CB496E2C Time : 0.0 sec. user=mdettweiler [2015-10-30 14:26:42] 769*2^1413613-1 is not prime. Res64: 74470821061B15BD Time : 0.0 sec. user=mdettweiler [2015-10-30 14:26:42] 609*2^1413613-1 is not prime. Res64: 2B77816795CF689C Time : 0.0 sec. user=mdettweiler [2015-10-30 14:46:23] 945*2^1413613-1 is not prime. Res64: 863A6FA98D00A708 Time : 0.0 sec. user=mdettweiler [2015-10-30 14:46:24] 615*2^1413614-1 is not prime. Res64: 1E4BFC334A846E6D Time : 0.0 sec. user=mdettweiler [2015-10-30 14:46:25] 805*2^1413613-1 is not prime. Res64: D1105B777F4E2687 Time : 0.0 sec. user=mdettweiler [2015-10-30 14:46:25] 819*2^1413613-1 is not prime. Res64: D0901BC890A6CC7D Time : 0.0 sec. user=mdettweiler [2015-10-30 14:46:29] 635*2^1413614-1 is not prime. Res64: 78B143C06A5BB98D Time : 0.0 sec. user=mdettweiler [2015-10-30 14:46:30] 711*2^1413614-1 is not prime. Res64: 41DAF1291CB353B1 Time : 0.0 sec. user=mdettweiler [2015-10-30 15:07:09] 923*2^1413614-1 is not prime. Res64: 3688AEACC2CB3D73 Time : 0.0 sec. user=mdettweiler [2015-10-30 15:07:09] 941*2^1413614-1 is not prime. Res64: EDA93F374CFA72C4 Time : 0.0 sec. user=mdettweiler [2015-10-30 15:07:10] 827*2^1413614-1 is not prime. Res64: EEF5049B8CFB3E8B Time : 0.0 sec. user=mdettweiler [2015-10-30 15:07:11] 873*2^1413614-1 is not prime. Res64: 755BDAEE595849FC Time : 0.0 sec. user=mdettweiler [2015-10-30 15:07:16] 885*2^1413614-1 is not prime. Res64: A83A21795ABFFD5B Time : 0.0 sec. user=mdettweiler [2015-10-30 15:07:17] 915*2^1413614-1 is not prime. Res64: E73576E4C44CF586 Time : 0.0 sec. user=mdettweiler [2015-10-30 15:27:38] 831*2^1413615-1 is not prime. Res64: 87D59FDA043F6B7E Time : 0.0 sec. user=mdettweiler [2015-10-30 15:27:38] 885*2^1413615-1 is not prime. Res64: 0C285BBD6FCE7C1D Time : 0.0 sec. user=mdettweiler [2015-10-30 15:27:49] 971*2^1413614-1 is not prime. Res64: 2849B2D1E6564217 Time : 0.0 sec. user=mdettweiler [2015-10-30 15:27:49] 625*2^1413615-1 is not prime. Res64: 2437B1630ACBF348 Time : 0.0 sec. user=mdettweiler [2015-10-30 15:27:56] 693*2^1413615-1 is not prime. Res64: E7A9323D63C171FF Time : 0.0 sec. user=mdettweiler [2015-10-30 15:27:56] 775*2^1413615-1 is not prime. Res64: F1FF1147462588E4 Time : 0.0 sec. user=mdettweiler [2015-10-30 15:47:56] 969*2^1413615-1 is not prime. Res64: 980613939DDA5DCE Time : 0.0 sec. user=mdettweiler [2015-10-30 15:47:57] 979*2^1413615-1 is not prime. Res64: 4F9745F999944F31 Time : 0.0 sec. user=mdettweiler [2015-10-30 15:48:15] 895*2^1413615-1 is not prime. Res64: 4D1392172D13B1BB Time : 0.0 sec. user=mdettweiler [2015-10-30 15:48:16] 909*2^1413615-1 is not prime. Res64: 6CB768A1A0C07C26 Time : 0.0 sec. user=mdettweiler [2015-10-30 15:48:23] 645*2^1413616-1 is not prime. Res64: 5B85D12C03EBDD58 Time : 0.0 sec. user=mdettweiler [2015-10-30 15:48:23] 717*2^1413616-1 is not prime. Res64: A18E90F6AA43A707 Time : 0.0 sec. user=mdettweiler [2015-10-30 16:08:01] 765*2^1413616-1 is not prime. Res64: 60714366F9963996 Time : 0.0 sec. user=mdettweiler [2015-10-30 16:08:03] 999*2^1413616-1 is not prime. Res64: 81761F0D3510C520 Time : 0.0 sec. user=mdettweiler [2015-10-30 16:08:13] 607*2^1413617-1 is not prime. Res64: 6B0FFEB92AE61286 Time : 0.0 sec. user=mdettweiler [2015-10-30 16:08:16] 685*2^1413617-1 is not prime. Res64: 00F4FE8D0C554570 Time : 0.0 sec. user=mdettweiler [2015-10-30 16:08:23] 727*2^1413617-1 is not prime. Res64: 0FBCCBFC100D14D5 Time : 0.0 sec. user=mdettweiler [2015-10-30 16:08:26] 735*2^1413617-1 is not prime. Res64: 7ADE9D5182213E0D Time : 0.0 sec. user=mdettweiler [2015-10-30 16:28:34] 681*2^1413618-1 is not prime. Res64: 193B0BFC93336A37 Time : 0.0 sec. user=mdettweiler [2015-10-30 16:28:35] 713*2^1413618-1 is not prime. Res64: 81DE9B2591B21F4A Time : 0.0 sec. user=mdettweiler [2015-10-30 16:28:37] 769*2^1413617-1 is not prime. Res64: 61152800A06AFA30 Time : 0.0 sec. user=mdettweiler [2015-10-30 16:28:38] 837*2^1413617-1 is not prime. Res64: 505F53BC05518D72 Time : 0.0 sec. user=mdettweiler [2015-10-30 16:28:45] 875*2^1413618-1 is not prime. Res64: 547EE7EA14459EFF Time : 0.0 sec. user=mdettweiler [2015-10-30 16:28:45] 893*2^1413618-1 is not prime. Res64: BDEF8841039311EC Time : 0.0 sec. user=mdettweiler [2015-10-30 16:46:42] 977*2^1413618-1 is not prime. Res64: 5EF65E1E27023EA9 Time : 0.0 sec. user=mdettweiler [2015-10-30 16:46:42] 759*2^1413619-1 is not prime. Res64: F9CCA43894E87067 Time : 0.0 sec. user=mdettweiler [2015-10-30 16:46:46] 843*2^1413619-1 is not prime. Res64: C20B2F526BD0988A Time : 0.0 sec. user=mdettweiler [2015-10-30 16:46:47] 943*2^1413619-1 is not prime. Res64: C7E845438BC8FF56 Time : 0.0 sec. user=mdettweiler [2015-10-30 16:46:50] 973*2^1413619-1 is not prime. Res64: C3249483971712F6 Time : 0.0 sec. user=mdettweiler [2015-10-30 16:46:50] 603*2^1413620-1 is not prime. Res64: B391388C0E171EBD Time : 0.0 sec. user=mdettweiler [2015-10-30 17:05:08] 609*2^1413620-1 is not prime. Res64: 09378542A78C5449 Time : 0.0 sec. user=mdettweiler [2015-10-30 17:05:09] 725*2^1413620-1 is not prime. Res64: F803D203AFCA5CB9 Time : 0.0 sec. user=mdettweiler [2015-10-30 17:05:15] 813*2^1413620-1 is not prime. Res64: 1148EC384C757640 Time : 0.0 sec. user=mdettweiler [2015-10-30 17:05:18] 875*2^1413620-1 is not prime. Res64: B40CF622B462654E Time : 0.0 sec. user=mdettweiler [2015-10-30 17:05:24] 995*2^1413620-1 is not prime. Res64: 77C40CF3085AFB42 Time : 0.0 sec. user=mdettweiler [2015-10-30 17:05:25] 609*2^1413621-1 is not prime. Res64: FF728DD49F297F3E Time : 0.0 sec. user=mdettweiler [2015-10-30 17:23:32] 615*2^1413621-1 is not prime. Res64: D963710CECE558C7 Time : 0.0 sec. user=mdettweiler [2015-10-30 17:23:32] 741*2^1413621-1 is not prime. Res64: 9372BAA84FB1583C Time : 0.0 sec. user=mdettweiler [2015-10-30 17:23:38] 795*2^1413621-1 is not prime. Res64: 40138540E6739098 Time : 0.0 sec. user=mdettweiler [2015-10-30 17:23:38] 997*2^1413621-1 is not prime. Res64: 1AC2304138AF9D1A Time : 0.0 sec. user=mdettweiler [2015-10-30 17:23:39] 761*2^1413622-1 is not prime. Res64: CE3B2FA48B2E722E Time : 0.0 sec. user=mdettweiler [2015-10-30 17:23:40] 765*2^1413622-1 is not prime. Res64: 7310A568F7CFCCC3 Time : 0.0 sec. user=mdettweiler [2015-10-30 17:42:02] 833*2^1413622-1 is not prime. Res64: B9881167B2990732 Time : 0.0 sec. user=mdettweiler [2015-10-30 17:42:02] 843*2^1413622-1 is not prime. Res64: F554A74037E8AEB4 Time : 0.0 sec. user=mdettweiler [2015-10-30 17:42:07] 915*2^1413622-1 is not prime. Res64: 2E981940C1D3B932 Time : 0.0 sec. user=mdettweiler [2015-10-30 17:42:07] 917*2^1413622-1 is not prime. Res64: 198FC9C6E21EA460 Time : 0.0 sec. user=mdettweiler [2015-10-30 17:42:14] 885*2^1413622-1 is not prime. Res64: 28772558E6D6BC60 Time : 0.0 sec. user=mdettweiler [2015-10-30 17:42:14] 911*2^1413622-1 is not prime. Res64: B85A4CAFCF4D6231 Time : 0.0 sec. user=mdettweiler [2015-10-30 18:00:25] 983*2^1413622-1 is not prime. Res64: CF4FFCAC33E4A18C Time : 0.0 sec. user=mdettweiler [2015-10-30 18:00:25] 987*2^1413622-1 is not prime. Res64: 5B65F05EE38FB044 Time : 0.0 sec. user=mdettweiler [2015-10-30 18:00:28] 669*2^1413623-1 is not prime. Res64: C9969C53388B4C26 Time : 0.0 sec. user=mdettweiler [2015-10-30 18:00:29] 685*2^1413623-1 is not prime. Res64: 0AA1732448FFB033 Time : 0.0 sec. user=mdettweiler [2015-10-30 18:00:35] 805*2^1413623-1 is not prime. Res64: A0135F337EFDA92F Time : 0.0 sec. user=mdettweiler [2015-10-30 18:00:37] 859*2^1413623-1 is not prime. Res64: 449CF4B1C0E235FA Time : 0.0 sec. user=mdettweiler [2015-10-30 18:18:48] 963*2^1413623-1 is not prime. Res64: 2AFC4F55891FEBF2 Time : 0.0 sec. user=mdettweiler [2015-10-30 18:18:48] 663*2^1413624-1 is not prime. Res64: 3DEB34D073BE30F5 Time : 0.0 sec. user=mdettweiler [2015-10-30 18:18:49] 753*2^1413624-1 is not prime. Res64: A186B100C81D6069 Time : 0.0 sec. user=mdettweiler [2015-10-30 18:18:50] 773*2^1413624-1 is not prime. Res64: E5C209B88DA7C0B1 Time : 0.0 sec. user=mdettweiler [2015-10-30 18:18:58] 909*2^1413624-1 is not prime. Res64: 106231992B1566B0 Time : 0.0 sec. user=mdettweiler [2015-10-30 18:18:58] 601*2^1413625-1 is not prime. Res64: 28AA1D7237FA11A1 Time : 0.0 sec. user=mdettweiler [2015-10-30 18:37:31] 951*2^1413625-1 is not prime. Res64: CF487D6E432836C9 Time : 0.0 sec. user=mdettweiler [2015-10-30 18:37:32] 957*2^1413625-1 is not prime. Res64: 2FD6913ACF0F954E Time : 0.0 sec. user=mdettweiler [2015-10-30 18:37:34] 765*2^1413625-1 is not prime. Res64: DF2AEBDBA05332C7 Time : 0.0 sec. user=mdettweiler [2015-10-30 18:37:35] 771*2^1413625-1 is not prime. Res64: 45D23B28858AEA32 Time : 0.0 sec. user=mdettweiler [2015-10-30 18:37:47] 603*2^1413626-1 is not prime. Res64: B40E7E88B3556BF5 Time : 0.0 sec. user=mdettweiler [2015-10-30 18:37:47] 815*2^1413626-1 is not prime. Res64: 949A1C26BCF18246 Time : 0.0 sec. user=mdettweiler [2015-10-30 18:56:21] 825*2^1413626-1 is not prime. Res64: 6DBCB2BEEDD719CC Time : 0.0 sec. user=mdettweiler [2015-10-30 18:56:21] 837*2^1413626-1 is not prime. Res64: 46D543E094796ED5 Time : 0.0 sec. user=mdettweiler [2015-10-30 18:56:27] 887*2^1413626-1 is not prime. Res64: BDB3DA564E0B2588 Time : 0.0 sec. user=mdettweiler [2015-10-30 18:56:27] 935*2^1413626-1 is not prime. Res64: 19746445B7FAF7D8 Time : 0.0 sec. user=mdettweiler [2015-10-30 18:56:41] 993*2^1413626-1 is not prime. Res64: 9567D011D2E6B5D7 Time : 0.0 sec. user=mdettweiler [2015-10-30 18:56:42] 805*2^1413627-1 is not prime. Res64: 57C94F8345A486CF Time : 0.0 sec. user=mdettweiler [2015-10-30 19:14:59] 829*2^1413627-1 is not prime. Res64: 4C7D65322996654A Time : 0.0 sec. user=mdettweiler [2015-10-30 19:15:00] 835*2^1413627-1 is not prime. Res64: 70AB77AC1CF5DDBF Time : 0.0 sec. user=mdettweiler [2015-10-30 19:15:05] 861*2^1413627-1 is not prime. Res64: 00680C910B266313 Time : 0.0 sec. user=mdettweiler [2015-10-30 19:15:07] 605*2^1413628-1 is not prime. Res64: 38ECD32BC3672BB4 Time : 0.0 sec. user=mdettweiler [2015-10-30 19:15:19] 647*2^1413628-1 is not prime. Res64: DF79E7972AFEEB5C Time : 0.0 sec. user=mdettweiler [2015-10-30 19:15:22] 677*2^1413628-1 is not prime. Res64: E58388987C176387 Time : 0.0 sec. user=mdettweiler [2015-10-30 19:33:26] 705*2^1413628-1 is not prime. Res64: D45535C3FF7023BC Time : 0.0 sec. user=mdettweiler [2015-10-30 19:33:26] 755*2^1413628-1 is not prime. Res64: A10774B6A21340DA Time : 0.0 sec. user=mdettweiler [2015-10-30 19:33:27] 777*2^1413628-1 is not prime. Res64: 100601751B7BC784 Time : 0.0 sec. user=mdettweiler [2015-10-30 19:33:27] 827*2^1413628-1 is not prime. Res64: 3D195FA0372EC894 Time : 0.0 sec. user=mdettweiler [2015-10-30 19:33:29] 855*2^1413628-1 is not prime. Res64: AB4FE51617980E77 Time : 0.0 sec. user=mdettweiler [2015-10-30 19:33:30] 957*2^1413628-1 is not prime. Res64: 3980ABCE7E91B09A Time : 0.0 sec. user=mdettweiler [2015-10-30 19:51:10] 907*2^1413629-1 is not prime. Res64: F2A7049879178E48 Time : 0.0 sec. user=mdettweiler [2015-10-30 19:51:11] 655*2^1413629-1 is not prime. Res64: FE2E0E763BB2FF2B Time : 0.0 sec. user=mdettweiler [2015-10-30 19:51:11] 829*2^1413629-1 is not prime. Res64: 25B63108EB7121D5 Time : 0.0 sec. user=mdettweiler [2015-10-30 19:51:11] 991*2^1413629-1 is not prime. Res64: BA9D18FBAD53FD87 Time : 0.0 sec. user=mdettweiler [2015-10-30 19:51:14] 677*2^1413630-1 is not prime. Res64: EC6F78E0FB0EC52C Time : 0.0 sec. user=mdettweiler [2015-10-30 19:51:14] 747*2^1413630-1 is not prime. Res64: 773FC8F73577F23C Time : 0.0 sec. user=mdettweiler [2015-10-30 20:09:08] 797*2^1413630-1 is not prime. Res64: EA2BBEEB50DB139F Time : 0.0 sec. user=mdettweiler [2015-10-30 20:09:09] 851*2^1413630-1 is not prime. Res64: 1206064532BB82EB Time : 0.0 sec. user=mdettweiler [2015-10-30 20:09:09] 893*2^1413630-1 is not prime. Res64: 4C4E743E68CC5B17 Time : 0.0 sec. user=mdettweiler [2015-10-30 20:09:10] 619*2^1413631-1 is not prime. Res64: 5D1C7A5400D63E48 Time : 0.0 sec. user=mdettweiler [2015-10-30 20:09:13] 639*2^1413631-1 is not prime. Res64: AD8B7E0778592AD3 Time : 0.0 sec. user=mdettweiler [2015-10-30 20:09:14] 661*2^1413631-1 is not prime. Res64: FCAE949CB0FCE877 Time : 0.0 sec. user=mdettweiler [2015-10-30 20:27:25] 885*2^1413631-1 is not prime. Res64: 151BCF07DD2CCED4 Time : 0.0 sec. user=mdettweiler [2015-10-30 20:27:25] 889*2^1413631-1 is not prime. Res64: 8F92BA3729554FD3 Time : 0.0 sec. user=mdettweiler [2015-10-30 20:27:25] 723*2^1413631-1 is not prime. Res64: 1EE135F5F1C0CD52 Time : 0.0 sec. user=mdettweiler [2015-10-30 20:27:25] 735*2^1413631-1 is not prime. Res64: 519B52EEB319D630 Time : 0.0 sec. user=mdettweiler [2015-10-30 20:27:26] 769*2^1413631-1 is not prime. Res64: 3D5493E4EE7BC124 Time : 0.0 sec. user=mdettweiler [2015-10-30 20:27:26] 855*2^1413631-1 is not prime. Res64: A826198099AF4F44 Time : 0.0 sec. user=mdettweiler [2015-10-30 20:49:31] 939*2^1413631-1 is not prime. Res64: DD16DBA4EECDA8B2 Time : 0.0 sec. user=mdettweiler [2015-10-30 20:49:31] 951*2^1413631-1 is not prime. Res64: 7AA53D68E6EFD450 Time : 0.0 sec. user=mdettweiler [2015-10-30 20:49:32] 603*2^1413632-1 is not prime. Res64: 0B7BB565B45A455A Time : 0.0 sec. user=mdettweiler [2015-10-30 20:49:32] 605*2^1413632-1 is not prime. Res64: 9CF411B07610D143 Time : 0.0 sec. user=mdettweiler [2015-10-30 20:49:32] 609*2^1413632-1 is not prime. Res64: 3958EC171B70687E Time : 0.0 sec. user=mdettweiler [2015-10-30 20:49:33] 617*2^1413632-1 is not prime. Res64: 9273A58D2547F5EC Time : 0.0 sec. user=mdettweiler [2015-10-30 21:11:36] 909*2^1413632-1 is not prime. Res64: 30EB201409B53CEC Time : 0.0 sec. user=mdettweiler [2015-10-30 21:11:37] 995*2^1413632-1 is not prime. Res64: 73EC49672E1EAE4E Time : 0.0 sec. user=mdettweiler [2015-10-30 21:11:38] 923*2^1413632-1 is not prime. Res64: 1C286FBBF8D10E4B Time : 0.0 sec. user=mdettweiler [2015-10-30 21:11:38] 649*2^1413633-1 is not prime. Res64: FC28B52D39361C7C Time : 0.0 sec. user=mdettweiler [2015-10-30 21:11:39] 635*2^1413632-1 is not prime. Res64: D55E07CEB8DEF5CD Time : 0.0 sec. user=mdettweiler [2015-10-30 21:11:40] 855*2^1413632-1 is not prime. Res64: E96BE9CD24E81E99 Time : 0.0 sec. user=mdettweiler [2015-10-30 21:29:33] 807*2^1413633-1 is not prime. Res64: 77F30A5B83218ED3 Time : 0.0 sec. user=mdettweiler [2015-10-30 21:29:34] 951*2^1413633-1 is not prime. Res64: 17252E946FBA4497 Time : 0.0 sec. user=mdettweiler [2015-10-30 21:29:34] 819*2^1413633-1 is not prime. Res64: 0B8013484F38EC66 Time : 0.0 sec. user=mdettweiler [2015-10-30 21:29:34] 991*2^1413633-1 is not prime. Res64: D8BF76C5316AD4E0 Time : 0.0 sec. user=mdettweiler [2015-10-30 21:29:34] 691*2^1413633-1 is not prime. Res64: 15865DCB5FC08D50 Time : 0.0 sec. user=mdettweiler [2015-10-30 21:29:34] 747*2^1413633-1 is not prime. Res64: 105B53BBF08BECE0 Time : 0.0 sec. user=mdettweiler [2015-10-30 21:47:02] 651*2^1413634-1 is not prime. Res64: E5EB29EFCA14C101 Time : 0.0 sec. user=mdettweiler [2015-10-30 21:47:03] 705*2^1413634-1 is not prime. Res64: 4E561587497C4F0C Time : 0.0 sec. user=mdettweiler [2015-10-30 21:47:04] 701*2^1413634-1 is not prime. Res64: 681B9441AF4A96E3 Time : 0.0 sec. user=mdettweiler [2015-10-30 21:47:04] 783*2^1413634-1 is not prime. Res64: 9E77B7067041F915 Time : 0.0 sec. user=mdettweiler [2015-10-30 21:47:04] 755*2^1413634-1 is not prime. Res64: 9D1823F608A0037F Time : 0.0 sec. user=mdettweiler [2015-10-30 21:47:05] 825*2^1413634-1 is not prime. Res64: D551E2533DF84DE6 Time : 0.0 sec. user=mdettweiler [2015-10-30 22:04:33] 891*2^1413634-1 is not prime. Res64: 48BFE240046AD726 Time : 0.0 sec. user=mdettweiler [2015-10-30 22:04:35] 799*2^1413635-1 is not prime. Res64: 2EA341252C9DAE87 Time : 0.0 sec. user=mdettweiler [2015-10-30 22:04:36] 741*2^1413635-1 is not prime. Res64: D7400BB2EDE3EA0E Time : 0.0 sec. user=mdettweiler [2015-10-30 22:04:36] 949*2^1413635-1 is not prime. Res64: 17EB2C5BFC85F6F0 Time : 0.0 sec. user=mdettweiler [2015-10-30 22:04:37] 915*2^1413634-1 is not prime. Res64: D7566EA4B7A2C7E5 Time : 0.0 sec. user=mdettweiler [2015-10-30 22:04:38] 783*2^1413635-1 is not prime. Res64: A47C2EEA6E74F352 Time : 0.0 sec. user=mdettweiler [2015-10-30 22:22:31] 627*2^1413636-1 is not prime. Res64: 5AAE435449F12AC9 Time : 0.0 sec. user=mdettweiler [2015-10-30 22:22:31] 647*2^1413636-1 is not prime. Res64: 6EB969FBC197586F Time : 0.0 sec. user=mdettweiler [2015-10-30 22:22:31] 669*2^1413636-1 is not prime. Res64: 6AA0233149A0656E Time : 0.0 sec. user=mdettweiler [2015-10-30 22:22:31] 767*2^1413636-1 is not prime. Res64: EB254BF7A014D6F0 Time : 0.0 sec. user=mdettweiler [2015-10-30 22:22:31] 857*2^1413636-1 is not prime. Res64: E9018DD34205E146 Time : 0.0 sec. user=mdettweiler [2015-10-30 22:22:32] 867*2^1413636-1 is not prime. Res64: 375AD8D7CED68F9E Time : 0.0 sec. user=mdettweiler [2015-10-30 22:39:58] 875*2^1413636-1 is not prime. Res64: 9E2373C51A6CE804 Time : 0.0 sec. user=mdettweiler [2015-10-30 22:39:58] 625*2^1413637-1 is not prime. Res64: 6F791E69EEC27219 Time : 0.0 sec. user=mdettweiler [2015-10-30 22:39:58] 747*2^1413637-1 is not prime. Res64: B6E0E4E75178C354 Time : 0.0 sec. user=mdettweiler [2015-10-30 22:39:59] 957*2^1413637-1 is not prime. Res64: 5D5ED97DE299AF12 Time : 0.0 sec. user=mdettweiler [2015-10-30 22:39:59] 671*2^1413638-1 is not prime. Res64: 1C61DA382D7691D7 Time : 0.0 sec. user=mdettweiler [2015-10-30 22:39:59] 755*2^1413638-1 is not prime. Res64: 291B78555BE1A80F Time : 0.0 sec. user=mdettweiler [2015-10-30 22:57:25] 893*2^1413638-1 is not prime. Res64: 1BB4B8E41452029F Time : 0.0 sec. user=mdettweiler [2015-10-30 22:57:25] 953*2^1413638-1 is not prime. Res64: B438C6AB1C5C37E5 Time : 0.0 sec. user=mdettweiler [2015-10-30 22:57:25] 771*2^1413638-1 is not prime. Res64: E70EAAAC7828A83F Time : 0.0 sec. user=mdettweiler [2015-10-30 22:57:26] 867*2^1413638-1 is not prime. Res64: E9719CBCBC9B0D7A Time : 0.0 sec. user=mdettweiler [2015-10-30 22:57:26] 977*2^1413638-1 is not prime. Res64: B30703300930DB4B Time : 0.0 sec. user=mdettweiler [2015-10-30 22:57:26] 619*2^1413639-1 is not prime. Res64: AEACF4603D0AA64C Time : 0.0 sec. user=mdettweiler [2015-10-30 23:14:56] 825*2^1413639-1 is not prime. Res64: 444942BFBEB4E95F Time : 0.0 sec. user=mdettweiler [2015-10-30 23:14:57] 921*2^1413639-1 is not prime. Res64: A2BA836595386F4F Time : 0.0 sec. user=mdettweiler [2015-10-30 23:14:57] 625*2^1413639-1 is not prime. Res64: 8BD2FE4DFB207C69 Time : 0.0 sec. user=mdettweiler [2015-10-30 23:14:58] 955*2^1413639-1 is not prime. Res64: B9D289A6C8982977 Time : 0.0 sec. user=mdettweiler [2015-10-30 23:14:58] 763*2^1413639-1 is not prime. Res64: BE93EA5C45736489 Time : 0.0 sec. user=mdettweiler [2015-10-30 23:15:00] 961*2^1413639-1 is not prime. Res64: 3B01F39ADFF73500 Time : 0.0 sec. user=mdettweiler [2015-10-30 23:32:49] 635*2^1413640-1 is not prime. Res64: 58A9DDFC7347F42D Time : 0.0 sec. user=mdettweiler [2015-10-30 23:32:50] 939*2^1413640-1 is not prime. Res64: 48483E9653C46B8C Time : 0.0 sec. user=mdettweiler [2015-10-30 23:32:51] 755*2^1413640-1 is not prime. Res64: ABB18392349FF96B Time : 0.0 sec. user=mdettweiler [2015-10-30 23:32:51] 605*2^1413640-1 is not prime. Res64: 4B48186617F5133E Time : 0.0 sec. user=mdettweiler [2015-10-30 23:32:51] 825*2^1413640-1 is not prime. Res64: 0BECCF292021D6A9 Time : 0.0 sec. user=mdettweiler [2015-10-30 23:32:51] 707*2^1413640-1 is not prime. Res64: 5F85882AD57341BA Time : 0.0 sec. user=mdettweiler [2015-10-30 23:50:17] 651*2^1413641-1 is not prime. Res64: 5EFE78C7EDD8C920 Time : 0.0 sec. user=mdettweiler [2015-10-30 23:50:17] 627*2^1413642-1 is not prime. Res64: 57E1EF08C51EFC1B Time : 0.0 sec. user=mdettweiler [2015-10-30 23:50:17] 669*2^1413641-1 is not prime. Res64: 02056CE57BBCE527 Time : 0.0 sec. user=mdettweiler [2015-10-30 23:50:18] 665*2^1413642-1 is not prime. Res64: 569242FA7996081B Time : 0.0 sec. user=mdettweiler [2015-10-30 23:50:18] 799*2^1413641-1 is not prime. Res64: AF1A30C0EC799307 Time : 0.0 sec. user=mdettweiler [2015-10-30 23:50:18] 955*2^1413641-1 is not prime. Res64: 90E2398BFB541517 Time : 0.0 sec.