user=mdettweiler [2015-01-29 00:09:19] 707*2^1389836-1 is not prime. Res64: F1F91F855ADD4D77 Time : 0.0 sec. user=mdettweiler [2015-01-29 00:09:20] 875*2^1389836-1 is not prime. Res64: E5FD4AEA44662A0B Time : 0.0 sec. user=mdettweiler [2015-01-29 00:09:20] 893*2^1389836-1 is not prime. Res64: 3AFBACCF8B12F285 Time : 0.0 sec. user=mdettweiler [2015-01-29 00:09:21] 607*2^1389837-1 is not prime. Res64: DBED67958EE0FFB8 Time : 0.0 sec. user=mdettweiler [2015-01-29 00:23:44] 621*2^1389837-1 is not prime. Res64: 55F497C41E8224D3 Time : 0.0 sec. user=mdettweiler [2015-01-29 00:23:45] 651*2^1389837-1 is not prime. Res64: 7E768F9FA59DE79C Time : 0.0 sec. user=mdettweiler [2015-01-29 00:23:56] 759*2^1389837-1 is not prime. Res64: 81DCBF51E127552D Time : 0.0 sec. user=mdettweiler [2015-01-29 00:23:57] 865*2^1389837-1 is not prime. Res64: 3EE5856CCEA0976A Time : 0.0 sec. user=mdettweiler [2015-01-29 00:35:11] 635*2^1389838-1 is not prime. Res64: 5F51CF59BCD2406B Time : 0.0 sec. user=mdettweiler [2015-01-29 00:35:12] 647*2^1389838-1 is not prime. Res64: 73D88504D3E2972E Time : 0.0 sec. user=mdettweiler [2015-01-29 00:35:19] 937*2^1389837-1 is not prime. Res64: 65E8BA654BB5C69E Time : 0.0 sec. user=mdettweiler [2015-01-29 00:35:20] 945*2^1389837-1 is not prime. Res64: BBF6041DDA0769BB Time : 0.0 sec. user=mdettweiler [2015-01-29 00:49:22] 657*2^1389838-1 is not prime. Res64: E39BCA8A4B0F7006 Time : 0.0 sec. user=mdettweiler [2015-01-29 00:49:23] 791*2^1389838-1 is not prime. Res64: 1E10A13020686C10 Time : 0.0 sec. user=mdettweiler [2015-01-29 00:49:25] 825*2^1389838-1 is not prime. Res64: 4F70B38AE199356B Time : 0.0 sec. user=mdettweiler [2015-01-29 00:49:25] 827*2^1389838-1 is not prime. Res64: 2B5DD6ABF8932AEB Time : 0.0 sec. user=mdettweiler [2015-01-29 01:00:40] 855*2^1389838-1 is not prime. Res64: 99F2E3A8EEB3C120 Time : 0.0 sec. user=mdettweiler [2015-01-29 01:00:41] 867*2^1389838-1 is not prime. Res64: 7F0B5DBD0262372B Time : 0.0 sec. user=mdettweiler [2015-01-29 01:00:49] 655*2^1389839-1 is not prime. Res64: 281A3E0996E271E6 Time : 0.0 sec. user=mdettweiler [2015-01-29 01:00:51] 843*2^1389839-1 is not prime. Res64: 1CD679F39E00CB7C Time : 0.0 sec. user=mdettweiler [2015-01-29 01:14:51] 999*2^1389839-1 is not prime. Res64: 92ECA3034F1BDDE2 Time : 0.0 sec. user=mdettweiler [2015-01-29 01:14:52] 759*2^1389840-1 is not prime. Res64: 0ED87E88AA210BC2 Time : 0.0 sec. user=mdettweiler [2015-01-29 01:14:59] 861*2^1389839-1 is not prime. Res64: BE299752D6DE473D Time : 0.0 sec. user=mdettweiler [2015-01-29 01:15:00] 955*2^1389839-1 is not prime. Res64: D2A0C279B69F3211 Time : 0.0 sec. user=mdettweiler [2015-01-29 01:26:17] 845*2^1389840-1 is not prime. Res64: 460A5B6EA64331F1 Time : 0.0 sec. user=mdettweiler [2015-01-29 01:26:18] 887*2^1389840-1 is not prime. Res64: 6EE3C9AEFA0054D7 Time : 0.0 sec. user=mdettweiler [2015-01-29 01:26:19] 765*2^1389840-1 is not prime. Res64: 08CB7584BC6652DD Time : 0.0 sec. user=mdettweiler [2015-01-29 01:26:20] 797*2^1389840-1 is not prime. Res64: 2917588243E373D2 Time : 0.0 sec. user=mdettweiler [2015-01-29 01:40:18] 959*2^1389840-1 is not prime. Res64: 2ED62279F7436CE9 Time : 0.0 sec. user=mdettweiler [2015-01-29 01:40:18] 983*2^1389840-1 is not prime. Res64: 22927E0F564D7E4C Time : 0.0 sec. user=mdettweiler [2015-01-29 01:40:20] 691*2^1389841-1 is not prime. Res64: 906D110820919FFD Time : 0.0 sec. user=mdettweiler [2015-01-29 01:40:20] 705*2^1389841-1 is not prime. Res64: D46BB24131BF797F Time : 0.0 sec. user=mdettweiler [2015-01-29 01:51:56] 735*2^1389842-1 is not prime. Res64: 8758D47D8B26500E Time : 0.0 sec. user=mdettweiler [2015-01-29 01:51:56] 827*2^1389842-1 is not prime. Res64: D843D080F50F3EB2 Time : 0.0 sec. user=mdettweiler [2015-01-29 01:51:59] 885*2^1389842-1 is not prime. Res64: 75FD07DB0EB5701D Time : 0.0 sec. user=mdettweiler [2015-01-29 01:51:59] 1001*2^1389842-1 is not prime. Res64: 43E81D74087CA073 Time : 0.0 sec. user=mdettweiler [2015-01-29 02:05:49] 619*2^1389843-1 is not prime. Res64: 878D450E59186636 Time : 0.0 sec. user=mdettweiler [2015-01-29 02:05:49] 705*2^1389843-1 is not prime. Res64: 5573E21BE15F458B Time : 0.0 sec. user=mdettweiler [2015-01-29 02:05:53] 735*2^1389843-1 is not prime. Res64: 5A2111115E8F228C Time : 0.0 sec. user=mdettweiler [2015-01-29 02:05:54] 741*2^1389843-1 is not prime. Res64: 9A78FD6A2F8C9FBA Time : 0.0 sec. user=mdettweiler [2015-01-29 02:17:20] 789*2^1389843-1 is not prime. Res64: AC5024BA1ECD34D9 Time : 0.0 sec. user=mdettweiler [2015-01-29 02:17:22] 823*2^1389843-1 is not prime. Res64: C5D3D46AC33C3FB2 Time : 0.0 sec. user=mdettweiler [2015-01-29 02:17:23] 753*2^1389843-1 is not prime. Res64: 1A54B35463406369 Time : 0.0 sec. user=mdettweiler [2015-01-29 02:17:25] 775*2^1389843-1 is not prime. Res64: A339A1BAD099FB5E Time : 0.0 sec. user=mdettweiler [2015-01-29 02:31:17] 901*2^1389843-1 is not prime. Res64: A9E1137740F69002 Time : 0.0 sec. user=mdettweiler [2015-01-29 02:31:17] 943*2^1389843-1 is not prime. Res64: 8E9C81C6565A8B3A Time : 0.0 sec. user=mdettweiler [2015-01-29 02:31:22] 657*2^1389844-1 is not prime. Res64: 152DB61EC90E6EB4 Time : 0.0 sec. user=mdettweiler [2015-01-29 02:31:23] 759*2^1389844-1 is not prime. Res64: 216DFCB172ACFCFA Time : 0.0 sec. user=mdettweiler [2015-01-29 02:42:46] 995*2^1389844-1 is not prime. Res64: FDBCE1E85B4C04B0 Time : 0.0 sec. user=mdettweiler [2015-01-29 02:42:47] 735*2^1389845-1 is not prime. Res64: 88E263FA8555C85E Time : 0.0 sec. user=mdettweiler [2015-01-29 02:42:51] 827*2^1389844-1 is not prime. Res64: 745E64B7F5276424 Time : 0.0 sec. user=mdettweiler [2015-01-29 02:42:52] 903*2^1389844-1 is not prime. Res64: D1D21637E13E2948 Time : 0.0 sec. user=mdettweiler [2015-01-29 02:56:42] 787*2^1389845-1 is not prime. Res64: 0831FBD8CD440032 Time : 0.0 sec. user=mdettweiler [2015-01-29 02:56:43] 789*2^1389845-1 is not prime. Res64: 4AE145BB15E0901E Time : 0.0 sec. user=mdettweiler [2015-01-29 02:56:58] 627*2^1389846-1 is not prime. Res64: E4A116059276FA52 Time : 0.0 sec. user=mdettweiler [2015-01-29 02:56:58] 647*2^1389846-1 is not prime. Res64: 52E6BB22AD8FA61D Time : 0.0 sec. user=mdettweiler [2015-01-29 03:08:53] 851*2^1389846-1 is not prime. Res64: 0A0E4DE19CCC6360 Time : 0.0 sec. user=mdettweiler [2015-01-29 03:08:54] 875*2^1389846-1 is not prime. Res64: 10A0A689E2FBCBDD Time : 0.0 sec. user=mdettweiler [2015-01-29 03:09:02] 725*2^1389846-1 is not prime. Res64: 08760FC354C11DC6 Time : 0.0 sec. user=mdettweiler [2015-01-29 03:09:02] 815*2^1389846-1 is not prime. Res64: C40ED546A8577E74 Time : 0.0 sec. user=mdettweiler [2015-01-29 03:22:56] 765*2^1389847-1 is not prime. Res64: 941FB5A7CE347A74 Time : 0.0 sec. user=mdettweiler [2015-01-29 03:22:57] 919*2^1389847-1 is not prime. Res64: 044CFAAA6D5B2C82 Time : 0.0 sec. user=mdettweiler [2015-01-29 03:22:58] 891*2^1389846-1 is not prime. Res64: D9B89CF426FB5DB6 Time : 0.0 sec. user=mdettweiler [2015-01-29 03:22:58] 921*2^1389846-1 is not prime. Res64: BBA0BD66431321A7 Time : 0.0 sec. user=mdettweiler [2015-01-29 03:34:25] 999*2^1389847-1 is not prime. Res64: 3527977458449C53 Time : 0.0 sec. user=mdettweiler [2015-01-29 03:34:26] 657*2^1389848-1 is not prime. Res64: E96BA547B1E00353 Time : 0.0 sec. user=mdettweiler [2015-01-29 03:34:27] 747*2^1389848-1 is not prime. Res64: 447766F9F672CD6E Time : 0.0 sec. user=mdettweiler [2015-01-29 03:34:28] 767*2^1389848-1 is not prime. Res64: 2F095085CA70BE80 Time : 0.0 sec. user=mdettweiler [2015-01-29 03:48:18] 843*2^1389848-1 is not prime. Res64: 1DBD3DB9C1AE13C0 Time : 0.0 sec. user=mdettweiler [2015-01-29 03:48:18] 649*2^1389849-1 is not prime. Res64: 39622B2D477E207F Time : 0.0 sec. user=mdettweiler [2015-01-29 03:48:22] 789*2^1389848-1 is not prime. Res64: E81B0A5E2D0BE960 Time : 0.0 sec. user=mdettweiler [2015-01-29 03:48:23] 803*2^1389848-1 is not prime. Res64: AF5EEA233CEFDB0C Time : 0.0 sec. user=mdettweiler [2015-01-29 04:00:11] 657*2^1389849-1 is not prime. Res64: 5F2DE2C3055C9F99 Time : 0.0 sec. user=mdettweiler [2015-01-29 04:00:13] 667*2^1389849-1 is not prime. Res64: BA5DC1552C5F49EC Time : 0.0 sec. user=mdettweiler [2015-01-29 04:00:21] 679*2^1389849-1 is not prime. Res64: 5DC966EA6AD85BCE Time : 0.0 sec. user=mdettweiler [2015-01-29 04:00:22] 691*2^1389849-1 is not prime. Res64: 91F5AFB95F9D7E73 Time : 0.0 sec. user=mdettweiler [2015-01-29 04:13:44] 727*2^1389849-1 is not prime. Res64: 0CFAEC1A16DE3E78 Time : 0.0 sec. user=mdettweiler [2015-01-29 04:13:44] 865*2^1389849-1 is not prime. Res64: 450527F45B32A073 Time : 0.0 sec. user=mdettweiler [2015-01-29 04:13:50] 999*2^1389849-1 is not prime. Res64: 5E2962DFF27AD098 Time : 0.0 sec. user=mdettweiler [2015-01-29 04:13:51] 731*2^1389850-1 is not prime. Res64: F0385B7B8EE5453B Time : 0.0 sec. user=mdettweiler [2015-01-29 04:26:01] 1001*2^1389850-1 is not prime. Res64: 3E2024EA9C89916F Time : 0.0 sec. user=mdettweiler [2015-01-29 04:26:01] 871*2^1389851-1 is not prime. Res64: 0E940F4CFC8C7A20 Time : 0.0 sec. user=mdettweiler [2015-01-29 04:26:04] 743*2^1389850-1 is not prime. Res64: 15B5475F9A257901 Time : 0.0 sec. user=mdettweiler [2015-01-29 04:26:05] 801*2^1389850-1 is not prime. Res64: 3BB39B4FFD93761C Time : 0.0 sec. user=mdettweiler [2015-01-29 04:39:11] 949*2^1389851-1 is not prime. Res64: 80591567790A3F1B Time : 0.0 sec. user=mdettweiler [2015-01-29 04:39:11] 993*2^1389851-1 is not prime. Res64: 38814B77AE6E9EA4 Time : 0.0 sec. user=mdettweiler [2015-01-29 04:39:13] 633*2^1389852-1 is not prime. Res64: 3A5585358E950C59 Time : 0.0 sec. user=mdettweiler [2015-01-29 04:39:14] 863*2^1389852-1 is not prime. Res64: 798EF1FB5D65FD2D Time : 0.0 sec. user=mdettweiler [2015-01-29 04:51:30] 727*2^1389853-1 is not prime. Res64: 466FA01FF32FC7CE Time : 0.0 sec. user=mdettweiler [2015-01-29 04:51:30] 729*2^1389853-1 is not prime. Res64: 1028279A6009AF14 Time : 0.0 sec. user=mdettweiler [2015-01-29 04:51:32] 945*2^1389852-1 is not prime. Res64: 10428C7DC3A57A57 Time : 0.0 sec. user=mdettweiler [2015-01-29 04:51:32] 607*2^1389853-1 is not prime. Res64: 0DB8452EACE71195 Time : 0.0 sec. user=mdettweiler [2015-01-29 05:04:36] 747*2^1389853-1 is not prime. Res64: FE3DE54F8A6A1964 Time : 0.0 sec. user=mdettweiler [2015-01-29 05:04:38] 775*2^1389853-1 is not prime. Res64: B22CE465B7CB3595 Time : 0.0 sec. user=mdettweiler [2015-01-29 05:04:41] 867*2^1389853-1 is not prime. Res64: C1A94CF711343D07 Time : 0.0 sec. user=mdettweiler [2015-01-29 05:04:42] 897*2^1389853-1 is not prime. Res64: B36B929D8C0E6067 Time : 0.0 sec. user=mdettweiler [2015-01-29 05:16:50] 987*2^1389853-1 is not prime. Res64: 9969B3B4019BF263 Time : 0.0 sec. user=mdettweiler [2015-01-29 05:16:50] 623*2^1389854-1 is not prime. Res64: 1EA28FD89D8441F4 Time : 0.0 sec. user=mdettweiler [2015-01-29 05:16:56] 937*2^1389853-1 is not prime. Res64: 862F22E46DDFD948 Time : 0.0 sec. user=mdettweiler [2015-01-29 05:16:56] 985*2^1389853-1 is not prime. Res64: B181580DDE97DC16 Time : 0.0 sec. user=mdettweiler [2015-01-29 05:30:37] 741*2^1389854-1 is not prime. Res64: DAAA06C2FE67113C Time : 0.0 sec. user=mdettweiler [2015-01-29 05:30:38] 753*2^1389854-1 is not prime. Res64: A1F8185FA0AB2F63 Time : 0.0 sec. user=mdettweiler [2015-01-29 05:30:39] 825*2^1389854-1 is not prime. Res64: 5618E54A4ECBB865 Time : 0.0 sec. user=mdettweiler [2015-01-29 05:30:40] 951*2^1389854-1 is not prime. Res64: 7A106F9DECA24A21 Time : 0.0 sec. user=mdettweiler [2015-01-29 05:42:14] 965*2^1389854-1 is not prime. Res64: DBFBF72A4F2668BE Time : 0.0 sec. user=mdettweiler [2015-01-29 05:42:14] 971*2^1389854-1 is not prime. Res64: F703C15393CB1D7B Time : 0.0 sec. user=mdettweiler [2015-01-29 05:42:24] 613*2^1389855-1 is not prime. Res64: 1BFD973E854C5FAF Time : 0.0 sec. user=mdettweiler [2015-01-29 05:42:25] 709*2^1389855-1 is not prime. Res64: 3438CFA5D3DFCF12 Time : 0.0 sec. user=mdettweiler [2015-01-29 05:56:02] 781*2^1389855-1 is not prime. Res64: 0CFF62B68D83B2C4 Time : 0.0 sec. user=mdettweiler [2015-01-29 05:56:03] 895*2^1389855-1 is not prime. Res64: C807B3170EC0C012 Time : 0.0 sec. user=mdettweiler [2015-01-29 05:56:11] 919*2^1389855-1 is not prime. Res64: 2DCFE6606B0E2091 Time : 0.0 sec. user=mdettweiler [2015-01-29 05:56:12] 969*2^1389855-1 is not prime. Res64: FAD13DB2F0F71B5C Time : 0.0 sec. user=mdettweiler [2015-01-29 06:07:50] 999*2^1389855-1 is not prime. Res64: D343C669B55EB6FF Time : 0.0 sec. user=mdettweiler [2015-01-29 06:07:50] 615*2^1389856-1 is not prime. Res64: E6F044AAB214D6E2 Time : 0.0 sec. user=mdettweiler [2015-01-29 06:07:52] 707*2^1389856-1 is not prime. Res64: B3FD89C2F0B34B0C Time : 0.0 sec. user=mdettweiler [2015-01-29 06:07:52] 717*2^1389856-1 is not prime. Res64: DCF87562CCA6477C Time : 0.0 sec. user=mdettweiler [2015-01-29 06:21:29] 759*2^1389856-1 is not prime. Res64: 5C39EFFDA1C77D79 Time : 0.0 sec. user=mdettweiler [2015-01-29 06:21:30] 773*2^1389856-1 is not prime. Res64: 845E1CE003147845 Time : 0.0 sec. user=mdettweiler [2015-01-29 06:21:44] 887*2^1389856-1 is not prime. Res64: EFFB7838D1355EB1 Time : 0.0 sec. user=mdettweiler [2015-01-29 06:21:44] 897*2^1389856-1 is not prime. Res64: 947F0E078D0F61D6 Time : 0.0 sec. user=mdettweiler [2015-01-29 06:33:23] 989*2^1389856-1 is not prime. Res64: 4C667995A47B32FC Time : 0.0 sec. user=mdettweiler [2015-01-29 06:33:24] 699*2^1389857-1 is not prime. Res64: 74F9F1D468EB90C2 Time : 0.0 sec. user=mdettweiler [2015-01-29 06:33:25] 967*2^1389857-1 is not prime. Res64: 916A599DFB5BA63A Time : 0.0 sec. user=mdettweiler [2015-01-29 06:33:25] 611*2^1389858-1 is not prime. Res64: 296B8D8AD2E02287 Time : 0.0 sec. user=mdettweiler [2015-01-29 06:47:01] 627*2^1389858-1 is not prime. Res64: 07BD3531D4DC516A Time : 0.0 sec. user=mdettweiler [2015-01-29 06:47:01] 641*2^1389858-1 is not prime. Res64: 75B85AFCD4D37520 Time : 0.0 sec. user=mdettweiler [2015-01-29 06:47:14] 843*2^1389858-1 is not prime. Res64: 2AC7990757A8F04A Time : 0.0 sec. user=mdettweiler [2015-01-29 06:47:15] 861*2^1389858-1 is not prime. Res64: 38E539FE3AAE7C45 Time : 0.0 sec. user=mdettweiler [2015-01-29 06:58:53] 977*2^1389858-1 is not prime. Res64: 817F66BD127949AD Time : 0.0 sec. user=mdettweiler [2015-01-29 06:58:54] 859*2^1389859-1 is not prime. Res64: 54AC482E8042ECFF Time : 0.0 sec. user=mdettweiler [2015-01-29 06:58:56] 885*2^1389859-1 is not prime. Res64: 1584DEBD763AF72F Time : 0.0 sec. user=mdettweiler [2015-01-29 06:58:57] 943*2^1389859-1 is not prime. Res64: E06A02E51231B4A6 Time : 0.0 sec. user=mdettweiler [2015-01-29 07:12:33] 603*2^1389860-1 is not prime. Res64: 25A734F446CCA0F9 Time : 0.0 sec. user=mdettweiler [2015-01-29 07:12:33] 665*2^1389860-1 is not prime. Res64: 86E972129195B7B5 Time : 0.0 sec. user=mdettweiler [2015-01-29 07:12:43] 785*2^1389860-1 is not prime. Res64: CC7579722B802AD7 Time : 0.0 sec. user=mdettweiler [2015-01-29 07:12:44] 819*2^1389860-1 is not prime. Res64: 6D4C71C19D40E1CC Time : 0.0 sec. user=mdettweiler [2015-01-29 07:24:19] 983*2^1389860-1 is not prime. Res64: C4C3D706441747FD Time : 0.0 sec. user=mdettweiler [2015-01-29 07:24:19] 987*2^1389860-1 is not prime. Res64: DD1545CFE2837C44 Time : 0.0 sec. user=mdettweiler [2015-01-29 07:24:21] 843*2^1389860-1 is not prime. Res64: ED5365628ED3FD22 Time : 0.0 sec. user=mdettweiler [2015-01-29 07:24:22] 875*2^1389860-1 is not prime. Res64: 62FB5B49743B971C Time : 0.0 sec. user=mdettweiler [2015-01-29 07:38:05] 627*2^1389861-1 is not prime. Res64: 74A10E2BA3340B98 Time : 0.0 sec. user=mdettweiler [2015-01-29 07:38:05] 649*2^1389861-1 is not prime. Res64: DBDE26D9DC3DBE74 Time : 0.0 sec. user=mdettweiler [2015-01-29 07:38:19] 837*2^1389861-1 is not prime. Res64: F5AB8F6DE382D744 Time : 0.0 sec. user=mdettweiler [2015-01-29 07:38:19] 859*2^1389861-1 is not prime. Res64: E0F9722D7C1CA5C6 Time : 0.0 sec. user=mdettweiler [2015-01-29 07:49:56] 717*2^1389862-1 is not prime. Res64: 109ABCA58734B12B Time : 0.0 sec. user=mdettweiler [2015-01-29 07:49:56] 755*2^1389862-1 is not prime. Res64: 2A05A3C50BACA391 Time : 0.0 sec. user=mdettweiler [2015-01-29 07:50:00] 945*2^1389861-1 is not prime. Res64: 884CFE974D20238C Time : 0.0 sec. user=mdettweiler [2015-01-29 07:50:00] 677*2^1389862-1 is not prime. Res64: 0E233AD66222FF18 Time : 0.0 sec. user=mdettweiler [2015-01-29 08:03:41] 765*2^1389862-1 is not prime. Res64: B45F2D1CE2B7BB0C Time : 0.0 sec. user=mdettweiler [2015-01-29 08:03:42] 833*2^1389862-1 is not prime. Res64: 87F397E814FE6108 Time : 0.0 sec. user=mdettweiler [2015-01-29 08:04:02] 857*2^1389862-1 is not prime. Res64: F8E1F43619668A7A Time : 0.0 sec. user=mdettweiler [2015-01-29 08:04:03] 951*2^1389862-1 is not prime. Res64: 7A45B0DE3A2B5066 Time : 0.0 sec. user=mdettweiler [2015-01-29 08:15:30] 707*2^1389864-1 is not prime. Res64: AD7DAC2DF60A727D Time : 0.0 sec. user=mdettweiler [2015-01-29 08:15:30] 725*2^1389864-1 is not prime. Res64: 188D536557E1A4E7 Time : 0.0 sec. user=mdettweiler [2015-01-29 08:15:37] 825*2^1389863-1 is not prime. Res64: 6D47CC0B3420C9A0 Time : 0.0 sec. user=mdettweiler [2015-01-29 08:15:38] 915*2^1389863-1 is not prime. Res64: DA56144C76A62998 Time : 0.0 sec. user=mdettweiler [2015-01-29 08:29:16] 747*2^1389864-1 is not prime. Res64: 8C5B58BA0AFCAA34 Time : 0.0 sec. user=mdettweiler [2015-01-29 08:29:16] 887*2^1389864-1 is not prime. Res64: A45313165A23FF84 Time : 0.0 sec. user=mdettweiler [2015-01-29 08:29:29] 915*2^1389864-1 is not prime. Res64: C59707089CE7E05E Time : 0.0 sec. user=mdettweiler [2015-01-29 08:29:29] 619*2^1389865-1 is not prime. Res64: B4616B7752592D28 Time : 0.0 sec. user=mdettweiler [2015-01-29 08:41:04] 625*2^1389865-1 is not prime. Res64: 1847E98370DB3498 Time : 0.0 sec. user=mdettweiler [2015-01-29 08:41:05] 939*2^1389865-1 is not prime. Res64: B8EC3BAD26BAEC78 Time : 0.0 sec. user=mdettweiler [2015-01-29 08:41:09] 985*2^1389865-1 is not prime. Res64: 424B2CF8798534D2 Time : 0.0 sec. user=mdettweiler [2015-01-29 08:41:09] 617*2^1389866-1 is not prime. Res64: 411F9F52C451D92C Time : 0.0 sec. user=mdettweiler [2015-01-29 08:54:53] 717*2^1389866-1 is not prime. Res64: EC26FB9AA817CF4D Time : 0.0 sec. user=mdettweiler [2015-01-29 08:54:54] 735*2^1389866-1 is not prime. Res64: E3A91DF6F3678562 Time : 0.0 sec. user=mdettweiler [2015-01-29 08:54:59] 861*2^1389866-1 is not prime. Res64: C4042CC6EEEB766F Time : 0.0 sec. user=mdettweiler [2015-01-29 08:55:00] 867*2^1389866-1 is not prime. Res64: 80515E738BF7908A Time : 0.0 sec. user=mdettweiler [2015-01-29 09:06:40] 887*2^1389866-1 is not prime. Res64: ED99F9FC104F90B5 Time : 0.0 sec. user=mdettweiler [2015-01-29 09:06:41] 953*2^1389866-1 is not prime. Res64: B9C92B58C37AA8FD Time : 0.0 sec. user=mdettweiler [2015-01-29 09:06:46] 1001*2^1389866-1 is not prime. Res64: F477EFA6D635D2E3 Time : 0.0 sec. user=mdettweiler [2015-01-29 09:06:47] 601*2^1389867-1 is not prime. Res64: 814105A6F649439F Time : 0.0 sec. user=mdettweiler [2015-01-29 09:20:26] 703*2^1389867-1 is not prime. Res64: 6969FA70AA04AA0E Time : 0.0 sec. user=mdettweiler [2015-01-29 09:20:27] 819*2^1389867-1 is not prime. Res64: 34E1298879FB5AB5 Time : 0.0 sec. user=mdettweiler [2015-01-29 09:20:34] 873*2^1389867-1 is not prime. Res64: F7D322BE9D8B3392 Time : 0.0 sec. user=mdettweiler [2015-01-29 09:20:35] 777*2^1389868-1 is not prime. Res64: 223E4B03DA0E7E1B Time : 0.0 sec. user=mdettweiler [2015-01-29 09:32:13] 819*2^1389868-1 is not prime. Res64: 6C636D7F4AF56853 Time : 0.0 sec. user=mdettweiler [2015-01-29 09:32:14] 839*2^1389868-1 is not prime. Res64: 89196258BCA9BE0A Time : 0.0 sec. user=mdettweiler [2015-01-29 09:32:20] 845*2^1389868-1 is not prime. Res64: 9923C20A994CC112 Time : 0.0 sec. user=mdettweiler [2015-01-29 09:32:21] 869*2^1389868-1 is not prime. Res64: C95D25CC15F15171 Time : 0.0 sec. user=mdettweiler [2015-01-29 09:46:09] 885*2^1389868-1 is not prime. Res64: D01DC9AE82ADB2AA Time : 0.0 sec. user=mdettweiler [2015-01-29 09:46:10] 899*2^1389868-1 is not prime. Res64: C6BD45FE80BB2833 Time : 0.0 sec. user=mdettweiler [2015-01-29 09:46:13] 969*2^1389868-1 is not prime. Res64: E5ADD03F788B7EAA Time : 0.0 sec. user=mdettweiler [2015-01-29 09:46:13] 657*2^1389869-1 is not prime. Res64: B972F5442413FF41 Time : 0.0 sec. user=mdettweiler [2015-01-29 09:57:46] 685*2^1389869-1 is not prime. Res64: 45E2F7ABD78E4EE0 Time : 0.0 sec. user=mdettweiler [2015-01-29 09:57:47] 697*2^1389869-1 is not prime. Res64: 88D2D8E868B75101 Time : 0.0 sec. user=mdettweiler [2015-01-29 09:57:56] 879*2^1389869-1 is not prime. Res64: 125EDD78AA593A89 Time : 0.0 sec. user=mdettweiler [2015-01-29 09:57:57] 651*2^1389870-1 is not prime. Res64: 3FDD30064DD19B49 Time : 0.0 sec. user=mdettweiler [2015-01-29 10:11:49] 845*2^1389870-1 is not prime. Res64: 073D3DB4D5E75802 Time : 0.0 sec. user=mdettweiler [2015-01-29 10:11:49] 863*2^1389870-1 is not prime. Res64: 0A34FE57545948D2 Time : 0.0 sec. user=mdettweiler [2015-01-29 10:11:50] 649*2^1389871-1 is not prime. Res64: B13A85ADB1931EB2 Time : 0.0 sec. user=mdettweiler [2015-01-29 10:11:50] 735*2^1389871-1 is not prime. Res64: 1D1C642C21CC5717 Time : 0.0 sec. user=mdettweiler [2015-01-29 10:23:17] 741*2^1389871-1 is not prime. Res64: 4C62509731F56636 Time : 0.0 sec. user=mdettweiler [2015-01-29 10:23:17] 841*2^1389871-1 is not prime. Res64: 0067AEDB7BDDF883 Time : 0.0 sec. user=mdettweiler [2015-01-29 10:23:29] 969*2^1389871-1 is not prime. Res64: 45E38D2512289B5C Time : 0.0 sec. user=mdettweiler [2015-01-29 10:23:29] 615*2^1389872-1 is not prime. Res64: 527DC935289C87C5 Time : 0.0 sec. user=mdettweiler [2015-01-29 10:37:21] 633*2^1389872-1 is not prime. Res64: 93D1951C33DA09D8 Time : 0.0 sec. user=mdettweiler [2015-01-29 10:37:21] 635*2^1389872-1 is not prime. Res64: B58C6382350662DA Time : 0.0 sec. user=mdettweiler [2015-01-29 10:37:29] 669*2^1389872-1 is not prime. Res64: E53F381E7BA0E982 Time : 0.0 sec. user=mdettweiler [2015-01-29 10:37:30] 797*2^1389872-1 is not prime. Res64: 96CE1C61862A3165 Time : 0.0 sec. user=mdettweiler [2015-01-29 10:48:48] 813*2^1389872-1 is not prime. Res64: F20C9107C3C5091C Time : 0.0 sec. user=mdettweiler [2015-01-29 10:48:49] 833*2^1389872-1 is not prime. Res64: 8710DA4C39150A07 Time : 0.0 sec. user=mdettweiler [2015-01-29 10:49:08] 607*2^1389873-1 is not prime. Res64: FDC3B3E785E76613 Time : 0.0 sec. user=mdettweiler [2015-01-29 10:49:08] 609*2^1389873-1 is not prime. Res64: 3AC5F252E7CF8A29 Time : 0.0 sec. user=mdettweiler [2015-01-29 11:02:51] 637*2^1389873-1 is not prime. Res64: 7CB269E5772148F1 Time : 0.0 sec. user=mdettweiler [2015-01-29 11:02:52] 685*2^1389873-1 is not prime. Res64: A2BFFB5D6EFE89DE Time : 0.0 sec. user=mdettweiler [2015-01-29 11:03:02] 691*2^1389873-1 is not prime. Res64: 4E523F888DE6F3E7 Time : 0.0 sec. user=mdettweiler [2015-01-29 11:03:04] 727*2^1389873-1 is not prime. Res64: EA596ABAD10FBD41 Time : 0.0 sec. user=mdettweiler [2015-01-29 11:14:12] 877*2^1389873-1 is not prime. Res64: 9D6D97CFB601BEC9 Time : 0.0 sec. user=mdettweiler [2015-01-29 11:14:13] 945*2^1389873-1 is not prime. Res64: F91EA561A8E7CB3E Time : 0.0 sec. user=mdettweiler [2015-01-29 11:14:46] 951*2^1389873-1 is not prime. Res64: 84FB0A50EF499695 Time : 0.0 sec. user=mdettweiler [2015-01-29 11:14:47] 991*2^1389873-1 is not prime. Res64: D97EE5B92AE68CE8 Time : 0.0 sec. user=juhehe [2015-01-29 11:25:39] 861*2^1389873-1 is not prime. Res64: 6FF8FE05D06A6A6C Time : 0.0 sec. user=mdettweiler [2015-01-29 11:29:03] 717*2^1389874-1 is not prime. Res64: 57AD51CE16564473 Time : 0.0 sec. user=mdettweiler [2015-01-29 11:29:03] 773*2^1389874-1 is not prime. Res64: E4D0B90735442E68 Time : 0.0 sec. user=mdettweiler [2015-01-29 11:29:08] 681*2^1389874-1 is not prime. Res64: 70C28DD382552602 Time : 0.0 sec. user=mdettweiler [2015-01-29 11:29:09] 701*2^1389874-1 is not prime. Res64: 0F1B28C000B17F43 Time : 0.0 sec. user=mdettweiler [2015-01-29 11:39:54] 951*2^1389874-1 is not prime. Res64: 56D3B84D40F4C8B7 Time : 0.0 sec. user=mdettweiler [2015-01-29 11:39:55] 987*2^1389874-1 is not prime. Res64: 31FFDF17CC676603 Time : 0.0 sec. user=mdettweiler [2015-01-29 11:40:21] 685*2^1389875-1 is not prime. Res64: 2EFC51C2E6684C27 Time : 0.0 sec. user=mdettweiler [2015-01-29 11:40:21] 705*2^1389875-1 is not prime. Res64: 2C111D2FB6A76CF1 Time : 0.0 sec. user=mdettweiler [2015-01-29 11:55:25] 839*2^1389876-1 is not prime. Res64: DFB97854FB492DD6 Time : 0.0 sec. user=mdettweiler [2015-01-29 11:55:26] 845*2^1389876-1 is not prime. Res64: 460184A3810CBF62 Time : 0.0 sec. user=mdettweiler [2015-01-29 11:55:29] 609*2^1389876-1 is not prime. Res64: 046EE5D18DA57767 Time : 0.0 sec. user=mdettweiler [2015-01-29 11:55:30] 759*2^1389876-1 is not prime. Res64: C3510CD4535A0E81 Time : 0.0 sec. user=mdettweiler [2015-01-29 12:07:36] 675*2^1389877-1 is not prime. Res64: B45CF58BFC9EDF85 Time : 0.0 sec. user=mdettweiler [2015-01-29 12:07:36] 717*2^1389877-1 is not prime. Res64: F7B53CD79C3C3326 Time : 0.0 sec. user=mdettweiler [2015-01-29 12:08:25] 727*2^1389877-1 is not prime. Res64: F62ECAF6153A3706 Time : 0.0 sec. user=mdettweiler [2015-01-29 12:08:26] 751*2^1389877-1 is not prime. Res64: BF9A384BF312C9C7 Time : 0.0 sec. user=mdettweiler [2015-01-29 12:23:29] 999*2^1389877-1 is not prime. Res64: C6B948A4D4BB24D0 Time : 0.0 sec. user=mdettweiler [2015-01-29 12:23:29] 705*2^1389878-1 is not prime. Res64: 1E46B51C8E931962 Time : 0.0 sec. user=mdettweiler [2015-01-29 12:23:43] 771*2^1389877-1 is not prime. Res64: 28673FB12CBF0834 Time : 0.0 sec. user=mdettweiler [2015-01-29 12:23:43] 805*2^1389877-1 is not prime. Res64: 93197E72F0855BBE Time : 0.0 sec. user=mdettweiler [2015-01-29 12:34:24] 801*2^1389878-1 is not prime. Res64: 516D132F7EBBBFBF Time : 0.0 sec. user=mdettweiler [2015-01-29 12:34:25] 825*2^1389878-1 is not prime. Res64: C0BA3281914011FC Time : 0.0 sec. user=mdettweiler [2015-01-29 12:35:16] 887*2^1389878-1 is not prime. Res64: 8AC87E728104AB5D Time : 0.0 sec. user=mdettweiler [2015-01-29 12:35:16] 963*2^1389878-1 is not prime. Res64: A16A6E0754E3768B Time : 0.0 sec. user=mdettweiler [2015-01-29 12:49:46] 661*2^1389879-1 is not prime. Res64: 8F50E596FBC4D552 Time : 0.0 sec. user=mdettweiler [2015-01-29 12:49:47] 789*2^1389879-1 is not prime. Res64: 0403D49FED742A95 Time : 0.0 sec. user=mdettweiler [2015-01-29 12:50:14] 793*2^1389879-1 is not prime. Res64: 71B39A22C0F158FE Time : 0.0 sec. user=mdettweiler [2015-01-29 12:50:15] 853*2^1389879-1 is not prime. Res64: 367CA5FB44A98A2F Time : 0.0 sec. user=mdettweiler [2015-01-29 13:00:40] 861*2^1389879-1 is not prime. Res64: AF4B4F1376264050 Time : 0.0 sec. user=mdettweiler [2015-01-29 13:00:41] 665*2^1389880-1 is not prime. Res64: C778D9B732C407B4 Time : 0.0 sec. user=mdettweiler [2015-01-29 13:01:32] 743*2^1389880-1 is not prime. Res64: 4709485AB0A0CE50 Time : 0.0 sec. user=mdettweiler [2015-01-29 13:01:33] 755*2^1389880-1 is not prime. Res64: 22E80C788D1ABAE8 Time : 0.0 sec. user=mdettweiler [2015-01-29 13:16:10] 927*2^1389880-1 is not prime. Res64: 7A7D3382E25E071C Time : 0.0 sec. user=mdettweiler [2015-01-29 13:16:11] 983*2^1389880-1 is not prime. Res64: C3C20AACCB65CFF2 Time : 0.0 sec. user=mdettweiler [2015-01-29 13:16:37] 999*2^1389880-1 is not prime. Res64: 82622293D3664A8D Time : 0.0 sec. user=mdettweiler [2015-01-29 13:16:37] 649*2^1389881-1 is not prime. Res64: AA374C1362AE2DF5 Time : 0.0 sec. user=mdettweiler [2015-01-29 13:27:21] 697*2^1389881-1 is not prime. Res64: 91F001735669AC3B Time : 0.0 sec. user=mdettweiler [2015-01-29 13:27:21] 829*2^1389881-1 is not prime. Res64: 78B865E4FE219689 Time : 0.0 sec. user=mdettweiler [2015-01-29 13:27:56] 867*2^1389881-1 is not prime. Res64: FEF1703E68ED0E0D Time : 0.0 sec. user=mdettweiler [2015-01-29 13:27:56] 879*2^1389881-1 is not prime. Res64: 8F768A74F4948ECC Time : 0.0 sec. user=mdettweiler [2015-01-29 13:42:33] 957*2^1389881-1 is not prime. Res64: 25436C100D7156D7 Time : 0.0 sec. user=mdettweiler [2015-01-29 13:42:34] 717*2^1389882-1 is not prime. Res64: DD850FE149B3F0A4 Time : 0.0 sec. user=mdettweiler [2015-01-29 13:42:58] 755*2^1389882-1 is not prime. Res64: 2EE0FB60986240C5 Time : 0.0 sec. user=mdettweiler [2015-01-29 13:42:58] 833*2^1389882-1 is not prime. Res64: 1AD419C0E88563C1 Time : 0.0 sec. user=mdettweiler [2015-01-29 13:53:50] 619*2^1389883-1 is not prime. Res64: 0DF5C7DE64191F80 Time : 0.0 sec. user=mdettweiler [2015-01-29 13:53:51] 685*2^1389883-1 is not prime. Res64: 70BF081A025379F3 Time : 0.0 sec. user=mdettweiler [2015-01-29 13:54:20] 723*2^1389883-1 is not prime. Res64: E1CFF232EA4B0357 Time : 0.0 sec. user=mdettweiler [2015-01-29 13:54:20] 765*2^1389883-1 is not prime. Res64: 547A710A78DAF630 Time : 0.0 sec. user=mdettweiler [2015-01-29 14:09:05] 805*2^1389883-1 is not prime. Res64: 637376818283A00B Time : 0.0 sec. user=mdettweiler [2015-01-29 14:09:05] 861*2^1389883-1 is not prime. Res64: D55095CCB0EDE4E4 Time : 0.0 sec. user=mdettweiler [2015-01-29 14:09:36] 609*2^1389884-1 is not prime. Res64: E9E739AD433633AF Time : 0.0 sec. user=mdettweiler [2015-01-29 14:09:36] 615*2^1389884-1 is not prime. Res64: E27C9DADF7D45C51 Time : 0.0 sec. user=mdettweiler [2015-01-29 14:20:52] 759*2^1389884-1 is not prime. Res64: 268B3E195CACFB50 Time : 0.0 sec. user=mdettweiler [2015-01-29 14:20:53] 785*2^1389884-1 is not prime. Res64: 16EBB1696507CB0B Time : 0.0 sec. user=mdettweiler [2015-01-29 14:21:31] 857*2^1389884-1 is not prime. Res64: 2201DC5EA615AED7 Time : 0.0 sec. user=mdettweiler [2015-01-29 14:21:32] 869*2^1389884-1 is not prime. Res64: F8537A603B191674 Time : 0.0 sec. user=mdettweiler [2015-01-29 14:36:45] 873*2^1389884-1 is not prime. Res64: 970D7F4B3C65B7EE Time : 0.0 sec. user=mdettweiler [2015-01-29 14:36:45] 953*2^1389884-1 is not prime. Res64: B9283ADE3E29D12C Time : 0.0 sec. user=mdettweiler [2015-01-29 14:37:12] 993*2^1389884-1 is not prime. Res64: 8B2DEF4CB9234BA7 Time : 0.0 sec. user=mdettweiler [2015-01-29 14:37:12] 657*2^1389885-1 is not prime. Res64: 76A8359C03975732 Time : 0.0 sec. user=mdettweiler [2015-01-29 14:48:19] 819*2^1389885-1 is not prime. Res64: 6F79C82717F2AE55 Time : 0.0 sec. user=mdettweiler [2015-01-29 14:48:19] 705*2^1389886-1 is not prime. Res64: 872B2E9FB7E73608 Time : 0.0 sec. user=mdettweiler [2015-01-29 14:48:53] 713*2^1389886-1 is not prime. Res64: A777A3918046B1FD Time : 0.0 sec. user=mdettweiler [2015-01-29 14:48:53] 673*2^1389887-1 is not prime. Res64: B7BE481C52612970 Time : 0.0 sec. user=mdettweiler [2015-01-29 15:03:53] 711*2^1389887-1 is not prime. Res64: 06C160C96FF36D4F Time : 0.0 sec. user=mdettweiler [2015-01-29 15:03:54] 813*2^1389887-1 is not prime. Res64: B4437B4C8BBAE713 Time : 0.0 sec. user=mdettweiler [2015-01-29 15:04:25] 825*2^1389887-1 is not prime. Res64: 1A5893583EE7BD01 Time : 0.0 sec. user=mdettweiler [2015-01-29 15:04:26] 861*2^1389887-1 is not prime. Res64: 7CFE3CF9ED3BAA35 Time : 0.0 sec. user=mdettweiler [2015-01-29 15:15:46] 973*2^1389887-1 is not prime. Res64: 32D3590A97CDF8A1 Time : 0.0 sec. user=mdettweiler [2015-01-29 15:15:46] 627*2^1389888-1 is not prime. Res64: D03887F7960239FF Time : 0.0 sec. user=mdettweiler [2015-01-29 15:16:26] 635*2^1389888-1 is not prime. Res64: D7184AC107A33159 Time : 0.0 sec. user=mdettweiler [2015-01-29 15:16:26] 657*2^1389888-1 is not prime. Res64: 6E1C799E5578AC3B Time : 0.0 sec. user=mdettweiler [2015-01-29 15:31:29] 665*2^1389888-1 is not prime. Res64: F08203B9190F9019 Time : 0.0 sec. user=mdettweiler [2015-01-29 15:31:29] 809*2^1389888-1 is not prime. Res64: 9DB0117F4307BC91 Time : 0.0 sec. user=mdettweiler [2015-01-29 15:32:05] 879*2^1389888-1 is not prime. Res64: 0E2BD1F38779C3CA Time : 0.0 sec. user=mdettweiler [2015-01-29 15:32:05] 887*2^1389888-1 is not prime. Res64: DA7D28D82CCA0387 Time : 0.0 sec. user=mdettweiler [2015-01-29 15:43:27] 957*2^1389888-1 is not prime. Res64: 99E1901E9A4786A9 Time : 0.0 sec. user=mdettweiler [2015-01-29 15:43:27] 959*2^1389888-1 is not prime. Res64: 44760BAF6F1EEEC5 Time : 0.0 sec. user=mdettweiler [2015-01-29 15:44:20] 649*2^1389889-1 is not prime. Res64: 1E91EA1BC0BFC0CF Time : 0.0 sec. user=mdettweiler [2015-01-29 15:44:20] 661*2^1389889-1 is not prime. Res64: 77B2B6C0B1EFC047 Time : 0.0 sec. user=mdettweiler [2015-01-29 16:00:49] 667*2^1389889-1 is not prime. Res64: F3B0ECE449721E1A Time : 0.0 sec. user=mdettweiler [2015-01-29 16:00:50] 721*2^1389889-1 is not prime. Res64: FFBFB442DA45438E Time : 0.0 sec. user=mdettweiler [2015-01-29 16:01:24] 867*2^1389889-1 is not prime. Res64: 08BF3EC0B5BF8FE9 Time : 0.0 sec. user=mdettweiler [2015-01-29 16:01:25] 885*2^1389889-1 is not prime. Res64: 65DB7E19074C76DB Time : 0.0 sec. user=mdettweiler [2015-01-29 16:15:29] 645*2^1389890-1 is not prime. Res64: DDDB8DAF84F5A872 Time : 0.0 sec. user=mdettweiler [2015-01-29 16:15:30] 843*2^1389890-1 is not prime. Res64: 41989686388F2520 Time : 0.0 sec. user=mdettweiler [2015-01-29 16:17:09] 999*2^1389889-1 is not prime. Res64: D0D1C61F2BFC449A Time : 0.0 sec. user=mdettweiler [2015-01-29 16:17:09] 615*2^1389890-1 is not prime. Res64: F8849EFA666CD8F4 Time : 0.0 sec. user=mdettweiler [2015-01-29 16:35:27] 977*2^1389890-1 is not prime. Res64: 26EB9C1FCC8300EB Time : 0.0 sec. user=mdettweiler [2015-01-29 16:35:27] 609*2^1389891-1 is not prime. Res64: 5E35EE55E59D4913 Time : 0.0 sec. user=mdettweiler [2015-01-29 16:38:40] 851*2^1389890-1 is not prime. Res64: 839B903F3AA35F77 Time : 0.0 sec. user=mdettweiler [2015-01-29 16:38:40] 935*2^1389890-1 is not prime. Res64: FCD4F3BC18DFCDD3 Time : 0.0 sec. user=mdettweiler [2015-01-29 16:50:23] 615*2^1389891-1 is not prime. Res64: 93611916FE9D49C4 Time : 0.0 sec. user=mdettweiler [2015-01-29 16:50:23] 703*2^1389891-1 is not prime. Res64: 94454F52EB7C5646 Time : 0.0 sec. user=mdettweiler [2015-01-29 16:56:42] 735*2^1389891-1 is not prime. Res64: F1BE3FACE31EF717 Time : 0.0 sec. user=mdettweiler [2015-01-29 16:56:43] 781*2^1389891-1 is not prime. Res64: CC3CB9EDC785B49C Time : 0.0 sec. user=mdettweiler [2015-01-29 17:06:11] 805*2^1389891-1 is not prime. Res64: 32A48A480CB5FC43 Time : 0.0 sec. user=mdettweiler [2015-01-29 17:06:11] 973*2^1389891-1 is not prime. Res64: 2A8D785F70AC6E74 Time : 0.0 sec. user=mdettweiler [2015-01-29 17:21:10] 699*2^1389892-1 is not prime. Res64: 3D6157F72ED93028 Time : 0.0 sec. user=mdettweiler [2015-01-29 17:21:11] 903*2^1389892-1 is not prime. Res64: 3898744C64284992 Time : 0.0 sec. user=mdettweiler [2015-01-29 17:26:19] 989*2^1389892-1 is not prime. Res64: CE165E25779CF5C5 Time : 0.0 sec. user=mdettweiler [2015-01-29 17:26:19] 615*2^1389893-1 is not prime. Res64: 9AD3DBE29D92B3A1 Time : 0.0 sec. user=mdettweiler [2015-01-29 17:28:54] 675*2^1389893-1 is not prime. Res64: EC7458135E77E67A Time : 0.0 sec. user=mdettweiler [2015-01-29 17:28:54] 789*2^1389893-1 is not prime. Res64: FD198B6F6288C713 Time : 0.0 sec. user=mdettweiler [2015-01-29 17:39:53] 861*2^1389893-1 is not prime. Res64: 03FFF71B0BE6AF40 Time : 0.0 sec. user=mdettweiler [2015-01-29 17:39:53] 927*2^1389893-1 is not prime. Res64: 49DAF19A535CCC38 Time : 0.0 sec. user=mdettweiler [2015-01-29 17:54:41] 969*2^1389893-1 is not prime. Res64: 5BA35443FF12F63E Time : 0.0 sec. user=mdettweiler [2015-01-29 17:54:42] 663*2^1389894-1 is not prime. Res64: 5028FCA11C29AC0B Time : 0.0 sec. user=mdettweiler [2015-01-29 18:01:54] 711*2^1389894-1 is not prime. Res64: 161706407F4AA5E4 Time : 0.0 sec. user=mdettweiler [2015-01-29 18:01:56] 741*2^1389894-1 is not prime. Res64: B5691151AA702A67 Time : 0.0 sec. user=mdettweiler [2015-01-29 18:02:39] 791*2^1389894-1 is not prime. Res64: 6A87FC18B4AB53E8 Time : 0.0 sec. user=mdettweiler [2015-01-29 18:02:40] 993*2^1389894-1 is not prime. Res64: 1B36A0A624B663A7 Time : 0.0 sec. user=mdettweiler [2015-01-29 18:14:52] 735*2^1389895-1 is not prime. Res64: 51C2CA65188E018B Time : 0.0 sec. user=mdettweiler [2015-01-29 18:14:52] 759*2^1389895-1 is not prime. Res64: 44792BA1038DF516 Time : 0.0 sec. user=mdettweiler [2015-01-29 18:28:45] 829*2^1389895-1 is not prime. Res64: 8B4AA82C5485F103 Time : 0.0 sec. user=mdettweiler [2015-01-29 18:28:46] 843*2^1389895-1 is not prime. Res64: 13F7FAB958E1AF2A Time : 0.0 sec. user=mdettweiler [2015-01-29 18:35:17] 979*2^1389895-1 is not prime. Res64: 1484416296F00A53 Time : 0.0 sec. user=mdettweiler [2015-01-29 18:35:17] 985*2^1389895-1 is not prime. Res64: FDA1E39E9BD29D21 Time : 0.0 sec. user=mdettweiler [2015-01-29 18:36:27] 873*2^1389895-1 is not prime. Res64: F34FF35A0AF98074 Time : 0.0 sec. user=mdettweiler [2015-01-29 18:36:27] 919*2^1389895-1 is not prime. Res64: 6A93C340A0D5201E Time : 0.0 sec. user=mdettweiler [2015-01-29 18:48:19] 603*2^1389896-1 is not prime. Res64: 3910824F433CC75A Time : 0.0 sec. user=mdettweiler [2015-01-29 18:48:20] 635*2^1389896-1 is not prime. Res64: 188F0FD8770D4A15 Time : 0.0 sec. user=mdettweiler [2015-01-29 19:07:04] 689*2^1389896-1 is not prime. Res64: BA4D2FD1304DE872 Time : 0.0 sec. user=mdettweiler [2015-01-29 19:07:05] 917*2^1389896-1 is not prime. Res64: FFD5544CB97BDC87 Time : 0.0 sec. user=mdettweiler [2015-01-29 19:09:36] 741*2^1389897-1 is not prime. Res64: B182E513E5B5C0CA Time : 0.0 sec. user=mdettweiler [2015-01-29 19:09:36] 999*2^1389897-1 is not prime. Res64: FD86DDCBB3467671 Time : 0.0 sec. user=mdettweiler [2015-01-29 19:09:57] 993*2^1389896-1 is not prime. Res64: AA1DE2112CEA8CA2 Time : 0.0 sec. user=mdettweiler [2015-01-29 19:09:57] 667*2^1389897-1 is not prime. Res64: C1FF2D8693C3A3CC Time : 0.0 sec. user=mdettweiler [2015-01-29 19:21:39] 663*2^1389898-1 is not prime. Res64: 5101DF32FD9CC7B0 Time : 0.0 sec. user=mdettweiler [2015-01-29 19:21:39] 695*2^1389898-1 is not prime. Res64: 5F69465E93EDB5A0 Time : 0.0 sec. user=mdettweiler [2015-01-29 19:41:16] 827*2^1389898-1 is not prime. Res64: B38BFC77DC652876 Time : 0.0 sec. user=mdettweiler [2015-01-29 19:41:17] 861*2^1389898-1 is not prime. Res64: 48C0149D31ECCB06 Time : 0.0 sec. user=mdettweiler [2015-01-29 19:42:39] 703*2^1389899-1 is not prime. Res64: 8D505F9CA7DE0D15 Time : 0.0 sec. user=mdettweiler [2015-01-29 19:42:39] 705*2^1389899-1 is not prime. Res64: D5D8186A9A1AC229 Time : 0.0 sec. user=mdettweiler [2015-01-29 19:45:55] 615*2^1389899-1 is not prime. Res64: A4749A8B58CF6A23 Time : 0.0 sec. user=mdettweiler [2015-01-29 19:45:55] 631*2^1389899-1 is not prime. Res64: 3750981B1DDA6006 Time : 0.0 sec. user=mdettweiler [2015-01-29 19:53:18] 789*2^1389899-1 is not prime. Res64: 62A4D731A3F7C404 Time : 0.0 sec. user=mdettweiler [2015-01-29 19:53:18] 843*2^1389899-1 is not prime. Res64: F51159745333A7EF Time : 0.0 sec. user=mdettweiler [2015-01-29 20:16:23] 647*2^1389900-1 is not prime. Res64: DE4429AFD48999BA Time : 0.0 sec. user=mdettweiler [2015-01-29 20:16:23] 669*2^1389900-1 is not prime. Res64: 2F69B01178494FA3 Time : 0.0 sec. user=mdettweiler [2015-01-29 20:20:18] 991*2^1389899-1 is not prime. Res64: A2940A2D6B9CC51E Time : 0.0 sec. user=mdettweiler [2015-01-29 20:20:19] 635*2^1389900-1 is not prime. Res64: 8B4679C067C130E2 Time : 0.0 sec. user=mdettweiler [2015-01-29 20:23:54] 675*2^1389900-1 is not prime. Res64: 5233D83D77B644E4 Time : 0.0 sec. user=mdettweiler [2015-01-29 20:23:54] 735*2^1389900-1 is not prime. Res64: 1DEBC0D309A31DB2 Time : 0.0 sec. user=mdettweiler [2015-01-29 20:25:53] 773*2^1389900-1 is not prime. Res64: BF968341352BEDEE Time : 0.0 sec. user=mdettweiler [2015-01-29 20:25:54] 863*2^1389900-1 is not prime. Res64: CB7B07D5FB29B7F4 Time : 0.0 sec. user=mdettweiler [2015-01-29 20:53:57] 879*2^1389900-1 is not prime. Res64: 126813626C65816F Time : 0.0 sec. user=mdettweiler [2015-01-29 20:53:57] 923*2^1389900-1 is not prime. Res64: 02C8830F08C8D939 Time : 0.0 sec. user=mdettweiler [2015-01-29 20:55:02] 727*2^1389901-1 is not prime. Res64: F13780D4D628F7E2 Time : 0.0 sec. user=mdettweiler [2015-01-29 20:55:02] 757*2^1389901-1 is not prime. Res64: 66396387E8467EF6 Time : 0.0 sec. user=mdettweiler [2015-01-29 20:57:09] 983*2^1389900-1 is not prime. Res64: 0FB6F5C9EA6C7EE2 Time : 0.0 sec. user=mdettweiler [2015-01-29 20:57:09] 717*2^1389901-1 is not prime. Res64: 77A32515FA9C801D Time : 0.0 sec. user=mdettweiler [2015-01-29 21:03:32] 999*2^1389901-1 is not prime. Res64: 8933A9DA8A655C16 Time : 0.0 sec. user=mdettweiler [2015-01-29 21:03:33] 635*2^1389902-1 is not prime. Res64: DFE038EB28FDBEDF Time : 0.0 sec. user=mdettweiler [2015-01-29 21:27:24] 645*2^1389902-1 is not prime. Res64: D8A8E2713FADB7D2 Time : 0.0 sec. user=mdettweiler [2015-01-29 21:27:24] 657*2^1389902-1 is not prime. Res64: 6E2EB4D50B420621 Time : 0.0 sec. user=mdettweiler [2015-01-29 21:31:40] 705*2^1389902-1 is not prime. Res64: 76E34EBCE1158188 Time : 0.0 sec. user=mdettweiler [2015-01-29 21:31:40] 785*2^1389902-1 is not prime. Res64: 3691E1F58E3D6A4F Time : 0.0 sec. user=mdettweiler [2015-01-29 21:33:03] 801*2^1389902-1 is not prime. Res64: C883F214C146970A Time : 0.0 sec. user=mdettweiler [2015-01-29 21:33:03] 709*2^1389903-1 is not prime. Res64: 46B8986691E5BF56 Time : 0.0 sec. user=mdettweiler [2015-01-29 21:33:42] 873*2^1389903-1 is not prime. Res64: 277AF7C65F5D2E8B Time : 0.0 sec. user=mdettweiler [2015-01-29 21:33:42] 913*2^1389903-1 is not prime. Res64: 1B5C8D83B44DFE83 Time : 0.0 sec. user=mdettweiler [2015-01-29 22:04:18] 955*2^1389903-1 is not prime. Res64: A8103D55C354EBCC Time : 0.0 sec. user=mdettweiler [2015-01-29 22:04:19] 985*2^1389903-1 is not prime. Res64: 7F2CD43E586F0AD2 Time : 0.0 sec. user=mdettweiler [2015-01-29 22:04:32] 929*2^1389904-1 is not prime. Res64: 6A54847536A9068E Time : 0.0 sec. user=mdettweiler [2015-01-29 22:04:33] 601*2^1389905-1 is not prime. Res64: 341C7DCDDE407648 Time : 0.0 sec. user=mdettweiler [2015-01-29 22:05:29] 699*2^1389905-1 is not prime. Res64: EF29F149F22D4081 Time : 0.0 sec. user=mdettweiler [2015-01-29 22:05:30] 727*2^1389905-1 is not prime. Res64: ECD4DA401020574A Time : 0.0 sec. user=mdettweiler [2015-01-29 22:11:06] 795*2^1389905-1 is not prime. Res64: A4B277D213D091C1 Time : 0.0 sec. user=mdettweiler [2015-01-29 22:11:06] 837*2^1389905-1 is not prime. Res64: 15E8C931CBE08827 Time : 0.0 sec. user=mdettweiler [2015-01-29 22:35:24] 611*2^1389906-1 is not prime. Res64: 58A6F9D2305A3A4E Time : 0.0 sec. user=mdettweiler [2015-01-29 22:35:24] 711*2^1389906-1 is not prime. Res64: 0BDACD7F98F90A08 Time : 0.0 sec. user=mdettweiler [2015-01-29 22:40:51] 861*2^1389905-1 is not prime. Res64: C477AB3F1E9D0A0B Time : 0.0 sec. user=mdettweiler [2015-01-29 22:40:51] 949*2^1389905-1 is not prime. Res64: 7D6D2043D3270354 Time : 0.0 sec. user=mdettweiler [2015-01-29 22:41:52] 765*2^1389906-1 is not prime. Res64: 368A4EE33BD4951F Time : 0.0 sec. user=mdettweiler [2015-01-29 22:41:52] 807*2^1389906-1 is not prime. Res64: C70774C7F63F2B72 Time : 0.0 sec. user=mdettweiler [2015-01-29 22:49:06] 815*2^1389906-1 is not prime. Res64: F974741E81F3760F Time : 0.0 sec. user=mdettweiler [2015-01-29 22:49:06] 851*2^1389906-1 is not prime. Res64: 0D6000C9EDA5DAA5 Time : 0.0 sec. user=mdettweiler [2015-01-29 23:12:32] 873*2^1389906-1 is not prime. Res64: E58FC06240C2AD58 Time : 0.0 sec. user=mdettweiler [2015-01-29 23:12:32] 615*2^1389907-1 is not prime. Res64: E4DF021AF6E9221E Time : 0.0 sec. user=mdettweiler [2015-01-29 23:17:26] 645*2^1389907-1 is not prime. Res64: 9A4BDB6F34499F78 Time : 0.0 sec. user=mdettweiler [2015-01-29 23:17:27] 685*2^1389907-1 is not prime. Res64: C7F5FB0924FF5140 Time : 0.0 sec. user=mdettweiler [2015-01-29 23:18:49] 625*2^1389907-1 is not prime. Res64: C5BFE7E1C477D265 Time : 0.0 sec. user=mdettweiler [2015-01-29 23:18:49] 633*2^1389907-1 is not prime. Res64: 2F21E70E2DF69449 Time : 0.0 sec. user=mdettweiler [2015-01-29 23:33:17] 703*2^1389907-1 is not prime. Res64: 9E27C99E8ED51667 Time : 0.0 sec. user=mdettweiler [2015-01-29 23:33:18] 975*2^1389907-1 is not prime. Res64: 0A2A3F91FAE19587 Time : 0.0 sec. user=mdettweiler [2015-01-29 23:51:35] 909*2^1389908-1 is not prime. Res64: D7012FC69963E14C Time : 0.0 sec. user=mdettweiler [2015-01-29 23:51:36] 929*2^1389908-1 is not prime. Res64: 583FC1FC90ABCB41 Time : 0.0 sec. user=mdettweiler [2015-01-29 23:53:46] 621*2^1389909-1 is not prime. Res64: 9E05D68C72E2EE72 Time : 0.0 sec. user=mdettweiler [2015-01-29 23:53:46] 625*2^1389909-1 is not prime. Res64: FCF95F16D028C5A8 Time : 0.0 sec. user=mdettweiler [2015-01-29 23:54:47] 633*2^1389908-1 is not prime. Res64: 1023FCB2C5FE4D31 Time : 0.0 sec. user=mdettweiler [2015-01-29 23:54:47] 735*2^1389908-1 is not prime. Res64: D166D7F0560CA27A Time : 0.0 sec.