user=mdettweiler [2018-08-09 00:06:47] 883*2^1520791-1 is not prime. Res64: BEA7A15FC18D5E2D Time : 0.0 sec. user=mdettweiler [2018-08-09 00:06:50] 713*2^1520792-1 is not prime. Res64: 5C0C9DFF2CDCCB49 Time : 0.0 sec. user=mdettweiler [2018-08-09 00:06:51] 759*2^1520792-1 is not prime. Res64: 5248BE4E41C70C82 Time : 0.0 sec. user=mdettweiler [2018-08-09 00:06:52] 843*2^1520792-1 is not prime. Res64: 13D16C5002E7FC5B Time : 0.0 sec. user=mdettweiler [2018-08-09 00:06:53] 897*2^1520792-1 is not prime. Res64: EA1F45D1DD194607 Time : 0.0 sec. user=mdettweiler [2018-08-09 00:09:25] 915*2^1520792-1 is not prime. Res64: 79B21A5CC2BC3B6F Time : 0.0 sec. user=mdettweiler [2018-08-09 00:09:26] 957*2^1520792-1 is not prime. Res64: 3ECAF4C3EF98C325 Time : 0.0 sec. user=mdettweiler [2018-08-09 00:09:27] 727*2^1520793-1 is not prime. Res64: 2F667F8DA5796E11 Time : 0.0 sec. user=mdettweiler [2018-08-09 00:09:28] 741*2^1520793-1 is not prime. Res64: 14ACBDAB525F63F9 Time : 0.0 sec. user=mdettweiler [2018-08-09 00:09:29] 789*2^1520793-1 is not prime. Res64: 713259C72335216A Time : 0.0 sec. user=mdettweiler [2018-08-09 00:40:26] 805*2^1520793-1 is not prime. Res64: 744C213CFAE9B3A9 Time : 0.0 sec. user=mdettweiler [2018-08-09 00:40:27] 901*2^1520793-1 is not prime. Res64: FD752D393B0CBC4E Time : 0.0 sec. user=mdettweiler [2018-08-09 00:40:28] 605*2^1520794-1 is not prime. Res64: FF2DE12CDD1D51C6 Time : 0.0 sec. user=mdettweiler [2018-08-09 00:40:29] 657*2^1520794-1 is not prime. Res64: C0EA98D1520CFBD8 Time : 0.0 sec. user=mdettweiler [2018-08-09 00:40:29] 695*2^1520794-1 is not prime. Res64: FC0DC8B80950FF2B Time : 0.0 sec. user=mdettweiler [2018-08-09 00:51:51] 741*2^1520794-1 is not prime. Res64: 6B696ED816B1D63B Time : 0.0 sec. user=mdettweiler [2018-08-09 00:51:51] 827*2^1520794-1 is not prime. Res64: D2B7CF46EFB8C4A6 Time : 0.0 sec. user=mdettweiler [2018-08-09 00:51:52] 619*2^1520795-1 is not prime. Res64: F8405F206F5E1D6D Time : 0.0 sec. user=mdettweiler [2018-08-09 00:51:52] 645*2^1520795-1 is not prime. Res64: 7EAD9CE88E5ABAC1 Time : 0.0 sec. user=mdettweiler [2018-08-09 00:51:52] 673*2^1520795-1 is not prime. Res64: A1519D625E6DDE8A Time : 0.0 sec. user=mdettweiler [2018-08-09 01:02:37] 733*2^1520795-1 is not prime. Res64: 04BA019249060687 Time : 0.0 sec. user=mdettweiler [2018-08-09 01:02:37] 735*2^1520795-1 is not prime. Res64: D78ADC6DE73F3CD4 Time : 0.0 sec. user=mdettweiler [2018-08-09 01:02:38] 859*2^1520795-1 is not prime. Res64: 486C5C689AD73174 Time : 0.0 sec. user=mdettweiler [2018-08-09 01:02:39] 895*2^1520795-1 is not prime. Res64: 606C314E0F828062 Time : 0.0 sec. user=mdettweiler [2018-08-09 01:02:40] 915*2^1520795-1 is not prime. Res64: 73EB74A6DADF755A Time : 0.0 sec. user=mdettweiler [2018-08-09 01:03:45] 949*2^1520795-1 is not prime. Res64: 249E986C98E3FC45 Time : 0.0 sec. user=mdettweiler [2018-08-09 01:03:46] 969*2^1520795-1 is not prime. Res64: 3EB6410665DC5231 Time : 0.0 sec. user=mdettweiler [2018-08-09 01:03:47] 981*2^1520795-1 is not prime. Res64: 9F71ADF65CE0879A Time : 0.0 sec. user=mdettweiler [2018-08-09 01:03:48] 717*2^1520796-1 is not prime. Res64: 7D965D6E0B6FDE76 Time : 0.0 sec. user=mdettweiler [2018-08-09 01:03:49] 899*2^1520796-1 is not prime. Res64: E0551A6E63CBC0B4 Time : 0.0 sec. user=mdettweiler [2018-08-09 01:33:42] 777*2^1520797-1 is not prime. Res64: 01E33528B224773D Time : 0.0 sec. user=mdettweiler [2018-08-09 01:33:43] 805*2^1520797-1 is not prime. Res64: F0AF205B46BDB06A Time : 0.0 sec. user=mdettweiler [2018-08-09 01:33:43] 937*2^1520797-1 is not prime. Res64: 402439EE06C742BB Time : 0.0 sec. user=mdettweiler [2018-08-09 01:33:44] 939*2^1520797-1 is not prime. Res64: 8C38A1F5AC028D09 Time : 0.0 sec. user=mdettweiler [2018-08-09 01:33:45] 955*2^1520797-1 is not prime. Res64: 88ECFC0150AACFFB Time : 0.0 sec. user=mdettweiler [2018-08-09 01:44:59] 813*2^1520798-1 is not prime. Res64: B0F93B1384791F23 Time : 0.0 sec. user=mdettweiler [2018-08-09 01:44:59] 857*2^1520798-1 is not prime. Res64: C6BD66DCD3388104 Time : 0.0 sec. user=mdettweiler [2018-08-09 01:45:00] 861*2^1520798-1 is not prime. Res64: BD956ACE9F37839A Time : 0.0 sec. user=mdettweiler [2018-08-09 01:45:00] 885*2^1520798-1 is not prime. Res64: 6E3EF333FEE34612 Time : 0.0 sec. user=mdettweiler [2018-08-09 01:45:01] 935*2^1520798-1 is not prime. Res64: FEBCCECCB8FC1C05 Time : 0.0 sec. user=mdettweiler [2018-08-09 01:56:13] 945*2^1520798-1 is not prime. Res64: 51D8366E5EAB00CD Time : 0.0 sec. user=mdettweiler [2018-08-09 01:56:14] 625*2^1520799-1 is not prime. Res64: 75CE969E8445ABF0 Time : 0.0 sec. user=mdettweiler [2018-08-09 01:56:14] 691*2^1520799-1 is not prime. Res64: 1B1263ECB1F5C986 Time : 0.0 sec. user=mdettweiler [2018-08-09 01:56:15] 831*2^1520799-1 is not prime. Res64: 06BF915AEEDEEB90 Time : 0.0 sec. user=mdettweiler [2018-08-09 01:56:15] 861*2^1520799-1 is not prime. Res64: 4201E211295CDB0C Time : 0.0 sec. user=mdettweiler [2018-08-09 01:59:56] 891*2^1520799-1 is not prime. Res64: 88682662A69CDB74 Time : 0.0 sec. user=mdettweiler [2018-08-09 01:59:57] 979*2^1520799-1 is not prime. Res64: 9741622FC7B7AD4C Time : 0.0 sec. user=mdettweiler [2018-08-09 01:59:57] 615*2^1520800-1 is not prime. Res64: 23B3901AF4ACF637 Time : 0.0 sec. user=mdettweiler [2018-08-09 01:59:58] 645*2^1520800-1 is not prime. Res64: DA359759EACB649D Time : 0.0 sec. user=mdettweiler [2018-08-09 01:59:58] 735*2^1520800-1 is not prime. Res64: D4FA22FDB3949B86 Time : 0.0 sec. user=mdettweiler [2018-08-09 02:26:27] 999*2^1520800-1 is not prime. Res64: 00FF639D4497B1DE Time : 0.0 sec. user=mdettweiler [2018-08-09 02:26:27] 715*2^1520801-1 is not prime. Res64: D02CD968792DC6B6 Time : 0.0 sec. user=mdettweiler [2018-08-09 02:26:28] 789*2^1520801-1 is not prime. Res64: 4EAD8F9F030315D4 Time : 0.0 sec. user=mdettweiler [2018-08-09 02:26:28] 861*2^1520801-1 is not prime. Res64: F31F4C522B962049 Time : 0.0 sec. user=mdettweiler [2018-08-09 02:26:29] 633*2^1520802-1 is not prime. Res64: 00F19726E252B110 Time : 0.0 sec. user=mdettweiler [2018-08-09 02:36:43] 713*2^1520802-1 is not prime. Res64: E4729A524F76300A Time : 0.0 sec. user=mdettweiler [2018-08-09 02:36:44] 791*2^1520802-1 is not prime. Res64: B8C77B6F63BDB0C2 Time : 0.0 sec. user=mdettweiler [2018-08-09 02:36:45] 797*2^1520802-1 is not prime. Res64: CFEC7B65579B3BB7 Time : 0.0 sec. user=mdettweiler [2018-08-09 02:36:46] 843*2^1520802-1 is not prime. Res64: 31815732B829C31F Time : 0.0 sec. user=mdettweiler [2018-08-09 02:36:46] 867*2^1520802-1 is not prime. Res64: 795AD81F25347025 Time : 0.0 sec. user=mdettweiler [2018-08-09 02:48:48] 915*2^1520802-1 is not prime. Res64: C586D8DB7F6927F3 Time : 0.0 sec. user=mdettweiler [2018-08-09 02:48:49] 923*2^1520802-1 is not prime. Res64: 08AB8954DEF23352 Time : 0.0 sec. user=mdettweiler [2018-08-09 02:48:49] 975*2^1520802-1 is not prime. Res64: 0D0DF0DD52980C06 Time : 0.0 sec. user=mdettweiler [2018-08-09 02:48:50] 977*2^1520802-1 is not prime. Res64: D5F318A9F2A14C6E Time : 0.0 sec. user=mdettweiler [2018-08-09 02:48:51] 633*2^1520803-1 is not prime. Res64: CC44D67B3234E52B Time : 0.0 sec. user=mdettweiler [2018-08-09 02:52:43] 639*2^1520803-1 is not prime. Res64: 715EE1199DF80D1C Time : 0.0 sec. user=mdettweiler [2018-08-09 02:52:44] 685*2^1520803-1 is not prime. Res64: BD55D0E367165801 Time : 0.0 sec. user=mdettweiler [2018-08-09 02:52:44] 693*2^1520803-1 is not prime. Res64: 9CC8A8FBAB6CF7FD Time : 0.0 sec. user=mdettweiler [2018-08-09 02:52:45] 703*2^1520803-1 is not prime. Res64: D5D8650A3103B547 Time : 0.0 sec. user=mdettweiler [2018-08-09 02:52:47] 765*2^1520803-1 is not prime. Res64: 30AE9DBC05D34B9D Time : 0.0 sec. user=mdettweiler [2018-08-09 03:18:50] 853*2^1520803-1 is not prime. Res64: 4D8F7A456019DFDC Time : 0.0 sec. user=mdettweiler [2018-08-09 03:18:50] 861*2^1520803-1 is not prime. Res64: 62FF39578CF2E2A2 Time : 0.0 sec. user=mdettweiler [2018-08-09 03:18:51] 883*2^1520803-1 is not prime. Res64: 906D3DE123C89592 Time : 0.0 sec. user=mdettweiler [2018-08-09 03:18:51] 915*2^1520803-1 is not prime. Res64: 5DFE415B21BE0667 Time : 0.0 sec. user=mdettweiler [2018-08-09 03:18:51] 919*2^1520803-1 is not prime. Res64: 0417072BFD334378 Time : 0.0 sec. user=mdettweiler [2018-08-09 03:29:36] 677*2^1520804-1 is not prime. Res64: 5BB1D419C1B9FA52 Time : 0.0 sec. user=mdettweiler [2018-08-09 03:29:37] 885*2^1520804-1 is not prime. Res64: 666A73647702E764 Time : 0.0 sec. user=mdettweiler [2018-08-09 03:29:37] 909*2^1520804-1 is not prime. Res64: 34945B603F708DFC Time : 0.0 sec. user=mdettweiler [2018-08-09 03:29:38] 675*2^1520805-1 is not prime. Res64: 89C5DDFD4A6DADEE Time : 0.0 sec. user=mdettweiler [2018-08-09 03:29:39] 787*2^1520805-1 is not prime. Res64: 1DB621B8FDBD228A Time : 0.0 sec. user=mdettweiler [2018-08-09 03:40:51] 811*2^1520805-1 is not prime. Res64: 9E1A9369E65A5CF2 Time : 0.0 sec. user=mdettweiler [2018-08-09 03:40:52] 877*2^1520805-1 is not prime. Res64: E04112A5E63506D6 Time : 0.0 sec. user=mdettweiler [2018-08-09 03:40:53] 623*2^1520806-1 is not prime. Res64: ADB9361F7378A0D4 Time : 0.0 sec. user=mdettweiler [2018-08-09 03:40:54] 705*2^1520806-1 is not prime. Res64: 713F68D0A6997E0B Time : 0.0 sec. user=mdettweiler [2018-08-09 03:40:56] 713*2^1520806-1 is not prime. Res64: 0CD7AB6A11F836C8 Time : 0.0 sec. user=mdettweiler [2018-08-09 03:45:20] 717*2^1520806-1 is not prime. Res64: 495DD65EBC45EF54 Time : 0.0 sec. user=mdettweiler [2018-08-09 03:45:21] 723*2^1520806-1 is not prime. Res64: A9CB48B81560D1BB Time : 0.0 sec. user=mdettweiler [2018-08-09 03:45:22] 755*2^1520806-1 is not prime. Res64: 5F7BB27DC8B4F141 Time : 0.0 sec. user=mdettweiler [2018-08-09 03:45:23] 773*2^1520806-1 is not prime. Res64: EA211BF4B9668ED6 Time : 0.0 sec. user=mdettweiler [2018-08-09 03:45:24] 887*2^1520806-1 is not prime. Res64: 51A37D3B68970384 Time : 0.0 sec. user=mdettweiler [2018-08-09 04:11:18] 891*2^1520806-1 is not prime. Res64: 8A4C7B9BF77BAC35 Time : 0.0 sec. user=mdettweiler [2018-08-09 04:11:19] 983*2^1520806-1 is not prime. Res64: 2B8AC736A16A4DE7 Time : 0.0 sec. user=mdettweiler [2018-08-09 04:11:21] 987*2^1520806-1 is not prime. Res64: 6FEEC33DF4C6EAC2 Time : 0.0 sec. user=mdettweiler [2018-08-09 04:11:22] 799*2^1520807-1 is not prime. Res64: 9D44F95C7AA806CD Time : 0.0 sec. user=mdettweiler [2018-08-09 04:11:23] 861*2^1520807-1 is not prime. Res64: 1AEDA17E5CA71984 Time : 0.0 sec. user=mdettweiler [2018-08-09 04:22:03] 939*2^1520807-1 is not prime. Res64: 358B7306A9922D3C Time : 0.0 sec. user=mdettweiler [2018-08-09 04:22:03] 993*2^1520807-1 is not prime. Res64: 34573CAB8005F689 Time : 0.0 sec. user=mdettweiler [2018-08-09 04:22:05] 705*2^1520808-1 is not prime. Res64: 0FAE1C24A1A39F89 Time : 0.0 sec. user=mdettweiler [2018-08-09 04:22:06] 723*2^1520808-1 is not prime. Res64: 7AF24093F3D00F7F Time : 0.0 sec. user=mdettweiler [2018-08-09 04:22:07] 737*2^1520808-1 is not prime. Res64: 8407A5F42401D638 Time : 0.0 sec. user=mdettweiler [2018-08-09 04:33:27] 767*2^1520808-1 is not prime. Res64: AA121E54B6EA001B Time : 0.0 sec. user=mdettweiler [2018-08-09 04:33:27] 773*2^1520808-1 is not prime. Res64: 7B18DC86AFB7DF64 Time : 0.0 sec. user=mdettweiler [2018-08-09 04:33:28] 777*2^1520808-1 is not prime. Res64: 7D33DE669D1205B9 Time : 0.0 sec. user=mdettweiler [2018-08-09 04:33:28] 789*2^1520808-1 is not prime. Res64: 3680183056A0FA83 Time : 0.0 sec. user=mdettweiler [2018-08-09 04:33:29] 839*2^1520808-1 is not prime. Res64: 2614F923256D6E2D Time : 0.0 sec. user=mdettweiler [2018-08-09 04:36:59] 887*2^1520808-1 is not prime. Res64: F5CB108752AD26D6 Time : 0.0 sec. user=mdettweiler [2018-08-09 04:36:59] 893*2^1520808-1 is not prime. Res64: 297AB64C3CC39DDD Time : 0.0 sec. user=mdettweiler [2018-08-09 04:37:00] 899*2^1520808-1 is not prime. Res64: 55675C02F3509813 Time : 0.0 sec. user=mdettweiler [2018-08-09 04:37:00] 909*2^1520808-1 is not prime. Res64: AA6635E6320C1D3C Time : 0.0 sec. user=mdettweiler [2018-08-09 04:37:01] 929*2^1520808-1 is not prime. Res64: 3FC220BE20B47084 Time : 0.0 sec. user=mdettweiler [2018-08-09 05:03:10] 691*2^1520809-1 is not prime. Res64: 8FE9589ED5889877 Time : 0.0 sec. user=mdettweiler [2018-08-09 05:03:11] 747*2^1520809-1 is not prime. Res64: 38F50CACA3C0F6D3 Time : 0.0 sec. user=mdettweiler [2018-08-09 05:03:11] 789*2^1520809-1 is not prime. Res64: 2D9B3D073B0D1A86 Time : 0.0 sec. user=mdettweiler [2018-08-09 05:03:13] 799*2^1520809-1 is not prime. Res64: 2954383CEE609131 Time : 0.0 sec. user=mdettweiler [2018-08-09 05:03:14] 835*2^1520809-1 is not prime. Res64: 352F138638372E0F Time : 0.0 sec. user=mdettweiler [2018-08-09 05:13:47] 877*2^1520809-1 is not prime. Res64: 96D061D743F94FA5 Time : 0.0 sec. user=mdettweiler [2018-08-09 05:13:47] 895*2^1520809-1 is not prime. Res64: F488B8B853F395DD Time : 0.0 sec. user=mdettweiler [2018-08-09 05:13:48] 967*2^1520809-1 is not prime. Res64: 7FE92C2F0A8556AF Time : 0.0 sec. user=mdettweiler [2018-08-09 05:13:48] 985*2^1520809-1 is not prime. Res64: 23D59543F31CB5FE Time : 0.0 sec. user=mdettweiler [2018-08-09 05:13:49] 605*2^1520810-1 is not prime. Res64: D76D4DBD0AD9D71A Time : 0.0 sec. user=mdettweiler [2018-08-09 05:25:20] 633*2^1520810-1 is not prime. Res64: 3F5E634740CC4362 Time : 0.0 sec. user=mdettweiler [2018-08-09 05:25:20] 713*2^1520810-1 is not prime. Res64: 43C1DB03F8265EC0 Time : 0.0 sec. user=mdettweiler [2018-08-09 05:25:21] 741*2^1520810-1 is not prime. Res64: D8E6B82063B25FA4 Time : 0.0 sec. user=mdettweiler [2018-08-09 05:25:21] 797*2^1520810-1 is not prime. Res64: DC5CA78226F2C712 Time : 0.0 sec. user=mdettweiler [2018-08-09 05:25:22] 917*2^1520810-1 is not prime. Res64: 3224978DAE685101 Time : 0.0 sec. user=mdettweiler [2018-08-09 05:29:59] 977*2^1520810-1 is not prime. Res64: 148354E1DC716B7C Time : 0.0 sec. user=mdettweiler [2018-08-09 05:29:59] 609*2^1520811-1 is not prime. Res64: 2D368CAE1278EE52 Time : 0.0 sec. user=mdettweiler [2018-08-09 05:30:00] 613*2^1520811-1 is not prime. Res64: 392862211A6D8731 Time : 0.0 sec. user=mdettweiler [2018-08-09 05:30:00] 619*2^1520811-1 is not prime. Res64: 4048F039A5002C2F Time : 0.0 sec. user=mdettweiler [2018-08-09 05:30:01] 669*2^1520811-1 is not prime. Res64: D3AAC34D4D370442 Time : 0.0 sec. user=mdettweiler [2018-08-09 05:58:41] 685*2^1520811-1 is not prime. Res64: C3338396F61B86B8 Time : 0.0 sec. user=mdettweiler [2018-08-09 05:58:42] 739*2^1520811-1 is not prime. Res64: 1B9E33FAFF8D148F Time : 0.0 sec. user=mdettweiler [2018-08-09 05:58:42] 783*2^1520811-1 is not prime. Res64: 8F90FAB17ED5D87E Time : 0.0 sec. user=mdettweiler [2018-08-09 05:58:42] 795*2^1520811-1 is not prime. Res64: A6FFA9BE1BC32791 Time : 0.0 sec. user=mdettweiler [2018-08-09 05:58:43] 623*2^1520812-1 is not prime. Res64: 0667B1FC616C17C3 Time : 0.0 sec. user=mdettweiler [2018-08-09 06:05:45] 687*2^1520812-1 is not prime. Res64: 9AA7E342275CD0B7 Time : 0.0 sec. user=mdettweiler [2018-08-09 06:05:48] 735*2^1520812-1 is not prime. Res64: EE2FA639B6D55FFF Time : 0.0 sec. user=mdettweiler [2018-08-09 06:05:49] 765*2^1520812-1 is not prime. Res64: 8A071F4D3742FA9F Time : 0.0 sec. user=mdettweiler [2018-08-09 06:05:51] 785*2^1520812-1 is not prime. Res64: 7FD0848ECF54BB9F Time : 0.0 sec. user=mdettweiler [2018-08-09 06:05:52] 857*2^1520812-1 is not prime. Res64: 3CAAF0ED4C980B4E Time : 0.0 sec. user=mdettweiler [2018-08-09 06:17:23] 873*2^1520812-1 is not prime. Res64: C409F753232B1D08 Time : 0.0 sec. user=mdettweiler [2018-08-09 06:17:23] 957*2^1520812-1 is not prime. Res64: 649211870CC70014 Time : 0.0 sec. user=mdettweiler [2018-08-09 06:17:24] 649*2^1520813-1 is not prime. Res64: 0DE31D71F71E469C Time : 0.0 sec. user=mdettweiler [2018-08-09 06:17:24] 685*2^1520813-1 is not prime. Res64: E4C6B3881B8B3699 Time : 0.0 sec. user=mdettweiler [2018-08-09 06:17:24] 801*2^1520813-1 is not prime. Res64: A2CA6068E487BF5D Time : 0.0 sec. user=mdettweiler [2018-08-09 06:21:51] 657*2^1520814-1 is not prime. Res64: 724D43091C0812B5 Time : 0.0 sec. user=mdettweiler [2018-08-09 06:21:52] 681*2^1520814-1 is not prime. Res64: 763C3FC40E2E36DD Time : 0.0 sec. user=mdettweiler [2018-08-09 06:21:52] 723*2^1520814-1 is not prime. Res64: 223E8280CDD0FC81 Time : 0.0 sec. user=mdettweiler [2018-08-09 06:21:53] 741*2^1520814-1 is not prime. Res64: BFDDD97A7CD3ADCD Time : 0.0 sec. user=mdettweiler [2018-08-09 06:21:53] 791*2^1520814-1 is not prime. Res64: 86011ED8A4042994 Time : 0.0 sec. user=mdettweiler [2018-08-09 06:50:55] 825*2^1520814-1 is not prime. Res64: 68FEE79C9191D116 Time : 0.0 sec. user=mdettweiler [2018-08-09 06:50:56] 941*2^1520814-1 is not prime. Res64: D691FA312D7C9544 Time : 0.0 sec. user=mdettweiler [2018-08-09 06:50:56] 1001*2^1520814-1 is not prime. Res64: 3FF1E7CBE6ED9F58 Time : 0.0 sec. user=mdettweiler [2018-08-09 06:50:56] 609*2^1520815-1 is not prime. Res64: F013BEAB2D408032 Time : 0.0 sec. user=mdettweiler [2018-08-09 06:50:57] 649*2^1520815-1 is not prime. Res64: 45B08A1D489B9659 Time : 0.0 sec. user=mdettweiler [2018-08-09 06:58:13] 673*2^1520815-1 is not prime. Res64: C69C87B48C82BA1F Time : 0.0 sec. user=mdettweiler [2018-08-09 06:58:14] 759*2^1520815-1 is not prime. Res64: 9D01EF57E62523EE Time : 0.0 sec. user=mdettweiler [2018-08-09 06:58:14] 765*2^1520815-1 is not prime. Res64: 067C360B27A6038C Time : 0.0 sec. user=mdettweiler [2018-08-09 06:58:14] 831*2^1520815-1 is not prime. Res64: 67F2396F1BFDA3FB Time : 0.0 sec. user=mdettweiler [2018-08-09 06:58:15] 859*2^1520815-1 is not prime. Res64: FD105361C6E877A1 Time : 0.0 sec. user=mdettweiler [2018-08-09 07:10:05] 871*2^1520815-1 is not prime. Res64: 4F2607BF14ECFBE8 Time : 0.0 sec. user=mdettweiler [2018-08-09 07:10:06] 973*2^1520815-1 is not prime. Res64: F1734D47CF8F8A0A Time : 0.0 sec. user=mdettweiler [2018-08-09 07:10:06] 617*2^1520816-1 is not prime. Res64: FBC74C64F1832490 Time : 0.0 sec. user=mdettweiler [2018-08-09 07:10:06] 735*2^1520816-1 is not prime. Res64: C10F69B3ACF75467 Time : 0.0 sec. user=mdettweiler [2018-08-09 07:10:07] 773*2^1520816-1 is not prime. Res64: C5FF68D5AAD7650F Time : 0.0 sec. user=mdettweiler [2018-08-09 07:17:59] 855*2^1520816-1 is not prime. Res64: E1BB2B9A33DE0FBE Time : 0.0 sec. user=mdettweiler [2018-08-09 07:17:59] 879*2^1520816-1 is not prime. Res64: DD13EE9D8F41A3E3 Time : 0.0 sec. user=mdettweiler [2018-08-09 07:18:00] 927*2^1520816-1 is not prime. Res64: F6CA7BB5E928A795 Time : 0.0 sec. user=mdettweiler [2018-08-09 07:18:00] 963*2^1520816-1 is not prime. Res64: C95D29277069A10C Time : 0.0 sec. user=mdettweiler [2018-08-09 07:18:01] 983*2^1520816-1 is not prime. Res64: 6D8DE5A1D68B3D0E Time : 0.0 sec. user=mdettweiler [2018-08-09 07:43:24] 685*2^1520817-1 is not prime. Res64: 76E89EB51EEFBF5F Time : 0.0 sec. user=mdettweiler [2018-08-09 07:43:24] 819*2^1520817-1 is not prime. Res64: 9D932079D175E923 Time : 0.0 sec. user=mdettweiler [2018-08-09 07:43:25] 831*2^1520817-1 is not prime. Res64: ECD77B8E91A42DAD Time : 0.0 sec. user=mdettweiler [2018-08-09 07:43:25] 837*2^1520817-1 is not prime. Res64: B2C45291FEB42908 Time : 0.0 sec. user=mdettweiler [2018-08-09 07:43:25] 867*2^1520817-1 is not prime. Res64: C2002048ADF37E98 Time : 0.0 sec. user=mdettweiler [2018-08-09 07:51:49] 949*2^1520817-1 is not prime. Res64: 2AA90480F8E97811 Time : 0.0 sec. user=mdettweiler [2018-08-09 07:51:50] 605*2^1520818-1 is not prime. Res64: 3C48031DBB9E35F8 Time : 0.0 sec. user=mdettweiler [2018-08-09 07:51:50] 621*2^1520818-1 is not prime. Res64: B8E79E01C38CB49A Time : 0.0 sec. user=mdettweiler [2018-08-09 07:51:51] 743*2^1520818-1 is not prime. Res64: A40BCDB50137ECB6 Time : 0.0 sec. user=mdettweiler [2018-08-09 07:51:51] 755*2^1520818-1 is not prime. Res64: 0734B904B0BEA609 Time : 0.0 sec. user=mdettweiler [2018-08-09 08:02:29] 777*2^1520818-1 is not prime. Res64: 7069A9200DC2B9E1 Time : 0.0 sec. user=mdettweiler [2018-08-09 08:02:29] 843*2^1520818-1 is not prime. Res64: AF6A31ECF9183672 Time : 0.0 sec. user=mdettweiler [2018-08-09 08:02:30] 861*2^1520818-1 is not prime. Res64: 6A3B15DEC3AED63D Time : 0.0 sec. user=mdettweiler [2018-08-09 08:02:31] 643*2^1520819-1 is not prime. Res64: 108731082ACC5356 Time : 0.0 sec. user=mdettweiler [2018-08-09 08:02:32] 663*2^1520819-1 is not prime. Res64: 0BC221EDD1671EE4 Time : 0.0 sec. user=mdettweiler [2018-08-09 08:13:41] 675*2^1520819-1 is not prime. Res64: 2B516D39C2D8D03C Time : 0.0 sec. user=mdettweiler [2018-08-09 08:13:41] 685*2^1520819-1 is not prime. Res64: 4C57CEFE295523AC Time : 0.0 sec. user=mdettweiler [2018-08-09 08:13:41] 741*2^1520819-1 is not prime. Res64: 6686E1B18506DF0F Time : 0.0 sec. user=mdettweiler [2018-08-09 08:13:42] 861*2^1520819-1 is not prime. Res64: 83C3B97552988930 Time : 0.0 sec. user=mdettweiler [2018-08-09 08:13:42] 909*2^1520819-1 is not prime. Res64: CC7BAA13F9074E93 Time : 0.0 sec. user=mdettweiler [2018-08-09 08:37:16] 627*2^1520820-1 is not prime. Res64: 44881A384C74BB6E Time : 0.0 sec. user=mdettweiler [2018-08-09 08:37:16] 669*2^1520820-1 is not prime. Res64: CC13FD754B0D48BE Time : 0.0 sec. user=mdettweiler [2018-08-09 08:37:16] 759*2^1520820-1 is not prime. Res64: 1DC4346B2F3022AF Time : 0.0 sec. user=mdettweiler [2018-08-09 08:37:17] 789*2^1520820-1 is not prime. Res64: 54FD77198B464C03 Time : 0.0 sec. user=mdettweiler [2018-08-09 08:37:17] 927*2^1520820-1 is not prime. Res64: 21C2AEF6836E66B1 Time : 0.0 sec. user=mdettweiler [2018-08-09 08:43:34] 945*2^1520820-1 is not prime. Res64: 6C201BCCA475BD65 Time : 0.0 sec. user=mdettweiler [2018-08-09 08:43:34] 965*2^1520820-1 is not prime. Res64: E9BD2E5417B07CD1 Time : 0.0 sec. user=mdettweiler [2018-08-09 08:43:35] 771*2^1520821-1 is not prime. Res64: E6AC69AA0A94F396 Time : 0.0 sec. user=mdettweiler [2018-08-09 08:43:35] 811*2^1520821-1 is not prime. Res64: 17C7227ED46648CC Time : 0.0 sec. user=mdettweiler [2018-08-09 08:43:35] 829*2^1520821-1 is not prime. Res64: F6441EAFD85047F4 Time : 0.0 sec. user=mdettweiler [2018-08-09 08:54:38] 975*2^1520821-1 is not prime. Res64: C2EA8DAF2BF05F81 Time : 0.0 sec. user=mdettweiler [2018-08-09 08:54:38] 635*2^1520822-1 is not prime. Res64: 3D74026415E3AC2C Time : 0.0 sec. user=mdettweiler [2018-08-09 08:54:38] 755*2^1520822-1 is not prime. Res64: 7C13AA652248D27E Time : 0.0 sec. user=mdettweiler [2018-08-09 08:54:39] 797*2^1520822-1 is not prime. Res64: 36CDDD5D8778B16D Time : 0.0 sec. user=mdettweiler [2018-08-09 08:54:39] 825*2^1520822-1 is not prime. Res64: E8A5868A2C9683B2 Time : 0.0 sec. user=mdettweiler [2018-08-09 09:05:18] 873*2^1520822-1 is not prime. Res64: 04F3C101FA930564 Time : 0.0 sec. user=mdettweiler [2018-08-09 09:05:20] 875*2^1520822-1 is not prime. Res64: 803895FB1EB6A370 Time : 0.0 sec. user=mdettweiler [2018-08-09 09:05:21] 945*2^1520822-1 is not prime. Res64: CB30172E1402FEC4 Time : 0.0 sec. user=mdettweiler [2018-08-09 09:05:22] 981*2^1520822-1 is not prime. Res64: 168F562AF0E86BB0 Time : 0.0 sec. user=mdettweiler [2018-08-09 09:05:23] 663*2^1520823-1 is not prime. Res64: DB5EF2F05A203A23 Time : 0.0 sec. user=mdettweiler [2018-08-09 09:30:49] 669*2^1520823-1 is not prime. Res64: 6A6F13C90DB80B4B Time : 0.0 sec. user=mdettweiler [2018-08-09 09:30:49] 741*2^1520823-1 is not prime. Res64: 1B6B8C339737FC67 Time : 0.0 sec. user=mdettweiler [2018-08-09 09:30:49] 751*2^1520823-1 is not prime. Res64: E5C9B2E6E2AA6803 Time : 0.0 sec. user=mdettweiler [2018-08-09 09:30:50] 789*2^1520823-1 is not prime. Res64: DA3DC722B272116D Time : 0.0 sec. user=mdettweiler [2018-08-09 09:30:50] 825*2^1520823-1 is not prime. Res64: 9D0A0195684AA8B9 Time : 0.0 sec. user=mdettweiler [2018-08-09 09:35:38] 849*2^1520823-1 is not prime. Res64: 0EE9980CA0577ED8 Time : 0.0 sec. user=mdettweiler [2018-08-09 09:35:38] 859*2^1520823-1 is not prime. Res64: D80A470FE5762123 Time : 0.0 sec. user=mdettweiler [2018-08-09 09:35:39] 871*2^1520823-1 is not prime. Res64: A4C34F454C063DF8 Time : 0.0 sec. user=mdettweiler [2018-08-09 09:35:39] 945*2^1520823-1 is not prime. Res64: 050259E12F79B09E Time : 0.0 sec. user=mdettweiler [2018-08-09 09:35:39] 961*2^1520823-1 is not prime. Res64: 0B320D620C2A701F Time : 0.0 sec. user=mdettweiler [2018-08-09 09:46:39] 963*2^1520823-1 is not prime. Res64: B0167FC9219B4C55 Time : 0.0 sec. user=mdettweiler [2018-08-09 09:46:40] 755*2^1520824-1 is not prime. Res64: 8471BB7C1A5954FC Time : 0.0 sec. user=mdettweiler [2018-08-09 09:46:40] 827*2^1520824-1 is not prime. Res64: 289010B507F4073C Time : 0.0 sec. user=mdettweiler [2018-08-09 09:46:40] 857*2^1520824-1 is not prime. Res64: 638E8AA12BC79C1A Time : 0.0 sec. user=mdettweiler [2018-08-09 09:46:41] 989*2^1520824-1 is not prime. Res64: 7D6450682951C7C3 Time : 0.0 sec. user=mdettweiler [2018-08-09 09:57:39] 607*2^1520825-1 is not prime. Res64: 44FB3D69DC352722 Time : 0.0 sec. user=mdettweiler [2018-08-09 09:57:40] 645*2^1520825-1 is not prime. Res64: E51780DAC2CF1F98 Time : 0.0 sec. user=mdettweiler [2018-08-09 09:57:40] 699*2^1520825-1 is not prime. Res64: 99C14040D5C2D9B6 Time : 0.0 sec. user=mdettweiler [2018-08-09 09:57:41] 705*2^1520825-1 is not prime. Res64: CB7D2E68691E17A9 Time : 0.0 sec. user=mdettweiler [2018-08-09 09:57:41] 771*2^1520825-1 is not prime. Res64: E0241F7CDEE238C2 Time : 0.0 sec. user=mdettweiler [2018-08-09 10:23:12] 787*2^1520825-1 is not prime. Res64: C9047BD04BE9A85B Time : 0.0 sec. user=mdettweiler [2018-08-09 10:23:12] 867*2^1520825-1 is not prime. Res64: 3B93D35BCE81F2CA Time : 0.0 sec. user=mdettweiler [2018-08-09 10:23:13] 897*2^1520825-1 is not prime. Res64: 6DA9B0316FCE2736 Time : 0.0 sec. user=mdettweiler [2018-08-09 10:23:13] 907*2^1520825-1 is not prime. Res64: E18B5CB002B08919 Time : 0.0 sec. user=mdettweiler [2018-08-09 10:23:13] 937*2^1520825-1 is not prime. Res64: 8EDDBF5F9BD9B1FB Time : 0.0 sec. user=mdettweiler [2018-08-09 10:28:13] 955*2^1520825-1 is not prime. Res64: 4EA83F0C060FF409 Time : 0.0 sec. user=mdettweiler [2018-08-09 10:28:13] 765*2^1520826-1 is not prime. Res64: E86C432C024444AA Time : 0.0 sec. user=mdettweiler [2018-08-09 10:28:13] 843*2^1520826-1 is not prime. Res64: 3598CA999F31ACA5 Time : 0.0 sec. user=mdettweiler [2018-08-09 10:28:14] 963*2^1520826-1 is not prime. Res64: 4BA8EE772CC370DA Time : 0.0 sec. user=mdettweiler [2018-08-09 10:28:14] 983*2^1520826-1 is not prime. Res64: 70C76838ACD035C2 Time : 0.0 sec. user=mdettweiler [2018-08-09 10:38:51] 625*2^1520827-1 is not prime. Res64: C24AA238BF74C081 Time : 0.0 sec. user=mdettweiler [2018-08-09 10:38:51] 733*2^1520827-1 is not prime. Res64: 1BC9C614C52DEDCB Time : 0.0 sec. user=mdettweiler [2018-08-09 10:38:51] 735*2^1520827-1 is not prime. Res64: 84323E14C7EAABB9 Time : 0.0 sec. user=mdettweiler [2018-08-09 10:38:52] 765*2^1520827-1 is not prime. Res64: 36C9E4E087B0E869 Time : 0.0 sec. user=mdettweiler [2018-08-09 10:38:52] 805*2^1520827-1 is not prime. Res64: 50CA1A24FD149218 Time : 0.0 sec. user=mdettweiler [2018-08-09 10:50:00] 883*2^1520827-1 is not prime. Res64: 514C95CCC1418045 Time : 0.0 sec. user=mdettweiler [2018-08-09 10:50:00] 915*2^1520827-1 is not prime. Res64: F24DFE04F1864422 Time : 0.0 sec. user=mdettweiler [2018-08-09 10:50:00] 647*2^1520828-1 is not prime. Res64: 6D54CB9076535E6D Time : 0.0 sec. user=mdettweiler [2018-08-09 10:50:01] 665*2^1520828-1 is not prime. Res64: DE8DF596E898316A Time : 0.0 sec. user=mdettweiler [2018-08-09 10:50:01] 683*2^1520828-1 is not prime. Res64: 46E8DB655E13C6D8 Time : 0.0 sec. user=mdettweiler [2018-08-09 11:14:40] 687*2^1520828-1 is not prime. Res64: 7622C3ED220FCDF1 Time : 0.0 sec. user=mdettweiler [2018-08-09 11:14:40] 797*2^1520828-1 is not prime. Res64: FE1074F6895102ED Time : 0.0 sec. user=mdettweiler [2018-08-09 11:14:41] 845*2^1520828-1 is not prime. Res64: E4DB3998EA0AE3F9 Time : 0.0 sec. user=mdettweiler [2018-08-09 11:14:41] 875*2^1520828-1 is not prime. Res64: 424C85492E271C6E Time : 0.0 sec. user=mdettweiler [2018-08-09 11:14:42] 963*2^1520828-1 is not prime. Res64: 4109BD2E758C174F Time : 0.0 sec. user=mdettweiler [2018-08-09 11:19:32] 735*2^1520829-1 is not prime. Res64: B295039259E22F95 Time : 0.0 sec. user=mdettweiler [2018-08-09 11:19:32] 787*2^1520829-1 is not prime. Res64: E9481AE56F2822D4 Time : 0.0 sec. user=mdettweiler [2018-08-09 11:19:33] 829*2^1520829-1 is not prime. Res64: 93B35764C1275CDE Time : 0.0 sec. user=mdettweiler [2018-08-09 11:19:33] 831*2^1520829-1 is not prime. Res64: 679FFC4579AD3867 Time : 0.0 sec. user=mdettweiler [2018-08-09 11:19:34] 945*2^1520829-1 is not prime. Res64: 63E7DAA2D233DF3A Time : 0.0 sec. user=mdettweiler [2018-08-09 11:30:08] 611*2^1520830-1 is not prime. Res64: 2DFB7D1A11532CB4 Time : 0.0 sec. user=mdettweiler [2018-08-09 11:30:09] 671*2^1520830-1 is not prime. Res64: C54CD54B5A2C3EC4 Time : 0.0 sec. user=mdettweiler [2018-08-09 11:30:09] 783*2^1520830-1 is not prime. Res64: 56866DF506FDB233 Time : 0.0 sec. user=mdettweiler [2018-08-09 11:30:10] 873*2^1520830-1 is not prime. Res64: BF8EBC3249D60060 Time : 0.0 sec. user=mdettweiler [2018-08-09 11:30:10] 981*2^1520830-1 is not prime. Res64: D349FDD0AE8C88B4 Time : 0.0 sec. user=mdettweiler [2018-08-09 11:41:16] 987*2^1520830-1 is not prime. Res64: D4887AB41ABD6D2B Time : 0.0 sec. user=mdettweiler [2018-08-09 11:41:17] 663*2^1520831-1 is not prime. Res64: 78F06EB26C643FE0 Time : 0.0 sec. user=mdettweiler [2018-08-09 11:41:17] 745*2^1520831-1 is not prime. Res64: FCF913F89DF8B693 Time : 0.0 sec. user=mdettweiler [2018-08-09 11:41:18] 859*2^1520831-1 is not prime. Res64: 9408F08543D9BBC4 Time : 0.0 sec. user=mdettweiler [2018-08-09 11:41:18] 991*2^1520831-1 is not prime. Res64: 0799A9D7B51E04D0 Time : 0.0 sec. user=mdettweiler [2018-08-09 12:06:20] 669*2^1520832-1 is not prime. Res64: 34A51130DE6B8BE2 Time : 0.0 sec. user=mdettweiler [2018-08-09 12:06:22] 929*2^1520832-1 is not prime. Res64: 1455FD0EB6BBE693 Time : 0.0 sec. user=mdettweiler [2018-08-09 12:06:23] 615*2^1520833-1 is not prime. Res64: 629F3B9CBF12C1EE Time : 0.0 sec. user=mdettweiler [2018-08-09 12:06:24] 619*2^1520833-1 is not prime. Res64: A8E6046522A12566 Time : 0.0 sec. user=mdettweiler [2018-08-09 12:06:25] 651*2^1520833-1 is not prime. Res64: 8EDABAB5A51623C9 Time : 0.0 sec. user=mdettweiler [2018-08-09 12:10:58] 675*2^1520833-1 is not prime. Res64: 845208C297FAE59A Time : 0.0 sec. user=mdettweiler [2018-08-09 12:10:58] 681*2^1520833-1 is not prime. Res64: 04D0F1A2EB44A342 Time : 0.0 sec. user=mdettweiler [2018-08-09 12:10:59] 687*2^1520833-1 is not prime. Res64: 5663FB97551F5A39 Time : 0.0 sec. user=mdettweiler [2018-08-09 12:10:59] 727*2^1520833-1 is not prime. Res64: D1574E201863A3C5 Time : 0.0 sec. user=mdettweiler [2018-08-09 12:11:00] 765*2^1520833-1 is not prime. Res64: C0C3A34CE5F7300A Time : 0.0 sec. user=mdettweiler [2018-08-09 12:21:24] 775*2^1520833-1 is not prime. Res64: 2EAC85F98C3BD6E4 Time : 0.0 sec. user=mdettweiler [2018-08-09 12:21:25] 805*2^1520833-1 is not prime. Res64: 71B175B283815F55 Time : 0.0 sec. user=mdettweiler [2018-08-09 12:21:25] 877*2^1520833-1 is not prime. Res64: 0C37CB8DE89CC9BE Time : 0.0 sec. user=mdettweiler [2018-08-09 12:21:26] 665*2^1520834-1 is not prime. Res64: CAC0F2F9C23C0F06 Time : 0.0 sec. user=mdettweiler [2018-08-09 12:21:26] 773*2^1520834-1 is not prime. Res64: 7B2A4950287DF5DE Time : 0.0 sec. user=mdettweiler [2018-08-09 12:32:20] 815*2^1520834-1 is not prime. Res64: 3739CC082B6A3B45 Time : 0.0 sec. user=mdettweiler [2018-08-09 12:32:20] 921*2^1520834-1 is not prime. Res64: 6DCC53ADE2CB5166 Time : 0.0 sec. user=mdettweiler [2018-08-09 12:32:20] 941*2^1520834-1 is not prime. Res64: 4A80C04225EC826D Time : 0.0 sec. user=mdettweiler [2018-08-09 12:32:21] 993*2^1520834-1 is not prime. Res64: 7CB582350330346D Time : 0.0 sec. user=mdettweiler [2018-08-09 12:32:21] 609*2^1520835-1 is not prime. Res64: 3DD4B040A7CD19F5 Time : 0.0 sec. user=mdettweiler [2018-08-09 13:03:18] 623*2^1520836-1 is not prime. Res64: 6C34348617263566 Time : 0.0 sec. user=mdettweiler [2018-08-09 13:03:19] 749*2^1520836-1 is not prime. Res64: C17BFCB5E9072AE9 Time : 0.0 sec. user=mdettweiler [2018-08-09 13:03:20] 779*2^1520836-1 is not prime. Res64: BD001CCEDD90A914 Time : 0.0 sec. user=mdettweiler [2018-08-09 13:03:21] 803*2^1520836-1 is not prime. Res64: DA9A8A7CB9C8A464 Time : 0.0 sec. user=mdettweiler [2018-08-09 13:03:22] 899*2^1520836-1 is not prime. Res64: 26C4C51CC1A828F1 Time : 0.0 sec. user=mdettweiler [2018-08-09 13:04:24] 639*2^1520835-1 is not prime. Res64: 4D3A0BA81D63CF0E Time : 0.0 sec. user=mdettweiler [2018-08-09 13:04:25] 651*2^1520835-1 is not prime. Res64: 961B28CE59242F16 Time : 0.0 sec. user=mdettweiler [2018-08-09 13:04:26] 705*2^1520835-1 is not prime. Res64: BBA2CACB672B76CA Time : 0.0 sec. user=mdettweiler [2018-08-09 13:04:26] 709*2^1520835-1 is not prime. Res64: D417055C0B1D4BC1 Time : 0.0 sec. user=mdettweiler [2018-08-09 13:04:27] 961*2^1520835-1 is not prime. Res64: 3F34B149DF119558 Time : 0.0 sec. user=mdettweiler [2018-08-09 13:14:43] 927*2^1520836-1 is not prime. Res64: 972566B846CB382A Time : 0.0 sec. user=mdettweiler [2018-08-09 13:14:43] 965*2^1520836-1 is not prime. Res64: 13420E2616803907 Time : 0.0 sec. user=mdettweiler [2018-08-09 13:14:44] 601*2^1520837-1 is not prime. Res64: 762E6F11142EFF56 Time : 0.0 sec. user=mdettweiler [2018-08-09 13:14:44] 697*2^1520837-1 is not prime. Res64: 9A56D1D69EACB7C4 Time : 0.0 sec. user=mdettweiler [2018-08-09 13:14:44] 847*2^1520837-1 is not prime. Res64: EA35CADD7786139E Time : 0.0 sec. user=mdettweiler [2018-08-09 13:25:44] 611*2^1520838-1 is not prime. Res64: E88395C1599CF8C6 Time : 0.0 sec. user=mdettweiler [2018-08-09 13:25:45] 627*2^1520838-1 is not prime. Res64: F398D0273B692BE7 Time : 0.0 sec. user=mdettweiler [2018-08-09 13:25:45] 663*2^1520838-1 is not prime. Res64: C277C33A61F842F4 Time : 0.0 sec. user=mdettweiler [2018-08-09 13:25:46] 707*2^1520838-1 is not prime. Res64: 82034F3CB221F3E6 Time : 0.0 sec. user=mdettweiler [2018-08-09 13:25:46] 755*2^1520838-1 is not prime. Res64: F573D7C352EF9DA4 Time : 0.0 sec. user=mdettweiler [2018-08-09 13:55:27] 893*2^1520838-1 is not prime. Res64: D5235B88837C7A1F Time : 0.0 sec. user=mdettweiler [2018-08-09 13:55:28] 945*2^1520838-1 is not prime. Res64: 3DD9D9D34D8A72DB Time : 0.0 sec. user=mdettweiler [2018-08-09 13:55:28] 729*2^1520839-1 is not prime. Res64: 652E0F1ACF3176CF Time : 0.0 sec. user=mdettweiler [2018-08-09 13:55:28] 891*2^1520839-1 is not prime. Res64: 33E53BC3BEE413B8 Time : 0.0 sec. user=mdettweiler [2018-08-09 13:55:29] 961*2^1520839-1 is not prime. Res64: FDE3E8430DB4B01D Time : 0.0 sec. user=mdettweiler [2018-08-09 13:56:11] 993*2^1520839-1 is not prime. Res64: 4E5CEF8E5BA87F37 Time : 0.0 sec. user=mdettweiler [2018-08-09 13:56:12] 615*2^1520840-1 is not prime. Res64: 1B1D2A8DA480CD22 Time : 0.0 sec. user=mdettweiler [2018-08-09 13:56:12] 669*2^1520840-1 is not prime. Res64: 7EE489DCCF45D411 Time : 0.0 sec. user=mdettweiler [2018-08-09 13:56:12] 677*2^1520840-1 is not prime. Res64: 57D159CFA242187C Time : 0.0 sec. user=mdettweiler [2018-08-09 13:56:13] 755*2^1520840-1 is not prime. Res64: 2CCC7BFB7024A5A2 Time : 0.0 sec. user=mdettweiler [2018-08-09 14:06:00] 845*2^1520840-1 is not prime. Res64: 13DB8EF01A188EAD Time : 0.0 sec. user=mdettweiler [2018-08-09 14:06:02] 935*2^1520840-1 is not prime. Res64: 26286F8AF80F86CD Time : 0.0 sec. user=mdettweiler [2018-08-09 14:06:04] 963*2^1520840-1 is not prime. Res64: F541372D182B950C Time : 0.0 sec. user=mdettweiler [2018-08-09 14:06:07] 977*2^1520840-1 is not prime. Res64: 848590D5DBC2DE75 Time : 0.0 sec. user=mdettweiler [2018-08-09 14:06:08] 627*2^1520841-1 is not prime. Res64: 10F17DBA892DED6F Time : 0.0 sec. user=mdettweiler [2018-08-09 14:17:49] 661*2^1520841-1 is not prime. Res64: 67E2C3FD36DE9A96 Time : 0.0 sec. user=mdettweiler [2018-08-09 14:17:49] 705*2^1520841-1 is not prime. Res64: 4F53259577F229C6 Time : 0.0 sec. user=mdettweiler [2018-08-09 14:17:50] 717*2^1520841-1 is not prime. Res64: 4E5F552CD7E9A130 Time : 0.0 sec. user=mdettweiler [2018-08-09 14:17:50] 621*2^1520842-1 is not prime. Res64: A9E087F28BD965B5 Time : 0.0 sec. user=mdettweiler [2018-08-09 14:17:50] 675*2^1520842-1 is not prime. Res64: 2D5CFE343C419CD0 Time : 0.0 sec. user=mdettweiler [2018-08-09 14:48:22] 681*2^1520842-1 is not prime. Res64: 7A68E21F10301D40 Time : 0.0 sec. user=mdettweiler [2018-08-09 14:48:22] 701*2^1520842-1 is not prime. Res64: 66C0213BD9AC9CB1 Time : 0.0 sec. user=mdettweiler [2018-08-09 14:48:23] 831*2^1520842-1 is not prime. Res64: FA72F98B541E3CB2 Time : 0.0 sec. user=mdettweiler [2018-08-09 14:48:23] 833*2^1520842-1 is not prime. Res64: F81614FD5B01E05A Time : 0.0 sec. user=mdettweiler [2018-08-09 14:48:23] 911*2^1520842-1 is not prime. Res64: 2311402A46142986 Time : 0.0 sec. user=mdettweiler [2018-08-09 14:49:02] 995*2^1520842-1 is not prime. Res64: B22293440392C9AE Time : 0.0 sec. user=mdettweiler [2018-08-09 14:49:02] 603*2^1520843-1 is not prime. Res64: 6D739D8F8E6E0E0E Time : 0.0 sec. user=mdettweiler [2018-08-09 14:49:03] 609*2^1520843-1 is not prime. Res64: 6678FBF34A9D9D5D Time : 0.0 sec. user=mdettweiler [2018-08-09 14:49:03] 631*2^1520843-1 is not prime. Res64: EF6ECAE876E8A873 Time : 0.0 sec. user=mdettweiler [2018-08-09 14:49:03] 679*2^1520843-1 is not prime. Res64: CB0787C3CE26A7CA Time : 0.0 sec. user=mdettweiler [2018-08-09 14:59:09] 705*2^1520843-1 is not prime. Res64: 81AC9103A1A972B9 Time : 0.0 sec. user=mdettweiler [2018-08-09 14:59:10] 771*2^1520843-1 is not prime. Res64: D8BE800A4C255C9E Time : 0.0 sec. user=mdettweiler [2018-08-09 14:59:10] 825*2^1520843-1 is not prime. Res64: 49E936C1986C7536 Time : 0.0 sec. user=mdettweiler [2018-08-09 14:59:11] 859*2^1520843-1 is not prime. Res64: 5E0E55B873E31992 Time : 0.0 sec. user=mdettweiler [2018-08-09 14:59:11] 943*2^1520843-1 is not prime. Res64: 60A505BBDF742C7B Time : 0.0 sec. user=mdettweiler [2018-08-09 15:11:48] 949*2^1520843-1 is not prime. Res64: 2341788523F268BC Time : 0.0 sec. user=mdettweiler [2018-08-09 15:11:49] 963*2^1520843-1 is not prime. Res64: E0ADCC4D62381FC8 Time : 0.0 sec. user=mdettweiler [2018-08-09 15:11:49] 723*2^1520844-1 is not prime. Res64: 6DC3882EF7E7956E Time : 0.0 sec. user=mdettweiler [2018-08-09 15:11:49] 749*2^1520844-1 is not prime. Res64: FB58C996F1446488 Time : 0.0 sec. user=mdettweiler [2018-08-09 15:11:50] 873*2^1520844-1 is not prime. Res64: 480DED840681F38D Time : 0.0 sec. user=mdettweiler [2018-08-09 15:43:36] 847*2^1520845-1 is not prime. Res64: 17840A7209DFEB78 Time : 0.0 sec. user=mdettweiler [2018-08-09 15:43:36] 635*2^1520846-1 is not prime. Res64: E3231FBDD1DBC168 Time : 0.0 sec. user=mdettweiler [2018-08-09 15:43:36] 911*2^1520846-1 is not prime. Res64: E066B26F9059FC0D Time : 0.0 sec. user=mdettweiler [2018-08-09 15:43:37] 953*2^1520846-1 is not prime. Res64: 543C0AB7FF8C2075 Time : 0.0 sec. user=mdettweiler [2018-08-09 15:43:37] 601*2^1520847-1 is not prime. Res64: 99FE32B94705B5B6 Time : 0.0 sec. user=mdettweiler [2018-08-09 15:47:11] 987*2^1520844-1 is not prime. Res64: C8B05829EAF11AEB Time : 0.0 sec. user=mdettweiler [2018-08-09 15:47:12] 993*2^1520844-1 is not prime. Res64: C9431DA70B100424 Time : 0.0 sec. user=mdettweiler [2018-08-09 15:47:12] 717*2^1520845-1 is not prime. Res64: 8E7AFA601289ECBB Time : 0.0 sec. user=mdettweiler [2018-08-09 15:47:13] 777*2^1520845-1 is not prime. Res64: 560B11BB367B7DCC Time : 0.0 sec. user=mdettweiler [2018-08-09 15:47:13] 789*2^1520845-1 is not prime. Res64: 0ED2D8F8A7CEE372 Time : 0.0 sec. user=mdettweiler [2018-08-09 15:56:24] 619*2^1520847-1 is not prime. Res64: 7455C787B9CC7620 Time : 0.0 sec. user=mdettweiler [2018-08-09 15:56:24] 685*2^1520847-1 is not prime. Res64: 0D3E3C7B01A8D8A0 Time : 0.0 sec. user=mdettweiler [2018-08-09 15:56:24] 849*2^1520847-1 is not prime. Res64: E1E39D4E63370820 Time : 0.0 sec. user=mdettweiler [2018-08-09 15:56:25] 861*2^1520847-1 is not prime. Res64: A59BC49A1F4CB0D3 Time : 0.0 sec. user=mdettweiler [2018-08-09 15:56:25] 931*2^1520847-1 is not prime. Res64: 584A2645B2C7D6D6 Time : 0.0 sec. user=mdettweiler [2018-08-09 16:07:27] 973*2^1520847-1 is not prime. Res64: 565C22CB06EA1EBD Time : 0.0 sec. user=mdettweiler [2018-08-09 16:07:28] 999*2^1520847-1 is not prime. Res64: 076069F7D1AA10D7 Time : 0.0 sec. user=mdettweiler [2018-08-09 16:07:28] 677*2^1520848-1 is not prime. Res64: BF4ECAFEFBCD2B61 Time : 0.0 sec. user=mdettweiler [2018-08-09 16:07:28] 957*2^1520848-1 is not prime. Res64: 9177E4C6AC8E8117 Time : 0.0 sec. user=mdettweiler [2018-08-09 16:07:29] 601*2^1520849-1 is not prime. Res64: 4E50CCB00C68AB01 Time : 0.0 sec. user=mdettweiler [2018-08-09 16:39:39] 615*2^1520849-1 is not prime. Res64: DECD3C4FBEF4D688 Time : 0.0 sec. user=mdettweiler [2018-08-09 16:39:40] 801*2^1520849-1 is not prime. Res64: FA7700270198738D Time : 0.0 sec. user=mdettweiler [2018-08-09 16:39:40] 909*2^1520849-1 is not prime. Res64: 9837D23A8967F5C0 Time : 0.0 sec. user=mdettweiler [2018-08-09 16:39:41] 991*2^1520849-1 is not prime. Res64: E2DC06C24F638000 Time : 0.0 sec. user=mdettweiler [2018-08-09 16:39:41] 611*2^1520850-1 is not prime. Res64: A9A697559B82DBE1 Time : 0.0 sec. user=mdettweiler [2018-08-09 16:44:07] 651*2^1520850-1 is not prime. Res64: D43451EC15EDA1ED Time : 0.0 sec. user=mdettweiler [2018-08-09 16:44:08] 735*2^1520850-1 is not prime. Res64: F7B4A7E7216832A7 Time : 0.0 sec. user=mdettweiler [2018-08-09 16:44:08] 755*2^1520850-1 is not prime. Res64: 4E0BB33EFF96C6C3 Time : 0.0 sec. user=mdettweiler [2018-08-09 16:44:08] 845*2^1520850-1 is not prime. Res64: ABB6619C1326B837 Time : 0.0 sec. user=mdettweiler [2018-08-09 16:44:09] 615*2^1520851-1 is not prime. Res64: 64B1DFFFB1BC5C7D Time : 0.0 sec. user=mdettweiler [2018-08-09 16:51:17] 675*2^1520851-1 is not prime. Res64: 9B0E2DD5A63D6AAD Time : 0.0 sec. user=mdettweiler [2018-08-09 16:51:17] 723*2^1520851-1 is not prime. Res64: 1FB8BA8A33B9F00E Time : 0.0 sec. user=mdettweiler [2018-08-09 16:51:18] 843*2^1520851-1 is not prime. Res64: 29CEA827336FCED6 Time : 0.0 sec. user=mdettweiler [2018-08-09 16:51:18] 777*2^1520852-1 is not prime. Res64: 108FCA18D85B3600 Time : 0.0 sec. user=mdettweiler [2018-08-09 16:51:18] 875*2^1520852-1 is not prime. Res64: 716AC36A51A91B5D Time : 0.0 sec. user=mdettweiler [2018-08-09 17:02:20] 903*2^1520852-1 is not prime. Res64: F32C80667A6ED990 Time : 0.0 sec. user=mdettweiler [2018-08-09 17:02:20] 615*2^1520853-1 is not prime. Res64: 9649885DBCFD1AA7 Time : 0.0 sec. user=mdettweiler [2018-08-09 17:02:21] 621*2^1520853-1 is not prime. Res64: 95E8A7012A16AA37 Time : 0.0 sec. user=mdettweiler [2018-08-09 17:02:22] 679*2^1520853-1 is not prime. Res64: 0320DC60E70CC035 Time : 0.0 sec. user=mdettweiler [2018-08-09 17:02:22] 685*2^1520853-1 is not prime. Res64: 4FE9F57B39F7C834 Time : 0.0 sec. user=mdettweiler [2018-08-09 17:32:52] 769*2^1520853-1 is not prime. Res64: 7058E151924CDEEC Time : 0.0 sec. user=mdettweiler [2018-08-09 17:32:52] 671*2^1520854-1 is not prime. Res64: B4CCC9228072E2B0 Time : 0.0 sec. user=mdettweiler [2018-08-09 17:32:52] 723*2^1520854-1 is not prime. Res64: 11CA7B4FC142C1F1 Time : 0.0 sec. user=mdettweiler [2018-08-09 17:32:53] 825*2^1520854-1 is not prime. Res64: 32C53F53A6639E9E Time : 0.0 sec. user=mdettweiler [2018-08-09 17:32:53] 861*2^1520854-1 is not prime. Res64: DE56F34966726AAD Time : 0.0 sec. user=mdettweiler [2018-08-09 17:35:45] 881*2^1520854-1 is not prime. Res64: B25E3B068B1A61F1 Time : 0.0 sec. user=mdettweiler [2018-08-09 17:35:45] 923*2^1520854-1 is not prime. Res64: 4762A662509F0832 Time : 0.0 sec. user=mdettweiler [2018-08-09 17:35:45] 947*2^1520854-1 is not prime. Res64: 080F4022D1C32150 Time : 0.0 sec. user=mdettweiler [2018-08-09 17:35:46] 951*2^1520854-1 is not prime. Res64: 58048A7FBC0D16D0 Time : 0.0 sec. user=mdettweiler [2018-08-09 17:35:46] 993*2^1520854-1 is not prime. Res64: CE43C28F9CAA9F03 Time : 0.0 sec. user=mdettweiler [2018-08-09 17:42:08] 643*2^1520855-1 is not prime. Res64: F5FD500228AC7982 Time : 0.0 sec. user=mdettweiler [2018-08-09 17:42:09] 649*2^1520855-1 is not prime. Res64: 8BAEC88A3E654B6C Time : 0.0 sec. user=mdettweiler [2018-08-09 17:42:09] 679*2^1520855-1 is not prime. Res64: 2340DD4549C68718 Time : 0.0 sec. user=mdettweiler [2018-08-09 17:42:09] 775*2^1520855-1 is not prime. Res64: 3E0DC9BFBF33BAC8 Time : 0.0 sec. user=mdettweiler [2018-08-09 17:42:10] 979*2^1520855-1 is not prime. Res64: DE86B43582F5E212 Time : 0.0 sec. user=mdettweiler [2018-08-09 17:53:11] 615*2^1520856-1 is not prime. Res64: BBD00B423C1520AE Time : 0.0 sec. user=mdettweiler [2018-08-09 17:53:11] 689*2^1520856-1 is not prime. Res64: 3C7E0C2E95CE8515 Time : 0.0 sec. user=mdettweiler [2018-08-09 17:53:11] 693*2^1520856-1 is not prime. Res64: E76FEAA4620E669F Time : 0.0 sec. user=mdettweiler [2018-08-09 17:53:12] 717*2^1520856-1 is not prime. Res64: DB1A6BDC0006D09E Time : 0.0 sec. user=mdettweiler [2018-08-09 17:53:12] 779*2^1520856-1 is not prime. Res64: C01F5C9303CE5D5A Time : 0.0 sec. user=mdettweiler [2018-08-09 18:24:20] 839*2^1520856-1 is not prime. Res64: BB693446B8F13C1C Time : 0.0 sec. user=mdettweiler [2018-08-09 18:24:21] 909*2^1520856-1 is not prime. Res64: 93D865D4A773B106 Time : 0.0 sec. user=mdettweiler [2018-08-09 18:24:21] 975*2^1520856-1 is not prime. Res64: 4DD9FAED11FF6143 Time : 0.0 sec. user=mdettweiler [2018-08-09 18:24:22] 619*2^1520857-1 is not prime. Res64: 8ED91063053621EE Time : 0.0 sec. user=mdettweiler [2018-08-09 18:24:22] 847*2^1520857-1 is not prime. Res64: D2A5F3A1290FA38D Time : 0.0 sec. user=mdettweiler [2018-08-09 18:26:44] 931*2^1520857-1 is not prime. Res64: 811FB668D5AA7995 Time : 0.0 sec. user=mdettweiler [2018-08-09 18:26:44] 939*2^1520857-1 is not prime. Res64: B87A541AC5EB9F42 Time : 0.0 sec. user=mdettweiler [2018-08-09 18:26:45] 633*2^1520858-1 is not prime. Res64: 1D3457F436FE6C2B Time : 0.0 sec. user=mdettweiler [2018-08-09 18:26:45] 665*2^1520858-1 is not prime. Res64: 9D136834F40A578F Time : 0.0 sec. user=mdettweiler [2018-08-09 18:26:46] 837*2^1520858-1 is not prime. Res64: C7D2300EBBC3B55A Time : 0.0 sec. user=mdettweiler [2018-08-09 18:33:25] 887*2^1520858-1 is not prime. Res64: 32820246BA47A76C Time : 0.0 sec. user=mdettweiler [2018-08-09 18:33:25] 963*2^1520858-1 is not prime. Res64: DE416C3E6B04F510 Time : 0.0 sec. user=mdettweiler [2018-08-09 18:33:26] 613*2^1520859-1 is not prime. Res64: 66DFBD73EC5DA12B Time : 0.0 sec. user=mdettweiler [2018-08-09 18:33:26] 619*2^1520859-1 is not prime. Res64: 1D8DA05989342AB7 Time : 0.0 sec. user=mdettweiler [2018-08-09 18:33:26] 751*2^1520859-1 is not prime. Res64: 7DF235215A2B9CC5 Time : 0.0 sec. user=mdettweiler [2018-08-09 18:43:46] 961*2^1520859-1 is not prime. Res64: 71F287B3E0F73295 Time : 0.0 sec. user=mdettweiler [2018-08-09 18:43:47] 975*2^1520859-1 is not prime. Res64: 25BCBE2B7195FD1C Time : 0.0 sec. user=mdettweiler [2018-08-09 18:43:47] 603*2^1520860-1 is not prime. Res64: 1FE5EFC8256BCD89 Time : 0.0 sec. user=mdettweiler [2018-08-09 18:43:47] 677*2^1520860-1 is not prime. Res64: 3F59C1B0D0405532 Time : 0.0 sec. user=mdettweiler [2018-08-09 18:43:48] 843*2^1520860-1 is not prime. Res64: B2DE22C813A06A96 Time : 0.0 sec. user=mdettweiler [2018-08-09 19:18:50] 905*2^1520860-1 is not prime. Res64: F3A2F4A2567616CA Time : 0.0 sec. user=mdettweiler [2018-08-09 19:18:51] 933*2^1520860-1 is not prime. Res64: 2EE1762A50207F31 Time : 0.0 sec. user=mdettweiler [2018-08-09 19:18:51] 983*2^1520860-1 is not prime. Res64: B45AF382729E91C8 Time : 0.0 sec. user=mdettweiler [2018-08-09 19:18:52] 989*2^1520860-1 is not prime. Res64: 65B0DBFF2BED79C4 Time : 0.0 sec. user=mdettweiler [2018-08-09 19:18:52] 631*2^1520861-1 is not prime. Res64: 8D5532459DBFC130 Time : 0.0 sec. user=mdettweiler [2018-08-09 19:22:06] 669*2^1520861-1 is not prime. Res64: 30467CA301835455 Time : 0.0 sec. user=mdettweiler [2018-08-09 19:22:06] 697*2^1520861-1 is not prime. Res64: D8D150CB91FCAA20 Time : 0.0 sec. user=mdettweiler [2018-08-09 19:22:07] 741*2^1520861-1 is not prime. Res64: 571122D4FF50DA0E Time : 0.0 sec. user=mdettweiler [2018-08-09 19:22:07] 879*2^1520861-1 is not prime. Res64: 1942646DC8DB8BE6 Time : 0.0 sec. user=mdettweiler [2018-08-09 19:22:08] 997*2^1520861-1 is not prime. Res64: 0295C39A4C187889 Time : 0.0 sec. user=mdettweiler [2018-08-09 19:29:30] 671*2^1520862-1 is not prime. Res64: 8823CAC666F5BAB2 Time : 0.0 sec. user=mdettweiler [2018-08-09 19:29:30] 723*2^1520862-1 is not prime. Res64: 3C7CD053D0F38C64 Time : 0.0 sec. user=mdettweiler [2018-08-09 19:29:31] 731*2^1520862-1 is not prime. Res64: 175DA697B88A7795 Time : 0.0 sec. user=mdettweiler [2018-08-09 19:29:31] 807*2^1520862-1 is not prime. Res64: 9B088F598BB291FA Time : 0.0 sec. user=mdettweiler [2018-08-09 19:29:32] 815*2^1520862-1 is not prime. Res64: BFE7363571661F17 Time : 0.0 sec. user=mdettweiler [2018-08-09 19:39:19] 917*2^1520862-1 is not prime. Res64: 306AC361FAB1EC32 Time : 0.0 sec. user=mdettweiler [2018-08-09 19:39:19] 975*2^1520862-1 is not prime. Res64: 2B215250AC67CE3D Time : 0.0 sec. user=mdettweiler [2018-08-09 19:39:20] 729*2^1520863-1 is not prime. Res64: 9F1E00953BD8FBF7 Time : 0.0 sec. user=mdettweiler [2018-08-09 19:39:20] 829*2^1520863-1 is not prime. Res64: CD11423ECD8F2416 Time : 0.0 sec. user=mdettweiler [2018-08-09 19:39:20] 859*2^1520863-1 is not prime. Res64: 1877292842FDD4C8 Time : 0.0 sec. user=mdettweiler [2018-08-09 20:10:37] 871*2^1520863-1 is not prime. Res64: F95FA6158D0E62F2 Time : 0.0 sec. user=mdettweiler [2018-08-09 20:10:38] 623*2^1520864-1 is not prime. Res64: EDD0B6F0574604AC Time : 0.0 sec. user=mdettweiler [2018-08-09 20:10:38] 629*2^1520864-1 is not prime. Res64: A6D9C1E9B4871E77 Time : 0.0 sec. user=mdettweiler [2018-08-09 20:10:39] 689*2^1520864-1 is not prime. Res64: 537AD3EF81BA90A6 Time : 0.0 sec. user=mdettweiler [2018-08-09 20:10:39] 759*2^1520864-1 is not prime. Res64: 1EF1E4F98B1B0C21 Time : 0.0 sec. user=mdettweiler [2018-08-09 20:15:00] 773*2^1520864-1 is not prime. Res64: E19486F1CE76EBE1 Time : 0.0 sec. user=mdettweiler [2018-08-09 20:15:00] 909*2^1520864-1 is not prime. Res64: 411E76246C42C4FD Time : 0.0 sec. user=mdettweiler [2018-08-09 20:15:01] 945*2^1520864-1 is not prime. Res64: 99BFDEB75DC9A3BC Time : 0.0 sec. user=mdettweiler [2018-08-09 20:15:01] 625*2^1520865-1 is not prime. Res64: 5BE8DC46F4BE5206 Time : 0.0 sec. user=mdettweiler [2018-08-09 20:15:01] 735*2^1520865-1 is not prime. Res64: F24D2957CB102FA9 Time : 0.0 sec. user=mdettweiler [2018-08-09 20:20:46] 765*2^1520865-1 is not prime. Res64: 73E2C49E5958D077 Time : 0.0 sec. user=mdettweiler [2018-08-09 20:20:47] 787*2^1520865-1 is not prime. Res64: 4DFD682BED90620A Time : 0.0 sec. user=mdettweiler [2018-08-09 20:20:47] 795*2^1520865-1 is not prime. Res64: 85C791AD14B709B9 Time : 0.0 sec. user=mdettweiler [2018-08-09 20:20:48] 861*2^1520865-1 is not prime. Res64: DC9424B75EDA45D9 Time : 0.0 sec. user=mdettweiler [2018-08-09 20:20:48] 871*2^1520865-1 is not prime. Res64: EDEFA72B080EE938 Time : 0.0 sec. user=mdettweiler [2018-08-09 20:31:51] 889*2^1520865-1 is not prime. Res64: 92A2D665706FADD9 Time : 0.0 sec. user=mdettweiler [2018-08-09 20:31:51] 919*2^1520865-1 is not prime. Res64: 09856DD3FDDD28AC Time : 0.0 sec. user=mdettweiler [2018-08-09 20:31:52] 633*2^1520866-1 is not prime. Res64: 8E2A7BB9A48DBD2D Time : 0.0 sec. user=mdettweiler [2018-08-09 20:31:52] 645*2^1520866-1 is not prime. Res64: 490E4B721146373F Time : 0.0 sec. user=mdettweiler [2018-08-09 20:31:52] 815*2^1520866-1 is not prime. Res64: 20CE7A6C62EC0AD6 Time : 0.0 sec. user=mdettweiler [2018-08-09 21:01:35] 983*2^1520866-1 is not prime. Res64: 25FCCF3650792348 Time : 0.0 sec. user=mdettweiler [2018-08-09 21:01:36] 609*2^1520867-1 is not prime. Res64: 2E78CDD22B6EDEA3 Time : 0.0 sec. user=mdettweiler [2018-08-09 21:01:37] 673*2^1520867-1 is not prime. Res64: 98F73DDDA4EA90E7 Time : 0.0 sec. user=mdettweiler [2018-08-09 21:01:37] 705*2^1520867-1 is not prime. Res64: 1327796C17FB8587 Time : 0.0 sec. user=mdettweiler [2018-08-09 21:01:38] 711*2^1520867-1 is not prime. Res64: 639BB321612DCB2A Time : 0.0 sec. user=mdettweiler [2018-08-09 21:07:04] 841*2^1520867-1 is not prime. Res64: 17437B7262BC042F Time : 0.0 sec. user=mdettweiler [2018-08-09 21:07:05] 963*2^1520867-1 is not prime. Res64: FBC543F18AB8340E Time : 0.0 sec. user=mdettweiler [2018-08-09 21:07:06] 605*2^1520868-1 is not prime. Res64: BECBDF46E41D2401 Time : 0.0 sec. user=mdettweiler [2018-08-09 21:07:07] 657*2^1520868-1 is not prime. Res64: E56020E05E83DFE6 Time : 0.0 sec. user=mdettweiler [2018-08-09 21:07:08] 765*2^1520868-1 is not prime. Res64: 343A147F9F9DDE06 Time : 0.0 sec. user=mdettweiler [2018-08-09 21:11:34] 777*2^1520868-1 is not prime. Res64: FCA494D4C52EFBEC Time : 0.0 sec. user=mdettweiler [2018-08-09 21:11:34] 783*2^1520868-1 is not prime. Res64: D4A803201A1D08C4 Time : 0.0 sec. user=mdettweiler [2018-08-09 21:11:35] 819*2^1520868-1 is not prime. Res64: CA6BD82F948E118E Time : 0.0 sec. user=mdettweiler [2018-08-09 21:11:35] 839*2^1520868-1 is not prime. Res64: 070BF6BFBA22B858 Time : 0.0 sec. user=mdettweiler [2018-08-09 21:11:36] 909*2^1520868-1 is not prime. Res64: 6C8127916AEA8856 Time : 0.0 sec. user=mdettweiler [2018-08-09 21:22:40] 969*2^1520868-1 is not prime. Res64: 7511F3F7683AB34F Time : 0.0 sec. user=mdettweiler [2018-08-09 21:22:40] 999*2^1520868-1 is not prime. Res64: C6621BB4A4A4BE32 Time : 0.0 sec. user=mdettweiler [2018-08-09 21:22:41] 619*2^1520869-1 is not prime. Res64: 0EECD11578E775B0 Time : 0.0 sec. user=mdettweiler [2018-08-09 21:22:41] 639*2^1520869-1 is not prime. Res64: 80FE5506CA878A5E Time : 0.0 sec. user=mdettweiler [2018-08-09 21:22:42] 721*2^1520869-1 is not prime. Res64: 337C1BFDA570C84E Time : 0.0 sec. user=mdettweiler [2018-08-09 21:52:55] 765*2^1520869-1 is not prime. Res64: F05A8DABB935D805 Time : 0.0 sec. user=mdettweiler [2018-08-09 21:52:56] 789*2^1520869-1 is not prime. Res64: 0701181E68D38F19 Time : 0.0 sec. user=mdettweiler [2018-08-09 21:52:56] 985*2^1520869-1 is not prime. Res64: 0215A2F856DECBFD Time : 0.0 sec. user=mdettweiler [2018-08-09 21:52:56] 663*2^1520870-1 is not prime. Res64: 6BF0858DFCC5C686 Time : 0.0 sec. user=mdettweiler [2018-08-09 21:52:57] 707*2^1520870-1 is not prime. Res64: D560C4A5E209B457 Time : 0.0 sec. user=mdettweiler [2018-08-09 21:57:54] 785*2^1520870-1 is not prime. Res64: 7EC45D66B54EE997 Time : 0.0 sec. user=mdettweiler [2018-08-09 21:57:55] 791*2^1520870-1 is not prime. Res64: A12D88284CDE1A64 Time : 0.0 sec. user=mdettweiler [2018-08-09 21:57:55] 857*2^1520870-1 is not prime. Res64: D3601B05CE8AFD8A Time : 0.0 sec. user=mdettweiler [2018-08-09 21:57:55] 861*2^1520870-1 is not prime. Res64: 264C1C1DA553821B Time : 0.0 sec. user=mdettweiler [2018-08-09 21:57:56] 893*2^1520870-1 is not prime. Res64: 8E0909423B7597A8 Time : 0.0 sec. user=mdettweiler [2018-08-09 22:03:03] 897*2^1520870-1 is not prime. Res64: 5F52A0A293ACC8A8 Time : 0.0 sec. user=mdettweiler [2018-08-09 22:03:05] 977*2^1520870-1 is not prime. Res64: 540A8B8E97C42E0C Time : 0.0 sec. user=mdettweiler [2018-08-09 22:03:06] 601*2^1520871-1 is not prime. Res64: 9AC2275797483408 Time : 0.0 sec. user=mdettweiler [2018-08-09 22:03:07] 651*2^1520871-1 is not prime. Res64: 2B300852B86D45D9 Time : 0.0 sec. user=mdettweiler [2018-08-09 22:03:08] 685*2^1520871-1 is not prime. Res64: 130704F4679E10C6 Time : 0.0 sec. user=mdettweiler [2018-08-09 22:13:37] 895*2^1520871-1 is not prime. Res64: A202ED502A0B2B4E Time : 0.0 sec. user=mdettweiler [2018-08-09 22:13:38] 955*2^1520871-1 is not prime. Res64: FC2584308C9F6A3B Time : 0.0 sec. user=mdettweiler [2018-08-09 22:13:38] 719*2^1520872-1 is not prime. Res64: C9B3306E8FBF90DF Time : 0.0 sec. user=mdettweiler [2018-08-09 22:13:38] 723*2^1520872-1 is not prime. Res64: F7485591DD04D71C Time : 0.0 sec. user=mdettweiler [2018-08-09 22:13:39] 743*2^1520872-1 is not prime. Res64: 45C89A4EBC5737FB Time : 0.0 sec. user=mdettweiler [2018-08-09 22:47:51] 785*2^1520872-1 is not prime. Res64: BFD1E8FB4E75D42D Time : 0.0 sec. user=mdettweiler [2018-08-09 22:47:51] 903*2^1520872-1 is not prime. Res64: EB19657428A686D6 Time : 0.0 sec. user=mdettweiler [2018-08-09 22:47:52] 607*2^1520873-1 is not prime. Res64: 8D353BB3F2FA552D Time : 0.0 sec. user=mdettweiler [2018-08-09 22:47:52] 619*2^1520873-1 is not prime. Res64: 8D432A885AB4BE48 Time : 0.0 sec. user=mdettweiler [2018-08-09 22:47:53] 637*2^1520873-1 is not prime. Res64: 540A43A253FD0734 Time : 0.0 sec. user=mdettweiler [2018-08-09 22:52:57] 771*2^1520873-1 is not prime. Res64: B45CE6897A24BE99 Time : 0.0 sec. user=mdettweiler [2018-08-09 22:52:57] 829*2^1520873-1 is not prime. Res64: 47AB246CB77C6773 Time : 0.0 sec. user=mdettweiler [2018-08-09 22:52:57] 867*2^1520873-1 is not prime. Res64: 7E86F1685B8F125B Time : 0.0 sec. user=mdettweiler [2018-08-09 22:52:58] 663*2^1520874-1 is not prime. Res64: E53AA6DCB6038591 Time : 0.0 sec. user=mdettweiler [2018-08-09 22:52:58] 725*2^1520874-1 is not prime. Res64: F269E24E7DFA0AF2 Time : 0.0 sec. user=mdettweiler [2018-08-09 22:58:07] 741*2^1520874-1 is not prime. Res64: 8DFF9CD1B3E89F83 Time : 0.0 sec. user=mdettweiler [2018-08-09 22:58:07] 765*2^1520874-1 is not prime. Res64: B5FCB8A53A61D385 Time : 0.0 sec. user=mdettweiler [2018-08-09 22:58:08] 773*2^1520874-1 is not prime. Res64: BA70748107204888 Time : 0.0 sec. user=mdettweiler [2018-08-09 22:58:08] 833*2^1520874-1 is not prime. Res64: D5138E76DC187A06 Time : 0.0 sec. user=mdettweiler [2018-08-09 22:58:08] 921*2^1520874-1 is not prime. Res64: 375810B729B4EFAE Time : 0.0 sec. user=mdettweiler [2018-08-09 23:10:21] 947*2^1520874-1 is not prime. Res64: A524A757F680F230 Time : 0.0 sec. user=mdettweiler [2018-08-09 23:10:21] 975*2^1520874-1 is not prime. Res64: 6B17DBC7FA6065D0 Time : 0.0 sec. user=mdettweiler [2018-08-09 23:10:21] 609*2^1520875-1 is not prime. Res64: 3C44AACBF3015315 Time : 0.0 sec. user=mdettweiler [2018-08-09 23:10:22] 771*2^1520875-1 is not prime. Res64: 7AC89BABE4DA7625 Time : 0.0 sec. user=mdettweiler [2018-08-09 23:10:22] 633*2^1520876-1 is not prime. Res64: CBFF0C3689A927C6 Time : 0.0 sec. user=mdettweiler [2018-08-09 23:39:45] 683*2^1520876-1 is not prime. Res64: 3ACC802917B91D6A Time : 0.0 sec. user=mdettweiler [2018-08-09 23:39:46] 759*2^1520876-1 is not prime. Res64: E3FAA2DB13EC1104 Time : 0.0 sec. user=mdettweiler [2018-08-09 23:39:46] 767*2^1520876-1 is not prime. Res64: 54770A9F91BFABD1 Time : 0.0 sec. user=mdettweiler [2018-08-09 23:39:46] 773*2^1520876-1 is not prime. Res64: 9D096EBAE8C5FB05 Time : 0.0 sec. user=mdettweiler [2018-08-09 23:39:47] 833*2^1520876-1 is not prime. Res64: 52ECE30A8CB03FAE Time : 0.0 sec. user=mdettweiler [2018-08-09 23:45:07] 893*2^1520876-1 is not prime. Res64: A1C38C53B45979C5 Time : 0.0 sec. user=mdettweiler [2018-08-09 23:45:09] 727*2^1520877-1 is not prime. Res64: 06EFAA6C6E6CADF2 Time : 0.0 sec. user=mdettweiler [2018-08-09 23:45:09] 777*2^1520877-1 is not prime. Res64: FEB0DC3FAAA1A038 Time : 0.0 sec. user=mdettweiler [2018-08-09 23:45:10] 781*2^1520877-1 is not prime. Res64: 2F8E5851034B2ED8 Time : 0.0 sec. user=mdettweiler [2018-08-09 23:45:10] 859*2^1520877-1 is not prime. Res64: D80325FB36C5A623 Time : 0.0 sec. user=mdettweiler [2018-08-09 23:49:46] 891*2^1520877-1 is not prime. Res64: 5FE23E4E2C0E2225 Time : 0.0 sec. user=mdettweiler [2018-08-09 23:49:47] 623*2^1520878-1 is not prime. Res64: 6C9D1F08694D97DE Time : 0.0 sec. user=mdettweiler [2018-08-09 23:49:47] 665*2^1520878-1 is not prime. Res64: EEECB4C13668A919 Time : 0.0 sec. user=mdettweiler [2018-08-09 23:49:48] 705*2^1520878-1 is not prime. Res64: 6B0C2CD892F7B9B1 Time : 0.0 sec. user=mdettweiler [2018-08-09 23:49:48] 707*2^1520878-1 is not prime. Res64: 9EE574E8F7112E33 Time : 0.0 sec.