user=vaughan [2012-10-26 00:14:48] 747*2^1233104-1 is not prime. Res64: 8021F283F182A644 Time : 0.0 sec. user=mdettweiler [2012-10-26 00:21:56] 675*2^1233105-1 is not prime. Res64: FDD68B7EA94D60E6 Time : 0.0 sec. user=mdettweiler [2012-10-26 00:21:57] 951*2^1233105-1 is not prime. Res64: 271A752BAD5D9CF5 Time : 0.0 sec. user=mdettweiler [2012-10-26 00:42:57] 985*2^1233105-1 is not prime. Res64: BBAC77D00A934804 Time : 0.0 sec. user=mdettweiler [2012-10-26 00:42:57] 999*2^1233105-1 is not prime. Res64: D5555D9E24A6D9B6 Time : 0.0 sec. user=vaughan [2012-10-26 00:52:35] 975*2^1233105-1 is not prime. Res64: C084DD3678B0C39C Time : 0.0 sec. user=mdettweiler [2012-10-26 00:57:26] 957*2^1233101-1 is not prime. Res64: 0C03311C5351403A Time : 0.0 sec. user=mdettweiler [2012-10-26 00:57:26] 723*2^1233102-1 is not prime. Res64: C0983110A00C7AED Time : 0.0 sec. user=mdettweiler [2012-10-26 01:03:53] 623*2^1233106-1 is not prime. Res64: B6D6B3FA23DC1BDB Time : 0.0 sec. user=mdettweiler [2012-10-26 01:03:55] 735*2^1233106-1 is not prime. Res64: 9C9669F8FF34F0C9 Time : 0.0 sec. user=mdettweiler [2012-10-26 01:18:14] 777*2^1233106-1 is not prime. Res64: E4480EF5FBC0FA26 Time : 0.0 sec. user=mdettweiler [2012-10-26 01:18:14] 813*2^1233106-1 is not prime. Res64: C06F17B3CC3A5898 Time : 0.0 sec. user=mdettweiler [2012-10-26 01:24:42] 843*2^1233106-1 is not prime. Res64: F6453325DDE1616E Time : 0.0 sec. user=mdettweiler [2012-10-26 01:24:43] 867*2^1233106-1 is not prime. Res64: 0EA5D32EA61C022E Time : 0.0 sec. user=vaughan [2012-10-26 01:30:22] 765*2^1233106-1 is not prime. Res64: 99A0DE109ADD89D7 Time : 0.0 sec. user=mdettweiler [2012-10-26 01:39:02] 971*2^1233106-1 is not prime. Res64: DB6CA7D1265CC42D Time : 0.0 sec. user=mdettweiler [2012-10-26 01:39:02] 987*2^1233106-1 is not prime. Res64: A4E96DF1941C24DC Time : 0.0 sec. user=mdettweiler [2012-10-26 01:45:29] 619*2^1233107-1 is not prime. Res64: ADAFC4ACABB08900 Time : 0.0 sec. user=mdettweiler [2012-10-26 01:45:29] 649*2^1233107-1 is not prime. Res64: C8C1EF8BDC8C5E8C Time : 0.0 sec. user=mdettweiler [2012-10-26 01:59:47] 733*2^1233107-1 is not prime. Res64: 815E1F4CBF214DB5 Time : 0.0 sec. user=mdettweiler [2012-10-26 01:59:48] 901*2^1233107-1 is not prime. Res64: E3345CDDBFF1280E Time : 0.0 sec. user=mdettweiler [2012-10-26 02:06:13] 981*2^1233107-1 is not prime. Res64: 2CB08F2D39082426 Time : 0.0 sec. user=mdettweiler [2012-10-26 02:06:15] 669*2^1233108-1 is not prime. Res64: E7F42E4A65FC5739 Time : 0.0 sec. user=vaughan [2012-10-26 02:08:11] 651*2^1233107-1 is not prime. Res64: 88AE534B7AAE799E Time : 0.0 sec. user=mdettweiler [2012-10-26 02:20:32] 773*2^1233108-1 is not prime. Res64: CBBE233D95B01263 Time : 0.0 sec. user=mdettweiler [2012-10-26 02:20:32] 819*2^1233109-1 is not prime. Res64: 3CB428B42E311DD4 Time : 0.0 sec. user=mdettweiler [2012-10-26 02:27:00] 835*2^1233109-1 is not prime. Res64: 525945985EDE4698 Time : 0.0 sec. user=mdettweiler [2012-10-26 02:27:01] 847*2^1233109-1 is not prime. Res64: 57FBE0C15A35A252 Time : 0.0 sec. user=mdettweiler [2012-10-26 02:41:19] 635*2^1233110-1 is not prime. Res64: 40F680B9D85A630F Time : 0.0 sec. user=mdettweiler [2012-10-26 02:41:20] 713*2^1233110-1 is not prime. Res64: F18E8D360AC6ABA1 Time : 0.0 sec. user=vaughan [2012-10-26 02:45:58] 885*2^1233109-1 is not prime. Res64: 3290DF50F21807CE Time : 0.0 sec. user=mdettweiler [2012-10-26 02:47:43] 791*2^1233110-1 is not prime. Res64: 1C4C4C0CF20F8078 Time : 0.0 sec. user=mdettweiler [2012-10-26 02:47:45] 843*2^1233110-1 is not prime. Res64: 55461A5CEF11A062 Time : 0.0 sec. user=mdettweiler [2012-10-26 03:02:16] 861*2^1233110-1 is not prime. Res64: 80DA3F0BA4313A64 Time : 0.0 sec. user=mdettweiler [2012-10-26 03:02:17] 887*2^1233110-1 is not prime. Res64: 25F54416858CE281 Time : 0.0 sec. user=mdettweiler [2012-10-26 03:08:29] 709*2^1233111-1 is not prime. Res64: E33A6581BEB5A403 Time : 0.0 sec. user=mdettweiler [2012-10-26 03:08:31] 741*2^1233111-1 is not prime. Res64: 875CBE3032FD0DF4 Time : 0.0 sec. user=mdettweiler [2012-10-26 03:23:08] 861*2^1233111-1 is not prime. Res64: E23AF0E11EFAC5FB Time : 0.0 sec. user=mdettweiler [2012-10-26 03:23:08] 879*2^1233111-1 is not prime. Res64: 8BE7035370DA598C Time : 0.0 sec. user=vaughan [2012-10-26 03:23:42] 935*2^1233110-1 is not prime. Res64: 627BFCA46327E881 Time : 0.0 sec. user=mdettweiler [2012-10-26 03:29:18] 645*2^1233112-1 is not prime. Res64: 8A8B3FF3F932E29A Time : 0.0 sec. user=mdettweiler [2012-10-26 03:29:19] 665*2^1233112-1 is not prime. Res64: 9DC1795C9D3D09E1 Time : 0.0 sec. user=mdettweiler [2012-10-26 03:43:55] 819*2^1233112-1 is not prime. Res64: 58DCB6699C66A055 Time : 0.0 sec. user=mdettweiler [2012-10-26 03:43:56] 855*2^1233112-1 is not prime. Res64: A868E1806213B7ED Time : 0.0 sec. user=mdettweiler [2012-10-26 03:50:02] 957*2^1233112-1 is not prime. Res64: F05DE5817CB06165 Time : 0.0 sec. user=mdettweiler [2012-10-26 03:50:02] 715*2^1233113-1 is not prime. Res64: 0600B11FBC4F4FF3 Time : 0.0 sec. user=vaughan [2012-10-26 04:01:27] 939*2^1233112-1 is not prime. Res64: EEDF85DECDADB1B6 Time : 0.0 sec. user=mdettweiler [2012-10-26 04:04:52] 729*2^1233113-1 is not prime. Res64: F9422CDBB48DFB94 Time : 0.0 sec. user=mdettweiler [2012-10-26 04:04:55] 741*2^1233113-1 is not prime. Res64: 95C9455FC1B1C816 Time : 0.0 sec. user=mdettweiler [2012-10-26 04:10:47] 879*2^1233113-1 is not prime. Res64: B43645F026AB83DF Time : 0.0 sec. user=mdettweiler [2012-10-26 04:10:49] 885*2^1233113-1 is not prime. Res64: 51405D4DB1CEEBF4 Time : 0.0 sec. user=mdettweiler [2012-10-26 04:25:40] 873*2^1233114-1 is not prime. Res64: 407E2673333BD3DE Time : 0.0 sec. user=mdettweiler [2012-10-26 04:25:41] 893*2^1233114-1 is not prime. Res64: 5E10388C25F57BF5 Time : 0.0 sec. user=mdettweiler [2012-10-26 04:31:36] 679*2^1233115-1 is not prime. Res64: F7571407912AF75C Time : 0.0 sec. user=mdettweiler [2012-10-26 04:31:37] 685*2^1233115-1 is not prime. Res64: D27BB8647AAE01A3 Time : 0.0 sec. user=vaughan [2012-10-26 04:39:21] 937*2^1233113-1 is not prime. Res64: BE6AEBB414E30370 Time : 0.0 sec. user=mdettweiler [2012-10-26 04:46:28] 859*2^1233115-1 is not prime. Res64: D5BC152E8D7E4094 Time : 0.0 sec. user=mdettweiler [2012-10-26 04:46:28] 891*2^1233115-1 is not prime. Res64: A2A421D6D287EDA0 Time : 0.0 sec. user=mdettweiler [2012-10-26 04:52:24] 943*2^1233115-1 is not prime. Res64: 2E7E41B712D7C788 Time : 0.0 sec. user=mdettweiler [2012-10-26 04:52:24] 969*2^1233115-1 is not prime. Res64: 26B7A23CEEE91335 Time : 0.0 sec. user=mdettweiler [2012-10-26 05:07:13] 999*2^1233115-1 is not prime. Res64: B0A979BBAC9149BF Time : 0.0 sec. user=mdettweiler [2012-10-26 05:07:16] 707*2^1233116-1 is not prime. Res64: 23FD20DB402A85E6 Time : 0.0 sec. user=mdettweiler [2012-10-26 05:13:09] 735*2^1233116-1 is not prime. Res64: 5E5F422DE1DAACEA Time : 0.0 sec. user=mdettweiler [2012-10-26 05:13:10] 785*2^1233116-1 is not prime. Res64: B85CA5817C1F23AB Time : 0.0 sec. user=vaughan [2012-10-26 05:17:11] 985*2^1233115-1 is not prime. Res64: 18F5FFD4190E21D3 Time : 0.0 sec. user=mdettweiler [2012-10-26 05:28:04] 953*2^1233116-1 is not prime. Res64: AA631B14AA451CEB Time : 0.0 sec. user=mdettweiler [2012-10-26 05:28:04] 993*2^1233116-1 is not prime. Res64: 91F7F456F4955866 Time : 0.0 sec. user=mdettweiler [2012-10-26 05:33:57] 609*2^1233117-1 is not prime. Res64: 9E0A21C17C40F743 Time : 0.0 sec. user=mdettweiler [2012-10-26 05:33:57] 615*2^1233117-1 is not prime. Res64: E83A84A6F561F9DB Time : 0.0 sec. user=mdettweiler [2012-10-26 05:48:50] 735*2^1233117-1 is not prime. Res64: 9FB1C1F455124B2B Time : 0.0 sec. user=mdettweiler [2012-10-26 05:48:51] 777*2^1233117-1 is not prime. Res64: 31DB271E06C3BFE5 Time : 0.0 sec. user=mdettweiler [2012-10-26 05:54:43] 861*2^1233117-1 is not prime. Res64: 7E8707999F597E2F Time : 0.0 sec. user=mdettweiler [2012-10-26 05:54:43] 891*2^1233117-1 is not prime. Res64: A20EAD3F2DCDF23B Time : 0.0 sec. user=vaughan [2012-10-26 05:55:02] 661*2^1233117-1 is not prime. Res64: BA20E33C1D7B97E4 Time : 0.0 sec. user=mdettweiler [2012-10-26 06:09:39] 895*2^1233117-1 is not prime. Res64: 39650915FC1C9D38 Time : 0.0 sec. user=mdettweiler [2012-10-26 06:09:39] 901*2^1233117-1 is not prime. Res64: 5A2577F380C355A1 Time : 0.0 sec. user=mdettweiler [2012-10-26 06:15:33] 919*2^1233117-1 is not prime. Res64: 8AABB06453E71F49 Time : 0.0 sec. user=mdettweiler [2012-10-26 06:15:34] 937*2^1233117-1 is not prime. Res64: 063424B26AA49FF3 Time : 0.0 sec. user=mdettweiler [2012-10-26 06:30:27] 737*2^1233118-1 is not prime. Res64: AB89ABC5549E7E15 Time : 0.0 sec. user=mdettweiler [2012-10-26 06:30:28] 747*2^1233118-1 is not prime. Res64: 9AC88366790491DD Time : 0.0 sec. user=vaughan [2012-10-26 06:32:46] 961*2^1233117-1 is not prime. Res64: E37C519CF85E9D3B Time : 0.0 sec. user=mdettweiler [2012-10-26 06:36:34] 777*2^1233118-1 is not prime. Res64: 00739956536E5CF9 Time : 0.0 sec. user=mdettweiler [2012-10-26 06:36:34] 863*2^1233118-1 is not prime. Res64: 324792BF42DB10A2 Time : 0.0 sec. user=mdettweiler [2012-10-26 06:51:15] 897*2^1233118-1 is not prime. Res64: B0D61C1970B4C6CD Time : 0.0 sec. user=mdettweiler [2012-10-26 06:51:16] 621*2^1233119-1 is not prime. Res64: 2C5BF72595637ED4 Time : 0.0 sec. user=mdettweiler [2012-10-26 06:57:21] 753*2^1233119-1 is not prime. Res64: D2D836839DFC6ABE Time : 0.0 sec. user=mdettweiler [2012-10-26 06:57:22] 825*2^1233119-1 is not prime. Res64: E8116D706B4E7E21 Time : 0.0 sec. user=vaughan [2012-10-26 07:10:37] 685*2^1233119-1 is not prime. Res64: 9668AD6A119C8224 Time : 0.0 sec. user=mdettweiler [2012-10-26 07:12:01] 861*2^1233119-1 is not prime. Res64: F1D582B029B7461A Time : 0.0 sec. user=mdettweiler [2012-10-26 07:12:03] 955*2^1233119-1 is not prime. Res64: 55F1AFE329A0C224 Time : 0.0 sec. user=mdettweiler [2012-10-26 07:18:07] 623*2^1233120-1 is not prime. Res64: 95685E8F6683FF6D Time : 0.0 sec. user=mdettweiler [2012-10-26 07:18:08] 819*2^1233120-1 is not prime. Res64: 32A6ED0FE35DADDA Time : 0.0 sec. user=mdettweiler [2012-10-26 07:32:52] 923*2^1233120-1 is not prime. Res64: 8375A25C4F9ACEBC Time : 0.0 sec. user=mdettweiler [2012-10-26 07:32:52] 927*2^1233120-1 is not prime. Res64: 461270F89800CE99 Time : 0.0 sec. user=mdettweiler [2012-10-26 07:38:56] 975*2^1233120-1 is not prime. Res64: B69F952F23E78A04 Time : 0.0 sec. user=mdettweiler [2012-10-26 07:38:56] 649*2^1233121-1 is not prime. Res64: 4B6B4A702F423CD7 Time : 0.0 sec. user=vaughan [2012-10-26 07:48:23] 873*2^1233120-1 is not prime. Res64: 7940B83F34D8B6CE Time : 0.0 sec. user=mdettweiler [2012-10-26 07:53:38] 847*2^1233121-1 is not prime. Res64: 7AE5A73290E30CCB Time : 0.0 sec. user=mdettweiler [2012-10-26 07:53:39] 997*2^1233121-1 is not prime. Res64: 6C85989A16FA3ED2 Time : 0.0 sec. user=mdettweiler [2012-10-26 07:59:42] 615*2^1233122-1 is not prime. Res64: DC2579C5CCC2F398 Time : 0.0 sec. user=mdettweiler [2012-10-26 07:59:42] 623*2^1233122-1 is not prime. Res64: EF83111F9F788006 Time : 0.0 sec. user=mdettweiler [2012-10-26 08:14:25] 873*2^1233122-1 is not prime. Res64: F07C959ABE8E5E44 Time : 0.0 sec. user=mdettweiler [2012-10-26 08:14:28] 885*2^1233122-1 is not prime. Res64: 60C56B008F027C44 Time : 0.0 sec. user=mdettweiler [2012-10-26 08:20:27] 987*2^1233122-1 is not prime. Res64: D18CAAA10C4B1702 Time : 0.0 sec. user=mdettweiler [2012-10-26 08:20:27] 1001*2^1233122-1 is not prime. Res64: 166DA55DCC7CFF0B Time : 0.0 sec. user=vaughan [2012-10-26 08:26:08] 771*2^1233122-1 is not prime. Res64: 65735715DDD94309 Time : 0.0 sec. user=mdettweiler [2012-10-26 08:35:30] 609*2^1233123-1 is not prime. Res64: C922E3BF2DBBD8ED Time : 0.0 sec. user=mdettweiler [2012-10-26 08:35:31] 643*2^1233123-1 is not prime. Res64: 32D3A4AD1CC41F73 Time : 0.0 sec. user=mdettweiler [2012-10-26 08:41:11] 699*2^1233123-1 is not prime. Res64: 7E84F4DF3DD5F2D0 Time : 0.0 sec. user=mdettweiler [2012-10-26 08:41:11] 709*2^1233123-1 is not prime. Res64: 9A48A533563B9842 Time : 0.0 sec. user=mdettweiler [2012-10-26 08:56:15] 775*2^1233123-1 is not prime. Res64: E12D54AE195B1689 Time : 0.0 sec. user=mdettweiler [2012-10-26 08:56:15] 871*2^1233123-1 is not prime. Res64: 081A71B20A9ADF93 Time : 0.0 sec. user=mdettweiler [2012-10-26 09:01:55] 635*2^1233124-1 is not prime. Res64: 5E6C3F2BCA1C375A Time : 0.0 sec. user=mdettweiler [2012-10-26 09:01:56] 843*2^1233124-1 is not prime. Res64: EF920B4204F80607 Time : 0.0 sec. user=vaughan [2012-10-26 09:03:55] 753*2^1233123-1 is not prime. Res64: 55A8E1F66B9BBD63 Time : 0.0 sec. user=mdettweiler [2012-10-26 09:17:19] 989*2^1233124-1 is not prime. Res64: A23FB13CE368F76A Time : 0.0 sec. user=mdettweiler [2012-10-26 09:22:39] 811*2^1233125-1 is not prime. Res64: 00F292C54AC78454 Time : 0.0 sec. user=mdettweiler [2012-10-26 09:22:40] 859*2^1233125-1 is not prime. Res64: E990B9F061374BEB Time : 0.0 sec. user=vaughan [2012-10-26 09:41:41] 915*2^1233125-1 is not prime. Res64: 63DED17B460EE30B Time : 0.0 sec. user=mdettweiler [2012-10-26 09:43:25] 925*2^1233125-1 is not prime. Res64: 81987FF9CDCA481B Time : 0.0 sec. user=mdettweiler [2012-10-26 09:43:25] 949*2^1233125-1 is not prime. Res64: 3418A3F280F3EDBC Time : 0.0 sec. user=mdettweiler [2012-10-26 10:00:37] 757*2^1233125-1 is not prime. Res64: 609179ADCCFF9063 Time : 0.0 sec. user=mdettweiler [2012-10-26 10:04:09] 765*2^1233126-1 is not prime. Res64: E23E5B78B5794037 Time : 0.0 sec. user=mdettweiler [2012-10-26 10:04:10] 921*2^1233126-1 is not prime. Res64: C74AFE578FD4A2C7 Time : 0.0 sec. user=vaughan [2012-10-26 10:19:31] 741*2^1233126-1 is not prime. Res64: A0541EEC7FEFCCE4 Time : 0.0 sec. user=mdettweiler [2012-10-26 10:21:31] 945*2^1233126-1 is not prime. Res64: F2ECFB6AE12656CD Time : 0.0 sec. user=mdettweiler [2012-10-26 10:21:32] 603*2^1233127-1 is not prime. Res64: 3D64DAA6A4C99B9F Time : 0.0 sec. user=mdettweiler [2012-10-26 10:24:56] 615*2^1233127-1 is not prime. Res64: C9E33674E0D3C9DC Time : 0.0 sec. user=mdettweiler [2012-10-26 10:24:57] 625*2^1233127-1 is not prime. Res64: 8738BED95DC4B694 Time : 0.0 sec. user=mdettweiler [2012-10-26 10:42:14] 703*2^1233127-1 is not prime. Res64: E8F70BE730431586 Time : 0.0 sec. user=mdettweiler [2012-10-26 10:42:15] 729*2^1233127-1 is not prime. Res64: 61F97F0855EDD0A2 Time : 0.0 sec. user=mdettweiler [2012-10-26 10:45:40] 933*2^1233127-1 is not prime. Res64: 6E2B41B11BE1E44E Time : 0.0 sec. user=mdettweiler [2012-10-26 10:45:40] 975*2^1233127-1 is not prime. Res64: 1E85AD9B3E2CD1EF Time : 0.0 sec. user=vaughan [2012-10-26 10:57:24] 681*2^1233127-1 is not prime. Res64: 2D2EDF051A3C89F4 Time : 0.0 sec. user=mdettweiler [2012-10-26 11:02:58] 635*2^1233128-1 is not prime. Res64: 2F9BC232BD13CD20 Time : 0.0 sec. user=mdettweiler [2012-10-26 11:02:58] 659*2^1233128-1 is not prime. Res64: 692E160F741D8D5A Time : 0.0 sec. user=mdettweiler [2012-10-26 11:06:23] 665*2^1233128-1 is not prime. Res64: DD407EB868600F6C Time : 0.0 sec. user=mdettweiler [2012-10-26 11:06:25] 753*2^1233128-1 is not prime. Res64: 4A0E28FEC519D28F Time : 0.0 sec. user=mdettweiler [2012-10-26 11:23:41] 855*2^1233128-1 is not prime. Res64: A5E1D32754C63DF3 Time : 0.0 sec. user=mdettweiler [2012-10-26 11:23:42] 867*2^1233128-1 is not prime. Res64: BDF998CB30A7DD91 Time : 0.0 sec. user=mdettweiler [2012-10-26 11:27:11] 957*2^1233128-1 is not prime. Res64: 12F721BEFC90ACA7 Time : 0.0 sec. user=mdettweiler [2012-10-26 11:27:12] 681*2^1233129-1 is not prime. Res64: B3F60303F9A4E5BC Time : 0.0 sec. user=vaughan [2012-10-26 11:35:25] 827*2^1233128-1 is not prime. Res64: C7B5526C73FA0053 Time : 0.0 sec. user=mdettweiler [2012-10-26 11:44:25] 747*2^1233129-1 is not prime. Res64: 07324909CC4316E4 Time : 0.0 sec. user=mdettweiler [2012-10-26 11:44:26] 847*2^1233129-1 is not prime. Res64: B4BCAA06F0F8CE74 Time : 0.0 sec. user=mdettweiler [2012-10-26 11:47:55] 951*2^1233129-1 is not prime. Res64: 8F0FF4D1C58D238A Time : 0.0 sec. user=mdettweiler [2012-10-26 11:47:56] 975*2^1233129-1 is not prime. Res64: 99B8AD341EA82404 Time : 0.0 sec. user=mdettweiler [2012-10-26 12:05:09] 999*2^1233129-1 is not prime. Res64: 77A7B6B568D88B46 Time : 0.0 sec. user=mdettweiler [2012-10-26 12:05:11] 605*2^1233130-1 is not prime. Res64: 276FF78B55231156 Time : 0.0 sec. user=mdettweiler [2012-10-26 12:08:39] 665*2^1233130-1 is not prime. Res64: BC93202BAB85669B Time : 0.0 sec. user=mdettweiler [2012-10-26 12:08:39] 707*2^1233130-1 is not prime. Res64: FF049FC3B862DFFC Time : 0.0 sec. user=vaughan [2012-10-26 12:13:12] 991*2^1233129-1 is not prime. Res64: E7D129E9F7A6E875 Time : 0.0 sec. user=mdettweiler [2012-10-26 12:25:58] 717*2^1233130-1 is not prime. Res64: 67EB4A6164031F30 Time : 0.0 sec. user=mdettweiler [2012-10-26 12:25:59] 803*2^1233130-1 is not prime. Res64: B1E0DEF3664DEA1E Time : 0.0 sec. user=mdettweiler [2012-10-26 12:29:23] 845*2^1233130-1 is not prime. Res64: 6DD5776DF5392AB4 Time : 0.0 sec. user=mdettweiler [2012-10-26 12:29:24] 873*2^1233130-1 is not prime. Res64: 1F4D8F27BB2C712F Time : 0.0 sec. user=mdettweiler [2012-10-26 12:46:43] 911*2^1233130-1 is not prime. Res64: EA6423248B800EFE Time : 0.0 sec. user=mdettweiler [2012-10-26 12:46:44] 971*2^1233130-1 is not prime. Res64: 02191F3EC3BF7D4E Time : 0.0 sec. user=mdettweiler [2012-10-26 12:50:07] 759*2^1233131-1 is not prime. Res64: A33FE3F7D4B7C629 Time : 0.0 sec. user=mdettweiler [2012-10-26 12:50:08] 859*2^1233131-1 is not prime. Res64: D6DA854DCCEEC8D7 Time : 0.0 sec. user=vaughan [2012-10-26 12:50:57] 891*2^1233130-1 is not prime. Res64: 2E71BF65267E1B06 Time : 0.0 sec. user=mdettweiler [2012-10-26 13:07:28] 629*2^1233132-1 is not prime. Res64: 984ADC3DD1A9FDCB Time : 0.0 sec. user=mdettweiler [2012-10-26 13:07:29] 653*2^1233132-1 is not prime. Res64: 5519115FC31B9500 Time : 0.0 sec. user=mdettweiler [2012-10-26 13:10:51] 689*2^1233132-1 is not prime. Res64: 52F9B97BD564E571 Time : 0.0 sec. user=mdettweiler [2012-10-26 13:10:52] 873*2^1233132-1 is not prime. Res64: 04AFA9C1D5BA5821 Time : 0.0 sec. user=mdettweiler [2012-10-26 13:28:22] 649*2^1233133-1 is not prime. Res64: 7A10B72B00411802 Time : 0.0 sec. user=mdettweiler [2012-10-26 13:28:22] 687*2^1233133-1 is not prime. Res64: 61B30482BC3279A8 Time : 0.0 sec. user=vaughan [2012-10-26 13:28:44] 621*2^1233133-1 is not prime. Res64: 833056B0839D476C Time : 0.0 sec. user=mdettweiler [2012-10-26 13:31:39] 721*2^1233133-1 is not prime. Res64: CD5E8D7DDBAED92E Time : 0.0 sec. user=mdettweiler [2012-10-26 13:31:40] 729*2^1233133-1 is not prime. Res64: 434003671D63F873 Time : 0.0 sec. user=mdettweiler [2012-10-26 13:49:06] 835*2^1233133-1 is not prime. Res64: 59A3482A146C53BC Time : 0.0 sec. user=mdettweiler [2012-10-26 13:49:07] 861*2^1233133-1 is not prime. Res64: CF202637B1C58311 Time : 0.0 sec. user=mdettweiler [2012-10-26 13:52:26] 999*2^1233133-1 is not prime. Res64: 8FFBA766ED61C6C4 Time : 0.0 sec. user=mdettweiler [2012-10-26 13:52:27] 687*2^1233134-1 is not prime. Res64: D67E404BF3450DA1 Time : 0.0 sec. user=vaughan [2012-10-26 14:06:31] 919*2^1233133-1 is not prime. Res64: 8DAAE0303422E9E1 Time : 0.0 sec. user=mdettweiler [2012-10-26 14:10:03] 785*2^1233134-1 is not prime. Res64: 7B1DDCB6AF6C0DBB Time : 0.0 sec. user=mdettweiler [2012-10-26 14:10:04] 795*2^1233134-1 is not prime. Res64: D8C15F6370021DA8 Time : 0.0 sec. user=mdettweiler [2012-10-26 14:13:21] 851*2^1233134-1 is not prime. Res64: C5FB0D8381A8DBC1 Time : 0.0 sec. user=mdettweiler [2012-10-26 14:13:25] 887*2^1233134-1 is not prime. Res64: E68045D85E48F1D6 Time : 0.0 sec. user=mdettweiler [2012-10-26 14:31:28] 969*2^1233135-1 is not prime. Res64: 47CEB09C441D865A Time : 0.0 sec. user=mdettweiler [2012-10-26 14:31:29] 615*2^1233136-1 is not prime. Res64: 78005A6CE67927A8 Time : 0.0 sec. user=mdettweiler [2012-10-26 14:35:15] 719*2^1233136-1 is not prime. Res64: 1210A3B8A1DD3FFA Time : 0.0 sec. user=mdettweiler [2012-10-26 14:35:15] 917*2^1233136-1 is not prime. Res64: CFA9A9EA06F55DD3 Time : 0.0 sec. user=vaughan [2012-10-26 14:44:28] 669*2^1233135-1 is not prime. Res64: 81DDD2E38D8BF594 Time : 0.0 sec. user=mdettweiler [2012-10-26 14:52:50] 965*2^1233136-1 is not prime. Res64: E4301D51EF53BA21 Time : 0.0 sec. user=mdettweiler [2012-10-26 14:52:51] 615*2^1233137-1 is not prime. Res64: 5105B6EA8CC07F21 Time : 0.0 sec. user=mdettweiler [2012-10-26 14:56:35] 637*2^1233137-1 is not prime. Res64: 684CF20A3D448EF7 Time : 0.0 sec. user=mdettweiler [2012-10-26 14:56:35] 741*2^1233137-1 is not prime. Res64: 76C9041A0C5C5E03 Time : 0.0 sec. user=mdettweiler [2012-10-26 15:14:12] 777*2^1233137-1 is not prime. Res64: 8C5BEBD13C1E1D2D Time : 0.0 sec. user=mdettweiler [2012-10-26 15:14:17] 837*2^1233137-1 is not prime. Res64: CB3EC30293560133 Time : 0.0 sec. user=mdettweiler [2012-10-26 15:17:56] 879*2^1233137-1 is not prime. Res64: 4A50F051A05BDF72 Time : 0.0 sec. user=mdettweiler [2012-10-26 15:17:57] 901*2^1233137-1 is not prime. Res64: 2FCE126F23A14D10 Time : 0.0 sec. user=vaughan [2012-10-26 15:22:16] 771*2^1233137-1 is not prime. Res64: F6D941B88E9C7B43 Time : 0.0 sec. user=mdettweiler [2012-10-26 15:36:00] 985*2^1233137-1 is not prime. Res64: 04C5BE9D64DB286E Time : 0.0 sec. user=mdettweiler [2012-10-26 15:36:00] 627*2^1233138-1 is not prime. Res64: 7C69C3FA828C9697 Time : 0.0 sec. user=mdettweiler [2012-10-26 15:39:25] 681*2^1233138-1 is not prime. Res64: AC7171ECBE2ABC57 Time : 0.0 sec. user=mdettweiler [2012-10-26 15:39:25] 735*2^1233138-1 is not prime. Res64: E91650F65D38E25D Time : 0.0 sec. user=mdettweiler [2012-10-26 15:57:21] 765*2^1233138-1 is not prime. Res64: 295BFA4179A28969 Time : 0.0 sec. user=mdettweiler [2012-10-26 15:57:21] 797*2^1233138-1 is not prime. Res64: 5092D53F166FAAD1 Time : 0.0 sec. user=vaughan [2012-10-26 16:00:09] 737*2^1233138-1 is not prime. Res64: 0C64FA9AE53CC2D1 Time : 0.0 sec. user=mdettweiler [2012-10-26 16:00:46] 861*2^1233138-1 is not prime. Res64: 53584122777B34BC Time : 0.0 sec. user=mdettweiler [2012-10-26 16:00:47] 885*2^1233138-1 is not prime. Res64: BBD17CC0F58696DF Time : 0.0 sec. user=mdettweiler [2012-10-26 16:18:43] 963*2^1233138-1 is not prime. Res64: A85CF2EE86ADC733 Time : 0.0 sec. user=mdettweiler [2012-10-26 16:18:44] 633*2^1233139-1 is not prime. Res64: 1A91EDFEE1E21CD2 Time : 0.0 sec. user=mdettweiler [2012-10-26 16:22:08] 775*2^1233139-1 is not prime. Res64: E65E5CF80224ADAB Time : 0.0 sec. user=mdettweiler [2012-10-26 16:22:09] 789*2^1233139-1 is not prime. Res64: 4BE034CB5E198E2B Time : 0.0 sec. user=vaughan [2012-10-26 16:37:55] 765*2^1233139-1 is not prime. Res64: 70A4C06221017613 Time : 0.0 sec. user=mdettweiler [2012-10-26 16:40:28] 829*2^1233139-1 is not prime. Res64: 3182B2461CAAA649 Time : 0.0 sec. user=mdettweiler [2012-10-26 16:40:28] 859*2^1233139-1 is not prime. Res64: C6E54C99B7A02045 Time : 0.0 sec. user=mdettweiler [2012-10-26 16:43:32] 687*2^1233140-1 is not prime. Res64: 974C6A29659F7840 Time : 0.0 sec. user=mdettweiler [2012-10-26 16:43:32] 725*2^1233140-1 is not prime. Res64: EEE470DC616FF45C Time : 0.0 sec. user=mdettweiler [2012-10-26 17:01:51] 927*2^1233140-1 is not prime. Res64: BDFCA044CBD2D6A6 Time : 0.0 sec. user=mdettweiler [2012-10-26 17:01:52] 661*2^1233141-1 is not prime. Res64: 504374CE243EBED7 Time : 0.0 sec. user=mdettweiler [2012-10-26 17:04:53] 777*2^1233141-1 is not prime. Res64: 17980B5651C11B72 Time : 0.0 sec. user=mdettweiler [2012-10-26 17:04:54] 937*2^1233141-1 is not prime. Res64: C3BC0A020A77B4E5 Time : 0.0 sec. user=vaughan [2012-10-26 17:17:15] 885*2^1233140-1 is not prime. Res64: 6FD6A14EA78CC5E6 Time : 0.0 sec. user=mdettweiler [2012-10-26 17:23:24] 617*2^1233142-1 is not prime. Res64: 24F02182A281DD02 Time : 0.0 sec. user=mdettweiler [2012-10-26 17:23:24] 635*2^1233142-1 is not prime. Res64: 866355DAB3CBE184 Time : 0.0 sec. user=mdettweiler [2012-10-26 17:26:21] 705*2^1233142-1 is not prime. Res64: FD90134380F58147 Time : 0.0 sec. user=mdettweiler [2012-10-26 17:26:21] 755*2^1233142-1 is not prime. Res64: F90D0FE65A3D416C Time : 0.0 sec. user=mdettweiler [2012-10-26 17:44:41] 825*2^1233142-1 is not prime. Res64: 1817E876EDC994E1 Time : 0.0 sec. user=mdettweiler [2012-10-26 17:44:41] 917*2^1233142-1 is not prime. Res64: 100DF12ABFFB0C49 Time : 0.0 sec. user=mdettweiler [2012-10-26 17:47:33] 951*2^1233142-1 is not prime. Res64: 813567405CEF26FC Time : 0.0 sec. user=mdettweiler [2012-10-26 17:47:33] 771*2^1233143-1 is not prime. Res64: 6F2D5B9FF7B6A088 Time : 0.0 sec. user=mdettweiler [2012-10-26 18:05:34] 811*2^1233143-1 is not prime. Res64: 21F9688E2983DB31 Time : 0.0 sec. user=mdettweiler [2012-10-26 18:05:35] 825*2^1233143-1 is not prime. Res64: 71E7A84288FF694B Time : 0.0 sec. user=mdettweiler [2012-10-26 18:08:28] 831*2^1233143-1 is not prime. Res64: 2090292C62EAB757 Time : 0.0 sec. user=mdettweiler [2012-10-26 18:08:29] 943*2^1233143-1 is not prime. Res64: 365429B0C652FB48 Time : 0.0 sec. user=mdettweiler [2012-10-26 18:27:10] 969*2^1233143-1 is not prime. Res64: 0C2FD41FAEBD6FA1 Time : 0.0 sec. user=mdettweiler [2012-10-26 18:27:10] 627*2^1233144-1 is not prime. Res64: C98AD933263D2EC5 Time : 0.0 sec. user=vaughan [2012-10-26 18:29:22] 955*2^1233143-1 is not prime. Res64: D9C4D55B0EDBD8C6 Time : 0.0 sec. user=mdettweiler [2012-10-26 18:30:00] 705*2^1233144-1 is not prime. Res64: 137130C45365B56B Time : 0.0 sec. user=mdettweiler [2012-10-26 18:30:00] 765*2^1233144-1 is not prime. Res64: 2708AC50863991A2 Time : 0.0 sec. user=mdettweiler [2012-10-26 18:48:09] 767*2^1233144-1 is not prime. Res64: 1D20FCA29880DB28 Time : 0.0 sec. user=mdettweiler [2012-10-26 18:48:10] 975*2^1233144-1 is not prime. Res64: 6C30455AAD0341B7 Time : 0.0 sec. user=mdettweiler [2012-10-26 18:50:53] 831*2^1233145-1 is not prime. Res64: E362992AAE9DDE50 Time : 0.0 sec. user=mdettweiler [2012-10-26 18:50:53] 841*2^1233145-1 is not prime. Res64: 5504DD1EE7775759 Time : 0.0 sec. user=vaughan [2012-10-26 19:07:09] 651*2^1233145-1 is not prime. Res64: 78AFA552F3E33B84 Time : 0.0 sec. user=mdettweiler [2012-10-26 19:09:01] 867*2^1233145-1 is not prime. Res64: 219E4560B734EDEE Time : 0.0 sec. user=mdettweiler [2012-10-26 19:09:02] 915*2^1233145-1 is not prime. Res64: EE1450B8362BB371 Time : 0.0 sec. user=mdettweiler [2012-10-26 19:11:44] 975*2^1233145-1 is not prime. Res64: 7A29B3FF2B86A9D7 Time : 0.0 sec. user=mdettweiler [2012-10-26 19:11:46] 633*2^1233146-1 is not prime. Res64: 1F3BAC4E7E3D9E10 Time : 0.0 sec. user=mdettweiler [2012-10-26 19:29:54] 833*2^1233146-1 is not prime. Res64: 59B23957F896FDEB Time : 0.0 sec. user=mdettweiler [2012-10-26 19:29:54] 987*2^1233146-1 is not prime. Res64: 159D8A4F196C034D Time : 0.0 sec. user=mdettweiler [2012-10-26 19:32:38] 1001*2^1233146-1 is not prime. Res64: 1479E17E7C9AA720 Time : 0.0 sec. user=mdettweiler [2012-10-26 19:32:38] 823*2^1233147-1 is not prime. Res64: 8F5D083F062E8CBE Time : 0.0 sec. user=vaughan [2012-10-26 19:45:02] 831*2^1233146-1 is not prime. Res64: D24A01A033AA2601 Time : 0.0 sec. user=mdettweiler [2012-10-26 19:50:44] 677*2^1233148-1 is not prime. Res64: 538AED1D84A2B19F Time : 0.0 sec. user=mdettweiler [2012-10-26 19:50:45] 833*2^1233148-1 is not prime. Res64: 8008EE4F2F4FD97C Time : 0.0 sec. user=mdettweiler [2012-10-26 19:53:27] 953*2^1233148-1 is not prime. Res64: 7D7EA5647EE3FDEE Time : 0.0 sec. user=mdettweiler [2012-10-26 19:53:28] 957*2^1233148-1 is not prime. Res64: B8AA6A4E8EF8CFC0 Time : 0.0 sec. user=mdettweiler [2012-10-26 20:11:40] 795*2^1233149-1 is not prime. Res64: 3D6A2E589654554F Time : 0.0 sec. user=mdettweiler [2012-10-26 20:11:41] 837*2^1233149-1 is not prime. Res64: E822DE108C941F14 Time : 0.0 sec. user=mdettweiler [2012-10-26 20:14:23] 879*2^1233149-1 is not prime. Res64: 0543264976E3D818 Time : 0.0 sec. user=mdettweiler [2012-10-26 20:14:26] 985*2^1233149-1 is not prime. Res64: C9E1E6BD0C46D726 Time : 0.0 sec. user=vaughan [2012-10-26 20:22:49] 729*2^1233149-1 is not prime. Res64: 2D2C8C9798FA006A Time : 0.0 sec. user=mdettweiler [2012-10-26 20:32:39] 681*2^1233150-1 is not prime. Res64: 8FAECA815FF3E3EA Time : 0.0 sec. user=mdettweiler [2012-10-26 20:32:39] 741*2^1233150-1 is not prime. Res64: AC5E8E96C52AE24F Time : 0.0 sec. user=mdettweiler [2012-10-26 20:35:32] 755*2^1233150-1 is not prime. Res64: 7BD40F43F84C0639 Time : 0.0 sec. user=mdettweiler [2012-10-26 20:35:32] 845*2^1233150-1 is not prime. Res64: C01CCB055938E9D7 Time : 0.0 sec. user=mdettweiler [2012-10-26 20:53:27] 625*2^1233151-1 is not prime. Res64: F61DEA66E07E91B6 Time : 0.0 sec. user=mdettweiler [2012-10-26 20:53:27] 793*2^1233151-1 is not prime. Res64: 8586226893D28635 Time : 0.0 sec. user=mdettweiler [2012-10-26 20:56:21] 805*2^1233151-1 is not prime. Res64: B47B707450165C25 Time : 0.0 sec. user=mdettweiler [2012-10-26 20:56:21] 843*2^1233151-1 is not prime. Res64: FEFE1C3DA40E5087 Time : 0.0 sec. user=vaughan [2012-10-26 21:00:35] 621*2^1233151-1 is not prime. Res64: 91419C3620BFC973 Time : 0.0 sec. user=mdettweiler [2012-10-26 21:14:16] 871*2^1233151-1 is not prime. Res64: B347286C6BA53709 Time : 0.0 sec. user=mdettweiler [2012-10-26 21:14:18] 891*2^1233151-1 is not prime. Res64: DEC0CBE0504339C1 Time : 0.0 sec. user=mdettweiler [2012-10-26 21:17:09] 909*2^1233151-1 is not prime. Res64: 84408400AD52732C Time : 0.0 sec. user=mdettweiler [2012-10-26 21:17:10] 975*2^1233151-1 is not prime. Res64: 3B810EE12CEF9B06 Time : 0.0 sec. user=mdettweiler [2012-10-26 21:35:07] 719*2^1233152-1 is not prime. Res64: 27D156FBFD1402DB Time : 0.0 sec. user=mdettweiler [2012-10-26 21:35:08] 785*2^1233152-1 is not prime. Res64: 2FF656B6C5518A3E Time : 0.0 sec. user=mdettweiler [2012-10-26 21:38:10] 893*2^1233152-1 is not prime. Res64: 40B0670023DF97D7 Time : 0.0 sec. user=mdettweiler [2012-10-26 21:38:11] 899*2^1233152-1 is not prime. Res64: 48369E7D509B7812 Time : 0.0 sec. user=vaughan [2012-10-26 21:38:29] 635*2^1233152-1 is not prime. Res64: 080E086527606C3B Time : 0.0 sec. user=mdettweiler [2012-10-26 21:55:56] 999*2^1233152-1 is not prime. Res64: 2EA2F3C6F0BDA27E Time : 0.0 sec. user=mdettweiler [2012-10-26 21:55:56] 637*2^1233153-1 is not prime. Res64: D7785EBF7D697D5D Time : 0.0 sec. user=mdettweiler [2012-10-26 21:58:58] 649*2^1233153-1 is not prime. Res64: A19D66E63616AD94 Time : 0.0 sec. user=mdettweiler [2012-10-26 21:58:59] 769*2^1233153-1 is not prime. Res64: AEECFD0B12051DF5 Time : 0.0 sec. user=vaughan [2012-10-26 22:16:16] 969*2^1233153-1 is not prime. Res64: E38832212134C5AD Time : 0.0 sec. user=mdettweiler [2012-10-26 22:16:45] 675*2^1233154-1 is not prime. Res64: 8EC30B5B87ED5A92 Time : 0.0 sec. user=mdettweiler [2012-10-26 22:16:47] 785*2^1233154-1 is not prime. Res64: 951C4C82E33638AD Time : 0.0 sec. user=mdettweiler [2012-10-26 22:19:46] 861*2^1233154-1 is not prime. Res64: 0B582E87551ADB9E Time : 0.0 sec. user=mdettweiler [2012-10-26 22:19:47] 917*2^1233154-1 is not prime. Res64: A1BD14462C697A15 Time : 0.0 sec. user=mdettweiler [2012-10-26 22:37:38] 619*2^1233155-1 is not prime. Res64: F1F6548DBEE8B072 Time : 0.0 sec. user=mdettweiler [2012-10-26 22:37:38] 775*2^1233155-1 is not prime. Res64: A357D03037233938 Time : 0.0 sec. user=mdettweiler [2012-10-26 22:40:36] 979*2^1233155-1 is not prime. Res64: E805F9C9CE484684 Time : 0.0 sec. user=mdettweiler [2012-10-26 22:40:36] 635*2^1233156-1 is not prime. Res64: 9E6DC7EF9EFBD141 Time : 0.0 sec. user=vaughan [2012-10-26 22:54:10] 951*2^1233154-1 is not prime. Res64: A45DCD057F521882 Time : 0.0 sec. user=mdettweiler [2012-10-26 22:58:26] 707*2^1233156-1 is not prime. Res64: A459F6BFFD1D077D Time : 0.0 sec. user=mdettweiler [2012-10-26 22:58:26] 789*2^1233156-1 is not prime. Res64: A81FA1D91A682F46 Time : 0.0 sec. user=mdettweiler [2012-10-26 23:01:24] 825*2^1233156-1 is not prime. Res64: 53D4F97567D4BED5 Time : 0.0 sec. user=mdettweiler [2012-10-26 23:01:25] 875*2^1233156-1 is not prime. Res64: A585F6A75442CD59 Time : 0.0 sec. user=mdettweiler [2012-10-26 23:19:15] 639*2^1233157-1 is not prime. Res64: 2D1833F1A9D2F41A Time : 0.0 sec. user=mdettweiler [2012-10-26 23:19:16] 997*2^1233157-1 is not prime. Res64: 1C9ECDB72A752340 Time : 0.0 sec. user=mdettweiler [2012-10-26 23:22:13] 843*2^1233158-1 is not prime. Res64: D1745FA3ABF4CC05 Time : 0.0 sec. user=mdettweiler [2012-10-26 23:22:14] 857*2^1233158-1 is not prime. Res64: 1C51D7055E74E152 Time : 0.0 sec. user=vaughan [2012-10-26 23:31:56] 887*2^1233156-1 is not prime. Res64: 3FBD5BFC381A6C9A Time : 0.0 sec. user=mdettweiler [2012-10-26 23:40:21] 893*2^1233158-1 is not prime. Res64: C81C0ED365DB40C1 Time : 0.0 sec. user=mdettweiler [2012-10-26 23:40:22] 897*2^1233158-1 is not prime. Res64: 9C748B5D58071A47 Time : 0.0 sec. user=mdettweiler [2012-10-26 23:43:05] 615*2^1233159-1 is not prime. Res64: 402DFB5DE2DCDD25 Time : 0.0 sec. user=mdettweiler [2012-10-26 23:43:05] 619*2^1233159-1 is not prime. Res64: 8BDD271720D10845 Time : 0.0 sec.