user=vaughan [2012-02-07 00:01:47] 469*2^1120731-1 is not prime. Res64: 02D0A58DE9C462F2 Time : 0.0 sec. user=vaughan [2012-02-07 00:01:48] 429*2^1120732-1 is not prime. Res64: D78A808E5BF6C8FE Time : 0.0 sec. user=vaughan [2012-02-07 00:01:53] 527*2^1120750-1 is not prime. Res64: 4D09E5AA8844B5F6 Time : 0.0 sec. user=vaughan [2012-02-07 00:01:54] 591*2^1120750-1 is not prime. Res64: 5859F49CBA1FDC32 Time : 0.0 sec. user=odicin [2012-02-07 00:03:08] 495*2^1120742-1 is not prime. Res64: 651D99AF1065BDD5 Time : 0.0 sec. user=vaughan [2012-02-07 00:03:17] 417*2^1120733-1 is not prime. Res64: 9804033BF70A5A65 Time : 0.0 sec. user=vaughan [2012-02-07 00:03:18] 517*2^1120733-1 is not prime. Res64: FE2C86898902B21E Time : 0.0 sec. user=vaughan [2012-02-07 00:03:31] 483*2^1120743-1 is not prime. Res64: 45C2D202D3FD6199 Time : 0.0 sec. user=vaughan [2012-02-07 00:03:32] 553*2^1120743-1 is not prime. Res64: 2FA36D12F56AE826 Time : 0.0 sec. user=vaughan [2012-02-07 00:04:19] 565*2^1120737-1 is not prime. Res64: 60D9056AB542B325 Time : 0.0 sec. user=vaughan [2012-02-07 00:04:20] 585*2^1120737-1 is not prime. Res64: 24844639FF0A7811 Time : 0.0 sec. user=vaughan [2012-02-07 00:05:17] 539*2^1120748-1 is not prime. Res64: 13E400C0CE6D9AE1 Time : 0.0 sec. user=vaughan [2012-02-07 00:05:18] 487*2^1120749-1 is not prime. Res64: BE4BD9B026AD28D6 Time : 0.0 sec. user=vaughan [2012-02-07 00:05:46] 467*2^1120750-1 is not prime. Res64: FBE1B7AFB4E022ED Time : 0.0 sec. user=vaughan [2012-02-07 00:05:47] 525*2^1120750-1 is not prime. Res64: C40F2F7FA0869D65 Time : 0.0 sec. user=vaughan [2012-02-07 00:07:11] 531*2^1120739-1 is not prime. Res64: D7F216509B6553E7 Time : 0.0 sec. user=vaughan [2012-02-07 00:07:13] 539*2^1120740-1 is not prime. Res64: 3BCFB07EF1EB7AAB Time : 0.0 sec. user=vaughan [2012-02-07 00:08:29] 459*2^1120752-1 is not prime. Res64: 730FE80ECD2F0C3B Time : 0.0 sec. user=vaughan [2012-02-07 00:08:31] 467*2^1120752-1 is not prime. Res64: C8045A1E28B83566 Time : 0.0 sec. user=vaughan [2012-02-07 00:08:57] 505*2^1120741-1 is not prime. Res64: 24D62EDFABC016A2 Time : 0.0 sec. user=vaughan [2012-02-07 00:08:58] 555*2^1120741-1 is not prime. Res64: 8C056BFB1DC437EF Time : 0.0 sec. user=vaughan [2012-02-07 00:09:03] 437*2^1120742-1 is not prime. Res64: 19DA291760B46E5B Time : 0.0 sec. user=vaughan [2012-02-07 00:09:04] 467*2^1120742-1 is not prime. Res64: 1B8BCE51469A7F3A Time : 0.0 sec. user=juhehe [2012-02-07 00:09:06] 521*2^1120746-1 is not prime. Res64: 0C63937382D21B1E Time : 0.0 sec. user=vaughan [2012-02-07 00:10:59] 411*2^1120741-1 is not prime. Res64: 1E3AA2EE1D9D2C97 Time : 0.0 sec. user=vaughan [2012-02-07 00:11:01] 415*2^1120741-1 is not prime. Res64: AED668BE8D8C7A92 Time : 0.0 sec. user=vaughan [2012-02-07 00:11:40] 503*2^1120742-1 is not prime. Res64: 7E88ED9633A0F1F3 Time : 0.0 sec. user=vaughan [2012-02-07 00:11:42] 429*2^1120743-1 is not prime. Res64: 421A215F65426F8F Time : 0.0 sec. user=vaughan [2012-02-07 00:12:25] 507*2^1120744-1 is not prime. Res64: 0D0D62E9FD237FAC Time : 0.0 sec. user=vaughan [2012-02-07 00:12:29] 509*2^1120744-1 is not prime. Res64: 3D7184E305B35012 Time : 0.0 sec. user=juhehe [2012-02-07 00:12:31] 423*2^1120751-1 is not prime. Res64: 4F927B47EDB0248D Time : 0.0 sec. user=vaughan [2012-02-07 00:12:35] 591*2^1120745-1 is not prime. Res64: ADCC4BA40467B41C Time : 0.0 sec. user=vaughan [2012-02-07 00:12:36] 443*2^1120746-1 is not prime. Res64: 8D8A3612796FD908 Time : 0.0 sec. user=vaughan [2012-02-07 00:12:52] 519*2^1120757-1 is not prime. Res64: 605496182073A666 Time : 0.0 sec. user=vaughan [2012-02-07 00:12:55] 589*2^1120757-1 is not prime. Res64: A12BA78DE7B0905A Time : 0.0 sec. user=odicin [2012-02-07 00:15:09] 483*2^1120756-1 is not prime. Res64: 4D2CC48A9D1A892D Time : 0.0 sec. user=vaughan [2012-02-07 00:15:15] 437*2^1120760-1 is not prime. Res64: 2B1DF11D558F9880 Time : 0.0 sec. user=vaughan [2012-02-07 00:15:17] 519*2^1120760-1 is not prime. Res64: 4063DC7B1B5E84FF Time : 0.0 sec. user=vaughan [2012-02-07 00:15:52] 481*2^1120745-1 is not prime. Res64: 7BAA657A239965D7 Time : 0.0 sec. user=vaughan [2012-02-07 00:15:52] 547*2^1120745-1 is not prime. Res64: 5906311FCDC25A82 Time : 0.0 sec. user=vaughan [2012-02-07 00:16:38] 527*2^1120746-1 is not prime. Res64: C6B54BF7FC0A07C3 Time : 0.0 sec. user=vaughan [2012-02-07 00:16:39] 587*2^1120746-1 is not prime. Res64: B0A8181E99E87090 Time : 0.0 sec. user=vaughan [2012-02-07 00:19:44] 433*2^1120743-1 is not prime. Res64: 9C7CEB80E3ABF7E3 Time : 0.0 sec. user=vaughan [2012-02-07 00:19:45] 451*2^1120743-1 is not prime. Res64: D46FD9D51D69C0B5 Time : 0.0 sec. user=vaughan [2012-02-07 00:19:51] 421*2^1120759-1 is not prime. Res64: 4A880276DB2D8368 Time : 0.0 sec. user=vaughan [2012-02-07 00:19:51] 481*2^1120759-1 is not prime. Res64: 633BCD9EE795D689 Time : 0.0 sec. user=vaughan [2012-02-07 00:20:39] 413*2^1120752-1 is not prime. Res64: 2E83D133D3F91826 Time : 0.0 sec. user=vaughan [2012-02-07 00:20:40] 425*2^1120752-1 is not prime. Res64: AC35606E519F722C Time : 0.0 sec. user=vaughan [2012-02-07 00:22:58] 485*2^1120752-1 is not prime. Res64: 420E87C510D0FEC2 Time : 0.0 sec. user=vaughan [2012-02-07 00:22:59] 497*2^1120752-1 is not prime. Res64: 06CB77E0729091E0 Time : 0.0 sec. user=vaughan [2012-02-07 00:23:59] 437*2^1120758-1 is not prime. Res64: D9AF1A32D83DA790 Time : 0.0 sec. user=vaughan [2012-02-07 00:23:59] 471*2^1120758-1 is not prime. Res64: E0831DAD3477B36D Time : 0.0 sec. user=vaughan [2012-02-07 00:24:23] 587*2^1120766-1 is not prime. Res64: F7A856958857835A Time : 0.0 sec. user=vaughan [2012-02-07 00:24:24] 451*2^1120767-1 is not prime. Res64: BA2E68F9F2E1E0F8 Time : 0.0 sec. user=vaughan [2012-02-07 00:25:23] 537*2^1120756-1 is not prime. Res64: E3F7C35D47389B6D Time : 0.0 sec. user=vaughan [2012-02-07 00:25:23] 597*2^1120756-1 is not prime. Res64: 0FD3EE4EF657AD2D Time : 0.0 sec. user=vaughan [2012-02-07 00:25:51] 487*2^1120757-1 is not prime. Res64: 5B78AEE616AC767F Time : 0.0 sec. user=vaughan [2012-02-07 00:25:52] 511*2^1120757-1 is not prime. Res64: CE68C4C022D0D32A Time : 0.0 sec. user=vaughan [2012-02-07 00:27:31] 597*2^1120761-1 is not prime. Res64: 629B96B5C874F9F5 Time : 0.0 sec. user=vaughan [2012-02-07 00:27:31] 423*2^1120762-1 is not prime. Res64: 0A1BD1DCDFF89C12 Time : 0.0 sec. user=vaughan [2012-02-07 00:28:04] 513*2^1120758-1 is not prime. Res64: 6AB8DD5B8012ABED Time : 0.0 sec. user=vaughan [2012-02-07 00:28:05] 585*2^1120758-1 is not prime. Res64: 148C99FBFB2BABA8 Time : 0.0 sec. user=vaughan [2012-02-07 00:28:51] 465*2^1120764-1 is not prime. Res64: E38B603A73B51186 Time : 0.0 sec. user=vaughan [2012-02-07 00:28:51] 563*2^1120764-1 is not prime. Res64: F130A4377D3C3B3B Time : 0.0 sec. user=odicin [2012-02-07 00:29:08] 511*2^1120767-1 is not prime. Res64: 62AB33CE22005BC7 Time : 0.0 sec. user=vaughan [2012-02-07 00:30:04] 465*2^1120765-1 is not prime. Res64: 41F1EC71280DAB6D Time : 0.0 sec. user=vaughan [2012-02-07 00:30:05] 531*2^1120765-1 is not prime. Res64: E4BF8F0D97F67E47 Time : 0.0 sec. user=vaughan [2012-02-07 00:30:34] 465*2^1120768-1 is not prime. Res64: 9DCE1897DA23964C Time : 0.0 sec. user=vaughan [2012-02-07 00:30:35] 527*2^1120768-1 is not prime. Res64: B518DC5DF11BF043 Time : 0.0 sec. user=vaughan [2012-02-07 00:30:45] 567*2^1120769-1 is not prime. Res64: B86830D49B8C2DEC Time : 0.0 sec. user=vaughan [2012-02-07 00:30:45] 595*2^1120769-1 is not prime. Res64: 0A1FCB74F23650C5 Time : 0.0 sec. user=vaughan [2012-02-07 00:32:19] 465*2^1120761-1 is not prime. Res64: CADE8FBF4A575537 Time : 0.0 sec. user=vaughan [2012-02-07 00:32:20] 471*2^1120761-1 is not prime. Res64: E0BDB50BE8B0E973 Time : 0.0 sec. user=vaughan [2012-02-07 00:32:24] 597*2^1120768-1 is not prime. Res64: 9E43BAA1C7D99139 Time : 0.0 sec. user=vaughan [2012-02-07 00:32:24] 441*2^1120769-1 is not prime. Res64: DABB25C400907116 Time : 0.0 sec. user=vaughan [2012-02-07 00:33:08] 501*2^1120769-1 is not prime. Res64: FAE21A26F6EEBAA6 Time : 0.0 sec. user=vaughan [2012-02-07 00:33:09] 511*2^1120769-1 is not prime. Res64: 7B2DD26C143C00D1 Time : 0.0 sec. user=vaughan [2012-02-07 00:33:12] 499*2^1120761-1 is not prime. Res64: 803AC09706BD1A26 Time : 0.0 sec. user=vaughan [2012-02-07 00:33:13] 579*2^1120761-1 is not prime. Res64: 1D12765A03C49027 Time : 0.0 sec. user=vaughan [2012-02-07 00:34:32] 435*2^1120762-1 is not prime. Res64: 65F8093D2EA108B7 Time : 0.0 sec. user=vaughan [2012-02-07 00:34:33] 497*2^1120762-1 is not prime. Res64: B4B17FA68A66DBE9 Time : 0.0 sec. user=vaughan [2012-02-07 00:35:11] 475*2^1120775-1 is not prime. Res64: B870A9C9292F32DE Time : 0.0 sec. user=vaughan [2012-02-07 00:35:12] 543*2^1120775-1 is not prime. Res64: 93D60DF917F519FE Time : 0.0 sec. user=vaughan [2012-02-07 00:35:23] 551*2^1120762-1 is not prime. Res64: 0453341008D123BF Time : 0.0 sec. user=vaughan [2012-02-07 00:35:24] 581*2^1120762-1 is not prime. Res64: 923634C15B92AC22 Time : 0.0 sec. user=vaughan [2012-02-07 00:36:05] 415*2^1120765-1 is not prime. Res64: 73A10FDBA4A5D2FE Time : 0.0 sec. user=vaughan [2012-02-07 00:36:06] 441*2^1120765-1 is not prime. Res64: CA9A6F96DFB81D09 Time : 0.0 sec. user=vaughan [2012-02-07 00:37:29] 595*2^1120775-1 is not prime. Res64: 17E529CAC573272E Time : 0.0 sec. user=vaughan [2012-02-07 00:37:30] 479*2^1120776-1 is not prime. Res64: A875C01016E816C7 Time : 0.0 sec. user=vaughan [2012-02-07 00:40:16] 573*2^1120719-1 is not prime. Res64: 22B976FED74CC6DE Time : 0.0 sec. user=vaughan [2012-02-07 00:40:17] 527*2^1120720-1 is not prime. Res64: 2E1E73F0AB35BD5E Time : 0.0 sec. user=vaughan [2012-02-07 00:40:17] 587*2^1120720-1 is not prime. Res64: BEA4F4720DB730A3 Time : 0.0 sec. user=vaughan [2012-02-07 00:40:26] 569*2^1120768-1 is not prime. Res64: 22A24269A3E7BA95 Time : 0.0 sec. user=vaughan [2012-02-07 00:40:26] 575*2^1120768-1 is not prime. Res64: 295B36927B734E5C Time : 0.0 sec. user=juhehe [2012-02-07 00:41:11] 535*2^1120771-1 is not prime. Res64: 203BA357B62E5D1E Time : 0.0 sec. user=vaughan [2012-02-07 00:44:05] 535*2^1120769-1 is not prime. Res64: F8B91677A9F342A4 Time : 0.0 sec. user=vaughan [2012-02-07 00:44:06] 559*2^1120769-1 is not prime. Res64: F1F87BA2C5BAF903 Time : 0.0 sec. user=juhehe [2012-02-07 00:44:38] 403*2^1120775-1 is not prime. Res64: F24A7D3F740A3DB8 Time : 0.0 sec. user=vaughan [2012-02-07 00:44:57] 411*2^1120770-1 is not prime. Res64: F2CACDBD6D406526 Time : 0.0 sec. user=vaughan [2012-02-07 00:44:58] 465*2^1120770-1 is not prime. Res64: 6C78C316E686EE61 Time : 0.0 sec. user=vaughan [2012-02-07 00:45:09] 501*2^1120770-1 is not prime. Res64: F9496FA7ED57A63B Time : 0.0 sec. user=vaughan [2012-02-07 00:45:09] 595*2^1120765-1 is not prime. Res64: 94AD98F4359893CD Time : 0.0 sec. user=vaughan [2012-02-07 00:45:10] 505*2^1120771-1 is not prime. Res64: ABDCB32D1BE61200 Time : 0.0 sec. user=vaughan [2012-02-07 00:45:10] 417*2^1120766-1 is not prime. Res64: 3F28D0B1E8AA3DA6 Time : 0.0 sec. user=vaughan [2012-02-07 00:46:04] 573*2^1120766-1 is not prime. Res64: E607874CED4FA4B9 Time : 0.0 sec. user=vaughan [2012-02-07 00:46:04] 581*2^1120766-1 is not prime. Res64: 7D713F87ABCA6185 Time : 0.0 sec. user=vaughan [2012-02-07 00:46:35] 533*2^1120780-1 is not prime. Res64: C622E51F6E2F7C32 Time : 0.0 sec. user=vaughan [2012-02-07 00:46:35] 545*2^1120780-1 is not prime. Res64: EB2131E1A8A147C5 Time : 0.0 sec. user=vaughan [2012-02-07 00:46:55] 545*2^1120778-1 is not prime. Res64: 296E688B370AC132 Time : 0.0 sec. user=vaughan [2012-02-07 00:46:56] 411*2^1120779-1 is not prime. Res64: B60AD9A3D5C6389B Time : 0.0 sec. user=vaughan [2012-02-07 00:47:31] 523*2^1120767-1 is not prime. Res64: B3929F4B6C07EC9E Time : 0.0 sec. user=vaughan [2012-02-07 00:47:32] 453*2^1120768-1 is not prime. Res64: 6062B8435C77A963 Time : 0.0 sec. user=vaughan [2012-02-07 00:48:19] 599*2^1120772-1 is not prime. Res64: 5702FA90FDD2C5C9 Time : 0.0 sec. user=vaughan [2012-02-07 00:48:20] 441*2^1120773-1 is not prime. Res64: 9EE285E68B88BB50 Time : 0.0 sec. user=vaughan [2012-02-07 00:48:43] 433*2^1120775-1 is not prime. Res64: 0CB8E511F68E4245 Time : 0.0 sec. user=vaughan [2012-02-07 00:48:44] 465*2^1120775-1 is not prime. Res64: 95BA6EF804D7C066 Time : 0.0 sec. user=vaughan [2012-02-07 00:49:22] 529*2^1120773-1 is not prime. Res64: 6BD00A7CBB086490 Time : 0.0 sec. user=vaughan [2012-02-07 00:49:22] 447*2^1120774-1 is not prime. Res64: E1F528B04C4112C9 Time : 0.0 sec. user=vaughan [2012-02-07 00:50:17] 405*2^1120772-1 is not prime. Res64: 8303FA469BBFA994 Time : 0.0 sec. user=vaughan [2012-02-07 00:50:18] 483*2^1120772-1 is not prime. Res64: C4358D8337C4553E Time : 0.0 sec. user=vaughan [2012-02-07 00:53:06] 489*2^1120787-1 is not prime. Res64: 445DBCCBF9DEAABF Time : 0.0 sec. user=vaughan [2012-02-07 00:53:06] 493*2^1120787-1 is not prime. Res64: 8D04290B0C7141D3 Time : 0.0 sec. user=vaughan [2012-02-07 00:55:14] 563*2^1120776-1 is not prime. Res64: 9BF112CEA8F4E8AC Time : 0.0 sec. user=vaughan [2012-02-07 00:55:15] 567*2^1120776-1 is not prime. Res64: 59ED4AD9C69CBE83 Time : 0.0 sec. user=vaughan [2012-02-07 00:56:02] 597*2^1120776-1 is not prime. Res64: C63A90376F02C9E4 Time : 0.0 sec. user=vaughan [2012-02-07 00:56:02] 469*2^1120777-1 is not prime. Res64: FB8EBCA816768508 Time : 0.0 sec. user=vaughan [2012-02-07 00:56:45] 453*2^1120780-1 is not prime. Res64: 382C33595CE432EE Time : 0.0 sec. user=vaughan [2012-02-07 00:56:46] 525*2^1120780-1 is not prime. Res64: 84A20762FBC8F38F Time : 0.0 sec. user=vaughan [2012-02-07 00:57:22] 429*2^1120779-1 is not prime. Res64: 8F630BE71FCA778C Time : 0.0 sec. user=vaughan [2012-02-07 00:57:22] 451*2^1120779-1 is not prime. Res64: 5C90688576530EF1 Time : 0.0 sec. user=vaughan [2012-02-07 00:57:24] 497*2^1120786-1 is not prime. Res64: 65DDC345ED79B60A Time : 0.0 sec. user=vaughan [2012-02-07 00:57:25] 587*2^1120786-1 is not prime. Res64: 7C1F6F5801DFD9CD Time : 0.0 sec. user=vaughan [2012-02-07 00:57:48] 501*2^1120790-1 is not prime. Res64: 3D371ECA68B1A352 Time : 0.0 sec. user=vaughan [2012-02-07 00:57:48] 563*2^1120790-1 is not prime. Res64: 4C0F312D5CE0FA82 Time : 0.0 sec. user=vaughan [2012-02-07 00:59:13] 453*2^1120788-1 is not prime. Res64: B2493C54D20A51A8 Time : 0.0 sec. user=vaughan [2012-02-07 00:59:13] 567*2^1120788-1 is not prime. Res64: E67D07E1F1FBBC28 Time : 0.0 sec. user=vaughan [2012-02-07 00:59:41] 483*2^1120779-1 is not prime. Res64: FFE2B3A713F4A091 Time : 0.0 sec. user=vaughan [2012-02-07 00:59:41] 573*2^1120779-1 is not prime. Res64: 52D2611925E3361F Time : 0.0 sec. user=vaughan [2012-02-07 00:59:57] 571*2^1120791-1 is not prime. Res64: 638CD991099A99CC Time : 0.0 sec. user=vaughan [2012-02-07 00:59:58] 591*2^1120791-1 is not prime. Res64: 90E678B793321812 Time : 0.0 sec. user=vaughan [2012-02-07 00:59:59] 569*2^1120788-1 is not prime. Res64: 9D7C106A7A06B56F Time : 0.0 sec. user=vaughan [2012-02-07 00:59:59] 525*2^1120789-1 is not prime. Res64: 39B085C8C61A8649 Time : 0.0 sec. user=vaughan [2012-02-07 01:00:36] 551*2^1120782-1 is not prime. Res64: 686D6C4F598C0CF9 Time : 0.0 sec. user=vaughan [2012-02-07 01:00:38] 555*2^1120783-1 is not prime. Res64: 06DD565949AD7964 Time : 0.0 sec. user=vaughan [2012-02-07 01:01:33] 495*2^1120781-1 is not prime. Res64: 26D3A0CCF18BDBBC Time : 0.0 sec. user=vaughan [2012-02-07 01:01:34] 571*2^1120781-1 is not prime. Res64: 21D4F9AD915EBB12 Time : 0.0 sec. user=vaughan [2012-02-07 01:01:37] 585*2^1120784-1 is not prime. Res64: ECF897E5E84668C7 Time : 0.0 sec. user=vaughan [2012-02-07 01:01:37] 465*2^1120785-1 is not prime. Res64: DDA1AA1C4F8D1436 Time : 0.0 sec. user=vaughan [2012-02-07 01:02:01] 485*2^1120782-1 is not prime. Res64: D1C85FBBDC25238C Time : 0.0 sec. user=vaughan [2012-02-07 01:02:03] 527*2^1120782-1 is not prime. Res64: 4061D99278F79874 Time : 0.0 sec. user=vaughan [2012-02-07 01:03:04] 481*2^1120785-1 is not prime. Res64: 6D0F64C67D370B94 Time : 0.0 sec. user=vaughan [2012-02-07 01:03:05] 437*2^1120786-1 is not prime. Res64: FE1661EAD4D989C2 Time : 0.0 sec. user=vaughan [2012-02-07 01:04:02] 425*2^1120778-1 is not prime. Res64: 70541BBA250DDCEE Time : 0.0 sec. user=vaughan [2012-02-07 01:04:03] 497*2^1120778-1 is not prime. Res64: 3A601C360C092442 Time : 0.0 sec. user=vaughan [2012-02-07 01:04:47] 503*2^1120784-1 is not prime. Res64: F7C69ADDF4A5768F Time : 0.0 sec. user=vaughan [2012-02-07 01:04:48] 525*2^1120784-1 is not prime. Res64: 3E8F88EA52FE7F96 Time : 0.0 sec. user=vaughan [2012-02-07 01:09:02] 575*2^1120798-1 is not prime. Res64: 32D27A29D1BF9F48 Time : 0.0 sec. user=vaughan [2012-02-07 01:09:03] 423*2^1120799-1 is not prime. Res64: 8C5B8C5A4FEE6D48 Time : 0.0 sec. user=vaughan [2012-02-07 01:11:40] 511*2^1120787-1 is not prime. Res64: 95FA3E411EB2CE43 Time : 0.0 sec. user=vaughan [2012-02-07 01:11:41] 523*2^1120787-1 is not prime. Res64: 08C297036673E985 Time : 0.0 sec. user=vaughan [2012-02-07 01:12:17] 495*2^1120753-1 is not prime. Res64: 6377DE2B6171DF59 Time : 0.0 sec. user=vaughan [2012-02-07 01:12:20] 405*2^1120755-1 is not prime. Res64: 0DB683526DA0CFAF Time : 0.0 sec. user=vaughan [2012-02-07 01:12:26] 459*2^1120755-1 is not prime. Res64: 056FB94894E57F47 Time : 0.0 sec. user=vaughan [2012-02-07 01:12:49] 407*2^1120790-1 is not prime. Res64: FA19A18EFD3B36AB Time : 0.0 sec. user=vaughan [2012-02-07 01:12:51] 431*2^1120790-1 is not prime. Res64: 5E3FF19A2C930EAB Time : 0.0 sec. user=juhehe [2012-02-07 01:13:21] 497*2^1120794-1 is not prime. Res64: 89BA86C98DE5E881 Time : 0.0 sec. user=vaughan [2012-02-07 01:13:52] 439*2^1120799-1 is not prime. Res64: 794D6944C7F4F14F Time : 0.0 sec. user=vaughan [2012-02-07 01:13:53] 463*2^1120799-1 is not prime. Res64: 425B3E175BFD05A3 Time : 0.0 sec. user=vaughan [2012-02-07 01:14:06] 437*2^1120790-1 is not prime. Res64: E3CAD17F0C18CBDE Time : 0.0 sec. user=vaughan [2012-02-07 01:14:07] 447*2^1120790-1 is not prime. Res64: D9F31B60D0146C95 Time : 0.0 sec. user=vaughan [2012-02-07 01:15:02] 587*2^1120790-1 is not prime. Res64: E873359AA5FF14A4 Time : 0.0 sec. user=vaughan [2012-02-07 01:15:05] 593*2^1120790-1 is not prime. Res64: BAD928D8402841E7 Time : 0.0 sec. user=vaughan [2012-02-07 01:15:31] 417*2^1120802-1 is not prime. Res64: 5A65D7664977228A Time : 0.0 sec. user=vaughan [2012-02-07 01:15:31] 467*2^1120802-1 is not prime. Res64: 7C5CCE9DB5ED49D9 Time : 0.0 sec. user=vaughan [2012-02-07 01:15:35] 469*2^1120791-1 is not prime. Res64: 298871D8F2137024 Time : 0.0 sec. user=vaughan [2012-02-07 01:15:36] 531*2^1120791-1 is not prime. Res64: E58F07212D00177C Time : 0.0 sec. user=vaughan [2012-02-07 01:16:38] 537*2^1120793-1 is not prime. Res64: E58D5AEAC1EE27E9 Time : 0.0 sec. user=vaughan [2012-02-07 01:16:38] 565*2^1120793-1 is not prime. Res64: DC4B83F4FDBC4640 Time : 0.0 sec. user=juhehe [2012-02-07 01:16:48] 453*2^1120795-1 is not prime. Res64: 79565EA4E15A8C70 Time : 0.0 sec. user=vaughan [2012-02-07 01:17:00] 463*2^1120751-1 is not prime. Res64: EEA5AA25E2D3B429 Time : 0.0 sec. user=vaughan [2012-02-07 01:17:01] 465*2^1120751-1 is not prime. Res64: 5B10D7A54E9807F6 Time : 0.0 sec. user=vaughan [2012-02-07 01:17:01] 519*2^1120751-1 is not prime. Res64: 9E9A894C4E24ACF9 Time : 0.0 sec. user=vaughan [2012-02-07 01:20:07] 545*2^1120804-1 is not prime. Res64: 5A77186AA032FC5A Time : 0.0 sec. user=vaughan [2012-02-07 01:20:08] 411*2^1120805-1 is not prime. Res64: C74904B80D1BDC86 Time : 0.0 sec. user=vaughan [2012-02-07 01:20:44] 501*2^1120794-1 is not prime. Res64: 939FB4B701183F84 Time : 0.0 sec. user=vaughan [2012-02-07 01:20:45] 405*2^1120795-1 is not prime. Res64: 8C7458DAD880537E Time : 0.0 sec. user=vaughan [2012-02-07 01:21:15] 519*2^1120795-1 is not prime. Res64: E48670B125B9F626 Time : 0.0 sec. user=vaughan [2012-02-07 01:21:16] 561*2^1120795-1 is not prime. Res64: 728CFC69D4100DA0 Time : 0.0 sec. user=vaughan [2012-02-07 01:21:21] 593*2^1120796-1 is not prime. Res64: 49E37704FA0EC2A2 Time : 0.0 sec. user=vaughan [2012-02-07 01:21:21] 427*2^1120797-1 is not prime. Res64: 2AE7D646C20B3377 Time : 0.0 sec. user=vaughan [2012-02-07 01:22:20] 507*2^1120806-1 is not prime. Res64: 052B269C8295B415 Time : 0.0 sec. user=vaughan [2012-02-07 01:22:21] 513*2^1120806-1 is not prime. Res64: E3011C45FEA61188 Time : 0.0 sec. user=vaughan [2012-02-07 01:23:51] 413*2^1120804-1 is not prime. Res64: E14C68A2A1371D52 Time : 0.0 sec. user=vaughan [2012-02-07 01:23:51] 533*2^1120804-1 is not prime. Res64: 2CDF959E72C49478 Time : 0.0 sec. user=vaughan [2012-02-07 01:24:54] 525*2^1120800-1 is not prime. Res64: DDC7BB7A811F3E1E Time : 0.0 sec. user=vaughan [2012-02-07 01:24:55] 409*2^1120801-1 is not prime. Res64: 276542B39A0A2657 Time : 0.0 sec. user=vaughan [2012-02-07 01:25:02] 459*2^1120800-1 is not prime. Res64: C14898471CE40C27 Time : 0.0 sec. user=vaughan [2012-02-07 01:25:03] 509*2^1120800-1 is not prime. Res64: 73D99E04BBFF60EA Time : 0.0 sec. user=vaughan [2012-02-07 01:25:59] 495*2^1120801-1 is not prime. Res64: A22864EEDF1A3D16 Time : 0.0 sec. user=vaughan [2012-02-07 01:25:59] 505*2^1120801-1 is not prime. Res64: 60F3D2F11F8848B3 Time : 0.0 sec. user=vaughan [2012-02-07 01:26:01] 441*2^1120805-1 is not prime. Res64: 0610F7B8FD71E7DB Time : 0.0 sec. user=vaughan [2012-02-07 01:26:01] 451*2^1120805-1 is not prime. Res64: CCA733618D0CB732 Time : 0.0 sec. user=vaughan [2012-02-07 01:26:48] 405*2^1120807-1 is not prime. Res64: E35FFE5E99DC3A0E Time : 0.0 sec. user=vaughan [2012-02-07 01:26:48] 453*2^1120807-1 is not prime. Res64: 2A2D7C92D3566788 Time : 0.0 sec. user=vaughan [2012-02-07 01:29:29] 447*2^1120797-1 is not prime. Res64: 8274699FB99098E8 Time : 0.0 sec. user=vaughan [2012-02-07 01:29:30] 595*2^1120797-1 is not prime. Res64: 6210AC8540119224 Time : 0.0 sec. user=vaughan [2012-02-07 01:29:31] 433*2^1120803-1 is not prime. Res64: 09FCE691B8088017 Time : 0.0 sec. user=vaughan [2012-02-07 01:29:32] 459*2^1120803-1 is not prime. Res64: 4091B808AF6BD1EE Time : 0.0 sec. user=vaughan [2012-02-07 01:29:40] 541*2^1120801-1 is not prime. Res64: 4A59549FFD403C0D Time : 0.0 sec. user=vaughan [2012-02-07 01:29:41] 547*2^1120801-1 is not prime. Res64: 4813D68C3EEFED46 Time : 0.0 sec. user=vaughan [2012-02-07 01:30:13] 461*2^1120798-1 is not prime. Res64: 2EFAA8AA4C3ABC81 Time : 0.0 sec. user=vaughan [2012-02-07 01:30:17] 525*2^1120798-1 is not prime. Res64: 670EE810860B51B8 Time : 0.0 sec. user=vaughan [2012-02-07 01:31:23] 489*2^1120811-1 is not prime. Res64: 9AD58B2F5B49899B Time : 0.0 sec. user=vaughan [2012-02-07 01:31:24] 549*2^1120811-1 is not prime. Res64: 622AAC2333D987B4 Time : 0.0 sec. user=vaughan [2012-02-07 01:31:45] 511*2^1120799-1 is not prime. Res64: 69D9CB7D8F75A82A Time : 0.0 sec. user=vaughan [2012-02-07 01:31:45] 531*2^1120799-1 is not prime. Res64: C2E51E41C3C39A35 Time : 0.0 sec. user=vaughan [2012-02-07 01:33:38] 463*2^1120807-1 is not prime. Res64: E5A9201B369F4649 Time : 0.0 sec. user=vaughan [2012-02-07 01:33:39] 595*2^1120807-1 is not prime. Res64: 10EFBE87089582AC Time : 0.0 sec. user=vaughan [2012-02-07 01:34:05] 523*2^1120803-1 is not prime. Res64: F99CDE930E4E725E Time : 0.0 sec. user=vaughan [2012-02-07 01:34:06] 585*2^1120803-1 is not prime. Res64: D4809A8A4C349B81 Time : 0.0 sec. user=vaughan [2012-02-07 01:34:25] 515*2^1120808-1 is not prime. Res64: 063B1C96DF8B991A Time : 0.0 sec. user=vaughan [2012-02-07 01:34:25] 415*2^1120809-1 is not prime. Res64: DBF484236DB507BA Time : 0.0 sec. user=vaughan [2012-02-07 01:34:38] 521*2^1120802-1 is not prime. Res64: 4C9718A585BA9531 Time : 0.0 sec. user=vaughan [2012-02-07 01:34:39] 573*2^1120802-1 is not prime. Res64: C427FF61731725B3 Time : 0.0 sec. user=vaughan [2012-02-07 01:35:19] 409*2^1120803-1 is not prime. Res64: 7F770D9E737A8662 Time : 0.0 sec. user=vaughan [2012-02-07 01:35:20] 411*2^1120803-1 is not prime. Res64: 06BC54B58B6B34F1 Time : 0.0 sec. user=vaughan [2012-02-07 01:36:02] 511*2^1120809-1 is not prime. Res64: ECB75102CFA76957 Time : 0.0 sec. user=vaughan [2012-02-07 01:36:03] 465*2^1120810-1 is not prime. Res64: 49F52F96A477B310 Time : 0.0 sec. user=vaughan [2012-02-07 01:36:26] 481*2^1120805-1 is not prime. Res64: D474F49FE88781B6 Time : 0.0 sec. user=vaughan [2012-02-07 01:36:26] 547*2^1120805-1 is not prime. Res64: 47BC17D850C90A96 Time : 0.0 sec. user=vaughan [2012-02-07 01:37:39] 465*2^1120808-1 is not prime. Res64: 5E38F7BFEBF571F9 Time : 0.0 sec. user=vaughan [2012-02-07 01:37:40] 467*2^1120808-1 is not prime. Res64: 4D19E5176DBEF106 Time : 0.0 sec. user=vaughan [2012-02-07 01:37:48] 567*2^1120816-1 is not prime. Res64: 0C62556FC757FEE0 Time : 0.0 sec. user=vaughan [2012-02-07 01:37:48] 587*2^1120816-1 is not prime. Res64: 1E34BDCC37946FC2 Time : 0.0 sec. user=vaughan [2012-02-07 01:38:12] 465*2^1120809-1 is not prime. Res64: 78C01739AFA0EE7D Time : 0.0 sec. user=vaughan [2012-02-07 01:38:12] 499*2^1120809-1 is not prime. Res64: 00E1AE375C25CD46 Time : 0.0 sec. user=vaughan [2012-02-07 01:41:26] 489*2^1120815-1 is not prime. Res64: A595E087BB19D84A Time : 0.0 sec. user=vaughan [2012-02-07 01:41:26] 553*2^1120815-1 is not prime. Res64: ABF91021CC75024A Time : 0.0 sec. user=vaughan [2012-02-07 01:41:31] 527*2^1120810-1 is not prime. Res64: D9C012C6B9D7C5C1 Time : 0.0 sec. user=vaughan [2012-02-07 01:41:32] 545*2^1120810-1 is not prime. Res64: 3F7355D24964CA95 Time : 0.0 sec. user=vaughan [2012-02-07 01:42:27] 483*2^1120820-1 is not prime. Res64: 980A865C95DA368C Time : 0.0 sec. user=vaughan [2012-02-07 01:42:28] 539*2^1120820-1 is not prime. Res64: 93CC50F36F7E4554 Time : 0.0 sec. user=vaughan [2012-02-07 01:44:43] 507*2^1120822-1 is not prime. Res64: ED66E03E3DC1045A Time : 0.0 sec. user=vaughan [2012-02-07 01:44:44] 527*2^1120822-1 is not prime. Res64: 6D311876BED7C3A9 Time : 0.0 sec. user=juhehe [2012-02-07 01:45:33] 441*2^1120815-1 is not prime. Res64: 7EBDEEA71577F43E Time : 0.0 sec. user=vaughan [2012-02-07 01:48:14] 471*2^1120810-1 is not prime. Res64: 13B7A042B093AEE2 Time : 0.0 sec. user=vaughan [2012-02-07 01:48:15] 483*2^1120810-1 is not prime. Res64: BEFAB713B81A728D Time : 0.0 sec. user=juhehe [2012-02-07 01:49:01] 525*2^1120818-1 is not prime. Res64: 8E060338936288C7 Time : 0.0 sec. user=vaughan [2012-02-07 01:51:04] 485*2^1120812-1 is not prime. Res64: ADF4BC416A392CF2 Time : 0.0 sec. user=vaughan [2012-02-07 01:51:04] 489*2^1120812-1 is not prime. Res64: 21C878E68A0E5D53 Time : 0.0 sec. user=vaughan [2012-02-07 01:51:16] 581*2^1120822-1 is not prime. Res64: 465BD6042EC7E659 Time : 0.0 sec. user=vaughan [2012-02-07 01:51:16] 433*2^1120823-1 is not prime. Res64: 40A587435D24DE73 Time : 0.0 sec. user=vaughan [2012-02-07 01:52:28] 503*2^1120814-1 is not prime. Res64: 8E9446AE3BFB4581 Time : 0.0 sec. user=vaughan [2012-02-07 01:52:29] 567*2^1120814-1 is not prime. Res64: 9A44223869A582CE Time : 0.0 sec. user=vaughan [2012-02-07 01:52:41] 577*2^1120817-1 is not prime. Res64: 1481C7C6A1EF7F80 Time : 0.0 sec. user=vaughan [2012-02-07 01:52:41] 503*2^1120818-1 is not prime. Res64: D2FCBB6537FE549C Time : 0.0 sec. user=vaughan [2012-02-07 01:53:27] 405*2^1120825-1 is not prime. Res64: B454551F64BA5BDA Time : 0.0 sec. user=vaughan [2012-02-07 01:53:28] 511*2^1120825-1 is not prime. Res64: 2974F4768B6501EE Time : 0.0 sec. user=vaughan [2012-02-07 01:53:39] 573*2^1120815-1 is not prime. Res64: C1AC49A5D6E7245C Time : 0.0 sec. user=vaughan [2012-02-07 01:53:40] 453*2^1120816-1 is not prime. Res64: A9E4B0B8F662852A Time : 0.0 sec. user=vaughan [2012-02-07 01:53:43] 573*2^1120828-1 is not prime. Res64: 2587BA6C99B58FE2 Time : 0.0 sec. user=vaughan [2012-02-07 01:53:43] 597*2^1120828-1 is not prime. Res64: 37D2B81106BC1AD4 Time : 0.0 sec. user=vaughan [2012-02-07 01:54:03] 525*2^1120825-1 is not prime. Res64: 79ABD370C7D501EA Time : 0.0 sec. user=vaughan [2012-02-07 01:54:04] 597*2^1120825-1 is not prime. Res64: D97B5842468EA79C Time : 0.0 sec. user=vaughan [2012-02-07 01:54:46] 495*2^1120816-1 is not prime. Res64: 36CA6ABA5D4513DC Time : 0.0 sec. user=vaughan [2012-02-07 01:54:46] 539*2^1120816-1 is not prime. Res64: C8B31A3E1130B863 Time : 0.0 sec. user=vaughan [2012-02-07 01:55:07] 447*2^1120817-1 is not prime. Res64: 15CB61B3D9740A80 Time : 0.0 sec. user=vaughan [2012-02-07 01:55:08] 559*2^1120817-1 is not prime. Res64: B491BF79020239C4 Time : 0.0 sec. user=vaughan [2012-02-07 01:56:05] 537*2^1120752-1 is not prime. Res64: 1C8F1C37832C52EF Time : 0.0 sec. user=vaughan [2012-02-07 01:56:05] 539*2^1120752-1 is not prime. Res64: B5BDF86C04B0C8C4 Time : 0.0 sec. user=vaughan [2012-02-07 01:56:06] 429*2^1120753-1 is not prime. Res64: 78098C4130C9D43D Time : 0.0 sec. user=vaughan [2012-02-07 01:57:14] 507*2^1120821-1 is not prime. Res64: 887C4C691F30E22F Time : 0.0 sec. user=vaughan [2012-02-07 01:57:14] 423*2^1120822-1 is not prime. Res64: 16D8074FE83B3841 Time : 0.0 sec. user=vaughan [2012-02-07 01:57:20] 405*2^1120821-1 is not prime. Res64: DBAD7D1B0D6BEAAF Time : 0.0 sec. user=vaughan [2012-02-07 01:57:21] 471*2^1120822-1 is not prime. Res64: E7AA8A7FE64C4841 Time : 0.0 sec. user=vaughan [2012-02-07 01:57:21] 451*2^1120821-1 is not prime. Res64: 1BE767822A642C32 Time : 0.0 sec. user=vaughan [2012-02-07 01:57:21] 483*2^1120822-1 is not prime. Res64: 41A8E158F28B1E31 Time : 0.0 sec. user=vaughan [2012-02-07 02:00:06] 413*2^1120834-1 is not prime. Res64: 1CEEF8952771898D Time : 0.0 sec. user=vaughan [2012-02-07 02:00:07] 477*2^1120834-1 is not prime. Res64: C3494E7C84BD17B3 Time : 0.0 sec. user=vaughan [2012-02-07 02:00:56] 501*2^1120823-1 is not prime. Res64: 81C1FA573BD8C9F9 Time : 0.0 sec. user=vaughan [2012-02-07 02:00:57] 505*2^1120823-1 is not prime. Res64: A288D9EB3780066E Time : 0.0 sec. user=vaughan [2012-02-07 02:01:51] 571*2^1120823-1 is not prime. Res64: EABCF6700E26B856 Time : 0.0 sec. user=vaughan [2012-02-07 02:01:53] 585*2^1120823-1 is not prime. Res64: 04BC0F550091064E Time : 0.0 sec. user=vaughan [2012-02-07 02:02:21] 403*2^1120827-1 is not prime. Res64: D34C22D0BC313547 Time : 0.0 sec. user=vaughan [2012-02-07 02:02:22] 441*2^1120827-1 is not prime. Res64: EB02B991C51456D7 Time : 0.0 sec. user=vaughan [2012-02-07 02:02:33] 479*2^1120824-1 is not prime. Res64: D06E9E7B8B90EF36 Time : 0.0 sec. user=vaughan [2012-02-07 02:02:34] 549*2^1120824-1 is not prime. Res64: CA75FC4AE975FF61 Time : 0.0 sec. user=vaughan [2012-02-07 02:04:35] 561*2^1120837-1 is not prime. Res64: 0B52A59103CB4DA4 Time : 0.0 sec. user=vaughan [2012-02-07 02:04:36] 447*2^1120838-1 is not prime. Res64: 65A9FE2632A15CF8 Time : 0.0 sec. user=vaughan [2012-02-07 02:06:32] 487*2^1120829-1 is not prime. Res64: 11D864661FD0065F Time : 0.0 sec. user=vaughan [2012-02-07 02:06:33] 401*2^1120830-1 is not prime. Res64: 4396A23CFB6DB1FE Time : 0.0 sec. user=vaughan [2012-02-07 02:06:54] 483*2^1120838-1 is not prime. Res64: F6260F3351326F60 Time : 0.0 sec. user=vaughan [2012-02-07 02:06:55] 469*2^1120839-1 is not prime. Res64: AD359A7843113080 Time : 0.0 sec. user=vaughan [2012-02-07 02:07:15] 593*2^1120830-1 is not prime. Res64: 866A00A0F0810042 Time : 0.0 sec. user=vaughan [2012-02-07 02:07:18] 439*2^1120831-1 is not prime. Res64: 6C2BEB64E9EF13CB Time : 0.0 sec. user=vaughan [2012-02-07 02:08:17] 481*2^1120835-1 is not prime. Res64: FA8DDCA9829912FA Time : 0.0 sec. user=vaughan [2012-02-07 02:08:18] 537*2^1120836-1 is not prime. Res64: C152ED72E41695EC Time : 0.0 sec. user=vaughan [2012-02-07 02:08:57] 483*2^1120827-1 is not prime. Res64: 3604F9347520C7C7 Time : 0.0 sec. user=vaughan [2012-02-07 02:08:58] 543*2^1120827-1 is not prime. Res64: 769C2CEC9EA99899 Time : 0.0 sec. user=vaughan [2012-02-07 02:09:01] 573*2^1120832-1 is not prime. Res64: 0735222AEA78D62F Time : 0.0 sec. user=vaughan [2012-02-07 02:09:05] 405*2^1120833-1 is not prime. Res64: AB60C6AE50CEC5E4 Time : 0.0 sec. user=vaughan [2012-02-07 02:10:48] 431*2^1120830-1 is not prime. Res64: 4F57ADD761C46EF1 Time : 0.0 sec. user=vaughan [2012-02-07 02:10:51] 557*2^1120830-1 is not prime. Res64: 6437D47CAD3A5F7C Time : 0.0 sec. user=vaughan [2012-02-07 02:13:13] 457*2^1120833-1 is not prime. Res64: 1D06D4C42FB77F00 Time : 0.0 sec. user=vaughan [2012-02-07 02:13:15] 517*2^1120833-1 is not prime. Res64: 6AAF5414ED4CB626 Time : 0.0 sec. user=vaughan [2012-02-07 02:13:26] 549*2^1120833-1 is not prime. Res64: 5443653725B1DD79 Time : 0.0 sec. user=vaughan [2012-02-07 02:13:29] 401*2^1120834-1 is not prime. Res64: 0626AFB5441E1AC9 Time : 0.0 sec. user=vaughan [2012-02-07 02:13:50] 447*2^1120826-1 is not prime. Res64: E683CB87B335E178 Time : 0.0 sec. user=vaughan [2012-02-07 02:13:51] 567*2^1120826-1 is not prime. Res64: C764E2B0A213218D Time : 0.0 sec. user=vaughan [2012-02-07 02:14:00] 561*2^1120831-1 is not prime. Res64: 9CBD5652CE47DA09 Time : 0.0 sec. user=vaughan [2012-02-07 02:14:00] 423*2^1120832-1 is not prime. Res64: 0BAB63E8E540431E Time : 0.0 sec. user=vaughan [2012-02-07 02:14:05] 567*2^1120834-1 is not prime. Res64: B93CE330FB7B6581 Time : 0.0 sec. user=vaughan [2012-02-07 02:14:06] 465*2^1120835-1 is not prime. Res64: 7C63F8C9E0FDD248 Time : 0.0 sec. user=vaughan [2012-02-07 02:14:36] 571*2^1120827-1 is not prime. Res64: 697F3A0FC65C0A46 Time : 0.0 sec. user=vaughan [2012-02-07 02:14:37] 453*2^1120828-1 is not prime. Res64: CA2F6FD31A92E00F Time : 0.0 sec. user=vaughan [2012-02-07 02:14:41] 525*2^1120832-1 is not prime. Res64: C89EFE1883D9D3CE Time : 0.0 sec. user=vaughan [2012-02-07 02:14:42] 563*2^1120832-1 is not prime. Res64: 180958030C9A8190 Time : 0.0 sec. user=vaughan [2012-02-07 02:15:58] 411*2^1120829-1 is not prime. Res64: 3EEB839D9CD439BD Time : 0.0 sec. user=vaughan [2012-02-07 02:15:58] 465*2^1120829-1 is not prime. Res64: 9E7096D6C1389BBA Time : 0.0 sec. user=vaughan [2012-02-07 02:15:59] 435*2^1120847-1 is not prime. Res64: 120856ED21BCAA6D Time : 0.0 sec. user=vaughan [2012-02-07 02:16:00] 501*2^1120847-1 is not prime. Res64: 5CFBF99E6483635A Time : 0.0 sec. user=juhehe [2012-02-07 02:17:43] 519*2^1120840-1 is not prime. Res64: A0E8B45BB0DD22E3 Time : 0.0 sec. user=vaughan [2012-02-07 02:18:20] 545*2^1120836-1 is not prime. Res64: BB0E957C24090B90 Time : 0.0 sec. user=vaughan [2012-02-07 02:18:20] 597*2^1120836-1 is not prime. Res64: 7EF5CC84F644F057 Time : 0.0 sec. user=vaughan [2012-02-07 02:18:30] 505*2^1120843-1 is not prime. Res64: 08388BDD1D4312ED Time : 0.0 sec. user=vaughan [2012-02-07 02:18:30] 459*2^1120844-1 is not prime. Res64: 0C000CBAA6737772 Time : 0.0 sec. user=vaughan [2012-02-07 02:20:47] 459*2^1120845-1 is not prime. Res64: 61A4F071D422421B Time : 0.0 sec. user=vaughan [2012-02-07 02:20:47] 471*2^1120845-1 is not prime. Res64: 23D19CE12DD9C97F Time : 0.0 sec. user=juhehe [2012-02-07 02:21:12] 471*2^1120842-1 is not prime. Res64: 12637206DD9D48AB Time : 0.0 sec. user=vaughan [2012-02-07 02:21:22] 511*2^1120847-1 is not prime. Res64: 417774C6E934FDEB Time : 0.0 sec. user=vaughan [2012-02-07 02:21:23] 543*2^1120847-1 is not prime. Res64: 0DD69748DA705C6F Time : 0.0 sec. user=vaughan [2012-02-07 02:22:25] 567*2^1120850-1 is not prime. Res64: 5E837FFB59C1E948 Time : 0.0 sec. user=vaughan [2012-02-07 02:22:25] 585*2^1120850-1 is not prime. Res64: 0A9E00CEF163DD93 Time : 0.0 sec. user=vaughan [2012-02-07 02:26:44] 481*2^1120855-1 is not prime. Res64: C42E61A88E89477A Time : 0.0 sec. user=vaughan [2012-02-07 02:26:45] 493*2^1120855-1 is not prime. Res64: 92901197BD60D17F Time : 0.0 sec. user=vaughan [2012-02-07 02:28:26] 599*2^1120844-1 is not prime. Res64: 9BB194813371470D Time : 0.0 sec. user=vaughan [2012-02-07 02:28:27] 405*2^1120845-1 is not prime. Res64: DC9F6CA231A5663E Time : 0.0 sec. user=vaughan [2012-02-07 02:29:03] 501*2^1120857-1 is not prime. Res64: 8E6054D2AFD9EBE9 Time : 0.0 sec. user=vaughan [2012-02-07 02:29:03] 555*2^1120857-1 is not prime. Res64: 58047515FAD98E64 Time : 0.0 sec. user=vaughan [2012-02-07 02:30:22] 543*2^1120842-1 is not prime. Res64: 9C21DE486F36C06E Time : 0.0 sec. user=vaughan [2012-02-07 02:30:23] 493*2^1120843-1 is not prime. Res64: 70CF0E9C67346B86 Time : 0.0 sec. user=vaughan [2012-02-07 02:32:03] 539*2^1120844-1 is not prime. Res64: FABA1DE3910FDCF8 Time : 0.0 sec. user=vaughan [2012-02-07 02:32:04] 545*2^1120844-1 is not prime. Res64: 03B33919F230F528 Time : 0.0 sec. user=vaughan [2012-02-07 02:32:30] 597*2^1120840-1 is not prime. Res64: 28E461C57A8FFB58 Time : 0.0 sec. user=vaughan [2012-02-07 02:32:31] 405*2^1120842-1 is not prime. Res64: 5E2FF57F21CF684C Time : 0.0 sec. user=vaughan [2012-02-07 02:32:58] 527*2^1120848-1 is not prime. Res64: C7D6CE14109FE13C Time : 0.0 sec. user=vaughan [2012-02-07 02:32:59] 563*2^1120848-1 is not prime. Res64: 6D493D974A8B7DC9 Time : 0.0 sec. user=vaughan [2012-02-07 02:33:05] 515*2^1120850-1 is not prime. Res64: FA861557A0CF5294 Time : 0.0 sec. user=vaughan [2012-02-07 02:33:06] 537*2^1120850-1 is not prime. Res64: 6E5FA7616F1E192F Time : 0.0 sec. user=vaughan [2012-02-07 02:33:11] 481*2^1120845-1 is not prime. Res64: DD086AAB24379721 Time : 0.0 sec. user=vaughan [2012-02-07 02:33:12] 573*2^1120846-1 is not prime. Res64: 700B8B7A4DB76556 Time : 0.0 sec. user=vaughan [2012-02-07 02:33:57] 469*2^1120849-1 is not prime. Res64: 8D4FC35E4EC5F38A Time : 0.0 sec. user=vaughan [2012-02-07 02:33:58] 477*2^1120849-1 is not prime. Res64: 2F68D5E51A89D7FD Time : 0.0 sec. user=vaughan [2012-02-07 02:34:22] 585*2^1120847-1 is not prime. Res64: 8F23DE82F7189B07 Time : 0.0 sec. user=vaughan [2012-02-07 02:34:23] 419*2^1120848-1 is not prime. Res64: 4D778BFCCE378214 Time : 0.0 sec. user=vaughan [2012-02-07 02:34:44] 425*2^1120848-1 is not prime. Res64: 9D22519DD33AA2CF Time : 0.0 sec. user=vaughan [2012-02-07 02:34:46] 437*2^1120848-1 is not prime. Res64: 25B3BDB8995F1602 Time : 0.0 sec. user=vaughan [2012-02-07 02:35:18] 409*2^1120853-1 is not prime. Res64: 2C16414280BC69F2 Time : 0.0 sec. user=vaughan [2012-02-07 02:35:19] 477*2^1120853-1 is not prime. Res64: AC852343CC4F3B73 Time : 0.0 sec. user=vaughan [2012-02-07 02:35:28] 595*2^1120857-1 is not prime. Res64: D1B3282EC2B53124 Time : 0.0 sec. user=vaughan [2012-02-07 02:35:29] 453*2^1120858-1 is not prime. Res64: C387DD6B54B8698F Time : 0.0 sec. user=vaughan [2012-02-07 02:36:49] 453*2^1120851-1 is not prime. Res64: B57A8305D3E23CE6 Time : 0.0 sec. user=vaughan [2012-02-07 02:36:50] 483*2^1120851-1 is not prime. Res64: EE5BD400B5E847C8 Time : 0.0 sec. user=vaughan [2012-02-07 02:37:06] 405*2^1120793-1 is not prime. Res64: 4533C540510AD6E9 Time : 0.0 sec. user=vaughan [2012-02-07 02:37:07] 441*2^1120793-1 is not prime. Res64: 1ACB2A64F4F4D5ED Time : 0.0 sec. user=vaughan [2012-02-07 02:37:08] 511*2^1120793-1 is not prime. Res64: 54AEE0D7F7CDE86B Time : 0.0 sec. user=vaughan [2012-02-07 02:38:13] 489*2^1120863-1 is not prime. Res64: 3F4A800CA2B6DB2B Time : 0.0 sec. user=vaughan [2012-02-07 02:38:14] 565*2^1120863-1 is not prime. Res64: E7BB731F41A01327 Time : 0.0 sec. user=vaughan [2012-02-07 02:38:36] 549*2^1120852-1 is not prime. Res64: 84B0633FA03ADB5E Time : 0.0 sec. user=vaughan [2012-02-07 02:38:37] 567*2^1120852-1 is not prime. Res64: 07A00DCEE73739DF Time : 0.0 sec. user=vaughan [2012-02-07 02:39:11] 447*2^1120854-1 is not prime. Res64: 2F60F81B5D26FC0F Time : 0.0 sec. user=vaughan [2012-02-07 02:39:12] 525*2^1120854-1 is not prime. Res64: A4422BEA2289002E Time : 0.0 sec. user=vaughan [2012-02-07 02:39:22] 561*2^1120855-1 is not prime. Res64: 17B74F5092792602 Time : 0.0 sec. user=vaughan [2012-02-07 02:39:23] 539*2^1120856-1 is not prime. Res64: 23FA243AE039A7CB Time : 0.0 sec. user=vaughan [2012-02-07 02:40:21] 565*2^1120857-1 is not prime. Res64: E5AC3E70B34123C0 Time : 0.0 sec. user=vaughan [2012-02-07 02:40:22] 577*2^1120857-1 is not prime. Res64: 5F9F996023F66815 Time : 0.0 sec. user=vaughan [2012-02-07 02:41:53] 445*2^1120859-1 is not prime. Res64: 5A23204327E776E6 Time : 0.0 sec. user=vaughan [2012-02-07 02:41:54] 451*2^1120859-1 is not prime. Res64: 48E40C00A0493E7A Time : 0.0 sec. user=vaughan [2012-02-07 02:44:48] 573*2^1120866-1 is not prime. Res64: 1F9C38C3E475C534 Time : 0.0 sec. user=vaughan [2012-02-07 02:44:49] 541*2^1120867-1 is not prime. Res64: 407826D99DB39C35 Time : 0.0 sec. user=vaughan [2012-02-07 02:45:39] 483*2^1120864-1 is not prime. Res64: 3B487D9662C2C489 Time : 0.0 sec. user=vaughan [2012-02-07 02:45:39] 569*2^1120864-1 is not prime. Res64: 7F0E4E23714CC4B3 Time : 0.0 sec. user=vaughan [2012-02-07 02:47:44] 493*2^1120859-1 is not prime. Res64: 0443EDD62D182B89 Time : 0.0 sec. user=vaughan [2012-02-07 02:47:44] 543*2^1120859-1 is not prime. Res64: 89AA295F2B94E6FA Time : 0.0 sec. user=vaughan [2012-02-07 02:47:49] 411*2^1120865-1 is not prime. Res64: 090236433D0F064F Time : 0.0 sec. user=vaughan [2012-02-07 02:47:49] 489*2^1120865-1 is not prime. Res64: C200D5A9D6233BC5 Time : 0.0 sec. user=vaughan [2012-02-07 02:48:24] 565*2^1120865-1 is not prime. Res64: F041690E10671EE1 Time : 0.0 sec. user=vaughan [2012-02-07 02:48:24] 465*2^1120866-1 is not prime. Res64: B2746A3D97AE36C5 Time : 0.0 sec. user=vaughan [2012-02-07 02:48:26] 567*2^1120858-1 is not prime. Res64: 0D3AE300D60B75AF Time : 0.0 sec. user=vaughan [2012-02-07 02:48:26] 435*2^1120859-1 is not prime. Res64: DFDD599F4E7894D5 Time : 0.0 sec. user=vaughan [2012-02-07 02:49:05] 589*2^1120867-1 is not prime. Res64: 2AF1436DB255C49A Time : 0.0 sec. user=vaughan [2012-02-07 02:49:06] 507*2^1120868-1 is not prime. Res64: A8D87023E8F45307 Time : 0.0 sec. user=vaughan [2012-02-07 02:49:06] 587*2^1120812-1 is not prime. Res64: AAB1E6FF1E4E4920 Time : 0.0 sec. user=vaughan [2012-02-07 02:49:06] 435*2^1120813-1 is not prime. Res64: F19FC3EBF3FE0672 Time : 0.0 sec. user=vaughan [2012-02-07 02:49:07] 461*2^1120814-1 is not prime. Res64: 9788DA9A969FB692 Time : 0.0 sec. user=vaughan [2012-02-07 02:49:19] 453*2^1120860-1 is not prime. Res64: B2A70D56C152DA2F Time : 0.0 sec. user=vaughan [2012-02-07 02:49:20] 465*2^1120860-1 is not prime. Res64: B2846EE27850C4AF Time : 0.0 sec. user=juhehe [2012-02-07 02:49:52] 573*2^1120863-1 is not prime. Res64: 89A5616448CA22ED Time : 0.0 sec. user=vaughan [2012-02-07 02:49:58] 579*2^1120860-1 is not prime. Res64: 641653039EFD67ED Time : 0.0 sec. user=vaughan [2012-02-07 02:49:58] 511*2^1120861-1 is not prime. Res64: 4A7C4C120A988AEF Time : 0.0 sec. user=vaughan [2012-02-07 02:50:04] 573*2^1120859-1 is not prime. Res64: 414C70A8A476E69A Time : 0.0 sec. user=vaughan [2012-02-07 02:50:04] 413*2^1120860-1 is not prime. Res64: 2F4A0D9CFF28A0AB Time : 0.0 sec. user=vaughan [2012-02-07 02:51:23] 499*2^1120869-1 is not prime. Res64: AED2A1008ED4FA27 Time : 0.0 sec. user=vaughan [2012-02-07 02:51:24] 555*2^1120869-1 is not prime. Res64: D65DCC1499211CCB Time : 0.0 sec. user=juhehe [2012-02-07 02:53:16] 537*2^1120865-1 is not prime. Res64: D13D82F00AA688CE Time : 0.0 sec. user=vaughan [2012-02-07 02:53:29] 539*2^1120860-1 is not prime. Res64: CAF03F474BDE3D63 Time : 0.0 sec. user=vaughan [2012-02-07 02:53:30] 545*2^1120860-1 is not prime. Res64: B741ED87F24A7751 Time : 0.0 sec. user=vaughan [2012-02-07 02:54:03] 563*2^1120862-1 is not prime. Res64: 04E45BDD4754D0BC Time : 0.0 sec. user=vaughan [2012-02-07 02:54:04] 585*2^1120862-1 is not prime. Res64: 7D39A1132A708CDC Time : 0.0 sec. user=vaughan [2012-02-07 02:54:59] 585*2^1120863-1 is not prime. Res64: D170F2500B07B8D4 Time : 0.0 sec. user=vaughan [2012-02-07 02:55:00] 435*2^1120864-1 is not prime. Res64: 64B491100FA0A049 Time : 0.0 sec. user=vaughan [2012-02-07 02:56:31] 567*2^1120818-1 is not prime. Res64: AA6BB8EC00F49395 Time : 0.0 sec. user=vaughan [2012-02-07 02:56:32] 573*2^1120818-1 is not prime. Res64: C94D98347D76791D Time : 0.0 sec. user=vaughan [2012-02-07 02:56:32] 493*2^1120819-1 is not prime. Res64: 7B9518F0468E381A Time : 0.0 sec. user=vaughan [2012-02-07 02:58:11] 467*2^1120860-1 is not prime. Res64: EB967130F1653C84 Time : 0.0 sec. user=vaughan [2012-02-07 02:58:11] 515*2^1120860-1 is not prime. Res64: D1FFD25057DD73D0 Time : 0.0 sec. user=vaughan [2012-02-07 02:58:52] 577*2^1120861-1 is not prime. Res64: 77381B616C36F3C1 Time : 0.0 sec. user=vaughan [2012-02-07 02:58:53] 447*2^1120862-1 is not prime. Res64: 20BC5E3DD805F637 Time : 0.0 sec. user=vaughan [2012-02-07 03:00:12] 587*2^1120862-1 is not prime. Res64: 0E1CE824C76C3D2E Time : 0.0 sec. user=vaughan [2012-02-07 03:00:14] 465*2^1120863-1 is not prime. Res64: 6489B3E016C6FE66 Time : 0.0 sec. user=vaughan [2012-02-07 03:00:34] 453*2^1120876-1 is not prime. Res64: 75B44583A5A0D31C Time : 0.0 sec. user=vaughan [2012-02-07 03:00:35] 483*2^1120876-1 is not prime. Res64: BE2C8492CFBF4979 Time : 0.0 sec. user=vaughan [2012-02-07 03:03:35] 503*2^1120874-1 is not prime. Res64: A6A73AA9CA6F36B3 Time : 0.0 sec. user=vaughan [2012-02-07 03:03:36] 415*2^1120875-1 is not prime. Res64: 021E3F1CFCC13855 Time : 0.0 sec. user=vaughan [2012-02-07 03:04:15] 533*2^1120868-1 is not prime. Res64: 0336A549E828B38C Time : 0.0 sec. user=vaughan [2012-02-07 03:04:16] 563*2^1120868-1 is not prime. Res64: A7E616A00F61518D Time : 0.0 sec. user=vaughan [2012-02-07 03:07:01] 405*2^1120881-1 is not prime. Res64: CD968C8A7B4AE51A Time : 0.0 sec. user=vaughan [2012-02-07 03:07:02] 559*2^1120881-1 is not prime. Res64: DAB5CF41DE35C66A Time : 0.0 sec. user=vaughan [2012-02-07 03:08:12] 549*2^1120873-1 is not prime. Res64: 26A208AC31E38204 Time : 0.0 sec. user=vaughan [2012-02-07 03:08:13] 497*2^1120874-1 is not prime. Res64: F8366E0ECC8C0F06 Time : 0.0 sec. user=juhehe [2012-02-07 03:08:33] 567*2^1120884-1 is not prime. Res64: B12C8D969E91AC3C Time : 0.0 sec. user=vaughan [2012-02-07 03:08:50] 505*2^1120871-1 is not prime. Res64: BF843BBBEFE60582 Time : 0.0 sec. user=vaughan [2012-02-07 03:08:52] 525*2^1120871-1 is not prime. Res64: 559C4F4E5D96705D Time : 0.0 sec. user=vaughan [2012-02-07 03:08:56] 585*2^1120871-1 is not prime. Res64: DCE71110F9E7B7AA Time : 0.0 sec. user=vaughan [2012-02-07 03:09:02] 595*2^1120871-1 is not prime. Res64: 98324980394583A2 Time : 0.0 sec. user=vaughan [2012-02-07 03:09:49] 597*2^1120869-1 is not prime. Res64: C93A48341E883254 Time : 0.0 sec. user=vaughan [2012-02-07 03:09:50] 423*2^1120870-1 is not prime. Res64: 51A7AB659ABD9036 Time : 0.0 sec. user=vaughan [2012-02-07 03:10:40] 537*2^1120872-1 is not prime. Res64: 6F32CFFCEB2D4CF8 Time : 0.0 sec. user=vaughan [2012-02-07 03:10:41] 569*2^1120872-1 is not prime. Res64: 8ACFB5AD78E0913A Time : 0.0 sec. user=vaughan [2012-02-07 03:11:21] 405*2^1120885-1 is not prime. Res64: 0B0E8739EC05BF54 Time : 0.0 sec. user=vaughan [2012-02-07 03:11:22] 421*2^1120885-1 is not prime. Res64: 297BB7C3D891C59A Time : 0.0 sec. user=vaughan [2012-02-07 03:11:42] 525*2^1120870-1 is not prime. Res64: E9BDDF7604CD7DF6 Time : 0.0 sec. user=vaughan [2012-02-07 03:11:43] 411*2^1120871-1 is not prime. Res64: B262770AF2C9200F Time : 0.0 sec. user=vaughan [2012-02-07 03:12:21] 529*2^1120877-1 is not prime. Res64: EB7C363357BCC308 Time : 0.0 sec. user=vaughan [2012-02-07 03:12:21] 537*2^1120877-1 is not prime. Res64: 26D58C7E41B4695B Time : 0.0 sec. user=vaughan [2012-02-07 03:12:39] 433*2^1120875-1 is not prime. Res64: B81D64E76FEDDBC8 Time : 0.0 sec. user=vaughan [2012-02-07 03:12:40] 513*2^1120875-1 is not prime. Res64: EF1F20A371704001 Time : 0.0 sec. user=vaughan [2012-02-07 03:12:49] 459*2^1120872-1 is not prime. Res64: C89AB5E0CA4FC641 Time : 0.0 sec. user=vaughan [2012-02-07 03:12:50] 503*2^1120872-1 is not prime. Res64: 8114F16BB86DA53B Time : 0.0 sec. user=vaughan [2012-02-07 03:13:09] 527*2^1120878-1 is not prime. Res64: 51CB26FDCA57562A Time : 0.0 sec. user=vaughan [2012-02-07 03:13:10] 551*2^1120878-1 is not prime. Res64: 7BD4D0967ACACC58 Time : 0.0 sec. user=vaughan [2012-02-07 03:13:35] 573*2^1120888-1 is not prime. Res64: BEE48C9080F69178 Time : 0.0 sec. user=vaughan [2012-02-07 03:13:36] 445*2^1120889-1 is not prime. Res64: E8DC063342065780 Time : 0.0 sec. user=vaughan [2012-02-07 03:14:02] 587*2^1120872-1 is not prime. Res64: 025DBB9D2D06A2D2 Time : 0.0 sec. user=vaughan [2012-02-07 03:14:03] 427*2^1120873-1 is not prime. Res64: 3753075117460612 Time : 0.0 sec. user=vaughan [2012-02-07 03:14:14] 585*2^1120881-1 is not prime. Res64: 9DCCBAD0D19BFFFE Time : 0.0 sec. user=vaughan [2012-02-07 03:14:15] 447*2^1120882-1 is not prime. Res64: BC06B5C81CD31CAC Time : 0.0 sec. user=vaughan [2012-02-07 03:14:26] 435*2^1120873-1 is not prime. Res64: BF2955E3C363241D Time : 0.0 sec. user=vaughan [2012-02-07 03:14:27] 441*2^1120873-1 is not prime. Res64: EBBC4E1F8EFA2C94 Time : 0.0 sec. user=vaughan [2012-02-07 03:14:55] 465*2^1120879-1 is not prime. Res64: 72145F5AED44CF52 Time : 0.0 sec. user=vaughan [2012-02-07 03:14:56] 555*2^1120879-1 is not prime. Res64: C4C4049FA0871386 Time : 0.0 sec. user=vaughan [2012-02-07 03:15:31] 597*2^1120876-1 is not prime. Res64: 58264BE9B0499D66 Time : 0.0 sec. user=vaughan [2012-02-07 03:15:32] 441*2^1120877-1 is not prime. Res64: 69E11DB921913550 Time : 0.0 sec. user=vaughan [2012-02-07 03:15:52] 507*2^1120877-1 is not prime. Res64: 6DD0B5E9748EB6A4 Time : 0.0 sec. user=vaughan [2012-02-07 03:15:52] 511*2^1120877-1 is not prime. Res64: 197600F6406C2993 Time : 0.0 sec. user=vaughan [2012-02-07 03:16:13] 549*2^1120883-1 is not prime. Res64: 1114B96769D7288B Time : 0.0 sec. user=vaughan [2012-02-07 03:16:14] 585*2^1120883-1 is not prime. Res64: 4F368A51D73F4AC9 Time : 0.0 sec. user=vaughan [2012-02-07 03:16:43] 433*2^1120871-1 is not prime. Res64: 1582FC41039440A5 Time : 0.0 sec. user=vaughan [2012-02-07 03:16:44] 459*2^1120871-1 is not prime. Res64: 9884188E6CEE17CB Time : 0.0 sec. user=vaughan [2012-02-07 03:17:01] 539*2^1120884-1 is not prime. Res64: 7828CBED41F7AFB1 Time : 0.0 sec. user=vaughan [2012-02-07 03:17:02] 549*2^1120884-1 is not prime. Res64: 76DC5E50E4B4024A Time : 0.0 sec. user=vaughan [2012-02-07 03:19:33] 453*2^1120848-1 is not prime. Res64: 6EF6095A56ECC075 Time : 0.0 sec. user=vaughan [2012-02-07 03:19:34] 479*2^1120848-1 is not prime. Res64: E96C398E6756FFCE Time : 0.0 sec. user=vaughan [2012-02-07 03:19:34] 525*2^1120848-1 is not prime. Res64: A2819651E0E4402F Time : 0.0 sec. user=juhehe [2012-02-07 03:22:05] 465*2^1120887-1 is not prime. Res64: EAAA33BDBB8802BA Time : 0.0 sec. user=vaughan [2012-02-07 03:22:49] 585*2^1120892-1 is not prime. Res64: 1C289BA0CAB4EBC2 Time : 0.0 sec. user=vaughan [2012-02-07 03:22:49] 439*2^1120893-1 is not prime. Res64: 224D959F2E5EBC1C Time : 0.0 sec. user=vaughan [2012-02-07 03:24:21] 513*2^1120882-1 is not prime. Res64: DD96BBF8A14F0209 Time : 0.0 sec. user=vaughan [2012-02-07 03:24:22] 493*2^1120883-1 is not prime. Res64: 5BB7302803DF509C Time : 0.0 sec. user=vaughan [2012-02-07 03:25:11] 405*2^1120887-1 is not prime. Res64: C0EB1E3C5D47DB5C Time : 0.0 sec. user=vaughan [2012-02-07 03:25:12] 433*2^1120887-1 is not prime. Res64: 5EDD31CF070340BD Time : 0.0 sec. user=juhehe [2012-02-07 03:25:30] 481*2^1120889-1 is not prime. Res64: 656A22B09A327C88 Time : 0.0 sec. user=vaughan [2012-02-07 03:25:49] 471*2^1120887-1 is not prime. Res64: 9BB835B8F56F539D Time : 0.0 sec. user=vaughan [2012-02-07 03:25:49] 573*2^1120887-1 is not prime. Res64: 4D6D9BDC1994F170 Time : 0.0 sec. user=vaughan [2012-02-07 03:26:50] 453*2^1120888-1 is not prime. Res64: 2DC593269DAD889F Time : 0.0 sec. user=vaughan [2012-02-07 03:26:50] 527*2^1120888-1 is not prime. Res64: 01A2F45C7D140B16 Time : 0.0 sec. user=vaughan [2012-02-07 03:27:46] 555*2^1120884-1 is not prime. Res64: 1275EACD40462B48 Time : 0.0 sec. user=vaughan [2012-02-07 03:27:47] 563*2^1120884-1 is not prime. Res64: 9F439ECA151CB67E Time : 0.0 sec. user=vaughan [2012-02-07 03:29:04] 557*2^1120896-1 is not prime. Res64: FF448354B6773592 Time : 0.0 sec. user=vaughan [2012-02-07 03:29:05] 507*2^1120897-1 is not prime. Res64: 72B44301DBEA1312 Time : 0.0 sec. user=juhehe [2012-02-07 03:29:31] 451*2^1120899-1 is not prime. Res64: B56D4A5BC474CE88 Time : 0.0 sec. user=vaughan [2012-02-07 03:30:49] 549*2^1120893-1 is not prime. Res64: 696A225F91692724 Time : 0.0 sec. user=vaughan [2012-02-07 03:30:50] 435*2^1120894-1 is not prime. Res64: 8E63E1796461B171 Time : 0.0 sec. user=vaughan [2012-02-07 03:31:43] 447*2^1120890-1 is not prime. Res64: BC95877CEE5B9769 Time : 0.0 sec. user=vaughan [2012-02-07 03:31:45] 543*2^1120890-1 is not prime. Res64: 226E718F833C791D Time : 0.0 sec. user=vaughan [2012-02-07 03:32:50] 487*2^1120889-1 is not prime. Res64: 9CF11137D698BF3A Time : 0.0 sec. user=vaughan [2012-02-07 03:32:51] 579*2^1120889-1 is not prime. Res64: F223D3936FEEF90A Time : 0.0 sec. user=vaughan [2012-02-07 03:33:28] 413*2^1120890-1 is not prime. Res64: 72F96408010FF5B0 Time : 0.0 sec. user=vaughan [2012-02-07 03:33:29] 437*2^1120890-1 is not prime. Res64: 7958F906289EAB53 Time : 0.0 sec. user=vaughan [2012-02-07 03:33:35] 483*2^1120902-1 is not prime. Res64: B0C644D5E4775DCC Time : 0.0 sec. user=vaughan [2012-02-07 03:33:36] 555*2^1120902-1 is not prime. Res64: F8B483C3054F4F70 Time : 0.0 sec. user=vaughan [2012-02-07 03:35:40] 549*2^1120907-1 is not prime. Res64: FE1F66DB3A1B7596 Time : 0.0 sec. user=vaughan [2012-02-07 03:35:40] 553*2^1120907-1 is not prime. Res64: 651E7188E389808B Time : 0.0 sec. user=vaughan [2012-02-07 03:40:11] 567*2^1120894-1 is not prime. Res64: CD50FFA9474CF193 Time : 0.0 sec. user=vaughan [2012-02-07 03:40:12] 507*2^1120896-1 is not prime. Res64: 27C594864B69E943 Time : 0.0 sec. user=vaughan [2012-02-07 03:41:04] 497*2^1120898-1 is not prime. Res64: 5551FC659E6F21FE Time : 0.0 sec. user=vaughan [2012-02-07 03:41:05] 561*2^1120898-1 is not prime. Res64: E46FD081376DE6A2 Time : 0.0 sec. user=vaughan [2012-02-07 03:41:12] 413*2^1120908-1 is not prime. Res64: A7D33F867FF8749A Time : 0.0 sec. user=vaughan [2012-02-07 03:41:13] 525*2^1120908-1 is not prime. Res64: 6D2997ED481D1E5A Time : 0.0 sec. user=vaughan [2012-02-07 03:42:23] 475*2^1120891-1 is not prime. Res64: 7B1B80EFAB86E6C1 Time : 0.0 sec. user=vaughan [2012-02-07 03:42:24] 561*2^1120891-1 is not prime. Res64: 6983431AB1B72425 Time : 0.0 sec. user=vaughan [2012-02-07 03:43:06] 425*2^1120892-1 is not prime. Res64: 2F16BCA84FE9611A Time : 0.0 sec. user=vaughan [2012-02-07 03:43:06] 435*2^1120892-1 is not prime. Res64: D174273C2B40CADD Time : 0.0 sec. user=vaughan [2012-02-07 03:43:06] 453*2^1120911-1 is not prime. Res64: A1BFB130DA96BEE6 Time : 0.0 sec. user=vaughan [2012-02-07 03:43:07] 475*2^1120911-1 is not prime. Res64: 5E1F6F4B8535FAD6 Time : 0.0 sec. user=vaughan [2012-02-07 03:43:52] 405*2^1120912-1 is not prime. Res64: E706204630F079CC Time : 0.0 sec. user=vaughan [2012-02-07 03:43:53] 573*2^1120912-1 is not prime. Res64: 16DDA84ABDEAE090 Time : 0.0 sec. user=vaughan [2012-02-07 03:44:32] 479*2^1120892-1 is not prime. Res64: E8745CA48C444525 Time : 0.0 sec. user=vaughan [2012-02-07 03:44:33] 515*2^1120892-1 is not prime. Res64: 0B4B2903F8916262 Time : 0.0 sec. user=vaughan [2012-02-07 03:44:57] 437*2^1120900-1 is not prime. Res64: EBE11485EFD0B0ED Time : 0.0 sec. user=vaughan [2012-02-07 03:44:58] 453*2^1120900-1 is not prime. Res64: 438D2ED5A1D2911C Time : 0.0 sec. user=vaughan [2012-02-07 03:45:02] 595*2^1120915-1 is not prime. Res64: D3FF5B5DCDBF0BA5 Time : 0.0 sec. user=vaughan [2012-02-07 03:45:04] 465*2^1120916-1 is not prime. Res64: 917811BAAEB9A424 Time : 0.0 sec. user=vaughan [2012-02-07 03:45:04] 483*2^1120900-1 is not prime. Res64: 219FA3F5ADCE1665 Time : 0.0 sec. user=vaughan [2012-02-07 03:45:05] 533*2^1120900-1 is not prime. Res64: 1073EA6D6EDDE445 Time : 0.0 sec. user=vaughan [2012-02-07 03:45:18] 489*2^1120904-1 is not prime. Res64: 88158F1CD9642629 Time : 0.0 sec. user=vaughan [2012-02-07 03:45:19] 495*2^1120904-1 is not prime. Res64: 341791EF827B31F9 Time : 0.0 sec. user=vaughan [2012-02-07 03:46:01] 471*2^1120906-1 is not prime. Res64: 8099DB01924C58D9 Time : 0.0 sec. user=vaughan [2012-02-07 03:46:01] 545*2^1120906-1 is not prime. Res64: E02CE7BFD47D5E36 Time : 0.0 sec. user=vaughan [2012-02-07 03:47:26] 547*2^1120901-1 is not prime. Res64: 7ABFD92EDD185B69 Time : 0.0 sec. user=vaughan [2012-02-07 03:47:27] 591*2^1120901-1 is not prime. Res64: 49736697E60ED1EC Time : 0.0 sec. user=vaughan [2012-02-07 03:47:51] 447*2^1120909-1 is not prime. Res64: 052E536D44D232E9 Time : 0.0 sec. user=vaughan [2012-02-07 03:47:52] 595*2^1120909-1 is not prime. Res64: 0D9C9C8B8C1C1757 Time : 0.0 sec. user=vaughan [2012-02-07 03:48:02] 531*2^1120875-1 is not prime. Res64: 0D457D2E9B6A2493 Time : 0.0 sec. user=vaughan [2012-02-07 03:48:03] 413*2^1120876-1 is not prime. Res64: F9F4399D3BF247E9 Time : 0.0 sec. user=vaughan [2012-02-07 03:48:03] 435*2^1120876-1 is not prime. Res64: 4A022D7AE98CC181 Time : 0.0 sec. user=vaughan [2012-02-07 03:48:36] 593*2^1120904-1 is not prime. Res64: 5D27B598E83EE7CF Time : 0.0 sec. user=vaughan [2012-02-07 03:48:37] 475*2^1120905-1 is not prime. Res64: 1A5D12CDFE746AD7 Time : 0.0 sec. user=vaughan [2012-02-07 03:49:10] 579*2^1120900-1 is not prime. Res64: 44656B90034C5E9E Time : 0.0 sec. user=vaughan [2012-02-07 03:49:11] 409*2^1120901-1 is not prime. Res64: 07A1963A74E4A8D3 Time : 0.0 sec. user=juhehe [2012-02-07 03:50:36] 489*2^1120921-1 is not prime. Res64: 3B458EBB32FF2D6A Time : 0.0 sec. user=vaughan [2012-02-07 03:51:15] 455*2^1120920-1 is not prime. Res64: 29D76D4BFC06E86F Time : 0.0 sec. user=vaughan [2012-02-07 03:51:16] 465*2^1120920-1 is not prime. Res64: A211CCA35F1BB152 Time : 0.0 sec. user=vaughan [2012-02-07 03:51:17] 441*2^1120903-1 is not prime. Res64: B39AA7B693CD938D Time : 0.0 sec. user=vaughan [2012-02-07 03:51:17] 561*2^1120903-1 is not prime. Res64: B8063C5D111F597E Time : 0.0 sec. user=vaughan [2012-02-07 03:52:05] 425*2^1120910-1 is not prime. Res64: 2E4462CD2F91D714 Time : 0.0 sec. user=vaughan [2012-02-07 03:52:05] 503*2^1120910-1 is not prime. Res64: F5F2CDB31F760037 Time : 0.0 sec. user=vaughan [2012-02-07 03:52:24] 481*2^1120905-1 is not prime. Res64: B46DD791E61A0828 Time : 0.0 sec. user=vaughan [2012-02-07 03:52:25] 413*2^1120906-1 is not prime. Res64: F5A4068F8622F658 Time : 0.0 sec. user=vaughan [2012-02-07 03:52:33] 581*2^1120910-1 is not prime. Res64: F0D468C6716826E0 Time : 0.0 sec. user=vaughan [2012-02-07 03:52:33] 591*2^1120910-1 is not prime. Res64: 92A77630B3100441 Time : 0.0 sec. user=vaughan [2012-02-07 03:53:38] 571*2^1120907-1 is not prime. Res64: 3D4B76F38A685E56 Time : 0.0 sec. user=vaughan [2012-02-07 03:53:38] 595*2^1120907-1 is not prime. Res64: D6734E44628384DD Time : 0.0 sec. user=vaughan [2012-02-07 03:54:04] 555*2^1120908-1 is not prime. Res64: 0788A90C3813D415 Time : 0.0 sec. user=vaughan [2012-02-07 03:54:04] 427*2^1120909-1 is not prime. Res64: A3EB11C73B2FC5DD Time : 0.0 sec. user=juhehe [2012-02-07 03:54:14] 463*2^1120915-1 is not prime. Res64: EF7D290939343AF1 Time : 0.0 sec. user=vaughan [2012-02-07 03:55:53] 567*2^1120924-1 is not prime. Res64: 9CF2C3CCFC402CE8 Time : 0.0 sec. user=vaughan [2012-02-07 03:55:53] 597*2^1120924-1 is not prime. Res64: 8AC2BA88FBD0CBC2 Time : 0.0 sec. user=juhehe [2012-02-07 03:57:38] 595*2^1120917-1 is not prime. Res64: 3E8F9415E00D1810 Time : 0.0 sec. user=vaughan [2012-02-07 03:57:49] 477*2^1120925-1 is not prime. Res64: 81843815C1C17851 Time : 0.0 sec. user=vaughan [2012-02-07 03:57:50] 511*2^1120925-1 is not prime. Res64: 1FA70520248BAD3B Time : 0.0 sec. user=vaughan [2012-02-07 03:58:00] 535*2^1120921-1 is not prime. Res64: 3FDE34EDE4612C3B Time : 0.0 sec. user=vaughan [2012-02-07 03:58:01] 537*2^1120921-1 is not prime. Res64: D2D42D21C4CBE18B Time : 0.0 sec. user=vaughan [2012-02-07 03:59:43] 561*2^1120885-1 is not prime. Res64: 06520481359BEFA1 Time : 0.0 sec. user=vaughan [2012-02-07 03:59:44] 417*2^1120886-1 is not prime. Res64: BF850E25E92B7249 Time : 0.0 sec. user=vaughan [2012-02-07 03:59:44] 561*2^1120886-1 is not prime. Res64: ED62913ADEE92380 Time : 0.0 sec. user=vaughan [2012-02-07 04:00:54] 531*2^1120911-1 is not prime. Res64: BEF4F10F84EB67DE Time : 0.0 sec. user=vaughan [2012-02-07 04:00:55] 549*2^1120911-1 is not prime. Res64: 363A1299A76E2394 Time : 0.0 sec. user=vaughan [2012-02-07 04:01:07] 567*2^1120916-1 is not prime. Res64: 98DFCEE6FFB33940 Time : 0.0 sec. user=vaughan [2012-02-07 04:01:08] 445*2^1120917-1 is not prime. Res64: E2B915224B60DB8F Time : 0.0 sec. user=vaughan [2012-02-07 04:01:09] 475*2^1120917-1 is not prime. Res64: 22AD7C3FFC694114 Time : 0.0 sec. user=vaughan [2012-02-07 04:01:11] 517*2^1120917-1 is not prime. Res64: 614E583F68E8B17C Time : 0.0 sec. user=vaughan [2012-02-07 04:01:47] 467*2^1120918-1 is not prime. Res64: C01876E14C98B1C9 Time : 0.0 sec. user=vaughan [2012-02-07 04:01:48] 555*2^1120918-1 is not prime. Res64: 925AE736B513A924 Time : 0.0 sec. user=vaughan [2012-02-07 04:03:33] 441*2^1120919-1 is not prime. Res64: 6EC098A0743DA37A Time : 0.0 sec. user=vaughan [2012-02-07 04:03:34] 481*2^1120919-1 is not prime. Res64: 5E00F2698848E4ED Time : 0.0 sec. user=vaughan [2012-02-07 04:05:25] 563*2^1120890-1 is not prime. Res64: D424C99B50A7E35B Time : 0.0 sec. user=vaughan [2012-02-07 04:05:25] 429*2^1120891-1 is not prime. Res64: 96FBB4660582BF23 Time : 0.0 sec. user=vaughan [2012-02-07 04:05:26] 463*2^1120891-1 is not prime. Res64: 9511BB7A6D29E378 Time : 0.0 sec. user=vaughan [2012-02-07 04:07:11] 501*2^1120919-1 is not prime. Res64: 0E46D757B3009AE3 Time : 0.0 sec. user=vaughan [2012-02-07 04:07:13] 565*2^1120919-1 is not prime. Res64: DC8CFF685EA10DA3 Time : 0.0 sec. user=vaughan [2012-02-07 04:07:22] 497*2^1120932-1 is not prime. Res64: E0AB1DF4356666FF Time : 0.0 sec. user=vaughan [2012-02-07 04:07:23] 515*2^1120932-1 is not prime. Res64: 193D0C0679EBA990 Time : 0.0 sec. user=vaughan [2012-02-07 04:08:04] 567*2^1120926-1 is not prime. Res64: F36C16EE611C0A3E Time : 0.0 sec. user=vaughan [2012-02-07 04:08:06] 587*2^1120926-1 is not prime. Res64: 957519B9AE1D84BA Time : 0.0 sec. user=vaughan [2012-02-07 04:08:34] 591*2^1120921-1 is not prime. Res64: 37DC8DCF01C43F3A Time : 0.0 sec. user=vaughan [2012-02-07 04:08:36] 597*2^1120921-1 is not prime. Res64: E5883A301342B7DD Time : 0.0 sec. user=vaughan [2012-02-07 04:10:16] 595*2^1120927-1 is not prime. Res64: 708F20720A3DE738 Time : 0.0 sec. user=vaughan [2012-02-07 04:10:18] 435*2^1120928-1 is not prime. Res64: D1A29E2199DE5D98 Time : 0.0 sec. user=vaughan [2012-02-07 04:10:52] 481*2^1120929-1 is not prime. Res64: FD6FFAD12967C52F Time : 0.0 sec. user=vaughan [2012-02-07 04:10:53] 525*2^1120929-1 is not prime. Res64: 47BD1E995ABDFAC1 Time : 0.0 sec. user=juhehe [2012-02-07 04:11:47] 415*2^1120939-1 is not prime. Res64: 4CD0F6414BD0AB58 Time : 0.0 sec. user=vaughan [2012-02-07 04:12:34] 453*2^1120923-1 is not prime. Res64: 7675588DDD22FCAA Time : 0.0 sec. user=vaughan [2012-02-07 04:12:42] 501*2^1120923-1 is not prime. Res64: 30B813CDC0AB89C6 Time : 0.0 sec. user=vaughan [2012-02-07 04:12:43] 435*2^1120924-1 is not prime. Res64: DBA3B77D8A2703CF Time : 0.0 sec. user=vaughan [2012-02-07 04:13:40] 421*2^1120939-1 is not prime. Res64: 4574AA1ADF803548 Time : 0.0 sec. user=vaughan [2012-02-07 04:13:41] 465*2^1120939-1 is not prime. Res64: 022712E285580894 Time : 0.0 sec. user=vaughan [2012-02-07 04:13:55] 589*2^1120925-1 is not prime. Res64: B4338DCD8ECE1FBC Time : 0.0 sec. user=vaughan [2012-02-07 04:13:56] 525*2^1120926-1 is not prime. Res64: 7CEC01274AAFE142 Time : 0.0 sec. user=vaughan [2012-02-07 04:16:05] 567*2^1120925-1 is not prime. Res64: F99FD0FA18261BA8 Time : 0.0 sec. user=vaughan [2012-02-07 04:16:05] 579*2^1120925-1 is not prime. Res64: F0B472EA10DED434 Time : 0.0 sec. user=vaughan [2012-02-07 04:18:11] 409*2^1120943-1 is not prime. Res64: A136174AEF7D0C15 Time : 0.0 sec. user=vaughan [2012-02-07 04:18:12] 453*2^1120943-1 is not prime. Res64: 1E41DF7768D5FC89 Time : 0.0 sec. user=vaughan [2012-02-07 04:18:14] 499*2^1120933-1 is not prime. Res64: 935FE01A103BFAAF Time : 0.0 sec. user=vaughan [2012-02-07 04:18:15] 407*2^1120934-1 is not prime. Res64: 3691518237FA1D9E Time : 0.0 sec. user=vaughan [2012-02-07 04:18:47] 551*2^1120934-1 is not prime. Res64: 066AA1BEA6C14C26 Time : 0.0 sec. user=vaughan [2012-02-07 04:18:48] 573*2^1120934-1 is not prime. Res64: 63E631E9270CCAFB Time : 0.0 sec. user=vaughan [2012-02-07 04:20:10] 523*2^1120943-1 is not prime. Res64: D97D7871018C1E42 Time : 0.0 sec. user=vaughan [2012-02-07 04:20:11] 553*2^1120943-1 is not prime. Res64: 42A6C601C777C247 Time : 0.0 sec. user=vaughan [2012-02-07 04:20:47] 429*2^1120936-1 is not prime. Res64: CDBE931CEBE11B1A Time : 0.0 sec. user=vaughan [2012-02-07 04:20:47] 447*2^1120936-1 is not prime. Res64: 8DA20E7E47683C71 Time : 0.0 sec. user=vaughan [2012-02-07 04:20:48] 511*2^1120931-1 is not prime. Res64: 912B8840807F9247 Time : 0.0 sec. user=vaughan [2012-02-07 04:20:49] 455*2^1120932-1 is not prime. Res64: FB45B85AAF71387B Time : 0.0 sec. user=vaughan [2012-02-07 04:20:57] 421*2^1120933-1 is not prime. Res64: 0C2D83E3A979F90A Time : 0.0 sec. user=vaughan [2012-02-07 04:20:57] 441*2^1120933-1 is not prime. Res64: 3B2E4F91C88B439B Time : 0.0 sec. user=vaughan [2012-02-07 04:24:08] 523*2^1120935-1 is not prime. Res64: C3C7300B566A1190 Time : 0.0 sec. user=vaughan [2012-02-07 04:24:09] 531*2^1120935-1 is not prime. Res64: A5F279C53CEC01D3 Time : 0.0 sec. user=vaughan [2012-02-07 04:24:28] 495*2^1120937-1 is not prime. Res64: E107426E56C9DF26 Time : 0.0 sec. user=vaughan [2012-02-07 04:24:29] 413*2^1120938-1 is not prime. Res64: 704FEE6489C38903 Time : 0.0 sec. user=vaughan [2012-02-07 04:24:46] 591*2^1120943-1 is not prime. Res64: 72DFEDB3FEACA068 Time : 0.0 sec. user=vaughan [2012-02-07 04:24:47] 415*2^1120945-1 is not prime. Res64: 8E49B6F26A11A3F3 Time : 0.0 sec. user=vaughan [2012-02-07 04:25:34] 501*2^1120913-1 is not prime. Res64: 45FD3CEE4B3A0D32 Time : 0.0 sec. user=vaughan [2012-02-07 04:25:35] 405*2^1120915-1 is not prime. Res64: 1E4AA6D967849A05 Time : 0.0 sec. user=vaughan [2012-02-07 04:25:35] 429*2^1120915-1 is not prime. Res64: F2643630F2DFFA1B Time : 0.0 sec. user=juhehe [2012-02-07 04:26:28] 591*2^1120942-1 is not prime. Res64: A4759C1F9A69E289 Time : 0.0 sec. user=vaughan [2012-02-07 04:26:30] 591*2^1120926-1 is not prime. Res64: B3FA10B8C08DF1F0 Time : 0.0 sec. user=vaughan [2012-02-07 04:26:31] 441*2^1120927-1 is not prime. Res64: 6C4F70EBD6E36900 Time : 0.0 sec. user=vaughan [2012-02-07 04:27:10] 465*2^1120927-1 is not prime. Res64: 05809C6638D431C8 Time : 0.0 sec. user=vaughan [2012-02-07 04:27:11] 493*2^1120927-1 is not prime. Res64: BCDA19F15432544D Time : 0.0 sec. user=vaughan [2012-02-07 04:28:24] 485*2^1120938-1 is not prime. Res64: B986A7C2B85CAB3E Time : 0.0 sec. user=vaughan [2012-02-07 04:28:24] 507*2^1120938-1 is not prime. Res64: FB75614B6C9DE1C3 Time : 0.0 sec. user=vaughan [2012-02-07 04:28:42] 465*2^1120940-1 is not prime. Res64: 741F6080491BC4D3 Time : 0.0 sec. user=vaughan [2012-02-07 04:28:42] 585*2^1120940-1 is not prime. Res64: F916612F199538DC Time : 0.0 sec. user=vaughan [2012-02-07 04:28:44] 413*2^1120930-1 is not prime. Res64: 575B2FF8E630BBCD Time : 0.0 sec. user=vaughan [2012-02-07 04:28:45] 513*2^1120930-1 is not prime. Res64: 26CFDC932D537213 Time : 0.0 sec. user=vaughan [2012-02-07 04:29:11] 555*2^1120941-1 is not prime. Res64: E654DCC4188CE755 Time : 0.0 sec. user=vaughan [2012-02-07 04:29:12] 597*2^1120941-1 is not prime. Res64: 6F6E7A2577A2DE52 Time : 0.0 sec. user=vaughan [2012-02-07 04:29:32] 449*2^1120952-1 is not prime. Res64: F39DECD7BE187F35 Time : 0.0 sec. user=vaughan [2012-02-07 04:29:32] 459*2^1120952-1 is not prime. Res64: F4DFB2740766E048 Time : 0.0 sec. user=juhehe [2012-02-07 04:29:53] 481*2^1120943-1 is not prime. Res64: A67535699909DE99 Time : 0.0 sec. user=vaughan [2012-02-07 04:30:54] 531*2^1120939-1 is not prime. Res64: 8F7BA5B47EADF2BC Time : 0.0 sec. user=vaughan [2012-02-07 04:30:55] 405*2^1120940-1 is not prime. Res64: 36D63295347E795F Time : 0.0 sec. user=juhehe [2012-02-07 04:31:11] 437*2^1120956-1 is not prime. Res64: 62B8F7139080C4E2 Time : 0.0 sec. user=vaughan [2012-02-07 04:31:59] 599*2^1120940-1 is not prime. Res64: 96D9619EC30A150A Time : 0.0 sec. user=vaughan [2012-02-07 04:32:00] 459*2^1120941-1 is not prime. Res64: 88E403F4CCFB3DBC Time : 0.0 sec. user=vaughan [2012-02-07 04:33:12] 423*2^1120942-1 is not prime. Res64: 99DBF50D9900792E Time : 0.0 sec. user=vaughan [2012-02-07 04:33:14] 425*2^1120942-1 is not prime. Res64: 6206DE8D16303330 Time : 0.0 sec. user=vaughan [2012-02-07 04:33:41] 453*2^1120942-1 is not prime. Res64: AC85B4CB5BC8C0EA Time : 0.0 sec. user=vaughan [2012-02-07 04:33:42] 461*2^1120942-1 is not prime. Res64: E15F9714DB4073C4 Time : 0.0 sec. user=vaughan [2012-02-07 04:34:54] 539*2^1120952-1 is not prime. Res64: B05BA69F132947B6 Time : 0.0 sec. user=vaughan [2012-02-07 04:34:55] 557*2^1120952-1 is not prime. Res64: 01D38E174499A82D Time : 0.0 sec. user=vaughan [2012-02-07 04:35:45] 423*2^1120958-1 is not prime. Res64: A6A9BF94C7DD564D Time : 0.0 sec. user=vaughan [2012-02-07 04:35:46] 501*2^1120958-1 is not prime. Res64: D4D6F22AF16D7A0B Time : 0.0 sec. user=vaughan [2012-02-07 04:37:04] 553*2^1120947-1 is not prime. Res64: 60244F97272DE074 Time : 0.0 sec. user=vaughan [2012-02-07 04:37:06] 573*2^1120947-1 is not prime. Res64: 3307C9886F7A5C66 Time : 0.0 sec. user=vaughan [2012-02-07 04:37:15] 411*2^1120954-1 is not prime. Res64: 5CA1BDE87B36AECF Time : 0.0 sec. user=vaughan [2012-02-07 04:37:16] 435*2^1120954-1 is not prime. Res64: 9446C2ED3EE689F4 Time : 0.0 sec. user=vaughan [2012-02-07 04:37:34] 593*2^1120954-1 is not prime. Res64: 29AE6F5F564DA194 Time : 0.0 sec. user=vaughan [2012-02-07 04:37:35] 425*2^1120956-1 is not prime. Res64: 9DF566AB82AB6FB6 Time : 0.0 sec. user=vaughan [2012-02-07 04:37:39] 429*2^1120948-1 is not prime. Res64: 6B0022BBA9F1A3BD Time : 0.0 sec. user=vaughan [2012-02-07 04:37:40] 437*2^1120948-1 is not prime. Res64: 68F5F2DD844D876C Time : 0.0 sec. user=vaughan [2012-02-07 04:37:58] 441*2^1120947-1 is not prime. Res64: BAC65AC459D50685 Time : 0.0 sec. user=vaughan [2012-02-07 04:37:59] 451*2^1120947-1 is not prime. Res64: 80EC00E7AA28C8F1 Time : 0.0 sec. user=vaughan [2012-02-07 04:40:14] 533*2^1120948-1 is not prime. Res64: 9B6C29817A795CFF Time : 0.0 sec. user=vaughan [2012-02-07 04:40:15] 465*2^1120949-1 is not prime. Res64: 32397624ABC55235 Time : 0.0 sec. user=vaughan [2012-02-07 04:40:24] 527*2^1120960-1 is not prime. Res64: FF7FA80D8E39B64C Time : 0.0 sec. user=vaughan [2012-02-07 04:40:24] 517*2^1120961-1 is not prime. Res64: 0A1091E082FC1D10 Time : 0.0 sec. user=vaughan [2012-02-07 04:42:23] 451*2^1120963-1 is not prime. Res64: 43250FC6BF83DA5D Time : 0.0 sec. user=vaughan [2012-02-07 04:42:24] 465*2^1120964-1 is not prime. Res64: 2FA060C1370E50C7 Time : 0.0 sec. user=vaughan [2012-02-07 04:45:06] 407*2^1120946-1 is not prime. Res64: 7F5EDB856833ACB7 Time : 0.0 sec. user=vaughan [2012-02-07 04:45:07] 507*2^1120946-1 is not prime. Res64: 17899E24798480FA Time : 0.0 sec. user=vaughan [2012-02-07 04:45:15] 559*2^1120953-1 is not prime. Res64: EBA7A40A78CEDECC Time : 0.0 sec. user=vaughan [2012-02-07 04:45:16] 577*2^1120953-1 is not prime. Res64: CF4EE47089A9D99C Time : 0.0 sec. user=vaughan [2012-02-07 04:46:50] 581*2^1120950-1 is not prime. Res64: E7F625C132E95E4A Time : 0.0 sec. user=vaughan [2012-02-07 04:46:50] 549*2^1120951-1 is not prime. Res64: 4971150B8702D023 Time : 0.0 sec. user=vaughan [2012-02-07 04:47:00] 503*2^1120958-1 is not prime. Res64: 63E41D343C72EEDC Time : 0.0 sec. user=vaughan [2012-02-07 04:47:01] 525*2^1120958-1 is not prime. Res64: 492E7A18983AA955 Time : 0.0 sec. user=juhehe [2012-02-07 04:50:59] 545*2^1120978-1 is not prime. Res64: 96571282FBDABE95 Time : 0.0 sec. user=vaughan [2012-02-07 04:51:01] 401*2^1120962-1 is not prime. Res64: 5455FB9C65E726BE Time : 0.0 sec. user=vaughan [2012-02-07 04:51:02] 543*2^1120962-1 is not prime. Res64: 903E76DFF32565BA Time : 0.0 sec. user=vaughan [2012-02-07 04:51:42] 463*2^1120967-1 is not prime. Res64: 7A759F2A27115935 Time : 0.0 sec. user=vaughan [2012-02-07 04:51:43] 549*2^1120967-1 is not prime. Res64: 10A5D62097127EAD Time : 0.0 sec. user=vaughan [2012-02-07 04:51:44] 531*2^1120975-1 is not prime. Res64: 2DA9B17E96B4168A Time : 0.0 sec. user=vaughan [2012-02-07 04:51:45] 405*2^1120976-1 is not prime. Res64: C3DB8142053C1AE0 Time : 0.0 sec. user=vaughan [2012-02-07 04:51:46] 551*2^1120962-1 is not prime. Res64: C64660CC6B8BF2BD Time : 0.0 sec. user=vaughan [2012-02-07 04:51:46] 567*2^1120962-1 is not prime. Res64: 7F94F794D23D8B96 Time : 0.0 sec. user=vaughan [2012-02-07 04:52:00] 441*2^1120959-1 is not prime. Res64: 5E52A551B22224C2 Time : 0.0 sec. user=vaughan [2012-02-07 04:52:01] 523*2^1120959-1 is not prime. Res64: F1A71CC837742356 Time : 0.0 sec. user=vaughan [2012-02-07 04:52:08] 585*2^1120956-1 is not prime. Res64: C2675F09367A5F28 Time : 0.0 sec. user=vaughan [2012-02-07 04:52:09] 429*2^1120957-1 is not prime. Res64: 8A486B700DFE804B Time : 0.0 sec. user=vaughan [2012-02-07 04:53:31] 483*2^1120923-1 is not prime. Res64: 5536997D24629B65 Time : 0.0 sec. user=vaughan [2012-02-07 04:53:34] 557*2^1120964-1 is not prime. Res64: DEB0E089D2916A88 Time : 0.0 sec. user=vaughan [2012-02-07 04:53:35] 429*2^1120965-1 is not prime. Res64: 9D06BD1CB9E7F955 Time : 0.0 sec. user=vaughan [2012-02-07 04:54:20] 465*2^1120936-1 is not prime. Res64: D5A24EC8B65C88C7 Time : 0.0 sec. user=vaughan [2012-02-07 04:54:21] 569*2^1120936-1 is not prime. Res64: A10BDEB946FA4489 Time : 0.0 sec. user=vaughan [2012-02-07 04:54:21] 445*2^1120937-1 is not prime. Res64: 8BA6E5F5CC3A34EF Time : 0.0 sec. user=vaughan [2012-02-07 04:56:44] 471*2^1120965-1 is not prime. Res64: 4DD43F3B9539970C Time : 0.0 sec. user=vaughan [2012-02-07 04:56:45] 487*2^1120965-1 is not prime. Res64: 38C9693C0B3B0D19 Time : 0.0 sec. user=vaughan [2012-02-07 04:56:52] 579*2^1120965-1 is not prime. Res64: AA518E77B1147D22 Time : 0.0 sec. user=vaughan [2012-02-07 04:56:52] 453*2^1120966-1 is not prime. Res64: 0234E82AD57117C7 Time : 0.0 sec. user=vaughan [2012-02-07 04:58:01] 423*2^1120982-1 is not prime. Res64: B311F66C1DF7D2C6 Time : 0.0 sec. user=vaughan [2012-02-07 04:58:01] 477*2^1120982-1 is not prime. Res64: 5AE215191E17DEBC Time : 0.0 sec. user=juhehe [2012-02-07 04:58:37] 493*2^1120971-1 is not prime. Res64: B2E80252D8BE2250 Time : 0.0 sec. user=vaughan [2012-02-07 05:00:19] 567*2^1120966-1 is not prime. Res64: 6089AF88B5174F02 Time : 0.0 sec. user=vaughan [2012-02-07 05:00:20] 597*2^1120966-1 is not prime. Res64: 41E6AA5253BBF115 Time : 0.0 sec. user=vaughan [2012-02-07 05:01:12] 495*2^1120966-1 is not prime. Res64: 331383B11C1599EE Time : 0.0 sec. user=vaughan [2012-02-07 05:02:01] 505*2^1120981-1 is not prime. Res64: AF9B9965EDC734D8 Time : 0.0 sec. user=vaughan [2012-02-07 05:02:02] 517*2^1120981-1 is not prime. Res64: 382B1089B1FC0624 Time : 0.0 sec. user=juhehe [2012-02-07 05:02:06] 503*2^1120976-1 is not prime. Res64: 6B03E9FA291E7F5F Time : 0.0 sec. user=vaughan [2012-02-07 05:02:39] 453*2^1120987-1 is not prime. Res64: 2DC23C3724C3C5FB Time : 0.0 sec. user=vaughan [2012-02-07 05:02:40] 505*2^1120987-1 is not prime. Res64: 82C87A48886883FC Time : 0.0 sec. user=odicin [2012-02-07 05:03:31] 435*2^1120988-1 is not prime. Res64: 12DFD37C9A37D513 Time : 0.0 sec. user=vaughan [2012-02-07 05:04:25] 419*2^1120984-1 is not prime. Res64: 764798266559A5F8 Time : 0.0 sec. user=vaughan [2012-02-07 05:04:26] 429*2^1120984-1 is not prime. Res64: 49EA3E45EC3A3914 Time : 0.0 sec. user=vaughan [2012-02-07 05:04:26] 459*2^1120988-1 is not prime. Res64: 8E9B2155903F7EDF Time : 0.0 sec. user=vaughan [2012-02-07 05:04:27] 519*2^1120988-1 is not prime. Res64: EFA4C84F0643D51A Time : 0.0 sec. user=vaughan [2012-02-07 05:04:40] 569*2^1120984-1 is not prime. Res64: 8FC3AF72FCEEDDD4 Time : 0.0 sec. user=vaughan [2012-02-07 05:04:43] 465*2^1120985-1 is not prime. Res64: 5DCFEA11ADF0CFD1 Time : 0.0 sec. user=vaughan [2012-02-07 05:05:24] 529*2^1120973-1 is not prime. Res64: C938F47573BF5AFA Time : 0.0 sec. user=vaughan [2012-02-07 05:05:25] 565*2^1120973-1 is not prime. Res64: F92B870D50E898D8 Time : 0.0 sec. user=vaughan [2012-02-07 05:05:37] 457*2^1120945-1 is not prime. Res64: 39DFEBB99B9D84FA Time : 0.0 sec. user=vaughan [2012-02-07 05:05:38] 481*2^1120945-1 is not prime. Res64: 8E801A4B6778815D Time : 0.0 sec. user=vaughan [2012-02-07 05:05:39] 405*2^1120946-1 is not prime. Res64: F4792E76122CDC33 Time : 0.0 sec. user=vaughan [2012-02-07 05:06:00] 567*2^1120974-1 is not prime. Res64: 85057A7D2A0C7E04 Time : 0.0 sec. user=vaughan [2012-02-07 05:06:01] 493*2^1120975-1 is not prime. Res64: CFFE1A863EA0C998 Time : 0.0 sec. user=vaughan [2012-02-07 05:07:46] 539*2^1120972-1 is not prime. Res64: 705EFDD4231B4F32 Time : 0.0 sec. user=vaughan [2012-02-07 05:07:47] 405*2^1120973-1 is not prime. Res64: 229378983748A8DF Time : 0.0 sec. user=vaughan [2012-02-07 05:10:32] 585*2^1120976-1 is not prime. Res64: 98D4EB64E468A7DD Time : 0.0 sec. user=vaughan [2012-02-07 05:10:32] 409*2^1120977-1 is not prime. Res64: C5D0B26155099B36 Time : 0.0 sec. user=vaughan [2012-02-07 05:10:37] 513*2^1120971-1 is not prime. Res64: BC198A6D625EA531 Time : 0.0 sec. user=vaughan [2012-02-07 05:10:39] 531*2^1120971-1 is not prime. Res64: 7DE6751537FF6B5E Time : 0.0 sec. user=vaughan [2012-02-07 05:11:19] 525*2^1120949-1 is not prime. Res64: 5B04CB270DB1F77D Time : 0.0 sec. user=vaughan [2012-02-07 05:11:20] 589*2^1120949-1 is not prime. Res64: 051A04B98A2DD4D5 Time : 0.0 sec. user=vaughan [2012-02-07 05:11:20] 455*2^1120972-1 is not prime. Res64: 73B2A59A20957DB0 Time : 0.0 sec. user=vaughan [2012-02-07 05:11:21] 471*2^1120950-1 is not prime. Res64: 79DB35BB51784CFE Time : 0.0 sec. user=vaughan [2012-02-07 05:11:21] 485*2^1120972-1 is not prime. Res64: 6F7AFD899D72FFF9 Time : 0.0 sec. user=vaughan [2012-02-07 05:11:33] 469*2^1120979-1 is not prime. Res64: 5FE65CEBB6DD69C9 Time : 0.0 sec. user=vaughan [2012-02-07 05:11:33] 481*2^1120979-1 is not prime. Res64: CA8E45CA6B8B55AF Time : 0.0 sec. user=juhehe [2012-02-07 05:11:41] 587*2^1120992-1 is not prime. Res64: AA6719AF8A400104 Time : 0.0 sec. user=vaughan [2012-02-07 05:12:50] 417*2^1120974-1 is not prime. Res64: 68CB0BEFA683E076 Time : 0.0 sec. user=vaughan [2012-02-07 05:12:52] 527*2^1120974-1 is not prime. Res64: B9F8BDC340B0FC97 Time : 0.0 sec. user=vaughan [2012-02-07 05:12:54] 523*2^1120979-1 is not prime. Res64: B438DC6E23CAF46F Time : 0.0 sec. user=vaughan [2012-02-07 05:12:57] 579*2^1120979-1 is not prime. Res64: 9416109D4E734D85 Time : 0.0 sec. user=vaughan [2012-02-07 05:13:09] 591*2^1120982-1 is not prime. Res64: 1D751C196B536DF5 Time : 0.0 sec. user=vaughan [2012-02-07 05:13:10] 459*2^1120983-1 is not prime. Res64: 17EC575CBE15EE2C Time : 0.0 sec. user=vaughan [2012-02-07 05:13:17] 525*2^1120980-1 is not prime. Res64: 11B91C4ADBE8D9A1 Time : 0.0 sec. user=vaughan [2012-02-07 05:13:19] 545*2^1120980-1 is not prime. Res64: 0C6314B67DC49433 Time : 0.0 sec. user=vaughan [2012-02-07 05:13:34] 535*2^1120985-1 is not prime. Res64: 8C98306873FA79A3 Time : 0.0 sec. user=vaughan [2012-02-07 05:13:35] 579*2^1120985-1 is not prime. Res64: 005483A4490E5A23 Time : 0.0 sec. user=vaughan [2012-02-07 05:13:47] 497*2^1120994-1 is not prime. Res64: 8136F30154E5383C Time : 0.0 sec. user=vaughan [2012-02-07 05:13:48] 459*2^1120995-1 is not prime. Res64: E1B3B107118DFB45 Time : 0.0 sec. user=vaughan [2012-02-07 05:14:37] 595*2^1120985-1 is not prime. Res64: 38C68E6EF8BB2688 Time : 0.0 sec. user=vaughan [2012-02-07 05:14:38] 425*2^1120986-1 is not prime. Res64: 8645E8CCD7DE3B08 Time : 0.0 sec. user=vaughan [2012-02-07 05:16:47] 437*2^1120986-1 is not prime. Res64: 928156D7A95DCAB2 Time : 0.0 sec. user=vaughan [2012-02-07 05:16:48] 551*2^1120986-1 is not prime. Res64: 3ED4394D2AFBE5B9 Time : 0.0 sec. user=vaughan [2012-02-07 05:18:48] 565*2^1120993-1 is not prime. Res64: AAD011CD5E17AF19 Time : 0.0 sec. user=vaughan [2012-02-07 05:18:49] 447*2^1120994-1 is not prime. Res64: D1B06BA55C0F50FF Time : 0.0 sec. user=vaughan [2012-02-07 05:19:50] 427*2^1121001-1 is not prime. Res64: AFFE6DBF11E21E30 Time : 0.0 sec. user=vaughan [2012-02-07 05:19:50] 459*2^1121001-1 is not prime. Res64: 1142DA307B3C27C0 Time : 0.0 sec. user=vaughan [2012-02-07 05:20:05] 513*2^1120992-1 is not prime. Res64: 3D9C84DD34CB9781 Time : 0.0 sec. user=vaughan [2012-02-07 05:20:05] 525*2^1120992-1 is not prime. Res64: E3DD223CF5625C3A Time : 0.0 sec. user=vaughan [2012-02-07 05:21:51] 413*2^1120990-1 is not prime. Res64: A3AF1D896FC00208 Time : 0.0 sec. user=vaughan [2012-02-07 05:21:52] 555*2^1120990-1 is not prime. Res64: F88AEBDABE9CFA34 Time : 0.0 sec. user=vaughan [2012-02-07 05:23:59] 499*2^1120993-1 is not prime. Res64: 54F53F18037AE92C Time : 0.0 sec. user=vaughan [2012-02-07 05:24:00] 541*2^1120993-1 is not prime. Res64: C8D4CC58368DB212 Time : 0.0 sec. user=vaughan [2012-02-07 05:24:23] 539*2^1121004-1 is not prime. Res64: 5F0A60D5CF7F7B8F Time : 0.0 sec. user=vaughan [2012-02-07 05:24:24] 457*2^1121005-1 is not prime. Res64: 214B3D761AB6EE5D Time : 0.0 sec. user=vaughan [2012-02-07 05:24:43] 469*2^1120995-1 is not prime. Res64: D9112E699A0D707B Time : 0.0 sec. user=vaughan [2012-02-07 05:24:44] 529*2^1120995-1 is not prime. Res64: 394FDE77D35C4B10 Time : 0.0 sec. user=vaughan [2012-02-07 05:26:11] 465*2^1120991-1 is not prime. Res64: B5445D81C94D47F2 Time : 0.0 sec. user=vaughan [2012-02-07 05:26:12] 595*2^1120991-1 is not prime. Res64: 58933FC28B81470C Time : 0.0 sec. user=vaughan [2012-02-07 05:26:21] 455*2^1121006-1 is not prime. Res64: D652EF7DA87A7445 Time : 0.0 sec. user=vaughan [2012-02-07 05:26:21] 525*2^1121006-1 is not prime. Res64: 664527421EB8F795 Time : 0.0 sec. user=vaughan [2012-02-07 05:26:32] 475*2^1120997-1 is not prime. Res64: B612056325AAE598 Time : 0.0 sec. user=vaughan [2012-02-07 05:26:33] 423*2^1120998-1 is not prime. Res64: 4AFF22C167E3CEAE Time : 0.0 sec. user=vaughan [2012-02-07 05:27:58] 573*2^1120995-1 is not prime. Res64: 3410D5FA53535DA3 Time : 0.0 sec. user=vaughan [2012-02-07 05:27:59] 405*2^1120996-1 is not prime. Res64: 2DB5550B0E3C1D05 Time : 0.0 sec. user=vaughan [2012-02-07 05:28:58] 491*2^1121002-1 is not prime. Res64: 054514FC1C6E986C Time : 0.0 sec. user=vaughan [2012-02-07 05:28:58] 503*2^1121002-1 is not prime. Res64: B2D51ED499927EF3 Time : 0.0 sec. user=vaughan [2012-02-07 05:29:12] 567*2^1120988-1 is not prime. Res64: 0E295473AE4C0FDA Time : 0.0 sec. user=vaughan [2012-02-07 05:29:12] 457*2^1120989-1 is not prime. Res64: 7DDE857A322D05CC Time : 0.0 sec. user=juhehe [2012-02-07 05:30:50] 555*2^1121001-1 is not prime. Res64: E09F01BDF21B964D Time : 0.0 sec. user=vaughan [2012-02-07 05:31:14] 541*2^1121005-1 is not prime. Res64: AE2C2F634095DD0E Time : 0.0 sec. user=vaughan [2012-02-07 05:31:15] 595*2^1121005-1 is not prime. Res64: 174AD3C81E922F2E Time : 0.0 sec. user=vaughan [2012-02-07 05:31:28] 523*2^1121007-1 is not prime. Res64: 6DE0DEDCD2487E8C Time : 0.0 sec. user=vaughan [2012-02-07 05:31:29] 559*2^1121007-1 is not prime. Res64: 8BB559B2D198023B Time : 0.0 sec. user=vaughan [2012-02-07 05:31:29] 447*2^1120996-1 is not prime. Res64: E5286417E97E678B Time : 0.0 sec. user=vaughan [2012-02-07 05:31:30] 497*2^1120996-1 is not prime. Res64: 4D9423089C05CD0B Time : 0.0 sec. user=vaughan [2012-02-07 05:31:42] 429*2^1120968-1 is not prime. Res64: 6A12F4ED8884F255 Time : 0.0 sec. user=vaughan [2012-02-07 05:31:42] 569*2^1120968-1 is not prime. Res64: AD896B50FDFFD9BC Time : 0.0 sec. user=vaughan [2012-02-07 05:31:43] 445*2^1120971-1 is not prime. Res64: 34656150F30ACFCD Time : 0.0 sec. user=vaughan [2012-02-07 05:32:40] 549*2^1120999-1 is not prime. Res64: 4DE67068151BDFAA Time : 0.0 sec. user=vaughan [2012-02-07 05:32:41] 561*2^1120999-1 is not prime. Res64: 71A88715007C6D64 Time : 0.0 sec. user=vaughan [2012-02-07 05:32:49] 413*2^1121000-1 is not prime. Res64: CFA418EFC825DDCF Time : 0.0 sec. user=vaughan [2012-02-07 05:32:50] 425*2^1121000-1 is not prime. Res64: 4A37D343FE9C6CAD Time : 0.0 sec. user=vaughan [2012-02-07 05:32:51] 435*2^1120997-1 is not prime. Res64: B75381E0337D4392 Time : 0.0 sec. user=vaughan [2012-02-07 05:32:52] 447*2^1120997-1 is not prime. Res64: 75D784791A995D9B Time : 0.0 sec. user=juhehe [2012-02-07 05:32:54] 491*2^1121014-1 is not prime. Res64: 2454FF2ECB5ED462 Time : 0.0 sec. user=juhehe [2012-02-07 05:34:20] 513*2^1121004-1 is not prime. Res64: 3A2E3D9F925057E4 Time : 0.0 sec. user=vaughan [2012-02-07 05:35:43] 563*2^1121018-1 is not prime. Res64: D94CDFF916CEF9A5 Time : 0.0 sec. user=vaughan [2012-02-07 05:35:43] 433*2^1121019-1 is not prime. Res64: EF26F0B106C18016 Time : 0.0 sec. user=vaughan [2012-02-07 05:36:15] 565*2^1121001-1 is not prime. Res64: 6DEAB985FE4770DF Time : 0.0 sec. user=vaughan [2012-02-07 05:36:15] 571*2^1121001-1 is not prime. Res64: 17CA410EAE1C7C1D Time : 0.0 sec. user=vaughan [2012-02-07 05:41:46] 559*2^1121021-1 is not prime. Res64: F50A884F67FD8DE2 Time : 0.0 sec. user=vaughan [2012-02-07 05:41:47] 483*2^1121022-1 is not prime. Res64: 246E0D03E3E93FB7 Time : 0.0 sec. user=vaughan [2012-02-07 05:42:01] 561*2^1120966-1 is not prime. Res64: A77D46939C5EDEDB Time : 0.0 sec. user=vaughan [2012-02-07 05:42:08] 479*2^1121008-1 is not prime. Res64: 596B41864BF443A4 Time : 0.0 sec. user=vaughan [2012-02-07 05:42:09] 489*2^1121008-1 is not prime. Res64: E017CDF671C7436D Time : 0.0 sec. user=vaughan [2012-02-07 05:42:41] 405*2^1121011-1 is not prime. Res64: 58DC67F627B11AAD Time : 0.0 sec. user=vaughan [2012-02-07 05:42:42] 483*2^1121011-1 is not prime. Res64: D7159BA07306A7D8 Time : 0.0 sec. user=vaughan [2012-02-07 05:45:33] 549*2^1121020-1 is not prime. Res64: 5F5742D52E9147D0 Time : 0.0 sec. user=vaughan [2012-02-07 05:45:34] 537*2^1121021-1 is not prime. Res64: C6C2A43E15745E3C Time : 0.0 sec. user=vaughan [2012-02-07 05:46:17] 425*2^1121024-1 is not prime. Res64: D720DBCC0AB27045 Time : 0.0 sec. user=vaughan [2012-02-07 05:46:18] 489*2^1121024-1 is not prime. Res64: 695D2B4B4D44605D Time : 0.0 sec. user=vaughan [2012-02-07 05:47:04] 499*2^1121011-1 is not prime. Res64: A2596F9C080100CC Time : 0.0 sec. user=vaughan [2012-02-07 05:47:05] 535*2^1121011-1 is not prime. Res64: 129BFD0BFE7419D3 Time : 0.0 sec. user=vaughan [2012-02-07 05:48:17] 595*2^1121025-1 is not prime. Res64: 56ECE6AB0878C9D9 Time : 0.0 sec. user=vaughan [2012-02-07 05:48:18] 411*2^1121026-1 is not prime. Res64: BAE295D2D3B17042 Time : 0.0 sec. user=vaughan [2012-02-07 05:49:05] 517*2^1121017-1 is not prime. Res64: FE43DAB1F6DFCBF0 Time : 0.0 sec. user=vaughan [2012-02-07 05:49:05] 555*2^1121017-1 is not prime. Res64: 1C9A1DD3F2674136 Time : 0.0 sec. user=vaughan [2012-02-07 05:49:30] 545*2^1121018-1 is not prime. Res64: D47F6BFB7C410F3F Time : 0.0 sec. user=vaughan [2012-02-07 05:49:31] 561*2^1121018-1 is not prime. Res64: 5BA92BFA91A2380B Time : 0.0 sec. user=vaughan [2012-02-07 05:50:09] 573*2^1121011-1 is not prime. Res64: 14EBBAAFDF8E0B83 Time : 0.0 sec. user=vaughan [2012-02-07 05:50:09] 413*2^1121012-1 is not prime. Res64: 4EE2FF2D1D522B86 Time : 0.0 sec. user=vaughan [2012-02-07 05:51:09] 443*2^1121014-1 is not prime. Res64: E8081DCEFA341639 Time : 0.0 sec. user=vaughan [2012-02-07 05:51:10] 461*2^1121014-1 is not prime. Res64: 64656A067E656802 Time : 0.0 sec. user=vaughan [2012-02-07 05:51:20] 469*2^1121019-1 is not prime. Res64: 230E9A37CC282040 Time : 0.0 sec. user=vaughan [2012-02-07 05:51:21] 495*2^1121019-1 is not prime. Res64: FBE74DA895BA74C1 Time : 0.0 sec. user=vaughan [2012-02-07 05:52:45] 497*2^1121016-1 is not prime. Res64: 2413BDD94686DEC4 Time : 0.0 sec. user=vaughan [2012-02-07 05:52:45] 405*2^1121017-1 is not prime. Res64: B3C8310900CDBAB6 Time : 0.0 sec. user=vaughan [2012-02-07 05:52:53] 497*2^1121018-1 is not prime. Res64: 72D8E786CAF76997 Time : 0.0 sec. user=vaughan [2012-02-07 05:52:54] 533*2^1121018-1 is not prime. Res64: 13E48115D00A8EBA Time : 0.0 sec. user=vaughan [2012-02-07 05:52:58] 503*2^1121022-1 is not prime. Res64: 35B71F9B30BD1352 Time : 0.0 sec. user=vaughan [2012-02-07 05:52:59] 507*2^1121022-1 is not prime. Res64: 907EE362EE60D9DB Time : 0.0 sec. user=vaughan [2012-02-07 05:53:30] 513*2^1121019-1 is not prime. Res64: D8A4F9CB157B99F3 Time : 0.0 sec. user=vaughan [2012-02-07 05:53:30] 595*2^1121019-1 is not prime. Res64: D5BFB966786E6A06 Time : 0.0 sec. user=juhehe [2012-02-07 05:54:06] 475*2^1121037-1 is not prime. Res64: 11C81736384858C4 Time : 0.0 sec. user=vaughan [2012-02-07 05:54:52] 437*2^1121012-1 is not prime. Res64: BCDCCAA56135BF28 Time : 0.0 sec. user=vaughan [2012-02-07 05:54:53] 515*2^1121012-1 is not prime. Res64: 34B76F828A7D4AE4 Time : 0.0 sec. user=vaughan [2012-02-07 05:55:26] 597*2^1121029-1 is not prime. Res64: 4F08B5BF4D05E716 Time : 0.0 sec. user=vaughan [2012-02-07 05:55:27] 411*2^1121030-1 is not prime. Res64: FE7B386F2EC9C626 Time : 0.0 sec. user=vaughan [2012-02-07 05:55:36] 495*2^1121013-1 is not prime. Res64: 5301FF9C55E051D2 Time : 0.0 sec. user=vaughan [2012-02-07 05:55:37] 499*2^1121013-1 is not prime. Res64: F04DC9103F55B959 Time : 0.0 sec. user=vaughan [2012-02-07 05:56:47] 553*2^1121023-1 is not prime. Res64: F0764F538681FF94 Time : 0.0 sec. user=vaughan [2012-02-07 05:56:48] 555*2^1121023-1 is not prime. Res64: 2DAE30503C54A992 Time : 0.0 sec. user=vaughan [2012-02-07 05:57:07] 433*2^1121015-1 is not prime. Res64: 7B538715263EFE90 Time : 0.0 sec. user=vaughan [2012-02-07 05:57:08] 473*2^1121016-1 is not prime. Res64: F5639C7FE8D71F61 Time : 0.0 sec. user=vaughan [2012-02-07 05:57:35] 471*2^1121038-1 is not prime. Res64: 7B728558A6D29216 Time : 0.0 sec. user=vaughan [2012-02-07 05:57:35] 551*2^1121038-1 is not prime. Res64: CEBAEF1927725E7B Time : 0.0 sec. user=vaughan [2012-02-07 05:57:40] 539*2^1121024-1 is not prime. Res64: DC42B44091B74C64 Time : 0.0 sec. user=vaughan [2012-02-07 05:57:40] 405*2^1121025-1 is not prime. Res64: 2F3C41E5413231D1 Time : 0.0 sec. user=vaughan [2012-02-07 05:57:47] 423*2^1121032-1 is not prime. Res64: B925D827A868BF0A Time : 0.0 sec. user=vaughan [2012-02-07 05:57:47] 455*2^1121032-1 is not prime. Res64: 9BA122B60300DF15 Time : 0.0 sec. user=vaughan [2012-02-07 05:58:02] 445*2^1121033-1 is not prime. Res64: 0925B589727CD257 Time : 0.0 sec. user=vaughan [2012-02-07 05:58:02] 487*2^1121033-1 is not prime. Res64: C38979DF6BBE5379 Time : 0.0 sec. user=vaughan [2012-02-07 05:58:36] 537*2^1121022-1 is not prime. Res64: 55074B8D87350340 Time : 0.0 sec. user=vaughan [2012-02-07 05:58:36] 581*2^1121022-1 is not prime. Res64: CAB60D25D4925595 Time : 0.0 sec. user=vaughan [2012-02-07 05:59:27] 471*2^1121026-1 is not prime. Res64: F0750A0CAC77C1D4 Time : 0.0 sec. user=vaughan [2012-02-07 05:59:28] 569*2^1121028-1 is not prime. Res64: 53B6BAD41D5E262D Time : 0.0 sec. user=vaughan [2012-02-07 06:00:31] 431*2^1120998-1 is not prime. Res64: 842DE3E6D7876B43 Time : 0.0 sec. user=vaughan [2012-02-07 06:00:32] 411*2^1120999-1 is not prime. Res64: 75817B47D930C17F Time : 0.0 sec. user=vaughan [2012-02-07 06:00:33] 471*2^1120999-1 is not prime. Res64: B6C8F6E133AF828A Time : 0.0 sec. user=juhehe [2012-02-07 06:03:08] 429*2^1121031-1 is not prime. Res64: 8200580035EE37C7 Time : 0.0 sec. user=vaughan [2012-02-07 06:03:42] 447*2^1121040-1 is not prime. Res64: 3C29D7518B420F4D Time : 0.0 sec. user=vaughan [2012-02-07 06:03:43] 479*2^1121040-1 is not prime. Res64: 8A997D9FE06273D6 Time : 0.0 sec. user=vaughan [2012-02-07 06:03:52] 411*2^1121029-1 is not prime. Res64: CD44F2C586ED63F4 Time : 0.0 sec. user=vaughan [2012-02-07 06:03:53] 469*2^1121029-1 is not prime. Res64: 8BD1A126B246916C Time : 0.0 sec. user=vaughan [2012-02-07 06:05:29] 409*2^1121025-1 is not prime. Res64: 3036049B4FFE5EFE Time : 0.0 sec. user=vaughan [2012-02-07 06:05:30] 585*2^1121025-1 is not prime. Res64: 6AB17E06F8BD6481 Time : 0.0 sec. user=juhehe [2012-02-07 06:06:34] 453*2^1121038-1 is not prime. Res64: DF6E8F914911DD23 Time : 0.0 sec. user=vaughan [2012-02-07 06:08:08] 501*2^1121042-1 is not prime. Res64: 1F6C6A42B0BB65BD Time : 0.0 sec. user=vaughan [2012-02-07 06:08:10] 551*2^1121042-1 is not prime. Res64: 922C8C71BF843DAA Time : 0.0 sec. user=vaughan [2012-02-07 06:08:35] 521*2^1121034-1 is not prime. Res64: 2195526463198358 Time : 0.0 sec. user=vaughan [2012-02-07 06:08:37] 593*2^1121034-1 is not prime. Res64: C33533A10636BD24 Time : 0.0 sec. user=vaughan [2012-02-07 06:08:44] 511*2^1121035-1 is not prime. Res64: 74BF31C8D4DDD849 Time : 0.0 sec. user=vaughan [2012-02-07 06:08:46] 405*2^1121036-1 is not prime. Res64: D74E7C990B086F3D Time : 0.0 sec. user=vaughan [2012-02-07 06:10:10] 493*2^1121043-1 is not prime. Res64: 1FC90C9B37D583EC Time : 0.0 sec. user=vaughan [2012-02-07 06:10:11] 423*2^1121044-1 is not prime. Res64: 51DB7870E805F918 Time : 0.0 sec. user=vaughan [2012-02-07 06:10:44] 529*2^1121033-1 is not prime. Res64: ED19DEF89539C65E Time : 0.0 sec. user=vaughan [2012-02-07 06:10:45] 549*2^1121033-1 is not prime. Res64: B36F29C8816B1305 Time : 0.0 sec. user=vaughan [2012-02-07 06:11:41] 487*2^1121009-1 is not prime. Res64: A7597FD7C1290B67 Time : 0.0 sec. user=vaughan [2012-02-07 06:11:42] 511*2^1121009-1 is not prime. Res64: 2CDA7E951BFCC1E1 Time : 0.0 sec. user=vaughan [2012-02-07 06:11:42] 555*2^1121010-1 is not prime. Res64: 3F395F8DE1025FC5 Time : 0.0 sec. user=vaughan [2012-02-07 06:12:09] 407*2^1121042-1 is not prime. Res64: 605BFABA47E419A6 Time : 0.0 sec. user=vaughan [2012-02-07 06:12:10] 495*2^1121042-1 is not prime. Res64: 6E8B8E53887E834E Time : 0.0 sec. user=vaughan [2012-02-07 06:12:11] 459*2^1121039-1 is not prime. Res64: 30B477026D242569 Time : 0.0 sec. user=vaughan [2012-02-07 06:12:13] 511*2^1121039-1 is not prime. Res64: 2975D1428077A169 Time : 0.0 sec. user=vaughan [2012-02-07 06:12:15] 425*2^1121036-1 is not prime. Res64: 8C8D2295497577F3 Time : 0.0 sec. user=vaughan [2012-02-07 06:12:16] 587*2^1121036-1 is not prime. Res64: 8637F9698AABCB1C Time : 0.0 sec. user=vaughan [2012-02-07 06:13:18] 501*2^1121030-1 is not prime. Res64: 78EEA9E533D9FB19 Time : 0.0 sec. user=vaughan [2012-02-07 06:13:20] 423*2^1121031-1 is not prime. Res64: 88A10E88AD469BD3 Time : 0.0 sec. user=juhehe [2012-02-07 06:15:15] 583*2^1121047-1 is not prime. Res64: BDAA3DC415F8BCD4 Time : 0.0 sec. user=vaughan [2012-02-07 06:17:20] 563*2^1121012-1 is not prime. Res64: D6DD69176D83FAB7 Time : 0.0 sec. user=vaughan [2012-02-07 06:17:21] 441*2^1121013-1 is not prime. Res64: 0D028B594F5F6762 Time : 0.0 sec. user=vaughan [2012-02-07 06:17:21] 459*2^1121013-1 is not prime. Res64: DAC9CEF93D783A82 Time : 0.0 sec. user=vaughan [2012-02-07 06:18:37] 405*2^1121041-1 is not prime. Res64: 475ED558B7065AF1 Time : 0.0 sec. user=vaughan [2012-02-07 06:18:38] 415*2^1121041-1 is not prime. Res64: F9F278EC4D995FEA Time : 0.0 sec. user=vaughan [2012-02-07 06:18:48] 477*2^1121041-1 is not prime. Res64: 433D26E0AF230805 Time : 0.0 sec. user=vaughan [2012-02-07 06:18:49] 559*2^1121041-1 is not prime. Res64: 5C455515218D3A87 Time : 0.0 sec. user=vaughan [2012-02-07 06:19:20] 577*2^1121041-1 is not prime. Res64: 8C514567E1710799 Time : 0.0 sec. user=vaughan [2012-02-07 06:19:21] 591*2^1121041-1 is not prime. Res64: 0AE737EFFEDAB97C Time : 0.0 sec. user=vaughan [2012-02-07 06:19:27] 421*2^1121051-1 is not prime. Res64: 079E4841000128EF Time : 0.0 sec. user=vaughan [2012-02-07 06:19:27] 591*2^1121051-1 is not prime. Res64: 0E7896B81C61D485 Time : 0.0 sec. user=vaughan [2012-02-07 06:21:42] 471*2^1121049-1 is not prime. Res64: 0F2FCB2370C24026 Time : 0.0 sec. user=vaughan [2012-02-07 06:21:43] 401*2^1121050-1 is not prime. Res64: E1821CB5B89B3953 Time : 0.0 sec. user=vaughan [2012-02-07 06:24:15] 547*2^1121053-1 is not prime. Res64: 50E007446A17F91A Time : 0.0 sec. user=vaughan [2012-02-07 06:24:15] 561*2^1121053-1 is not prime. Res64: 40EBAC943158CBFE Time : 0.0 sec. user=vaughan [2012-02-07 06:24:25] 417*2^1121054-1 is not prime. Res64: 12804007E7E84CD5 Time : 0.0 sec. user=vaughan [2012-02-07 06:24:26] 503*2^1121054-1 is not prime. Res64: 0C263EAC7D739CEE Time : 0.0 sec. user=vaughan [2012-02-07 06:25:04] 549*2^1121044-1 is not prime. Res64: 5CE69F59E2555AB9 Time : 0.0 sec. user=vaughan [2012-02-07 06:25:05] 593*2^1121044-1 is not prime. Res64: 9005DD4EDD08C7F4 Time : 0.0 sec. user=vaughan [2012-02-07 06:25:27] 441*2^1121045-1 is not prime. Res64: 0BD4C32521718F15 Time : 0.0 sec. user=vaughan [2012-02-07 06:25:28] 451*2^1121045-1 is not prime. Res64: 9C0048F34AFD121D Time : 0.0 sec. user=vaughan [2012-02-07 06:25:30] 567*2^1121056-1 is not prime. Res64: 22A108937CB4BC7E Time : 0.0 sec. user=vaughan [2012-02-07 06:25:31] 421*2^1121057-1 is not prime. Res64: CAD118550BA92743 Time : 0.0 sec. user=vaughan [2012-02-07 06:25:43] 423*2^1121047-1 is not prime. Res64: DBD6E09BAA74EBF4 Time : 0.0 sec. user=vaughan [2012-02-07 06:25:43] 451*2^1121047-1 is not prime. Res64: EE494DEEB5D39498 Time : 0.0 sec. user=vaughan [2012-02-07 06:26:28] 587*2^1121042-1 is not prime. Res64: F29E156326711C9C Time : 0.0 sec. user=vaughan [2012-02-07 06:26:29] 453*2^1121043-1 is not prime. Res64: E024F0BA16514490 Time : 0.0 sec. user=vaughan [2012-02-07 06:27:59] 431*2^1121046-1 is not prime. Res64: 0BA0210F876EA6F6 Time : 0.0 sec. user=vaughan [2012-02-07 06:28:00] 501*2^1121046-1 is not prime. Res64: 6139310F2286D247 Time : 0.0 sec. user=vaughan [2012-02-07 06:29:42] 531*2^1121050-1 is not prime. Res64: 5B364BA2252C7757 Time : 0.0 sec. user=vaughan [2012-02-07 06:29:42] 561*2^1121050-1 is not prime. Res64: BE70D61D1A110104 Time : 0.0 sec. user=vaughan [2012-02-07 06:29:45] 475*2^1121045-1 is not prime. Res64: 993BFD5B1CD3D867 Time : 0.0 sec. user=vaughan [2012-02-07 06:29:46] 495*2^1121045-1 is not prime. Res64: F627F9983519A785 Time : 0.0 sec. user=vaughan [2012-02-07 06:30:12] 533*2^1121060-1 is not prime. Res64: 097AAFC6DAE348EB Time : 0.0 sec. user=vaughan [2012-02-07 06:30:13] 417*2^1121061-1 is not prime. Res64: F213D2ABB8BA9FB1 Time : 0.0 sec. user=vaughan [2012-02-07 06:30:14] 489*2^1121047-1 is not prime. Res64: 57ADA2FE7739DF31 Time : 0.0 sec. user=vaughan [2012-02-07 06:30:14] 555*2^1121047-1 is not prime. Res64: 218ED6606470DD71 Time : 0.0 sec. user=vaughan [2012-02-07 06:30:42] 421*2^1121053-1 is not prime. Res64: 7363260210CA1871 Time : 0.0 sec. user=vaughan [2012-02-07 06:30:43] 429*2^1121053-1 is not prime. Res64: D9C68C05D4A9D60D Time : 0.0 sec. user=vaughan [2012-02-07 06:30:46] 525*2^1121045-1 is not prime. Res64: 0820E1926E4E04C7 Time : 0.0 sec. user=vaughan [2012-02-07 06:30:47] 411*2^1121046-1 is not prime. Res64: 4A991790F62B1D0B Time : 0.0 sec. user=vaughan [2012-02-07 06:32:08] 561*2^1121062-1 is not prime. Res64: B8D1769E7A4EB405 Time : 0.0 sec. user=vaughan [2012-02-07 06:32:08] 493*2^1121063-1 is not prime. Res64: FCD7A128F284B8B0 Time : 0.0 sec. user=vaughan [2012-02-07 06:32:19] 441*2^1121055-1 is not prime. Res64: 4979B7D212356449 Time : 0.0 sec. user=vaughan [2012-02-07 06:32:19] 503*2^1121046-1 is not prime. Res64: 7470EE6EDE4C9561 Time : 0.0 sec. user=vaughan [2012-02-07 06:32:20] 451*2^1121055-1 is not prime. Res64: D1AA6AC48A0088BB Time : 0.0 sec. user=vaughan [2012-02-07 06:32:20] 525*2^1121046-1 is not prime. Res64: D4673D71C68FCC94 Time : 0.0 sec. user=vaughan [2012-02-07 06:32:28] 567*2^1121046-1 is not prime. Res64: F44318A81D0EBD04 Time : 0.0 sec. user=vaughan [2012-02-07 06:32:29] 587*2^1121046-1 is not prime. Res64: 6E08A8B66B6783FB Time : 0.0 sec. user=juhehe [2012-02-07 06:35:18] 513*2^1121055-1 is not prime. Res64: F8A4CFEF97C9467E Time : 0.0 sec. user=vaughan [2012-02-07 06:35:23] 575*2^1121054-1 is not prime. Res64: FF5FE57A7A89BB71 Time : 0.0 sec. user=vaughan [2012-02-07 06:35:23] 405*2^1121055-1 is not prime. Res64: B1F1DE4B22666F6C Time : 0.0 sec. user=juhehe [2012-02-07 06:36:15] 563*2^1121068-1 is not prime. Res64: E98DB4E1F76271EA Time : 0.0 sec. user=vaughan [2012-02-07 06:37:44] 577*2^1121033-1 is not prime. Res64: 16516BD30FD6E141 Time : 0.0 sec. user=vaughan [2012-02-07 06:37:44] 595*2^1121033-1 is not prime. Res64: EC96A8890EAEE2B5 Time : 0.0 sec. user=vaughan [2012-02-07 06:37:45] 495*2^1121034-1 is not prime. Res64: 5A889767DCE3512B Time : 0.0 sec. user=vaughan [2012-02-07 06:38:36] 417*2^1121066-1 is not prime. Res64: 2723837135D97944 Time : 0.0 sec. user=vaughan [2012-02-07 06:38:37] 501*2^1121066-1 is not prime. Res64: ED54B82E715A9029 Time : 0.0 sec. user=juhehe [2012-02-07 06:38:43] 589*2^1121059-1 is not prime. Res64: A38478B430C68695 Time : 0.0 sec. user=vaughan [2012-02-07 06:38:57] 417*2^1121048-1 is not prime. Res64: EA9DBC238F1E6E15 Time : 0.0 sec. user=vaughan [2012-02-07 06:38:58] 457*2^1121049-1 is not prime. Res64: 43E28F15EE9A78AA Time : 0.0 sec. user=vaughan [2012-02-07 06:39:41] 471*2^1121050-1 is not prime. Res64: 7757E6D738B5472A Time : 0.0 sec. user=vaughan [2012-02-07 06:39:41] 495*2^1121050-1 is not prime. Res64: CFBCE9B95839A2E5 Time : 0.0 sec. user=vaughan [2012-02-07 06:39:56] 441*2^1121057-1 is not prime. Res64: C3CF81768C69B883 Time : 0.0 sec. user=vaughan [2012-02-07 06:39:56] 489*2^1121057-1 is not prime. Res64: ED7F54152A72A961 Time : 0.0 sec. user=vaughan [2012-02-07 06:41:18] 581*2^1121050-1 is not prime. Res64: A7C5B75C37C6669E Time : 0.0 sec. user=vaughan [2012-02-07 06:41:19] 403*2^1121051-1 is not prime. Res64: 38E69A96A3CCC989 Time : 0.0 sec. user=vaughan [2012-02-07 06:41:28] 421*2^1121071-1 is not prime. Res64: DC0DB4BEFB319AD6 Time : 0.0 sec. user=vaughan [2012-02-07 06:41:29] 483*2^1121071-1 is not prime. Res64: 5390384A28AE3398 Time : 0.0 sec. user=vaughan [2012-02-07 06:44:42] 425*2^1121062-1 is not prime. Res64: E7E6285AE14CCBDB Time : 0.0 sec. user=vaughan [2012-02-07 06:44:43] 447*2^1121062-1 is not prime. Res64: 07D7EE45391205EC Time : 0.0 sec. user=vaughan [2012-02-07 06:44:50] 453*2^1121058-1 is not prime. Res64: 5D5EFCAAE3A489D7 Time : 0.0 sec. user=vaughan [2012-02-07 06:44:51] 411*2^1121059-1 is not prime. Res64: 569FDFC5D63CCDE1 Time : 0.0 sec. user=vaughan [2012-02-07 06:44:52] 467*2^1121062-1 is not prime. Res64: B956291449E65DBD Time : 0.0 sec. user=vaughan [2012-02-07 06:44:53] 507*2^1121062-1 is not prime. Res64: D231D51CFA862693 Time : 0.0 sec. user=vaughan [2012-02-07 06:47:28] 515*2^1121076-1 is not prime. Res64: 9CC746E25AA2D41A Time : 0.0 sec. user=vaughan [2012-02-07 06:47:29] 557*2^1121076-1 is not prime. Res64: 71D700DF91851659 Time : 0.0 sec. user=vaughan [2012-02-07 06:48:18] 493*2^1121071-1 is not prime. Res64: 9FCE40DE4F8EB808 Time : 0.0 sec. user=vaughan [2012-02-07 06:48:19] 549*2^1121071-1 is not prime. Res64: AAEFCE39397C1245 Time : 0.0 sec. user=vaughan [2012-02-07 06:48:22] 433*2^1121067-1 is not prime. Res64: BBDD953C133823AC Time : 0.0 sec. user=vaughan [2012-02-07 06:48:22] 501*2^1121067-1 is not prime. Res64: 2C785B5CBEA79871 Time : 0.0 sec. user=vaughan [2012-02-07 06:50:05] 589*2^1121063-1 is not prime. Res64: F03DB39BF0409E13 Time : 0.0 sec. user=vaughan [2012-02-07 06:50:05] 455*2^1121064-1 is not prime. Res64: 0076CC03A1689A98 Time : 0.0 sec. user=vaughan [2012-02-07 06:50:59] 447*2^1121072-1 is not prime. Res64: 83209326688242AB Time : 0.0 sec. user=vaughan [2012-02-07 06:51:00] 555*2^1121073-1 is not prime. Res64: CAAF0ADB6B52A586 Time : 0.0 sec. user=vaughan [2012-02-07 06:51:00] 595*2^1121073-1 is not prime. Res64: 9EDB06734F237137 Time : 0.0 sec. user=vaughan [2012-02-07 06:51:01] 413*2^1121074-1 is not prime. Res64: DB80AE4F296A67CC Time : 0.0 sec. user=vaughan [2012-02-07 06:51:36] 553*2^1121067-1 is not prime. Res64: F1375AD774E304D1 Time : 0.0 sec. user=vaughan [2012-02-07 06:51:37] 573*2^1121067-1 is not prime. Res64: 4D7BA65C093AAE79 Time : 0.0 sec. user=vaughan [2012-02-07 06:52:14] 559*2^1121079-1 is not prime. Res64: AF3B6ABAAA54FFE2 Time : 0.0 sec. user=vaughan [2012-02-07 06:52:14] 571*2^1121079-1 is not prime. Res64: D5084E7D8C726778 Time : 0.0 sec. user=vaughan [2012-02-07 06:54:05] 417*2^1121082-1 is not prime. Res64: 8FA81F82546A78C9 Time : 0.0 sec. user=vaughan [2012-02-07 06:54:06] 447*2^1121082-1 is not prime. Res64: D6456B6205063D81 Time : 0.0 sec. user=vaughan [2012-02-07 06:55:16] 559*2^1121069-1 is not prime. Res64: 97104EFCA50C42E9 Time : 0.0 sec. user=vaughan [2012-02-07 06:55:16] 567*2^1121069-1 is not prime. Res64: 95289F7B037447D5 Time : 0.0 sec. user=vaughan [2012-02-07 06:55:27] 513*2^1121070-1 is not prime. Res64: D51DAF197D14B38D Time : 0.0 sec. user=vaughan [2012-02-07 06:55:27] 525*2^1121070-1 is not prime. Res64: 8DE31431EA8608AD Time : 0.0 sec. user=vaughan [2012-02-07 06:56:05] 537*2^1121070-1 is not prime. Res64: 1FB70EA0884DC157 Time : 0.0 sec. user=vaughan [2012-02-07 06:56:06] 543*2^1121070-1 is not prime. Res64: 05463F8C61EFEB37 Time : 0.0 sec. user=juhehe [2012-02-07 06:56:35] 545*2^1121086-1 is not prime. Res64: 9DA234407FAAEF70 Time : 0.0 sec. user=vaughan [2012-02-07 06:57:34] 495*2^1121068-1 is not prime. Res64: 06366C1DDF2C461C Time : 0.0 sec. user=vaughan [2012-02-07 06:57:35] 537*2^1121068-1 is not prime. Res64: 822FF24698A49B1F Time : 0.0 sec. user=vaughan [2012-02-07 06:58:42] 405*2^1121077-1 is not prime. Res64: 3648191F3106411C Time : 0.0 sec. user=vaughan [2012-02-07 06:58:42] 441*2^1121077-1 is not prime. Res64: 0C44B184DB826854 Time : 0.0 sec. user=vaughan [2012-02-07 07:00:59] 503*2^1121094-1 is not prime. Res64: 89F3BF202F47E2FE Time : 0.0 sec. user=vaughan [2012-02-07 07:01:08] 561*2^1121074-1 is not prime. Res64: 4642610D709B8796 Time : 0.0 sec. user=vaughan [2012-02-07 07:01:10] 441*2^1121075-1 is not prime. Res64: 32FA699D830A2FA3 Time : 0.0 sec. user=vaughan [2012-02-07 07:01:14] 513*2^1121092-1 is not prime. Res64: BB5A98BD2FCDDC63 Time : 0.0 sec. user=vaughan [2012-02-07 07:01:32] 469*2^1121075-1 is not prime. Res64: FB3773B6E1171109 Time : 0.0 sec. user=vaughan [2012-02-07 07:01:33] 595*2^1121075-1 is not prime. Res64: F38F9CFE3C8D3945 Time : 0.0 sec. user=vaughan [2012-02-07 07:02:28] 453*2^1121078-1 is not prime. Res64: 2B98CA134FC2B5CD Time : 0.0 sec. user=vaughan [2012-02-07 07:02:29] 503*2^1121078-1 is not prime. Res64: 7AB8F496929BD6AE Time : 0.0 sec. user=vaughan [2012-02-07 07:03:00] 483*2^1121090-1 is not prime. Res64: 1CD9814F01762222 Time : 0.0 sec. user=vaughan [2012-02-07 07:03:06] 411*2^1121089-1 is not prime. Res64: B0AA6C42629E3627 Time : 0.0 sec. user=vaughan [2012-02-07 07:03:21] 481*2^1121065-1 is not prime. Res64: 199E0881F970A6F5 Time : 0.0 sec. user=vaughan [2012-02-07 07:03:23] 589*2^1121065-1 is not prime. Res64: BFB8CB2E8942DC16 Time : 0.0 sec. user=vaughan [2012-02-07 07:03:24] 575*2^1121068-1 is not prime. Res64: DA01AAC9A624AC8C Time : 0.0 sec. user=vaughan [2012-02-07 07:03:25] 411*2^1121069-1 is not prime. Res64: 28AF32E31121347D Time : 0.0 sec. user=vaughan [2012-02-07 07:03:26] 459*2^1121055-1 is not prime. Res64: F3F5590E9F5CE56E Time : 0.0 sec. user=vaughan [2012-02-07 07:03:26] 489*2^1121055-1 is not prime. Res64: B105C341FBE22CD9 Time : 0.0 sec. user=vaughan [2012-02-07 07:03:28] 593*2^1119576-1 is not prime. Res64: 1F495D034B0F407C Time : 0.0 sec. user=vaughan [2012-02-07 07:03:45] 563*2^1121080-1 is not prime. Res64: 362E58ABB67D44F7 Time : 0.0 sec. user=vaughan [2012-02-07 07:03:46] 475*2^1121081-1 is not prime. Res64: 6D128EC17F75E16A Time : 0.0 sec. user=vaughan [2012-02-07 07:03:59] 423*2^1121092-1 is not prime. Res64: F9819816ED710DA1 Time : 0.0 sec. user=vaughan [2012-02-07 07:04:40] 531*2^1121077-1 is not prime. Res64: 4B5A6A1862AE757A Time : 0.0 sec. user=vaughan [2012-02-07 07:04:42] 555*2^1121077-1 is not prime. Res64: 80A76C479174804C Time : 0.0 sec. user=vaughan [2012-02-07 07:05:05] 411*2^1121083-1 is not prime. Res64: A023B12BE5C1745E Time : 0.0 sec. user=vaughan [2012-02-07 07:05:10] 429*2^1121083-1 is not prime. Res64: 5503E1D47CC44E8D Time : 0.0 sec. user=vaughan [2012-02-07 07:05:12] 589*2^1121087-1 is not prime. Res64: 00716848FD209EC7 Time : 0.0 sec. user=vaughan [2012-02-07 07:05:13] 487*2^1121093-1 is not prime. Res64: 141A3C6C1695C813 Time : 0.0 sec. user=vaughan [2012-02-07 07:05:19] 465*2^1121088-1 is not prime. Res64: 329EA31B1F5E151D Time : 0.0 sec. user=vaughan [2012-02-07 07:05:52] 465*2^1121077-1 is not prime. Res64: 3C9A5F764E74AD35 Time : 0.0 sec. user=vaughan [2012-02-07 07:05:57] 499*2^1121077-1 is not prime. Res64: 40D08EEA48D9B4AB Time : 0.0 sec. user=vaughan [2012-02-07 07:06:58] 595*2^1121079-1 is not prime. Res64: A31EBDF90982B2CD Time : 0.0 sec. user=vaughan [2012-02-07 07:07:00] 483*2^1121080-1 is not prime. Res64: 04299DE0A068B932 Time : 0.0 sec. user=juhehe [2012-02-07 07:07:31] 525*2^1121085-1 is not prime. Res64: 113F454615A3EC11 Time : 0.0 sec. user=vaughan [2012-02-07 07:09:16] 563*2^1121078-1 is not prime. Res64: 4B3231F8402DF308 Time : 0.0 sec. user=vaughan [2012-02-07 07:09:17] 483*2^1121079-1 is not prime. Res64: 41203FF474996553 Time : 0.0 sec. user=vaughan [2012-02-07 07:10:20] 487*2^1121081-1 is not prime. Res64: 4F3437ABF38718F6 Time : 0.0 sec. user=vaughan [2012-02-07 07:10:21] 525*2^1121081-1 is not prime. Res64: A80644CD979D7B74 Time : 0.0 sec. user=juhehe [2012-02-07 07:10:59] 549*2^1121088-1 is not prime. Res64: C4CAA55261AD33D9 Time : 0.0 sec. user=vaughan [2012-02-07 07:11:56] 511*2^1121083-1 is not prime. Res64: 8C43CFD86783DFD9 Time : 0.0 sec. user=vaughan [2012-02-07 07:11:56] 477*2^1121084-1 is not prime. Res64: FCF2A31584A94AC1 Time : 0.0 sec. user=vaughan [2012-02-07 07:12:05] 507*2^1121084-1 is not prime. Res64: A7C2567B776C6B83 Time : 0.0 sec. user=vaughan [2012-02-07 07:12:07] 563*2^1121084-1 is not prime. Res64: 44B5F73485DF8604 Time : 0.0 sec. user=vaughan [2012-02-07 07:12:07] 413*2^1121086-1 is not prime. Res64: 02271DE18E1B8989 Time : 0.0 sec. user=vaughan [2012-02-07 07:12:08] 455*2^1121086-1 is not prime. Res64: B1056338C5444861 Time : 0.0 sec. user=vaughan [2012-02-07 07:14:38] 593*2^1121094-1 is not prime. Res64: 366F0F0EDB43562F Time : 0.0 sec. user=vaughan [2012-02-07 07:14:39] 531*2^1121095-1 is not prime. Res64: BCC81CD3C06932A1 Time : 0.0 sec. user=vaughan [2012-02-07 07:15:37] 415*2^1121091-1 is not prime. Res64: 8C1FEF96CBCC7DB3 Time : 0.0 sec. user=vaughan [2012-02-07 07:15:38] 531*2^1121091-1 is not prime. Res64: 73F8A4221C81CC18 Time : 0.0 sec. user=juhehe [2012-02-07 07:16:17] 495*2^1121105-1 is not prime. Res64: E8AC8D7DD8315F63 Time : 0.0 sec. user=vaughan [2012-02-07 07:17:04] 423*2^1121098-1 is not prime. Res64: 2100968FF173CF26 Time : 0.0 sec. user=vaughan [2012-02-07 07:17:04] 443*2^1121106-1 is not prime. Res64: 2FFBD5882EB12814 Time : 0.0 sec. user=vaughan [2012-02-07 07:17:04] 435*2^1121098-1 is not prime. Res64: 106F02D798B1FE69 Time : 0.0 sec. user=vaughan [2012-02-07 07:17:05] 523*2^1121099-1 is not prime. Res64: 8C3A275A9011FD26 Time : 0.0 sec. user=vaughan [2012-02-07 07:17:05] 515*2^1121100-1 is not prime. Res64: 322BD876600BC436 Time : 0.0 sec. user=vaughan [2012-02-07 07:17:30] 411*2^1120265-1 is not prime. Res64: F68A443AD0E2AD22 Time : 0.0 sec. user=vaughan [2012-02-07 07:17:31] 441*2^1120267-1 is not prime. Res64: 5B233AB65C8E50C7 Time : 0.0 sec. user=vaughan [2012-02-07 07:17:41] 461*2^1120266-1 is not prime. Res64: 2F3CC6EA98283574 Time : 0.0 sec. user=vaughan [2012-02-07 07:19:35] 525*2^1120149-1 is not prime. Res64: 54BFB916C1691CDE Time : 0.0 sec. user=vaughan [2012-02-07 07:19:57] 531*2^1121106-1 is not prime. Res64: D7524E6E6BF1D201 Time : 0.0 sec. user=vaughan [2012-02-07 07:20:11] 503*2^1121106-1 is not prime. Res64: FEB0DF8D2F4310A8 Time : 0.0 sec. user=vaughan [2012-02-07 07:20:11] 549*2^1121092-1 is not prime. Res64: 1525096EAF964949 Time : 0.0 sec. user=vaughan [2012-02-07 07:20:12] 417*2^1121093-1 is not prime. Res64: F31802C560B623B8 Time : 0.0 sec. user=vaughan [2012-02-07 07:20:20] 549*2^1121093-1 is not prime. Res64: 7BE1E4738E3AE1EA Time : 0.0 sec. user=vaughan [2012-02-07 07:20:21] 589*2^1121093-1 is not prime. Res64: 5AE4394A8FE239CE Time : 0.0 sec. user=vaughan [2012-02-07 07:23:40] 589*2^1121095-1 is not prime. Res64: 9D89819B8C527E49 Time : 0.0 sec. user=vaughan [2012-02-07 07:23:40] 515*2^1121096-1 is not prime. Res64: 364A0D62FFBDE5A7 Time : 0.0 sec. user=vaughan [2012-02-07 07:27:45] 523*2^1121107-1 is not prime. Res64: CBD065144D7A54F0 Time : 0.0 sec. user=vaughan [2012-02-07 07:27:48] 481*2^1121109-1 is not prime. Res64: 1EF56139DD7D6C81 Time : 0.0 sec. user=vaughan [2012-02-07 07:27:50] 503*2^1119588-1 is not prime. Res64: C530DB45AEACFB8D Time : 0.0 sec. user=vaughan [2012-02-07 07:31:58] 411*2^1121103-1 is not prime. Res64: 0C095C96A1508EF0 Time : 0.0 sec. user=vaughan [2012-02-07 07:31:59] 445*2^1121103-1 is not prime. Res64: C3228070CEBB9554 Time : 0.0 sec. user=vaughan [2012-02-07 07:32:21] 413*2^1121104-1 is not prime. Res64: 9938BA4E6E83C65F Time : 0.0 sec. user=vaughan [2012-02-07 07:32:21] 483*2^1121104-1 is not prime. Res64: 164194B9ED659AF6 Time : 0.0 sec. user=vaughan [2012-02-07 07:32:51] 513*2^1121104-1 is not prime. Res64: 973FDEA45CDED7B9 Time : 0.0 sec. user=vaughan [2012-02-07 07:32:52] 527*2^1121104-1 is not prime. Res64: F32DF1F7D28A39C4 Time : 0.0 sec. user=vaughan [2012-02-07 07:32:56] 447*2^1121114-1 is not prime. Res64: 9BD562680641C30C Time : 0.0 sec. user=vaughan [2012-02-07 07:33:06] 525*2^1121110-1 is not prime. Res64: 01087DF170D82CC7 Time : 0.0 sec. user=vaughan [2012-02-07 07:33:13] 579*2^1121108-1 is not prime. Res64: B1F5C861BD4BB20A Time : 0.0 sec. user=juhehe [2012-02-07 07:37:14] 579*2^1121116-1 is not prime. Res64: E67EEB36D88C3F2D Time : 0.0 sec. user=juhehe [2012-02-07 07:39:48] 591*2^1121110-1 is not prime. Res64: 808952AE40B51AFC Time : 0.0 sec. user=juhehe [2012-02-07 07:43:16] 411*2^1121113-1 is not prime. Res64: A773FD846C60B13E Time : 0.0 sec. user=odicin [2012-02-07 07:45:15] 445*2^1121123-1 is not prime. Res64: 988CB88A2F47F2A7 Time : 0.0 sec. user=odicin [2012-02-07 07:57:06] 529*2^1119605-1 is not prime. Res64: 60512B5DF7BCD59F Time : 0.0 sec. user=juhehe [2012-02-07 07:57:58] 417*2^1119606-1 is not prime. Res64: 45F2CD5042A3110D Time : 0.0 sec. user=odicin [2012-02-07 08:09:38] 461*2^1119610-1 is not prime. Res64: 04A39874C0FC47E9 Time : 0.0 sec. user=juhehe [2012-02-07 08:11:58] 511*2^1119609-1 is not prime. Res64: A0214B052BE15A2D Time : 0.0 sec. user=juhehe [2012-02-07 08:15:26] 401*2^1119610-1 is not prime. Res64: 1C1A3DEFE911B1FC Time : 0.0 sec. user=juhehe [2012-02-07 08:16:50] 563*2^1121124-1 is not prime. Res64: 54170AE460C06B83 Time : 0.0 sec. user=odicin [2012-02-07 08:21:30] 483*2^1119610-1 is not prime. Res64: 89EDD4403BF56AE5 Time : 0.0 sec. user=odicin [2012-02-07 08:34:03] 471*2^1121125-1 is not prime. Res64: BC996B9E28B763CC Time : 0.0 sec. user=juhehe [2012-02-07 08:34:46] 581*2^1121126-1 is not prime. Res64: 2D1F4F881D31EF69 Time : 0.0 sec. user=juhehe [2012-02-07 08:44:07] 455*2^1121126-1 is not prime. Res64: BDBE59423B504AC5 Time : 0.0 sec. user=odicin [2012-02-07 08:45:54] 593*2^1121126-1 is not prime. Res64: 4BE5765E7EE66E6C Time : 0.0 sec. user=juhehe [2012-02-07 08:47:34] 461*2^1121126-1 is not prime. Res64: 04D10EB5E499587E Time : 0.0 sec. user=juhehe [2012-02-07 08:52:39] 441*2^1121127-1 is not prime. Res64: 675CD6B8FDDFF0E3 Time : 0.0 sec. user=odicin [2012-02-07 08:58:28] 409*2^1121127-1 is not prime. Res64: AA701EEBFBECB176 Time : 0.0 sec. user=odicin [2012-02-07 09:10:16] 595*2^1121127-1 is not prime. Res64: 4F70B0CE496C6027 Time : 0.0 sec. user=juhehe [2012-02-07 09:10:34] 533*2^1121128-1 is not prime. Res64: DC27459F1CF1D072 Time : 0.0 sec. user=juhehe [2012-02-07 09:16:15] 549*2^1121127-1 is not prime. Res64: 1D5BDB8A2E0DA56A Time : 0.0 sec. user=juhehe [2012-02-07 09:19:43] 495*2^1121128-1 is not prime. Res64: D4C45113548A153B Time : 0.0 sec. user=odicin [2012-02-07 09:23:08] 567*2^1121128-1 is not prime. Res64: 55973BA167E3F94B Time : 0.0 sec. user=juhehe [2012-02-07 09:28:30] 561*2^1121129-1 is not prime. Res64: A0ADA5E00E10F25E Time : 0.0 sec. user=odicin [2012-02-07 09:35:10] 447*2^1121129-1 is not prime. Res64: 25BCEAABDF9475D1 Time : 0.0 sec. user=juhehe [2012-02-07 09:46:25] 531*2^1121131-1 is not prime. Res64: ACD2E0C7119519A5 Time : 0.0 sec. user=odicin [2012-02-07 09:47:39] 587*2^1121130-1 is not prime. Res64: C752546C946B7B74 Time : 0.0 sec. user=juhehe [2012-02-07 09:48:24] 473*2^1121130-1 is not prime. Res64: ABD6A73628EDA928 Time : 0.0 sec. user=juhehe [2012-02-07 09:51:49] 567*2^1121130-1 is not prime. Res64: 9A2472D7687201AA Time : 0.0 sec. user=odicin [2012-02-07 09:59:39] 459*2^1121133-1 is not prime. Res64: A0A3F05375929D5B Time : 0.0 sec. user=juhehe [2012-02-07 10:04:20] 537*2^1121133-1 is not prime. Res64: B42008FC1DF0D56A Time : 0.0 sec. user=odicin [2012-02-07 10:12:06] 413*2^1121134-1 is not prime. Res64: 66032153A33430F8 Time : 0.0 sec. user=juhehe [2012-02-07 10:20:33] 491*2^1121134-1 is not prime. Res64: 5777761BBBA35C2B Time : 0.0 sec. user=juhehe [2012-02-07 10:22:15] 475*2^1121135-1 is not prime. Res64: FB29FC52B0F49556 Time : 0.0 sec. user=odicin [2012-02-07 10:22:44] 451*2^1121135-1 is not prime. Res64: 5CB49143A50E4328 Time : 0.0 sec. user=juhehe [2012-02-07 10:24:00] 411*2^1121135-1 is not prime. Res64: 20573654275FA42B Time : 0.0 sec. user=juhehe [2012-02-07 10:40:07] 511*2^1121135-1 is not prime. Res64: 34C63D1C3751165F Time : 0.0 sec. user=juhehe [2012-02-07 10:52:42] 501*2^1121135-1 is not prime. Res64: 963842B13FAC3157 Time : 0.0 sec. user=juhehe [2012-02-07 10:56:11] 531*2^1121135-1 is not prime. Res64: 35F0A16B39C4853C Time : 0.0 sec. user=juhehe [2012-02-07 10:58:03] 465*2^1121136-1 is not prime. Res64: 15D746C6A6684A34 Time : 0.0 sec. user=juhehe [2012-02-07 11:16:03] 577*2^1121137-1 is not prime. Res64: 851834355CDAE67C Time : 0.0 sec. user=juhehe [2012-02-07 11:25:30] 405*2^1121137-1 is not prime. Res64: 4798F729AC571EC3 Time : 0.0 sec. user=juhehe [2012-02-07 11:29:10] 429*2^1121137-1 is not prime. Res64: 5C6BE70C9BBBB834 Time : 0.0 sec. user=juhehe [2012-02-07 11:34:04] 497*2^1121138-1 is not prime. Res64: 5A1A8E8881E37119 Time : 0.0 sec. user=juhehe [2012-02-07 11:51:58] 547*2^1121141-1 is not prime. Res64: C3FF33A5621D6093 Time : 0.0 sec. user=juhehe [2012-02-07 11:57:57] 437*2^1121140-1 is not prime. Res64: 6F11643C0A901181 Time : 0.0 sec. user=juhehe [2012-02-07 12:01:24] 511*2^1121141-1 is not prime. Res64: 819558F015B963C4 Time : 0.0 sec. user=juhehe [2012-02-07 12:09:52] 417*2^1121142-1 is not prime. Res64: EEBFA10CBA06C7CC Time : 0.0 sec. user=juhehe [2012-02-07 12:27:47] 581*2^1121142-1 is not prime. Res64: 19EEDC7A4596FA5F Time : 0.0 sec. user=juhehe [2012-02-07 12:30:47] 483*2^1121142-1 is not prime. Res64: BA9A2D851BE3B0DE Time : 0.0 sec. user=odicin [2012-02-07 12:32:30] 451*2^1121143-1 is not prime. Res64: 7EA154ED54FC3B15 Time : 0.0 sec. user=juhehe [2012-02-07 12:34:20] 551*2^1121142-1 is not prime. Res64: AB687296D097CFDD Time : 0.0 sec. user=odicin [2012-02-07 12:41:33] 559*2^1121143-1 is not prime. Res64: C59924356E4E0EEA Time : 0.0 sec. user=juhehe [2012-02-07 12:45:40] 481*2^1121143-1 is not prime. Res64: 8EC7A0D79B19C3AB Time : 0.0 sec. user=juhehe [2012-02-07 13:03:39] 447*2^1121144-1 is not prime. Res64: 0243F6A9D581DBDD Time : 0.0 sec. user=juhehe [2012-02-07 13:05:07] 499*2^1121143-1 is not prime. Res64: 38263E53CED9E4EA Time : 0.0 sec. user=juhehe [2012-02-07 13:08:04] 407*2^1121144-1 is not prime. Res64: 004ACBABD9B4C0FA Time : 0.0 sec. user=juhehe [2012-02-07 13:21:36] 507*2^1121144-1 is not prime. Res64: E90017975B2CAB8C Time : 0.0 sec. user=juhehe [2012-02-07 13:37:27] 519*2^1121144-1 is not prime. Res64: C8A9A29962BBE13B Time : 0.0 sec. user=juhehe [2012-02-07 13:39:30] 465*2^1121145-1 is not prime. Res64: 1EC27E0739901A7A Time : 0.0 sec. user=juhehe [2012-02-07 13:40:18] 587*2^1121144-1 is not prime. Res64: 00121E8A255BA868 Time : 0.0 sec. user=juhehe [2012-02-07 14:10:07] 535*2^1121145-1 is not prime. Res64: 46512DD4F789DBEC Time : 0.0 sec. user=juhehe [2012-02-07 14:12:59] 507*2^1121146-1 is not prime. Res64: E2DD471578C91E5E Time : 0.0 sec. user=juhehe [2012-02-07 14:42:55] 561*2^1121146-1 is not prime. Res64: F243838779D6E495 Time : 0.0 sec. user=juhehe [2012-02-07 14:45:53] 581*2^1121146-1 is not prime. Res64: 61F8E4677F054734 Time : 0.0 sec. user=juhehe [2012-02-07 15:15:36] 435*2^1121147-1 is not prime. Res64: FBB1018F32E16222 Time : 0.0 sec. user=juhehe [2012-02-07 15:18:34] 489*2^1121148-1 is not prime. Res64: 1C26B44A4DB048B4 Time : 0.0 sec. user=juhehe [2012-02-07 15:48:07] 503*2^1121148-1 is not prime. Res64: AEACF5922FFBF348 Time : 0.0 sec. user=juhehe [2012-02-07 15:51:02] 545*2^1121148-1 is not prime. Res64: 7F066BDD1727BDED Time : 0.0 sec. user=juhehe [2012-02-07 16:21:19] 415*2^1121149-1 is not prime. Res64: EA83592F157F8F52 Time : 0.0 sec. user=juhehe [2012-02-07 16:23:51] 427*2^1121149-1 is not prime. Res64: 04DA4C2916D31518 Time : 0.0 sec. user=vaughan [2012-02-07 16:38:25] 465*2^1121109-1 is not prime. Res64: AB495C284D6AA03C Time : 0.0 sec. user=vaughan [2012-02-07 16:40:35] 493*2^1121107-1 is not prime. Res64: F4C1D34A4D4ABE5C Time : 0.0 sec. user=vaughan [2012-02-07 16:40:55] 581*2^1121110-1 is not prime. Res64: 1B220D0BA1BDE765 Time : 0.0 sec. user=vaughan [2012-02-07 16:42:04] 473*2^1121108-1 is not prime. Res64: E5D26FD3EA7BFECC Time : 0.0 sec. user=vaughan [2012-02-07 16:43:23] 499*2^1121109-1 is not prime. Res64: 979205369F973342 Time : 0.0 sec. user=vaughan [2012-02-07 16:46:21] 415*2^1121115-1 is not prime. Res64: 8E89BDAD846EC940 Time : 0.0 sec. user=vaughan [2012-02-07 16:47:35] 495*2^1121106-1 is not prime. Res64: E91BCE374A343805 Time : 0.0 sec. user=juhehe [2012-02-07 16:53:58] 471*2^1121149-1 is not prime. Res64: 4F34406030981FA2 Time : 0.0 sec. user=juhehe [2012-02-07 16:56:13] 481*2^1121149-1 is not prime. Res64: 02B64BC11418DAA0 Time : 0.0 sec. user=vaughan [2012-02-07 17:06:15] 405*2^1119606-1 is not prime. Res64: 8F11275CDFFA2BEF Time : 0.0 sec. user=vaughan [2012-02-07 17:06:16] 413*2^1119606-1 is not prime. Res64: CE7D1FF5E1CD9119 Time : 0.0 sec. user=vaughan [2012-02-07 17:06:25] 409*2^1119605-1 is not prime. Res64: 5C7C72443F6174C1 Time : 0.0 sec. user=vaughan [2012-02-07 17:06:27] 571*2^1119603-1 is not prime. Res64: 8E80D7159DC53F37 Time : 0.0 sec. user=vaughan [2012-02-07 17:06:31] 429*2^1119604-1 is not prime. Res64: 0E9F2D655CF18EC1 Time : 0.0 sec. user=vaughan [2012-02-07 17:06:31] 447*2^1119605-1 is not prime. Res64: 44366C5CCAC26103 Time : 0.0 sec. user=vaughan [2012-02-07 17:13:37] 525*2^1121149-1 is not prime. Res64: A4655179C5D214A5 Time : 0.0 sec. user=vaughan [2012-02-07 17:13:39] 521*2^1121150-1 is not prime. Res64: 2D092DC3D0ACE6AA Time : 0.0 sec. user=vaughan [2012-02-07 17:15:10] 507*2^1121149-1 is not prime. Res64: A1202B11B581FBD5 Time : 0.0 sec. user=vaughan [2012-02-07 17:15:11] 549*2^1121151-1 is not prime. Res64: 70445A2DA3562B44 Time : 0.0 sec. user=vaughan [2012-02-07 17:15:11] 511*2^1121149-1 is not prime. Res64: 883C5DA83C2C192E Time : 0.0 sec. user=vaughan [2012-02-07 17:15:12] 453*2^1121152-1 is not prime. Res64: 348E846441858EB1 Time : 0.0 sec. user=vaughan [2012-02-07 17:16:32] 409*2^1121153-1 is not prime. Res64: 19D1D87BFC72F9DD Time : 0.0 sec. user=vaughan [2012-02-07 17:16:33] 435*2^1121153-1 is not prime. Res64: 2285A9B896DC59F8 Time : 0.0 sec. user=vaughan [2012-02-07 17:17:43] 545*2^1121150-1 is not prime. Res64: F63DDD00FEA19F2F Time : 0.0 sec. user=vaughan [2012-02-07 17:17:44] 535*2^1121151-1 is not prime. Res64: 901C89D3CBE851F2 Time : 0.0 sec. user=vaughan [2012-02-07 17:20:37] 591*2^1121153-1 is not prime. Res64: 5606FFD3CD17742B Time : 0.0 sec. user=vaughan [2012-02-07 17:20:37] 423*2^1121154-1 is not prime. Res64: C49B68E7E2C3108A Time : 0.0 sec. user=vaughan [2012-02-07 17:23:06] 481*2^1121153-1 is not prime. Res64: 8D28BC009CE210BA Time : 0.0 sec. user=vaughan [2012-02-07 17:23:07] 589*2^1121153-1 is not prime. Res64: BC4EC560EE56EB6A Time : 0.0 sec. user=juhehe [2012-02-07 17:26:16] 453*2^1121154-1 is not prime. Res64: C1E1E5940422F52D Time : 0.0 sec. user=juhehe [2012-02-07 17:28:34] 465*2^1121154-1 is not prime. Res64: 4A44BE5DC8E73434 Time : 0.0 sec. user=vaughan [2012-02-07 17:41:46] 555*2^1121121-1 is not prime. Res64: 3D37A5EB2F6D5389 Time : 0.0 sec. user=vaughan [2012-02-07 17:41:47] 435*2^1121122-1 is not prime. Res64: C9F7D415DC71AF33 Time : 0.0 sec. user=vaughan [2012-02-07 17:41:51] 533*2^1121120-1 is not prime. Res64: C4F070058EA25E52 Time : 0.0 sec. user=vaughan [2012-02-07 17:41:51] 529*2^1121121-1 is not prime. Res64: 1B13CE4E41AC9D06 Time : 0.0 sec. user=vaughan [2012-02-07 17:41:59] 481*2^1121119-1 is not prime. Res64: D42F905C0E79F307 Time : 0.0 sec. user=vaughan [2012-02-07 17:42:00] 559*2^1121119-1 is not prime. Res64: C4C8C791CC1E3A20 Time : 0.0 sec. user=vaughan [2012-02-07 17:43:03] 503*2^1121154-1 is not prime. Res64: 9C86AFD5B192A0CB Time : 0.0 sec. user=vaughan [2012-02-07 17:43:04] 415*2^1121155-1 is not prime. Res64: EECE26AFE44BE2A0 Time : 0.0 sec. user=vaughan [2012-02-07 17:43:22] 463*2^1121155-1 is not prime. Res64: 2C3E7737506E5CB5 Time : 0.0 sec. user=vaughan [2012-02-07 17:43:22] 469*2^1121155-1 is not prime. Res64: 3646881968D18751 Time : 0.0 sec. user=vaughan [2012-02-07 17:43:24] 595*2^1121155-1 is not prime. Res64: 497577F794A130A3 Time : 0.0 sec. user=vaughan [2012-02-07 17:43:24] 507*2^1121156-1 is not prime. Res64: D0395A59ED43130A Time : 0.0 sec. user=vaughan [2012-02-07 17:46:38] 539*2^1121156-1 is not prime. Res64: 9B2EC3F39949169A Time : 0.0 sec. user=vaughan [2012-02-07 17:46:39] 507*2^1121157-1 is not prime. Res64: 85BF2A5378EAF0D9 Time : 0.0 sec. user=vaughan [2012-02-07 17:47:59] 413*2^1121158-1 is not prime. Res64: F7B25BFAF284C164 Time : 0.0 sec. user=vaughan [2012-02-07 17:48:00] 483*2^1121158-1 is not prime. Res64: 75F0C7AE14D66D67 Time : 0.0 sec. user=vaughan [2012-02-07 17:49:38] 491*2^1121158-1 is not prime. Res64: F75ABA95FBC290A8 Time : 0.0 sec. user=vaughan [2012-02-07 17:49:39] 581*2^1121158-1 is not prime. Res64: A243BC7B6AB886E5 Time : 0.0 sec. user=vaughan [2012-02-07 17:51:56] 549*2^1121157-1 is not prime. Res64: 59D0B32A1CBDF704 Time : 0.0 sec. user=vaughan [2012-02-07 17:51:57] 555*2^1121157-1 is not prime. Res64: C7D6DDF2AB5C3EC4 Time : 0.0 sec. user=vaughan [2012-02-07 17:53:33] 405*2^1121160-1 is not prime. Res64: 14B54DB2C3AC618F Time : 0.0 sec. user=vaughan [2012-02-07 17:53:33] 479*2^1121160-1 is not prime. Res64: 17F44BB2C166935F Time : 0.0 sec. user=vaughan [2012-02-07 17:54:29] 525*2^1121159-1 is not prime. Res64: A8D2FA6A1F3468B0 Time : 0.0 sec. user=vaughan [2012-02-07 17:54:29] 589*2^1121159-1 is not prime. Res64: 6BFC432CE7EEBF57 Time : 0.0 sec. user=juhehe [2012-02-07 17:58:29] 421*2^1121161-1 is not prime. Res64: 4683F6D8C3109CA4 Time : 0.0 sec. user=vaughan [2012-02-07 17:59:58] 527*2^1121160-1 is not prime. Res64: B08055E071B19388 Time : 0.0 sec. user=vaughan [2012-02-07 17:59:58] 409*2^1121161-1 is not prime. Res64: D6137228E041D26C Time : 0.0 sec. user=juhehe [2012-02-07 18:00:48] 541*2^1121161-1 is not prime. Res64: 1E56DD63718E0305 Time : 0.0 sec. user=vaughan [2012-02-07 18:19:30] 411*2^1121165-1 is not prime. Res64: 6BBCE94FD6300729 Time : 0.0 sec. user=vaughan [2012-02-07 18:19:31] 525*2^1121165-1 is not prime. Res64: C26D4F4C38B281B9 Time : 0.0 sec. user=vaughan [2012-02-07 18:19:51] 489*2^1121163-1 is not prime. Res64: 8D7863C3A2C101FF Time : 0.0 sec. user=vaughan [2012-02-07 18:19:52] 419*2^1121164-1 is not prime. Res64: E5CE190976DD4D06 Time : 0.0 sec. user=vaughan [2012-02-07 18:19:59] 437*2^1121164-1 is not prime. Res64: DAC660F7839AC93F Time : 0.0 sec. user=vaughan [2012-02-07 18:20:00] 485*2^1121164-1 is not prime. Res64: B76459E47692319F Time : 0.0 sec. user=vaughan [2012-02-07 18:20:19] 575*2^1121164-1 is not prime. Res64: BA538EC92924E454 Time : 0.0 sec. user=vaughan [2012-02-07 18:20:20] 597*2^1121164-1 is not prime. Res64: 022EB77742A44527 Time : 0.0 sec. user=vaughan [2012-02-07 18:21:02] 437*2^1121166-1 is not prime. Res64: A200942F56443C56 Time : 0.0 sec. user=vaughan [2012-02-07 18:21:03] 589*2^1121167-1 is not prime. Res64: 6FE45A7706126A40 Time : 0.0 sec. user=vaughan [2012-02-07 18:22:25] 533*2^1121168-1 is not prime. Res64: 17170345409A4D60 Time : 0.0 sec. user=vaughan [2012-02-07 18:22:26] 427*2^1121169-1 is not prime. Res64: 9BA354E339BC6456 Time : 0.0 sec. user=vaughan [2012-02-07 18:26:30] 507*2^1121169-1 is not prime. Res64: 0E25E76E415F83E5 Time : 0.0 sec. user=vaughan [2012-02-07 18:26:31] 555*2^1121169-1 is not prime. Res64: 8A8B031FD6591790 Time : 0.0 sec. user=vaughan [2012-02-07 18:28:37] 439*2^1121169-1 is not prime. Res64: 4FB2F535A292E37B Time : 0.0 sec. user=vaughan [2012-02-07 18:28:38] 465*2^1121169-1 is not prime. Res64: 25F9E33DA5E38B7C Time : 0.0 sec. user=juhehe [2012-02-07 18:30:37] 513*2^1121170-1 is not prime. Res64: EF48BC591FCB398A Time : 0.0 sec. user=vaughan [2012-02-07 18:31:10] 425*2^1121170-1 is not prime. Res64: 31EA0C399B56D08F Time : 0.0 sec. user=vaughan [2012-02-07 18:31:11] 461*2^1121170-1 is not prime. Res64: B22B54CAC7853C02 Time : 0.0 sec. user=juhehe [2012-02-07 18:32:56] 423*2^1121172-1 is not prime. Res64: C939124CB5413828 Time : 0.0 sec. user=vaughan [2012-02-07 18:36:47] 525*2^1121170-1 is not prime. Res64: 7FD80CA60E93C0E0 Time : 0.0 sec. user=vaughan [2012-02-07 18:36:47] 511*2^1121171-1 is not prime. Res64: 10B861884EA135BC Time : 0.0 sec. user=vaughan [2012-02-07 18:52:32] 545*2^1121172-1 is not prime. Res64: 6478FABDB9B587CC Time : 0.0 sec. user=vaughan [2012-02-07 18:52:32] 555*2^1121172-1 is not prime. Res64: 413BD798C95A6580 Time : 0.0 sec. user=vaughan [2012-02-07 18:53:57] 401*2^1121178-1 is not prime. Res64: 4AE073144B92AB7D Time : 0.0 sec. user=vaughan [2012-02-07 18:53:57] 437*2^1121178-1 is not prime. Res64: 46E3C5584B69BCD5 Time : 0.0 sec. user=vaughan [2012-02-07 18:55:25] 507*2^1121178-1 is not prime. Res64: D3A334D5D63AC017 Time : 0.0 sec. user=vaughan [2012-02-07 18:55:25] 551*2^1121178-1 is not prime. Res64: 8ECD822F18A3ABA4 Time : 0.0 sec. user=vaughan [2012-02-07 18:56:34] 411*2^1121173-1 is not prime. Res64: 7C840E0B1A94B575 Time : 0.0 sec. user=vaughan [2012-02-07 18:56:35] 421*2^1121173-1 is not prime. Res64: 7F6BC86D34820E96 Time : 0.0 sec. user=vaughan [2012-02-07 18:56:47] 549*2^1121173-1 is not prime. Res64: E0FC89BB4F564F9C Time : 0.0 sec. user=vaughan [2012-02-07 18:56:47] 429*2^1121175-1 is not prime. Res64: A507A4AA75BDCD87 Time : 0.0 sec. user=vaughan [2012-02-07 18:57:05] 511*2^1121175-1 is not prime. Res64: 7BD83DE04DB3126A Time : 0.0 sec. user=vaughan [2012-02-07 18:57:05] 595*2^1121175-1 is not prime. Res64: 1F1A1A7BDB608800 Time : 0.0 sec. user=vaughan [2012-02-07 18:57:55] 407*2^1121162-1 is not prime. Res64: D56F38817E8368F0 Time : 0.0 sec. user=vaughan [2012-02-07 18:57:55] 425*2^1121162-1 is not prime. Res64: 6E5F141DBE59B997 Time : 0.0 sec. user=vaughan [2012-02-07 18:57:57] 483*2^1121162-1 is not prime. Res64: 91E785A0A0E74A0F Time : 0.0 sec. user=vaughan [2012-02-07 18:57:58] 515*2^1121162-1 is not prime. Res64: F2312CEDB7B91DFA Time : 0.0 sec. user=vaughan [2012-02-07 18:58:11] 545*2^1121162-1 is not prime. Res64: CF2B69D81A623037 Time : 0.0 sec. user=vaughan [2012-02-07 18:58:11] 451*2^1121163-1 is not prime. Res64: 8A6BEBD7C24BB6D2 Time : 0.0 sec. user=vaughan [2012-02-07 18:59:21] 585*2^1121178-1 is not prime. Res64: 5A1A4ADBCB90625F Time : 0.0 sec. user=vaughan [2012-02-07 18:59:21] 557*2^1121180-1 is not prime. Res64: D86DB8DCFB2EB9C6 Time : 0.0 sec. user=juhehe [2012-02-07 19:02:55] 513*2^1121182-1 is not prime. Res64: 54E0FE1CD60710FC Time : 0.0 sec. user=juhehe [2012-02-07 19:05:13] 523*2^1121183-1 is not prime. Res64: 480309D5E4249190 Time : 0.0 sec. user=vaughan [2012-02-07 19:05:19] 475*2^1121181-1 is not prime. Res64: B8ECE8BCD74E6451 Time : 0.0 sec. user=vaughan [2012-02-07 19:05:21] 405*2^1121182-1 is not prime. Res64: 99E7A92DEFB04068 Time : 0.0 sec. user=vaughan [2012-02-07 19:08:06] 489*2^1121183-1 is not prime. Res64: 2F3FB1B7273EB996 Time : 0.0 sec. user=vaughan [2012-02-07 19:08:07] 519*2^1121183-1 is not prime. Res64: B6116CD1CA7A81F7 Time : 0.0 sec. user=vaughan [2012-02-07 19:13:36] 571*2^1121183-1 is not prime. Res64: F228F0DA502535EB Time : 0.0 sec. user=vaughan [2012-02-07 19:13:37] 423*2^1121184-1 is not prime. Res64: CC8BEB2401450811 Time : 0.0 sec. user=vaughan [2012-02-07 19:25:30] 473*2^1121184-1 is not prime. Res64: AE55A3AF2D4C1D3F Time : 0.0 sec. user=vaughan [2012-02-07 19:25:31] 503*2^1121184-1 is not prime. Res64: 35F6F0EC13980108 Time : 0.0 sec. user=vaughan [2012-02-07 19:26:47] 509*2^1121184-1 is not prime. Res64: F14AF5EB87F4D149 Time : 0.0 sec. user=vaughan [2012-02-07 19:26:48] 543*2^1121184-1 is not prime. Res64: D828FA6C45658545 Time : 0.0 sec. user=vaughan [2012-02-07 19:28:30] 555*2^1121184-1 is not prime. Res64: CE041C26E9713375 Time : 0.0 sec. user=vaughan [2012-02-07 19:28:31] 557*2^1121184-1 is not prime. Res64: 18B9E94174F40238 Time : 0.0 sec. user=vaughan [2012-02-07 19:32:11] 439*2^1121191-1 is not prime. Res64: 112C5AA30F9A8CA7 Time : 0.0 sec. user=vaughan [2012-02-07 19:32:11] 451*2^1121191-1 is not prime. Res64: 2CEB6F382F23C064 Time : 0.0 sec. user=vaughan [2012-02-07 19:33:17] 507*2^1121185-1 is not prime. Res64: 963096824A82252A Time : 0.0 sec. user=vaughan [2012-02-07 19:33:17] 425*2^1121186-1 is not prime. Res64: 57857C3691A0FF5A Time : 0.0 sec. user=vaughan [2012-02-07 19:33:37] 439*2^1121187-1 is not prime. Res64: 7310FF233F9D09E4 Time : 0.0 sec. user=vaughan [2012-02-07 19:33:37] 501*2^1121187-1 is not prime. Res64: E5BD7745AD3BC87A Time : 0.0 sec. user=vaughan [2012-02-07 19:33:50] 511*2^1121187-1 is not prime. Res64: 346E864B4E51C307 Time : 0.0 sec. user=vaughan [2012-02-07 19:33:51] 483*2^1121188-1 is not prime. Res64: EF8A6D52993ECF90 Time : 0.0 sec. user=juhehe [2012-02-07 19:35:13] 463*2^1121191-1 is not prime. Res64: E42F4421C805350A Time : 0.0 sec. user=juhehe [2012-02-07 19:37:31] 525*2^1121191-1 is not prime. Res64: B0B34B3280A22287 Time : 0.0 sec. user=vaughan [2012-02-07 19:42:11] 573*2^1121191-1 is not prime. Res64: 75F0D4C00583F461 Time : 0.0 sec. user=vaughan [2012-02-07 19:42:12] 455*2^1121192-1 is not prime. Res64: 0A6AB18748C70AC1 Time : 0.0 sec. user=vaughan [2012-02-07 19:44:48] 459*2^1121192-1 is not prime. Res64: ABE47583261C52D8 Time : 0.0 sec. user=vaughan [2012-02-07 19:44:49] 571*2^1121193-1 is not prime. Res64: 5350A06CCE5BEAD2 Time : 0.0 sec. user=vaughan [2012-02-07 19:50:21] 477*2^1121194-1 is not prime. Res64: A0D5BC52262A3C8B Time : 0.0 sec. user=vaughan [2012-02-07 19:50:22] 575*2^1121194-1 is not prime. Res64: 74E9B9E69824EAB7 Time : 0.0 sec. user=vaughan [2012-02-07 19:58:33] 573*2^1121195-1 is not prime. Res64: EFEB4DF01B4E2CCD Time : 0.0 sec. user=vaughan [2012-02-07 19:58:34] 413*2^1121196-1 is not prime. Res64: 3A8D7F55EDBA399E Time : 0.0 sec. user=vaughan [2012-02-07 19:59:35] 437*2^1121196-1 is not prime. Res64: 0B60F8A1BB23C84F Time : 0.0 sec. user=vaughan [2012-02-07 19:59:35] 453*2^1121196-1 is not prime. Res64: 5EB3C9AFD669C513 Time : 0.0 sec. user=vaughan [2012-02-07 20:01:35] 479*2^1121196-1 is not prime. Res64: 1BF733205D79D43D Time : 0.0 sec. user=vaughan [2012-02-07 20:01:37] 515*2^1121196-1 is not prime. Res64: 93DEA2815A6B52AF Time : 0.0 sec. user=vaughan [2012-02-07 20:05:00] 527*2^1121196-1 is not prime. Res64: AF662D9B64512706 Time : 0.0 sec. user=vaughan [2012-02-07 20:05:01] 465*2^1121197-1 is not prime. Res64: FF58F85462B7EE67 Time : 0.0 sec. user=vaughan [2012-02-07 20:06:16] 501*2^1121055-1 is not prime. Res64: 309835398FD2FE7B Time : 0.0 sec. user=juhehe [2012-02-07 20:07:20] 415*2^1121199-1 is not prime. Res64: C7B0E4BEE24536FE Time : 0.0 sec. user=juhehe [2012-02-07 20:09:39] 481*2^1121199-1 is not prime. Res64: B9CEA2EC2473A4F0 Time : 0.0 sec. user=vaughan [2012-02-07 20:09:59] 517*2^1121197-1 is not prime. Res64: 6E83E365FDBC3020 Time : 0.0 sec. user=vaughan [2012-02-07 20:10:00] 565*2^1121197-1 is not prime. Res64: 0F8A48BA3003BCE2 Time : 0.0 sec. user=vaughan [2012-02-07 20:10:20] 435*2^1121198-1 is not prime. Res64: 8F1F6AE878A4CC5F Time : 0.0 sec. user=vaughan [2012-02-07 20:10:21] 483*2^1121198-1 is not prime. Res64: 35AE4B0F97023579 Time : 0.0 sec. user=vaughan [2012-02-07 20:10:35] 563*2^1121198-1 is not prime. Res64: 4A12CAA0CF656AE4 Time : 0.0 sec. user=vaughan [2012-02-07 20:10:36] 585*2^1121198-1 is not prime. Res64: 6810C49A1BC77D5C Time : 0.0 sec. user=vaughan [2012-02-07 20:17:39] 405*2^1121066-1 is not prime. Res64: 99DB8640A1A90684 Time : 0.0 sec. user=vaughan [2012-02-07 20:18:57] 511*2^1121199-1 is not prime. Res64: 09406578D873993A Time : 0.0 sec. user=vaughan [2012-02-07 20:18:57] 447*2^1121200-1 is not prime. Res64: 07709C70C5C936E5 Time : 0.0 sec. user=vaughan [2012-02-07 20:21:36] 495*2^1121200-1 is not prime. Res64: C39B851B367B45A6 Time : 0.0 sec. user=vaughan [2012-02-07 20:21:37] 409*2^1121201-1 is not prime. Res64: 4893436DF7B4AC66 Time : 0.0 sec. user=vaughan [2012-02-07 20:23:02] 487*2^1121069-1 is not prime. Res64: 2EFB9216559D2AB6 Time : 0.0 sec. user=vaughan [2012-02-07 20:24:46] 549*2^1121188-1 is not prime. Res64: BE7FFD2B835B5B69 Time : 0.0 sec. user=vaughan [2012-02-07 20:24:46] 507*2^1121189-1 is not prime. Res64: B1F528634431E4F5 Time : 0.0 sec. user=vaughan [2012-02-07 20:24:49] 443*2^1121190-1 is not prime. Res64: 182A04ABF65B707E Time : 0.0 sec. user=vaughan [2012-02-07 20:24:50] 483*2^1121190-1 is not prime. Res64: BABE87E33EE6A193 Time : 0.0 sec. user=vaughan [2012-02-07 20:25:06] 557*2^1121190-1 is not prime. Res64: 0D6459BF8468E05B Time : 0.0 sec. user=vaughan [2012-02-07 20:25:06] 567*2^1121190-1 is not prime. Res64: 4AC507D2A49CA441 Time : 0.0 sec. user=vaughan [2012-02-07 20:27:00] 441*2^1121113-1 is not prime. Res64: 2D2D38A28800AC7F Time : 0.0 sec. user=vaughan [2012-02-07 20:27:00] 465*2^1121113-1 is not prime. Res64: A9F55C1ADF4D8A0B Time : 0.0 sec. user=vaughan [2012-02-07 20:27:03] 487*2^1121201-1 is not prime. Res64: 9A0745EE721622FA Time : 0.0 sec. user=vaughan [2012-02-07 20:27:03] 591*2^1121113-1 is not prime. Res64: DFC4358A9CA27766 Time : 0.0 sec. user=vaughan [2012-02-07 20:27:03] 571*2^1121201-1 is not prime. Res64: 264904BC5675B017 Time : 0.0 sec. user=vaughan [2012-02-07 20:27:03] 595*2^1121113-1 is not prime. Res64: 1A758CD9E2F72CCC Time : 0.0 sec. user=vaughan [2012-02-07 20:27:25] 445*2^1121111-1 is not prime. Res64: A994A0BF94834167 Time : 0.0 sec. user=vaughan [2012-02-07 20:27:25] 571*2^1121111-1 is not prime. Res64: F61C948A25A7601F Time : 0.0 sec. user=vaughan [2012-02-07 20:27:46] 479*2^1121112-1 is not prime. Res64: 53FEDC4A9968771F Time : 0.0 sec. user=vaughan [2012-02-07 20:27:47] 503*2^1121112-1 is not prime. Res64: 17768A3F13FC4A17 Time : 0.0 sec. user=vaughan [2012-02-07 20:31:33] 453*2^1121202-1 is not prime. Res64: E133750A3CFCCB79 Time : 0.0 sec. user=vaughan [2012-02-07 20:31:33] 483*2^1121202-1 is not prime. Res64: A3700805E8B8B38F Time : 0.0 sec. user=vaughan [2012-02-07 20:32:27] 543*2^1121202-1 is not prime. Res64: 27165FF79B550A35 Time : 0.0 sec. user=vaughan [2012-02-07 20:32:28] 439*2^1121203-1 is not prime. Res64: 21E50DE559CD5F4B Time : 0.0 sec. user=vaughan [2012-02-07 20:34:37] 463*2^1121203-1 is not prime. Res64: 37D3A8A753717B4A Time : 0.0 sec. user=vaughan [2012-02-07 20:34:37] 429*2^1121089-1 is not prime. Res64: FF0F3F33B1777B27 Time : 0.0 sec. user=vaughan [2012-02-07 20:34:38] 583*2^1121203-1 is not prime. Res64: A8F67970DDA43EEE Time : 0.0 sec. user=vaughan [2012-02-07 20:35:56] 501*2^1121090-1 is not prime. Res64: D4D37A7F0909A4D2 Time : 0.0 sec. user=vaughan [2012-02-07 20:37:04] 485*2^1121092-1 is not prime. Res64: 3FA4C876EE1FE4F9 Time : 0.0 sec. user=vaughan [2012-02-07 20:37:58] 417*2^1121204-1 is not prime. Res64: 74B176A8983F1C83 Time : 0.0 sec. user=vaughan [2012-02-07 20:37:59] 459*2^1121204-1 is not prime. Res64: 7BC68A56F3F007D4 Time : 0.0 sec. user=juhehe [2012-02-07 20:39:35] 477*2^1121206-1 is not prime. Res64: 4E3CF1C0A01F7C19 Time : 0.0 sec. user=juhehe [2012-02-07 20:41:53] 513*2^1121206-1 is not prime. Res64: 85E058EAF522C863 Time : 0.0 sec. user=vaughan [2012-02-07 20:43:34] 581*2^1121086-1 is not prime. Res64: 3FDA98984CF3015E Time : 0.0 sec. user=vaughan [2012-02-07 20:43:34] 587*2^1121086-1 is not prime. Res64: FD20AA7CFAB50376 Time : 0.0 sec. user=vaughan [2012-02-07 20:46:39] 525*2^1121206-1 is not prime. Res64: 1331A26A6B6C86D5 Time : 0.0 sec. user=vaughan [2012-02-07 20:46:40] 551*2^1121206-1 is not prime. Res64: 6A297D6B7B2EE233 Time : 0.0 sec. user=vaughan [2012-02-07 20:47:14] 423*2^1121207-1 is not prime. Res64: A4B3D4FEE7F76B32 Time : 0.0 sec. user=vaughan [2012-02-07 20:47:14] 441*2^1121207-1 is not prime. Res64: E71F6956BB9AD651 Time : 0.0 sec. user=vaughan [2012-02-07 20:47:27] 451*2^1121207-1 is not prime. Res64: 832D902EBAB7F86C Time : 0.0 sec. user=vaughan [2012-02-07 20:47:28] 469*2^1121207-1 is not prime. Res64: 615B4F06706C7709 Time : 0.0 sec. user=vaughan [2012-02-07 20:55:38] 489*2^1121208-1 is not prime. Res64: E68FD04A9640C66D Time : 0.0 sec. user=vaughan [2012-02-07 20:55:39] 525*2^1121208-1 is not prime. Res64: A3415EF332C5AEBA Time : 0.0 sec. user=vaughan [2012-02-07 20:58:24] 549*2^1121208-1 is not prime. Res64: D7791CCC1B54EA71 Time : 0.0 sec. user=vaughan [2012-02-07 20:58:24] 555*2^1121208-1 is not prime. Res64: A6882318160318C7 Time : 0.0 sec. user=vaughan [2012-02-07 21:03:44] 489*2^1121212-1 is not prime. Res64: 8466EB5FDB9C2D14 Time : 0.0 sec. user=vaughan [2012-02-07 21:03:46] 513*2^1121212-1 is not prime. Res64: 7D2AD03D2B407351 Time : 0.0 sec. user=vaughan [2012-02-07 21:04:25] 429*2^1121215-1 is not prime. Res64: 540E86D6E1D3B141 Time : 0.0 sec. user=vaughan [2012-02-07 21:04:26] 441*2^1121215-1 is not prime. Res64: 39B6DAF8FC75E7A2 Time : 0.0 sec. user=vaughan [2012-02-07 21:05:24] 493*2^1121215-1 is not prime. Res64: 2B1B9D90351DACC3 Time : 0.0 sec. user=vaughan [2012-02-07 21:05:27] 525*2^1121215-1 is not prime. Res64: 00F6863F12F850AF Time : 0.0 sec. user=vaughan [2012-02-07 21:06:31] 483*2^1121211-1 is not prime. Res64: 236B880A0D0F58FE Time : 0.0 sec. user=vaughan [2012-02-07 21:06:33] 571*2^1121211-1 is not prime. Res64: 9E2AEFE9F7C4C41A Time : 0.0 sec. user=vaughan [2012-02-07 21:06:42] 477*2^1121213-1 is not prime. Res64: 48492E261E22D46D Time : 0.0 sec. user=vaughan [2012-02-07 21:06:43] 487*2^1121213-1 is not prime. Res64: 16DB1878C025BBA0 Time : 0.0 sec. user=vaughan [2012-02-07 21:07:02] 525*2^1121213-1 is not prime. Res64: 8155023CD9BA4D08 Time : 0.0 sec. user=vaughan [2012-02-07 21:07:03] 417*2^1121214-1 is not prime. Res64: 68389680F9BD704E Time : 0.0 sec. user=vaughan [2012-02-07 21:07:21] 453*2^1121214-1 is not prime. Res64: A05D1CB60879634C Time : 0.0 sec. user=vaughan [2012-02-07 21:07:22] 513*2^1121214-1 is not prime. Res64: 1CB682F1AE3FA5EA Time : 0.0 sec. user=vaughan [2012-02-07 21:07:29] 459*2^1121216-1 is not prime. Res64: F7573803009A4283 Time : 0.0 sec. user=vaughan [2012-02-07 21:07:29] 427*2^1121217-1 is not prime. Res64: 9F240666E7FE5212 Time : 0.0 sec. user=vaughan [2012-02-07 21:10:59] 505*2^1121219-1 is not prime. Res64: A638E2C46296C934 Time : 0.0 sec. user=vaughan [2012-02-07 21:11:00] 579*2^1121219-1 is not prime. Res64: 3EA03D7437286455 Time : 0.0 sec. user=juhehe [2012-02-07 21:11:52] 467*2^1121220-1 is not prime. Res64: BC67CE4DEAA0B1DD Time : 0.0 sec. user=vaughan [2012-02-07 21:12:31] 473*2^1121204-1 is not prime. Res64: B71EE948E10C3C00 Time : 0.0 sec. user=vaughan [2012-02-07 21:12:34] 555*2^1121205-1 is not prime. Res64: 81195853C9BDD67A Time : 0.0 sec. user=vaughan [2012-02-07 21:12:35] 455*2^1121206-1 is not prime. Res64: D0E9E1C38793E1FE Time : 0.0 sec. user=juhehe [2012-02-07 21:14:10] 525*2^1121220-1 is not prime. Res64: 467C3A8DE9646AC4 Time : 0.0 sec. user=vaughan [2012-02-07 21:23:18] 471*2^1121221-1 is not prime. Res64: 15EFFF25652B7D95 Time : 0.0 sec. user=vaughan [2012-02-07 21:23:19] 447*2^1121222-1 is not prime. Res64: DB32F25D10E8A3EC Time : 0.0 sec. user=vaughan [2012-02-07 21:23:44] 505*2^1121207-1 is not prime. Res64: 44521FA166B9E568 Time : 0.0 sec. user=vaughan [2012-02-07 21:23:44] 419*2^1121208-1 is not prime. Res64: FBF9928A74F5402A Time : 0.0 sec. user=vaughan [2012-02-07 21:23:45] 459*2^1121208-1 is not prime. Res64: 2FF72035FF319584 Time : 0.0 sec. user=vaughan [2012-02-07 21:24:05] 495*2^1121222-1 is not prime. Res64: B90170C7236FF50E Time : 0.0 sec. user=vaughan [2012-02-07 21:24:05] 533*2^1121222-1 is not prime. Res64: 31046AB1542FCC8B Time : 0.0 sec. user=vaughan [2012-02-07 21:24:11] 545*2^1121222-1 is not prime. Res64: B8211433C0E88B7A Time : 0.0 sec. user=vaughan [2012-02-07 21:24:12] 557*2^1121222-1 is not prime. Res64: E962FC80EDD5AD65 Time : 0.0 sec. user=vaughan [2012-02-07 21:29:07] 435*2^1121209-1 is not prime. Res64: 629BE178C9566F69 Time : 0.0 sec. user=vaughan [2012-02-07 21:29:08] 517*2^1121209-1 is not prime. Res64: 60EAD4C2F805FE79 Time : 0.0 sec. user=vaughan [2012-02-07 21:29:08] 407*2^1121210-1 is not prime. Res64: 99802AAD854B8A85 Time : 0.0 sec. user=vaughan [2012-02-07 21:32:24] 573*2^1121222-1 is not prime. Res64: C805841234397007 Time : 0.0 sec. user=vaughan [2012-02-07 21:32:25] 445*2^1121223-1 is not prime. Res64: 15A73681BEA36BF7 Time : 0.0 sec. user=vaughan [2012-02-07 21:35:18] 471*2^1121223-1 is not prime. Res64: 172BFE1579675BE4 Time : 0.0 sec. user=vaughan [2012-02-07 21:35:18] 475*2^1121223-1 is not prime. Res64: 06B701926ACF98B1 Time : 0.0 sec. user=vaughan [2012-02-07 21:37:22] 405*2^1121225-1 is not prime. Res64: 8F1013C2AB70914D Time : 0.0 sec. user=vaughan [2012-02-07 21:37:23] 507*2^1121225-1 is not prime. Res64: B3B3580BC35F0FEF Time : 0.0 sec. user=vaughan [2012-02-07 21:38:31] 565*2^1121225-1 is not prime. Res64: A6FD721272F37012 Time : 0.0 sec. user=vaughan [2012-02-07 21:38:31] 567*2^1121225-1 is not prime. Res64: 654B0796C78DEF12 Time : 0.0 sec. user=vaughan [2012-02-07 21:40:19] 425*2^1121228-1 is not prime. Res64: CB2299F54464A75E Time : 0.0 sec. user=vaughan [2012-02-07 21:40:19] 465*2^1121228-1 is not prime. Res64: 7F80B5241F13707C Time : 0.0 sec. user=vaughan [2012-02-07 21:40:30] 523*2^1121223-1 is not prime. Res64: 441C34AEB54F5E80 Time : 0.0 sec. user=vaughan [2012-02-07 21:40:30] 567*2^1121224-1 is not prime. Res64: 68B89BCD35BA3859 Time : 0.0 sec. user=vaughan [2012-02-07 21:43:59] 507*2^1121228-1 is not prime. Res64: 8AC8307F8F8539D5 Time : 0.0 sec. user=vaughan [2012-02-07 21:43:59] 515*2^1121228-1 is not prime. Res64: 5E49C78E299D14EB Time : 0.0 sec. user=juhehe [2012-02-07 21:44:05] 595*2^1121229-1 is not prime. Res64: D8F0E279C156002B Time : 0.0 sec. user=vaughan [2012-02-07 21:46:09] 447*2^1121226-1 is not prime. Res64: 860FC8EB2691513E Time : 0.0 sec. user=vaughan [2012-02-07 21:46:09] 501*2^1121226-1 is not prime. Res64: C4FED73CEBFEFA79 Time : 0.0 sec. user=juhehe [2012-02-07 21:46:21] 423*2^1121231-1 is not prime. Res64: 77FDCC5DAD29D311 Time : 0.0 sec. user=vaughan [2012-02-07 21:46:23] 507*2^1121226-1 is not prime. Res64: CC6E27D9F56974C4 Time : 0.0 sec. user=vaughan [2012-02-07 21:46:23] 563*2^1121226-1 is not prime. Res64: 7711DE733A28C2AB Time : 0.0 sec. user=vaughan [2012-02-07 21:46:37] 587*2^1121226-1 is not prime. Res64: CC20E06F4ACF5026 Time : 0.0 sec. user=vaughan [2012-02-07 21:46:38] 421*2^1121227-1 is not prime. Res64: 06397C0AAFDB8366 Time : 0.0 sec. user=vaughan [2012-02-07 21:46:45] 531*2^1121215-1 is not prime. Res64: 1CF7188D09F40025 Time : 0.0 sec. user=vaughan [2012-02-07 21:46:46] 425*2^1121216-1 is not prime. Res64: 3BA39146D63DC3FC Time : 0.0 sec. user=vaughan [2012-02-07 21:46:54] 441*2^1121227-1 is not prime. Res64: 5BE3C1A7C3BF59F9 Time : 0.0 sec. user=vaughan [2012-02-07 21:46:55] 523*2^1121227-1 is not prime. Res64: 8B743E3D2B1C07B7 Time : 0.0 sec. user=vaughan [2012-02-07 21:47:55] 471*2^1121217-1 is not prime. Res64: 3295A32D6A1AC7D3 Time : 0.0 sec. user=vaughan [2012-02-07 21:47:56] 501*2^1121217-1 is not prime. Res64: 84A5B487C2F8D2F8 Time : 0.0 sec. user=vaughan [2012-02-07 21:48:41] 417*2^1121210-1 is not prime. Res64: 42C7B6F72F371EED Time : 0.0 sec. user=vaughan [2012-02-07 21:48:42] 453*2^1121210-1 is not prime. Res64: C77DC2D42BE3F2BC Time : 0.0 sec. user=vaughan [2012-02-07 21:48:44] 531*2^1121210-1 is not prime. Res64: E108133DC749B7B3 Time : 0.0 sec. user=vaughan [2012-02-07 21:48:44] 561*2^1121210-1 is not prime. Res64: C01E66C532BBD48C Time : 0.0 sec. user=vaughan [2012-02-07 21:48:50] 453*2^1121211-1 is not prime. Res64: 17F04AF57BF92228 Time : 0.0 sec. user=vaughan [2012-02-07 21:48:51] 469*2^1121211-1 is not prime. Res64: A723DEFFDC9E21B0 Time : 0.0 sec. user=vaughan [2012-02-07 21:49:03] 497*2^1121218-1 is not prime. Res64: 3EF1F0E77F6E75DB Time : 0.0 sec. user=vaughan [2012-02-07 21:49:03] 411*2^1121219-1 is not prime. Res64: 32DAC7788E70A522 Time : 0.0 sec. user=vaughan [2012-02-07 21:49:42] 563*2^1121220-1 is not prime. Res64: FCA7410D6DE637F9 Time : 0.0 sec. user=vaughan [2012-02-07 21:49:42] 427*2^1121221-1 is not prime. Res64: 96B0D55CD8FBF8C9 Time : 0.0 sec. user=vaughan [2012-02-07 21:49:43] 439*2^1121221-1 is not prime. Res64: 6536E896E0E5A955 Time : 0.0 sec. user=vaughan [2012-02-07 22:00:05] 453*2^1121231-1 is not prime. Res64: B08E82A4729BA965 Time : 0.0 sec. user=vaughan [2012-02-07 22:00:07] 459*2^1121231-1 is not prime. Res64: 4711DEFF2E341FD2 Time : 0.0 sec. user=vaughan [2012-02-07 22:00:47] 593*2^1121232-1 is not prime. Res64: E81B8F3D5DE6115A Time : 0.0 sec. user=vaughan [2012-02-07 22:00:49] 489*2^1121233-1 is not prime. Res64: DB6BD86912FA50CF Time : 0.0 sec. user=vaughan [2012-02-07 22:00:58] 411*2^1121234-1 is not prime. Res64: 2DDF82885B8DF19F Time : 0.0 sec. user=vaughan [2012-02-07 22:01:00] 493*2^1121235-1 is not prime. Res64: 7B414ADBA5538EF5 Time : 0.0 sec. user=vaughan [2012-02-07 22:09:07] 519*2^1121236-1 is not prime. Res64: 44FFF61B43FC6820 Time : 0.0 sec. user=vaughan [2012-02-07 22:09:08] 537*2^1121236-1 is not prime. Res64: B198FC8685C80517 Time : 0.0 sec. user=vaughan [2012-02-07 22:10:18] 573*2^1121236-1 is not prime. Res64: E37DE8E8A33DE23C Time : 0.0 sec. user=vaughan [2012-02-07 22:10:20] 579*2^1121236-1 is not prime. Res64: 6B45FEAE13B03B0D Time : 0.0 sec. user=vaughan [2012-02-07 22:11:31] 589*2^1121237-1 is not prime. Res64: 8858BE20AEF5BB6C Time : 0.0 sec. user=vaughan [2012-02-07 22:11:33] 423*2^1121238-1 is not prime. Res64: 15FE5D2742C31505 Time : 0.0 sec. user=vaughan [2012-02-07 22:12:04] 563*2^1121236-1 is not prime. Res64: B83662BE5CAACA85 Time : 0.0 sec. user=vaughan [2012-02-07 22:12:06] 569*2^1121236-1 is not prime. Res64: AD492BD1AEBB4F04 Time : 0.0 sec. user=vaughan [2012-02-07 22:13:06] 483*2^1121238-1 is not prime. Res64: 0514B83070E1FEF9 Time : 0.0 sec. user=vaughan [2012-02-07 22:13:07] 503*2^1121238-1 is not prime. Res64: 788D7357BCD0AE4D Time : 0.0 sec. user=juhehe [2012-02-07 22:16:17] 599*2^1121240-1 is not prime. Res64: 2E418020E8DD5D6E Time : 0.0 sec. user=vaughan [2012-02-07 22:17:02] 489*2^1121240-1 is not prime. Res64: 5DC63C88364B47B5 Time : 0.0 sec. user=vaughan [2012-02-07 22:17:02] 509*2^1121240-1 is not prime. Res64: 74E8B9AA4EA12625 Time : 0.0 sec. user=vaughan [2012-02-07 22:17:17] 483*2^1121239-1 is not prime. Res64: AB2E273D305DB2BC Time : 0.0 sec. user=vaughan [2012-02-07 22:17:17] 437*2^1121240-1 is not prime. Res64: FC8AFA9774E7890C Time : 0.0 sec. user=vaughan [2012-02-07 22:18:30] 471*2^1121230-1 is not prime. Res64: 1023DB122870EE18 Time : 0.0 sec. user=vaughan [2012-02-07 22:18:31] 593*2^1121230-1 is not prime. Res64: 2C8A7DCABC9D238C Time : 0.0 sec. user=vaughan [2012-02-07 22:18:32] 411*2^1121231-1 is not prime. Res64: FD6FBBFB12B61417 Time : 0.0 sec. user=juhehe [2012-02-07 22:18:36] 579*2^1121241-1 is not prime. Res64: 025D21058F02CE50 Time : 0.0 sec. user=vaughan [2012-02-07 22:25:43] 409*2^1121241-1 is not prime. Res64: 9367BE946C78FE26 Time : 0.0 sec. user=vaughan [2012-02-07 22:25:44] 499*2^1121241-1 is not prime. Res64: FDC8442926E70039 Time : 0.0 sec. user=vaughan [2012-02-07 22:25:58] 493*2^1121243-1 is not prime. Res64: 77D3E119C8F19AA8 Time : 0.0 sec. user=vaughan [2012-02-07 22:25:58] 525*2^1121244-1 is not prime. Res64: 83E505040721D399 Time : 0.0 sec. user=vaughan [2012-02-07 22:26:15] 527*2^1121244-1 is not prime. Res64: 034761207290B4A1 Time : 0.0 sec. user=vaughan [2012-02-07 22:26:16] 593*2^1121244-1 is not prime. Res64: 72FD515AAF08C571 Time : 0.0 sec. user=vaughan [2012-02-07 22:26:30] 541*2^1121245-1 is not prime. Res64: C3B98958CD9121DB Time : 0.0 sec. user=vaughan [2012-02-07 22:26:30] 591*2^1121245-1 is not prime. Res64: 7BCC012526C3B026 Time : 0.0 sec. user=vaughan [2012-02-07 22:29:55] 459*2^1121232-1 is not prime. Res64: DF1797D265F909AB Time : 0.0 sec. user=vaughan [2012-02-07 22:29:56] 513*2^1121232-1 is not prime. Res64: B5A617AEF5896A22 Time : 0.0 sec. user=vaughan [2012-02-07 22:29:56] 563*2^1121232-1 is not prime. Res64: CAABD21125C93F4C Time : 0.0 sec. user=vaughan [2012-02-07 22:35:15] 513*2^1121235-1 is not prime. Res64: 00A006AAAB0B83F5 Time : 0.0 sec. user=vaughan [2012-02-07 22:35:16] 405*2^1121236-1 is not prime. Res64: DDF5DB6CFD87FEF0 Time : 0.0 sec. user=vaughan [2012-02-07 22:35:16] 507*2^1121236-1 is not prime. Res64: 6A3897534FC14D34 Time : 0.0 sec. user=vaughan [2012-02-07 22:36:54] 441*2^1121249-1 is not prime. Res64: 892F50B192263229 Time : 0.0 sec. user=vaughan [2012-02-07 22:36:54] 559*2^1121249-1 is not prime. Res64: 8B6F129F0ED1E40A Time : 0.0 sec. user=vaughan [2012-02-07 22:37:33] 543*2^1121250-1 is not prime. Res64: 83F364AFA5689480 Time : 0.0 sec. user=vaughan [2012-02-07 22:37:33] 555*2^1121250-1 is not prime. Res64: 053BDE203D038BBD Time : 0.0 sec. user=vaughan [2012-02-07 22:37:49] 467*2^1121252-1 is not prime. Res64: 2A59E7681E4A8229 Time : 0.0 sec. user=vaughan [2012-02-07 22:37:49] 477*2^1121252-1 is not prime. Res64: 5ED1161BCAB81B67 Time : 0.0 sec. user=vaughan [2012-02-07 22:43:21] 533*2^1121252-1 is not prime. Res64: DF75A955DE672865 Time : 0.0 sec. user=vaughan [2012-02-07 22:43:21] 545*2^1121252-1 is not prime. Res64: 2B893E7EB96127E1 Time : 0.0 sec. user=vaughan [2012-02-07 22:44:29] 571*2^1121253-1 is not prime. Res64: 6D347640E588A212 Time : 0.0 sec. user=vaughan [2012-02-07 22:44:30] 413*2^1121254-1 is not prime. Res64: 5D92A7800F4116AD Time : 0.0 sec. user=vaughan [2012-02-07 22:45:52] 483*2^1121252-1 is not prime. Res64: 99D81EC4F204564C Time : 0.0 sec. user=vaughan [2012-02-07 22:45:53] 519*2^1121252-1 is not prime. Res64: 1F9BB0A229BF6B08 Time : 0.0 sec. user=vaughan [2012-02-07 22:46:08] 525*2^1121254-1 is not prime. Res64: 03C67DB1ED335863 Time : 0.0 sec. user=vaughan [2012-02-07 22:46:09] 459*2^1121255-1 is not prime. Res64: C69D7CC432CE82ED Time : 0.0 sec. user=juhehe [2012-02-07 22:48:36] 579*2^1121255-1 is not prime. Res64: 5A852F4F5628DC73 Time : 0.0 sec. user=vaughan [2012-02-07 22:48:46] 425*2^1121254-1 is not prime. Res64: ECDB32F38922EBE0 Time : 0.0 sec. user=vaughan [2012-02-07 22:48:47] 503*2^1121254-1 is not prime. Res64: 9B38890304A3F1A0 Time : 0.0 sec. user=vaughan [2012-02-07 22:49:53] 585*2^1121255-1 is not prime. Res64: BBCFF47748428B9A Time : 0.0 sec. user=vaughan [2012-02-07 22:49:54] 485*2^1121256-1 is not prime. Res64: 1FA452B60AC8569C Time : 0.0 sec. user=juhehe [2012-02-07 22:50:54] 543*2^1121259-1 is not prime. Res64: 7A7E5135CFD72209 Time : 0.0 sec. user=vaughan [2012-02-07 22:54:06] 525*2^1121256-1 is not prime. Res64: D61AF3487814EDA6 Time : 0.0 sec. user=vaughan [2012-02-07 22:54:07] 405*2^1121257-1 is not prime. Res64: 88C098EE4C282D10 Time : 0.0 sec. user=vaughan [2012-02-07 22:55:44] 597*2^1121244-1 is not prime. Res64: 7388DA9DACB532E2 Time : 0.0 sec. user=vaughan [2012-02-07 22:55:44] 447*2^1121245-1 is not prime. Res64: DACD9C4A8B8C257D Time : 0.0 sec. user=vaughan [2012-02-07 22:55:50] 563*2^1121248-1 is not prime. Res64: 8A788AF06908C704 Time : 0.0 sec. user=vaughan [2012-02-07 22:55:50] 569*2^1121248-1 is not prime. Res64: 945326E54A5236ED Time : 0.0 sec. user=vaughan [2012-02-07 22:55:51] 439*2^1121249-1 is not prime. Res64: 99582A9DB79746CD Time : 0.0 sec. user=vaughan [2012-02-07 22:56:57] 597*2^1121245-1 is not prime. Res64: CBF79C61EC1FA40B Time : 0.0 sec. user=vaughan [2012-02-07 22:56:57] 437*2^1121246-1 is not prime. Res64: CD1001416E927CAD Time : 0.0 sec. user=vaughan [2012-02-07 22:58:04] 509*2^1121248-1 is not prime. Res64: 682334920A21E33B Time : 0.0 sec. user=vaughan [2012-02-07 22:58:04] 533*2^1121248-1 is not prime. Res64: EFB7679BE7D7D14C Time : 0.0 sec. user=vaughan [2012-02-07 23:05:20] 555*2^1121259-1 is not prime. Res64: A2C8BF56EBCB3EA8 Time : 0.0 sec. user=vaughan [2012-02-07 23:05:23] 565*2^1121259-1 is not prime. Res64: B266173C7C83BC2D Time : 0.0 sec. user=vaughan [2012-02-07 23:05:31] 573*2^1121259-1 is not prime. Res64: B95893F7C432C8D2 Time : 0.0 sec. user=vaughan [2012-02-07 23:05:32] 423*2^1121260-1 is not prime. Res64: 8432521B0F8592ED Time : 0.0 sec. user=vaughan [2012-02-07 23:05:52] 527*2^1121260-1 is not prime. Res64: E122044FD1406C55 Time : 0.0 sec. user=vaughan [2012-02-07 23:05:54] 587*2^1121260-1 is not prime. Res64: 0EA2AE121133E00E Time : 0.0 sec. user=vaughan [2012-02-07 23:06:05] 417*2^1121261-1 is not prime. Res64: CD6B8433D1187950 Time : 0.0 sec. user=vaughan [2012-02-07 23:06:08] 447*2^1121261-1 is not prime. Res64: F5A85AC523E47AE8 Time : 0.0 sec. user=vaughan [2012-02-07 23:13:44] 483*2^1121263-1 is not prime. Res64: C607CEF6022DC05F Time : 0.0 sec. user=vaughan [2012-02-07 23:13:45] 523*2^1121263-1 is not prime. Res64: EEA28B9BFCDF56EC Time : 0.0 sec. user=vaughan [2012-02-07 23:14:16] 595*2^1121263-1 is not prime. Res64: 3D73A835EF8F5EA1 Time : 0.0 sec. user=vaughan [2012-02-07 23:14:16] 417*2^1121264-1 is not prime. Res64: F51D806F38DC604D Time : 0.0 sec. user=vaughan [2012-02-07 23:14:34] 483*2^1121264-1 is not prime. Res64: 2C5DCC4865DB34A2 Time : 0.0 sec. user=vaughan [2012-02-07 23:14:35] 441*2^1121265-1 is not prime. Res64: 8F8508B1C478449D Time : 0.0 sec. user=vaughan [2012-02-07 23:16:21] 507*2^1121265-1 is not prime. Res64: D47DCD414140B027 Time : 0.0 sec. user=vaughan [2012-02-07 23:16:21] 529*2^1121265-1 is not prime. Res64: C674490FF10E2DE7 Time : 0.0 sec. user=vaughan [2012-02-07 23:17:20] 477*2^1121266-1 is not prime. Res64: 9843A7165D6006A2 Time : 0.0 sec. user=vaughan [2012-02-07 23:17:21] 495*2^1121266-1 is not prime. Res64: 0BECB2C999BD1BCB Time : 0.0 sec. user=vaughan [2012-02-07 23:19:12] 405*2^1121268-1 is not prime. Res64: 364F02A6EA3A3F19 Time : 0.0 sec. user=vaughan [2012-02-07 23:19:13] 437*2^1121268-1 is not prime. Res64: B78CA2E9EED8A868 Time : 0.0 sec. user=juhehe [2012-02-07 23:20:58] 453*2^1121268-1 is not prime. Res64: 98BB6F967B7523CD Time : 0.0 sec. user=vaughan [2012-02-07 23:22:36] 497*2^1121266-1 is not prime. Res64: 47D7E5EAD40A9B2A Time : 0.0 sec. user=vaughan [2012-02-07 23:22:37] 543*2^1121267-1 is not prime. Res64: 67611BE0B97ABFA2 Time : 0.0 sec. user=vaughan [2012-02-07 23:22:42] 481*2^1121269-1 is not prime. Res64: 56EF1DAABFBDBD60 Time : 0.0 sec. user=vaughan [2012-02-07 23:22:43] 511*2^1121269-1 is not prime. Res64: D562C52B501D5571 Time : 0.0 sec. user=juhehe [2012-02-07 23:23:18] 565*2^1121269-1 is not prime. Res64: 2D8C25B4A081253E Time : 0.0 sec. user=vaughan [2012-02-07 23:24:44] 589*2^1121257-1 is not prime. Res64: CC0F0C2A90CD4BA1 Time : 0.0 sec. user=vaughan [2012-02-07 23:24:44] 473*2^1121258-1 is not prime. Res64: BA4CBB6FDEA72170 Time : 0.0 sec. user=vaughan [2012-02-07 23:24:45] 503*2^1121258-1 is not prime. Res64: 064F730DCB6DF6E4 Time : 0.0 sec. user=vaughan [2012-02-07 23:25:35] 473*2^1121268-1 is not prime. Res64: 4FD61A4653194942 Time : 0.0 sec. user=vaughan [2012-02-07 23:25:35] 579*2^1121268-1 is not prime. Res64: F3E1F7C3B9898FA8 Time : 0.0 sec. user=vaughan [2012-02-07 23:30:51] 411*2^1121270-1 is not prime. Res64: E1961562CE822B6C Time : 0.0 sec. user=vaughan [2012-02-07 23:30:52] 425*2^1121270-1 is not prime. Res64: F58AA8E3113FBE36 Time : 0.0 sec. user=vaughan [2012-02-07 23:35:59] 529*2^1121261-1 is not prime. Res64: E569D2279F5EFBD9 Time : 0.0 sec. user=vaughan [2012-02-07 23:36:00] 437*2^1121262-1 is not prime. Res64: ACBA93BD30636176 Time : 0.0 sec. user=vaughan [2012-02-07 23:36:00] 483*2^1121262-1 is not prime. Res64: F6911C74C15E2B59 Time : 0.0 sec. user=vaughan [2012-02-07 23:41:18] 513*2^1121262-1 is not prime. Res64: 61F783F63E8B72AC Time : 0.0 sec. user=vaughan [2012-02-07 23:41:18] 551*2^1121262-1 is not prime. Res64: BEB1E9B8A4BA5E85 Time : 0.0 sec. user=vaughan [2012-02-07 23:41:19] 481*2^1121263-1 is not prime. Res64: 35829004FD444F3F Time : 0.0 sec. user=vaughan [2012-02-07 23:45:02] 571*2^1121273-1 is not prime. Res64: 91AE5D1DA9057E00 Time : 0.0 sec. user=vaughan [2012-02-07 23:45:03] 555*2^1121274-1 is not prime. Res64: F690E951C35A2A9B Time : 0.0 sec. user=vaughan [2012-02-07 23:45:08] 421*2^1121275-1 is not prime. Res64: 08B3191B99D31C94 Time : 0.0 sec. user=vaughan [2012-02-07 23:45:09] 453*2^1121275-1 is not prime. Res64: 97F31896FEFABB24 Time : 0.0 sec. user=vaughan [2012-02-07 23:45:33] 493*2^1121275-1 is not prime. Res64: 0B496AFBD2A5D786 Time : 0.0 sec. user=vaughan [2012-02-07 23:45:34] 535*2^1121275-1 is not prime. Res64: B3A0181B2B355349 Time : 0.0 sec. user=vaughan [2012-02-07 23:45:47] 449*2^1121276-1 is not prime. Res64: E3C247FBA5A8C0D6 Time : 0.0 sec. user=vaughan [2012-02-07 23:45:47] 473*2^1121276-1 is not prime. Res64: A94CD974E73978BC Time : 0.0 sec. user=vaughan [2012-02-07 23:49:15] 581*2^1121278-1 is not prime. Res64: 2DD0ECB590FFA1F2 Time : 0.0 sec. user=vaughan [2012-02-07 23:49:16] 511*2^1121279-1 is not prime. Res64: D965EDB9BCFA3968 Time : 0.0 sec. user=vaughan [2012-02-07 23:50:16] 531*2^1121279-1 is not prime. Res64: C86E7D0C1D769EDF Time : 0.0 sec. user=vaughan [2012-02-07 23:50:16] 595*2^1121279-1 is not prime. Res64: 019576D4B607F3D3 Time : 0.0 sec. user=vaughan [2012-02-07 23:50:29] 545*2^1121276-1 is not prime. Res64: E129168616FD2228 Time : 0.0 sec. user=vaughan [2012-02-07 23:50:30] 557*2^1121276-1 is not prime. Res64: 971C82EAEE5D3A46 Time : 0.0 sec. user=vaughan [2012-02-07 23:50:59] 585*2^1121276-1 is not prime. Res64: 17A7859601259A72 Time : 0.0 sec. user=vaughan [2012-02-07 23:51:00] 475*2^1121277-1 is not prime. Res64: FDF6429534E00D7F Time : 0.0 sec. user=vaughan [2012-02-07 23:51:18] 435*2^1121278-1 is not prime. Res64: CFF67EF8D3007CED Time : 0.0 sec. user=vaughan [2012-02-07 23:51:19] 447*2^1121278-1 is not prime. Res64: B38D7011FB8A437D Time : 0.0 sec. user=vaughan [2012-02-07 23:52:10] 555*2^1121280-1 is not prime. Res64: 4E0DC31CC8FCF4E4 Time : 0.0 sec. user=vaughan [2012-02-07 23:52:11] 569*2^1121280-1 is not prime. Res64: B232B083650CB9FC Time : 0.0 sec. user=juhehe [2012-02-07 23:53:16] 415*2^1121281-1 is not prime. Res64: 2096842512618695 Time : 0.0 sec. user=juhehe [2012-02-07 23:55:34] 593*2^1121282-1 is not prime. Res64: BEA409B15E0E8FCF Time : 0.0 sec. user=vaughan [2012-02-07 23:55:39] 467*2^1121282-1 is not prime. Res64: 6275E6C68411FC23 Time : 0.0 sec. user=vaughan [2012-02-07 23:55:39] 497*2^1121282-1 is not prime. Res64: B568F2FC9BDBEAF6 Time : 0.0 sec. user=vaughan [2012-02-07 23:57:41] 533*2^1121270-1 is not prime. Res64: 453788DBE491EA27 Time : 0.0 sec. user=vaughan [2012-02-07 23:57:42] 423*2^1121271-1 is not prime. Res64: E4C51A759CD9D19D Time : 0.0 sec. user=vaughan [2012-02-07 23:58:47] 535*2^1121271-1 is not prime. Res64: F7FDA280D527FE22 Time : 0.0 sec. user=vaughan [2012-02-07 23:58:48] 423*2^1121272-1 is not prime. Res64: F115006D45734A96 Time : 0.0 sec. user=vaughan [2012-02-07 23:59:20] 425*2^1121282-1 is not prime. Res64: 9FF1EC0BAA6A0306 Time : 0.0 sec. user=vaughan [2012-02-07 23:59:21] 431*2^1121282-1 is not prime. Res64: CE2A9ACCDC7836EE Time : 0.0 sec. user=vaughan [2012-02-07 23:59:51] 527*2^1121272-1 is not prime. Res64: BAF05E0E954FF0AD Time : 0.0 sec. user=vaughan [2012-02-07 23:59:51] 507*2^1121273-1 is not prime. Res64: 07F9129C1A9C1458 Time : 0.0 sec.