user=mdettweiler [2014-12-28 00:10:54] 937*2^1388133-1 is not prime. Res64: 0C73E3478A243195 Time : 0.0 sec. user=odicin [2014-12-28 00:10:55] 901*2^1388137-1 is not prime. Res64: 18758F051FC8F3CA Time : 0.0 sec. user=odicin [2014-12-28 00:11:09] 845*2^1388138-1 is not prime. Res64: 06EE99DDD2F979D1 Time : 0.0 sec. user=mdettweiler [2014-12-28 00:13:13] 685*2^1388137-1 is not prime. Res64: FF7DF0DF1289938C Time : 0.0 sec. user=mdettweiler [2014-12-28 00:13:14] 775*2^1388137-1 is not prime. Res64: EFCBAA79AEDF0C7C Time : 0.0 sec. user=odicin [2014-12-28 00:25:19] 927*2^1388138-1 is not prime. Res64: D7D0B3061B935157 Time : 0.0 sec. user=mdettweiler [2014-12-28 00:33:37] 993*2^1388134-1 is not prime. Res64: 968C7E001C3C167D Time : 0.0 sec. user=odicin [2014-12-28 00:39:07] 649*2^1388139-1 is not prime. Res64: D6648396A8A1F5D0 Time : 0.0 sec. user=mdettweiler [2014-12-28 00:41:33] 615*2^1388139-1 is not prime. Res64: 25C49DCAB39842B5 Time : 0.0 sec. user=mdettweiler [2014-12-28 00:41:34] 625*2^1388139-1 is not prime. Res64: 187ED192DAF63737 Time : 0.0 sec. user=odicin [2014-12-28 00:45:12] 675*2^1388139-1 is not prime. Res64: FA3EF632FDAC7A51 Time : 0.0 sec. user=odicin [2014-12-28 00:52:44] 675*2^1388140-1 is not prime. Res64: C71D0F8B2C1C0EB9 Time : 0.0 sec. user=odicin [2014-12-28 00:58:59] 845*2^1388140-1 is not prime. Res64: A4930CDF013C224D Time : 0.0 sec. user=mdettweiler [2014-12-28 01:01:04] 879*2^1388139-1 is not prime. Res64: D1AE34E9D7C8958F Time : 0.0 sec. user=mdettweiler [2014-12-28 01:09:54] 677*2^1388140-1 is not prime. Res64: 7467DE8BAF7DDE19 Time : 0.0 sec. user=mdettweiler [2014-12-28 01:09:55] 843*2^1388140-1 is not prime. Res64: 87EA1A5643D81095 Time : 0.0 sec. user=odicin [2014-12-28 01:12:25] 909*2^1388140-1 is not prime. Res64: CD92568C08A5B37F Time : 0.0 sec. user=odicin [2014-12-28 01:26:16] 651*2^1388141-1 is not prime. Res64: E0501D8DEF5885F0 Time : 0.0 sec. user=odicin [2014-12-28 01:27:50] 863*2^1388140-1 is not prime. Res64: F9AA3A8F81FDE0AF Time : 0.0 sec. user=mdettweiler [2014-12-28 01:35:52] 789*2^1388136-1 is not prime. Res64: 80D47C4ED54CD8CC Time : 0.0 sec. user=mdettweiler [2014-12-28 01:35:54] 845*2^1388136-1 is not prime. Res64: BDA88A0B4E4103D3 Time : 0.0 sec. user=mdettweiler [2014-12-28 01:37:33] 983*2^1388140-1 is not prime. Res64: 0F083E3A63C5FE09 Time : 0.0 sec. user=mdettweiler [2014-12-28 01:37:34] 989*2^1388140-1 is not prime. Res64: 11CC03C2DC9D8E6A Time : 0.0 sec. user=odicin [2014-12-28 01:39:48] 715*2^1388141-1 is not prime. Res64: 85888C72F2C1931A Time : 0.0 sec. user=odicin [2014-12-28 01:41:34] 741*2^1388141-1 is not prime. Res64: 78E2695C2A755FFF Time : 0.0 sec. user=odicin [2014-12-28 01:53:43] 615*2^1387874-1 is not prime. Res64: DB55D125FE8B586B Time : 0.0 sec. user=mdettweiler [2014-12-28 01:56:22] 745*2^1388141-1 is not prime. Res64: 16D8AC4CDF69BD09 Time : 0.0 sec. user=mdettweiler [2014-12-28 01:56:23] 757*2^1388141-1 is not prime. Res64: 12FD80DC281B73C3 Time : 0.0 sec. user=odicin [2014-12-28 02:22:08] 919*2^1388143-1 is not prime. Res64: D9E22EE084A4EAE6 Time : 0.0 sec. user=mdettweiler [2014-12-28 02:23:40] 705*2^1388142-1 is not prime. Res64: DAC5B7AF8D410676 Time : 0.0 sec. user=mdettweiler [2014-12-28 02:23:41] 957*2^1388142-1 is not prime. Res64: AC7A8442C4EF58CC Time : 0.0 sec. user=mdettweiler [2014-12-28 02:25:31] 969*2^1388139-1 is not prime. Res64: 061FAAAC93750DF1 Time : 0.0 sec. user=odicin [2014-12-28 02:26:37] 747*2^1387874-1 is not prime. Res64: C5B1839C2FA3B051 Time : 0.0 sec. user=odicin [2014-12-28 02:40:36] 861*2^1388143-1 is not prime. Res64: 2667FF2D5ACFF3D4 Time : 0.0 sec. user=mdettweiler [2014-12-28 02:50:44] 705*2^1388143-1 is not prime. Res64: F95B279B802BC20F Time : 0.0 sec. user=mdettweiler [2014-12-28 02:50:44] 723*2^1388143-1 is not prime. Res64: 5132A857FDA19550 Time : 0.0 sec. user=mdettweiler [2014-12-28 02:52:54] 741*2^1388143-1 is not prime. Res64: 7491151E1811D24B Time : 0.0 sec. user=mdettweiler [2014-12-28 02:52:55] 771*2^1388143-1 is not prime. Res64: E1F7E4F9299E263D Time : 0.0 sec. user=odicin [2014-12-28 02:54:30] 873*2^1388143-1 is not prime. Res64: DE2F1EC549902D57 Time : 0.0 sec. user=odicin [2014-12-28 02:57:08] 615*2^1388143-1 is not prime. Res64: 278565F628838348 Time : 0.0 sec. user=odicin [2014-12-28 03:08:24] 923*2^1388144-1 is not prime. Res64: 920C455A3AF7CBEA Time : 0.0 sec. user=odicin [2014-12-28 03:11:10] 765*2^1388145-1 is not prime. Res64: CD188C065A2A219E Time : 0.0 sec. user=mdettweiler [2014-12-28 03:16:14] 657*2^1388142-1 is not prime. Res64: DD74545CB1DA1B0A Time : 0.0 sec. user=mdettweiler [2014-12-28 03:16:15] 671*2^1388142-1 is not prime. Res64: 4F47E2D5225E51EA Time : 0.0 sec. user=mdettweiler [2014-12-28 03:17:48] 945*2^1388143-1 is not prime. Res64: C7F1C17F4319C12D Time : 0.0 sec. user=mdettweiler [2014-12-28 03:17:49] 629*2^1388144-1 is not prime. Res64: 4691D203E4D7A2AB Time : 0.0 sec. user=mdettweiler [2014-12-28 03:18:20] 907*2^1388141-1 is not prime. Res64: C2293507B8016C09 Time : 0.0 sec. user=mdettweiler [2014-12-28 03:18:20] 611*2^1388142-1 is not prime. Res64: A4B6A57ED0E6018F Time : 0.0 sec. user=mdettweiler [2014-12-28 03:21:38] 677*2^1388144-1 is not prime. Res64: D60AE8B8F1C03027 Time : 0.0 sec. user=mdettweiler [2014-12-28 03:21:38] 759*2^1388144-1 is not prime. Res64: 24B4EED82EC28927 Time : 0.0 sec. user=odicin [2014-12-28 03:23:02] 819*2^1388145-1 is not prime. Res64: 0D0053C9E05271EF Time : 0.0 sec. user=odicin [2014-12-28 03:26:00] 949*2^1388145-1 is not prime. Res64: 90B0391CA56D806B Time : 0.0 sec. user=odicin [2014-12-28 03:36:50] 675*2^1388147-1 is not prime. Res64: B06BAF6BDFB8EA15 Time : 0.0 sec. user=odicin [2014-12-28 03:39:41] 705*2^1388147-1 is not prime. Res64: 8702791E196F76C3 Time : 0.0 sec. user=mdettweiler [2014-12-28 03:42:18] 999*2^1388145-1 is not prime. Res64: 1F8EEE34CFA05DD7 Time : 0.0 sec. user=mdettweiler [2014-12-28 03:42:21] 611*2^1388146-1 is not prime. Res64: 13633DCB74735AB5 Time : 0.0 sec. user=mdettweiler [2014-12-28 03:44:30] 635*2^1388146-1 is not prime. Res64: AFF8768BB6F4D5D5 Time : 0.0 sec. user=mdettweiler [2014-12-28 03:44:32] 857*2^1388146-1 is not prime. Res64: 9785C39908CE8806 Time : 0.0 sec. user=mdettweiler [2014-12-28 03:44:33] 923*2^1388146-1 is not prime. Res64: C469101F3438A9B2 Time : 0.0 sec. user=odicin [2014-12-28 03:51:34] 741*2^1388147-1 is not prime. Res64: 287C0D1C23CA803B Time : 0.0 sec. user=odicin [2014-12-28 03:53:57] 799*2^1388147-1 is not prime. Res64: 2ECBE4365C1D317C Time : 0.0 sec. user=mdettweiler [2014-12-28 04:13:13] 931*2^1388147-1 is not prime. Res64: FD760CB65614CC69 Time : 0.0 sec. user=mdettweiler [2014-12-28 04:13:17] 615*2^1388148-1 is not prime. Res64: 20794C2C76E9B389 Time : 0.0 sec. user=odicin [2014-12-28 04:26:51] 629*2^1388148-1 is not prime. Res64: E3548474EA02E48A Time : 0.0 sec. user=odicin [2014-12-28 04:29:04] 669*2^1388148-1 is not prime. Res64: 34B37E57D2B39482 Time : 0.0 sec. user=odicin [2014-12-28 04:40:26] 777*2^1388148-1 is not prime. Res64: CD3EACA3F56E6225 Time : 0.0 sec. user=odicin [2014-12-28 04:42:37] 795*2^1388148-1 is not prime. Res64: D9755362F1CBDE8C Time : 0.0 sec. user=mdettweiler [2014-12-28 04:45:46] 735*2^1388148-1 is not prime. Res64: FDB45D46DE45F915 Time : 0.0 sec. user=mdettweiler [2014-12-28 04:45:46] 759*2^1388148-1 is not prime. Res64: 509D28B36504F9D7 Time : 0.0 sec. user=odicin [2014-12-28 05:14:38] 957*2^1388149-1 is not prime. Res64: 4024FF458E8EB78B Time : 0.0 sec. user=mdettweiler [2014-12-28 05:21:55] 839*2^1388148-1 is not prime. Res64: D3E2B19AF2E7606B Time : 0.0 sec. user=mdettweiler [2014-12-28 05:21:55] 625*2^1388149-1 is not prime. Res64: B34F7A300A55355F Time : 0.0 sec. user=mdettweiler [2014-12-28 05:22:35] 987*2^1388146-1 is not prime. Res64: 5F6911E7C19C53EA Time : 0.0 sec. user=mdettweiler [2014-12-28 05:22:36] 615*2^1388147-1 is not prime. Res64: 17A2E5D795CE4652 Time : 0.0 sec. user=odicin [2014-12-28 05:22:43] 793*2^1388151-1 is not prime. Res64: 744B850959CB6085 Time : 0.0 sec. user=odicin [2014-12-28 05:28:06] 753*2^1388150-1 is not prime. Res64: 83B0EE5BF6C819D8 Time : 0.0 sec. user=odicin [2014-12-28 05:36:11] 783*2^1388151-1 is not prime. Res64: D985DA742865AF5D Time : 0.0 sec. user=odicin [2014-12-28 05:41:36] 861*2^1388151-1 is not prime. Res64: 4A7CEAAEA6F3726B Time : 0.0 sec. user=mdettweiler [2014-12-28 05:42:35] 841*2^1388147-1 is not prime. Res64: 6EB879EA85D86620 Time : 0.0 sec. user=mdettweiler [2014-12-28 05:42:35] 885*2^1388147-1 is not prime. Res64: B81EB280EF531E0D Time : 0.0 sec. user=mdettweiler [2014-12-28 05:49:28] 791*2^1388150-1 is not prime. Res64: F0A0C900888F7F68 Time : 0.0 sec. user=mdettweiler [2014-12-28 05:49:29] 797*2^1388150-1 is not prime. Res64: 6EF12B1668BFB2F3 Time : 0.0 sec. user=odicin [2014-12-28 05:50:12] 871*2^1388151-1 is not prime. Res64: B44CA7EF63E5850E Time : 0.0 sec. user=mdettweiler [2014-12-28 05:51:17] 825*2^1388150-1 is not prime. Res64: 7D4D32E0FC3A1DCA Time : 0.0 sec. user=mdettweiler [2014-12-28 05:51:18] 941*2^1388150-1 is not prime. Res64: 583E39DBDAA3C061 Time : 0.0 sec. user=odicin [2014-12-28 05:55:45] 969*2^1388151-1 is not prime. Res64: 0F2FA7DB275E0945 Time : 0.0 sec. user=odicin [2014-12-28 06:03:45] 715*2^1388153-1 is not prime. Res64: 0AFD38F78DACA1BC Time : 0.0 sec. user=mdettweiler [2014-12-28 06:16:27] 909*2^1388152-1 is not prime. Res64: 87B643E5C0E1BBBD Time : 0.0 sec. user=mdettweiler [2014-12-28 06:16:28] 697*2^1388153-1 is not prime. Res64: BA0A744CBDBFD6F1 Time : 0.0 sec. user=mdettweiler [2014-12-28 06:18:10] 795*2^1388153-1 is not prime. Res64: FDC222440BF2273C Time : 0.0 sec. user=mdettweiler [2014-12-28 06:18:11] 819*2^1388153-1 is not prime. Res64: BB623BFE423D4306 Time : 0.0 sec. user=odicin [2014-12-28 06:18:38] 855*2^1388153-1 is not prime. Res64: 878F76B661ABD195 Time : 0.0 sec. user=mdettweiler [2014-12-28 06:26:30] 825*2^1388146-1 is not prime. Res64: E67BD232AA6077F9 Time : 0.0 sec. user=odicin [2014-12-28 06:31:38] 605*2^1388154-1 is not prime. Res64: 1A3C748828F42A17 Time : 0.0 sec. user=odicin [2014-12-28 06:33:14] 945*2^1388154-1 is not prime. Res64: E369F69EF13E416B Time : 0.0 sec. user=mdettweiler [2014-12-28 06:42:44] 889*2^1388153-1 is not prime. Res64: 16CC99DCC9878962 Time : 0.0 sec. user=mdettweiler [2014-12-28 06:42:45] 967*2^1388153-1 is not prime. Res64: 00876A637085F748 Time : 0.0 sec. user=mdettweiler [2014-12-28 06:44:46] 797*2^1388154-1 is not prime. Res64: B3611D0E2FB1CA95 Time : 0.0 sec. user=mdettweiler [2014-12-28 06:44:47] 917*2^1388154-1 is not prime. Res64: 9530254E47A3BE36 Time : 0.0 sec. user=mdettweiler [2014-12-28 06:52:46] 645*2^1388155-1 is not prime. Res64: 0B3682FA0F7A0CD5 Time : 0.0 sec. user=mdettweiler [2014-12-28 06:52:46] 649*2^1388155-1 is not prime. Res64: F6FD40333D69FE7D Time : 0.0 sec. user=mdettweiler [2014-12-28 07:09:00] 841*2^1388155-1 is not prime. Res64: 475C8222FD6D4CD6 Time : 0.0 sec. user=mdettweiler [2014-12-28 07:09:01] 861*2^1388155-1 is not prime. Res64: 9119772F7E2C8F52 Time : 0.0 sec. user=mdettweiler [2014-12-28 07:10:54] 909*2^1388155-1 is not prime. Res64: EA6B21496E258E7B Time : 0.0 sec. user=mdettweiler [2014-12-28 07:10:55] 951*2^1388155-1 is not prime. Res64: BAC88A8B4F088BB8 Time : 0.0 sec. user=mdettweiler [2014-12-28 07:18:51] 979*2^1388155-1 is not prime. Res64: CD7741163955D69A Time : 0.0 sec. user=mdettweiler [2014-12-28 07:18:51] 999*2^1388155-1 is not prime. Res64: B295AF5C73EF852B Time : 0.0 sec. user=mdettweiler [2014-12-28 07:26:00] 743*2^1388152-1 is not prime. Res64: 1160A05D1D8BA5AC Time : 0.0 sec. user=mdettweiler [2014-12-28 07:35:37] 767*2^1388156-1 is not prime. Res64: F48C5ADA16DC84A2 Time : 0.0 sec. user=mdettweiler [2014-12-28 07:37:06] 845*2^1388156-1 is not prime. Res64: 14423FA23A8D6177 Time : 0.0 sec. user=mdettweiler [2014-12-28 07:37:07] 963*2^1388156-1 is not prime. Res64: BCE1650F39573733 Time : 0.0 sec. user=mdettweiler [2014-12-28 07:45:09] 661*2^1388157-1 is not prime. Res64: 226183806814E92C Time : 0.0 sec. user=mdettweiler [2014-12-28 07:45:09] 741*2^1388157-1 is not prime. Res64: 87F410AD9A012160 Time : 0.0 sec. user=mdettweiler [2014-12-28 08:03:51] 751*2^1388157-1 is not prime. Res64: D7E0A93AB38960C1 Time : 0.0 sec. user=mdettweiler [2014-12-28 08:03:53] 759*2^1388157-1 is not prime. Res64: 1B7CFDC2BDFC46BE Time : 0.0 sec. user=mdettweiler [2014-12-28 08:11:55] 795*2^1388157-1 is not prime. Res64: F831B05E86BC31BF Time : 0.0 sec. user=mdettweiler [2014-12-28 08:11:56] 865*2^1388157-1 is not prime. Res64: F1A3B30308869274 Time : 0.0 sec. user=juhehe [2014-12-28 08:27:14] 885*2^1388115-1 is not prime. Res64: 854481DEBCCD36C6 Time : 0.0 sec. user=mdettweiler [2014-12-28 08:30:09] 789*2^1388156-1 is not prime. Res64: 2597AC94CA1283B6 Time : 0.0 sec. user=mdettweiler [2014-12-28 08:31:15] 871*2^1388157-1 is not prime. Res64: 591F3A27C8E4BF37 Time : 0.0 sec. user=mdettweiler [2014-12-28 08:31:16] 647*2^1388158-1 is not prime. Res64: F637BBFBA060B10F Time : 0.0 sec. user=mdettweiler [2014-12-28 08:36:20] 903*2^1388152-1 is not prime. Res64: FF2C2553580C751C Time : 0.0 sec. user=mdettweiler [2014-12-28 08:38:46] 671*2^1388158-1 is not prime. Res64: 2D717DF1A40A469B Time : 0.0 sec. user=mdettweiler [2014-12-28 08:38:47] 687*2^1388158-1 is not prime. Res64: 3B021F7D5C6DFA48 Time : 0.0 sec. user=mdettweiler [2014-12-28 08:56:08] 705*2^1388158-1 is not prime. Res64: 5A82204CCCB6BD99 Time : 0.0 sec. user=mdettweiler [2014-12-28 08:56:08] 737*2^1388158-1 is not prime. Res64: E4A31827375217A1 Time : 0.0 sec. user=mdettweiler [2014-12-28 08:57:03] 801*2^1388158-1 is not prime. Res64: B2AB09169B450A2F Time : 0.0 sec. user=mdettweiler [2014-12-28 08:57:04] 813*2^1388158-1 is not prime. Res64: 1CB55DE7FB3E4592 Time : 0.0 sec. user=mdettweiler [2014-12-28 09:02:06] 861*2^1388158-1 is not prime. Res64: 8CF64BEBE4C3349D Time : 0.0 sec. user=mdettweiler [2014-12-28 09:02:09] 887*2^1388158-1 is not prime. Res64: 1D9D3666281C5DAB Time : 0.0 sec. user=mdettweiler [2014-12-28 09:21:31] 645*2^1388159-1 is not prime. Res64: 02A877D5165D63C8 Time : 0.0 sec. user=mdettweiler [2014-12-28 09:21:32] 655*2^1388159-1 is not prime. Res64: F09BDA95EAEC6FDC Time : 0.0 sec. user=mdettweiler [2014-12-28 09:22:16] 669*2^1388159-1 is not prime. Res64: DFCD61B9020F2200 Time : 0.0 sec. user=mdettweiler [2014-12-28 09:22:17] 859*2^1388159-1 is not prime. Res64: DA8D3671F41E5B76 Time : 0.0 sec. user=mdettweiler [2014-12-28 09:36:37] 741*2^1388161-1 is not prime. Res64: 94662CE72ACB474F Time : 0.0 sec. user=mdettweiler [2014-12-28 09:36:38] 769*2^1388161-1 is not prime. Res64: 665908729FB22D54 Time : 0.0 sec. user=juhehe [2014-12-28 09:45:10] 975*2^1388160-1 is not prime. Res64: E85168916C36C898 Time : 0.0 sec. user=mdettweiler [2014-12-28 09:47:45] 993*2^1388159-1 is not prime. Res64: 18E16544C178A334 Time : 0.0 sec. user=mdettweiler [2014-12-28 09:47:46] 635*2^1388160-1 is not prime. Res64: 0A47A9EB28D7C8C4 Time : 0.0 sec. user=mdettweiler [2014-12-28 09:48:27] 693*2^1388160-1 is not prime. Res64: 971B5B777722D740 Time : 0.0 sec. user=mdettweiler [2014-12-28 09:48:28] 879*2^1388160-1 is not prime. Res64: 93EAC0D1D8DF4FD0 Time : 0.0 sec. user=mdettweiler [2014-12-28 10:02:40] 801*2^1388161-1 is not prime. Res64: BE561B6220ED819F Time : 0.0 sec. user=mdettweiler [2014-12-28 10:02:42] 807*2^1388161-1 is not prime. Res64: A1B1B0EC32F1398C Time : 0.0 sec. user=mdettweiler [2014-12-28 10:13:49] 871*2^1388161-1 is not prime. Res64: 1D22E5AF8CD69752 Time : 0.0 sec. user=mdettweiler [2014-12-28 10:13:49] 895*2^1388161-1 is not prime. Res64: E5FF19C3DC38311D Time : 0.0 sec. user=mdettweiler [2014-12-28 10:14:25] 955*2^1388161-1 is not prime. Res64: 11B57276B321F818 Time : 0.0 sec. user=mdettweiler [2014-12-28 10:14:25] 735*2^1388162-1 is not prime. Res64: 4AA9DFEDC163BA96 Time : 0.0 sec. user=mdettweiler [2014-12-28 10:19:39] 1001*2^1388158-1 is not prime. Res64: D06FA8AEA7BD0094 Time : 0.0 sec. user=mdettweiler [2014-12-28 10:19:40] 621*2^1388159-1 is not prime. Res64: 337D1E52B46D5B9B Time : 0.0 sec. user=mdettweiler [2014-12-28 10:29:33] 801*2^1388162-1 is not prime. Res64: 95D0CD3384D3792E Time : 0.0 sec. user=mdettweiler [2014-12-28 10:40:03] 911*2^1388162-1 is not prime. Res64: 7389863D93A817D6 Time : 0.0 sec. user=mdettweiler [2014-12-28 10:40:03] 977*2^1388162-1 is not prime. Res64: FF0F6D3AE9753961 Time : 0.0 sec. user=mdettweiler [2014-12-28 10:40:28] 691*2^1388163-1 is not prime. Res64: 5C2CAFDB7682313E Time : 0.0 sec. user=mdettweiler [2014-12-28 10:45:55] 765*2^1388163-1 is not prime. Res64: E9F316C352D4588F Time : 0.0 sec. user=mdettweiler [2014-12-28 10:45:56] 823*2^1388163-1 is not prime. Res64: 649540E7653061D5 Time : 0.0 sec. user=mdettweiler [2014-12-28 11:07:02] 891*2^1388163-1 is not prime. Res64: FC905FEE8918F106 Time : 0.0 sec. user=mdettweiler [2014-12-28 11:07:05] 665*2^1388164-1 is not prime. Res64: A85DDAAA832ADAF8 Time : 0.0 sec. user=mdettweiler [2014-12-28 11:12:58] 783*2^1388164-1 is not prime. Res64: AB3599FD31636A3D Time : 0.0 sec. user=mdettweiler [2014-12-28 11:12:59] 803*2^1388164-1 is not prime. Res64: DE6C87CC802AA4E6 Time : 0.0 sec. user=mdettweiler [2014-12-28 11:34:10] 833*2^1388164-1 is not prime. Res64: F4F02513EA352A20 Time : 0.0 sec. user=mdettweiler [2014-12-28 11:34:11] 855*2^1388164-1 is not prime. Res64: 758D7B79A639987A Time : 0.0 sec. user=mdettweiler [2014-12-28 11:40:10] 869*2^1388164-1 is not prime. Res64: 66C5D7F3B8CD537F Time : 0.0 sec. user=mdettweiler [2014-12-28 11:40:11] 929*2^1388164-1 is not prime. Res64: 571D19EE7277B40F Time : 0.0 sec. user=mdettweiler [2014-12-28 11:45:03] 893*2^1388162-1 is not prime. Res64: 25E7A556FEB581D0 Time : 0.0 sec. user=mdettweiler [2014-12-28 11:58:38] 723*2^1388163-1 is not prime. Res64: 7A5B5E4F63CD92EB Time : 0.0 sec. user=mdettweiler [2014-12-28 12:00:38] 983*2^1388164-1 is not prime. Res64: DB10A5EA38F0C1E6 Time : 0.0 sec. user=mdettweiler [2014-12-28 12:00:39] 811*2^1388165-1 is not prime. Res64: 004EA2839E4D92DE Time : 0.0 sec. user=mdettweiler [2014-12-28 12:06:44] 825*2^1388165-1 is not prime. Res64: B4C15D1D71B1FD4A Time : 0.0 sec. user=mdettweiler [2014-12-28 12:06:51] 859*2^1388165-1 is not prime. Res64: E28D5F99AFA6EAD7 Time : 0.0 sec. user=mdettweiler [2014-12-28 12:11:35] 815*2^1388166-1 is not prime. Res64: 5AF86C6D104E1D21 Time : 0.0 sec. user=mdettweiler [2014-12-28 12:11:36] 873*2^1388166-1 is not prime. Res64: C0855843AFA63292 Time : 0.0 sec. user=mdettweiler [2014-12-28 12:25:36] 763*2^1387919-1 is not prime. Res64: 1284A023B229B976 Time : 0.0 sec. user=mdettweiler [2014-12-28 12:25:36] 903*2^1388166-1 is not prime. Res64: 48A7D36CF978D836 Time : 0.0 sec. user=mdettweiler [2014-12-28 12:27:52] 933*2^1388166-1 is not prime. Res64: F97EF8757540592F Time : 0.0 sec. user=mdettweiler [2014-12-28 12:34:06] 615*2^1388167-1 is not prime. Res64: 525B49534FB5142A Time : 0.0 sec. user=mdettweiler [2014-12-28 12:34:06] 621*2^1388167-1 is not prime. Res64: 3B127C34A58E4422 Time : 0.0 sec. user=mdettweiler [2014-12-28 12:38:24] 729*2^1388167-1 is not prime. Res64: 5D910103057ACA21 Time : 0.0 sec. user=mdettweiler [2014-12-28 12:38:24] 805*2^1388167-1 is not prime. Res64: 1F6F3948B25CE949 Time : 0.0 sec. user=mdettweiler [2014-12-28 12:52:29] 885*2^1388167-1 is not prime. Res64: 5D83C21CFDE27C26 Time : 0.0 sec. user=mdettweiler [2014-12-28 12:52:29] 915*2^1388167-1 is not prime. Res64: 1BA62AB8A35E782E Time : 0.0 sec. user=mdettweiler [2014-12-28 13:00:47] 677*2^1388168-1 is not prime. Res64: F94D7003F7F5B91C Time : 0.0 sec. user=mdettweiler [2014-12-28 13:00:48] 687*2^1388168-1 is not prime. Res64: 20DCE0164FE51335 Time : 0.0 sec. user=mdettweiler [2014-12-28 13:04:55] 713*2^1388168-1 is not prime. Res64: FED58538BDA0FFA4 Time : 0.0 sec. user=mdettweiler [2014-12-28 13:04:57] 747*2^1388168-1 is not prime. Res64: C912E186B6272C2E Time : 0.0 sec. user=mdettweiler [2014-12-28 13:18:47] 803*2^1388168-1 is not prime. Res64: 1B9A3CB35B832A90 Time : 0.0 sec. user=mdettweiler [2014-12-28 13:18:49] 819*2^1388168-1 is not prime. Res64: ACFD344E3CF97419 Time : 0.0 sec. user=mdettweiler [2014-12-28 13:27:17] 827*2^1388168-1 is not prime. Res64: 5878D021C314CCB2 Time : 0.0 sec. user=mdettweiler [2014-12-28 13:27:18] 843*2^1388168-1 is not prime. Res64: 29251437D5418BCB Time : 0.0 sec. user=mdettweiler [2014-12-28 13:31:21] 867*2^1388168-1 is not prime. Res64: 3A711DAE4B9BCCFB Time : 0.0 sec. user=mdettweiler [2014-12-28 13:31:21] 869*2^1388168-1 is not prime. Res64: 06F6B2C477623708 Time : 0.0 sec. user=mdettweiler [2014-12-28 13:41:46] 975*2^1388166-1 is not prime. Res64: 28011E4780522643 Time : 0.0 sec. user=mdettweiler [2014-12-28 13:45:32] 875*2^1388168-1 is not prime. Res64: C6F20F4A7DDBB4A6 Time : 0.0 sec. user=mdettweiler [2014-12-28 13:45:33] 923*2^1388168-1 is not prime. Res64: 0F92336360482B6A Time : 0.0 sec. user=mdettweiler [2014-12-28 13:53:25] 769*2^1388169-1 is not prime. Res64: 361DF0178319C6A6 Time : 0.0 sec. user=mdettweiler [2014-12-28 13:53:25] 807*2^1388169-1 is not prime. Res64: 12EA1AE501CCDE1F Time : 0.0 sec. user=mdettweiler [2014-12-28 13:57:37] 831*2^1388169-1 is not prime. Res64: 2AA5C311188C9CCD Time : 0.0 sec. user=mdettweiler [2014-12-28 13:57:38] 865*2^1388169-1 is not prime. Res64: 0B73FB72199963EE Time : 0.0 sec. user=mdettweiler [2014-12-28 14:07:40] 969*2^1388169-1 is not prime. Res64: 3E3802FB12B9245E Time : 0.0 sec. user=mdettweiler [2014-12-28 14:07:46] 985*2^1388169-1 is not prime. Res64: E28D9D02732F8A22 Time : 0.0 sec. user=mdettweiler [2014-12-28 14:11:44] 663*2^1388170-1 is not prime. Res64: 0A017E4E7EE8968F Time : 0.0 sec. user=mdettweiler [2014-12-28 14:11:46] 741*2^1388170-1 is not prime. Res64: 293C56051BC4FBA0 Time : 0.0 sec. user=mdettweiler [2014-12-28 14:19:17] 941*2^1388170-1 is not prime. Res64: D712C04331E9BC39 Time : 0.0 sec. user=mdettweiler [2014-12-28 14:19:18] 981*2^1388170-1 is not prime. Res64: 9C5A810DC717D962 Time : 0.0 sec. user=mdettweiler [2014-12-28 14:23:44] 813*2^1388171-1 is not prime. Res64: FCB2BBF0967A1A2C Time : 0.0 sec. user=mdettweiler [2014-12-28 14:23:45] 859*2^1388171-1 is not prime. Res64: CB8802DC675DC3E9 Time : 0.0 sec. user=mdettweiler [2014-12-28 14:34:26] 895*2^1388171-1 is not prime. Res64: EB9D0E107BBF9D19 Time : 0.0 sec. user=mdettweiler [2014-12-28 14:34:27] 921*2^1388171-1 is not prime. Res64: 81CA038067ED80C2 Time : 0.0 sec. user=mdettweiler [2014-12-28 14:38:20] 633*2^1388172-1 is not prime. Res64: 4F49346B35F784B4 Time : 0.0 sec. user=mdettweiler [2014-12-28 14:38:20] 857*2^1388172-1 is not prime. Res64: B2735EB62E844A2F Time : 0.0 sec. user=mdettweiler [2014-12-28 14:45:07] 909*2^1388172-1 is not prime. Res64: 196C17C5A8C7454A Time : 0.0 sec. user=mdettweiler [2014-12-28 14:45:08] 959*2^1388172-1 is not prime. Res64: 28F5CF86517C1C1D Time : 0.0 sec. user=mdettweiler [2014-12-28 14:49:37] 965*2^1388172-1 is not prime. Res64: BBE80204E458BB93 Time : 0.0 sec. user=mdettweiler [2014-12-28 14:49:38] 987*2^1388172-1 is not prime. Res64: CD42557912E249B8 Time : 0.0 sec. user=mdettweiler [2014-12-28 15:00:24] 609*2^1388173-1 is not prime. Res64: 06E50715FD546BB5 Time : 0.0 sec. user=mdettweiler [2014-12-28 15:00:25] 639*2^1388173-1 is not prime. Res64: EA9C8C7BD723CBDF Time : 0.0 sec. user=mdettweiler [2014-12-28 15:11:12] 885*2^1388173-1 is not prime. Res64: 6FF3EA0505A37341 Time : 0.0 sec. user=mdettweiler [2014-12-28 15:11:16] 897*2^1388173-1 is not prime. Res64: C0414CB644103FC3 Time : 0.0 sec. user=mdettweiler [2014-12-28 15:15:32] 957*2^1388173-1 is not prime. Res64: EE6C751A0FD4EAFF Time : 0.0 sec. user=mdettweiler [2014-12-28 15:15:33] 665*2^1388174-1 is not prime. Res64: 874260CBE389208A Time : 0.0 sec. user=mdettweiler [2014-12-28 15:27:15] 731*2^1388174-1 is not prime. Res64: 161823E5C9A3E975 Time : 0.0 sec. user=mdettweiler [2014-12-28 15:27:15] 741*2^1388174-1 is not prime. Res64: 9A1E886190EF2D39 Time : 0.0 sec. user=mdettweiler [2014-12-28 15:41:41] 743*2^1388174-1 is not prime. Res64: B4C508219E384CF5 Time : 0.0 sec. user=mdettweiler [2014-12-28 15:41:42] 601*2^1388175-1 is not prime. Res64: 82FFABEFEDC7F297 Time : 0.0 sec. user=mdettweiler [2014-12-28 15:46:47] 963*2^1388175-1 is not prime. Res64: 6079A59861DAD58A Time : 0.0 sec. user=mdettweiler [2014-12-28 16:00:19] 677*2^1388176-1 is not prime. Res64: D047419138955023 Time : 0.0 sec. user=mdettweiler [2014-12-28 16:00:20] 777*2^1388176-1 is not prime. Res64: D1CD1E3326EAA424 Time : 0.0 sec. user=mdettweiler [2014-12-28 16:12:56] 785*2^1388176-1 is not prime. Res64: 0DDE3D151E8C0DB9 Time : 0.0 sec. user=mdettweiler [2014-12-28 16:12:57] 873*2^1388176-1 is not prime. Res64: 4616FDF1FC72FB0F Time : 0.0 sec. user=mdettweiler [2014-12-28 16:30:00] 957*2^1388176-1 is not prime. Res64: A12FB8A4E83876BF Time : 0.0 sec. user=mdettweiler [2014-12-28 16:30:01] 975*2^1388176-1 is not prime. Res64: DA6AD43B42DB04BE Time : 0.0 sec. user=mdettweiler [2014-12-28 16:33:28] 687*2^1388173-1 is not prime. Res64: 11E8B55E19B025DF Time : 0.0 sec. user=mdettweiler [2014-12-28 16:33:28] 867*2^1388173-1 is not prime. Res64: FD7DEE32E1D0A8F9 Time : 0.0 sec. user=mdettweiler [2014-12-28 16:42:44] 637*2^1388177-1 is not prime. Res64: D3952BF5728BDC81 Time : 0.0 sec. user=mdettweiler [2014-12-28 16:42:44] 627*2^1388178-1 is not prime. Res64: FAA7BA65AFC4629B Time : 0.0 sec. user=Robert47 [2014-12-28 16:43:49] 735*2^1388178-1 is not prime. Res64: 20AC583D0ECA588D Time : 0.0 sec. user=mdettweiler [2014-12-28 16:57:06] 933*2^1388178-1 is not prime. Res64: 41937DBC0490F21B Time : 0.0 sec. user=mdettweiler [2014-12-28 16:57:06] 971*2^1388178-1 is not prime. Res64: 0591FDD25CE96DD5 Time : 0.0 sec. user=mdettweiler [2014-12-28 17:00:00] 603*2^1388179-1 is not prime. Res64: 7224D72DFFA9F5DA Time : 0.0 sec. user=mdettweiler [2014-12-28 17:00:00] 693*2^1388179-1 is not prime. Res64: 4ADC1BEF89B10CE6 Time : 0.0 sec. user=mdettweiler [2014-12-28 17:00:21] 999*2^1388175-1 is not prime. Res64: 9122C4E1C0EBF7F7 Time : 0.0 sec. user=juhehe [2014-12-28 17:00:58] 861*2^1388178-1 is not prime. Res64: 2657811C7C69CC4B Time : 0.0 sec. user=mdettweiler [2014-12-28 17:09:00] 765*2^1388179-1 is not prime. Res64: 7E114AB4B2565AB7 Time : 0.0 sec. user=mdettweiler [2014-12-28 17:09:02] 843*2^1388179-1 is not prime. Res64: 491100C3518E9165 Time : 0.0 sec. user=mdettweiler [2014-12-28 17:23:08] 919*2^1388179-1 is not prime. Res64: A604D0D0175DADCA Time : 0.0 sec. user=mdettweiler [2014-12-28 17:23:08] 951*2^1388179-1 is not prime. Res64: 12BDA47DCE2A4366 Time : 0.0 sec. user=mdettweiler [2014-12-28 17:25:52] 669*2^1388180-1 is not prime. Res64: 1CE702FE186B3D3E Time : 0.0 sec. user=mdettweiler [2014-12-28 17:25:53] 797*2^1388180-1 is not prime. Res64: 126C63A4EE55D972 Time : 0.0 sec. user=mdettweiler [2014-12-28 17:26:23] 819*2^1388180-1 is not prime. Res64: 83B52650D8C0C5D5 Time : 0.0 sec. user=mdettweiler [2014-12-28 17:26:24] 885*2^1388180-1 is not prime. Res64: 4BA872A6CA8FD430 Time : 0.0 sec. user=juhehe [2014-12-28 17:31:02] 889*2^1388179-1 is not prime. Res64: EA080547B7A9CF5D Time : 0.0 sec. user=juhehe [2014-12-28 17:35:15] 923*2^1388180-1 is not prime. Res64: 084A85B049BC6123 Time : 0.0 sec. user=mdettweiler [2014-12-28 17:35:51] 627*2^1388181-1 is not prime. Res64: C03253E655F84D0C Time : 0.0 sec. user=mdettweiler [2014-12-28 17:35:52] 651*2^1388181-1 is not prime. Res64: 969A7E4953E0C7E1 Time : 0.0 sec. user=mdettweiler [2014-12-28 17:49:19] 711*2^1388181-1 is not prime. Res64: 9F5F8B69861E3788 Time : 0.0 sec. user=mdettweiler [2014-12-28 17:49:19] 747*2^1388181-1 is not prime. Res64: 3EBC03508F9D4561 Time : 0.0 sec. user=mdettweiler [2014-12-28 17:51:57] 847*2^1388181-1 is not prime. Res64: E33581C71DEFDE7D Time : 0.0 sec. user=mdettweiler [2014-12-28 17:51:58] 901*2^1388181-1 is not prime. Res64: 1D341F97A0F45DAD Time : 0.0 sec. user=mdettweiler [2014-12-28 17:52:30] 987*2^1388181-1 is not prime. Res64: 3D5F13F3E7D785C8 Time : 0.0 sec. user=mdettweiler [2014-12-28 17:52:31] 617*2^1388182-1 is not prime. Res64: 5597AC6C6282FCBF Time : 0.0 sec. user=mdettweiler [2014-12-28 18:01:51] 621*2^1388182-1 is not prime. Res64: DE6D65C59B27CA49 Time : 0.0 sec. user=mdettweiler [2014-12-28 18:01:53] 623*2^1388182-1 is not prime. Res64: 6EC5259E87A8A810 Time : 0.0 sec. user=mdettweiler [2014-12-28 18:15:17] 677*2^1388182-1 is not prime. Res64: 74001657658C6602 Time : 0.0 sec. user=mdettweiler [2014-12-28 18:15:17] 723*2^1388182-1 is not prime. Res64: A376E5C09B8CA8EC Time : 0.0 sec. user=mdettweiler [2014-12-28 18:17:56] 833*2^1388182-1 is not prime. Res64: 93FCF934EEC443E2 Time : 0.0 sec. user=mdettweiler [2014-12-28 18:17:57] 891*2^1388182-1 is not prime. Res64: A242A67993C9D5FD Time : 0.0 sec. user=mdettweiler [2014-12-28 18:18:28] 917*2^1388182-1 is not prime. Res64: 17539C677DE86E25 Time : 0.0 sec. user=mdettweiler [2014-12-28 18:18:28] 983*2^1388182-1 is not prime. Res64: FEA003B7188EF0FA Time : 0.0 sec. user=mdettweiler [2014-12-28 18:28:41] 621*2^1388183-1 is not prime. Res64: 0A3B15AF16A8B6AC Time : 0.0 sec. user=mdettweiler [2014-12-28 18:28:41] 721*2^1388183-1 is not prime. Res64: 9A3FFCCA9C0F1988 Time : 0.0 sec. user=mdettweiler [2014-12-28 18:41:23] 789*2^1388183-1 is not prime. Res64: E82298F41899D1D7 Time : 0.0 sec. user=mdettweiler [2014-12-28 18:41:23] 811*2^1388183-1 is not prime. Res64: BCF48FC297655E52 Time : 0.0 sec. user=mdettweiler [2014-12-28 18:44:01] 693*2^1388184-1 is not prime. Res64: 46C585ECDBEED73C Time : 0.0 sec. user=mdettweiler [2014-12-28 18:44:01] 705*2^1388184-1 is not prime. Res64: 3FC0D6F23E966F1A Time : 0.0 sec. user=juhehe [2014-12-28 18:44:02] 983*2^1388184-1 is not prime. Res64: 916F360C0D849F06 Time : 0.0 sec. user=mdettweiler [2014-12-28 18:44:24] 917*2^1388184-1 is not prime. Res64: A927988621636466 Time : 0.0 sec. user=mdettweiler [2014-12-28 18:44:32] 625*2^1388185-1 is not prime. Res64: 3AB4B32041473ADF Time : 0.0 sec. user=mdettweiler [2014-12-28 18:54:37] 649*2^1388185-1 is not prime. Res64: 6C4B5D352223D79A Time : 0.0 sec. user=mdettweiler [2014-12-28 18:54:37] 685*2^1388185-1 is not prime. Res64: C1C81A16B1FF51B9 Time : 0.0 sec. user=Robert47 [2014-12-28 19:04:35] 651*2^1388182-1 is not prime. Res64: E7CC5824FB1D3BB4 Time : 0.0 sec. user=mdettweiler [2014-12-28 19:07:29] 765*2^1388185-1 is not prime. Res64: 8ED120B70172BB6C Time : 0.0 sec. user=mdettweiler [2014-12-28 19:07:33] 831*2^1388185-1 is not prime. Res64: 492F022F952ACCED Time : 0.0 sec. user=mdettweiler [2014-12-28 19:09:49] 871*2^1388185-1 is not prime. Res64: D7B26A7F10F242C3 Time : 0.0 sec. user=mdettweiler [2014-12-28 19:09:52] 919*2^1388185-1 is not prime. Res64: FF1F9BDAA09F75A8 Time : 0.0 sec. user=juhehe [2014-12-28 19:15:47] 955*2^1388185-1 is not prime. Res64: 8402BA6A09022262 Time : 0.0 sec. user=mdettweiler [2014-12-28 19:20:13] 707*2^1388186-1 is not prime. Res64: F005403BF6301B4A Time : 0.0 sec. user=mdettweiler [2014-12-28 19:20:13] 743*2^1388186-1 is not prime. Res64: 4FD1094DFC1CC020 Time : 0.0 sec. user=mdettweiler [2014-12-28 19:34:29] 875*2^1388186-1 is not prime. Res64: FBBE965F439BDD93 Time : 0.0 sec. user=Robert47 [2014-12-28 19:34:29] 873*2^1388186-1 is not prime. Res64: E45ECCD97B37D600 Time : 0.0 sec. user=mdettweiler [2014-12-28 19:34:29] 911*2^1388186-1 is not prime. Res64: 30B12CB0ED8C8E04 Time : 0.0 sec. user=mdettweiler [2014-12-28 19:40:17] 917*2^1388186-1 is not prime. Res64: 374CBB3500451B2E Time : 0.0 sec. user=mdettweiler [2014-12-28 19:40:17] 825*2^1388187-1 is not prime. Res64: 9C14D5F18A0B69A7 Time : 0.0 sec. user=mdettweiler [2014-12-28 19:46:34] 675*2^1388187-1 is not prime. Res64: 6B2369C3A684CF00 Time : 0.0 sec. user=mdettweiler [2014-12-28 19:46:34] 711*2^1388187-1 is not prime. Res64: A7F2F85DE75E4E54 Time : 0.0 sec. user=mdettweiler [2014-12-28 20:00:44] 781*2^1388187-1 is not prime. Res64: 2F42CB5958F12557 Time : 0.0 sec. user=mdettweiler [2014-12-28 20:00:44] 795*2^1388187-1 is not prime. Res64: 3973C878BF8E5DE2 Time : 0.0 sec. user=mdettweiler [2014-12-28 20:06:27] 859*2^1388187-1 is not prime. Res64: DCD8595E6D3618A8 Time : 0.0 sec. user=mdettweiler [2014-12-28 20:06:28] 639*2^1388188-1 is not prime. Res64: 94EE9F97A21C9F0E Time : 0.0 sec. user=mdettweiler [2014-12-28 20:13:00] 647*2^1388188-1 is not prime. Res64: 463A6BA1BDD1CF53 Time : 0.0 sec. user=mdettweiler [2014-12-28 20:13:01] 735*2^1388188-1 is not prime. Res64: 8EEFC90B4F277742 Time : 0.0 sec. user=mdettweiler [2014-12-28 20:15:31] 677*2^1388186-1 is not prime. Res64: 6191542B12FB5A7B Time : 0.0 sec. user=mdettweiler [2014-12-28 20:15:31] 683*2^1388186-1 is not prime. Res64: B878C421350685EA Time : 0.0 sec. user=mdettweiler [2014-12-28 20:26:56] 909*2^1388188-1 is not prime. Res64: B059EE2F8CA2E6AD Time : 0.0 sec. user=mdettweiler [2014-12-28 20:26:56] 621*2^1388189-1 is not prime. Res64: 6384FE8D8D0E2808 Time : 0.0 sec. user=mdettweiler [2014-12-28 20:32:22] 631*2^1388189-1 is not prime. Res64: C3069AF5D1DF4099 Time : 0.0 sec. user=mdettweiler [2014-12-28 20:32:22] 759*2^1388189-1 is not prime. Res64: 0848339C29253886 Time : 0.0 sec. user=mdettweiler [2014-12-28 20:39:18] 775*2^1388189-1 is not prime. Res64: 70C5B18F8C21BA0F Time : 0.0 sec. user=mdettweiler [2014-12-28 20:39:19] 811*2^1388189-1 is not prime. Res64: 85F4ECDAA442F327 Time : 0.0 sec. user=mdettweiler [2014-12-28 20:41:31] 819*2^1388189-1 is not prime. Res64: 691E217ED55EF161 Time : 0.0 sec. user=mdettweiler [2014-12-28 20:41:32] 847*2^1388189-1 is not prime. Res64: DAE6C945F1FF4A62 Time : 0.0 sec. user=mdettweiler [2014-12-28 20:52:59] 777*2^1388190-1 is not prime. Res64: 8288836F9ACCCD24 Time : 0.0 sec. user=mdettweiler [2014-12-28 20:52:59] 791*2^1388190-1 is not prime. Res64: 987C9991ECB5B946 Time : 0.0 sec. user=Robert47 [2014-12-28 20:57:46] 825*2^1388190-1 is not prime. Res64: 534903A79DCC8958 Time : 0.0 sec. user=mdettweiler [2014-12-28 20:58:19] 965*2^1388190-1 is not prime. Res64: 12B95C03C77AD4A3 Time : 0.0 sec. user=mdettweiler [2014-12-28 20:58:19] 625*2^1388191-1 is not prime. Res64: AA2648388FD92BB5 Time : 0.0 sec. user=mdettweiler [2014-12-28 21:05:31] 649*2^1388191-1 is not prime. Res64: DEFF87F2B7A38FFD Time : 0.0 sec. user=mdettweiler [2014-12-28 21:05:32] 705*2^1388191-1 is not prime. Res64: 2E3F0563CEEAEE71 Time : 0.0 sec. user=mdettweiler [2014-12-28 21:19:21] 775*2^1388191-1 is not prime. Res64: 45141B852A37F63F Time : 0.0 sec. user=mdettweiler [2014-12-28 21:24:39] 895*2^1388191-1 is not prime. Res64: FCC610D0AE415223 Time : 0.0 sec. user=mdettweiler [2014-12-28 21:24:39] 901*2^1388191-1 is not prime. Res64: 54C95FDF55BA5E0D Time : 0.0 sec. user=Robert47 [2014-12-28 21:26:47] 885*2^1388191-1 is not prime. Res64: FACE578E9D6C5802 Time : 0.0 sec. user=mdettweiler [2014-12-28 21:32:42] 961*2^1388191-1 is not prime. Res64: D3A0C4ACDBB2FCEA Time : 0.0 sec. user=mdettweiler [2014-12-28 21:32:43] 615*2^1388192-1 is not prime. Res64: 227B8688B29940BC Time : 0.0 sec. user=mdettweiler [2014-12-28 21:51:41] 669*2^1388192-1 is not prime. Res64: B998782B80EB35B5 Time : 0.0 sec. user=mdettweiler [2014-12-28 21:51:41] 683*2^1388192-1 is not prime. Res64: E233F32951BA304B Time : 0.0 sec. user=Robert47 [2014-12-28 21:55:31] 813*2^1388192-1 is not prime. Res64: B1E9283956790C45 Time : 0.0 sec. user=mdettweiler [2014-12-28 22:00:24] 897*2^1388192-1 is not prime. Res64: EA7054DEBDB3417D Time : 0.0 sec. user=mdettweiler [2014-12-28 22:00:25] 649*2^1388193-1 is not prime. Res64: 2B813EC568A6AC8F Time : 0.0 sec. user=mdettweiler [2014-12-28 22:19:55] 669*2^1388193-1 is not prime. Res64: E7D1ABB56E4A5DBA Time : 0.0 sec. user=mdettweiler [2014-12-28 22:19:56] 721*2^1388193-1 is not prime. Res64: 41F3C2F2CB61C59C Time : 0.0 sec. user=Robert47 [2014-12-28 22:24:13] 765*2^1388193-1 is not prime. Res64: C4A8B062F51D8070 Time : 0.0 sec. user=mdettweiler [2014-12-28 22:25:43] 741*2^1388191-1 is not prime. Res64: 4D081D5DD6D07F1D Time : 0.0 sec. user=mdettweiler [2014-12-28 22:25:44] 769*2^1388191-1 is not prime. Res64: 76B28C5FDDA1BEAC Time : 0.0 sec. user=mdettweiler [2014-12-28 22:29:44] 945*2^1388193-1 is not prime. Res64: E96A3C611AB24D8F Time : 0.0 sec. user=mdettweiler [2014-12-28 22:34:39] 793*2^1388191-1 is not prime. Res64: C1C8F9F4ED6362E3 Time : 0.0 sec. user=mdettweiler [2014-12-28 22:47:06] 611*2^1388194-1 is not prime. Res64: 9368ABFC1EFF155C Time : 0.0 sec. user=mdettweiler [2014-12-28 22:47:07] 621*2^1388194-1 is not prime. Res64: B07B6173EDE14CB8 Time : 0.0 sec. user=mdettweiler [2014-12-28 22:52:50] 645*2^1388194-1 is not prime. Res64: 6818808E6AAEFDDB Time : 0.0 sec. user=mdettweiler [2014-12-28 22:52:50] 663*2^1388194-1 is not prime. Res64: F403C45444162FD8 Time : 0.0 sec. user=Robert47 [2014-12-28 22:52:51] 635*2^1388194-1 is not prime. Res64: 50FBF007D086FFF4 Time : 0.0 sec. user=mdettweiler [2014-12-28 23:01:50] 737*2^1388194-1 is not prime. Res64: 1881C8031FA79CF0 Time : 0.0 sec. user=mdettweiler [2014-12-28 23:01:52] 773*2^1388194-1 is not prime. Res64: DDDFDBE436C5FD9F Time : 0.0 sec. user=mdettweiler [2014-12-28 23:14:01] 785*2^1388194-1 is not prime. Res64: 34137B5357EB4604 Time : 0.0 sec. user=mdettweiler [2014-12-28 23:14:02] 861*2^1388194-1 is not prime. Res64: 1EDAC00276518628 Time : 0.0 sec. user=mdettweiler [2014-12-28 23:19:48] 693*2^1388195-1 is not prime. Res64: EC06D1D9281FFB49 Time : 0.0 sec. user=mdettweiler [2014-12-28 23:19:49] 885*2^1388195-1 is not prime. Res64: 71E872B680944BBB Time : 0.0 sec. user=Robert47 [2014-12-28 23:22:05] 889*2^1388195-1 is not prime. Res64: 87A66EEC5D0A79D3 Time : 0.0 sec. user=mdettweiler [2014-12-28 23:29:50] 903*2^1388195-1 is not prime. Res64: 002D7556AD219074 Time : 0.0 sec. user=mdettweiler [2014-12-28 23:41:52] 633*2^1388196-1 is not prime. Res64: 8A8FB7D062A5A1D9 Time : 0.0 sec. user=mdettweiler [2014-12-28 23:41:52] 653*2^1388196-1 is not prime. Res64: B4FD8B34DD698632 Time : 0.0 sec. user=mdettweiler [2014-12-28 23:42:29] 949*2^1388193-1 is not prime. Res64: BE11A5A20678479E Time : 0.0 sec. user=mdettweiler [2014-12-28 23:47:53] 695*2^1388196-1 is not prime. Res64: 8F45C777949504B5 Time : 0.0 sec. user=mdettweiler [2014-12-28 23:47:54] 843*2^1388196-1 is not prime. Res64: FE716A76D7DC68DF Time : 0.0 sec. user=Robert47 [2014-12-28 23:51:23] 857*2^1388196-1 is not prime. Res64: F2D6E903405C14A0 Time : 0.0 sec.