user=ototero [2010-10-09 01:08:19] 453*2^915118-1 is not prime. Res64: DF43D0CDCB06E244 Time : 5599.0 sec. user=ototero [2010-10-09 01:08:19] 471*2^915118-1 is not prime. Res64: A1BB3C1E60DCD332 Time : 5598.0 sec. user=ototero [2010-10-09 01:08:19] 483*2^915118-1 is not prime. Res64: A69D283BE7C08DF0 Time : 5598.0 sec. user=ototero [2010-10-09 01:08:19] 513*2^915118-1 is not prime. Res64: 36D22585BA6FBC67 Time : 5598.0 sec. user=ototero [2010-10-09 01:08:19] 591*2^915118-1 is not prime. Res64: 447CE787D47A53A6 Time : 5597.0 sec. user=ototero [2010-10-09 02:41:27] 441*2^915119-1 is not prime. Res64: FE2A0BC051C6E8A6 Time : 5587.0 sec. user=ototero [2010-10-09 02:41:27] 501*2^915119-1 is not prime. Res64: C308D1BDBDCDC5D0 Time : 5587.0 sec. user=ototero [2010-10-09 02:41:27] 447*2^915120-1 is not prime. Res64: D250468D29DF97EA Time : 5587.0 sec. user=ototero [2010-10-09 02:41:27] 459*2^915120-1 is not prime. Res64: EAAEF75EC518432A Time : 5586.0 sec. user=ototero [2010-10-09 02:41:28] 569*2^915120-1 is not prime. Res64: FA62DB4377C3A4E6 Time : 5587.0 sec. user=ototero [2010-10-09 04:16:47] 415*2^915121-1 is not prime. Res64: 4D352E6CB5D47872 Time : 5719.0 sec. user=ototero [2010-10-09 04:16:48] 577*2^915121-1 is not prime. Res64: 7CAA458D707FAD14 Time : 5720.0 sec. user=ototero [2010-10-09 04:16:48] 405*2^915122-1 is not prime. Res64: 19087EBE60B9CD24 Time : 5719.0 sec. user=ototero [2010-10-09 04:16:48] 533*2^915122-1 is not prime. Res64: 513CE88D0BE64804 Time : 5719.0 sec. user=ototero [2010-10-09 04:16:48] 567*2^915122-1 is not prime. Res64: FFA2B01502EAC2E3 Time : 5719.0 sec. user=ototero [2010-10-09 05:56:56] 459*2^915123-1 is not prime. Res64: 565E54A5D1037EBF Time : 6007.0 sec. user=ototero [2010-10-09 05:56:57] 481*2^915123-1 is not prime. Res64: 4F4F396AF1C7B6E7 Time : 6007.0 sec. user=ototero [2010-10-09 05:56:57] 523*2^915123-1 is not prime. Res64: 6BF386D63BF1F26A Time : 6007.0 sec. user=ototero [2010-10-09 05:56:57] 571*2^915123-1 is not prime. Res64: BF2514DFB0A8770F Time : 6006.0 sec. user=ototero [2010-10-09 05:56:57] 583*2^915123-1 is not prime. Res64: AD1C56FAD8D37DCD Time : 6006.0 sec. user=ototero [2010-10-09 07:34:47] 423*2^915124-1 is not prime. Res64: 712EB2C37E891483 Time : 5870.0 sec. user=ototero [2010-10-09 07:34:48] 447*2^915124-1 is not prime. Res64: FE322A100D585396 Time : 5870.0 sec. user=ototero [2010-10-09 07:34:48] 489*2^915124-1 is not prime. Res64: 01CE666AE92ADA7B Time : 5870.0 sec. user=ototero [2010-10-09 07:34:48] 549*2^915124-1 is not prime. Res64: 392CFE8BCC6282BA Time : 5870.0 sec. user=ototero [2010-10-09 07:34:49] 477*2^915125-1 is not prime. Res64: 7A442CF6A4942BAF Time : 5870.0 sec. user=ototero [2010-10-09 09:14:24] 481*2^915125-1 is not prime. Res64: 0B6C695431B0699E Time : 5974.0 sec. user=ototero [2010-10-09 09:14:24] 525*2^915125-1 is not prime. Res64: 664CFF490799089C Time : 5974.0 sec. user=ototero [2010-10-09 09:14:24] 589*2^915125-1 is not prime. Res64: D3C825B8A0F59DE7 Time : 5973.0 sec. user=ototero [2010-10-09 09:14:25] 471*2^915126-1 is not prime. Res64: F35D0A9969A7EFEC Time : 5974.0 sec. user=ototero [2010-10-09 09:14:25] 495*2^915126-1 is not prime. Res64: F0B18E8709731EF0 Time : 5974.0 sec. user=ototero [2010-10-09 10:48:52] 501*2^915126-1 is not prime. Res64: D064C8029B00D6A2 Time : 5666.0 sec. user=ototero [2010-10-09 10:48:52] 525*2^915126-1 is not prime. Res64: 45119DA12D387F1E Time : 5666.0 sec. user=ototero [2010-10-09 10:48:53] 557*2^915126-1 is not prime. Res64: 98ADEEADE4E98703 Time : 5666.0 sec. user=ototero [2010-10-09 10:48:53] 563*2^915126-1 is not prime. Res64: CCA48B5194DABD27 Time : 5665.0 sec. user=ototero [2010-10-09 10:48:54] 587*2^915126-1 is not prime. Res64: 54F5A318A9844F6F Time : 5666.0 sec. user=ototero [2010-10-09 12:50:53] 593*2^915126-1 is not prime. Res64: 95319CDDD812EF48 Time : 7318.0 sec. user=ototero [2010-10-09 12:50:53] 453*2^915127-1 is not prime. Res64: 8A87753516C290B1 Time : 7317.0 sec. user=ototero [2010-10-09 12:50:53] 483*2^915127-1 is not prime. Res64: F5486211688173B5 Time : 7316.0 sec. user=ototero [2010-10-09 12:50:53] 531*2^915127-1 is not prime. Res64: BD69E6B38C176194 Time : 7315.0 sec. user=ototero [2010-10-09 12:50:53] 449*2^915128-1 is not prime. Res64: 97D6694C9ECB72FB Time : 7314.0 sec. user=ototero [2010-10-09 14:24:09] 507*2^915128-1 is not prime. Res64: ADA9AF0620341DD8 Time : 5595.0 sec. user=ototero [2010-10-09 14:24:10] 525*2^915128-1 is not prime. Res64: 16F76211D085B9AB Time : 5596.0 sec. user=ototero [2010-10-09 14:24:10] 533*2^915128-1 is not prime. Res64: E0D1DC8BFFFF5BE3 Time : 5596.0 sec. user=ototero [2010-10-09 14:24:10] 599*2^915128-1 is not prime. Res64: 2526AF0948AACF01 Time : 5595.0 sec. user=ototero [2010-10-09 14:24:10] 525*2^915129-1 is not prime. Res64: 863B7595248CDB35 Time : 5595.0 sec. user=ototero [2010-10-09 15:57:26] 535*2^915129-1 is not prime. Res64: 47E5FE574B452C9D Time : 5596.0 sec. user=ototero [2010-10-09 15:57:26] 565*2^915129-1 is not prime. Res64: 549975D1E8AEFC88 Time : 5595.0 sec. user=ototero [2010-10-09 15:57:26] 413*2^915130-1 is not prime. Res64: C80C5B4CAA1C2D1F Time : 5595.0 sec. user=ototero [2010-10-09 15:57:26] 533*2^915130-1 is not prime. Res64: 4578400C8186C091 Time : 5595.0 sec. user=ototero [2010-10-09 15:57:27] 575*2^915130-1 is not prime. Res64: B5DA89DDEEFFC425 Time : 5595.0 sec. user=ototero [2010-10-09 17:31:15] 459*2^915131-1 is not prime. Res64: 27EF6C0C1D2D2680 Time : 5628.0 sec. user=ototero [2010-10-09 17:31:15] 475*2^915131-1 is not prime. Res64: 36B446327AE56984 Time : 5628.0 sec. user=ototero [2010-10-09 17:31:15] 529*2^915131-1 is not prime. Res64: 51E11F5BCEE38CC3 Time : 5627.0 sec. user=ototero [2010-10-09 17:31:15] 413*2^915132-1 is not prime. Res64: 6CF81C25204A817C Time : 5627.0 sec. user=ototero [2010-10-09 17:31:16] 437*2^915132-1 is not prime. Res64: 3EA78A40DB87C63F Time : 5628.0 sec. user=ototero [2010-10-09 19:06:40] 485*2^915132-1 is not prime. Res64: BD1C102444D1A752 Time : 5724.0 sec. user=ototero [2010-10-09 19:06:40] 527*2^915132-1 is not prime. Res64: E8DA2A9736EF67DC Time : 5724.0 sec. user=ototero [2010-10-09 19:06:40] 567*2^915132-1 is not prime. Res64: 2CA71B335184927E Time : 5723.0 sec. user=ototero [2010-10-09 19:06:40] 585*2^915132-1 is not prime. Res64: 7F48FD3F66C7050B Time : 5723.0 sec. user=ototero [2010-10-09 19:06:41] 421*2^915133-1 is not prime. Res64: 396A7D0F968E58C9 Time : 5724.0 sec. user=ototero [2010-10-09 20:41:22] 481*2^915133-1 is not prime. Res64: 05B8D3C4942973B6 Time : 5681.0 sec. user=ototero [2010-10-09 20:41:22] 489*2^915133-1 is not prime. Res64: E6BC1D1B52F46BB0 Time : 5681.0 sec. user=ototero [2010-10-09 20:41:22] 549*2^915133-1 is not prime. Res64: 0B1176F8B920D51B Time : 5680.0 sec. user=ototero [2010-10-09 20:41:22] 595*2^915133-1 is not prime. Res64: 57EB381BD8A00E2A Time : 5680.0 sec. user=ototero [2010-10-09 20:41:22] 423*2^915134-1 is not prime. Res64: AF18B48B451716FC Time : 5680.0 sec. user=ototero [2010-10-09 22:16:41] 447*2^915134-1 is not prime. Res64: 33D2B2A2C81CF7B4 Time : 5718.0 sec. user=ototero [2010-10-09 22:16:41] 495*2^915134-1 is not prime. Res64: E3C5FBD8A6581F85 Time : 5718.0 sec. user=ototero [2010-10-09 22:16:41] 561*2^915134-1 is not prime. Res64: C04F88460A331421 Time : 5718.0 sec. user=ototero [2010-10-09 22:16:41] 585*2^915134-1 is not prime. Res64: C35C230080670562 Time : 5717.0 sec. user=ototero [2010-10-09 22:16:41] 429*2^915135-1 is not prime. Res64: 4A6F314D32DA7515 Time : 5717.0 sec. user=ototero [2010-10-09 23:51:28] 433*2^915135-1 is not prime. Res64: 4A56026BA72A9107 Time : 5686.0 sec. user=ototero [2010-10-09 23:51:29] 501*2^915135-1 is not prime. Res64: 33C680EDF9CE8C1B Time : 5687.0 sec. user=ototero [2010-10-09 23:51:29] 447*2^915136-1 is not prime. Res64: CB5E8712E45B9B56 Time : 5686.0 sec. user=ototero [2010-10-09 23:51:29] 453*2^915136-1 is not prime. Res64: 60FAFAE40DB79619 Time : 5686.0 sec. user=ototero [2010-10-09 23:51:29] 537*2^915136-1 is not prime. Res64: A412549B1F3D3675 Time : 5686.0 sec.