user=mdettweiler [2013-01-08 00:06:55] 795*2^1238859-1 is not prime. Res64: D6863AFC56CC80A6 Time : 0.0 sec. user=mdettweiler [2013-01-08 00:06:56] 895*2^1238859-1 is not prime. Res64: 3B03C1B16D0D479B Time : 0.0 sec. user=vaughan [2013-01-08 00:09:04] 887*2^1238858-1 is not prime. Res64: 70F04AAD24F3DC2F Time : 0.0 sec. user=mdettweiler [2013-01-08 00:15:36] 961*2^1238859-1 is not prime. Res64: 09EFA1C74902193E Time : 0.0 sec. user=mdettweiler [2013-01-08 00:15:36] 969*2^1238859-1 is not prime. Res64: 751BC73974571CEB Time : 0.0 sec. user=mdettweiler [2013-01-08 00:24:17] 857*2^1238860-1 is not prime. Res64: 1B4654A69AF62C43 Time : 0.0 sec. user=mdettweiler [2013-01-08 00:24:18] 619*2^1238861-1 is not prime. Res64: 7F28D59728494268 Time : 0.0 sec. user=mdettweiler [2013-01-08 00:32:57] 747*2^1238861-1 is not prime. Res64: 22EB43DF0686DC6F Time : 0.0 sec. user=mdettweiler [2013-01-08 00:32:57] 651*2^1238862-1 is not prime. Res64: 18E0DE3E9D554C4D Time : 0.0 sec. user=mdettweiler [2013-01-08 00:41:38] 665*2^1238862-1 is not prime. Res64: FC918E2A2F26CF98 Time : 0.0 sec. user=mdettweiler [2013-01-08 00:41:39] 737*2^1238862-1 is not prime. Res64: 9C0BAD9462A087C9 Time : 0.0 sec. user=vaughan [2013-01-08 00:46:54] 745*2^1238861-1 is not prime. Res64: AD1DDD14FFB40B9F Time : 0.0 sec. user=mdettweiler [2013-01-08 00:50:19] 777*2^1238862-1 is not prime. Res64: 8854DDF04CFC686F Time : 0.0 sec. user=mdettweiler [2013-01-08 00:50:19] 873*2^1238862-1 is not prime. Res64: 8B95B16CDF5E8FBD Time : 0.0 sec. user=mdettweiler [2013-01-08 00:58:59] 619*2^1238863-1 is not prime. Res64: 93AC63E1D8B33894 Time : 0.0 sec. user=mdettweiler [2013-01-08 00:59:00] 633*2^1238863-1 is not prime. Res64: C5FD3734E31A5FCC Time : 0.0 sec. user=mdettweiler [2013-01-08 01:07:40] 723*2^1238863-1 is not prime. Res64: 4DA6687C587C11E3 Time : 0.0 sec. user=mdettweiler [2013-01-08 01:07:41] 775*2^1238863-1 is not prime. Res64: 14771AA56EAE00ED Time : 0.0 sec. user=juhehe [2013-01-08 01:08:07] 819*2^1238860-1 is not prime. Res64: FA78851B9C816D8C Time : 0.0 sec. user=juhehe [2013-01-08 01:10:48] 843*2^1238860-1 is not prime. Res64: 996ADD97EA693DA9 Time : 0.0 sec. user=mdettweiler [2013-01-08 01:16:22] 901*2^1238863-1 is not prime. Res64: D0E7E7A7872C5D67 Time : 0.0 sec. user=mdettweiler [2013-01-08 01:16:23] 951*2^1238863-1 is not prime. Res64: 4D4230DD87DD1336 Time : 0.0 sec. user=mdettweiler [2013-01-08 01:25:05] 615*2^1238864-1 is not prime. Res64: FD9AEEC4A90B366B Time : 0.0 sec. user=mdettweiler [2013-01-08 01:25:05] 635*2^1238864-1 is not prime. Res64: D28075D67C0F61AE Time : 0.0 sec. user=mdettweiler [2013-01-08 01:33:48] 755*2^1238864-1 is not prime. Res64: DAB10D8D17C8779D Time : 0.0 sec. user=mdettweiler [2013-01-08 01:33:48] 959*2^1238864-1 is not prime. Res64: 7117654B1FF12B74 Time : 0.0 sec. user=mdettweiler [2013-01-08 01:42:26] 651*2^1238865-1 is not prime. Res64: E5BDD6C882D251E7 Time : 0.0 sec. user=mdettweiler [2013-01-08 01:42:26] 667*2^1238865-1 is not prime. Res64: D560C73800963EC7 Time : 0.0 sec. user=mdettweiler [2013-01-08 01:59:46] 867*2^1238865-1 is not prime. Res64: 7F6A033659F8B85D Time : 0.0 sec. user=mdettweiler [2013-01-08 01:59:46] 979*2^1238865-1 is not prime. Res64: 0C790299B2BA3302 Time : 0.0 sec. user=juhehe [2013-01-08 02:00:43] 717*2^1238865-1 is not prime. Res64: F2C7E374D65B6474 Time : 0.0 sec. user=mdettweiler [2013-01-08 02:02:11] 765*2^1238865-1 is not prime. Res64: 00998A60279C316F Time : 0.0 sec. user=mdettweiler [2013-01-08 02:02:12] 777*2^1238865-1 is not prime. Res64: 57071704224BDF7F Time : 0.0 sec. user=vaughan [2013-01-08 02:08:18] 681*2^1238863-1 is not prime. Res64: 1E6CE4CECC6057FB Time : 0.0 sec. user=mdettweiler [2013-01-08 02:17:08] 611*2^1238866-1 is not prime. Res64: 276145814B31E5DF Time : 0.0 sec. user=mdettweiler [2013-01-08 02:17:09] 617*2^1238866-1 is not prime. Res64: D993CBFB4C1403E4 Time : 0.0 sec. user=mdettweiler [2013-01-08 02:19:37] 741*2^1238866-1 is not prime. Res64: B1110D67D40CC4E7 Time : 0.0 sec. user=mdettweiler [2013-01-08 02:19:37] 785*2^1238866-1 is not prime. Res64: D97960A7807BADD8 Time : 0.0 sec. user=juhehe [2013-01-08 02:33:25] 723*2^1238866-1 is not prime. Res64: 74B7FC49496DEF68 Time : 0.0 sec. user=mdettweiler [2013-01-08 02:34:37] 947*2^1238866-1 is not prime. Res64: 6A9729B86F73DCD9 Time : 0.0 sec. user=mdettweiler [2013-01-08 02:34:39] 981*2^1238866-1 is not prime. Res64: 8D4BD01DB5B779AE Time : 0.0 sec. user=mdettweiler [2013-01-08 02:36:59] 603*2^1238867-1 is not prime. Res64: A7BA91CD07DF340F Time : 0.0 sec. user=mdettweiler [2013-01-08 02:37:00] 621*2^1238867-1 is not prime. Res64: 9445544979D7F187 Time : 0.0 sec. user=vaughan [2013-01-08 02:46:15] 825*2^1238866-1 is not prime. Res64: 50A68C3057FC6312 Time : 0.0 sec. user=mdettweiler [2013-01-08 02:52:02] 759*2^1238867-1 is not prime. Res64: D00ABD075956B456 Time : 0.0 sec. user=mdettweiler [2013-01-08 02:52:03] 775*2^1238867-1 is not prime. Res64: 32AF0D7104C21A4A Time : 0.0 sec. user=mdettweiler [2013-01-08 02:54:23] 861*2^1238867-1 is not prime. Res64: C55A87D3FD1EC37B Time : 0.0 sec. user=mdettweiler [2013-01-08 02:54:25] 915*2^1238867-1 is not prime. Res64: 44CFAC95EA7A3E50 Time : 0.0 sec. user=juhehe [2013-01-08 03:06:08] 733*2^1238867-1 is not prime. Res64: B5BD9C6FB65CF061 Time : 0.0 sec. user=mdettweiler [2013-01-08 03:09:24] 605*2^1238868-1 is not prime. Res64: 3B22D0A899C080E6 Time : 0.0 sec. user=mdettweiler [2013-01-08 03:09:25] 639*2^1238868-1 is not prime. Res64: B9F80E27E0FBB2ED Time : 0.0 sec. user=mdettweiler [2013-01-08 03:11:52] 707*2^1238868-1 is not prime. Res64: 9E323980B529B75C Time : 0.0 sec. user=mdettweiler [2013-01-08 03:11:53] 767*2^1238868-1 is not prime. Res64: 131E11E3039A8280 Time : 0.0 sec. user=juhehe [2013-01-08 03:16:02] 911*2^1238866-1 is not prime. Res64: C9DE26DBF93FD93A Time : 0.0 sec. user=juhehe [2013-01-08 03:17:16] 941*2^1238866-1 is not prime. Res64: B53B73530172F8AF Time : 0.0 sec. user=vaughan [2013-01-08 03:24:13] 939*2^1238867-1 is not prime. Res64: 8446A293D6C58A2B Time : 0.0 sec. user=mdettweiler [2013-01-08 03:26:47] 803*2^1238868-1 is not prime. Res64: 8D2A9AED1BFD1C1A Time : 0.0 sec. user=mdettweiler [2013-01-08 03:26:47] 879*2^1238868-1 is not prime. Res64: 6E372D49F83199D6 Time : 0.0 sec. user=mdettweiler [2013-01-08 03:29:13] 899*2^1238868-1 is not prime. Res64: C72A716890F50553 Time : 0.0 sec. user=mdettweiler [2013-01-08 03:29:13] 915*2^1238868-1 is not prime. Res64: EA8BEBB921166C60 Time : 0.0 sec. user=juhehe [2013-01-08 03:39:05] 773*2^1238868-1 is not prime. Res64: CCAB7D097D1FCBDC Time : 0.0 sec. user=mdettweiler [2013-01-08 03:44:09] 601*2^1238869-1 is not prime. Res64: E5D5B674D6D131F8 Time : 0.0 sec. user=mdettweiler [2013-01-08 03:44:09] 679*2^1238869-1 is not prime. Res64: 1A381D9424E5D478 Time : 0.0 sec. user=mdettweiler [2013-01-08 03:46:33] 799*2^1238869-1 is not prime. Res64: 02D7B9E32CCFBBE4 Time : 0.0 sec. user=mdettweiler [2013-01-08 03:46:34] 819*2^1238869-1 is not prime. Res64: 75870BF7CFD5D025 Time : 0.0 sec. user=mdettweiler [2013-01-08 04:01:34] 829*2^1238869-1 is not prime. Res64: 4A8D583ADEFEAA06 Time : 0.0 sec. user=mdettweiler [2013-01-08 04:01:35] 831*2^1238869-1 is not prime. Res64: 64ABE34EE8E4533C Time : 0.0 sec. user=vaughan [2013-01-08 04:02:02] 927*2^1238868-1 is not prime. Res64: 05D328BC006D36CE Time : 0.0 sec. user=mdettweiler [2013-01-08 04:04:00] 847*2^1238869-1 is not prime. Res64: D0C00D89FC2B953C Time : 0.0 sec. user=mdettweiler [2013-01-08 04:04:02] 897*2^1238869-1 is not prime. Res64: E717121BC3CC49EA Time : 0.0 sec. user=mdettweiler [2013-01-08 04:19:08] 987*2^1238869-1 is not prime. Res64: E12E42A375FAB78A Time : 0.0 sec. user=mdettweiler [2013-01-08 04:19:08] 635*2^1238870-1 is not prime. Res64: EDE5FC06F1C66B62 Time : 0.0 sec. user=mdettweiler [2013-01-08 04:21:24] 887*2^1238870-1 is not prime. Res64: 769CB5701BC50FC7 Time : 0.0 sec. user=mdettweiler [2013-01-08 04:21:24] 921*2^1238870-1 is not prime. Res64: 35561BF3E6303556 Time : 0.0 sec. user=mdettweiler [2013-01-08 04:36:31] 669*2^1238871-1 is not prime. Res64: C2AB9A974FA5001D Time : 0.0 sec. user=mdettweiler [2013-01-08 04:36:32] 679*2^1238871-1 is not prime. Res64: FF54D46B83A5CCFE Time : 0.0 sec. user=mdettweiler [2013-01-08 04:38:45] 723*2^1238871-1 is not prime. Res64: 254BAC0586762F9D Time : 0.0 sec. user=mdettweiler [2013-01-08 04:38:46] 751*2^1238871-1 is not prime. Res64: 1ACD56B726B75CC3 Time : 0.0 sec. user=vaughan [2013-01-08 04:39:50] 677*2^1238870-1 is not prime. Res64: BC63D3DC673D5502 Time : 0.0 sec. user=juhehe [2013-01-08 04:42:48] 995*2^1238870-1 is not prime. Res64: 41DF25BD1604C247 Time : 0.0 sec. user=mdettweiler [2013-01-08 04:53:55] 859*2^1238871-1 is not prime. Res64: FE60045FD0F0E504 Time : 0.0 sec. user=mdettweiler [2013-01-08 04:53:56] 873*2^1238871-1 is not prime. Res64: CE9213D543E674FA Time : 0.0 sec. user=mdettweiler [2013-01-08 04:56:07] 879*2^1238871-1 is not prime. Res64: 2D8215E9A8F35267 Time : 0.0 sec. user=mdettweiler [2013-01-08 04:56:07] 933*2^1238871-1 is not prime. Res64: 3D00BDD453FEA348 Time : 0.0 sec. user=mdettweiler [2013-01-08 05:11:17] 665*2^1238872-1 is not prime. Res64: 3829CDE17E57E9ED Time : 0.0 sec. user=mdettweiler [2013-01-08 05:11:18] 693*2^1238872-1 is not prime. Res64: E1CD92C18C7DA2A9 Time : 0.0 sec. user=mdettweiler [2013-01-08 05:13:27] 759*2^1238872-1 is not prime. Res64: EB30B9EB940C132D Time : 0.0 sec. user=mdettweiler [2013-01-08 05:13:27] 833*2^1238872-1 is not prime. Res64: A520F15089473ACB Time : 0.0 sec. user=vaughan [2013-01-08 05:17:37] 975*2^1238871-1 is not prime. Res64: 6D01C3C439674AE6 Time : 0.0 sec. user=juhehe [2013-01-08 05:22:21] 651*2^1238871-1 is not prime. Res64: C8B48426F8CB9D3B Time : 0.0 sec. user=juhehe [2013-01-08 05:25:10] 693*2^1238871-1 is not prime. Res64: 29FE2651F497E907 Time : 0.0 sec. user=mdettweiler [2013-01-08 05:28:43] 933*2^1238872-1 is not prime. Res64: 37BF25C136F4014B Time : 0.0 sec. user=mdettweiler [2013-01-08 05:28:44] 957*2^1238872-1 is not prime. Res64: AA5C5F1C3C733C95 Time : 0.0 sec. user=mdettweiler [2013-01-08 05:30:50] 983*2^1238872-1 is not prime. Res64: 232336F55A80B6CC Time : 0.0 sec. user=mdettweiler [2013-01-08 05:30:52] 999*2^1238872-1 is not prime. Res64: 2303FE94AAA85165 Time : 0.0 sec. user=mdettweiler [2013-01-08 05:46:06] 691*2^1238873-1 is not prime. Res64: C3362A9DEDAB940A Time : 0.0 sec. user=mdettweiler [2013-01-08 05:46:06] 699*2^1238873-1 is not prime. Res64: 76DEA895F2658266 Time : 0.0 sec. user=mdettweiler [2013-01-08 05:48:13] 769*2^1238873-1 is not prime. Res64: F2A5285FEC621753 Time : 0.0 sec. user=mdettweiler [2013-01-08 05:48:14] 621*2^1238874-1 is not prime. Res64: EEB6AF25630384E7 Time : 0.0 sec. user=vaughan [2013-01-08 05:55:27] 685*2^1238873-1 is not prime. Res64: 51A2C751533AA573 Time : 0.0 sec. user=mdettweiler [2013-01-08 06:03:27] 837*2^1238874-1 is not prime. Res64: 19F781FA8F3DE56C Time : 0.0 sec. user=mdettweiler [2013-01-08 06:03:29] 633*2^1238875-1 is not prime. Res64: 3DE13391373FDCC4 Time : 0.0 sec. user=mdettweiler [2013-01-08 06:05:35] 723*2^1238875-1 is not prime. Res64: 7A3B6514B8C99E80 Time : 0.0 sec. user=mdettweiler [2013-01-08 06:05:36] 789*2^1238875-1 is not prime. Res64: 0558177AAFA23D0E Time : 0.0 sec. user=juhehe [2013-01-08 06:17:08] 671*2^1238874-1 is not prime. Res64: F89DE12B883E3C12 Time : 0.0 sec. user=mdettweiler [2013-01-08 06:20:50] 853*2^1238875-1 is not prime. Res64: 2198994A8D1678AE Time : 0.0 sec. user=mdettweiler [2013-01-08 06:20:51] 669*2^1238876-1 is not prime. Res64: 26BE8DB62EC686E7 Time : 0.0 sec. user=mdettweiler [2013-01-08 06:22:57] 845*2^1238876-1 is not prime. Res64: B84563440D671A35 Time : 0.0 sec. user=mdettweiler [2013-01-08 06:22:58] 857*2^1238876-1 is not prime. Res64: 9315AC6BAFEF841A Time : 0.0 sec. user=vaughan [2013-01-08 06:33:16] 841*2^1238875-1 is not prime. Res64: C3BC3F8E7BAEA096 Time : 0.0 sec. user=mdettweiler [2013-01-08 06:38:12] 923*2^1238876-1 is not prime. Res64: D0EBD6F05190CCF9 Time : 0.0 sec. user=mdettweiler [2013-01-08 06:38:13] 621*2^1238877-1 is not prime. Res64: 52B85F3DBDF1B53A Time : 0.0 sec. user=mdettweiler [2013-01-08 06:40:19] 639*2^1238877-1 is not prime. Res64: 38EB5CECA2D34978 Time : 0.0 sec. user=mdettweiler [2013-01-08 06:40:19] 675*2^1238877-1 is not prime. Res64: DBA7202B3BBCA213 Time : 0.0 sec. user=mdettweiler [2013-01-08 06:55:34] 901*2^1238877-1 is not prime. Res64: 44567A7376427B43 Time : 0.0 sec. user=mdettweiler [2013-01-08 06:55:35] 603*2^1238878-1 is not prime. Res64: 81BB260B3D86E665 Time : 0.0 sec. user=mdettweiler [2013-01-08 06:57:40] 713*2^1238878-1 is not prime. Res64: 3AE09AC45E0B054E Time : 0.0 sec. user=mdettweiler [2013-01-08 06:57:41] 761*2^1238878-1 is not prime. Res64: CC06C7332A35C44A Time : 0.0 sec. user=vaughan [2013-01-08 07:11:04] 895*2^1238877-1 is not prime. Res64: EACCA18D15B06B0E Time : 0.0 sec. user=mdettweiler [2013-01-08 07:12:59] 765*2^1238878-1 is not prime. Res64: F6E9EB55A9C1AF96 Time : 0.0 sec. user=mdettweiler [2013-01-08 07:13:00] 815*2^1238878-1 is not prime. Res64: B7F843AEAA80D45B Time : 0.0 sec. user=mdettweiler [2013-01-08 07:15:01] 833*2^1238878-1 is not prime. Res64: F90B18AABA3A5090 Time : 0.0 sec. user=mdettweiler [2013-01-08 07:15:02] 957*2^1238878-1 is not prime. Res64: CD3F942EB3FE6B0B Time : 0.0 sec. user=juhehe [2013-01-08 07:28:55] 819*2^1238877-1 is not prime. Res64: 82889D680059AB68 Time : 0.0 sec. user=mdettweiler [2013-01-08 07:30:22] 939*2^1238879-1 is not prime. Res64: 32C57C1345416AFC Time : 0.0 sec. user=mdettweiler [2013-01-08 07:30:23] 665*2^1238880-1 is not prime. Res64: D05DCD237C0F81C8 Time : 0.0 sec. user=mdettweiler [2013-01-08 07:32:24] 675*2^1238880-1 is not prime. Res64: 62896E81FFE0CB77 Time : 0.0 sec. user=mdettweiler [2013-01-08 07:32:24] 797*2^1238880-1 is not prime. Res64: 2EFA86EDF1BAA9A7 Time : 0.0 sec. user=juhehe [2013-01-08 07:32:32] 885*2^1238877-1 is not prime. Res64: 33586E2059AC77B0 Time : 0.0 sec. user=mdettweiler [2013-01-08 07:47:45] 875*2^1238880-1 is not prime. Res64: 98283E25331FBA94 Time : 0.0 sec. user=mdettweiler [2013-01-08 07:47:46] 899*2^1238880-1 is not prime. Res64: FAF5318F7C6AB529 Time : 0.0 sec. user=vaughan [2013-01-08 07:48:58] 669*2^1238879-1 is not prime. Res64: B84BF9AE68E5085B Time : 0.0 sec. user=mdettweiler [2013-01-08 07:49:47] 619*2^1238881-1 is not prime. Res64: 8CF303321A68B009 Time : 0.0 sec. user=mdettweiler [2013-01-08 07:49:48] 637*2^1238881-1 is not prime. Res64: 91DB05275AB2E29F Time : 0.0 sec. user=juhehe [2013-01-08 07:51:31] 863*2^1238880-1 is not prime. Res64: 9BCC6C866D040F3C Time : 0.0 sec. user=mdettweiler [2013-01-08 08:05:07] 651*2^1238881-1 is not prime. Res64: B275292BBEED6B13 Time : 0.0 sec. user=mdettweiler [2013-01-08 08:05:08] 675*2^1238881-1 is not prime. Res64: 8F7189BA27930A0A Time : 0.0 sec. user=mdettweiler [2013-01-08 08:07:13] 867*2^1238881-1 is not prime. Res64: D8DDB27AA6BF15FE Time : 0.0 sec. user=mdettweiler [2013-01-08 08:07:15] 955*2^1238881-1 is not prime. Res64: 7978BFC99830C783 Time : 0.0 sec. user=mdettweiler [2013-01-08 08:22:36] 671*2^1238882-1 is not prime. Res64: C401A88D7CECC021 Time : 0.0 sec. user=mdettweiler [2013-01-08 08:22:36] 677*2^1238882-1 is not prime. Res64: 88CF951720695081 Time : 0.0 sec. user=mdettweiler [2013-01-08 08:24:42] 711*2^1238882-1 is not prime. Res64: 36277713AAFE0E8B Time : 0.0 sec. user=mdettweiler [2013-01-08 08:24:43] 827*2^1238882-1 is not prime. Res64: 1004DE2788548234 Time : 0.0 sec. user=vaughan [2013-01-08 08:26:48] 685*2^1238881-1 is not prime. Res64: 12754BD5259237C0 Time : 0.0 sec. user=mdettweiler [2013-01-08 08:39:58] 619*2^1238883-1 is not prime. Res64: B978987944007AEA Time : 0.0 sec. user=mdettweiler [2013-01-08 08:39:58] 685*2^1238883-1 is not prime. Res64: BB8BDCBEB1BD17F6 Time : 0.0 sec. user=mdettweiler [2013-01-08 08:42:05] 765*2^1238883-1 is not prime. Res64: 1853AF794FE1F154 Time : 0.0 sec. user=mdettweiler [2013-01-08 08:42:06] 775*2^1238883-1 is not prime. Res64: C0AC712F7B894751 Time : 0.0 sec. user=mdettweiler [2013-01-08 08:57:20] 943*2^1238883-1 is not prime. Res64: 0FEBA8CFF8C4DEF1 Time : 0.0 sec. user=mdettweiler [2013-01-08 08:57:21] 609*2^1238884-1 is not prime. Res64: 084017276BD6AFD7 Time : 0.0 sec. user=mdettweiler [2013-01-08 08:59:27] 623*2^1238884-1 is not prime. Res64: 749BA2A4F59E0BAE Time : 0.0 sec. user=mdettweiler [2013-01-08 08:59:29] 657*2^1238884-1 is not prime. Res64: 69663124FB429D7B Time : 0.0 sec. user=vaughan [2013-01-08 09:04:39] 789*2^1238883-1 is not prime. Res64: 25BDFD11CB3D6ADA Time : 0.0 sec. user=mdettweiler [2013-01-08 09:14:43] 785*2^1238884-1 is not prime. Res64: 6A844EBDB813DF58 Time : 0.0 sec. user=mdettweiler [2013-01-08 09:14:43] 651*2^1238885-1 is not prime. Res64: 2FC1035BA24B9E35 Time : 0.0 sec. user=mdettweiler [2013-01-08 09:16:51] 657*2^1238885-1 is not prime. Res64: 7E70C8F77A360AF1 Time : 0.0 sec. user=mdettweiler [2013-01-08 09:16:51] 757*2^1238885-1 is not prime. Res64: 0547F6D163363A23 Time : 0.0 sec. user=juhehe [2013-01-08 09:25:57] 749*2^1238884-1 is not prime. Res64: 1870295EA2980628 Time : 0.0 sec. user=mdettweiler [2013-01-08 09:32:08] 795*2^1238885-1 is not prime. Res64: 5084D3F5D25958F9 Time : 0.0 sec. user=mdettweiler [2013-01-08 09:32:08] 955*2^1238885-1 is not prime. Res64: 2769A8973520304F Time : 0.0 sec. user=mdettweiler [2013-01-08 09:34:14] 615*2^1238886-1 is not prime. Res64: 2A026F5B4D6DBDC0 Time : 0.0 sec. user=mdettweiler [2013-01-08 09:34:15] 657*2^1238886-1 is not prime. Res64: 44C7A3E2E7633529 Time : 0.0 sec. user=juhehe [2013-01-08 09:36:27] 793*2^1238883-1 is not prime. Res64: 48D0003DD9129603 Time : 0.0 sec. user=juhehe [2013-01-08 09:39:14] 871*2^1238883-1 is not prime. Res64: 34A85948E953A235 Time : 0.0 sec. user=vaughan [2013-01-08 09:42:41] 787*2^1238885-1 is not prime. Res64: EDAE527482C7558D Time : 0.0 sec. user=mdettweiler [2013-01-08 09:49:30] 693*2^1238886-1 is not prime. Res64: EF5A252BDCEFAA1A Time : 0.0 sec. user=mdettweiler [2013-01-08 09:49:30] 695*2^1238886-1 is not prime. Res64: 946ED95A600B8BA1 Time : 0.0 sec. user=mdettweiler [2013-01-08 09:51:36] 741*2^1238886-1 is not prime. Res64: 728518A97E9D3254 Time : 0.0 sec. user=mdettweiler [2013-01-08 09:51:37] 755*2^1238886-1 is not prime. Res64: EC4FA4B8AA43F52A Time : 0.0 sec. user=mdettweiler [2013-01-08 10:06:54] 941*2^1238886-1 is not prime. Res64: 8CFD240F1068D14C Time : 0.0 sec. user=mdettweiler [2013-01-08 10:06:57] 963*2^1238886-1 is not prime. Res64: 6B92FF825D141495 Time : 0.0 sec. user=mdettweiler [2013-01-08 10:08:59] 619*2^1238887-1 is not prime. Res64: 48E9B8FA5F7C1C7C Time : 0.0 sec. user=mdettweiler [2013-01-08 10:09:01] 705*2^1238887-1 is not prime. Res64: 51A410A4AAF4B7E6 Time : 0.0 sec. user=vaughan [2013-01-08 10:20:49] 843*2^1238886-1 is not prime. Res64: 07DB827416972FEB Time : 0.0 sec. user=mdettweiler [2013-01-08 10:25:23] 735*2^1238887-1 is not prime. Res64: 265EC1D76F1D7E7D Time : 0.0 sec. user=mdettweiler [2013-01-08 10:25:24] 741*2^1238887-1 is not prime. Res64: BC540C7055CAF566 Time : 0.0 sec. user=mdettweiler [2013-01-08 10:27:14] 759*2^1238887-1 is not prime. Res64: 14F5FD4BFE070E54 Time : 0.0 sec. user=mdettweiler [2013-01-08 10:27:14] 861*2^1238887-1 is not prime. Res64: 31E5BD5F1510B976 Time : 0.0 sec. user=mdettweiler [2013-01-08 10:42:50] 939*2^1238887-1 is not prime. Res64: 6B79AE89EA12A18A Time : 0.0 sec. user=mdettweiler [2013-01-08 10:42:50] 633*2^1238888-1 is not prime. Res64: 07F15BD3639C9DCC Time : 0.0 sec. user=mdettweiler [2013-01-08 10:44:39] 657*2^1238888-1 is not prime. Res64: ED2F291CEC55DD37 Time : 0.0 sec. user=mdettweiler [2013-01-08 10:44:39] 663*2^1238888-1 is not prime. Res64: 56D5EDEBAC55CD27 Time : 0.0 sec. user=vaughan [2013-01-08 10:58:44] 915*2^1238887-1 is not prime. Res64: 1E6A24E4AC7F59F4 Time : 0.0 sec. user=juhehe [2013-01-08 11:00:19] 725*2^1238888-1 is not prime. Res64: 8C63B52E91EDF5F1 Time : 0.0 sec. user=mdettweiler [2013-01-08 11:02:02] 807*2^1238889-1 is not prime. Res64: 569106F69C5AA7A0 Time : 0.0 sec. user=mdettweiler [2013-01-08 11:02:02] 847*2^1238889-1 is not prime. Res64: 92D55AC6FF29D5CC Time : 0.0 sec. user=mdettweiler [2013-01-08 11:18:11] 685*2^1238889-1 is not prime. Res64: 1804642D60BF7252 Time : 0.0 sec. user=mdettweiler [2013-01-08 11:18:12] 705*2^1238889-1 is not prime. Res64: DA55E51707ACBFB7 Time : 0.0 sec. user=mdettweiler [2013-01-08 11:19:26] 919*2^1238889-1 is not prime. Res64: E75179D749C101FC Time : 0.0 sec. user=mdettweiler [2013-01-08 11:19:27] 951*2^1238889-1 is not prime. Res64: 4CA581C85DC1053A Time : 0.0 sec. user=mdettweiler [2013-01-08 11:35:36] 979*2^1238889-1 is not prime. Res64: 4648B2208539BE07 Time : 0.0 sec. user=mdettweiler [2013-01-08 11:35:36] 997*2^1238889-1 is not prime. Res64: A5F781601102A6E5 Time : 0.0 sec. user=vaughan [2013-01-08 11:36:42] 861*2^1238889-1 is not prime. Res64: 13C3A8CB584A2492 Time : 0.0 sec. user=mdettweiler [2013-01-08 11:36:49] 687*2^1238890-1 is not prime. Res64: 0EA471A2D762CFB4 Time : 0.0 sec. user=mdettweiler [2013-01-08 11:36:51] 701*2^1238890-1 is not prime. Res64: C4C1B7399D59CC42 Time : 0.0 sec. user=juhehe [2013-01-08 11:43:29] 869*2^1238888-1 is not prime. Res64: BFCD61D5D7C9E57E Time : 0.0 sec. user=juhehe [2013-01-08 11:46:07] 649*2^1238889-1 is not prime. Res64: 62E17821EDCCFAC8 Time : 0.0 sec. user=mdettweiler [2013-01-08 11:52:59] 905*2^1238890-1 is not prime. Res64: 3DBE97F3816A00B5 Time : 0.0 sec. user=mdettweiler [2013-01-08 11:53:00] 915*2^1238890-1 is not prime. Res64: FBDA7909624FBF97 Time : 0.0 sec. user=mdettweiler [2013-01-08 11:54:14] 645*2^1238891-1 is not prime. Res64: 8FD42454CAD99B62 Time : 0.0 sec. user=mdettweiler [2013-01-08 11:54:15] 705*2^1238891-1 is not prime. Res64: 9DD0310707479D4E Time : 0.0 sec. user=juhehe [2013-01-08 12:03:59] 801*2^1238890-1 is not prime. Res64: 1787C02EC7D89AD2 Time : 0.0 sec. user=mdettweiler [2013-01-08 12:10:22] 759*2^1238891-1 is not prime. Res64: F22A511D67263390 Time : 0.0 sec. user=mdettweiler [2013-01-08 12:10:23] 789*2^1238891-1 is not prime. Res64: 99776A901BA5DEA9 Time : 0.0 sec. user=mdettweiler [2013-01-08 12:11:38] 825*2^1238891-1 is not prime. Res64: 61DD5DA18CFF958D Time : 0.0 sec. user=mdettweiler [2013-01-08 12:11:40] 895*2^1238891-1 is not prime. Res64: E2451BD94816F90E Time : 0.0 sec. user=vaughan [2013-01-08 12:14:34] 631*2^1238891-1 is not prime. Res64: EAB1F2C76D9C590D Time : 0.0 sec. user=mdettweiler [2013-01-08 12:27:50] 931*2^1238891-1 is not prime. Res64: EE5A943433A37C7A Time : 0.0 sec. user=mdettweiler [2013-01-08 12:27:51] 797*2^1238892-1 is not prime. Res64: C11F1C19727E64AC Time : 0.0 sec. user=mdettweiler [2013-01-08 12:29:04] 867*2^1238892-1 is not prime. Res64: C44F77A436A807D3 Time : 0.0 sec. user=mdettweiler [2013-01-08 12:29:05] 879*2^1238892-1 is not prime. Res64: DDBA835E96C5C018 Time : 0.0 sec. user=mdettweiler [2013-01-08 12:45:15] 607*2^1238893-1 is not prime. Res64: 146E929B10ACEFFC Time : 0.0 sec. user=mdettweiler [2013-01-08 12:45:16] 621*2^1238893-1 is not prime. Res64: AF62E752C29818F8 Time : 0.0 sec. user=mdettweiler [2013-01-08 12:46:28] 651*2^1238893-1 is not prime. Res64: 44A733DA336BA10B Time : 0.0 sec. user=mdettweiler [2013-01-08 12:46:29] 771*2^1238893-1 is not prime. Res64: F1E67BEA343BE361 Time : 0.0 sec. user=vaughan [2013-01-08 12:52:39] 959*2^1238892-1 is not prime. Res64: 12929FB4DC688BC8 Time : 0.0 sec. user=mdettweiler [2013-01-08 13:02:41] 915*2^1238893-1 is not prime. Res64: 6B18057B3B980851 Time : 0.0 sec. user=mdettweiler [2013-01-08 13:02:43] 999*2^1238893-1 is not prime. Res64: 7C44EB32F6BDB71B Time : 0.0 sec. user=mdettweiler [2013-01-08 13:03:59] 687*2^1238894-1 is not prime. Res64: 02B280E424EE4062 Time : 0.0 sec. user=mdettweiler [2013-01-08 13:04:00] 717*2^1238894-1 is not prime. Res64: 005C5457ABA26B78 Time : 0.0 sec. user=mdettweiler [2013-01-08 13:20:27] 927*2^1238894-1 is not prime. Res64: 02377887DAE440F7 Time : 0.0 sec. user=mdettweiler [2013-01-08 13:20:27] 945*2^1238894-1 is not prime. Res64: 0F1057FDA67B8929 Time : 0.0 sec. user=mdettweiler [2013-01-08 13:21:32] 1001*2^1238894-1 is not prime. Res64: 7BAF6DE42227F519 Time : 0.0 sec. user=mdettweiler [2013-01-08 13:21:33] 669*2^1238895-1 is not prime. Res64: AE71C4F38E706152 Time : 0.0 sec. user=vaughan [2013-01-08 13:30:34] 741*2^1238894-1 is not prime. Res64: 4DC2409C21F1A2A6 Time : 0.0 sec. user=mdettweiler [2013-01-08 13:37:54] 691*2^1238895-1 is not prime. Res64: C9449FE46EEFCD58 Time : 0.0 sec. user=mdettweiler [2013-01-08 13:37:54] 693*2^1238895-1 is not prime. Res64: BC1F2E371E60182B Time : 0.0 sec. user=mdettweiler [2013-01-08 13:38:57] 775*2^1238895-1 is not prime. Res64: 7309BA062CAD56D7 Time : 0.0 sec. user=mdettweiler [2013-01-08 13:38:58] 789*2^1238895-1 is not prime. Res64: 71B712D5F029D892 Time : 0.0 sec. user=juhehe [2013-01-08 13:50:23] 895*2^1238893-1 is not prime. Res64: 228C4BDB992BB4F1 Time : 0.0 sec. user=juhehe [2013-01-08 13:52:54] 731*2^1238894-1 is not prime. Res64: FF4635E82441EC37 Time : 0.0 sec. user=mdettweiler [2013-01-08 13:55:20] 823*2^1238895-1 is not prime. Res64: 91BC1BEC8444FCB1 Time : 0.0 sec. user=mdettweiler [2013-01-08 13:55:20] 955*2^1238895-1 is not prime. Res64: 37B4253CE0FFA34E Time : 0.0 sec. user=mdettweiler [2013-01-08 13:56:23] 677*2^1238896-1 is not prime. Res64: CB5659044A1ECE56 Time : 0.0 sec. user=mdettweiler [2013-01-08 13:56:23] 759*2^1238896-1 is not prime. Res64: 43B6D7DD5B7050DC Time : 0.0 sec. user=vaughan [2013-01-08 14:08:24] 795*2^1238895-1 is not prime. Res64: 954B2821A8A0744F Time : 0.0 sec. user=mdettweiler [2013-01-08 14:12:46] 813*2^1238896-1 is not prime. Res64: 1439B67A36691CC9 Time : 0.0 sec. user=mdettweiler [2013-01-08 14:12:47] 905*2^1238896-1 is not prime. Res64: F288577B6CC82F51 Time : 0.0 sec. user=mdettweiler [2013-01-08 14:13:46] 651*2^1238897-1 is not prime. Res64: 124B868F6C9D74C8 Time : 0.0 sec. user=mdettweiler [2013-01-08 14:13:48] 711*2^1238897-1 is not prime. Res64: 739FE594EA3EE2A0 Time : 0.0 sec. user=mdettweiler [2013-01-08 14:30:39] 735*2^1238897-1 is not prime. Res64: 71EED810FA567E8B Time : 0.0 sec. user=mdettweiler [2013-01-08 14:30:39] 769*2^1238897-1 is not prime. Res64: 55018A282C3BA24E Time : 0.0 sec. user=mdettweiler [2013-01-08 14:31:43] 777*2^1238897-1 is not prime. Res64: C67CD07D32E8F677 Time : 0.0 sec. user=mdettweiler [2013-01-08 14:31:44] 871*2^1238897-1 is not prime. Res64: 89D92A17B501E449 Time : 0.0 sec. user=vaughan [2013-01-08 14:46:21] 729*2^1238897-1 is not prime. Res64: 59311ED28EFDE207 Time : 0.0 sec. user=mdettweiler [2013-01-08 14:48:33] 683*2^1238898-1 is not prime. Res64: 0298AE3F5EBC0178 Time : 0.0 sec. user=mdettweiler [2013-01-08 14:48:33] 737*2^1238898-1 is not prime. Res64: B34715F593C84A1B Time : 0.0 sec. user=mdettweiler [2013-01-08 14:49:40] 765*2^1238898-1 is not prime. Res64: 52CAA544BB582E9C Time : 0.0 sec. user=mdettweiler [2013-01-08 14:49:40] 885*2^1238898-1 is not prime. Res64: B2155D6F32BF19B1 Time : 0.0 sec. user=mdettweiler [2013-01-08 15:06:28] 619*2^1238899-1 is not prime. Res64: B1B40CB4776D2425 Time : 0.0 sec. user=mdettweiler [2013-01-08 15:06:30] 645*2^1238899-1 is not prime. Res64: 6F45FDFC867EFC51 Time : 0.0 sec. user=mdettweiler [2013-01-08 15:07:33] 861*2^1238899-1 is not prime. Res64: F8F35D0D0F621CF0 Time : 0.0 sec. user=mdettweiler [2013-01-08 15:07:34] 689*2^1238900-1 is not prime. Res64: FC78637CEA9D5537 Time : 0.0 sec. user=vaughan [2013-01-08 15:24:09] 887*2^1238898-1 is not prime. Res64: B19CFF6B4435A95E Time : 0.0 sec. user=mdettweiler [2013-01-08 15:24:28] 825*2^1238900-1 is not prime. Res64: 9BF2FB800F841DA3 Time : 0.0 sec. user=mdettweiler [2013-01-08 15:24:28] 855*2^1238900-1 is not prime. Res64: 5A88EF6E3C038FF9 Time : 0.0 sec. user=mdettweiler [2013-01-08 15:25:26] 959*2^1238900-1 is not prime. Res64: 648FAE365506E9B2 Time : 0.0 sec. user=mdettweiler [2013-01-08 15:25:26] 621*2^1238901-1 is not prime. Res64: 60DE1991A8DD9504 Time : 0.0 sec. user=mdettweiler [2013-01-08 15:42:18] 661*2^1238901-1 is not prime. Res64: 6A2753D9F29B4679 Time : 0.0 sec. user=mdettweiler [2013-01-08 15:42:18] 685*2^1238901-1 is not prime. Res64: 21CBD0F0FD6EC9CA Time : 0.0 sec. user=mdettweiler [2013-01-08 15:43:20] 817*2^1238901-1 is not prime. Res64: F2DE541A2DB3073B Time : 0.0 sec. user=mdettweiler [2013-01-08 15:43:21] 907*2^1238901-1 is not prime. Res64: 1A6C0018867F4272 Time : 0.0 sec. user=juhehe [2013-01-08 15:57:16] 759*2^1238900-1 is not prime. Res64: 22F771485F564796 Time : 0.0 sec. user=juhehe [2013-01-08 15:59:34] 773*2^1238900-1 is not prime. Res64: 5F196617E2844654 Time : 0.0 sec. user=mdettweiler [2013-01-08 16:00:39] 945*2^1238901-1 is not prime. Res64: 65CAD94B7D899624 Time : 0.0 sec. user=mdettweiler [2013-01-08 16:00:40] 949*2^1238901-1 is not prime. Res64: 41FC795686102577 Time : 0.0 sec. user=mdettweiler [2013-01-08 16:01:38] 617*2^1238902-1 is not prime. Res64: CC4236B5946F8F01 Time : 0.0 sec. user=mdettweiler [2013-01-08 16:01:40] 645*2^1238902-1 is not prime. Res64: A9735E19F5DFDF51 Time : 0.0 sec. user=vaughan [2013-01-08 16:02:00] 627*2^1238901-1 is not prime. Res64: D0ADF4F82F7F8B91 Time : 0.0 sec. user=mdettweiler [2013-01-08 16:18:53] 647*2^1238902-1 is not prime. Res64: 453B16AB37401652 Time : 0.0 sec. user=mdettweiler [2013-01-08 16:18:54] 761*2^1238902-1 is not prime. Res64: 81E80EC28A6FE355 Time : 0.0 sec. user=mdettweiler [2013-01-08 16:19:43] 791*2^1238902-1 is not prime. Res64: C17AC9C85A4B7B81 Time : 0.0 sec. user=mdettweiler [2013-01-08 16:19:44] 885*2^1238902-1 is not prime. Res64: 815468E70B51691A Time : 0.0 sec. user=mdettweiler [2013-01-08 16:36:18] 951*2^1238902-1 is not prime. Res64: 6C71069F956F27DA Time : 0.0 sec. user=mdettweiler [2013-01-08 16:36:19] 975*2^1238902-1 is not prime. Res64: 1534F1ECA8725269 Time : 0.0 sec. user=mdettweiler [2013-01-08 16:37:07] 981*2^1238902-1 is not prime. Res64: ECE346D3E3C57347 Time : 0.0 sec. user=mdettweiler [2013-01-08 16:37:08] 633*2^1238903-1 is not prime. Res64: 9F1546F4B26E0099 Time : 0.0 sec. user=vaughan [2013-01-08 16:39:46] 887*2^1238902-1 is not prime. Res64: 1ED76D5DDD97CFCF Time : 0.0 sec. user=mdettweiler [2013-01-08 16:53:42] 673*2^1238903-1 is not prime. Res64: EE53FC6BB40ABC29 Time : 0.0 sec. user=mdettweiler [2013-01-08 16:53:43] 735*2^1238903-1 is not prime. Res64: B460445EE61089EF Time : 0.0 sec. user=mdettweiler [2013-01-08 16:54:32] 759*2^1238903-1 is not prime. Res64: 7D3CCB224CB9D530 Time : 0.0 sec. user=mdettweiler [2013-01-08 16:54:33] 771*2^1238903-1 is not prime. Res64: 285F877C1B0EAA5D Time : 0.0 sec. user=mdettweiler [2013-01-08 17:11:20] 879*2^1238903-1 is not prime. Res64: 9C797EFA778491CB Time : 0.0 sec. user=mdettweiler [2013-01-08 17:11:21] 885*2^1238903-1 is not prime. Res64: 0D0676191578E1F2 Time : 0.0 sec. user=mdettweiler [2013-01-08 17:12:09] 943*2^1238903-1 is not prime. Res64: C94EDBC72FE950D3 Time : 0.0 sec. user=mdettweiler [2013-01-08 17:12:10] 969*2^1238903-1 is not prime. Res64: 953229DA57FDD470 Time : 0.0 sec. user=vaughan [2013-01-08 17:17:33] 813*2^1238903-1 is not prime. Res64: FCCA14847BF42800 Time : 0.0 sec. user=mdettweiler [2013-01-08 17:29:10] 753*2^1238904-1 is not prime. Res64: 32F5549FE6D49489 Time : 0.0 sec. user=mdettweiler [2013-01-08 17:29:10] 667*2^1238905-1 is not prime. Res64: 01DE84DBA51CFC86 Time : 0.0 sec. user=mdettweiler [2013-01-08 17:29:57] 687*2^1238905-1 is not prime. Res64: B15A4FD4F3E6E2FD Time : 0.0 sec. user=mdettweiler [2013-01-08 17:29:57] 811*2^1238905-1 is not prime. Res64: 285CA92E8A3CDEB9 Time : 0.0 sec. user=mdettweiler [2013-01-08 17:46:45] 645*2^1238906-1 is not prime. Res64: 316294D9359DE6FF Time : 0.0 sec. user=mdettweiler [2013-01-08 17:46:46] 675*2^1238906-1 is not prime. Res64: BDD170B24A35F33B Time : 0.0 sec. user=mdettweiler [2013-01-08 17:47:31] 683*2^1238906-1 is not prime. Res64: 795F2FE7E07702C6 Time : 0.0 sec. user=mdettweiler [2013-01-08 17:47:32] 711*2^1238906-1 is not prime. Res64: 4FC0DB14A977127D Time : 0.0 sec. user=vaughan [2013-01-08 17:55:23] 847*2^1238905-1 is not prime. Res64: FEA0A63286F04790 Time : 0.0 sec. user=mdettweiler [2013-01-08 18:04:25] 903*2^1238906-1 is not prime. Res64: 663DE628EF0F640E Time : 0.0 sec. user=mdettweiler [2013-01-08 18:04:26] 615*2^1238907-1 is not prime. Res64: 4DDBB742F94BE434 Time : 0.0 sec. user=juhehe [2013-01-08 18:05:10] 981*2^1238903-1 is not prime. Res64: 97E5568768DE15CD Time : 0.0 sec. user=mdettweiler [2013-01-08 18:05:11] 891*2^1238907-1 is not prime. Res64: 5C34ECF4B8156C18 Time : 0.0 sec. user=mdettweiler [2013-01-08 18:05:13] 903*2^1238907-1 is not prime. Res64: FD3D4C7CE798E8D7 Time : 0.0 sec. user=juhehe [2013-01-08 18:08:14] 689*2^1238904-1 is not prime. Res64: 76177D1C529C06D2 Time : 0.0 sec. user=juhehe [2013-01-08 18:12:16] 837*2^1238906-1 is not prime. Res64: C80038E9A354665C Time : 0.0 sec. user=mdettweiler [2013-01-08 18:22:17] 963*2^1238907-1 is not prime. Res64: 63839AD7CAA505BC Time : 0.0 sec. user=mdettweiler [2013-01-08 18:22:17] 603*2^1238908-1 is not prime. Res64: 3C4BFECD8A2E512F Time : 0.0 sec. user=mdettweiler [2013-01-08 18:23:00] 617*2^1238908-1 is not prime. Res64: F6EDF0B5917B8C48 Time : 0.0 sec. user=mdettweiler [2013-01-08 18:23:01] 707*2^1238908-1 is not prime. Res64: 8E0B7FE716E9322C Time : 0.0 sec. user=vaughan [2013-01-08 18:33:12] 955*2^1238907-1 is not prime. Res64: DF2C05A0298B5B8D Time : 0.0 sec. user=mdettweiler [2013-01-08 18:40:12] 827*2^1238908-1 is not prime. Res64: 9C556C1FA04FD93A Time : 0.0 sec. user=mdettweiler [2013-01-08 18:40:12] 887*2^1238908-1 is not prime. Res64: 4055BF06B0FB7C94 Time : 0.0 sec. user=mdettweiler [2013-01-08 18:40:55] 897*2^1238908-1 is not prime. Res64: 3F7E51A3D061950F Time : 0.0 sec. user=mdettweiler [2013-01-08 18:40:55] 909*2^1238908-1 is not prime. Res64: 74AC4D8D22B0CE20 Time : 0.0 sec. user=juhehe [2013-01-08 18:45:01] 773*2^1238908-1 is not prime. Res64: 68339048CB254E7E Time : 0.0 sec. user=mdettweiler [2013-01-08 18:58:16] 929*2^1238908-1 is not prime. Res64: F4ED7CF0F07BAB9E Time : 0.0 sec. user=mdettweiler [2013-01-08 18:58:17] 685*2^1238909-1 is not prime. Res64: 64E92D1A86A56F8E Time : 0.0 sec. user=mdettweiler [2013-01-08 18:58:59] 651*2^1238910-1 is not prime. Res64: 4DEB3BC38527476A Time : 0.0 sec. user=mdettweiler [2013-01-08 18:58:59] 653*2^1238910-1 is not prime. Res64: 5385448B7F60CD91 Time : 0.0 sec. user=vaughan [2013-01-08 19:11:03] 927*2^1238908-1 is not prime. Res64: 1678129508FF52A5 Time : 0.0 sec. user=mdettweiler [2013-01-08 19:15:58] 845*2^1238910-1 is not prime. Res64: AEE75A982C90B455 Time : 0.0 sec. user=mdettweiler [2013-01-08 19:15:58] 621*2^1238911-1 is not prime. Res64: 866D9114E747D23E Time : 0.0 sec. user=mdettweiler [2013-01-08 19:16:40] 651*2^1238911-1 is not prime. Res64: 76915A3E4494B9D0 Time : 0.0 sec. user=mdettweiler [2013-01-08 19:16:40] 735*2^1238911-1 is not prime. Res64: 01B43AB2EEDA1402 Time : 0.0 sec. user=juhehe [2013-01-08 19:17:44] 693*2^1238910-1 is not prime. Res64: 8737D5B8B304781D Time : 0.0 sec. user=mdettweiler [2013-01-08 19:33:28] 973*2^1238911-1 is not prime. Res64: 68917A4705EC96D6 Time : 0.0 sec. user=mdettweiler [2013-01-08 19:33:29] 975*2^1238911-1 is not prime. Res64: 78C103C48725883C Time : 0.0 sec. user=mdettweiler [2013-01-08 19:34:10] 979*2^1238911-1 is not prime. Res64: 2345DE080D927FE3 Time : 0.0 sec. user=mdettweiler [2013-01-08 19:34:10] 615*2^1238912-1 is not prime. Res64: FDFA2F8436A23B70 Time : 0.0 sec. user=vaughan [2013-01-08 19:48:48] 841*2^1238911-1 is not prime. Res64: 8D8DE3C4BE8FA1FD Time : 0.0 sec. user=juhehe [2013-01-08 19:50:27] 617*2^1238912-1 is not prime. Res64: 4BB07A46A253445D Time : 0.0 sec. user=mdettweiler [2013-01-08 19:50:56] 753*2^1238912-1 is not prime. Res64: 9D9B0F17A26C0DAB Time : 0.0 sec. user=mdettweiler [2013-01-08 19:50:57] 923*2^1238912-1 is not prime. Res64: B339F6CFFDC3C512 Time : 0.0 sec. user=mdettweiler [2013-01-08 19:51:34] 963*2^1238912-1 is not prime. Res64: 3960758E98926643 Time : 0.0 sec. user=mdettweiler [2013-01-08 19:51:35] 679*2^1238913-1 is not prime. Res64: E2BDE73267121BD1 Time : 0.0 sec. user=mdettweiler [2013-01-08 20:08:21] 861*2^1238913-1 is not prime. Res64: A23327854460DBD7 Time : 0.0 sec. user=mdettweiler [2013-01-08 20:08:24] 895*2^1238913-1 is not prime. Res64: BAEE908C3F6FEBA4 Time : 0.0 sec. user=mdettweiler [2013-01-08 20:08:58] 919*2^1238913-1 is not prime. Res64: 1631175EC2657F78 Time : 0.0 sec. user=mdettweiler [2013-01-08 20:09:01] 633*2^1238914-1 is not prime. Res64: 1F34C6BD7F7489C2 Time : 0.0 sec. user=juhehe [2013-01-08 20:12:36] 759*2^1238911-1 is not prime. Res64: 5822DB0DE0ECDE0B Time : 0.0 sec. user=juhehe [2013-01-08 20:14:37] 793*2^1238911-1 is not prime. Res64: 0950942F4533D778 Time : 0.0 sec. user=mdettweiler [2013-01-08 20:26:03] 657*2^1238914-1 is not prime. Res64: BD28EF347D69333F Time : 0.0 sec. user=mdettweiler [2013-01-08 20:26:03] 665*2^1238914-1 is not prime. Res64: 04AD9EFAC644812E Time : 0.0 sec. user=mdettweiler [2013-01-08 20:26:31] 677*2^1238914-1 is not prime. Res64: B6E89BB9CDE0074D Time : 0.0 sec. user=mdettweiler [2013-01-08 20:26:33] 741*2^1238914-1 is not prime. Res64: E96AE726B5288C58 Time : 0.0 sec. user=vaughan [2013-01-08 20:26:35] 781*2^1238913-1 is not prime. Res64: 96CC7E919B5DA5FA Time : 0.0 sec. user=mdettweiler [2013-01-08 20:43:49] 773*2^1238914-1 is not prime. Res64: 53563AEE2970023D Time : 0.0 sec. user=mdettweiler [2013-01-08 20:43:50] 887*2^1238914-1 is not prime. Res64: 3BEF2443D6308D24 Time : 0.0 sec. user=mdettweiler [2013-01-08 20:44:23] 951*2^1238914-1 is not prime. Res64: 75C600229803E977 Time : 0.0 sec. user=mdettweiler [2013-01-08 20:44:23] 981*2^1238914-1 is not prime. Res64: D383599A5AA36A30 Time : 0.0 sec. user=juhehe [2013-01-08 20:54:01] 765*2^1238914-1 is not prime. Res64: 52E6B63265AC03AE Time : 0.0 sec. user=mdettweiler [2013-01-08 21:01:44] 735*2^1238915-1 is not prime. Res64: C4A7BA8359080012 Time : 0.0 sec. user=mdettweiler [2013-01-08 21:01:45] 771*2^1238915-1 is not prime. Res64: 80F8AA57721497CE Time : 0.0 sec. user=mdettweiler [2013-01-08 21:02:19] 783*2^1238915-1 is not prime. Res64: 5C69288285055A3F Time : 0.0 sec. user=mdettweiler [2013-01-08 21:02:20] 909*2^1238915-1 is not prime. Res64: 764899C4F7BB8A8F Time : 0.0 sec. user=vaughan [2013-01-08 21:04:28] 651*2^1238915-1 is not prime. Res64: 9630FC12D8C6E758 Time : 0.0 sec. user=mdettweiler [2013-01-08 21:20:03] 921*2^1238915-1 is not prime. Res64: 5184B0B18ED8BFE4 Time : 0.0 sec. user=mdettweiler [2013-01-08 21:20:04] 623*2^1238916-1 is not prime. Res64: 852CA3A7A1C458B7 Time : 0.0 sec. user=mdettweiler [2013-01-08 21:20:23] 633*2^1238916-1 is not prime. Res64: 4421AE64B61D8AA2 Time : 0.0 sec. user=mdettweiler [2013-01-08 21:20:24] 657*2^1238916-1 is not prime. Res64: E77259053A6E8352 Time : 0.0 sec. user=mdettweiler [2013-01-08 21:37:30] 639*2^1238917-1 is not prime. Res64: 7AFC750359714DB5 Time : 0.0 sec. user=mdettweiler [2013-01-08 21:37:31] 727*2^1238917-1 is not prime. Res64: D33E4DAE9B3A8F6D Time : 0.0 sec. user=mdettweiler [2013-01-08 21:37:51] 747*2^1238917-1 is not prime. Res64: 74F80D5C8209F199 Time : 0.0 sec. user=mdettweiler [2013-01-08 21:37:52] 777*2^1238917-1 is not prime. Res64: 6238E1175A1CBD95 Time : 0.0 sec. user=vaughan [2013-01-08 21:42:24] 717*2^1238916-1 is not prime. Res64: 4A3822436D99A416 Time : 0.0 sec. user=mdettweiler [2013-01-08 21:54:57] 915*2^1238917-1 is not prime. Res64: CEA0C1251632812E Time : 0.0 sec. user=mdettweiler [2013-01-08 21:54:58] 931*2^1238917-1 is not prime. Res64: 623292CF78EC7AB2 Time : 0.0 sec. user=mdettweiler [2013-01-08 21:55:18] 937*2^1238917-1 is not prime. Res64: A09DF01C8CAD6BDF Time : 0.0 sec. user=mdettweiler [2013-01-08 21:55:18] 945*2^1238917-1 is not prime. Res64: BF2E7F16B07F5B09 Time : 0.0 sec. user=mdettweiler [2013-01-08 22:12:24] 671*2^1238918-1 is not prime. Res64: 628204BDAE559F63 Time : 0.0 sec. user=mdettweiler [2013-01-08 22:12:25] 711*2^1238918-1 is not prime. Res64: A49AE45A408BC1AD Time : 0.0 sec. user=mdettweiler [2013-01-08 22:12:47] 801*2^1238918-1 is not prime. Res64: 76F5E588B7DA16BC Time : 0.0 sec. user=mdettweiler [2013-01-08 22:12:49] 831*2^1238918-1 is not prime. Res64: BD5903FDA038E60A Time : 0.0 sec. user=vaughan [2013-01-08 22:20:13] 603*2^1238918-1 is not prime. Res64: 29DC0B24DA249EAE Time : 0.0 sec. user=juhehe [2013-01-08 22:20:34] 759*2^1238916-1 is not prime. Res64: C1CCD0462933F92B Time : 0.0 sec. user=juhehe [2013-01-08 22:20:51] 783*2^1238916-1 is not prime. Res64: F96F4E2BD2BAD348 Time : 0.0 sec. user=mdettweiler [2013-01-08 22:29:54] 897*2^1238918-1 is not prime. Res64: CE35308E54E9470A Time : 0.0 sec. user=mdettweiler [2013-01-08 22:29:55] 615*2^1238919-1 is not prime. Res64: FC192BB0C00308F9 Time : 0.0 sec. user=mdettweiler [2013-01-08 22:30:15] 685*2^1238919-1 is not prime. Res64: E17C86B2EB649045 Time : 0.0 sec. user=mdettweiler [2013-01-08 22:30:15] 865*2^1238919-1 is not prime. Res64: 6E1DE04E191076FF Time : 0.0 sec. user=mdettweiler [2013-01-08 22:47:21] 713*2^1238920-1 is not prime. Res64: C2604D98510A476A Time : 0.0 sec. user=mdettweiler [2013-01-08 22:47:21] 845*2^1238920-1 is not prime. Res64: F8C73049FF27ADBB Time : 0.0 sec. user=mdettweiler [2013-01-08 22:47:44] 857*2^1238920-1 is not prime. Res64: 9716065CD4FD0A3C Time : 0.0 sec. user=mdettweiler [2013-01-08 22:47:44] 927*2^1238920-1 is not prime. Res64: E1901380C95F7360 Time : 0.0 sec. user=juhehe [2013-01-08 22:59:00] 979*2^1238919-1 is not prime. Res64: 740048D6DE8FEE4F Time : 0.0 sec. user=vaughan [2013-01-08 23:01:47] 955*2^1238919-1 is not prime. Res64: 730B177F84465419 Time : 0.0 sec. user=mdettweiler [2013-01-08 23:04:48] 607*2^1238921-1 is not prime. Res64: 4496887376947CAF Time : 0.0 sec. user=mdettweiler [2013-01-08 23:04:49] 649*2^1238921-1 is not prime. Res64: 759E9A67F35A4DE6 Time : 0.0 sec. user=mdettweiler [2013-01-08 23:05:11] 675*2^1238921-1 is not prime. Res64: 8C0819308CA38942 Time : 0.0 sec. user=mdettweiler [2013-01-08 23:05:12] 745*2^1238921-1 is not prime. Res64: ADC76111DE6D58D2 Time : 0.0 sec. user=mdettweiler [2013-01-08 23:22:23] 931*2^1238921-1 is not prime. Res64: B8A2FBDCA7E32D67 Time : 0.0 sec. user=mdettweiler [2013-01-08 23:22:24] 937*2^1238921-1 is not prime. Res64: 95136643307816D5 Time : 0.0 sec. user=mdettweiler [2013-01-08 23:22:45] 615*2^1238922-1 is not prime. Res64: 50CD4FACF8002CBE Time : 0.0 sec. user=mdettweiler [2013-01-08 23:22:45] 735*2^1238922-1 is not prime. Res64: DECA3C16D08C7EC6 Time : 0.0 sec. user=vaughan [2013-01-08 23:39:47] 747*2^1238921-1 is not prime. Res64: 08CBE801C932F7FD Time : 0.0 sec. user=mdettweiler [2013-01-08 23:39:56] 767*2^1238922-1 is not prime. Res64: F1147659D339829F Time : 0.0 sec. user=mdettweiler [2013-01-08 23:39:57] 807*2^1238922-1 is not prime. Res64: 12E7062C8D4463EA Time : 0.0 sec. user=mdettweiler [2013-01-08 23:40:16] 957*2^1238922-1 is not prime. Res64: A24995DEA6D5548F Time : 0.0 sec. user=mdettweiler [2013-01-08 23:40:16] 691*2^1238923-1 is not prime. Res64: 8CD7670C9836785E Time : 0.0 sec. user=mdettweiler [2013-01-08 23:57:24] 891*2^1238923-1 is not prime. Res64: A830A3B71D45CCE4 Time : 0.0 sec. user=mdettweiler [2013-01-08 23:57:25] 973*2^1238923-1 is not prime. Res64: 461144A598DCA247 Time : 0.0 sec. user=mdettweiler [2013-01-08 23:57:41] 635*2^1238924-1 is not prime. Res64: FBF3DE67594A16DD Time : 0.0 sec. user=mdettweiler [2013-01-08 23:57:41] 657*2^1238924-1 is not prime. Res64: 07128D178B89A6DA Time : 0.0 sec.