user=mdettweiler [2016-08-18 00:03:20] 945*2^1437846-1 is not prime. Res64: CC4EEBCF1E370632 Time : 0.0 sec. user=mdettweiler [2016-08-18 00:03:22] 947*2^1437846-1 is not prime. Res64: AB110021E5329AA6 Time : 0.0 sec. user=mdettweiler [2016-08-18 00:03:22] 975*2^1437846-1 is not prime. Res64: DA1989F5EA6F91B9 Time : 0.0 sec. user=mdettweiler [2016-08-18 00:03:23] 619*2^1437847-1 is not prime. Res64: 0629A4B7548B726D Time : 0.0 sec. user=mdettweiler [2016-08-18 00:03:24] 633*2^1437847-1 is not prime. Res64: 8BDD192042C65863 Time : 0.0 sec. user=mdettweiler [2016-08-18 00:04:58] 651*2^1437847-1 is not prime. Res64: 40E875EB5177DB26 Time : 0.0 sec. user=mdettweiler [2016-08-18 00:05:00] 673*2^1437847-1 is not prime. Res64: C35F7E6D9FBFE0E2 Time : 0.0 sec. user=mdettweiler [2016-08-18 00:05:01] 681*2^1437847-1 is not prime. Res64: 4D00A130D20048E7 Time : 0.0 sec. user=mdettweiler [2016-08-18 00:05:03] 729*2^1437847-1 is not prime. Res64: 9FDAAB784E5BA64D Time : 0.0 sec. user=mdettweiler [2016-08-18 00:05:04] 759*2^1437847-1 is not prime. Res64: F4491467EBF7D674 Time : 0.0 sec. user=mdettweiler [2016-08-18 00:24:35] 829*2^1437847-1 is not prime. Res64: 23755046CD872B2A Time : 0.0 sec. user=mdettweiler [2016-08-18 00:24:36] 849*2^1437847-1 is not prime. Res64: 00C94E42F237CE6F Time : 0.0 sec. user=mdettweiler [2016-08-18 00:24:36] 891*2^1437847-1 is not prime. Res64: 58983CFDAF3DC0F7 Time : 0.0 sec. user=mdettweiler [2016-08-18 00:24:37] 913*2^1437847-1 is not prime. Res64: F9D9E46EE071FCC8 Time : 0.0 sec. user=mdettweiler [2016-08-18 00:24:37] 915*2^1437847-1 is not prime. Res64: 06B14B109F1F50CE Time : 0.0 sec. user=mdettweiler [2016-08-18 00:30:55] 615*2^1437848-1 is not prime. Res64: EFD19805788AFD41 Time : 0.0 sec. user=mdettweiler [2016-08-18 00:30:55] 803*2^1437848-1 is not prime. Res64: D4B6E9BFB2AA7663 Time : 0.0 sec. user=mdettweiler [2016-08-18 00:30:56] 813*2^1437848-1 is not prime. Res64: 5B85497FFC8113DD Time : 0.0 sec. user=mdettweiler [2016-08-18 00:30:56] 833*2^1437848-1 is not prime. Res64: DA49C5E951E31792 Time : 0.0 sec. user=mdettweiler [2016-08-18 00:30:57] 837*2^1437848-1 is not prime. Res64: 9F298D391A0154C8 Time : 0.0 sec. user=mdettweiler [2016-08-18 00:48:57] 893*2^1437848-1 is not prime. Res64: 90A446FC5AFDEECD Time : 0.0 sec. user=mdettweiler [2016-08-18 00:48:57] 657*2^1437849-1 is not prime. Res64: 1E7652CF3B7B8302 Time : 0.0 sec. user=mdettweiler [2016-08-18 00:48:58] 741*2^1437849-1 is not prime. Res64: 2D674848F1FD0EF2 Time : 0.0 sec. user=mdettweiler [2016-08-18 00:48:59] 747*2^1437849-1 is not prime. Res64: 610642820E9D631B Time : 0.0 sec. user=mdettweiler [2016-08-18 00:48:59] 789*2^1437849-1 is not prime. Res64: 425B0DC9602DD054 Time : 0.0 sec. user=mdettweiler [2016-08-18 00:50:54] 885*2^1437849-1 is not prime. Res64: 2BD49A061C1464A4 Time : 0.0 sec. user=mdettweiler [2016-08-18 00:50:54] 895*2^1437849-1 is not prime. Res64: 8D0F7EAF187375B7 Time : 0.0 sec. user=mdettweiler [2016-08-18 00:50:55] 611*2^1437850-1 is not prime. Res64: D663BB53A64D2898 Time : 0.0 sec. user=mdettweiler [2016-08-18 00:50:55] 713*2^1437850-1 is not prime. Res64: 8CB063B3F91B0908 Time : 0.0 sec. user=mdettweiler [2016-08-18 00:51:03] 735*2^1437850-1 is not prime. Res64: A8A89E2C36DB21D5 Time : 0.0 sec. user=mdettweiler [2016-08-18 01:10:08] 773*2^1437850-1 is not prime. Res64: EB9A7AEBFD049AB2 Time : 0.0 sec. user=mdettweiler [2016-08-18 01:10:11] 801*2^1437850-1 is not prime. Res64: 441756BE38ACB7B1 Time : 0.0 sec. user=mdettweiler [2016-08-18 01:10:12] 803*2^1437850-1 is not prime. Res64: 7D1699F818720E94 Time : 0.0 sec. user=mdettweiler [2016-08-18 01:10:15] 885*2^1437850-1 is not prime. Res64: 3874834D9CD46CDE Time : 0.0 sec. user=mdettweiler [2016-08-18 01:10:17] 957*2^1437850-1 is not prime. Res64: 4B57318DB2CC56E9 Time : 0.0 sec. user=mdettweiler [2016-08-18 01:16:25] 619*2^1437851-1 is not prime. Res64: C773D7138C7C3308 Time : 0.0 sec. user=mdettweiler [2016-08-18 01:16:26] 669*2^1437851-1 is not prime. Res64: 1248FF3013EFDA03 Time : 0.0 sec. user=mdettweiler [2016-08-18 01:16:26] 673*2^1437851-1 is not prime. Res64: 918B119138A6781D Time : 0.0 sec. user=mdettweiler [2016-08-18 01:16:27] 711*2^1437851-1 is not prime. Res64: 79EB62FE05859910 Time : 0.0 sec. user=mdettweiler [2016-08-18 01:16:27] 819*2^1437851-1 is not prime. Res64: E5B94DEE08EE0471 Time : 0.0 sec. user=mdettweiler [2016-08-18 01:34:17] 883*2^1437851-1 is not prime. Res64: 13B24B9D9ABA743B Time : 0.0 sec. user=mdettweiler [2016-08-18 01:34:18] 895*2^1437851-1 is not prime. Res64: 0AB1267ABB213038 Time : 0.0 sec. user=mdettweiler [2016-08-18 01:34:18] 909*2^1437851-1 is not prime. Res64: 07C0F533482F2129 Time : 0.0 sec. user=mdettweiler [2016-08-18 01:34:19] 913*2^1437851-1 is not prime. Res64: 088343096F1D05BE Time : 0.0 sec. user=mdettweiler [2016-08-18 01:34:19] 737*2^1437852-1 is not prime. Res64: 3882A05B1E7BDCE9 Time : 0.0 sec. user=mdettweiler [2016-08-18 01:36:37] 749*2^1437852-1 is not prime. Res64: CBB7CAE468814C65 Time : 0.0 sec. user=mdettweiler [2016-08-18 01:36:37] 779*2^1437852-1 is not prime. Res64: 19F194EDAC74225B Time : 0.0 sec. user=mdettweiler [2016-08-18 01:36:38] 803*2^1437852-1 is not prime. Res64: AC55A55A525DD22E Time : 0.0 sec. user=mdettweiler [2016-08-18 01:36:38] 609*2^1437853-1 is not prime. Res64: 628507FFB90D9E13 Time : 0.0 sec. user=mdettweiler [2016-08-18 01:36:39] 699*2^1437853-1 is not prime. Res64: 84B291E75E440C73 Time : 0.0 sec. user=mdettweiler [2016-08-18 01:55:59] 817*2^1437853-1 is not prime. Res64: 56A2BCA618F8EA3E Time : 0.0 sec. user=mdettweiler [2016-08-18 01:55:59] 847*2^1437853-1 is not prime. Res64: F113318E1DA4BE7D Time : 0.0 sec. user=mdettweiler [2016-08-18 01:56:00] 919*2^1437853-1 is not prime. Res64: 5345A4B6B6682571 Time : 0.0 sec. user=mdettweiler [2016-08-18 01:56:00] 635*2^1437854-1 is not prime. Res64: F125D86025EE7B90 Time : 0.0 sec. user=mdettweiler [2016-08-18 01:56:00] 675*2^1437854-1 is not prime. Res64: 3329E0FFCE3CF55B Time : 0.0 sec. user=mdettweiler [2016-08-18 02:01:47] 705*2^1437854-1 is not prime. Res64: B351F78D30EC7F2C Time : 0.0 sec. user=mdettweiler [2016-08-18 02:01:51] 711*2^1437854-1 is not prime. Res64: 5841F8EDB29D4E3B Time : 0.0 sec. user=mdettweiler [2016-08-18 02:01:52] 741*2^1437854-1 is not prime. Res64: AE227B35B67F9296 Time : 0.0 sec. user=mdettweiler [2016-08-18 02:01:53] 797*2^1437854-1 is not prime. Res64: 1A3BF93C458F6573 Time : 0.0 sec. user=mdettweiler [2016-08-18 02:01:54] 815*2^1437854-1 is not prime. Res64: B3BCE6034F5CFCF4 Time : 0.0 sec. user=mdettweiler [2016-08-18 02:19:47] 945*2^1437854-1 is not prime. Res64: E5BBA0A12A608D91 Time : 0.0 sec. user=mdettweiler [2016-08-18 02:19:48] 643*2^1437855-1 is not prime. Res64: D6AA3AC89F3C47F3 Time : 0.0 sec. user=mdettweiler [2016-08-18 02:19:48] 691*2^1437855-1 is not prime. Res64: 70C245475F0C8D50 Time : 0.0 sec. user=mdettweiler [2016-08-18 02:19:49] 739*2^1437855-1 is not prime. Res64: F1EF68F6AC83C5BC Time : 0.0 sec. user=mdettweiler [2016-08-18 02:19:49] 865*2^1437855-1 is not prime. Res64: B1AF7D9A795EBEDD Time : 0.0 sec. user=mdettweiler [2016-08-18 02:21:50] 885*2^1437855-1 is not prime. Res64: E2381038F9BE7247 Time : 0.0 sec. user=mdettweiler [2016-08-18 02:21:50] 951*2^1437855-1 is not prime. Res64: 964E6EAF412D258D Time : 0.0 sec. user=mdettweiler [2016-08-18 02:21:51] 963*2^1437855-1 is not prime. Res64: 55B52A3B20CCDD63 Time : 0.0 sec. user=mdettweiler [2016-08-18 02:21:51] 615*2^1437856-1 is not prime. Res64: 4306C8A08709CDED Time : 0.0 sec. user=mdettweiler [2016-08-18 02:21:52] 623*2^1437856-1 is not prime. Res64: 285AAF6ECCC74E5E Time : 0.0 sec. user=mdettweiler [2016-08-18 02:41:24] 657*2^1437856-1 is not prime. Res64: 56E6A1A5744C435A Time : 0.0 sec. user=mdettweiler [2016-08-18 02:41:25] 675*2^1437856-1 is not prime. Res64: A248A63D14AF62AA Time : 0.0 sec. user=mdettweiler [2016-08-18 02:41:25] 695*2^1437856-1 is not prime. Res64: B9FCFC6D009509A8 Time : 0.0 sec. user=mdettweiler [2016-08-18 02:41:25] 723*2^1437856-1 is not prime. Res64: 31A3A6486C57B0C5 Time : 0.0 sec. user=mdettweiler [2016-08-18 02:41:26] 843*2^1437856-1 is not prime. Res64: 21FAD1306731B16B Time : 0.0 sec. user=mdettweiler [2016-08-18 02:47:23] 845*2^1437856-1 is not prime. Res64: 536D14706FF4E0F7 Time : 0.0 sec. user=mdettweiler [2016-08-18 02:47:24] 869*2^1437856-1 is not prime. Res64: 0092A55FC50849F8 Time : 0.0 sec. user=mdettweiler [2016-08-18 02:47:25] 983*2^1437856-1 is not prime. Res64: 851D0C932004F20C Time : 0.0 sec. user=mdettweiler [2016-08-18 02:47:25] 669*2^1437857-1 is not prime. Res64: 80E60C3E080E9DCB Time : 0.0 sec. user=mdettweiler [2016-08-18 02:47:26] 691*2^1437857-1 is not prime. Res64: 625F9D1F02F3175D Time : 0.0 sec. user=mdettweiler [2016-08-18 03:05:16] 771*2^1437857-1 is not prime. Res64: ACA38891CE0AA1D1 Time : 0.0 sec. user=mdettweiler [2016-08-18 03:05:17] 837*2^1437857-1 is not prime. Res64: 032CFF36312FBB2D Time : 0.0 sec. user=mdettweiler [2016-08-18 03:05:19] 909*2^1437857-1 is not prime. Res64: 274AB9B11EFC9E31 Time : 0.0 sec. user=mdettweiler [2016-08-18 03:05:20] 991*2^1437857-1 is not prime. Res64: 1B434031EFD73CD9 Time : 0.0 sec. user=mdettweiler [2016-08-18 03:05:21] 641*2^1437858-1 is not prime. Res64: CA1732A552573C6A Time : 0.0 sec. user=mdettweiler [2016-08-18 03:07:01] 705*2^1437858-1 is not prime. Res64: 69C4B1EAC7A275BE Time : 0.0 sec. user=mdettweiler [2016-08-18 03:28:10] 615*2^1437859-1 is not prime. Res64: 6630BEADC425F50C Time : 0.0 sec. user=mdettweiler [2016-08-18 03:28:11] 709*2^1437859-1 is not prime. Res64: 1F5673431D0FAF24 Time : 0.0 sec. user=mdettweiler [2016-08-18 03:28:12] 759*2^1437859-1 is not prime. Res64: 0FCF6095068B665B Time : 0.0 sec. user=mdettweiler [2016-08-18 03:28:12] 775*2^1437859-1 is not prime. Res64: C360C8577ECC97AA Time : 0.0 sec. user=mdettweiler [2016-08-18 03:28:13] 859*2^1437859-1 is not prime. Res64: 8A60216A0FC77EC3 Time : 0.0 sec. user=mdettweiler [2016-08-18 03:35:22] 975*2^1437859-1 is not prime. Res64: BA95EA050300BBDA Time : 0.0 sec. user=mdettweiler [2016-08-18 03:35:24] 999*2^1437859-1 is not prime. Res64: DF3E6079F2470218 Time : 0.0 sec. user=mdettweiler [2016-08-18 03:35:25] 647*2^1437860-1 is not prime. Res64: 4B62E271A244791C Time : 0.0 sec. user=mdettweiler [2016-08-18 03:35:26] 659*2^1437860-1 is not prime. Res64: 654C24A09FB8E8AB Time : 0.0 sec. user=mdettweiler [2016-08-18 03:35:27] 677*2^1437860-1 is not prime. Res64: 7BE946E3850E62DE Time : 0.0 sec. user=mdettweiler [2016-08-18 03:52:40] 725*2^1437860-1 is not prime. Res64: B3F0D94F4B60A2E2 Time : 0.0 sec. user=mdettweiler [2016-08-18 03:52:43] 735*2^1437860-1 is not prime. Res64: 36D325F7FD9CB73E Time : 0.0 sec. user=mdettweiler [2016-08-18 03:52:46] 777*2^1437860-1 is not prime. Res64: 79D5930EF9C94E97 Time : 0.0 sec. user=mdettweiler [2016-08-18 03:52:48] 855*2^1437860-1 is not prime. Res64: 9A274A2616AAE2E5 Time : 0.0 sec. user=mdettweiler [2016-08-18 03:52:51] 957*2^1437860-1 is not prime. Res64: 619BD8E530DCE156 Time : 0.0 sec. user=mdettweiler [2016-08-18 04:14:32] 607*2^1437861-1 is not prime. Res64: 5DF8230A115F8145 Time : 0.0 sec. user=mdettweiler [2016-08-18 04:14:35] 649*2^1437861-1 is not prime. Res64: 1B32F083A3CCD15C Time : 0.0 sec. user=mdettweiler [2016-08-18 04:14:38] 657*2^1437861-1 is not prime. Res64: 027A93A99AE533F9 Time : 0.0 sec. user=mdettweiler [2016-08-18 04:14:40] 679*2^1437861-1 is not prime. Res64: 2163BC6C2286E6E0 Time : 0.0 sec. user=mdettweiler [2016-08-18 04:14:44] 681*2^1437861-1 is not prime. Res64: 2C023E833C8CD6F2 Time : 0.0 sec. user=mdettweiler [2016-08-18 04:21:37] 685*2^1437861-1 is not prime. Res64: 10E17AC1B517B8E0 Time : 0.0 sec. user=mdettweiler [2016-08-18 04:21:37] 907*2^1437861-1 is not prime. Res64: A23376CBCEA512E7 Time : 0.0 sec. user=mdettweiler [2016-08-18 04:21:38] 955*2^1437861-1 is not prime. Res64: 8A006FAE4D397AC8 Time : 0.0 sec. user=mdettweiler [2016-08-18 04:21:38] 997*2^1437861-1 is not prime. Res64: DE32770485920A7A Time : 0.0 sec. user=mdettweiler [2016-08-18 04:21:39] 645*2^1437862-1 is not prime. Res64: 5A5CEF34DD6EA16E Time : 0.0 sec. user=mdettweiler [2016-08-18 04:40:09] 657*2^1437862-1 is not prime. Res64: 0693F8CB65302350 Time : 0.0 sec. user=mdettweiler [2016-08-18 04:40:09] 713*2^1437862-1 is not prime. Res64: C1E0B9443611DF62 Time : 0.0 sec. user=mdettweiler [2016-08-18 04:40:09] 743*2^1437862-1 is not prime. Res64: 4E4086C59623FAC9 Time : 0.0 sec. user=mdettweiler [2016-08-18 04:40:10] 801*2^1437862-1 is not prime. Res64: 727A8E12E8A30E7E Time : 0.0 sec. user=mdettweiler [2016-08-18 04:40:10] 827*2^1437862-1 is not prime. Res64: 1DC08BE9B872DC18 Time : 0.0 sec. user=mdettweiler [2016-08-18 05:02:22] 867*2^1437862-1 is not prime. Res64: 37A55037BDAB4AC5 Time : 0.0 sec. user=mdettweiler [2016-08-18 05:02:24] 983*2^1437862-1 is not prime. Res64: C0FA37DABBAD7300 Time : 0.0 sec. user=mdettweiler [2016-08-18 05:02:25] 1001*2^1437862-1 is not prime. Res64: 35DB04695F5122A8 Time : 0.0 sec. user=mdettweiler [2016-08-18 05:02:26] 753*2^1437863-1 is not prime. Res64: 98AB8B4C54BBC7EA Time : 0.0 sec. user=mdettweiler [2016-08-18 05:02:26] 943*2^1437863-1 is not prime. Res64: E7D4C4C8A63A62D7 Time : 0.0 sec. user=mdettweiler [2016-08-18 05:07:57] 949*2^1437863-1 is not prime. Res64: 65895DFAA71A076D Time : 0.0 sec. user=mdettweiler [2016-08-18 05:07:57] 635*2^1437864-1 is not prime. Res64: C53516C4E36E8154 Time : 0.0 sec. user=mdettweiler [2016-08-18 05:07:58] 639*2^1437864-1 is not prime. Res64: 660D4DE7E8986560 Time : 0.0 sec. user=mdettweiler [2016-08-18 05:07:58] 683*2^1437864-1 is not prime. Res64: 58CFC8D5B9072F22 Time : 0.0 sec. user=mdettweiler [2016-08-18 05:07:59] 737*2^1437864-1 is not prime. Res64: 05DE92ADBE9A8B05 Time : 0.0 sec. user=mdettweiler [2016-08-18 05:26:37] 747*2^1437864-1 is not prime. Res64: 3E15F11B95BFE5E9 Time : 0.0 sec. user=mdettweiler [2016-08-18 05:26:37] 843*2^1437864-1 is not prime. Res64: 1132E927DC0CBE45 Time : 0.0 sec. user=mdettweiler [2016-08-18 05:26:37] 849*2^1437864-1 is not prime. Res64: 403BF48E55B7C8D9 Time : 0.0 sec. user=mdettweiler [2016-08-18 05:26:38] 873*2^1437864-1 is not prime. Res64: 832E2158F1000957 Time : 0.0 sec. user=mdettweiler [2016-08-18 05:26:38] 993*2^1437864-1 is not prime. Res64: 40078B914B592B55 Time : 0.0 sec. user=mdettweiler [2016-08-18 05:49:09] 601*2^1437865-1 is not prime. Res64: E02326679F2CA67B Time : 0.0 sec. user=mdettweiler [2016-08-18 05:49:10] 625*2^1437865-1 is not prime. Res64: 4DAB4F8264F3765A Time : 0.0 sec. user=mdettweiler [2016-08-18 05:49:10] 675*2^1437865-1 is not prime. Res64: 9D98806538A5A0E0 Time : 0.0 sec. user=mdettweiler [2016-08-18 05:49:11] 721*2^1437865-1 is not prime. Res64: F77FFBFD34D8AFFF Time : 0.0 sec. user=mdettweiler [2016-08-18 05:49:11] 799*2^1437865-1 is not prime. Res64: 778C3FDE6E5C6BD7 Time : 0.0 sec. user=mdettweiler [2016-08-18 05:54:34] 937*2^1437865-1 is not prime. Res64: DC2E239BF51D29B5 Time : 0.0 sec. user=mdettweiler [2016-08-18 05:54:35] 951*2^1437865-1 is not prime. Res64: 9A7E58C18E789EA8 Time : 0.0 sec. user=mdettweiler [2016-08-18 05:54:35] 987*2^1437865-1 is not prime. Res64: C62AC9A3526DBD5C Time : 0.0 sec. user=mdettweiler [2016-08-18 05:54:36] 641*2^1437866-1 is not prime. Res64: A67A66570CBC1EE0 Time : 0.0 sec. user=mdettweiler [2016-08-18 05:54:36] 707*2^1437866-1 is not prime. Res64: AED923A6463E9D43 Time : 0.0 sec. user=mdettweiler [2016-08-18 06:01:31] 735*2^1437858-1 is not prime. Res64: ACD57EE524C626BA Time : 0.0 sec. user=mdettweiler [2016-08-18 06:01:33] 833*2^1437858-1 is not prime. Res64: 2FC3E6D3555E1D98 Time : 0.0 sec. user=mdettweiler [2016-08-18 06:01:34] 945*2^1437858-1 is not prime. Res64: 36989970DFFD9179 Time : 0.0 sec. user=mdettweiler [2016-08-18 06:01:37] 609*2^1437859-1 is not prime. Res64: B9B78DDAFC2797BE Time : 0.0 sec. user=mdettweiler [2016-08-18 06:12:35] 713*2^1437866-1 is not prime. Res64: E3DAF965020B0314 Time : 0.0 sec. user=mdettweiler [2016-08-18 06:12:35] 843*2^1437866-1 is not prime. Res64: E3310944FBCCE50A Time : 0.0 sec. user=mdettweiler [2016-08-18 06:12:36] 903*2^1437866-1 is not prime. Res64: 453103E1225D5443 Time : 0.0 sec. user=mdettweiler [2016-08-18 06:12:36] 971*2^1437866-1 is not prime. Res64: DD3218896539234C Time : 0.0 sec. user=mdettweiler [2016-08-18 06:12:36] 699*2^1437867-1 is not prime. Res64: 3BCD36F8AD4EB328 Time : 0.0 sec. user=mdettweiler [2016-08-18 06:34:37] 703*2^1437867-1 is not prime. Res64: 2C8EAD60EBEEF01C Time : 0.0 sec. user=mdettweiler [2016-08-18 06:34:37] 709*2^1437867-1 is not prime. Res64: 89DEFB940E183B71 Time : 0.0 sec. user=mdettweiler [2016-08-18 06:34:38] 741*2^1437867-1 is not prime. Res64: 9379D9C8761FE197 Time : 0.0 sec. user=mdettweiler [2016-08-18 06:34:38] 849*2^1437867-1 is not prime. Res64: DF6F8ADDA8BE499D Time : 0.0 sec. user=mdettweiler [2016-08-18 06:34:39] 955*2^1437867-1 is not prime. Res64: 635D8BB7036F1AC0 Time : 0.0 sec. user=mdettweiler [2016-08-18 06:39:55] 603*2^1437868-1 is not prime. Res64: EB036A39F1BC7F21 Time : 0.0 sec. user=mdettweiler [2016-08-18 06:39:55] 677*2^1437868-1 is not prime. Res64: 3B707B59A1902077 Time : 0.0 sec. user=mdettweiler [2016-08-18 06:39:56] 687*2^1437868-1 is not prime. Res64: 4F3E1A1320EFC8C1 Time : 0.0 sec. user=mdettweiler [2016-08-18 06:39:56] 773*2^1437868-1 is not prime. Res64: CB732DB4BF308768 Time : 0.0 sec. user=mdettweiler [2016-08-18 06:39:57] 875*2^1437868-1 is not prime. Res64: 1E3AB3D1A398654E Time : 0.0 sec. user=mdettweiler [2016-08-18 06:46:57] 899*2^1437868-1 is not prime. Res64: 4A2D3D309D333713 Time : 0.0 sec. user=mdettweiler [2016-08-18 06:46:57] 987*2^1437868-1 is not prime. Res64: 922B32E5B090BADB Time : 0.0 sec. user=mdettweiler [2016-08-18 06:46:58] 995*2^1437868-1 is not prime. Res64: D679EB898A9D295B Time : 0.0 sec. user=mdettweiler [2016-08-18 06:46:58] 615*2^1437869-1 is not prime. Res64: B3AC93AEF09E0BCF Time : 0.0 sec. user=mdettweiler [2016-08-18 06:46:58] 621*2^1437869-1 is not prime. Res64: C88C925E92ADE12C Time : 0.0 sec. user=mdettweiler [2016-08-18 06:57:50] 675*2^1437869-1 is not prime. Res64: 57B25EAAF7D48512 Time : 0.0 sec. user=mdettweiler [2016-08-18 06:57:50] 697*2^1437869-1 is not prime. Res64: A256EDA068B99984 Time : 0.0 sec. user=mdettweiler [2016-08-18 06:57:50] 837*2^1437869-1 is not prime. Res64: 40E78D5D702C5333 Time : 0.0 sec. user=mdettweiler [2016-08-18 06:57:51] 641*2^1437870-1 is not prime. Res64: 9147CE270634EC29 Time : 0.0 sec. user=mdettweiler [2016-08-18 06:57:51] 651*2^1437870-1 is not prime. Res64: 77B2F14D9DA3997C Time : 0.0 sec. user=mdettweiler [2016-08-18 07:20:08] 723*2^1437870-1 is not prime. Res64: F82C665DAE8294E4 Time : 0.0 sec. user=mdettweiler [2016-08-18 07:20:10] 765*2^1437870-1 is not prime. Res64: 2EECAE39F3B432A3 Time : 0.0 sec. user=mdettweiler [2016-08-18 07:20:11] 921*2^1437870-1 is not prime. Res64: 3720CCFBA12668F2 Time : 0.0 sec. user=mdettweiler [2016-08-18 07:20:12] 977*2^1437870-1 is not prime. Res64: 99D75C8B8254F572 Time : 0.0 sec. user=mdettweiler [2016-08-18 07:20:13] 645*2^1437871-1 is not prime. Res64: 6E5520CEDE3698AF Time : 0.0 sec. user=mdettweiler [2016-08-18 07:25:20] 673*2^1437871-1 is not prime. Res64: 06CFF4EA023A4A21 Time : 0.0 sec. user=mdettweiler [2016-08-18 07:25:20] 783*2^1437871-1 is not prime. Res64: 0D65F913515BC8B4 Time : 0.0 sec. user=mdettweiler [2016-08-18 07:25:21] 901*2^1437871-1 is not prime. Res64: 2B0D73219F4A67D2 Time : 0.0 sec. user=mdettweiler [2016-08-18 07:25:21] 931*2^1437871-1 is not prime. Res64: F5E5055DCF734314 Time : 0.0 sec. user=mdettweiler [2016-08-18 07:25:21] 939*2^1437871-1 is not prime. Res64: CE6C3F2EA8FBC77C Time : 0.0 sec. user=mdettweiler [2016-08-18 07:32:16] 943*2^1437871-1 is not prime. Res64: 44B46CC2AC5B60E3 Time : 0.0 sec. user=mdettweiler [2016-08-18 07:32:17] 999*2^1437871-1 is not prime. Res64: 12D80C3C1DE9BE87 Time : 0.0 sec. user=mdettweiler [2016-08-18 07:32:17] 777*2^1437872-1 is not prime. Res64: A42C04E08102CFCC Time : 0.0 sec. user=mdettweiler [2016-08-18 07:32:17] 903*2^1437872-1 is not prime. Res64: C33CB46156423C62 Time : 0.0 sec. user=mdettweiler [2016-08-18 07:32:18] 929*2^1437872-1 is not prime. Res64: 48FB66EC7BAF06CC Time : 0.0 sec. user=mdettweiler [2016-08-18 07:43:01] 625*2^1437873-1 is not prime. Res64: 77AE652E8267F3E3 Time : 0.0 sec. user=mdettweiler [2016-08-18 07:43:02] 819*2^1437873-1 is not prime. Res64: A65DC15576F84052 Time : 0.0 sec. user=mdettweiler [2016-08-18 07:43:02] 847*2^1437873-1 is not prime. Res64: 7E3C3E947BFEDB12 Time : 0.0 sec. user=mdettweiler [2016-08-18 07:43:02] 867*2^1437873-1 is not prime. Res64: AACDCC89FC071706 Time : 0.0 sec. user=mdettweiler [2016-08-18 07:43:03] 885*2^1437873-1 is not prime. Res64: 3A783D87AD26A142 Time : 0.0 sec. user=mdettweiler [2016-08-18 08:05:33] 889*2^1437873-1 is not prime. Res64: E598113B61E7852C Time : 0.0 sec. user=mdettweiler [2016-08-18 08:05:34] 921*2^1437873-1 is not prime. Res64: 09A91FE2571C6DA2 Time : 0.0 sec. user=mdettweiler [2016-08-18 08:05:35] 657*2^1437874-1 is not prime. Res64: E205B9C76A4B229E Time : 0.0 sec. user=mdettweiler [2016-08-18 08:05:36] 701*2^1437874-1 is not prime. Res64: 04419D009EF3B6B1 Time : 0.0 sec. user=mdettweiler [2016-08-18 08:05:36] 747*2^1437874-1 is not prime. Res64: 2DD46AEC397C37A3 Time : 0.0 sec. user=mdettweiler [2016-08-18 08:10:29] 765*2^1437874-1 is not prime. Res64: 0B4B08B788A2DC15 Time : 0.0 sec. user=mdettweiler [2016-08-18 08:10:30] 923*2^1437874-1 is not prime. Res64: E118D760EEA09FDA Time : 0.0 sec. user=mdettweiler [2016-08-18 08:10:30] 941*2^1437874-1 is not prime. Res64: ABD833DC6D1F5120 Time : 0.0 sec. user=mdettweiler [2016-08-18 08:10:31] 971*2^1437874-1 is not prime. Res64: 6E5158E13DB82247 Time : 0.0 sec. user=mdettweiler [2016-08-18 08:10:31] 601*2^1437875-1 is not prime. Res64: F7DCEF40927C05CD Time : 0.0 sec. user=mdettweiler [2016-08-18 08:17:29] 649*2^1437875-1 is not prime. Res64: 33529ECB17D56CD0 Time : 0.0 sec. user=mdettweiler [2016-08-18 08:17:31] 663*2^1437875-1 is not prime. Res64: 3C04888D5110C94F Time : 0.0 sec. user=mdettweiler [2016-08-18 08:17:34] 673*2^1437875-1 is not prime. Res64: 61F42404EBA884B6 Time : 0.0 sec. user=mdettweiler [2016-08-18 08:17:36] 903*2^1437875-1 is not prime. Res64: 6512BDACB1FF50BD Time : 0.0 sec. user=mdettweiler [2016-08-18 08:17:39] 639*2^1437876-1 is not prime. Res64: D5B6641DF5A111B4 Time : 0.0 sec. user=mdettweiler [2016-08-18 08:28:16] 683*2^1437876-1 is not prime. Res64: A4FE8A204E6BE9D0 Time : 0.0 sec. user=mdettweiler [2016-08-18 08:28:16] 693*2^1437876-1 is not prime. Res64: 9DC84E6240B4E138 Time : 0.0 sec. user=mdettweiler [2016-08-18 08:28:17] 699*2^1437876-1 is not prime. Res64: 00AA31021297AF8D Time : 0.0 sec. user=mdettweiler [2016-08-18 08:28:17] 735*2^1437876-1 is not prime. Res64: 448411B43CB40819 Time : 0.0 sec. user=mdettweiler [2016-08-18 08:28:17] 909*2^1437876-1 is not prime. Res64: 9F4F924D91B2BB09 Time : 0.0 sec. user=mdettweiler [2016-08-18 08:50:57] 609*2^1437877-1 is not prime. Res64: EC4DD06BC5549C8B Time : 0.0 sec. user=mdettweiler [2016-08-18 08:50:57] 717*2^1437877-1 is not prime. Res64: 4119F25691302712 Time : 0.0 sec. user=mdettweiler [2016-08-18 08:50:58] 729*2^1437877-1 is not prime. Res64: 198371730282F753 Time : 0.0 sec. user=mdettweiler [2016-08-18 08:50:58] 741*2^1437877-1 is not prime. Res64: BF34E945D54C1BE3 Time : 0.0 sec. user=mdettweiler [2016-08-18 08:50:58] 825*2^1437877-1 is not prime. Res64: 69AA53284543A670 Time : 0.0 sec. user=mdettweiler [2016-08-18 08:55:33] 895*2^1437877-1 is not prime. Res64: D1B0BE84877E5538 Time : 0.0 sec. user=mdettweiler [2016-08-18 08:55:33] 915*2^1437877-1 is not prime. Res64: 5DA8E78837EA9D75 Time : 0.0 sec. user=mdettweiler [2016-08-18 08:55:33] 931*2^1437877-1 is not prime. Res64: 290E5A1777EE9EDD Time : 0.0 sec. user=mdettweiler [2016-08-18 08:55:34] 605*2^1437878-1 is not prime. Res64: 1C5447A4EFB4AFB0 Time : 0.0 sec. user=mdettweiler [2016-08-18 08:55:34] 663*2^1437878-1 is not prime. Res64: BAC69D8F7462D572 Time : 0.0 sec. user=mdettweiler [2016-08-18 09:03:02] 707*2^1437878-1 is not prime. Res64: B5420A40F94A994C Time : 0.0 sec. user=mdettweiler [2016-08-18 09:03:03] 743*2^1437878-1 is not prime. Res64: 95560FEA0C3A2E77 Time : 0.0 sec. user=mdettweiler [2016-08-18 09:03:04] 935*2^1437878-1 is not prime. Res64: 7FE54C3664E7D36B Time : 0.0 sec. user=mdettweiler [2016-08-18 09:03:05] 621*2^1437879-1 is not prime. Res64: F111A7A1B44AEF75 Time : 0.0 sec. user=mdettweiler [2016-08-18 09:03:06] 669*2^1437879-1 is not prime. Res64: 59818ABFEC71123A Time : 0.0 sec. user=mdettweiler [2016-08-18 09:13:39] 723*2^1437879-1 is not prime. Res64: A13F2366BF264299 Time : 0.0 sec. user=mdettweiler [2016-08-18 09:13:41] 825*2^1437879-1 is not prime. Res64: C2DF24B13EF4826C Time : 0.0 sec. user=mdettweiler [2016-08-18 09:13:41] 843*2^1437879-1 is not prime. Res64: 275E126F0C5A1EEE Time : 0.0 sec. user=mdettweiler [2016-08-18 09:13:42] 859*2^1437879-1 is not prime. Res64: A6516B6A65D58715 Time : 0.0 sec. user=mdettweiler [2016-08-18 09:13:43] 891*2^1437879-1 is not prime. Res64: 8E83882628491E8C Time : 0.0 sec. user=mdettweiler [2016-08-18 09:37:32] 743*2^1437880-1 is not prime. Res64: AB928BADAE2F3129 Time : 0.0 sec. user=mdettweiler [2016-08-18 09:37:33] 819*2^1437880-1 is not prime. Res64: A4C620790AA7512A Time : 0.0 sec. user=mdettweiler [2016-08-18 09:37:33] 615*2^1437881-1 is not prime. Res64: 52DE5779EF5A303E Time : 0.0 sec. user=mdettweiler [2016-08-18 09:37:33] 691*2^1437881-1 is not prime. Res64: 5160FEEF289E5C4D Time : 0.0 sec. user=mdettweiler [2016-08-18 09:37:34] 837*2^1437881-1 is not prime. Res64: F098E1A1CD2B7C20 Time : 0.0 sec. user=mdettweiler [2016-08-18 09:41:36] 979*2^1437881-1 is not prime. Res64: 1625AEE2BB1A9655 Time : 0.0 sec. user=mdettweiler [2016-08-18 09:41:37] 683*2^1437882-1 is not prime. Res64: 91001CDC24233D44 Time : 0.0 sec. user=mdettweiler [2016-08-18 09:41:37] 777*2^1437882-1 is not prime. Res64: D8F09F066BB4C63A Time : 0.0 sec. user=mdettweiler [2016-08-18 09:41:37] 797*2^1437882-1 is not prime. Res64: DE63CCE724D43743 Time : 0.0 sec. user=mdettweiler [2016-08-18 09:41:38] 807*2^1437882-1 is not prime. Res64: 0607634CCAD636CF Time : 0.0 sec. user=mdettweiler [2016-08-18 09:49:48] 875*2^1437882-1 is not prime. Res64: 9F6B3C69BCF27136 Time : 0.0 sec. user=mdettweiler [2016-08-18 09:49:49] 951*2^1437882-1 is not prime. Res64: B5FBB6F2088C97EA Time : 0.0 sec. user=mdettweiler [2016-08-18 09:49:49] 977*2^1437882-1 is not prime. Res64: 9E9F760C637C59AC Time : 0.0 sec. user=mdettweiler [2016-08-18 09:49:50] 603*2^1437883-1 is not prime. Res64: 7CBC24B91C23FA0D Time : 0.0 sec. user=mdettweiler [2016-08-18 09:49:50] 675*2^1437883-1 is not prime. Res64: 9CD606187A9596FB Time : 0.0 sec. user=mdettweiler [2016-08-18 09:59:51] 691*2^1437883-1 is not prime. Res64: 8BB3C4366548ABA5 Time : 0.0 sec. user=mdettweiler [2016-08-18 09:59:51] 703*2^1437883-1 is not prime. Res64: 5AE3F70A202829DE Time : 0.0 sec. user=mdettweiler [2016-08-18 09:59:52] 723*2^1437883-1 is not prime. Res64: 6A1DB8469741278E Time : 0.0 sec. user=mdettweiler [2016-08-18 09:59:52] 805*2^1437883-1 is not prime. Res64: 87CBD608D00607F0 Time : 0.0 sec. user=mdettweiler [2016-08-18 09:59:52] 925*2^1437883-1 is not prime. Res64: 2C3A275B1817D682 Time : 0.0 sec. user=mdettweiler [2016-08-18 10:23:19] 943*2^1437883-1 is not prime. Res64: 4FBD77E408B165DC Time : 0.0 sec. user=mdettweiler [2016-08-18 10:23:20] 951*2^1437883-1 is not prime. Res64: 16A7A22CD2F56158 Time : 0.0 sec. user=mdettweiler [2016-08-18 10:23:20] 985*2^1437883-1 is not prime. Res64: 061547632308BFFB Time : 0.0 sec. user=mdettweiler [2016-08-18 10:23:20] 623*2^1437884-1 is not prime. Res64: 55EB99E815B1CDD7 Time : 0.0 sec. user=mdettweiler [2016-08-18 10:23:21] 683*2^1437884-1 is not prime. Res64: B8F5944450EC9433 Time : 0.0 sec. user=mdettweiler [2016-08-18 10:26:55] 719*2^1437884-1 is not prime. Res64: 3943B5AC15B4E880 Time : 0.0 sec. user=mdettweiler [2016-08-18 10:26:56] 759*2^1437884-1 is not prime. Res64: 571ECBAB2A43BCA6 Time : 0.0 sec. user=mdettweiler [2016-08-18 10:26:56] 827*2^1437884-1 is not prime. Res64: B0AE055F639DF2CF Time : 0.0 sec. user=mdettweiler [2016-08-18 10:26:57] 837*2^1437884-1 is not prime. Res64: A6DDC6ABCA0727AA Time : 0.0 sec. user=mdettweiler [2016-08-18 10:26:58] 855*2^1437884-1 is not prime. Res64: 32069D8E2455EDBA Time : 0.0 sec. user=mdettweiler [2016-08-18 10:35:27] 903*2^1437884-1 is not prime. Res64: F37665310FB4B5E3 Time : 0.0 sec. user=mdettweiler [2016-08-18 10:35:27] 923*2^1437884-1 is not prime. Res64: DF273B6DAB5EB9AD Time : 0.0 sec. user=mdettweiler [2016-08-18 10:35:27] 993*2^1437884-1 is not prime. Res64: 9FC75A908F28E4AA Time : 0.0 sec. user=mdettweiler [2016-08-18 10:35:28] 995*2^1437884-1 is not prime. Res64: 1850C3DA95BD7094 Time : 0.0 sec. user=mdettweiler [2016-08-18 10:35:28] 639*2^1437885-1 is not prime. Res64: AF6067FD85358B35 Time : 0.0 sec. user=mdettweiler [2016-08-18 10:45:29] 657*2^1437885-1 is not prime. Res64: 451DC3057975178B Time : 0.0 sec. user=mdettweiler [2016-08-18 10:45:29] 741*2^1437885-1 is not prime. Res64: 982D2A6DE72CFD69 Time : 0.0 sec. user=mdettweiler [2016-08-18 10:45:30] 979*2^1437885-1 is not prime. Res64: 8AFBB83BD96638A7 Time : 0.0 sec. user=mdettweiler [2016-08-18 10:45:30] 773*2^1437886-1 is not prime. Res64: 4FC695E4B177936F Time : 0.0 sec. user=mdettweiler [2016-08-18 10:45:31] 661*2^1437887-1 is not prime. Res64: 588FB2B2C79DF1B2 Time : 0.0 sec. user=mdettweiler [2016-08-18 11:08:56] 663*2^1437887-1 is not prime. Res64: AF5AC74953FC2DA0 Time : 0.0 sec. user=mdettweiler [2016-08-18 11:08:57] 949*2^1437887-1 is not prime. Res64: A9A0C84F68B290E6 Time : 0.0 sec. user=mdettweiler [2016-08-18 11:08:57] 991*2^1437887-1 is not prime. Res64: 2F587939ADA9B59A Time : 0.0 sec. user=mdettweiler [2016-08-18 11:08:57] 999*2^1437887-1 is not prime. Res64: 4921E9F2066A70AF Time : 0.0 sec. user=mdettweiler [2016-08-18 11:08:58] 689*2^1437888-1 is not prime. Res64: 6506910234DEAFF6 Time : 0.0 sec. user=mdettweiler [2016-08-18 11:12:19] 993*2^1437888-1 is not prime. Res64: E1E0E30413195164 Time : 0.0 sec. user=mdettweiler [2016-08-18 11:12:21] 625*2^1437889-1 is not prime. Res64: 11F25ED92D52F51A Time : 0.0 sec. user=mdettweiler [2016-08-18 11:12:24] 675*2^1437889-1 is not prime. Res64: 047911DC36EDCF45 Time : 0.0 sec. user=mdettweiler [2016-08-18 11:12:26] 705*2^1437889-1 is not prime. Res64: 20E3CC1770AD96CA Time : 0.0 sec. user=mdettweiler [2016-08-18 11:12:28] 721*2^1437889-1 is not prime. Res64: 0C564C6BF2C5CA67 Time : 0.0 sec. user=mdettweiler [2016-08-18 11:20:52] 877*2^1437889-1 is not prime. Res64: 02554DD8FB612303 Time : 0.0 sec. user=mdettweiler [2016-08-18 11:20:53] 885*2^1437889-1 is not prime. Res64: ECBFD0BCAC9F46D8 Time : 0.0 sec. user=mdettweiler [2016-08-18 11:20:53] 895*2^1437889-1 is not prime. Res64: D5654DBDB384F201 Time : 0.0 sec. user=mdettweiler [2016-08-18 11:20:54] 955*2^1437889-1 is not prime. Res64: 6B0AF25115798B18 Time : 0.0 sec. user=mdettweiler [2016-08-18 11:20:55] 603*2^1437890-1 is not prime. Res64: F549CF690BBDF8B3 Time : 0.0 sec. user=mdettweiler [2016-08-18 11:30:55] 767*2^1437890-1 is not prime. Res64: F5A02057D082A67F Time : 0.0 sec. user=mdettweiler [2016-08-18 11:30:55] 783*2^1437890-1 is not prime. Res64: 445131FBC31C86BB Time : 0.0 sec. user=mdettweiler [2016-08-18 11:30:55] 797*2^1437890-1 is not prime. Res64: 84925336520C0B35 Time : 0.0 sec. user=mdettweiler [2016-08-18 11:30:56] 813*2^1437890-1 is not prime. Res64: A368979EA502267D Time : 0.0 sec. user=mdettweiler [2016-08-18 11:30:56] 845*2^1437890-1 is not prime. Res64: D0A8ADE9346C5046 Time : 0.0 sec. user=mdettweiler [2016-08-18 11:56:44] 885*2^1437890-1 is not prime. Res64: CD635AF39027AABF Time : 0.0 sec. user=mdettweiler [2016-08-18 11:56:44] 915*2^1437890-1 is not prime. Res64: BA8ED31712CADA45 Time : 0.0 sec. user=mdettweiler [2016-08-18 11:56:44] 995*2^1437890-1 is not prime. Res64: 8055AB1DCBFB643A Time : 0.0 sec. user=mdettweiler [2016-08-18 11:56:45] 609*2^1437891-1 is not prime. Res64: AA9C51292CD181CB Time : 0.0 sec. user=mdettweiler [2016-08-18 11:56:45] 943*2^1437891-1 is not prime. Res64: D328A9BF35ACC392 Time : 0.0 sec. user=mdettweiler [2016-08-18 12:01:12] 961*2^1437891-1 is not prime. Res64: 09C801E9B7C50D86 Time : 0.0 sec. user=mdettweiler [2016-08-18 12:01:13] 969*2^1437891-1 is not prime. Res64: BAD394EEC9FBB30E Time : 0.0 sec. user=mdettweiler [2016-08-18 12:01:13] 653*2^1437892-1 is not prime. Res64: A37CEBC6175403F6 Time : 0.0 sec. user=mdettweiler [2016-08-18 12:01:14] 665*2^1437892-1 is not prime. Res64: 93947C756312E3E2 Time : 0.0 sec. user=mdettweiler [2016-08-18 12:01:14] 677*2^1437892-1 is not prime. Res64: FB958AEBD3D30B91 Time : 0.0 sec. user=mdettweiler [2016-08-18 12:13:12] 689*2^1437892-1 is not prime. Res64: A761F176D671F133 Time : 0.0 sec. user=mdettweiler [2016-08-18 12:13:12] 693*2^1437892-1 is not prime. Res64: BC0BA195C6A41376 Time : 0.0 sec. user=mdettweiler [2016-08-18 12:13:13] 735*2^1437892-1 is not prime. Res64: 4DCC962B770DADE2 Time : 0.0 sec. user=mdettweiler [2016-08-18 12:13:13] 813*2^1437892-1 is not prime. Res64: 929F055CE0EEAD0E Time : 0.0 sec. user=mdettweiler [2016-08-18 12:13:13] 825*2^1437892-1 is not prime. Res64: 26EED5E17E674B08 Time : 0.0 sec. user=mdettweiler [2016-08-18 12:23:17] 983*2^1437892-1 is not prime. Res64: BE57E59065AEE94B Time : 0.0 sec. user=mdettweiler [2016-08-18 12:23:17] 769*2^1437893-1 is not prime. Res64: DD35D80A61D43EC4 Time : 0.0 sec. user=mdettweiler [2016-08-18 12:23:17] 981*2^1437893-1 is not prime. Res64: 01CBD3B0D14B313F Time : 0.0 sec. user=mdettweiler [2016-08-18 12:23:18] 795*2^1437894-1 is not prime. Res64: 64DF65349CB71DC1 Time : 0.0 sec. user=mdettweiler [2016-08-18 12:23:18] 861*2^1437894-1 is not prime. Res64: B73D5B4CF5650D09 Time : 0.0 sec. user=mdettweiler [2016-08-18 12:52:17] 619*2^1437895-1 is not prime. Res64: DCBDA4478992B160 Time : 0.0 sec. user=mdettweiler [2016-08-18 12:52:17] 645*2^1437895-1 is not prime. Res64: 51EEC2CC798DE818 Time : 0.0 sec. user=mdettweiler [2016-08-18 12:52:17] 679*2^1437895-1 is not prime. Res64: 1166133FAFE82DF2 Time : 0.0 sec. user=mdettweiler [2016-08-18 12:52:17] 693*2^1437895-1 is not prime. Res64: 99E44D2886F9BFC5 Time : 0.0 sec. user=mdettweiler [2016-08-18 12:52:18] 715*2^1437895-1 is not prime. Res64: 8D70769C9ED795B0 Time : 0.0 sec. user=mdettweiler [2016-08-18 12:54:19] 841*2^1437895-1 is not prime. Res64: F88FE1946C893F82 Time : 0.0 sec. user=mdettweiler [2016-08-18 12:54:19] 843*2^1437895-1 is not prime. Res64: 9E8D0D27E3C7A49C Time : 0.0 sec. user=mdettweiler [2016-08-18 12:54:19] 853*2^1437895-1 is not prime. Res64: FFB6B9CE10142B78 Time : 0.0 sec. user=mdettweiler [2016-08-18 12:54:19] 969*2^1437896-1 is not prime. Res64: 352987B76612022C Time : 0.0 sec. user=mdettweiler [2016-08-18 12:54:20] 699*2^1437897-1 is not prime. Res64: C6621A85063CAA2F Time : 0.0 sec. user=mdettweiler [2016-08-18 13:06:40] 735*2^1437897-1 is not prime. Res64: 4129F3B99479AC44 Time : 0.0 sec. user=mdettweiler [2016-08-18 13:06:44] 739*2^1437897-1 is not prime. Res64: 271F719D5E3BC4E2 Time : 0.0 sec. user=mdettweiler [2016-08-18 13:06:47] 915*2^1437897-1 is not prime. Res64: 5EDBE5360D072E2A Time : 0.0 sec. user=mdettweiler [2016-08-18 13:06:49] 937*2^1437897-1 is not prime. Res64: 7364E93367CE9C3D Time : 0.0 sec. user=mdettweiler [2016-08-18 13:06:51] 949*2^1437897-1 is not prime. Res64: 8B79123A188709F1 Time : 0.0 sec. user=mdettweiler [2016-08-18 13:42:11] 601*2^1437899-1 is not prime. Res64: 102AEFDF93AE0197 Time : 0.0 sec. user=mdettweiler [2016-08-18 13:42:11] 643*2^1437899-1 is not prime. Res64: 68F08CA7E0D764A4 Time : 0.0 sec. user=mdettweiler [2016-08-18 13:42:11] 693*2^1437899-1 is not prime. Res64: 0C9536A36AA8C748 Time : 0.0 sec. user=mdettweiler [2016-08-18 13:42:11] 711*2^1437899-1 is not prime. Res64: 337150A6995585F1 Time : 0.0 sec. user=mdettweiler [2016-08-18 13:42:12] 861*2^1437899-1 is not prime. Res64: 4FAE2755838317E9 Time : 0.0 sec. user=mdettweiler [2016-08-18 13:44:14] 883*2^1437899-1 is not prime. Res64: 9FA70A98FF856C0C Time : 0.0 sec. user=mdettweiler [2016-08-18 13:44:15] 921*2^1437899-1 is not prime. Res64: 8058DC3D07DBD162 Time : 0.0 sec. user=mdettweiler [2016-08-18 13:44:15] 939*2^1437899-1 is not prime. Res64: A554A61C44C4C568 Time : 0.0 sec. user=mdettweiler [2016-08-18 13:44:16] 797*2^1437900-1 is not prime. Res64: 40AF81E3AB8EB3D0 Time : 0.0 sec. user=mdettweiler [2016-08-18 13:44:16] 839*2^1437900-1 is not prime. Res64: BA7B2688707194A1 Time : 0.0 sec. user=mdettweiler [2016-08-18 13:56:11] 845*2^1437900-1 is not prime. Res64: B19574115424E6A8 Time : 0.0 sec. user=mdettweiler [2016-08-18 13:56:12] 983*2^1437900-1 is not prime. Res64: C84C34FAD218D33C Time : 0.0 sec. user=mdettweiler [2016-08-18 13:56:12] 687*2^1437901-1 is not prime. Res64: 76C5262947BD46EF Time : 0.0 sec. user=mdettweiler [2016-08-18 13:56:12] 717*2^1437901-1 is not prime. Res64: B5762C3DA5EB1725 Time : 0.0 sec. user=mdettweiler [2016-08-18 13:56:12] 727*2^1437901-1 is not prime. Res64: 3DC82837BC6BBE99 Time : 0.0 sec. user=mdettweiler [2016-08-18 14:28:56] 741*2^1437901-1 is not prime. Res64: 639DD610136E4C28 Time : 0.0 sec. user=mdettweiler [2016-08-18 14:28:56] 855*2^1437901-1 is not prime. Res64: AF1599C8B0F28317 Time : 0.0 sec. user=mdettweiler [2016-08-18 14:28:57] 871*2^1437901-1 is not prime. Res64: B1EC619A1E775B7E Time : 0.0 sec. user=mdettweiler [2016-08-18 14:28:57] 955*2^1437901-1 is not prime. Res64: 0C8B0C01F4E51192 Time : 0.0 sec. user=mdettweiler [2016-08-18 14:28:57] 987*2^1437901-1 is not prime. Res64: C7F5F1F843AF228F Time : 0.0 sec. user=mdettweiler [2016-08-18 14:31:27] 755*2^1437902-1 is not prime. Res64: 03A49D2B063190B7 Time : 0.0 sec. user=mdettweiler [2016-08-18 14:31:28] 827*2^1437902-1 is not prime. Res64: 29C1F8C5497AC9C9 Time : 0.0 sec. user=mdettweiler [2016-08-18 14:31:28] 917*2^1437902-1 is not prime. Res64: 185767F2C6CC3D6D Time : 0.0 sec. user=mdettweiler [2016-08-18 14:31:28] 935*2^1437902-1 is not prime. Res64: B35D153FEF8C3B02 Time : 0.0 sec. user=mdettweiler [2016-08-18 14:31:28] 609*2^1437903-1 is not prime. Res64: 69B63DBF206BC10B Time : 0.0 sec. user=mdettweiler [2016-08-18 14:42:48] 679*2^1437903-1 is not prime. Res64: D1E89D6D40392ABE Time : 0.0 sec. user=mdettweiler [2016-08-18 14:42:49] 703*2^1437903-1 is not prime. Res64: F998EB60171EB3DC Time : 0.0 sec. user=mdettweiler [2016-08-18 14:42:49] 723*2^1437903-1 is not prime. Res64: E10054CEE1471C19 Time : 0.0 sec. user=mdettweiler [2016-08-18 14:42:49] 819*2^1437903-1 is not prime. Res64: 1E9A5F1E43EB9C9B Time : 0.0 sec. user=mdettweiler [2016-08-18 14:42:49] 901*2^1437903-1 is not prime. Res64: 39A7EE7C1A172F5A Time : 0.0 sec. user=mdettweiler [2016-08-18 15:17:52] 619*2^1437905-1 is not prime. Res64: 241D633B47EDC1C1 Time : 0.0 sec. user=mdettweiler [2016-08-18 15:17:52] 657*2^1437905-1 is not prime. Res64: AC9B1230D3370E61 Time : 0.0 sec. user=mdettweiler [2016-08-18 15:17:52] 675*2^1437905-1 is not prime. Res64: FF5A10B4DAE043BF Time : 0.0 sec. user=mdettweiler [2016-08-18 15:17:52] 715*2^1437905-1 is not prime. Res64: 9C50DD2C4A12694A Time : 0.0 sec. user=mdettweiler [2016-08-18 15:17:53] 735*2^1437905-1 is not prime. Res64: 50FF5799773B4E2E Time : 0.0 sec. user=mdettweiler [2016-08-18 15:30:11] 787*2^1437905-1 is not prime. Res64: 9784687DD342AC81 Time : 0.0 sec. user=mdettweiler [2016-08-18 15:30:12] 801*2^1437905-1 is not prime. Res64: 74D46C42CF844F2F Time : 0.0 sec. user=mdettweiler [2016-08-18 15:30:12] 811*2^1437905-1 is not prime. Res64: EAF0F958CE39C0DA Time : 0.0 sec. user=mdettweiler [2016-08-18 15:30:12] 847*2^1437905-1 is not prime. Res64: 44E34914A245AE96 Time : 0.0 sec. user=mdettweiler [2016-08-18 15:30:13] 889*2^1437905-1 is not prime. Res64: 5AE9E205D5029E09 Time : 0.0 sec. user=mdettweiler [2016-08-18 16:08:32] 627*2^1437906-1 is not prime. Res64: 95EB224EE685E6E4 Time : 0.0 sec. user=mdettweiler [2016-08-18 16:08:35] 735*2^1437906-1 is not prime. Res64: 8BAFCE8233499D77 Time : 0.0 sec. user=mdettweiler [2016-08-18 16:08:38] 783*2^1437906-1 is not prime. Res64: 324741C1D9A857FD Time : 0.0 sec. user=mdettweiler [2016-08-18 16:08:40] 947*2^1437906-1 is not prime. Res64: 7818EAA2EBFD4388 Time : 0.0 sec. user=mdettweiler [2016-08-18 16:08:42] 615*2^1437907-1 is not prime. Res64: 4941A860838ED615 Time : 0.0 sec. user=mdettweiler [2016-08-18 16:20:00] 691*2^1437907-1 is not prime. Res64: 4B5FB25916E3E606 Time : 0.0 sec. user=mdettweiler [2016-08-18 16:20:00] 775*2^1437907-1 is not prime. Res64: F52D8802EA1E87DC Time : 0.0 sec. user=mdettweiler [2016-08-18 16:20:01] 793*2^1437907-1 is not prime. Res64: 7721581010091752 Time : 0.0 sec. user=mdettweiler [2016-08-18 16:20:01] 919*2^1437907-1 is not prime. Res64: 91A1EA6C8CEAE412 Time : 0.0 sec. user=mdettweiler [2016-08-18 16:20:01] 985*2^1437907-1 is not prime. Res64: 7524098B9861A7B6 Time : 0.0 sec. user=juhehe [2016-08-18 16:53:21] 995*2^1437908-1 is not prime. Res64: A69F3D1D1D49F838 Time : 0.0 sec. user=mdettweiler [2016-08-18 16:58:21] 617*2^1437908-1 is not prime. Res64: 432FFB089A21806D Time : 0.0 sec. user=mdettweiler [2016-08-18 16:58:22] 687*2^1437908-1 is not prime. Res64: FB46856E4089F731 Time : 0.0 sec. user=mdettweiler [2016-08-18 16:58:22] 837*2^1437908-1 is not prime. Res64: 888C048642C06C5B Time : 0.0 sec. user=mdettweiler [2016-08-18 16:58:22] 929*2^1437908-1 is not prime. Res64: C889B2F00F60473B Time : 0.0 sec. user=mdettweiler [2016-08-18 16:58:22] 993*2^1437908-1 is not prime. Res64: 18E2055960FFDF81 Time : 0.0 sec. user=mdettweiler [2016-08-18 17:09:43] 601*2^1437909-1 is not prime. Res64: D8E1F58E4049AE16 Time : 0.0 sec. user=mdettweiler [2016-08-18 17:09:43] 621*2^1437909-1 is not prime. Res64: 04BCE9B7D15EE8AD Time : 0.0 sec. user=mdettweiler [2016-08-18 17:09:44] 627*2^1437909-1 is not prime. Res64: D53B46C9A580C86D Time : 0.0 sec. user=mdettweiler [2016-08-18 17:09:44] 751*2^1437909-1 is not prime. Res64: 7E638602C69D894F Time : 0.0 sec. user=mdettweiler [2016-08-18 17:09:45] 889*2^1437909-1 is not prime. Res64: 0A09FBAE2D607238 Time : 0.0 sec. user=mdettweiler [2016-08-18 17:48:14] 949*2^1437909-1 is not prime. Res64: 7BBBB9F8F99A9D51 Time : 0.0 sec. user=mdettweiler [2016-08-18 17:48:15] 961*2^1437909-1 is not prime. Res64: 6A5CDE26407EE777 Time : 0.0 sec. user=mdettweiler [2016-08-18 17:48:15] 651*2^1437910-1 is not prime. Res64: 8720477B634874E9 Time : 0.0 sec. user=mdettweiler [2016-08-18 17:48:15] 741*2^1437910-1 is not prime. Res64: 49D87430487628E3 Time : 0.0 sec. user=mdettweiler [2016-08-18 17:48:15] 747*2^1437910-1 is not prime. Res64: A77B3E6B66E661C7 Time : 0.0 sec. user=mdettweiler [2016-08-18 18:00:01] 987*2^1437910-1 is not prime. Res64: 28EDF219560A119D Time : 0.0 sec. user=mdettweiler [2016-08-18 18:00:01] 621*2^1437911-1 is not prime. Res64: AA5C50C9807B8761 Time : 0.0 sec. user=mdettweiler [2016-08-18 18:00:01] 711*2^1437911-1 is not prime. Res64: 1E1E3003CC9B6E4B Time : 0.0 sec. user=mdettweiler [2016-08-18 18:00:01] 763*2^1437911-1 is not prime. Res64: 3C2BDEFABEF2A515 Time : 0.0 sec. user=mdettweiler [2016-08-18 18:00:02] 825*2^1437911-1 is not prime. Res64: C7A550E28B332C8B Time : 0.0 sec. user=mdettweiler [2016-08-18 18:37:46] 859*2^1437911-1 is not prime. Res64: 1A7DFA5487ED9FFE Time : 0.0 sec. user=mdettweiler [2016-08-18 18:37:47] 993*2^1437911-1 is not prime. Res64: D72C38770A9C9404 Time : 0.0 sec. user=mdettweiler [2016-08-18 18:37:47] 717*2^1437912-1 is not prime. Res64: A77D013788D465CB Time : 0.0 sec. user=mdettweiler [2016-08-18 18:37:47] 737*2^1437912-1 is not prime. Res64: 37B8C84E589A958C Time : 0.0 sec. user=mdettweiler [2016-08-18 18:37:47] 765*2^1437912-1 is not prime. Res64: B2B7703DB223B4E4 Time : 0.0 sec. user=mdettweiler [2016-08-18 18:49:22] 767*2^1437912-1 is not prime. Res64: CBFCA0523A357930 Time : 0.0 sec. user=mdettweiler [2016-08-18 18:49:22] 887*2^1437912-1 is not prime. Res64: 06BFF5D469535AC3 Time : 0.0 sec. user=mdettweiler [2016-08-18 18:49:22] 615*2^1437913-1 is not prime. Res64: 6264435B2C1D850C Time : 0.0 sec. user=mdettweiler [2016-08-18 18:49:23] 679*2^1437913-1 is not prime. Res64: 1B977AD9824A8F98 Time : 0.0 sec. user=mdettweiler [2016-08-18 18:49:23] 691*2^1437913-1 is not prime. Res64: 22640D0606F62441 Time : 0.0 sec. user=mdettweiler [2016-08-18 19:27:00] 805*2^1437913-1 is not prime. Res64: 276434FB50246D8B Time : 0.0 sec. user=mdettweiler [2016-08-18 19:27:01] 831*2^1437913-1 is not prime. Res64: 47275CF20A0F3883 Time : 0.0 sec. user=mdettweiler [2016-08-18 19:27:01] 835*2^1437913-1 is not prime. Res64: 2608384AC1D8E9C7 Time : 0.0 sec. user=mdettweiler [2016-08-18 19:27:01] 855*2^1437913-1 is not prime. Res64: 034904E379BFE730 Time : 0.0 sec. user=mdettweiler [2016-08-18 19:27:01] 939*2^1437913-1 is not prime. Res64: FF7C4E308CEC1088 Time : 0.0 sec. user=mdettweiler [2016-08-18 19:37:59] 957*2^1437913-1 is not prime. Res64: D388384A99EFF154 Time : 0.0 sec. user=mdettweiler [2016-08-18 19:37:59] 615*2^1437914-1 is not prime. Res64: FF455D35AEDC824D Time : 0.0 sec. user=mdettweiler [2016-08-18 19:37:59] 837*2^1437914-1 is not prime. Res64: 1A850D54552E2501 Time : 0.0 sec. user=mdettweiler [2016-08-18 19:38:00] 935*2^1437914-1 is not prime. Res64: 9EEBABD0FFF60D00 Time : 0.0 sec. user=mdettweiler [2016-08-18 19:38:00] 1001*2^1437914-1 is not prime. Res64: 7F2BA8B514EB322D Time : 0.0 sec. user=juhehe [2016-08-18 19:43:22] 619*2^1437915-1 is not prime. Res64: 71124E78E40B941D Time : 0.0 sec. user=mdettweiler [2016-08-18 20:15:33] 633*2^1437915-1 is not prime. Res64: 3CC3719126A4D255 Time : 0.0 sec. user=mdettweiler [2016-08-18 20:15:34] 669*2^1437915-1 is not prime. Res64: 479F144BA136EA92 Time : 0.0 sec. user=mdettweiler [2016-08-18 20:15:35] 739*2^1437915-1 is not prime. Res64: 7FA0F097B07626AB Time : 0.0 sec. user=mdettweiler [2016-08-18 20:15:36] 891*2^1437915-1 is not prime. Res64: 19129F488D5A59E6 Time : 0.0 sec. user=mdettweiler [2016-08-18 20:15:36] 961*2^1437915-1 is not prime. Res64: 7B968D28B8814A88 Time : 0.0 sec. user=mdettweiler [2016-08-18 20:26:27] 617*2^1437916-1 is not prime. Res64: 67FE8C378FE77640 Time : 0.0 sec. user=mdettweiler [2016-08-18 20:26:27] 695*2^1437916-1 is not prime. Res64: EBB954732BF8DE97 Time : 0.0 sec. user=mdettweiler [2016-08-18 20:26:27] 779*2^1437916-1 is not prime. Res64: 1AD6D46C12FF157F Time : 0.0 sec. user=mdettweiler [2016-08-18 20:26:27] 903*2^1437916-1 is not prime. Res64: 0DC5D4B34AF733B4 Time : 0.0 sec. user=mdettweiler [2016-08-18 20:26:28] 953*2^1437916-1 is not prime. Res64: A80B377EC5BBB967 Time : 0.0 sec. user=mdettweiler [2016-08-18 21:05:44] 615*2^1437917-1 is not prime. Res64: 1433D1C3D621C20F Time : 0.0 sec. user=mdettweiler [2016-08-18 21:05:44] 747*2^1437917-1 is not prime. Res64: 98CF138651448707 Time : 0.0 sec. user=mdettweiler [2016-08-18 21:05:45] 777*2^1437917-1 is not prime. Res64: 79D600D0F179008C Time : 0.0 sec. user=mdettweiler [2016-08-18 21:05:46] 847*2^1437917-1 is not prime. Res64: A4080642A85EEFF6 Time : 0.0 sec. user=mdettweiler [2016-08-18 21:05:47] 925*2^1437917-1 is not prime. Res64: 4610BC1A46D5B2D9 Time : 0.0 sec. user=mdettweiler [2016-08-18 21:17:30] 981*2^1437917-1 is not prime. Res64: 421AAB2BDDF30710 Time : 0.0 sec. user=mdettweiler [2016-08-18 21:17:31] 663*2^1437918-1 is not prime. Res64: DB619BA71B5E7E82 Time : 0.0 sec. user=mdettweiler [2016-08-18 21:17:31] 683*2^1437918-1 is not prime. Res64: C76071A6082AC6A2 Time : 0.0 sec. user=mdettweiler [2016-08-18 21:17:31] 867*2^1437918-1 is not prime. Res64: 664B9CED9593BD18 Time : 0.0 sec. user=mdettweiler [2016-08-18 21:17:32] 881*2^1437918-1 is not prime. Res64: AC70071B83B6FC80 Time : 0.0 sec. user=mdettweiler [2016-08-18 21:27:17] 997*2^1437897-1 is not prime. Res64: 8BABE9FF52000016 Time : 0.0 sec. user=mdettweiler [2016-08-18 21:27:17] 617*2^1437898-1 is not prime. Res64: 7C542DF77A268F09 Time : 0.0 sec. user=mdettweiler [2016-08-18 21:27:18] 657*2^1437898-1 is not prime. Res64: 5E0B07F4FCC616E2 Time : 0.0 sec. user=mdettweiler [2016-08-18 21:27:18] 887*2^1437898-1 is not prime. Res64: C7E2700CC48DA544 Time : 0.0 sec. user=mdettweiler [2016-08-18 21:27:18] 933*2^1437898-1 is not prime. Res64: 3FFE349720A0A5F5 Time : 0.0 sec. user=mdettweiler [2016-08-18 21:54:37] 619*2^1437919-1 is not prime. Res64: F4E1D6B44996AE20 Time : 0.0 sec. user=mdettweiler [2016-08-18 21:54:37] 633*2^1437919-1 is not prime. Res64: DFB7024564C809D8 Time : 0.0 sec. user=mdettweiler [2016-08-18 21:54:37] 681*2^1437919-1 is not prime. Res64: E2F73D9DCD563281 Time : 0.0 sec. user=mdettweiler [2016-08-18 21:54:37] 693*2^1437919-1 is not prime. Res64: C4473FF92D21B5CB Time : 0.0 sec. user=mdettweiler [2016-08-18 21:54:38] 909*2^1437919-1 is not prime. Res64: D65C8F1ECB70170F Time : 0.0 sec. user=mdettweiler [2016-08-18 22:06:36] 975*2^1437919-1 is not prime. Res64: DC6325D2CB6EC978 Time : 0.0 sec. user=mdettweiler [2016-08-18 22:06:39] 833*2^1437920-1 is not prime. Res64: FA11B32EB1BBD2F4 Time : 0.0 sec. user=mdettweiler [2016-08-18 22:06:42] 935*2^1437920-1 is not prime. Res64: FCDAFABE4E02C0F6 Time : 0.0 sec. user=mdettweiler [2016-08-18 22:06:43] 977*2^1437920-1 is not prime. Res64: CBF7CC015CDBBE10 Time : 0.0 sec. user=mdettweiler [2016-08-18 22:06:44] 615*2^1437921-1 is not prime. Res64: A48AA8E7CFDE3282 Time : 0.0 sec. user=mdettweiler [2016-08-18 22:16:33] 625*2^1437921-1 is not prime. Res64: 8B667DCF982226B5 Time : 0.0 sec. user=mdettweiler [2016-08-18 22:16:33] 681*2^1437921-1 is not prime. Res64: 210CB89BCCA480BD Time : 0.0 sec. user=mdettweiler [2016-08-18 22:16:33] 889*2^1437921-1 is not prime. Res64: 7FEC68496A8BC962 Time : 0.0 sec. user=mdettweiler [2016-08-18 22:16:33] 975*2^1437921-1 is not prime. Res64: 94229CEA883A1B9A Time : 0.0 sec. user=mdettweiler [2016-08-18 22:16:34] 653*2^1437922-1 is not prime. Res64: 1C08F48031249B8B Time : 0.0 sec. user=mdettweiler [2016-08-18 22:44:43] 665*2^1437922-1 is not prime. Res64: A181BDBA5F04A3CB Time : 0.0 sec. user=mdettweiler [2016-08-18 22:44:43] 717*2^1437922-1 is not prime. Res64: 5186CC70711FF3EA Time : 0.0 sec. user=mdettweiler [2016-08-18 22:44:43] 737*2^1437922-1 is not prime. Res64: C86755AA214E8697 Time : 0.0 sec. user=mdettweiler [2016-08-18 22:44:43] 777*2^1437922-1 is not prime. Res64: B8CA354397E6A800 Time : 0.0 sec. user=mdettweiler [2016-08-18 22:44:44] 785*2^1437922-1 is not prime. Res64: F2D47EE5161BE645 Time : 0.0 sec. user=mdettweiler [2016-08-18 22:57:30] 791*2^1437922-1 is not prime. Res64: C6136148AF9F2F41 Time : 0.0 sec. user=mdettweiler [2016-08-18 22:57:30] 885*2^1437922-1 is not prime. Res64: E98394B2A9694F4E Time : 0.0 sec. user=mdettweiler [2016-08-18 22:57:30] 981*2^1437922-1 is not prime. Res64: B81F4B8DB77A5AE9 Time : 0.0 sec. user=mdettweiler [2016-08-18 22:57:30] 609*2^1437923-1 is not prime. Res64: 8CD2789C59AEA84B Time : 0.0 sec. user=mdettweiler [2016-08-18 22:57:31] 631*2^1437923-1 is not prime. Res64: 214CC58F8E8775AA Time : 0.0 sec. user=mdettweiler [2016-08-18 23:07:30] 633*2^1437923-1 is not prime. Res64: CF0905F5CDBB32FD Time : 0.0 sec. user=mdettweiler [2016-08-18 23:07:32] 669*2^1437923-1 is not prime. Res64: 20E097F9BABA8F5B Time : 0.0 sec. user=mdettweiler [2016-08-18 23:07:34] 673*2^1437923-1 is not prime. Res64: 919DA2A10819CE5D Time : 0.0 sec. user=mdettweiler [2016-08-18 23:07:35] 685*2^1437923-1 is not prime. Res64: 73BBBB2AE6061F19 Time : 0.0 sec. user=mdettweiler [2016-08-18 23:07:36] 745*2^1437923-1 is not prime. Res64: 206F706F19365AD4 Time : 0.0 sec. user=mdettweiler [2016-08-18 23:33:49] 781*2^1437923-1 is not prime. Res64: 3FDF2F05894A0F30 Time : 0.0 sec. user=mdettweiler [2016-08-18 23:33:50] 915*2^1437923-1 is not prime. Res64: A64A6D48C9F19FB0 Time : 0.0 sec. user=mdettweiler [2016-08-18 23:33:50] 939*2^1437923-1 is not prime. Res64: EF4C3EE478AF4F32 Time : 0.0 sec. user=mdettweiler [2016-08-18 23:33:50] 609*2^1437924-1 is not prime. Res64: 7D803E22662DC087 Time : 0.0 sec. user=mdettweiler [2016-08-18 23:33:50] 665*2^1437924-1 is not prime. Res64: A5F5373223BE851D Time : 0.0 sec. user=mdettweiler [2016-08-18 23:35:02] 921*2^1437903-1 is not prime. Res64: 656A8AFD881A0C6C Time : 0.0 sec. user=mdettweiler [2016-08-18 23:35:03] 747*2^1437904-1 is not prime. Res64: E51281984E01B51A Time : 0.0 sec. user=mdettweiler [2016-08-18 23:35:03] 897*2^1437904-1 is not prime. Res64: C172177D4C908DFC Time : 0.0 sec. user=mdettweiler [2016-08-18 23:35:04] 905*2^1437904-1 is not prime. Res64: F3ECC7B1DAF01073 Time : 0.0 sec. user=mdettweiler [2016-08-18 23:35:04] 983*2^1437904-1 is not prime. Res64: 402AA56B3C4ACADD Time : 0.0 sec.