user=mdettweiler [2012-11-16 00:01:58] 895*2^1234471-1 is not prime. Res64: 66D4A2E28316B576 Time : 0.0 sec. user=mdettweiler [2012-11-16 00:01:59] 933*2^1234471-1 is not prime. Res64: E6F55AA08D6F6C5B Time : 0.0 sec. user=mdettweiler [2012-11-16 00:02:14] 973*2^1234471-1 is not prime. Res64: 495498ED0D21F43C Time : 0.0 sec. user=mdettweiler [2012-11-16 00:02:19] 665*2^1234472-1 is not prime. Res64: 51384EF833152AA8 Time : 0.0 sec. user=mdettweiler [2012-11-16 00:23:07] 735*2^1234472-1 is not prime. Res64: 9CBF83C86D748000 Time : 0.0 sec. user=mdettweiler [2012-11-16 00:23:08] 803*2^1234472-1 is not prime. Res64: D5A01975D0FB452A Time : 0.0 sec. user=mdettweiler [2012-11-16 00:23:28] 855*2^1234472-1 is not prime. Res64: 6A729C5EAA233587 Time : 0.0 sec. user=mdettweiler [2012-11-16 00:23:28] 923*2^1234472-1 is not prime. Res64: 011BCBCB8FA6AAF7 Time : 0.0 sec. user=gd_barnes [2012-11-16 04:49:57] 621*2^1234474-1 is not prime. Res64: 919E57BE59E9ABC2 Time : 0.0 sec. user=gd_barnes [2012-11-16 04:52:14] 917*2^1234474-1 is not prime. Res64: 8E078EC43A656799 Time : 0.0 sec. user=gd_barnes [2012-11-16 04:52:59] 741*2^1234475-1 is not prime. Res64: 25A05B4BE023326C Time : 0.0 sec. user=gd_barnes [2012-11-16 04:53:28] 857*2^1234474-1 is not prime. Res64: E1F6D8F3F2D91605 Time : 0.0 sec. user=gd_barnes [2012-11-16 04:53:29] 841*2^1234475-1 is not prime. Res64: 6B6DAE6C7FBCF0B3 Time : 0.0 sec. user=gd_barnes [2012-11-16 04:55:06] 663*2^1234475-1 is not prime. Res64: DB54ED50EB5D7888 Time : 0.0 sec. user=gd_barnes [2012-11-16 04:55:07] 979*2^1234473-1 is not prime. Res64: 5D50A212BA353779 Time : 0.0 sec. user=gd_barnes [2012-11-16 04:55:20] 673*2^1234475-1 is not prime. Res64: B7613B860DDF5BEE Time : 0.0 sec. user=gd_barnes [2012-11-16 04:55:45] 609*2^1234475-1 is not prime. Res64: B24BE8BC89800715 Time : 0.0 sec. user=gd_barnes [2012-11-16 05:15:52] 861*2^1234475-1 is not prime. Res64: 888F961A863C9676 Time : 0.0 sec. user=gd_barnes [2012-11-16 05:21:49] 871*2^1234475-1 is not prime. Res64: DC47973C0777BE3B Time : 0.0 sec. user=gd_barnes [2012-11-16 05:28:11] 653*2^1234476-1 is not prime. Res64: E9BBF26DCF8A8CAF Time : 0.0 sec. user=mdettweiler [2012-11-16 16:26:10] 685*2^1234473-1 is not prime. Res64: AADCE92E9F30C5D0 Time : 0.0 sec. user=mdettweiler [2012-11-16 16:26:11] 781*2^1234473-1 is not prime. Res64: 24EACAF33802C504 Time : 0.0 sec. user=mdettweiler [2012-11-16 16:26:13] 929*2^1234472-1 is not prime. Res64: E998EF93C2F93E48 Time : 0.0 sec. user=mdettweiler [2012-11-16 16:26:13] 983*2^1234472-1 is not prime. Res64: B2ACD2F393CE0D83 Time : 0.0 sec. user=mdettweiler [2012-11-16 16:47:39] 803*2^1234476-1 is not prime. Res64: 82C4F8CF3620E57D Time : 0.0 sec. user=mdettweiler [2012-11-16 16:47:39] 809*2^1234476-1 is not prime. Res64: D6F8448D8AB8B853 Time : 0.0 sec. user=mdettweiler [2012-11-16 16:47:39] 707*2^1234476-1 is not prime. Res64: 3AE479D62485911F Time : 0.0 sec. user=mdettweiler [2012-11-16 16:47:39] 767*2^1234476-1 is not prime. Res64: 241541B835613BAE Time : 0.0 sec. user=mdettweiler [2012-11-16 17:08:57] 845*2^1234476-1 is not prime. Res64: 874F8C7113A2BA11 Time : 0.0 sec. user=mdettweiler [2012-11-16 17:08:57] 879*2^1234476-1 is not prime. Res64: E4D892A7486BDB31 Time : 0.0 sec. user=mdettweiler [2012-11-16 17:08:59] 945*2^1234476-1 is not prime. Res64: 1CD3B54351F16561 Time : 0.0 sec. user=mdettweiler [2012-11-16 17:08:59] 983*2^1234476-1 is not prime. Res64: 0D9494C1A1C75BBB Time : 0.0 sec. user=mdettweiler [2012-11-16 17:30:29] 639*2^1234477-1 is not prime. Res64: A3181D17FC578CC1 Time : 0.0 sec. user=mdettweiler [2012-11-16 17:30:29] 817*2^1234477-1 is not prime. Res64: ADE4AAE2AA7E151D Time : 0.0 sec. user=mdettweiler [2012-11-16 17:30:36] 985*2^1234477-1 is not prime. Res64: 6C4A1173C47DA16E Time : 0.0 sec. user=mdettweiler [2012-11-16 17:30:36] 617*2^1234478-1 is not prime. Res64: 0D0D7AF6A0274119 Time : 0.0 sec. user=mdettweiler [2012-11-16 17:51:53] 635*2^1234478-1 is not prime. Res64: 1AE9001722131F9C Time : 0.0 sec. user=mdettweiler [2012-11-16 17:51:53] 641*2^1234478-1 is not prime. Res64: 62581E83B86E147C Time : 0.0 sec. user=mdettweiler [2012-11-16 17:52:00] 747*2^1234478-1 is not prime. Res64: A7C6E1C00C090B5A Time : 0.0 sec. user=mdettweiler [2012-11-16 17:52:01] 795*2^1234478-1 is not prime. Res64: 151259548A731397 Time : 0.0 sec. user=mdettweiler [2012-11-16 18:13:20] 797*2^1234478-1 is not prime. Res64: 2D6D657CC9C83560 Time : 0.0 sec. user=mdettweiler [2012-11-16 18:13:21] 911*2^1234478-1 is not prime. Res64: DF68A23E1AE6F5E3 Time : 0.0 sec. user=mdettweiler [2012-11-16 18:13:30] 675*2^1234479-1 is not prime. Res64: D1BB0439BAA1A8AA Time : 0.0 sec. user=mdettweiler [2012-11-16 18:13:31] 745*2^1234479-1 is not prime. Res64: 1A130A5AE1586E88 Time : 0.0 sec. user=mdettweiler [2012-11-16 18:34:51] 793*2^1234479-1 is not prime. Res64: A42AD73FF95233E8 Time : 0.0 sec. user=mdettweiler [2012-11-16 18:34:52] 675*2^1234480-1 is not prime. Res64: 67B9A1610455463A Time : 0.0 sec. user=mdettweiler [2012-11-16 18:34:59] 707*2^1234480-1 is not prime. Res64: ED53BFC455F93766 Time : 0.0 sec. user=mdettweiler [2012-11-16 18:34:59] 827*2^1234480-1 is not prime. Res64: EC56C16D19E36351 Time : 0.0 sec. user=vaughan [2012-11-16 18:55:58] 833*2^1234480-1 is not prime. Res64: E1A095DAC060E58A Time : 0.0 sec. user=vaughan [2012-11-16 18:56:16] 843*2^1234480-1 is not prime. Res64: FA9AD28CED5FAC0D Time : 0.0 sec. user=mdettweiler [2012-11-16 18:56:17] 933*2^1234480-1 is not prime. Res64: 3820DD896A770031 Time : 0.0 sec. user=mdettweiler [2012-11-16 18:56:17] 999*2^1234480-1 is not prime. Res64: D7764F41715D7AB7 Time : 0.0 sec. user=mdettweiler [2012-11-16 18:56:24] 619*2^1234481-1 is not prime. Res64: 571576FA06D0EBA5 Time : 0.0 sec. user=mdettweiler [2012-11-16 18:56:24] 679*2^1234481-1 is not prime. Res64: D6A432D712EBAD15 Time : 0.0 sec. user=vaughan [2012-11-16 18:57:20] 839*2^1234480-1 is not prime. Res64: A2ED34EF9E045417 Time : 0.0 sec. user=vaughan [2012-11-16 18:57:36] 875*2^1234480-1 is not prime. Res64: 96C5C2935CAF9142 Time : 0.0 sec. user=mdettweiler [2012-11-16 19:17:42] 901*2^1234481-1 is not prime. Res64: 2DCF0B269EF4B0F6 Time : 0.0 sec. user=mdettweiler [2012-11-16 19:17:43] 651*2^1234482-1 is not prime. Res64: 95EF14EC47A18B73 Time : 0.0 sec. user=mdettweiler [2012-11-16 19:17:51] 777*2^1234482-1 is not prime. Res64: C3F97D0C53FFEE10 Time : 0.0 sec. user=mdettweiler [2012-11-16 19:17:53] 803*2^1234482-1 is not prime. Res64: CF95F7A574B3FB68 Time : 0.0 sec. user=vaughan [2012-11-16 19:23:13] 747*2^1234481-1 is not prime. Res64: A412DB3DEEDC8672 Time : 0.0 sec. user=vaughan [2012-11-16 19:23:52] 755*2^1234482-1 is not prime. Res64: 56DA3FF6519D2D3F Time : 0.0 sec. user=vaughan [2012-11-16 19:24:18] 873*2^1234482-1 is not prime. Res64: BB64DED8E3BFFE68 Time : 0.0 sec. user=vaughan [2012-11-16 19:25:08] 951*2^1234482-1 is not prime. Res64: BB5625415E806803 Time : 0.0 sec. user=mdettweiler [2012-11-16 19:39:30] 649*2^1234483-1 is not prime. Res64: AC11D91FF711157F Time : 0.0 sec. user=mdettweiler [2012-11-16 19:39:30] 663*2^1234483-1 is not prime. Res64: 38C2B21D61485866 Time : 0.0 sec. user=mdettweiler [2012-11-16 19:39:31] 751*2^1234483-1 is not prime. Res64: 6C27B92F2E957B26 Time : 0.0 sec. user=mdettweiler [2012-11-16 19:39:31] 769*2^1234483-1 is not prime. Res64: C6EC4B7B11937E2C Time : 0.0 sec. user=vaughan [2012-11-16 19:51:16] 811*2^1234483-1 is not prime. Res64: 633F763A80E81392 Time : 0.0 sec. user=vaughan [2012-11-16 19:51:29] 871*2^1234483-1 is not prime. Res64: 27F7DA3BE38EB5D8 Time : 0.0 sec. user=vaughan [2012-11-16 19:51:49] 617*2^1234484-1 is not prime. Res64: 2460AE4D907F9439 Time : 0.0 sec. user=mdettweiler [2012-11-16 20:00:56] 767*2^1234484-1 is not prime. Res64: 128D04D880027331 Time : 0.0 sec. user=mdettweiler [2012-11-16 20:00:58] 897*2^1234484-1 is not prime. Res64: 127FEDFC519B9E75 Time : 0.0 sec. user=mdettweiler [2012-11-16 20:00:59] 803*2^1234484-1 is not prime. Res64: CF147111A8E33F5F Time : 0.0 sec. user=mdettweiler [2012-11-16 20:00:59] 691*2^1234485-1 is not prime. Res64: 966A06EA5A283AE2 Time : 0.0 sec. user=vaughan [2012-11-16 20:17:17] 789*2^1234485-1 is not prime. Res64: 6F9B2830191BF1B4 Time : 0.0 sec. user=vaughan [2012-11-16 20:17:54] 837*2^1234485-1 is not prime. Res64: 17A5989721FD2006 Time : 0.0 sec. user=vaughan [2012-11-16 20:18:22] 871*2^1234485-1 is not prime. Res64: 20A2E1618950262F Time : 0.0 sec. user=vaughan [2012-11-16 20:18:38] 867*2^1234485-1 is not prime. Res64: BE3CCFD43931E80D Time : 0.0 sec. user=mdettweiler [2012-11-16 20:22:17] 889*2^1234485-1 is not prime. Res64: 9954706B1EEDD9F9 Time : 0.0 sec. user=mdettweiler [2012-11-16 20:22:17] 651*2^1234486-1 is not prime. Res64: 629682095890FA89 Time : 0.0 sec. user=mdettweiler [2012-11-16 20:22:19] 717*2^1234486-1 is not prime. Res64: 8079E9ED2D911F4C Time : 0.0 sec. user=mdettweiler [2012-11-16 20:22:19] 747*2^1234486-1 is not prime. Res64: 7CF16AE78EB62677 Time : 0.0 sec. user=mdettweiler [2012-11-16 20:43:06] 859*2^1234487-1 is not prime. Res64: 2C76D59C95D7A91A Time : 0.0 sec. user=mdettweiler [2012-11-16 20:43:07] 861*2^1234487-1 is not prime. Res64: 005E2F57EEE14CA6 Time : 0.0 sec. user=mdettweiler [2012-11-16 20:43:07] 901*2^1234487-1 is not prime. Res64: 006E25401B421B94 Time : 0.0 sec. user=mdettweiler [2012-11-16 20:43:08] 939*2^1234487-1 is not prime. Res64: 84F7F0F92D5E16BB Time : 0.0 sec. user=vaughan [2012-11-16 20:44:11] 867*2^1234486-1 is not prime. Res64: FCA635E3CB614A4A Time : 0.0 sec. user=vaughan [2012-11-16 20:44:51] 897*2^1234486-1 is not prime. Res64: 9E6EA9527C2F2840 Time : 0.0 sec. user=vaughan [2012-11-16 20:45:14] 615*2^1234487-1 is not prime. Res64: AA726EED8A31287F Time : 0.0 sec. user=vaughan [2012-11-16 20:45:40] 729*2^1234487-1 is not prime. Res64: 6F6D9E28E398F111 Time : 0.0 sec. user=mdettweiler [2012-11-16 21:03:55] 981*2^1234487-1 is not prime. Res64: 7C06DF21F502E5CE Time : 0.0 sec. user=mdettweiler [2012-11-16 21:03:56] 993*2^1234487-1 is not prime. Res64: 0788A54F8E61D45D Time : 0.0 sec. user=mdettweiler [2012-11-16 21:03:56] 669*2^1234488-1 is not prime. Res64: 4DB90B8D6DF3EA35 Time : 0.0 sec. user=mdettweiler [2012-11-16 21:03:57] 795*2^1234488-1 is not prime. Res64: 9643CCAAC818D5AF Time : 0.0 sec. user=vaughan [2012-11-16 21:10:55] 849*2^1234488-1 is not prime. Res64: 8025425FE5F078DA Time : 0.0 sec. user=vaughan [2012-11-16 21:11:34] 899*2^1234488-1 is not prime. Res64: 0F9688939FBD8567 Time : 0.0 sec. user=vaughan [2012-11-16 21:11:56] 999*2^1234488-1 is not prime. Res64: D2552320EB519FE7 Time : 0.0 sec. user=vaughan [2012-11-16 21:12:22] 619*2^1234489-1 is not prime. Res64: 09C6224E933DC295 Time : 0.0 sec. user=mdettweiler [2012-11-16 21:24:52] 661*2^1234489-1 is not prime. Res64: 54F74D2039BDA782 Time : 0.0 sec. user=mdettweiler [2012-11-16 21:24:53] 789*2^1234489-1 is not prime. Res64: F9999C43B072E06D Time : 0.0 sec. user=mdettweiler [2012-11-16 21:24:53] 867*2^1234489-1 is not prime. Res64: A147D20C591D527F Time : 0.0 sec. user=mdettweiler [2012-11-16 21:24:54] 979*2^1234489-1 is not prime. Res64: CE277F0461036904 Time : 0.0 sec. user=vaughan [2012-11-16 21:38:27] 707*2^1234490-1 is not prime. Res64: EB16ADC0F572631A Time : 0.0 sec. user=vaughan [2012-11-16 21:38:39] 999*2^1234489-1 is not prime. Res64: 7E15AD02C307E728 Time : 0.0 sec. user=vaughan [2012-11-16 21:39:15] 825*2^1234490-1 is not prime. Res64: D7E220E0515BBCD6 Time : 0.0 sec. user=vaughan [2012-11-16 21:39:23] 741*2^1234490-1 is not prime. Res64: 747BB2694CBFD5A2 Time : 0.0 sec. user=mdettweiler [2012-11-16 21:45:44] 827*2^1234490-1 is not prime. Res64: 1DAD76592103CFD7 Time : 0.0 sec. user=mdettweiler [2012-11-16 21:45:44] 921*2^1234490-1 is not prime. Res64: C62AD99E61FDC962 Time : 0.0 sec. user=mdettweiler [2012-11-16 21:45:45] 927*2^1234490-1 is not prime. Res64: D05FB2CDF068AB08 Time : 0.0 sec. user=mdettweiler [2012-11-16 21:45:45] 971*2^1234490-1 is not prime. Res64: 0075CCC178CE1FA9 Time : 0.0 sec. user=vaughan [2012-11-16 22:05:15] 609*2^1234491-1 is not prime. Res64: 72237AB7706F63F3 Time : 0.0 sec. user=vaughan [2012-11-16 22:05:15] 783*2^1234491-1 is not prime. Res64: 6C59F7B823A2E725 Time : 0.0 sec. user=vaughan [2012-11-16 22:05:58] 849*2^1234491-1 is not prime. Res64: 3AE4E9B1DB0D7CF9 Time : 0.0 sec. user=vaughan [2012-11-16 22:06:00] 945*2^1234491-1 is not prime. Res64: 08EFDBBC6CB33718 Time : 0.0 sec. user=mdettweiler [2012-11-16 22:06:32] 675*2^1234492-1 is not prime. Res64: AC60D065A7DA6E2A Time : 0.0 sec. user=mdettweiler [2012-11-16 22:06:33] 723*2^1234492-1 is not prime. Res64: 801F6F5AAD8AEA1B Time : 0.0 sec. user=mdettweiler [2012-11-16 22:06:34] 743*2^1234492-1 is not prime. Res64: 2BE23132A665BABF Time : 0.0 sec. user=mdettweiler [2012-11-16 22:06:35] 855*2^1234492-1 is not prime. Res64: A73650C5453C4D76 Time : 0.0 sec. user=mdettweiler [2012-11-16 22:27:29] 889*2^1234493-1 is not prime. Res64: B4DACE37B08A9875 Time : 0.0 sec. user=mdettweiler [2012-11-16 22:27:30] 969*2^1234493-1 is not prime. Res64: 4E0B61009F9BD07C Time : 0.0 sec. user=mdettweiler [2012-11-16 22:27:31] 605*2^1234494-1 is not prime. Res64: 5DB4EC11729CAB16 Time : 0.0 sec. user=mdettweiler [2012-11-16 22:27:32] 641*2^1234494-1 is not prime. Res64: 10AA592C7E0E4816 Time : 0.0 sec. user=vaughan [2012-11-16 22:32:07] 899*2^1234492-1 is not prime. Res64: 79069C939ECACDE5 Time : 0.0 sec. user=vaughan [2012-11-16 22:32:09] 869*2^1234492-1 is not prime. Res64: AD480BA4929A7E8C Time : 0.0 sec. user=vaughan [2012-11-16 22:32:26] 619*2^1234493-1 is not prime. Res64: A1300773D2DCCF7F Time : 0.0 sec. user=vaughan [2012-11-16 22:32:39] 615*2^1234493-1 is not prime. Res64: D72BFAC97865F1D7 Time : 0.0 sec. user=mdettweiler [2012-11-16 22:48:32] 711*2^1234494-1 is not prime. Res64: 07E82DECF6D8D3AA Time : 0.0 sec. user=mdettweiler [2012-11-16 22:48:32] 797*2^1234494-1 is not prime. Res64: 02BA4182B666AB25 Time : 0.0 sec. user=mdettweiler [2012-11-16 22:48:33] 885*2^1234494-1 is not prime. Res64: 196D08E57DEB061A Time : 0.0 sec. user=mdettweiler [2012-11-16 22:48:33] 927*2^1234494-1 is not prime. Res64: 1EA3CB752FC1E855 Time : 0.0 sec. user=vaughan [2012-11-16 22:58:34] 609*2^1234495-1 is not prime. Res64: 6DBE975AB3B9766B Time : 0.0 sec. user=vaughan [2012-11-16 22:58:47] 661*2^1234495-1 is not prime. Res64: 36E4F029BA809EA6 Time : 0.0 sec. user=vaughan [2012-11-16 22:59:02] 663*2^1234495-1 is not prime. Res64: 82573A8C5BA0F290 Time : 0.0 sec. user=vaughan [2012-11-16 22:59:18] 741*2^1234495-1 is not prime. Res64: 4598413FD8D6A653 Time : 0.0 sec. user=mdettweiler [2012-11-16 23:09:32] 859*2^1234495-1 is not prime. Res64: F6105E2040B9DD7D Time : 0.0 sec. user=mdettweiler [2012-11-16 23:09:38] 919*2^1234495-1 is not prime. Res64: 5D72B00E19F08076 Time : 0.0 sec. user=mdettweiler [2012-11-16 23:09:41] 883*2^1234495-1 is not prime. Res64: 97BA60AE7968A518 Time : 0.0 sec. user=mdettweiler [2012-11-16 23:09:43] 961*2^1234495-1 is not prime. Res64: 5CD52B433D3A8E2C Time : 0.0 sec. user=vaughan [2012-11-16 23:25:40] 609*2^1234496-1 is not prime. Res64: 712A36691F3D345F Time : 0.0 sec. user=vaughan [2012-11-16 23:25:54] 657*2^1234496-1 is not prime. Res64: 9C7AC9B0B79FE8AA Time : 0.0 sec. user=vaughan [2012-11-16 23:26:02] 693*2^1234496-1 is not prime. Res64: 45032862FA82D7B0 Time : 0.0 sec. user=vaughan [2012-11-16 23:26:23] 755*2^1234496-1 is not prime. Res64: B0D14B9D9DD86FB7 Time : 0.0 sec. user=mdettweiler [2012-11-16 23:31:07] 813*2^1234496-1 is not prime. Res64: F1C23233860DD37A Time : 0.0 sec. user=mdettweiler [2012-11-16 23:31:08] 867*2^1234496-1 is not prime. Res64: 360FB9057FA745D1 Time : 0.0 sec. user=mdettweiler [2012-11-16 23:31:10] 893*2^1234496-1 is not prime. Res64: 44A41811DCBB67F6 Time : 0.0 sec. user=mdettweiler [2012-11-16 23:31:11] 999*2^1234496-1 is not prime. Res64: 00CE87331131735D Time : 0.0 sec. user=mdettweiler [2012-11-16 23:52:08] 735*2^1234498-1 is not prime. Res64: 2CEC542781D771DD Time : 0.0 sec. user=mdettweiler [2012-11-16 23:52:09] 825*2^1234498-1 is not prime. Res64: F53B5E30FBD75B3C Time : 0.0 sec. user=mdettweiler [2012-11-16 23:52:11] 945*2^1234498-1 is not prime. Res64: 846EE3E072A55F41 Time : 0.0 sec. user=mdettweiler [2012-11-16 23:52:12] 609*2^1234499-1 is not prime. Res64: 4399B7E9704A22E9 Time : 0.0 sec. user=vaughan [2012-11-16 23:52:32] 847*2^1234497-1 is not prime. Res64: 48A34BC1782BB962 Time : 0.0 sec. user=vaughan [2012-11-16 23:52:39] 777*2^1234497-1 is not prime. Res64: 8F4069538FD2675C Time : 0.0 sec. user=vaughan [2012-11-16 23:52:55] 647*2^1234498-1 is not prime. Res64: A901FC108BDB9568 Time : 0.0 sec. user=vaughan [2012-11-16 23:53:00] 871*2^1234497-1 is not prime. Res64: E40FC68AF2EC6D43 Time : 0.0 sec.