user=mdettweiler [2015-02-05 00:23:18] 639*2^1390348-1 is not prime. Res64: EAA8F9C2970E450B Time : 0.0 sec. user=mdettweiler [2015-02-05 00:23:18] 749*2^1390348-1 is not prime. Res64: BF4CDE5A221F6E24 Time : 0.0 sec. user=mdettweiler [2015-02-05 00:23:48] 887*2^1390348-1 is not prime. Res64: C3270E5A71C8CB94 Time : 0.0 sec. user=mdettweiler [2015-02-05 00:23:48] 957*2^1390348-1 is not prime. Res64: 45BE7841A2C36631 Time : 0.0 sec. user=mdettweiler [2015-02-05 00:25:53] 611*2^1390350-1 is not prime. Res64: 249F0A3111118332 Time : 0.0 sec. user=mdettweiler [2015-02-05 00:25:54] 657*2^1390350-1 is not prime. Res64: 7A626E77B5CF1F29 Time : 0.0 sec. user=mdettweiler [2015-02-05 00:26:06] 615*2^1390349-1 is not prime. Res64: 736AE7F3EF6C46E4 Time : 0.0 sec. user=mdettweiler [2015-02-05 00:26:06] 819*2^1390349-1 is not prime. Res64: 7A1B19DCBB63D872 Time : 0.0 sec. user=mdettweiler [2015-02-05 00:50:46] 711*2^1390350-1 is not prime. Res64: 11B0E88B8A813282 Time : 0.0 sec. user=mdettweiler [2015-02-05 00:50:47] 725*2^1390350-1 is not prime. Res64: C4C7559AFC75C587 Time : 0.0 sec. user=mdettweiler [2015-02-05 00:51:01] 761*2^1390350-1 is not prime. Res64: B4BB03108E371C98 Time : 0.0 sec. user=mdettweiler [2015-02-05 00:51:01] 783*2^1390350-1 is not prime. Res64: 864A92032A6634AB Time : 0.0 sec. user=mdettweiler [2015-02-05 00:53:14] 861*2^1390350-1 is not prime. Res64: 9492A398C3D179C7 Time : 0.0 sec. user=mdettweiler [2015-02-05 00:53:15] 619*2^1390351-1 is not prime. Res64: 382332A1085646CB Time : 0.0 sec. user=mdettweiler [2015-02-05 00:53:34] 673*2^1390351-1 is not prime. Res64: 7E94900EDBCE1DBD Time : 0.0 sec. user=mdettweiler [2015-02-05 00:53:35] 679*2^1390351-1 is not prime. Res64: 3D7FE303D5C26D7D Time : 0.0 sec. user=mdettweiler [2015-02-05 01:18:10] 723*2^1390351-1 is not prime. Res64: EFD94F407E6D1E6A Time : 0.0 sec. user=mdettweiler [2015-02-05 01:18:11] 943*2^1390351-1 is not prime. Res64: 45B13A78915AE1EC Time : 0.0 sec. user=mdettweiler [2015-02-05 01:18:19] 675*2^1390352-1 is not prime. Res64: 11EE86EE012EE409 Time : 0.0 sec. user=mdettweiler [2015-02-05 01:18:19] 677*2^1390352-1 is not prime. Res64: E729632F28E1E79F Time : 0.0 sec. user=mdettweiler [2015-02-05 01:20:37] 855*2^1390352-1 is not prime. Res64: 420A6FF556CBB596 Time : 0.0 sec. user=mdettweiler [2015-02-05 01:20:37] 897*2^1390352-1 is not prime. Res64: A5245A0543744B20 Time : 0.0 sec. user=mdettweiler [2015-02-05 01:21:04] 929*2^1390352-1 is not prime. Res64: B09B1861B2D75EF8 Time : 0.0 sec. user=mdettweiler [2015-02-05 01:21:04] 945*2^1390352-1 is not prime. Res64: BB1F14F3B3D11A04 Time : 0.0 sec. user=mdettweiler [2015-02-05 01:45:31] 957*2^1390352-1 is not prime. Res64: 138466121C39BA36 Time : 0.0 sec. user=mdettweiler [2015-02-05 01:45:31] 977*2^1390352-1 is not prime. Res64: 39B26BC94033F87D Time : 0.0 sec. user=mdettweiler [2015-02-05 01:45:37] 651*2^1390353-1 is not prime. Res64: 54B07EA044EE4A86 Time : 0.0 sec. user=mdettweiler [2015-02-05 01:45:37] 657*2^1390353-1 is not prime. Res64: A49D05839FDB9191 Time : 0.0 sec. user=mdettweiler [2015-02-05 01:47:50] 681*2^1390353-1 is not prime. Res64: A53161B3EC23F29E Time : 0.0 sec. user=mdettweiler [2015-02-05 01:47:51] 685*2^1390353-1 is not prime. Res64: 1E1BA277614F3613 Time : 0.0 sec. user=mdettweiler [2015-02-05 01:48:29] 705*2^1390353-1 is not prime. Res64: 2AA96AC350D67F21 Time : 0.0 sec. user=mdettweiler [2015-02-05 01:48:29] 741*2^1390353-1 is not prime. Res64: B6BC8644838EF5AF Time : 0.0 sec. user=mdettweiler [2015-02-05 02:12:19] 807*2^1390353-1 is not prime. Res64: 38F29865133ABEFB Time : 0.0 sec. user=mdettweiler [2015-02-05 02:12:19] 849*2^1390353-1 is not prime. Res64: CAF7BB7D6B814FF5 Time : 0.0 sec. user=mdettweiler [2015-02-05 02:13:06] 945*2^1390353-1 is not prime. Res64: 391E090F165098EB Time : 0.0 sec. user=mdettweiler [2015-02-05 02:13:06] 645*2^1390354-1 is not prime. Res64: DD0828D197163717 Time : 0.0 sec. user=mdettweiler [2015-02-05 02:15:20] 831*2^1390354-1 is not prime. Res64: 2028FE8B027AE2BB Time : 0.0 sec. user=mdettweiler [2015-02-05 02:15:20] 857*2^1390354-1 is not prime. Res64: AB22B0DCE9EA210A Time : 0.0 sec. user=mdettweiler [2015-02-05 02:15:27] 705*2^1390354-1 is not prime. Res64: C4D3012255B681F8 Time : 0.0 sec. user=mdettweiler [2015-02-05 02:15:27] 815*2^1390354-1 is not prime. Res64: DF37A891EA170E93 Time : 0.0 sec. user=mdettweiler [2015-02-05 02:39:28] 655*2^1390355-1 is not prime. Res64: 40A10596D4415514 Time : 0.0 sec. user=mdettweiler [2015-02-05 02:39:29] 663*2^1390355-1 is not prime. Res64: A6C8A9786FAB1C7E Time : 0.0 sec. user=mdettweiler [2015-02-05 02:40:19] 801*2^1390355-1 is not prime. Res64: 174DF6A879429070 Time : 0.0 sec. user=mdettweiler [2015-02-05 02:40:19] 841*2^1390355-1 is not prime. Res64: 1CC9242DB5F3E716 Time : 0.0 sec. user=mdettweiler [2015-02-05 02:42:21] 859*2^1390355-1 is not prime. Res64: A6C2CA84921C71B6 Time : 0.0 sec. user=mdettweiler [2015-02-05 02:42:21] 963*2^1390355-1 is not prime. Res64: D85469E835A1E098 Time : 0.0 sec. user=mdettweiler [2015-02-05 02:42:32] 979*2^1390355-1 is not prime. Res64: 42379BFF8A9E0529 Time : 0.0 sec. user=mdettweiler [2015-02-05 02:42:32] 623*2^1390356-1 is not prime. Res64: A17E9BB9574D2373 Time : 0.0 sec. user=juhehe [2015-02-05 03:02:30] 633*2^1390356-1 is not prime. Res64: 97067A6B8BD9E16F Time : 0.0 sec. user=mdettweiler [2015-02-05 03:07:20] 789*2^1390356-1 is not prime. Res64: A60549CABFAD42FA Time : 0.0 sec. user=mdettweiler [2015-02-05 03:07:20] 803*2^1390356-1 is not prime. Res64: 945752EDC09F5C4F Time : 0.0 sec. user=mdettweiler [2015-02-05 03:08:28] 887*2^1390356-1 is not prime. Res64: 8EA356D78FE4E6B0 Time : 0.0 sec. user=mdettweiler [2015-02-05 03:08:29] 607*2^1390357-1 is not prime. Res64: B6B6BD1315108C17 Time : 0.0 sec. user=mdettweiler [2015-02-05 03:10:13] 729*2^1390357-1 is not prime. Res64: A5F73D0447CC9D69 Time : 0.0 sec. user=mdettweiler [2015-02-05 03:10:13] 835*2^1390357-1 is not prime. Res64: BFCBCE5B0C329208 Time : 0.0 sec. user=mdettweiler [2015-02-05 03:10:26] 625*2^1390357-1 is not prime. Res64: FD0A1B422176EE3B Time : 0.0 sec. user=mdettweiler [2015-02-05 03:10:26] 667*2^1390357-1 is not prime. Res64: 3642C7A0B2667126 Time : 0.0 sec. user=mdettweiler [2015-02-05 03:34:23] 847*2^1390357-1 is not prime. Res64: B16E1E8882643718 Time : 0.0 sec. user=mdettweiler [2015-02-05 03:34:24] 997*2^1390357-1 is not prime. Res64: B680CCA691BC5310 Time : 0.0 sec. user=mdettweiler [2015-02-05 03:35:50] 711*2^1390358-1 is not prime. Res64: DB83E2EF84C1BEBC Time : 0.0 sec. user=mdettweiler [2015-02-05 03:35:51] 743*2^1390358-1 is not prime. Res64: DD945EF189011C22 Time : 0.0 sec. user=mdettweiler [2015-02-05 03:37:26] 935*2^1390358-1 is not prime. Res64: F5AC70B720A8D034 Time : 0.0 sec. user=mdettweiler [2015-02-05 03:37:27] 1001*2^1390358-1 is not prime. Res64: 2715A9A97FE35C54 Time : 0.0 sec. user=mdettweiler [2015-02-05 03:37:29] 613*2^1390359-1 is not prime. Res64: C336B4E558C72A25 Time : 0.0 sec. user=mdettweiler [2015-02-05 03:37:30] 679*2^1390359-1 is not prime. Res64: 82FF3185C28E2EC4 Time : 0.0 sec. user=mdettweiler [2015-02-05 04:01:40] 789*2^1390359-1 is not prime. Res64: FAFE9BA992E00486 Time : 0.0 sec. user=mdettweiler [2015-02-05 04:01:41] 793*2^1390359-1 is not prime. Res64: C26F506FD340F1DB Time : 0.0 sec. user=mdettweiler [2015-02-05 04:03:05] 843*2^1390359-1 is not prime. Res64: 22CB48010E7C3B20 Time : 0.0 sec. user=mdettweiler [2015-02-05 04:03:06] 861*2^1390359-1 is not prime. Res64: DBEE470A8C0AD1F5 Time : 0.0 sec. user=mdettweiler [2015-02-05 04:04:30] 629*2^1390360-1 is not prime. Res64: 79398C967CC943B8 Time : 0.0 sec. user=mdettweiler [2015-02-05 04:04:31] 755*2^1390360-1 is not prime. Res64: 32745164CF3EC655 Time : 0.0 sec. user=mdettweiler [2015-02-05 04:04:40] 873*2^1390359-1 is not prime. Res64: 6EE6A7E527DB97E9 Time : 0.0 sec. user=mdettweiler [2015-02-05 04:04:41] 603*2^1390360-1 is not prime. Res64: 5AE7814EEA5FD8E2 Time : 0.0 sec. user=mdettweiler [2015-02-05 04:29:14] 797*2^1390360-1 is not prime. Res64: D278D5DCCD80E66E Time : 0.0 sec. user=mdettweiler [2015-02-05 04:29:14] 927*2^1390360-1 is not prime. Res64: 2B477D67004CCF33 Time : 0.0 sec. user=mdettweiler [2015-02-05 04:30:13] 675*2^1390361-1 is not prime. Res64: BB79D53E9F5B9BA4 Time : 0.0 sec. user=mdettweiler [2015-02-05 04:30:13] 711*2^1390361-1 is not prime. Res64: 7A2FFCE2213BC011 Time : 0.0 sec. user=mdettweiler [2015-02-05 04:31:37] 805*2^1390361-1 is not prime. Res64: E6965B2A43F7D789 Time : 0.0 sec. user=mdettweiler [2015-02-05 04:31:38] 811*2^1390361-1 is not prime. Res64: 8A159A516C5EF887 Time : 0.0 sec. user=mdettweiler [2015-02-05 04:32:00] 871*2^1390361-1 is not prime. Res64: D0F3C527152D6A93 Time : 0.0 sec. user=mdettweiler [2015-02-05 04:32:01] 955*2^1390361-1 is not prime. Res64: F03C43D866159CD0 Time : 0.0 sec. user=mdettweiler [2015-02-05 04:56:37] 981*2^1390361-1 is not prime. Res64: F247D93B8CF97D6D Time : 0.0 sec. user=mdettweiler [2015-02-05 04:56:37] 671*2^1390362-1 is not prime. Res64: 0EA8D3A56882836A Time : 0.0 sec. user=mdettweiler [2015-02-05 04:57:14] 603*2^1390363-1 is not prime. Res64: 9EA7CE8960450E32 Time : 0.0 sec. user=mdettweiler [2015-02-05 04:57:15] 633*2^1390363-1 is not prime. Res64: 9527BA752671F9C8 Time : 0.0 sec. user=mdettweiler [2015-02-05 04:58:41] 675*2^1390363-1 is not prime. Res64: D55C8BC5DDDAC47C Time : 0.0 sec. user=mdettweiler [2015-02-05 04:58:42] 685*2^1390363-1 is not prime. Res64: EC1423BA113D67FE Time : 0.0 sec. user=mdettweiler [2015-02-05 04:59:09] 723*2^1390363-1 is not prime. Res64: 0DAD9BAC97F3CB5A Time : 0.0 sec. user=mdettweiler [2015-02-05 04:59:09] 769*2^1390363-1 is not prime. Res64: 62A8A4C3386CC6A8 Time : 0.0 sec. user=mdettweiler [2015-02-05 05:23:41] 943*2^1390363-1 is not prime. Res64: 6CA2D4D6CCD718B4 Time : 0.0 sec. user=mdettweiler [2015-02-05 05:23:42] 623*2^1390364-1 is not prime. Res64: 5E7665169145D63F Time : 0.0 sec. user=mdettweiler [2015-02-05 05:24:28] 753*2^1390364-1 is not prime. Res64: 70927FA4B86C688A Time : 0.0 sec. user=mdettweiler [2015-02-05 05:24:29] 795*2^1390364-1 is not prime. Res64: 0920B67FD53499A4 Time : 0.0 sec. user=mdettweiler [2015-02-05 05:25:59] 825*2^1390364-1 is not prime. Res64: 6E49BD3923FB9C66 Time : 0.0 sec. user=mdettweiler [2015-02-05 05:26:00] 875*2^1390364-1 is not prime. Res64: 6FF6322E8FFA8C03 Time : 0.0 sec. user=mdettweiler [2015-02-05 05:26:20] 957*2^1390364-1 is not prime. Res64: C76BA9E7D579D321 Time : 0.0 sec. user=mdettweiler [2015-02-05 05:26:20] 601*2^1390365-1 is not prime. Res64: 061399D46E13C10D Time : 0.0 sec. user=mdettweiler [2015-02-05 05:50:48] 657*2^1390365-1 is not prime. Res64: 6EE58D5E8CEF84FF Time : 0.0 sec. user=mdettweiler [2015-02-05 05:50:49] 685*2^1390365-1 is not prime. Res64: 7EF4801E75ACA5AF Time : 0.0 sec. user=mdettweiler [2015-02-05 05:51:34] 711*2^1390365-1 is not prime. Res64: 6C9C6FA37B2C09D5 Time : 0.0 sec. user=mdettweiler [2015-02-05 05:51:34] 765*2^1390365-1 is not prime. Res64: 584459502A8CDC57 Time : 0.0 sec. user=mdettweiler [2015-02-05 05:53:08] 789*2^1390365-1 is not prime. Res64: 70BD1BD0C5D002E7 Time : 0.0 sec. user=mdettweiler [2015-02-05 05:53:08] 657*2^1390366-1 is not prime. Res64: 653782B0CC677DB6 Time : 0.0 sec. user=mdettweiler [2015-02-05 05:53:25] 801*2^1390366-1 is not prime. Res64: D853A60330E3CD59 Time : 0.0 sec. user=mdettweiler [2015-02-05 05:53:25] 855*2^1390366-1 is not prime. Res64: CC3187529EEA9207 Time : 0.0 sec. user=mdettweiler [2015-02-05 06:17:41] 857*2^1390366-1 is not prime. Res64: 08E368008D9AB011 Time : 0.0 sec. user=mdettweiler [2015-02-05 06:17:42] 615*2^1390367-1 is not prime. Res64: F4AFE66DCCE583A8 Time : 0.0 sec. user=mdettweiler [2015-02-05 06:18:46] 663*2^1390367-1 is not prime. Res64: 5AE54BEAD37BA2D7 Time : 0.0 sec. user=mdettweiler [2015-02-05 06:18:47] 693*2^1390367-1 is not prime. Res64: 853BB0B48088960C Time : 0.0 sec. user=mdettweiler [2015-02-05 06:20:23] 759*2^1390367-1 is not prime. Res64: 55175DF22A911FF3 Time : 0.0 sec. user=mdettweiler [2015-02-05 06:20:23] 825*2^1390367-1 is not prime. Res64: DF6A4B1177902AF6 Time : 0.0 sec. user=mdettweiler [2015-02-05 06:20:58] 629*2^1390368-1 is not prime. Res64: 17E6F626F6C5722B Time : 0.0 sec. user=mdettweiler [2015-02-05 06:20:58] 657*2^1390368-1 is not prime. Res64: 9C68145853C0F214 Time : 0.0 sec. user=mdettweiler [2015-02-05 06:45:33] 639*2^1390369-1 is not prime. Res64: 5C5FE33BCA1BF0F4 Time : 0.0 sec. user=mdettweiler [2015-02-05 06:45:34] 687*2^1390369-1 is not prime. Res64: F54F3A8F416BF6DD Time : 0.0 sec. user=mdettweiler [2015-02-05 06:45:37] 705*2^1390369-1 is not prime. Res64: 0B044BEC5E2BABB3 Time : 0.0 sec. user=mdettweiler [2015-02-05 06:45:38] 751*2^1390369-1 is not prime. Res64: C616790CD30B3354 Time : 0.0 sec. user=mdettweiler [2015-02-05 06:47:21] 931*2^1390369-1 is not prime. Res64: C91D7AF0C1794B46 Time : 0.0 sec. user=mdettweiler [2015-02-05 06:47:22] 939*2^1390369-1 is not prime. Res64: 5D9DD3167A8AB725 Time : 0.0 sec. user=mdettweiler [2015-02-05 06:48:20] 985*2^1390369-1 is not prime. Res64: BAD47FC2E61A6FD0 Time : 0.0 sec. user=mdettweiler [2015-02-05 06:48:21] 645*2^1390370-1 is not prime. Res64: 15D4324185B2AE30 Time : 0.0 sec. user=mdettweiler [2015-02-05 07:12:41] 741*2^1390370-1 is not prime. Res64: 916D1042522AE558 Time : 0.0 sec. user=mdettweiler [2015-02-05 07:12:44] 851*2^1390370-1 is not prime. Res64: C09AFF1D54502941 Time : 0.0 sec. user=mdettweiler [2015-02-05 07:12:49] 867*2^1390370-1 is not prime. Res64: 024C0F2DC600A987 Time : 0.0 sec. user=mdettweiler [2015-02-05 07:12:50] 911*2^1390370-1 is not prime. Res64: A87B0C651E9D12A1 Time : 0.0 sec. user=mdettweiler [2015-02-05 07:14:29] 639*2^1390371-1 is not prime. Res64: CF8B4ABB92043260 Time : 0.0 sec. user=mdettweiler [2015-02-05 07:14:29] 735*2^1390371-1 is not prime. Res64: 66A36DEEADD7E499 Time : 0.0 sec. user=mdettweiler [2015-02-05 07:15:46] 745*2^1390371-1 is not prime. Res64: 6276C3756FD5666E Time : 0.0 sec. user=mdettweiler [2015-02-05 07:15:47] 793*2^1390371-1 is not prime. Res64: E40D26336C057EA1 Time : 0.0 sec. user=mdettweiler [2015-02-05 07:39:56] 819*2^1390371-1 is not prime. Res64: FB4EB051959B4F50 Time : 0.0 sec. user=mdettweiler [2015-02-05 07:39:56] 949*2^1390371-1 is not prime. Res64: 6B7E392F2DFD27F7 Time : 0.0 sec. user=mdettweiler [2015-02-05 07:39:56] 903*2^1390371-1 is not prime. Res64: 6AAFD5EDBE7D0D23 Time : 0.0 sec. user=mdettweiler [2015-02-05 07:39:56] 605*2^1390372-1 is not prime. Res64: 853420D573274383 Time : 0.0 sec. user=mdettweiler [2015-02-05 07:41:31] 677*2^1390372-1 is not prime. Res64: AB3F88184EED38A6 Time : 0.0 sec. user=mdettweiler [2015-02-05 07:41:31] 743*2^1390372-1 is not prime. Res64: 72ECF5FCCAD211F1 Time : 0.0 sec. user=mdettweiler [2015-02-05 07:43:03] 797*2^1390372-1 is not prime. Res64: F25C71661463DC95 Time : 0.0 sec. user=mdettweiler [2015-02-05 07:43:04] 819*2^1390372-1 is not prime. Res64: 2A28DDC819B1D32A Time : 0.0 sec. user=mdettweiler [2015-02-05 08:06:56] 885*2^1390372-1 is not prime. Res64: 356EDD78552E8188 Time : 0.0 sec. user=mdettweiler [2015-02-05 08:06:57] 887*2^1390372-1 is not prime. Res64: C843553E0B796F71 Time : 0.0 sec. user=mdettweiler [2015-02-05 08:07:20] 855*2^1390372-1 is not prime. Res64: 81EE9274A90A7C43 Time : 0.0 sec. user=mdettweiler [2015-02-05 08:07:21] 863*2^1390372-1 is not prime. Res64: 714D324596383461 Time : 0.0 sec. user=mdettweiler [2015-02-05 08:08:31] 899*2^1390372-1 is not prime. Res64: 681CADDA5C00BDB2 Time : 0.0 sec. user=mdettweiler [2015-02-05 08:08:31] 965*2^1390372-1 is not prime. Res64: 612D36DBCBEAA2EE Time : 0.0 sec. user=mdettweiler [2015-02-05 08:10:34] 999*2^1390372-1 is not prime. Res64: 8B5E45A1417F0E7F Time : 0.0 sec. user=mdettweiler [2015-02-05 08:10:35] 675*2^1390373-1 is not prime. Res64: D112F94A8A48CD90 Time : 0.0 sec. user=mdettweiler [2015-02-05 08:34:27] 795*2^1390373-1 is not prime. Res64: AF5F75C9FAF2CF7D Time : 0.0 sec. user=mdettweiler [2015-02-05 08:34:28] 801*2^1390373-1 is not prime. Res64: CD3FEAB9B70CEF8E Time : 0.0 sec. user=mdettweiler [2015-02-05 08:34:29] 679*2^1390373-1 is not prime. Res64: F8C1D3032A37840A Time : 0.0 sec. user=mdettweiler [2015-02-05 08:34:29] 759*2^1390373-1 is not prime. Res64: E67E90BBEFC7502E Time : 0.0 sec. user=mdettweiler [2015-02-05 08:35:50] 811*2^1390373-1 is not prime. Res64: 7E17B456DAEFBD59 Time : 0.0 sec. user=mdettweiler [2015-02-05 08:35:50] 915*2^1390373-1 is not prime. Res64: 5694DAA98AA0C2BB Time : 0.0 sec. user=mdettweiler [2015-02-05 08:37:46] 939*2^1390373-1 is not prime. Res64: DAC53EBF1B69907C Time : 0.0 sec. user=mdettweiler [2015-02-05 08:37:47] 969*2^1390373-1 is not prime. Res64: 2DC26487960208F6 Time : 0.0 sec. user=mdettweiler [2015-02-05 09:01:46] 663*2^1390374-1 is not prime. Res64: DD3612D66C8C5987 Time : 0.0 sec. user=mdettweiler [2015-02-05 09:01:48] 681*2^1390374-1 is not prime. Res64: 271C19D6888BADBA Time : 0.0 sec. user=mdettweiler [2015-02-05 09:01:48] 981*2^1390373-1 is not prime. Res64: 86FF210910776AAF Time : 0.0 sec. user=mdettweiler [2015-02-05 09:01:49] 621*2^1390374-1 is not prime. Res64: 842386A19FFF15A1 Time : 0.0 sec. user=mdettweiler [2015-02-05 09:02:58] 711*2^1390374-1 is not prime. Res64: AAF58D572E298B0A Time : 0.0 sec. user=mdettweiler [2015-02-05 09:02:59] 851*2^1390374-1 is not prime. Res64: D5818A20C7EE4C4D Time : 0.0 sec. user=mdettweiler [2015-02-05 09:04:51] 885*2^1390374-1 is not prime. Res64: 0AA7E5FDFDF8C00F Time : 0.0 sec. user=mdettweiler [2015-02-05 09:04:52] 975*2^1390374-1 is not prime. Res64: 74C666F6D9DF0F04 Time : 0.0 sec. user=mdettweiler [2015-02-05 09:29:19] 661*2^1390375-1 is not prime. Res64: 2CA96FEC5A600B03 Time : 0.0 sec. user=mdettweiler [2015-02-05 09:29:20] 765*2^1390375-1 is not prime. Res64: A9CA782BF0A729D3 Time : 0.0 sec. user=mdettweiler [2015-02-05 09:30:09] 609*2^1390375-1 is not prime. Res64: 2AA4300FDB544C40 Time : 0.0 sec. user=mdettweiler [2015-02-05 09:30:10] 645*2^1390375-1 is not prime. Res64: 9CB75DCA6A9537B6 Time : 0.0 sec. user=mdettweiler [2015-02-05 09:30:15] 819*2^1390375-1 is not prime. Res64: EB4D6419379F60AF Time : 0.0 sec. user=mdettweiler [2015-02-05 09:30:18] 871*2^1390375-1 is not prime. Res64: BF227965E7E9F0B2 Time : 0.0 sec. user=mdettweiler [2015-02-05 09:31:58] 925*2^1390375-1 is not prime. Res64: C3B66E97BC1CF44B Time : 0.0 sec. user=mdettweiler [2015-02-05 09:31:58] 635*2^1390376-1 is not prime. Res64: 99130C8B3F8F9130 Time : 0.0 sec. user=mdettweiler [2015-02-05 09:56:12] 767*2^1390376-1 is not prime. Res64: 230F30DA5995B265 Time : 0.0 sec. user=mdettweiler [2015-02-05 09:56:13] 843*2^1390376-1 is not prime. Res64: 107816CA9691BDBB Time : 0.0 sec. user=mdettweiler [2015-02-05 09:57:32] 869*2^1390376-1 is not prime. Res64: 7610A643A3663985 Time : 0.0 sec. user=mdettweiler [2015-02-05 09:57:32] 935*2^1390376-1 is not prime. Res64: 7A0B5204808125A9 Time : 0.0 sec. user=mdettweiler [2015-02-05 09:57:37] 999*2^1390376-1 is not prime. Res64: D12B3E3D754605C2 Time : 0.0 sec. user=mdettweiler [2015-02-05 09:57:38] 649*2^1390377-1 is not prime. Res64: 29173E3094CD3383 Time : 0.0 sec. user=mdettweiler [2015-02-05 09:59:24] 805*2^1390377-1 is not prime. Res64: FE510ABF38A9416F Time : 0.0 sec. user=mdettweiler [2015-02-05 09:59:24] 817*2^1390377-1 is not prime. Res64: 1C96BCF9EA1B8F59 Time : 0.0 sec. user=mdettweiler [2015-02-05 10:23:30] 909*2^1390377-1 is not prime. Res64: 8B63FA74E7F62F3A Time : 0.0 sec. user=mdettweiler [2015-02-05 10:23:31] 919*2^1390377-1 is not prime. Res64: 553E79E975728166 Time : 0.0 sec. user=mdettweiler [2015-02-05 10:24:31] 911*2^1390378-1 is not prime. Res64: 783360F5EDE91772 Time : 0.0 sec. user=mdettweiler [2015-02-05 10:24:32] 915*2^1390378-1 is not prime. Res64: 08E115F424D8AFC9 Time : 0.0 sec. user=mdettweiler [2015-02-05 10:25:06] 603*2^1390378-1 is not prime. Res64: D372390110D964C3 Time : 0.0 sec. user=mdettweiler [2015-02-05 10:25:07] 647*2^1390378-1 is not prime. Res64: B76A8CB465F72C51 Time : 0.0 sec. user=mdettweiler [2015-02-05 10:26:26] 951*2^1390378-1 is not prime. Res64: 1B0166FAF69F2108 Time : 0.0 sec. user=mdettweiler [2015-02-05 10:26:27] 631*2^1390379-1 is not prime. Res64: FFDD37699B11C40B Time : 0.0 sec. user=mdettweiler [2015-02-05 10:50:26] 705*2^1390379-1 is not prime. Res64: E6DC0D6BD9166241 Time : 0.0 sec. user=mdettweiler [2015-02-05 10:50:27] 753*2^1390379-1 is not prime. Res64: E347B45BE5B6680D Time : 0.0 sec. user=mdettweiler [2015-02-05 10:51:39] 813*2^1390379-1 is not prime. Res64: 903D9BB61AF65A53 Time : 0.0 sec. user=mdettweiler [2015-02-05 10:51:40] 843*2^1390379-1 is not prime. Res64: 6ADF614882A7C4B6 Time : 0.0 sec. user=mdettweiler [2015-02-05 10:52:36] 855*2^1390379-1 is not prime. Res64: 12C449ADDBB57ADE Time : 0.0 sec. user=mdettweiler [2015-02-05 10:52:37] 859*2^1390379-1 is not prime. Res64: 931E06F526970546 Time : 0.0 sec. user=mdettweiler [2015-02-05 10:53:53] 969*2^1390379-1 is not prime. Res64: 3C07CF5CCD1430DA Time : 0.0 sec. user=mdettweiler [2015-02-05 10:53:54] 993*2^1390379-1 is not prime. Res64: E5627DE744ECFE98 Time : 0.0 sec. user=mdettweiler [2015-02-05 11:17:53] 633*2^1390380-1 is not prime. Res64: C5BCD7379CD269C6 Time : 0.0 sec. user=mdettweiler [2015-02-05 11:17:54] 725*2^1390380-1 is not prime. Res64: 0E8B53FBDDB6378E Time : 0.0 sec. user=mdettweiler [2015-02-05 11:18:41] 759*2^1390380-1 is not prime. Res64: BC92BBD3A02D53F3 Time : 0.0 sec. user=mdettweiler [2015-02-05 11:18:41] 783*2^1390380-1 is not prime. Res64: 400BFD60C4EFAD2E Time : 0.0 sec. user=mdettweiler [2015-02-05 11:19:50] 983*2^1390380-1 is not prime. Res64: B43F058D6481E277 Time : 0.0 sec. user=mdettweiler [2015-02-05 11:19:50] 625*2^1390381-1 is not prime. Res64: B76C40ED042E63C0 Time : 0.0 sec. user=mdettweiler [2015-02-05 11:21:10] 687*2^1390381-1 is not prime. Res64: 1D07EDFD39AFCDA3 Time : 0.0 sec. user=mdettweiler [2015-02-05 11:21:10] 727*2^1390381-1 is not prime. Res64: 2968ACB145440421 Time : 0.0 sec. user=mdettweiler [2015-02-05 11:44:25] 751*2^1390381-1 is not prime. Res64: 3F508D27575B0CEC Time : 0.0 sec. user=mdettweiler [2015-02-05 11:44:26] 777*2^1390381-1 is not prime. Res64: B153DA00EC17888D Time : 0.0 sec. user=mdettweiler [2015-02-05 11:45:34] 635*2^1390382-1 is not prime. Res64: 087E6BFE4AD98195 Time : 0.0 sec. user=mdettweiler [2015-02-05 11:45:35] 651*2^1390382-1 is not prime. Res64: B20EC75080899206 Time : 0.0 sec. user=mdettweiler [2015-02-05 11:46:45] 671*2^1390382-1 is not prime. Res64: 3E0BFB2DC8238F44 Time : 0.0 sec. user=mdettweiler [2015-02-05 11:46:46] 741*2^1390382-1 is not prime. Res64: C09C59617C0E3CFA Time : 0.0 sec. user=mdettweiler [2015-02-05 11:47:38] 785*2^1390382-1 is not prime. Res64: 01DE771AD5562C22 Time : 0.0 sec. user=mdettweiler [2015-02-05 11:47:39] 797*2^1390382-1 is not prime. Res64: 18EBAAEE24DFABA0 Time : 0.0 sec. user=mdettweiler [2015-02-05 12:10:46] 1001*2^1390382-1 is not prime. Res64: 1CBF438CF8F0FAC5 Time : 0.0 sec. user=mdettweiler [2015-02-05 12:10:47] 703*2^1390383-1 is not prime. Res64: 3800AE8779CB5C8B Time : 0.0 sec. user=mdettweiler [2015-02-05 12:11:51] 723*2^1390383-1 is not prime. Res64: B24CBDF3A9A42F5D Time : 0.0 sec. user=mdettweiler [2015-02-05 12:11:52] 963*2^1390383-1 is not prime. Res64: C4784B02C2D512E6 Time : 0.0 sec. user=mdettweiler [2015-02-05 12:13:03] 973*2^1390383-1 is not prime. Res64: 2920671F826F03A7 Time : 0.0 sec. user=mdettweiler [2015-02-05 12:13:04] 623*2^1390384-1 is not prime. Res64: 787A90D3A5761422 Time : 0.0 sec. user=mdettweiler [2015-02-05 12:14:00] 639*2^1390384-1 is not prime. Res64: B12A85CCF9A35C9D Time : 0.0 sec. user=mdettweiler [2015-02-05 12:14:01] 843*2^1390384-1 is not prime. Res64: B2C6C05114453345 Time : 0.0 sec. user=mdettweiler [2015-02-05 12:37:35] 869*2^1390384-1 is not prime. Res64: DF15E0BD05FD3EE2 Time : 0.0 sec. user=mdettweiler [2015-02-05 12:37:36] 897*2^1390384-1 is not prime. Res64: 8EA21A9689B5D006 Time : 0.0 sec. user=mdettweiler [2015-02-05 12:38:38] 939*2^1390384-1 is not prime. Res64: 42925F81372EBFE3 Time : 0.0 sec. user=mdettweiler [2015-02-05 12:38:39] 657*2^1390385-1 is not prime. Res64: 05E622BFB53A6D50 Time : 0.0 sec. user=mdettweiler [2015-02-05 12:39:49] 691*2^1390385-1 is not prime. Res64: CDAC9D3FFB8D50DA Time : 0.0 sec. user=mdettweiler [2015-02-05 12:39:50] 705*2^1390385-1 is not prime. Res64: B26065B66DD6E650 Time : 0.0 sec. user=mdettweiler [2015-02-05 12:40:54] 777*2^1390385-1 is not prime. Res64: 431CFB1870B393F0 Time : 0.0 sec. user=mdettweiler [2015-02-05 12:40:55] 841*2^1390385-1 is not prime. Res64: BBF36BE84AF4665A Time : 0.0 sec. user=mdettweiler [2015-02-05 13:08:44] 865*2^1390385-1 is not prime. Res64: 0F04A56C7286D08F Time : 0.0 sec. user=mdettweiler [2015-02-05 13:08:44] 981*2^1390385-1 is not prime. Res64: 893953D22C0CE6E0 Time : 0.0 sec. user=mdettweiler [2015-02-05 13:10:58] 657*2^1390386-1 is not prime. Res64: 557CA7CE43689D08 Time : 0.0 sec. user=mdettweiler [2015-02-05 13:10:59] 683*2^1390386-1 is not prime. Res64: 1B9DC124E08E0229 Time : 0.0 sec. user=mdettweiler [2015-02-05 13:13:12] 711*2^1390386-1 is not prime. Res64: EBC14C97699890B4 Time : 0.0 sec. user=mdettweiler [2015-02-05 13:13:13] 735*2^1390386-1 is not prime. Res64: 69230DEA843CE4AB Time : 0.0 sec. user=mdettweiler [2015-02-05 13:14:35] 765*2^1390386-1 is not prime. Res64: ADFB77087355A176 Time : 0.0 sec. user=mdettweiler [2015-02-05 13:14:36] 807*2^1390386-1 is not prime. Res64: 0A35FEE9BBBE77B9 Time : 0.0 sec. user=mdettweiler [2015-02-05 13:42:18] 917*2^1390386-1 is not prime. Res64: FB4FBDEA158B4262 Time : 0.0 sec. user=mdettweiler [2015-02-05 13:42:18] 971*2^1390386-1 is not prime. Res64: 94CA54441C904449 Time : 0.0 sec. user=mdettweiler [2015-02-05 13:43:41] 699*2^1390387-1 is not prime. Res64: A9B5CAF4D40188AB Time : 0.0 sec. user=mdettweiler [2015-02-05 13:43:42] 861*2^1390387-1 is not prime. Res64: EB3BD3E8F65E0727 Time : 0.0 sec. user=mdettweiler [2015-02-05 13:45:22] 871*2^1390387-1 is not prime. Res64: 97E5367BB55DFB79 Time : 0.0 sec. user=mdettweiler [2015-02-05 13:45:22] 891*2^1390387-1 is not prime. Res64: 1D3F975A7AF98060 Time : 0.0 sec. user=mdettweiler [2015-02-05 13:46:03] 975*2^1390387-1 is not prime. Res64: 4E8EB7511268F110 Time : 0.0 sec. user=mdettweiler [2015-02-05 13:46:03] 683*2^1390388-1 is not prime. Res64: 15AB461B97906B2F Time : 0.0 sec. user=mdettweiler [2015-02-05 14:08:14] 707*2^1390388-1 is not prime. Res64: 605FBAC3294ACCF8 Time : 0.0 sec. user=mdettweiler [2015-02-05 14:08:15] 885*2^1390388-1 is not prime. Res64: C404414EE1222097 Time : 0.0 sec. user=mdettweiler [2015-02-05 14:09:29] 625*2^1390389-1 is not prime. Res64: E72F631E850E64A8 Time : 0.0 sec. user=mdettweiler [2015-02-05 14:09:30] 657*2^1390389-1 is not prime. Res64: E97892333384DB1B Time : 0.0 sec. user=mdettweiler [2015-02-05 14:11:13] 751*2^1390389-1 is not prime. Res64: 64DA54940F18576A Time : 0.0 sec. user=mdettweiler [2015-02-05 14:11:13] 837*2^1390389-1 is not prime. Res64: AA2EB4F3FF24581F Time : 0.0 sec. user=mdettweiler [2015-02-05 14:11:52] 895*2^1390389-1 is not prime. Res64: 32F3A7B8A02D610A Time : 0.0 sec. user=mdettweiler [2015-02-05 14:11:52] 955*2^1390389-1 is not prime. Res64: A2BD2BADF976C1B0 Time : 0.0 sec. user=mdettweiler [2015-02-05 14:36:22] 961*2^1390389-1 is not prime. Res64: 219129CD348B41B3 Time : 0.0 sec. user=mdettweiler [2015-02-05 14:36:22] 991*2^1390389-1 is not prime. Res64: FA30A74D8A47A3C6 Time : 0.0 sec. user=mdettweiler [2015-02-05 14:37:48] 611*2^1390390-1 is not prime. Res64: 0617B65B7783F127 Time : 0.0 sec. user=mdettweiler [2015-02-05 14:37:48] 651*2^1390390-1 is not prime. Res64: 5FCAFB23E1E36292 Time : 0.0 sec. user=mdettweiler [2015-02-05 14:40:41] 755*2^1390390-1 is not prime. Res64: EE56C8163B1A9594 Time : 0.0 sec. user=mdettweiler [2015-02-05 14:40:41] 761*2^1390390-1 is not prime. Res64: 62F3DAA10031E213 Time : 0.0 sec. user=mdettweiler [2015-02-05 14:42:57] 777*2^1390390-1 is not prime. Res64: 2C0A2D53AE5ED215 Time : 0.0 sec. user=mdettweiler [2015-02-05 14:42:58] 791*2^1390390-1 is not prime. Res64: 6B32EF347F34D385 Time : 0.0 sec. user=mdettweiler [2015-02-05 15:09:35] 975*2^1390390-1 is not prime. Res64: B5719A6C76744016 Time : 0.0 sec. user=mdettweiler [2015-02-05 15:09:35] 651*2^1390391-1 is not prime. Res64: 4D4A6FA41146B76D Time : 0.0 sec. user=mdettweiler [2015-02-05 15:10:17] 693*2^1390391-1 is not prime. Res64: CBF3C32236181E0B Time : 0.0 sec. user=mdettweiler [2015-02-05 15:10:18] 703*2^1390391-1 is not prime. Res64: 2D6602024483FA94 Time : 0.0 sec. user=mdettweiler [2015-02-05 15:11:57] 715*2^1390391-1 is not prime. Res64: BEFF96C2DED7D3AF Time : 0.0 sec. user=mdettweiler [2015-02-05 15:11:57] 775*2^1390391-1 is not prime. Res64: BF1112D415B97CFF Time : 0.0 sec. user=mdettweiler [2015-02-05 15:13:07] 629*2^1390392-1 is not prime. Res64: 22B524AD28C3E3B3 Time : 0.0 sec. user=mdettweiler [2015-02-05 15:13:07] 765*2^1390392-1 is not prime. Res64: F997715F937C7164 Time : 0.0 sec. user=juhehe [2015-02-05 15:19:56] 901*2^1390391-1 is not prime. Res64: DD0D49020C2B272D Time : 0.0 sec. user=mdettweiler [2015-02-05 15:36:28] 797*2^1390392-1 is not prime. Res64: 1C0F87C950E6CB82 Time : 0.0 sec. user=mdettweiler [2015-02-05 15:36:28] 957*2^1390392-1 is not prime. Res64: AA26E0C4E11573DC Time : 0.0 sec. user=mdettweiler [2015-02-05 15:37:17] 855*2^1390393-1 is not prime. Res64: CFABC1D7E6BDB155 Time : 0.0 sec. user=mdettweiler [2015-02-05 15:37:18] 889*2^1390393-1 is not prime. Res64: 4F7A970529810CC8 Time : 0.0 sec. user=mdettweiler [2015-02-05 15:38:45] 623*2^1390394-1 is not prime. Res64: D2E4520B19FD0384 Time : 0.0 sec. user=mdettweiler [2015-02-05 15:38:46] 633*2^1390394-1 is not prime. Res64: E44ADFC422C506CB Time : 0.0 sec. user=mdettweiler [2015-02-05 15:39:54] 675*2^1390394-1 is not prime. Res64: 425A95CA1404B5B3 Time : 0.0 sec. user=mdettweiler [2015-02-05 15:39:54] 677*2^1390394-1 is not prime. Res64: 2FC061FCD7B26887 Time : 0.0 sec. user=mdettweiler [2015-02-05 16:03:09] 717*2^1390394-1 is not prime. Res64: C6DEC4BF1B8BF6F7 Time : 0.0 sec. user=mdettweiler [2015-02-05 16:03:10] 837*2^1390394-1 is not prime. Res64: D94C57CB80601673 Time : 0.0 sec. user=mdettweiler [2015-02-05 16:03:45] 861*2^1390394-1 is not prime. Res64: BF693A5E133EBABF Time : 0.0 sec. user=mdettweiler [2015-02-05 16:03:46] 971*2^1390394-1 is not prime. Res64: 5ECE33738530588C Time : 0.0 sec. user=mdettweiler [2015-02-05 16:05:16] 1001*2^1390394-1 is not prime. Res64: 4A3E2F4B39B1F0D1 Time : 0.0 sec. user=mdettweiler [2015-02-05 16:05:17] 609*2^1390395-1 is not prime. Res64: D3B715F339BDF154 Time : 0.0 sec. user=mdettweiler [2015-02-05 16:06:38] 679*2^1390395-1 is not prime. Res64: FC2E4DC5D7649AFD Time : 0.0 sec. user=mdettweiler [2015-02-05 16:06:38] 711*2^1390395-1 is not prime. Res64: 3C680509150EC3E9 Time : 0.0 sec. user=mdettweiler [2015-02-05 16:30:14] 741*2^1390395-1 is not prime. Res64: FBB9FB5467566864 Time : 0.0 sec. user=mdettweiler [2015-02-05 16:30:15] 795*2^1390395-1 is not prime. Res64: B88A60BB919A0634 Time : 0.0 sec. user=mdettweiler [2015-02-05 16:30:22] 919*2^1390395-1 is not prime. Res64: 77E5C42F06ADE52A Time : 0.0 sec. user=mdettweiler [2015-02-05 16:30:22] 623*2^1390396-1 is not prime. Res64: 6D147A2F14087157 Time : 0.0 sec. user=mdettweiler [2015-02-05 16:31:46] 663*2^1390396-1 is not prime. Res64: 07D3AC8D1F7A0371 Time : 0.0 sec. user=mdettweiler [2015-02-05 16:31:46] 677*2^1390396-1 is not prime. Res64: E180A0362146A32B Time : 0.0 sec. user=mdettweiler [2015-02-05 16:33:05] 717*2^1390396-1 is not prime. Res64: 639B1C0C3D8999D9 Time : 0.0 sec. user=mdettweiler [2015-02-05 16:33:06] 833*2^1390396-1 is not prime. Res64: 0BD309290AA3FB1D Time : 0.0 sec. user=mdettweiler [2015-02-05 16:56:49] 869*2^1390396-1 is not prime. Res64: 16903E753CAB4122 Time : 0.0 sec. user=mdettweiler [2015-02-05 16:56:50] 875*2^1390396-1 is not prime. Res64: 8F35D676296013B6 Time : 0.0 sec. user=mdettweiler [2015-02-05 16:57:04] 993*2^1390396-1 is not prime. Res64: 3C5999DFA9752200 Time : 0.0 sec. user=mdettweiler [2015-02-05 16:57:04] 621*2^1390397-1 is not prime. Res64: C812CDC7F6198F3C Time : 0.0 sec. user=mdettweiler [2015-02-05 16:58:19] 685*2^1390397-1 is not prime. Res64: AA0AF839ABBC461D Time : 0.0 sec. user=mdettweiler [2015-02-05 16:58:19] 727*2^1390397-1 is not prime. Res64: 8BE723F0A7939625 Time : 0.0 sec. user=mdettweiler [2015-02-05 16:59:42] 757*2^1390397-1 is not prime. Res64: 8AD9F08E18582B7B Time : 0.0 sec. user=mdettweiler [2015-02-05 16:59:42] 759*2^1390397-1 is not prime. Res64: 24D5CB6F1E4F33F0 Time : 0.0 sec. user=mdettweiler [2015-02-05 17:23:37] 771*2^1390397-1 is not prime. Res64: 877838976996429E Time : 0.0 sec. user=mdettweiler [2015-02-05 17:23:37] 979*2^1390397-1 is not prime. Res64: A8A0FADF27F724CC Time : 0.0 sec. user=mdettweiler [2015-02-05 17:23:37] 927*2^1390397-1 is not prime. Res64: 54633C5B6A7B177F Time : 0.0 sec. user=mdettweiler [2015-02-05 17:23:37] 985*2^1390397-1 is not prime. Res64: B4932CFF64691B13 Time : 0.0 sec. user=mdettweiler [2015-02-05 17:24:57] 615*2^1390398-1 is not prime. Res64: A61973992CAA65A5 Time : 0.0 sec. user=mdettweiler [2015-02-05 17:24:57] 635*2^1390398-1 is not prime. Res64: D63D888B3D806BE1 Time : 0.0 sec. user=mdettweiler [2015-02-05 17:26:19] 693*2^1390398-1 is not prime. Res64: 067F95EE7FD9D732 Time : 0.0 sec. user=mdettweiler [2015-02-05 17:26:20] 797*2^1390398-1 is not prime. Res64: 474ACEA22160B550 Time : 0.0 sec. user=mdettweiler [2015-02-05 17:51:56] 801*2^1390398-1 is not prime. Res64: 714DB22FE489AFBC Time : 0.0 sec. user=mdettweiler [2015-02-05 17:51:56] 963*2^1390398-1 is not prime. Res64: 9E809D12044C3EF3 Time : 0.0 sec. user=mdettweiler [2015-02-05 17:51:58] 601*2^1390399-1 is not prime. Res64: C290E595A6374907 Time : 0.0 sec. user=mdettweiler [2015-02-05 17:51:58] 633*2^1390399-1 is not prime. Res64: 60688F6CF3183452 Time : 0.0 sec. user=mdettweiler [2015-02-05 17:53:16] 729*2^1390399-1 is not prime. Res64: A25701866D8D911E Time : 0.0 sec. user=mdettweiler [2015-02-05 17:53:16] 793*2^1390399-1 is not prime. Res64: 25DF15AAB699EAAB Time : 0.0 sec. user=mdettweiler [2015-02-05 17:54:57] 843*2^1390399-1 is not prime. Res64: 37776E37E8DF24D9 Time : 0.0 sec. user=mdettweiler [2015-02-05 17:54:58] 861*2^1390399-1 is not prime. Res64: 378041E1FCA5B027 Time : 0.0 sec. user=mdettweiler [2015-02-05 18:20:04] 891*2^1390399-1 is not prime. Res64: 80F4616C420E3279 Time : 0.0 sec. user=mdettweiler [2015-02-05 18:20:04] 919*2^1390399-1 is not prime. Res64: 8F08167D425F8AAE Time : 0.0 sec. user=mdettweiler [2015-02-05 18:20:23] 943*2^1390399-1 is not prime. Res64: 01815C169ECC43D0 Time : 0.0 sec. user=mdettweiler [2015-02-05 18:20:24] 677*2^1390400-1 is not prime. Res64: FB55A413B59AC9C7 Time : 0.0 sec. user=mdettweiler [2015-02-05 18:21:03] 825*2^1390400-1 is not prime. Res64: 25898A6E8D06CCC1 Time : 0.0 sec. user=mdettweiler [2015-02-05 18:21:03] 845*2^1390400-1 is not prime. Res64: A314688E86CCE47B Time : 0.0 sec. user=mdettweiler [2015-02-05 18:23:30] 923*2^1390400-1 is not prime. Res64: A7E306658AA41AEB Time : 0.0 sec. user=mdettweiler [2015-02-05 18:23:30] 963*2^1390400-1 is not prime. Res64: D7314C5CC96AC054 Time : 0.0 sec. user=mdettweiler [2015-02-05 18:48:33] 627*2^1390401-1 is not prime. Res64: 00D1C5E5EE2687DF Time : 0.0 sec. user=mdettweiler [2015-02-05 18:48:33] 637*2^1390401-1 is not prime. Res64: 8960F199649A46D7 Time : 0.0 sec. user=mdettweiler [2015-02-05 18:48:37] 995*2^1390400-1 is not prime. Res64: 9253B4403614FF57 Time : 0.0 sec. user=mdettweiler [2015-02-05 18:48:37] 601*2^1390401-1 is not prime. Res64: CEC4E23DD8672274 Time : 0.0 sec. user=mdettweiler [2015-02-05 18:49:30] 651*2^1390401-1 is not prime. Res64: 7271D838F6D14335 Time : 0.0 sec. user=mdettweiler [2015-02-05 18:49:30] 669*2^1390401-1 is not prime. Res64: 715F226400B7873E Time : 0.0 sec. user=mdettweiler [2015-02-05 18:51:46] 889*2^1390401-1 is not prime. Res64: 1C804E2B80D432BB Time : 0.0 sec. user=mdettweiler [2015-02-05 18:51:46] 999*2^1390401-1 is not prime. Res64: E472CB0552B0EFF7 Time : 0.0 sec. user=mdettweiler [2015-02-05 19:15:11] 737*2^1390402-1 is not prime. Res64: A7A1E309F7FC24CB Time : 0.0 sec. user=mdettweiler [2015-02-05 19:15:12] 917*2^1390402-1 is not prime. Res64: 68E58F6E9B79E860 Time : 0.0 sec. user=mdettweiler [2015-02-05 19:15:13] 657*2^1390402-1 is not prime. Res64: 6602A3225FC7FCF7 Time : 0.0 sec. user=mdettweiler [2015-02-05 19:15:14] 677*2^1390402-1 is not prime. Res64: 00F05519FE443BCD Time : 0.0 sec. user=mdettweiler [2015-02-05 19:16:09] 923*2^1390402-1 is not prime. Res64: 044CEFC09B5772B3 Time : 0.0 sec. user=mdettweiler [2015-02-05 19:16:10] 947*2^1390402-1 is not prime. Res64: B6DC0D967DFE4DD6 Time : 0.0 sec. user=mdettweiler [2015-02-05 19:18:25] 675*2^1390403-1 is not prime. Res64: 7F71D2E3C3868960 Time : 0.0 sec. user=mdettweiler [2015-02-05 19:18:26] 775*2^1390403-1 is not prime. Res64: 331152886C3E1AC1 Time : 0.0 sec. user=mdettweiler [2015-02-05 19:41:11] 781*2^1390403-1 is not prime. Res64: B3999ADADF15DA61 Time : 0.0 sec. user=mdettweiler [2015-02-05 19:41:11] 811*2^1390403-1 is not prime. Res64: 3129F1D0EA44ED0E Time : 0.0 sec. user=mdettweiler [2015-02-05 19:41:12] 955*2^1390403-1 is not prime. Res64: 2F3D04A45EEFAD47 Time : 0.0 sec. user=mdettweiler [2015-02-05 19:41:13] 629*2^1390404-1 is not prime. Res64: 586E4CFF7E7E0488 Time : 0.0 sec. user=mdettweiler [2015-02-05 19:41:56] 689*2^1390404-1 is not prime. Res64: 5F9C3E6229244CA0 Time : 0.0 sec. user=mdettweiler [2015-02-05 19:41:57] 693*2^1390404-1 is not prime. Res64: DC927F182EC1ADF1 Time : 0.0 sec. user=mdettweiler [2015-02-05 19:44:17] 789*2^1390404-1 is not prime. Res64: 14F1E967C9B8A2F8 Time : 0.0 sec. user=mdettweiler [2015-02-05 19:44:17] 809*2^1390404-1 is not prime. Res64: DDEEED52DFC50F8D Time : 0.0 sec. user=mdettweiler [2015-02-05 20:07:12] 969*2^1390404-1 is not prime. Res64: 9B51F4BF71D8579D Time : 0.0 sec. user=mdettweiler [2015-02-05 20:07:12] 975*2^1390404-1 is not prime. Res64: 5E1B70C97F06A355 Time : 0.0 sec. user=mdettweiler [2015-02-05 20:07:29] 993*2^1390404-1 is not prime. Res64: BF803A42DA513913 Time : 0.0 sec. user=mdettweiler [2015-02-05 20:07:29] 717*2^1390405-1 is not prime. Res64: 68F0FA35A7514E90 Time : 0.0 sec. user=mdettweiler [2015-02-05 20:08:01] 721*2^1390405-1 is not prime. Res64: 48712D1DD4D59F4A Time : 0.0 sec. user=mdettweiler [2015-02-05 20:08:02] 799*2^1390405-1 is not prime. Res64: E368BCCB18567080 Time : 0.0 sec. user=mdettweiler [2015-02-05 20:10:16] 889*2^1390405-1 is not prime. Res64: 9FC1FDA0FE3A6364 Time : 0.0 sec. user=mdettweiler [2015-02-05 20:10:16] 939*2^1390405-1 is not prime. Res64: B66DB50A33027E7F Time : 0.0 sec. user=mdettweiler [2015-02-05 20:33:10] 615*2^1390406-1 is not prime. Res64: 0E5DFD6F017F00D4 Time : 0.0 sec. user=mdettweiler [2015-02-05 20:33:10] 657*2^1390406-1 is not prime. Res64: 3761EFC4618741D1 Time : 0.0 sec. user=mdettweiler [2015-02-05 20:33:23] 693*2^1390406-1 is not prime. Res64: C3BB98E7060CD9E1 Time : 0.0 sec. user=mdettweiler [2015-02-05 20:33:23] 743*2^1390406-1 is not prime. Res64: 7BAB616B9131FBB0 Time : 0.0 sec. user=mdettweiler [2015-02-05 20:33:53] 801*2^1390406-1 is not prime. Res64: E9608CB612954410 Time : 0.0 sec. user=mdettweiler [2015-02-05 20:33:54] 827*2^1390406-1 is not prime. Res64: A69FEBBF55B96F97 Time : 0.0 sec. user=mdettweiler [2015-02-05 20:36:09] 867*2^1390406-1 is not prime. Res64: EF4338A37DDC677A Time : 0.0 sec. user=mdettweiler [2015-02-05 20:36:09] 911*2^1390406-1 is not prime. Res64: 119C7C66DD2FC96E Time : 0.0 sec. user=mdettweiler [2015-02-05 20:59:16] 923*2^1390406-1 is not prime. Res64: C0D252C2D88DF5E6 Time : 0.0 sec. user=mdettweiler [2015-02-05 20:59:17] 935*2^1390406-1 is not prime. Res64: D0A21B172716C4C2 Time : 0.0 sec. user=mdettweiler [2015-02-05 20:59:30] 945*2^1390406-1 is not prime. Res64: 878926CBBE7AA4F8 Time : 0.0 sec. user=mdettweiler [2015-02-05 20:59:31] 971*2^1390406-1 is not prime. Res64: DA8285A7AB0CEDB0 Time : 0.0 sec. user=mdettweiler [2015-02-05 20:59:55] 633*2^1390407-1 is not prime. Res64: B81DAFB75E487914 Time : 0.0 sec. user=mdettweiler [2015-02-05 20:59:56] 765*2^1390407-1 is not prime. Res64: 70D6D946908E9214 Time : 0.0 sec. user=mdettweiler [2015-02-05 21:02:05] 819*2^1390407-1 is not prime. Res64: 8CA2CD2F9D018FFA Time : 0.0 sec. user=mdettweiler [2015-02-05 21:02:05] 865*2^1390407-1 is not prime. Res64: E9B319464DC016BC Time : 0.0 sec. user=mdettweiler [2015-02-05 21:25:23] 743*2^1390408-1 is not prime. Res64: 25BB9C32C3769B4D Time : 0.0 sec. user=mdettweiler [2015-02-05 21:25:23] 827*2^1390408-1 is not prime. Res64: F63014ABBC7E7E10 Time : 0.0 sec. user=mdettweiler [2015-02-05 21:25:44] 833*2^1390408-1 is not prime. Res64: 10C0B6CA296725F9 Time : 0.0 sec. user=mdettweiler [2015-02-05 21:25:45] 727*2^1390409-1 is not prime. Res64: 50AE5825DC16A17A Time : 0.0 sec. user=mdettweiler [2015-02-05 21:25:55] 759*2^1390409-1 is not prime. Res64: 542B8F609255F411 Time : 0.0 sec. user=mdettweiler [2015-02-05 21:25:55] 867*2^1390409-1 is not prime. Res64: FFB88C31BA5D02F1 Time : 0.0 sec. user=mdettweiler [2015-02-05 21:28:13] 909*2^1390409-1 is not prime. Res64: AEB360B4B7497A68 Time : 0.0 sec. user=mdettweiler [2015-02-05 21:28:13] 641*2^1390410-1 is not prime. Res64: A86B491EDDB7AF3A Time : 0.0 sec. user=mdettweiler [2015-02-05 21:51:18] 963*2^1390410-1 is not prime. Res64: 1F771B9ADC949A30 Time : 0.0 sec. user=mdettweiler [2015-02-05 21:51:18] 603*2^1390411-1 is not prime. Res64: 527715431E23605D Time : 0.0 sec. user=mdettweiler [2015-02-05 21:51:37] 609*2^1390411-1 is not prime. Res64: C99446A44713220D Time : 0.0 sec. user=mdettweiler [2015-02-05 21:51:38] 619*2^1390411-1 is not prime. Res64: 99D926ABB8D1CAEA Time : 0.0 sec. user=mdettweiler [2015-02-05 21:51:50] 651*2^1390411-1 is not prime. Res64: 55DAA4260719011E Time : 0.0 sec. user=mdettweiler [2015-02-05 21:51:51] 685*2^1390411-1 is not prime. Res64: A98FF5238D9BD2F0 Time : 0.0 sec. user=mdettweiler [2015-02-05 21:54:16] 771*2^1390411-1 is not prime. Res64: A6EF2455D5C39990 Time : 0.0 sec. user=mdettweiler [2015-02-05 21:54:16] 805*2^1390411-1 is not prime. Res64: 207CDC00199A2747 Time : 0.0 sec. user=mdettweiler [2015-02-05 22:18:09] 827*2^1390412-1 is not prime. Res64: 4B4A70091DEB5E5D Time : 0.0 sec. user=mdettweiler [2015-02-05 22:18:10] 837*2^1390412-1 is not prime. Res64: C7246E731C0FBC71 Time : 0.0 sec. user=mdettweiler [2015-02-05 22:18:26] 915*2^1390412-1 is not prime. Res64: D277556B00172869 Time : 0.0 sec. user=mdettweiler [2015-02-05 22:18:27] 609*2^1390413-1 is not prime. Res64: 333ACBBE09B7EB81 Time : 0.0 sec. user=mdettweiler [2015-02-05 22:19:03] 621*2^1390413-1 is not prime. Res64: A112B7E95AE98B70 Time : 0.0 sec. user=mdettweiler [2015-02-05 22:19:03] 727*2^1390413-1 is not prime. Res64: A50C27209C1133EC Time : 0.0 sec. user=mdettweiler [2015-02-05 22:22:29] 789*2^1390413-1 is not prime. Res64: 9AF67F4888C1BBB1 Time : 0.0 sec. user=mdettweiler [2015-02-05 22:22:30] 871*2^1390413-1 is not prime. Res64: E31AC532FB88F8A0 Time : 0.0 sec. user=mdettweiler [2015-02-05 22:47:14] 611*2^1390414-1 is not prime. Res64: 30F7B10F63B885D3 Time : 0.0 sec. user=mdettweiler [2015-02-05 22:47:15] 765*2^1390414-1 is not prime. Res64: D0F5CBD87B5799EA Time : 0.0 sec. user=mdettweiler [2015-02-05 22:47:50] 951*2^1390413-1 is not prime. Res64: 07F2C5F8D37D55AA Time : 0.0 sec. user=mdettweiler [2015-02-05 22:47:51] 991*2^1390413-1 is not prime. Res64: A5A1CA4D2950EC26 Time : 0.0 sec. user=mdettweiler [2015-02-05 22:47:58] 813*2^1390414-1 is not prime. Res64: 045EE4AEE2ECEC9F Time : 0.0 sec. user=mdettweiler [2015-02-05 22:47:58] 815*2^1390414-1 is not prime. Res64: FBB1A41CE7E26DA5 Time : 0.0 sec. user=mdettweiler [2015-02-05 22:50:50] 833*2^1390414-1 is not prime. Res64: 0CB0BC92AC3CE84C Time : 0.0 sec. user=mdettweiler [2015-02-05 22:50:51] 863*2^1390414-1 is not prime. Res64: C35D6BB4A9878788 Time : 0.0 sec. user=mdettweiler [2015-02-05 23:14:08] 885*2^1390414-1 is not prime. Res64: A5627CC2012DCC75 Time : 0.0 sec. user=mdettweiler [2015-02-05 23:14:08] 693*2^1390415-1 is not prime. Res64: 85ECF5EB8BF64CB0 Time : 0.0 sec. user=mdettweiler [2015-02-05 23:14:29] 739*2^1390415-1 is not prime. Res64: 4604580FFB0D33B9 Time : 0.0 sec. user=mdettweiler [2015-02-05 23:14:30] 753*2^1390415-1 is not prime. Res64: 34C99A58C92D6697 Time : 0.0 sec. user=mdettweiler [2015-02-05 23:14:41] 913*2^1390415-1 is not prime. Res64: 41BA4FA5B1939E7C Time : 0.0 sec. user=mdettweiler [2015-02-05 23:14:41] 981*2^1390415-1 is not prime. Res64: 2F4A1B1071C26705 Time : 0.0 sec. user=mdettweiler [2015-02-05 23:17:28] 693*2^1390416-1 is not prime. Res64: 17AA90D5361DB3D9 Time : 0.0 sec. user=mdettweiler [2015-02-05 23:17:29] 705*2^1390416-1 is not prime. Res64: EFEEB7326DBCE16D Time : 0.0 sec. user=mdettweiler [2015-02-05 23:56:19] 685*2^1390417-1 is not prime. Res64: 5FC55EFF3F1356C8 Time : 0.0 sec. user=mdettweiler [2015-02-05 23:56:20] 751*2^1390417-1 is not prime. Res64: 88B8EAA0060A31C2 Time : 0.0 sec. user=mdettweiler [2015-02-05 23:57:47] 625*2^1390417-1 is not prime. Res64: 0AA4C917D518E037 Time : 0.0 sec. user=mdettweiler [2015-02-05 23:57:48] 645*2^1390417-1 is not prime. Res64: 847E95184FD152C2 Time : 0.0 sec. user=mdettweiler [2015-02-05 23:58:33] 725*2^1390416-1 is not prime. Res64: 5EC7E1595380E9D8 Time : 0.0 sec. user=mdettweiler [2015-02-05 23:58:33] 927*2^1390416-1 is not prime. Res64: 68DE652A6AA1A12A Time : 0.0 sec.