user=vaughan [2012-02-23 00:26:46] 585*2^1125114-1 is not prime. Res64: 53A6914F5E24405B Time : 0.0 sec. user=vaughan [2012-02-23 01:15:39] 593*2^1125114-1 is not prime. Res64: 7313FBB8E174D80C Time : 0.0 sec. user=juhehe [2012-02-23 01:53:11] 517*2^1125113-1 is not prime. Res64: 94098517E55132D8 Time : 0.0 sec. user=juhehe [2012-02-23 01:53:14] 571*2^1125113-1 is not prime. Res64: D9C7A445D39249C3 Time : 0.0 sec. user=juhehe [2012-02-23 02:40:54] 411*2^1125115-1 is not prime. Res64: D7FA18EA2FF373F2 Time : 0.0 sec. user=juhehe [2012-02-23 02:41:29] 475*2^1125115-1 is not prime. Res64: 867D82DCC4DAA729 Time : 0.0 sec. user=vaughan [2012-02-23 02:48:36] 465*2^1125116-1 is not prime. Res64: AC4C876597647199 Time : 0.0 sec. user=vaughan [2012-02-23 02:51:28] 499*2^1125115-1 is not prime. Res64: 935E897907EAB235 Time : 0.0 sec. user=vaughan [2012-02-23 02:52:44] 501*2^1125122-1 is not prime. Res64: 2E3362750583AC68 Time : 0.0 sec. user=vaughan [2012-02-23 02:53:05] 481*2^1125125-1 is not prime. Res64: B653C45402D5FC4D Time : 0.0 sec. user=vaughan [2012-02-23 02:53:40] 465*2^1125125-1 is not prime. Res64: 6322B3B7A59A6429 Time : 0.0 sec. user=vaughan [2012-02-23 02:54:10] 405*2^1125126-1 is not prime. Res64: D6D2744635D0FBA6 Time : 0.0 sec. user=vaughan [2012-02-23 02:54:17] 437*2^1125120-1 is not prime. Res64: B9984BB4661DE714 Time : 0.0 sec. user=vaughan [2012-02-23 02:54:25] 583*2^1125127-1 is not prime. Res64: F614AD8BF7DC3353 Time : 0.0 sec. user=vaughan [2012-02-23 02:55:04] 531*2^1125121-1 is not prime. Res64: 3FF509283500B9F0 Time : 0.0 sec. user=vaughan [2012-02-23 02:55:22] 519*2^1125116-1 is not prime. Res64: 8F1B5DC3E0F0F9D9 Time : 0.0 sec. user=vaughan [2012-02-23 02:56:39] 593*2^1125116-1 is not prime. Res64: FB65CFF685F476F7 Time : 0.0 sec. user=vaughan [2012-02-23 02:56:43] 585*2^1125125-1 is not prime. Res64: B0612F8D56F125EA Time : 0.0 sec. user=vaughan [2012-02-23 02:57:21] 563*2^1125116-1 is not prime. Res64: 3741FBFA94E5AB0B Time : 0.0 sec. user=vaughan [2012-02-23 02:57:54] 453*2^1125118-1 is not prime. Res64: 9E0353A04FE1BF64 Time : 0.0 sec. user=vaughan [2012-02-23 02:58:34] 597*2^1125130-1 is not prime. Res64: 52CAD8EB0F5B4D19 Time : 0.0 sec. user=vaughan [2012-02-23 02:58:36] 517*2^1125117-1 is not prime. Res64: FB3682B72EF3C3BC Time : 0.0 sec. user=vaughan [2012-02-23 02:59:05] 527*2^1125118-1 is not prime. Res64: 7A70065780F6F4B2 Time : 0.0 sec. user=vaughan [2012-02-23 02:59:11] 579*2^1125119-1 is not prime. Res64: 3F74FB2CD6910413 Time : 0.0 sec. user=vaughan [2012-02-23 03:00:47] 573*2^1125123-1 is not prime. Res64: D7BF11E8DC3B7F56 Time : 0.0 sec. user=vaughan [2012-02-23 03:00:57] 525*2^1125116-1 is not prime. Res64: 30A8462380BE3CBC Time : 0.0 sec. user=vaughan [2012-02-23 03:02:07] 475*2^1125117-1 is not prime. Res64: 45AD88482DC5AE17 Time : 0.0 sec. user=vaughan [2012-02-23 03:02:52] 489*2^1125124-1 is not prime. Res64: ABD042C393B98CA5 Time : 0.0 sec. user=vaughan [2012-02-23 03:02:59] 539*2^1125124-1 is not prime. Res64: 682059E2B320E97D Time : 0.0 sec. user=vaughan [2012-02-23 03:03:30] 593*2^1125120-1 is not prime. Res64: 4B5492A2D8980508 Time : 0.0 sec. user=vaughan [2012-02-23 03:03:39] 437*2^1125126-1 is not prime. Res64: FB970F5FA720F8BD Time : 0.0 sec. user=vaughan [2012-02-23 03:03:53] 445*2^1125117-1 is not prime. Res64: 0AE8D3DD2E0CF2F5 Time : 0.0 sec. user=vaughan [2012-02-23 03:04:05] 539*2^1125128-1 is not prime. Res64: 764623F7D1929FE0 Time : 0.0 sec. user=vaughan [2012-02-23 03:04:09] 415*2^1125129-1 is not prime. Res64: 5E5B901B2B05857D Time : 0.0 sec. user=gd_barnes [2012-02-23 03:04:29] 561*2^1125115-1 is not prime. Res64: C7A8E2B5583014E1 Time : 0.0 sec. user=vaughan [2012-02-23 03:04:45] 595*2^1125129-1 is not prime. Res64: 92DA5F450B2F53B2 Time : 0.0 sec. user=gd_barnes [2012-02-23 03:05:41] 513*2^1125118-1 is not prime. Res64: 2B05E1D67ADCE4DF Time : 0.0 sec. user=vaughan [2012-02-23 03:05:43] 465*2^1125130-1 is not prime. Res64: BFDC75C8219BF496 Time : 0.0 sec. user=gd_barnes [2012-02-23 03:07:07] 413*2^1125124-1 is not prime. Res64: C8156E06E11AFCAE Time : 0.0 sec. user=vaughan [2012-02-23 03:07:26] 459*2^1125128-1 is not prime. Res64: B71BC4BF7EF07AC0 Time : 0.0 sec. user=vaughan [2012-02-23 03:09:54] 579*2^1125129-1 is not prime. Res64: C4946B402315168B Time : 0.0 sec. user=gd_barnes [2012-02-23 03:10:33] 511*2^1125125-1 is not prime. Res64: E6716D8AEF1E3FE5 Time : 0.0 sec. user=gd_barnes [2012-02-23 03:11:14] 405*2^1125122-1 is not prime. Res64: 9ABBEF490FB8CD9C Time : 0.0 sec. user=gd_barnes [2012-02-23 03:13:18] 495*2^1125129-1 is not prime. Res64: 773A319E987350BC Time : 0.0 sec. user=vaughan [2012-02-23 03:13:24] 505*2^1125131-1 is not prime. Res64: 4B9F211EA4DE6B6F Time : 0.0 sec. user=vaughan [2012-02-23 03:13:39] 425*2^1125132-1 is not prime. Res64: AE068DD00C4EE541 Time : 0.0 sec. user=vaughan [2012-02-23 03:14:20] 437*2^1125132-1 is not prime. Res64: 9563A11011DB5443 Time : 0.0 sec. user=vaughan [2012-02-23 03:14:31] 429*2^1125133-1 is not prime. Res64: DB79C5C821632998 Time : 0.0 sec. user=juhehe [2012-02-23 03:14:32] 569*2^1125120-1 is not prime. Res64: 908D05F20A3390D4 Time : 0.0 sec. user=juhehe [2012-02-23 03:14:37] 447*2^1125121-1 is not prime. Res64: 36F403ED470D26D6 Time : 0.0 sec. user=vaughan [2012-02-23 03:23:41] 555*2^1125132-1 is not prime. Res64: D8D97784185DF925 Time : 0.0 sec. user=vaughan [2012-02-23 03:25:09] 451*2^1125133-1 is not prime. Res64: FA733E0BABD7779D Time : 0.0 sec. user=gd_barnes [2012-02-23 03:29:07] 459*2^1125132-1 is not prime. Res64: CD8FAA2A48EBE636 Time : 0.0 sec. user=gd_barnes [2012-02-23 03:36:16] 435*2^1125133-1 is not prime. Res64: 27782E1CDCE68EF9 Time : 0.0 sec. user=vaughan [2012-02-23 03:38:04] 413*2^1125130-1 is not prime. Res64: E825790D70AC697D Time : 0.0 sec. user=gd_barnes [2012-02-23 03:38:04] 589*2^1125133-1 is not prime. Res64: D609883D799DFDFD Time : 0.0 sec. user=juhehe [2012-02-23 03:47:37] 453*2^1125134-1 is not prime. Res64: 3C56C2354829B425 Time : 0.0 sec. user=juhehe [2012-02-23 03:47:46] 567*2^1125134-1 is not prime. Res64: DDF3582C439A8807 Time : 0.0 sec. user=juhehe [2012-02-23 04:20:49] 573*2^1125134-1 is not prime. Res64: EA36589F1A8C345D Time : 0.0 sec. user=juhehe [2012-02-23 04:20:58] 433*2^1125135-1 is not prime. Res64: 2134E6840FA651AF Time : 0.0 sec. user=vaughan [2012-02-23 04:27:38] 451*2^1125135-1 is not prime. Res64: B450F40CE3129D55 Time : 0.0 sec. user=vaughan [2012-02-23 04:29:42] 523*2^1125135-1 is not prime. Res64: 0894EE4323BC2256 Time : 0.0 sec. user=juhehe [2012-02-23 04:53:58] 573*2^1125135-1 is not prime. Res64: C38AC319838F04DE Time : 0.0 sec. user=juhehe [2012-02-23 04:54:04] 455*2^1125136-1 is not prime. Res64: 2369AF090C215E07 Time : 0.0 sec. user=juhehe [2012-02-23 05:27:13] 453*2^1124723-1 is not prime. Res64: D026CD048446995A Time : 0.0 sec. user=juhehe [2012-02-23 05:27:22] 441*2^1125137-1 is not prime. Res64: 6EC512F0C29347FF Time : 0.0 sec. user=juhehe [2012-02-23 06:00:25] 477*2^1125137-1 is not prime. Res64: 45A4F13D78D9FA6F Time : 0.0 sec. user=juhehe [2012-02-23 06:00:30] 507*2^1125137-1 is not prime. Res64: BBFD81C14BC85692 Time : 0.0 sec. user=vaughan [2012-02-23 06:17:37] 573*2^1125138-1 is not prime. Res64: 677B20AA79883F4C Time : 0.0 sec. user=vaughan [2012-02-23 06:19:06] 515*2^1125140-1 is not prime. Res64: 6BF0533684C35A25 Time : 0.0 sec. user=vaughan [2012-02-23 06:22:50] 429*2^1125139-1 is not prime. Res64: F903CC5AED1280FF Time : 0.0 sec. user=vaughan [2012-02-23 06:24:42] 595*2^1125139-1 is not prime. Res64: D539B648D78F3C77 Time : 0.0 sec. user=vaughan [2012-02-23 06:25:26] 459*2^1125140-1 is not prime. Res64: 02E55C4C42CCACD0 Time : 0.0 sec. user=vaughan [2012-02-23 06:26:35] 561*2^1125142-1 is not prime. Res64: BB4617B7802D3955 Time : 0.0 sec. user=vaughan [2012-02-23 06:27:14] 441*2^1125139-1 is not prime. Res64: B31B2A18337FE38F Time : 0.0 sec. user=vaughan [2012-02-23 06:27:16] 489*2^1125139-1 is not prime. Res64: DE41A5ADD8013022 Time : 0.0 sec. user=vaughan [2012-02-23 06:28:32] 563*2^1125140-1 is not prime. Res64: AEA4D5FEFEC4FCA6 Time : 0.0 sec. user=vaughan [2012-02-23 06:32:15] 481*2^1125143-1 is not prime. Res64: 8F4492F2DCA4BA29 Time : 0.0 sec. user=juhehe [2012-02-23 06:33:32] 413*2^1125138-1 is not prime. Res64: DFEEB807C3FC1909 Time : 0.0 sec. user=juhehe [2012-02-23 06:33:41] 567*2^1125138-1 is not prime. Res64: B59CB5A929318D2A Time : 0.0 sec. user=vaughan [2012-02-23 06:35:11] 477*2^1125142-1 is not prime. Res64: BB9952DF15AFF101 Time : 0.0 sec. user=vaughan [2012-02-23 06:40:11] 519*2^1125143-1 is not prime. Res64: CC67A0F193419379 Time : 0.0 sec. user=vaughan [2012-02-23 06:41:49] 499*2^1125139-1 is not prime. Res64: DD3F02C76DAF23CB Time : 0.0 sec. user=juhehe [2012-02-23 07:06:46] 423*2^1125144-1 is not prime. Res64: 76ACCE91178A25D3 Time : 0.0 sec. user=juhehe [2012-02-23 07:06:55] 429*2^1125144-1 is not prime. Res64: 09769B1236374470 Time : 0.0 sec. user=juhehe [2012-02-23 07:40:03] 489*2^1125144-1 is not prime. Res64: FB5E5D85BD395A3B Time : 0.0 sec. user=juhehe [2012-02-23 07:40:09] 497*2^1125144-1 is not prime. Res64: AB10FA8710FE8A10 Time : 0.0 sec. user=juhehe [2012-02-23 08:13:20] 457*2^1125145-1 is not prime. Res64: D091F0F6AC2FDF42 Time : 0.0 sec. user=juhehe [2012-02-23 08:13:25] 469*2^1125145-1 is not prime. Res64: 2A2AC72BE7F2DCB1 Time : 0.0 sec. user=juhehe [2012-02-23 08:46:37] 589*2^1125145-1 is not prime. Res64: 4C05225B654E10FA Time : 0.0 sec. user=juhehe [2012-02-23 08:46:45] 565*2^1125145-1 is not prime. Res64: 8425EE8582CD80BC Time : 0.0 sec. user=juhehe [2012-02-23 09:19:44] 591*2^1125145-1 is not prime. Res64: 47C0FDD1E16A7554 Time : 0.0 sec. user=juhehe [2012-02-23 09:19:53] 497*2^1125146-1 is not prime. Res64: 144EA35F1FA0FAB6 Time : 0.0 sec. user=gd_barnes [2012-02-23 09:36:28] 525*2^1125146-1 is not prime. Res64: C7602D4ABD0BAC57 Time : 0.0 sec. user=gd_barnes [2012-02-23 09:38:08] 561*2^1125146-1 is not prime. Res64: 736D085091C5FC06 Time : 0.0 sec. user=juhehe [2012-02-23 09:52:55] 581*2^1125146-1 is not prime. Res64: 95A5C8821CC35B8A Time : 0.0 sec. user=juhehe [2012-02-23 09:53:04] 593*2^1125146-1 is not prime. Res64: 48ABC750D74A9564 Time : 0.0 sec. user=juhehe [2012-02-23 10:26:12] 475*2^1125147-1 is not prime. Res64: 76A22CCE61EEF59D Time : 0.0 sec. user=juhehe [2012-02-23 10:26:21] 413*2^1125148-1 is not prime. Res64: 3C081D4EB6F05781 Time : 0.0 sec. user=juhehe [2012-02-23 10:59:22] 437*2^1125148-1 is not prime. Res64: D5E7F4A3F555E992 Time : 0.0 sec. user=juhehe [2012-02-23 10:59:34] 479*2^1125148-1 is not prime. Res64: 569B6C6395CDA508 Time : 0.0 sec. user=gd_barnes [2012-02-23 11:29:56] 489*2^1125149-1 is not prime. Res64: 431C72015932FB63 Time : 0.0 sec. user=juhehe [2012-02-23 11:32:46] 483*2^1125148-1 is not prime. Res64: EE07BC91C84A18E3 Time : 0.0 sec. user=juhehe [2012-02-23 11:32:57] 447*2^1125149-1 is not prime. Res64: 9EAB8CD410E4AC01 Time : 0.0 sec. user=gd_barnes [2012-02-23 11:33:24] 495*2^1125149-1 is not prime. Res64: 54D0A6E87790B56A Time : 0.0 sec. user=juhehe [2012-02-23 12:06:07] 437*2^1125150-1 is not prime. Res64: 7909021B5BAD6F48 Time : 0.0 sec. user=juhehe [2012-02-23 12:06:29] 579*2^1125149-1 is not prime. Res64: BD697828D04D2C86 Time : 0.0 sec. user=juhehe [2012-02-23 12:39:25] 501*2^1125150-1 is not prime. Res64: E20F5AC9538EA000 Time : 0.0 sec. user=juhehe [2012-02-23 12:39:49] 439*2^1125151-1 is not prime. Res64: ED2C35842EA55861 Time : 0.0 sec. user=juhehe [2012-02-23 13:12:43] 441*2^1125151-1 is not prime. Res64: 14DFBD60D6E3787A Time : 0.0 sec. user=juhehe [2012-02-23 13:13:05] 483*2^1125151-1 is not prime. Res64: 6CD0F1ECDB9C1128 Time : 0.0 sec. user=juhehe [2012-02-23 13:45:55] 535*2^1125151-1 is not prime. Res64: 97DEB001D73FE12C Time : 0.0 sec. user=juhehe [2012-02-23 13:46:23] 583*2^1125151-1 is not prime. Res64: 5333813857BA21E1 Time : 0.0 sec. user=juhehe [2012-02-23 14:19:48] 459*2^1125152-1 is not prime. Res64: 2D640E9DCF28D40C Time : 0.0 sec. user=juhehe [2012-02-23 14:19:59] 595*2^1125151-1 is not prime. Res64: A4A69A86AEE7CDA6 Time : 0.0 sec. user=juhehe [2012-02-23 14:52:55] 495*2^1125152-1 is not prime. Res64: 3384B4523DDB8A57 Time : 0.0 sec. user=juhehe [2012-02-23 14:53:04] 429*2^1125153-1 is not prime. Res64: 1F76121E87118D22 Time : 0.0 sec. user=juhehe [2012-02-23 15:26:10] 471*2^1125153-1 is not prime. Res64: A596F847500ECD9E Time : 0.0 sec. user=juhehe [2012-02-23 15:26:18] 481*2^1125153-1 is not prime. Res64: DD58F011C99C0C3D Time : 0.0 sec. user=juhehe [2012-02-23 15:59:41] 411*2^1125154-1 is not prime. Res64: 12C1151F4F249BEE Time : 0.0 sec. user=juhehe [2012-02-23 15:59:42] 477*2^1125154-1 is not prime. Res64: 45862FCC88BDDC76 Time : 0.0 sec. user=juhehe [2012-02-23 16:32:56] 483*2^1125154-1 is not prime. Res64: 8A7F7C6A4A0CAB56 Time : 0.0 sec. user=juhehe [2012-02-23 16:33:05] 545*2^1125154-1 is not prime. Res64: 7A93DD16881A166E Time : 0.0 sec. user=juhehe [2012-02-23 17:06:04] 403*2^1125155-1 is not prime. Res64: F3951F44B9F572E1 Time : 0.0 sec. user=juhehe [2012-02-23 17:06:11] 411*2^1125155-1 is not prime. Res64: 4124CFCF5FB6776A Time : 0.0 sec. user=juhehe [2012-02-23 17:39:18] 515*2^1125156-1 is not prime. Res64: C54C97F2AFBB5B19 Time : 0.0 sec. user=juhehe [2012-02-23 17:39:26] 563*2^1125156-1 is not prime. Res64: 1ECBDB99F0BD9122 Time : 0.0 sec. user=juhehe [2012-02-23 18:12:32] 585*2^1125156-1 is not prime. Res64: 1417A032F5701360 Time : 0.0 sec. user=juhehe [2012-02-23 18:12:40] 597*2^1125156-1 is not prime. Res64: 1A9B678A0AF4A997 Time : 0.0 sec. user=gd_barnes [2012-02-23 18:22:15] 447*2^1125157-1 is not prime. Res64: 302D273DE07C7F42 Time : 0.0 sec. user=vaughan [2012-02-23 18:23:00] 495*2^1125145-1 is not prime. Res64: 3E6BAE5B8A7AF1CF Time : 0.0 sec. user=vaughan [2012-02-23 18:34:44] 499*2^1125145-1 is not prime. Res64: B0CE87BE45D1974C Time : 0.0 sec. user=juhehe [2012-02-23 18:45:46] 499*2^1125157-1 is not prime. Res64: A5030C8B6EDE29B5 Time : 0.0 sec. user=juhehe [2012-02-23 18:45:54] 519*2^1125157-1 is not prime. Res64: 847993A72E6C659C Time : 0.0 sec. user=juhehe [2012-02-23 19:19:01] 565*2^1125157-1 is not prime. Res64: 841478087EA6F546 Time : 0.0 sec. user=juhehe [2012-02-23 19:19:12] 431*2^1125158-1 is not prime. Res64: 8649285956A4DFD1 Time : 0.0 sec. user=juhehe [2012-02-23 19:52:14] 501*2^1125158-1 is not prime. Res64: 3CE667536891885A Time : 0.0 sec. user=juhehe [2012-02-23 19:52:23] 551*2^1125158-1 is not prime. Res64: 6EDE8390B6B5E332 Time : 0.0 sec. user=juhehe [2012-02-23 20:25:27] 573*2^1125158-1 is not prime. Res64: D43E87FADE2DCD26 Time : 0.0 sec. user=juhehe [2012-02-23 20:25:36] 575*2^1125158-1 is not prime. Res64: 614F7D23CBAA0B04 Time : 0.0 sec. user=vaughan [2012-02-23 20:30:24] 433*2^1125159-1 is not prime. Res64: 6326EEAC23CFD0DD Time : 0.0 sec. user=gd_barnes [2012-02-23 20:39:04] 411*2^1125159-1 is not prime. Res64: 5B921E1FE75A7199 Time : 0.0 sec. user=vaughan [2012-02-23 20:57:30] 553*2^1125159-1 is not prime. Res64: 1C07DFCFF0E37D53 Time : 0.0 sec. user=vaughan [2012-02-23 21:17:09] 525*2^1125160-1 is not prime. Res64: A0F6264CD291002A Time : 0.0 sec. user=gd_barnes [2012-02-23 21:33:59] 549*2^1125160-1 is not prime. Res64: 6922921C76AB2A99 Time : 0.0 sec. user=vaughan [2012-02-23 22:32:28] 441*2^1125161-1 is not prime. Res64: 5A896046222BADE8 Time : 0.0 sec. user=vaughan [2012-02-23 23:10:49] 465*2^1125161-1 is not prime. Res64: 7087C92BA0065425 Time : 0.0 sec. user=gd_barnes [2012-02-23 23:29:33] 535*2^1125161-1 is not prime. Res64: D3A80F15BB6EFE3F Time : 0.0 sec.