user=mdettweiler [2016-05-14 00:05:06] 609*2^1429093-1 is not prime. Res64: F40BBD72B37C7DDE Time : 0.0 sec. user=mdettweiler [2016-05-14 00:05:07] 651*2^1429093-1 is not prime. Res64: DEF32EBFD3022018 Time : 0.0 sec. user=mdettweiler [2016-05-14 00:05:08] 687*2^1429093-1 is not prime. Res64: 41FAD88941829836 Time : 0.0 sec. user=mdettweiler [2016-05-14 00:05:09] 817*2^1429093-1 is not prime. Res64: BA984F9CBDE278BE Time : 0.0 sec. user=mdettweiler [2016-05-14 00:05:10] 849*2^1429093-1 is not prime. Res64: A250217BBC1CA18C Time : 0.0 sec. user=mdettweiler [2016-05-14 00:24:14] 861*2^1429093-1 is not prime. Res64: 81C4F0B726FE70D5 Time : 0.0 sec. user=mdettweiler [2016-05-14 00:24:14] 895*2^1429093-1 is not prime. Res64: 56667AF9DFC7E646 Time : 0.0 sec. user=mdettweiler [2016-05-14 00:24:15] 957*2^1429093-1 is not prime. Res64: 2D78A1BE2C487474 Time : 0.0 sec. user=mdettweiler [2016-05-14 00:24:15] 897*2^1429094-1 is not prime. Res64: 5E586707C545B0C8 Time : 0.0 sec. user=mdettweiler [2016-05-14 00:24:15] 951*2^1429094-1 is not prime. Res64: B6C36ADCF7EB5A17 Time : 0.0 sec. user=mdettweiler [2016-05-14 00:41:01] 619*2^1429095-1 is not prime. Res64: A99DB0751F821BE5 Time : 0.0 sec. user=mdettweiler [2016-05-14 00:41:01] 751*2^1429095-1 is not prime. Res64: 437583D6528D5CC0 Time : 0.0 sec. user=mdettweiler [2016-05-14 00:41:02] 793*2^1429095-1 is not prime. Res64: 8D0DE3EBDB1AF576 Time : 0.0 sec. user=mdettweiler [2016-05-14 00:41:02] 895*2^1429095-1 is not prime. Res64: B538DF8DFAA12DC5 Time : 0.0 sec. user=mdettweiler [2016-05-14 00:41:03] 639*2^1429096-1 is not prime. Res64: DC1596471E7DD536 Time : 0.0 sec. user=mdettweiler [2016-05-14 00:42:02] 695*2^1429096-1 is not prime. Res64: 2064751AAD9CF497 Time : 0.0 sec. user=mdettweiler [2016-05-14 00:42:02] 707*2^1429096-1 is not prime. Res64: 941CAC38C48FFEC2 Time : 0.0 sec. user=mdettweiler [2016-05-14 00:42:03] 845*2^1429096-1 is not prime. Res64: B1962D6D9EC9C8C3 Time : 0.0 sec. user=mdettweiler [2016-05-14 00:42:03] 849*2^1429096-1 is not prime. Res64: 40ED907EAAA1CB30 Time : 0.0 sec. user=mdettweiler [2016-05-14 00:42:04] 601*2^1429097-1 is not prime. Res64: 3CA0B65F66D582DA Time : 0.0 sec. user=mdettweiler [2016-05-14 00:50:17] 615*2^1429097-1 is not prime. Res64: CB098A59D1CF5699 Time : 0.0 sec. user=mdettweiler [2016-05-14 00:50:17] 711*2^1429097-1 is not prime. Res64: 2D9823BEA10E0D49 Time : 0.0 sec. user=mdettweiler [2016-05-14 00:50:17] 769*2^1429097-1 is not prime. Res64: 1E9E8E3F51C226C2 Time : 0.0 sec. user=mdettweiler [2016-05-14 00:50:18] 771*2^1429097-1 is not prime. Res64: C2C73B765B784159 Time : 0.0 sec. user=mdettweiler [2016-05-14 00:50:18] 777*2^1429097-1 is not prime. Res64: 2BFC924D27FDEC4C Time : 0.0 sec. user=mdettweiler [2016-05-14 01:09:07] 829*2^1429097-1 is not prime. Res64: 7B93A3C1D902079C Time : 0.0 sec. user=mdettweiler [2016-05-14 01:09:07] 621*2^1429098-1 is not prime. Res64: F3C3FE75D7124040 Time : 0.0 sec. user=mdettweiler [2016-05-14 01:09:08] 705*2^1429098-1 is not prime. Res64: A413DE8C7067F254 Time : 0.0 sec. user=mdettweiler [2016-05-14 01:09:09] 747*2^1429098-1 is not prime. Res64: 3D3EFF16B2026601 Time : 0.0 sec. user=mdettweiler [2016-05-14 01:09:09] 777*2^1429098-1 is not prime. Res64: C2219D1873148F71 Time : 0.0 sec. user=mdettweiler [2016-05-14 01:26:02] 797*2^1429098-1 is not prime. Res64: 0686A14AA5E5F2D2 Time : 0.0 sec. user=mdettweiler [2016-05-14 01:26:05] 803*2^1429098-1 is not prime. Res64: BA1D42770208D700 Time : 0.0 sec. user=mdettweiler [2016-05-14 01:26:06] 821*2^1429098-1 is not prime. Res64: 474F51F2FEA71887 Time : 0.0 sec. user=mdettweiler [2016-05-14 01:26:07] 861*2^1429098-1 is not prime. Res64: F86D8A283AC8CC41 Time : 0.0 sec. user=mdettweiler [2016-05-14 01:26:08] 881*2^1429098-1 is not prime. Res64: 3CDA53CE2122F405 Time : 0.0 sec. user=mdettweiler [2016-05-14 01:27:06] 971*2^1429098-1 is not prime. Res64: DD34E20020F39629 Time : 0.0 sec. user=mdettweiler [2016-05-14 01:27:08] 609*2^1429099-1 is not prime. Res64: 9079AE08166FAC33 Time : 0.0 sec. user=mdettweiler [2016-05-14 01:27:09] 615*2^1429099-1 is not prime. Res64: 610FC9B1B16F0C99 Time : 0.0 sec. user=mdettweiler [2016-05-14 01:27:10] 649*2^1429099-1 is not prime. Res64: 079B615F4B336193 Time : 0.0 sec. user=mdettweiler [2016-05-14 01:27:11] 681*2^1429099-1 is not prime. Res64: 89E0B520523B6E3C Time : 0.0 sec. user=mdettweiler [2016-05-14 01:35:18] 723*2^1429099-1 is not prime. Res64: D87952A0EFDEF527 Time : 0.0 sec. user=mdettweiler [2016-05-14 01:35:19] 733*2^1429099-1 is not prime. Res64: ACFCFC9F73153C23 Time : 0.0 sec. user=mdettweiler [2016-05-14 01:35:20] 789*2^1429099-1 is not prime. Res64: 8A8EB54D5AD64B7F Time : 0.0 sec. user=mdettweiler [2016-05-14 01:35:21] 891*2^1429099-1 is not prime. Res64: 9DE0A891C83768BA Time : 0.0 sec. user=mdettweiler [2016-05-14 01:35:21] 973*2^1429099-1 is not prime. Res64: 9FBE25E4A2A90FD0 Time : 0.0 sec. user=mdettweiler [2016-05-14 01:54:31] 647*2^1429100-1 is not prime. Res64: 27166FC87DFF5867 Time : 0.0 sec. user=mdettweiler [2016-05-14 01:54:32] 665*2^1429100-1 is not prime. Res64: 0B02C81E076FE64F Time : 0.0 sec. user=mdettweiler [2016-05-14 01:54:32] 675*2^1429100-1 is not prime. Res64: C19F1FB2C79F424B Time : 0.0 sec. user=mdettweiler [2016-05-14 01:54:32] 827*2^1429100-1 is not prime. Res64: D31D4F7371D3C77F Time : 0.0 sec. user=mdettweiler [2016-05-14 01:54:33] 839*2^1429100-1 is not prime. Res64: 9B5D27308DB07618 Time : 0.0 sec. user=mdettweiler [2016-05-14 02:12:01] 915*2^1429100-1 is not prime. Res64: 59CE2404BF90F107 Time : 0.0 sec. user=mdettweiler [2016-05-14 02:12:02] 747*2^1429101-1 is not prime. Res64: D33E02E8846BEFEB Time : 0.0 sec. user=mdettweiler [2016-05-14 02:12:02] 795*2^1429101-1 is not prime. Res64: 8085EC41952D30B1 Time : 0.0 sec. user=mdettweiler [2016-05-14 02:12:02] 829*2^1429101-1 is not prime. Res64: FBC6494FA610175C Time : 0.0 sec. user=mdettweiler [2016-05-14 02:12:03] 837*2^1429101-1 is not prime. Res64: C1743D1E6947A0F6 Time : 0.0 sec. user=mdettweiler [2016-05-14 02:13:07] 847*2^1429101-1 is not prime. Res64: CE25EBC3D7A6BA76 Time : 0.0 sec. user=mdettweiler [2016-05-14 02:13:07] 865*2^1429101-1 is not prime. Res64: 79271382FE73559D Time : 0.0 sec. user=mdettweiler [2016-05-14 02:13:08] 645*2^1429102-1 is not prime. Res64: 78EFACD4AF2B08C0 Time : 0.0 sec. user=mdettweiler [2016-05-14 02:13:08] 671*2^1429102-1 is not prime. Res64: 745D745561CC8D23 Time : 0.0 sec. user=mdettweiler [2016-05-14 02:13:08] 723*2^1429102-1 is not prime. Res64: F2719A7B355AC90D Time : 0.0 sec. user=mdettweiler [2016-05-14 02:21:49] 737*2^1429102-1 is not prime. Res64: EDB94A8A77B55506 Time : 0.0 sec. user=mdettweiler [2016-05-14 02:21:50] 765*2^1429102-1 is not prime. Res64: DD5FD8C838E1ABC2 Time : 0.0 sec. user=mdettweiler [2016-05-14 02:21:50] 867*2^1429102-1 is not prime. Res64: 39F480879A927C66 Time : 0.0 sec. user=mdettweiler [2016-05-14 02:21:50] 885*2^1429102-1 is not prime. Res64: 235E961CB3FE0B81 Time : 0.0 sec. user=mdettweiler [2016-05-14 02:21:51] 621*2^1429103-1 is not prime. Res64: 07EE44C5F6F13EE5 Time : 0.0 sec. user=mdettweiler [2016-05-14 02:40:34] 673*2^1429103-1 is not prime. Res64: 461B6FA8C82156E1 Time : 0.0 sec. user=mdettweiler [2016-05-14 02:40:35] 735*2^1429103-1 is not prime. Res64: 1A76D18FE0FFCEFD Time : 0.0 sec. user=mdettweiler [2016-05-14 02:40:36] 855*2^1429103-1 is not prime. Res64: 5B6379904658857D Time : 0.0 sec. user=mdettweiler [2016-05-14 02:40:37] 901*2^1429103-1 is not prime. Res64: 1EC33168541F1FF3 Time : 0.0 sec. user=mdettweiler [2016-05-14 02:40:37] 927*2^1429104-1 is not prime. Res64: BF2FE91A6D601CAF Time : 0.0 sec. user=mdettweiler [2016-05-14 02:57:15] 959*2^1429104-1 is not prime. Res64: F3A4B479B9396983 Time : 0.0 sec. user=mdettweiler [2016-05-14 02:57:16] 801*2^1429105-1 is not prime. Res64: 2A82AFF4C8DAA44B Time : 0.0 sec. user=mdettweiler [2016-05-14 02:57:16] 861*2^1429105-1 is not prime. Res64: 0EDAFBF435A0EB75 Time : 0.0 sec. user=mdettweiler [2016-05-14 02:57:16] 877*2^1429105-1 is not prime. Res64: 9632DA43BBEBE7E7 Time : 0.0 sec. user=mdettweiler [2016-05-14 02:57:17] 885*2^1429105-1 is not prime. Res64: 52ACF2449805C8CF Time : 0.0 sec. user=mdettweiler [2016-05-14 02:58:19] 895*2^1429105-1 is not prime. Res64: 03D5ABEF2B693118 Time : 0.0 sec. user=mdettweiler [2016-05-14 02:58:19] 951*2^1429105-1 is not prime. Res64: 38BF0FC0777F20BE Time : 0.0 sec. user=mdettweiler [2016-05-14 02:58:19] 999*2^1429105-1 is not prime. Res64: 94878DF45B2BD456 Time : 0.0 sec. user=mdettweiler [2016-05-14 02:58:20] 617*2^1429106-1 is not prime. Res64: F6AD5C56BE849019 Time : 0.0 sec. user=mdettweiler [2016-05-14 02:58:20] 743*2^1429106-1 is not prime. Res64: E0189F75F14D8A76 Time : 0.0 sec. user=mdettweiler [2016-05-14 03:06:49] 785*2^1429106-1 is not prime. Res64: BEC171BC8E672C46 Time : 0.0 sec. user=mdettweiler [2016-05-14 03:06:50] 831*2^1429106-1 is not prime. Res64: 97ECF07F79D4F635 Time : 0.0 sec. user=mdettweiler [2016-05-14 03:06:50] 911*2^1429106-1 is not prime. Res64: 5A764459CBC919E9 Time : 0.0 sec. user=mdettweiler [2016-05-14 03:06:50] 953*2^1429106-1 is not prime. Res64: 288D25864230E311 Time : 0.0 sec. user=mdettweiler [2016-05-14 03:06:51] 751*2^1429107-1 is not prime. Res64: AB2A9F1CED6AF1AA Time : 0.0 sec. user=mdettweiler [2016-05-14 03:26:03] 793*2^1429107-1 is not prime. Res64: B661E16040E98B31 Time : 0.0 sec. user=mdettweiler [2016-05-14 03:26:04] 849*2^1429107-1 is not prime. Res64: 9926CCA0766BBB60 Time : 0.0 sec. user=mdettweiler [2016-05-14 03:26:04] 859*2^1429107-1 is not prime. Res64: C1EAB83F8D0F08B3 Time : 0.0 sec. user=mdettweiler [2016-05-14 03:26:06] 919*2^1429107-1 is not prime. Res64: BDD01481752EFEE8 Time : 0.0 sec. user=mdettweiler [2016-05-14 03:26:07] 961*2^1429107-1 is not prime. Res64: BFD967409B94BA6F Time : 0.0 sec. user=mdettweiler [2016-05-14 03:42:45] 749*2^1429108-1 is not prime. Res64: 0134CA9FF13F6107 Time : 0.0 sec. user=mdettweiler [2016-05-14 03:42:47] 813*2^1429108-1 is not prime. Res64: 45E9578DAD4C2F9D Time : 0.0 sec. user=mdettweiler [2016-05-14 03:42:48] 885*2^1429108-1 is not prime. Res64: FAC20579EC6F13C2 Time : 0.0 sec. user=mdettweiler [2016-05-14 03:42:49] 929*2^1429108-1 is not prime. Res64: 61EBD9432E69C4C2 Time : 0.0 sec. user=mdettweiler [2016-05-14 03:42:49] 999*2^1429108-1 is not prime. Res64: 3CF99DF3572220B4 Time : 0.0 sec. user=mdettweiler [2016-05-14 03:44:25] 649*2^1429109-1 is not prime. Res64: 037B0B1AE593B1C1 Time : 0.0 sec. user=mdettweiler [2016-05-14 03:44:25] 721*2^1429109-1 is not prime. Res64: E6915E2052F8EC3D Time : 0.0 sec. user=mdettweiler [2016-05-14 03:44:26] 759*2^1429109-1 is not prime. Res64: 088089B679EA8ACB Time : 0.0 sec. user=mdettweiler [2016-05-14 03:44:27] 789*2^1429109-1 is not prime. Res64: 873599135F9B6B7D Time : 0.0 sec. user=mdettweiler [2016-05-14 03:44:28] 795*2^1429109-1 is not prime. Res64: 090D402E2162F8AF Time : 0.0 sec. user=mdettweiler [2016-05-14 03:52:47] 825*2^1429109-1 is not prime. Res64: F9B4861BD45F4F56 Time : 0.0 sec. user=mdettweiler [2016-05-14 03:52:48] 867*2^1429109-1 is not prime. Res64: DAA986FE50B1F677 Time : 0.0 sec. user=mdettweiler [2016-05-14 03:52:49] 955*2^1429109-1 is not prime. Res64: 537BA0C7B7D19780 Time : 0.0 sec. user=mdettweiler [2016-05-14 03:52:49] 797*2^1429110-1 is not prime. Res64: 121D4E03EA2A9DFC Time : 0.0 sec. user=mdettweiler [2016-05-14 03:52:50] 851*2^1429110-1 is not prime. Res64: FF790568F7C3074C Time : 0.0 sec. user=mdettweiler [2016-05-14 04:11:30] 923*2^1429110-1 is not prime. Res64: A613E78A26FA554D Time : 0.0 sec. user=mdettweiler [2016-05-14 04:11:30] 957*2^1429110-1 is not prime. Res64: 15358060037EC5F1 Time : 0.0 sec. user=mdettweiler [2016-05-14 04:11:31] 649*2^1429111-1 is not prime. Res64: 7C9D71FFCB32F14C Time : 0.0 sec. user=mdettweiler [2016-05-14 04:11:31] 685*2^1429111-1 is not prime. Res64: 1A1201850D82C657 Time : 0.0 sec. user=mdettweiler [2016-05-14 04:11:32] 775*2^1429111-1 is not prime. Res64: 670B1A17795EB5B5 Time : 0.0 sec. user=mdettweiler [2016-05-14 04:28:09] 843*2^1429111-1 is not prime. Res64: 1450CA277757D8D0 Time : 0.0 sec. user=mdettweiler [2016-05-14 04:28:09] 855*2^1429111-1 is not prime. Res64: 2AF6CDB245B5C88A Time : 0.0 sec. user=mdettweiler [2016-05-14 04:28:10] 873*2^1429111-1 is not prime. Res64: 14EE5E50CB32CFBB Time : 0.0 sec. user=mdettweiler [2016-05-14 04:28:10] 999*2^1429111-1 is not prime. Res64: 099D812172022A44 Time : 0.0 sec. user=mdettweiler [2016-05-14 04:28:11] 687*2^1429112-1 is not prime. Res64: A3E73C796F5E6777 Time : 0.0 sec. user=mdettweiler [2016-05-14 04:30:01] 767*2^1429112-1 is not prime. Res64: FDAA4BDFE600FD94 Time : 0.0 sec. user=mdettweiler [2016-05-14 04:30:01] 627*2^1429113-1 is not prime. Res64: D7E39778F3FFF218 Time : 0.0 sec. user=mdettweiler [2016-05-14 04:30:01] 649*2^1429113-1 is not prime. Res64: B9C1DDEEFEF2F7E9 Time : 0.0 sec. user=mdettweiler [2016-05-14 04:30:02] 685*2^1429113-1 is not prime. Res64: 8FF983C56503E895 Time : 0.0 sec. user=mdettweiler [2016-05-14 04:30:03] 699*2^1429113-1 is not prime. Res64: D186041E46E27908 Time : 0.0 sec. user=mdettweiler [2016-05-14 04:38:03] 705*2^1429113-1 is not prime. Res64: 85C205F56958A64D Time : 0.0 sec. user=mdettweiler [2016-05-14 04:38:03] 741*2^1429113-1 is not prime. Res64: 81961408C8871503 Time : 0.0 sec. user=mdettweiler [2016-05-14 04:38:04] 849*2^1429113-1 is not prime. Res64: 54BFB70048231F89 Time : 0.0 sec. user=mdettweiler [2016-05-14 04:38:04] 915*2^1429113-1 is not prime. Res64: 1929929C9E035BC3 Time : 0.0 sec. user=mdettweiler [2016-05-14 04:38:05] 635*2^1429114-1 is not prime. Res64: 001D76308D41B605 Time : 0.0 sec. user=mdettweiler [2016-05-14 04:56:32] 651*2^1429114-1 is not prime. Res64: 7DD3479BF4B90D35 Time : 0.0 sec. user=mdettweiler [2016-05-14 04:56:33] 657*2^1429114-1 is not prime. Res64: B42BC1701CDCC501 Time : 0.0 sec. user=mdettweiler [2016-05-14 04:56:33] 701*2^1429114-1 is not prime. Res64: 181BBD81024C2883 Time : 0.0 sec. user=mdettweiler [2016-05-14 04:56:34] 813*2^1429114-1 is not prime. Res64: 1F46CF52BA8D4829 Time : 0.0 sec. user=mdettweiler [2016-05-14 04:56:34] 983*2^1429114-1 is not prime. Res64: EF9CB34B4C9FECCF Time : 0.0 sec. user=mdettweiler [2016-05-14 05:13:06] 603*2^1429115-1 is not prime. Res64: 00BE16D8691E9EC2 Time : 0.0 sec. user=mdettweiler [2016-05-14 05:13:07] 645*2^1429115-1 is not prime. Res64: 6F14985EC95BE7CC Time : 0.0 sec. user=mdettweiler [2016-05-14 05:13:11] 675*2^1429115-1 is not prime. Res64: 366845BFAAADA5DA Time : 0.0 sec. user=mdettweiler [2016-05-14 05:13:11] 759*2^1429115-1 is not prime. Res64: EBBC2A47560910B5 Time : 0.0 sec. user=mdettweiler [2016-05-14 05:13:12] 841*2^1429115-1 is not prime. Res64: A3CAF19A103EDEF3 Time : 0.0 sec. user=mdettweiler [2016-05-14 05:14:57] 843*2^1429115-1 is not prime. Res64: 099252D15F0FCE6D Time : 0.0 sec. user=mdettweiler [2016-05-14 05:14:57] 943*2^1429115-1 is not prime. Res64: 3A1390AC912434A1 Time : 0.0 sec. user=mdettweiler [2016-05-14 05:14:57] 973*2^1429115-1 is not prime. Res64: CE71C2228780DBD0 Time : 0.0 sec. user=mdettweiler [2016-05-14 05:14:58] 725*2^1429116-1 is not prime. Res64: 7A3BE534F8057A4E Time : 0.0 sec. user=mdettweiler [2016-05-14 05:14:58] 765*2^1429116-1 is not prime. Res64: 846CF2EF9F164E11 Time : 0.0 sec. user=mdettweiler [2016-05-14 05:22:44] 845*2^1429116-1 is not prime. Res64: 0F7B8C908A84008D Time : 0.0 sec. user=mdettweiler [2016-05-14 05:22:45] 887*2^1429116-1 is not prime. Res64: 33EA3192D8D4BEF4 Time : 0.0 sec. user=mdettweiler [2016-05-14 05:22:45] 893*2^1429116-1 is not prime. Res64: A73A5342CE12EE41 Time : 0.0 sec. user=mdettweiler [2016-05-14 05:22:45] 639*2^1429117-1 is not prime. Res64: 42F37E6FD567BA06 Time : 0.0 sec. user=mdettweiler [2016-05-14 05:22:46] 645*2^1429117-1 is not prime. Res64: 3A66FAA0FCC2AA96 Time : 0.0 sec. user=mdettweiler [2016-05-14 05:41:41] 741*2^1429117-1 is not prime. Res64: 66B3DB159D885057 Time : 0.0 sec. user=mdettweiler [2016-05-14 05:41:41] 805*2^1429117-1 is not prime. Res64: DCAD285D8FD36B9E Time : 0.0 sec. user=mdettweiler [2016-05-14 05:41:41] 829*2^1429117-1 is not prime. Res64: EB15629163875A0E Time : 0.0 sec. user=mdettweiler [2016-05-14 05:41:42] 831*2^1429117-1 is not prime. Res64: 4DE4D67FBD28C93B Time : 0.0 sec. user=mdettweiler [2016-05-14 05:41:42] 833*2^1429118-1 is not prime. Res64: 7B3BF44712B439E7 Time : 0.0 sec. user=mdettweiler [2016-05-14 05:58:01] 953*2^1429118-1 is not prime. Res64: FDC45BFA0E69CBED Time : 0.0 sec. user=mdettweiler [2016-05-14 05:58:01] 691*2^1429119-1 is not prime. Res64: 5DE7BB251F146303 Time : 0.0 sec. user=mdettweiler [2016-05-14 05:58:01] 723*2^1429119-1 is not prime. Res64: 8B32C3CF7371968D Time : 0.0 sec. user=mdettweiler [2016-05-14 05:58:02] 829*2^1429119-1 is not prime. Res64: E19CE4F2CDC9B134 Time : 0.0 sec. user=mdettweiler [2016-05-14 05:58:02] 885*2^1429119-1 is not prime. Res64: C5CED532C0C99F8A Time : 0.0 sec. user=mdettweiler [2016-05-14 05:59:48] 933*2^1429119-1 is not prime. Res64: A9CFF1EC4680667E Time : 0.0 sec. user=mdettweiler [2016-05-14 05:59:48] 623*2^1429120-1 is not prime. Res64: 171D6C4314A90C7A Time : 0.0 sec. user=mdettweiler [2016-05-14 05:59:49] 629*2^1429120-1 is not prime. Res64: A90616160F7492DB Time : 0.0 sec. user=mdettweiler [2016-05-14 05:59:49] 635*2^1429120-1 is not prime. Res64: CFAD9878D1E51AB8 Time : 0.0 sec. user=mdettweiler [2016-05-14 05:59:49] 735*2^1429120-1 is not prime. Res64: 4C396793D81935C7 Time : 0.0 sec. user=mdettweiler [2016-05-14 06:07:43] 825*2^1429120-1 is not prime. Res64: 98CB96FE77456485 Time : 0.0 sec. user=mdettweiler [2016-05-14 06:07:44] 843*2^1429120-1 is not prime. Res64: E72F100CD5BA8746 Time : 0.0 sec. user=mdettweiler [2016-05-14 06:07:44] 897*2^1429120-1 is not prime. Res64: 5B813FEC232E950E Time : 0.0 sec. user=mdettweiler [2016-05-14 06:07:45] 939*2^1429120-1 is not prime. Res64: 46234A5E584ABD35 Time : 0.0 sec. user=mdettweiler [2016-05-14 06:07:45] 975*2^1429120-1 is not prime. Res64: 32EBEF03A011005A Time : 0.0 sec. user=mdettweiler [2016-05-14 06:26:25] 983*2^1429120-1 is not prime. Res64: 0E40F14042E956E2 Time : 0.0 sec. user=mdettweiler [2016-05-14 06:26:26] 619*2^1429121-1 is not prime. Res64: 08D0F193C5FCF0F3 Time : 0.0 sec. user=mdettweiler [2016-05-14 06:26:26] 631*2^1429121-1 is not prime. Res64: B6E13FFAC73CC98E Time : 0.0 sec. user=mdettweiler [2016-05-14 06:26:27] 697*2^1429121-1 is not prime. Res64: DEF1331EFB0D0DDA Time : 0.0 sec. user=mdettweiler [2016-05-14 06:26:27] 715*2^1429121-1 is not prime. Res64: CFD90BF4076C20C6 Time : 0.0 sec. user=mdettweiler [2016-05-14 06:42:53] 799*2^1429121-1 is not prime. Res64: CEC5E649A665B1F6 Time : 0.0 sec. user=mdettweiler [2016-05-14 06:42:53] 855*2^1429121-1 is not prime. Res64: 71A80323339E3EA7 Time : 0.0 sec. user=mdettweiler [2016-05-14 06:42:54] 861*2^1429121-1 is not prime. Res64: 596513E00627F803 Time : 0.0 sec. user=mdettweiler [2016-05-14 06:42:54] 987*2^1429121-1 is not prime. Res64: B38625A9C5788BC5 Time : 0.0 sec. user=mdettweiler [2016-05-14 06:42:54] 803*2^1429122-1 is not prime. Res64: C540A96711E3A515 Time : 0.0 sec. user=mdettweiler [2016-05-14 06:44:33] 807*2^1429122-1 is not prime. Res64: 173BAFDF675454F2 Time : 0.0 sec. user=mdettweiler [2016-05-14 06:44:34] 917*2^1429122-1 is not prime. Res64: D4992FA459BDD7EA Time : 0.0 sec. user=mdettweiler [2016-05-14 06:44:34] 625*2^1429123-1 is not prime. Res64: 638855700205878A Time : 0.0 sec. user=mdettweiler [2016-05-14 06:44:34] 819*2^1429123-1 is not prime. Res64: C2915908E5A89D0B Time : 0.0 sec. user=mdettweiler [2016-05-14 06:44:35] 891*2^1429123-1 is not prime. Res64: 72E48247A14D6F67 Time : 0.0 sec. user=mdettweiler [2016-05-14 06:52:27] 915*2^1429123-1 is not prime. Res64: 74A7DD32B0C5F9F9 Time : 0.0 sec. user=mdettweiler [2016-05-14 06:52:28] 993*2^1429123-1 is not prime. Res64: 3F646B0DA0AD8C78 Time : 0.0 sec. user=mdettweiler [2016-05-14 06:52:28] 999*2^1429123-1 is not prime. Res64: AD950247861FCB4E Time : 0.0 sec. user=mdettweiler [2016-05-14 06:52:28] 773*2^1429124-1 is not prime. Res64: 649092434821784D Time : 0.0 sec. user=mdettweiler [2016-05-14 06:52:29] 869*2^1429124-1 is not prime. Res64: 531290FC82C78BA4 Time : 0.0 sec. user=mdettweiler [2016-05-14 07:11:22] 873*2^1429124-1 is not prime. Res64: 5AEA846AB6313CE3 Time : 0.0 sec. user=mdettweiler [2016-05-14 07:11:22] 893*2^1429124-1 is not prime. Res64: 978D8E722E62655D Time : 0.0 sec. user=mdettweiler [2016-05-14 07:11:23] 915*2^1429124-1 is not prime. Res64: 1F98C295344139B3 Time : 0.0 sec. user=mdettweiler [2016-05-14 07:11:23] 927*2^1429124-1 is not prime. Res64: 61E0CA97CF703EE3 Time : 0.0 sec. user=mdettweiler [2016-05-14 07:11:24] 759*2^1429125-1 is not prime. Res64: 02FF69AEEDD9CA3A Time : 0.0 sec. user=mdettweiler [2016-05-14 07:27:48] 765*2^1429125-1 is not prime. Res64: 0737E18F0BF8334D Time : 0.0 sec. user=mdettweiler [2016-05-14 07:27:49] 795*2^1429125-1 is not prime. Res64: A041E002F570C6E0 Time : 0.0 sec. user=mdettweiler [2016-05-14 07:27:49] 817*2^1429125-1 is not prime. Res64: 294DEC1225A4172B Time : 0.0 sec. user=mdettweiler [2016-05-14 07:27:49] 937*2^1429125-1 is not prime. Res64: A3D1555374481295 Time : 0.0 sec. user=mdettweiler [2016-05-14 07:27:50] 969*2^1429125-1 is not prime. Res64: F2434F89A378966A Time : 0.0 sec. user=mdettweiler [2016-05-14 07:29:37] 999*2^1429125-1 is not prime. Res64: 79DAFF4E950964E0 Time : 0.0 sec. user=mdettweiler [2016-05-14 07:29:37] 623*2^1429126-1 is not prime. Res64: D009C0C07C2AB2F2 Time : 0.0 sec. user=mdettweiler [2016-05-14 07:29:37] 677*2^1429126-1 is not prime. Res64: CC580396FC04BA94 Time : 0.0 sec. user=mdettweiler [2016-05-14 07:29:38] 785*2^1429126-1 is not prime. Res64: 72D1B42D68394032 Time : 0.0 sec. user=mdettweiler [2016-05-14 07:29:38] 911*2^1429126-1 is not prime. Res64: 3AF4298DAAABE581 Time : 0.0 sec. user=mdettweiler [2016-05-14 07:37:22] 947*2^1429126-1 is not prime. Res64: A9C1FBA4EF4556A2 Time : 0.0 sec. user=mdettweiler [2016-05-14 07:37:23] 633*2^1429127-1 is not prime. Res64: E8C836D947FE7B8F Time : 0.0 sec. user=mdettweiler [2016-05-14 07:37:23] 693*2^1429127-1 is not prime. Res64: 07B66400C6E9ADE7 Time : 0.0 sec. user=mdettweiler [2016-05-14 07:37:24] 711*2^1429127-1 is not prime. Res64: 44F0B6E3CF337931 Time : 0.0 sec. user=mdettweiler [2016-05-14 07:37:24] 741*2^1429127-1 is not prime. Res64: A77678AAA1F53C28 Time : 0.0 sec. user=mdettweiler [2016-05-14 07:56:28] 759*2^1429127-1 is not prime. Res64: CDB068C828473DA4 Time : 0.0 sec. user=mdettweiler [2016-05-14 07:56:29] 799*2^1429127-1 is not prime. Res64: 9F4FB4120AFEFF13 Time : 0.0 sec. user=mdettweiler [2016-05-14 07:56:29] 813*2^1429127-1 is not prime. Res64: 8E520A3DEED31ABD Time : 0.0 sec. user=mdettweiler [2016-05-14 07:56:29] 825*2^1429127-1 is not prime. Res64: 061685D89040CF22 Time : 0.0 sec. user=mdettweiler [2016-05-14 07:56:30] 865*2^1429127-1 is not prime. Res64: A573A187FCC2C790 Time : 0.0 sec. user=mdettweiler [2016-05-14 08:12:26] 883*2^1429127-1 is not prime. Res64: 894FA57315BC7FE5 Time : 0.0 sec. user=mdettweiler [2016-05-14 08:12:27] 909*2^1429127-1 is not prime. Res64: 5C1F8BA5A6B1ED5B Time : 0.0 sec. user=mdettweiler [2016-05-14 08:12:27] 803*2^1429128-1 is not prime. Res64: 68FF1CF7008966E3 Time : 0.0 sec. user=mdettweiler [2016-05-14 08:12:28] 923*2^1429128-1 is not prime. Res64: C128F32B99721318 Time : 0.0 sec. user=mdettweiler [2016-05-14 08:12:28] 929*2^1429128-1 is not prime. Res64: 604F25412F910D0A Time : 0.0 sec. user=mdettweiler [2016-05-14 08:14:24] 699*2^1429129-1 is not prime. Res64: 4FAF2F11E4B5C2C7 Time : 0.0 sec. user=mdettweiler [2016-05-14 08:14:24] 747*2^1429129-1 is not prime. Res64: 418AAAF4FD78E131 Time : 0.0 sec. user=mdettweiler [2016-05-14 08:14:25] 769*2^1429129-1 is not prime. Res64: C96CB7070BDCCF47 Time : 0.0 sec. user=mdettweiler [2016-05-14 08:14:25] 885*2^1429129-1 is not prime. Res64: 1F93974E708DAD31 Time : 0.0 sec. user=mdettweiler [2016-05-14 08:14:25] 633*2^1429130-1 is not prime. Res64: AD7D06BA35900F00 Time : 0.0 sec. user=mdettweiler [2016-05-14 08:22:12] 801*2^1429130-1 is not prime. Res64: A7FFF6241CC50AFE Time : 0.0 sec. user=mdettweiler [2016-05-14 08:22:13] 813*2^1429130-1 is not prime. Res64: 753A5C43D6AB9E8D Time : 0.0 sec. user=mdettweiler [2016-05-14 08:22:13] 911*2^1429130-1 is not prime. Res64: 57FF79FBF53D5897 Time : 0.0 sec. user=mdettweiler [2016-05-14 08:22:14] 923*2^1429130-1 is not prime. Res64: A40EFC50FD329E3D Time : 0.0 sec. user=mdettweiler [2016-05-14 08:22:14] 987*2^1429130-1 is not prime. Res64: 0CFE20D4596D96E2 Time : 0.0 sec. user=mdettweiler [2016-05-14 08:41:22] 615*2^1429131-1 is not prime. Res64: 240542BB2A8D33FF Time : 0.0 sec. user=mdettweiler [2016-05-14 08:41:23] 795*2^1429131-1 is not prime. Res64: 8730EFC6E7D2B8EA Time : 0.0 sec. user=mdettweiler [2016-05-14 08:41:23] 835*2^1429131-1 is not prime. Res64: DD598E2A5389B132 Time : 0.0 sec. user=mdettweiler [2016-05-14 08:41:23] 859*2^1429131-1 is not prime. Res64: 7B0CCDC88E18B86B Time : 0.0 sec. user=mdettweiler [2016-05-14 08:41:24] 861*2^1429131-1 is not prime. Res64: 2DF6CC0FCD095FC6 Time : 0.0 sec. user=mdettweiler [2016-05-14 08:57:18] 873*2^1429131-1 is not prime. Res64: 3535BE7AB1A30B32 Time : 0.0 sec. user=mdettweiler [2016-05-14 08:57:18] 879*2^1429131-1 is not prime. Res64: 808842550B51D578 Time : 0.0 sec. user=mdettweiler [2016-05-14 08:57:19] 629*2^1429132-1 is not prime. Res64: 60201E975BE4CF7C Time : 0.0 sec. user=mdettweiler [2016-05-14 08:57:19] 693*2^1429132-1 is not prime. Res64: 96A96B4C6A26E18C Time : 0.0 sec. user=mdettweiler [2016-05-14 08:57:19] 699*2^1429132-1 is not prime. Res64: B0C2D17D89773BF2 Time : 0.0 sec. user=mdettweiler [2016-05-14 08:59:15] 705*2^1429132-1 is not prime. Res64: B7EF09732F0629EA Time : 0.0 sec. user=mdettweiler [2016-05-14 08:59:15] 777*2^1429132-1 is not prime. Res64: 93900CCE3805BACF Time : 0.0 sec. user=mdettweiler [2016-05-14 08:59:15] 819*2^1429132-1 is not prime. Res64: FE0036EA5A224C26 Time : 0.0 sec. user=mdettweiler [2016-05-14 08:59:16] 699*2^1429133-1 is not prime. Res64: 2C6C260685EBE924 Time : 0.0 sec. user=mdettweiler [2016-05-14 08:59:16] 727*2^1429133-1 is not prime. Res64: E37AF426855392FC Time : 0.0 sec. user=mdettweiler [2016-05-14 09:07:15] 837*2^1429133-1 is not prime. Res64: 0BCFBAC2D10C3C4B Time : 0.0 sec. user=mdettweiler [2016-05-14 09:07:19] 945*2^1429133-1 is not prime. Res64: 44B3228E096C2577 Time : 0.0 sec. user=mdettweiler [2016-05-14 09:07:20] 951*2^1429133-1 is not prime. Res64: AD46E2F2F2E0DA19 Time : 0.0 sec. user=mdettweiler [2016-05-14 09:07:21] 981*2^1429133-1 is not prime. Res64: C737F88BA84222EF Time : 0.0 sec. user=mdettweiler [2016-05-14 09:07:22] 635*2^1429134-1 is not prime. Res64: AE3CE410589FDCE4 Time : 0.0 sec. user=mdettweiler [2016-05-14 09:26:34] 725*2^1429134-1 is not prime. Res64: 6674732747F5D6BC Time : 0.0 sec. user=mdettweiler [2016-05-14 09:26:35] 795*2^1429134-1 is not prime. Res64: 7225D35A992A2959 Time : 0.0 sec. user=mdettweiler [2016-05-14 09:26:35] 815*2^1429134-1 is not prime. Res64: 9858C18E6A56BB26 Time : 0.0 sec. user=mdettweiler [2016-05-14 09:26:36] 863*2^1429134-1 is not prime. Res64: EEABEE7C7081C477 Time : 0.0 sec. user=mdettweiler [2016-05-14 09:26:36] 639*2^1429135-1 is not prime. Res64: 8166CC41D2CB599D Time : 0.0 sec. user=mdettweiler [2016-05-14 09:44:17] 705*2^1429135-1 is not prime. Res64: 596EF9C9930A328A Time : 0.0 sec. user=mdettweiler [2016-05-14 09:44:17] 741*2^1429135-1 is not prime. Res64: DC30528589BA1CE5 Time : 0.0 sec. user=mdettweiler [2016-05-14 09:44:17] 759*2^1429135-1 is not prime. Res64: 562748706CDB67E7 Time : 0.0 sec. user=mdettweiler [2016-05-14 09:44:18] 853*2^1429135-1 is not prime. Res64: 01723394D8E81ED4 Time : 0.0 sec. user=mdettweiler [2016-05-14 09:44:18] 859*2^1429135-1 is not prime. Res64: B643A0025E3CB04E Time : 0.0 sec. user=mdettweiler [2016-05-14 09:46:35] 943*2^1429135-1 is not prime. Res64: 445FCB726865D089 Time : 0.0 sec. user=mdettweiler [2016-05-14 09:46:35] 961*2^1429135-1 is not prime. Res64: 1227326228AF3810 Time : 0.0 sec. user=mdettweiler [2016-05-14 09:46:36] 973*2^1429135-1 is not prime. Res64: 45B05D0B2A6D821C Time : 0.0 sec. user=mdettweiler [2016-05-14 09:46:36] 609*2^1429136-1 is not prime. Res64: 09FB32754A3987E4 Time : 0.0 sec. user=mdettweiler [2016-05-14 09:46:36] 617*2^1429136-1 is not prime. Res64: 1E6623E32E6739AB Time : 0.0 sec. user=mdettweiler [2016-05-14 09:54:09] 963*2^1429136-1 is not prime. Res64: 0D4919B661FEEA85 Time : 0.0 sec. user=mdettweiler [2016-05-14 09:54:10] 609*2^1429137-1 is not prime. Res64: ADF9BC9441A1B38C Time : 0.0 sec. user=mdettweiler [2016-05-14 09:54:10] 739*2^1429137-1 is not prime. Res64: AEC9C5B6474220BA Time : 0.0 sec. user=mdettweiler [2016-05-14 09:54:10] 765*2^1429137-1 is not prime. Res64: B079E77C89E28793 Time : 0.0 sec. user=mdettweiler [2016-05-14 09:54:11] 781*2^1429137-1 is not prime. Res64: 5D89DDB11D727892 Time : 0.0 sec. user=mdettweiler [2016-05-14 10:12:53] 807*2^1429137-1 is not prime. Res64: CD091F087C0415BE Time : 0.0 sec. user=mdettweiler [2016-05-14 10:12:53] 847*2^1429137-1 is not prime. Res64: 46F234575478DDB7 Time : 0.0 sec. user=mdettweiler [2016-05-14 10:12:54] 895*2^1429137-1 is not prime. Res64: 19CC3563BA98F968 Time : 0.0 sec. user=mdettweiler [2016-05-14 10:12:54] 979*2^1429137-1 is not prime. Res64: 70F206A871F2E9E3 Time : 0.0 sec. user=mdettweiler [2016-05-14 10:12:55] 985*2^1429137-1 is not prime. Res64: EE38271853921394 Time : 0.0 sec. user=mdettweiler [2016-05-14 10:29:27] 603*2^1429138-1 is not prime. Res64: F9A6886021FEE823 Time : 0.0 sec. user=mdettweiler [2016-05-14 10:29:27] 665*2^1429138-1 is not prime. Res64: 0D92FE2C09A5333C Time : 0.0 sec. user=mdettweiler [2016-05-14 10:29:28] 681*2^1429138-1 is not prime. Res64: 384E6DCAAF6AB13F Time : 0.0 sec. user=mdettweiler [2016-05-14 10:29:28] 747*2^1429138-1 is not prime. Res64: F11255BA79A67154 Time : 0.0 sec. user=mdettweiler [2016-05-14 10:29:28] 825*2^1429138-1 is not prime. Res64: 2C4790F0CB0D8195 Time : 0.0 sec. user=mdettweiler [2016-05-14 10:31:50] 831*2^1429138-1 is not prime. Res64: F7AE614778F349BA Time : 0.0 sec. user=mdettweiler [2016-05-14 10:31:51] 881*2^1429138-1 is not prime. Res64: 44B11C408B990680 Time : 0.0 sec. user=mdettweiler [2016-05-14 10:31:51] 987*2^1429138-1 is not prime. Res64: E600DB8FEE4F9623 Time : 0.0 sec. user=mdettweiler [2016-05-14 10:31:52] 693*2^1429139-1 is not prime. Res64: 5BADB5AE382D7336 Time : 0.0 sec. user=mdettweiler [2016-05-14 10:31:52] 753*2^1429139-1 is not prime. Res64: 7DAD4E16BE07C25B Time : 0.0 sec. user=mdettweiler [2016-05-14 10:39:53] 775*2^1429139-1 is not prime. Res64: D35285F6D89C2A75 Time : 0.0 sec. user=mdettweiler [2016-05-14 10:39:54] 801*2^1429139-1 is not prime. Res64: BDC5A571B2E77035 Time : 0.0 sec. user=mdettweiler [2016-05-14 10:39:54] 895*2^1429139-1 is not prime. Res64: 999AAA45BAD1F418 Time : 0.0 sec. user=mdettweiler [2016-05-14 10:39:54] 635*2^1429140-1 is not prime. Res64: CC9FC6D127902E69 Time : 0.0 sec. user=mdettweiler [2016-05-14 10:39:55] 647*2^1429140-1 is not prime. Res64: FAEFB0BDB4D291C8 Time : 0.0 sec. user=mdettweiler [2016-05-14 10:59:56] 737*2^1429140-1 is not prime. Res64: 9EFFEF066D1F0AFB Time : 0.0 sec. user=mdettweiler [2016-05-14 10:59:56] 759*2^1429140-1 is not prime. Res64: 4778EAD1DBE995F0 Time : 0.0 sec. user=mdettweiler [2016-05-14 10:59:56] 777*2^1429140-1 is not prime. Res64: A70EB42184189D8B Time : 0.0 sec. user=mdettweiler [2016-05-14 10:59:57] 929*2^1429140-1 is not prime. Res64: 7708313B74503938 Time : 0.0 sec. user=mdettweiler [2016-05-14 10:59:57] 645*2^1429141-1 is not prime. Res64: 5920D0311896800A Time : 0.0 sec. user=mdettweiler [2016-05-14 11:16:08] 741*2^1429141-1 is not prime. Res64: D60F3A05F158F43B Time : 0.0 sec. user=mdettweiler [2016-05-14 11:16:09] 927*2^1429141-1 is not prime. Res64: 0231BD01240E644C Time : 0.0 sec. user=mdettweiler [2016-05-14 11:16:10] 603*2^1429142-1 is not prime. Res64: 57D26B5699399ABC Time : 0.0 sec. user=mdettweiler [2016-05-14 11:16:11] 657*2^1429142-1 is not prime. Res64: 9C63A327D051285F Time : 0.0 sec. user=mdettweiler [2016-05-14 11:16:11] 665*2^1429142-1 is not prime. Res64: B841C38060F768F7 Time : 0.0 sec. user=mdettweiler [2016-05-14 11:17:28] 677*2^1429142-1 is not prime. Res64: E3CF3D6CBC622162 Time : 0.0 sec. user=mdettweiler [2016-05-14 11:17:29] 897*2^1429142-1 is not prime. Res64: A403D744C54C4B91 Time : 0.0 sec. user=mdettweiler [2016-05-14 11:17:29] 911*2^1429142-1 is not prime. Res64: E29670CBBD281DAA Time : 0.0 sec. user=mdettweiler [2016-05-14 11:17:30] 625*2^1429143-1 is not prime. Res64: 62953BF1E40C64D5 Time : 0.0 sec. user=mdettweiler [2016-05-14 11:17:30] 661*2^1429143-1 is not prime. Res64: 2D558991B7D022C2 Time : 0.0 sec. user=mdettweiler [2016-05-14 11:24:49] 735*2^1429143-1 is not prime. Res64: 90FB6658876859C9 Time : 0.0 sec. user=mdettweiler [2016-05-14 11:24:50] 739*2^1429143-1 is not prime. Res64: 5BC564D4782EB252 Time : 0.0 sec. user=mdettweiler [2016-05-14 11:24:50] 859*2^1429143-1 is not prime. Res64: B6E49D919E025A8D Time : 0.0 sec. user=mdettweiler [2016-05-14 11:24:50] 871*2^1429143-1 is not prime. Res64: 18D23D84547DDA2F Time : 0.0 sec. user=mdettweiler [2016-05-14 11:24:51] 913*2^1429143-1 is not prime. Res64: 429F27F97DBA5F35 Time : 0.0 sec. user=mdettweiler [2016-05-14 11:44:51] 919*2^1429143-1 is not prime. Res64: 4D7156D6E8EDA1A1 Time : 0.0 sec. user=mdettweiler [2016-05-14 11:44:52] 945*2^1429143-1 is not prime. Res64: B60D4FAC3FED7D5F Time : 0.0 sec. user=mdettweiler [2016-05-14 11:44:52] 949*2^1429143-1 is not prime. Res64: E0BF667B0C23688F Time : 0.0 sec. user=mdettweiler [2016-05-14 11:44:52] 985*2^1429143-1 is not prime. Res64: 89A6120104122345 Time : 0.0 sec. user=mdettweiler [2016-05-14 11:44:53] 825*2^1429144-1 is not prime. Res64: EA11BCF8478DBCEB Time : 0.0 sec. user=mdettweiler [2016-05-14 12:01:14] 869*2^1429144-1 is not prime. Res64: 702C81A310C9C0A0 Time : 0.0 sec. user=mdettweiler [2016-05-14 12:01:15] 899*2^1429144-1 is not prime. Res64: E183C32FCC53F262 Time : 0.0 sec. user=mdettweiler [2016-05-14 12:01:15] 619*2^1429145-1 is not prime. Res64: F41E814E930DE09F Time : 0.0 sec. user=mdettweiler [2016-05-14 12:01:16] 649*2^1429145-1 is not prime. Res64: F04814980AEC8633 Time : 0.0 sec. user=mdettweiler [2016-05-14 12:01:17] 699*2^1429145-1 is not prime. Res64: DF80B6D80A4D5544 Time : 0.0 sec. user=mdettweiler [2016-05-14 12:02:25] 741*2^1429145-1 is not prime. Res64: 778E21D44846DEA7 Time : 0.0 sec. user=mdettweiler [2016-05-14 12:02:26] 865*2^1429145-1 is not prime. Res64: 4D85E9B1BFDF0EFA Time : 0.0 sec. user=mdettweiler [2016-05-14 12:02:26] 955*2^1429145-1 is not prime. Res64: 2AD95B4AFA1EC6B8 Time : 0.0 sec. user=mdettweiler [2016-05-14 12:02:27] 991*2^1429145-1 is not prime. Res64: FEBF852E16B51CF3 Time : 0.0 sec. user=mdettweiler [2016-05-14 12:02:27] 881*2^1429146-1 is not prime. Res64: A903947B398B15EB Time : 0.0 sec. user=mdettweiler [2016-05-14 12:09:39] 633*2^1429147-1 is not prime. Res64: 14F73CA85527238D Time : 0.0 sec. user=mdettweiler [2016-05-14 12:09:40] 715*2^1429147-1 is not prime. Res64: 8AB3BF10122E063C Time : 0.0 sec. user=mdettweiler [2016-05-14 12:09:40] 623*2^1429148-1 is not prime. Res64: 9C1AA7D3B3D31401 Time : 0.0 sec. user=mdettweiler [2016-05-14 12:09:41] 629*2^1429148-1 is not prime. Res64: DF9B610E09C4D6E7 Time : 0.0 sec. user=mdettweiler [2016-05-14 12:09:41] 635*2^1429148-1 is not prime. Res64: E9A74CD6E46E1C92 Time : 0.0 sec. user=mdettweiler [2016-05-14 12:29:45] 669*2^1429148-1 is not prime. Res64: 2F843EDDDBBE04D9 Time : 0.0 sec. user=mdettweiler [2016-05-14 12:29:45] 677*2^1429148-1 is not prime. Res64: B27D8EBFCCE1691D Time : 0.0 sec. user=mdettweiler [2016-05-14 12:29:46] 969*2^1429148-1 is not prime. Res64: 43E0F0B7798F1BFF Time : 0.0 sec. user=mdettweiler [2016-05-14 12:29:46] 627*2^1429149-1 is not prime. Res64: 0898568563C46104 Time : 0.0 sec. user=mdettweiler [2016-05-14 12:29:47] 655*2^1429149-1 is not prime. Res64: F9FFDE091308443A Time : 0.0 sec. user=mdettweiler [2016-05-14 12:46:17] 765*2^1429149-1 is not prime. Res64: E48BBB9D80BBF0F3 Time : 0.0 sec. user=mdettweiler [2016-05-14 12:46:17] 795*2^1429149-1 is not prime. Res64: 4BAFFCAFD465EB79 Time : 0.0 sec. user=mdettweiler [2016-05-14 12:46:18] 811*2^1429149-1 is not prime. Res64: 97AE03EC72ACBC7D Time : 0.0 sec. user=mdettweiler [2016-05-14 12:46:18] 865*2^1429149-1 is not prime. Res64: ED457C56C85F4307 Time : 0.0 sec. user=mdettweiler [2016-05-14 12:46:19] 877*2^1429149-1 is not prime. Res64: BC5B246CAABCEBEB Time : 0.0 sec. user=mdettweiler [2016-05-14 12:47:15] 919*2^1429149-1 is not prime. Res64: 3AF717AFB3C52EEF Time : 0.0 sec. user=mdettweiler [2016-05-14 12:47:15] 979*2^1429149-1 is not prime. Res64: 656C9647D0CDB241 Time : 0.0 sec. user=mdettweiler [2016-05-14 12:47:16] 999*2^1429149-1 is not prime. Res64: 2AD77E66E0B17852 Time : 0.0 sec. user=mdettweiler [2016-05-14 12:47:16] 731*2^1429150-1 is not prime. Res64: F6C0C3F1BD087113 Time : 0.0 sec. user=mdettweiler [2016-05-14 12:47:16] 741*2^1429150-1 is not prime. Res64: 9F09B54656B2F584 Time : 0.0 sec. user=mdettweiler [2016-05-14 12:54:44] 761*2^1429150-1 is not prime. Res64: A03BB2E8528DC73E Time : 0.0 sec. user=mdettweiler [2016-05-14 12:54:45] 857*2^1429150-1 is not prime. Res64: C360B20875525696 Time : 0.0 sec. user=mdettweiler [2016-05-14 12:54:45] 911*2^1429150-1 is not prime. Res64: 0BF83BC67F3011DA Time : 0.0 sec. user=mdettweiler [2016-05-14 12:54:45] 933*2^1429150-1 is not prime. Res64: 52FC095EF4F50948 Time : 0.0 sec. user=mdettweiler [2016-05-14 12:54:46] 711*2^1429151-1 is not prime. Res64: 7BD68C0633443880 Time : 0.0 sec. user=mdettweiler [2016-05-14 13:14:37] 825*2^1429151-1 is not prime. Res64: 65E6529385809104 Time : 0.0 sec. user=mdettweiler [2016-05-14 13:14:37] 909*2^1429151-1 is not prime. Res64: 18C4FA4ABD098306 Time : 0.0 sec. user=mdettweiler [2016-05-14 13:14:38] 943*2^1429151-1 is not prime. Res64: 919CDB9DB38D6ABD Time : 0.0 sec. user=mdettweiler [2016-05-14 13:14:38] 737*2^1429152-1 is not prime. Res64: 236A689CDBBBA130 Time : 0.0 sec. user=mdettweiler [2016-05-14 13:14:38] 747*2^1429152-1 is not prime. Res64: 7B645EE8C8484EE4 Time : 0.0 sec. user=mdettweiler [2016-05-14 13:31:01] 837*2^1429152-1 is not prime. Res64: F1903608170ABF10 Time : 0.0 sec. user=mdettweiler [2016-05-14 13:31:02] 863*2^1429152-1 is not prime. Res64: B8A19DC7D05266C4 Time : 0.0 sec. user=mdettweiler [2016-05-14 13:31:02] 915*2^1429152-1 is not prime. Res64: 958D3D9862C16E30 Time : 0.0 sec. user=mdettweiler [2016-05-14 13:31:02] 607*2^1429153-1 is not prime. Res64: 8E86E6038935BCDC Time : 0.0 sec. user=mdettweiler [2016-05-14 13:31:03] 721*2^1429153-1 is not prime. Res64: 1D0AACB638967EF9 Time : 0.0 sec. user=mdettweiler [2016-05-14 13:32:14] 741*2^1429153-1 is not prime. Res64: 26A33019B7BCE7D2 Time : 0.0 sec. user=mdettweiler [2016-05-14 13:32:14] 745*2^1429153-1 is not prime. Res64: 721DCD5F8A68B296 Time : 0.0 sec. user=mdettweiler [2016-05-14 13:32:14] 855*2^1429153-1 is not prime. Res64: CA231221BEBD496E Time : 0.0 sec. user=mdettweiler [2016-05-14 13:32:14] 867*2^1429153-1 is not prime. Res64: CD3F6A71BC2AB35E Time : 0.0 sec. user=mdettweiler [2016-05-14 13:32:15] 939*2^1429153-1 is not prime. Res64: 866B3C504BE408C9 Time : 0.0 sec. user=mdettweiler [2016-05-14 13:39:37] 987*2^1429153-1 is not prime. Res64: CA5C19F60F591148 Time : 0.0 sec. user=mdettweiler [2016-05-14 13:39:37] 671*2^1429154-1 is not prime. Res64: 239AC7D565DCF7F2 Time : 0.0 sec. user=mdettweiler [2016-05-14 13:39:37] 747*2^1429154-1 is not prime. Res64: B2104A799E3ACCCC Time : 0.0 sec. user=mdettweiler [2016-05-14 13:39:38] 885*2^1429154-1 is not prime. Res64: 2814936AE7259C91 Time : 0.0 sec. user=mdettweiler [2016-05-14 13:39:38] 921*2^1429154-1 is not prime. Res64: 00CCAAE9822D77A7 Time : 0.0 sec. user=mdettweiler [2016-05-14 14:00:03] 995*2^1429154-1 is not prime. Res64: 74B90AA36599EB59 Time : 0.0 sec. user=mdettweiler [2016-05-14 14:00:03] 639*2^1429155-1 is not prime. Res64: 64B65019E58F3F0F Time : 0.0 sec. user=mdettweiler [2016-05-14 14:00:04] 699*2^1429155-1 is not prime. Res64: 2A1A9C8C90A0CA1D Time : 0.0 sec. user=mdettweiler [2016-05-14 14:00:04] 723*2^1429155-1 is not prime. Res64: BC9B6DFDFFADBAD4 Time : 0.0 sec. user=mdettweiler [2016-05-14 14:00:05] 775*2^1429155-1 is not prime. Res64: EFC83F8565D112AE Time : 0.0 sec. user=mdettweiler [2016-05-14 14:17:08] 805*2^1429155-1 is not prime. Res64: 6A1DF45441AAB6D8 Time : 0.0 sec. user=mdettweiler [2016-05-14 14:17:08] 891*2^1429155-1 is not prime. Res64: E4E03E1BF46382D2 Time : 0.0 sec. user=mdettweiler [2016-05-14 14:17:08] 999*2^1429155-1 is not prime. Res64: F2F7ED3B8DD3258D Time : 0.0 sec. user=mdettweiler [2016-05-14 14:17:09] 783*2^1429156-1 is not prime. Res64: CFE8D5929A5EEDFD Time : 0.0 sec. user=mdettweiler [2016-05-14 14:17:09] 887*2^1429156-1 is not prime. Res64: 20087DB04E8B3EAF Time : 0.0 sec. user=mdettweiler [2016-05-14 14:18:28] 987*2^1429156-1 is not prime. Res64: 007CFCB546178206 Time : 0.0 sec. user=mdettweiler [2016-05-14 14:18:28] 649*2^1429157-1 is not prime. Res64: 96D9BAAE84939537 Time : 0.0 sec. user=mdettweiler [2016-05-14 14:18:28] 675*2^1429157-1 is not prime. Res64: 41983FD9AADF4CF3 Time : 0.0 sec. user=mdettweiler [2016-05-14 14:18:29] 691*2^1429157-1 is not prime. Res64: E9D7DC434ED08D70 Time : 0.0 sec. user=mdettweiler [2016-05-14 14:18:29] 697*2^1429157-1 is not prime. Res64: B4D83540FF35F5B6 Time : 0.0 sec. user=mdettweiler [2016-05-14 14:26:10] 861*2^1429157-1 is not prime. Res64: C1A92AFBDDB01AF9 Time : 0.0 sec. user=mdettweiler [2016-05-14 14:26:10] 635*2^1429158-1 is not prime. Res64: D10C7AB4E9976361 Time : 0.0 sec. user=mdettweiler [2016-05-14 14:26:11] 663*2^1429158-1 is not prime. Res64: 8C0A761FAC945DF8 Time : 0.0 sec. user=mdettweiler [2016-05-14 14:26:11] 681*2^1429158-1 is not prime. Res64: AF2BCB8E9B37774F Time : 0.0 sec. user=mdettweiler [2016-05-14 14:26:11] 711*2^1429158-1 is not prime. Res64: 581EA070EBE6F14F Time : 0.0 sec. user=mdettweiler [2016-05-14 14:46:48] 815*2^1429158-1 is not prime. Res64: CB5A4A0F73FF22C4 Time : 0.0 sec. user=mdettweiler [2016-05-14 14:46:48] 887*2^1429158-1 is not prime. Res64: 9FBA5EDF01D15DA1 Time : 0.0 sec. user=mdettweiler [2016-05-14 14:46:48] 603*2^1429159-1 is not prime. Res64: CA11BB9AD2740998 Time : 0.0 sec. user=mdettweiler [2016-05-14 14:46:48] 619*2^1429159-1 is not prime. Res64: 79FF1841A0F74A4B Time : 0.0 sec. user=mdettweiler [2016-05-14 14:46:49] 639*2^1429159-1 is not prime. Res64: 584D2F65410F9E29 Time : 0.0 sec. user=mdettweiler [2016-05-14 15:03:18] 645*2^1429159-1 is not prime. Res64: DB08564DBFEB8F2A Time : 0.0 sec. user=mdettweiler [2016-05-14 15:03:20] 859*2^1429159-1 is not prime. Res64: 90D17145008F7BF6 Time : 0.0 sec. user=mdettweiler [2016-05-14 15:03:21] 689*2^1429160-1 is not prime. Res64: B50CBBCB83FFB5BB Time : 0.0 sec. user=mdettweiler [2016-05-14 15:03:22] 717*2^1429160-1 is not prime. Res64: CC1887D381E1DAED Time : 0.0 sec. user=mdettweiler [2016-05-14 15:03:23] 843*2^1429160-1 is not prime. Res64: 8ABF4E765EC9EA65 Time : 0.0 sec. user=mdettweiler [2016-05-14 15:04:35] 983*2^1429160-1 is not prime. Res64: B87F98F24065F8E7 Time : 0.0 sec. user=mdettweiler [2016-05-14 15:04:36] 999*2^1429160-1 is not prime. Res64: F9CA9D396BE1D2D2 Time : 0.0 sec. user=mdettweiler [2016-05-14 15:04:37] 735*2^1429161-1 is not prime. Res64: 78CE1871125AA4DB Time : 0.0 sec. user=mdettweiler [2016-05-14 15:04:39] 795*2^1429161-1 is not prime. Res64: 901AE4E6BF5CFE4A Time : 0.0 sec. user=mdettweiler [2016-05-14 15:04:39] 829*2^1429161-1 is not prime. Res64: D89160AD976FBDEE Time : 0.0 sec. user=mdettweiler [2016-05-14 15:12:57] 849*2^1429161-1 is not prime. Res64: 88CBD16B24FF38FC Time : 0.0 sec. user=mdettweiler [2016-05-14 15:12:57] 871*2^1429161-1 is not prime. Res64: 71C8D9F205B980AF Time : 0.0 sec. user=mdettweiler [2016-05-14 15:12:57] 999*2^1429161-1 is not prime. Res64: 08C7F8E14F3F6E83 Time : 0.0 sec. user=mdettweiler [2016-05-14 15:12:58] 705*2^1429162-1 is not prime. Res64: 34FC690F213B6F3D Time : 0.0 sec. user=mdettweiler [2016-05-14 15:12:58] 731*2^1429162-1 is not prime. Res64: D59857780257BA7E Time : 0.0 sec. user=mdettweiler [2016-05-14 15:32:39] 737*2^1429162-1 is not prime. Res64: 5B71FD37B0638763 Time : 0.0 sec. user=mdettweiler [2016-05-14 15:32:39] 765*2^1429162-1 is not prime. Res64: 2800BB7062EE1A7D Time : 0.0 sec. user=mdettweiler [2016-05-14 15:32:40] 815*2^1429162-1 is not prime. Res64: EC1679981903AD20 Time : 0.0 sec. user=mdettweiler [2016-05-14 15:32:40] 831*2^1429162-1 is not prime. Res64: F28F2153463726B9 Time : 0.0 sec. user=mdettweiler [2016-05-14 15:32:40] 833*2^1429162-1 is not prime. Res64: E79F73CE37EAB27B Time : 0.0 sec. user=mdettweiler [2016-05-14 15:48:57] 911*2^1429162-1 is not prime. Res64: 6F6E2880E802FAE9 Time : 0.0 sec. user=mdettweiler [2016-05-14 15:48:57] 941*2^1429162-1 is not prime. Res64: 72FF9F56ED37D8D8 Time : 0.0 sec. user=mdettweiler [2016-05-14 15:48:57] 975*2^1429162-1 is not prime. Res64: 630687C210D9FAE5 Time : 0.0 sec. user=mdettweiler [2016-05-14 15:48:58] 679*2^1429163-1 is not prime. Res64: 086A87CDD7E190CA Time : 0.0 sec. user=mdettweiler [2016-05-14 15:48:58] 703*2^1429163-1 is not prime. Res64: 7934489FFA30A032 Time : 0.0 sec. user=mdettweiler [2016-05-14 15:50:18] 741*2^1429163-1 is not prime. Res64: 15726144D212FBC6 Time : 0.0 sec. user=mdettweiler [2016-05-14 15:50:18] 859*2^1429163-1 is not prime. Res64: FDE030014D469410 Time : 0.0 sec. user=mdettweiler [2016-05-14 15:50:19] 627*2^1429164-1 is not prime. Res64: C0AD38801E5C6A8A Time : 0.0 sec. user=mdettweiler [2016-05-14 15:50:19] 663*2^1429164-1 is not prime. Res64: F186F1F2E469A79C Time : 0.0 sec. user=mdettweiler [2016-05-14 15:50:20] 689*2^1429164-1 is not prime. Res64: F9750ABCDA9CE6E0 Time : 0.0 sec. user=mdettweiler [2016-05-14 15:58:04] 765*2^1429164-1 is not prime. Res64: 3D704656E766CE63 Time : 0.0 sec. user=mdettweiler [2016-05-14 15:58:04] 767*2^1429164-1 is not prime. Res64: 074396E893CE8869 Time : 0.0 sec. user=mdettweiler [2016-05-14 15:58:05] 717*2^1429165-1 is not prime. Res64: 4DC97DA872930491 Time : 0.0 sec. user=mdettweiler [2016-05-14 15:58:05] 775*2^1429165-1 is not prime. Res64: 1611BE58369D1BFC Time : 0.0 sec. user=mdettweiler [2016-05-14 15:58:05] 811*2^1429165-1 is not prime. Res64: 8B8D4077B5C7E328 Time : 0.0 sec. user=mdettweiler [2016-05-14 16:17:36] 867*2^1429165-1 is not prime. Res64: 8A4478F74C59DE63 Time : 0.0 sec. user=mdettweiler [2016-05-14 16:17:36] 617*2^1429166-1 is not prime. Res64: 99008D1B9C8517F4 Time : 0.0 sec. user=mdettweiler [2016-05-14 16:17:37] 713*2^1429166-1 is not prime. Res64: 9A6365769DC6B864 Time : 0.0 sec. user=mdettweiler [2016-05-14 16:17:37] 747*2^1429166-1 is not prime. Res64: 36EAA18C3575091B Time : 0.0 sec. user=mdettweiler [2016-05-14 16:17:38] 815*2^1429166-1 is not prime. Res64: BEAFB804B47CB7A4 Time : 0.0 sec. user=mdettweiler [2016-05-14 16:33:47] 921*2^1429166-1 is not prime. Res64: 753858C4BCD46681 Time : 0.0 sec. user=mdettweiler [2016-05-14 16:33:48] 945*2^1429166-1 is not prime. Res64: 31ABEC4AC681B756 Time : 0.0 sec. user=mdettweiler [2016-05-14 16:33:48] 971*2^1429166-1 is not prime. Res64: 2E6B6F0B0BD3C7E1 Time : 0.0 sec. user=mdettweiler [2016-05-14 16:33:48] 619*2^1429167-1 is not prime. Res64: B0D1F9D92C14BAA8 Time : 0.0 sec. user=mdettweiler [2016-05-14 16:33:49] 705*2^1429167-1 is not prime. Res64: F260441267FC2A03 Time : 0.0 sec. user=mdettweiler [2016-05-14 16:35:09] 769*2^1429167-1 is not prime. Res64: B8754FA9BED29186 Time : 0.0 sec. user=mdettweiler [2016-05-14 16:35:10] 775*2^1429167-1 is not prime. Res64: 7AF3E8D2A94E828D Time : 0.0 sec. user=mdettweiler [2016-05-14 16:35:10] 805*2^1429167-1 is not prime. Res64: 0EE4797EB7894C3E Time : 0.0 sec. user=mdettweiler [2016-05-14 16:35:11] 901*2^1429167-1 is not prime. Res64: 0662D52FECD80F8C Time : 0.0 sec. user=mdettweiler [2016-05-14 16:35:11] 963*2^1429167-1 is not prime. Res64: 50E064A449CA0E01 Time : 0.0 sec. user=mdettweiler [2016-05-14 16:42:57] 973*2^1429167-1 is not prime. Res64: 4CEE6DDC7E0EC73D Time : 0.0 sec. user=mdettweiler [2016-05-14 16:42:57] 979*2^1429167-1 is not prime. Res64: E0C6B73ECC0BBE19 Time : 0.0 sec. user=mdettweiler [2016-05-14 16:42:57] 605*2^1429168-1 is not prime. Res64: 3BA4C2C38B7C2C9F Time : 0.0 sec. user=mdettweiler [2016-05-14 16:42:58] 623*2^1429168-1 is not prime. Res64: 9446193EAA9803E4 Time : 0.0 sec. user=mdettweiler [2016-05-14 16:42:58] 645*2^1429168-1 is not prime. Res64: 8AC359595B5B1CA6 Time : 0.0 sec. user=mdettweiler [2016-05-14 17:02:44] 755*2^1429168-1 is not prime. Res64: 16D555F3D7985C19 Time : 0.0 sec. user=mdettweiler [2016-05-14 17:02:45] 845*2^1429168-1 is not prime. Res64: 400BA9EE670A33D1 Time : 0.0 sec. user=mdettweiler [2016-05-14 17:02:46] 855*2^1429168-1 is not prime. Res64: 3C8111C3B7DAAAF8 Time : 0.0 sec. user=mdettweiler [2016-05-14 17:02:47] 989*2^1429168-1 is not prime. Res64: 3928A34608393CBE Time : 0.0 sec. user=mdettweiler [2016-05-14 17:02:47] 861*2^1429169-1 is not prime. Res64: C9B00E8EF39B8AA3 Time : 0.0 sec. user=mdettweiler [2016-05-14 17:18:49] 897*2^1429169-1 is not prime. Res64: 26B6071C9F6BA225 Time : 0.0 sec. user=mdettweiler [2016-05-14 17:18:49] 967*2^1429169-1 is not prime. Res64: FBC41C8A1C372A81 Time : 0.0 sec. user=mdettweiler [2016-05-14 17:18:49] 985*2^1429169-1 is not prime. Res64: 31E4A9A98CCACD9B Time : 0.0 sec. user=mdettweiler [2016-05-14 17:18:50] 801*2^1429170-1 is not prime. Res64: 4250376C576E79F7 Time : 0.0 sec. user=mdettweiler [2016-05-14 17:18:50] 845*2^1429170-1 is not prime. Res64: 111835DBB27D4FEB Time : 0.0 sec. user=mdettweiler [2016-05-14 17:20:07] 861*2^1429170-1 is not prime. Res64: 7D71C8E9C3CEBB84 Time : 0.0 sec. user=mdettweiler [2016-05-14 17:20:07] 873*2^1429170-1 is not prime. Res64: DE8360E37746891A Time : 0.0 sec. user=mdettweiler [2016-05-14 17:20:08] 977*2^1429170-1 is not prime. Res64: E4E30C1D5EEAD544 Time : 0.0 sec. user=mdettweiler [2016-05-14 17:20:08] 645*2^1429171-1 is not prime. Res64: 6A26A095A7B30D76 Time : 0.0 sec. user=mdettweiler [2016-05-14 17:20:09] 769*2^1429171-1 is not prime. Res64: 1289B5B551F9517E Time : 0.0 sec. user=mdettweiler [2016-05-14 17:27:55] 835*2^1429171-1 is not prime. Res64: 15CA1C930BF80B11 Time : 0.0 sec. user=mdettweiler [2016-05-14 17:27:56] 943*2^1429171-1 is not prime. Res64: 5EE96E5F23552EEF Time : 0.0 sec. user=mdettweiler [2016-05-14 17:27:56] 617*2^1429172-1 is not prime. Res64: 01719FFC48EBC198 Time : 0.0 sec. user=mdettweiler [2016-05-14 17:27:56] 819*2^1429172-1 is not prime. Res64: FD18F0CB56BA9633 Time : 0.0 sec. user=mdettweiler [2016-05-14 17:27:57] 825*2^1429172-1 is not prime. Res64: 83AEEF09EA895C5C Time : 0.0 sec. user=mdettweiler [2016-05-14 17:47:42] 609*2^1429173-1 is not prime. Res64: A40923E5EB922304 Time : 0.0 sec. user=mdettweiler [2016-05-14 17:47:43] 691*2^1429173-1 is not prime. Res64: E4328D139347E4F7 Time : 0.0 sec. user=mdettweiler [2016-05-14 17:47:43] 861*2^1429173-1 is not prime. Res64: 34DD81B67100A323 Time : 0.0 sec. user=mdettweiler [2016-05-14 17:47:43] 891*2^1429173-1 is not prime. Res64: 6B8B0FC70DADFD30 Time : 0.0 sec. user=mdettweiler [2016-05-14 17:47:44] 915*2^1429173-1 is not prime. Res64: A94FF22F96522FF5 Time : 0.0 sec. user=mdettweiler [2016-05-14 18:03:40] 921*2^1429173-1 is not prime. Res64: A2320330B8FCB121 Time : 0.0 sec. user=mdettweiler [2016-05-14 18:03:42] 955*2^1429173-1 is not prime. Res64: B7FA17F1AD7C24B1 Time : 0.0 sec. user=mdettweiler [2016-05-14 18:03:42] 687*2^1429174-1 is not prime. Res64: 7AE3BC92D9740EBD Time : 0.0 sec. user=mdettweiler [2016-05-14 18:03:43] 747*2^1429174-1 is not prime. Res64: 56397DD07DC8EE19 Time : 0.0 sec. user=mdettweiler [2016-05-14 18:03:44] 833*2^1429174-1 is not prime. Res64: 3E0C0575BA764076 Time : 0.0 sec. user=mdettweiler [2016-05-14 18:04:54] 915*2^1429174-1 is not prime. Res64: A4BF138CC6B4DBDF Time : 0.0 sec. user=mdettweiler [2016-05-14 18:04:55] 917*2^1429174-1 is not prime. Res64: FD1EF00A36294281 Time : 0.0 sec. user=mdettweiler [2016-05-14 18:04:56] 971*2^1429174-1 is not prime. Res64: 94D3D76C7EFE0E00 Time : 0.0 sec. user=mdettweiler [2016-05-14 18:04:57] 619*2^1429175-1 is not prime. Res64: 84B359C49E65FDDF Time : 0.0 sec. user=mdettweiler [2016-05-14 18:04:58] 693*2^1429175-1 is not prime. Res64: B71EE9FCF73B59B5 Time : 0.0 sec. user=mdettweiler [2016-05-14 18:12:37] 789*2^1429175-1 is not prime. Res64: B7BE0104F5ECEEB4 Time : 0.0 sec. user=mdettweiler [2016-05-14 18:12:38] 799*2^1429175-1 is not prime. Res64: 2AE33EACC726009C Time : 0.0 sec. user=mdettweiler [2016-05-14 18:12:38] 805*2^1429175-1 is not prime. Res64: 32D743A4CEC62F22 Time : 0.0 sec. user=mdettweiler [2016-05-14 18:12:39] 841*2^1429175-1 is not prime. Res64: 591A03661CFB355A Time : 0.0 sec. user=mdettweiler [2016-05-14 18:12:39] 943*2^1429175-1 is not prime. Res64: BBCE61E5E8DB6DB5 Time : 0.0 sec. user=mdettweiler [2016-05-14 18:32:27] 949*2^1429175-1 is not prime. Res64: 94EB7C0861435DCB Time : 0.0 sec. user=mdettweiler [2016-05-14 18:32:27] 669*2^1429176-1 is not prime. Res64: 52CEEAFDCD7F3E98 Time : 0.0 sec. user=mdettweiler [2016-05-14 18:32:28] 695*2^1429176-1 is not prime. Res64: D6E3F9BC67FF5E88 Time : 0.0 sec. user=mdettweiler [2016-05-14 18:32:28] 705*2^1429176-1 is not prime. Res64: 998B3A3E9020CCE6 Time : 0.0 sec. user=mdettweiler [2016-05-14 18:32:28] 759*2^1429176-1 is not prime. Res64: 49BE561974B35FE2 Time : 0.0 sec. user=mdettweiler [2016-05-14 18:48:48] 933*2^1429176-1 is not prime. Res64: B1B4C13B230A24E0 Time : 0.0 sec. user=mdettweiler [2016-05-14 18:48:48] 607*2^1429177-1 is not prime. Res64: E4A459E8D1133E86 Time : 0.0 sec. user=mdettweiler [2016-05-14 18:48:48] 747*2^1429177-1 is not prime. Res64: 8E837613EC4581AC Time : 0.0 sec. user=mdettweiler [2016-05-14 18:48:49] 829*2^1429177-1 is not prime. Res64: C725CA54407EBCEA Time : 0.0 sec. user=mdettweiler [2016-05-14 18:48:49] 847*2^1429177-1 is not prime. Res64: D5972B012E3DFED4 Time : 0.0 sec. user=mdettweiler [2016-05-14 18:49:47] 871*2^1429177-1 is not prime. Res64: 3A0CE37D606CF187 Time : 0.0 sec. user=mdettweiler [2016-05-14 18:49:48] 889*2^1429177-1 is not prime. Res64: 8494FD133F8C4F2E Time : 0.0 sec. user=mdettweiler [2016-05-14 18:49:48] 939*2^1429177-1 is not prime. Res64: 936E90F8F4547A09 Time : 0.0 sec. user=mdettweiler [2016-05-14 18:49:48] 603*2^1429178-1 is not prime. Res64: 4274CF9A61B26516 Time : 0.0 sec. user=mdettweiler [2016-05-14 18:49:49] 633*2^1429178-1 is not prime. Res64: 0EA7DCD03A34ECE9 Time : 0.0 sec. user=mdettweiler [2016-05-14 18:57:26] 645*2^1429178-1 is not prime. Res64: 0380F63F8E439C03 Time : 0.0 sec. user=mdettweiler [2016-05-14 18:57:27] 813*2^1429178-1 is not prime. Res64: D2DD2E9DA3DBADDA Time : 0.0 sec. user=mdettweiler [2016-05-14 18:57:27] 845*2^1429178-1 is not prime. Res64: 291B0F42845DA82F Time : 0.0 sec. user=mdettweiler [2016-05-14 18:57:27] 857*2^1429178-1 is not prime. Res64: 186954406970018D Time : 0.0 sec. user=mdettweiler [2016-05-14 18:57:28] 893*2^1429178-1 is not prime. Res64: D95A325E04AFD56D Time : 0.0 sec. user=mdettweiler [2016-05-14 19:17:34] 977*2^1429178-1 is not prime. Res64: 223F16B064D0743A Time : 0.0 sec. user=mdettweiler [2016-05-14 19:17:35] 987*2^1429178-1 is not prime. Res64: E5CD8DF0B791CCB0 Time : 0.0 sec. user=mdettweiler [2016-05-14 19:17:35] 1001*2^1429178-1 is not prime. Res64: 2647D245457C4FD9 Time : 0.0 sec. user=mdettweiler [2016-05-14 19:17:35] 633*2^1429179-1 is not prime. Res64: 49B15C436B7EBDA9 Time : 0.0 sec. user=mdettweiler [2016-05-14 19:17:36] 835*2^1429179-1 is not prime. Res64: BC8BA404A04A0635 Time : 0.0 sec. user=mdettweiler [2016-05-14 19:34:16] 861*2^1429179-1 is not prime. Res64: 44970F7FE793C619 Time : 0.0 sec. user=mdettweiler [2016-05-14 19:34:17] 623*2^1429180-1 is not prime. Res64: C8EB41A1B7ED995D Time : 0.0 sec. user=mdettweiler [2016-05-14 19:34:17] 833*2^1429180-1 is not prime. Res64: 579A37DD55199D98 Time : 0.0 sec. user=mdettweiler [2016-05-14 19:34:18] 999*2^1429180-1 is not prime. Res64: E84D40447DEE2AD1 Time : 0.0 sec. user=mdettweiler [2016-05-14 19:34:18] 615*2^1429181-1 is not prime. Res64: FAD41FE0CD140989 Time : 0.0 sec. user=mdettweiler [2016-05-14 19:35:14] 631*2^1429181-1 is not prime. Res64: 33025B436B0FB370 Time : 0.0 sec. user=mdettweiler [2016-05-14 19:35:15] 691*2^1429181-1 is not prime. Res64: E5D7B21DE75D51D6 Time : 0.0 sec. user=mdettweiler [2016-05-14 19:35:15] 717*2^1429181-1 is not prime. Res64: 79156C3C32B3002C Time : 0.0 sec. user=mdettweiler [2016-05-14 19:35:15] 889*2^1429181-1 is not prime. Res64: 89C3D85E5F4037DE Time : 0.0 sec. user=mdettweiler [2016-05-14 19:35:16] 927*2^1429181-1 is not prime. Res64: BCE0C77410981A32 Time : 0.0 sec. user=mdettweiler [2016-05-14 19:43:04] 945*2^1429182-1 is not prime. Res64: 79FC02109FC0C914 Time : 0.0 sec. user=mdettweiler [2016-05-14 19:43:05] 963*2^1429182-1 is not prime. Res64: 1F4A909A4EED0053 Time : 0.0 sec. user=mdettweiler [2016-05-14 19:43:05] 661*2^1429183-1 is not prime. Res64: B7865DDF2990B1DF Time : 0.0 sec. user=mdettweiler [2016-05-14 19:43:06] 709*2^1429183-1 is not prime. Res64: BA7FB04AB063BD1C Time : 0.0 sec. user=mdettweiler [2016-05-14 19:43:06] 729*2^1429183-1 is not prime. Res64: 221EB0F521BE07C2 Time : 0.0 sec. user=mdettweiler [2016-05-14 20:02:53] 735*2^1429183-1 is not prime. Res64: 95C386E1C61CEC00 Time : 0.0 sec. user=mdettweiler [2016-05-14 20:02:54] 793*2^1429183-1 is not prime. Res64: 67056684AB24539C Time : 0.0 sec. user=mdettweiler [2016-05-14 20:02:55] 811*2^1429183-1 is not prime. Res64: 9CF5F8FB120719B2 Time : 0.0 sec. user=mdettweiler [2016-05-14 20:02:56] 819*2^1429183-1 is not prime. Res64: 1D0551659893BC67 Time : 0.0 sec. user=mdettweiler [2016-05-14 20:02:57] 885*2^1429183-1 is not prime. Res64: 3DDE5F1B750B4267 Time : 0.0 sec. user=mdettweiler [2016-05-14 20:19:13] 891*2^1429183-1 is not prime. Res64: 3FEE2993552A4D1F Time : 0.0 sec. user=mdettweiler [2016-05-14 20:19:14] 743*2^1429184-1 is not prime. Res64: 56AA3AB5436EFC03 Time : 0.0 sec. user=mdettweiler [2016-05-14 20:19:14] 755*2^1429184-1 is not prime. Res64: 2D930EDF8BD39F02 Time : 0.0 sec. user=mdettweiler [2016-05-14 20:19:15] 923*2^1429184-1 is not prime. Res64: 66D94B60A18DDC23 Time : 0.0 sec. user=mdettweiler [2016-05-14 20:19:15] 675*2^1429185-1 is not prime. Res64: A105E9FA73D9621C Time : 0.0 sec. user=mdettweiler [2016-05-14 20:20:14] 741*2^1429185-1 is not prime. Res64: 6CF5B2FDCAB4BC29 Time : 0.0 sec. user=mdettweiler [2016-05-14 20:20:14] 765*2^1429185-1 is not prime. Res64: 8DDD7B621EF9FD04 Time : 0.0 sec. user=mdettweiler [2016-05-14 20:20:14] 895*2^1429185-1 is not prime. Res64: 3EEAC894A2EEB9E7 Time : 0.0 sec. user=mdettweiler [2016-05-14 20:20:15] 979*2^1429185-1 is not prime. Res64: F91C00C00F872824 Time : 0.0 sec. user=mdettweiler [2016-05-14 20:20:15] 999*2^1429185-1 is not prime. Res64: 5DDE45442DCB8A43 Time : 0.0 sec. user=mdettweiler [2016-05-14 20:28:19] 677*2^1429186-1 is not prime. Res64: 2546ADEE7046BF58 Time : 0.0 sec. user=mdettweiler [2016-05-14 20:28:20] 723*2^1429186-1 is not prime. Res64: 9F851A450626CAA5 Time : 0.0 sec. user=mdettweiler [2016-05-14 20:28:21] 777*2^1429186-1 is not prime. Res64: 288795016353C916 Time : 0.0 sec. user=mdettweiler [2016-05-14 20:28:21] 855*2^1429186-1 is not prime. Res64: F534A25921BE43F7 Time : 0.0 sec. user=mdettweiler [2016-05-14 20:28:21] 923*2^1429186-1 is not prime. Res64: 07A1296A93F9A38A Time : 0.0 sec. user=mdettweiler [2016-05-14 20:48:24] 983*2^1429186-1 is not prime. Res64: BA971E88942D1DC2 Time : 0.0 sec. user=mdettweiler [2016-05-14 20:48:24] 693*2^1429187-1 is not prime. Res64: 61D6D616DA64799E Time : 0.0 sec. user=mdettweiler [2016-05-14 20:48:25] 699*2^1429187-1 is not prime. Res64: CF462813E60D671D Time : 0.0 sec. user=mdettweiler [2016-05-14 20:48:25] 711*2^1429187-1 is not prime. Res64: C7E535EFA370E35D Time : 0.0 sec. user=mdettweiler [2016-05-14 20:48:25] 735*2^1429187-1 is not prime. Res64: 0731D139A9309EF4 Time : 0.0 sec. user=mdettweiler [2016-05-14 21:04:24] 741*2^1429187-1 is not prime. Res64: 1DF42850D5BF8491 Time : 0.0 sec. user=mdettweiler [2016-05-14 21:04:25] 823*2^1429187-1 is not prime. Res64: 4C27B348E7D753C2 Time : 0.0 sec. user=mdettweiler [2016-05-14 21:04:26] 979*2^1429187-1 is not prime. Res64: F6703AB5E3B5938F Time : 0.0 sec. user=mdettweiler [2016-05-14 21:04:27] 999*2^1429187-1 is not prime. Res64: 898E517EAB329E1F Time : 0.0 sec. user=mdettweiler [2016-05-14 21:04:28] 705*2^1429188-1 is not prime. Res64: 3032628CC4C53F18 Time : 0.0 sec. user=mdettweiler [2016-05-14 21:05:29] 767*2^1429188-1 is not prime. Res64: 684D7D0E8902149E Time : 0.0 sec. user=mdettweiler [2016-05-14 21:05:30] 789*2^1429188-1 is not prime. Res64: 100F1DC5F4F9E976 Time : 0.0 sec. user=mdettweiler [2016-05-14 21:05:31] 843*2^1429188-1 is not prime. Res64: 3582422D290CD943 Time : 0.0 sec. user=mdettweiler [2016-05-14 21:05:31] 915*2^1429188-1 is not prime. Res64: 2969F7CA8C48D028 Time : 0.0 sec. user=mdettweiler [2016-05-14 21:05:32] 945*2^1429188-1 is not prime. Res64: 21BCBB7DA391094E Time : 0.0 sec. user=mdettweiler [2016-05-14 21:13:49] 947*2^1429188-1 is not prime. Res64: 8748739162EE518D Time : 0.0 sec. user=mdettweiler [2016-05-14 21:13:49] 681*2^1429189-1 is not prime. Res64: B98082614155513C Time : 0.0 sec. user=mdettweiler [2016-05-14 21:13:50] 721*2^1429189-1 is not prime. Res64: D4EEF6EB585B7E27 Time : 0.0 sec. user=mdettweiler [2016-05-14 21:13:50] 771*2^1429189-1 is not prime. Res64: 671DB6EE303AD77F Time : 0.0 sec. user=mdettweiler [2016-05-14 21:13:51] 811*2^1429189-1 is not prime. Res64: 1DCCCE1663B08141 Time : 0.0 sec. user=mdettweiler [2016-05-14 21:34:24] 817*2^1429189-1 is not prime. Res64: 83396844517915CB Time : 0.0 sec. user=mdettweiler [2016-05-14 21:34:25] 829*2^1429189-1 is not prime. Res64: 3A566DEF7977802A Time : 0.0 sec. user=mdettweiler [2016-05-14 21:34:25] 835*2^1429189-1 is not prime. Res64: EADB14E1B958C41B Time : 0.0 sec. user=mdettweiler [2016-05-14 21:34:25] 855*2^1429189-1 is not prime. Res64: 9A1118617D44063C Time : 0.0 sec. user=mdettweiler [2016-05-14 21:34:26] 919*2^1429189-1 is not prime. Res64: 6CCBD0048192DEFA Time : 0.0 sec. user=mdettweiler [2016-05-14 21:51:04] 707*2^1429190-1 is not prime. Res64: 3A8DFEADF0E0705F Time : 0.0 sec. user=mdettweiler [2016-05-14 21:51:05] 755*2^1429190-1 is not prime. Res64: 3B9E0E283A252694 Time : 0.0 sec. user=mdettweiler [2016-05-14 21:51:05] 785*2^1429190-1 is not prime. Res64: D043E0330BC328F8 Time : 0.0 sec. user=mdettweiler [2016-05-14 21:51:05] 917*2^1429190-1 is not prime. Res64: 1DAA4495868CCD40 Time : 0.0 sec. user=mdettweiler [2016-05-14 21:51:06] 935*2^1429190-1 is not prime. Res64: 4F864CC1A0E4E304 Time : 0.0 sec. user=mdettweiler [2016-05-14 21:52:10] 977*2^1429190-1 is not prime. Res64: 316F1CD02158C2D2 Time : 0.0 sec. user=mdettweiler [2016-05-14 21:52:10] 723*2^1429191-1 is not prime. Res64: 5EC9BF4D79D5E20F Time : 0.0 sec. user=mdettweiler [2016-05-14 21:52:10] 745*2^1429191-1 is not prime. Res64: 6DC9B8CB8C6C9E70 Time : 0.0 sec. user=mdettweiler [2016-05-14 21:52:11] 933*2^1429191-1 is not prime. Res64: 98A397279A8AB68E Time : 0.0 sec. user=mdettweiler [2016-05-14 21:52:11] 629*2^1429192-1 is not prime. Res64: 62B27CA4693E9F18 Time : 0.0 sec. user=mdettweiler [2016-05-14 21:59:58] 665*2^1429192-1 is not prime. Res64: AEED6930557217A8 Time : 0.0 sec. user=mdettweiler [2016-05-14 21:59:58] 677*2^1429192-1 is not prime. Res64: AB62387140800E9D Time : 0.0 sec. user=mdettweiler [2016-05-14 21:59:59] 843*2^1429192-1 is not prime. Res64: AE7D96A365DFDFB9 Time : 0.0 sec. user=mdettweiler [2016-05-14 21:59:59] 899*2^1429192-1 is not prime. Res64: 854B44D713C2947C Time : 0.0 sec. user=mdettweiler [2016-05-14 22:00:00] 909*2^1429192-1 is not prime. Res64: 1FA9DBEF27053079 Time : 0.0 sec. user=mdettweiler [2016-05-14 22:21:10] 923*2^1429192-1 is not prime. Res64: 2ECADCA59BF99D51 Time : 0.0 sec. user=mdettweiler [2016-05-14 22:21:10] 989*2^1429192-1 is not prime. Res64: DF6F8A64B60E10A2 Time : 0.0 sec. user=mdettweiler [2016-05-14 22:21:11] 657*2^1429193-1 is not prime. Res64: F9827F4BCC580DF7 Time : 0.0 sec. user=mdettweiler [2016-05-14 22:21:11] 669*2^1429193-1 is not prime. Res64: F854D67CDC1FDDC0 Time : 0.0 sec. user=mdettweiler [2016-05-14 22:21:12] 735*2^1429193-1 is not prime. Res64: 2D5F12EBCEC33233 Time : 0.0 sec. user=mdettweiler [2016-05-14 22:37:04] 741*2^1429193-1 is not prime. Res64: D22AF1C3721A2BB7 Time : 0.0 sec. user=mdettweiler [2016-05-14 22:37:04] 787*2^1429193-1 is not prime. Res64: 666D710647EBF1B3 Time : 0.0 sec. user=mdettweiler [2016-05-14 22:37:05] 847*2^1429193-1 is not prime. Res64: 576F807EA39E1C5F Time : 0.0 sec. user=mdettweiler [2016-05-14 22:37:05] 885*2^1429193-1 is not prime. Res64: 87F70D2A1D28E32F Time : 0.0 sec. user=mdettweiler [2016-05-14 22:37:05] 915*2^1429193-1 is not prime. Res64: 30506007A08A4519 Time : 0.0 sec. user=mdettweiler [2016-05-14 22:38:27] 987*2^1429193-1 is not prime. Res64: 0014BC4A54B39B61 Time : 0.0 sec. user=mdettweiler [2016-05-14 22:38:27] 651*2^1429194-1 is not prime. Res64: 07769C9A7AE22D03 Time : 0.0 sec. user=mdettweiler [2016-05-14 22:38:28] 663*2^1429194-1 is not prime. Res64: 6DE74CA972AD613F Time : 0.0 sec. user=mdettweiler [2016-05-14 22:38:28] 677*2^1429194-1 is not prime. Res64: E55B576685D35A72 Time : 0.0 sec. user=mdettweiler [2016-05-14 22:38:28] 683*2^1429194-1 is not prime. Res64: F0A817CA37A65C2F Time : 0.0 sec. user=mdettweiler [2016-05-14 22:46:13] 773*2^1429194-1 is not prime. Res64: 21792AB4EE8BDD2D Time : 0.0 sec. user=mdettweiler [2016-05-14 22:46:14] 797*2^1429194-1 is not prime. Res64: 4C8D2CBBE077B213 Time : 0.0 sec. user=mdettweiler [2016-05-14 22:46:14] 947*2^1429194-1 is not prime. Res64: F2D3793AAAD77CF4 Time : 0.0 sec. user=mdettweiler [2016-05-14 22:46:14] 645*2^1429195-1 is not prime. Res64: C6DC52A9BAF3673A Time : 0.0 sec. user=mdettweiler [2016-05-14 22:46:15] 759*2^1429195-1 is not prime. Res64: A70AC09291717A4B Time : 0.0 sec. user=mdettweiler [2016-05-14 23:07:18] 783*2^1429195-1 is not prime. Res64: 503F6B537DBC36EF Time : 0.0 sec. user=mdettweiler [2016-05-14 23:07:19] 873*2^1429195-1 is not prime. Res64: 7CCE6A1A9C134CA3 Time : 0.0 sec. user=mdettweiler [2016-05-14 23:07:19] 885*2^1429195-1 is not prime. Res64: FE80171F564FD729 Time : 0.0 sec. user=mdettweiler [2016-05-14 23:07:20] 951*2^1429195-1 is not prime. Res64: A28403B79881BE46 Time : 0.0 sec. user=mdettweiler [2016-05-14 23:07:20] 759*2^1429196-1 is not prime. Res64: 854269743FBFA74A Time : 0.0 sec. user=mdettweiler [2016-05-14 23:22:59] 845*2^1429196-1 is not prime. Res64: A8DA80E82AA9224B Time : 0.0 sec. user=mdettweiler [2016-05-14 23:23:00] 935*2^1429196-1 is not prime. Res64: FD77C353E7E06AA0 Time : 0.0 sec. user=mdettweiler [2016-05-14 23:23:00] 957*2^1429196-1 is not prime. Res64: FFE52ABBFD8FAF54 Time : 0.0 sec. user=mdettweiler [2016-05-14 23:23:01] 667*2^1429197-1 is not prime. Res64: B1FA263C292C62F0 Time : 0.0 sec. user=mdettweiler [2016-05-14 23:23:01] 685*2^1429197-1 is not prime. Res64: CAC475F8492F367E Time : 0.0 sec. user=mdettweiler [2016-05-14 23:24:20] 709*2^1429197-1 is not prime. Res64: 27E7BE33D656B1ED Time : 0.0 sec. user=mdettweiler [2016-05-14 23:24:20] 781*2^1429197-1 is not prime. Res64: E3EC3D0ADC74A2F1 Time : 0.0 sec. user=mdettweiler [2016-05-14 23:24:21] 985*2^1429197-1 is not prime. Res64: C73CCF549D16BD0D Time : 0.0 sec. user=mdettweiler [2016-05-14 23:24:21] 611*2^1429198-1 is not prime. Res64: CD0B69389AE985F2 Time : 0.0 sec. user=mdettweiler [2016-05-14 23:24:21] 933*2^1429198-1 is not prime. Res64: C62FD78D61C9CF07 Time : 0.0 sec. user=mdettweiler [2016-05-14 23:32:21] 981*2^1429198-1 is not prime. Res64: 5B340E506D98D919 Time : 0.0 sec. user=mdettweiler [2016-05-14 23:32:22] 995*2^1429198-1 is not prime. Res64: E7D24CCEA2403C05 Time : 0.0 sec. user=mdettweiler [2016-05-14 23:32:22] 663*2^1429199-1 is not prime. Res64: DF89DE483A628275 Time : 0.0 sec. user=mdettweiler [2016-05-14 23:32:23] 813*2^1429199-1 is not prime. Res64: 25A82F3A9415B188 Time : 0.0 sec. user=mdettweiler [2016-05-14 23:32:23] 825*2^1429199-1 is not prime. Res64: 6AB2AC20A73AC8F9 Time : 0.0 sec. user=mdettweiler [2016-05-14 23:53:18] 841*2^1429199-1 is not prime. Res64: F9586EDC057688D0 Time : 0.0 sec. user=mdettweiler [2016-05-14 23:53:18] 913*2^1429199-1 is not prime. Res64: 50F1A27F65F3BA2C Time : 0.0 sec. user=mdettweiler [2016-05-14 23:53:19] 939*2^1429199-1 is not prime. Res64: D3132D915BECEF40 Time : 0.0 sec. user=mdettweiler [2016-05-14 23:53:19] 979*2^1429199-1 is not prime. Res64: EFC56A412932DEDF Time : 0.0 sec. user=mdettweiler [2016-05-14 23:53:19] 627*2^1429200-1 is not prime. Res64: E067BDE16FB6090F Time : 0.0 sec.