user=ototero [2010-10-10 01:25:35] 421*2^915137-1 is not prime. Res64: 79A9A35F7D6CCF6B Time : 5646.0 sec. user=ototero [2010-10-10 01:25:35] 559*2^915137-1 is not prime. Res64: 7FD3533E135BCC6A Time : 5645.0 sec. user=ototero [2010-10-10 01:25:35] 577*2^915137-1 is not prime. Res64: A50455FD865E1006 Time : 5645.0 sec. user=ototero [2010-10-10 01:25:35] 423*2^915138-1 is not prime. Res64: 15836E27A3A16087 Time : 5645.0 sec. user=ototero [2010-10-10 01:25:35] 485*2^915138-1 is not prime. Res64: 3835C01797EE7E55 Time : 5644.0 sec. user=ototero [2010-10-10 03:00:23] 439*2^915099-1 is not prime. Res64: 831B78A26381EDEA Time : 5687.0 sec. user=ototero [2010-10-10 03:00:24] 459*2^915099-1 is not prime. Res64: 5421091FF63E0920 Time : 5688.0 sec. user=ototero [2010-10-10 03:00:24] 511*2^915099-1 is not prime. Res64: F941B36AA56A2936 Time : 5688.0 sec. user=ototero [2010-10-10 03:00:24] 443*2^915100-1 is not prime. Res64: 158B68E21D33DFE5 Time : 5687.0 sec. user=ototero [2010-10-10 03:00:24] 549*2^915100-1 is not prime. Res64: 58D4250426C15E75 Time : 5687.0 sec. user=ototero [2010-10-10 04:36:52] 563*2^915100-1 is not prime. Res64: 459F4103A10295B9 Time : 5788.0 sec. user=ototero [2010-10-10 04:36:52] 459*2^915101-1 is not prime. Res64: 9745F0AF7854E584 Time : 5787.0 sec. user=ototero [2010-10-10 04:36:52] 465*2^915101-1 is not prime. Res64: 7A0B02BB028BF747 Time : 5787.0 sec. user=ototero [2010-10-10 04:36:52] 451*2^915139-1 is not prime. Res64: A96A19875A937D21 Time : 5787.0 sec. user=ototero [2010-10-10 04:36:52] 469*2^915139-1 is not prime. Res64: F6620C4C173395D2 Time : 5786.0 sec. user=ototero [2010-10-10 06:12:21] 531*2^915139-1 is not prime. Res64: 5548FD059AB3E8F2 Time : 5728.0 sec. user=ototero [2010-10-10 06:12:22] 555*2^915139-1 is not prime. Res64: 843DC5A0B9457CCA Time : 5729.0 sec. user=ototero [2010-10-10 06:12:22] 589*2^915139-1 is not prime. Res64: 5D1B807A9C88F4FC Time : 5729.0 sec. user=ototero [2010-10-10 06:12:22] 417*2^915140-1 is not prime. Res64: C31F8FE74AAA7791 Time : 5728.0 sec. user=ototero [2010-10-10 06:12:22] 489*2^915140-1 is not prime. Res64: 61AC96BB2988A820 Time : 5728.0 sec. user=ototero [2010-10-10 07:47:21] 519*2^915140-1 is not prime. Res64: 0268EFD987B44F10 Time : 5699.0 sec. user=ototero [2010-10-10 07:47:21] 427*2^915141-1 is not prime. Res64: 25B69A38D715CD85 Time : 5698.0 sec. user=ototero [2010-10-10 07:47:21] 445*2^915141-1 is not prime. Res64: 584CE788317067C1 Time : 5698.0 sec. user=ototero [2010-10-10 07:47:22] 469*2^915141-1 is not prime. Res64: 3F989C20C80189F1 Time : 5699.0 sec. user=ototero [2010-10-10 07:47:22] 507*2^915141-1 is not prime. Res64: EC00C26B4169307C Time : 5698.0 sec. user=ototero [2010-10-10 09:22:52] 529*2^915141-1 is not prime. Res64: 177AD14BC264AB98 Time : 5730.0 sec. user=ototero [2010-10-10 09:22:52] 555*2^915141-1 is not prime. Res64: B94D12AC72CDAF70 Time : 5729.0 sec. user=ototero [2010-10-10 09:22:52] 401*2^915142-1 is not prime. Res64: AC5721A8DCB46587 Time : 5729.0 sec. user=ototero [2010-10-10 09:22:52] 447*2^915142-1 is not prime. Res64: 76916F7AA8AEE289 Time : 5729.0 sec. user=ototero [2010-10-10 09:22:53] 525*2^915142-1 is not prime. Res64: DAD00E1FBC6A1457 Time : 5729.0 sec. user=ototero [2010-10-10 11:16:41] 533*2^915142-1 is not prime. Res64: 9B0281D87DC1AF3B Time : 6828.0 sec. user=ototero [2010-10-10 11:16:41] 555*2^915142-1 is not prime. Res64: 04072B70A47B6B71 Time : 6828.0 sec. user=ototero [2010-10-10 11:16:41] 591*2^915142-1 is not prime. Res64: 1B9363D371EEFEE0 Time : 6827.0 sec. user=ototero [2010-10-10 11:16:41] 463*2^915143-1 is not prime. Res64: F30AD475B04038B7 Time : 6827.0 sec. user=ototero [2010-10-10 11:16:41] 489*2^915143-1 is not prime. Res64: 4141F6D06B9257EB Time : 6827.0 sec. user=ototero [2010-10-10 12:54:08] 465*2^915144-1 is not prime. Res64: 451AB650C09D9B76 Time : 5846.0 sec. user=ototero [2010-10-10 12:54:08] 479*2^915144-1 is not prime. Res64: 063AB4FF86821BCF Time : 5846.0 sec. user=ototero [2010-10-10 12:54:08] 503*2^915144-1 is not prime. Res64: DCF50105B33D4AD5 Time : 5845.0 sec. user=ototero [2010-10-10 12:54:08] 569*2^915144-1 is not prime. Res64: 3565F99CA4D5D2C8 Time : 5845.0 sec. user=ototero [2010-10-10 12:54:09] 587*2^915144-1 is not prime. Res64: 075E4B7CA75A82BC Time : 5846.0 sec. user=ototero [2010-10-10 14:30:08] 597*2^915144-1 is not prime. Res64: C9A3057528EA1CF2 Time : 5759.0 sec. user=ototero [2010-10-10 14:30:08] 469*2^915145-1 is not prime. Res64: 10576730325807DB Time : 5759.0 sec. user=ototero [2010-10-10 14:30:08] 495*2^915145-1 is not prime. Res64: 1A5F1E8EBC8C1E51 Time : 5758.0 sec. user=ototero [2010-10-10 14:30:09] 555*2^915145-1 is not prime. Res64: 881C5AC075C51738 Time : 5759.0 sec. user=ototero [2010-10-10 14:30:09] 437*2^915146-1 is not prime. Res64: AF5D5062EFF6052A Time : 5759.0 sec. user=ototero [2010-10-10 16:11:31] 567*2^915146-1 is not prime. Res64: CC8DBCDCC566588D Time : 6082.0 sec. user=ototero [2010-10-10 16:11:31] 575*2^915146-1 is not prime. Res64: 98E398859381CFDB Time : 6082.0 sec. user=ototero [2010-10-10 16:11:31] 585*2^915146-1 is not prime. Res64: 3422F4DBDDF80DB0 Time : 6081.0 sec. user=ototero [2010-10-10 16:11:32] 405*2^915147-1 is not prime. Res64: B00E09D9F842203A Time : 6082.0 sec. user=ototero [2010-10-10 16:11:32] 451*2^915147-1 is not prime. Res64: DC22705741AB0FDC Time : 6082.0 sec. user=ototero [2010-10-10 17:49:39] 445*2^915113-1 is not prime. Res64: 9585280E63FEBB71 Time : 5887.0 sec. user=ototero [2010-10-10 17:49:39] 553*2^915147-1 is not prime. Res64: D3B9DE523F5159DF Time : 5886.0 sec. user=ototero [2010-10-10 17:49:39] 573*2^915147-1 is not prime. Res64: 1383EB68165E437A Time : 5886.0 sec. user=ototero [2010-10-10 17:49:39] 595*2^915147-1 is not prime. Res64: 518385C847C37957 Time : 5886.0 sec. user=ototero [2010-10-10 17:49:40] 437*2^915148-1 is not prime. Res64: 5DDDAB416B9F7BC0 Time : 5886.0 sec. user=ototero [2010-10-10 19:24:05] 453*2^915148-1 is not prime. Res64: 477873724E047BCA Time : 5665.0 sec. user=ototero [2010-10-10 19:24:06] 507*2^915148-1 is not prime. Res64: E80AD188EDAF38DF Time : 5666.0 sec. user=ototero [2010-10-10 19:24:06] 539*2^915148-1 is not prime. Res64: B5CBFD1BCCC99197 Time : 5665.0 sec. user=ototero [2010-10-10 19:24:06] 569*2^915148-1 is not prime. Res64: 6C7C513F76C843E6 Time : 5665.0 sec. user=ototero [2010-10-10 19:24:06] 421*2^915149-1 is not prime. Res64: CEBA9592FE7594FB Time : 5665.0 sec. user=ototero [2010-10-10 20:59:10] 487*2^915149-1 is not prime. Res64: FC24505CE7B17A01 Time : 5704.0 sec. user=ototero [2010-10-10 20:59:10] 447*2^915150-1 is not prime. Res64: F4CFA76B76AF1777 Time : 5703.0 sec. user=ototero [2010-10-10 20:59:10] 513*2^915150-1 is not prime. Res64: BA010DB35C25D370 Time : 5703.0 sec. user=ototero [2010-10-10 20:59:11] 527*2^915150-1 is not prime. Res64: 460EFFAF0612999A Time : 5704.0 sec. user=ototero [2010-10-10 20:59:11] 557*2^915150-1 is not prime. Res64: 5CA0DC279CCA4069 Time : 5703.0 sec. user=ototero [2010-10-10 22:33:19] 405*2^915151-1 is not prime. Res64: 22884BF17796BE97 Time : 5648.0 sec. user=ototero [2010-10-10 22:33:19] 451*2^915151-1 is not prime. Res64: 875ABF974DA50575 Time : 5648.0 sec. user=ototero [2010-10-10 22:33:19] 483*2^915151-1 is not prime. Res64: 5A1629EDCB03670B Time : 5647.0 sec. user=ototero [2010-10-10 22:33:20] 489*2^915151-1 is not prime. Res64: 102299D688D30703 Time : 5648.0 sec. user=ototero [2010-10-10 22:33:20] 499*2^915151-1 is not prime. Res64: 14094F918C3C5E6C Time : 5648.0 sec.