user=mdettweiler [2013-08-31 00:05:39] 943*2^1252275-1 is not prime. Res64: F18F793EB7261315 Time : 0.0 sec. user=mdettweiler [2013-08-31 00:05:40] 963*2^1252275-1 is not prime. Res64: FFC9EB4C344BC988 Time : 0.0 sec. user=mdettweiler [2013-08-31 00:06:48] 689*2^1252276-1 is not prime. Res64: B213898092A3B191 Time : 0.0 sec. user=mdettweiler [2013-08-31 00:06:49] 927*2^1252276-1 is not prime. Res64: 816BFDDBB5EE7770 Time : 0.0 sec. user=mdettweiler [2013-08-31 00:08:13] 957*2^1252276-1 is not prime. Res64: 3795A37B3042F039 Time : 0.0 sec. user=mdettweiler [2013-08-31 00:08:15] 983*2^1252276-1 is not prime. Res64: 6E69A52900C9F711 Time : 0.0 sec. user=mdettweiler [2013-08-31 00:14:40] 649*2^1252277-1 is not prime. Res64: 9CDC1E0CCF654792 Time : 0.0 sec. user=mdettweiler [2013-08-31 00:14:41] 771*2^1252277-1 is not prime. Res64: B132F86E2EE5FDDF Time : 0.0 sec. user=mdettweiler [2013-08-31 00:25:55] 859*2^1252277-1 is not prime. Res64: 374B583C82954D0F Time : 0.0 sec. user=mdettweiler [2013-08-31 00:25:56] 611*2^1252278-1 is not prime. Res64: 97DDA979A0333F72 Time : 0.0 sec. user=mdettweiler [2013-08-31 00:27:03] 681*2^1252278-1 is not prime. Res64: 6B75EC0D9AAD5EDF Time : 0.0 sec. user=mdettweiler [2013-08-31 00:27:03] 725*2^1252278-1 is not prime. Res64: 03305A76576773E5 Time : 0.0 sec. user=mdettweiler [2013-08-31 00:29:21] 971*2^1252278-1 is not prime. Res64: 3CA1F39E5279ECBE Time : 0.0 sec. user=mdettweiler [2013-08-31 00:29:22] 633*2^1252279-1 is not prime. Res64: 192769D0967F1E7B Time : 0.0 sec. user=mdettweiler [2013-08-31 00:34:55] 723*2^1252279-1 is not prime. Res64: C3F29E1FD811302C Time : 0.0 sec. user=mdettweiler [2013-08-31 00:34:56] 741*2^1252279-1 is not prime. Res64: FEBAA4CF1F522605 Time : 0.0 sec. user=mdettweiler [2013-08-31 00:47:20] 635*2^1252280-1 is not prime. Res64: 9A7A5E27D080A409 Time : 0.0 sec. user=mdettweiler [2013-08-31 00:47:21] 659*2^1252280-1 is not prime. Res64: 4A5104B84FEF8A00 Time : 0.0 sec. user=mdettweiler [2013-08-31 00:48:15] 939*2^1252279-1 is not prime. Res64: 074D5B4E48043CD7 Time : 0.0 sec. user=mdettweiler [2013-08-31 00:48:15] 961*2^1252279-1 is not prime. Res64: CFCC45F198656424 Time : 0.0 sec. user=mdettweiler [2013-08-31 00:49:31] 669*2^1252280-1 is not prime. Res64: F41103D21D640E3F Time : 0.0 sec. user=mdettweiler [2013-08-31 00:49:32] 797*2^1252280-1 is not prime. Res64: 2DC03FF3112DD1EC Time : 0.0 sec. user=mdettweiler [2013-08-31 00:57:12] 915*2^1252280-1 is not prime. Res64: 7F6F9C6BFDF3CE3D Time : 0.0 sec. user=mdettweiler [2013-08-31 00:57:13] 977*2^1252280-1 is not prime. Res64: 24FEE62F3639A150 Time : 0.0 sec. user=mdettweiler [2013-08-31 01:08:33] 983*2^1252280-1 is not prime. Res64: D995AB2E96D2BC98 Time : 0.0 sec. user=mdettweiler [2013-08-31 01:08:34] 669*2^1252281-1 is not prime. Res64: F946F2AE19ACD1C6 Time : 0.0 sec. user=mdettweiler [2013-08-31 01:08:37] 727*2^1252281-1 is not prime. Res64: CF722DDF9F0A4DC7 Time : 0.0 sec. user=mdettweiler [2013-08-31 01:08:38] 781*2^1252281-1 is not prime. Res64: 81F22139FC822BD5 Time : 0.0 sec. user=mdettweiler [2013-08-31 01:09:47] 789*2^1252281-1 is not prime. Res64: D5E5D0B67FADFE45 Time : 0.0 sec. user=mdettweiler [2013-08-31 01:09:48] 811*2^1252281-1 is not prime. Res64: A8982AFB4AC573B8 Time : 0.0 sec. user=mdettweiler [2013-08-31 01:19:25] 889*2^1252281-1 is not prime. Res64: 4823492C5B97BC99 Time : 0.0 sec. user=mdettweiler [2013-08-31 01:19:26] 895*2^1252281-1 is not prime. Res64: 597875E174E1C9D8 Time : 0.0 sec. user=mdettweiler [2013-08-31 01:28:58] 713*2^1252282-1 is not prime. Res64: 12D7E87E24A3DB31 Time : 0.0 sec. user=mdettweiler [2013-08-31 01:28:59] 731*2^1252282-1 is not prime. Res64: EE64E0F13391B62E Time : 0.0 sec. user=mdettweiler [2013-08-31 01:30:54] 969*2^1252281-1 is not prime. Res64: 91D597E6F2B9C376 Time : 0.0 sec. user=mdettweiler [2013-08-31 01:30:55] 999*2^1252281-1 is not prime. Res64: DFEABBF4C1EEF11C Time : 0.0 sec. user=mdettweiler [2013-08-31 01:31:08] 743*2^1252282-1 is not prime. Res64: 6296FB86A6E460CF Time : 0.0 sec. user=mdettweiler [2013-08-31 01:31:09] 891*2^1252282-1 is not prime. Res64: DB08CDDE4EA73808 Time : 0.0 sec. user=mdettweiler [2013-08-31 01:41:43] 945*2^1252282-1 is not prime. Res64: 7DF1DDF285FC0308 Time : 0.0 sec. user=mdettweiler [2013-08-31 01:41:43] 957*2^1252282-1 is not prime. Res64: 273AFDE554FC0D64 Time : 0.0 sec. user=mdettweiler [2013-08-31 01:49:15] 603*2^1252283-1 is not prime. Res64: A76698A2509524AD Time : 0.0 sec. user=mdettweiler [2013-08-31 01:49:16] 735*2^1252283-1 is not prime. Res64: 9DAD7C44818EF62E Time : 0.0 sec. user=mdettweiler [2013-08-31 01:51:05] 759*2^1252283-1 is not prime. Res64: 784233C70A8FB901 Time : 0.0 sec. user=mdettweiler [2013-08-31 01:51:06] 813*2^1252283-1 is not prime. Res64: 911FFB5E893E8545 Time : 0.0 sec. user=mdettweiler [2013-08-31 01:52:29] 855*2^1252283-1 is not prime. Res64: C39468FF83B3803E Time : 0.0 sec. user=mdettweiler [2013-08-31 01:52:29] 885*2^1252283-1 is not prime. Res64: 7CF73C941F70EC07 Time : 0.0 sec. user=mdettweiler [2013-08-31 02:02:02] 693*2^1252284-1 is not prime. Res64: C764C6CC16571987 Time : 0.0 sec. user=mdettweiler [2013-08-31 02:02:03] 773*2^1252284-1 is not prime. Res64: 8F5C25EEADCA1FC4 Time : 0.0 sec. user=mdettweiler [2013-08-31 02:11:23] 909*2^1252284-1 is not prime. Res64: D88183CBD75602FC Time : 0.0 sec. user=mdettweiler [2013-08-31 02:11:24] 927*2^1252284-1 is not prime. Res64: 8ED961E77AF20821 Time : 0.0 sec. user=mdettweiler [2013-08-31 02:13:16] 929*2^1252284-1 is not prime. Res64: FF0531AA75980FFC Time : 0.0 sec. user=mdettweiler [2013-08-31 02:13:17] 947*2^1252284-1 is not prime. Res64: A5FEDE7A80F6AB12 Time : 0.0 sec. user=mdettweiler [2013-08-31 02:13:42] 983*2^1252284-1 is not prime. Res64: 451E4DAB50600134 Time : 0.0 sec. user=mdettweiler [2013-08-31 02:13:43] 609*2^1252285-1 is not prime. Res64: 78D38261D462C8EC Time : 0.0 sec. user=mdettweiler [2013-08-31 02:22:28] 619*2^1252285-1 is not prime. Res64: B2D428B198B79094 Time : 0.0 sec. user=mdettweiler [2013-08-31 02:22:29] 675*2^1252285-1 is not prime. Res64: 2EA5D2FA65A8A773 Time : 0.0 sec. user=mdettweiler [2013-08-31 02:31:41] 691*2^1252285-1 is not prime. Res64: A3ABB91860FDE986 Time : 0.0 sec. user=mdettweiler [2013-08-31 02:31:42] 801*2^1252285-1 is not prime. Res64: 54BA46F76D58A020 Time : 0.0 sec. user=mdettweiler [2013-08-31 02:33:32] 805*2^1252285-1 is not prime. Res64: 4EA6BB287A9131DD Time : 0.0 sec. user=mdettweiler [2013-08-31 02:33:34] 867*2^1252285-1 is not prime. Res64: FC622620248AC067 Time : 0.0 sec. user=mdettweiler [2013-08-31 02:34:54] 885*2^1252285-1 is not prime. Res64: 743808A15F5E32DA Time : 0.0 sec. user=mdettweiler [2013-08-31 02:34:54] 843*2^1252286-1 is not prime. Res64: E5E621BD804558CE Time : 0.0 sec. user=mdettweiler [2013-08-31 02:43:43] 873*2^1252286-1 is not prime. Res64: 3C985449A89FDB74 Time : 0.0 sec. user=mdettweiler [2013-08-31 02:43:44] 887*2^1252286-1 is not prime. Res64: EB64A3FEB2E04A1D Time : 0.0 sec. user=mdettweiler [2013-08-31 02:52:57] 993*2^1252286-1 is not prime. Res64: D2D382AB40D14AC4 Time : 0.0 sec. user=mdettweiler [2013-08-31 02:52:58] 651*2^1252287-1 is not prime. Res64: 7DE5DDAD08DA69BE Time : 0.0 sec. user=mdettweiler [2013-08-31 02:53:45] 765*2^1252287-1 is not prime. Res64: B944A4E0227DD868 Time : 0.0 sec. user=mdettweiler [2013-08-31 02:53:46] 829*2^1252287-1 is not prime. Res64: F2604A3640AD4073 Time : 0.0 sec. user=mdettweiler [2013-08-31 02:57:08] 933*2^1252287-1 is not prime. Res64: 3D024553A2824794 Time : 0.0 sec. user=mdettweiler [2013-08-31 02:57:09] 973*2^1252287-1 is not prime. Res64: 60A0CAE4498D4F32 Time : 0.0 sec. user=mdettweiler [2013-08-31 03:04:54] 991*2^1252287-1 is not prime. Res64: E469E8BF5BD32EB9 Time : 0.0 sec. user=mdettweiler [2013-08-31 03:04:55] 623*2^1252288-1 is not prime. Res64: CD0FD3AEEF3A1B8C Time : 0.0 sec. user=mdettweiler [2013-08-31 03:13:09] 705*2^1252288-1 is not prime. Res64: FA8F5C67FF7133DA Time : 0.0 sec. user=mdettweiler [2013-08-31 03:13:10] 773*2^1252288-1 is not prime. Res64: DD845377EA848B89 Time : 0.0 sec. user=mdettweiler [2013-08-31 03:14:56] 915*2^1252288-1 is not prime. Res64: D0709BAAD441C3B0 Time : 0.0 sec. user=mdettweiler [2013-08-31 03:14:57] 601*2^1252289-1 is not prime. Res64: F5719612D5E6FA3F Time : 0.0 sec. user=mdettweiler [2013-08-31 03:17:20] 649*2^1252289-1 is not prime. Res64: 1FD085B9798A25ED Time : 0.0 sec. user=mdettweiler [2013-08-31 03:17:20] 721*2^1252289-1 is not prime. Res64: 441C9126E537A547 Time : 0.0 sec. user=mdettweiler [2013-08-31 03:26:11] 795*2^1252289-1 is not prime. Res64: 32F45832C976C892 Time : 0.0 sec. user=mdettweiler [2013-08-31 03:26:11] 969*2^1252289-1 is not prime. Res64: 4A7C15017C574BA2 Time : 0.0 sec. user=mdettweiler [2013-08-31 03:33:35] 641*2^1252290-1 is not prime. Res64: 1CCF88B3B1D97C62 Time : 0.0 sec. user=mdettweiler [2013-08-31 03:33:36] 717*2^1252290-1 is not prime. Res64: CA17131874CDFD1B Time : 0.0 sec. user=mdettweiler [2013-08-31 03:36:14] 845*2^1252290-1 is not prime. Res64: 275F686ADEBD3292 Time : 0.0 sec. user=mdettweiler [2013-08-31 03:36:15] 917*2^1252290-1 is not prime. Res64: ED2365A61D5EB259 Time : 0.0 sec. user=mdettweiler [2013-08-31 03:37:34] 673*2^1252291-1 is not prime. Res64: 71E68E54230EE5C3 Time : 0.0 sec. user=mdettweiler [2013-08-31 03:37:35] 733*2^1252291-1 is not prime. Res64: CD33182A845FDA92 Time : 0.0 sec. user=mdettweiler [2013-08-31 03:46:21] 771*2^1252291-1 is not prime. Res64: B158E71C72B854C9 Time : 0.0 sec. user=mdettweiler [2013-08-31 03:46:21] 789*2^1252291-1 is not prime. Res64: 92E95FF1418B5B54 Time : 0.0 sec. user=mdettweiler [2013-08-31 03:54:43] 859*2^1252291-1 is not prime. Res64: F38F17A1E6FF475F Time : 0.0 sec. user=mdettweiler [2013-08-31 03:54:43] 891*2^1252291-1 is not prime. Res64: FD361D120C1CF7CC Time : 0.0 sec. user=mdettweiler [2013-08-31 03:56:21] 699*2^1252292-1 is not prime. Res64: 0972AC9E5484E078 Time : 0.0 sec. user=mdettweiler [2013-08-31 03:56:22] 717*2^1252292-1 is not prime. Res64: 41A57299DDD7D526 Time : 0.0 sec. user=mdettweiler [2013-08-31 03:58:45] 855*2^1252292-1 is not prime. Res64: 7BE2D97BDBD3C103 Time : 0.0 sec. user=mdettweiler [2013-08-31 03:58:45] 897*2^1252292-1 is not prime. Res64: 8DF480463629350B Time : 0.0 sec. user=mdettweiler [2013-08-31 04:07:32] 999*2^1252292-1 is not prime. Res64: BDDDC262888F0CE0 Time : 0.0 sec. user=mdettweiler [2013-08-31 04:07:33] 607*2^1252293-1 is not prime. Res64: 869BCAA0B3105D32 Time : 0.0 sec. user=mdettweiler [2013-08-31 04:14:52] 765*2^1252293-1 is not prime. Res64: 57D3B607C2DED083 Time : 0.0 sec. user=mdettweiler [2013-08-31 04:14:52] 819*2^1252293-1 is not prime. Res64: 029D563DFFA9825D Time : 0.0 sec. user=mdettweiler [2013-08-31 04:16:30] 867*2^1252293-1 is not prime. Res64: 6CF098344E54C078 Time : 0.0 sec. user=mdettweiler [2013-08-31 04:16:31] 871*2^1252293-1 is not prime. Res64: A96EA4B5CE626D55 Time : 0.0 sec. user=mdettweiler [2013-08-31 04:20:51] 891*2^1252293-1 is not prime. Res64: 97B1C9A2EA6C8252 Time : 0.0 sec. user=mdettweiler [2013-08-31 04:20:51] 895*2^1252293-1 is not prime. Res64: 3ECADBAB6FB8687C Time : 0.0 sec. user=mdettweiler [2013-08-31 04:28:43] 985*2^1252293-1 is not prime. Res64: 0C6C9A13E6BE0AD7 Time : 0.0 sec. user=mdettweiler [2013-08-31 04:28:44] 705*2^1252294-1 is not prime. Res64: 1D7597ED3D6538BF Time : 0.0 sec. user=mdettweiler [2013-08-31 04:35:06] 773*2^1252294-1 is not prime. Res64: D78D7B38D4FE6B76 Time : 0.0 sec. user=mdettweiler [2013-08-31 04:35:06] 791*2^1252294-1 is not prime. Res64: F9A75CE07E90292F Time : 0.0 sec. user=mdettweiler [2013-08-31 04:36:38] 619*2^1252295-1 is not prime. Res64: D40D4EB272F35F31 Time : 0.0 sec. user=mdettweiler [2013-08-31 04:36:39] 651*2^1252295-1 is not prime. Res64: 8465CB102BCCAEBE Time : 0.0 sec. user=mdettweiler [2013-08-31 04:41:06] 673*2^1252295-1 is not prime. Res64: 5E36FE1FAD0944D3 Time : 0.0 sec. user=mdettweiler [2013-08-31 04:41:06] 685*2^1252295-1 is not prime. Res64: 6D43A22B6FD8B163 Time : 0.0 sec. user=mdettweiler [2013-08-31 04:48:53] 775*2^1252295-1 is not prime. Res64: B7280ABB04512B9C Time : 0.0 sec. user=mdettweiler [2013-08-31 04:48:53] 831*2^1252295-1 is not prime. Res64: C4BE73339B14D6CE Time : 0.0 sec. user=mdettweiler [2013-08-31 04:56:19] 861*2^1252295-1 is not prime. Res64: 387D06B03DA7CFA3 Time : 0.0 sec. user=mdettweiler [2013-08-31 04:56:20] 885*2^1252295-1 is not prime. Res64: C1E57A1E5AA6FD47 Time : 0.0 sec. user=mdettweiler [2013-08-31 04:58:49] 999*2^1252295-1 is not prime. Res64: 30E447C00CB39DAB Time : 0.0 sec. user=mdettweiler [2013-08-31 04:58:50] 957*2^1252296-1 is not prime. Res64: 6319264EFB07CFE3 Time : 0.0 sec. user=mdettweiler [2013-08-31 05:01:20] 651*2^1252297-1 is not prime. Res64: 6933A0C4F65974E8 Time : 0.0 sec. user=mdettweiler [2013-08-31 05:01:21] 747*2^1252297-1 is not prime. Res64: B8FE445661BE65F3 Time : 0.0 sec. user=mdettweiler [2013-08-31 05:08:59] 817*2^1252297-1 is not prime. Res64: C21A2C63BB43753F Time : 0.0 sec. user=mdettweiler [2013-08-31 05:09:01] 871*2^1252297-1 is not prime. Res64: EDC0353C6FB7AA06 Time : 0.0 sec. user=mdettweiler [2013-08-31 05:16:28] 747*2^1252298-1 is not prime. Res64: 654BB26E2EB50EFD Time : 0.0 sec. user=mdettweiler [2013-08-31 05:16:28] 767*2^1252298-1 is not prime. Res64: 62D91385F37159CF Time : 0.0 sec. user=mdettweiler [2013-08-31 05:18:54] 797*2^1252298-1 is not prime. Res64: FB325E73BF4505CF Time : 0.0 sec. user=mdettweiler [2013-08-31 05:18:55] 827*2^1252298-1 is not prime. Res64: B61CAB320451E78B Time : 0.0 sec. user=mdettweiler [2013-08-31 05:22:45] 833*2^1252298-1 is not prime. Res64: 91EECBB2C0BABD48 Time : 0.0 sec. user=mdettweiler [2013-08-31 05:22:45] 941*2^1252298-1 is not prime. Res64: A6E562F9FA6D48DE Time : 0.0 sec. user=mdettweiler [2013-08-31 05:29:14] 621*2^1252299-1 is not prime. Res64: B653B341A9554E51 Time : 0.0 sec. user=mdettweiler [2013-08-31 05:29:14] 675*2^1252299-1 is not prime. Res64: 380AAF42CB6E71CE Time : 0.0 sec. user=mdettweiler [2013-08-31 05:36:40] 741*2^1252299-1 is not prime. Res64: 72941A674C719F0A Time : 0.0 sec. user=mdettweiler [2013-08-31 05:36:40] 835*2^1252299-1 is not prime. Res64: 3530A0D2D738B06F Time : 0.0 sec. user=mdettweiler [2013-08-31 05:39:59] 859*2^1252299-1 is not prime. Res64: 081F8E44AD2F2FAD Time : 0.0 sec. user=mdettweiler [2013-08-31 05:39:59] 931*2^1252299-1 is not prime. Res64: 13D3C5C5ADB3C8F6 Time : 0.0 sec. user=mdettweiler [2013-08-31 05:44:48] 973*2^1252299-1 is not prime. Res64: E839344E47AE65D4 Time : 0.0 sec. user=mdettweiler [2013-08-31 05:44:48] 985*2^1252299-1 is not prime. Res64: 83E1477D7EE05C96 Time : 0.0 sec. user=mdettweiler [2013-08-31 05:49:29] 653*2^1252300-1 is not prime. Res64: 397CB7CDEDBF8228 Time : 0.0 sec. user=mdettweiler [2013-08-31 05:49:30] 665*2^1252300-1 is not prime. Res64: 3810163872BA1161 Time : 0.0 sec. user=mdettweiler [2013-08-31 05:56:53] 743*2^1252300-1 is not prime. Res64: 95570DE6A06B08D9 Time : 0.0 sec. user=mdettweiler [2013-08-31 05:56:53] 783*2^1252300-1 is not prime. Res64: 3A9BC90A0B734FD8 Time : 0.0 sec. user=mdettweiler [2013-08-31 06:01:06] 873*2^1252300-1 is not prime. Res64: 23221CCEEDF79D30 Time : 0.0 sec. user=mdettweiler [2013-08-31 06:01:07] 885*2^1252300-1 is not prime. Res64: 649E80D281FD4134 Time : 0.0 sec. user=mdettweiler [2013-08-31 06:06:55] 923*2^1252300-1 is not prime. Res64: 6B273D1CCF27A456 Time : 0.0 sec. user=mdettweiler [2013-08-31 06:06:56] 939*2^1252300-1 is not prime. Res64: 43034D7B831C49FC Time : 0.0 sec. user=mdettweiler [2013-08-31 06:09:38] 627*2^1252301-1 is not prime. Res64: 66BD505DD6A10FE0 Time : 0.0 sec. user=mdettweiler [2013-08-31 06:09:39] 757*2^1252301-1 is not prime. Res64: 7B3C41C91FED68D3 Time : 0.0 sec. user=mdettweiler [2013-08-31 06:18:02] 781*2^1252301-1 is not prime. Res64: D419164C01A872C4 Time : 0.0 sec. user=mdettweiler [2013-08-31 06:18:02] 949*2^1252301-1 is not prime. Res64: 458B28409967A92C Time : 0.0 sec. user=mdettweiler [2013-08-31 06:22:36] 967*2^1252301-1 is not prime. Res64: C9A9E5C401B93994 Time : 0.0 sec. user=mdettweiler [2013-08-31 06:22:37] 621*2^1252302-1 is not prime. Res64: 18C84C2DC62B2544 Time : 0.0 sec. user=mdettweiler [2013-08-31 06:27:05] 705*2^1252302-1 is not prime. Res64: 2409778AEDD71BF8 Time : 0.0 sec. user=mdettweiler [2013-08-31 06:27:06] 723*2^1252302-1 is not prime. Res64: D04BA530E370527C Time : 0.0 sec. user=mdettweiler [2013-08-31 06:29:52] 737*2^1252302-1 is not prime. Res64: AAAA61C12AC75FB4 Time : 0.0 sec. user=mdettweiler [2013-08-31 06:29:53] 815*2^1252302-1 is not prime. Res64: 6F42F99911698442 Time : 0.0 sec. user=mdettweiler [2013-08-31 06:40:19] 903*2^1252302-1 is not prime. Res64: 2052641CC2AAE316 Time : 0.0 sec. user=mdettweiler [2013-08-31 06:40:19] 951*2^1252302-1 is not prime. Res64: 09AD5529382BE718 Time : 0.0 sec. user=mdettweiler [2013-08-31 06:44:42] 977*2^1252302-1 is not prime. Res64: 0586F14B5DFDE67B Time : 0.0 sec. user=mdettweiler [2013-08-31 06:44:43] 983*2^1252302-1 is not prime. Res64: 74DC17629E7C7BB0 Time : 0.0 sec. user=mdettweiler [2013-08-31 06:47:15] 639*2^1252303-1 is not prime. Res64: C7DE1E5C54947389 Time : 0.0 sec. user=mdettweiler [2013-08-31 06:47:15] 679*2^1252303-1 is not prime. Res64: CA09EBC3B6A9D0E7 Time : 0.0 sec. user=mdettweiler [2013-08-31 06:50:05] 703*2^1252303-1 is not prime. Res64: B5327E17B0AE129D Time : 0.0 sec. user=mdettweiler [2013-08-31 06:50:05] 735*2^1252303-1 is not prime. Res64: C3F3C4A657B4CB09 Time : 0.0 sec. user=mdettweiler [2013-08-31 07:01:21] 831*2^1252303-1 is not prime. Res64: 9826C14C4EF6E67D Time : 0.0 sec. user=mdettweiler [2013-08-31 07:01:23] 919*2^1252303-1 is not prime. Res64: 9407530486117DB2 Time : 0.0 sec. user=mdettweiler [2013-08-31 07:05:48] 933*2^1252303-1 is not prime. Res64: 7C16F16A0809D215 Time : 0.0 sec. user=mdettweiler [2013-08-31 07:05:49] 657*2^1252304-1 is not prime. Res64: 105A20071BE026A8 Time : 0.0 sec. user=juhehe [2013-08-31 07:07:05] 811*2^1252303-1 is not prime. Res64: D75358E10DF27F75 Time : 0.0 sec. user=mdettweiler [2013-08-31 07:07:22] 675*2^1252304-1 is not prime. Res64: 6B56509623B1BFAE Time : 0.0 sec. user=mdettweiler [2013-08-31 07:07:22] 743*2^1252304-1 is not prime. Res64: EC3DAE9328022480 Time : 0.0 sec. user=mdettweiler [2013-08-31 07:10:14] 825*2^1252304-1 is not prime. Res64: 43325FEB542B8AD9 Time : 0.0 sec. user=mdettweiler [2013-08-31 07:10:16] 857*2^1252304-1 is not prime. Res64: 2236E427527277F9 Time : 0.0 sec. user=mdettweiler [2013-08-31 07:22:48] 935*2^1252304-1 is not prime. Res64: 2D8F7F567160AE6F Time : 0.0 sec. user=mdettweiler [2013-08-31 07:22:48] 627*2^1252305-1 is not prime. Res64: B02971A09D16706D Time : 0.0 sec. user=mdettweiler [2013-08-31 07:26:01] 651*2^1252305-1 is not prime. Res64: C5A0856D247B2FD3 Time : 0.0 sec. user=mdettweiler [2013-08-31 07:26:02] 699*2^1252305-1 is not prime. Res64: B8AF058AC122BC9F Time : 0.0 sec. user=mdettweiler [2013-08-31 07:27:31] 717*2^1252305-1 is not prime. Res64: 26A23DE66FF066D3 Time : 0.0 sec. user=mdettweiler [2013-08-31 07:27:31] 739*2^1252305-1 is not prime. Res64: C695160D1D2B9FD4 Time : 0.0 sec. user=mdettweiler [2013-08-31 07:30:26] 831*2^1252305-1 is not prime. Res64: 9E43775CBB1640C3 Time : 0.0 sec. user=mdettweiler [2013-08-31 07:30:26] 695*2^1252306-1 is not prime. Res64: 769EFBCAA9D47129 Time : 0.0 sec. user=mdettweiler [2013-08-31 07:43:57] 777*2^1252306-1 is not prime. Res64: 5E992E6D9954A394 Time : 0.0 sec. user=mdettweiler [2013-08-31 07:43:58] 881*2^1252306-1 is not prime. Res64: 1D61FE63B970F41B Time : 0.0 sec. user=mdettweiler [2013-08-31 07:47:18] 981*2^1252306-1 is not prime. Res64: 652680ED0AFC8B75 Time : 0.0 sec. user=mdettweiler [2013-08-31 07:47:18] 615*2^1252307-1 is not prime. Res64: 7B00CB9B8EB9ECC8 Time : 0.0 sec. user=mdettweiler [2013-08-31 07:48:43] 801*2^1252307-1 is not prime. Res64: DCF198D7403122AD Time : 0.0 sec. user=mdettweiler [2013-08-31 07:48:44] 949*2^1252307-1 is not prime. Res64: 4086D006992CF950 Time : 0.0 sec. user=mdettweiler [2013-08-31 07:52:35] 979*2^1252307-1 is not prime. Res64: E84215396017770C Time : 0.0 sec. user=mdettweiler [2013-08-31 07:52:35] 991*2^1252307-1 is not prime. Res64: FE87019CE65BE8D3 Time : 0.0 sec. user=mdettweiler [2013-08-31 08:04:16] 705*2^1252308-1 is not prime. Res64: 6C65761C644439CD Time : 0.0 sec. user=mdettweiler [2013-08-31 08:04:17] 735*2^1252308-1 is not prime. Res64: 4C7BE8B3DA5D3CC8 Time : 0.0 sec. user=mdettweiler [2013-08-31 08:08:57] 679*2^1252309-1 is not prime. Res64: DF9B5F3C4A38BBD9 Time : 0.0 sec. user=mdettweiler [2013-08-31 08:08:57] 685*2^1252309-1 is not prime. Res64: 6B8118FE1EAD592F Time : 0.0 sec. user=mdettweiler [2013-08-31 08:09:22] 927*2^1252308-1 is not prime. Res64: 03404B973B18A257 Time : 0.0 sec. user=mdettweiler [2013-08-31 08:09:23] 947*2^1252308-1 is not prime. Res64: E352C44E3D1EC259 Time : 0.0 sec. user=mdettweiler [2013-08-31 08:13:43] 747*2^1252309-1 is not prime. Res64: 93552175EBFE31C6 Time : 0.0 sec. user=mdettweiler [2013-08-31 08:13:43] 955*2^1252309-1 is not prime. Res64: C96BD6DB435FB5CA Time : 0.0 sec. user=mdettweiler [2013-08-31 08:24:59] 731*2^1252310-1 is not prime. Res64: 26C304290D7E3398 Time : 0.0 sec. user=mdettweiler [2013-08-31 08:25:00] 797*2^1252310-1 is not prime. Res64: CB30A955DD36CEC5 Time : 0.0 sec. user=mdettweiler [2013-08-31 08:29:12] 827*2^1252310-1 is not prime. Res64: 226ABFDA49A5D447 Time : 0.0 sec. user=mdettweiler [2013-08-31 08:29:12] 861*2^1252310-1 is not prime. Res64: B1ED489046764BFC Time : 0.0 sec. user=mdettweiler [2013-08-31 08:31:36] 921*2^1252310-1 is not prime. Res64: 72316218197B4D22 Time : 0.0 sec. user=mdettweiler [2013-08-31 08:31:36] 981*2^1252310-1 is not prime. Res64: F73671FBC0F7E5F9 Time : 0.0 sec. user=mdettweiler [2013-08-31 08:33:56] 691*2^1252311-1 is not prime. Res64: 3C526F7086CEF748 Time : 0.0 sec. user=mdettweiler [2013-08-31 08:33:57] 781*2^1252311-1 is not prime. Res64: 8C2E58CABCE3203E Time : 0.0 sec. user=mdettweiler [2013-08-31 08:45:13] 861*2^1252311-1 is not prime. Res64: D46BAF0D90FD3001 Time : 0.0 sec. user=mdettweiler [2013-08-31 08:45:14] 879*2^1252311-1 is not prime. Res64: B63F378D2A11A230 Time : 0.0 sec. user=mdettweiler [2013-08-31 08:50:20] 943*2^1252311-1 is not prime. Res64: 2107692DA74A6594 Time : 0.0 sec. user=mdettweiler [2013-08-31 08:50:20] 615*2^1252312-1 is not prime. Res64: 52EA004628ECFA21 Time : 0.0 sec. user=mdettweiler [2013-08-31 08:51:50] 623*2^1252312-1 is not prime. Res64: 87836953F6136680 Time : 0.0 sec. user=mdettweiler [2013-08-31 08:51:51] 665*2^1252312-1 is not prime. Res64: 80F6D1B6BC7E63D6 Time : 0.0 sec. user=mdettweiler [2013-08-31 08:54:08] 785*2^1252312-1 is not prime. Res64: CB4B0C16562C98FD Time : 0.0 sec. user=mdettweiler [2013-08-31 08:54:09] 797*2^1252312-1 is not prime. Res64: FAB1BA4DF8EDAF4E Time : 0.0 sec. user=mdettweiler [2013-08-31 09:05:27] 803*2^1252312-1 is not prime. Res64: BE7B0F56A1B2CCD0 Time : 0.0 sec. user=mdettweiler [2013-08-31 09:05:28] 827*2^1252312-1 is not prime. Res64: 3EF1679FBB45C184 Time : 0.0 sec. user=mdettweiler [2013-08-31 09:11:28] 843*2^1252312-1 is not prime. Res64: 7F602E5A83C3A069 Time : 0.0 sec. user=mdettweiler [2013-08-31 09:11:28] 903*2^1252312-1 is not prime. Res64: D5A4D2CF2092960E Time : 0.0 sec. user=mdettweiler [2013-08-31 09:14:00] 939*2^1252312-1 is not prime. Res64: D54756F701C4CC50 Time : 0.0 sec. user=mdettweiler [2013-08-31 09:14:01] 989*2^1252312-1 is not prime. Res64: 4DED040B413E60EF Time : 0.0 sec. user=mdettweiler [2013-08-31 09:15:12] 999*2^1252312-1 is not prime. Res64: 433BD1641FE0143D Time : 0.0 sec. user=mdettweiler [2013-08-31 09:15:13] 619*2^1252313-1 is not prime. Res64: 033AF9D998A88475 Time : 0.0 sec. user=mdettweiler [2013-08-31 09:25:40] 657*2^1252313-1 is not prime. Res64: 658B2D66383EA90B Time : 0.0 sec. user=mdettweiler [2013-08-31 09:25:41] 669*2^1252313-1 is not prime. Res64: 5FBD35A638B6D067 Time : 0.0 sec. user=mdettweiler [2013-08-31 09:31:45] 685*2^1252313-1 is not prime. Res64: F1B337B656137ED9 Time : 0.0 sec. user=mdettweiler [2013-08-31 09:31:45] 769*2^1252313-1 is not prime. Res64: 0109217D0684D04C Time : 0.0 sec. user=mdettweiler [2013-08-31 09:34:12] 811*2^1252313-1 is not prime. Res64: 0362DCB25C3CA0CF Time : 0.0 sec. user=mdettweiler [2013-08-31 09:34:13] 837*2^1252313-1 is not prime. Res64: F3E3D8AF6099F319 Time : 0.0 sec. user=mdettweiler [2013-08-31 09:36:20] 847*2^1252313-1 is not prime. Res64: 6785F3E2DDD636E3 Time : 0.0 sec. user=mdettweiler [2013-08-31 09:36:21] 885*2^1252313-1 is not prime. Res64: B47B819615A966A3 Time : 0.0 sec. user=mdettweiler [2013-08-31 09:47:55] 939*2^1252313-1 is not prime. Res64: 5698C9D87B1E8E70 Time : 0.0 sec. user=mdettweiler [2013-08-31 09:47:56] 987*2^1252313-1 is not prime. Res64: 7438560D348921CF Time : 0.0 sec. user=mdettweiler [2013-08-31 09:51:58] 747*2^1252314-1 is not prime. Res64: 959517C4D699345A Time : 0.0 sec. user=mdettweiler [2013-08-31 09:51:58] 765*2^1252314-1 is not prime. Res64: C0C51BC48CA9BC91 Time : 0.0 sec. user=mdettweiler [2013-08-31 09:54:24] 803*2^1252314-1 is not prime. Res64: 4D2AE7D5C12AABFA Time : 0.0 sec. user=mdettweiler [2013-08-31 09:54:25] 807*2^1252314-1 is not prime. Res64: C17AA0775F69DF02 Time : 0.0 sec. user=mdettweiler [2013-08-31 09:58:32] 885*2^1252314-1 is not prime. Res64: 3889AD8C8B2DFEF3 Time : 0.0 sec. user=mdettweiler [2013-08-31 09:58:32] 883*2^1252315-1 is not prime. Res64: 3090D14427AEDCA7 Time : 0.0 sec. user=mdettweiler [2013-08-31 10:10:10] 889*2^1252315-1 is not prime. Res64: 3A2285BBE61153A6 Time : 0.0 sec. user=mdettweiler [2013-08-31 10:10:10] 891*2^1252315-1 is not prime. Res64: 6325B2F1BF0A3452 Time : 0.0 sec. user=mdettweiler [2013-08-31 10:12:10] 773*2^1252316-1 is not prime. Res64: 0A3C10F7F6DD8FE4 Time : 0.0 sec. user=mdettweiler [2013-08-31 10:12:10] 789*2^1252316-1 is not prime. Res64: F0C28578FA93B358 Time : 0.0 sec. user=mdettweiler [2013-08-31 10:14:34] 857*2^1252316-1 is not prime. Res64: 69A559495D6E6BB9 Time : 0.0 sec. user=mdettweiler [2013-08-31 10:14:34] 661*2^1252317-1 is not prime. Res64: 1984053BB76CB2FB Time : 0.0 sec. user=mdettweiler [2013-08-31 10:18:40] 667*2^1252317-1 is not prime. Res64: 8712599BEBC514DC Time : 0.0 sec. user=mdettweiler [2013-08-31 10:18:40] 817*2^1252317-1 is not prime. Res64: 5753E3089CE599D3 Time : 0.0 sec. user=mdettweiler [2013-08-31 10:32:19] 901*2^1252317-1 is not prime. Res64: 9E325854AC0AAA91 Time : 0.0 sec. user=mdettweiler [2013-08-31 10:32:20] 945*2^1252317-1 is not prime. Res64: 3328AD264C1ECAA9 Time : 0.0 sec. user=mdettweiler [2013-08-31 10:32:23] 617*2^1252318-1 is not prime. Res64: DD818D807D16050D Time : 0.0 sec. user=mdettweiler [2013-08-31 10:32:23] 773*2^1252318-1 is not prime. Res64: 092FFDA25FF015D4 Time : 0.0 sec. user=mdettweiler [2013-08-31 10:35:40] 867*2^1252318-1 is not prime. Res64: 6AB0CE11F302F27E Time : 0.0 sec. user=mdettweiler [2013-08-31 10:35:40] 891*2^1252318-1 is not prime. Res64: 2A01CB0403AABDE3 Time : 0.0 sec. user=mdettweiler [2013-08-31 10:39:49] 957*2^1252318-1 is not prime. Res64: FA07A70752613337 Time : 0.0 sec. user=mdettweiler [2013-08-31 10:39:49] 645*2^1252319-1 is not prime. Res64: C762B08772BA5402 Time : 0.0 sec. user=mdettweiler [2013-08-31 10:52:27] 711*2^1252319-1 is not prime. Res64: FC8E9F0DC3B713AF Time : 0.0 sec. user=mdettweiler [2013-08-31 10:52:27] 735*2^1252319-1 is not prime. Res64: 8608E68E6AD6A0E8 Time : 0.0 sec. user=mdettweiler [2013-08-31 10:52:33] 771*2^1252319-1 is not prime. Res64: 373C2852C325DB98 Time : 0.0 sec. user=mdettweiler [2013-08-31 10:52:34] 799*2^1252319-1 is not prime. Res64: 5BD4E6EB25DF7498 Time : 0.0 sec. user=mdettweiler [2013-08-31 10:56:45] 853*2^1252319-1 is not prime. Res64: BFE29250B165DD35 Time : 0.0 sec. user=mdettweiler [2013-08-31 10:56:46] 913*2^1252319-1 is not prime. Res64: E79B57E8B6DEB48F Time : 0.0 sec. user=mdettweiler [2013-08-31 11:00:56] 939*2^1252319-1 is not prime. Res64: BCCB089215D2B8BE Time : 0.0 sec. user=mdettweiler [2013-08-31 11:00:57] 719*2^1252320-1 is not prime. Res64: A90F1EE6036F2B84 Time : 0.0 sec. user=mdettweiler [2013-08-31 11:12:30] 765*2^1252320-1 is not prime. Res64: FBCA879F3C1C0AD6 Time : 0.0 sec. user=mdettweiler [2013-08-31 11:12:31] 825*2^1252320-1 is not prime. Res64: 77F349C2B9E58041 Time : 0.0 sec. user=mdettweiler [2013-08-31 11:12:40] 839*2^1252320-1 is not prime. Res64: 343A7128138A10C9 Time : 0.0 sec. user=mdettweiler [2013-08-31 11:12:40] 625*2^1252321-1 is not prime. Res64: 70E543EE37E501D3 Time : 0.0 sec. user=mdettweiler [2013-08-31 11:16:52] 705*2^1252321-1 is not prime. Res64: 658E73BBF5AC0622 Time : 0.0 sec. user=mdettweiler [2013-08-31 11:16:53] 741*2^1252321-1 is not prime. Res64: 880B249F6B3C5983 Time : 0.0 sec. user=mdettweiler [2013-08-31 11:21:05] 777*2^1252321-1 is not prime. Res64: 8F591371F64E2C0D Time : 0.0 sec. user=mdettweiler [2013-08-31 11:21:05] 805*2^1252321-1 is not prime. Res64: DE99FB5C66A436EF Time : 0.0 sec. user=mdettweiler [2013-08-31 11:32:50] 645*2^1252322-1 is not prime. Res64: 8788640AEB9EB8FE Time : 0.0 sec. user=mdettweiler [2013-08-31 11:32:51] 677*2^1252322-1 is not prime. Res64: FF95A654CDD87FC2 Time : 0.0 sec. user=mdettweiler [2013-08-31 11:33:36] 925*2^1252321-1 is not prime. Res64: 7612493CCC742276 Time : 0.0 sec. user=mdettweiler [2013-08-31 11:33:36] 635*2^1252322-1 is not prime. Res64: 1CDD2795495F05F4 Time : 0.0 sec. user=juhehe [2013-08-31 11:35:04] 871*2^1252321-1 is not prime. Res64: 5085A43E7364D49A Time : 0.0 sec. user=mdettweiler [2013-08-31 11:37:01] 705*2^1252322-1 is not prime. Res64: 2DEE3E26B519078E Time : 0.0 sec. user=mdettweiler [2013-08-31 11:37:01] 753*2^1252322-1 is not prime. Res64: B639AF7117977E80 Time : 0.0 sec. user=mdettweiler [2013-08-31 11:43:10] 977*2^1252322-1 is not prime. Res64: 372A89DB559DB5D6 Time : 0.0 sec. user=mdettweiler [2013-08-31 11:43:10] 981*2^1252322-1 is not prime. Res64: EA6736B9495D75E7 Time : 0.0 sec. user=mdettweiler [2013-08-31 11:54:06] 1001*2^1252322-1 is not prime. Res64: 64A28353EFF1FD07 Time : 0.0 sec. user=mdettweiler [2013-08-31 11:54:06] 613*2^1252323-1 is not prime. Res64: B7BA9ACC52F9AF28 Time : 0.0 sec. user=mdettweiler [2013-08-31 11:54:50] 663*2^1252323-1 is not prime. Res64: F12B7A2B3107D526 Time : 0.0 sec. user=mdettweiler [2013-08-31 11:54:50] 945*2^1252323-1 is not prime. Res64: C6007DEBD825C4C6 Time : 0.0 sec. user=mdettweiler [2013-08-31 11:58:21] 955*2^1252323-1 is not prime. Res64: C36C330F4CA71F22 Time : 0.0 sec. user=mdettweiler [2013-08-31 11:58:22] 635*2^1252324-1 is not prime. Res64: A1EAB7FB2A02B44A Time : 0.0 sec. user=mdettweiler [2013-08-31 12:03:25] 819*2^1252324-1 is not prime. Res64: 6267201194D20337 Time : 0.0 sec. user=mdettweiler [2013-08-31 12:03:26] 843*2^1252324-1 is not prime. Res64: 1F46698BE486F75E Time : 0.0 sec. user=mdettweiler [2013-08-31 12:14:14] 607*2^1252325-1 is not prime. Res64: 757AC3D25AB63090 Time : 0.0 sec. user=mdettweiler [2013-08-31 12:14:14] 861*2^1252325-1 is not prime. Res64: 489D4F18AE806870 Time : 0.0 sec. user=mdettweiler [2013-08-31 12:16:00] 705*2^1252326-1 is not prime. Res64: 38073EAF8EE49467 Time : 0.0 sec. user=mdettweiler [2013-08-31 12:16:01] 891*2^1252326-1 is not prime. Res64: 5BEDE96C092432F5 Time : 0.0 sec. user=mdettweiler [2013-08-31 12:19:29] 963*2^1252326-1 is not prime. Res64: 64C01C92CA0DBF14 Time : 0.0 sec. user=mdettweiler [2013-08-31 12:19:30] 633*2^1252327-1 is not prime. Res64: 4DCE681973582437 Time : 0.0 sec. user=mdettweiler [2013-08-31 12:23:42] 663*2^1252327-1 is not prime. Res64: 265F198A2D24DA40 Time : 0.0 sec. user=mdettweiler [2013-08-31 12:23:43] 681*2^1252327-1 is not prime. Res64: 58BB7E360C34FB82 Time : 0.0 sec. user=mdettweiler [2013-08-31 12:35:24] 775*2^1252327-1 is not prime. Res64: A8B19448B0AD3305 Time : 0.0 sec. user=mdettweiler [2013-08-31 12:35:24] 885*2^1252327-1 is not prime. Res64: BD3FDA0907B212E0 Time : 0.0 sec. user=mdettweiler [2013-08-31 12:36:15] 827*2^1252328-1 is not prime. Res64: 57C0337D22B2F3FA Time : 0.0 sec. user=mdettweiler [2013-08-31 12:36:16] 843*2^1252328-1 is not prime. Res64: 186000EE056144DC Time : 0.0 sec. user=mdettweiler [2013-08-31 12:41:33] 899*2^1252328-1 is not prime. Res64: E373D0464C825D58 Time : 0.0 sec. user=mdettweiler [2013-08-31 12:41:33] 963*2^1252328-1 is not prime. Res64: C91A96004A2CE4A0 Time : 0.0 sec. user=mdettweiler [2013-08-31 12:44:50] 993*2^1252328-1 is not prime. Res64: 5DE97D1EA2220558 Time : 0.0 sec. user=mdettweiler [2013-08-31 12:44:51] 625*2^1252329-1 is not prime. Res64: C62D13AA0B8B2733 Time : 0.0 sec. user=mdettweiler [2013-08-31 12:55:31] 657*2^1252329-1 is not prime. Res64: 8EE1DCDB73E33BE6 Time : 0.0 sec. user=mdettweiler [2013-08-31 12:55:32] 661*2^1252329-1 is not prime. Res64: 7341860FEDEA1170 Time : 0.0 sec. user=mdettweiler [2013-08-31 12:56:23] 807*2^1252329-1 is not prime. Res64: 0BEA9BBDB0D965C0 Time : 0.0 sec. user=mdettweiler [2013-08-31 12:56:24] 837*2^1252329-1 is not prime. Res64: E363885E6980F827 Time : 0.0 sec. user=mdettweiler [2013-08-31 13:02:37] 877*2^1252329-1 is not prime. Res64: 594A723730F20803 Time : 0.0 sec. user=mdettweiler [2013-08-31 13:02:38] 919*2^1252329-1 is not prime. Res64: AA65B9673A0BBBC1 Time : 0.0 sec. user=mdettweiler [2013-08-31 13:06:52] 951*2^1252329-1 is not prime. Res64: 179E26590250285E Time : 0.0 sec. user=mdettweiler [2013-08-31 13:06:54] 969*2^1252329-1 is not prime. Res64: ECF4403A18ED4E2F Time : 0.0 sec. user=mdettweiler [2013-08-31 13:16:32] 645*2^1252330-1 is not prime. Res64: 0C087FF23EBA7CAD Time : 0.0 sec. user=mdettweiler [2013-08-31 13:16:33] 675*2^1252330-1 is not prime. Res64: D6F959F6FB5423C9 Time : 0.0 sec. user=mdettweiler [2013-08-31 13:16:41] 979*2^1252329-1 is not prime. Res64: 88C8755969AD6D98 Time : 0.0 sec. user=mdettweiler [2013-08-31 13:16:41] 623*2^1252330-1 is not prime. Res64: FA263DB3BD8F1AEC Time : 0.0 sec. user=mdettweiler [2013-08-31 13:22:54] 687*2^1252330-1 is not prime. Res64: CA4FFA0AF22F1E92 Time : 0.0 sec. user=mdettweiler [2013-08-31 13:22:54] 741*2^1252330-1 is not prime. Res64: 703D90FA2ADBAA51 Time : 0.0 sec. user=mdettweiler [2013-08-31 13:27:02] 773*2^1252330-1 is not prime. Res64: 9D51AFB78A634527 Time : 0.0 sec. user=mdettweiler [2013-08-31 13:27:03] 843*2^1252330-1 is not prime. Res64: 67FA0741357D0FBF Time : 0.0 sec. user=mdettweiler [2013-08-31 13:38:37] 885*2^1252330-1 is not prime. Res64: 6DA1F69EF1571B31 Time : 0.0 sec. user=mdettweiler [2013-08-31 13:38:38] 887*2^1252330-1 is not prime. Res64: E8FAC89DD61C8E94 Time : 0.0 sec. user=mdettweiler [2013-08-31 13:38:46] 891*2^1252330-1 is not prime. Res64: 2AEE6B53FB6E3C45 Time : 0.0 sec. user=mdettweiler [2013-08-31 13:38:46] 905*2^1252330-1 is not prime. Res64: 1087F2DC543FADCF Time : 0.0 sec. user=mdettweiler [2013-08-31 13:43:58] 951*2^1252330-1 is not prime. Res64: ADF99F32170380C4 Time : 0.0 sec. user=mdettweiler [2013-08-31 13:43:58] 643*2^1252331-1 is not prime. Res64: 1C8830D96C6FD33C Time : 0.0 sec. user=mdettweiler [2013-08-31 13:47:17] 753*2^1252331-1 is not prime. Res64: AE40105C16DAD0C5 Time : 0.0 sec. user=mdettweiler [2013-08-31 13:47:18] 841*2^1252331-1 is not prime. Res64: 8C0A5781BA69EECB Time : 0.0 sec. user=mdettweiler [2013-08-31 13:58:58] 605*2^1252332-1 is not prime. Res64: 9AC06749CC554D56 Time : 0.0 sec. user=mdettweiler [2013-08-31 13:58:59] 635*2^1252332-1 is not prime. Res64: F4C2D99DC3835266 Time : 0.0 sec. user=mdettweiler [2013-08-31 14:00:47] 903*2^1252331-1 is not prime. Res64: A3B1A36C729A3513 Time : 0.0 sec. user=mdettweiler [2013-08-31 14:00:48] 921*2^1252331-1 is not prime. Res64: 210BD9091E295910 Time : 0.0 sec. user=mdettweiler [2013-08-31 14:05:09] 765*2^1252332-1 is not prime. Res64: 8CFE1427966AB1C9 Time : 0.0 sec. user=mdettweiler [2013-08-31 14:05:10] 893*2^1252332-1 is not prime. Res64: 2BE8DD0C9C4A91B4 Time : 0.0 sec. user=mdettweiler [2013-08-31 14:08:24] 909*2^1252332-1 is not prime. Res64: 0CB7A91BD9BF2B51 Time : 0.0 sec. user=mdettweiler [2013-08-31 14:08:25] 699*2^1252333-1 is not prime. Res64: BB1A1F954D7D2DDC Time : 0.0 sec. user=mdettweiler [2013-08-31 14:19:07] 729*2^1252333-1 is not prime. Res64: CA1E458B9826651D Time : 0.0 sec. user=mdettweiler [2013-08-31 14:19:08] 747*2^1252333-1 is not prime. Res64: AE3A71A9CAB89297 Time : 0.0 sec. user=mdettweiler [2013-08-31 14:21:00] 817*2^1252333-1 is not prime. Res64: 44729F73513182A1 Time : 0.0 sec. user=mdettweiler [2013-08-31 14:21:00] 693*2^1252334-1 is not prime. Res64: 7D22512D997C840F Time : 0.0 sec. user=mdettweiler [2013-08-31 14:27:11] 885*2^1252334-1 is not prime. Res64: 4F769A43FA3F38BD Time : 0.0 sec. user=mdettweiler [2013-08-31 14:27:12] 957*2^1252334-1 is not prime. Res64: 43163D0AA9EABB86 Time : 0.0 sec. user=mdettweiler [2013-08-31 14:28:34] 669*2^1252335-1 is not prime. Res64: 7CEA0917BBFDBBB5 Time : 0.0 sec. user=mdettweiler [2013-08-31 14:28:34] 679*2^1252335-1 is not prime. Res64: D501F3CF11BEBEB9 Time : 0.0 sec. user=mdettweiler [2013-08-31 14:39:18] 739*2^1252335-1 is not prime. Res64: 581F72F06B955FF6 Time : 0.0 sec. user=mdettweiler [2013-08-31 14:39:19] 765*2^1252335-1 is not prime. Res64: 42D32AFD2AF5F9FC Time : 0.0 sec. user=mdettweiler [2013-08-31 14:41:07] 789*2^1252335-1 is not prime. Res64: 8C75B52D5425B04E Time : 0.0 sec. user=mdettweiler [2013-08-31 14:41:07] 795*2^1252335-1 is not prime. Res64: B0FC756D909AB8BB Time : 0.0 sec. user=mdettweiler [2013-08-31 14:48:20] 861*2^1252335-1 is not prime. Res64: 7619B3291851554A Time : 0.0 sec. user=mdettweiler [2013-08-31 14:48:20] 919*2^1252335-1 is not prime. Res64: 01EBF84B81B67D3D Time : 0.0 sec. user=mdettweiler [2013-08-31 14:50:38] 921*2^1252335-1 is not prime. Res64: 8E6A58DE2D6967BB Time : 0.0 sec. user=mdettweiler [2013-08-31 14:50:38] 951*2^1252335-1 is not prime. Res64: 487C2F48557E8691 Time : 0.0 sec. user=mdettweiler [2013-08-31 15:00:27] 963*2^1252335-1 is not prime. Res64: D6248DF3DBE24931 Time : 0.0 sec. user=mdettweiler [2013-08-31 15:00:28] 653*2^1252336-1 is not prime. Res64: 8D79697783BE641F Time : 0.0 sec. user=mdettweiler [2013-08-31 15:01:18] 693*2^1252336-1 is not prime. Res64: 6C230CCE0BC42D3F Time : 0.0 sec. user=mdettweiler [2013-08-31 15:01:19] 695*2^1252336-1 is not prime. Res64: 2FC4F9DEA843C92C Time : 0.0 sec. user=mdettweiler [2013-08-31 15:08:47] 833*2^1252336-1 is not prime. Res64: 1BFF8064C75B30E2 Time : 0.0 sec. user=mdettweiler [2013-08-31 15:08:48] 849*2^1252336-1 is not prime. Res64: D2EEA293742B2E5B Time : 0.0 sec. user=mdettweiler [2013-08-31 15:13:24] 897*2^1252336-1 is not prime. Res64: 3AD73ED8758BA1E0 Time : 0.0 sec. user=mdettweiler [2013-08-31 15:13:25] 917*2^1252336-1 is not prime. Res64: BB3216D25B70D4CB Time : 0.0 sec. user=mdettweiler [2013-08-31 15:22:09] 619*2^1252337-1 is not prime. Res64: 4656645EF3C148AC Time : 0.0 sec. user=mdettweiler [2013-08-31 15:22:09] 715*2^1252337-1 is not prime. Res64: 81344BEAAAE08233 Time : 0.0 sec. user=mdettweiler [2013-08-31 15:22:36] 769*2^1252337-1 is not prime. Res64: 2F0126D043A171DE Time : 0.0 sec. user=mdettweiler [2013-08-31 15:22:37] 871*2^1252337-1 is not prime. Res64: F276EC3F3FFDA950 Time : 0.0 sec. user=mdettweiler [2013-08-31 15:32:14] 909*2^1252337-1 is not prime. Res64: 38CD9D9AF21756F6 Time : 0.0 sec. user=mdettweiler [2013-08-31 15:32:14] 967*2^1252337-1 is not prime. Res64: 6DBDE82349881747 Time : 0.0 sec. user=mdettweiler [2013-08-31 15:34:28] 683*2^1252338-1 is not prime. Res64: EB690417FEE7192D Time : 0.0 sec. user=mdettweiler [2013-08-31 15:34:28] 711*2^1252338-1 is not prime. Res64: 4445E2F4B2CF9C60 Time : 0.0 sec. user=mdettweiler [2013-08-31 15:43:00] 777*2^1252338-1 is not prime. Res64: 9EAA5142FFC9D7D4 Time : 0.0 sec. user=mdettweiler [2013-08-31 15:43:01] 797*2^1252338-1 is not prime. Res64: 8FF3B0F718034AEC Time : 0.0 sec. user=mdettweiler [2013-08-31 15:44:19] 867*2^1252338-1 is not prime. Res64: 26AD1CB0FCA62AF8 Time : 0.0 sec. user=mdettweiler [2013-08-31 15:44:19] 933*2^1252338-1 is not prime. Res64: BC80094E2D2163FA Time : 0.0 sec. user=mdettweiler [2013-08-31 15:53:57] 993*2^1252338-1 is not prime. Res64: 806D009561290DA1 Time : 0.0 sec. user=mdettweiler [2013-08-31 15:53:57] 631*2^1252339-1 is not prime. Res64: C7D71B98F2497FBD Time : 0.0 sec. user=mdettweiler [2013-08-31 15:55:22] 723*2^1252339-1 is not prime. Res64: 9822EE37A6EFF28E Time : 0.0 sec. user=mdettweiler [2013-08-31 15:55:22] 735*2^1252339-1 is not prime. Res64: 02FE50D0484515EF Time : 0.0 sec. user=mdettweiler [2013-08-31 16:05:00] 759*2^1252339-1 is not prime. Res64: F913D0A32C6460E8 Time : 0.0 sec. user=mdettweiler [2013-08-31 16:05:01] 883*2^1252339-1 is not prime. Res64: E7FD1879B79963D0 Time : 0.0 sec. user=mdettweiler [2013-08-31 16:07:17] 885*2^1252339-1 is not prime. Res64: 0AB6D148CFAECF77 Time : 0.0 sec. user=mdettweiler [2013-08-31 16:07:18] 913*2^1252339-1 is not prime. Res64: 4F2BC78DBDA8B899 Time : 0.0 sec. user=mdettweiler [2013-08-31 16:15:05] 603*2^1252340-1 is not prime. Res64: B52198D340B5D39C Time : 0.0 sec. user=mdettweiler [2013-08-31 16:15:06] 675*2^1252340-1 is not prime. Res64: FE60157F15CC3F44 Time : 0.0 sec. user=mdettweiler [2013-08-31 16:16:12] 719*2^1252340-1 is not prime. Res64: B45C5D3FD1B490C2 Time : 0.0 sec. user=mdettweiler [2013-08-31 16:16:13] 785*2^1252340-1 is not prime. Res64: 5FC36670764D881C Time : 0.0 sec. user=mdettweiler [2013-08-31 16:25:55] 819*2^1252340-1 is not prime. Res64: 37A9F80008C4E250 Time : 0.0 sec. user=mdettweiler [2013-08-31 16:25:56] 675*2^1252341-1 is not prime. Res64: B349BDF5AA2B4E80 Time : 0.0 sec. user=mdettweiler [2013-08-31 16:28:47] 691*2^1252341-1 is not prime. Res64: 5CC389FC9D1855CD Time : 0.0 sec. user=mdettweiler [2013-08-31 16:28:47] 937*2^1252341-1 is not prime. Res64: 8F5BC75C1AC453CC Time : 0.0 sec. user=mdettweiler [2013-08-31 16:36:14] 969*2^1252341-1 is not prime. Res64: 59E4DD57866AF044 Time : 0.0 sec. user=mdettweiler [2013-08-31 16:36:14] 681*2^1252342-1 is not prime. Res64: B5830621DCBEAEC3 Time : 0.0 sec. user=mdettweiler [2013-08-31 16:36:23] 713*2^1252342-1 is not prime. Res64: A8D77E7272C253C4 Time : 0.0 sec. user=mdettweiler [2013-08-31 16:36:23] 717*2^1252342-1 is not prime. Res64: 6B37700BCEACE712 Time : 0.0 sec. user=mdettweiler [2013-08-31 16:46:10] 827*2^1252342-1 is not prime. Res64: 71E964C3E954381D Time : 0.0 sec. user=mdettweiler [2013-08-31 16:46:11] 843*2^1252342-1 is not prime. Res64: D7071A5895AE15D5 Time : 0.0 sec. user=mdettweiler [2013-08-31 16:50:54] 885*2^1252342-1 is not prime. Res64: E88BA95985515B77 Time : 0.0 sec. user=mdettweiler [2013-08-31 16:50:55] 1001*2^1252342-1 is not prime. Res64: 73C77C81F2C0D8E2 Time : 0.0 sec. user=mdettweiler [2013-08-31 16:56:28] 619*2^1252343-1 is not prime. Res64: CC4E65E6C4729120 Time : 0.0 sec. user=mdettweiler [2013-08-31 16:56:29] 633*2^1252343-1 is not prime. Res64: BD7476C33CCF571B Time : 0.0 sec. user=mdettweiler [2013-08-31 16:56:36] 643*2^1252343-1 is not prime. Res64: 15BFA045FABADBAE Time : 0.0 sec. user=mdettweiler [2013-08-31 16:56:36] 825*2^1252343-1 is not prime. Res64: 172C0539E1FE80EF Time : 0.0 sec. user=mdettweiler [2013-08-31 17:08:16] 895*2^1252343-1 is not prime. Res64: 65D5B7453805AB73 Time : 0.0 sec. user=mdettweiler [2013-08-31 17:08:18] 993*2^1252343-1 is not prime. Res64: 2D526A7FB22B0C08 Time : 0.0 sec. user=mdettweiler [2013-08-31 17:11:07] 705*2^1252344-1 is not prime. Res64: 3376BB48B57728A1 Time : 0.0 sec. user=mdettweiler [2013-08-31 17:11:08] 773*2^1252344-1 is not prime. Res64: 93E5275C7576390E Time : 0.0 sec. user=mdettweiler [2013-08-31 17:16:41] 803*2^1252344-1 is not prime. Res64: 7AE9800E894D5C2F Time : 0.0 sec. user=mdettweiler [2013-08-31 17:16:42] 825*2^1252344-1 is not prime. Res64: F045FE0965445FC7 Time : 0.0 sec. user=mdettweiler [2013-08-31 17:17:45] 849*2^1252344-1 is not prime. Res64: 18C5D4DEE1A96494 Time : 0.0 sec. user=mdettweiler [2013-08-31 17:17:46] 927*2^1252344-1 is not prime. Res64: 7F8F699DB61CC1FC Time : 0.0 sec. user=juhehe [2013-08-31 17:21:39] 663*2^1252344-1 is not prime. Res64: B3829E72B03AD542 Time : 0.0 sec. user=mdettweiler [2013-08-31 17:29:32] 975*2^1252344-1 is not prime. Res64: D0575E228AE42A21 Time : 0.0 sec. user=mdettweiler [2013-08-31 17:29:32] 661*2^1252345-1 is not prime. Res64: 4C68664CFC496753 Time : 0.0 sec. user=mdettweiler [2013-08-31 17:31:19] 855*2^1252345-1 is not prime. Res64: 2D41468860074A28 Time : 0.0 sec. user=mdettweiler [2013-08-31 17:31:20] 651*2^1252346-1 is not prime. Res64: E801A1BF2031451C Time : 0.0 sec. user=mdettweiler [2013-08-31 17:36:51] 755*2^1252346-1 is not prime. Res64: E9D113F73F16931E Time : 0.0 sec. user=mdettweiler [2013-08-31 17:36:51] 861*2^1252346-1 is not prime. Res64: 76E129EAECC78201 Time : 0.0 sec. user=mdettweiler [2013-08-31 17:38:52] 873*2^1252346-1 is not prime. Res64: CEB98B7CE47EA641 Time : 0.0 sec. user=mdettweiler [2013-08-31 17:38:52] 941*2^1252346-1 is not prime. Res64: 4BA98652C63C49A3 Time : 0.0 sec. user=mdettweiler [2013-08-31 17:49:41] 633*2^1252347-1 is not prime. Res64: F97C15FA864321E1 Time : 0.0 sec. user=mdettweiler [2013-08-31 17:49:41] 651*2^1252347-1 is not prime. Res64: 0E2A0418007CDE20 Time : 0.0 sec. user=mdettweiler [2013-08-31 17:51:31] 709*2^1252347-1 is not prime. Res64: 5B55830050129620 Time : 0.0 sec. user=mdettweiler [2013-08-31 17:51:31] 801*2^1252347-1 is not prime. Res64: E9067C1E4AF3A37C Time : 0.0 sec. user=mdettweiler [2013-08-31 17:57:00] 873*2^1252347-1 is not prime. Res64: 04C2A0ABD388A5BB Time : 0.0 sec. user=mdettweiler [2013-08-31 17:57:01] 623*2^1252348-1 is not prime. Res64: D59F1E71E7A7212B Time : 0.0 sec. user=mdettweiler [2013-08-31 17:59:00] 631*2^1252349-1 is not prime. Res64: 312592B31E6B0F85 Time : 0.0 sec. user=mdettweiler [2013-08-31 17:59:01] 699*2^1252349-1 is not prime. Res64: E200B86AC4C4852E Time : 0.0 sec. user=mdettweiler [2013-08-31 18:09:59] 727*2^1252349-1 is not prime. Res64: 221B9F00B4E90F8A Time : 0.0 sec. user=mdettweiler [2013-08-31 18:10:00] 825*2^1252349-1 is not prime. Res64: 741D37E70B0E674D Time : 0.0 sec. user=mdettweiler [2013-08-31 18:11:40] 837*2^1252349-1 is not prime. Res64: 6F33A716E67FE4AC Time : 0.0 sec. user=mdettweiler [2013-08-31 18:11:41] 847*2^1252349-1 is not prime. Res64: A354B2989ED0D358 Time : 0.0 sec. user=mdettweiler [2013-08-31 18:18:08] 925*2^1252349-1 is not prime. Res64: 60AA7D5557D4FBCE Time : 0.0 sec. user=mdettweiler [2013-08-31 18:18:09] 641*2^1252350-1 is not prime. Res64: 3ECAF7BD813AC666 Time : 0.0 sec. user=mdettweiler [2013-08-31 18:19:14] 657*2^1252350-1 is not prime. Res64: FE4DCA4C05120DDF Time : 0.0 sec. user=mdettweiler [2013-08-31 18:19:14] 707*2^1252350-1 is not prime. Res64: 92CD4D86F446E960 Time : 0.0 sec. user=mdettweiler [2013-08-31 18:30:19] 755*2^1252350-1 is not prime. Res64: 93C449FCCE59998C Time : 0.0 sec. user=mdettweiler [2013-08-31 18:30:19] 825*2^1252350-1 is not prime. Res64: F8DDB766FA5347DB Time : 0.0 sec. user=mdettweiler [2013-08-31 18:31:54] 843*2^1252350-1 is not prime. Res64: 6920A92FD7E4B977 Time : 0.0 sec. user=mdettweiler [2013-08-31 18:31:54] 685*2^1252351-1 is not prime. Res64: 7DF40C9BA974F5EB Time : 0.0 sec. user=mdettweiler [2013-08-31 18:38:21] 703*2^1252351-1 is not prime. Res64: A8E7831FEF20B9A0 Time : 0.0 sec. user=mdettweiler [2013-08-31 18:38:22] 723*2^1252351-1 is not prime. Res64: 88021257901CFA89 Time : 0.0 sec. user=mdettweiler [2013-08-31 18:40:15] 811*2^1252351-1 is not prime. Res64: CBBA157FD0605CF2 Time : 0.0 sec. user=mdettweiler [2013-08-31 18:40:16] 885*2^1252351-1 is not prime. Res64: 24634E66871CD2AA Time : 0.0 sec. user=mdettweiler [2013-08-31 18:51:34] 993*2^1252351-1 is not prime. Res64: 8434A6EE115CE92D Time : 0.0 sec. user=mdettweiler [2013-08-31 18:51:35] 603*2^1252352-1 is not prime. Res64: 900B41E4355FCE35 Time : 0.0 sec. user=mdettweiler [2013-08-31 18:52:09] 605*2^1252352-1 is not prime. Res64: F9ABD3269D0A05F6 Time : 0.0 sec. user=mdettweiler [2013-08-31 18:52:09] 657*2^1252352-1 is not prime. Res64: 34657A8AE4DDDCA5 Time : 0.0 sec. user=mdettweiler [2013-08-31 18:58:37] 753*2^1252352-1 is not prime. Res64: 7A92801CFC6D5A9F Time : 0.0 sec. user=mdettweiler [2013-08-31 18:58:38] 815*2^1252352-1 is not prime. Res64: ED89288263236C40 Time : 0.0 sec. user=mdettweiler [2013-08-31 19:02:28] 945*2^1252352-1 is not prime. Res64: F739877BF60C23B0 Time : 0.0 sec. user=mdettweiler [2013-08-31 19:02:29] 963*2^1252352-1 is not prime. Res64: 90C0586E7A4C7AFF Time : 0.0 sec. user=mdettweiler [2013-08-31 19:11:51] 649*2^1252353-1 is not prime. Res64: EF62B32537BC82E5 Time : 0.0 sec. user=mdettweiler [2013-08-31 19:11:52] 679*2^1252353-1 is not prime. Res64: C7BEF5CC9CB527A3 Time : 0.0 sec. user=mdettweiler [2013-08-31 19:12:28] 751*2^1252353-1 is not prime. Res64: 58A1107FC9957231 Time : 0.0 sec. user=mdettweiler [2013-08-31 19:12:29] 807*2^1252353-1 is not prime. Res64: CEA4CA30AEFC6600 Time : 0.0 sec. user=mdettweiler [2013-08-31 19:19:46] 835*2^1252353-1 is not prime. Res64: FAE80960E57D809D Time : 0.0 sec. user=mdettweiler [2013-08-31 19:19:46] 891*2^1252353-1 is not prime. Res64: ADB999C4DE5C8A31 Time : 0.0 sec. user=mdettweiler [2013-08-31 19:24:38] 955*2^1252353-1 is not prime. Res64: 2C62ED9B7956BC13 Time : 0.0 sec. user=mdettweiler [2013-08-31 19:24:39] 999*2^1252353-1 is not prime. Res64: 464294E498808F39 Time : 0.0 sec. user=mdettweiler [2013-08-31 19:32:13] 621*2^1252354-1 is not prime. Res64: 37660C11959D3529 Time : 0.0 sec. user=mdettweiler [2013-08-31 19:32:13] 675*2^1252354-1 is not prime. Res64: 8FA0ED6F2E4EFCC4 Time : 0.0 sec. user=mdettweiler [2013-08-31 19:32:41] 687*2^1252354-1 is not prime. Res64: EA2962A108CA3A54 Time : 0.0 sec. user=mdettweiler [2013-08-31 19:32:41] 737*2^1252354-1 is not prime. Res64: AE2B07CCA5F35985 Time : 0.0 sec. user=mdettweiler [2013-08-31 19:40:55] 983*2^1252354-1 is not prime. Res64: B6BA558220CAC9CF Time : 0.0 sec. user=mdettweiler [2013-08-31 19:40:56] 663*2^1252355-1 is not prime. Res64: 3EF918363026021E Time : 0.0 sec. user=mdettweiler [2013-08-31 19:45:46] 705*2^1252355-1 is not prime. Res64: A61F7B330F3EB9DB Time : 0.0 sec. user=mdettweiler [2013-08-31 19:45:47] 949*2^1252355-1 is not prime. Res64: 5F43DAE3A679DBB9 Time : 0.0 sec. user=mdettweiler [2013-08-31 19:52:23] 627*2^1252356-1 is not prime. Res64: E7FAB90A671CA43E Time : 0.0 sec. user=mdettweiler [2013-08-31 19:52:24] 723*2^1252356-1 is not prime. Res64: F3B3760FB723827A Time : 0.0 sec. user=mdettweiler [2013-08-31 19:52:52] 725*2^1252356-1 is not prime. Res64: 8ED261FA43D0448D Time : 0.0 sec. user=mdettweiler [2013-08-31 19:52:53] 773*2^1252356-1 is not prime. Res64: D75D4AE85A372AF0 Time : 0.0 sec. user=mdettweiler [2013-08-31 20:01:09] 777*2^1252356-1 is not prime. Res64: CF12CEC78F3B70C7 Time : 0.0 sec. user=mdettweiler [2013-08-31 20:01:11] 839*2^1252356-1 is not prime. Res64: D387DCF16D01398F Time : 0.0 sec. user=mdettweiler [2013-08-31 20:05:51] 873*2^1252356-1 is not prime. Res64: F93757639A8D4C4D Time : 0.0 sec. user=mdettweiler [2013-08-31 20:05:52] 615*2^1252357-1 is not prime. Res64: 941206386CCEF007 Time : 0.0 sec. user=mdettweiler [2013-08-31 20:12:29] 651*2^1252357-1 is not prime. Res64: 65FC19672E0B4FA4 Time : 0.0 sec. user=mdettweiler [2013-08-31 20:12:30] 757*2^1252357-1 is not prime. Res64: F3FBE7E348C49D5C Time : 0.0 sec. user=mdettweiler [2013-08-31 20:12:55] 831*2^1252357-1 is not prime. Res64: EC381431DF058844 Time : 0.0 sec. user=mdettweiler [2013-08-31 20:12:56] 683*2^1252358-1 is not prime. Res64: E698475ED4B924D1 Time : 0.0 sec. user=mdettweiler [2013-08-31 20:21:25] 705*2^1252358-1 is not prime. Res64: 4CA12DE6C93E2BF5 Time : 0.0 sec. user=mdettweiler [2013-08-31 20:21:26] 743*2^1252358-1 is not prime. Res64: 1833FF74168AB38F Time : 0.0 sec. user=mdettweiler [2013-08-31 20:26:02] 797*2^1252358-1 is not prime. Res64: 5435F5CB0DA693D6 Time : 0.0 sec. user=mdettweiler [2013-08-31 20:26:03] 825*2^1252358-1 is not prime. Res64: 3C3CB18759A0427E Time : 0.0 sec. user=mdettweiler [2013-08-31 20:33:13] 615*2^1252359-1 is not prime. Res64: 3A91C54AC49F988C Time : 0.0 sec. user=mdettweiler [2013-08-31 20:33:13] 619*2^1252359-1 is not prime. Res64: 275329D9C52B97BC Time : 0.0 sec. user=mdettweiler [2013-08-31 20:33:48] 857*2^1252358-1 is not prime. Res64: E5534B69D7C1ABBB Time : 0.0 sec. user=mdettweiler [2013-08-31 20:33:48] 887*2^1252358-1 is not prime. Res64: 6BC624E6204D8780 Time : 0.0 sec. user=mdettweiler [2013-08-31 20:42:18] 663*2^1252359-1 is not prime. Res64: F9353E0896BB214D Time : 0.0 sec. user=mdettweiler [2013-08-31 20:42:18] 789*2^1252359-1 is not prime. Res64: CB29E0E8CAC05338 Time : 0.0 sec. user=mdettweiler [2013-08-31 20:47:26] 795*2^1252359-1 is not prime. Res64: 1A8E03180C540ED2 Time : 0.0 sec. user=mdettweiler [2013-08-31 20:47:26] 829*2^1252359-1 is not prime. Res64: 8CBAB792A7DCD602 Time : 0.0 sec. user=mdettweiler [2013-08-31 20:56:21] 831*2^1252359-1 is not prime. Res64: 7997A8689AD05014 Time : 0.0 sec. user=mdettweiler [2013-08-31 20:56:21] 895*2^1252359-1 is not prime. Res64: 40DB356BC854D393 Time : 0.0 sec. user=mdettweiler [2013-08-31 20:56:51] 933*2^1252359-1 is not prime. Res64: 3118608989C2C41D Time : 0.0 sec. user=mdettweiler [2013-08-31 20:56:51] 677*2^1252360-1 is not prime. Res64: FE9143DEF6183176 Time : 0.0 sec. user=mdettweiler [2013-08-31 21:04:27] 747*2^1252360-1 is not prime. Res64: E8FEFFFA3020E5D1 Time : 0.0 sec. user=mdettweiler [2013-08-31 21:04:28] 759*2^1252360-1 is not prime. Res64: 826BAA5830ADCE8D Time : 0.0 sec. user=mdettweiler [2013-08-31 21:09:30] 765*2^1252360-1 is not prime. Res64: DD7CA6087FFEF34C Time : 0.0 sec. user=mdettweiler [2013-08-31 21:09:31] 773*2^1252360-1 is not prime. Res64: 42EC8CF38623C805 Time : 0.0 sec. user=mdettweiler [2013-08-31 21:18:07] 777*2^1252360-1 is not prime. Res64: 2B82CE9534213145 Time : 0.0 sec. user=mdettweiler [2013-08-31 21:18:07] 785*2^1252360-1 is not prime. Res64: 20A806EB1D287213 Time : 0.0 sec. user=mdettweiler [2013-08-31 21:18:38] 825*2^1252360-1 is not prime. Res64: FF23CDF90D0DBA2B Time : 0.0 sec. user=mdettweiler [2013-08-31 21:18:39] 849*2^1252360-1 is not prime. Res64: 53DFA10A737451B6 Time : 0.0 sec. user=mdettweiler [2013-08-31 21:25:58] 627*2^1252361-1 is not prime. Res64: 5FE125439E9F63FB Time : 0.0 sec. user=mdettweiler [2013-08-31 21:25:59] 637*2^1252361-1 is not prime. Res64: 77BD5004573FF3F2 Time : 0.0 sec. user=mdettweiler [2013-08-31 21:30:18] 649*2^1252361-1 is not prime. Res64: 7F1C001E6E1EB6B0 Time : 0.0 sec. user=mdettweiler [2013-08-31 21:30:18] 741*2^1252361-1 is not prime. Res64: F3A96FBC7990AE01 Time : 0.0 sec. user=mdettweiler [2013-08-31 21:39:20] 865*2^1252361-1 is not prime. Res64: 2D6DB6DBD2C221DE Time : 0.0 sec. user=mdettweiler [2013-08-31 21:39:21] 937*2^1252361-1 is not prime. Res64: DD20E19B6CE2DA3D Time : 0.0 sec. user=mdettweiler [2013-08-31 21:39:56] 991*2^1252361-1 is not prime. Res64: 7719AE432CDA1283 Time : 0.0 sec. user=mdettweiler [2013-08-31 21:39:57] 731*2^1252362-1 is not prime. Res64: F4E0B7D53C987FEF Time : 0.0 sec. user=mdettweiler [2013-08-31 21:46:08] 765*2^1252362-1 is not prime. Res64: 7894D428DCB49889 Time : 0.0 sec. user=mdettweiler [2013-08-31 21:46:09] 819*2^1252363-1 is not prime. Res64: 593517F9221D359F Time : 0.0 sec. user=mdettweiler [2013-08-31 21:52:19] 915*2^1252363-1 is not prime. Res64: 05EB216C78A1AA03 Time : 0.0 sec. user=mdettweiler [2013-08-31 21:52:20] 919*2^1252363-1 is not prime. Res64: 16802464D2EA869A Time : 0.0 sec. user=mdettweiler [2013-08-31 21:59:24] 827*2^1252364-1 is not prime. Res64: C5C0ABBA9CB712A4 Time : 0.0 sec. user=mdettweiler [2013-08-31 21:59:25] 875*2^1252364-1 is not prime. Res64: B7B9DC486EAF8E3C Time : 0.0 sec. user=mdettweiler [2013-08-31 22:01:04] 899*2^1252364-1 is not prime. Res64: 30C56FA3C16C2D7E Time : 0.0 sec. user=mdettweiler [2013-08-31 22:01:05] 625*2^1252365-1 is not prime. Res64: EBF7613010FAC923 Time : 0.0 sec. user=mdettweiler [2013-08-31 22:06:11] 735*2^1252365-1 is not prime. Res64: 3F24E627637D8E4B Time : 0.0 sec. user=mdettweiler [2013-08-31 22:06:13] 777*2^1252365-1 is not prime. Res64: 520B6501686D293D Time : 0.0 sec. user=juhehe [2013-08-31 22:10:50] 993*2^1252363-1 is not prime. Res64: EA53416BC7A11E88 Time : 0.0 sec. user=mdettweiler [2013-08-31 22:13:22] 819*2^1252365-1 is not prime. Res64: 7CCADFB9B25A1BCF Time : 0.0 sec. user=mdettweiler [2013-08-31 22:13:23] 937*2^1252365-1 is not prime. Res64: 89A3FB88C33754BE Time : 0.0 sec. user=mdettweiler [2013-08-31 22:19:32] 653*2^1252366-1 is not prime. Res64: 5AB98389E4982E6A Time : 0.0 sec. user=mdettweiler [2013-08-31 22:19:33] 705*2^1252366-1 is not prime. Res64: 556D5A9B5A1AFD65 Time : 0.0 sec. user=mdettweiler [2013-08-31 22:21:10] 741*2^1252366-1 is not prime. Res64: 6D00850D3245CAC4 Time : 0.0 sec. user=mdettweiler [2013-08-31 22:21:10] 761*2^1252366-1 is not prime. Res64: 81A71B56AF5DCA1A Time : 0.0 sec. user=mdettweiler [2013-08-31 22:26:22] 813*2^1252366-1 is not prime. Res64: B993093CBA77CB22 Time : 0.0 sec. user=mdettweiler [2013-08-31 22:26:23] 857*2^1252366-1 is not prime. Res64: B8A65B4DA3D5BAF6 Time : 0.0 sec. user=mdettweiler [2013-08-31 22:34:28] 971*2^1252366-1 is not prime. Res64: 7CF1D4E8F6A0DF16 Time : 0.0 sec. user=mdettweiler [2013-08-31 22:34:28] 649*2^1252367-1 is not prime. Res64: F94E037D6C054B7A Time : 0.0 sec. user=mdettweiler [2013-08-31 22:39:42] 813*2^1252367-1 is not prime. Res64: 0B18B46B92123AF6 Time : 0.0 sec. user=mdettweiler [2013-08-31 22:39:43] 823*2^1252367-1 is not prime. Res64: 92FC6A85FC0B989B Time : 0.0 sec. user=mdettweiler [2013-08-31 22:43:12] 909*2^1252367-1 is not prime. Res64: 426A44620857CA93 Time : 0.0 sec. user=mdettweiler [2013-08-31 22:43:13] 993*2^1252367-1 is not prime. Res64: DBD939DE25785549 Time : 0.0 sec. user=mdettweiler [2013-08-31 22:46:27] 705*2^1252368-1 is not prime. Res64: FB09CF15ABA19ED4 Time : 0.0 sec. user=mdettweiler [2013-08-31 22:46:28] 759*2^1252368-1 is not prime. Res64: 1478B1BF1BCD7748 Time : 0.0 sec. user=mdettweiler [2013-08-31 22:54:29] 767*2^1252368-1 is not prime. Res64: 6F1602C5F2CE83F8 Time : 0.0 sec. user=mdettweiler [2013-08-31 22:54:30] 795*2^1252368-1 is not prime. Res64: 11F1FF145080EBB7 Time : 0.0 sec. user=mdettweiler [2013-08-31 22:59:49] 809*2^1252368-1 is not prime. Res64: 066F7D9647852FD3 Time : 0.0 sec. user=mdettweiler [2013-08-31 22:59:50] 639*2^1252369-1 is not prime. Res64: ABFF38B9D6F0599F Time : 0.0 sec. user=mdettweiler [2013-08-31 23:03:21] 699*2^1252369-1 is not prime. Res64: 9AFAB9D9D4C66DD9 Time : 0.0 sec. user=mdettweiler [2013-08-31 23:03:22] 771*2^1252369-1 is not prime. Res64: 9B5E7AFFC5636B5C Time : 0.0 sec. user=mdettweiler [2013-08-31 23:06:34] 799*2^1252369-1 is not prime. Res64: 86A6191441195E8E Time : 0.0 sec. user=mdettweiler [2013-08-31 23:06:35] 811*2^1252369-1 is not prime. Res64: 6F85D3305F347D49 Time : 0.0 sec. user=mdettweiler [2013-08-31 23:14:34] 855*2^1252369-1 is not prime. Res64: 47A572DDBBB870FF Time : 0.0 sec. user=mdettweiler [2013-08-31 23:14:34] 791*2^1252370-1 is not prime. Res64: 2B3F848377421B77 Time : 0.0 sec. user=mdettweiler [2013-08-31 23:19:56] 827*2^1252370-1 is not prime. Res64: EB1BC9C55D8DA34C Time : 0.0 sec. user=mdettweiler [2013-08-31 23:19:57] 833*2^1252370-1 is not prime. Res64: 94852F0AEC8082EE Time : 0.0 sec. user=mdettweiler [2013-08-31 23:25:28] 885*2^1252370-1 is not prime. Res64: 18D4FCE9E6676515 Time : 0.0 sec. user=mdettweiler [2013-08-31 23:25:29] 893*2^1252370-1 is not prime. Res64: 584DC0EA04CCA80A Time : 0.0 sec. user=mdettweiler [2013-08-31 23:27:41] 915*2^1252370-1 is not prime. Res64: 8FC53ACB55EBA398 Time : 0.0 sec. user=mdettweiler [2013-08-31 23:27:41] 619*2^1252371-1 is not prime. Res64: DD00D920F49601E4 Time : 0.0 sec. user=mdettweiler [2013-08-31 23:34:41] 679*2^1252371-1 is not prime. Res64: 73A01819F4431BBB Time : 0.0 sec. user=mdettweiler [2013-08-31 23:34:41] 705*2^1252371-1 is not prime. Res64: BCE9B901078E2AE4 Time : 0.0 sec. user=mdettweiler [2013-08-31 23:40:10] 741*2^1252371-1 is not prime. Res64: EE3F36C51194A0E1 Time : 0.0 sec. user=mdettweiler [2013-08-31 23:40:10] 745*2^1252371-1 is not prime. Res64: 362FA2A4C423A004 Time : 0.0 sec. user=mdettweiler [2013-08-31 23:45:37] 789*2^1252371-1 is not prime. Res64: 9D8BE8600D21BDBC Time : 0.0 sec. user=mdettweiler [2013-08-31 23:45:37] 793*2^1252371-1 is not prime. Res64: B9D370E0956ABCDC Time : 0.0 sec. user=mdettweiler [2013-08-31 23:47:45] 823*2^1252371-1 is not prime. Res64: 50BE3E44EA93191A Time : 0.0 sec. user=mdettweiler [2013-08-31 23:47:45] 825*2^1252371-1 is not prime. Res64: BF3A6FA2D0BDE66F Time : 0.0 sec. user=mdettweiler [2013-08-31 23:54:44] 617*2^1252372-1 is not prime. Res64: 13E27C9EEDE72572 Time : 0.0 sec. user=mdettweiler [2013-08-31 23:54:45] 677*2^1252372-1 is not prime. Res64: 4FDF748010C27201 Time : 0.0 sec. user=mdettweiler [2013-09-01 00:00:16] 687*2^1252372-1 is not prime. Res64: F0A196D47DBEED06 Time : 0.0 sec. user=mdettweiler [2013-09-01 00:00:17] 735*2^1252372-1 is not prime. Res64: C8562FC61AC88DCA Time : 0.0 sec.