user=mdettweiler [2016-05-24 00:01:59] 769*2^1430169-1 is not prime. Res64: 62A6EC651D731E6B Time : 0.0 sec. user=mdettweiler [2016-05-24 00:01:59] 817*2^1430169-1 is not prime. Res64: 1CEC9F201611B016 Time : 0.0 sec. user=mdettweiler [2016-05-24 00:02:00] 847*2^1430169-1 is not prime. Res64: 156B6A08DBDB13E4 Time : 0.0 sec. user=mdettweiler [2016-05-24 00:02:00] 907*2^1430169-1 is not prime. Res64: 8B6A04D2EFDD8584 Time : 0.0 sec. user=mdettweiler [2016-05-24 00:02:03] 919*2^1430169-1 is not prime. Res64: B67F87A813553F46 Time : 0.0 sec. user=mdettweiler [2016-05-24 00:23:43] 651*2^1430170-1 is not prime. Res64: 9B4C98AAACEB7999 Time : 0.0 sec. user=mdettweiler [2016-05-24 00:23:44] 791*2^1430170-1 is not prime. Res64: 004FA5F0ED9D8515 Time : 0.0 sec. user=mdettweiler [2016-05-24 00:23:45] 831*2^1430170-1 is not prime. Res64: 334110B940B3799E Time : 0.0 sec. user=mdettweiler [2016-05-24 00:23:46] 951*2^1430170-1 is not prime. Res64: F441FCEDAF60DCE0 Time : 0.0 sec. user=mdettweiler [2016-05-24 00:23:47] 1001*2^1430170-1 is not prime. Res64: A916B1176FCFDC8C Time : 0.0 sec. user=mdettweiler [2016-05-24 00:45:38] 619*2^1430171-1 is not prime. Res64: 69545A8FC437499C Time : 0.0 sec. user=mdettweiler [2016-05-24 00:45:38] 679*2^1430171-1 is not prime. Res64: AED7FC4DD253A0FA Time : 0.0 sec. user=mdettweiler [2016-05-24 00:45:38] 735*2^1430171-1 is not prime. Res64: EEF2B70755C568D9 Time : 0.0 sec. user=mdettweiler [2016-05-24 00:45:39] 783*2^1430171-1 is not prime. Res64: 23CF84F4D32ADB2D Time : 0.0 sec. user=mdettweiler [2016-05-24 00:45:39] 859*2^1430171-1 is not prime. Res64: 2150AF6ECE6DEA0E Time : 0.0 sec. user=mdettweiler [2016-05-24 00:45:40] 901*2^1430171-1 is not prime. Res64: 6BD340D5C0F5480D Time : 0.0 sec. user=mdettweiler [2016-05-24 00:45:41] 903*2^1430171-1 is not prime. Res64: 00FE88095B2FDF9F Time : 0.0 sec. user=mdettweiler [2016-05-24 00:45:41] 969*2^1430171-1 is not prime. Res64: 4866362265C3951D Time : 0.0 sec. user=mdettweiler [2016-05-24 00:45:42] 981*2^1430171-1 is not prime. Res64: 82B87F5A0B986C53 Time : 0.0 sec. user=mdettweiler [2016-05-24 00:45:42] 999*2^1430171-1 is not prime. Res64: 4670DFEA72DA1B41 Time : 0.0 sec. user=mdettweiler [2016-05-24 00:47:01] 627*2^1430172-1 is not prime. Res64: 6AA2B041EE1F2A32 Time : 0.0 sec. user=mdettweiler [2016-05-24 00:47:01] 765*2^1430172-1 is not prime. Res64: BC2BBE717C95DBC5 Time : 0.0 sec. user=mdettweiler [2016-05-24 00:47:02] 929*2^1430172-1 is not prime. Res64: E01799F36E2ECF58 Time : 0.0 sec. user=mdettweiler [2016-05-24 00:47:02] 977*2^1430172-1 is not prime. Res64: C60B8F7BCDC575D6 Time : 0.0 sec. user=mdettweiler [2016-05-24 00:47:03] 983*2^1430172-1 is not prime. Res64: EDD6498124CC4652 Time : 0.0 sec. user=mdettweiler [2016-05-24 01:08:43] 987*2^1430172-1 is not prime. Res64: 363393057FAA89C7 Time : 0.0 sec. user=mdettweiler [2016-05-24 01:08:44] 679*2^1430173-1 is not prime. Res64: 15D13C8592408EA3 Time : 0.0 sec. user=mdettweiler [2016-05-24 01:08:45] 699*2^1430173-1 is not prime. Res64: 333426560881CBD4 Time : 0.0 sec. user=mdettweiler [2016-05-24 01:08:46] 889*2^1430173-1 is not prime. Res64: A6BEFDDF620898BA Time : 0.0 sec. user=mdettweiler [2016-05-24 01:08:47] 897*2^1430173-1 is not prime. Res64: 9734FD14AA89016B Time : 0.0 sec. user=mdettweiler [2016-05-24 01:30:27] 623*2^1430174-1 is not prime. Res64: 958C0CEF27223C16 Time : 0.0 sec. user=mdettweiler [2016-05-24 01:30:28] 677*2^1430174-1 is not prime. Res64: D565B2DA9A83DE83 Time : 0.0 sec. user=mdettweiler [2016-05-24 01:30:31] 747*2^1430174-1 is not prime. Res64: D288A3D3B3C1BD66 Time : 0.0 sec. user=mdettweiler [2016-05-24 01:30:33] 827*2^1430174-1 is not prime. Res64: 0F727DF0D0D5432D Time : 0.0 sec. user=mdettweiler [2016-05-24 01:30:35] 861*2^1430174-1 is not prime. Res64: FADA5EBB7136AE3E Time : 0.0 sec. user=mdettweiler [2016-05-24 01:30:40] 923*2^1430174-1 is not prime. Res64: 8886665106FF9A4E Time : 0.0 sec. user=mdettweiler [2016-05-24 01:30:43] 951*2^1430174-1 is not prime. Res64: F736B679505CFED4 Time : 0.0 sec. user=mdettweiler [2016-05-24 01:30:44] 775*2^1430175-1 is not prime. Res64: 0BE2B01D863D80C5 Time : 0.0 sec. user=mdettweiler [2016-05-24 01:30:47] 885*2^1430175-1 is not prime. Res64: CA98B4DFABB6C97A Time : 0.0 sec. user=mdettweiler [2016-05-24 01:30:48] 891*2^1430175-1 is not prime. Res64: BE158D8F2ACA71CA Time : 0.0 sec. user=mdettweiler [2016-05-24 01:31:48] 843*2^1430176-1 is not prime. Res64: 28B9D51BC299D34C Time : 0.0 sec. user=mdettweiler [2016-05-24 01:31:48] 845*2^1430176-1 is not prime. Res64: 56D4ABEB60402489 Time : 0.0 sec. user=mdettweiler [2016-05-24 01:31:49] 887*2^1430176-1 is not prime. Res64: 00B172D7079917E4 Time : 0.0 sec. user=mdettweiler [2016-05-24 01:31:50] 897*2^1430176-1 is not prime. Res64: CF39B94C8544355B Time : 0.0 sec. user=mdettweiler [2016-05-24 01:31:50] 917*2^1430176-1 is not prime. Res64: 51095E6C43CA2A1C Time : 0.0 sec. user=mdettweiler [2016-05-24 01:53:58] 615*2^1430177-1 is not prime. Res64: B1EA401140C9E359 Time : 0.0 sec. user=mdettweiler [2016-05-24 01:53:58] 631*2^1430177-1 is not prime. Res64: A80F6D3B3769BB22 Time : 0.0 sec. user=mdettweiler [2016-05-24 01:53:59] 717*2^1430177-1 is not prime. Res64: 16E864BBDF2E0617 Time : 0.0 sec. user=mdettweiler [2016-05-24 01:53:59] 769*2^1430177-1 is not prime. Res64: E55AD48D6C864BC3 Time : 0.0 sec. user=mdettweiler [2016-05-24 01:53:59] 837*2^1430177-1 is not prime. Res64: 4F0682FF58D49426 Time : 0.0 sec. user=mdettweiler [2016-05-24 02:16:50] 635*2^1430178-1 is not prime. Res64: 98B894CD848C2171 Time : 0.0 sec. user=mdettweiler [2016-05-24 02:16:50] 641*2^1430178-1 is not prime. Res64: 66A76E08C3863135 Time : 0.0 sec. user=mdettweiler [2016-05-24 02:16:51] 681*2^1430178-1 is not prime. Res64: 878B9DB47CE360F0 Time : 0.0 sec. user=mdettweiler [2016-05-24 02:16:51] 737*2^1430178-1 is not prime. Res64: E22E617E4F033671 Time : 0.0 sec. user=mdettweiler [2016-05-24 02:16:52] 833*2^1430178-1 is not prime. Res64: 76B6CF40E0E0C25F Time : 0.0 sec. user=mdettweiler [2016-05-24 02:17:07] 871*2^1430177-1 is not prime. Res64: D98243A9379C0B5B Time : 0.0 sec. user=mdettweiler [2016-05-24 02:17:07] 879*2^1430177-1 is not prime. Res64: BF5F83177C00C002 Time : 0.0 sec. user=mdettweiler [2016-05-24 02:17:08] 931*2^1430177-1 is not prime. Res64: C30F5E8B5279F409 Time : 0.0 sec. user=mdettweiler [2016-05-24 02:17:08] 937*2^1430177-1 is not prime. Res64: 4ECDC4B26284C28C Time : 0.0 sec. user=mdettweiler [2016-05-24 02:17:08] 967*2^1430177-1 is not prime. Res64: B0899A9EB4A1E0E8 Time : 0.0 sec. user=mdettweiler [2016-05-24 02:18:17] 861*2^1430178-1 is not prime. Res64: BBCBD67032D5CD6F Time : 0.0 sec. user=mdettweiler [2016-05-24 02:18:17] 887*2^1430178-1 is not prime. Res64: 8EA11D96CDEFFC9F Time : 0.0 sec. user=mdettweiler [2016-05-24 02:18:18] 893*2^1430178-1 is not prime. Res64: 3AF402D276105BFE Time : 0.0 sec. user=mdettweiler [2016-05-24 02:18:18] 631*2^1430179-1 is not prime. Res64: FFA59074C3388BDD Time : 0.0 sec. user=mdettweiler [2016-05-24 02:18:19] 633*2^1430179-1 is not prime. Res64: 4C45703BE1FED08D Time : 0.0 sec. user=mdettweiler [2016-05-24 02:40:52] 735*2^1430179-1 is not prime. Res64: E9D2FE3491FF5C59 Time : 0.0 sec. user=mdettweiler [2016-05-24 02:40:52] 745*2^1430179-1 is not prime. Res64: DAFD027B57A96D7E Time : 0.0 sec. user=mdettweiler [2016-05-24 02:40:53] 829*2^1430179-1 is not prime. Res64: C1AB2AF2E7C2D538 Time : 0.0 sec. user=mdettweiler [2016-05-24 02:40:53] 835*2^1430179-1 is not prime. Res64: 9F39CAD6B080CCA0 Time : 0.0 sec. user=mdettweiler [2016-05-24 02:40:53] 951*2^1430179-1 is not prime. Res64: FA0670B9C06A441F Time : 0.0 sec. user=mdettweiler [2016-05-24 03:01:50] 603*2^1430180-1 is not prime. Res64: E18D9FC1B032077C Time : 0.0 sec. user=mdettweiler [2016-05-24 03:01:51] 615*2^1430180-1 is not prime. Res64: 2949459795D58076 Time : 0.0 sec. user=mdettweiler [2016-05-24 03:01:51] 699*2^1430180-1 is not prime. Res64: 950458CEC0D27A3F Time : 0.0 sec. user=mdettweiler [2016-05-24 03:01:52] 797*2^1430180-1 is not prime. Res64: 0A14EAA902BA0D98 Time : 0.0 sec. user=mdettweiler [2016-05-24 03:01:52] 843*2^1430180-1 is not prime. Res64: 9A7240AF0F57CDF8 Time : 0.0 sec. user=mdettweiler [2016-05-24 03:02:15] 963*2^1430180-1 is not prime. Res64: 2953D2B9A4ABFE20 Time : 0.0 sec. user=mdettweiler [2016-05-24 03:02:16] 625*2^1430181-1 is not prime. Res64: DD268B3AB18AD187 Time : 0.0 sec. user=mdettweiler [2016-05-24 03:02:17] 679*2^1430181-1 is not prime. Res64: ADD672131031C5D4 Time : 0.0 sec. user=mdettweiler [2016-05-24 03:02:18] 735*2^1430181-1 is not prime. Res64: 1BCD99D1131A2519 Time : 0.0 sec. user=mdettweiler [2016-05-24 03:02:18] 741*2^1430181-1 is not prime. Res64: 2EABFC03B4749C61 Time : 0.0 sec. user=mdettweiler [2016-05-24 03:03:11] 847*2^1430181-1 is not prime. Res64: EDE39DBACC29F247 Time : 0.0 sec. user=mdettweiler [2016-05-24 03:03:13] 901*2^1430181-1 is not prime. Res64: E2DC2E54B1E9E43A Time : 0.0 sec. user=mdettweiler [2016-05-24 03:03:14] 681*2^1430182-1 is not prime. Res64: 3BCA7698022D3410 Time : 0.0 sec. user=mdettweiler [2016-05-24 03:03:15] 717*2^1430182-1 is not prime. Res64: A680D378FE166259 Time : 0.0 sec. user=mdettweiler [2016-05-24 03:03:17] 951*2^1430182-1 is not prime. Res64: FBA82C650997C4AE Time : 0.0 sec. user=mdettweiler [2016-05-24 03:25:51] 957*2^1430182-1 is not prime. Res64: 8254E9877D54B706 Time : 0.0 sec. user=mdettweiler [2016-05-24 03:25:52] 987*2^1430182-1 is not prime. Res64: E889F54C5A0C1362 Time : 0.0 sec. user=mdettweiler [2016-05-24 03:25:53] 643*2^1430183-1 is not prime. Res64: 2A78BD77A8F8B1B2 Time : 0.0 sec. user=mdettweiler [2016-05-24 03:25:54] 705*2^1430183-1 is not prime. Res64: EC318AFD6FF31F98 Time : 0.0 sec. user=mdettweiler [2016-05-24 03:25:55] 915*2^1430183-1 is not prime. Res64: 038651575E486AC7 Time : 0.0 sec. user=mdettweiler [2016-05-24 03:47:08] 943*2^1430183-1 is not prime. Res64: 1EF816616C58A6E5 Time : 0.0 sec. user=mdettweiler [2016-05-24 03:47:09] 705*2^1430184-1 is not prime. Res64: 8A5BC781BACFC971 Time : 0.0 sec. user=mdettweiler [2016-05-24 03:47:10] 725*2^1430184-1 is not prime. Res64: 1E56C407B7693B8B Time : 0.0 sec. user=mdettweiler [2016-05-24 03:47:11] 789*2^1430184-1 is not prime. Res64: 8EB223068BD620E7 Time : 0.0 sec. user=mdettweiler [2016-05-24 03:47:12] 927*2^1430184-1 is not prime. Res64: 6F928E57244985AA Time : 0.0 sec. user=mdettweiler [2016-05-24 03:47:23] 645*2^1430185-1 is not prime. Res64: 3BD603B219730795 Time : 0.0 sec. user=mdettweiler [2016-05-24 03:47:24] 705*2^1430185-1 is not prime. Res64: FE2B67520358A112 Time : 0.0 sec. user=mdettweiler [2016-05-24 03:47:25] 721*2^1430185-1 is not prime. Res64: 15A6FD0A4D7A115C Time : 0.0 sec. user=mdettweiler [2016-05-24 03:47:26] 871*2^1430185-1 is not prime. Res64: 7C48D81042E91070 Time : 0.0 sec. user=mdettweiler [2016-05-24 03:47:27] 877*2^1430185-1 is not prime. Res64: 2C1F4F3B89F66941 Time : 0.0 sec. user=mdettweiler [2016-05-24 03:48:33] 909*2^1430185-1 is not prime. Res64: 1B34C046A9E41DCF Time : 0.0 sec. user=mdettweiler [2016-05-24 03:48:35] 979*2^1430185-1 is not prime. Res64: 1903A804F18B16D7 Time : 0.0 sec. user=mdettweiler [2016-05-24 03:48:36] 985*2^1430185-1 is not prime. Res64: 0D7B42C016CE5C31 Time : 0.0 sec. user=mdettweiler [2016-05-24 03:48:38] 627*2^1430186-1 is not prime. Res64: 8E2309527D66AA5B Time : 0.0 sec. user=mdettweiler [2016-05-24 03:48:40] 713*2^1430186-1 is not prime. Res64: 592542030A93ED27 Time : 0.0 sec. user=mdettweiler [2016-05-24 04:11:15] 773*2^1430186-1 is not prime. Res64: 6F15BF0087B4C63F Time : 0.0 sec. user=mdettweiler [2016-05-24 04:11:15] 851*2^1430186-1 is not prime. Res64: 6425283705D4E8D9 Time : 0.0 sec. user=mdettweiler [2016-05-24 04:11:16] 923*2^1430186-1 is not prime. Res64: B93E323AF958DB3F Time : 0.0 sec. user=mdettweiler [2016-05-24 04:11:16] 935*2^1430186-1 is not prime. Res64: A637755887FDE122 Time : 0.0 sec. user=mdettweiler [2016-05-24 04:11:16] 685*2^1430187-1 is not prime. Res64: 3D7F3155C3EA29A9 Time : 0.0 sec. user=mdettweiler [2016-05-24 04:32:24] 795*2^1430187-1 is not prime. Res64: C420EFE2F59145D3 Time : 0.0 sec. user=mdettweiler [2016-05-24 04:32:24] 873*2^1430187-1 is not prime. Res64: 8BB4739017AB5CD7 Time : 0.0 sec. user=mdettweiler [2016-05-24 04:32:25] 903*2^1430187-1 is not prime. Res64: 46033C3344A53094 Time : 0.0 sec. user=mdettweiler [2016-05-24 04:32:25] 945*2^1430187-1 is not prime. Res64: 030BA004F539F434 Time : 0.0 sec. user=mdettweiler [2016-05-24 04:32:25] 975*2^1430187-1 is not prime. Res64: 1CA0920CD49601BD Time : 0.0 sec. user=mdettweiler [2016-05-24 04:32:32] 647*2^1430188-1 is not prime. Res64: F8CD9AE1B61D2494 Time : 0.0 sec. user=mdettweiler [2016-05-24 04:32:32] 749*2^1430188-1 is not prime. Res64: 7D2F46F54CF7969B Time : 0.0 sec. user=mdettweiler [2016-05-24 04:32:33] 827*2^1430188-1 is not prime. Res64: 9D547FACAB99A14D Time : 0.0 sec. user=mdettweiler [2016-05-24 04:32:33] 855*2^1430188-1 is not prime. Res64: 31B3DA91CE3BD9D7 Time : 0.0 sec. user=mdettweiler [2016-05-24 04:32:33] 969*2^1430188-1 is not prime. Res64: 02C5591B82D45131 Time : 0.0 sec. user=mdettweiler [2016-05-24 04:33:50] 649*2^1430189-1 is not prime. Res64: D5B73521CE1E5CA5 Time : 0.0 sec. user=mdettweiler [2016-05-24 04:33:50] 769*2^1430189-1 is not prime. Res64: AC5C524B9B31FEB4 Time : 0.0 sec. user=mdettweiler [2016-05-24 04:33:50] 795*2^1430189-1 is not prime. Res64: AE43F7D3EFE2B436 Time : 0.0 sec. user=mdettweiler [2016-05-24 04:33:51] 885*2^1430189-1 is not prime. Res64: D0BCD954554D5B8F Time : 0.0 sec. user=mdettweiler [2016-05-24 04:33:51] 927*2^1430189-1 is not prime. Res64: 31CE966A74186A2F Time : 0.0 sec. user=mdettweiler [2016-05-24 04:56:18] 945*2^1430189-1 is not prime. Res64: 501443E21B3E487F Time : 0.0 sec. user=mdettweiler [2016-05-24 04:56:18] 681*2^1430190-1 is not prime. Res64: 59A49C46BEE1E40C Time : 0.0 sec. user=mdettweiler [2016-05-24 04:56:19] 725*2^1430190-1 is not prime. Res64: F488A1A24C1E71EC Time : 0.0 sec. user=mdettweiler [2016-05-24 04:56:19] 777*2^1430190-1 is not prime. Res64: 7529F436FBA00601 Time : 0.0 sec. user=mdettweiler [2016-05-24 04:56:19] 795*2^1430190-1 is not prime. Res64: 59769A5970851EBA Time : 0.0 sec. user=mdettweiler [2016-05-24 05:17:31] 863*2^1430190-1 is not prime. Res64: 8B0B84DBAC8F892F Time : 0.0 sec. user=mdettweiler [2016-05-24 05:17:31] 893*2^1430190-1 is not prime. Res64: 2909F6FBC6013BF4 Time : 0.0 sec. user=mdettweiler [2016-05-24 05:17:32] 921*2^1430190-1 is not prime. Res64: 95396E65330561D6 Time : 0.0 sec. user=mdettweiler [2016-05-24 05:17:32] 941*2^1430190-1 is not prime. Res64: FDC2D158DD9FB80A Time : 0.0 sec. user=mdettweiler [2016-05-24 05:17:33] 685*2^1430191-1 is not prime. Res64: 7BB2A2D494FB6DB0 Time : 0.0 sec. user=mdettweiler [2016-05-24 05:17:34] 705*2^1430191-1 is not prime. Res64: 5AB5DC7FC7F25B3E Time : 0.0 sec. user=mdettweiler [2016-05-24 05:17:35] 735*2^1430191-1 is not prime. Res64: E657EA0F03760E0F Time : 0.0 sec. user=mdettweiler [2016-05-24 05:17:35] 793*2^1430191-1 is not prime. Res64: 01A12EA7CB273B53 Time : 0.0 sec. user=mdettweiler [2016-05-24 05:17:36] 885*2^1430191-1 is not prime. Res64: D66EE9E75E8F98AC Time : 0.0 sec. user=mdettweiler [2016-05-24 05:17:36] 973*2^1430191-1 is not prime. Res64: 3396FECCB355ADD5 Time : 0.0 sec. user=mdettweiler [2016-05-24 05:18:57] 993*2^1430191-1 is not prime. Res64: E347E8DE968F8341 Time : 0.0 sec. user=mdettweiler [2016-05-24 05:18:58] 615*2^1430192-1 is not prime. Res64: C1CCD3C6FE725C34 Time : 0.0 sec. user=mdettweiler [2016-05-24 05:18:58] 669*2^1430192-1 is not prime. Res64: 6F54379DD52FB0D6 Time : 0.0 sec. user=mdettweiler [2016-05-24 05:18:59] 767*2^1430192-1 is not prime. Res64: 52233EBB96F8032D Time : 0.0 sec. user=mdettweiler [2016-05-24 05:18:59] 819*2^1430192-1 is not prime. Res64: 3CA13C69F6C7EC57 Time : 0.0 sec. user=mdettweiler [2016-05-24 05:41:16] 833*2^1430192-1 is not prime. Res64: 5A5B794F696D4A29 Time : 0.0 sec. user=mdettweiler [2016-05-24 05:41:16] 873*2^1430192-1 is not prime. Res64: A37AA2C6836A3011 Time : 0.0 sec. user=mdettweiler [2016-05-24 05:41:16] 875*2^1430192-1 is not prime. Res64: 5C60610DDEF0263A Time : 0.0 sec. user=mdettweiler [2016-05-24 05:41:17] 957*2^1430192-1 is not prime. Res64: 9525FF24434D8353 Time : 0.0 sec. user=mdettweiler [2016-05-24 05:41:17] 685*2^1430193-1 is not prime. Res64: 21ED9055225FA909 Time : 0.0 sec. user=mdettweiler [2016-05-24 06:02:25] 787*2^1430193-1 is not prime. Res64: 377CFFA21C30EDA1 Time : 0.0 sec. user=mdettweiler [2016-05-24 06:02:26] 805*2^1430193-1 is not prime. Res64: 14A3A0E3C06FB896 Time : 0.0 sec. user=mdettweiler [2016-05-24 06:02:27] 877*2^1430193-1 is not prime. Res64: E297DBF37228B12D Time : 0.0 sec. user=mdettweiler [2016-05-24 06:02:28] 895*2^1430193-1 is not prime. Res64: 18BAE88AEE7007EB Time : 0.0 sec. user=mdettweiler [2016-05-24 06:02:28] 955*2^1430193-1 is not prime. Res64: C0985E8F6F88AFE8 Time : 0.0 sec. user=mdettweiler [2016-05-24 06:02:32] 617*2^1430194-1 is not prime. Res64: 4DF8DBC0EB8891A3 Time : 0.0 sec. user=mdettweiler [2016-05-24 06:02:33] 645*2^1430194-1 is not prime. Res64: 24445A9AA0252721 Time : 0.0 sec. user=mdettweiler [2016-05-24 06:02:34] 731*2^1430194-1 is not prime. Res64: 2DDC4B9998C1B855 Time : 0.0 sec. user=mdettweiler [2016-05-24 06:02:36] 903*2^1430194-1 is not prime. Res64: 674519404EF4EA1D Time : 0.0 sec. user=mdettweiler [2016-05-24 06:02:37] 957*2^1430194-1 is not prime. Res64: D1890F370B793D0C Time : 0.0 sec. user=mdettweiler [2016-05-24 06:03:56] 699*2^1430195-1 is not prime. Res64: C6A8BE8859AB64FC Time : 0.0 sec. user=mdettweiler [2016-05-24 06:03:57] 843*2^1430195-1 is not prime. Res64: CC202C19A6E11828 Time : 0.0 sec. user=mdettweiler [2016-05-24 06:03:58] 871*2^1430195-1 is not prime. Res64: 2591771759985538 Time : 0.0 sec. user=mdettweiler [2016-05-24 06:03:59] 883*2^1430195-1 is not prime. Res64: 2432C2BA6E07A2D4 Time : 0.0 sec. user=mdettweiler [2016-05-24 06:04:00] 963*2^1430195-1 is not prime. Res64: 562A8C9FC9F56D52 Time : 0.0 sec. user=mdettweiler [2016-05-24 06:26:15] 969*2^1430195-1 is not prime. Res64: 96015AE637D19779 Time : 0.0 sec. user=mdettweiler [2016-05-24 06:26:16] 985*2^1430195-1 is not prime. Res64: 57961C520D45854B Time : 0.0 sec. user=mdettweiler [2016-05-24 06:26:17] 635*2^1430196-1 is not prime. Res64: 1AA9922AEAA4ED67 Time : 0.0 sec. user=mdettweiler [2016-05-24 06:26:18] 737*2^1430196-1 is not prime. Res64: 2F012FD0564FB34D Time : 0.0 sec. user=mdettweiler [2016-05-24 06:26:19] 639*2^1430197-1 is not prime. Res64: 35CFB1BC67F7444F Time : 0.0 sec. user=mdettweiler [2016-05-24 06:47:26] 777*2^1430197-1 is not prime. Res64: 876EE59D2D3E2D2C Time : 0.0 sec. user=mdettweiler [2016-05-24 06:47:26] 805*2^1430197-1 is not prime. Res64: 2B964FF280308763 Time : 0.0 sec. user=mdettweiler [2016-05-24 06:47:26] 835*2^1430197-1 is not prime. Res64: B1E91C2E0AAABE53 Time : 0.0 sec. user=mdettweiler [2016-05-24 06:47:27] 915*2^1430197-1 is not prime. Res64: BEEA6E794DB25512 Time : 0.0 sec. user=mdettweiler [2016-05-24 06:47:27] 931*2^1430197-1 is not prime. Res64: 82553390FF89B65B Time : 0.0 sec. user=mdettweiler [2016-05-24 06:47:33] 635*2^1430198-1 is not prime. Res64: 329D21E62546E00E Time : 0.0 sec. user=mdettweiler [2016-05-24 06:47:33] 683*2^1430198-1 is not prime. Res64: 5782E359888CB1FE Time : 0.0 sec. user=mdettweiler [2016-05-24 06:47:34] 731*2^1430198-1 is not prime. Res64: E09212E4EBD024E4 Time : 0.0 sec. user=mdettweiler [2016-05-24 06:47:34] 755*2^1430198-1 is not prime. Res64: 0B5F03F0852FBC51 Time : 0.0 sec. user=mdettweiler [2016-05-24 06:47:34] 791*2^1430198-1 is not prime. Res64: 773A390925A7AA2D Time : 0.0 sec. user=mdettweiler [2016-05-24 06:48:57] 795*2^1430198-1 is not prime. Res64: DF3B4148066963BC Time : 0.0 sec. user=mdettweiler [2016-05-24 06:48:57] 833*2^1430198-1 is not prime. Res64: 9A18C7629E4E37F6 Time : 0.0 sec. user=mdettweiler [2016-05-24 06:48:58] 887*2^1430198-1 is not prime. Res64: 3EB8FF678C99920C Time : 0.0 sec. user=mdettweiler [2016-05-24 06:48:58] 941*2^1430198-1 is not prime. Res64: DF04657A7EE4F47D Time : 0.0 sec. user=mdettweiler [2016-05-24 06:48:58] 711*2^1430199-1 is not prime. Res64: 6625B5F2686C118C Time : 0.0 sec. user=mdettweiler [2016-05-24 07:11:18] 735*2^1430199-1 is not prime. Res64: 6A11DA25997901FB Time : 0.0 sec. user=mdettweiler [2016-05-24 07:11:20] 751*2^1430199-1 is not prime. Res64: BC27B8E246DC868F Time : 0.0 sec. user=mdettweiler [2016-05-24 07:11:21] 763*2^1430199-1 is not prime. Res64: C96D597177768C31 Time : 0.0 sec. user=mdettweiler [2016-05-24 07:11:22] 853*2^1430199-1 is not prime. Res64: 744BA2A4A1CE7714 Time : 0.0 sec. user=mdettweiler [2016-05-24 07:11:23] 879*2^1430199-1 is not prime. Res64: F51A8C0F52061144 Time : 0.0 sec. user=mdettweiler [2016-05-24 07:32:26] 933*2^1430200-1 is not prime. Res64: 16F061F24567ED99 Time : 0.0 sec. user=mdettweiler [2016-05-24 07:32:26] 649*2^1430201-1 is not prime. Res64: BF74A93F800BF12D Time : 0.0 sec. user=mdettweiler [2016-05-24 07:32:27] 675*2^1430201-1 is not prime. Res64: 1B00A951FCE1EB48 Time : 0.0 sec. user=mdettweiler [2016-05-24 07:32:27] 727*2^1430201-1 is not prime. Res64: 7858E20AA158628B Time : 0.0 sec. user=mdettweiler [2016-05-24 07:32:28] 811*2^1430201-1 is not prime. Res64: 8AC72FFA743FF4AC Time : 0.0 sec. user=mdettweiler [2016-05-24 07:32:33] 975*2^1430199-1 is not prime. Res64: B2BC18587B60720A Time : 0.0 sec. user=mdettweiler [2016-05-24 07:32:33] 999*2^1430199-1 is not prime. Res64: 146F213BE5254BB9 Time : 0.0 sec. user=mdettweiler [2016-05-24 07:32:34] 755*2^1430200-1 is not prime. Res64: DC24C44FB5A15E4B Time : 0.0 sec. user=mdettweiler [2016-05-24 07:32:34] 759*2^1430200-1 is not prime. Res64: 5DD00089FB314041 Time : 0.0 sec. user=mdettweiler [2016-05-24 07:32:34] 887*2^1430200-1 is not prime. Res64: B5B153273059A899 Time : 0.0 sec. user=mdettweiler [2016-05-24 07:33:51] 837*2^1430201-1 is not prime. Res64: 73E8CCEA03756ECB Time : 0.0 sec. user=mdettweiler [2016-05-24 07:33:51] 981*2^1430201-1 is not prime. Res64: 5106B4D59F471653 Time : 0.0 sec. user=mdettweiler [2016-05-24 07:33:51] 621*2^1430202-1 is not prime. Res64: FA12883416D5526B Time : 0.0 sec. user=mdettweiler [2016-05-24 07:33:52] 713*2^1430202-1 is not prime. Res64: F5D22C8836278040 Time : 0.0 sec. user=mdettweiler [2016-05-24 07:33:52] 815*2^1430202-1 is not prime. Res64: F65209FCB20CEF8A Time : 0.0 sec. user=mdettweiler [2016-05-24 07:56:45] 837*2^1430202-1 is not prime. Res64: 93AD4BDAF36F591C Time : 0.0 sec. user=mdettweiler [2016-05-24 07:56:46] 885*2^1430202-1 is not prime. Res64: 196F769348DC28C8 Time : 0.0 sec. user=mdettweiler [2016-05-24 07:56:46] 951*2^1430202-1 is not prime. Res64: 23A5C942E513FA0F Time : 0.0 sec. user=mdettweiler [2016-05-24 07:56:47] 681*2^1430203-1 is not prime. Res64: 0C6575520C2FC617 Time : 0.0 sec. user=mdettweiler [2016-05-24 07:56:47] 693*2^1430203-1 is not prime. Res64: 9932B727469FD122 Time : 0.0 sec. user=mdettweiler [2016-05-24 08:17:27] 785*2^1430204-1 is not prime. Res64: 79B41B262BEA563D Time : 0.0 sec. user=mdettweiler [2016-05-24 08:17:28] 843*2^1430204-1 is not prime. Res64: 7229A90B1BC3466F Time : 0.0 sec. user=mdettweiler [2016-05-24 08:17:28] 915*2^1430204-1 is not prime. Res64: 3A85525650DB03A0 Time : 0.0 sec. user=mdettweiler [2016-05-24 08:17:29] 703*2^1430203-1 is not prime. Res64: D2C64F4E4122BF8A Time : 0.0 sec. user=mdettweiler [2016-05-24 08:17:29] 607*2^1430205-1 is not prime. Res64: 5E696724ABA197C3 Time : 0.0 sec. user=mdettweiler [2016-05-24 08:17:29] 913*2^1430203-1 is not prime. Res64: 1E16981871B9AEEC Time : 0.0 sec. user=mdettweiler [2016-05-24 08:17:29] 655*2^1430205-1 is not prime. Res64: 5EFECE5A00833042 Time : 0.0 sec. user=mdettweiler [2016-05-24 08:17:30] 943*2^1430203-1 is not prime. Res64: 4798848119B46C5E Time : 0.0 sec. user=mdettweiler [2016-05-24 08:17:30] 993*2^1430203-1 is not prime. Res64: A65A16AFF6986B1D Time : 0.0 sec. user=mdettweiler [2016-05-24 08:17:31] 659*2^1430204-1 is not prime. Res64: 08AE7C2F23B83E76 Time : 0.0 sec. user=mdettweiler [2016-05-24 08:18:49] 669*2^1430205-1 is not prime. Res64: A7865D2680CD177C Time : 0.0 sec. user=mdettweiler [2016-05-24 08:18:50] 699*2^1430205-1 is not prime. Res64: 4718973CB4B4040F Time : 0.0 sec. user=mdettweiler [2016-05-24 08:18:50] 709*2^1430205-1 is not prime. Res64: 423BFD56E27E00A0 Time : 0.0 sec. user=mdettweiler [2016-05-24 08:18:51] 777*2^1430205-1 is not prime. Res64: 261389EDC3F4AC84 Time : 0.0 sec. user=mdettweiler [2016-05-24 08:18:51] 891*2^1430205-1 is not prime. Res64: AAD77C1B08DF82A7 Time : 0.0 sec. user=mdettweiler [2016-05-24 08:41:40] 951*2^1430205-1 is not prime. Res64: 3F9D75465AB1CE49 Time : 0.0 sec. user=mdettweiler [2016-05-24 08:41:40] 611*2^1430206-1 is not prime. Res64: BBE5AEC4C3887B2C Time : 0.0 sec. user=mdettweiler [2016-05-24 08:41:40] 741*2^1430206-1 is not prime. Res64: 1BB1F4CBCFA188D1 Time : 0.0 sec. user=mdettweiler [2016-05-24 08:41:41] 815*2^1430206-1 is not prime. Res64: 5E6E8EF6826B1825 Time : 0.0 sec. user=mdettweiler [2016-05-24 08:41:41] 917*2^1430206-1 is not prime. Res64: 17963E5E9E9B0D5B Time : 0.0 sec. user=mdettweiler [2016-05-24 09:02:25] 957*2^1430206-1 is not prime. Res64: E1D140DCBC1450DE Time : 0.0 sec. user=mdettweiler [2016-05-24 09:02:26] 965*2^1430206-1 is not prime. Res64: 4760491F4E5DF884 Time : 0.0 sec. user=mdettweiler [2016-05-24 09:02:27] 971*2^1430206-1 is not prime. Res64: 7BE2EAEE8EA50285 Time : 0.0 sec. user=mdettweiler [2016-05-24 09:02:27] 603*2^1430207-1 is not prime. Res64: D9D944BCEA782D59 Time : 0.0 sec. user=mdettweiler [2016-05-24 09:02:28] 609*2^1430207-1 is not prime. Res64: 8E000E6B5917BA6E Time : 0.0 sec. user=mdettweiler [2016-05-24 09:02:39] 661*2^1430207-1 is not prime. Res64: 4FA43C9008DA0AAF Time : 0.0 sec. user=mdettweiler [2016-05-24 09:02:40] 693*2^1430207-1 is not prime. Res64: B10410BE00AB24AB Time : 0.0 sec. user=mdettweiler [2016-05-24 09:02:42] 711*2^1430207-1 is not prime. Res64: 4E67FF2C50309C64 Time : 0.0 sec. user=mdettweiler [2016-05-24 09:02:43] 729*2^1430207-1 is not prime. Res64: C6DE9C6CA9DA9D39 Time : 0.0 sec. user=mdettweiler [2016-05-24 09:02:44] 843*2^1430207-1 is not prime. Res64: 9C4AF4FF9E167933 Time : 0.0 sec. user=mdettweiler [2016-05-24 09:03:51] 879*2^1430207-1 is not prime. Res64: 97246522FCD4C44C Time : 0.0 sec. user=mdettweiler [2016-05-24 09:03:52] 635*2^1430208-1 is not prime. Res64: 6667E19F50051779 Time : 0.0 sec. user=mdettweiler [2016-05-24 09:03:53] 665*2^1430208-1 is not prime. Res64: F75CF63D11EB5406 Time : 0.0 sec. user=mdettweiler [2016-05-24 09:03:54] 797*2^1430208-1 is not prime. Res64: 29392A5731C44561 Time : 0.0 sec. user=mdettweiler [2016-05-24 09:03:56] 929*2^1430208-1 is not prime. Res64: D6A569FCA6291D85 Time : 0.0 sec. user=mdettweiler [2016-05-24 09:26:41] 619*2^1430209-1 is not prime. Res64: 8A3ACAEB88776C87 Time : 0.0 sec. user=mdettweiler [2016-05-24 09:26:42] 661*2^1430209-1 is not prime. Res64: 1B101B3FF52A4120 Time : 0.0 sec. user=mdettweiler [2016-05-24 09:26:42] 819*2^1430209-1 is not prime. Res64: E3200E65EB250785 Time : 0.0 sec. user=mdettweiler [2016-05-24 09:26:43] 835*2^1430209-1 is not prime. Res64: 6BE7DBB7310E4BFE Time : 0.0 sec. user=mdettweiler [2016-05-24 09:26:43] 841*2^1430209-1 is not prime. Res64: C57830F07348CCE3 Time : 0.0 sec. user=mdettweiler [2016-05-24 09:47:25] 999*2^1430209-1 is not prime. Res64: E958B7430D97EDBC Time : 0.0 sec. user=mdettweiler [2016-05-24 09:47:26] 665*2^1430210-1 is not prime. Res64: 777CA42EF7EDAD3A Time : 0.0 sec. user=mdettweiler [2016-05-24 09:47:27] 701*2^1430210-1 is not prime. Res64: 4630E927BB9A6461 Time : 0.0 sec. user=mdettweiler [2016-05-24 09:47:27] 717*2^1430210-1 is not prime. Res64: AD9757385D4E1F84 Time : 0.0 sec. user=mdettweiler [2016-05-24 09:47:28] 791*2^1430210-1 is not prime. Res64: 3671C9200A81CEE4 Time : 0.0 sec. user=mdettweiler [2016-05-24 09:47:34] 833*2^1430210-1 is not prime. Res64: 2EA360155CA9B284 Time : 0.0 sec. user=mdettweiler [2016-05-24 09:47:35] 843*2^1430210-1 is not prime. Res64: D1FE8AF3BF0F4483 Time : 0.0 sec. user=mdettweiler [2016-05-24 09:47:36] 921*2^1430210-1 is not prime. Res64: 7F04E99C84FBC39A Time : 0.0 sec. user=mdettweiler [2016-05-24 09:47:36] 977*2^1430210-1 is not prime. Res64: E05511931BD3F73C Time : 0.0 sec. user=mdettweiler [2016-05-24 09:47:37] 609*2^1430211-1 is not prime. Res64: F3DFA3CE2C39CB6E Time : 0.0 sec. user=mdettweiler [2016-05-24 09:48:51] 613*2^1430211-1 is not prime. Res64: 5BCF5471C30C3F9F Time : 0.0 sec. user=mdettweiler [2016-05-24 09:48:52] 651*2^1430211-1 is not prime. Res64: 286614A36AEDF107 Time : 0.0 sec. user=mdettweiler [2016-05-24 09:48:52] 685*2^1430211-1 is not prime. Res64: 91E13AAF28E3836C Time : 0.0 sec. user=mdettweiler [2016-05-24 09:48:52] 723*2^1430211-1 is not prime. Res64: 581609141137B93F Time : 0.0 sec. user=mdettweiler [2016-05-24 09:48:53] 789*2^1430211-1 is not prime. Res64: E75ACC771B790432 Time : 0.0 sec. user=mdettweiler [2016-05-24 10:11:36] 859*2^1430211-1 is not prime. Res64: 83D9473D0431B1CA Time : 0.0 sec. user=mdettweiler [2016-05-24 10:11:37] 615*2^1430212-1 is not prime. Res64: 723B945AFDA0A814 Time : 0.0 sec. user=mdettweiler [2016-05-24 10:11:37] 623*2^1430212-1 is not prime. Res64: 99A75A3F4C8A064B Time : 0.0 sec. user=mdettweiler [2016-05-24 10:11:38] 705*2^1430212-1 is not prime. Res64: ED1AAD46727F8227 Time : 0.0 sec. user=mdettweiler [2016-05-24 10:11:38] 717*2^1430212-1 is not prime. Res64: E77F1A4866820121 Time : 0.0 sec. user=mdettweiler [2016-05-24 10:32:24] 875*2^1430212-1 is not prime. Res64: A5F71DC84123AE06 Time : 0.0 sec. user=mdettweiler [2016-05-24 10:32:24] 957*2^1430212-1 is not prime. Res64: 7D6220195B632EFE Time : 0.0 sec. user=mdettweiler [2016-05-24 10:32:25] 995*2^1430212-1 is not prime. Res64: 9F4F4AFF2A57A4F2 Time : 0.0 sec. user=mdettweiler [2016-05-24 10:32:25] 669*2^1430213-1 is not prime. Res64: 52B2F14919B6BEEF Time : 0.0 sec. user=mdettweiler [2016-05-24 10:32:26] 697*2^1430213-1 is not prime. Res64: BA799F173B2BE008 Time : 0.0 sec. user=mdettweiler [2016-05-24 10:32:34] 727*2^1430213-1 is not prime. Res64: AC255462E61A6438 Time : 0.0 sec. user=mdettweiler [2016-05-24 10:32:35] 729*2^1430213-1 is not prime. Res64: E136D8C49E1FA5CC Time : 0.0 sec. user=mdettweiler [2016-05-24 10:32:35] 759*2^1430213-1 is not prime. Res64: 5B532FB8B9C047AF Time : 0.0 sec. user=mdettweiler [2016-05-24 10:32:35] 837*2^1430213-1 is not prime. Res64: 170C11A593533F29 Time : 0.0 sec. user=mdettweiler [2016-05-24 10:32:36] 611*2^1430214-1 is not prime. Res64: 48B15C736FB2659A Time : 0.0 sec. user=mdettweiler [2016-05-24 10:33:52] 717*2^1430214-1 is not prime. Res64: CDFD2EC1B5F034BB Time : 0.0 sec. user=mdettweiler [2016-05-24 10:33:52] 723*2^1430214-1 is not prime. Res64: 58DD7B97BF435596 Time : 0.0 sec. user=mdettweiler [2016-05-24 10:33:56] 741*2^1430214-1 is not prime. Res64: 67CB41369F376F53 Time : 0.0 sec. user=mdettweiler [2016-05-24 10:33:57] 773*2^1430214-1 is not prime. Res64: 75B3BCB053C0113D Time : 0.0 sec. user=mdettweiler [2016-05-24 10:33:57] 797*2^1430214-1 is not prime. Res64: 219DFBA140AF69ED Time : 0.0 sec. user=mdettweiler [2016-05-24 10:56:43] 993*2^1430214-1 is not prime. Res64: D40C802E6E901409 Time : 0.0 sec. user=mdettweiler [2016-05-24 10:56:44] 619*2^1430215-1 is not prime. Res64: D88157195607C2BF Time : 0.0 sec. user=mdettweiler [2016-05-24 10:56:44] 633*2^1430215-1 is not prime. Res64: D4E4045EEC0C50F7 Time : 0.0 sec. user=mdettweiler [2016-05-24 10:56:44] 663*2^1430215-1 is not prime. Res64: C9CDD4ACF1AD52B5 Time : 0.0 sec. user=mdettweiler [2016-05-24 10:56:45] 675*2^1430215-1 is not prime. Res64: A027569B96E34354 Time : 0.0 sec. user=mdettweiler [2016-05-24 11:17:31] 685*2^1430215-1 is not prime. Res64: B7A91A932DF1A7D5 Time : 0.0 sec. user=mdettweiler [2016-05-24 11:17:32] 705*2^1430215-1 is not prime. Res64: 6CC085D6E993A20B Time : 0.0 sec. user=mdettweiler [2016-05-24 11:17:32] 909*2^1430215-1 is not prime. Res64: BCCF2A23A7104C62 Time : 0.0 sec. user=mdettweiler [2016-05-24 11:17:33] 915*2^1430215-1 is not prime. Res64: 50250214CDDFB10F Time : 0.0 sec. user=mdettweiler [2016-05-24 11:17:33] 961*2^1430215-1 is not prime. Res64: 016C6EEEA6A0930F Time : 0.0 sec. user=mdettweiler [2016-05-24 11:17:36] 773*2^1430216-1 is not prime. Res64: 82A30836243621A0 Time : 0.0 sec. user=mdettweiler [2016-05-24 11:17:37] 855*2^1430216-1 is not prime. Res64: AC49AE7E92C37C8D Time : 0.0 sec. user=mdettweiler [2016-05-24 11:17:37] 869*2^1430216-1 is not prime. Res64: 03FD65D53B6A83A0 Time : 0.0 sec. user=mdettweiler [2016-05-24 11:17:38] 711*2^1430217-1 is not prime. Res64: 08A79F954BFFA486 Time : 0.0 sec. user=mdettweiler [2016-05-24 11:17:38] 717*2^1430217-1 is not prime. Res64: 71CD9AA8B168AA37 Time : 0.0 sec. user=mdettweiler [2016-05-24 11:18:55] 747*2^1430217-1 is not prime. Res64: 116B4CC4CC536768 Time : 0.0 sec. user=mdettweiler [2016-05-24 11:18:56] 781*2^1430217-1 is not prime. Res64: 839B487BE0824C69 Time : 0.0 sec. user=mdettweiler [2016-05-24 11:18:56] 795*2^1430217-1 is not prime. Res64: 9897343D016EC0C5 Time : 0.0 sec. user=mdettweiler [2016-05-24 11:18:56] 837*2^1430217-1 is not prime. Res64: 2ED04162FABF638A Time : 0.0 sec. user=mdettweiler [2016-05-24 11:18:57] 861*2^1430217-1 is not prime. Res64: 40F70D8B4BB74965 Time : 0.0 sec. user=mdettweiler [2016-05-24 11:41:49] 915*2^1430217-1 is not prime. Res64: 05615E2E2AB558CF Time : 0.0 sec. user=mdettweiler [2016-05-24 11:41:49] 723*2^1430218-1 is not prime. Res64: E2B34058AD763803 Time : 0.0 sec. user=mdettweiler [2016-05-24 11:41:50] 821*2^1430218-1 is not prime. Res64: 7EC1AA149ACDBCDE Time : 0.0 sec. user=mdettweiler [2016-05-24 11:41:50] 833*2^1430218-1 is not prime. Res64: CE3D35D8C2D3511C Time : 0.0 sec. user=mdettweiler [2016-05-24 11:41:50] 981*2^1430218-1 is not prime. Res64: 2011B320D38830A9 Time : 0.0 sec. user=mdettweiler [2016-05-24 12:02:38] 631*2^1430219-1 is not prime. Res64: 9D85C4B728FDE7D1 Time : 0.0 sec. user=mdettweiler [2016-05-24 12:02:38] 943*2^1430219-1 is not prime. Res64: 562E70B71E164423 Time : 0.0 sec. user=mdettweiler [2016-05-24 12:02:42] 705*2^1430219-1 is not prime. Res64: 374EF5111F1DF35E Time : 0.0 sec. user=mdettweiler [2016-05-24 12:02:44] 979*2^1430219-1 is not prime. Res64: 7CEFCE64FF47D993 Time : 0.0 sec. user=mdettweiler [2016-05-24 12:02:46] 711*2^1430219-1 is not prime. Res64: D9D7450061ED5E80 Time : 0.0 sec. user=mdettweiler [2016-05-24 12:02:49] 879*2^1430219-1 is not prime. Res64: 84CAD10C904C7FD7 Time : 0.0 sec. user=mdettweiler [2016-05-24 12:02:51] 609*2^1430220-1 is not prime. Res64: A04E4D397BFB6D7A Time : 0.0 sec. user=mdettweiler [2016-05-24 12:02:52] 939*2^1430219-1 is not prime. Res64: A0F60A9F180BD01A Time : 0.0 sec. user=mdettweiler [2016-05-24 12:02:53] 669*2^1430220-1 is not prime. Res64: 446061E4AE0D0566 Time : 0.0 sec. user=mdettweiler [2016-05-24 12:02:55] 693*2^1430220-1 is not prime. Res64: 3D4E5EB689B50C0A Time : 0.0 sec. user=mdettweiler [2016-05-24 12:03:57] 695*2^1430220-1 is not prime. Res64: F7E80E5D9AE7841C Time : 0.0 sec. user=mdettweiler [2016-05-24 12:03:57] 779*2^1430220-1 is not prime. Res64: 77F3683095D43ED1 Time : 0.0 sec. user=mdettweiler [2016-05-24 12:03:58] 803*2^1430220-1 is not prime. Res64: AE02471EAE76CD37 Time : 0.0 sec. user=mdettweiler [2016-05-24 12:03:59] 819*2^1430220-1 is not prime. Res64: 32405517F8BC8509 Time : 0.0 sec. user=mdettweiler [2016-05-24 12:04:00] 959*2^1430220-1 is not prime. Res64: 10D8FA9201C941EF Time : 0.0 sec. user=mdettweiler [2016-05-24 12:26:52] 619*2^1430221-1 is not prime. Res64: 67881AF77AD74517 Time : 0.0 sec. user=mdettweiler [2016-05-24 12:26:53] 649*2^1430221-1 is not prime. Res64: C35C4D4AD3B36394 Time : 0.0 sec. user=mdettweiler [2016-05-24 12:26:54] 855*2^1430221-1 is not prime. Res64: 3EA8C90598DEFC24 Time : 0.0 sec. user=mdettweiler [2016-05-24 12:26:54] 937*2^1430221-1 is not prime. Res64: 259B42882E8DD3B9 Time : 0.0 sec. user=mdettweiler [2016-05-24 12:26:55] 999*2^1430221-1 is not prime. Res64: C26BC3F9678EA5F1 Time : 0.0 sec. user=mdettweiler [2016-05-24 12:48:13] 731*2^1430222-1 is not prime. Res64: B557E98DA1A033AA Time : 0.0 sec. user=mdettweiler [2016-05-24 12:48:14] 843*2^1430222-1 is not prime. Res64: 8F88829A0911935E Time : 0.0 sec. user=mdettweiler [2016-05-24 12:48:14] 923*2^1430222-1 is not prime. Res64: D4D18761FD0AD6EC Time : 0.0 sec. user=mdettweiler [2016-05-24 12:48:14] 615*2^1430223-1 is not prime. Res64: BA1CC8E8A5DD7A4C Time : 0.0 sec. user=mdettweiler [2016-05-24 12:48:15] 675*2^1430223-1 is not prime. Res64: F9FEB46C0B8CE722 Time : 0.0 sec. user=mdettweiler [2016-05-24 12:48:35] 691*2^1430223-1 is not prime. Res64: 6E9A45485B665C24 Time : 0.0 sec. user=mdettweiler [2016-05-24 12:48:35] 703*2^1430223-1 is not prime. Res64: A15BF89685213E82 Time : 0.0 sec. user=mdettweiler [2016-05-24 12:48:36] 705*2^1430223-1 is not prime. Res64: 6EE54AD798B96EA8 Time : 0.0 sec. user=mdettweiler [2016-05-24 12:48:36] 805*2^1430223-1 is not prime. Res64: 1AA410955D94F7A5 Time : 0.0 sec. user=mdettweiler [2016-05-24 12:48:36] 859*2^1430223-1 is not prime. Res64: 295085014E593F2A Time : 0.0 sec. user=mdettweiler [2016-05-24 12:49:09] 895*2^1430223-1 is not prime. Res64: BB6C58F1BC00E1B9 Time : 0.0 sec. user=mdettweiler [2016-05-24 12:49:10] 921*2^1430223-1 is not prime. Res64: 4D4C95FB363ADDA7 Time : 0.0 sec. user=mdettweiler [2016-05-24 12:49:10] 933*2^1430223-1 is not prime. Res64: 02E4B9F40DEF853D Time : 0.0 sec. user=mdettweiler [2016-05-24 12:49:10] 609*2^1430224-1 is not prime. Res64: A30EA6E0F0854FAB Time : 0.0 sec. user=mdettweiler [2016-05-24 12:49:11] 677*2^1430224-1 is not prime. Res64: D5F270E78036AA2C Time : 0.0 sec. user=mdettweiler [2016-05-24 13:11:54] 827*2^1430224-1 is not prime. Res64: 67BF9EF07A4EBC0E Time : 0.0 sec. user=mdettweiler [2016-05-24 13:11:55] 875*2^1430224-1 is not prime. Res64: FC28437DD1521E23 Time : 0.0 sec. user=mdettweiler [2016-05-24 13:11:56] 649*2^1430225-1 is not prime. Res64: 9DB373F36F64233F Time : 0.0 sec. user=mdettweiler [2016-05-24 13:11:57] 907*2^1430225-1 is not prime. Res64: DEC63162226AFFC5 Time : 0.0 sec. user=mdettweiler [2016-05-24 13:11:57] 937*2^1430225-1 is not prime. Res64: 3107939244421DEB Time : 0.0 sec. user=mdettweiler [2016-05-24 13:33:07] 969*2^1430225-1 is not prime. Res64: 05ED61BEDB8A8987 Time : 0.0 sec. user=mdettweiler [2016-05-24 13:33:07] 633*2^1430226-1 is not prime. Res64: 208B5C58B669A3A2 Time : 0.0 sec. user=mdettweiler [2016-05-24 13:33:08] 711*2^1430226-1 is not prime. Res64: B784EA3C5E6CEEA7 Time : 0.0 sec. user=mdettweiler [2016-05-24 13:33:08] 755*2^1430226-1 is not prime. Res64: 52E47E100CF9B59C Time : 0.0 sec. user=mdettweiler [2016-05-24 13:33:08] 821*2^1430226-1 is not prime. Res64: 78E3CC56E895C22D Time : 0.0 sec. user=mdettweiler [2016-05-24 13:33:37] 983*2^1430226-1 is not prime. Res64: 2E1ED11244040D94 Time : 0.0 sec. user=mdettweiler [2016-05-24 13:33:37] 793*2^1430227-1 is not prime. Res64: D66FEA9C0939109C Time : 0.0 sec. user=mdettweiler [2016-05-24 13:33:38] 819*2^1430227-1 is not prime. Res64: 43A0BF5920F94AAF Time : 0.0 sec. user=mdettweiler [2016-05-24 13:33:38] 895*2^1430227-1 is not prime. Res64: 9F3D8F13E8CAB654 Time : 0.0 sec. user=mdettweiler [2016-05-24 13:33:38] 901*2^1430227-1 is not prime. Res64: 613EF4816CF9B2CC Time : 0.0 sec. user=mdettweiler [2016-05-24 13:34:00] 975*2^1430227-1 is not prime. Res64: 91697D75A446EEF1 Time : 0.0 sec. user=mdettweiler [2016-05-24 13:34:00] 633*2^1430228-1 is not prime. Res64: 453546E523B5FBA7 Time : 0.0 sec. user=mdettweiler [2016-05-24 13:34:00] 647*2^1430228-1 is not prime. Res64: 0973C74AC98C5793 Time : 0.0 sec. user=mdettweiler [2016-05-24 13:34:01] 659*2^1430228-1 is not prime. Res64: 525E1A95A4F85F5E Time : 0.0 sec. user=mdettweiler [2016-05-24 13:34:01] 669*2^1430228-1 is not prime. Res64: 8BF2A229FB0AE0D3 Time : 0.0 sec. user=mdettweiler [2016-05-24 13:57:01] 677*2^1430228-1 is not prime. Res64: 80BE2934E4214C44 Time : 0.0 sec. user=mdettweiler [2016-05-24 13:57:02] 869*2^1430228-1 is not prime. Res64: 79E92370143B69DA Time : 0.0 sec. user=mdettweiler [2016-05-24 13:57:02] 875*2^1430228-1 is not prime. Res64: 6762730DDCB0DE4D Time : 0.0 sec. user=mdettweiler [2016-05-24 13:57:02] 885*2^1430228-1 is not prime. Res64: 7828DEFA6D4120F6 Time : 0.0 sec. user=mdettweiler [2016-05-24 13:57:03] 893*2^1430228-1 is not prime. Res64: BEDEEDAF7575035C Time : 0.0 sec. user=mdettweiler [2016-05-24 14:17:57] 649*2^1430229-1 is not prime. Res64: FA14A10B14440EBB Time : 0.0 sec. user=mdettweiler [2016-05-24 14:17:57] 669*2^1430229-1 is not prime. Res64: 42ED3D1D623B4422 Time : 0.0 sec. user=mdettweiler [2016-05-24 14:17:58] 675*2^1430229-1 is not prime. Res64: A32E7618772E32DF Time : 0.0 sec. user=mdettweiler [2016-05-24 14:17:58] 691*2^1430229-1 is not prime. Res64: 4ED4AF4BE964A2FD Time : 0.0 sec. user=mdettweiler [2016-05-24 14:17:59] 727*2^1430229-1 is not prime. Res64: 1A0A4AF6A1F8477B Time : 0.0 sec. user=mdettweiler [2016-05-24 14:18:28] 745*2^1430229-1 is not prime. Res64: 58AB8E9E1212D18F Time : 0.0 sec. user=mdettweiler [2016-05-24 14:18:29] 765*2^1430229-1 is not prime. Res64: 89FFC9926C0E25A2 Time : 0.0 sec. user=mdettweiler [2016-05-24 14:18:30] 781*2^1430229-1 is not prime. Res64: F74D79F9B544FF45 Time : 0.0 sec. user=mdettweiler [2016-05-24 14:18:31] 787*2^1430229-1 is not prime. Res64: A92A61CF0D4E30E7 Time : 0.0 sec. user=mdettweiler [2016-05-24 14:18:31] 789*2^1430229-1 is not prime. Res64: 813D44B99B268E81 Time : 0.0 sec. user=mdettweiler [2016-05-24 14:18:52] 825*2^1430229-1 is not prime. Res64: 67FEAF7B22F78ED1 Time : 0.0 sec. user=mdettweiler [2016-05-24 14:18:53] 861*2^1430229-1 is not prime. Res64: 34C5D9D8900C43D4 Time : 0.0 sec. user=mdettweiler [2016-05-24 14:18:53] 885*2^1430229-1 is not prime. Res64: 5C22B3BB48D5B93E Time : 0.0 sec. user=mdettweiler [2016-05-24 14:18:54] 951*2^1430229-1 is not prime. Res64: F4C65B7C590F2C4F Time : 0.0 sec. user=mdettweiler [2016-05-24 14:18:54] 657*2^1430230-1 is not prime. Res64: 9686A2A0B942C8E2 Time : 0.0 sec. user=mdettweiler [2016-05-24 14:41:56] 687*2^1430230-1 is not prime. Res64: 230B52970DD4D500 Time : 0.0 sec. user=mdettweiler [2016-05-24 14:41:56] 695*2^1430230-1 is not prime. Res64: EA821204B67AAB7D Time : 0.0 sec. user=mdettweiler [2016-05-24 14:41:57] 791*2^1430230-1 is not prime. Res64: 5B0A8A2304ACB70E Time : 0.0 sec. user=mdettweiler [2016-05-24 14:41:57] 891*2^1430230-1 is not prime. Res64: EF01A1B132CE028D Time : 0.0 sec. user=mdettweiler [2016-05-24 14:41:57] 917*2^1430230-1 is not prime. Res64: 10DD85840DA717CE Time : 0.0 sec. user=mdettweiler [2016-05-24 15:02:57] 603*2^1430231-1 is not prime. Res64: E6B81F4A8BEB2C57 Time : 0.0 sec. user=mdettweiler [2016-05-24 15:02:58] 615*2^1430231-1 is not prime. Res64: EE18E8E9BE907B17 Time : 0.0 sec. user=mdettweiler [2016-05-24 15:02:59] 745*2^1430231-1 is not prime. Res64: 2D505D3CFC9B8B22 Time : 0.0 sec. user=mdettweiler [2016-05-24 15:03:01] 825*2^1430231-1 is not prime. Res64: 6C54E3085B036A72 Time : 0.0 sec. user=mdettweiler [2016-05-24 15:03:02] 909*2^1430231-1 is not prime. Res64: C676AC0CBB3D3004 Time : 0.0 sec. user=mdettweiler [2016-05-24 15:03:29] 939*2^1430231-1 is not prime. Res64: 60B3FB8F40CF1D0F Time : 0.0 sec. user=mdettweiler [2016-05-24 15:03:34] 949*2^1430231-1 is not prime. Res64: 6A35700E121ACAFE Time : 0.0 sec. user=mdettweiler [2016-05-24 15:03:35] 969*2^1430231-1 is not prime. Res64: BFBF4E2B3A732B07 Time : 0.0 sec. user=mdettweiler [2016-05-24 15:03:36] 973*2^1430231-1 is not prime. Res64: 1E381AA53811342B Time : 0.0 sec. user=mdettweiler [2016-05-24 15:03:37] 979*2^1430231-1 is not prime. Res64: 6BE5453938AFE688 Time : 0.0 sec. user=mdettweiler [2016-05-24 15:03:42] 981*2^1430231-1 is not prime. Res64: EDEE93CF28A420C3 Time : 0.0 sec. user=mdettweiler [2016-05-24 15:03:44] 609*2^1430232-1 is not prime. Res64: C7DCBE74A90330CB Time : 0.0 sec. user=mdettweiler [2016-05-24 15:03:45] 713*2^1430232-1 is not prime. Res64: CFAA6C548CAD3DC5 Time : 0.0 sec. user=mdettweiler [2016-05-24 15:03:46] 797*2^1430232-1 is not prime. Res64: 32DC9E28BB3FB3F7 Time : 0.0 sec. user=mdettweiler [2016-05-24 15:03:47] 837*2^1430232-1 is not prime. Res64: E5AE6F5C3816486F Time : 0.0 sec. user=mdettweiler [2016-05-24 15:27:03] 917*2^1430232-1 is not prime. Res64: 1F1D105E4FA888C0 Time : 0.0 sec. user=mdettweiler [2016-05-24 15:27:03] 947*2^1430232-1 is not prime. Res64: 6E4AEFE802211F84 Time : 0.0 sec. user=mdettweiler [2016-05-24 15:27:03] 975*2^1430232-1 is not prime. Res64: 53880BE4356FCD40 Time : 0.0 sec. user=mdettweiler [2016-05-24 15:27:04] 615*2^1430233-1 is not prime. Res64: B65472476AA6AF8B Time : 0.0 sec. user=mdettweiler [2016-05-24 15:27:04] 619*2^1430233-1 is not prime. Res64: 78D5298B749165BC Time : 0.0 sec. user=mdettweiler [2016-05-24 15:48:24] 715*2^1430233-1 is not prime. Res64: 49C5F5657C6F606D Time : 0.0 sec. user=mdettweiler [2016-05-24 15:48:24] 741*2^1430233-1 is not prime. Res64: 28AB81F7EDB7FC79 Time : 0.0 sec. user=mdettweiler [2016-05-24 15:48:24] 955*2^1430233-1 is not prime. Res64: 0C21A4DE3DB93E43 Time : 0.0 sec. user=mdettweiler [2016-05-24 15:48:25] 981*2^1430233-1 is not prime. Res64: DAF2D28B5C6A3368 Time : 0.0 sec. user=mdettweiler [2016-05-24 15:48:25] 999*2^1430233-1 is not prime. Res64: 2E7DFB72C614E418 Time : 0.0 sec. user=mdettweiler [2016-05-24 15:48:49] 605*2^1430234-1 is not prime. Res64: 9F561A9C848E86B1 Time : 0.0 sec. user=mdettweiler [2016-05-24 15:48:50] 875*2^1430234-1 is not prime. Res64: 25AA76972FF70BBF Time : 0.0 sec. user=mdettweiler [2016-05-24 15:48:50] 917*2^1430234-1 is not prime. Res64: 1143BECA24DA3715 Time : 0.0 sec. user=mdettweiler [2016-05-24 15:48:50] 971*2^1430234-1 is not prime. Res64: 8F771BC8415F0EBD Time : 0.0 sec. user=mdettweiler [2016-05-24 15:48:51] 675*2^1430235-1 is not prime. Res64: 68E26EF7EAD35D90 Time : 0.0 sec. user=mdettweiler [2016-05-24 15:48:59] 709*2^1430235-1 is not prime. Res64: 94A4AA0DFC0EFDAC Time : 0.0 sec. user=mdettweiler [2016-05-24 15:48:59] 735*2^1430235-1 is not prime. Res64: F23A27B9ECED023B Time : 0.0 sec. user=mdettweiler [2016-05-24 15:49:00] 739*2^1430235-1 is not prime. Res64: CADEBA13135939EF Time : 0.0 sec. user=mdettweiler [2016-05-24 15:49:00] 765*2^1430235-1 is not prime. Res64: 6F212A443933EA29 Time : 0.0 sec. user=mdettweiler [2016-05-24 15:49:00] 909*2^1430235-1 is not prime. Res64: 0B4A26AE2E3A9920 Time : 0.0 sec. user=mdettweiler [2016-05-24 16:12:01] 603*2^1430236-1 is not prime. Res64: 8728E21CAA1EBF6B Time : 0.0 sec. user=mdettweiler [2016-05-24 16:12:01] 609*2^1430236-1 is not prime. Res64: FB9E841A0E34C21C Time : 0.0 sec. user=mdettweiler [2016-05-24 16:12:02] 779*2^1430236-1 is not prime. Res64: D8F6F7B8A9A89FCA Time : 0.0 sec. user=mdettweiler [2016-05-24 16:12:02] 855*2^1430236-1 is not prime. Res64: 6860D22F09976480 Time : 0.0 sec. user=mdettweiler [2016-05-24 16:12:03] 899*2^1430236-1 is not prime. Res64: EB04F0F29E222259 Time : 0.0 sec. user=mdettweiler [2016-05-24 16:33:24] 933*2^1430236-1 is not prime. Res64: 15C0D883677DD0ED Time : 0.0 sec. user=mdettweiler [2016-05-24 16:33:25] 965*2^1430236-1 is not prime. Res64: 8E1A690B4ADEE759 Time : 0.0 sec. user=mdettweiler [2016-05-24 16:33:25] 601*2^1430237-1 is not prime. Res64: C8DCF98EFB9495DF Time : 0.0 sec. user=mdettweiler [2016-05-24 16:33:26] 621*2^1430237-1 is not prime. Res64: 25E744C490B7CEA7 Time : 0.0 sec. user=mdettweiler [2016-05-24 16:33:26] 771*2^1430237-1 is not prime. Res64: 8F677B54D15E4236 Time : 0.0 sec. user=mdettweiler [2016-05-24 16:34:00] 805*2^1430237-1 is not prime. Res64: BF24B28F3BAB6AF6 Time : 0.0 sec. user=mdettweiler [2016-05-24 16:34:00] 819*2^1430237-1 is not prime. Res64: 78FBD9FF9C401158 Time : 0.0 sec. user=mdettweiler [2016-05-24 16:34:00] 939*2^1430237-1 is not prime. Res64: AB82981C57D1AEA0 Time : 0.0 sec. user=mdettweiler [2016-05-24 16:34:01] 641*2^1430238-1 is not prime. Res64: AF268FB861D5B5F4 Time : 0.0 sec. user=mdettweiler [2016-05-24 16:34:01] 663*2^1430238-1 is not prime. Res64: CBFC248A47626C2F Time : 0.0 sec. user=mdettweiler [2016-05-24 16:34:19] 681*2^1430238-1 is not prime. Res64: 7448226AAA06D44C Time : 0.0 sec. user=mdettweiler [2016-05-24 16:34:20] 705*2^1430238-1 is not prime. Res64: 52173A07D09C1927 Time : 0.0 sec. user=mdettweiler [2016-05-24 16:34:20] 755*2^1430238-1 is not prime. Res64: D689B9AD68665F3C Time : 0.0 sec. user=mdettweiler [2016-05-24 16:34:21] 773*2^1430238-1 is not prime. Res64: AFB9F7B5B3588C1E Time : 0.0 sec. user=mdettweiler [2016-05-24 16:34:21] 815*2^1430238-1 is not prime. Res64: 1160C357A3FA3BAC Time : 0.0 sec. user=mdettweiler [2016-05-24 16:57:18] 885*2^1430238-1 is not prime. Res64: E7FC1A23C8864FAC Time : 0.0 sec. user=mdettweiler [2016-05-24 16:57:18] 887*2^1430238-1 is not prime. Res64: 5265846C9756AD7C Time : 0.0 sec. user=mdettweiler [2016-05-24 16:57:18] 609*2^1430239-1 is not prime. Res64: B01DF39BACEA083F Time : 0.0 sec. user=mdettweiler [2016-05-24 16:57:19] 741*2^1430239-1 is not prime. Res64: 135765E17B4D73EC Time : 0.0 sec. user=mdettweiler [2016-05-24 16:57:19] 885*2^1430239-1 is not prime. Res64: 2A00BA3972722413 Time : 0.0 sec. user=mdettweiler [2016-05-24 17:18:40] 735*2^1430240-1 is not prime. Res64: A1CF64AE60843145 Time : 0.0 sec. user=mdettweiler [2016-05-24 17:18:40] 999*2^1430240-1 is not prime. Res64: 863E07420DA63D46 Time : 0.0 sec. user=mdettweiler [2016-05-24 17:18:40] 615*2^1430241-1 is not prime. Res64: 6654649B9364F91D Time : 0.0 sec. user=mdettweiler [2016-05-24 17:18:41] 717*2^1430241-1 is not prime. Res64: 57054211E6CC1E05 Time : 0.0 sec. user=mdettweiler [2016-05-24 17:18:41] 789*2^1430241-1 is not prime. Res64: FBF4F5848C16BAF0 Time : 0.0 sec. user=mdettweiler [2016-05-24 17:19:24] 873*2^1430242-1 is not prime. Res64: 3DE0E13EC7D287EF Time : 0.0 sec. user=mdettweiler [2016-05-24 17:19:24] 975*2^1430242-1 is not prime. Res64: 9CBE771CFC6A36AB Time : 0.0 sec. user=mdettweiler [2016-05-24 17:19:24] 987*2^1430242-1 is not prime. Res64: 432396497845F2A0 Time : 0.0 sec. user=mdettweiler [2016-05-24 17:19:25] 675*2^1430243-1 is not prime. Res64: 9A428DABC34157A9 Time : 0.0 sec. user=mdettweiler [2016-05-24 17:19:25] 753*2^1430243-1 is not prime. Res64: 8E9A0A1326DC7035 Time : 0.0 sec. user=mdettweiler [2016-05-24 17:19:35] 837*2^1430241-1 is not prime. Res64: DDD44C2037CE65C3 Time : 0.0 sec. user=mdettweiler [2016-05-24 17:19:35] 647*2^1430242-1 is not prime. Res64: DFDDFB183362EA35 Time : 0.0 sec. user=mdettweiler [2016-05-24 17:19:35] 741*2^1430242-1 is not prime. Res64: 385B18F3B9E255DA Time : 0.0 sec. user=mdettweiler [2016-05-24 17:19:36] 803*2^1430242-1 is not prime. Res64: 96E14FF1AB9B28DD Time : 0.0 sec. user=mdettweiler [2016-05-24 17:19:36] 867*2^1430242-1 is not prime. Res64: 397999DEA951484A Time : 0.0 sec. user=mdettweiler [2016-05-24 17:42:26] 889*2^1430243-1 is not prime. Res64: 6F7214A2DD31A5D3 Time : 0.0 sec. user=mdettweiler [2016-05-24 17:42:26] 991*2^1430243-1 is not prime. Res64: F7DBBE898F296221 Time : 0.0 sec. user=mdettweiler [2016-05-24 17:42:26] 623*2^1430244-1 is not prime. Res64: 38999F4A5DC2BE8B Time : 0.0 sec. user=mdettweiler [2016-05-24 17:42:27] 663*2^1430244-1 is not prime. Res64: D0648F0F247D08B5 Time : 0.0 sec. user=mdettweiler [2016-05-24 17:42:27] 675*2^1430244-1 is not prime. Res64: A35A0B85ADA98606 Time : 0.0 sec. user=mdettweiler [2016-05-24 18:04:22] 705*2^1430244-1 is not prime. Res64: D31B6979B6A3FCCE Time : 0.0 sec. user=mdettweiler [2016-05-24 18:04:23] 887*2^1430244-1 is not prime. Res64: FB25E5A8E1B76A2C Time : 0.0 sec. user=mdettweiler [2016-05-24 18:04:24] 947*2^1430244-1 is not prime. Res64: 197A85FB7CFFE4CE Time : 0.0 sec. user=mdettweiler [2016-05-24 18:04:25] 699*2^1430245-1 is not prime. Res64: 1C95ACFE6E02EB1F Time : 0.0 sec. user=mdettweiler [2016-05-24 18:04:26] 919*2^1430245-1 is not prime. Res64: CE5F3E9A2337593F Time : 0.0 sec. user=mdettweiler [2016-05-24 18:05:05] 645*2^1430246-1 is not prime. Res64: A5BC29193C9D67C1 Time : 0.0 sec. user=mdettweiler [2016-05-24 18:05:05] 755*2^1430246-1 is not prime. Res64: F91412DA21D83814 Time : 0.0 sec. user=mdettweiler [2016-05-24 18:05:06] 873*2^1430246-1 is not prime. Res64: 9BBBE15F0C4B3122 Time : 0.0 sec. user=mdettweiler [2016-05-24 18:05:07] 649*2^1430247-1 is not prime. Res64: 52E890478731CD6C Time : 0.0 sec. user=mdettweiler [2016-05-24 18:05:08] 691*2^1430247-1 is not prime. Res64: 2DD89C0720995B07 Time : 0.0 sec. user=mdettweiler [2016-05-24 18:05:33] 711*2^1430247-1 is not prime. Res64: 5584B89070A1B514 Time : 0.0 sec. user=mdettweiler [2016-05-24 18:05:35] 765*2^1430247-1 is not prime. Res64: 6968ECCA6E8850BC Time : 0.0 sec. user=mdettweiler [2016-05-24 18:05:36] 793*2^1430247-1 is not prime. Res64: 0EAE26A2407511C2 Time : 0.0 sec. user=mdettweiler [2016-05-24 18:05:36] 885*2^1430247-1 is not prime. Res64: EA7BECA1AE6519A6 Time : 0.0 sec. user=mdettweiler [2016-05-24 18:05:37] 951*2^1430247-1 is not prime. Res64: E5ED1DA978A1919D Time : 0.0 sec. user=mdettweiler [2016-05-24 18:28:14] 979*2^1430247-1 is not prime. Res64: 6256005FFE383C0F Time : 0.0 sec. user=mdettweiler [2016-05-24 18:28:15] 617*2^1430248-1 is not prime. Res64: 196A63C104232C0C Time : 0.0 sec. user=mdettweiler [2016-05-24 18:28:15] 713*2^1430248-1 is not prime. Res64: 406EEAD944AA42EF Time : 0.0 sec. user=mdettweiler [2016-05-24 18:28:15] 723*2^1430248-1 is not prime. Res64: 91839272885439AA Time : 0.0 sec. user=mdettweiler [2016-05-24 18:28:16] 797*2^1430248-1 is not prime. Res64: 9CDF512C8ADAE272 Time : 0.0 sec. user=mdettweiler [2016-05-24 18:49:45] 849*2^1430248-1 is not prime. Res64: 764B7312F56E0179 Time : 0.0 sec. user=mdettweiler [2016-05-24 18:49:46] 887*2^1430248-1 is not prime. Res64: ABEA30EE501189FB Time : 0.0 sec. user=mdettweiler [2016-05-24 18:49:46] 897*2^1430248-1 is not prime. Res64: 78FB85EF407C8EDB Time : 0.0 sec. user=mdettweiler [2016-05-24 18:49:47] 795*2^1430249-1 is not prime. Res64: AEFD27DD351B8E16 Time : 0.0 sec. user=mdettweiler [2016-05-24 18:49:47] 979*2^1430249-1 is not prime. Res64: 797BDFAA9E0DE69C Time : 0.0 sec. user=mdettweiler [2016-05-24 18:50:07] 633*2^1430250-1 is not prime. Res64: 15D3CED0A42FE2D4 Time : 0.0 sec. user=mdettweiler [2016-05-24 18:50:07] 717*2^1430250-1 is not prime. Res64: 87CE6B881BB4FEB6 Time : 0.0 sec. user=mdettweiler [2016-05-24 18:50:08] 801*2^1430250-1 is not prime. Res64: CCEA6E9E3A58AD70 Time : 0.0 sec. user=mdettweiler [2016-05-24 18:50:08] 803*2^1430250-1 is not prime. Res64: FBFC5BCACFD3C836 Time : 0.0 sec. user=mdettweiler [2016-05-24 18:50:08] 861*2^1430250-1 is not prime. Res64: 247349233D3C9CD5 Time : 0.0 sec. user=mdettweiler [2016-05-24 18:50:46] 891*2^1430250-1 is not prime. Res64: A72494790411337D Time : 0.0 sec. user=mdettweiler [2016-05-24 18:50:46] 703*2^1430251-1 is not prime. Res64: 2AEC855AC6F0D7D7 Time : 0.0 sec. user=mdettweiler [2016-05-24 18:50:46] 715*2^1430251-1 is not prime. Res64: AFC7A4CA6195CCFE Time : 0.0 sec. user=mdettweiler [2016-05-24 18:50:47] 741*2^1430251-1 is not prime. Res64: C7E4C653D5418662 Time : 0.0 sec. user=mdettweiler [2016-05-24 18:50:47] 745*2^1430251-1 is not prime. Res64: 032B1BFE08744CF2 Time : 0.0 sec. user=mdettweiler [2016-05-24 19:13:14] 759*2^1430251-1 is not prime. Res64: 9B62508D59529967 Time : 0.0 sec. user=mdettweiler [2016-05-24 19:13:14] 859*2^1430251-1 is not prime. Res64: BC6F6A834D165F00 Time : 0.0 sec. user=mdettweiler [2016-05-24 19:13:15] 873*2^1430251-1 is not prime. Res64: 348471684C01EF60 Time : 0.0 sec. user=mdettweiler [2016-05-24 19:13:15] 885*2^1430251-1 is not prime. Res64: 04BBB37D04BC6EA9 Time : 0.0 sec. user=mdettweiler [2016-05-24 19:13:16] 603*2^1430252-1 is not prime. Res64: C15A9FD44A78A6E6 Time : 0.0 sec. user=mdettweiler [2016-05-24 19:34:50] 677*2^1430252-1 is not prime. Res64: 2C4967B21201C3E7 Time : 0.0 sec. user=mdettweiler [2016-05-24 19:34:51] 785*2^1430252-1 is not prime. Res64: 638BC98F02C6B92E Time : 0.0 sec. user=mdettweiler [2016-05-24 19:34:51] 987*2^1430252-1 is not prime. Res64: CA896170B70A5F35 Time : 0.0 sec. user=mdettweiler [2016-05-24 19:34:52] 625*2^1430253-1 is not prime. Res64: B8C42152E294E699 Time : 0.0 sec. user=mdettweiler [2016-05-24 19:34:52] 627*2^1430253-1 is not prime. Res64: 54856CECC76D0DAE Time : 0.0 sec. user=mdettweiler [2016-05-24 19:34:59] 699*2^1430253-1 is not prime. Res64: 4B424AEA582281ED Time : 0.0 sec. user=mdettweiler [2016-05-24 19:34:59] 765*2^1430253-1 is not prime. Res64: FA112DA4EE490F70 Time : 0.0 sec. user=mdettweiler [2016-05-24 19:35:00] 847*2^1430253-1 is not prime. Res64: 52F5A50EE8980180 Time : 0.0 sec. user=mdettweiler [2016-05-24 19:35:00] 859*2^1430253-1 is not prime. Res64: 05DBC5F7618C945A Time : 0.0 sec. user=mdettweiler [2016-05-24 19:35:00] 895*2^1430253-1 is not prime. Res64: 07FD11BE7467C00E Time : 0.0 sec. user=mdettweiler [2016-05-24 19:35:41] 927*2^1430253-1 is not prime. Res64: 1AF23E2C7A214161 Time : 0.0 sec. user=mdettweiler [2016-05-24 19:35:41] 951*2^1430253-1 is not prime. Res64: 28C36CC9C90D5AD3 Time : 0.0 sec. user=mdettweiler [2016-05-24 19:35:42] 687*2^1430254-1 is not prime. Res64: 836929E228CF643D Time : 0.0 sec. user=mdettweiler [2016-05-24 19:35:42] 737*2^1430254-1 is not prime. Res64: ACB3B05E88F9D051 Time : 0.0 sec. user=mdettweiler [2016-05-24 19:35:42] 855*2^1430254-1 is not prime. Res64: A6948ABD8CBA11BA Time : 0.0 sec. user=mdettweiler [2016-05-24 19:58:11] 993*2^1430254-1 is not prime. Res64: 67EE3DEAA0DA3F00 Time : 0.0 sec. user=mdettweiler [2016-05-24 19:58:12] 661*2^1430255-1 is not prime. Res64: 11FF565CA394BFB6 Time : 0.0 sec. user=mdettweiler [2016-05-24 19:58:12] 715*2^1430255-1 is not prime. Res64: B697EFB7AAD0E7FF Time : 0.0 sec. user=mdettweiler [2016-05-24 19:58:13] 735*2^1430255-1 is not prime. Res64: 1F49B4821F81EA7B Time : 0.0 sec. user=mdettweiler [2016-05-24 19:58:13] 889*2^1430255-1 is not prime. Res64: 8094F19AE57E4A0F Time : 0.0 sec. user=mdettweiler [2016-05-24 20:19:37] 895*2^1430255-1 is not prime. Res64: 10B4495B09A6024C Time : 0.0 sec. user=mdettweiler [2016-05-24 20:19:38] 985*2^1430255-1 is not prime. Res64: EAC139FC02089731 Time : 0.0 sec. user=mdettweiler [2016-05-24 20:19:38] 991*2^1430255-1 is not prime. Res64: BDE5A04E928C20FC Time : 0.0 sec. user=mdettweiler [2016-05-24 20:19:39] 657*2^1430256-1 is not prime. Res64: 2749D3240A72F4A9 Time : 0.0 sec. user=mdettweiler [2016-05-24 20:19:39] 717*2^1430256-1 is not prime. Res64: F32D8EEE5C364830 Time : 0.0 sec. user=mdettweiler [2016-05-24 20:20:02] 719*2^1430256-1 is not prime. Res64: 0D05895FF833BF07 Time : 0.0 sec. user=mdettweiler [2016-05-24 20:20:02] 765*2^1430256-1 is not prime. Res64: F6B16BBAAE4A2F28 Time : 0.0 sec. user=mdettweiler [2016-05-24 20:20:03] 789*2^1430256-1 is not prime. Res64: 516844BD84DC66CE Time : 0.0 sec. user=mdettweiler [2016-05-24 20:20:03] 815*2^1430256-1 is not prime. Res64: DFCC10A456C67792 Time : 0.0 sec. user=mdettweiler [2016-05-24 20:20:03] 849*2^1430256-1 is not prime. Res64: 583410ABF96F4B15 Time : 0.0 sec. user=mdettweiler [2016-05-24 20:20:41] 875*2^1430256-1 is not prime. Res64: 9CB6BC9F9D02D9FC Time : 0.0 sec. user=mdettweiler [2016-05-24 20:20:41] 887*2^1430256-1 is not prime. Res64: BA012A17FC4E9DEB Time : 0.0 sec. user=mdettweiler [2016-05-24 20:20:41] 903*2^1430256-1 is not prime. Res64: 94607D69B893B65D Time : 0.0 sec. user=mdettweiler [2016-05-24 20:20:42] 615*2^1430257-1 is not prime. Res64: 633493BC09EF0D6A Time : 0.0 sec. user=mdettweiler [2016-05-24 20:20:42] 775*2^1430257-1 is not prime. Res64: D69A6DC29673675A Time : 0.0 sec. user=mdettweiler [2016-05-24 20:43:06] 807*2^1430257-1 is not prime. Res64: 6802ECF15C85E6D3 Time : 0.0 sec. user=mdettweiler [2016-05-24 20:43:06] 867*2^1430257-1 is not prime. Res64: A89E3C343AD093D9 Time : 0.0 sec. user=mdettweiler [2016-05-24 20:43:07] 915*2^1430257-1 is not prime. Res64: ADBC07CACFBAA180 Time : 0.0 sec. user=mdettweiler [2016-05-24 20:43:07] 945*2^1430257-1 is not prime. Res64: 4CD732D0B523D7AA Time : 0.0 sec. user=mdettweiler [2016-05-24 20:43:08] 955*2^1430257-1 is not prime. Res64: BA15EF9D5670A1FA Time : 0.0 sec. user=mdettweiler [2016-05-24 21:04:25] 985*2^1430257-1 is not prime. Res64: 982BFD08A4852D5A Time : 0.0 sec. user=mdettweiler [2016-05-24 21:04:26] 603*2^1430258-1 is not prime. Res64: 98761AD95FB8C804 Time : 0.0 sec. user=mdettweiler [2016-05-24 21:04:27] 633*2^1430258-1 is not prime. Res64: 67D701CF7F699F6B Time : 0.0 sec. user=mdettweiler [2016-05-24 21:04:28] 641*2^1430258-1 is not prime. Res64: F6DDB17FCDD4EAAA Time : 0.0 sec. user=mdettweiler [2016-05-24 21:04:29] 671*2^1430258-1 is not prime. Res64: 4BC3A2D53D91B694 Time : 0.0 sec. user=mdettweiler [2016-05-24 21:04:52] 771*2^1430258-1 is not prime. Res64: E25418EFD840BD84 Time : 0.0 sec. user=mdettweiler [2016-05-24 21:04:54] 773*2^1430258-1 is not prime. Res64: AF105F4BCB5F59EC Time : 0.0 sec. user=mdettweiler [2016-05-24 21:04:55] 941*2^1430258-1 is not prime. Res64: 90DF3AF4F9407825 Time : 0.0 sec. user=mdettweiler [2016-05-24 21:04:56] 953*2^1430258-1 is not prime. Res64: 434025636355AEDE Time : 0.0 sec. user=mdettweiler [2016-05-24 21:04:57] 1001*2^1430258-1 is not prime. Res64: 45259158B394B1A7 Time : 0.0 sec. user=mdettweiler [2016-05-24 21:05:39] 633*2^1430259-1 is not prime. Res64: CEB0D87820AAB561 Time : 0.0 sec. user=mdettweiler [2016-05-24 21:05:40] 649*2^1430259-1 is not prime. Res64: 284F65D74CE018BB Time : 0.0 sec. user=mdettweiler [2016-05-24 21:05:42] 669*2^1430259-1 is not prime. Res64: BADA4725553C9942 Time : 0.0 sec. user=mdettweiler [2016-05-24 21:05:43] 679*2^1430259-1 is not prime. Res64: 13169EB974B41A1C Time : 0.0 sec. user=mdettweiler [2016-05-24 21:05:44] 723*2^1430259-1 is not prime. Res64: 7E91F62CCC463C78 Time : 0.0 sec. user=mdettweiler [2016-05-24 21:28:04] 859*2^1430259-1 is not prime. Res64: D1E5C91CB665B9F2 Time : 0.0 sec. user=mdettweiler [2016-05-24 21:28:04] 879*2^1430259-1 is not prime. Res64: 4A14A7D2A916E531 Time : 0.0 sec. user=mdettweiler [2016-05-24 21:28:05] 949*2^1430259-1 is not prime. Res64: E331F04656857873 Time : 0.0 sec. user=mdettweiler [2016-05-24 21:28:05] 955*2^1430259-1 is not prime. Res64: A531072E06C2E7FF Time : 0.0 sec. user=mdettweiler [2016-05-24 21:28:05] 863*2^1430260-1 is not prime. Res64: A067296CEE067CA7 Time : 0.0 sec. user=mdettweiler [2016-05-24 21:49:40] 925*2^1430261-1 is not prime. Res64: 64FAE4D383308C31 Time : 0.0 sec. user=mdettweiler [2016-05-24 21:49:41] 937*2^1430261-1 is not prime. Res64: 98B03C536D8BC3B0 Time : 0.0 sec. user=mdettweiler [2016-05-24 21:49:41] 621*2^1430262-1 is not prime. Res64: B3A2575E983A60A1 Time : 0.0 sec. user=mdettweiler [2016-05-24 21:49:42] 681*2^1430262-1 is not prime. Res64: 2371A9B987B73B1B Time : 0.0 sec. user=mdettweiler [2016-05-24 21:49:42] 705*2^1430262-1 is not prime. Res64: B3037ACD6DA7A16B Time : 0.0 sec. user=mdettweiler [2016-05-24 21:49:57] 741*2^1430262-1 is not prime. Res64: F5C58F45ABFB2B53 Time : 0.0 sec. user=mdettweiler [2016-05-24 21:49:58] 945*2^1430262-1 is not prime. Res64: ED56123A9C091536 Time : 0.0 sec. user=mdettweiler [2016-05-24 21:49:58] 957*2^1430262-1 is not prime. Res64: B5C3D72414A9050F Time : 0.0 sec. user=mdettweiler [2016-05-24 21:49:59] 615*2^1430263-1 is not prime. Res64: 708FC64D51278773 Time : 0.0 sec. user=mdettweiler [2016-05-24 21:49:59] 703*2^1430263-1 is not prime. Res64: B825258EAA995299 Time : 0.0 sec. user=mdettweiler [2016-05-24 21:50:52] 705*2^1430263-1 is not prime. Res64: 426A2C4EC776C8DD Time : 0.0 sec. user=mdettweiler [2016-05-24 21:50:52] 915*2^1430263-1 is not prime. Res64: B0A437959EFB2D42 Time : 0.0 sec. user=mdettweiler [2016-05-24 21:50:53] 939*2^1430263-1 is not prime. Res64: FCC764DE6D5B55BE Time : 0.0 sec. user=mdettweiler [2016-05-24 21:50:53] 663*2^1430264-1 is not prime. Res64: EC6AE60BA17C2FC4 Time : 0.0 sec. user=mdettweiler [2016-05-24 21:50:54] 725*2^1430264-1 is not prime. Res64: 4BE1ACFFDCDF2937 Time : 0.0 sec. user=mdettweiler [2016-05-24 22:13:19] 869*2^1430264-1 is not prime. Res64: 3A2E0B16CC1291B0 Time : 0.0 sec. user=mdettweiler [2016-05-24 22:13:19] 873*2^1430264-1 is not prime. Res64: 651B00A2C44EDED3 Time : 0.0 sec. user=mdettweiler [2016-05-24 22:13:20] 957*2^1430264-1 is not prime. Res64: AFCEE0F62353F025 Time : 0.0 sec. user=mdettweiler [2016-05-24 22:13:20] 959*2^1430264-1 is not prime. Res64: 36BD4D76EE417303 Time : 0.0 sec. user=mdettweiler [2016-05-24 22:13:20] 805*2^1430265-1 is not prime. Res64: 430123508FDCE495 Time : 0.0 sec. user=mdettweiler [2016-05-24 22:34:55] 885*2^1430265-1 is not prime. Res64: 12273DA1F14E6FCE Time : 0.0 sec. user=mdettweiler [2016-05-24 22:34:56] 915*2^1430265-1 is not prime. Res64: 9122C8BB6B99D914 Time : 0.0 sec. user=mdettweiler [2016-05-24 22:34:56] 701*2^1430266-1 is not prime. Res64: 94B5C1969ECB6BCC Time : 0.0 sec. user=mdettweiler [2016-05-24 22:34:57] 713*2^1430266-1 is not prime. Res64: A510D6C8E229F42A Time : 0.0 sec. user=mdettweiler [2016-05-24 22:34:57] 723*2^1430266-1 is not prime. Res64: 3AF8F0FCD724BB68 Time : 0.0 sec. user=mdettweiler [2016-05-24 22:35:24] 783*2^1430266-1 is not prime. Res64: 2B45782175574257 Time : 0.0 sec. user=mdettweiler [2016-05-24 22:35:25] 813*2^1430266-1 is not prime. Res64: DCF054F7C44302B2 Time : 0.0 sec. user=mdettweiler [2016-05-24 22:35:25] 815*2^1430266-1 is not prime. Res64: BA096609D34C2EB6 Time : 0.0 sec. user=mdettweiler [2016-05-24 22:35:26] 917*2^1430266-1 is not prime. Res64: 3E1DB417E0B01869 Time : 0.0 sec. user=mdettweiler [2016-05-24 22:35:26] 703*2^1430267-1 is not prime. Res64: 4CBB96C427D6F6FC Time : 0.0 sec. user=mdettweiler [2016-05-24 22:35:57] 711*2^1430267-1 is not prime. Res64: 0B8E5766C2168D88 Time : 0.0 sec. user=mdettweiler [2016-05-24 22:35:57] 741*2^1430267-1 is not prime. Res64: 972D6E5F2DA247E1 Time : 0.0 sec. user=mdettweiler [2016-05-24 22:35:58] 825*2^1430267-1 is not prime. Res64: 2A6EF3557BEFE68B Time : 0.0 sec. user=mdettweiler [2016-05-24 22:35:58] 945*2^1430267-1 is not prime. Res64: 80BC4BBF713DA1B7 Time : 0.0 sec. user=mdettweiler [2016-05-24 22:35:58] 955*2^1430267-1 is not prime. Res64: DE9FEC105620F239 Time : 0.0 sec. user=mdettweiler [2016-05-24 22:58:17] 979*2^1430267-1 is not prime. Res64: DCE75097280279DD Time : 0.0 sec. user=mdettweiler [2016-05-24 22:58:17] 993*2^1430267-1 is not prime. Res64: A37660DCC68ECE6D Time : 0.0 sec. user=mdettweiler [2016-05-24 22:58:18] 647*2^1430268-1 is not prime. Res64: C5857A3B75CB2D73 Time : 0.0 sec. user=mdettweiler [2016-05-24 22:58:18] 729*2^1430269-1 is not prime. Res64: F85444F87F0B087C Time : 0.0 sec. user=mdettweiler [2016-05-24 22:58:18] 745*2^1430269-1 is not prime. Res64: AA255084A7016304 Time : 0.0 sec. user=mdettweiler [2016-05-24 23:19:59] 771*2^1430269-1 is not prime. Res64: A086F7213728F72D Time : 0.0 sec. user=mdettweiler [2016-05-24 23:19:59] 789*2^1430269-1 is not prime. Res64: 923A43F883304C46 Time : 0.0 sec. user=mdettweiler [2016-05-24 23:20:00] 835*2^1430269-1 is not prime. Res64: 0480F350329BE683 Time : 0.0 sec. user=mdettweiler [2016-05-24 23:20:00] 895*2^1430269-1 is not prime. Res64: D01760D3DCB52787 Time : 0.0 sec. user=mdettweiler [2016-05-24 23:20:00] 967*2^1430269-1 is not prime. Res64: D5078C222AEE2D0F Time : 0.0 sec. user=mdettweiler [2016-05-24 23:20:30] 985*2^1430269-1 is not prime. Res64: C9E1C04186C4E770 Time : 0.0 sec. user=mdettweiler [2016-05-24 23:20:30] 603*2^1430270-1 is not prime. Res64: 4610128D78E2945D Time : 0.0 sec. user=mdettweiler [2016-05-24 23:20:31] 753*2^1430270-1 is not prime. Res64: FA4D21110119DBE0 Time : 0.0 sec. user=mdettweiler [2016-05-24 23:20:31] 861*2^1430270-1 is not prime. Res64: 4607CB55EA016D8E Time : 0.0 sec. user=mdettweiler [2016-05-24 23:20:32] 941*2^1430270-1 is not prime. Res64: 898339F660F6D517 Time : 0.0 sec. user=mdettweiler [2016-05-24 23:21:08] 981*2^1430270-1 is not prime. Res64: 0382252AC260C073 Time : 0.0 sec. user=mdettweiler [2016-05-24 23:21:09] 625*2^1430271-1 is not prime. Res64: 896C2ABB1AEE1819 Time : 0.0 sec. user=mdettweiler [2016-05-24 23:21:10] 859*2^1430271-1 is not prime. Res64: 06B59AE3BB48C152 Time : 0.0 sec. user=mdettweiler [2016-05-24 23:21:11] 891*2^1430271-1 is not prime. Res64: 5DD5F414BCB503AB Time : 0.0 sec. user=mdettweiler [2016-05-24 23:21:12] 975*2^1430271-1 is not prime. Res64: 3B7284903555363D Time : 0.0 sec. user=mdettweiler [2016-05-24 23:43:18] 645*2^1430272-1 is not prime. Res64: B860D5E2B1A58D95 Time : 0.0 sec. user=mdettweiler [2016-05-24 23:43:18] 665*2^1430272-1 is not prime. Res64: 89348FC07F58C23B Time : 0.0 sec. user=mdettweiler [2016-05-24 23:43:19] 695*2^1430272-1 is not prime. Res64: 993D8DF87305B29B Time : 0.0 sec. user=mdettweiler [2016-05-24 23:43:19] 699*2^1430272-1 is not prime. Res64: 5D5A3407910B49A5 Time : 0.0 sec. user=mdettweiler [2016-05-24 23:43:20] 785*2^1430272-1 is not prime. Res64: 21B1ADA9A1F66717 Time : 0.0 sec.