user=vaughan [2012-04-20 00:57:59] 561*2^1130314-1 is not prime. Res64: 3644B6739EE194CE Time : 0.0 sec. user=gd_barnes [2012-04-20 01:29:54] 501*2^1130315-1 is not prime. Res64: 04565CAB23DF089D Time : 0.0 sec. user=gd_barnes [2012-04-20 01:32:14] 591*2^1130315-1 is not prime. Res64: E55C2B522D0BF9B3 Time : 0.0 sec. user=gd_barnes [2012-04-20 01:33:03] 489*2^1130315-1 is not prime. Res64: 8C26648722450811 Time : 0.0 sec. user=vaughan [2012-04-20 02:35:53] 453*2^1130316-1 is not prime. Res64: 091297E39718772E Time : 0.0 sec. user=gd_barnes [2012-04-20 02:38:47] 513*2^1130316-1 is not prime. Res64: 75746D3037778C03 Time : 0.0 sec. user=vaughan [2012-04-20 03:24:43] 593*2^1130316-1 is not prime. Res64: C93A49ADD41C3F48 Time : 0.0 sec. user=vaughan [2012-04-20 03:24:55] 405*2^1130317-1 is not prime. Res64: 615AD009884303D2 Time : 0.0 sec. user=gd_barnes [2012-04-20 03:36:14] 421*2^1130317-1 is not prime. Res64: 91F31BB0C136A8C8 Time : 0.0 sec. user=gd_barnes [2012-04-20 03:39:34] 507*2^1130317-1 is not prime. Res64: 226164DC792ADAB3 Time : 0.0 sec. user=vaughan [2012-04-20 04:20:16] 495*2^1130318-1 is not prime. Res64: 2747969F1D093316 Time : 0.0 sec. user=henryzz [2012-04-20 05:17:03] 539*2^1130312-1 is not prime. Res64: 7376074E61F0C0DC Time : 0.0 sec. user=henryzz [2012-04-20 05:21:05] 585*2^1130312-1 is not prime. Res64: B5E6C81F8A09E3FF Time : 0.0 sec. user=henryzz [2012-04-20 05:21:17] 507*2^1130312-1 is not prime. Res64: 307E0D69CF414A3B Time : 0.0 sec. user=vaughan [2012-04-20 05:23:00] 561*2^1130318-1 is not prime. Res64: 4BB01C2159672268 Time : 0.0 sec. user=henryzz [2012-04-20 05:23:49] 439*2^1130313-1 is not prime. Res64: 210C06DD9D1C8D23 Time : 0.0 sec. user=vaughan [2012-04-20 05:30:23] 483*2^1130319-1 is not prime. Res64: DC9ED56853903F53 Time : 0.0 sec. user=vaughan [2012-04-20 05:36:19] 515*2^1130318-1 is not prime. Res64: 9DA64F81AFC6E4FF Time : 0.0 sec. user=henryzz [2012-04-20 05:46:21] 583*2^1130319-1 is not prime. Res64: 52CC04F8D38CCD1E Time : 0.0 sec. user=henryzz [2012-04-20 05:50:12] 407*2^1130320-1 is not prime. Res64: AEA588171E7EB0A5 Time : 0.0 sec. user=henryzz [2012-04-20 05:56:48] 431*2^1130322-1 is not prime. Res64: 53E1A8C02159E522 Time : 0.0 sec. user=henryzz [2012-04-20 05:57:35] 459*2^1130321-1 is not prime. Res64: 5B6B52207067C37D Time : 0.0 sec. user=henryzz [2012-04-20 06:13:57] 503*2^1130322-1 is not prime. Res64: 721AB5D40ED691DD Time : 0.0 sec. user=henryzz [2012-04-20 06:21:02] 507*2^1130322-1 is not prime. Res64: 855956F2F785D7F3 Time : 0.0 sec. user=henryzz [2012-04-20 06:27:26] 415*2^1130323-1 is not prime. Res64: 0AAA8B5E83E015F9 Time : 0.0 sec. user=henryzz [2012-04-20 06:28:42] 523*2^1130323-1 is not prime. Res64: 33AB53CB0C916788 Time : 0.0 sec. user=henryzz [2012-04-20 06:40:36] 473*2^1130324-1 is not prime. Res64: 5973D69AF1FFF9D1 Time : 0.0 sec. user=vaughan [2012-04-20 06:44:37] 589*2^1130323-1 is not prime. Res64: D453F1C921397527 Time : 0.0 sec. user=henryzz [2012-04-20 06:53:18] 477*2^1130324-1 is not prime. Res64: 68DCFDB1429ABB25 Time : 0.0 sec. user=henryzz [2012-04-20 06:57:04] 483*2^1130324-1 is not prime. Res64: 775A87B841178C51 Time : 0.0 sec. user=henryzz [2012-04-20 06:59:49] 585*2^1130324-1 is not prime. Res64: 7FA92AF3023CE432 Time : 0.0 sec. user=henryzz [2012-04-20 07:11:12] 465*2^1130325-1 is not prime. Res64: 2687BD03BA246903 Time : 0.0 sec. user=henryzz [2012-04-20 07:22:22] 481*2^1130325-1 is not prime. Res64: 31FB3D9B19714954 Time : 0.0 sec. user=henryzz [2012-04-20 07:25:28] 555*2^1130325-1 is not prime. Res64: 7DA12DAA95FC2CE3 Time : 0.0 sec. user=henryzz [2012-04-20 07:35:21] 585*2^1130325-1 is not prime. Res64: 01FF89E6C189DAB2 Time : 0.0 sec. user=henryzz [2012-04-20 07:39:18] 591*2^1130325-1 is not prime. Res64: 103AE59346EB2754 Time : 0.0 sec. user=henryzz [2012-04-20 07:51:20] 413*2^1130326-1 is not prime. Res64: 4E67ED5CA3C3F6B4 Time : 0.0 sec. user=henryzz [2012-04-20 07:53:38] 453*2^1130326-1 is not prime. Res64: D4ED971F8714A800 Time : 0.0 sec. user=henryzz [2012-04-20 08:06:50] 491*2^1130326-1 is not prime. Res64: EA5F36C5AB9F52FB Time : 0.0 sec. user=henryzz [2012-04-20 08:07:44] 567*2^1130326-1 is not prime. Res64: 6C9E07FFFFC75330 Time : 0.0 sec. user=vaughan [2012-04-20 08:14:02] 543*2^1130327-1 is not prime. Res64: 36D377E599522989 Time : 0.0 sec. user=vaughan [2012-04-20 08:14:09] 523*2^1130327-1 is not prime. Res64: 55AD891D77E8B544 Time : 0.0 sec. user=henryzz [2012-04-20 08:19:30] 493*2^1130327-1 is not prime. Res64: 48C392025A6FD983 Time : 0.0 sec. user=henryzz [2012-04-20 08:20:55] 475*2^1130327-1 is not prime. Res64: 1FEBDD6C7A36125B Time : 0.0 sec. user=gd_barnes [2012-04-20 08:29:52] 441*2^1130329-1 is not prime. Res64: 4249A54F63C965DA Time : 0.0 sec. user=henryzz [2012-04-20 08:34:01] 539*2^1130328-1 is not prime. Res64: 9A61088BBFB325C4 Time : 0.0 sec. user=henryzz [2012-04-20 08:38:36] 471*2^1130329-1 is not prime. Res64: 06F4778575238BBF Time : 0.0 sec. user=henryzz [2012-04-20 08:48:36] 511*2^1130329-1 is not prime. Res64: EB946BFCF225F59C Time : 0.0 sec. user=henryzz [2012-04-20 08:53:39] 547*2^1130329-1 is not prime. Res64: 46E4ECFC88E7B2E0 Time : 0.0 sec. user=vaughan [2012-04-20 08:56:11] 595*2^1130329-1 is not prime. Res64: AEB32F763974615D Time : 0.0 sec. user=vaughan [2012-04-20 08:56:11] 597*2^1130329-1 is not prime. Res64: 365A1A83DB592130 Time : 0.0 sec. user=vaughan [2012-04-20 08:56:40] 521*2^1130330-1 is not prime. Res64: D58AFC502A109C04 Time : 0.0 sec. user=vaughan [2012-04-20 08:56:41] 587*2^1130330-1 is not prime. Res64: 3E3683D27CBD53CE Time : 0.0 sec. user=vaughan [2012-04-20 08:56:44] 425*2^1130330-1 is not prime. Res64: 3AF22D500C1D4E44 Time : 0.0 sec. user=vaughan [2012-04-20 08:56:45] 515*2^1130330-1 is not prime. Res64: 2A674838D72AA21A Time : 0.0 sec. user=vaughan [2012-04-20 08:57:15] 415*2^1130331-1 is not prime. Res64: 7BFA18F3335880AE Time : 0.0 sec. user=vaughan [2012-04-20 08:57:15] 549*2^1130331-1 is not prime. Res64: 798C7243232B9835 Time : 0.0 sec. user=henryzz [2012-04-20 09:03:34] 563*2^1130332-1 is not prime. Res64: 8225E042565ED9DC Time : 0.0 sec. user=henryzz [2012-04-20 09:09:45] 579*2^1130332-1 is not prime. Res64: EEC039CDA468C00A Time : 0.0 sec. user=henryzz [2012-04-20 09:18:19] 435*2^1130333-1 is not prime. Res64: 826A846B798A546B Time : 0.0 sec. user=vaughan [2012-04-20 09:18:35] 423*2^1130334-1 is not prime. Res64: 3882258BB4627B3E Time : 0.0 sec. user=vaughan [2012-04-20 09:18:35] 551*2^1130334-1 is not prime. Res64: 6D6B044F952C703C Time : 0.0 sec. user=vaughan [2012-04-20 09:18:45] 421*2^1130335-1 is not prime. Res64: 14B69CC2E25F2777 Time : 0.0 sec. user=vaughan [2012-04-20 09:18:46] 589*2^1130335-1 is not prime. Res64: 56E349A2236AC596 Time : 0.0 sec. user=vaughan [2012-04-20 09:19:11] 557*2^1130334-1 is not prime. Res64: 6E79C027C4D17313 Time : 0.0 sec. user=vaughan [2012-04-20 09:19:11] 415*2^1130335-1 is not prime. Res64: B1AC98C08D23B408 Time : 0.0 sec. user=vaughan [2012-04-20 09:19:36] 595*2^1130335-1 is not prime. Res64: E15171647A2AAADD Time : 0.0 sec. user=vaughan [2012-04-20 09:19:37] 425*2^1130336-1 is not prime. Res64: 8BE757EE379E7986 Time : 0.0 sec. user=henryzz [2012-04-20 09:25:01] 591*2^1130333-1 is not prime. Res64: D144AFA7E96A06EE Time : 0.0 sec. user=henryzz [2012-04-20 09:35:03] 539*2^1130336-1 is not prime. Res64: 69CF68FFA70D8451 Time : 0.0 sec. user=gd_barnes [2012-04-20 09:35:32] 563*2^1130336-1 is not prime. Res64: 45DC86BE4E92D9B8 Time : 0.0 sec. user=henryzz [2012-04-20 09:39:27] 405*2^1130337-1 is not prime. Res64: 9301D01D4F1EC258 Time : 0.0 sec. user=vaughan [2012-04-20 09:47:34] 469*2^1130339-1 is not prime. Res64: ECC6C08590D40A35 Time : 0.0 sec. user=vaughan [2012-04-20 09:47:35] 553*2^1130339-1 is not prime. Res64: BA8BA9976BA508C4 Time : 0.0 sec. user=vaughan [2012-04-20 09:48:01] 571*2^1130337-1 is not prime. Res64: 2943F8660B5A6EB2 Time : 0.0 sec. user=vaughan [2012-04-20 09:48:02] 579*2^1130337-1 is not prime. Res64: 64CCBD2F8FAC9F1B Time : 0.0 sec. user=vaughan [2012-04-20 09:48:19] 425*2^1130338-1 is not prime. Res64: 6FEF5A8978012BB6 Time : 0.0 sec. user=vaughan [2012-04-20 09:48:20] 525*2^1130338-1 is not prime. Res64: 0B90FDD49C6EB558 Time : 0.0 sec. user=vaughan [2012-04-20 09:48:42] 413*2^1130340-1 is not prime. Res64: 66B4C94370BD31E1 Time : 0.0 sec. user=vaughan [2012-04-20 09:48:43] 459*2^1130340-1 is not prime. Res64: 6821891D57F50E8E Time : 0.0 sec. user=henryzz [2012-04-20 09:48:49] 549*2^1130337-1 is not prime. Res64: B09FB2FC6827A7A0 Time : 0.0 sec. user=henryzz [2012-04-20 09:55:43] 557*2^1130340-1 is not prime. Res64: 96E7629166B3E72D Time : 0.0 sec. user=henryzz [2012-04-20 10:06:09] 411*2^1130341-1 is not prime. Res64: 3A80CDC6985D1465 Time : 0.0 sec. user=vaughan [2012-04-20 10:10:02] 475*2^1130343-1 is not prime. Res64: 27134FE8A17599E0 Time : 0.0 sec. user=vaughan [2012-04-20 10:10:05] 595*2^1130343-1 is not prime. Res64: 7F6D5A5BB774E2A5 Time : 0.0 sec. user=henryzz [2012-04-20 10:10:06] 477*2^1130341-1 is not prime. Res64: 9672172289E876E7 Time : 0.0 sec. user=vaughan [2012-04-20 10:10:31] 419*2^1130344-1 is not prime. Res64: 71ABDBA18AAFF789 Time : 0.0 sec. user=vaughan [2012-04-20 10:10:34] 495*2^1130344-1 is not prime. Res64: 31D28B31175C06B2 Time : 0.0 sec. user=vaughan [2012-04-20 10:10:37] 527*2^1130344-1 is not prime. Res64: 9A61F4298D0D4547 Time : 0.0 sec. user=vaughan [2012-04-20 10:10:40] 533*2^1130344-1 is not prime. Res64: 9D7BF04624D8F95D Time : 0.0 sec. user=vaughan [2012-04-20 10:10:48] 539*2^1130344-1 is not prime. Res64: B6D4259B01E830D3 Time : 0.0 sec. user=vaughan [2012-04-20 10:10:54] 587*2^1130344-1 is not prime. Res64: 567C893111D00F26 Time : 0.0 sec. user=henryzz [2012-04-20 10:22:03] 409*2^1130345-1 is not prime. Res64: BDCB8F2E65100D03 Time : 0.0 sec. user=henryzz [2012-04-20 10:24:44] 421*2^1130345-1 is not prime. Res64: 29ED51F0517B4BC0 Time : 0.0 sec. user=vaughan [2012-04-20 10:30:17] 567*2^1130345-1 is not prime. Res64: 766CEC0A10790349 Time : 0.0 sec. user=vaughan [2012-04-20 10:30:18] 579*2^1130345-1 is not prime. Res64: E470D904A0CE6CA6 Time : 0.0 sec. user=vaughan [2012-04-20 10:30:52] 411*2^1130346-1 is not prime. Res64: 9BE6C7EE114F1C40 Time : 0.0 sec. user=vaughan [2012-04-20 10:30:52] 507*2^1130346-1 is not prime. Res64: A43BB103257E4BA5 Time : 0.0 sec. user=vaughan [2012-04-20 10:30:55] 439*2^1130349-1 is not prime. Res64: 977F805EEC0B101B Time : 0.0 sec. user=vaughan [2012-04-20 10:30:56] 455*2^1130350-1 is not prime. Res64: 1834B64B5BC87F90 Time : 0.0 sec. user=vaughan [2012-04-20 10:30:58] 573*2^1130346-1 is not prime. Res64: CF007A4E09613280 Time : 0.0 sec. user=vaughan [2012-04-20 10:30:59] 493*2^1130347-1 is not prime. Res64: 9700C1FB8F1D80A6 Time : 0.0 sec. user=henryzz [2012-04-20 10:34:58] 447*2^1130345-1 is not prime. Res64: BEB73EB87495828C Time : 0.0 sec. user=henryzz [2012-04-20 10:40:15] 595*2^1130345-1 is not prime. Res64: DD20E379AA1A0F9D Time : 0.0 sec. user=vaughan [2012-04-20 10:50:23] 413*2^1130352-1 is not prime. Res64: F922C22771DB9FA2 Time : 0.0 sec. user=vaughan [2012-04-20 10:50:23] 425*2^1130352-1 is not prime. Res64: 636E6FF30BAA42EB Time : 0.0 sec. user=henryzz [2012-04-20 10:50:30] 403*2^1130351-1 is not prime. Res64: 0817194C69178086 Time : 0.0 sec. user=vaughan [2012-04-20 10:50:50] 455*2^1130352-1 is not prime. Res64: 7A3D659431D091C6 Time : 0.0 sec. user=vaughan [2012-04-20 10:50:51] 485*2^1130352-1 is not prime. Res64: A720DD731112E2E1 Time : 0.0 sec. user=vaughan [2012-04-20 10:51:00] 503*2^1130352-1 is not prime. Res64: 8E69F86510611809 Time : 0.0 sec. user=vaughan [2012-04-20 10:51:01] 555*2^1130353-1 is not prime. Res64: 8D0F7EFEA67C612B Time : 0.0 sec. user=vaughan [2012-04-20 10:51:03] 559*2^1130353-1 is not prime. Res64: D49F9CF3DA7E5141 Time : 0.0 sec. user=vaughan [2012-04-20 10:51:03] 577*2^1130353-1 is not prime. Res64: 81890A69E0B9FFD6 Time : 0.0 sec. user=henryzz [2012-04-20 10:54:25] 559*2^1130351-1 is not prime. Res64: EDEE47F31A393430 Time : 0.0 sec. user=henryzz [2012-04-20 11:02:18] 589*2^1130353-1 is not prime. Res64: 37EDC18FDE946206 Time : 0.0 sec. user=vaughan [2012-04-20 11:10:32] 483*2^1130354-1 is not prime. Res64: 862384564463A5F1 Time : 0.0 sec. user=vaughan [2012-04-20 11:10:34] 495*2^1130354-1 is not prime. Res64: 251B688CC9A01689 Time : 0.0 sec. user=vaughan [2012-04-20 11:10:47] 525*2^1130354-1 is not prime. Res64: FE8FB3225BD9D727 Time : 0.0 sec. user=vaughan [2012-04-20 11:10:49] 405*2^1130355-1 is not prime. Res64: 9B571D8636A5F060 Time : 0.0 sec. user=vaughan [2012-04-20 11:11:01] 595*2^1130355-1 is not prime. Res64: 19B620DF5CF2D28F Time : 0.0 sec. user=vaughan [2012-04-20 11:11:04] 519*2^1130356-1 is not prime. Res64: 0C3E7A40CD73433E Time : 0.0 sec. user=vaughan [2012-04-20 11:11:06] 459*2^1130355-1 is not prime. Res64: AA9EB147E154EFAF Time : 0.0 sec. user=vaughan [2012-04-20 11:11:09] 465*2^1130355-1 is not prime. Res64: 384016E44A1DCED3 Time : 0.0 sec. user=henryzz [2012-04-20 11:11:32] 591*2^1130353-1 is not prime. Res64: 72184F7705C4DD24 Time : 0.0 sec. user=henryzz [2012-04-20 11:17:34] 497*2^1130354-1 is not prime. Res64: B7CBC82069955BF3 Time : 0.0 sec. user=henryzz [2012-04-20 11:24:01] 569*2^1130356-1 is not prime. Res64: B57D98BE7A72E33F Time : 0.0 sec. user=vaughan [2012-04-20 11:30:41] 431*2^1130358-1 is not prime. Res64: BC0C3F4ECAAA9245 Time : 0.0 sec. user=vaughan [2012-04-20 11:30:41] 443*2^1130358-1 is not prime. Res64: D08003F88EB2508F Time : 0.0 sec. user=vaughan [2012-04-20 11:30:56] 465*2^1130358-1 is not prime. Res64: B4DF5C9EB8131477 Time : 0.0 sec. user=vaughan [2012-04-20 11:30:57] 515*2^1130358-1 is not prime. Res64: 594BB9F093359C45 Time : 0.0 sec. user=vaughan [2012-04-20 11:31:17] 525*2^1130358-1 is not prime. Res64: 69FB7446DB4513F4 Time : 0.0 sec. user=vaughan [2012-04-20 11:31:17] 451*2^1130359-1 is not prime. Res64: F7B26E845BD35F54 Time : 0.0 sec. user=vaughan [2012-04-20 11:31:17] 551*2^1130358-1 is not prime. Res64: C73FDD9C773CA761 Time : 0.0 sec. user=vaughan [2012-04-20 11:31:18] 483*2^1130359-1 is not prime. Res64: 82D42E3F1CB12ABA Time : 0.0 sec. user=henryzz [2012-04-20 11:32:41] 477*2^1130357-1 is not prime. Res64: DA99984B031EFD32 Time : 0.0 sec. user=henryzz [2012-04-20 11:40:57] 523*2^1130359-1 is not prime. Res64: F1362716D67F65FD Time : 0.0 sec. user=henryzz [2012-04-20 11:43:11] 549*2^1130359-1 is not prime. Res64: DCAA93372EFF6DDC Time : 0.0 sec. user=vaughan [2012-04-20 11:50:44] 459*2^1130360-1 is not prime. Res64: 436646A11DA18E3F Time : 0.0 sec. user=vaughan [2012-04-20 11:50:45] 479*2^1130360-1 is not prime. Res64: D174CA66C5C7FCD2 Time : 0.0 sec. user=vaughan [2012-04-20 11:50:50] 525*2^1130360-1 is not prime. Res64: D06BACEA2526F2C7 Time : 0.0 sec. user=vaughan [2012-04-20 11:50:51] 475*2^1130361-1 is not prime. Res64: 002F4DC27EF8BE12 Time : 0.0 sec. user=vaughan [2012-04-20 11:51:15] 425*2^1130362-1 is not prime. Res64: 37E0FF9BA6ADC962 Time : 0.0 sec. user=vaughan [2012-04-20 11:51:16] 497*2^1130362-1 is not prime. Res64: CBC4ECF64E7B0FBB Time : 0.0 sec. user=vaughan [2012-04-20 11:51:18] 535*2^1130361-1 is not prime. Res64: D3BF7689EDB3CF8A Time : 0.0 sec. user=vaughan [2012-04-20 11:51:19] 405*2^1130362-1 is not prime. Res64: 2D20A56A6A2A3730 Time : 0.0 sec. user=henryzz [2012-04-20 11:55:52] 413*2^1130360-1 is not prime. Res64: E94DC6F8249C1737 Time : 0.0 sec. user=henryzz [2012-04-20 12:05:30] 561*2^1130362-1 is not prime. Res64: 576B79977BA65164 Time : 0.0 sec. user=vaughan [2012-04-20 12:10:51] 527*2^1130364-1 is not prime. Res64: 145D512892E4B271 Time : 0.0 sec. user=vaughan [2012-04-20 12:10:54] 415*2^1130365-1 is not prime. Res64: 49E38CAD21A8C008 Time : 0.0 sec. user=vaughan [2012-04-20 12:10:58] 421*2^1130365-1 is not prime. Res64: AF4AFD5E10515B02 Time : 0.0 sec. user=vaughan [2012-04-20 12:10:59] 451*2^1130365-1 is not prime. Res64: 65E0E7BE33D3DF96 Time : 0.0 sec. user=henryzz [2012-04-20 12:11:01] 595*2^1130363-1 is not prime. Res64: 65EE5882958D11A8 Time : 0.0 sec. user=vaughan [2012-04-20 12:11:16] 507*2^1130365-1 is not prime. Res64: D98960F87D00AED2 Time : 0.0 sec. user=vaughan [2012-04-20 12:11:18] 525*2^1130365-1 is not prime. Res64: 2B00BDA7F955C647 Time : 0.0 sec. user=vaughan [2012-04-20 12:11:20] 591*2^1130365-1 is not prime. Res64: 102CC2A5AE84BC58 Time : 0.0 sec. user=vaughan [2012-04-20 12:11:23] 455*2^1130366-1 is not prime. Res64: 864F1478384C4422 Time : 0.0 sec. user=henryzz [2012-04-20 12:13:32] 507*2^1130364-1 is not prime. Res64: 494EB238A4CE6F00 Time : 0.0 sec. user=henryzz [2012-04-20 12:27:25] 521*2^1130366-1 is not prime. Res64: DF2A59595D310426 Time : 0.0 sec. user=vaughan [2012-04-20 12:31:00] 581*2^1130366-1 is not prime. Res64: B403D22DA1DF7F6C Time : 0.0 sec. user=vaughan [2012-04-20 12:31:01] 441*2^1130367-1 is not prime. Res64: 9D425C7ACF1E36F6 Time : 0.0 sec. user=vaughan [2012-04-20 12:31:02] 489*2^1130367-1 is not prime. Res64: 9E03D506EADE2558 Time : 0.0 sec. user=vaughan [2012-04-20 12:31:03] 511*2^1130367-1 is not prime. Res64: 80B190941D1FA6AD Time : 0.0 sec. user=vaughan [2012-04-20 12:31:21] 507*2^1130368-1 is not prime. Res64: D2FA5F60E776899E Time : 0.0 sec. user=vaughan [2012-04-20 12:31:22] 509*2^1130368-1 is not prime. Res64: EDE1D3703D284839 Time : 0.0 sec. user=vaughan [2012-04-20 12:31:22] 479*2^1130368-1 is not prime. Res64: 7ADA06A0F5F4318F Time : 0.0 sec. user=vaughan [2012-04-20 12:31:23] 485*2^1130368-1 is not prime. Res64: 0092DBB786782C2E Time : 0.0 sec. user=henryzz [2012-04-20 12:37:52] 525*2^1130366-1 is not prime. Res64: 992F25CA7A04BAC6 Time : 0.0 sec. user=henryzz [2012-04-20 12:40:14] 579*2^1130367-1 is not prime. Res64: 8E452BBC0565BEC0 Time : 0.0 sec. user=henryzz [2012-04-20 12:44:51] 527*2^1130368-1 is not prime. Res64: B561BB524ABF5553 Time : 0.0 sec. user=vaughan [2012-04-20 12:50:57] 435*2^1130369-1 is not prime. Res64: 9B4879BC49044E3C Time : 0.0 sec. user=vaughan [2012-04-20 12:50:58] 517*2^1130369-1 is not prime. Res64: 948C2F8855EB494A Time : 0.0 sec. user=vaughan [2012-04-20 12:50:58] 567*2^1130368-1 is not prime. Res64: 4B6A8EFA1979E2FF Time : 0.0 sec. user=vaughan [2012-04-20 12:50:59] 597*2^1130368-1 is not prime. Res64: 4125F877B86D6BD7 Time : 0.0 sec. user=vaughan [2012-04-20 12:51:19] 567*2^1130369-1 is not prime. Res64: DCF1FBF70EBCA2DC Time : 0.0 sec. user=vaughan [2012-04-20 12:51:19] 483*2^1130370-1 is not prime. Res64: C5D24DB11594B03C Time : 0.0 sec. user=vaughan [2012-04-20 12:51:19] 425*2^1130370-1 is not prime. Res64: 99347AE18378D530 Time : 0.0 sec. user=vaughan [2012-04-20 12:51:20] 537*2^1130370-1 is not prime. Res64: 7A0B27A4F0CE2505 Time : 0.0 sec. user=henryzz [2012-04-20 12:57:15] 539*2^1130368-1 is not prime. Res64: E23300DEB4E18A7A Time : 0.0 sec. user=henryzz [2012-04-20 13:05:40] 555*2^1130370-1 is not prime. Res64: 25DB3FCA6DC28192 Time : 0.0 sec. user=vaughan [2012-04-20 13:11:03] 511*2^1130371-1 is not prime. Res64: B0865A67F38C7097 Time : 0.0 sec. user=vaughan [2012-04-20 13:11:06] 437*2^1130372-1 is not prime. Res64: 1C52ACAFA822037F Time : 0.0 sec. user=vaughan [2012-04-20 13:11:11] 459*2^1130372-1 is not prime. Res64: C9CF4C5FFAED620A Time : 0.0 sec. user=vaughan [2012-04-20 13:11:16] 557*2^1130372-1 is not prime. Res64: C7297388BBE6F6B0 Time : 0.0 sec. user=vaughan [2012-04-20 13:11:30] 573*2^1130372-1 is not prime. Res64: 321A9948A6A04BB8 Time : 0.0 sec. user=vaughan [2012-04-20 13:11:30] 593*2^1130372-1 is not prime. Res64: 410E652C1D1DE137 Time : 0.0 sec. user=vaughan [2012-04-20 13:11:31] 565*2^1130373-1 is not prime. Res64: 0CCC09070BFD9FA0 Time : 0.0 sec. user=vaughan [2012-04-20 13:11:32] 595*2^1130373-1 is not prime. Res64: C173A884DC95735E Time : 0.0 sec. user=henryzz [2012-04-20 13:12:04] 469*2^1130371-1 is not prime. Res64: 111DBB6F4EEF3351 Time : 0.0 sec. user=henryzz [2012-04-20 13:12:40] 489*2^1130371-1 is not prime. Res64: 42BA3CC9922C28C3 Time : 0.0 sec. user=henryzz [2012-04-20 13:28:25] 561*2^1130374-1 is not prime. Res64: 84A101D4402184F2 Time : 0.0 sec. user=vaughan [2012-04-20 13:31:11] 591*2^1130375-1 is not prime. Res64: DBCA2C25D085D204 Time : 0.0 sec. user=vaughan [2012-04-20 13:31:12] 437*2^1130376-1 is not prime. Res64: 29464CB8406D9C03 Time : 0.0 sec. user=vaughan [2012-04-20 13:31:20] 459*2^1130376-1 is not prime. Res64: 71E809C44EBCDA41 Time : 0.0 sec. user=vaughan [2012-04-20 13:31:20] 479*2^1130376-1 is not prime. Res64: F1C23795863B0A7D Time : 0.0 sec. user=vaughan [2012-04-20 13:31:25] 417*2^1130378-1 is not prime. Res64: 7CE3D20BF71C5EC9 Time : 0.0 sec. user=vaughan [2012-04-20 13:31:25] 435*2^1130378-1 is not prime. Res64: A8C4812FDED89E4B Time : 0.0 sec. user=vaughan [2012-04-20 13:31:28] 429*2^1130377-1 is not prime. Res64: 49ABF8C5333B0CC6 Time : 0.0 sec. user=vaughan [2012-04-20 13:31:28] 441*2^1130377-1 is not prime. Res64: 5987FD4F5C631402 Time : 0.0 sec. user=vaughan [2012-04-20 13:35:21] 421*2^1130375-1 is not prime. Res64: F1F356C17E79E7EA Time : 0.0 sec. user=henryzz [2012-04-20 13:36:30] 523*2^1130375-1 is not prime. Res64: AD80C2EE76167F4D Time : 0.0 sec. user=henryzz [2012-04-20 13:36:54] 415*2^1130379-1 is not prime. Res64: 518204232FE9ED7D Time : 0.0 sec. user=henryzz [2012-04-20 13:41:55] 437*2^1130378-1 is not prime. Res64: 89AD706AD931A5E3 Time : 0.0 sec. user=vaughan [2012-04-20 13:51:07] 553*2^1130379-1 is not prime. Res64: 64FAD7495EA65C50 Time : 0.0 sec. user=vaughan [2012-04-20 13:51:07] 443*2^1130380-1 is not prime. Res64: 22CA757A74ACE42A Time : 0.0 sec. user=vaughan [2012-04-20 13:51:17] 465*2^1130380-1 is not prime. Res64: 5468A5E3549D4A9A Time : 0.0 sec. user=vaughan [2012-04-20 13:51:17] 545*2^1130380-1 is not prime. Res64: 0C51A0B94B71D647 Time : 0.0 sec. user=vaughan [2012-04-20 13:51:22] 563*2^1130380-1 is not prime. Res64: 532E2799F87F8449 Time : 0.0 sec. user=vaughan [2012-04-20 13:51:22] 487*2^1130381-1 is not prime. Res64: 518B70B062EECAC1 Time : 0.0 sec. user=vaughan [2012-04-20 13:51:25] 547*2^1130381-1 is not prime. Res64: 866A83A6BF73D9D7 Time : 0.0 sec. user=vaughan [2012-04-20 13:51:25] 417*2^1130382-1 is not prime. Res64: 4AEA20DD11054AB1 Time : 0.0 sec. user=henryzz [2012-04-20 14:00:18] 439*2^1130379-1 is not prime. Res64: 705D3C1F6DB2B489 Time : 0.0 sec. user=henryzz [2012-04-20 14:03:36] 513*2^1130382-1 is not prime. Res64: 63CEADA044283394 Time : 0.0 sec. user=henryzz [2012-04-20 14:08:25] 567*2^1130382-1 is not prime. Res64: EB964A3838954018 Time : 0.0 sec. user=henryzz [2012-04-20 14:10:10] 421*2^1130383-1 is not prime. Res64: 59358DD30A059F16 Time : 0.0 sec. user=vaughan [2012-04-20 14:11:03] 429*2^1130383-1 is not prime. Res64: ACF34B29940154D3 Time : 0.0 sec. user=vaughan [2012-04-20 14:11:05] 481*2^1130383-1 is not prime. Res64: D93322FE15D32BB7 Time : 0.0 sec. user=vaughan [2012-04-20 14:11:13] 435*2^1130384-1 is not prime. Res64: 1FBCC35D96681D94 Time : 0.0 sec. user=vaughan [2012-04-20 14:11:16] 447*2^1130384-1 is not prime. Res64: D28F05448C4AC8A5 Time : 0.0 sec. user=vaughan [2012-04-20 14:11:19] 415*2^1130385-1 is not prime. Res64: B017B2F377F9D096 Time : 0.0 sec. user=vaughan [2012-04-20 14:11:20] 441*2^1130385-1 is not prime. Res64: 81DA2363E9718D29 Time : 0.0 sec. user=vaughan [2012-04-20 14:11:29] 465*2^1130385-1 is not prime. Res64: D7BFFC178A0C88B1 Time : 0.0 sec. user=vaughan [2012-04-20 14:31:12] 465*2^1130387-1 is not prime. Res64: E9BA8F2E35B4D911 Time : 0.0 sec. user=vaughan [2012-04-20 14:31:13] 523*2^1130387-1 is not prime. Res64: F4E16B4107DA0007 Time : 0.0 sec. user=vaughan [2012-04-20 14:31:27] 531*2^1130387-1 is not prime. Res64: 720BAA2C6983FC1A Time : 0.0 sec. user=vaughan [2012-04-20 14:31:28] 479*2^1130388-1 is not prime. Res64: 63ABE87F3D1B33EA Time : 0.0 sec. user=vaughan [2012-04-20 14:31:34] 489*2^1130388-1 is not prime. Res64: B820C18829ABDC59 Time : 0.0 sec. user=vaughan [2012-04-20 14:31:35] 513*2^1130388-1 is not prime. Res64: F2C3205EAE2BEC5E Time : 0.0 sec. user=henryzz [2012-04-20 14:32:24] 579*2^1130385-1 is not prime. Res64: AADC84153D3A3B18 Time : 0.0 sec. user=henryzz [2012-04-20 14:34:43] 411*2^1130386-1 is not prime. Res64: DC5B996B1A98896B Time : 0.0 sec. user=vaughan [2012-04-20 14:39:39] 529*2^1130385-1 is not prime. Res64: AE5AD87450B8E795 Time : 0.0 sec. user=henryzz [2012-04-20 14:40:12] 441*2^1130387-1 is not prime. Res64: 7E312FF27460D6B7 Time : 0.0 sec. user=henryzz [2012-04-20 14:41:11] 525*2^1130386-1 is not prime. Res64: EF001F73D0097AE7 Time : 0.0 sec. user=vaughan [2012-04-20 14:51:13] 585*2^1130388-1 is not prime. Res64: EA71F72D54C031E7 Time : 0.0 sec. user=vaughan [2012-04-20 14:51:14] 597*2^1130389-1 is not prime. Res64: E08CC7FB603A2EBF Time : 0.0 sec. user=vaughan [2012-04-20 14:51:29] 477*2^1130390-1 is not prime. Res64: 6C95F71A4900D048 Time : 0.0 sec. user=vaughan [2012-04-20 14:51:30] 503*2^1130390-1 is not prime. Res64: ECEAFF48EB2B4DA9 Time : 0.0 sec. user=vaughan [2012-04-20 14:51:33] 429*2^1130391-1 is not prime. Res64: 176B0797BCFECE07 Time : 0.0 sec. user=vaughan [2012-04-20 14:51:33] 453*2^1130391-1 is not prime. Res64: 3750929203C3B514 Time : 0.0 sec. user=vaughan [2012-04-20 14:59:33] 435*2^1130393-1 is not prime. Res64: 3715AB7622CA3056 Time : 0.0 sec. user=vaughan [2012-04-20 14:59:34] 465*2^1130393-1 is not prime. Res64: 820EA57C4CE0192B Time : 0.0 sec. user=henryzz [2012-04-20 15:01:00] 419*2^1130392-1 is not prime. Res64: E8D8DAFB6B6EA716 Time : 0.0 sec. user=henryzz [2012-04-20 15:04:09] 539*2^1130392-1 is not prime. Res64: 320DA81E6583B12B Time : 0.0 sec. user=henryzz [2012-04-20 15:10:31] 571*2^1130393-1 is not prime. Res64: 5C5E80BDC2760684 Time : 0.0 sec. user=vaughan [2012-04-20 15:11:07] 503*2^1130394-1 is not prime. Res64: 3D3AFF83D2096808 Time : 0.0 sec. user=vaughan [2012-04-20 15:11:10] 513*2^1130394-1 is not prime. Res64: 82948BFA16AA264F Time : 0.0 sec. user=henryzz [2012-04-20 15:11:20] 461*2^1130394-1 is not prime. Res64: 1EEB2105D82E5305 Time : 0.0 sec. user=vaughan [2012-04-20 15:11:23] 543*2^1130394-1 is not prime. Res64: 9BB4845A94F215F3 Time : 0.0 sec. user=vaughan [2012-04-20 15:11:25] 567*2^1130394-1 is not prime. Res64: 44D7317ABF42E0B9 Time : 0.0 sec. user=vaughan [2012-04-20 15:11:28] 573*2^1130394-1 is not prime. Res64: 3F87478DEE4AB435 Time : 0.0 sec. user=vaughan [2012-04-20 15:11:34] 421*2^1130395-1 is not prime. Res64: 135BC51726EE0BA5 Time : 0.0 sec. user=vaughan [2012-04-20 15:19:34] 595*2^1130395-1 is not prime. Res64: A38AE82BBD2F02C9 Time : 0.0 sec. user=vaughan [2012-04-20 15:19:34] 465*2^1130396-1 is not prime. Res64: 05D304C32365AC19 Time : 0.0 sec. user=vaughan [2012-04-20 15:31:05] 571*2^1130397-1 is not prime. Res64: 1D05265BDA5EE207 Time : 0.0 sec. user=vaughan [2012-04-20 15:31:06] 595*2^1130397-1 is not prime. Res64: 2A73F4E14464C96D Time : 0.0 sec. user=vaughan [2012-04-20 15:31:27] 425*2^1130398-1 is not prime. Res64: C7FAD7F7571F9560 Time : 0.0 sec. user=vaughan [2012-04-20 15:31:28] 561*2^1130398-1 is not prime. Res64: 50595C9674835990 Time : 0.0 sec. user=vaughan [2012-04-20 15:31:37] 573*2^1130399-1 is not prime. Res64: 0E15096CD5363974 Time : 0.0 sec. user=vaughan [2012-04-20 15:31:37] 429*2^1130400-1 is not prime. Res64: C0AB01AF100673BD Time : 0.0 sec. user=henryzz [2012-04-20 15:35:07] 557*2^1130396-1 is not prime. Res64: D07CEF481640095F Time : 0.0 sec. user=henryzz [2012-04-20 15:36:19] 573*2^1130396-1 is not prime. Res64: DFF6E43A60AA8A48 Time : 0.0 sec. user=vaughan [2012-04-20 15:39:32] 527*2^1130400-1 is not prime. Res64: F5C11DE794B0ED00 Time : 0.0 sec. user=vaughan [2012-04-20 15:39:32] 495*2^1130401-1 is not prime. Res64: 6A80DB5D0F807414 Time : 0.0 sec. user=henryzz [2012-04-20 15:43:14] 517*2^1130397-1 is not prime. Res64: DF80045F4FC2FF2F Time : 0.0 sec. user=henryzz [2012-04-20 15:45:01] 441*2^1130399-1 is not prime. Res64: 095FF5F7BB770673 Time : 0.0 sec. user=vaughan [2012-04-20 15:51:02] 501*2^1130402-1 is not prime. Res64: 9E6733A96BD99E77 Time : 0.0 sec. user=vaughan [2012-04-20 15:51:02] 515*2^1130402-1 is not prime. Res64: E7503BDC8A7911EB Time : 0.0 sec. user=vaughan [2012-04-20 15:51:23] 525*2^1130402-1 is not prime. Res64: A89EB178ADC0208A Time : 0.0 sec. user=vaughan [2012-04-20 15:51:24] 453*2^1130403-1 is not prime. Res64: 49B31A426D692E10 Time : 0.0 sec. user=vaughan [2012-04-20 15:51:33] 465*2^1130403-1 is not prime. Res64: C8F9941994BFB9B4 Time : 0.0 sec. user=vaughan [2012-04-20 15:51:33] 471*2^1130403-1 is not prime. Res64: 4928DDD7C68C264C Time : 0.0 sec. user=vaughan [2012-04-20 15:59:28] 429*2^1130404-1 is not prime. Res64: D1BD0B62FFAC3FAB Time : 0.0 sec. user=vaughan [2012-04-20 15:59:29] 483*2^1130404-1 is not prime. Res64: 535DA58AA50A87ED Time : 0.0 sec. user=henryzz [2012-04-20 16:08:24] 591*2^1130403-1 is not prime. Res64: 4100598F11B9EA23 Time : 0.0 sec. user=henryzz [2012-04-20 16:09:05] 481*2^1130403-1 is not prime. Res64: C377554ABF6EFB0D Time : 0.0 sec. user=vaughan [2012-04-20 16:10:56] 579*2^1130404-1 is not prime. Res64: 7FC528811DFCE108 Time : 0.0 sec. user=vaughan [2012-04-20 16:10:57] 445*2^1130405-1 is not prime. Res64: B48484A82775E290 Time : 0.0 sec. user=vaughan [2012-04-20 16:11:19] 489*2^1130405-1 is not prime. Res64: 28DBCD4A3366D27C Time : 0.0 sec. user=vaughan [2012-04-20 16:11:21] 525*2^1130405-1 is not prime. Res64: A0785338B2E74006 Time : 0.0 sec. user=vaughan [2012-04-20 16:11:30] 547*2^1130405-1 is not prime. Res64: EC8EDB4A0450D392 Time : 0.0 sec. user=vaughan [2012-04-20 16:11:31] 431*2^1130406-1 is not prime. Res64: B7B9A4C9A82199F3 Time : 0.0 sec. user=henryzz [2012-04-20 16:16:27] 489*2^1130404-1 is not prime. Res64: 3790E7DCB8A0A908 Time : 0.0 sec. user=henryzz [2012-04-20 16:18:18] 513*2^1130404-1 is not prime. Res64: B7B27FB2EAD1C8F9 Time : 0.0 sec. user=vaughan [2012-04-20 16:19:26] 507*2^1130406-1 is not prime. Res64: D8FBAD6D25A3442B Time : 0.0 sec. user=vaughan [2012-04-20 16:19:27] 563*2^1130406-1 is not prime. Res64: BFC02E555A94061C Time : 0.0 sec. user=vaughan [2012-04-20 16:25:11] 503*2^1130406-1 is not prime. Res64: 64C4BA7FE049C401 Time : 0.0 sec. user=vaughan [2012-04-20 16:30:55] 573*2^1130407-1 is not prime. Res64: C4B56206967D1F9E Time : 0.0 sec. user=vaughan [2012-04-20 16:30:55] 589*2^1130407-1 is not prime. Res64: 5A49B69A757FDFF5 Time : 0.0 sec. user=vaughan [2012-04-20 16:31:22] 449*2^1130408-1 is not prime. Res64: A9F7CDBCEEEFE2A7 Time : 0.0 sec. user=vaughan [2012-04-20 16:31:23] 495*2^1130408-1 is not prime. Res64: 953AC0BCBF60E70F Time : 0.0 sec. user=vaughan [2012-04-20 16:31:32] 503*2^1130408-1 is not prime. Res64: A5BB92910573F456 Time : 0.0 sec. user=vaughan [2012-04-20 16:31:33] 515*2^1130408-1 is not prime. Res64: 5355206C31F66916 Time : 0.0 sec. user=henryzz [2012-04-20 16:39:05] 593*2^1130406-1 is not prime. Res64: 9AFB8842F95E4779 Time : 0.0 sec. user=henryzz [2012-04-20 16:39:11] 585*2^1130406-1 is not prime. Res64: 63AA658B1863020E Time : 0.0 sec. user=vaughan [2012-04-20 16:39:25] 499*2^1130409-1 is not prime. Res64: 239EACA5DB552279 Time : 0.0 sec. user=vaughan [2012-04-20 16:39:25] 443*2^1130410-1 is not prime. Res64: 3FE9421B70696C69 Time : 0.0 sec. user=henryzz [2012-04-20 16:48:01] 415*2^1130409-1 is not prime. Res64: EDE73FEE08138880 Time : 0.0 sec. user=henryzz [2012-04-20 16:48:37] 525*2^1130408-1 is not prime. Res64: E48CCD6C47A8DA41 Time : 0.0 sec. user=vaughan [2012-04-20 16:51:01] 471*2^1130410-1 is not prime. Res64: 10FA7F9965951813 Time : 0.0 sec. user=vaughan [2012-04-20 16:51:02] 527*2^1130410-1 is not prime. Res64: 3ACD1443F70AEA9D Time : 0.0 sec. user=vaughan [2012-04-20 16:51:17] 531*2^1130410-1 is not prime. Res64: ECEE73749D615523 Time : 0.0 sec. user=vaughan [2012-04-20 16:51:18] 581*2^1130410-1 is not prime. Res64: FFF846DEAC75C9D9 Time : 0.0 sec. user=vaughan [2012-04-20 16:51:32] 445*2^1130411-1 is not prime. Res64: D831261BD76E2F99 Time : 0.0 sec. user=vaughan [2012-04-20 16:51:33] 459*2^1130411-1 is not prime. Res64: 8C3FCEEA753BA58B Time : 0.0 sec. user=vaughan [2012-04-20 16:59:23] 579*2^1130411-1 is not prime. Res64: 71EDA1809B8CF839 Time : 0.0 sec. user=vaughan [2012-04-20 16:59:23] 419*2^1130412-1 is not prime. Res64: 6943D5DEFD2E0173 Time : 0.0 sec. user=henryzz [2012-04-20 17:08:03] 529*2^1130411-1 is not prime. Res64: 0D8F5F686D7256C8 Time : 0.0 sec. user=henryzz [2012-04-20 17:09:39] 475*2^1130411-1 is not prime. Res64: 10251B8E9D9C2864 Time : 0.0 sec. user=vaughan [2012-04-20 17:10:59] 497*2^1130412-1 is not prime. Res64: 170174AFB796C314 Time : 0.0 sec. user=vaughan [2012-04-20 17:11:01] 557*2^1130412-1 is not prime. Res64: 7AAA56C0ECBBD205 Time : 0.0 sec. user=vaughan [2012-04-20 17:11:15] 547*2^1130413-1 is not prime. Res64: 4E220375C2B00988 Time : 0.0 sec. user=vaughan [2012-04-20 17:11:17] 593*2^1130414-1 is not prime. Res64: C13B59FC102BC2C6 Time : 0.0 sec. user=vaughan [2012-04-20 17:11:31] 579*2^1130415-1 is not prime. Res64: C84248A788CC2DF6 Time : 0.0 sec. user=vaughan [2012-04-20 17:11:34] 455*2^1130416-1 is not prime. Res64: AFD9DAA2C1158927 Time : 0.0 sec. user=henryzz [2012-04-20 17:15:19] 485*2^1130412-1 is not prime. Res64: 206150D893361F4E Time : 0.0 sec. user=vaughan [2012-04-20 17:19:20] 483*2^1130416-1 is not prime. Res64: E21FA875EF00DA05 Time : 0.0 sec. user=vaughan [2012-04-20 17:19:20] 517*2^1130417-1 is not prime. Res64: D94052303AA7029D Time : 0.0 sec. user=henryzz [2012-04-20 17:23:04] 423*2^1130412-1 is not prime. Res64: 2533C31C94490E2B Time : 0.0 sec. user=vaughan [2012-04-20 17:31:05] 471*2^1130418-1 is not prime. Res64: 367672A01EE104AA Time : 0.0 sec. user=vaughan [2012-04-20 17:31:05] 485*2^1130418-1 is not prime. Res64: D76685BD63F6945A Time : 0.0 sec. user=vaughan [2012-04-20 17:31:20] 507*2^1130418-1 is not prime. Res64: 89B9CE2980B5D649 Time : 0.0 sec. user=vaughan [2012-04-20 17:31:20] 441*2^1130419-1 is not prime. Res64: AA9D96C4A2632711 Time : 0.0 sec. user=vaughan [2012-04-20 17:31:40] 465*2^1130419-1 is not prime. Res64: 28ED5973ACA52A72 Time : 0.0 sec. user=vaughan [2012-04-20 17:31:41] 511*2^1130419-1 is not prime. Res64: 5D93C09D2A8B833A Time : 0.0 sec. user=vaughan [2012-04-20 17:39:15] 495*2^1130420-1 is not prime. Res64: 165007072E69A8D6 Time : 0.0 sec. user=vaughan [2012-04-20 17:39:16] 417*2^1130421-1 is not prime. Res64: 1983FE4D6035AAA3 Time : 0.0 sec. user=henryzz [2012-04-20 17:44:32] 453*2^1130418-1 is not prime. Res64: 0E55B042C0BC59B0 Time : 0.0 sec. user=henryzz [2012-04-20 17:45:23] 431*2^1130418-1 is not prime. Res64: A9CE6F04BDB5CAD1 Time : 0.0 sec. user=henryzz [2012-04-20 17:49:07] 595*2^1130419-1 is not prime. Res64: 13B92AE77EA59685 Time : 0.0 sec. user=vaughan [2012-04-20 17:51:00] 531*2^1130421-1 is not prime. Res64: B077B7E1F5E45C43 Time : 0.0 sec. user=vaughan [2012-04-20 17:51:01] 401*2^1130422-1 is not prime. Res64: 6F6376FE1A731CE3 Time : 0.0 sec. user=vaughan [2012-04-20 17:51:17] 495*2^1130422-1 is not prime. Res64: 6CC8ADAAFC649F48 Time : 0.0 sec. user=vaughan [2012-04-20 17:51:17] 551*2^1130422-1 is not prime. Res64: F4313957C5F370AE Time : 0.0 sec. user=vaughan [2012-04-20 17:51:38] 555*2^1130422-1 is not prime. Res64: 23C35A4E49144C88 Time : 0.0 sec. user=vaughan [2012-04-20 17:51:39] 489*2^1130423-1 is not prime. Res64: 83B4C529433768F7 Time : 0.0 sec. user=henryzz [2012-04-20 17:52:08] 475*2^1130421-1 is not prime. Res64: DF446455CCE5D895 Time : 0.0 sec. user=vaughan [2012-04-20 17:59:13] 571*2^1130423-1 is not prime. Res64: A0B070513177FA38 Time : 0.0 sec. user=vaughan [2012-04-20 17:59:13] 437*2^1130424-1 is not prime. Res64: DBC1BBA392177E45 Time : 0.0 sec. user=vaughan [2012-04-20 18:05:30] 511*2^1130423-1 is not prime. Res64: B4F7087E13AD47F5 Time : 0.0 sec. user=vaughan [2012-04-20 18:10:57] 561*2^1130425-1 is not prime. Res64: 2A54E78C321B1750 Time : 0.0 sec. user=vaughan [2012-04-20 18:10:58] 417*2^1130426-1 is not prime. Res64: A5E3126F0620A7E7 Time : 0.0 sec. user=vaughan [2012-04-20 18:11:13] 525*2^1130426-1 is not prime. Res64: 8BF54A79C55A7F19 Time : 0.0 sec. user=vaughan [2012-04-20 18:11:17] 531*2^1130426-1 is not prime. Res64: 967C00B32D500E06 Time : 0.0 sec. user=vaughan [2012-04-20 18:11:33] 445*2^1130427-1 is not prime. Res64: 625ADF6838B65302 Time : 0.0 sec. user=vaughan [2012-04-20 18:11:34] 501*2^1130427-1 is not prime. Res64: C26D5135FBB67DE3 Time : 0.0 sec. user=vaughan [2012-04-20 18:19:10] 437*2^1130428-1 is not prime. Res64: 0A9277FBE4975B59 Time : 0.0 sec. user=vaughan [2012-04-20 18:19:11] 483*2^1130428-1 is not prime. Res64: 6F49EFE4D538E02C Time : 0.0 sec. user=henryzz [2012-04-20 18:20:58] 509*2^1130424-1 is not prime. Res64: E308494DFC3413B5 Time : 0.0 sec. user=henryzz [2012-04-20 18:24:14] 587*2^1130424-1 is not prime. Res64: EDC53BCAE4310510 Time : 0.0 sec. user=henryzz [2012-04-20 18:28:14] 429*2^1130428-1 is not prime. Res64: 8C4B99221751DAD6 Time : 0.0 sec. user=vaughan [2012-04-20 18:31:03] 525*2^1130428-1 is not prime. Res64: 011C3DD7684047FF Time : 0.0 sec. user=vaughan [2012-04-20 18:31:04] 539*2^1130428-1 is not prime. Res64: 5EDFFE92FE45948D Time : 0.0 sec. user=vaughan [2012-04-20 18:31:18] 569*2^1130428-1 is not prime. Res64: 635E0A7AC4330C2C Time : 0.0 sec. user=vaughan [2012-04-20 18:31:18] 575*2^1130428-1 is not prime. Res64: EFFC38619E035A78 Time : 0.0 sec. user=vaughan [2012-04-20 18:31:35] 439*2^1130429-1 is not prime. Res64: 094CB1BD5A8DB41B Time : 0.0 sec. user=vaughan [2012-04-20 18:31:35] 437*2^1130430-1 is not prime. Res64: F396EA91147CBD37 Time : 0.0 sec. user=henryzz [2012-04-20 18:33:03] 537*2^1130425-1 is not prime. Res64: 77B026C4CF67FC58 Time : 0.0 sec. user=gd_barnes [2012-04-20 18:34:33] 513*2^1130430-1 is not prime. Res64: 046FBFA3BAF4BFAB Time : 0.0 sec. user=gd_barnes [2012-04-20 18:34:42] 455*2^1130430-1 is not prime. Res64: FF437F17D9D9C45B Time : 0.0 sec. user=gd_barnes [2012-04-20 18:38:00] 465*2^1130430-1 is not prime. Res64: 2D263FBB9159C026 Time : 0.0 sec. user=vaughan [2012-04-20 18:39:11] 585*2^1130430-1 is not prime. Res64: 607D9FA30144BE11 Time : 0.0 sec. user=vaughan [2012-04-20 18:39:12] 591*2^1130430-1 is not prime. Res64: EEBD251AF55A50FC Time : 0.0 sec. user=vaughan [2012-04-20 18:51:03] 555*2^1130431-1 is not prime. Res64: 83583DD571E7D127 Time : 0.0 sec. user=vaughan [2012-04-20 18:51:04] 563*2^1130432-1 is not prime. Res64: B942DC6391A3112D Time : 0.0 sec. user=vaughan [2012-04-20 18:51:08] 439*2^1130433-1 is not prime. Res64: EE94E5246D31ADF6 Time : 0.0 sec. user=vaughan [2012-04-20 18:51:09] 481*2^1130433-1 is not prime. Res64: D7D7005E11FC8A01 Time : 0.0 sec. user=vaughan [2012-04-20 18:51:29] 595*2^1130433-1 is not prime. Res64: DE94523EA9D9C53F Time : 0.0 sec. user=vaughan [2012-04-20 18:51:29] 435*2^1130434-1 is not prime. Res64: 3A888FA24C278DF5 Time : 0.0 sec. user=vaughan [2012-04-20 18:59:07] 497*2^1130434-1 is not prime. Res64: EE5655FB943BAFCC Time : 0.0 sec. user=vaughan [2012-04-20 18:59:07] 525*2^1130434-1 is not prime. Res64: 6DCBCD52CFB496A0 Time : 0.0 sec. user=vaughan [2012-04-20 19:10:57] 545*2^1130434-1 is not prime. Res64: 1A91EF99497C446C Time : 0.0 sec. user=vaughan [2012-04-20 19:10:58] 575*2^1130434-1 is not prime. Res64: 4EBFD6240F5D54FF Time : 0.0 sec. user=vaughan [2012-04-20 19:11:07] 587*2^1130434-1 is not prime. Res64: C3F735FAF1392736 Time : 0.0 sec. user=vaughan [2012-04-20 19:11:09] 421*2^1130435-1 is not prime. Res64: 729582BD9F352B85 Time : 0.0 sec. user=vaughan [2012-04-20 19:11:29] 585*2^1130435-1 is not prime. Res64: BE9462D9585500CE Time : 0.0 sec. user=vaughan [2012-04-20 19:11:31] 425*2^1130436-1 is not prime. Res64: E474AF2122CCA2D9 Time : 0.0 sec. user=vaughan [2012-04-20 19:19:01] 429*2^1130436-1 is not prime. Res64: 6AABCDBC470EBA7B Time : 0.0 sec. user=vaughan [2012-04-20 19:19:02] 479*2^1130436-1 is not prime. Res64: B3C9A7A255F784B2 Time : 0.0 sec. user=vaughan [2012-04-20 19:30:56] 537*2^1130436-1 is not prime. Res64: 9D3CE143DBEE60B4 Time : 0.0 sec. user=vaughan [2012-04-20 19:30:57] 597*2^1130436-1 is not prime. Res64: D091F02D78FDA10A Time : 0.0 sec. user=vaughan [2012-04-20 19:31:08] 451*2^1130437-1 is not prime. Res64: B2F157B900D85B5A Time : 0.0 sec. user=vaughan [2012-04-20 19:31:09] 457*2^1130437-1 is not prime. Res64: 5A9966A7D84EE217 Time : 0.0 sec. user=vaughan [2012-04-20 19:31:32] 405*2^1130438-1 is not prime. Res64: 8DAA2A113EECD3B9 Time : 0.0 sec. user=vaughan [2012-04-20 19:31:32] 515*2^1130438-1 is not prime. Res64: DC44433B0040877A Time : 0.0 sec. user=vaughan [2012-04-20 19:38:56] 551*2^1130438-1 is not prime. Res64: C1940A0C9474F90A Time : 0.0 sec. user=vaughan [2012-04-20 19:38:57] 441*2^1130439-1 is not prime. Res64: 10761E79B961DB6D Time : 0.0 sec. user=vaughan [2012-04-20 19:50:58] 523*2^1130439-1 is not prime. Res64: 40C09FDE56096671 Time : 0.0 sec. user=vaughan [2012-04-20 19:50:58] 531*2^1130439-1 is not prime. Res64: 23F4E8FC7960992D Time : 0.0 sec. user=vaughan [2012-04-20 19:51:11] 429*2^1130440-1 is not prime. Res64: B44F1C77D670ADCE Time : 0.0 sec. user=vaughan [2012-04-20 19:51:12] 447*2^1130440-1 is not prime. Res64: 9301C4EE38B733E3 Time : 0.0 sec. user=vaughan [2012-04-20 19:51:23] 483*2^1130440-1 is not prime. Res64: FB38D1BC94FC27BD Time : 0.0 sec. user=vaughan [2012-04-20 19:51:24] 537*2^1130440-1 is not prime. Res64: E937F1CFFFDEFAD5 Time : 0.0 sec. user=vaughan [2012-04-20 19:58:57] 597*2^1130440-1 is not prime. Res64: A8450E28D79E7BB2 Time : 0.0 sec. user=vaughan [2012-04-20 19:58:58] 401*2^1130442-1 is not prime. Res64: 0AC009D46B9E08E4 Time : 0.0 sec. user=vaughan [2012-04-20 20:10:56] 425*2^1130442-1 is not prime. Res64: 8C6CCB656BF0955F Time : 0.0 sec. user=vaughan [2012-04-20 20:10:57] 431*2^1130442-1 is not prime. Res64: 94F0733D16A1B279 Time : 0.0 sec. user=vaughan [2012-04-20 20:11:10] 551*2^1130442-1 is not prime. Res64: 8D986037641642E3 Time : 0.0 sec. user=vaughan [2012-04-20 20:11:11] 463*2^1130443-1 is not prime. Res64: 32E493658F12CC05 Time : 0.0 sec. user=vaughan [2012-04-20 20:11:23] 481*2^1130443-1 is not prime. Res64: 1D36B256828BC180 Time : 0.0 sec. user=vaughan [2012-04-20 20:11:24] 511*2^1130443-1 is not prime. Res64: E61CAE685E35D180 Time : 0.0 sec. user=vaughan [2012-04-20 20:18:59] 523*2^1130443-1 is not prime. Res64: 01495E1D3BE3012A Time : 0.0 sec. user=vaughan [2012-04-20 20:18:59] 541*2^1130443-1 is not prime. Res64: BF0450E1C7DA1E0E Time : 0.0 sec. user=vaughan [2012-04-20 20:22:03] 413*2^1130442-1 is not prime. Res64: B4013295693FFA70 Time : 0.0 sec. user=vaughan [2012-04-20 20:30:51] 417*2^1130444-1 is not prime. Res64: 8E6DB15E82B4033E Time : 0.0 sec. user=vaughan [2012-04-20 20:30:51] 423*2^1130444-1 is not prime. Res64: CC987D07055094EE Time : 0.0 sec. user=vaughan [2012-04-20 20:31:07] 471*2^1130445-1 is not prime. Res64: 7B05DC85BB3293F9 Time : 0.0 sec. user=vaughan [2012-04-20 20:31:07] 517*2^1130445-1 is not prime. Res64: 827DF1AAC7EB5122 Time : 0.0 sec. user=vaughan [2012-04-20 20:31:28] 423*2^1130447-1 is not prime. Res64: D6ED6180EEC0D83B Time : 0.0 sec. user=vaughan [2012-04-20 20:31:28] 441*2^1130447-1 is not prime. Res64: 7AE33E4A1F639AF6 Time : 0.0 sec. user=vaughan [2012-04-20 20:38:57] 589*2^1130447-1 is not prime. Res64: 81B666F152E1F0C5 Time : 0.0 sec. user=vaughan [2012-04-20 20:38:57] 585*2^1130448-1 is not prime. Res64: 9427968FC39C871A Time : 0.0 sec. user=vaughan [2012-04-20 20:50:49] 415*2^1130449-1 is not prime. Res64: C31417246F962995 Time : 0.0 sec. user=vaughan [2012-04-20 20:50:50] 431*2^1130450-1 is not prime. Res64: 73734AEB29ACCF32 Time : 0.0 sec. user=vaughan [2012-04-20 20:51:02] 533*2^1130450-1 is not prime. Res64: 3ED84885ACE173A9 Time : 0.0 sec. user=vaughan [2012-04-20 20:51:03] 537*2^1130450-1 is not prime. Res64: 1C54ECE6E7002177 Time : 0.0 sec. user=vaughan [2012-04-20 20:51:24] 561*2^1130450-1 is not prime. Res64: B25E745D2931002D Time : 0.0 sec. user=vaughan [2012-04-20 20:51:25] 493*2^1130451-1 is not prime. Res64: 26D8EB3A401E3B2B Time : 0.0 sec. user=vaughan [2012-04-20 20:58:52] 533*2^1130452-1 is not prime. Res64: 0838555BF80F121B Time : 0.0 sec. user=vaughan [2012-04-20 20:58:53] 525*2^1130454-1 is not prime. Res64: 2265153F3271F2E3 Time : 0.0 sec. user=vaughan [2012-04-20 21:10:44] 527*2^1130454-1 is not prime. Res64: BE28F064C5F2BD51 Time : 0.0 sec. user=vaughan [2012-04-20 21:10:46] 535*2^1130455-1 is not prime. Res64: 8848841C340BF070 Time : 0.0 sec. user=vaughan [2012-04-20 21:11:00] 579*2^1130455-1 is not prime. Res64: 3C20C6D933BA971E Time : 0.0 sec. user=vaughan [2012-04-20 21:11:02] 583*2^1130455-1 is not prime. Res64: EC72BB7D9629957F Time : 0.0 sec. user=vaughan [2012-04-20 21:11:19] 417*2^1130456-1 is not prime. Res64: 3FE5AFE5F6778F30 Time : 0.0 sec. user=vaughan [2012-04-20 21:11:20] 567*2^1130456-1 is not prime. Res64: 01EBD7B58BEDD869 Time : 0.0 sec. user=vaughan [2012-04-20 21:18:48] 529*2^1130457-1 is not prime. Res64: AA653135CD0B1B19 Time : 0.0 sec. user=vaughan [2012-04-20 21:18:49] 565*2^1130457-1 is not prime. Res64: F40FB2A89428E965 Time : 0.0 sec. user=vaughan [2012-04-20 21:30:44] 585*2^1130457-1 is not prime. Res64: E617860E1E31F89C Time : 0.0 sec. user=vaughan [2012-04-20 21:30:45] 413*2^1130458-1 is not prime. Res64: EB697563C2E680AF Time : 0.0 sec. user=vaughan [2012-04-20 21:31:02] 425*2^1130458-1 is not prime. Res64: 8EAFA3914E4A1CE7 Time : 0.0 sec. user=vaughan [2012-04-20 21:31:03] 461*2^1130458-1 is not prime. Res64: C98D25D19D1AA005 Time : 0.0 sec. user=vaughan [2012-04-20 21:31:22] 465*2^1130458-1 is not prime. Res64: 7C3A0E45F300770E Time : 0.0 sec. user=vaughan [2012-04-20 21:31:23] 495*2^1130458-1 is not prime. Res64: 7F39A7847C9121B0 Time : 0.0 sec. user=vaughan [2012-04-20 21:33:15] 577*2^1130457-1 is not prime. Res64: 4A43BC52077FC54D Time : 0.0 sec. user=vaughan [2012-04-20 21:38:46] 527*2^1130458-1 is not prime. Res64: 99463142C67FE0E3 Time : 0.0 sec. user=vaughan [2012-04-20 21:38:46] 567*2^1130458-1 is not prime. Res64: 20F68B20D4126D59 Time : 0.0 sec. user=vaughan [2012-04-20 21:50:44] 433*2^1130459-1 is not prime. Res64: B77665EA1E75FE5A Time : 0.0 sec. user=vaughan [2012-04-20 21:50:44] 481*2^1130459-1 is not prime. Res64: 17C7DE43EFE780E2 Time : 0.0 sec. user=vaughan [2012-04-20 21:50:56] 465*2^1130461-1 is not prime. Res64: 14D0B63D8F4A852C Time : 0.0 sec. user=vaughan [2012-04-20 21:50:57] 495*2^1130461-1 is not prime. Res64: C3E88ABE4D7B852E Time : 0.0 sec. user=vaughan [2012-04-20 21:51:17] 537*2^1130461-1 is not prime. Res64: 3859F37F1AA03F00 Time : 0.0 sec. user=vaughan [2012-04-20 21:51:17] 555*2^1130461-1 is not prime. Res64: 393D15CEA58EA68F Time : 0.0 sec. user=vaughan [2012-04-20 21:58:39] 423*2^1130462-1 is not prime. Res64: F4DC133532341BAF Time : 0.0 sec. user=vaughan [2012-04-20 21:58:39] 453*2^1130462-1 is not prime. Res64: 8854BCCC329067D5 Time : 0.0 sec. user=vaughan [2012-04-20 22:10:46] 467*2^1130462-1 is not prime. Res64: A7A3FAD44C07B048 Time : 0.0 sec. user=vaughan [2012-04-20 22:10:49] 521*2^1130462-1 is not prime. Res64: AAF7145DDCE40406 Time : 0.0 sec. user=vaughan [2012-04-20 22:10:57] 557*2^1130462-1 is not prime. Res64: 67BD56EF7C796673 Time : 0.0 sec. user=vaughan [2012-04-20 22:10:58] 451*2^1130463-1 is not prime. Res64: F478E5DF5A13D739 Time : 0.0 sec. user=vaughan [2012-04-20 22:11:21] 453*2^1130463-1 is not prime. Res64: CC5584C17F960677 Time : 0.0 sec. user=vaughan [2012-04-20 22:11:22] 543*2^1130463-1 is not prime. Res64: 37A4823FEDAC30A5 Time : 0.0 sec. user=vaughan [2012-04-20 22:18:42] 479*2^1130464-1 is not prime. Res64: 6E3AA5C1123A7F99 Time : 0.0 sec. user=vaughan [2012-04-20 22:18:42] 529*2^1130465-1 is not prime. Res64: 5E93C9F843004116 Time : 0.0 sec. user=vaughan [2012-04-20 22:30:47] 417*2^1130466-1 is not prime. Res64: 0F4BDEDF01CC5563 Time : 0.0 sec. user=vaughan [2012-04-20 22:30:47] 567*2^1130466-1 is not prime. Res64: DA3544EA80DEE602 Time : 0.0 sec. user=vaughan [2012-04-20 22:31:03] 405*2^1130467-1 is not prime. Res64: 76D1247681AA8522 Time : 0.0 sec. user=vaughan [2012-04-20 22:31:04] 421*2^1130467-1 is not prime. Res64: BD54BD9F6A84AA2A Time : 0.0 sec. user=vaughan [2012-04-20 22:31:29] 531*2^1130467-1 is not prime. Res64: 5B8B7667D0F4C874 Time : 0.0 sec. user=vaughan [2012-04-20 22:31:29] 541*2^1130467-1 is not prime. Res64: 2B9BDE49FAD0498F Time : 0.0 sec. user=vaughan [2012-04-20 22:38:49] 549*2^1130467-1 is not prime. Res64: 94F44E87356243B6 Time : 0.0 sec. user=vaughan [2012-04-20 22:38:49] 555*2^1130467-1 is not prime. Res64: FD47688B3A034C1B Time : 0.0 sec. user=vaughan [2012-04-20 22:41:34] 547*2^1130465-1 is not prime. Res64: 9C7708E764B00062 Time : 0.0 sec. user=vaughan [2012-04-20 22:50:46] 595*2^1130467-1 is not prime. Res64: 019034D61BE4BBF3 Time : 0.0 sec. user=vaughan [2012-04-20 22:50:47] 465*2^1130469-1 is not prime. Res64: B23B535A8E9CDCBF Time : 0.0 sec. user=vaughan [2012-04-20 22:51:05] 471*2^1130469-1 is not prime. Res64: C9BFA3AAF8E104B8 Time : 0.0 sec. user=vaughan [2012-04-20 22:51:05] 555*2^1130469-1 is not prime. Res64: C9988D2C8FEA2CD6 Time : 0.0 sec. user=vaughan [2012-04-20 22:51:27] 453*2^1130471-1 is not prime. Res64: 950AD7386EF3B04B Time : 0.0 sec. user=vaughan [2012-04-20 22:51:28] 435*2^1130473-1 is not prime. Res64: 555ABB3810C83AD4 Time : 0.0 sec. user=vaughan [2012-04-20 22:58:53] 559*2^1130473-1 is not prime. Res64: 00F080D9A50E80EC Time : 0.0 sec. user=vaughan [2012-04-20 22:58:53] 567*2^1130473-1 is not prime. Res64: 9457B31A3E8AB785 Time : 0.0 sec. user=vaughan [2012-04-20 23:10:48] 411*2^1130474-1 is not prime. Res64: BEB8CEEED5B20510 Time : 0.0 sec. user=vaughan [2012-04-20 23:10:51] 545*2^1130474-1 is not prime. Res64: 003B8A708B275CAF Time : 0.0 sec. user=vaughan [2012-04-20 23:11:12] 551*2^1130474-1 is not prime. Res64: F81C16626C5BC25F Time : 0.0 sec. user=vaughan [2012-04-20 23:11:13] 415*2^1130475-1 is not prime. Res64: 4E87E82810ED5084 Time : 0.0 sec. user=vaughan [2012-04-20 23:11:30] 511*2^1130475-1 is not prime. Res64: CF92AAF3181823AB Time : 0.0 sec. user=vaughan [2012-04-20 23:11:33] 541*2^1130475-1 is not prime. Res64: 24543419D9F4B711 Time : 0.0 sec. user=vaughan [2012-04-20 23:18:59] 587*2^1130476-1 is not prime. Res64: B925A504035C36A5 Time : 0.0 sec. user=vaughan [2012-04-20 23:18:59] 593*2^1130476-1 is not prime. Res64: 54ADB7A02E800808 Time : 0.0 sec. user=vaughan [2012-04-20 23:30:54] 507*2^1130477-1 is not prime. Res64: 3A96C8BB4411498E Time : 0.0 sec. user=vaughan [2012-04-20 23:30:54] 517*2^1130477-1 is not prime. Res64: C43ADE9D318A27B2 Time : 0.0 sec. user=vaughan [2012-04-20 23:31:22] 537*2^1130477-1 is not prime. Res64: A03EF901F62BD9EB Time : 0.0 sec. user=vaughan [2012-04-20 23:31:22] 549*2^1130477-1 is not prime. Res64: 4351A0D15C120D1F Time : 0.0 sec. user=vaughan [2012-04-20 23:31:36] 413*2^1130478-1 is not prime. Res64: 731C728436DEAEB4 Time : 0.0 sec. user=vaughan [2012-04-20 23:31:37] 423*2^1130478-1 is not prime. Res64: 1667071A1F336351 Time : 0.0 sec. user=vaughan [2012-04-20 23:39:03] 431*2^1130478-1 is not prime. Res64: CCCC6FB49DBA173D Time : 0.0 sec. user=vaughan [2012-04-20 23:39:04] 501*2^1130478-1 is not prime. Res64: 93337E8A719F3D61 Time : 0.0 sec. user=vaughan [2012-04-20 23:50:54] 499*2^1130479-1 is not prime. Res64: 2BCE6F3A9AC91FB9 Time : 0.0 sec. user=vaughan [2012-04-20 23:50:55] 555*2^1130479-1 is not prime. Res64: 1694026F23D43C9C Time : 0.0 sec. user=vaughan [2012-04-20 23:51:32] 559*2^1130479-1 is not prime. Res64: 99A6CACBAE446DFB Time : 0.0 sec. user=vaughan [2012-04-20 23:51:32] 437*2^1130480-1 is not prime. Res64: 2E280F8732DF292D Time : 0.0 sec. user=vaughan [2012-04-20 23:51:34] 483*2^1130480-1 is not prime. Res64: 47E7478009570096 Time : 0.0 sec. user=vaughan [2012-04-20 23:51:35] 519*2^1130480-1 is not prime. Res64: 5F07FDB0F4C61A70 Time : 0.0 sec. user=vaughan [2012-04-20 23:59:08] 409*2^1130481-1 is not prime. Res64: 8FC4BE0B5F7E7137 Time : 0.0 sec. user=vaughan [2012-04-20 23:59:08] 427*2^1130481-1 is not prime. Res64: 964F03B7C39C14AA Time : 0.0 sec.