user=vaughan [2012-04-22 00:04:58] 513*2^1130631-1 is not prime. Res64: AF14507D1C8AD03E Time : 0.0 sec. user=vaughan [2012-04-22 00:05:00] 531*2^1130631-1 is not prime. Res64: 135E1692B76143B7 Time : 0.0 sec. user=vaughan [2012-04-22 00:05:02] 493*2^1130631-1 is not prime. Res64: 58185B2AB1D1E9D5 Time : 0.0 sec. user=vaughan [2012-04-22 00:05:03] 511*2^1130631-1 is not prime. Res64: B657E49CF88248CE Time : 0.0 sec. user=vaughan [2012-04-22 00:06:34] 535*2^1130631-1 is not prime. Res64: DBFC4B310F6E160B Time : 0.0 sec. user=vaughan [2012-04-22 00:06:36] 571*2^1130631-1 is not prime. Res64: 31391D4CA93A9FE7 Time : 0.0 sec. user=vaughan [2012-04-22 00:07:51] 419*2^1130632-1 is not prime. Res64: DE6D5850F82C537A Time : 0.0 sec. user=vaughan [2012-04-22 00:07:54] 449*2^1130632-1 is not prime. Res64: 8550E96239C34594 Time : 0.0 sec. user=vaughan [2012-04-22 00:10:42] 435*2^1130633-1 is not prime. Res64: 684D8BBE05EFE7FA Time : 0.0 sec. user=vaughan [2012-04-22 00:11:15] 475*2^1130633-1 is not prime. Res64: 2E8EFE31C2BB35C7 Time : 0.0 sec. user=vaughan [2012-04-22 00:11:22] 507*2^1130633-1 is not prime. Res64: 521D022931E5EBA2 Time : 0.0 sec. user=vaughan [2012-04-22 00:11:32] 571*2^1130633-1 is not prime. Res64: 2819F3B7ACCFE77B Time : 0.0 sec. user=vaughan [2012-04-22 00:25:17] 461*2^1130634-1 is not prime. Res64: 8BD9847FEE95A2F6 Time : 0.0 sec. user=vaughan [2012-04-22 00:25:18] 521*2^1130634-1 is not prime. Res64: 8EE883F04C647FF7 Time : 0.0 sec. user=vaughan [2012-04-22 00:25:25] 421*2^1130635-1 is not prime. Res64: 3328D9522B5974A7 Time : 0.0 sec. user=vaughan [2012-04-22 00:25:25] 463*2^1130635-1 is not prime. Res64: 2AB1A3B41E584703 Time : 0.0 sec. user=vaughan [2012-04-22 00:26:21] 573*2^1130636-1 is not prime. Res64: F1AFD750E16958E0 Time : 0.0 sec. user=vaughan [2012-04-22 00:26:56] 417*2^1130637-1 is not prime. Res64: 1B5C291F8FF2CA5C Time : 0.0 sec. user=vaughan [2012-04-22 00:27:01] 427*2^1130637-1 is not prime. Res64: FED5639B53B87271 Time : 0.0 sec. user=vaughan [2012-04-22 00:27:10] 457*2^1130637-1 is not prime. Res64: C683509F910A743B Time : 0.0 sec. user=vaughan [2012-04-22 00:27:34] 471*2^1130635-1 is not prime. Res64: 882E625BAF5BFB8C Time : 0.0 sec. user=vaughan [2012-04-22 00:27:35] 495*2^1130635-1 is not prime. Res64: B1CE2673F3B7D8BA Time : 0.0 sec. user=vaughan [2012-04-22 00:28:48] 519*2^1130635-1 is not prime. Res64: 87B3A10D73E5CFC7 Time : 0.0 sec. user=vaughan [2012-04-22 00:28:48] 531*2^1130635-1 is not prime. Res64: F13BE5CC2CF45EF8 Time : 0.0 sec. user=vaughan [2012-04-22 00:29:01] 555*2^1130635-1 is not prime. Res64: B5680A9041F8E2BB Time : 0.0 sec. user=vaughan [2012-04-22 00:42:03] 423*2^1130638-1 is not prime. Res64: 42FABE6281AF89E1 Time : 0.0 sec. user=vaughan [2012-04-22 00:42:30] 461*2^1130638-1 is not prime. Res64: 8682A3BE25FD3379 Time : 0.0 sec. user=vaughan [2012-04-22 00:42:40] 507*2^1130638-1 is not prime. Res64: 4C3491A059A50D61 Time : 0.0 sec. user=vaughan [2012-04-22 00:42:47] 597*2^1130638-1 is not prime. Res64: 250FA182E3F0169A Time : 0.0 sec. user=vaughan [2012-04-22 00:45:31] 475*2^1130637-1 is not prime. Res64: 4FBB410B69FC5426 Time : 0.0 sec. user=vaughan [2012-04-22 00:45:32] 549*2^1130637-1 is not prime. Res64: 08168A563AEA3461 Time : 0.0 sec. user=vaughan [2012-04-22 00:45:39] 555*2^1130637-1 is not prime. Res64: 4E385FEE4653A40C Time : 0.0 sec. user=vaughan [2012-04-22 00:45:40] 565*2^1130637-1 is not prime. Res64: 71FDBA8789CE166C Time : 0.0 sec. user=vaughan [2012-04-22 00:48:32] 501*2^1130639-1 is not prime. Res64: 2EABCE97518877A4 Time : 0.0 sec. user=vaughan [2012-04-22 00:48:33] 523*2^1130639-1 is not prime. Res64: 87728859CA473CA2 Time : 0.0 sec. user=vaughan [2012-04-22 00:49:37] 571*2^1130639-1 is not prime. Res64: 14FB4AEA4EDDC4C5 Time : 0.0 sec. user=vaughan [2012-04-22 00:49:37] 405*2^1130640-1 is not prime. Res64: 416ACB78354AAE13 Time : 0.0 sec. user=vaughan [2012-04-22 00:57:37] 587*2^1130640-1 is not prime. Res64: 28EB91C845206B5E Time : 0.0 sec. user=vaughan [2012-04-22 00:58:04] 465*2^1130641-1 is not prime. Res64: 85B4F06C369ABED3 Time : 0.0 sec. user=vaughan [2012-04-22 00:58:14] 489*2^1130641-1 is not prime. Res64: BEF7B276B5A359FF Time : 0.0 sec. user=vaughan [2012-04-22 00:58:22] 541*2^1130641-1 is not prime. Res64: 4A02EBAD1D02C229 Time : 0.0 sec. user=vaughan [2012-04-22 01:05:47] 555*2^1130641-1 is not prime. Res64: 5BE2710BE6459057 Time : 0.0 sec. user=vaughan [2012-04-22 01:05:50] 591*2^1130641-1 is not prime. Res64: 057EB7C54A098208 Time : 0.0 sec. user=vaughan [2012-04-22 01:05:54] 417*2^1130642-1 is not prime. Res64: AE3CE8F1FE959669 Time : 0.0 sec. user=vaughan [2012-04-22 01:06:00] 497*2^1130642-1 is not prime. Res64: B67E79396AB26A54 Time : 0.0 sec. user=vaughan [2012-04-22 01:09:23] 585*2^1130642-1 is not prime. Res64: 964190C6607BBAC6 Time : 0.0 sec. user=vaughan [2012-04-22 01:09:27] 593*2^1130642-1 is not prime. Res64: 50BABB079C3A0735 Time : 0.0 sec. user=vaughan [2012-04-22 01:10:25] 411*2^1130643-1 is not prime. Res64: 52F3EE83010C42AB Time : 0.0 sec. user=vaughan [2012-04-22 01:10:27] 481*2^1130643-1 is not prime. Res64: 41C87D50F1A863A3 Time : 0.0 sec. user=vaughan [2012-04-22 01:13:15] 497*2^1130644-1 is not prime. Res64: BCFE2313455B9F34 Time : 0.0 sec. user=vaughan [2012-04-22 01:13:37] 569*2^1130644-1 is not prime. Res64: 87BE7E25115D7F6E Time : 0.0 sec. user=vaughan [2012-04-22 01:13:50] 459*2^1130645-1 is not prime. Res64: 97E5207ECA81D696 Time : 0.0 sec. user=vaughan [2012-04-22 01:13:59] 475*2^1130645-1 is not prime. Res64: 98393BD9E5A6E36A Time : 0.0 sec. user=vaughan [2012-04-22 01:26:16] 453*2^1130646-1 is not prime. Res64: 44A11809260AD4EC Time : 0.0 sec. user=vaughan [2012-04-22 01:26:17] 485*2^1130646-1 is not prime. Res64: 1259FDBA2DAAFD26 Time : 0.0 sec. user=vaughan [2012-04-22 01:26:25] 593*2^1130646-1 is not prime. Res64: E02680C53D468457 Time : 0.0 sec. user=vaughan [2012-04-22 01:26:26] 405*2^1130647-1 is not prime. Res64: 86B0F353A8C9C635 Time : 0.0 sec. user=vaughan [2012-04-22 01:28:51] 537*2^1130649-1 is not prime. Res64: C537D727FA289A7A Time : 0.0 sec. user=vaughan [2012-04-22 01:29:10] 595*2^1130649-1 is not prime. Res64: 95801D58FC37FE00 Time : 0.0 sec. user=vaughan [2012-04-22 01:29:26] 425*2^1130650-1 is not prime. Res64: F14B153F61811E3C Time : 0.0 sec. user=vaughan [2012-04-22 01:29:33] 437*2^1130650-1 is not prime. Res64: 23DE1C0AC7D676C2 Time : 0.0 sec. user=vaughan [2012-04-22 01:30:23] 433*2^1130647-1 is not prime. Res64: B8F3DFEC613C9057 Time : 0.0 sec. user=vaughan [2012-04-22 01:30:24] 505*2^1130647-1 is not prime. Res64: 9DE08DF5F3BD378E Time : 0.0 sec. user=vaughan [2012-04-22 01:31:18] 459*2^1130648-1 is not prime. Res64: 2B38738D1065D70E Time : 0.0 sec. user=vaughan [2012-04-22 01:31:19] 503*2^1130648-1 is not prime. Res64: 696FE411D756B544 Time : 0.0 sec. user=vaughan [2012-04-22 01:44:26] 567*2^1130652-1 is not prime. Res64: 93380B8551A769CF Time : 0.0 sec. user=vaughan [2012-04-22 01:44:42] 567*2^1130653-1 is not prime. Res64: 4A7D34FAE235882B Time : 0.0 sec. user=vaughan [2012-04-22 01:44:58] 577*2^1130653-1 is not prime. Res64: B555D48885B40CFB Time : 0.0 sec. user=vaughan [2012-04-22 01:45:06] 473*2^1130654-1 is not prime. Res64: 63E1A023F7952029 Time : 0.0 sec. user=vaughan [2012-04-22 01:46:39] 483*2^1130650-1 is not prime. Res64: 69C05F055B34815F Time : 0.0 sec. user=vaughan [2012-04-22 01:46:39] 525*2^1130650-1 is not prime. Res64: 458FE4BF664DA8CA Time : 0.0 sec. user=vaughan [2012-04-22 01:46:46] 597*2^1130650-1 is not prime. Res64: 38759386809DBC11 Time : 0.0 sec. user=vaughan [2012-04-22 01:46:47] 465*2^1130651-1 is not prime. Res64: C4B6273762D66CB9 Time : 0.0 sec. user=vaughan [2012-04-22 01:51:11] 507*2^1130654-1 is not prime. Res64: 262B76BDE7A30A2A Time : 0.0 sec. user=vaughan [2012-04-22 01:51:11] 563*2^1130654-1 is not prime. Res64: 8B493E7EE83DFFF1 Time : 0.0 sec. user=vaughan [2012-04-22 01:52:06] 415*2^1130655-1 is not prime. Res64: 6738DC2A20B6938B Time : 0.0 sec. user=vaughan [2012-04-22 01:52:07] 451*2^1130655-1 is not prime. Res64: 4EB0248DE402B859 Time : 0.0 sec. user=vaughan [2012-04-22 02:00:01] 535*2^1130655-1 is not prime. Res64: DDE4ADF1467E4F49 Time : 0.0 sec. user=vaughan [2012-04-22 02:00:14] 595*2^1130655-1 is not prime. Res64: C37F32F03FB19E21 Time : 0.0 sec. user=vaughan [2012-04-22 02:00:31] 507*2^1130656-1 is not prime. Res64: 05D0C80071E14786 Time : 0.0 sec. user=vaughan [2012-04-22 02:00:41] 447*2^1130657-1 is not prime. Res64: 7547C4BEFB045A19 Time : 0.0 sec. user=vaughan [2012-04-22 02:07:03] 585*2^1130657-1 is not prime. Res64: 1F0B8B9A064544FB Time : 0.0 sec. user=vaughan [2012-04-22 02:07:04] 573*2^1130658-1 is not prime. Res64: FE2B3F8570BCA354 Time : 0.0 sec. user=vaughan [2012-04-22 02:07:05] 589*2^1130657-1 is not prime. Res64: 786534992D43304F Time : 0.0 sec. user=vaughan [2012-04-22 02:07:07] 415*2^1130659-1 is not prime. Res64: 04A1BEEC3358C544 Time : 0.0 sec. user=vaughan [2012-04-22 02:11:54] 495*2^1130659-1 is not prime. Res64: 0A1FBD24FB490FD0 Time : 0.0 sec. user=vaughan [2012-04-22 02:11:57] 531*2^1130659-1 is not prime. Res64: 46BE903F9CF0A57C Time : 0.0 sec. user=vaughan [2012-04-22 02:12:47] 589*2^1130659-1 is not prime. Res64: B7303F6EF52725CE Time : 0.0 sec. user=vaughan [2012-04-22 02:12:49] 447*2^1130660-1 is not prime. Res64: 5BF3AEF8BC01B5DE Time : 0.0 sec. user=vaughan [2012-04-22 02:15:37] 479*2^1130660-1 is not prime. Res64: 19404CDA482FFC56 Time : 0.0 sec. user=vaughan [2012-04-22 02:15:49] 495*2^1130660-1 is not prime. Res64: 36206871FF79B235 Time : 0.0 sec. user=vaughan [2012-04-22 02:16:03] 599*2^1130660-1 is not prime. Res64: 4C3DB89ECF047979 Time : 0.0 sec. user=vaughan [2012-04-22 02:16:15] 451*2^1130661-1 is not prime. Res64: F9D492A7174E5D09 Time : 0.0 sec. user=vaughan [2012-04-22 02:24:00] 465*2^1130661-1 is not prime. Res64: 852AF585EC2D856F Time : 0.0 sec. user=vaughan [2012-04-22 02:27:28] 507*2^1130661-1 is not prime. Res64: 655512CFDD8B7D2A Time : 0.0 sec. user=vaughan [2012-04-22 02:27:29] 517*2^1130661-1 is not prime. Res64: E8D0BA6800819864 Time : 0.0 sec. user=vaughan [2012-04-22 02:27:37] 559*2^1130661-1 is not prime. Res64: 73CE18DBDE248470 Time : 0.0 sec. user=vaughan [2012-04-22 02:27:38] 453*2^1130663-1 is not prime. Res64: 67A8E35BBCED88CB Time : 0.0 sec. user=vaughan [2012-04-22 02:31:17] 415*2^1130665-1 is not prime. Res64: 50CC909753FF1F0F Time : 0.0 sec. user=vaughan [2012-04-22 02:31:23] 441*2^1130665-1 is not prime. Res64: 01140BAD6033A08E Time : 0.0 sec. user=vaughan [2012-04-22 02:31:38] 465*2^1130665-1 is not prime. Res64: 07F453A1180CC5C2 Time : 0.0 sec. user=vaughan [2012-04-22 02:31:51] 589*2^1130665-1 is not prime. Res64: FF03352E47FFFC3F Time : 0.0 sec. user=vaughan [2012-04-22 02:32:52] 585*2^1130663-1 is not prime. Res64: A383CDF09B7DE5EA Time : 0.0 sec. user=vaughan [2012-04-22 02:32:53] 473*2^1130664-1 is not prime. Res64: 6CC49271DB3664E8 Time : 0.0 sec. user=vaughan [2012-04-22 02:33:32] 507*2^1130664-1 is not prime. Res64: F56ECD1A5431DA89 Time : 0.0 sec. user=vaughan [2012-04-22 02:33:34] 525*2^1130664-1 is not prime. Res64: 705673AE04D03B59 Time : 0.0 sec. user=vaughan [2012-04-22 02:46:52] 555*2^1130667-1 is not prime. Res64: 5A368A8098BE73B5 Time : 0.0 sec. user=vaughan [2012-04-22 02:46:56] 497*2^1130668-1 is not prime. Res64: 12620A1B6A837DAA Time : 0.0 sec. user=vaughan [2012-04-22 02:47:14] 567*2^1130668-1 is not prime. Res64: E14AFA62AD93FE72 Time : 0.0 sec. user=vaughan [2012-04-22 02:47:27] 459*2^1130669-1 is not prime. Res64: B81709EEA920EEE1 Time : 0.0 sec. user=vaughan [2012-04-22 02:47:48] 483*2^1130666-1 is not prime. Res64: 0B581CBD726AC5B7 Time : 0.0 sec. user=vaughan [2012-04-22 02:47:49] 503*2^1130666-1 is not prime. Res64: 4399EFF8D9AC046E Time : 0.0 sec. user=vaughan [2012-04-22 02:47:59] 501*2^1130667-1 is not prime. Res64: B2265AEC04AA5198 Time : 0.0 sec. user=vaughan [2012-04-22 02:53:42] 465*2^1130669-1 is not prime. Res64: 951E8E750DE44228 Time : 0.0 sec. user=vaughan [2012-04-22 02:53:42] 481*2^1130669-1 is not prime. Res64: F2126315DB3670AB Time : 0.0 sec. user=vaughan [2012-04-22 02:54:25] 487*2^1130669-1 is not prime. Res64: A8AA9C4D038E4E0F Time : 0.0 sec. user=vaughan [2012-04-22 02:54:25] 549*2^1130669-1 is not prime. Res64: B61978FAF7BD2AEE Time : 0.0 sec. user=vaughan [2012-04-22 03:02:38] 405*2^1130670-1 is not prime. Res64: 3D13D3B09FC48EAE Time : 0.0 sec. user=vaughan [2012-04-22 03:02:41] 571*2^1130669-1 is not prime. Res64: 5BF43D3755E9B660 Time : 0.0 sec. user=vaughan [2012-04-22 03:02:52] 411*2^1130670-1 is not prime. Res64: 2B1EF7C4D1218CCF Time : 0.0 sec. user=vaughan [2012-04-22 03:03:05] 437*2^1130670-1 is not prime. Res64: 70E5D273F0682836 Time : 0.0 sec. user=vaughan [2012-04-22 03:08:16] 471*2^1130670-1 is not prime. Res64: 5F16D3CFFD8ED686 Time : 0.0 sec. user=vaughan [2012-04-22 03:08:19] 503*2^1130670-1 is not prime. Res64: E5955373D13DB628 Time : 0.0 sec. user=juhehe [2012-04-22 03:11:04] 531*2^1130595-1 is not prime. Res64: 90CE33CA29CC5CC5 Time : 0.0 sec. user=vaughan [2012-04-22 03:12:42] 555*2^1130670-1 is not prime. Res64: 256D188F3464FEDC Time : 0.0 sec. user=vaughan [2012-04-22 03:12:46] 469*2^1130671-1 is not prime. Res64: 28A04DEFD649F118 Time : 0.0 sec. user=vaughan [2012-04-22 03:14:40] 413*2^1130672-1 is not prime. Res64: E547B3B32E99D30B Time : 0.0 sec. user=vaughan [2012-04-22 03:14:42] 507*2^1130672-1 is not prime. Res64: 78AEA787CCDB630C Time : 0.0 sec. user=vaughan [2012-04-22 03:15:24] 471*2^1130673-1 is not prime. Res64: 4488F508E61B445C Time : 0.0 sec. user=gd_barnes [2012-04-22 03:15:26] 405*2^1130671-1 is not prime. Res64: A1EA9FAD9A1BB443 Time : 0.0 sec. user=vaughan [2012-04-22 03:15:31] 481*2^1130673-1 is not prime. Res64: BF7DA90F1364BD1B Time : 0.0 sec. user=vaughan [2012-04-22 03:16:40] 529*2^1130667-1 is not prime. Res64: 740A7B82EE034181 Time : 0.0 sec. user=vaughan [2012-04-22 03:18:13] 425*2^1130674-1 is not prime. Res64: 8DECE3884981AB91 Time : 0.0 sec. user=vaughan [2012-04-22 03:18:14] 453*2^1130674-1 is not prime. Res64: 85EE719D3F9429AF Time : 0.0 sec. user=vaughan [2012-04-22 03:18:27] 483*2^1130674-1 is not prime. Res64: 839C6A2922516B66 Time : 0.0 sec. user=vaughan [2012-04-22 03:18:39] 495*2^1130674-1 is not prime. Res64: EF646EC2102DAEBA Time : 0.0 sec. user=vaughan [2012-04-22 03:26:14] 451*2^1130675-1 is not prime. Res64: 8D732E93390D29A2 Time : 0.0 sec. user=vaughan [2012-04-22 03:28:38] 531*2^1130674-1 is not prime. Res64: 9B691610F43DDD98 Time : 0.0 sec. user=vaughan [2012-04-22 03:28:39] 545*2^1130674-1 is not prime. Res64: CAF33CBA52020AA9 Time : 0.0 sec. user=vaughan [2012-04-22 03:32:20] 413*2^1130674-1 is not prime. Res64: CC161C82AB690BFB Time : 0.0 sec. user=vaughan [2012-04-22 03:33:50] 561*2^1130677-1 is not prime. Res64: 39B22AFE7B0DAEB1 Time : 0.0 sec. user=vaughan [2012-04-22 03:33:53] 555*2^1130677-1 is not prime. Res64: CF014B5AA1A95975 Time : 0.0 sec. user=vaughan [2012-04-22 03:34:06] 589*2^1130677-1 is not prime. Res64: F8A7C6A65C5BA679 Time : 0.0 sec. user=vaughan [2012-04-22 03:34:16] 595*2^1130677-1 is not prime. Res64: CC943ED0A0E3A871 Time : 0.0 sec. user=vaughan [2012-04-22 03:35:32] 511*2^1130675-1 is not prime. Res64: 6AB605BF4CF56C08 Time : 0.0 sec. user=vaughan [2012-04-22 03:35:33] 413*2^1130676-1 is not prime. Res64: 06BEC46D0E808767 Time : 0.0 sec. user=vaughan [2012-04-22 03:36:22] 513*2^1130676-1 is not prime. Res64: 1CD4971491CF388D Time : 0.0 sec. user=vaughan [2012-04-22 03:36:22] 557*2^1130676-1 is not prime. Res64: E8B24AC608A742C3 Time : 0.0 sec. user=vaughan [2012-04-22 03:37:09] 427*2^1130677-1 is not prime. Res64: 550ABF17F837C2BF Time : 0.0 sec. user=vaughan [2012-04-22 03:48:57] 425*2^1130678-1 is not prime. Res64: 075770CD4B953392 Time : 0.0 sec. user=vaughan [2012-04-22 03:48:58] 461*2^1130678-1 is not prime. Res64: 9FB681F5949FDF0A Time : 0.0 sec. user=vaughan [2012-04-22 03:49:28] 567*2^1130678-1 is not prime. Res64: AC1D005D5D8DB8F1 Time : 0.0 sec. user=vaughan [2012-04-22 03:49:29] 441*2^1130679-1 is not prime. Res64: 34C3A44599D18A45 Time : 0.0 sec. user=vaughan [2012-04-22 03:49:43] 465*2^1130679-1 is not prime. Res64: 2C904AB3E9ED4D5B Time : 0.0 sec. user=vaughan [2012-04-22 03:49:53] 511*2^1130679-1 is not prime. Res64: BC9713A208BD5A10 Time : 0.0 sec. user=vaughan [2012-04-22 03:56:29] 559*2^1130679-1 is not prime. Res64: BAF6909D254687FF Time : 0.0 sec. user=vaughan [2012-04-22 03:56:30] 573*2^1130679-1 is not prime. Res64: 5D8C5E7555466C43 Time : 0.0 sec. user=vaughan [2012-04-22 03:57:13] 405*2^1130680-1 is not prime. Res64: 294CAA1EA4DCD724 Time : 0.0 sec. user=vaughan [2012-04-22 03:57:14] 539*2^1130680-1 is not prime. Res64: A209AF4354DB6E35 Time : 0.0 sec. user=vaughan [2012-04-22 03:57:24] 537*2^1130681-1 is not prime. Res64: 9ACCD7F27BA804C0 Time : 0.0 sec. user=vaughan [2012-04-22 04:00:15] 543*2^1130682-1 is not prime. Res64: DEA3578D7D9059F5 Time : 0.0 sec. user=vaughan [2012-04-22 04:00:18] 507*2^1130682-1 is not prime. Res64: 2305BE75FE752172 Time : 0.0 sec. user=vaughan [2012-04-22 04:01:03] 537*2^1130677-1 is not prime. Res64: 102216F928AC55D2 Time : 0.0 sec. user=vaughan [2012-04-22 04:01:32] 551*2^1130682-1 is not prime. Res64: CCC9EA52D1222C10 Time : 0.0 sec. user=vaughan [2012-04-22 04:05:05] 533*2^1130684-1 is not prime. Res64: 7A532D06E8C5BE2D Time : 0.0 sec. user=vaughan [2012-04-22 04:05:11] 593*2^1130682-1 is not prime. Res64: 12F41B18D5191C10 Time : 0.0 sec. user=vaughan [2012-04-22 04:05:20] 557*2^1130684-1 is not prime. Res64: F9A9769ECA85BB3C Time : 0.0 sec. user=vaughan [2012-04-22 04:05:34] 475*2^1130685-1 is not prime. Res64: C0B74297F6B70A2E Time : 0.0 sec. user=vaughan [2012-04-22 04:09:22] 567*2^1130682-1 is not prime. Res64: 0193EC36C57C7429 Time : 0.0 sec. user=vaughan [2012-04-22 04:09:23] 585*2^1130682-1 is not prime. Res64: AD81CBB68C66DA62 Time : 0.0 sec. user=vaughan [2012-04-22 04:17:16] 529*2^1130685-1 is not prime. Res64: 8977846C06BD2766 Time : 0.0 sec. user=vaughan [2012-04-22 04:17:16] 455*2^1130686-1 is not prime. Res64: 5A0FF33CA2E65DF3 Time : 0.0 sec. user=vaughan [2012-04-22 04:18:00] 491*2^1130686-1 is not prime. Res64: 738680B89C6E57D7 Time : 0.0 sec. user=vaughan [2012-04-22 04:18:00] 597*2^1130686-1 is not prime. Res64: CD138BAD18320EDB Time : 0.0 sec. user=vaughan [2012-04-22 04:20:41] 503*2^1130688-1 is not prime. Res64: 53C3EDA46A85609E Time : 0.0 sec. user=vaughan [2012-04-22 04:20:47] 411*2^1130689-1 is not prime. Res64: 45125D47C8B0FA38 Time : 0.0 sec. user=vaughan [2012-04-22 04:20:59] 415*2^1130689-1 is not prime. Res64: 3E511C493C1477A6 Time : 0.0 sec. user=vaughan [2012-04-22 04:21:10] 471*2^1130689-1 is not prime. Res64: F241747BECF55743 Time : 0.0 sec. user=vaughan [2012-04-22 04:21:32] 505*2^1130687-1 is not prime. Res64: 3801FC52B8E1EE1C Time : 0.0 sec. user=vaughan [2012-04-22 04:21:32] 589*2^1130687-1 is not prime. Res64: 516451AE8A85D7D4 Time : 0.0 sec. user=vaughan [2012-04-22 04:24:30] 481*2^1130689-1 is not prime. Res64: CE1C7380ABD67C4B Time : 0.0 sec. user=vaughan [2012-04-22 04:29:46] 407*2^1130690-1 is not prime. Res64: 1E183F00CEB03F0F Time : 0.0 sec. user=vaughan [2012-04-22 04:29:46] 431*2^1130690-1 is not prime. Res64: A05A289CC2B3EF3C Time : 0.0 sec. user=vaughan [2012-04-22 04:32:11] 501*2^1130690-1 is not prime. Res64: ED6D563632A481C2 Time : 0.0 sec. user=vaughan [2012-04-22 04:36:19] 549*2^1130691-1 is not prime. Res64: 1BBEDFA4CBD908DF Time : 0.0 sec. user=vaughan [2012-04-22 04:36:24] 445*2^1130693-1 is not prime. Res64: 6973DA973E0FEB36 Time : 0.0 sec. user=vaughan [2012-04-22 04:36:36] 487*2^1130693-1 is not prime. Res64: 299D128B87276FCC Time : 0.0 sec. user=vaughan [2012-04-22 04:36:47] 537*2^1130693-1 is not prime. Res64: 4FBA71F71DCA295D Time : 0.0 sec. user=vaughan [2012-04-22 04:38:08] 561*2^1130690-1 is not prime. Res64: 3C82D74B0AF7F1BA Time : 0.0 sec. user=vaughan [2012-04-22 04:38:09] 585*2^1130690-1 is not prime. Res64: 8A923B3F16254BC4 Time : 0.0 sec. user=vaughan [2012-04-22 04:38:50] 439*2^1130691-1 is not prime. Res64: AD7364C5C342D60B Time : 0.0 sec. user=vaughan [2012-04-22 04:38:51] 453*2^1130691-1 is not prime. Res64: 39D9FF7DC617B0CC Time : 0.0 sec. user=gd_barnes [2012-04-22 04:40:31] 503*2^1130690-1 is not prime. Res64: DD82DCA89B5F4236 Time : 0.0 sec. user=vaughan [2012-04-22 04:41:13] 545*2^1130678-1 is not prime. Res64: 9930214D0BFC05C9 Time : 0.0 sec. user=vaughan [2012-04-22 04:41:46] 413*2^1130694-1 is not prime. Res64: 4F2669FF70107E7C Time : 0.0 sec. user=vaughan [2012-04-22 04:41:46] 417*2^1130694-1 is not prime. Res64: F35824C29DCA6BD7 Time : 0.0 sec. user=vaughan [2012-04-22 04:50:03] 425*2^1130694-1 is not prime. Res64: 56BE0D7F7BED87A0 Time : 0.0 sec. user=vaughan [2012-04-22 04:50:04] 503*2^1130694-1 is not prime. Res64: 6D002E4F514AFCAE Time : 0.0 sec. user=vaughan [2012-04-22 04:52:16] 511*2^1130695-1 is not prime. Res64: 8CFED953914DE936 Time : 0.0 sec. user=vaughan [2012-04-22 04:52:18] 421*2^1130695-1 is not prime. Res64: C1B19717D1D8D72F Time : 0.0 sec. user=vaughan [2012-04-22 04:52:24] 535*2^1130695-1 is not prime. Res64: 40C8019DDAB4CCEC Time : 0.0 sec. user=vaughan [2012-04-22 04:52:26] 555*2^1130695-1 is not prime. Res64: C63194B69C5A2734 Time : 0.0 sec. user=vaughan [2012-04-22 04:58:56] 417*2^1130696-1 is not prime. Res64: 2F8F05852B2D44DE Time : 0.0 sec. user=vaughan [2012-04-22 04:58:56] 459*2^1130696-1 is not prime. Res64: 21FF7D9150CB6D21 Time : 0.0 sec. user=vaughan [2012-04-22 04:59:37] 483*2^1130696-1 is not prime. Res64: 0A1689833D4966E1 Time : 0.0 sec. user=vaughan [2012-04-22 04:59:38] 495*2^1130696-1 is not prime. Res64: 202CE356FB44FDB2 Time : 0.0 sec. user=vaughan [2012-04-22 05:02:01] 593*2^1130696-1 is not prime. Res64: BA9AE0CB85E7C913 Time : 0.0 sec. user=vaughan [2012-04-22 05:02:02] 405*2^1130697-1 is not prime. Res64: 3602D1A969C0B351 Time : 0.0 sec. user=vaughan [2012-04-22 05:07:52] 517*2^1130697-1 is not prime. Res64: 9FD8F6998761D80E Time : 0.0 sec. user=vaughan [2012-04-22 05:07:59] 435*2^1130698-1 is not prime. Res64: 23CAB041F6969524 Time : 0.0 sec. user=vaughan [2012-04-22 05:08:05] 403*2^1130699-1 is not prime. Res64: D2EA844499EA7766 Time : 0.0 sec. user=vaughan [2012-04-22 05:08:09] 465*2^1130699-1 is not prime. Res64: 95F3939D4CE2C16F Time : 0.0 sec. user=vaughan [2012-04-22 05:10:22] 427*2^1130697-1 is not prime. Res64: C025CA69819D0931 Time : 0.0 sec. user=vaughan [2012-04-22 05:10:25] 511*2^1130697-1 is not prime. Res64: C40FD05AD53308C9 Time : 0.0 sec. user=vaughan [2012-04-22 05:19:44] 553*2^1130699-1 is not prime. Res64: E7B77B28AF31427C Time : 0.0 sec. user=vaughan [2012-04-22 05:19:45] 437*2^1130700-1 is not prime. Res64: CD93DFB55DB463E7 Time : 0.0 sec. user=vaughan [2012-04-22 05:20:22] 515*2^1130700-1 is not prime. Res64: 34D8AF4AA144634C Time : 0.0 sec. user=vaughan [2012-04-22 05:20:23] 585*2^1130700-1 is not prime. Res64: 8E3D73290792458C Time : 0.0 sec. user=vaughan [2012-04-22 05:22:23] 541*2^1130701-1 is not prime. Res64: 98A951A10B730B0A Time : 0.0 sec. user=vaughan [2012-04-22 05:22:24] 547*2^1130701-1 is not prime. Res64: 45803982A23780B8 Time : 0.0 sec. user=vaughan [2012-04-22 05:23:28] 405*2^1130702-1 is not prime. Res64: 266281C74F15B724 Time : 0.0 sec. user=vaughan [2012-04-22 05:23:33] 407*2^1130702-1 is not prime. Res64: 7E991BC7BAC6AD5B Time : 0.0 sec. user=vaughan [2012-04-22 05:23:41] 437*2^1130702-1 is not prime. Res64: 7EF30639653F2CC5 Time : 0.0 sec. user=vaughan [2012-04-22 05:23:46] 507*2^1130702-1 is not prime. Res64: E411723F03F5F361 Time : 0.0 sec. user=gd_barnes [2012-04-22 05:28:54] 577*2^1130701-1 is not prime. Res64: DDCD846D7B1153A6 Time : 0.0 sec. user=vaughan [2012-04-22 05:30:43] 521*2^1130702-1 is not prime. Res64: 4F0F9849E1683FF4 Time : 0.0 sec. user=vaughan [2012-04-22 05:30:44] 591*2^1130702-1 is not prime. Res64: 94208AFBB5DC48C4 Time : 0.0 sec. user=gd_barnes [2012-04-22 05:31:05] 549*2^1130701-1 is not prime. Res64: 265E2609B3BCF31A Time : 0.0 sec. user=vaughan [2012-04-22 05:39:13] 567*2^1130704-1 is not prime. Res64: 27C9A7283505BCFC Time : 0.0 sec. user=vaughan [2012-04-22 05:39:16] 575*2^1130704-1 is not prime. Res64: 683B6316A731952B Time : 0.0 sec. user=vaughan [2012-04-22 05:39:20] 441*2^1130705-1 is not prime. Res64: 0DA10310D5577C3C Time : 0.0 sec. user=vaughan [2012-04-22 05:39:30] 489*2^1130705-1 is not prime. Res64: 0C3D1ED2EE0EFE20 Time : 0.0 sec. user=vaughan [2012-04-22 05:40:47] 465*2^1130703-1 is not prime. Res64: 1CC1D8379997138C Time : 0.0 sec. user=vaughan [2012-04-22 05:40:47] 475*2^1130703-1 is not prime. Res64: E91F87E0448ACF18 Time : 0.0 sec. user=vaughan [2012-04-22 05:41:17] 595*2^1130703-1 is not prime. Res64: EACE2EEFD17091AB Time : 0.0 sec. user=vaughan [2012-04-22 05:41:17] 453*2^1130704-1 is not prime. Res64: BB16FA55323085FB Time : 0.0 sec. user=vaughan [2012-04-22 05:42:41] 489*2^1130704-1 is not prime. Res64: 4ECDB61FC3251595 Time : 0.0 sec. user=vaughan [2012-04-22 05:42:41] 507*2^1130704-1 is not prime. Res64: 74829A726BD5D584 Time : 0.0 sec. user=vaughan [2012-04-22 05:50:54] 507*2^1130705-1 is not prime. Res64: 61CB617F5BAEA167 Time : 0.0 sec. user=vaughan [2012-04-22 05:50:55] 537*2^1130705-1 is not prime. Res64: E43EA2089024C078 Time : 0.0 sec. user=vaughan [2012-04-22 05:54:50] 405*2^1130706-1 is not prime. Res64: C23C40C9FA2F124B Time : 0.0 sec. user=vaughan [2012-04-22 05:54:53] 579*2^1130705-1 is not prime. Res64: 34C3C5C29E583391 Time : 0.0 sec. user=vaughan [2012-04-22 05:55:00] 473*2^1130706-1 is not prime. Res64: BC8B2BF360365875 Time : 0.0 sec. user=vaughan [2012-04-22 05:55:07] 503*2^1130706-1 is not prime. Res64: 725926047CA92BDB Time : 0.0 sec. user=vaughan [2012-04-22 06:01:41] 463*2^1130707-1 is not prime. Res64: 7765A1AFD7261FCA Time : 0.0 sec. user=vaughan [2012-04-22 06:01:42] 471*2^1130707-1 is not prime. Res64: 2173C99ACD4A66DA Time : 0.0 sec. user=vaughan [2012-04-22 06:02:01] 493*2^1130707-1 is not prime. Res64: DB3CE3F5286E8737 Time : 0.0 sec. user=vaughan [2012-04-22 06:02:01] 555*2^1130707-1 is not prime. Res64: 5082DD9FB43BB01A Time : 0.0 sec. user=vaughan [2012-04-22 06:03:00] 435*2^1130708-1 is not prime. Res64: 133A9011B34BFF77 Time : 0.0 sec. user=vaughan [2012-04-22 06:03:01] 449*2^1130708-1 is not prime. Res64: 4C49E42768391669 Time : 0.0 sec. user=vaughan [2012-04-22 06:10:28] 469*2^1130709-1 is not prime. Res64: 0A378371E4F9CADA Time : 0.0 sec. user=vaughan [2012-04-22 06:10:31] 507*2^1130709-1 is not prime. Res64: 45B95D09E8A67137 Time : 0.0 sec. user=vaughan [2012-04-22 06:10:38] 559*2^1130709-1 is not prime. Res64: 69CC3829C7F0C72E Time : 0.0 sec. user=vaughan [2012-04-22 06:10:42] 465*2^1130710-1 is not prime. Res64: 388BE36DDB28758A Time : 0.0 sec. user=vaughan [2012-04-22 06:11:10] 567*2^1130708-1 is not prime. Res64: 7E4924308D855CB0 Time : 0.0 sec. user=vaughan [2012-04-22 06:11:11] 427*2^1130709-1 is not prime. Res64: E6EEF92E2603D211 Time : 0.0 sec. user=vaughan [2012-04-22 06:22:30] 477*2^1130710-1 is not prime. Res64: DE09696AC7DE6C8A Time : 0.0 sec. user=vaughan [2012-04-22 06:22:31] 549*2^1130711-1 is not prime. Res64: 29C868F98A8A72F4 Time : 0.0 sec. user=vaughan [2012-04-22 06:22:42] 419*2^1130712-1 is not prime. Res64: DC216CFFA47CDC40 Time : 0.0 sec. user=vaughan [2012-04-22 06:22:43] 447*2^1130712-1 is not prime. Res64: 59EB6BCEF408C7FA Time : 0.0 sec. user=vaughan [2012-04-22 06:23:25] 503*2^1130712-1 is not prime. Res64: 466F998BF5B21C0C Time : 0.0 sec. user=vaughan [2012-04-22 06:23:25] 549*2^1130712-1 is not prime. Res64: 232C6316F3EC3D3D Time : 0.0 sec. user=vaughan [2012-04-22 06:24:08] 533*2^1130708-1 is not prime. Res64: B0394A813CE9AE03 Time : 0.0 sec. user=vaughan [2012-04-22 06:26:06] 591*2^1130713-1 is not prime. Res64: AAE7C2EA87C4AEC9 Time : 0.0 sec. user=vaughan [2012-04-22 06:26:09] 411*2^1130714-1 is not prime. Res64: 6FF29DC158039114 Time : 0.0 sec. user=vaughan [2012-04-22 06:26:18] 525*2^1130714-1 is not prime. Res64: DD56131100D85483 Time : 0.0 sec. user=vaughan [2012-04-22 06:26:20] 561*2^1130714-1 is not prime. Res64: D977A62666E89BBF Time : 0.0 sec. user=vaughan [2012-04-22 06:31:28] 567*2^1130714-1 is not prime. Res64: 96D723816B6EA7E5 Time : 0.0 sec. user=vaughan [2012-04-22 06:31:29] 573*2^1130714-1 is not prime. Res64: 0885C6EA0752DD64 Time : 0.0 sec. user=vaughan [2012-04-22 06:33:28] 559*2^1130713-1 is not prime. Res64: 630F1DA319B1F032 Time : 0.0 sec. user=vaughan [2012-04-22 06:41:50] 441*2^1130719-1 is not prime. Res64: 4AB6775F526275AF Time : 0.0 sec. user=vaughan [2012-04-22 06:41:51] 563*2^1130718-1 is not prime. Res64: 177FD4CB6AFF9E23 Time : 0.0 sec. user=vaughan [2012-04-22 06:42:01] 463*2^1130719-1 is not prime. Res64: B428AFE37D2BC940 Time : 0.0 sec. user=vaughan [2012-04-22 06:42:03] 483*2^1130719-1 is not prime. Res64: F4D38544FA8F8E1C Time : 0.0 sec. user=vaughan [2012-04-22 06:43:22] 411*2^1130715-1 is not prime. Res64: E6E3F96D0A9552C9 Time : 0.0 sec. user=vaughan [2012-04-22 06:43:23] 481*2^1130715-1 is not prime. Res64: C15983B8F956AF7D Time : 0.0 sec. user=vaughan [2012-04-22 06:43:29] 535*2^1130715-1 is not prime. Res64: 63D4644BC3C04709 Time : 0.0 sec. user=vaughan [2012-04-22 06:43:32] 563*2^1130716-1 is not prime. Res64: D25A3CBFBE4437E2 Time : 0.0 sec. user=vaughan [2012-04-22 06:43:45] 517*2^1130717-1 is not prime. Res64: FD9507F113C5C859 Time : 0.0 sec. user=vaughan [2012-04-22 06:43:47] 431*2^1130718-1 is not prime. Res64: 76FF7E81C18D355D Time : 0.0 sec. user=vaughan [2012-04-22 06:51:44] 555*2^1130719-1 is not prime. Res64: A7075C1EA64E6B74 Time : 0.0 sec. user=vaughan [2012-04-22 06:51:45] 561*2^1130719-1 is not prime. Res64: BC790F7B0A62568B Time : 0.0 sec. user=vaughan [2012-04-22 06:57:34] 483*2^1130720-1 is not prime. Res64: 9B7AB352E5759532 Time : 0.0 sec. user=vaughan [2012-04-22 06:57:35] 539*2^1130720-1 is not prime. Res64: 8ECC8BD5376F4557 Time : 0.0 sec. user=vaughan [2012-04-22 06:57:41] 409*2^1130721-1 is not prime. Res64: F1F51C014D7DC1FD Time : 0.0 sec. user=vaughan [2012-04-22 06:57:51] 495*2^1130721-1 is not prime. Res64: 5AA54DEC1E80F09C Time : 0.0 sec. user=vaughan [2012-04-22 07:04:06] 511*2^1130721-1 is not prime. Res64: 8AEC335A3EAD86E2 Time : 0.0 sec. user=vaughan [2012-04-22 07:04:09] 531*2^1130721-1 is not prime. Res64: 1A5B12018E9A52EC Time : 0.0 sec. user=vaughan [2012-04-22 07:04:12] 491*2^1130722-1 is not prime. Res64: C8AB2A7DB2D3C5DF Time : 0.0 sec. user=vaughan [2012-04-22 07:04:15] 525*2^1130722-1 is not prime. Res64: C40EA8C89930FE2E Time : 0.0 sec. user=vaughan [2012-04-22 07:04:27] 435*2^1130722-1 is not prime. Res64: E845A7108F60AECC Time : 0.0 sec. user=vaughan [2012-04-22 07:04:30] 467*2^1130722-1 is not prime. Res64: 7FE3EAC1B08B3562 Time : 0.0 sec. user=vaughan [2012-04-22 07:12:01] 527*2^1130722-1 is not prime. Res64: 0F14B1DC64C9A6DC Time : 0.0 sec. user=vaughan [2012-04-22 07:12:03] 551*2^1130722-1 is not prime. Res64: D61D608E3F9A74AD Time : 0.0 sec. user=vaughan [2012-04-22 07:13:12] 453*2^1130723-1 is not prime. Res64: B3BEFCE58EDA0711 Time : 0.0 sec. user=vaughan [2012-04-22 07:13:13] 505*2^1130723-1 is not prime. Res64: 50456CE944519383 Time : 0.0 sec. user=vaughan [2012-04-22 07:13:18] 413*2^1130724-1 is not prime. Res64: F7DC7EBCB4A1E006 Time : 0.0 sec. user=vaughan [2012-04-22 07:13:29] 481*2^1130725-1 is not prime. Res64: 85CD6BA5DEDEFB52 Time : 0.0 sec. user=vaughan [2012-04-22 07:24:40] 567*2^1130728-1 is not prime. Res64: 89317CFC9ABE4710 Time : 0.0 sec. user=vaughan [2012-04-22 07:24:40] 483*2^1130726-1 is not prime. Res64: B645BFB7C2432C63 Time : 0.0 sec. user=vaughan [2012-04-22 07:24:41] 441*2^1130727-1 is not prime. Res64: A8BEDA8F4C5D8FE3 Time : 0.0 sec. user=vaughan [2012-04-22 07:25:03] 507*2^1130725-1 is not prime. Res64: 194A185E99058A20 Time : 0.0 sec. user=vaughan [2012-04-22 07:25:04] 525*2^1130725-1 is not prime. Res64: 6ED9ABBF4421DD36 Time : 0.0 sec. user=vaughan [2012-04-22 07:25:24] 579*2^1130727-1 is not prime. Res64: 22E465797A77ED61 Time : 0.0 sec. user=vaughan [2012-04-22 07:25:25] 437*2^1130728-1 is not prime. Res64: 6FA49E58C2AA50BE Time : 0.0 sec. user=vaughan [2012-04-22 07:28:42] 527*2^1130728-1 is not prime. Res64: 49618FCBCB788B64 Time : 0.0 sec. user=vaughan [2012-04-22 07:28:49] 437*2^1130730-1 is not prime. Res64: 891041A8F73922D5 Time : 0.0 sec. user=vaughan [2012-04-22 07:28:50] 501*2^1130730-1 is not prime. Res64: C9C80C691C4502D9 Time : 0.0 sec. user=vaughan [2012-04-22 07:28:53] 465*2^1130731-1 is not prime. Res64: 35F4939B047EF10D Time : 0.0 sec. user=vaughan [2012-04-22 07:29:08] 507*2^1130732-1 is not prime. Res64: 336784D09BBDA37E Time : 0.0 sec. user=vaughan [2012-04-22 07:31:11] 431*2^1130730-1 is not prime. Res64: 20FAC8E7EB6C94F0 Time : 0.0 sec. user=vaughan [2012-04-22 07:32:18] 575*2^1130728-1 is not prime. Res64: 7072EE258E6C97E9 Time : 0.0 sec. user=vaughan [2012-04-22 07:32:19] 489*2^1130729-1 is not prime. Res64: 1E5ACED3F35316B0 Time : 0.0 sec. user=henryzz [2012-04-22 07:40:27] 565*2^1130593-1 is not prime. Res64: 9E4AB269093D0147 Time : 0.0 sec. user=henryzz [2012-04-22 07:40:35] 469*2^1130595-1 is not prime. Res64: 599DF730C39B1723 Time : 0.0 sec. user=henryzz [2012-04-22 07:40:36] 497*2^1130594-1 is not prime. Res64: 6C9A35D6B73CB146 Time : 0.0 sec. user=henryzz [2012-04-22 07:40:40] 425*2^1130594-1 is not prime. Res64: EAF95FBF00F21AD1 Time : 0.0 sec. user=vaughan [2012-04-22 07:44:25] 525*2^1130734-1 is not prime. Res64: 4C34C75CCC1880A0 Time : 0.0 sec. user=vaughan [2012-04-22 07:44:27] 555*2^1130734-1 is not prime. Res64: A815DABC98B7D3ED Time : 0.0 sec. user=vaughan [2012-04-22 07:44:30] 475*2^1130735-1 is not prime. Res64: DFDF4AD5DC5CEA0B Time : 0.0 sec. user=vaughan [2012-04-22 07:44:44] 525*2^1130735-1 is not prime. Res64: C75E84E4411929CC Time : 0.0 sec. user=vaughan [2012-04-22 07:45:03] 573*2^1130732-1 is not prime. Res64: 8A362848B4E9376F Time : 0.0 sec. user=vaughan [2012-04-22 07:45:05] 599*2^1130732-1 is not prime. Res64: C8B2CC00C242B57A Time : 0.0 sec. user=vaughan [2012-04-22 07:45:54] 429*2^1130733-1 is not prime. Res64: A7B2F1BFDDFC9A2B Time : 0.0 sec. user=vaughan [2012-04-22 07:45:55] 525*2^1130733-1 is not prime. Res64: 0E531786CECF8171 Time : 0.0 sec. user=vaughan [2012-04-22 07:46:15] 537*2^1130733-1 is not prime. Res64: D2FC7F3B4FBD1F43 Time : 0.0 sec. user=vaughan [2012-04-22 07:46:15] 559*2^1130733-1 is not prime. Res64: 37E7039779C98F04 Time : 0.0 sec. user=vaughan [2012-04-22 07:52:33] 591*2^1130735-1 is not prime. Res64: CC8C54E756BDF9BB Time : 0.0 sec. user=vaughan [2012-04-22 07:52:33] 413*2^1130736-1 is not prime. Res64: 6E90A29569EB9767 Time : 0.0 sec. user=vaughan [2012-04-22 08:00:00] 511*2^1130737-1 is not prime. Res64: 3E5CA06A0D45EB2A Time : 0.0 sec. user=vaughan [2012-04-22 08:00:01] 467*2^1130738-1 is not prime. Res64: 9CFA417C82AACEAB Time : 0.0 sec. user=vaughan [2012-04-22 08:00:10] 507*2^1130738-1 is not prime. Res64: D6EFD2AEA4E1D998 Time : 0.0 sec. user=henryzz [2012-04-22 08:00:14] 441*2^1130737-1 is not prime. Res64: 0913FA435ECD303F Time : 0.0 sec. user=henryzz [2012-04-22 08:00:19] 447*2^1130737-1 is not prime. Res64: 35CF544BA2154A6C Time : 0.0 sec. user=henryzz [2012-04-22 08:00:21] 489*2^1130737-1 is not prime. Res64: B7103A893E20B7D7 Time : 0.0 sec. user=vaughan [2012-04-22 08:00:22] 575*2^1130738-1 is not prime. Res64: AEB271F36C06BF3A Time : 0.0 sec. user=henryzz [2012-04-22 08:00:29] 505*2^1130737-1 is not prime. Res64: 042FE10C34F78EC7 Time : 0.0 sec. user=vaughan [2012-04-22 08:05:26] 433*2^1130739-1 is not prime. Res64: A4E2E014B3A54650 Time : 0.0 sec. user=vaughan [2012-04-22 08:05:28] 465*2^1130739-1 is not prime. Res64: DFF6C79F3400DE63 Time : 0.0 sec. user=vaughan [2012-04-22 08:06:44] 469*2^1130739-1 is not prime. Res64: 9EDAFD47768C6660 Time : 0.0 sec. user=vaughan [2012-04-22 08:06:47] 513*2^1130739-1 is not prime. Res64: 57EE1B2BD9FF23FA Time : 0.0 sec. user=vaughan [2012-04-22 08:07:09] 531*2^1130739-1 is not prime. Res64: 13FA654EFD88F523 Time : 0.0 sec. user=vaughan [2012-04-22 08:07:12] 429*2^1130740-1 is not prime. Res64: 1F2F0931E5DD6D51 Time : 0.0 sec. user=vaughan [2012-04-22 08:12:45] 443*2^1130740-1 is not prime. Res64: D70EDB3D630D060F Time : 0.0 sec. user=vaughan [2012-04-22 08:12:50] 453*2^1130740-1 is not prime. Res64: 426A659866CB677D Time : 0.0 sec. user=vaughan [2012-04-22 08:15:40] 409*2^1130741-1 is not prime. Res64: 1731A52F1E026792 Time : 0.0 sec. user=vaughan [2012-04-22 08:15:42] 567*2^1130740-1 is not prime. Res64: F1ED5E9A28C1D7AF Time : 0.0 sec. user=vaughan [2012-04-22 08:15:52] 421*2^1130741-1 is not prime. Res64: 43F785129164C0A0 Time : 0.0 sec. user=vaughan [2012-04-22 08:16:00] 547*2^1130741-1 is not prime. Res64: F6D283FB12F33A72 Time : 0.0 sec. user=henryzz [2012-04-22 08:19:27] 543*2^1130742-1 is not prime. Res64: FC59AE62E494F34F Time : 0.0 sec. user=henryzz [2012-04-22 08:19:28] 559*2^1130741-1 is not prime. Res64: BF454982B4892C3C Time : 0.0 sec. user=henryzz [2012-04-22 08:19:41] 413*2^1130742-1 is not prime. Res64: 56BA35F149F20B6A Time : 0.0 sec. user=henryzz [2012-04-22 08:19:47] 581*2^1130742-1 is not prime. Res64: 5AFE0E0D2A066F1F Time : 0.0 sec. user=vaughan [2012-04-22 08:24:05] 517*2^1130745-1 is not prime. Res64: 975D2823EBA8478B Time : 0.0 sec. user=vaughan [2012-04-22 08:25:54] 587*2^1130742-1 is not prime. Res64: 8976E275B1592047 Time : 0.0 sec. user=vaughan [2012-04-22 08:25:56] 453*2^1130743-1 is not prime. Res64: C97E4EFF834AAED9 Time : 0.0 sec. user=vaughan [2012-04-22 08:27:40] 489*2^1130743-1 is not prime. Res64: 8EF345FEC0C1B061 Time : 0.0 sec. user=vaughan [2012-04-22 08:27:41] 567*2^1130744-1 is not prime. Res64: 442FEDB705F0F8F7 Time : 0.0 sec. user=vaughan [2012-04-22 08:28:09] 587*2^1130744-1 is not prime. Res64: E557DE4F266539C0 Time : 0.0 sec. user=vaughan [2012-04-22 08:28:10] 599*2^1130744-1 is not prime. Res64: 3BF3B5A6076B3655 Time : 0.0 sec. user=vaughan [2012-04-22 08:30:01] 511*2^1130745-1 is not prime. Res64: FCDBA2E12E9642CC Time : 0.0 sec. user=vaughan [2012-04-22 08:31:17] 595*2^1130745-1 is not prime. Res64: AA848AA194A48680 Time : 0.0 sec. user=vaughan [2012-04-22 08:31:23] 411*2^1130746-1 is not prime. Res64: DF6266C9FDDC8994 Time : 0.0 sec. user=vaughan [2012-04-22 08:31:31] 461*2^1130746-1 is not prime. Res64: 5C7FA88330511E6B Time : 0.0 sec. user=vaughan [2012-04-22 08:31:34] 465*2^1130746-1 is not prime. Res64: 60165ACD3B75BEA6 Time : 0.0 sec. user=vaughan [2012-04-22 08:33:06] 565*2^1130745-1 is not prime. Res64: 3A755F8CC9D34934 Time : 0.0 sec. user=vaughan [2012-04-22 08:33:07] 585*2^1130745-1 is not prime. Res64: 2614233368A38A02 Time : 0.0 sec. user=henryzz [2012-04-22 08:38:40] 497*2^1130746-1 is not prime. Res64: 2371FC34C09B5DC7 Time : 0.0 sec. user=henryzz [2012-04-22 08:38:44] 575*2^1130746-1 is not prime. Res64: DD89F68DDB79B539 Time : 0.0 sec. user=henryzz [2012-04-22 08:38:58] 593*2^1130746-1 is not prime. Res64: FED6C35143C9970B Time : 0.0 sec. user=henryzz [2012-04-22 08:39:00] 451*2^1130747-1 is not prime. Res64: CB6796CC877735AA Time : 0.0 sec. user=vaughan [2012-04-22 08:46:12] 495*2^1130747-1 is not prime. Res64: 003F1298A3B92461 Time : 0.0 sec. user=vaughan [2012-04-22 08:46:13] 565*2^1130747-1 is not prime. Res64: 26429413DB0A1A3D Time : 0.0 sec. user=vaughan [2012-04-22 08:46:55] 499*2^1130749-1 is not prime. Res64: F88F43779B4AD09B Time : 0.0 sec. user=vaughan [2012-04-22 08:46:58] 505*2^1130749-1 is not prime. Res64: 2309A1509D57A9FE Time : 0.0 sec. user=vaughan [2012-04-22 08:47:06] 511*2^1130749-1 is not prime. Res64: C77BB014A0CD252B Time : 0.0 sec. user=vaughan [2012-04-22 08:47:10] 577*2^1130749-1 is not prime. Res64: 59E1AFC794BAE6EC Time : 0.0 sec. user=vaughan [2012-04-22 08:48:31] 459*2^1130748-1 is not prime. Res64: B47F93E5EC89BEE0 Time : 0.0 sec. user=vaughan [2012-04-22 08:48:31] 513*2^1130748-1 is not prime. Res64: 29348202B26AA852 Time : 0.0 sec. user=vaughan [2012-04-22 08:49:04] 549*2^1130748-1 is not prime. Res64: 529FBA3E10A9F0DC Time : 0.0 sec. user=vaughan [2012-04-22 08:49:05] 465*2^1130749-1 is not prime. Res64: DC65CFCA6055C673 Time : 0.0 sec. user=vaughan [2012-04-22 08:53:24] 595*2^1130749-1 is not prime. Res64: C07E9F3295AA12BB Time : 0.0 sec. user=vaughan [2012-04-22 08:53:26] 405*2^1130750-1 is not prime. Res64: DE6506162C3EFCFC Time : 0.0 sec. user=henryzz [2012-04-22 08:57:51] 467*2^1130750-1 is not prime. Res64: 794CC2F1801FFFEF Time : 0.0 sec. user=henryzz [2012-04-22 08:57:53] 557*2^1130750-1 is not prime. Res64: BB0F3853C381E425 Time : 0.0 sec. user=henryzz [2012-04-22 08:58:08] 567*2^1130750-1 is not prime. Res64: 93BC9B7B674DE1C9 Time : 0.0 sec. user=henryzz [2012-04-22 08:58:09] 581*2^1130750-1 is not prime. Res64: 195995D3B8AD9AF9 Time : 0.0 sec. user=vaughan [2012-04-22 09:02:34] 507*2^1130752-1 is not prime. Res64: 85EF092EAC84E334 Time : 0.0 sec. user=vaughan [2012-04-22 09:02:36] 537*2^1130752-1 is not prime. Res64: 89CA2D493465C4B2 Time : 0.0 sec. user=vaughan [2012-04-22 09:02:43] 593*2^1130752-1 is not prime. Res64: 507E8F1B5E875775 Time : 0.0 sec. user=vaughan [2012-04-22 09:02:47] 439*2^1130753-1 is not prime. Res64: F2355AE4ABC3561C Time : 0.0 sec. user=vaughan [2012-04-22 09:06:31] 459*2^1130751-1 is not prime. Res64: 2661334996563333 Time : 0.0 sec. user=vaughan [2012-04-22 09:06:34] 489*2^1130752-1 is not prime. Res64: 9F82F652B1D2A837 Time : 0.0 sec. user=vaughan [2012-04-22 09:09:18] 417*2^1130754-1 is not prime. Res64: 69D83C18CEE74C60 Time : 0.0 sec. user=vaughan [2012-04-22 09:09:20] 437*2^1130754-1 is not prime. Res64: 0ED203AECC69E186 Time : 0.0 sec. user=vaughan [2012-04-22 09:09:52] 443*2^1130754-1 is not prime. Res64: 08659F4989285DD6 Time : 0.0 sec. user=vaughan [2012-04-22 09:09:53] 531*2^1130754-1 is not prime. Res64: 3440E1112A227F7A Time : 0.0 sec. user=vaughan [2012-04-22 09:13:46] 563*2^1130754-1 is not prime. Res64: 1C51A36445BDA5BC Time : 0.0 sec. user=vaughan [2012-04-22 09:13:48] 593*2^1130754-1 is not prime. Res64: DA6413031D641EA2 Time : 0.0 sec. user=henryzz [2012-04-22 09:17:32] 421*2^1130755-1 is not prime. Res64: AB0559D702001541 Time : 0.0 sec. user=henryzz [2012-04-22 09:17:37] 595*2^1130755-1 is not prime. Res64: A41BACD3110676EE Time : 0.0 sec. user=henryzz [2012-04-22 09:17:40] 495*2^1130755-1 is not prime. Res64: 5A3AD27348B4EDB0 Time : 0.0 sec. user=henryzz [2012-04-22 09:17:41] 433*2^1130755-1 is not prime. Res64: BA1276CE5EDB4C05 Time : 0.0 sec. user=vaughan [2012-04-22 09:18:17] 537*2^1130756-1 is not prime. Res64: 3C781653A220D4C4 Time : 0.0 sec. user=vaughan [2012-04-22 09:18:20] 447*2^1130756-1 is not prime. Res64: 34E2FF9159BBE0AB Time : 0.0 sec. user=vaughan [2012-04-22 09:18:20] 439*2^1130757-1 is not prime. Res64: 8932D0F711DC4587 Time : 0.0 sec. user=vaughan [2012-04-22 09:18:24] 499*2^1130757-1 is not prime. Res64: 1FAF72A199A2507D Time : 0.0 sec. user=vaughan [2012-04-22 09:26:55] 537*2^1130757-1 is not prime. Res64: 6E855B1BC9BFF9FD Time : 0.0 sec. user=vaughan [2012-04-22 09:26:56] 453*2^1130758-1 is not prime. Res64: E4CB481CB9F35F2E Time : 0.0 sec. user=vaughan [2012-04-22 09:30:15] 461*2^1130758-1 is not prime. Res64: B60436791C559683 Time : 0.0 sec. user=vaughan [2012-04-22 09:30:16] 503*2^1130758-1 is not prime. Res64: 24EE709FE56DFEFE Time : 0.0 sec. user=vaughan [2012-04-22 09:30:40] 597*2^1130758-1 is not prime. Res64: 21363F5073319C45 Time : 0.0 sec. user=vaughan [2012-04-22 09:30:41] 445*2^1130759-1 is not prime. Res64: C91419932F00D524 Time : 0.0 sec. user=vaughan [2012-04-22 09:34:00] 521*2^1130762-1 is not prime. Res64: ADD197759FD9771C Time : 0.0 sec. user=vaughan [2012-04-22 09:34:02] 439*2^1130763-1 is not prime. Res64: AD2B417687ABD5A2 Time : 0.0 sec. user=vaughan [2012-04-22 09:34:03] 437*2^1130762-1 is not prime. Res64: 592FA37B9093BFC9 Time : 0.0 sec. user=vaughan [2012-04-22 09:34:03] 415*2^1130763-1 is not prime. Res64: 87A729A04B7B6B1E Time : 0.0 sec. user=vaughan [2012-04-22 09:34:24] 525*2^1130759-1 is not prime. Res64: 2F7498CE3A86F238 Time : 0.0 sec. user=vaughan [2012-04-22 09:34:26] 579*2^1130759-1 is not prime. Res64: 809947D0C9FA9252 Time : 0.0 sec. user=henryzz [2012-04-22 09:37:48] 453*2^1130760-1 is not prime. Res64: AA3BCFC86F819805 Time : 0.0 sec. user=henryzz [2012-04-22 09:37:50] 525*2^1130761-1 is not prime. Res64: AAE7B6214AD3DEE0 Time : 0.0 sec. user=henryzz [2012-04-22 09:37:57] 429*2^1130761-1 is not prime. Res64: 612DBD757DC2D468 Time : 0.0 sec. user=henryzz [2012-04-22 09:39:57] 407*2^1130762-1 is not prime. Res64: E00643123A75DB1F Time : 0.0 sec. user=vaughan [2012-04-22 09:47:21] 571*2^1130763-1 is not prime. Res64: 1C27D0A896E3A729 Time : 0.0 sec. user=vaughan [2012-04-22 09:47:22] 583*2^1130763-1 is not prime. Res64: 96C712648C4E426C Time : 0.0 sec. user=vaughan [2012-04-22 09:51:01] 527*2^1130764-1 is not prime. Res64: 7284D0AF82FF5CAE Time : 0.0 sec. user=vaughan [2012-04-22 09:51:01] 587*2^1130764-1 is not prime. Res64: 3DFBEE2CB9FF24EB Time : 0.0 sec. user=vaughan [2012-04-22 09:51:32] 593*2^1130764-1 is not prime. Res64: 4F99C4DB945E50E7 Time : 0.0 sec. user=vaughan [2012-04-22 09:51:33] 451*2^1130765-1 is not prime. Res64: 2E629C5CEA3ECD41 Time : 0.0 sec. user=vaughan [2012-04-22 09:54:50] 405*2^1130768-1 is not prime. Res64: F0C94012755D28DC Time : 0.0 sec. user=vaughan [2012-04-22 09:54:51] 489*2^1130768-1 is not prime. Res64: D61CE59A71B403D8 Time : 0.0 sec. user=henryzz [2012-04-22 09:56:55] 555*2^1130769-1 is not prime. Res64: C882B72A075428FF Time : 0.0 sec. user=henryzz [2012-04-22 09:57:02] 519*2^1130768-1 is not prime. Res64: 054A06265D771CB8 Time : 0.0 sec. user=henryzz [2012-04-22 09:57:14] 423*2^1130770-1 is not prime. Res64: 128A0175DB3E1E68 Time : 0.0 sec. user=henryzz [2012-04-22 09:59:14] 437*2^1130770-1 is not prime. Res64: 79D94DD6D1C74A24 Time : 0.0 sec. user=vaughan [2012-04-22 10:07:52] 567*2^1130770-1 is not prime. Res64: 71E9B7A458F21DB7 Time : 0.0 sec. user=vaughan [2012-04-22 10:07:54] 421*2^1130771-1 is not prime. Res64: FAA73E3835EF8889 Time : 0.0 sec. user=vaughan [2012-04-22 10:11:42] 433*2^1130771-1 is not prime. Res64: C3BB6151C5C3C417 Time : 0.0 sec. user=vaughan [2012-04-22 10:11:46] 585*2^1130771-1 is not prime. Res64: 4875201376532DD5 Time : 0.0 sec. user=vaughan [2012-04-22 10:12:22] 437*2^1130772-1 is not prime. Res64: 313376ED2E0707DB Time : 0.0 sec. user=vaughan [2012-04-22 10:12:25] 467*2^1130772-1 is not prime. Res64: C557B8F2CF4DE9E3 Time : 0.0 sec. user=vaughan [2012-04-22 10:15:17] 411*2^1130773-1 is not prime. Res64: 01F5D41E7CFA6751 Time : 0.0 sec. user=vaughan [2012-04-22 10:15:19] 451*2^1130773-1 is not prime. Res64: 8E73B429574BF325 Time : 0.0 sec. user=henryzz [2012-04-22 10:16:07] 471*2^1130773-1 is not prime. Res64: 8EDDA3E582BAA9A7 Time : 0.0 sec. user=henryzz [2012-04-22 10:16:26] 547*2^1130773-1 is not prime. Res64: 259D9A659EA9CCD2 Time : 0.0 sec. user=henryzz [2012-04-22 10:16:41] 525*2^1130773-1 is not prime. Res64: 311AFB9E24947826 Time : 0.0 sec. user=henryzz [2012-04-22 10:18:37] 549*2^1130773-1 is not prime. Res64: A44D87DE6B01D74D Time : 0.0 sec. user=vaughan [2012-04-22 10:28:22] 559*2^1130773-1 is not prime. Res64: 66AABE3AD40A70D1 Time : 0.0 sec. user=vaughan [2012-04-22 10:28:23] 589*2^1130773-1 is not prime. Res64: 1474268C41EC2608 Time : 0.0 sec. user=vaughan [2012-04-22 10:32:45] 591*2^1130773-1 is not prime. Res64: DC4A3E5E67EC00D2 Time : 0.0 sec. user=vaughan [2012-04-22 10:32:46] 573*2^1130774-1 is not prime. Res64: F8C86653933D666A Time : 0.0 sec. user=vaughan [2012-04-22 10:33:28] 403*2^1130775-1 is not prime. Res64: 7B9FCC843528A08F Time : 0.0 sec. user=vaughan [2012-04-22 10:33:29] 493*2^1130775-1 is not prime. Res64: AFDF4D8884BF1F0A Time : 0.0 sec. user=henryzz [2012-04-22 10:35:31] 485*2^1130776-1 is not prime. Res64: 7CA5D2293B5BC279 Time : 0.0 sec. user=vaughan [2012-04-22 10:35:38] 535*2^1130775-1 is not prime. Res64: 7F7B4A7746489F3D Time : 0.0 sec. user=vaughan [2012-04-22 10:35:39] 579*2^1130775-1 is not prime. Res64: 7B0A3636F7978676 Time : 0.0 sec. user=henryzz [2012-04-22 10:36:01] 569*2^1130776-1 is not prime. Res64: C0CF2F89837C536A Time : 0.0 sec. user=henryzz [2012-04-22 10:36:04] 563*2^1130776-1 is not prime. Res64: 70A5E4459741A042 Time : 0.0 sec. user=henryzz [2012-04-22 10:38:15] 435*2^1130777-1 is not prime. Res64: D4A7C10B4F536EE1 Time : 0.0 sec. user=vaughan [2012-04-22 10:48:54] 465*2^1130777-1 is not prime. Res64: BC66F52D386B1E18 Time : 0.0 sec. user=vaughan [2012-04-22 10:48:54] 565*2^1130777-1 is not prime. Res64: C70DB02E3828EAC7 Time : 0.0 sec. user=vaughan [2012-04-22 10:53:25] 585*2^1130777-1 is not prime. Res64: 19F823E864B66127 Time : 0.0 sec. user=vaughan [2012-04-22 10:53:26] 453*2^1130778-1 is not prime. Res64: 6837C56E8CCF9FF6 Time : 0.0 sec. user=vaughan [2012-04-22 10:54:24] 465*2^1130778-1 is not prime. Res64: E93AE59ECF67DB87 Time : 0.0 sec. user=vaughan [2012-04-22 10:54:24] 483*2^1130778-1 is not prime. Res64: 3F9C642D5A14301B Time : 0.0 sec. user=henryzz [2012-04-22 10:55:04] 405*2^1130780-1 is not prime. Res64: 810C5215DA8D109C Time : 0.0 sec. user=henryzz [2012-04-22 10:55:19] 425*2^1130780-1 is not prime. Res64: EE419928A36E479E Time : 0.0 sec. user=henryzz [2012-04-22 10:55:33] 473*2^1130780-1 is not prime. Res64: 768B61BC6A35830C Time : 0.0 sec. user=vaughan [2012-04-22 10:55:54] 505*2^1130779-1 is not prime. Res64: CEC5213A595F9D4B Time : 0.0 sec. user=vaughan [2012-04-22 10:55:55] 555*2^1130779-1 is not prime. Res64: D0E69CD0BB86C18A Time : 0.0 sec. user=henryzz [2012-04-22 10:57:30] 447*2^1130781-1 is not prime. Res64: 881F710176D95935 Time : 0.0 sec. user=vaughan [2012-04-22 11:07:54] 525*2^1130778-1 is not prime. Res64: 413450021B486F9D Time : 0.0 sec. user=vaughan [2012-04-22 11:09:21] 471*2^1130781-1 is not prime. Res64: 88D65CFFE0DFF515 Time : 0.0 sec. user=vaughan [2012-04-22 11:09:24] 517*2^1130781-1 is not prime. Res64: 9FF419710D71201C Time : 0.0 sec. user=vaughan [2012-04-22 11:14:12] 531*2^1130781-1 is not prime. Res64: 63F91D0055CDC4B1 Time : 0.0 sec. user=vaughan [2012-04-22 11:14:13] 401*2^1130782-1 is not prime. Res64: 17FB76EC0EAF7817 Time : 0.0 sec. user=henryzz [2012-04-22 11:14:28] 507*2^1130782-1 is not prime. Res64: 9D73CE991EDFFBF5 Time : 0.0 sec. user=henryzz [2012-04-22 11:14:48] 423*2^1130783-1 is not prime. Res64: D602E78934579673 Time : 0.0 sec. user=vaughan [2012-04-22 11:15:05] 461*2^1130782-1 is not prime. Res64: 2E75E012F8A6C82F Time : 0.0 sec. user=vaughan [2012-04-22 11:15:11] 483*2^1130782-1 is not prime. Res64: 098DFBB5203074EA Time : 0.0 sec. user=henryzz [2012-04-22 11:15:13] 493*2^1130783-1 is not prime. Res64: 3CD2FEF40A10E11D Time : 0.0 sec. user=vaughan [2012-04-22 11:16:20] 511*2^1130783-1 is not prime. Res64: 5851460B1A91A0D0 Time : 0.0 sec. user=vaughan [2012-04-22 11:16:20] 523*2^1130783-1 is not prime. Res64: 2F1CFB07E872D0C0 Time : 0.0 sec. user=henryzz [2012-04-22 11:17:04] 425*2^1130784-1 is not prime. Res64: 5C100DE8DE0DEF96 Time : 0.0 sec. user=vaughan [2012-04-22 11:29:56] 437*2^1130784-1 is not prime. Res64: 9CC9AA0F8E5DE3F7 Time : 0.0 sec. user=vaughan [2012-04-22 11:29:57] 539*2^1130784-1 is not prime. Res64: 30471E1AE5FD7BAF Time : 0.0 sec. user=henryzz [2012-04-22 11:33:46] 481*2^1130785-1 is not prime. Res64: C8A0441B2C580EF1 Time : 0.0 sec. user=henryzz [2012-04-22 11:34:33] 489*2^1130785-1 is not prime. Res64: 17F066BD98CE92AA Time : 0.0 sec. user=henryzz [2012-04-22 11:34:49] 501*2^1130786-1 is not prime. Res64: 47C48584641D843E Time : 0.0 sec. user=vaughan [2012-04-22 11:35:04] 549*2^1130784-1 is not prime. Res64: B468B1DC9ACE739D Time : 0.0 sec. user=vaughan [2012-04-22 11:35:05] 569*2^1130784-1 is not prime. Res64: 45B83C56A0636152 Time : 0.0 sec. user=vaughan [2012-04-22 11:36:03] 577*2^1130785-1 is not prime. Res64: 5C72F555B079D44E Time : 0.0 sec. user=vaughan [2012-04-22 11:36:03] 497*2^1130786-1 is not prime. Res64: 9E6D2057E053C5FC Time : 0.0 sec. user=vaughan [2012-04-22 11:36:34] 551*2^1130786-1 is not prime. Res64: 4545DF78214C10F9 Time : 0.0 sec. user=vaughan [2012-04-22 11:36:35] 405*2^1130788-1 is not prime. Res64: 32BA7A399F7B9A92 Time : 0.0 sec. user=henryzz [2012-04-22 11:36:58] 539*2^1130788-1 is not prime. Res64: 93660AAE18CE5050 Time : 0.0 sec. user=vaughan [2012-04-22 11:50:15] 411*2^1130789-1 is not prime. Res64: 4DC96F8C269002F4 Time : 0.0 sec. user=vaughan [2012-04-22 11:50:16] 465*2^1130789-1 is not prime. Res64: 14E24F1F3A298A85 Time : 0.0 sec. user=vaughan [2012-04-22 11:55:53] 415*2^1130791-1 is not prime. Res64: F65B43B15B6E31EE Time : 0.0 sec. user=vaughan [2012-04-22 11:55:54] 519*2^1130792-1 is not prime. Res64: 37EE39B1B647A815 Time : 0.0 sec. user=henryzz [2012-04-22 11:56:33] 495*2^1130789-1 is not prime. Res64: 0311414F2BFD6FFE Time : 0.0 sec. user=henryzz [2012-04-22 11:56:35] 469*2^1130789-1 is not prime. Res64: 359568436E098E45 Time : 0.0 sec. user=vaughan [2012-04-22 11:56:47] 595*2^1130793-1 is not prime. Res64: 69491E39094185F9 Time : 0.0 sec. user=vaughan [2012-04-22 11:56:47] 423*2^1130794-1 is not prime. Res64: FC1DC27069E6702E Time : 0.0 sec. user=vaughan [2012-04-22 11:56:54] 557*2^1130792-1 is not prime. Res64: BFC62A8F38E6C42D Time : 0.0 sec. user=vaughan [2012-04-22 11:56:54] 409*2^1130793-1 is not prime. Res64: 284C066D79594C68 Time : 0.0 sec. user=henryzz [2012-04-22 11:57:06] 447*2^1130790-1 is not prime. Res64: 755B80B08F75474C Time : 0.0 sec. user=henryzz [2012-04-22 11:58:38] 477*2^1130794-1 is not prime. Res64: 47ABF0D4AC636B56 Time : 0.0 sec. user=vaughan [2012-04-22 12:10:37] 463*2^1130795-1 is not prime. Res64: 896E6A065949F6A5 Time : 0.0 sec. user=vaughan [2012-04-22 12:10:38] 519*2^1130795-1 is not prime. Res64: 7280B9B9F000DC3E Time : 0.0 sec. user=vaughan [2012-04-22 12:16:35] 525*2^1130794-1 is not prime. Res64: 42283268112A0333 Time : 0.0 sec. user=vaughan [2012-04-22 12:16:47] 531*2^1130795-1 is not prime. Res64: C788AE50E74D45F2 Time : 0.0 sec. user=vaughan [2012-04-22 12:16:47] 579*2^1130795-1 is not prime. Res64: 74F1B01986105DE4 Time : 0.0 sec. user=vaughan [2012-04-22 12:17:06] 513*2^1130796-1 is not prime. Res64: E1EE542FDF048E60 Time : 0.0 sec. user=vaughan [2012-04-22 12:17:07] 567*2^1130796-1 is not prime. Res64: F0A0C3A368A67EAF Time : 0.0 sec. user=henryzz [2012-04-22 12:17:29] 503*2^1130796-1 is not prime. Res64: E658D945E133EED4 Time : 0.0 sec. user=vaughan [2012-04-22 12:17:46] 545*2^1130798-1 is not prime. Res64: 88827239C96005AD Time : 0.0 sec. user=vaughan [2012-04-22 12:17:47] 451*2^1130799-1 is not prime. Res64: 602CFCE619A3A66D Time : 0.0 sec. user=henryzz [2012-04-22 12:18:11] 585*2^1130795-1 is not prime. Res64: 7DA5A75C0E845389 Time : 0.0 sec. user=henryzz [2012-04-22 12:18:16] 511*2^1130799-1 is not prime. Res64: 25B4B08EA7D7E12F Time : 0.0 sec. user=henryzz [2012-04-22 12:19:01] 465*2^1130800-1 is not prime. Res64: 099BCB20097106D6 Time : 0.0 sec. user=vaughan [2012-04-22 12:30:58] 489*2^1130800-1 is not prime. Res64: AABEAD215CC7C737 Time : 0.0 sec. user=vaughan [2012-04-22 12:30:58] 533*2^1130800-1 is not prime. Res64: 206680F6DE625EC8 Time : 0.0 sec. user=vaughan [2012-04-22 12:37:30] 585*2^1130801-1 is not prime. Res64: 8B3BF54A18815125 Time : 0.0 sec. user=vaughan [2012-04-22 12:37:31] 405*2^1130802-1 is not prime. Res64: 0CAF3AC7C909C4E9 Time : 0.0 sec. user=vaughan [2012-04-22 12:37:35] 445*2^1130801-1 is not prime. Res64: B4FF968073666FE2 Time : 0.0 sec. user=vaughan [2012-04-22 12:37:36] 537*2^1130801-1 is not prime. Res64: F077BC1E4BF22C25 Time : 0.0 sec. user=henryzz [2012-04-22 12:38:02] 425*2^1130802-1 is not prime. Res64: F1B4C45E63A5ECC3 Time : 0.0 sec. user=vaughan [2012-04-22 12:38:31] 431*2^1130802-1 is not prime. Res64: 88D3AEFE12F875DF Time : 0.0 sec. user=vaughan [2012-04-22 12:38:32] 501*2^1130802-1 is not prime. Res64: 4587CCFB6B1DB18B Time : 0.0 sec. user=henryzz [2012-04-22 12:38:50] 503*2^1130802-1 is not prime. Res64: CC3640DE5741AC36 Time : 0.0 sec. user=henryzz [2012-04-22 12:38:53] 563*2^1130802-1 is not prime. Res64: 6C5D714697F91772 Time : 0.0 sec. user=henryzz [2012-04-22 12:39:45] 415*2^1130803-1 is not prime. Res64: 94ADA69C4A12CAE4 Time : 0.0 sec. user=vaughan [2012-04-22 12:51:25] 429*2^1130803-1 is not prime. Res64: 44D15D1FF39A8FB6 Time : 0.0 sec. user=vaughan [2012-04-22 12:51:25] 495*2^1130803-1 is not prime. Res64: 8ABF43A95A0A74A9 Time : 0.0 sec. user=vaughan [2012-04-22 12:57:45] 499*2^1130803-1 is not prime. Res64: 59A362EE581556CE Time : 0.0 sec. user=vaughan [2012-04-22 12:57:46] 437*2^1130804-1 is not prime. Res64: 3F345DDEF884B24B Time : 0.0 sec. user=vaughan [2012-04-22 12:58:20] 459*2^1130805-1 is not prime. Res64: F014AAA60E2695FA Time : 0.0 sec. user=vaughan [2012-04-22 12:58:21] 495*2^1130805-1 is not prime. Res64: 86DFBA62925C6D44 Time : 0.0 sec. user=henryzz [2012-04-22 12:58:30] 537*2^1130805-1 is not prime. Res64: F8EC76BD0CBAEAEE Time : 0.0 sec. user=henryzz [2012-04-22 12:59:06] 413*2^1130806-1 is not prime. Res64: 98AC6733FCDF83FF Time : 0.0 sec. user=henryzz [2012-04-22 12:59:11] 551*2^1130806-1 is not prime. Res64: 1B4304AB98C1D4B5 Time : 0.0 sec. user=vaughan [2012-04-22 12:59:14] 591*2^1130805-1 is not prime. Res64: DF13BFF195A96C03 Time : 0.0 sec. user=vaughan [2012-04-22 12:59:14] 405*2^1130806-1 is not prime. Res64: 5BF9E3847573A2DB Time : 0.0 sec. user=henryzz [2012-04-22 13:00:10] 567*2^1130806-1 is not prime. Res64: D24B4E41645E9DA9 Time : 0.0 sec. user=vaughan [2012-04-22 13:11:40] 573*2^1130806-1 is not prime. Res64: CEB2B212C9C43534 Time : 0.0 sec. user=vaughan [2012-04-22 13:11:43] 581*2^1130806-1 is not prime. Res64: 5158CC07B59D9A96 Time : 0.0 sec. user=vaughan [2012-04-22 13:18:02] 589*2^1130807-1 is not prime. Res64: 686A13725D525096 Time : 0.0 sec. user=vaughan [2012-04-22 13:18:03] 595*2^1130807-1 is not prime. Res64: 05CF54451FA7B347 Time : 0.0 sec. user=henryzz [2012-04-22 13:18:33] 555*2^1130808-1 is not prime. Res64: 9BA0704C7AD52A79 Time : 0.0 sec. user=vaughan [2012-04-22 13:19:12] 423*2^1130808-1 is not prime. Res64: 5DF76E7C0417CA85 Time : 0.0 sec. user=vaughan [2012-04-22 13:19:13] 515*2^1130808-1 is not prime. Res64: 11E8EBBF85024FCE Time : 0.0 sec. user=henryzz [2012-04-22 13:19:16] 567*2^1130808-1 is not prime. Res64: 86BC92E7FE3848D7 Time : 0.0 sec. user=henryzz [2012-04-22 13:19:23] 587*2^1130810-1 is not prime. Res64: FC84FD11BE9AF69C Time : 0.0 sec. user=vaughan [2012-04-22 13:19:57] 569*2^1130808-1 is not prime. Res64: BEA1D4E0EB08F14B Time : 0.0 sec. user=vaughan [2012-04-22 13:19:57] 555*2^1130809-1 is not prime. Res64: A9C4A06259EA0DC9 Time : 0.0 sec. user=henryzz [2012-04-22 13:20:36] 469*2^1130811-1 is not prime. Res64: 9827CA6B8A8F8A5C Time : 0.0 sec. user=vaughan [2012-04-22 13:25:29] 519*2^1130807-1 is not prime. Res64: ECD9922416892A88 Time : 0.0 sec. user=vaughan [2012-04-22 13:32:05] 549*2^1130811-1 is not prime. Res64: CD03D0201FC90603 Time : 0.0 sec. user=vaughan [2012-04-22 13:32:06] 429*2^1130812-1 is not prime. Res64: 9F0DFAFAE2CD5119 Time : 0.0 sec. user=gd_barnes [2012-04-22 13:33:28] 529*2^1130811-1 is not prime. Res64: 6DB6B9BDCDA6ADFD Time : 0.0 sec. user=vaughan [2012-04-22 13:38:24] 497*2^1130812-1 is not prime. Res64: FD1AEBBC5F2D8B3E Time : 0.0 sec. user=vaughan [2012-04-22 13:38:24] 507*2^1130812-1 is not prime. Res64: E7603440A5E38E2C Time : 0.0 sec. user=henryzz [2012-04-22 13:39:20] 485*2^1130814-1 is not prime. Res64: 4DFCF0476F2AC48F Time : 0.0 sec. user=henryzz [2012-04-22 13:39:31] 527*2^1130812-1 is not prime. Res64: FE24378ADF105AA9 Time : 0.0 sec. user=vaughan [2012-04-22 13:40:01] 537*2^1130812-1 is not prime. Res64: 827D8CE0AD3509A2 Time : 0.0 sec. user=vaughan [2012-04-22 13:40:01] 537*2^1130813-1 is not prime. Res64: A33B5B69E64D8DBE Time : 0.0 sec. user=henryzz [2012-04-22 13:40:07] 543*2^1130814-1 is not prime. Res64: EF823BFFF3ADAB46 Time : 0.0 sec. user=henryzz [2012-04-22 13:40:26] 511*2^1130815-1 is not prime. Res64: D2FB49A1C831CFAF Time : 0.0 sec. user=vaughan [2012-04-22 13:40:42] 593*2^1130814-1 is not prime. Res64: 4903791938F60A89 Time : 0.0 sec. user=vaughan [2012-04-22 13:40:43] 451*2^1130815-1 is not prime. Res64: 80958E9B154E5D1A Time : 0.0 sec. user=vaughan [2012-04-22 13:52:30] 553*2^1130815-1 is not prime. Res64: A63247669CF2D1D7 Time : 0.0 sec. user=vaughan [2012-04-22 13:52:31] 459*2^1130816-1 is not prime. Res64: BCF177F5835FD9FE Time : 0.0 sec. user=vaughan [2012-04-22 13:58:56] 503*2^1130816-1 is not prime. Res64: BEE635CA1DBF4A96 Time : 0.0 sec. user=vaughan [2012-04-22 13:58:57] 525*2^1130816-1 is not prime. Res64: AE7AD3BF80A9946D Time : 0.0 sec. user=vaughan [2012-04-22 14:01:01] 403*2^1130819-1 is not prime. Res64: ED4F20FC8A43E287 Time : 0.0 sec. user=vaughan [2012-04-22 14:01:03] 435*2^1130819-1 is not prime. Res64: AC58C256E3E2B520 Time : 0.0 sec. user=vaughan [2012-04-22 14:01:46] 565*2^1130819-1 is not prime. Res64: 87E41ABEAD4874C6 Time : 0.0 sec. user=vaughan [2012-04-22 14:01:47] 465*2^1130820-1 is not prime. Res64: 6B2B4A8C63B9BA8B Time : 0.0 sec. user=henryzz [2012-04-22 14:02:25] 499*2^1130817-1 is not prime. Res64: 7EC314F6EA858B2D Time : 0.0 sec. user=henryzz [2012-04-22 14:02:55] 427*2^1130817-1 is not prime. Res64: E39E61CF12876ECE Time : 0.0 sec. user=henryzz [2012-04-22 14:03:06] 523*2^1130819-1 is not prime. Res64: F1CB48AA5E272345 Time : 0.0 sec. user=henryzz [2012-04-22 14:03:33] 441*2^1130819-1 is not prime. Res64: 8181BFEE040D1EDC Time : 0.0 sec. user=vaughan [2012-04-22 14:12:47] 557*2^1130820-1 is not prime. Res64: EF328B10B9615002 Time : 0.0 sec. user=vaughan [2012-04-22 14:12:49] 465*2^1130821-1 is not prime. Res64: 5B102E6CB3025DA5 Time : 0.0 sec. user=vaughan [2012-04-22 14:19:11] 469*2^1130821-1 is not prime. Res64: A7CEC1A44E938C71 Time : 0.0 sec. user=vaughan [2012-04-22 14:19:12] 477*2^1130821-1 is not prime. Res64: 15239607329982F0 Time : 0.0 sec. user=vaughan [2012-04-22 14:21:51] 555*2^1130821-1 is not prime. Res64: 7F598E60C85CED88 Time : 0.0 sec. user=vaughan [2012-04-22 14:21:51] 597*2^1130821-1 is not prime. Res64: 15BFEDB9F7CC365E Time : 0.0 sec. user=vaughan [2012-04-22 14:22:32] 477*2^1130822-1 is not prime. Res64: 3ED25C4B768536CD Time : 0.0 sec. user=vaughan [2012-04-22 14:22:33] 501*2^1130822-1 is not prime. Res64: 17CECE1E8EB373CA Time : 0.0 sec. user=henryzz [2012-04-22 14:28:37] 525*2^1130822-1 is not prime. Res64: B7443113B0388717 Time : 0.0 sec. user=henryzz [2012-04-22 14:28:50] 585*2^1130822-1 is not prime. Res64: 93CB9C909DFA2873 Time : 0.0 sec. user=henryzz [2012-04-22 14:29:02] 551*2^1130822-1 is not prime. Res64: DC957BFA556195A2 Time : 0.0 sec. user=henryzz [2012-04-22 14:30:44] 411*2^1130823-1 is not prime. Res64: F46695BA72458E8E Time : 0.0 sec. user=vaughan [2012-04-22 14:33:14] 423*2^1130823-1 is not prime. Res64: 4392A01031DA8D2B Time : 0.0 sec. user=vaughan [2012-04-22 14:33:14] 583*2^1130823-1 is not prime. Res64: 9270CD1BADA6114C Time : 0.0 sec. user=vaughan [2012-04-22 14:39:31] 569*2^1130304-1 is not prime. Res64: 13DC90859CA833EC Time : 0.0 sec. user=vaughan [2012-04-22 14:39:31] 419*2^1130824-1 is not prime. Res64: A5BDD6AE7B089387 Time : 0.0 sec. user=vaughan [2012-04-22 14:42:37] 435*2^1130824-1 is not prime. Res64: AD07AB8F57B68303 Time : 0.0 sec. user=vaughan [2012-04-22 14:42:37] 453*2^1130824-1 is not prime. Res64: 61E70A3BD94C3BAD Time : 0.0 sec. user=vaughan [2012-04-22 14:43:12] 479*2^1130824-1 is not prime. Res64: F5B161FF7E5119AC Time : 0.0 sec. user=vaughan [2012-04-22 14:43:13] 569*2^1130824-1 is not prime. Res64: 44222BE63893B55A Time : 0.0 sec. user=vaughan [2012-04-22 14:53:28] 507*2^1130825-1 is not prime. Res64: 246B2E09FEB1B10D Time : 0.0 sec. user=vaughan [2012-04-22 14:53:28] 567*2^1130825-1 is not prime. Res64: 9A4F85F42043280A Time : 0.0 sec. user=henryzz [2012-04-22 14:56:59] 575*2^1130824-1 is not prime. Res64: 113DAA5B11C3D871 Time : 0.0 sec. user=henryzz [2012-04-22 14:57:04] 447*2^1130825-1 is not prime. Res64: B1E46EBCBFB83098 Time : 0.0 sec. user=henryzz [2012-04-22 14:58:44] 469*2^1130825-1 is not prime. Res64: 3C5732C015440AF5 Time : 0.0 sec. user=henryzz [2012-04-22 14:59:25] 487*2^1130825-1 is not prime. Res64: 943DD1067892416A Time : 0.0 sec. user=vaughan [2012-04-22 14:59:41] 443*2^1130826-1 is not prime. Res64: A971105E05712B14 Time : 0.0 sec. user=vaughan [2012-04-22 14:59:41] 585*2^1130826-1 is not prime. Res64: FAB6758C6F0BE189 Time : 0.0 sec. user=vaughan [2012-04-22 15:03:24] 463*2^1130827-1 is not prime. Res64: AD59445638585F05 Time : 0.0 sec. user=vaughan [2012-04-22 15:03:25] 475*2^1130827-1 is not prime. Res64: 00AFC751F3F7ECB5 Time : 0.0 sec. user=vaughan [2012-04-22 15:04:01] 493*2^1130827-1 is not prime. Res64: E34CC4E3545D3232 Time : 0.0 sec. user=vaughan [2012-04-22 15:04:02] 499*2^1130827-1 is not prime. Res64: A6B03C5C39C686F2 Time : 0.0 sec. user=vaughan [2012-04-22 15:13:45] 511*2^1130827-1 is not prime. Res64: EBCB8176E024A73D Time : 0.0 sec. user=vaughan [2012-04-22 15:13:46] 435*2^1130828-1 is not prime. Res64: 02E407EF36D28801 Time : 0.0 sec. user=vaughan [2012-04-22 15:20:02] 579*2^1130829-1 is not prime. Res64: F71A2C5A33974373 Time : 0.0 sec. user=vaughan [2012-04-22 15:20:03] 465*2^1130830-1 is not prime. Res64: B5E59365D6B13FAE Time : 0.0 sec. user=henryzz [2012-04-22 15:22:44] 537*2^1130828-1 is not prime. Res64: 7FEE6B6190BBFE7B Time : 0.0 sec. user=henryzz [2012-04-22 15:23:03] 465*2^1130829-1 is not prime. Res64: 4C56721CB21B8909 Time : 0.0 sec. user=henryzz [2012-04-22 15:23:38] 507*2^1130829-1 is not prime. Res64: 65077EF55DE98B6E Time : 0.0 sec. user=vaughan [2012-04-22 15:24:15] 525*2^1130830-1 is not prime. Res64: 97784FB1BC923FF1 Time : 0.0 sec. user=vaughan [2012-04-22 15:24:15] 493*2^1130831-1 is not prime. Res64: 59218541029775C1 Time : 0.0 sec. user=vaughan [2012-04-22 15:24:50] 531*2^1130831-1 is not prime. Res64: B3D4D2B0B18EC54C Time : 0.0 sec. user=henryzz [2012-04-22 15:24:51] 511*2^1130829-1 is not prime. Res64: B97CBD552E9EAA6A Time : 0.0 sec. user=vaughan [2012-04-22 15:24:51] 595*2^1130831-1 is not prime. Res64: 341169D0E5C137FE Time : 0.0 sec. user=vaughan [2012-04-22 15:34:02] 495*2^1130833-1 is not prime. Res64: 9A68C65CDBB5E7DC Time : 0.0 sec. user=vaughan [2012-04-22 15:34:03] 589*2^1130833-1 is not prime. Res64: EE6E5DE7382CEB54 Time : 0.0 sec. user=vaughan [2012-04-22 15:40:23] 437*2^1130834-1 is not prime. Res64: 23D60D9B85447334 Time : 0.0 sec. user=vaughan [2012-04-22 15:40:24] 447*2^1130834-1 is not prime. Res64: EBE86BBB64556868 Time : 0.0 sec. user=vaughan [2012-04-22 15:44:40] 405*2^1130832-1 is not prime. Res64: F870F0C0F11767BD Time : 0.0 sec. user=vaughan [2012-04-22 15:45:03] 563*2^1130836-1 is not prime. Res64: FBEFF88C59F8C13B Time : 0.0 sec. user=vaughan [2012-04-22 15:45:04] 469*2^1130837-1 is not prime. Res64: C47CB1F3603169EA Time : 0.0 sec. user=vaughan [2012-04-22 15:45:34] 489*2^1130837-1 is not prime. Res64: DA2B217062110C80 Time : 0.0 sec. user=vaughan [2012-04-22 15:45:35] 549*2^1130837-1 is not prime. Res64: C4928E34B649B485 Time : 0.0 sec. user=henryzz [2012-04-22 15:45:55] 521*2^1130834-1 is not prime. Res64: BE44E579D61D757F Time : 0.0 sec. user=henryzz [2012-04-22 15:47:28] 437*2^1130836-1 is not prime. Res64: 17B03B73A67ED074 Time : 0.0 sec. user=henryzz [2012-04-22 15:48:22] 423*2^1130838-1 is not prime. Res64: 171B5AD24B66A6D4 Time : 0.0 sec. user=henryzz [2012-04-22 15:49:22] 573*2^1130834-1 is not prime. Res64: 53B5AB84216F4A55 Time : 0.0 sec. user=vaughan [2012-04-22 15:54:15] 425*2^1130838-1 is not prime. Res64: D9AF678AFC5012BF Time : 0.0 sec. user=vaughan [2012-04-22 15:54:16] 495*2^1130838-1 is not prime. Res64: D8972D37CF669E8B Time : 0.0 sec. user=vaughan [2012-04-22 16:00:39] 503*2^1130838-1 is not prime. Res64: 0989637DE926E445 Time : 0.0 sec. user=vaughan [2012-04-22 16:00:40] 585*2^1130838-1 is not prime. Res64: 0D9AC67F2993658B Time : 0.0 sec. user=vaughan [2012-04-22 16:05:48] 441*2^1130839-1 is not prime. Res64: C84BED3C1EB373DF Time : 0.0 sec. user=vaughan [2012-04-22 16:05:51] 493*2^1130839-1 is not prime. Res64: A288C214A315EC96 Time : 0.0 sec. user=vaughan [2012-04-22 16:06:25] 559*2^1130839-1 is not prime. Res64: 6372DF9C79576F3C Time : 0.0 sec. user=vaughan [2012-04-22 16:06:26] 573*2^1130839-1 is not prime. Res64: B639FA7049799A09 Time : 0.0 sec. user=henryzz [2012-04-22 16:10:06] 509*2^1130840-1 is not prime. Res64: 0C54303F3531A9FB Time : 0.0 sec. user=henryzz [2012-04-22 16:10:39] 437*2^1130840-1 is not prime. Res64: 5063A9A3CD241E77 Time : 0.0 sec. user=henryzz [2012-04-22 16:10:45] 517*2^1130841-1 is not prime. Res64: 62F5D89C6EDCA934 Time : 0.0 sec. user=henryzz [2012-04-22 16:10:52] 571*2^1130841-1 is not prime. Res64: 754FA98CFA7CFE5A Time : 0.0 sec. user=vaughan [2012-04-22 16:14:42] 545*2^1130842-1 is not prime. Res64: D082FB04A422DAF7 Time : 0.0 sec. user=vaughan [2012-04-22 16:14:43] 413*2^1130844-1 is not prime. Res64: 03AFF80679EC3C0D Time : 0.0 sec. user=vaughan [2012-04-22 16:21:02] 473*2^1130844-1 is not prime. Res64: C8A34F48FECB4351 Time : 0.0 sec. user=vaughan [2012-04-22 16:21:02] 527*2^1130844-1 is not prime. Res64: 55D2D29F52023BD5 Time : 0.0 sec. user=vaughan [2012-04-22 16:26:36] 567*2^1130844-1 is not prime. Res64: 07AD0B62DC9EC5DB Time : 0.0 sec. user=vaughan [2012-04-22 16:26:37] 585*2^1130844-1 is not prime. Res64: 39656247FFBEDEEE Time : 0.0 sec. user=vaughan [2012-04-22 16:27:10] 447*2^1130845-1 is not prime. Res64: 40D8EF3374F3C132 Time : 0.0 sec. user=vaughan [2012-04-22 16:27:10] 499*2^1130845-1 is not prime. Res64: 6DF6822E260F6E42 Time : 0.0 sec. user=henryzz [2012-04-22 16:32:49] 555*2^1130845-1 is not prime. Res64: 1ADAA1814768C41D Time : 0.0 sec. user=henryzz [2012-04-22 16:33:19] 425*2^1130846-1 is not prime. Res64: 0F73FE85FB8F2B1D Time : 0.0 sec. user=henryzz [2012-04-22 16:34:14] 595*2^1130845-1 is not prime. Res64: B4589CCDA078AA4E Time : 0.0 sec. user=henryzz [2012-04-22 16:34:28] 447*2^1130846-1 is not prime. Res64: 6D80D96FCA8BAE16 Time : 0.0 sec. user=vaughan [2012-04-22 16:35:09] 473*2^1130846-1 is not prime. Res64: E99A6520433E0D67 Time : 0.0 sec. user=vaughan [2012-04-22 16:35:10] 585*2^1130846-1 is not prime. Res64: A107F37B6289AFCD Time : 0.0 sec. user=vaughan [2012-04-22 16:41:27] 465*2^1130848-1 is not prime. Res64: C9168345322D6DAB Time : 0.0 sec. user=vaughan [2012-04-22 16:41:27] 509*2^1130848-1 is not prime. Res64: AF7562F98DDA045A Time : 0.0 sec. user=vaughan [2012-04-22 16:53:57] 471*2^1130850-1 is not prime. Res64: 625965BB10F8F171 Time : 0.0 sec. user=vaughan [2012-04-22 16:53:58] 531*2^1130850-1 is not prime. Res64: C0AFA71D8759A988 Time : 0.0 sec. user=vaughan [2012-04-22 16:55:18] 545*2^1130852-1 is not prime. Res64: 4CD929D813B20853 Time : 0.0 sec. user=vaughan [2012-04-22 16:55:18] 557*2^1130852-1 is not prime. Res64: AD285EC6DF1BBA29 Time : 0.0 sec. user=vaughan [2012-04-22 16:55:24] 465*2^1130849-1 is not prime. Res64: FC6CDDF662592700 Time : 0.0 sec. user=vaughan [2012-04-22 16:55:24] 577*2^1130849-1 is not prime. Res64: BB56C1BEEFE0974E Time : 0.0 sec. user=henryzz [2012-04-22 16:57:26] 543*2^1130850-1 is not prime. Res64: 7251E716417587AA Time : 0.0 sec. user=henryzz [2012-04-22 16:58:18] 583*2^1130851-1 is not prime. Res64: 8650F97DCC5630FD Time : 0.0 sec. user=henryzz [2012-04-22 16:59:15] 535*2^1130851-1 is not prime. Res64: CA684EC423676687 Time : 0.0 sec. user=henryzz [2012-04-22 17:01:31] 483*2^1130852-1 is not prime. Res64: 7482EF634E86F9C0 Time : 0.0 sec. user=vaughan [2012-04-22 17:01:40] 599*2^1130852-1 is not prime. Res64: F38A8BECC72A8250 Time : 0.0 sec. user=vaughan [2012-04-22 17:01:41] 495*2^1130853-1 is not prime. Res64: 93B31A87A4DC19EC Time : 0.0 sec. user=vaughan [2012-04-22 17:14:48] 529*2^1130853-1 is not prime. Res64: 49694EEF0CD3AD5A Time : 0.0 sec. user=vaughan [2012-04-22 17:14:49] 401*2^1130854-1 is not prime. Res64: 3EB19FB8DECF22E4 Time : 0.0 sec. user=vaughan [2012-04-22 17:15:32] 491*2^1130854-1 is not prime. Res64: 99D04712A42D57AE Time : 0.0 sec. user=vaughan [2012-04-22 17:15:33] 567*2^1130854-1 is not prime. Res64: 0366CDF01F25894C Time : 0.0 sec. user=vaughan [2012-04-22 17:16:15] 409*2^1130855-1 is not prime. Res64: 69A7EBA6D5C3E956 Time : 0.0 sec. user=vaughan [2012-04-22 17:16:16] 481*2^1130855-1 is not prime. Res64: 5D3ACB0A785C99B8 Time : 0.0 sec. user=henryzz [2012-04-22 17:20:25] 489*2^1130855-1 is not prime. Res64: 8ACE363108289DE6 Time : 0.0 sec. user=henryzz [2012-04-22 17:21:52] 497*2^1130856-1 is not prime. Res64: B8F50083C7F067E2 Time : 0.0 sec. user=vaughan [2012-04-22 17:21:56] 537*2^1130856-1 is not prime. Res64: AF80783B1D56C8EC Time : 0.0 sec. user=vaughan [2012-04-22 17:21:57] 427*2^1130857-1 is not prime. Res64: AC4729CA28E7A541 Time : 0.0 sec. user=henryzz [2012-04-22 17:23:12] 473*2^1130856-1 is not prime. Res64: 1A4976C8E979710F Time : 0.0 sec. user=henryzz [2012-04-22 17:24:17] 509*2^1130856-1 is not prime. Res64: 20576EE81F1965FA Time : 0.0 sec. user=vaughan [2012-04-22 17:35:33] 549*2^1130857-1 is not prime. Res64: 71532DE7AEBDBF76 Time : 0.0 sec. user=vaughan [2012-04-22 17:35:33] 507*2^1130858-1 is not prime. Res64: 9FA9029BEC2FF22E Time : 0.0 sec. user=vaughan [2012-04-22 17:36:01] 533*2^1130858-1 is not prime. Res64: 4A39FB13E3F5003A Time : 0.0 sec. user=vaughan [2012-04-22 17:36:02] 551*2^1130858-1 is not prime. Res64: 4900D625A50DA91E Time : 0.0 sec. user=vaughan [2012-04-22 17:36:59] 501*2^1130859-1 is not prime. Res64: 538939B9A33E39DD Time : 0.0 sec. user=vaughan [2012-04-22 17:37:00] 579*2^1130859-1 is not prime. Res64: 577B90EF878E380E Time : 0.0 sec. user=vaughan [2012-04-22 17:42:23] 527*2^1130860-1 is not prime. Res64: B5F3E3643F77F785 Time : 0.0 sec. user=vaughan [2012-04-22 17:42:23] 447*2^1130861-1 is not prime. Res64: 5EFB6E54DB2F1903 Time : 0.0 sec. user=henryzz [2012-04-22 17:43:57] 525*2^1130860-1 is not prime. Res64: 0061DE6C2BF17793 Time : 0.0 sec. user=henryzz [2012-04-22 17:45:30] 529*2^1130861-1 is not prime. Res64: 719C0DAA560127A1 Time : 0.0 sec. user=henryzz [2012-04-22 17:46:52] 405*2^1130862-1 is not prime. Res64: 5F8715166AA3BF57 Time : 0.0 sec. user=henryzz [2012-04-22 17:48:13] 423*2^1130862-1 is not prime. Res64: CD083722E5AB924E Time : 0.0 sec. user=vaughan [2012-04-22 17:56:17] 431*2^1130862-1 is not prime. Res64: B0FB025F5BDF3727 Time : 0.0 sec. user=vaughan [2012-04-22 17:56:18] 485*2^1130862-1 is not prime. Res64: 15CD156760784621 Time : 0.0 sec. user=vaughan [2012-04-22 17:56:25] 495*2^1130862-1 is not prime. Res64: 3BA7D167335C7FA4 Time : 0.0 sec. user=vaughan [2012-04-22 17:56:26] 507*2^1130862-1 is not prime. Res64: 282E23F20CB46F46 Time : 0.0 sec. user=vaughan [2012-04-22 17:57:52] 543*2^1130862-1 is not prime. Res64: 9313C16D2D8BBE6D Time : 0.0 sec. user=vaughan [2012-04-22 17:57:53] 581*2^1130862-1 is not prime. Res64: A0954F1D581FA726 Time : 0.0 sec. user=vaughan [2012-04-22 18:02:41] 441*2^1130863-1 is not prime. Res64: 3923A97940F3D0C8 Time : 0.0 sec. user=vaughan [2012-04-22 18:02:42] 463*2^1130863-1 is not prime. Res64: 2393803F6FACC5A5 Time : 0.0 sec. user=henryzz [2012-04-22 18:07:04] 565*2^1130865-1 is not prime. Res64: 1354C5717AFA303C Time : 0.0 sec. user=henryzz [2012-04-22 18:07:48] 497*2^1130866-1 is not prime. Res64: ECFAE06F255000DA Time : 0.0 sec. user=henryzz [2012-04-22 18:09:30] 503*2^1130866-1 is not prime. Res64: 471A99AFD5DBEB96 Time : 0.0 sec. user=henryzz [2012-04-22 18:10:42] 581*2^1130866-1 is not prime. Res64: 620C8BEEF98F4D7C Time : 0.0 sec. user=vaughan [2012-04-22 18:16:52] 425*2^1130868-1 is not prime. Res64: 2A6BA06687BBCECD Time : 0.0 sec. user=vaughan [2012-04-22 18:16:52] 537*2^1130868-1 is not prime. Res64: 7913A99BF9F90CE1 Time : 0.0 sec. user=vaughan [2012-04-22 18:17:09] 421*2^1130867-1 is not prime. Res64: 7F4C6356FB7E95AA Time : 0.0 sec. user=vaughan [2012-04-22 18:17:09] 571*2^1130867-1 is not prime. Res64: DC017F587CCF9649 Time : 0.0 sec. user=vaughan [2012-04-22 18:18:39] 451*2^1130869-1 is not prime. Res64: 81DB86BD99B9CD46 Time : 0.0 sec. user=vaughan [2012-04-22 18:18:39] 407*2^1130870-1 is not prime. Res64: A418860F6FDB668D Time : 0.0 sec. user=vaughan [2012-04-22 18:22:58] 483*2^1130870-1 is not prime. Res64: 9B0DA15D652DAEEB Time : 0.0 sec. user=vaughan [2012-04-22 18:22:58] 495*2^1130870-1 is not prime. Res64: E0A339A36260D861 Time : 0.0 sec. user=henryzz [2012-04-22 18:28:26] 503*2^1130870-1 is not prime. Res64: 6A6ED171259BB4EC Time : 0.0 sec. user=henryzz [2012-04-22 18:29:14] 445*2^1130871-1 is not prime. Res64: E91141DB9555EA1F Time : 0.0 sec. user=henryzz [2012-04-22 18:31:06] 489*2^1130871-1 is not prime. Res64: 96CF2ED1147EBFA0 Time : 0.0 sec. user=henryzz [2012-04-22 18:34:32] 565*2^1130871-1 is not prime. Res64: D32708458209F883 Time : 0.0 sec. user=vaughan [2012-04-22 18:37:10] 591*2^1130871-1 is not prime. Res64: 6FBB3EB03B49D294 Time : 0.0 sec. user=vaughan [2012-04-22 18:37:10] 413*2^1130872-1 is not prime. Res64: C83B33F46A70FC74 Time : 0.0 sec. user=vaughan [2012-04-22 18:37:53] 507*2^1130872-1 is not prime. Res64: 5AC8D6F06F20A45C Time : 0.0 sec. user=vaughan [2012-04-22 18:37:54] 595*2^1130873-1 is not prime. Res64: 549A8F78123B123F Time : 0.0 sec. user=vaughan [2012-04-22 18:39:20] 513*2^1130874-1 is not prime. Res64: 810CBBBC6B8CA847 Time : 0.0 sec. user=vaughan [2012-04-22 18:39:20] 527*2^1130874-1 is not prime. Res64: 2E4CC91F9FA6605A Time : 0.0 sec. user=vaughan [2012-04-22 18:43:24] 421*2^1130875-1 is not prime. Res64: 553B9E2A531343E1 Time : 0.0 sec. user=vaughan [2012-04-22 18:43:24] 453*2^1130876-1 is not prime. Res64: 41156335C9C3CCF4 Time : 0.0 sec. user=henryzz [2012-04-22 18:50:54] 459*2^1130876-1 is not prime. Res64: 95D8410F514A6DF7 Time : 0.0 sec. user=henryzz [2012-04-22 18:55:00] 573*2^1130876-1 is not prime. Res64: 7D3AE84773673594 Time : 0.0 sec. user=vaughan [2012-04-22 18:57:31] 471*2^1130877-1 is not prime. Res64: B1F37D0A43E7A312 Time : 0.0 sec. user=vaughan [2012-04-22 18:57:31] 559*2^1130877-1 is not prime. Res64: 604D6A5EF9E24EDE Time : 0.0 sec. user=henryzz [2012-04-22 18:58:34] 409*2^1130877-1 is not prime. Res64: A3B9C19F0D469460 Time : 0.0 sec. user=vaughan [2012-04-22 18:58:34] 551*2^1130878-1 is not prime. Res64: 5D425C1A4CFDC588 Time : 0.0 sec. user=vaughan [2012-04-22 18:58:34] 581*2^1130878-1 is not prime. Res64: 28774FBCD3A74475 Time : 0.0 sec. user=henryzz [2012-04-22 18:59:01] 441*2^1130877-1 is not prime. Res64: 249FC3DDC97A711D Time : 0.0 sec. user=vaughan [2012-04-22 19:00:09] 463*2^1130879-1 is not prime. Res64: 91D173DADFDBEA77 Time : 0.0 sec. user=vaughan [2012-04-22 19:00:13] 511*2^1130879-1 is not prime. Res64: 5D8074FD30FBF18D Time : 0.0 sec. user=vaughan [2012-04-22 19:03:52] 523*2^1130879-1 is not prime. Res64: 340243F990A604B1 Time : 0.0 sec. user=vaughan [2012-04-22 19:03:54] 571*2^1130879-1 is not prime. Res64: 7DCFF7308372A57C Time : 0.0 sec. user=vaughan [2012-04-22 19:17:54] 557*2^1130880-1 is not prime. Res64: EED7780F746F3214 Time : 0.0 sec. user=vaughan [2012-04-22 19:17:55] 569*2^1130880-1 is not prime. Res64: 67CFA9D77057A0C0 Time : 0.0 sec. user=vaughan [2012-04-22 19:19:16] 415*2^1130881-1 is not prime. Res64: 56487540E318D6CE Time : 0.0 sec. user=vaughan [2012-04-22 19:19:16] 537*2^1130881-1 is not prime. Res64: 665D6A03F1E1FD6D Time : 0.0 sec. user=vaughan [2012-04-22 19:21:05] 497*2^1130882-1 is not prime. Res64: 362378E3A2286411 Time : 0.0 sec. user=vaughan [2012-04-22 19:21:06] 563*2^1130882-1 is not prime. Res64: D8B79A78A6CD234F Time : 0.0 sec. user=vaughan [2012-04-22 19:24:20] 411*2^1130883-1 is not prime. Res64: 38205412DF1E119C Time : 0.0 sec. user=vaughan [2012-04-22 19:24:20] 523*2^1130883-1 is not prime. Res64: 38D8B81E73F66038 Time : 0.0 sec. user=vaughan [2012-04-22 19:38:15] 543*2^1130883-1 is not prime. Res64: 3F6D43DDE4A17CB6 Time : 0.0 sec. user=vaughan [2012-04-22 19:38:15] 565*2^1130883-1 is not prime. Res64: 8B4BB6D1E579054E Time : 0.0 sec. user=vaughan [2012-04-22 19:40:04] 437*2^1130884-1 is not prime. Res64: 417261E25150313F Time : 0.0 sec. user=vaughan [2012-04-22 19:40:05] 549*2^1130884-1 is not prime. Res64: E094592377A28468 Time : 0.0 sec. user=vaughan [2012-04-22 19:41:51] 579*2^1130884-1 is not prime. Res64: 1CFF5BD9400D941E Time : 0.0 sec. user=vaughan [2012-04-22 19:41:51] 409*2^1130885-1 is not prime. Res64: 60C688A9D25F9E4C Time : 0.0 sec. user=vaughan [2012-04-22 19:44:36] 495*2^1130885-1 is not prime. Res64: B7CB9A48ED58ED7C Time : 0.0 sec. user=vaughan [2012-04-22 19:44:36] 567*2^1130885-1 is not prime. Res64: 00CC129218482534 Time : 0.0 sec. user=vaughan [2012-04-22 19:58:39] 447*2^1130886-1 is not prime. Res64: D7279CFB59A5AC18 Time : 0.0 sec. user=vaughan [2012-04-22 19:58:39] 455*2^1130886-1 is not prime. Res64: C8CAA932CA526CF7 Time : 0.0 sec. user=vaughan [2012-04-22 20:00:47] 471*2^1130886-1 is not prime. Res64: C3F1647D41681BFA Time : 0.0 sec. user=vaughan [2012-04-22 20:00:48] 473*2^1130886-1 is not prime. Res64: 7E6A6B5DA816FD6B Time : 0.0 sec. user=vaughan [2012-04-22 20:02:41] 485*2^1130886-1 is not prime. Res64: 6D7CD8CD0BDF72C7 Time : 0.0 sec. user=vaughan [2012-04-22 20:02:42] 503*2^1130886-1 is not prime. Res64: 436A6A5C1D5B5E7A Time : 0.0 sec. user=vaughan [2012-04-22 20:04:50] 521*2^1130886-1 is not prime. Res64: 801E8D593D9674C7 Time : 0.0 sec. user=vaughan [2012-04-22 20:04:51] 405*2^1130887-1 is not prime. Res64: 81D5D30B58019EA1 Time : 0.0 sec. user=vaughan [2012-04-22 20:19:01] 429*2^1130887-1 is not prime. Res64: 10D9C9DA926AB2F2 Time : 0.0 sec. user=vaughan [2012-04-22 20:19:02] 433*2^1130887-1 is not prime. Res64: 4BB58DE2A788C42C Time : 0.0 sec. user=vaughan [2012-04-22 20:21:32] 469*2^1130887-1 is not prime. Res64: C4B962A398C43517 Time : 0.0 sec. user=vaughan [2012-04-22 20:21:32] 483*2^1130887-1 is not prime. Res64: 1B86132EF555E61A Time : 0.0 sec. user=vaughan [2012-04-22 20:23:37] 459*2^1130888-1 is not prime. Res64: F53A6FD8AECC4224 Time : 0.0 sec. user=vaughan [2012-04-22 20:23:38] 479*2^1130888-1 is not prime. Res64: DE5E59EC838D9D49 Time : 0.0 sec. user=vaughan [2012-04-22 20:25:10] 427*2^1130889-1 is not prime. Res64: C4D9B4379C922960 Time : 0.0 sec. user=vaughan [2012-04-22 20:25:11] 413*2^1130890-1 is not prime. Res64: 08809AF67AE12497 Time : 0.0 sec. user=vaughan [2012-04-22 20:39:21] 447*2^1130890-1 is not prime. Res64: DECB52255BBDB99D Time : 0.0 sec. user=vaughan [2012-04-22 20:39:22] 467*2^1130890-1 is not prime. Res64: 642CAE597B5BC369 Time : 0.0 sec. user=vaughan [2012-04-22 20:42:15] 513*2^1130890-1 is not prime. Res64: 7DCB12C6BF01BA84 Time : 0.0 sec. user=vaughan [2012-04-22 20:42:15] 433*2^1130891-1 is not prime. Res64: DE88E809CCF9849C Time : 0.0 sec. user=vaughan [2012-04-22 20:44:27] 505*2^1130891-1 is not prime. Res64: 58FF9ED5F295F9CC Time : 0.0 sec. user=vaughan [2012-04-22 20:44:28] 563*2^1130892-1 is not prime. Res64: C2984B7E7739669D Time : 0.0 sec. user=vaughan [2012-04-22 20:45:25] 585*2^1130892-1 is not prime. Res64: 3E22CDF8B2F6EA59 Time : 0.0 sec. user=vaughan [2012-04-22 20:45:26] 439*2^1130893-1 is not prime. Res64: 8F76058FB23F8B72 Time : 0.0 sec. user=vaughan [2012-04-22 20:59:43] 441*2^1130893-1 is not prime. Res64: 6945951F5160DF88 Time : 0.0 sec. user=vaughan [2012-04-22 20:59:43] 451*2^1130893-1 is not prime. Res64: 8D32628DC1574EFA Time : 0.0 sec. user=vaughan [2012-04-22 21:02:59] 477*2^1130893-1 is not prime. Res64: 93080B7B373D95C7 Time : 0.0 sec. user=vaughan [2012-04-22 21:03:00] 565*2^1130893-1 is not prime. Res64: 757570F8696DF32E Time : 0.0 sec. user=vaughan [2012-04-22 21:05:20] 567*2^1130893-1 is not prime. Res64: D80C878520A87EBC Time : 0.0 sec. user=vaughan [2012-04-22 21:05:22] 417*2^1130894-1 is not prime. Res64: 3B62724E22B39EC6 Time : 0.0 sec. user=vaughan [2012-04-22 21:05:47] 425*2^1130894-1 is not prime. Res64: 6F572A312ADAF077 Time : 0.0 sec. user=vaughan [2012-04-22 21:05:48] 593*2^1130894-1 is not prime. Res64: 7ADAB3BADA104BC3 Time : 0.0 sec. user=vaughan [2012-04-22 21:20:07] 451*2^1130895-1 is not prime. Res64: 237A910773CE81F6 Time : 0.0 sec. user=vaughan [2012-04-22 21:20:08] 459*2^1130895-1 is not prime. Res64: D0352782A3ABD696 Time : 0.0 sec. user=vaughan [2012-04-22 21:23:46] 501*2^1130895-1 is not prime. Res64: 6B2BC0017404036B Time : 0.0 sec. user=vaughan [2012-04-22 21:23:47] 595*2^1130895-1 is not prime. Res64: DFBFA5117A4FC1DD Time : 0.0 sec. user=vaughan [2012-04-22 21:26:05] 479*2^1130896-1 is not prime. Res64: A12B288BEB406869 Time : 0.0 sec. user=vaughan [2012-04-22 21:26:05] 507*2^1130896-1 is not prime. Res64: 58B26AFA36D9C706 Time : 0.0 sec. user=vaughan [2012-04-22 21:26:17] 567*2^1130896-1 is not prime. Res64: 79A16C171739AD5A Time : 0.0 sec. user=vaughan [2012-04-22 21:26:17] 597*2^1130896-1 is not prime. Res64: 8F25BA1F054800E6 Time : 0.0 sec. user=vaughan [2012-04-22 21:40:26] 475*2^1130897-1 is not prime. Res64: FE77E1F2115E090D Time : 0.0 sec. user=vaughan [2012-04-22 21:40:26] 507*2^1130897-1 is not prime. Res64: 7F96B52607157E7A Time : 0.0 sec. user=vaughan [2012-04-22 21:44:33] 549*2^1130897-1 is not prime. Res64: C0B5AD7F262C04C5 Time : 0.0 sec. user=vaughan [2012-04-22 21:44:34] 453*2^1130898-1 is not prime. Res64: F47F1414894EE9CE Time : 0.0 sec. user=vaughan [2012-04-22 21:46:40] 503*2^1130898-1 is not prime. Res64: 8C943FDB2C75603C Time : 0.0 sec. user=vaughan [2012-04-22 21:46:40] 489*2^1130899-1 is not prime. Res64: A522CCDD64150E6F Time : 0.0 sec. user=vaughan [2012-04-22 21:46:44] 461*2^1130898-1 is not prime. Res64: 98F2336094AE51B1 Time : 0.0 sec. user=vaughan [2012-04-22 21:46:44] 465*2^1130898-1 is not prime. Res64: D6DE92F3E6C51C33 Time : 0.0 sec. user=vaughan [2012-04-22 22:00:47] 483*2^1130900-1 is not prime. Res64: 4E46537B57BCB242 Time : 0.0 sec. user=vaughan [2012-04-22 22:00:48] 409*2^1130901-1 is not prime. Res64: 8FE50C29998C2265 Time : 0.0 sec. user=vaughan [2012-04-22 22:05:16] 427*2^1130901-1 is not prime. Res64: A5529044BC3CF138 Time : 0.0 sec. user=vaughan [2012-04-22 22:05:18] 469*2^1130901-1 is not prime. Res64: 931670AC0C66E341 Time : 0.0 sec. user=vaughan [2012-04-22 22:07:12] 507*2^1130901-1 is not prime. Res64: 2A2DF96DC725634D Time : 0.0 sec. user=vaughan [2012-04-22 22:07:13] 423*2^1130902-1 is not prime. Res64: 3144C6FFF99F733C Time : 0.0 sec. user=vaughan [2012-04-22 22:07:28] 447*2^1130902-1 is not prime. Res64: 7637006F3629642C Time : 0.0 sec. user=vaughan [2012-04-22 22:07:29] 489*2^1130903-1 is not prime. Res64: 82E87319163BEAED Time : 0.0 sec. user=vaughan [2012-04-22 22:21:19] 493*2^1130903-1 is not prime. Res64: 95826DDAE77FE73C Time : 0.0 sec. user=vaughan [2012-04-22 22:21:19] 453*2^1130904-1 is not prime. Res64: 42C4E4AB4298B8C4 Time : 0.0 sec. user=vaughan [2012-04-22 22:24:49] 569*2^1130908-1 is not prime. Res64: 8589CCBACE469D3B Time : 0.0 sec. user=vaughan [2012-04-22 22:26:02] 497*2^1130904-1 is not prime. Res64: F914ED41B9D6B905 Time : 0.0 sec. user=vaughan [2012-04-22 22:26:02] 427*2^1130905-1 is not prime. Res64: E516FC895F9834FF Time : 0.0 sec. user=vaughan [2012-04-22 22:27:40] 465*2^1130905-1 is not prime. Res64: 2589905107024E64 Time : 0.0 sec. user=vaughan [2012-04-22 22:27:41] 541*2^1130905-1 is not prime. Res64: 853F47E671F3C350 Time : 0.0 sec. user=vaughan [2012-04-22 22:28:18] 503*2^1130906-1 is not prime. Res64: F5D5F193ACF716BA Time : 0.0 sec. user=vaughan [2012-04-22 22:28:19] 405*2^1130907-1 is not prime. Res64: 7C81B93B08F3CA8D Time : 0.0 sec. user=gd_barnes [2012-04-22 22:32:41] 549*2^1130907-1 is not prime. Res64: 7FC4920CFF41FF84 Time : 0.0 sec. user=gd_barnes [2012-04-22 22:34:12] 537*2^1130908-1 is not prime. Res64: F65FB1C3847CEC6F Time : 0.0 sec. user=vaughan [2012-04-22 22:41:45] 597*2^1130908-1 is not prime. Res64: 3F67853229B58E79 Time : 0.0 sec. user=vaughan [2012-04-22 22:41:45] 445*2^1130909-1 is not prime. Res64: 2ECB9E18EE7F5295 Time : 0.0 sec. user=vaughan [2012-04-22 22:46:36] 465*2^1130909-1 is not prime. Res64: 614F8F44D2D88688 Time : 0.0 sec. user=vaughan [2012-04-22 22:46:36] 495*2^1130909-1 is not prime. Res64: 2A2C34134EA5E816 Time : 0.0 sec. user=vaughan [2012-04-22 22:48:03] 517*2^1130909-1 is not prime. Res64: F7C0F0F138F568AA Time : 0.0 sec. user=vaughan [2012-04-22 22:48:04] 525*2^1130909-1 is not prime. Res64: F825B844B0BDF662 Time : 0.0 sec. user=vaughan [2012-04-22 22:48:57] 571*2^1130909-1 is not prime. Res64: 7B44EB1505289FCB Time : 0.0 sec. user=vaughan [2012-04-22 22:48:57] 439*2^1130911-1 is not prime. Res64: 9EECA68CDE2E88C1 Time : 0.0 sec. user=vaughan [2012-04-22 23:02:03] 405*2^1130912-1 is not prime. Res64: 1BB57819430A3149 Time : 0.0 sec. user=vaughan [2012-04-22 23:02:04] 507*2^1130912-1 is not prime. Res64: B6AC84453D22BE64 Time : 0.0 sec. user=vaughan [2012-04-22 23:07:19] 525*2^1130912-1 is not prime. Res64: 3B57A0B39D96345C Time : 0.0 sec. user=vaughan [2012-04-22 23:07:21] 445*2^1130913-1 is not prime. Res64: 4E229FE06A182563 Time : 0.0 sec. user=vaughan [2012-04-22 23:08:22] 499*2^1130913-1 is not prime. Res64: 3786BD642045869C Time : 0.0 sec. user=vaughan [2012-04-22 23:08:23] 525*2^1130913-1 is not prime. Res64: 753E4B07DFB9474D Time : 0.0 sec. user=vaughan [2012-04-22 23:09:39] 597*2^1130913-1 is not prime. Res64: 6491887082846887 Time : 0.0 sec. user=vaughan [2012-04-22 23:09:40] 413*2^1130914-1 is not prime. Res64: B25A655F3E7EEAF8 Time : 0.0 sec. user=vaughan [2012-04-22 23:22:32] 513*2^1130914-1 is not prime. Res64: 3C1A45EC8B527026 Time : 0.0 sec. user=vaughan [2012-04-22 23:22:33] 481*2^1130915-1 is not prime. Res64: 3E446DA06DD941A9 Time : 0.0 sec. user=vaughan [2012-04-22 23:28:17] 573*2^1130915-1 is not prime. Res64: 168643121C4E51C8 Time : 0.0 sec. user=vaughan [2012-04-22 23:28:17] 557*2^1130916-1 is not prime. Res64: 89668C5AAABE73A2 Time : 0.0 sec. user=vaughan [2012-04-22 23:28:50] 593*2^1130916-1 is not prime. Res64: 8546AD0F7FD7CA1D Time : 0.0 sec. user=vaughan [2012-04-22 23:28:50] 435*2^1130917-1 is not prime. Res64: 3CF985750C15A3D7 Time : 0.0 sec. user=vaughan [2012-04-22 23:30:36] 577*2^1130917-1 is not prime. Res64: 4ACC8ECC0E5489A1 Time : 0.0 sec. user=vaughan [2012-04-22 23:30:36] 417*2^1130918-1 is not prime. Res64: BA338BA8DF646B09 Time : 0.0 sec. user=vaughan [2012-04-22 23:42:51] 447*2^1130918-1 is not prime. Res64: 596A07F0449B0848 Time : 0.0 sec. user=vaughan [2012-04-22 23:42:52] 483*2^1130918-1 is not prime. Res64: 99AFAEA3FBB53DE3 Time : 0.0 sec. user=vaughan [2012-04-22 23:49:02] 545*2^1130918-1 is not prime. Res64: BF8C5AE849438604 Time : 0.0 sec. user=vaughan [2012-04-22 23:49:02] 433*2^1130919-1 is not prime. Res64: 66C18FA5B70B58D2 Time : 0.0 sec. user=vaughan [2012-04-22 23:49:07] 439*2^1130919-1 is not prime. Res64: DEEA86E96D3C7C3E Time : 0.0 sec. user=vaughan [2012-04-22 23:49:08] 465*2^1130919-1 is not prime. Res64: 19DA416882EF7B8A Time : 0.0 sec. user=vaughan [2012-04-22 23:51:22] 501*2^1130919-1 is not prime. Res64: A000857B0BDBD213 Time : 0.0 sec. user=vaughan [2012-04-22 23:51:23] 511*2^1130919-1 is not prime. Res64: 9FB4152BD00F0823 Time : 0.0 sec.