user=vaughan [2012-06-26 00:02:16] 493*2^1135063-1 is not prime. Res64: C68B5895EA2DD134 Time : 0.0 sec. user=vaughan [2012-06-26 00:35:55] 559*2^1135063-1 is not prime. Res64: 80AF195AA195EC9F Time : 0.0 sec. user=vaughan [2012-06-26 01:09:12] 437*2^1135064-1 is not prime. Res64: B562BBADD3CD980D Time : 0.0 sec. user=vaughan [2012-06-26 02:19:42] 459*2^1135064-1 is not prime. Res64: 371A0E131DC9148A Time : 0.0 sec. user=vaughan [2012-06-26 04:07:39] 479*2^1135064-1 is not prime. Res64: 4525C2410D779A29 Time : 0.0 sec. user=vaughan [2012-06-26 06:32:30] 441*2^1135065-1 is not prime. Res64: A1079B4BDA32BEF5 Time : 0.0 sec. user=vaughan [2012-06-26 07:06:06] 511*2^1135065-1 is not prime. Res64: 118F6D34499AC517 Time : 0.0 sec. user=vaughan [2012-06-26 07:39:52] 465*2^1135066-1 is not prime. Res64: DD34CFB694FB2E76 Time : 0.0 sec. user=henryzz [2012-06-26 08:12:38] 549*2^1135060-1 is not prime. Res64: 51BEF64634D1E243 Time : 0.0 sec. user=henryzz [2012-06-26 08:25:51] 495*2^1135060-1 is not prime. Res64: 4CCA7F56CFCAAEFE Time : 0.0 sec. user=henryzz [2012-06-26 08:34:39] 547*2^1135061-1 is not prime. Res64: F467FE2F7A1FBAE3 Time : 0.0 sec. user=henryzz [2012-06-26 08:46:42] 417*2^1135062-1 is not prime. Res64: 81DABC65BB778885 Time : 0.0 sec. user=henryzz [2012-06-26 09:03:26] 567*2^1135066-1 is not prime. Res64: B58A5D5E99F5796C Time : 0.0 sec. user=henryzz [2012-06-26 09:13:50] 469*2^1135067-1 is not prime. Res64: 7078E7E92A206767 Time : 0.0 sec. user=henryzz [2012-06-26 09:29:40] 553*2^1135067-1 is not prime. Res64: AD5958C99DE3412C Time : 0.0 sec. user=henryzz [2012-06-26 09:48:50] 565*2^1135067-1 is not prime. Res64: 57E8DD2734C3A679 Time : 0.0 sec. user=henryzz [2012-06-26 09:50:53] 423*2^1135068-1 is not prime. Res64: 22F523F2AC4BEB4F Time : 0.0 sec. user=henryzz [2012-06-26 10:02:04] 437*2^1135068-1 is not prime. Res64: F05B919453C087C1 Time : 0.0 sec. user=vaughan [2012-06-26 10:06:33] 571*2^1135067-1 is not prime. Res64: BB318EFD13412028 Time : 0.0 sec. user=henryzz [2012-06-26 10:33:41] 563*2^1135068-1 is not prime. Res64: 7B524EB08AA10E8A Time : 0.0 sec. user=henryzz [2012-06-26 10:38:02] 597*2^1135068-1 is not prime. Res64: A9E6A12849C40DE2 Time : 0.0 sec. user=henryzz [2012-06-26 10:40:09] 485*2^1135068-1 is not prime. Res64: AEA94B2B6C566120 Time : 0.0 sec. user=henryzz [2012-06-26 10:59:19] 407*2^1135070-1 is not prime. Res64: 8E1AF9FB91235DBF Time : 0.0 sec. user=henryzz [2012-06-26 11:24:10] 447*2^1135070-1 is not prime. Res64: 02F869A3D3621797 Time : 0.0 sec. user=henryzz [2012-06-26 11:25:51] 477*2^1135070-1 is not prime. Res64: 16BE1C6C81661C02 Time : 0.0 sec. user=henryzz [2012-06-26 11:26:07] 455*2^1135070-1 is not prime. Res64: 50A7645ED14FBF47 Time : 0.0 sec. user=henryzz [2012-06-26 11:50:12] 495*2^1135070-1 is not prime. Res64: 87F29F6CB2DBCEC4 Time : 0.0 sec. user=vaughan [2012-06-26 11:53:43] 503*2^1135070-1 is not prime. Res64: 940218AA5B2A204A Time : 0.0 sec. user=henryzz [2012-06-26 12:15:27] 453*2^1135071-1 is not prime. Res64: A1175417C31A9742 Time : 0.0 sec. user=henryzz [2012-06-26 12:16:15] 521*2^1135070-1 is not prime. Res64: 5F80DE17ACDEC438 Time : 0.0 sec. user=henryzz [2012-06-26 12:18:43] 489*2^1135071-1 is not prime. Res64: 6C85C72EB8E99DF6 Time : 0.0 sec. user=henryzz [2012-06-26 12:36:53] 595*2^1135071-1 is not prime. Res64: C7C410E91495C8EB Time : 0.0 sec. user=henryzz [2012-06-26 13:04:21] 441*2^1135073-1 is not prime. Res64: D14B6E837C8C5787 Time : 0.0 sec. user=henryzz [2012-06-26 13:04:25] 549*2^1135072-1 is not prime. Res64: 2A6253C7A1565598 Time : 0.0 sec. user=henryzz [2012-06-26 13:15:31] 525*2^1135073-1 is not prime. Res64: DA3CF7F4CEAF895F Time : 0.0 sec. user=henryzz [2012-06-26 13:23:16] 417*2^1135074-1 is not prime. Res64: 8681722A13DF11AE Time : 0.0 sec. user=henryzz [2012-06-26 13:54:38] 563*2^1135074-1 is not prime. Res64: C0CBEEFF6CAE95DF Time : 0.0 sec. user=henryzz [2012-06-26 13:57:29] 587*2^1135074-1 is not prime. Res64: FDF6E2441E52A0EF Time : 0.0 sec. user=henryzz [2012-06-26 14:06:08] 463*2^1135075-1 is not prime. Res64: 213EBB4308DCD058 Time : 0.0 sec. user=henryzz [2012-06-26 14:10:10] 511*2^1135075-1 is not prime. Res64: AD467A35F43C4C67 Time : 0.0 sec. user=henryzz [2012-06-26 14:35:44] 409*2^1135077-1 is not prime. Res64: 5C32D6DD422A2DF7 Time : 0.0 sec. user=vaughan [2012-06-26 14:54:04] 517*2^1135077-1 is not prime. Res64: E077088281E48704 Time : 0.0 sec. user=henryzz [2012-06-26 14:56:58] 429*2^1135077-1 is not prime. Res64: 6B4518BD42D5D26A Time : 0.0 sec. user=henryzz [2012-06-26 14:57:44] 499*2^1135077-1 is not prime. Res64: E01DBD6BF3B3F1D8 Time : 0.0 sec. user=henryzz [2012-06-26 14:59:39] 525*2^1135076-1 is not prime. Res64: C522ACB83781A4D9 Time : 0.0 sec. user=henryzz [2012-06-26 15:23:38] 507*2^1135078-1 is not prime. Res64: 5808727036DF6BEB Time : 0.0 sec. user=henryzz [2012-06-26 15:45:07] 527*2^1135078-1 is not prime. Res64: 2344C988B77E3FD0 Time : 0.0 sec. user=henryzz [2012-06-26 15:46:44] 591*2^1135078-1 is not prime. Res64: F0F09AB7DD26F23D Time : 0.0 sec. user=henryzz [2012-06-26 15:50:17] 533*2^1135078-1 is not prime. Res64: D7575F77E764B0D5 Time : 0.0 sec. user=henryzz [2012-06-26 16:21:19] 573*2^1135079-1 is not prime. Res64: C792A0E69E42584F Time : 0.0 sec. user=henryzz [2012-06-26 16:29:20] 447*2^1135080-1 is not prime. Res64: 947647A7D9D8D7D3 Time : 0.0 sec. user=henryzz [2012-06-26 16:34:24] 569*2^1135080-1 is not prime. Res64: ABEECF247DD4FBCD Time : 0.0 sec. user=henryzz [2012-06-26 16:43:31] 499*2^1135081-1 is not prime. Res64: 353E853B0B7ED28B Time : 0.0 sec. user=henryzz [2012-06-26 17:11:28] 405*2^1135082-1 is not prime. Res64: 078B66AA1FD1DFAB Time : 0.0 sec. user=vaughan [2012-06-26 17:18:03] 529*2^1135083-1 is not prime. Res64: C3C54B90C7BF5B79 Time : 0.0 sec. user=henryzz [2012-06-26 17:22:06] 497*2^1135082-1 is not prime. Res64: 9AE0F3386C7D79E1 Time : 0.0 sec. user=henryzz [2012-06-26 17:22:20] 475*2^1135083-1 is not prime. Res64: AF2E14D07F1B5F13 Time : 0.0 sec. user=henryzz [2012-06-26 17:37:35] 523*2^1135083-1 is not prime. Res64: 4C462F867ED3BE93 Time : 0.0 sec. user=vaughan [2012-06-26 17:51:10] 533*2^1135084-1 is not prime. Res64: DCFA8583D5B480CB Time : 0.0 sec. user=vaughan [2012-06-26 19:37:58] 425*2^1135086-1 is not prime. Res64: 6FB5751E68E51AF8 Time : 0.0 sec. user=vaughan [2012-06-26 22:38:39] 443*2^1135086-1 is not prime. Res64: EC7B4931B45B0E1D Time : 0.0 sec.