user=mdettweiler [2015-12-25 00:03:21] 609*2^1418064-1 is not prime. Res64: F77170FE8EC6B4B3 Time : 0.0 sec. user=mdettweiler [2015-12-25 00:03:22] 663*2^1418064-1 is not prime. Res64: 2F2DACC25667B046 Time : 0.0 sec. user=mdettweiler [2015-12-25 00:18:24] 767*2^1418064-1 is not prime. Res64: EEE47B04B0BF64C8 Time : 0.0 sec. user=mdettweiler [2015-12-25 00:18:25] 649*2^1418065-1 is not prime. Res64: 4BFD5A7A1CC90041 Time : 0.0 sec. user=mdettweiler [2015-12-25 00:20:55] 751*2^1418065-1 is not prime. Res64: 06FD66F156EEAC6C Time : 0.0 sec. user=mdettweiler [2015-12-25 00:20:56] 777*2^1418065-1 is not prime. Res64: 2C81990938688D26 Time : 0.0 sec. user=mdettweiler [2015-12-25 00:35:55] 871*2^1418065-1 is not prime. Res64: D5BC3E94B4184F68 Time : 0.0 sec. user=mdettweiler [2015-12-25 00:35:55] 895*2^1418065-1 is not prime. Res64: E0414C702D2805F1 Time : 0.0 sec. user=mdettweiler [2015-12-25 00:38:25] 615*2^1418066-1 is not prime. Res64: A5EF6E7E404D3BDC Time : 0.0 sec. user=mdettweiler [2015-12-25 00:38:26] 705*2^1418066-1 is not prime. Res64: 946641940ADD8463 Time : 0.0 sec. user=mdettweiler [2015-12-25 00:53:25] 963*2^1418066-1 is not prime. Res64: FD9531AA67DE0A98 Time : 0.0 sec. user=mdettweiler [2015-12-25 00:53:25] 625*2^1418067-1 is not prime. Res64: CA5BA87A2B587760 Time : 0.0 sec. user=mdettweiler [2015-12-25 00:55:55] 643*2^1418067-1 is not prime. Res64: F429499997CCB33A Time : 0.0 sec. user=mdettweiler [2015-12-25 00:55:55] 691*2^1418067-1 is not prime. Res64: 8B71BB144ABD8288 Time : 0.0 sec. user=mdettweiler [2015-12-25 01:10:55] 703*2^1418067-1 is not prime. Res64: F44C3C827DA6C1B0 Time : 0.0 sec. user=mdettweiler [2015-12-25 01:10:56] 879*2^1418067-1 is not prime. Res64: 7F24FF4EAD5E57B5 Time : 0.0 sec. user=mdettweiler [2015-12-25 01:13:24] 913*2^1418067-1 is not prime. Res64: 1A85F4AD53BA6178 Time : 0.0 sec. user=mdettweiler [2015-12-25 01:13:25] 955*2^1418067-1 is not prime. Res64: 585A07EEE94FD8D3 Time : 0.0 sec. user=mdettweiler [2015-12-25 01:28:27] 961*2^1418067-1 is not prime. Res64: 577FAE86A074E082 Time : 0.0 sec. user=mdettweiler [2015-12-25 01:28:28] 975*2^1418067-1 is not prime. Res64: 7C9112060A7BA013 Time : 0.0 sec. user=mdettweiler [2015-12-25 01:30:54] 735*2^1418068-1 is not prime. Res64: B4CAE979ED04A1EE Time : 0.0 sec. user=mdettweiler [2015-12-25 01:30:55] 743*2^1418068-1 is not prime. Res64: 96C1C02E92F3F6FF Time : 0.0 sec. user=mdettweiler [2015-12-25 01:46:05] 855*2^1418068-1 is not prime. Res64: 5C36FD931D62FF14 Time : 0.0 sec. user=mdettweiler [2015-12-25 01:46:06] 875*2^1418068-1 is not prime. Res64: DD9F119EA7E1F924 Time : 0.0 sec. user=mdettweiler [2015-12-25 01:48:24] 601*2^1418069-1 is not prime. Res64: 07AA15BAA443AF9D Time : 0.0 sec. user=mdettweiler [2015-12-25 01:48:24] 735*2^1418069-1 is not prime. Res64: D87698EFAE0B2C99 Time : 0.0 sec. user=mdettweiler [2015-12-25 02:03:37] 837*2^1418069-1 is not prime. Res64: 75097096470201B9 Time : 0.0 sec. user=mdettweiler [2015-12-25 02:03:38] 861*2^1418069-1 is not prime. Res64: B42FB4015C0C67F7 Time : 0.0 sec. user=mdettweiler [2015-12-25 02:05:54] 969*2^1418069-1 is not prime. Res64: 53B2A60441897D26 Time : 0.0 sec. user=mdettweiler [2015-12-25 02:05:55] 665*2^1418070-1 is not prime. Res64: 79FF94CD801BF8B3 Time : 0.0 sec. user=mdettweiler [2015-12-25 02:21:24] 681*2^1418070-1 is not prime. Res64: B3EE38601F74486A Time : 0.0 sec. user=mdettweiler [2015-12-25 02:21:25] 711*2^1418070-1 is not prime. Res64: 89414B3F193EA54E Time : 0.0 sec. user=mdettweiler [2015-12-25 02:23:25] 851*2^1418070-1 is not prime. Res64: 8DA52117D8BA033E Time : 0.0 sec. user=mdettweiler [2015-12-25 02:23:26] 873*2^1418070-1 is not prime. Res64: EACE84A35C29AE70 Time : 0.0 sec. user=mdettweiler [2015-12-25 02:38:55] 887*2^1418070-1 is not prime. Res64: 25DB89328FBFB14E Time : 0.0 sec. user=mdettweiler [2015-12-25 02:38:56] 793*2^1418071-1 is not prime. Res64: 468FBD8ED51770AC Time : 0.0 sec. user=mdettweiler [2015-12-25 02:40:54] 873*2^1418071-1 is not prime. Res64: F3DACBAE11B1BECD Time : 0.0 sec. user=mdettweiler [2015-12-25 02:40:55] 913*2^1418071-1 is not prime. Res64: 0AE2E99EDA75DC49 Time : 0.0 sec. user=mdettweiler [2015-12-25 02:56:28] 617*2^1418072-1 is not prime. Res64: CA29702FD30FF300 Time : 0.0 sec. user=mdettweiler [2015-12-25 02:56:28] 633*2^1418072-1 is not prime. Res64: 723A7582FF57A591 Time : 0.0 sec. user=mdettweiler [2015-12-25 02:58:23] 677*2^1418072-1 is not prime. Res64: 82E7301A9048AD52 Time : 0.0 sec. user=mdettweiler [2015-12-25 02:58:24] 693*2^1418072-1 is not prime. Res64: 8EBABEEDCB9986BC Time : 0.0 sec. user=mdettweiler [2015-12-25 03:13:57] 717*2^1418072-1 is not prime. Res64: BF39691B4D88B48C Time : 0.0 sec. user=mdettweiler [2015-12-25 03:13:57] 743*2^1418072-1 is not prime. Res64: C1418A1D9FD80983 Time : 0.0 sec. user=mdettweiler [2015-12-25 03:15:57] 815*2^1418072-1 is not prime. Res64: 28452759E71BC46F Time : 0.0 sec. user=mdettweiler [2015-12-25 03:15:57] 977*2^1418072-1 is not prime. Res64: 5F93DD4F4439C4F1 Time : 0.0 sec. user=mdettweiler [2015-12-25 03:31:28] 639*2^1418073-1 is not prime. Res64: 512EBB1CDE025AF4 Time : 0.0 sec. user=mdettweiler [2015-12-25 03:31:29] 705*2^1418073-1 is not prime. Res64: 3AC44FAD5D318063 Time : 0.0 sec. user=mdettweiler [2015-12-25 03:33:25] 835*2^1418073-1 is not prime. Res64: 19EAF7E700DA7AD6 Time : 0.0 sec. user=mdettweiler [2015-12-25 03:33:26] 871*2^1418073-1 is not prime. Res64: D8735348096AE971 Time : 0.0 sec. user=mdettweiler [2015-12-25 03:49:12] 611*2^1418074-1 is not prime. Res64: 0B1E14CDA1761DAC Time : 0.0 sec. user=mdettweiler [2015-12-25 03:49:13] 657*2^1418074-1 is not prime. Res64: B7EDDFCD477837F0 Time : 0.0 sec. user=mdettweiler [2015-12-25 03:50:57] 755*2^1418074-1 is not prime. Res64: E344780D9829EE0D Time : 0.0 sec. user=mdettweiler [2015-12-25 03:50:59] 803*2^1418074-1 is not prime. Res64: DCB49CC1422E0B1C Time : 0.0 sec. user=mdettweiler [2015-12-25 04:06:50] 881*2^1418074-1 is not prime. Res64: 2E5F4044CCCBF4CE Time : 0.0 sec. user=mdettweiler [2015-12-25 04:06:51] 891*2^1418074-1 is not prime. Res64: 977834E8CFEBA506 Time : 0.0 sec. user=mdettweiler [2015-12-25 04:08:27] 923*2^1418074-1 is not prime. Res64: E837C8D3936AF75B Time : 0.0 sec. user=mdettweiler [2015-12-25 04:08:28] 649*2^1418075-1 is not prime. Res64: 056389801E538895 Time : 0.0 sec. user=mdettweiler [2015-12-25 04:24:26] 655*2^1418075-1 is not prime. Res64: ECF1FF25093B1367 Time : 0.0 sec. user=mdettweiler [2015-12-25 04:24:27] 663*2^1418075-1 is not prime. Res64: FD56340960D0A4E9 Time : 0.0 sec. user=mdettweiler [2015-12-25 04:25:56] 675*2^1418075-1 is not prime. Res64: D21471C2349DE1F9 Time : 0.0 sec. user=mdettweiler [2015-12-25 04:25:56] 783*2^1418075-1 is not prime. Res64: B8F51C50C45C4A61 Time : 0.0 sec. user=mdettweiler [2015-12-25 04:41:54] 859*2^1418075-1 is not prime. Res64: 847BEEA82EB92770 Time : 0.0 sec. user=mdettweiler [2015-12-25 04:41:54] 871*2^1418075-1 is not prime. Res64: C1FDFB6A4016EEB0 Time : 0.0 sec. user=mdettweiler [2015-12-25 04:43:24] 921*2^1418075-1 is not prime. Res64: 02659CB7087A6706 Time : 0.0 sec. user=mdettweiler [2015-12-25 04:43:24] 689*2^1418076-1 is not prime. Res64: 91EAAE0A7ECDCA5C Time : 0.0 sec. user=mdettweiler [2015-12-25 04:59:22] 867*2^1418076-1 is not prime. Res64: ECC7F340B28FC9B1 Time : 0.0 sec. user=mdettweiler [2015-12-25 04:59:23] 645*2^1418077-1 is not prime. Res64: CD11CDB919657AC8 Time : 0.0 sec. user=mdettweiler [2015-12-25 05:00:53] 717*2^1418077-1 is not prime. Res64: 5A5B4FD86B338D4D Time : 0.0 sec. user=mdettweiler [2015-12-25 05:00:54] 825*2^1418077-1 is not prime. Res64: 70130053C3D03FED Time : 0.0 sec. user=mdettweiler [2015-12-25 05:16:54] 937*2^1418077-1 is not prime. Res64: 48DF1AB5D5D430CE Time : 0.0 sec. user=mdettweiler [2015-12-25 05:16:54] 867*2^1418078-1 is not prime. Res64: 1226EA8D26B6371A Time : 0.0 sec. user=mdettweiler [2015-12-25 05:18:25] 875*2^1418078-1 is not prime. Res64: F39D018B6CEF8F65 Time : 0.0 sec. user=mdettweiler [2015-12-25 05:18:26] 927*2^1418078-1 is not prime. Res64: 5AB2A057292F17F6 Time : 0.0 sec. user=mdettweiler [2015-12-25 05:34:25] 941*2^1418078-1 is not prime. Res64: 9FEE5502C80AC6B4 Time : 0.0 sec. user=mdettweiler [2015-12-25 05:34:26] 621*2^1418079-1 is not prime. Res64: 3555E3940D2F3488 Time : 0.0 sec. user=mdettweiler [2015-12-25 05:35:55] 661*2^1418079-1 is not prime. Res64: 58858DD3D3D79CF7 Time : 0.0 sec. user=mdettweiler [2015-12-25 05:35:55] 741*2^1418079-1 is not prime. Res64: 5622CA7DEAC589CE Time : 0.0 sec. user=mdettweiler [2015-12-25 05:51:58] 769*2^1418079-1 is not prime. Res64: 278DD8672876CE5D Time : 0.0 sec. user=mdettweiler [2015-12-25 05:51:58] 793*2^1418079-1 is not prime. Res64: 2901E42AE48320FE Time : 0.0 sec. user=mdettweiler [2015-12-25 05:53:24] 895*2^1418079-1 is not prime. Res64: 0D01967160BF7DF5 Time : 0.0 sec. user=mdettweiler [2015-12-25 05:53:25] 909*2^1418079-1 is not prime. Res64: 7EA88610863E31C0 Time : 0.0 sec. user=mdettweiler [2015-12-25 06:09:28] 961*2^1418079-1 is not prime. Res64: 3D1A8D0E1BEA1FDD Time : 0.0 sec. user=mdettweiler [2015-12-25 06:09:29] 975*2^1418079-1 is not prime. Res64: 747F68E0B6DEA4DA Time : 0.0 sec. user=mdettweiler [2015-12-25 06:10:53] 615*2^1418080-1 is not prime. Res64: 2D63682C999FDCA6 Time : 0.0 sec. user=mdettweiler [2015-12-25 06:10:53] 713*2^1418080-1 is not prime. Res64: 31ED60E734EC5DF2 Time : 0.0 sec. user=mdettweiler [2015-12-25 06:26:58] 803*2^1418080-1 is not prime. Res64: 09E81B92352ACDCB Time : 0.0 sec. user=mdettweiler [2015-12-25 06:26:59] 855*2^1418080-1 is not prime. Res64: E3ED45DDC1C12797 Time : 0.0 sec. user=mdettweiler [2015-12-25 06:28:22] 983*2^1418080-1 is not prime. Res64: 92ADE63B8902A774 Time : 0.0 sec. user=mdettweiler [2015-12-25 06:28:22] 631*2^1418081-1 is not prime. Res64: CDE7E6FA2114740C Time : 0.0 sec. user=mdettweiler [2015-12-25 06:44:27] 675*2^1418081-1 is not prime. Res64: C1021D1BBA874F02 Time : 0.0 sec. user=mdettweiler [2015-12-25 06:44:28] 711*2^1418081-1 is not prime. Res64: A2FBD707EBBC8318 Time : 0.0 sec. user=mdettweiler [2015-12-25 06:45:50] 735*2^1418081-1 is not prime. Res64: 2D523046F44B70F6 Time : 0.0 sec. user=mdettweiler [2015-12-25 06:45:51] 861*2^1418081-1 is not prime. Res64: 8772728704F818F9 Time : 0.0 sec. user=mdettweiler [2015-12-25 07:01:57] 879*2^1418081-1 is not prime. Res64: 483A84CCECF65396 Time : 0.0 sec. user=mdettweiler [2015-12-25 07:01:58] 909*2^1418081-1 is not prime. Res64: 7FF7866EC6C8D270 Time : 0.0 sec. user=mdettweiler [2015-12-25 07:03:20] 683*2^1418082-1 is not prime. Res64: D20FD0EFDA888AAE Time : 0.0 sec. user=mdettweiler [2015-12-25 07:03:21] 765*2^1418082-1 is not prime. Res64: 4E5864E08BADB776 Time : 0.0 sec. user=mdettweiler [2015-12-25 07:19:31] 875*2^1418082-1 is not prime. Res64: 9FDF8DF9C35CC383 Time : 0.0 sec. user=mdettweiler [2015-12-25 07:19:32] 887*2^1418082-1 is not prime. Res64: 145D7077BB346532 Time : 0.0 sec. user=mdettweiler [2015-12-25 07:20:51] 663*2^1418083-1 is not prime. Res64: 559A4BC91A2B1505 Time : 0.0 sec. user=mdettweiler [2015-12-25 07:20:52] 693*2^1418083-1 is not prime. Res64: 78FB4DE3134B2771 Time : 0.0 sec. user=mdettweiler [2015-12-25 07:37:00] 771*2^1418083-1 is not prime. Res64: 522F7DBA8A123DA8 Time : 0.0 sec. user=mdettweiler [2015-12-25 07:37:01] 871*2^1418083-1 is not prime. Res64: FD9AD6048FC5DB88 Time : 0.0 sec. user=mdettweiler [2015-12-25 07:38:20] 891*2^1418083-1 is not prime. Res64: 8697DD3119994625 Time : 0.0 sec. user=mdettweiler [2015-12-25 07:38:20] 969*2^1418083-1 is not prime. Res64: 5CF524BEB675D54E Time : 0.0 sec. user=mdettweiler [2015-12-25 07:54:29] 615*2^1418084-1 is not prime. Res64: 1513D0476B2099B2 Time : 0.0 sec. user=mdettweiler [2015-12-25 07:54:30] 707*2^1418084-1 is not prime. Res64: D4F06C16CEA6A0D5 Time : 0.0 sec. user=mdettweiler [2015-12-25 07:55:48] 717*2^1418084-1 is not prime. Res64: EA292A7B1086706B Time : 0.0 sec. user=mdettweiler [2015-12-25 07:55:49] 719*2^1418084-1 is not prime. Res64: C3B3D45F666B0BDA Time : 0.0 sec. user=mdettweiler [2015-12-25 08:11:59] 749*2^1418084-1 is not prime. Res64: 719159C9C3A5DB20 Time : 0.0 sec. user=mdettweiler [2015-12-25 08:11:59] 869*2^1418084-1 is not prime. Res64: A4E17A1F3726B62C Time : 0.0 sec. user=mdettweiler [2015-12-25 08:13:16] 875*2^1418084-1 is not prime. Res64: EFD60B6F831FE3C0 Time : 0.0 sec. user=mdettweiler [2015-12-25 08:13:17] 885*2^1418084-1 is not prime. Res64: A41AF5CAD10E828D Time : 0.0 sec. user=mdettweiler [2015-12-25 08:29:29] 927*2^1418084-1 is not prime. Res64: 1B745CA0453E156E Time : 0.0 sec. user=mdettweiler [2015-12-25 08:29:29] 651*2^1418085-1 is not prime. Res64: A8E597879EDCFBEF Time : 0.0 sec. user=mdettweiler [2015-12-25 08:30:46] 691*2^1418085-1 is not prime. Res64: B44AF8274344155F Time : 0.0 sec. user=mdettweiler [2015-12-25 08:30:46] 795*2^1418085-1 is not prime. Res64: 6336130ED491A86E Time : 0.0 sec. user=mdettweiler [2015-12-25 08:46:57] 837*2^1418085-1 is not prime. Res64: D6E1D3F21D1AAD8E Time : 0.0 sec. user=mdettweiler [2015-12-25 08:46:58] 921*2^1418085-1 is not prime. Res64: 4678C3CA47163EA3 Time : 0.0 sec. user=mdettweiler [2015-12-25 08:48:14] 955*2^1418085-1 is not prime. Res64: CC9FEAB5F082BBEA Time : 0.0 sec. user=mdettweiler [2015-12-25 08:48:15] 611*2^1418086-1 is not prime. Res64: 5CE1FAE535FC3196 Time : 0.0 sec. user=mdettweiler [2015-12-25 09:04:27] 881*2^1418086-1 is not prime. Res64: C32E573F7FBD059D Time : 0.0 sec. user=mdettweiler [2015-12-25 09:04:28] 987*2^1418086-1 is not prime. Res64: 055D0222AA44DAF0 Time : 0.0 sec. user=mdettweiler [2015-12-25 09:05:44] 673*2^1418087-1 is not prime. Res64: 4CC426354334F3EC Time : 0.0 sec. user=mdettweiler [2015-12-25 09:05:45] 693*2^1418087-1 is not prime. Res64: B340DE4F19C914FA Time : 0.0 sec. user=mdettweiler [2015-12-25 09:22:06] 705*2^1418087-1 is not prime. Res64: 5024A215D036A8E3 Time : 0.0 sec. user=mdettweiler [2015-12-25 09:22:06] 813*2^1418087-1 is not prime. Res64: 2E158140ECF48441 Time : 0.0 sec. user=mdettweiler [2015-12-25 09:23:14] 825*2^1418087-1 is not prime. Res64: 2A22EB99633AA0BB Time : 0.0 sec. user=mdettweiler [2015-12-25 09:23:15] 861*2^1418087-1 is not prime. Res64: F679A07130E84EFC Time : 0.0 sec. user=mdettweiler [2015-12-25 09:39:34] 865*2^1418087-1 is not prime. Res64: FB3C79D121A4914B Time : 0.0 sec. user=mdettweiler [2015-12-25 09:39:34] 963*2^1418087-1 is not prime. Res64: A236F136D9453A4C Time : 0.0 sec. user=mdettweiler [2015-12-25 09:40:41] 669*2^1418088-1 is not prime. Res64: B39A7BBF530D8BFB Time : 0.0 sec. user=mdettweiler [2015-12-25 09:40:42] 695*2^1418088-1 is not prime. Res64: 5EE7C91A683520A5 Time : 0.0 sec. user=mdettweiler [2015-12-25 09:57:03] 723*2^1418088-1 is not prime. Res64: 799D7036D8CA27BF Time : 0.0 sec. user=mdettweiler [2015-12-25 09:57:03] 747*2^1418088-1 is not prime. Res64: B5C75040B3BAFAF1 Time : 0.0 sec. user=mdettweiler [2015-12-25 09:58:10] 795*2^1418088-1 is not prime. Res64: 6C86B955857FE783 Time : 0.0 sec. user=mdettweiler [2015-12-25 09:58:10] 803*2^1418088-1 is not prime. Res64: C6B1061C4E47EF8F Time : 0.0 sec. user=mdettweiler [2015-12-25 10:14:32] 825*2^1418088-1 is not prime. Res64: 36CAE9DD7D3DECB9 Time : 0.0 sec. user=mdettweiler [2015-12-25 10:14:32] 837*2^1418088-1 is not prime. Res64: 635A2382A19B530A Time : 0.0 sec. user=mdettweiler [2015-12-25 10:15:39] 893*2^1418088-1 is not prime. Res64: D0DD4515498AFE5F Time : 0.0 sec. user=mdettweiler [2015-12-25 10:15:39] 637*2^1418089-1 is not prime. Res64: 2AC32AEB50BEBF04 Time : 0.0 sec. user=mdettweiler [2015-12-25 10:32:00] 817*2^1418089-1 is not prime. Res64: FB292818A7B50513 Time : 0.0 sec. user=mdettweiler [2015-12-25 10:32:01] 939*2^1418089-1 is not prime. Res64: E66F84C167CFBA80 Time : 0.0 sec. user=mdettweiler [2015-12-25 10:33:06] 955*2^1418089-1 is not prime. Res64: 5CBB056EF797C4DE Time : 0.0 sec. user=mdettweiler [2015-12-25 10:33:07] 975*2^1418089-1 is not prime. Res64: 14FA248105A6E136 Time : 0.0 sec. user=mdettweiler [2015-12-25 10:49:28] 651*2^1418090-1 is not prime. Res64: 779594CFD1DF4E45 Time : 0.0 sec. user=mdettweiler [2015-12-25 10:49:29] 713*2^1418090-1 is not prime. Res64: 92F565C045834F5B Time : 0.0 sec. user=mdettweiler [2015-12-25 10:50:35] 825*2^1418090-1 is not prime. Res64: 12A50F1F02644B78 Time : 0.0 sec. user=mdettweiler [2015-12-25 10:50:35] 827*2^1418090-1 is not prime. Res64: 2D0519C2A0105759 Time : 0.0 sec. user=mdettweiler [2015-12-25 11:06:57] 911*2^1418090-1 is not prime. Res64: 1B308B3B82426637 Time : 0.0 sec. user=mdettweiler [2015-12-25 11:06:57] 951*2^1418090-1 is not prime. Res64: 87CE8356897139EA Time : 0.0 sec. user=mdettweiler [2015-12-25 11:08:03] 601*2^1418091-1 is not prime. Res64: 878BD2C79C34DCAD Time : 0.0 sec. user=mdettweiler [2015-12-25 11:08:04] 685*2^1418091-1 is not prime. Res64: EB258B5E8455BF6A Time : 0.0 sec. user=mdettweiler [2015-12-25 11:24:27] 789*2^1418091-1 is not prime. Res64: 9E3A56166ED0A706 Time : 0.0 sec. user=mdettweiler [2015-12-25 11:24:27] 819*2^1418091-1 is not prime. Res64: 6FE1EA080822E1E0 Time : 0.0 sec. user=mdettweiler [2015-12-25 11:25:32] 871*2^1418091-1 is not prime. Res64: 6EA5DE39EEEC9D10 Time : 0.0 sec. user=mdettweiler [2015-12-25 11:25:32] 879*2^1418091-1 is not prime. Res64: F484E6160A510733 Time : 0.0 sec. user=mdettweiler [2015-12-25 11:41:55] 943*2^1418091-1 is not prime. Res64: 49897D9E88E8E3A1 Time : 0.0 sec. user=mdettweiler [2015-12-25 11:41:56] 603*2^1418092-1 is not prime. Res64: 74817C352C338113 Time : 0.0 sec. user=mdettweiler [2015-12-25 11:43:00] 677*2^1418092-1 is not prime. Res64: FC203EC249844D72 Time : 0.0 sec. user=mdettweiler [2015-12-25 11:43:00] 689*2^1418092-1 is not prime. Res64: B60E607E3FE08298 Time : 0.0 sec. user=mdettweiler [2015-12-25 11:59:25] 705*2^1418092-1 is not prime. Res64: 9E1B69584FA6B8F2 Time : 0.0 sec. user=mdettweiler [2015-12-25 11:59:26] 875*2^1418092-1 is not prime. Res64: E1E9E2062AC13041 Time : 0.0 sec. user=mdettweiler [2015-12-25 12:00:29] 983*2^1418092-1 is not prime. Res64: 2D03BF4F1CDE2EF9 Time : 0.0 sec. user=mdettweiler [2015-12-25 12:00:30] 621*2^1418093-1 is not prime. Res64: 733A9B7B0CCC8B0B Time : 0.0 sec. user=mdettweiler [2015-12-25 12:17:15] 669*2^1418093-1 is not prime. Res64: 5B9F9092CE8BFF2E Time : 0.0 sec. user=mdettweiler [2015-12-25 12:17:15] 685*2^1418093-1 is not prime. Res64: 0B0DA094D038CEFE Time : 0.0 sec. user=mdettweiler [2015-12-25 12:18:15] 757*2^1418093-1 is not prime. Res64: 3A7669A387CDB28F Time : 0.0 sec. user=mdettweiler [2015-12-25 12:18:16] 759*2^1418093-1 is not prime. Res64: CCAC27E269931410 Time : 0.0 sec. user=mdettweiler [2015-12-25 12:34:56] 811*2^1418093-1 is not prime. Res64: BDDA0FECB0B8EE18 Time : 0.0 sec. user=mdettweiler [2015-12-25 12:34:56] 867*2^1418093-1 is not prime. Res64: CD143193EAFEFEA0 Time : 0.0 sec. user=mdettweiler [2015-12-25 12:35:54] 945*2^1418093-1 is not prime. Res64: 3B26372AAB8214A6 Time : 0.0 sec. user=mdettweiler [2015-12-25 12:35:55] 955*2^1418093-1 is not prime. Res64: 23D04D51F22F32CA Time : 0.0 sec. user=mdettweiler [2015-12-25 12:52:35] 635*2^1418094-1 is not prime. Res64: C9F0F285F57875D6 Time : 0.0 sec. user=mdettweiler [2015-12-25 12:52:35] 651*2^1418094-1 is not prime. Res64: 449BC4117B139B76 Time : 0.0 sec. user=mdettweiler [2015-12-25 12:53:31] 695*2^1418094-1 is not prime. Res64: 9BDBB22FCC477CEC Time : 0.0 sec. user=mdettweiler [2015-12-25 12:53:32] 797*2^1418094-1 is not prime. Res64: 724CDAFAE7C46C7F Time : 0.0 sec. user=mdettweiler [2015-12-25 13:10:05] 851*2^1418094-1 is not prime. Res64: DA21BDA8D7C5B63B Time : 0.0 sec. user=mdettweiler [2015-12-25 13:10:05] 881*2^1418094-1 is not prime. Res64: BC03142DF549C75D Time : 0.0 sec. user=mdettweiler [2015-12-25 13:11:00] 945*2^1418094-1 is not prime. Res64: 00788677AA4E0540 Time : 0.0 sec. user=mdettweiler [2015-12-25 13:11:00] 971*2^1418094-1 is not prime. Res64: F09ABC3226D18C13 Time : 0.0 sec. user=mdettweiler [2015-12-25 13:27:36] 983*2^1418094-1 is not prime. Res64: C1D468AE5B55BFB8 Time : 0.0 sec. user=mdettweiler [2015-12-25 13:27:36] 661*2^1418095-1 is not prime. Res64: 436814FFC26C173C Time : 0.0 sec. user=mdettweiler [2015-12-25 13:28:29] 793*2^1418095-1 is not prime. Res64: 53A91C3C6671C01B Time : 0.0 sec. user=mdettweiler [2015-12-25 13:28:29] 873*2^1418095-1 is not prime. Res64: 260844A9E877678C Time : 0.0 sec. user=mdettweiler [2015-12-25 13:45:05] 885*2^1418095-1 is not prime. Res64: C627ADE885199FDD Time : 0.0 sec. user=mdettweiler [2015-12-25 13:45:05] 895*2^1418095-1 is not prime. Res64: 527E93EE7BE7AFB8 Time : 0.0 sec. user=mdettweiler [2015-12-25 13:45:57] 909*2^1418095-1 is not prime. Res64: 38D5DA7AB2AD9587 Time : 0.0 sec. user=mdettweiler [2015-12-25 13:45:58] 999*2^1418095-1 is not prime. Res64: A9DC474550960D5F Time : 0.0 sec. user=mdettweiler [2015-12-25 14:02:35] 615*2^1418096-1 is not prime. Res64: 9D2B1EFD16FE6E85 Time : 0.0 sec. user=mdettweiler [2015-12-25 14:02:36] 629*2^1418096-1 is not prime. Res64: 8E22D1189F947C49 Time : 0.0 sec. user=mdettweiler [2015-12-25 14:03:26] 827*2^1418096-1 is not prime. Res64: 22DB92DB8C86278F Time : 0.0 sec. user=mdettweiler [2015-12-25 14:03:27] 833*2^1418096-1 is not prime. Res64: 1AE739BE298FBE59 Time : 0.0 sec. user=mdettweiler [2015-12-25 14:20:18] 945*2^1418096-1 is not prime. Res64: 9AE4DADB4AEE6FA6 Time : 0.0 sec. user=mdettweiler [2015-12-25 14:20:18] 769*2^1418097-1 is not prime. Res64: 73FBC5E437542CD1 Time : 0.0 sec. user=mdettweiler [2015-12-25 14:20:57] 781*2^1418097-1 is not prime. Res64: B3A979D04AFD0A1B Time : 0.0 sec. user=mdettweiler [2015-12-25 14:20:58] 865*2^1418097-1 is not prime. Res64: 5C2BA45B538D0201 Time : 0.0 sec. user=mdettweiler [2015-12-25 14:37:48] 901*2^1418097-1 is not prime. Res64: 9E46C491623B10A2 Time : 0.0 sec. user=mdettweiler [2015-12-25 14:37:48] 915*2^1418097-1 is not prime. Res64: 68455D107DAF2A25 Time : 0.0 sec. user=mdettweiler [2015-12-25 14:38:26] 681*2^1418098-1 is not prime. Res64: 441B246F53D3857E Time : 0.0 sec. user=mdettweiler [2015-12-25 14:38:26] 695*2^1418098-1 is not prime. Res64: D71AD06407023ED6 Time : 0.0 sec. user=mdettweiler [2015-12-25 14:55:16] 723*2^1418098-1 is not prime. Res64: 055EDC6E29E70648 Time : 0.0 sec. user=mdettweiler [2015-12-25 14:55:17] 755*2^1418098-1 is not prime. Res64: 93D535E9A1797464 Time : 0.0 sec. user=mdettweiler [2015-12-25 14:55:54] 831*2^1418098-1 is not prime. Res64: 4BCF96F4EB8FE766 Time : 0.0 sec. user=mdettweiler [2015-12-25 14:55:54] 885*2^1418098-1 is not prime. Res64: A3F3FB8D896B43F6 Time : 0.0 sec. user=mdettweiler [2015-12-25 15:12:47] 911*2^1418098-1 is not prime. Res64: 5E3D949B03BE5A2E Time : 0.0 sec. user=mdettweiler [2015-12-25 15:12:48] 987*2^1418098-1 is not prime. Res64: 0FF2BD844E6245BB Time : 0.0 sec. user=mdettweiler [2015-12-25 15:13:22] 693*2^1418099-1 is not prime. Res64: 10F10DA0E3DBEB01 Time : 0.0 sec. user=mdettweiler [2015-12-25 15:13:23] 703*2^1418099-1 is not prime. Res64: 427D5FCA36482BE0 Time : 0.0 sec. user=mdettweiler [2015-12-25 15:30:20] 745*2^1418099-1 is not prime. Res64: BCA011EB0D65C96B Time : 0.0 sec. user=mdettweiler [2015-12-25 15:30:21] 895*2^1418099-1 is not prime. Res64: 22E658F82AB243CE Time : 0.0 sec. user=mdettweiler [2015-12-25 15:30:59] 969*2^1418099-1 is not prime. Res64: 96D0A4D35130738B Time : 0.0 sec. user=mdettweiler [2015-12-25 15:31:06] 979*2^1418099-1 is not prime. Res64: 57BBBA5AB5BE2FFE Time : 0.0 sec. user=mdettweiler [2015-12-25 15:47:54] 993*2^1418099-1 is not prime. Res64: 563571C964E2E325 Time : 0.0 sec. user=mdettweiler [2015-12-25 15:47:54] 609*2^1418100-1 is not prime. Res64: BDF8C7A93A091082 Time : 0.0 sec. user=mdettweiler [2015-12-25 15:48:34] 795*2^1418100-1 is not prime. Res64: 2074BAB478A8D0AF Time : 0.0 sec. user=mdettweiler [2015-12-25 15:48:35] 845*2^1418100-1 is not prime. Res64: 6A91E7D20A9FC528 Time : 0.0 sec. user=mdettweiler [2015-12-25 16:05:26] 887*2^1418100-1 is not prime. Res64: 1552836143E0C9E8 Time : 0.0 sec. user=mdettweiler [2015-12-25 16:05:27] 927*2^1418100-1 is not prime. Res64: 89DF77D40D53F78F Time : 0.0 sec. user=mdettweiler [2015-12-25 16:06:08] 687*2^1418101-1 is not prime. Res64: 5ABED61E441ACD0D Time : 0.0 sec. user=mdettweiler [2015-12-25 16:06:09] 747*2^1418101-1 is not prime. Res64: 024BB1BEC4A6A0E9 Time : 0.0 sec. user=mdettweiler [2015-12-25 16:23:14] 829*2^1418101-1 is not prime. Res64: 15CE97173693B8EA Time : 0.0 sec. user=mdettweiler [2015-12-25 16:23:15] 835*2^1418101-1 is not prime. Res64: C6512D412DB3748C Time : 0.0 sec. user=mdettweiler [2015-12-25 16:23:38] 671*2^1418102-1 is not prime. Res64: A8788832610D0427 Time : 0.0 sec. user=mdettweiler [2015-12-25 16:23:38] 705*2^1418102-1 is not prime. Res64: 4EA241A3B53685AE Time : 0.0 sec. user=mdettweiler [2015-12-25 16:40:44] 731*2^1418102-1 is not prime. Res64: 9449F883C02E2F61 Time : 0.0 sec. user=mdettweiler [2015-12-25 16:40:44] 953*2^1418102-1 is not prime. Res64: CAD65FECCFC4C493 Time : 0.0 sec. user=mdettweiler [2015-12-25 16:41:08] 957*2^1418102-1 is not prime. Res64: 7C0E0BD21E9CCC5F Time : 0.0 sec. user=mdettweiler [2015-12-25 16:41:08] 983*2^1418102-1 is not prime. Res64: D12CBF173030A76A Time : 0.0 sec. user=mdettweiler [2015-12-25 16:58:14] 625*2^1418103-1 is not prime. Res64: 1BB2BA429E39561D Time : 0.0 sec. user=mdettweiler [2015-12-25 16:58:15] 643*2^1418103-1 is not prime. Res64: B217A80797D3D952 Time : 0.0 sec. user=mdettweiler [2015-12-25 16:58:40] 793*2^1418103-1 is not prime. Res64: 49483A97300AA6D0 Time : 0.0 sec. user=mdettweiler [2015-12-25 16:58:40] 825*2^1418103-1 is not prime. Res64: 8091E5B8414AAF83 Time : 0.0 sec. user=mdettweiler [2015-12-25 17:15:50] 895*2^1418103-1 is not prime. Res64: 7DBC894E70B13DD3 Time : 0.0 sec. user=mdettweiler [2015-12-25 17:15:50] 943*2^1418103-1 is not prime. Res64: 6F295B68C96B68B7 Time : 0.0 sec. user=mdettweiler [2015-12-25 17:16:14] 675*2^1418104-1 is not prime. Res64: 332341BC6583B509 Time : 0.0 sec. user=mdettweiler [2015-12-25 17:16:14] 719*2^1418104-1 is not prime. Res64: 63A691F3439E9D54 Time : 0.0 sec. user=mdettweiler [2015-12-25 17:33:28] 747*2^1418104-1 is not prime. Res64: FA8CFB52877C0DF6 Time : 0.0 sec. user=mdettweiler [2015-12-25 17:33:28] 759*2^1418104-1 is not prime. Res64: 12EAE09C3362C2C0 Time : 0.0 sec. user=mdettweiler [2015-12-25 17:33:53] 765*2^1418104-1 is not prime. Res64: D7BBA91E286977DE Time : 0.0 sec. user=mdettweiler [2015-12-25 17:33:53] 875*2^1418104-1 is not prime. Res64: 56B92E116EE38E5B Time : 0.0 sec. user=mdettweiler [2015-12-25 17:51:05] 989*2^1418104-1 is not prime. Res64: 8D10B44620817E90 Time : 0.0 sec. user=mdettweiler [2015-12-25 17:51:06] 777*2^1418105-1 is not prime. Res64: 748E2C4AB29858F9 Time : 0.0 sec. user=mdettweiler [2015-12-25 17:51:31] 985*2^1418105-1 is not prime. Res64: 1ACF185998BF7E10 Time : 0.0 sec. user=mdettweiler [2015-12-25 17:51:31] 627*2^1418106-1 is not prime. Res64: 2A4723F4189BBDD4 Time : 0.0 sec. user=mdettweiler [2015-12-25 18:08:37] 677*2^1418106-1 is not prime. Res64: 5C51DB589BCA2925 Time : 0.0 sec. user=mdettweiler [2015-12-25 18:08:42] 741*2^1418106-1 is not prime. Res64: 1523577E8EE9E0A4 Time : 0.0 sec. user=mdettweiler [2015-12-25 18:09:01] 837*2^1418106-1 is not prime. Res64: 38D7AE1578804A1A Time : 0.0 sec. user=mdettweiler [2015-12-25 18:09:02] 983*2^1418106-1 is not prime. Res64: DBA1CF64E6288E5F Time : 0.0 sec. user=mdettweiler [2015-12-25 18:26:24] 601*2^1418107-1 is not prime. Res64: 231D0364ACD06E2D Time : 0.0 sec. user=mdettweiler [2015-12-25 18:26:24] 645*2^1418107-1 is not prime. Res64: 99C1704259A5CD70 Time : 0.0 sec. user=mdettweiler [2015-12-25 18:26:33] 663*2^1418107-1 is not prime. Res64: 424557AF4111E741 Time : 0.0 sec. user=mdettweiler [2015-12-25 18:26:33] 691*2^1418107-1 is not prime. Res64: 340E79EDDB160406 Time : 0.0 sec. user=mdettweiler [2015-12-25 18:43:53] 703*2^1418107-1 is not prime. Res64: 453C1FE139666D68 Time : 0.0 sec. user=mdettweiler [2015-12-25 18:43:54] 635*2^1418108-1 is not prime. Res64: 61A7064CAD2FE30A Time : 0.0 sec. user=mdettweiler [2015-12-25 18:44:01] 777*2^1418108-1 is not prime. Res64: 8A49B0A074C0D7DB Time : 0.0 sec. user=mdettweiler [2015-12-25 18:44:01] 827*2^1418108-1 is not prime. Res64: 1B1E10A68910F9FA Time : 0.0 sec. user=mdettweiler [2015-12-25 19:01:23] 839*2^1418108-1 is not prime. Res64: B16DBDB4B49E3D53 Time : 0.0 sec. user=mdettweiler [2015-12-25 19:01:24] 845*2^1418108-1 is not prime. Res64: 98AF9F57EB10ADE4 Time : 0.0 sec. user=mdettweiler [2015-12-25 19:01:32] 977*2^1418108-1 is not prime. Res64: A0AFEF1D7F1DE871 Time : 0.0 sec. user=mdettweiler [2015-12-25 19:01:33] 609*2^1418109-1 is not prime. Res64: F10AC921F75908E7 Time : 0.0 sec. user=mdettweiler [2015-12-25 19:19:06] 721*2^1418109-1 is not prime. Res64: EC4325B94533D59C Time : 0.0 sec. user=mdettweiler [2015-12-25 19:19:06] 961*2^1418109-1 is not prime. Res64: 2B82B2A36C9EDC38 Time : 0.0 sec. user=mdettweiler [2015-12-25 19:19:07] 727*2^1418109-1 is not prime. Res64: 6CAB524DE36EB2D3 Time : 0.0 sec. user=mdettweiler [2015-12-25 19:19:07] 603*2^1418110-1 is not prime. Res64: E96280746CD19D05 Time : 0.0 sec. user=mdettweiler [2015-12-25 19:36:37] 723*2^1418110-1 is not prime. Res64: 0149E24B8F065338 Time : 0.0 sec. user=mdettweiler [2015-12-25 19:36:37] 743*2^1418110-1 is not prime. Res64: 7B3D413ED45726DB Time : 0.0 sec. user=mdettweiler [2015-12-25 19:36:38] 647*2^1418110-1 is not prime. Res64: B2C4C75897B85C95 Time : 0.0 sec. user=mdettweiler [2015-12-25 19:36:38] 717*2^1418110-1 is not prime. Res64: 50962B4336F957C2 Time : 0.0 sec. user=mdettweiler [2015-12-25 19:54:08] 867*2^1418110-1 is not prime. Res64: 4BBF9180393E5851 Time : 0.0 sec. user=mdettweiler [2015-12-25 19:54:08] 885*2^1418110-1 is not prime. Res64: CE650E1452C06195 Time : 0.0 sec. user=mdettweiler [2015-12-25 19:54:08] 761*2^1418110-1 is not prime. Res64: 4886EF2BEFDA5079 Time : 0.0 sec. user=mdettweiler [2015-12-25 19:54:09] 765*2^1418110-1 is not prime. Res64: DF6FEAB7C87B2347 Time : 0.0 sec. user=mdettweiler [2015-12-25 20:11:44] 891*2^1418110-1 is not prime. Res64: CD5EBC4B25D54614 Time : 0.0 sec. user=mdettweiler [2015-12-25 20:11:44] 871*2^1418111-1 is not prime. Res64: 29EE4CC3373B1EE3 Time : 0.0 sec. user=mdettweiler [2015-12-25 20:11:44] 715*2^1418111-1 is not prime. Res64: 6A08D0C3DD960B88 Time : 0.0 sec. user=mdettweiler [2015-12-25 20:11:45] 901*2^1418111-1 is not prime. Res64: E55DE449DB79D942 Time : 0.0 sec. user=mdettweiler [2015-12-25 20:29:22] 725*2^1418112-1 is not prime. Res64: 77B977A9286D6051 Time : 0.0 sec. user=mdettweiler [2015-12-25 20:29:22] 903*2^1418112-1 is not prime. Res64: 2BA0A7972314CE14 Time : 0.0 sec. user=mdettweiler [2015-12-25 20:29:23] 809*2^1418112-1 is not prime. Res64: DDF05F3E34C1214D Time : 0.0 sec. user=mdettweiler [2015-12-25 20:29:23] 863*2^1418112-1 is not prime. Res64: 3A18F992C01CA754 Time : 0.0 sec. user=mdettweiler [2015-12-25 20:46:57] 929*2^1418112-1 is not prime. Res64: A7B3A04488A9DFD1 Time : 0.0 sec. user=mdettweiler [2015-12-25 20:46:57] 607*2^1418113-1 is not prime. Res64: DF2F5ED9EB5E5B5E Time : 0.0 sec. user=mdettweiler [2015-12-25 20:46:58] 999*2^1418112-1 is not prime. Res64: 77E176C84DE9F844 Time : 0.0 sec. user=mdettweiler [2015-12-25 20:46:58] 765*2^1418113-1 is not prime. Res64: 0E8EE397E57C8220 Time : 0.0 sec. user=mdettweiler [2015-12-25 21:04:32] 769*2^1418113-1 is not prime. Res64: 473C79510FC40818 Time : 0.0 sec. user=mdettweiler [2015-12-25 21:04:32] 987*2^1418113-1 is not prime. Res64: 777A58E6F4FB274B Time : 0.0 sec. user=mdettweiler [2015-12-25 21:04:34] 915*2^1418113-1 is not prime. Res64: 1D82D55C1FD15D13 Time : 0.0 sec. user=mdettweiler [2015-12-25 21:04:35] 641*2^1418114-1 is not prime. Res64: F68D688935DD2BFC Time : 0.0 sec. user=mdettweiler [2015-12-25 21:22:33] 833*2^1418114-1 is not prime. Res64: 76A8D52828E1FC20 Time : 0.0 sec. user=mdettweiler [2015-12-25 21:22:34] 665*2^1418114-1 is not prime. Res64: 9553C6A301C713FB Time : 0.0 sec. user=mdettweiler [2015-12-25 21:22:34] 851*2^1418114-1 is not prime. Res64: 7C8A74AA9947E861 Time : 0.0 sec. user=mdettweiler [2015-12-25 21:22:34] 825*2^1418114-1 is not prime. Res64: 7668F307EA1D0F4A Time : 0.0 sec. user=mdettweiler [2015-12-25 21:40:07] 783*2^1418115-1 is not prime. Res64: 018F4825A72B4B26 Time : 0.0 sec. user=mdettweiler [2015-12-25 21:40:07] 805*2^1418115-1 is not prime. Res64: 56DC59EE4B99EA0F Time : 0.0 sec. user=mdettweiler [2015-12-25 21:40:09] 983*2^1418114-1 is not prime. Res64: 76002C4A6C301BB0 Time : 0.0 sec. user=mdettweiler [2015-12-25 21:40:10] 741*2^1418115-1 is not prime. Res64: D2D5D0973C0D3B3C Time : 0.0 sec. user=mdettweiler [2015-12-25 21:57:41] 919*2^1418115-1 is not prime. Res64: 22E319E011039F83 Time : 0.0 sec. user=mdettweiler [2015-12-25 21:57:41] 951*2^1418115-1 is not prime. Res64: C26DD8431EBE6ED2 Time : 0.0 sec. user=mdettweiler [2015-12-25 21:57:43] 615*2^1418116-1 is not prime. Res64: 95BD820DDC871198 Time : 0.0 sec. user=mdettweiler [2015-12-25 21:57:43] 663*2^1418116-1 is not prime. Res64: B492C6A9615BBADC Time : 0.0 sec. user=mdettweiler [2015-12-25 22:15:16] 677*2^1418116-1 is not prime. Res64: 55781B98076C72E4 Time : 0.0 sec. user=mdettweiler [2015-12-25 22:15:16] 749*2^1418116-1 is not prime. Res64: 82B67D110C8C64EF Time : 0.0 sec. user=mdettweiler [2015-12-25 22:15:18] 773*2^1418116-1 is not prime. Res64: 01ACA8026FF7E43E Time : 0.0 sec. user=mdettweiler [2015-12-25 22:15:19] 803*2^1418116-1 is not prime. Res64: 411B1349876D6B54 Time : 0.0 sec. user=mdettweiler [2015-12-25 22:32:47] 857*2^1418116-1 is not prime. Res64: D760BCB8391589B4 Time : 0.0 sec. user=mdettweiler [2015-12-25 22:32:48] 875*2^1418116-1 is not prime. Res64: 6D6C8E597645C093 Time : 0.0 sec. user=mdettweiler [2015-12-25 22:32:48] 993*2^1418116-1 is not prime. Res64: BB98BA43E3162D1C Time : 0.0 sec. user=mdettweiler [2015-12-25 22:32:49] 615*2^1418117-1 is not prime. Res64: CCF6D3C1FA5F047D Time : 0.0 sec. user=mdettweiler [2015-12-25 22:50:16] 627*2^1418117-1 is not prime. Res64: 27FC1997D0D45628 Time : 0.0 sec. user=mdettweiler [2015-12-25 22:50:16] 717*2^1418117-1 is not prime. Res64: 0439A98012F96FA5 Time : 0.0 sec. user=mdettweiler [2015-12-25 22:50:16] 697*2^1418117-1 is not prime. Res64: B1F13D04170EDE48 Time : 0.0 sec. user=mdettweiler [2015-12-25 22:50:17] 759*2^1418117-1 is not prime. Res64: 4CC1E5390EDC2606 Time : 0.0 sec. user=mdettweiler [2015-12-25 23:07:46] 927*2^1418117-1 is not prime. Res64: C0FA4E7A236B3FC2 Time : 0.0 sec. user=mdettweiler [2015-12-25 23:07:46] 945*2^1418117-1 is not prime. Res64: 7980F4A9288440F9 Time : 0.0 sec. user=mdettweiler [2015-12-25 23:07:47] 931*2^1418117-1 is not prime. Res64: 523B131D4E1523E3 Time : 0.0 sec. user=mdettweiler [2015-12-25 23:07:47] 605*2^1418118-1 is not prime. Res64: 307C15C0DD6210C7 Time : 0.0 sec. user=mdettweiler [2015-12-25 23:25:19] 681*2^1418118-1 is not prime. Res64: 3A340F6177F37A50 Time : 0.0 sec. user=mdettweiler [2015-12-25 23:25:19] 765*2^1418118-1 is not prime. Res64: CBB54978D2EA203C Time : 0.0 sec. user=mdettweiler [2015-12-25 23:25:19] 977*2^1418118-1 is not prime. Res64: C146E2568827BB7B Time : 0.0 sec. user=mdettweiler [2015-12-25 23:25:19] 761*2^1418118-1 is not prime. Res64: A20D2B3E706B648B Time : 0.0 sec. user=mdettweiler [2015-12-25 23:42:48] 675*2^1418119-1 is not prime. Res64: C7A3C39BD9211B64 Time : 0.0 sec. user=mdettweiler [2015-12-25 23:42:48] 925*2^1418119-1 is not prime. Res64: E2483C4B45ADD6E5 Time : 0.0 sec. user=mdettweiler [2015-12-25 23:42:48] 931*2^1418119-1 is not prime. Res64: B9C02A4A25DE7D6B Time : 0.0 sec. user=mdettweiler [2015-12-25 23:42:48] 913*2^1418119-1 is not prime. Res64: B0193B45079671B2 Time : 0.0 sec. user=mdettweiler [2015-12-26 00:00:21] 985*2^1418119-1 is not prime. Res64: 0E48C7E7F7F29E06 Time : 0.0 sec. user=mdettweiler [2015-12-26 00:00:21] 999*2^1418119-1 is not prime. Res64: FDE94CA7630D94A2 Time : 0.0 sec. user=mdettweiler [2015-12-26 00:00:22] 767*2^1418120-1 is not prime. Res64: 021AAE516094D84C Time : 0.0 sec. user=mdettweiler [2015-12-26 00:00:22] 785*2^1418120-1 is not prime. Res64: 4B9957EAC15C3B7F Time : 0.0 sec.