user=mdettweiler [2015-03-03 00:02:11] 909*2^1392219-1 is not prime. Res64: 21E02BCE5091A5F7 Time : 0.0 sec. user=mdettweiler [2015-03-03 00:02:11] 921*2^1392219-1 is not prime. Res64: D7E6846625214A47 Time : 0.0 sec. user=mdettweiler [2015-03-03 00:03:53] 955*2^1392219-1 is not prime. Res64: 97F6BC50EF058808 Time : 0.0 sec. user=mdettweiler [2015-03-03 00:03:54] 623*2^1392220-1 is not prime. Res64: 0197FB6D8ACAADB0 Time : 0.0 sec. user=mdettweiler [2015-03-03 00:14:16] 647*2^1392220-1 is not prime. Res64: 321FB2D6422D2253 Time : 0.0 sec. user=mdettweiler [2015-03-03 00:14:16] 675*2^1392220-1 is not prime. Res64: E270DEA9CADEB037 Time : 0.0 sec. user=mdettweiler [2015-03-03 00:16:03] 759*2^1392220-1 is not prime. Res64: A5EC2FAD697D5EF3 Time : 0.0 sec. user=mdettweiler [2015-03-03 00:16:03] 855*2^1392220-1 is not prime. Res64: 66BDDC5EF236CF02 Time : 0.0 sec. user=mdettweiler [2015-03-03 00:28:54] 863*2^1392220-1 is not prime. Res64: 762A8A1529F5B10D Time : 0.0 sec. user=mdettweiler [2015-03-03 00:28:54] 909*2^1392220-1 is not prime. Res64: 890EDB5F7B4784CE Time : 0.0 sec. user=mdettweiler [2015-03-03 00:30:30] 927*2^1392220-1 is not prime. Res64: ADD1B025A00EC9D6 Time : 0.0 sec. user=mdettweiler [2015-03-03 00:30:30] 957*2^1392220-1 is not prime. Res64: E382E62DF10C634B Time : 0.0 sec. user=mdettweiler [2015-03-03 00:40:42] 989*2^1392220-1 is not prime. Res64: 14B340D405E52463 Time : 0.0 sec. user=mdettweiler [2015-03-03 00:40:43] 601*2^1392221-1 is not prime. Res64: 2606561C31C88712 Time : 0.0 sec. user=mdettweiler [2015-03-03 00:42:35] 627*2^1392221-1 is not prime. Res64: F171672224FCDC96 Time : 0.0 sec. user=mdettweiler [2015-03-03 00:42:36] 645*2^1392221-1 is not prime. Res64: 6C1672A8385C7769 Time : 0.0 sec. user=mdettweiler [2015-03-03 00:55:25] 711*2^1392221-1 is not prime. Res64: C393EF4CD8C8A42C Time : 0.0 sec. user=mdettweiler [2015-03-03 00:55:25] 795*2^1392221-1 is not prime. Res64: 9E78F047670ADF7D Time : 0.0 sec. user=mdettweiler [2015-03-03 00:57:09] 901*2^1392221-1 is not prime. Res64: D9A221834F05D775 Time : 0.0 sec. user=mdettweiler [2015-03-03 00:57:09] 939*2^1392221-1 is not prime. Res64: A1521282DD632056 Time : 0.0 sec. user=mdettweiler [2015-03-03 01:07:11] 955*2^1392221-1 is not prime. Res64: 4655A5629A7EFBCA Time : 0.0 sec. user=mdettweiler [2015-03-03 01:07:11] 705*2^1392222-1 is not prime. Res64: 8938A62D8DC148AC Time : 0.0 sec. user=mdettweiler [2015-03-03 01:09:00] 807*2^1392222-1 is not prime. Res64: C6E6AC234C192C16 Time : 0.0 sec. user=mdettweiler [2015-03-03 01:09:01] 893*2^1392222-1 is not prime. Res64: A85C61FAAE0AF0B7 Time : 0.0 sec. user=mdettweiler [2015-03-03 01:23:30] 947*2^1392222-1 is not prime. Res64: 3252119D77DF1E78 Time : 0.0 sec. user=mdettweiler [2015-03-03 01:23:30] 977*2^1392222-1 is not prime. Res64: 5D5F974EE3120723 Time : 0.0 sec. user=mdettweiler [2015-03-03 01:24:49] 871*2^1392223-1 is not prime. Res64: 5426AE68D8B11ED6 Time : 0.0 sec. user=mdettweiler [2015-03-03 01:24:49] 901*2^1392223-1 is not prime. Res64: 5F4412D038ABDEA2 Time : 0.0 sec. user=mdettweiler [2015-03-03 01:34:14] 919*2^1392223-1 is not prime. Res64: B652B5F43E5ADE2B Time : 0.0 sec. user=mdettweiler [2015-03-03 01:34:15] 615*2^1392224-1 is not prime. Res64: EE2F0579BD29A6CC Time : 0.0 sec. user=mdettweiler [2015-03-03 01:36:48] 629*2^1392224-1 is not prime. Res64: B181FF80163269B1 Time : 0.0 sec. user=mdettweiler [2015-03-03 01:36:48] 659*2^1392224-1 is not prime. Res64: A8E463720B91BC82 Time : 0.0 sec. user=mdettweiler [2015-03-03 01:50:09] 813*2^1392224-1 is not prime. Res64: D1EEEBACD3449E47 Time : 0.0 sec. user=mdettweiler [2015-03-03 01:50:09] 917*2^1392224-1 is not prime. Res64: 514C5BB0210512B8 Time : 0.0 sec. user=mdettweiler [2015-03-03 01:51:28] 735*2^1392225-1 is not prime. Res64: 001944139F8DFAFF Time : 0.0 sec. user=mdettweiler [2015-03-03 01:51:28] 819*2^1392225-1 is not prime. Res64: 0132CCABE79E73B6 Time : 0.0 sec. user=mdettweiler [2015-03-03 02:00:48] 837*2^1392225-1 is not prime. Res64: 7EB5CFD6DF4A17FC Time : 0.0 sec. user=mdettweiler [2015-03-03 02:00:50] 877*2^1392225-1 is not prime. Res64: B960F28198073399 Time : 0.0 sec. user=mdettweiler [2015-03-03 02:03:23] 611*2^1392226-1 is not prime. Res64: 702DFCA539F719CB Time : 0.0 sec. user=mdettweiler [2015-03-03 02:03:27] 623*2^1392226-1 is not prime. Res64: 08F394B6AC85D0A0 Time : 0.0 sec. user=mdettweiler [2015-03-03 02:16:45] 705*2^1392226-1 is not prime. Res64: 46651256CFBA051B Time : 0.0 sec. user=mdettweiler [2015-03-03 02:16:45] 717*2^1392226-1 is not prime. Res64: 9F70547BB71E485E Time : 0.0 sec. user=mdettweiler [2015-03-03 02:17:54] 765*2^1392226-1 is not prime. Res64: C440490100D42A49 Time : 0.0 sec. user=mdettweiler [2015-03-03 02:17:55] 813*2^1392226-1 is not prime. Res64: 9CCC333CD8213FB7 Time : 0.0 sec. user=mdettweiler [2015-03-03 02:27:29] 911*2^1392226-1 is not prime. Res64: 32DA9F9D4067C69D Time : 0.0 sec. user=mdettweiler [2015-03-03 02:27:30] 923*2^1392226-1 is not prime. Res64: 9E3B9F85B36687B9 Time : 0.0 sec. user=mdettweiler [2015-03-03 02:29:57] 947*2^1392226-1 is not prime. Res64: 03FBECAC8F910F07 Time : 0.0 sec. user=mdettweiler [2015-03-03 02:29:57] 971*2^1392226-1 is not prime. Res64: 0CB216F53A4561D6 Time : 0.0 sec. user=mdettweiler [2015-03-03 02:43:07] 987*2^1392226-1 is not prime. Res64: BE70B086C3871172 Time : 0.0 sec. user=mdettweiler [2015-03-03 02:43:09] 703*2^1392227-1 is not prime. Res64: B391E9C7C4A89E83 Time : 0.0 sec. user=mdettweiler [2015-03-03 02:44:16] 711*2^1392227-1 is not prime. Res64: BE01A168BE2A6731 Time : 0.0 sec. user=mdettweiler [2015-03-03 02:44:16] 829*2^1392227-1 is not prime. Res64: 5B7294C88E33D7BC Time : 0.0 sec. user=mdettweiler [2015-03-03 02:53:58] 939*2^1392227-1 is not prime. Res64: C79FEDF2F2216B8A Time : 0.0 sec. user=mdettweiler [2015-03-03 02:53:59] 635*2^1392228-1 is not prime. Res64: 430C8AAA979204D6 Time : 0.0 sec. user=mdettweiler [2015-03-03 02:56:16] 689*2^1392228-1 is not prime. Res64: D8E532282C533E7D Time : 0.0 sec. user=mdettweiler [2015-03-03 02:56:16] 737*2^1392228-1 is not prime. Res64: 2E51188E1096903A Time : 0.0 sec. user=mdettweiler [2015-03-03 03:09:32] 825*2^1392228-1 is not prime. Res64: 3D93E6DB329BBA46 Time : 0.0 sec. user=mdettweiler [2015-03-03 03:09:32] 843*2^1392228-1 is not prime. Res64: 4DBC7EBE9F003B2D Time : 0.0 sec. user=mdettweiler [2015-03-03 03:10:39] 879*2^1392228-1 is not prime. Res64: FEDE18AF1BC71103 Time : 0.0 sec. user=mdettweiler [2015-03-03 03:10:40] 959*2^1392228-1 is not prime. Res64: 7EDCA63010E0145B Time : 0.0 sec. user=mdettweiler [2015-03-03 03:20:09] 609*2^1392229-1 is not prime. Res64: 6FC86EC22EB8C166 Time : 0.0 sec. user=mdettweiler [2015-03-03 03:20:09] 699*2^1392229-1 is not prime. Res64: 868B3E0DA630EC5D Time : 0.0 sec. user=mdettweiler [2015-03-03 03:22:29] 771*2^1392229-1 is not prime. Res64: F0B4BEDB4FDBDBDD Time : 0.0 sec. user=mdettweiler [2015-03-03 03:22:30] 801*2^1392229-1 is not prime. Res64: 99D9BCED104B9F91 Time : 0.0 sec. user=mdettweiler [2015-03-03 03:35:42] 825*2^1392229-1 is not prime. Res64: 51FCA15C1FB169CE Time : 0.0 sec. user=mdettweiler [2015-03-03 03:35:43] 885*2^1392229-1 is not prime. Res64: 55CBC96B358FE0D4 Time : 0.0 sec. user=mdettweiler [2015-03-03 03:36:51] 945*2^1392229-1 is not prime. Res64: E11A6D496E36E9D0 Time : 0.0 sec. user=mdettweiler [2015-03-03 03:36:52] 741*2^1392230-1 is not prime. Res64: 44C5F5BD3944F949 Time : 0.0 sec. user=mdettweiler [2015-03-03 03:46:19] 813*2^1392230-1 is not prime. Res64: FF8478F7A7F53E5B Time : 0.0 sec. user=mdettweiler [2015-03-03 03:46:20] 897*2^1392230-1 is not prime. Res64: 3D886386EC61E5F1 Time : 0.0 sec. user=mdettweiler [2015-03-03 03:48:34] 965*2^1392230-1 is not prime. Res64: 9F8D4243E358D643 Time : 0.0 sec. user=mdettweiler [2015-03-03 03:48:35] 711*2^1392231-1 is not prime. Res64: 497A209F0D31ADB4 Time : 0.0 sec. user=mdettweiler [2015-03-03 04:02:05] 793*2^1392231-1 is not prime. Res64: 1948920D62D42454 Time : 0.0 sec. user=mdettweiler [2015-03-03 04:02:07] 949*2^1392231-1 is not prime. Res64: 8C633984B15AA8F3 Time : 0.0 sec. user=mdettweiler [2015-03-03 04:02:59] 779*2^1392232-1 is not prime. Res64: 06BBF260EE551C17 Time : 0.0 sec. user=mdettweiler [2015-03-03 04:03:00] 869*2^1392232-1 is not prime. Res64: 9968C3D820DF7110 Time : 0.0 sec. user=mdettweiler [2015-03-03 04:12:48] 873*2^1392232-1 is not prime. Res64: C624B8EE50E5C05A Time : 0.0 sec. user=mdettweiler [2015-03-03 04:12:49] 903*2^1392232-1 is not prime. Res64: B7D6B3D3C0DAD8A4 Time : 0.0 sec. user=mdettweiler [2015-03-03 04:14:38] 923*2^1392232-1 is not prime. Res64: 33158E95A0856C6D Time : 0.0 sec. user=mdettweiler [2015-03-03 04:14:39] 989*2^1392232-1 is not prime. Res64: 1B82383221189C9D Time : 0.0 sec. user=mdettweiler [2015-03-03 04:28:44] 607*2^1392233-1 is not prime. Res64: 312896D55BA06AC6 Time : 0.0 sec. user=mdettweiler [2015-03-03 04:28:44] 741*2^1392233-1 is not prime. Res64: 37565D6B3B12F51E Time : 0.0 sec. user=mdettweiler [2015-03-03 04:29:03] 879*2^1392233-1 is not prime. Res64: B227832E29DB63C6 Time : 0.0 sec. user=mdettweiler [2015-03-03 04:29:03] 949*2^1392233-1 is not prime. Res64: 9FEF324E221F6F4C Time : 0.0 sec. user=mdettweiler [2015-03-03 04:38:55] 621*2^1392234-1 is not prime. Res64: FC542E1D9A2EFF88 Time : 0.0 sec. user=mdettweiler [2015-03-03 04:38:55] 635*2^1392234-1 is not prime. Res64: 73E4D24800DB37C6 Time : 0.0 sec. user=mdettweiler [2015-03-03 04:40:41] 671*2^1392234-1 is not prime. Res64: A4EC515B5CE2BD9B Time : 0.0 sec. user=mdettweiler [2015-03-03 04:40:42] 765*2^1392234-1 is not prime. Res64: BDF762DD67B8D1F4 Time : 0.0 sec. user=mdettweiler [2015-03-03 04:54:40] 791*2^1392234-1 is not prime. Res64: 8DD520DE5C9F6489 Time : 0.0 sec. user=mdettweiler [2015-03-03 04:54:40] 833*2^1392234-1 is not prime. Res64: 31E04C8C7053F8D6 Time : 0.0 sec. user=mdettweiler [2015-03-03 04:55:09] 861*2^1392234-1 is not prime. Res64: EE2B02BDFD5BC71F Time : 0.0 sec. user=mdettweiler [2015-03-03 04:55:10] 917*2^1392234-1 is not prime. Res64: B5333D91F68A34CC Time : 0.0 sec. user=mdettweiler [2015-03-03 05:04:51] 921*2^1392234-1 is not prime. Res64: F6CD890134F395EC Time : 0.0 sec. user=mdettweiler [2015-03-03 05:04:53] 645*2^1392235-1 is not prime. Res64: BBDD56F92987742E Time : 0.0 sec. user=mdettweiler [2015-03-03 05:06:42] 685*2^1392235-1 is not prime. Res64: DE0C58DD58BCF0DB Time : 0.0 sec. user=mdettweiler [2015-03-03 05:06:43] 693*2^1392235-1 is not prime. Res64: F841BA900BFDB303 Time : 0.0 sec. user=mdettweiler [2015-03-03 05:20:46] 783*2^1392235-1 is not prime. Res64: 8849077DC6635FDD Time : 0.0 sec. user=mdettweiler [2015-03-03 05:20:46] 843*2^1392235-1 is not prime. Res64: BEADAD44E4015CF0 Time : 0.0 sec. user=mdettweiler [2015-03-03 05:21:20] 849*2^1392235-1 is not prime. Res64: 0C90469CA798C558 Time : 0.0 sec. user=mdettweiler [2015-03-03 05:21:21] 853*2^1392235-1 is not prime. Res64: B89E796AA9F29B4A Time : 0.0 sec. user=mdettweiler [2015-03-03 05:31:07] 961*2^1392235-1 is not prime. Res64: 19C1883014C1F403 Time : 0.0 sec. user=mdettweiler [2015-03-03 05:31:07] 725*2^1392236-1 is not prime. Res64: 3A5A0C853E2602C0 Time : 0.0 sec. user=juhehe [2015-03-03 05:32:31] 913*2^1392235-1 is not prime. Res64: 8B6ECDFC03EA409E Time : 0.0 sec. user=mdettweiler [2015-03-03 05:32:55] 755*2^1392236-1 is not prime. Res64: 974EED207775D672 Time : 0.0 sec. user=mdettweiler [2015-03-03 05:32:55] 785*2^1392236-1 is not prime. Res64: 9B9C99A19E5AA15C Time : 0.0 sec. user=mdettweiler [2015-03-03 05:46:47] 813*2^1392236-1 is not prime. Res64: C7F168EF5C7170B2 Time : 0.0 sec. user=mdettweiler [2015-03-03 05:46:47] 833*2^1392236-1 is not prime. Res64: AC0B6C6FCC81D3A2 Time : 0.0 sec. user=mdettweiler [2015-03-03 05:47:24] 953*2^1392236-1 is not prime. Res64: 3EF37B08A179C3CE Time : 0.0 sec. user=mdettweiler [2015-03-03 05:47:24] 957*2^1392236-1 is not prime. Res64: 8085E1748B81BBD0 Time : 0.0 sec. user=mdettweiler [2015-03-03 05:56:58] 735*2^1392237-1 is not prime. Res64: EB8995D3FF7E9D32 Time : 0.0 sec. user=mdettweiler [2015-03-03 05:56:58] 741*2^1392237-1 is not prime. Res64: D292556072A81B30 Time : 0.0 sec. user=mdettweiler [2015-03-03 05:59:01] 747*2^1392237-1 is not prime. Res64: 9740BB69A02012D7 Time : 0.0 sec. user=mdettweiler [2015-03-03 05:59:01] 765*2^1392237-1 is not prime. Res64: 89EB67A9192F0303 Time : 0.0 sec. user=mdettweiler [2015-03-03 06:12:46] 837*2^1392237-1 is not prime. Res64: BC2AB7F6D1002ED8 Time : 0.0 sec. user=mdettweiler [2015-03-03 06:12:47] 895*2^1392237-1 is not prime. Res64: C1B10CD83B10224D Time : 0.0 sec. user=mdettweiler [2015-03-03 06:13:26] 975*2^1392237-1 is not prime. Res64: 8C756A2D1BD2E7C4 Time : 0.0 sec. user=mdettweiler [2015-03-03 06:13:26] 979*2^1392237-1 is not prime. Res64: 1AA0C194A08473F1 Time : 0.0 sec. user=mdettweiler [2015-03-03 06:23:01] 773*2^1392238-1 is not prime. Res64: 73288D0825CA69AD Time : 0.0 sec. user=mdettweiler [2015-03-03 06:23:02] 801*2^1392238-1 is not prime. Res64: D1A2CFDA24B5B518 Time : 0.0 sec. user=mdettweiler [2015-03-03 06:25:03] 813*2^1392238-1 is not prime. Res64: CC50D62D54EBF30B Time : 0.0 sec. user=mdettweiler [2015-03-03 06:25:03] 825*2^1392238-1 is not prime. Res64: 4EAC182C8C3BF198 Time : 0.0 sec. user=mdettweiler [2015-03-03 06:38:58] 827*2^1392238-1 is not prime. Res64: F72B75E54C6AA233 Time : 0.0 sec. user=mdettweiler [2015-03-03 06:38:59] 911*2^1392238-1 is not prime. Res64: 7DEF0C6106C7D8CA Time : 0.0 sec. user=mdettweiler [2015-03-03 06:39:27] 945*2^1392238-1 is not prime. Res64: 1EA0A4A6F6F2F3E0 Time : 0.0 sec. user=mdettweiler [2015-03-03 06:39:27] 995*2^1392238-1 is not prime. Res64: 31DD251BC91CBD91 Time : 0.0 sec. user=mdettweiler [2015-03-03 06:49:03] 619*2^1392239-1 is not prime. Res64: C89FCAA35B45F928 Time : 0.0 sec. user=mdettweiler [2015-03-03 06:49:04] 735*2^1392239-1 is not prime. Res64: 66F7AA708A897507 Time : 0.0 sec. user=mdettweiler [2015-03-03 06:51:04] 799*2^1392239-1 is not prime. Res64: 3E012BED5D22ABA3 Time : 0.0 sec. user=mdettweiler [2015-03-03 06:51:05] 889*2^1392239-1 is not prime. Res64: E5A580F5F38CC831 Time : 0.0 sec. user=mdettweiler [2015-03-03 07:05:01] 899*2^1392240-1 is not prime. Res64: DDE420EDE8C338C7 Time : 0.0 sec. user=mdettweiler [2015-03-03 07:05:02] 929*2^1392240-1 is not prime. Res64: ADCCB7486A7C5B0A Time : 0.0 sec. user=mdettweiler [2015-03-03 07:05:31] 959*2^1392240-1 is not prime. Res64: A6F6B74BD925A1B9 Time : 0.0 sec. user=mdettweiler [2015-03-03 07:05:32] 601*2^1392241-1 is not prime. Res64: B03A191B591792C9 Time : 0.0 sec. user=mdettweiler [2015-03-03 07:15:14] 615*2^1392241-1 is not prime. Res64: AE27EB00E3724263 Time : 0.0 sec. user=mdettweiler [2015-03-03 07:15:15] 691*2^1392241-1 is not prime. Res64: 279E49C06256F6C1 Time : 0.0 sec. user=mdettweiler [2015-03-03 07:17:03] 901*2^1392241-1 is not prime. Res64: A31C2D440E633070 Time : 0.0 sec. user=mdettweiler [2015-03-03 07:17:03] 987*2^1392241-1 is not prime. Res64: CD5FF10CECED6177 Time : 0.0 sec. user=mdettweiler [2015-03-03 07:31:20] 617*2^1392242-1 is not prime. Res64: E99C8FA50930CF2C Time : 0.0 sec. user=mdettweiler [2015-03-03 07:31:21] 633*2^1392242-1 is not prime. Res64: 168B2F9CDC06F3DF Time : 0.0 sec. user=mdettweiler [2015-03-03 07:31:44] 645*2^1392242-1 is not prime. Res64: 3739BF447DD3BAC4 Time : 0.0 sec. user=mdettweiler [2015-03-03 07:31:44] 657*2^1392242-1 is not prime. Res64: C28B012B7B8C9C09 Time : 0.0 sec. user=mdettweiler [2015-03-03 07:41:26] 675*2^1392242-1 is not prime. Res64: FD0F35502BF08A09 Time : 0.0 sec. user=mdettweiler [2015-03-03 07:41:27] 785*2^1392242-1 is not prime. Res64: E7DDE6C9971E8CA2 Time : 0.0 sec. user=mdettweiler [2015-03-03 07:43:08] 837*2^1392242-1 is not prime. Res64: DC267A7799E9DCEC Time : 0.0 sec. user=mdettweiler [2015-03-03 07:43:09] 885*2^1392242-1 is not prime. Res64: DE17F179DF304FCD Time : 0.0 sec. user=mdettweiler [2015-03-03 07:57:36] 887*2^1392242-1 is not prime. Res64: 3D749A6AFFFA7C28 Time : 0.0 sec. user=mdettweiler [2015-03-03 07:57:37] 981*2^1392242-1 is not prime. Res64: 7B22D67597B9E354 Time : 0.0 sec. user=mdettweiler [2015-03-03 07:57:47] 1001*2^1392242-1 is not prime. Res64: 77CEEB7DFCE807D4 Time : 0.0 sec. user=mdettweiler [2015-03-03 07:57:48] 619*2^1392243-1 is not prime. Res64: 10EC3ED763E8B049 Time : 0.0 sec. user=mdettweiler [2015-03-03 08:07:30] 835*2^1392243-1 is not prime. Res64: BB76D6626C1E3AB9 Time : 0.0 sec. user=mdettweiler [2015-03-03 08:07:31] 853*2^1392243-1 is not prime. Res64: E7DDF6D07B49DDED Time : 0.0 sec. user=mdettweiler [2015-03-03 08:09:24] 879*2^1392243-1 is not prime. Res64: D51DC66C439359B5 Time : 0.0 sec. user=mdettweiler [2015-03-03 08:09:24] 921*2^1392243-1 is not prime. Res64: 9FA8496AF753FC8D Time : 0.0 sec. user=mdettweiler [2015-03-03 08:23:40] 969*2^1392243-1 is not prime. Res64: 119E6B10E9808290 Time : 0.0 sec. user=mdettweiler [2015-03-03 08:23:41] 985*2^1392243-1 is not prime. Res64: 84AB90B3704D05E3 Time : 0.0 sec. user=mdettweiler [2015-03-03 08:23:50] 615*2^1392244-1 is not prime. Res64: EE78CCAD2B48678E Time : 0.0 sec. user=mdettweiler [2015-03-03 08:23:51] 717*2^1392244-1 is not prime. Res64: 9B06916CFEB2210F Time : 0.0 sec. user=mdettweiler [2015-03-03 08:33:45] 887*2^1392244-1 is not prime. Res64: 3DB9B45658E099E0 Time : 0.0 sec. user=mdettweiler [2015-03-03 08:33:46] 939*2^1392244-1 is not prime. Res64: 054BB2CDC26FE84A Time : 0.0 sec. user=mdettweiler [2015-03-03 08:35:26] 965*2^1392244-1 is not prime. Res64: B9AA9F01AAC32D12 Time : 0.0 sec. user=mdettweiler [2015-03-03 08:35:26] 601*2^1392245-1 is not prime. Res64: 48FE608146137113 Time : 0.0 sec. user=mdettweiler [2015-03-03 08:49:36] 795*2^1392245-1 is not prime. Res64: 6C8BA0F188F2CA8B Time : 0.0 sec. user=mdettweiler [2015-03-03 08:49:36] 861*2^1392245-1 is not prime. Res64: 1B556747B9AA08E2 Time : 0.0 sec. user=mdettweiler [2015-03-03 08:49:59] 871*2^1392245-1 is not prime. Res64: 411CFEFF5899EB3D Time : 0.0 sec. user=mdettweiler [2015-03-03 08:50:00] 915*2^1392245-1 is not prime. Res64: ED1BCAA1942FF029 Time : 0.0 sec. user=mdettweiler [2015-03-03 08:59:47] 927*2^1392245-1 is not prime. Res64: CBCEDC35588EE997 Time : 0.0 sec. user=mdettweiler [2015-03-03 08:59:47] 949*2^1392245-1 is not prime. Res64: C6D622E647C50DAB Time : 0.0 sec. user=mdettweiler [2015-03-03 09:01:41] 969*2^1392245-1 is not prime. Res64: 9BCCDA9E9EB5413D Time : 0.0 sec. user=mdettweiler [2015-03-03 09:01:42] 611*2^1392246-1 is not prime. Res64: 50C0ABA7D597A4AB Time : 0.0 sec. user=mdettweiler [2015-03-03 09:15:43] 635*2^1392246-1 is not prime. Res64: F84FFB0CFB9AFFD1 Time : 0.0 sec. user=mdettweiler [2015-03-03 09:15:44] 777*2^1392246-1 is not prime. Res64: EE7D62753662097B Time : 0.0 sec. user=mdettweiler [2015-03-03 09:16:08] 923*2^1392246-1 is not prime. Res64: 46206B7618F8A3A6 Time : 0.0 sec. user=mdettweiler [2015-03-03 09:16:09] 645*2^1392247-1 is not prime. Res64: 3190EB5921CAA254 Time : 0.0 sec. user=mdettweiler [2015-03-03 09:26:07] 819*2^1392247-1 is not prime. Res64: 6C4EA0BFF5F82E40 Time : 0.0 sec. user=mdettweiler [2015-03-03 09:26:07] 829*2^1392247-1 is not prime. Res64: C133E525BFFE74B9 Time : 0.0 sec. user=mdettweiler [2015-03-03 09:27:50] 841*2^1392247-1 is not prime. Res64: A8C99FB733CCEAA6 Time : 0.0 sec. user=mdettweiler [2015-03-03 09:27:50] 915*2^1392247-1 is not prime. Res64: 62640DD05A2D9CCC Time : 0.0 sec. user=mdettweiler [2015-03-03 09:41:53] 975*2^1392247-1 is not prime. Res64: C82DB001FB57323A Time : 0.0 sec. user=mdettweiler [2015-03-03 09:41:53] 603*2^1392248-1 is not prime. Res64: E1353B4EA2856FA2 Time : 0.0 sec. user=mdettweiler [2015-03-03 09:42:09] 615*2^1392248-1 is not prime. Res64: 592BD4133E6DA515 Time : 0.0 sec. user=mdettweiler [2015-03-03 09:42:09] 633*2^1392248-1 is not prime. Res64: FD40F8A0F4DDA11F Time : 0.0 sec. user=mdettweiler [2015-03-03 09:52:18] 635*2^1392248-1 is not prime. Res64: 45DEE132B06137FC Time : 0.0 sec. user=mdettweiler [2015-03-03 09:52:18] 797*2^1392248-1 is not prime. Res64: 0749F3D115A8C340 Time : 0.0 sec. user=mdettweiler [2015-03-03 09:53:48] 855*2^1392248-1 is not prime. Res64: 9ADEC25A24371CBF Time : 0.0 sec. user=mdettweiler [2015-03-03 09:53:48] 625*2^1392249-1 is not prime. Res64: FE28994CFBE0488E Time : 0.0 sec. user=mdettweiler [2015-03-03 10:08:04] 637*2^1392249-1 is not prime. Res64: C4BDDAC4DD1CEF0A Time : 0.0 sec. user=mdettweiler [2015-03-03 10:08:04] 661*2^1392249-1 is not prime. Res64: F88657D6EDF81CC0 Time : 0.0 sec. user=mdettweiler [2015-03-03 10:08:10] 969*2^1392249-1 is not prime. Res64: 19C0D4301FBB7657 Time : 0.0 sec. user=mdettweiler [2015-03-03 10:08:11] 611*2^1392250-1 is not prime. Res64: 6FC87AAA8F74A2F0 Time : 0.0 sec. user=mdettweiler [2015-03-03 10:18:22] 657*2^1392250-1 is not prime. Res64: A0ED9E5FDDCE9BBE Time : 0.0 sec. user=mdettweiler [2015-03-03 10:18:23] 677*2^1392250-1 is not prime. Res64: FF17D8310CA5E7DF Time : 0.0 sec. user=mdettweiler [2015-03-03 10:19:55] 717*2^1392250-1 is not prime. Res64: 7AF1D042BD3E6155 Time : 0.0 sec. user=mdettweiler [2015-03-03 10:19:56] 741*2^1392250-1 is not prime. Res64: AC03702E128FF206 Time : 0.0 sec. user=mdettweiler [2015-03-03 10:34:34] 821*2^1392250-1 is not prime. Res64: B315DC2A49F69F92 Time : 0.0 sec. user=mdettweiler [2015-03-03 10:34:34] 855*2^1392250-1 is not prime. Res64: 7F93927D972B68FF Time : 0.0 sec. user=mdettweiler [2015-03-03 10:35:02] 803*2^1392250-1 is not prime. Res64: E0ECC12F337B95D9 Time : 0.0 sec. user=mdettweiler [2015-03-03 10:35:03] 813*2^1392250-1 is not prime. Res64: F564F6B8D27145B7 Time : 0.0 sec. user=mdettweiler [2015-03-03 10:44:59] 867*2^1392250-1 is not prime. Res64: BED3524E69AE3158 Time : 0.0 sec. user=mdettweiler [2015-03-03 10:44:59] 885*2^1392250-1 is not prime. Res64: F83EE3993ED0AA68 Time : 0.0 sec. user=mdettweiler [2015-03-03 10:46:48] 951*2^1392250-1 is not prime. Res64: 871C9982196ED226 Time : 0.0 sec. user=mdettweiler [2015-03-03 10:46:48] 651*2^1392251-1 is not prime. Res64: 3F1B3F85AE05082B Time : 0.0 sec. user=mdettweiler [2015-03-03 11:00:44] 741*2^1392251-1 is not prime. Res64: 0F14F37D123DAFE9 Time : 0.0 sec. user=mdettweiler [2015-03-03 11:00:46] 811*2^1392251-1 is not prime. Res64: CDC3440AFC5E9A5B Time : 0.0 sec. user=mdettweiler [2015-03-03 11:01:13] 813*2^1392251-1 is not prime. Res64: 3B1A92331B7BE47B Time : 0.0 sec. user=mdettweiler [2015-03-03 11:01:14] 823*2^1392251-1 is not prime. Res64: 01A4BF5B557C22A3 Time : 0.0 sec. user=mdettweiler [2015-03-03 11:11:12] 909*2^1392251-1 is not prime. Res64: 5861AD4683B950F1 Time : 0.0 sec. user=mdettweiler [2015-03-03 11:11:12] 767*2^1392252-1 is not prime. Res64: 969DE3885B70C95B Time : 0.0 sec. user=mdettweiler [2015-03-03 11:12:57] 819*2^1392252-1 is not prime. Res64: 7E3E8D8B5CB3031C Time : 0.0 sec. user=mdettweiler [2015-03-03 11:12:58] 867*2^1392252-1 is not prime. Res64: 3C0B5EE3C02798E9 Time : 0.0 sec. user=mdettweiler [2015-03-03 11:27:09] 945*2^1392252-1 is not prime. Res64: 7F48828D9270B442 Time : 0.0 sec. user=mdettweiler [2015-03-03 11:27:10] 977*2^1392252-1 is not prime. Res64: 30ADF5A340420573 Time : 0.0 sec. user=mdettweiler [2015-03-03 11:27:25] 715*2^1392253-1 is not prime. Res64: 38443A272FFC1938 Time : 0.0 sec. user=mdettweiler [2015-03-03 11:27:26] 741*2^1392253-1 is not prime. Res64: 6B7DE5BCE9B98005 Time : 0.0 sec. user=mdettweiler [2015-03-03 11:37:25] 789*2^1392253-1 is not prime. Res64: A0B989E642C15DAB Time : 0.0 sec. user=mdettweiler [2015-03-03 11:37:25] 811*2^1392253-1 is not prime. Res64: E5C1610031CB183A Time : 0.0 sec. user=mdettweiler [2015-03-03 11:39:17] 855*2^1392253-1 is not prime. Res64: A7805C158C05D96B Time : 0.0 sec. user=mdettweiler [2015-03-03 11:39:18] 951*2^1392253-1 is not prime. Res64: 15A7CD2C019A4B35 Time : 0.0 sec. user=mdettweiler [2015-03-03 11:53:12] 635*2^1392254-1 is not prime. Res64: 0BD9A2179D646282 Time : 0.0 sec. user=mdettweiler [2015-03-03 11:53:12] 687*2^1392254-1 is not prime. Res64: 87E9692BB5788FE7 Time : 0.0 sec. user=mdettweiler [2015-03-03 11:53:28] 717*2^1392254-1 is not prime. Res64: B2FCCB27FFD85136 Time : 0.0 sec. user=mdettweiler [2015-03-03 11:53:28] 743*2^1392254-1 is not prime. Res64: ACE5CC4683888774 Time : 0.0 sec. user=mdettweiler [2015-03-03 12:03:44] 797*2^1392254-1 is not prime. Res64: 7F438EE8AA818DA8 Time : 0.0 sec. user=mdettweiler [2015-03-03 12:03:45] 903*2^1392254-1 is not prime. Res64: 5A6A5C47FF89FA0C Time : 0.0 sec. user=mdettweiler [2015-03-03 12:05:23] 923*2^1392254-1 is not prime. Res64: 6639DCC818D00470 Time : 0.0 sec. user=mdettweiler [2015-03-03 12:05:24] 927*2^1392254-1 is not prime. Res64: 83F9279431104CE7 Time : 0.0 sec. user=mdettweiler [2015-03-03 12:19:12] 679*2^1392255-1 is not prime. Res64: CD3B8F3B52A9C1BA Time : 0.0 sec. user=mdettweiler [2015-03-03 12:19:12] 685*2^1392255-1 is not prime. Res64: 103F6304259F43B4 Time : 0.0 sec. user=mdettweiler [2015-03-03 12:19:34] 751*2^1392255-1 is not prime. Res64: D797476C925D3FD4 Time : 0.0 sec. user=mdettweiler [2015-03-03 12:19:34] 895*2^1392255-1 is not prime. Res64: E296F66F95A3837C Time : 0.0 sec. user=mdettweiler [2015-03-03 12:30:17] 603*2^1392256-1 is not prime. Res64: B64F13AC4B92C63E Time : 0.0 sec. user=mdettweiler [2015-03-03 12:30:18] 699*2^1392256-1 is not prime. Res64: 348F3DC448C41D26 Time : 0.0 sec. user=mdettweiler [2015-03-03 12:31:42] 833*2^1392256-1 is not prime. Res64: 9F32FAECE2B3AC0F Time : 0.0 sec. user=mdettweiler [2015-03-03 12:31:42] 869*2^1392256-1 is not prime. Res64: 13616A84E939CA21 Time : 0.0 sec. user=mdettweiler [2015-03-03 12:45:10] 903*2^1392256-1 is not prime. Res64: A916A6A2B1FD587D Time : 0.0 sec. user=mdettweiler [2015-03-03 12:45:11] 923*2^1392256-1 is not prime. Res64: 8733854C1BFE2415 Time : 0.0 sec. user=mdettweiler [2015-03-03 12:45:44] 601*2^1392257-1 is not prime. Res64: 076AD47662AA45BC Time : 0.0 sec. user=mdettweiler [2015-03-03 12:45:45] 645*2^1392257-1 is not prime. Res64: 1DF32B50DF88DE76 Time : 0.0 sec. user=mdettweiler [2015-03-03 12:56:22] 669*2^1392257-1 is not prime. Res64: 561CD8D6ABE76036 Time : 0.0 sec. user=mdettweiler [2015-03-03 12:56:22] 685*2^1392257-1 is not prime. Res64: 51704E047DFD0D01 Time : 0.0 sec. user=mdettweiler [2015-03-03 12:57:45] 699*2^1392257-1 is not prime. Res64: 21A9A43E954B8C29 Time : 0.0 sec. user=mdettweiler [2015-03-03 12:57:45] 741*2^1392257-1 is not prime. Res64: 9B0167FFA2F1D02E Time : 0.0 sec. user=mdettweiler [2015-03-03 13:11:22] 841*2^1392257-1 is not prime. Res64: E6413C40F84FCA47 Time : 0.0 sec. user=mdettweiler [2015-03-03 13:11:23] 967*2^1392257-1 is not prime. Res64: B8B56DE22C5F1527 Time : 0.0 sec. user=mdettweiler [2015-03-03 13:11:50] 981*2^1392257-1 is not prime. Res64: CCF51E74A9B23B91 Time : 0.0 sec. user=mdettweiler [2015-03-03 13:11:51] 633*2^1392258-1 is not prime. Res64: 490D0D54D5C66537 Time : 0.0 sec. user=mdettweiler [2015-03-03 13:22:40] 635*2^1392258-1 is not prime. Res64: 14870A45F8B0242F Time : 0.0 sec. user=mdettweiler [2015-03-03 13:22:41] 713*2^1392258-1 is not prime. Res64: 07BC66A1161DDB4D Time : 0.0 sec. user=mdettweiler [2015-03-03 13:23:54] 725*2^1392258-1 is not prime. Res64: DB7D7C91AA72804B Time : 0.0 sec. user=mdettweiler [2015-03-03 13:23:54] 735*2^1392258-1 is not prime. Res64: 83D4310A8D2391E6 Time : 0.0 sec. user=mdettweiler [2015-03-03 13:37:39] 765*2^1392258-1 is not prime. Res64: 69B0720D3EEDE3DA Time : 0.0 sec. user=mdettweiler [2015-03-03 13:37:40] 773*2^1392258-1 is not prime. Res64: 4EE3E7F068294E74 Time : 0.0 sec. user=mdettweiler [2015-03-03 13:38:02] 815*2^1392258-1 is not prime. Res64: 645F6EA213613276 Time : 0.0 sec. user=mdettweiler [2015-03-03 13:38:03] 885*2^1392258-1 is not prime. Res64: 38BA10F5E13AC4DE Time : 0.0 sec. user=mdettweiler [2015-03-03 13:48:54] 887*2^1392258-1 is not prime. Res64: 75A225BCFD3D3DDD Time : 0.0 sec. user=mdettweiler [2015-03-03 13:48:55] 891*2^1392258-1 is not prime. Res64: 0B919042DDCB962E Time : 0.0 sec. user=mdettweiler [2015-03-03 13:50:07] 963*2^1392258-1 is not prime. Res64: 2E8262DC31AD78CB Time : 0.0 sec. user=mdettweiler [2015-03-03 13:50:08] 971*2^1392258-1 is not prime. Res64: 8146729EF4856CCD Time : 0.0 sec. user=mdettweiler [2015-03-03 14:03:58] 601*2^1392259-1 is not prime. Res64: 00CBF3976B68E4E8 Time : 0.0 sec. user=mdettweiler [2015-03-03 14:03:59] 619*2^1392259-1 is not prime. Res64: CF01BC4864EC5C1A Time : 0.0 sec. user=mdettweiler [2015-03-03 14:04:21] 631*2^1392259-1 is not prime. Res64: 251CF4B1C6C545E3 Time : 0.0 sec. user=mdettweiler [2015-03-03 14:04:23] 649*2^1392259-1 is not prime. Res64: 623845593126625F Time : 0.0 sec. user=mdettweiler [2015-03-03 14:15:29] 679*2^1392259-1 is not prime. Res64: A4DF6B8A19D4BEE7 Time : 0.0 sec. user=mdettweiler [2015-03-03 14:15:29] 705*2^1392259-1 is not prime. Res64: A77A84FF03FF7951 Time : 0.0 sec. user=mdettweiler [2015-03-03 14:16:36] 723*2^1392259-1 is not prime. Res64: BB4F488305582F73 Time : 0.0 sec. user=mdettweiler [2015-03-03 14:16:37] 741*2^1392259-1 is not prime. Res64: 816C9BC09A8F38C6 Time : 0.0 sec. user=mdettweiler [2015-03-03 14:31:08] 793*2^1392259-1 is not prime. Res64: ED7BC5BC598753A1 Time : 0.0 sec. user=mdettweiler [2015-03-03 14:31:08] 939*2^1392259-1 is not prime. Res64: 5F98A61FDBD5077E Time : 0.0 sec. user=mdettweiler [2015-03-03 14:31:16] 751*2^1392259-1 is not prime. Res64: 51E46F5EA40AEC2B Time : 0.0 sec. user=mdettweiler [2015-03-03 14:31:16] 789*2^1392259-1 is not prime. Res64: 57C78CA664466CBC Time : 0.0 sec. user=mdettweiler [2015-03-03 14:42:11] 961*2^1392259-1 is not prime. Res64: 56F6CB33CBBD0F19 Time : 0.0 sec. user=mdettweiler [2015-03-03 14:42:12] 659*2^1392260-1 is not prime. Res64: C443C3F74C8A3A67 Time : 0.0 sec. user=mdettweiler [2015-03-03 14:43:27] 669*2^1392260-1 is not prime. Res64: 68D2EC10A311A031 Time : 0.0 sec. user=mdettweiler [2015-03-03 14:43:28] 707*2^1392260-1 is not prime. Res64: 021F04AA8DABFDE8 Time : 0.0 sec. user=juhehe [2015-03-03 14:46:14] 845*2^1392260-1 is not prime. Res64: 99F320517A02A29B Time : 0.0 sec. user=mdettweiler [2015-03-03 14:58:02] 929*2^1392260-1 is not prime. Res64: 69663EEB70278141 Time : 0.0 sec. user=mdettweiler [2015-03-03 14:58:03] 953*2^1392260-1 is not prime. Res64: 787ACA985EB03B9A Time : 0.0 sec. user=mdettweiler [2015-03-03 14:58:15] 999*2^1392260-1 is not prime. Res64: 481DD858EFDA96BE Time : 0.0 sec. user=mdettweiler [2015-03-03 14:58:16] 735*2^1392261-1 is not prime. Res64: F76FEB1B08C09FB8 Time : 0.0 sec. user=mdettweiler [2015-03-03 15:09:37] 789*2^1392261-1 is not prime. Res64: DFE3223C99DFF784 Time : 0.0 sec. user=mdettweiler [2015-03-03 15:09:37] 817*2^1392261-1 is not prime. Res64: 99E2D9FD699C3240 Time : 0.0 sec. user=mdettweiler [2015-03-03 15:10:48] 907*2^1392261-1 is not prime. Res64: A94EFC1F2EA6ACA1 Time : 0.0 sec. user=mdettweiler [2015-03-03 15:10:49] 635*2^1392262-1 is not prime. Res64: 44D296CA4FF9D06E Time : 0.0 sec. user=mdettweiler [2015-03-03 15:25:12] 695*2^1392262-1 is not prime. Res64: C70B83C786FAE6D4 Time : 0.0 sec. user=mdettweiler [2015-03-03 15:25:12] 747*2^1392262-1 is not prime. Res64: 555C61F6DE243E49 Time : 0.0 sec. user=mdettweiler [2015-03-03 15:25:33] 777*2^1392262-1 is not prime. Res64: 60313C347E95F96F Time : 0.0 sec. user=mdettweiler [2015-03-03 15:25:33] 801*2^1392262-1 is not prime. Res64: 1F7593780C9771CC Time : 0.0 sec. user=mdettweiler [2015-03-03 15:36:12] 813*2^1392262-1 is not prime. Res64: B50357B37768C058 Time : 0.0 sec. user=mdettweiler [2015-03-03 15:36:14] 843*2^1392262-1 is not prime. Res64: 2A44CB5937828F61 Time : 0.0 sec. user=mdettweiler [2015-03-03 15:37:37] 945*2^1392262-1 is not prime. Res64: E19F5FE180B20770 Time : 0.0 sec. user=mdettweiler [2015-03-03 15:37:37] 975*2^1392262-1 is not prime. Res64: C542B86B7F8412D2 Time : 0.0 sec. user=mdettweiler [2015-03-03 15:51:32] 983*2^1392262-1 is not prime. Res64: 658180CB6A6F00D5 Time : 0.0 sec. user=mdettweiler [2015-03-03 15:51:32] 603*2^1392263-1 is not prime. Res64: 81266623C1827C29 Time : 0.0 sec. user=mdettweiler [2015-03-03 15:51:51] 663*2^1392263-1 is not prime. Res64: 9F21C32E2A36E14F Time : 0.0 sec. user=mdettweiler [2015-03-03 15:51:51] 759*2^1392263-1 is not prime. Res64: 13E19D483B06174C Time : 0.0 sec. user=mdettweiler [2015-03-03 16:02:26] 859*2^1392263-1 is not prime. Res64: AE7B38308E0047B2 Time : 0.0 sec. user=mdettweiler [2015-03-03 16:02:28] 879*2^1392263-1 is not prime. Res64: 86E580BE14E17653 Time : 0.0 sec. user=mdettweiler [2015-03-03 16:03:44] 901*2^1392263-1 is not prime. Res64: 339F696744BF6C26 Time : 0.0 sec. user=mdettweiler [2015-03-03 16:03:45] 629*2^1392264-1 is not prime. Res64: D104DDAB8AEAE511 Time : 0.0 sec. user=mdettweiler [2015-03-03 16:17:42] 717*2^1392264-1 is not prime. Res64: 166A6C56B9321CCD Time : 0.0 sec. user=mdettweiler [2015-03-03 16:17:43] 795*2^1392264-1 is not prime. Res64: 6E5F0AC195E1F837 Time : 0.0 sec. user=mdettweiler [2015-03-03 16:18:01] 803*2^1392264-1 is not prime. Res64: EBAA2FF056371D7D Time : 0.0 sec. user=mdettweiler [2015-03-03 16:18:01] 975*2^1392264-1 is not prime. Res64: DF78B141941C7245 Time : 0.0 sec. user=mdettweiler [2015-03-03 16:29:19] 993*2^1392264-1 is not prime. Res64: 866A6C691FCCBA2B Time : 0.0 sec. user=mdettweiler [2015-03-03 16:29:20] 625*2^1392265-1 is not prime. Res64: 1FFA20F6AEF96A0E Time : 0.0 sec. user=mdettweiler [2015-03-03 16:30:16] 651*2^1392265-1 is not prime. Res64: BC517E14CBD6D1C7 Time : 0.0 sec. user=mdettweiler [2015-03-03 16:30:16] 817*2^1392265-1 is not prime. Res64: 165A47C6BDC009BE Time : 0.0 sec. user=mdettweiler [2015-03-03 16:44:41] 987*2^1392265-1 is not prime. Res64: 8E95955975F33D21 Time : 0.0 sec. user=mdettweiler [2015-03-03 16:44:41] 641*2^1392266-1 is not prime. Res64: 36F634B8E49A6092 Time : 0.0 sec. user=mdettweiler [2015-03-03 16:45:09] 957*2^1392266-1 is not prime. Res64: 6083AFF0FD913452 Time : 0.0 sec. user=mdettweiler [2015-03-03 16:45:10] 739*2^1392267-1 is not prime. Res64: 90D2D5C4A84C2017 Time : 0.0 sec. user=mdettweiler [2015-03-03 16:56:16] 835*2^1392267-1 is not prime. Res64: 2B39846598D1847E Time : 0.0 sec. user=mdettweiler [2015-03-03 16:56:16] 903*2^1392267-1 is not prime. Res64: CD01EC06978D5B08 Time : 0.0 sec. user=mdettweiler [2015-03-03 16:57:28] 955*2^1392267-1 is not prime. Res64: 894CE74B4ECFF303 Time : 0.0 sec. user=mdettweiler [2015-03-03 16:57:29] 961*2^1392267-1 is not prime. Res64: 0F40CDA656CBD9CD Time : 0.0 sec. user=mdettweiler [2015-03-03 17:12:07] 605*2^1392268-1 is not prime. Res64: CE1813591E917992 Time : 0.0 sec. user=mdettweiler [2015-03-03 17:12:07] 845*2^1392268-1 is not prime. Res64: 263465EDBB3A104B Time : 0.0 sec. user=mdettweiler [2015-03-03 17:12:36] 927*2^1392268-1 is not prime. Res64: 62FF6461A1FE1CBB Time : 0.0 sec. user=mdettweiler [2015-03-03 17:12:37] 999*2^1392268-1 is not prime. Res64: 63F060B4149D2B38 Time : 0.0 sec. user=mdettweiler [2015-03-03 17:23:55] 615*2^1392269-1 is not prime. Res64: ED7480EFF81D190E Time : 0.0 sec. user=mdettweiler [2015-03-03 17:23:55] 711*2^1392269-1 is not prime. Res64: BB8620DE4A4E7F51 Time : 0.0 sec. user=mdettweiler [2015-03-03 17:25:14] 759*2^1392269-1 is not prime. Res64: B608D193BA3EFC0B Time : 0.0 sec. user=mdettweiler [2015-03-03 17:25:15] 775*2^1392269-1 is not prime. Res64: B999ECC1936F5511 Time : 0.0 sec. user=mdettweiler [2015-03-03 17:39:31] 781*2^1392269-1 is not prime. Res64: 24168704C03DC13D Time : 0.0 sec. user=mdettweiler [2015-03-03 17:39:31] 811*2^1392269-1 is not prime. Res64: 8B2BA2BFF18EAE3F Time : 0.0 sec. user=mdettweiler [2015-03-03 17:40:12] 865*2^1392269-1 is not prime. Res64: 996304027B66CA11 Time : 0.0 sec. user=mdettweiler [2015-03-03 17:40:13] 939*2^1392269-1 is not prime. Res64: 748638A1AD61D5F0 Time : 0.0 sec. user=mdettweiler [2015-03-03 17:51:27] 651*2^1392270-1 is not prime. Res64: E93CE9A0E0FA013D Time : 0.0 sec. user=mdettweiler [2015-03-03 17:51:28] 833*2^1392270-1 is not prime. Res64: 25429E54AA3F9905 Time : 0.0 sec. user=mdettweiler [2015-03-03 17:52:48] 843*2^1392270-1 is not prime. Res64: B16E785D730C5207 Time : 0.0 sec. user=mdettweiler [2015-03-03 17:52:48] 933*2^1392270-1 is not prime. Res64: 7672E6890F3867AE Time : 0.0 sec. user=mdettweiler [2015-03-03 18:07:10] 971*2^1392270-1 is not prime. Res64: 2BEEEF0A11748838 Time : 0.0 sec. user=mdettweiler [2015-03-03 18:07:11] 619*2^1392271-1 is not prime. Res64: D5D7C1E615C1F3A2 Time : 0.0 sec. user=mdettweiler [2015-03-03 18:07:34] 621*2^1392271-1 is not prime. Res64: EFF459F8CCE73432 Time : 0.0 sec. user=mdettweiler [2015-03-03 18:07:34] 759*2^1392271-1 is not prime. Res64: 507568EBAA33B789 Time : 0.0 sec. user=mdettweiler [2015-03-03 18:18:38] 975*2^1392271-1 is not prime. Res64: 62B33A67349BA37E Time : 0.0 sec. user=mdettweiler [2015-03-03 18:18:38] 979*2^1392271-1 is not prime. Res64: AF7075ADACBBBB0B Time : 0.0 sec. user=mdettweiler [2015-03-03 18:19:44] 963*2^1392272-1 is not prime. Res64: 0BEBDB2D0319BB68 Time : 0.0 sec. user=mdettweiler [2015-03-03 18:19:44] 817*2^1392273-1 is not prime. Res64: E29868C0A4952C94 Time : 0.0 sec. user=mdettweiler [2015-03-03 18:34:16] 919*2^1392273-1 is not prime. Res64: 6F8F8E1F36823AA0 Time : 0.0 sec. user=mdettweiler [2015-03-03 18:34:17] 885*2^1392274-1 is not prime. Res64: F564C464225CD2B9 Time : 0.0 sec. user=mdettweiler [2015-03-03 18:34:22] 693*2^1392275-1 is not prime. Res64: D6DBA00BED9FCE2E Time : 0.0 sec. user=mdettweiler [2015-03-03 18:34:23] 705*2^1392275-1 is not prime. Res64: F00940563E2405F6 Time : 0.0 sec. user=mdettweiler [2015-03-03 18:45:59] 775*2^1392275-1 is not prime. Res64: 5073BF75FCD94BED Time : 0.0 sec. user=mdettweiler [2015-03-03 18:45:59] 805*2^1392275-1 is not prime. Res64: 02141C137E3F454E Time : 0.0 sec. user=mdettweiler [2015-03-03 18:47:13] 825*2^1392275-1 is not prime. Res64: A1D16759EA089BA1 Time : 0.0 sec. user=mdettweiler [2015-03-03 18:47:13] 609*2^1392276-1 is not prime. Res64: BEB65E8999565877 Time : 0.0 sec. user=mdettweiler [2015-03-03 19:02:05] 689*2^1392276-1 is not prime. Res64: 1B9D9C3581FA77FE Time : 0.0 sec. user=mdettweiler [2015-03-03 19:02:06] 693*2^1392276-1 is not prime. Res64: 1A9237CB6E9212B2 Time : 0.0 sec. user=mdettweiler [2015-03-03 19:02:14] 725*2^1392276-1 is not prime. Res64: FDC856CAC2185961 Time : 0.0 sec. user=mdettweiler [2015-03-03 19:02:16] 783*2^1392276-1 is not prime. Res64: 9682D06FF4426EE5 Time : 0.0 sec. user=mdettweiler [2015-03-03 19:13:40] 845*2^1392276-1 is not prime. Res64: 03D777B3AC0ADC1D Time : 0.0 sec. user=mdettweiler [2015-03-03 19:13:40] 923*2^1392276-1 is not prime. Res64: 54D9E931CF1ED030 Time : 0.0 sec. user=mdettweiler [2015-03-03 19:15:12] 987*2^1392276-1 is not prime. Res64: A7DD0DA420582F4F Time : 0.0 sec. user=mdettweiler [2015-03-03 19:15:12] 801*2^1392277-1 is not prime. Res64: 86A1F447EDDC9F49 Time : 0.0 sec. user=mdettweiler [2015-03-03 19:30:43] 939*2^1392277-1 is not prime. Res64: A9B8E0FC4C7FFA2A Time : 0.0 sec. user=mdettweiler [2015-03-03 19:30:43] 945*2^1392277-1 is not prime. Res64: 8111F16D5729E749 Time : 0.0 sec. user=mdettweiler [2015-03-03 19:30:45] 859*2^1392277-1 is not prime. Res64: A7B594D852572532 Time : 0.0 sec. user=mdettweiler [2015-03-03 19:30:46] 937*2^1392277-1 is not prime. Res64: 0246CFD5B0AC9FBC Time : 0.0 sec. user=mdettweiler [2015-03-03 19:41:58] 961*2^1392277-1 is not prime. Res64: 17402DDADF875C6C Time : 0.0 sec. user=mdettweiler [2015-03-03 19:41:58] 935*2^1392278-1 is not prime. Res64: 56479FFB28067378 Time : 0.0 sec. user=mdettweiler [2015-03-03 19:43:15] 1001*2^1392278-1 is not prime. Res64: DC4211D1F385DB45 Time : 0.0 sec. user=mdettweiler [2015-03-03 19:43:15] 661*2^1392279-1 is not prime. Res64: 8CD7B576AFB479B8 Time : 0.0 sec. user=mdettweiler [2015-03-03 19:58:21] 795*2^1392279-1 is not prime. Res64: 5FC3E7B8530E8688 Time : 0.0 sec. user=mdettweiler [2015-03-03 19:58:21] 891*2^1392279-1 is not prime. Res64: 9335D7F91DFD7277 Time : 0.0 sec. user=mdettweiler [2015-03-03 19:58:28] 985*2^1392279-1 is not prime. Res64: AC604AEF3CACA600 Time : 0.0 sec. user=mdettweiler [2015-03-03 19:58:28] 605*2^1392280-1 is not prime. Res64: 3B2EFE5968D419EA Time : 0.0 sec. user=mdettweiler [2015-03-03 20:09:31] 717*2^1392280-1 is not prime. Res64: 7B60670F22925C13 Time : 0.0 sec. user=mdettweiler [2015-03-03 20:09:32] 833*2^1392280-1 is not prime. Res64: 0325AFCE604B4B18 Time : 0.0 sec. user=mdettweiler [2015-03-03 20:10:53] 857*2^1392280-1 is not prime. Res64: E9C55591A756A720 Time : 0.0 sec. user=mdettweiler [2015-03-03 20:10:54] 989*2^1392280-1 is not prime. Res64: 28D20901AD692F2D Time : 0.0 sec. user=mdettweiler [2015-03-03 20:25:48] 601*2^1392281-1 is not prime. Res64: 06DAE898B6AF82CF Time : 0.0 sec. user=mdettweiler [2015-03-03 20:25:49] 615*2^1392281-1 is not prime. Res64: 13DBAE732E1DA23C Time : 0.0 sec. user=mdettweiler [2015-03-03 20:26:10] 637*2^1392281-1 is not prime. Res64: 22252AE66C4A6692 Time : 0.0 sec. user=mdettweiler [2015-03-03 20:26:10] 657*2^1392281-1 is not prime. Res64: 661BAC24A9C16E42 Time : 0.0 sec. user=mdettweiler [2015-03-03 20:37:04] 711*2^1392281-1 is not prime. Res64: 5868BF5BA53807B1 Time : 0.0 sec. user=mdettweiler [2015-03-03 20:37:04] 885*2^1392281-1 is not prime. Res64: 1B23975D1DD6610B Time : 0.0 sec. user=mdettweiler [2015-03-03 20:38:43] 991*2^1392281-1 is not prime. Res64: 21A79C450AB70F5E Time : 0.0 sec. user=mdettweiler [2015-03-03 20:38:43] 803*2^1392282-1 is not prime. Res64: C3D42A2688BCF2B5 Time : 0.0 sec. user=mdettweiler [2015-03-03 20:53:22] 945*2^1392282-1 is not prime. Res64: 9B3DDBF08DFBFC46 Time : 0.0 sec. user=mdettweiler [2015-03-03 20:53:23] 615*2^1392283-1 is not prime. Res64: 2067E914600FDA05 Time : 0.0 sec. user=mdettweiler [2015-03-03 20:53:57] 699*2^1392283-1 is not prime. Res64: 37C02CE8F46C4DC0 Time : 0.0 sec. user=mdettweiler [2015-03-03 20:53:58] 813*2^1392283-1 is not prime. Res64: 2A0CCBAB60840F1F Time : 0.0 sec. user=mdettweiler [2015-03-03 21:05:43] 861*2^1392283-1 is not prime. Res64: 60D238967FAF2D21 Time : 0.0 sec. user=mdettweiler [2015-03-03 21:05:44] 961*2^1392283-1 is not prime. Res64: 594EE6C1726E0525 Time : 0.0 sec. user=mdettweiler [2015-03-03 21:07:50] 999*2^1392283-1 is not prime. Res64: F46F708BB999B55E Time : 0.0 sec. user=mdettweiler [2015-03-03 21:07:50] 743*2^1392284-1 is not prime. Res64: A7EE303BD21E7CD0 Time : 0.0 sec. user=mdettweiler [2015-03-03 21:22:41] 825*2^1392284-1 is not prime. Res64: 30F6DCD671998CA6 Time : 0.0 sec. user=mdettweiler [2015-03-03 21:22:42] 875*2^1392284-1 is not prime. Res64: CE600E38067A2511 Time : 0.0 sec. user=mdettweiler [2015-03-03 21:23:15] 935*2^1392284-1 is not prime. Res64: 0DE4C2C728CFFE75 Time : 0.0 sec. user=mdettweiler [2015-03-03 21:23:15] 995*2^1392284-1 is not prime. Res64: 3D2F1C2FF860C342 Time : 0.0 sec. user=mdettweiler [2015-03-03 21:33:46] 655*2^1392285-1 is not prime. Res64: 8539D04F15749AFD Time : 0.0 sec. user=mdettweiler [2015-03-03 21:33:46] 691*2^1392285-1 is not prime. Res64: 4B3FD5931B44D1C1 Time : 0.0 sec. user=mdettweiler [2015-03-03 21:35:55] 699*2^1392285-1 is not prime. Res64: 910CBC0CFDA0CAFF Time : 0.0 sec. user=mdettweiler [2015-03-03 21:35:55] 765*2^1392285-1 is not prime. Res64: 88C54C01147EDC4B Time : 0.0 sec. user=mdettweiler [2015-03-03 21:50:31] 787*2^1392285-1 is not prime. Res64: 19CFDF759194B233 Time : 0.0 sec. user=mdettweiler [2015-03-03 21:50:32] 849*2^1392285-1 is not prime. Res64: 4512132FC6BA6460 Time : 0.0 sec. user=mdettweiler [2015-03-03 21:50:55] 885*2^1392285-1 is not prime. Res64: D78C8E8EC8F58039 Time : 0.0 sec. user=mdettweiler [2015-03-03 21:50:55] 895*2^1392285-1 is not prime. Res64: B21BE44B01FE319C Time : 0.0 sec. user=mdettweiler [2015-03-03 22:01:45] 975*2^1392285-1 is not prime. Res64: CB2D219A67E8DECB Time : 0.0 sec. user=mdettweiler [2015-03-03 22:01:46] 741*2^1392286-1 is not prime. Res64: 9E43DFF15BA29F26 Time : 0.0 sec. user=mdettweiler [2015-03-03 22:03:42] 843*2^1392286-1 is not prime. Res64: 1F1FB5E1B61388D0 Time : 0.0 sec. user=mdettweiler [2015-03-03 22:03:43] 891*2^1392286-1 is not prime. Res64: A175AAD5C71945F6 Time : 0.0 sec. user=mdettweiler [2015-03-03 22:19:13] 941*2^1392286-1 is not prime. Res64: 9A830418673D3F61 Time : 0.0 sec. user=mdettweiler [2015-03-03 22:19:14] 609*2^1392287-1 is not prime. Res64: 98E31D407A9D0C43 Time : 0.0 sec. user=mdettweiler [2015-03-03 22:19:23] 651*2^1392287-1 is not prime. Res64: 099A73F9D3ABC660 Time : 0.0 sec. user=mdettweiler [2015-03-03 22:19:23] 781*2^1392287-1 is not prime. Res64: 9070EF519EF44C46 Time : 0.0 sec. user=mdettweiler [2015-03-03 22:30:55] 859*2^1392287-1 is not prime. Res64: 356E39266E686CF5 Time : 0.0 sec. user=mdettweiler [2015-03-03 22:30:56] 945*2^1392287-1 is not prime. Res64: A2340E0B45683DFA Time : 0.0 sec. user=mdettweiler [2015-03-03 22:32:50] 963*2^1392287-1 is not prime. Res64: 4D5F3F7D87E4D5DF Time : 0.0 sec. user=mdettweiler [2015-03-03 22:32:51] 633*2^1392288-1 is not prime. Res64: 0184679C261A7E8E Time : 0.0 sec. user=Beyond [2015-03-03 22:36:06] 915*2^1392288-1 is not prime. Res64: 44DEC041A8C9EFA8 Time : 0.0 sec. user=Beyond [2015-03-03 22:36:07] 637*2^1392289-1 is not prime. Res64: 1CA49B6576E8587F Time : 0.0 sec. user=Beyond [2015-03-03 22:36:07] 893*2^1392288-1 is not prime. Res64: 920E07CC518724F6 Time : 0.0 sec. user=Beyond [2015-03-03 22:36:08] 667*2^1392289-1 is not prime. Res64: 59A15EB41A458D59 Time : 0.0 sec. user=Beyond [2015-03-03 22:47:04] 731*2^1392290-1 is not prime. Res64: 687AF1B3A6C91651 Time : 0.0 sec. user=Beyond [2015-03-03 22:47:04] 755*2^1392290-1 is not prime. Res64: 0164B164C757218F Time : 0.0 sec. user=Beyond [2015-03-03 22:47:06] 665*2^1392290-1 is not prime. Res64: 05EE208C47ACDCE9 Time : 0.0 sec. user=Beyond [2015-03-03 22:47:08] 861*2^1392290-1 is not prime. Res64: 905FD4FA113DC615 Time : 0.0 sec. user=mdettweiler [2015-03-03 22:47:55] 723*2^1392288-1 is not prime. Res64: 660326CE957910B0 Time : 0.0 sec. user=mdettweiler [2015-03-03 22:47:57] 753*2^1392288-1 is not prime. Res64: BF0AECBA35DDFB5A Time : 0.0 sec. user=mdettweiler [2015-03-03 22:48:02] 765*2^1392288-1 is not prime. Res64: 1C7D98DF7DC8B51B Time : 0.0 sec. user=mdettweiler [2015-03-03 22:48:02] 767*2^1392288-1 is not prime. Res64: D6C85A6360E7B303 Time : 0.0 sec. user=Beyond [2015-03-03 22:57:59] 711*2^1392291-1 is not prime. Res64: 30BBEACD930ECBA6 Time : 0.0 sec. user=Beyond [2015-03-03 22:58:00] 741*2^1392291-1 is not prime. Res64: 054C8D87E1C2172D Time : 0.0 sec. user=Beyond [2015-03-03 22:58:01] 781*2^1392291-1 is not prime. Res64: A120C91F7DABA16E Time : 0.0 sec. user=Beyond [2015-03-03 22:58:02] 823*2^1392291-1 is not prime. Res64: 9FFD55C16DFAE2D9 Time : 0.0 sec. user=mdettweiler [2015-03-03 22:59:29] 957*2^1392289-1 is not prime. Res64: C716A61E34E9E3DD Time : 0.0 sec. user=mdettweiler [2015-03-03 22:59:30] 999*2^1392289-1 is not prime. Res64: 56D6D1E856892E7B Time : 0.0 sec. user=mdettweiler [2015-03-03 23:01:51] 633*2^1392290-1 is not prime. Res64: 43B6EE4B27A81140 Time : 0.0 sec. user=mdettweiler [2015-03-03 23:01:52] 645*2^1392290-1 is not prime. Res64: 693EC5EE2A6356C7 Time : 0.0 sec. user=Beyond [2015-03-03 23:08:54] 687*2^1392292-1 is not prime. Res64: EFF28349E826913B Time : 0.0 sec. user=Beyond [2015-03-03 23:08:55] 843*2^1392292-1 is not prime. Res64: 0499A6A930A1B01F Time : 0.0 sec. user=Beyond [2015-03-03 23:08:56] 619*2^1392293-1 is not prime. Res64: 5391139E4020F303 Time : 0.0 sec. user=Beyond [2015-03-03 23:08:57] 631*2^1392293-1 is not prime. Res64: AC624A4469CC7FBE Time : 0.0 sec. user=mdettweiler [2015-03-03 23:15:43] 975*2^1392291-1 is not prime. Res64: 30CA2683C4013DEF Time : 0.0 sec. user=mdettweiler [2015-03-03 23:15:44] 639*2^1392292-1 is not prime. Res64: A83E7712C4994EB7 Time : 0.0 sec. user=mdettweiler [2015-03-03 23:15:46] 829*2^1392291-1 is not prime. Res64: 89C9245077AAF744 Time : 0.0 sec. user=mdettweiler [2015-03-03 23:15:46] 913*2^1392291-1 is not prime. Res64: B2DF8C8D3991E8F2 Time : 0.0 sec. user=Beyond [2015-03-03 23:19:50] 821*2^1392294-1 is not prime. Res64: DBE0790996650607 Time : 0.0 sec. user=Beyond [2015-03-03 23:19:54] 747*2^1392294-1 is not prime. Res64: A970E41165E6DC04 Time : 0.0 sec. user=Beyond [2015-03-03 23:19:54] 875*2^1392294-1 is not prime. Res64: 78BBE97026A68442 Time : 0.0 sec. user=Beyond [2015-03-03 23:19:57] 825*2^1392294-1 is not prime. Res64: 50311CA4C7747AA1 Time : 0.0 sec. user=mdettweiler [2015-03-03 23:26:33] 819*2^1392293-1 is not prime. Res64: 643D3918F06BF635 Time : 0.0 sec. user=mdettweiler [2015-03-03 23:26:33] 939*2^1392293-1 is not prime. Res64: 57EF618B138B61BF Time : 0.0 sec. user=mdettweiler [2015-03-03 23:28:52] 985*2^1392293-1 is not prime. Res64: 7E7314D8C7985F6F Time : 0.0 sec. user=mdettweiler [2015-03-03 23:28:52] 705*2^1392294-1 is not prime. Res64: 3F476ECEBF9120EF Time : 0.0 sec. user=Beyond [2015-03-03 23:30:43] 741*2^1392295-1 is not prime. Res64: BC1A9A31DE02093F Time : 0.0 sec. user=Beyond [2015-03-03 23:30:47] 841*2^1392295-1 is not prime. Res64: 9CA569D163AC6D55 Time : 0.0 sec. user=Beyond [2015-03-03 23:30:48] 675*2^1392296-1 is not prime. Res64: 7E06AC2E569C794F Time : 0.0 sec. user=Beyond [2015-03-03 23:30:50] 945*2^1392296-1 is not prime. Res64: 792B2B3C90FC1CE6 Time : 0.0 sec. user=Beyond [2015-03-03 23:41:44] 621*2^1392298-1 is not prime. Res64: 99496F64BBE13136 Time : 0.0 sec. user=Beyond [2015-03-03 23:41:45] 985*2^1392297-1 is not prime. Res64: 2E741F89455993B1 Time : 0.0 sec. user=Beyond [2015-03-03 23:41:49] 695*2^1392298-1 is not prime. Res64: E26EF1B0FB463B57 Time : 0.0 sec. user=Beyond [2015-03-03 23:41:52] 623*2^1392298-1 is not prime. Res64: 5831780AFB6C1A52 Time : 0.0 sec. user=mdettweiler [2015-03-03 23:42:46] 993*2^1392294-1 is not prime. Res64: C0887DACAF8F75ED Time : 0.0 sec. user=mdettweiler [2015-03-03 23:42:46] 923*2^1392294-1 is not prime. Res64: 9A5646F6CAF4D351 Time : 0.0 sec. user=mdettweiler [2015-03-03 23:42:46] 679*2^1392295-1 is not prime. Res64: A1BDC0FEF265C307 Time : 0.0 sec. user=mdettweiler [2015-03-03 23:42:47] 941*2^1392294-1 is not prime. Res64: 1646177549256884 Time : 0.0 sec. user=Beyond [2015-03-03 23:52:38] 803*2^1392298-1 is not prime. Res64: 942404F9057AAF17 Time : 0.0 sec. user=Beyond [2015-03-03 23:52:39] 813*2^1392298-1 is not prime. Res64: 34E1DF15BD183D3D Time : 0.0 sec. user=Beyond [2015-03-03 23:52:42] 843*2^1392298-1 is not prime. Res64: B85A3E6813765F38 Time : 0.0 sec. user=Beyond [2015-03-03 23:52:45] 911*2^1392298-1 is not prime. Res64: 87C1C70BE01CA083 Time : 0.0 sec. user=mdettweiler [2015-03-03 23:53:32] 759*2^1392297-1 is not prime. Res64: EAF759E6FADE7C60 Time : 0.0 sec. user=mdettweiler [2015-03-03 23:53:32] 805*2^1392297-1 is not prime. Res64: 18A6C2ECB03BAE00 Time : 0.0 sec. user=mdettweiler [2015-03-03 23:56:16] 889*2^1392297-1 is not prime. Res64: B12113DFA670E36C Time : 0.0 sec. user=mdettweiler [2015-03-03 23:56:17] 979*2^1392297-1 is not prime. Res64: 4878523F08F0F71D Time : 0.0 sec.