user=mdettweiler [2010-06-27 05:01:09] 467*2^825260-1 is not prime. Res64: 3892E8722D538AC4 Time : 0.0 sec. user=mdettweiler [2010-06-27 05:01:31] 515*2^825260-1 is not prime. Res64: 7CC6365E72647D19 Time : 0.0 sec. user=mdettweiler [2010-06-27 05:06:50] 471*2^825261-1 is not prime. Res64: C6AF6144EB788CA3 Time : 0.0 sec. user=mdettweiler [2010-06-27 05:11:16] 529*2^825261-1 is not prime. Res64: 8313D7AF3A5F4568 Time : 0.0 sec. user=mdettweiler [2010-06-27 05:14:03] 565*2^825261-1 is not prime. Res64: F613E1E307905641 Time : 0.0 sec. user=mdettweiler [2010-06-27 05:14:29] 467*2^825262-1 is not prime. Res64: A8BD555118BA736A Time : 0.0 sec. user=mdettweiler [2010-06-27 05:19:46] 477*2^825262-1 is not prime. Res64: 15ABC6AFAD653FC3 Time : 0.0 sec. user=mdettweiler [2010-06-27 05:24:08] 491*2^825262-1 is not prime. Res64: BEBBD786A27EA469 Time : 0.0 sec. user=mdettweiler [2010-06-27 05:26:58] 527*2^825262-1 is not prime. Res64: 47C6DB29D91B453F Time : 0.0 sec. user=mdettweiler [2010-06-27 05:27:21] 561*2^825262-1 is not prime. Res64: 056BF9D80F28ECE9 Time : 0.0 sec. user=mdettweiler [2010-06-27 05:32:39] 591*2^825262-1 is not prime. Res64: 71DE20DEEAAC3A5D Time : 0.0 sec. user=Sloth [2010-06-27 05:34:06] 511*2^825257-1 is not prime. Res64: 4AF968F4B9DEDDD1 Time : 0.0 sec. user=Sloth [2010-06-27 05:34:06] 571*2^825257-1 is not prime. Res64: AA2EFE328141AE4C Time : 0.0 sec. user=Sloth [2010-06-27 05:34:07] 577*2^825257-1 is not prime. Res64: FD93AF7E372E0D54 Time : 0.0 sec. user=mdettweiler [2010-06-27 05:37:03] 441*2^825263-1 is not prime. Res64: B706FF09CB6A094D Time : 0.0 sec. user=mdettweiler [2010-06-27 05:39:52] 525*2^825263-1 is not prime. Res64: 0B5F655E6B6EEEFA Time : 0.0 sec. user=mdettweiler [2010-06-27 05:40:14] 571*2^825263-1 is not prime. Res64: 901A6C7D873187F4 Time : 0.0 sec. user=mdettweiler [2010-06-27 05:45:35] 543*2^825264-1 is not prime. Res64: 2C9E2788CE0F00BF Time : 0.0 sec. user=mdettweiler [2010-06-27 05:50:11] 547*2^825265-1 is not prime. Res64: E557F86AC2018401 Time : 0.0 sec. user=mdettweiler [2010-06-27 05:52:48] 555*2^825265-1 is not prime. Res64: 136A10B367F8A348 Time : 0.0 sec. user=mdettweiler [2010-06-27 05:53:12] 595*2^825265-1 is not prime. Res64: 2CC7781E50B1E8AA Time : 0.0 sec. user=mdettweiler [2010-06-27 05:58:37] 407*2^825266-1 is not prime. Res64: 16BBFF3B410D24C7 Time : 0.0 sec. user=mdettweiler [2010-06-27 06:03:04] 501*2^825266-1 is not prime. Res64: CA9DE7CA9F19CEAB Time : 0.0 sec. user=mdettweiler [2010-06-27 06:05:42] 563*2^825266-1 is not prime. Res64: 04B4A4CE8BDB575F Time : 0.0 sec. user=mdettweiler [2010-06-27 06:06:07] 587*2^825266-1 is not prime. Res64: 0FD098A4EA1198FD Time : 0.0 sec. user=mdettweiler [2010-06-27 06:11:30] 403*2^825267-1 is not prime. Res64: DEE9F095DA47048D Time : 0.0 sec. user=mdettweiler [2010-06-27 06:16:00] 441*2^825267-1 is not prime. Res64: F13435468C47EED4 Time : 0.0 sec. user=mdettweiler [2010-06-27 06:18:40] 469*2^825267-1 is not prime. Res64: 2E187B2ABF87A4EA Time : 0.0 sec. user=mdettweiler [2010-06-27 06:19:02] 471*2^825267-1 is not prime. Res64: C7D3F943225160A1 Time : 0.0 sec. user=mdettweiler [2010-06-27 06:24:23] 539*2^825268-1 is not prime. Res64: EAEAC036DBECF786 Time : 0.0 sec. user=mdettweiler [2010-06-27 06:28:54] 563*2^825268-1 is not prime. Res64: C0975BA01EAA8F1F Time : 0.0 sec. user=mdettweiler [2010-06-27 06:31:35] 451*2^825269-1 is not prime. Res64: CAA8691E09A2829E Time : 0.0 sec. user=mdettweiler [2010-06-27 06:31:56] 477*2^825269-1 is not prime. Res64: D4D20438CEB28068 Time : 0.0 sec. user=mdettweiler [2010-06-27 06:37:16] 525*2^825269-1 is not prime. Res64: ADDEC373A648665A Time : 0.0 sec. user=henryzz [2010-06-27 06:39:37] 455*2^825216-1 is not prime. Res64: 37E79F914B36CD09 Time : 0.0 sec. user=henryzz [2010-06-27 06:39:46] 503*2^825216-1 is not prime. Res64: 74C912533DB29E23 Time : 0.0 sec. user=henryzz [2010-06-27 06:40:59] 445*2^825215-1 is not prime. Res64: 3E15A4A259AC3A70 Time : 0.0 sec. user=mdettweiler [2010-06-27 06:41:48] 589*2^825269-1 is not prime. Res64: E1CE3B23F02C2B52 Time : 0.0 sec. user=henryzz [2010-06-27 06:42:51] 537*2^825216-1 is not prime. Res64: 84215F0D4C25479E Time : 0.0 sec. user=mdettweiler [2010-06-27 06:44:28] 417*2^825270-1 is not prime. Res64: DAA64B9E05BD1CB8 Time : 0.0 sec. user=mdettweiler [2010-06-27 06:44:51] 431*2^825270-1 is not prime. Res64: 58091F402E87D61A Time : 0.0 sec. user=mdettweiler [2010-06-27 06:50:11] 473*2^825270-1 is not prime. Res64: 08D43B219E4F0AA1 Time : 0.0 sec. user=Sloth [2010-06-27 06:52:58] 465*2^825265-1 is not prime. Res64: 695177B49902800F Time : 0.0 sec. user=Sloth [2010-06-27 06:52:59] 511*2^825265-1 is not prime. Res64: D8D2FF0948AE48DF Time : 0.0 sec. user=Sloth [2010-06-27 06:52:59] 525*2^825265-1 is not prime. Res64: A3F3F86FD50570E4 Time : 0.0 sec. user=mdettweiler [2010-06-27 06:54:41] 527*2^825270-1 is not prime. Res64: C14FDF1FB4FFF58F Time : 0.0 sec. user=mdettweiler [2010-06-27 06:57:20] 557*2^825270-1 is not prime. Res64: D0F1169425F1FE27 Time : 0.0 sec. user=mdettweiler [2010-06-27 06:57:46] 411*2^825271-1 is not prime. Res64: 11E3C90E89A9E4F0 Time : 0.0 sec. user=mdettweiler [2010-06-27 07:03:05] 439*2^825271-1 is not prime. Res64: 1DCAB1487AABB8DF Time : 0.0 sec. user=mdettweiler [2010-06-27 07:07:34] 447*2^825272-1 is not prime. Res64: 1BD93671CEA6290B Time : 0.0 sec. user=mdettweiler [2010-06-27 07:10:14] 525*2^825272-1 is not prime. Res64: 901C177C34E3767D Time : 0.0 sec. user=mdettweiler [2010-06-27 07:10:41] 457*2^825273-1 is not prime. Res64: C2DB0ABEC24C940E Time : 0.0 sec. user=mdettweiler [2010-06-27 07:16:01] 499*2^825273-1 is not prime. Res64: AF7EEAC9B96A31D4 Time : 0.0 sec. user=mdettweiler [2010-06-27 07:20:28] 511*2^825273-1 is not prime. Res64: FF5646D10B51575F Time : 0.0 sec. user=mdettweiler [2010-06-27 07:23:09] 525*2^825273-1 is not prime. Res64: 38FD116822EB6BB6 Time : 0.0 sec. user=mdettweiler [2010-06-27 07:23:34] 411*2^825274-1 is not prime. Res64: 47BAB34BBD8CAC60 Time : 0.0 sec. user=mdettweiler [2010-06-27 07:28:54] 461*2^825274-1 is not prime. Res64: 48A595372D5CBDEE Time : 0.0 sec. user=mdettweiler [2010-06-27 07:33:22] 433*2^825275-1 is not prime. Res64: 2AE9CC0A414593B4 Time : 0.0 sec. user=mdettweiler [2010-06-27 07:36:04] 463*2^825275-1 is not prime. Res64: 4F661FF9B86530A0 Time : 0.0 sec. user=mdettweiler [2010-06-27 07:36:27] 469*2^825275-1 is not prime. Res64: 60E8A79B281BA668 Time : 0.0 sec. user=mdettweiler [2010-06-27 07:41:49] 529*2^825275-1 is not prime. Res64: 8889181FD852D4D1 Time : 0.0 sec. user=mdettweiler [2010-06-27 07:46:17] 405*2^825276-1 is not prime. Res64: 007275823768E991 Time : 0.0 sec. user=mdettweiler [2010-06-27 07:48:58] 479*2^825276-1 is not prime. Res64: 672C9E3E2AFC657C Time : 0.0 sec. user=mdettweiler [2010-06-27 07:49:18] 497*2^825276-1 is not prime. Res64: F6B202D250885A16 Time : 0.0 sec. user=mdettweiler [2010-06-27 07:54:43] 537*2^825276-1 is not prime. Res64: 986D4428DD47C2F6 Time : 0.0 sec. user=mdettweiler [2010-06-27 07:59:11] 593*2^825276-1 is not prime. Res64: 3A5563ACDE3A6E56 Time : 0.0 sec. user=mdettweiler [2010-06-27 08:01:51] 427*2^825277-1 is not prime. Res64: 14A0B5BC9AF13707 Time : 0.0 sec. user=mdettweiler [2010-06-27 08:02:12] 471*2^825277-1 is not prime. Res64: 52AA513527E2A0EB Time : 0.0 sec. user=mdettweiler [2010-06-27 08:07:36] 495*2^825277-1 is not prime. Res64: 1915F6A61C89898C Time : 0.0 sec. user=Sloth [2010-06-27 08:10:34] 451*2^825271-1 is not prime. Res64: FFA122545D9B9F34 Time : 0.0 sec. user=Sloth [2010-06-27 08:10:35] 535*2^825271-1 is not prime. Res64: 3E9033114231D81D Time : 0.0 sec. user=Sloth [2010-06-27 08:10:35] 559*2^825271-1 is not prime. Res64: 0851284864D191D2 Time : 0.0 sec. user=mdettweiler [2010-06-27 08:12:05] 567*2^825277-1 is not prime. Res64: DA7E96897F737319 Time : 0.0 sec. user=mdettweiler [2010-06-27 08:14:50] 501*2^825278-1 is not prime. Res64: 44A1859F85710AC3 Time : 0.0 sec. user=mdettweiler [2010-06-27 08:15:05] 507*2^825278-1 is not prime. Res64: 80CB8702041F9F26 Time : 0.0 sec. user=mdettweiler [2010-06-27 08:20:31] 591*2^825278-1 is not prime. Res64: 3CAA8879D423DA40 Time : 0.0 sec. user=mdettweiler [2010-06-27 08:24:59] 507*2^825281-1 is not prime. Res64: 4CC329EF27479B6A Time : 0.0 sec. user=mdettweiler [2010-06-27 08:27:42] 529*2^825281-1 is not prime. Res64: B70DC2B0D2CB8852 Time : 0.0 sec. user=mdettweiler [2010-06-27 08:27:59] 547*2^825281-1 is not prime. Res64: 64CD7EC39FCD304D Time : 0.0 sec. user=mdettweiler [2010-06-27 08:33:27] 401*2^825282-1 is not prime. Res64: EA4C73D206130E3E Time : 0.0 sec. user=mdettweiler [2010-06-27 08:37:51] 513*2^825282-1 is not prime. Res64: FF1DA3897D55E31E Time : 0.0 sec. user=mdettweiler [2010-06-27 08:40:35] 415*2^825283-1 is not prime. Res64: E77AF298F598BC9D Time : 0.0 sec. user=mdettweiler [2010-06-27 08:40:54] 483*2^825283-1 is not prime. Res64: 1FEFC0940A3B3DF8 Time : 0.0 sec. user=mdettweiler [2010-06-27 08:46:19] 541*2^825283-1 is not prime. Res64: DBEA3DC969C025CC Time : 0.0 sec. user=mdettweiler [2010-06-27 08:50:46] 503*2^825284-1 is not prime. Res64: 5B76F192822694FB Time : 0.0 sec. user=mdettweiler [2010-06-27 08:53:26] 587*2^825284-1 is not prime. Res64: 50F53F25CE6ECC21 Time : 0.0 sec. user=mdettweiler [2010-06-27 08:53:48] 481*2^825285-1 is not prime. Res64: F782306859F1C033 Time : 0.0 sec. user=mdettweiler [2010-06-27 08:59:11] 507*2^825285-1 is not prime. Res64: 2D9BFF3BAAB2ACD1 Time : 0.0 sec. user=mdettweiler [2010-06-27 09:03:40] 455*2^825286-1 is not prime. Res64: 2C5C4682CCEFFD66 Time : 0.0 sec. user=mdettweiler [2010-06-27 09:06:20] 525*2^825286-1 is not prime. Res64: 01F8FFE56630878F Time : 0.0 sec. user=mdettweiler [2010-06-27 09:06:39] 581*2^825286-1 is not prime. Res64: 57375982ED806B2E Time : 0.0 sec. user=mdettweiler [2010-06-27 09:12:05] 591*2^825286-1 is not prime. Res64: B954830C05DE5869 Time : 0.0 sec. user=mdettweiler [2010-06-27 09:16:36] 433*2^825287-1 is not prime. Res64: D8C80BBEAEC6BC6F Time : 0.0 sec. user=mdettweiler [2010-06-27 09:19:16] 463*2^825287-1 is not prime. Res64: C52560496FE7FEB1 Time : 0.0 sec. user=mdettweiler [2010-06-27 09:19:32] 465*2^825287-1 is not prime. Res64: A13E772ED90F7F6E Time : 0.0 sec. user=mdettweiler [2010-06-27 09:24:58] 469*2^825287-1 is not prime. Res64: 053468D199F38079 Time : 0.0 sec. user=Sloth [2010-06-27 09:28:32] 513*2^825279-1 is not prime. Res64: E972F3456D843137 Time : 0.0 sec. user=Sloth [2010-06-27 09:28:32] 453*2^825280-1 is not prime. Res64: 6CC2015B2DE2505B Time : 0.0 sec. user=Sloth [2010-06-27 09:28:33] 597*2^825280-1 is not prime. Res64: F081AAB85D9BFC32 Time : 0.0 sec. user=mdettweiler [2010-06-27 09:29:31] 475*2^825287-1 is not prime. Res64: 0012F5F4505284E4 Time : 0.0 sec. user=mdettweiler [2010-06-27 09:32:08] 519*2^825287-1 is not prime. Res64: 6518056529F362AE Time : 0.0 sec. user=mdettweiler [2010-06-27 09:32:26] 589*2^825287-1 is not prime. Res64: B3B32EF4E057F84A Time : 0.0 sec. user=mdettweiler [2010-06-27 09:37:52] 459*2^825288-1 is not prime. Res64: A43427493CFA1840 Time : 0.0 sec. user=mdettweiler [2010-06-27 09:42:24] 525*2^825289-1 is not prime. Res64: F735FFDC0B67387E Time : 0.0 sec. user=mdettweiler [2010-06-27 09:45:02] 565*2^825289-1 is not prime. Res64: 117188D691069238 Time : 0.0 sec. user=mdettweiler [2010-06-27 09:45:20] 577*2^825289-1 is not prime. Res64: 8BEFA8D3A039D7A6 Time : 0.0 sec. user=mdettweiler [2010-06-27 09:50:46] 595*2^825289-1 is not prime. Res64: BDF2C38732B6F5DD Time : 0.0 sec. user=mdettweiler [2010-06-27 09:55:17] 407*2^825290-1 is not prime. Res64: 43BF92F52616D266 Time : 0.0 sec. user=mdettweiler [2010-06-27 09:57:56] 461*2^825290-1 is not prime. Res64: 7C26AB81E1E6BE85 Time : 0.0 sec. user=mdettweiler [2010-06-27 09:58:10] 503*2^825290-1 is not prime. Res64: E6A511243C74CF74 Time : 0.0 sec. user=mdettweiler [2010-06-27 10:03:39] 575*2^825290-1 is not prime. Res64: 275ECA95C4A80AD7 Time : 0.0 sec. user=mdettweiler [2010-06-27 10:08:11] 581*2^825290-1 is not prime. Res64: 8159F4A8B793A374 Time : 0.0 sec. user=mdettweiler [2010-06-27 10:10:49] 585*2^825290-1 is not prime. Res64: 5E0399F2D0045114 Time : 0.0 sec. user=mdettweiler [2010-06-27 10:11:01] 429*2^825291-1 is not prime. Res64: F0F4032B0FBCDBC4 Time : 0.0 sec. user=mdettweiler [2010-06-27 10:16:35] 465*2^825291-1 is not prime. Res64: 3BA727F5A5C06B19 Time : 0.0 sec. user=mdettweiler [2010-06-27 10:21:06] 489*2^825291-1 is not prime. Res64: E073057F17DD7956 Time : 0.0 sec. user=mdettweiler [2010-06-27 10:23:44] 511*2^825291-1 is not prime. Res64: 52E64C6D4087170B Time : 0.0 sec. user=mdettweiler [2010-06-27 10:23:53] 405*2^825292-1 is not prime. Res64: 92E2852A4F44766B Time : 0.0 sec. user=mdettweiler [2010-06-27 10:29:28] 419*2^825292-1 is not prime. Res64: 3D7B7B995A9537C3 Time : 0.0 sec. user=mdettweiler [2010-06-27 10:34:00] 489*2^825292-1 is not prime. Res64: 6F69A47788AF0AAA Time : 0.0 sec. user=mdettweiler [2010-06-27 10:36:36] 513*2^825292-1 is not prime. Res64: E6E997690173D457 Time : 0.0 sec. user=mdettweiler [2010-06-27 10:36:47] 567*2^825292-1 is not prime. Res64: CB22222CBF4544B1 Time : 0.0 sec. user=mdettweiler [2010-06-27 10:42:19] 405*2^825293-1 is not prime. Res64: 581A69D24EC62A90 Time : 0.0 sec. user=Sloth [2010-06-27 10:45:45] 515*2^825288-1 is not prime. Res64: B0C57E390C3F1426 Time : 0.0 sec. user=Sloth [2010-06-27 10:45:45] 477*2^825289-1 is not prime. Res64: 4CB456F840AD659C Time : 0.0 sec. user=Sloth [2010-06-27 10:45:46] 495*2^825289-1 is not prime. Res64: 3D4EDD0022BF6142 Time : 0.0 sec. user=mdettweiler [2010-06-27 10:46:54] 411*2^825293-1 is not prime. Res64: DF409DD2A601BC12 Time : 0.0 sec. user=mdettweiler [2010-06-27 10:49:31] 529*2^825293-1 is not prime. Res64: 10358792B9AD2C70 Time : 0.0 sec. user=mdettweiler [2010-06-27 10:49:41] 567*2^825293-1 is not prime. Res64: 0628838D9854EBD8 Time : 0.0 sec. user=mdettweiler [2010-06-27 10:55:13] 577*2^825293-1 is not prime. Res64: E53FADE6030D14F0 Time : 0.0 sec. user=mdettweiler [2010-06-27 10:59:46] 563*2^825294-1 is not prime. Res64: D4D109DEE925E6B2 Time : 0.0 sec. user=mdettweiler [2010-06-27 11:02:26] 587*2^825294-1 is not prime. Res64: 9B2AEB2FB08F3EE4 Time : 0.0 sec. user=mdettweiler [2010-06-27 11:02:33] 433*2^825295-1 is not prime. Res64: 787D323B04D93B5D Time : 0.0 sec. user=mdettweiler [2010-06-27 11:08:06] 475*2^825295-1 is not prime. Res64: D57E7624B2ACC880 Time : 0.0 sec. user=mdettweiler [2010-06-27 11:12:41] 531*2^825295-1 is not prime. Res64: 76C02CBF5FFF2276 Time : 0.0 sec. user=mdettweiler [2010-06-27 11:15:23] 555*2^825295-1 is not prime. Res64: 85FB97966C1D5C2F Time : 0.0 sec. user=mdettweiler [2010-06-27 11:15:27] 473*2^825296-1 is not prime. Res64: 717EEE83BCC452AE Time : 0.0 sec. user=mdettweiler [2010-06-27 11:21:00] 503*2^825296-1 is not prime. Res64: 3A40997AA9B006B2 Time : 0.0 sec. user=mdettweiler [2010-06-27 11:25:35] 507*2^825296-1 is not prime. Res64: 67550B8AD1223273 Time : 0.0 sec. user=mdettweiler [2010-06-27 11:28:17] 525*2^825296-1 is not prime. Res64: 1090AB772E7935DA Time : 0.0 sec. user=mdettweiler [2010-06-27 11:28:19] 441*2^825297-1 is not prime. Res64: FA7FC48D731E05E2 Time : 0.0 sec. user=mdettweiler [2010-06-27 11:33:53] 511*2^825297-1 is not prime. Res64: 3C300067676842E3 Time : 0.0 sec. user=mdettweiler [2010-06-27 11:38:29] 529*2^825297-1 is not prime. Res64: 601940169CF9409F Time : 0.0 sec. user=mdettweiler [2010-06-27 11:41:11] 577*2^825297-1 is not prime. Res64: E793095D632F2F97 Time : 0.0 sec. user=mdettweiler [2010-06-27 11:41:12] 555*2^825297-1 is not prime. Res64: C3CB0A2DDFCE9639 Time : 0.0 sec. user=mdettweiler [2010-06-27 11:46:44] 423*2^825298-1 is not prime. Res64: 3E06671A594E2BCF Time : 0.0 sec. user=mdettweiler [2010-06-27 11:51:23] 561*2^825298-1 is not prime. Res64: C5BD0B4C12DA18BB Time : 0.0 sec. user=mdettweiler [2010-06-27 11:54:04] 451*2^825299-1 is not prime. Res64: DAD862A94E9FED59 Time : 0.0 sec. user=mdettweiler [2010-06-27 11:54:06] 597*2^825298-1 is not prime. Res64: 3678908561F0E666 Time : 0.0 sec. user=mdettweiler [2010-06-27 11:59:38] 501*2^825299-1 is not prime. Res64: AC17E27C65AC8636 Time : 0.0 sec. user=Sloth [2010-06-27 12:03:11] 423*2^825294-1 is not prime. Res64: 307CCB0CF19CCBFD Time : 0.0 sec. user=Sloth [2010-06-27 12:03:12] 513*2^825294-1 is not prime. Res64: B39934255FB47CA1 Time : 0.0 sec. user=Sloth [2010-06-27 12:03:13] 525*2^825294-1 is not prime. Res64: 3B80292B660122B2 Time : 0.0 sec. user=mdettweiler [2010-06-27 12:04:17] 531*2^825299-1 is not prime. Res64: C999C19CB2EB1031 Time : 0.0 sec. user=mdettweiler [2010-06-27 12:07:06] 545*2^825300-1 is not prime. Res64: 424097926ECC0BA2 Time : 0.0 sec. user=mdettweiler [2010-06-27 12:07:14] 589*2^825299-1 is not prime. Res64: BDFF1DE54529CCB8 Time : 0.0 sec. user=mdettweiler [2010-06-27 12:12:33] 469*2^825301-1 is not prime. Res64: 8300A9D42A19B669 Time : 0.0 sec. user=mdettweiler [2010-06-27 12:17:13] 437*2^825302-1 is not prime. Res64: 0D909DD3FF308C4D Time : 0.0 sec. user=mdettweiler [2010-06-27 12:20:02] 477*2^825302-1 is not prime. Res64: 22FA3E0E499FD455 Time : 0.0 sec. user=mdettweiler [2010-06-27 12:20:09] 483*2^825302-1 is not prime. Res64: 2C3832C6EB2103AF Time : 0.0 sec. user=mdettweiler [2010-06-27 12:25:27] 439*2^825303-1 is not prime. Res64: EAC1AD13A80094E4 Time : 0.0 sec. user=mdettweiler [2010-06-27 12:30:08] 453*2^825303-1 is not prime. Res64: 6D5FCD04B0EA0795 Time : 0.0 sec. user=mdettweiler [2010-06-27 12:32:54] 459*2^825303-1 is not prime. Res64: 1A47BA0AC19B2714 Time : 0.0 sec. user=mdettweiler [2010-06-27 12:33:03] 493*2^825303-1 is not prime. Res64: F073C3FDADC23891 Time : 0.0 sec. user=mdettweiler [2010-06-27 12:38:21] 555*2^825303-1 is not prime. Res64: A6EDB2E039DF8A86 Time : 0.0 sec. user=mdettweiler [2010-06-27 12:43:01] 565*2^825303-1 is not prime. Res64: 2581FF3BE43AE10C Time : 0.0 sec. user=mdettweiler [2010-06-27 12:45:47] 573*2^825303-1 is not prime. Res64: 245541D549423B9D Time : 0.0 sec. user=mdettweiler [2010-06-27 12:45:57] 585*2^825303-1 is not prime. Res64: DAF62AD7AED525F8 Time : 0.0 sec. user=mdettweiler [2010-06-27 12:51:16] 435*2^825304-1 is not prime. Res64: 56949AC0D46E192A Time : 0.0 sec. user=mdettweiler [2010-06-27 12:55:53] 437*2^825304-1 is not prime. Res64: 1D298F6D536E8002 Time : 0.0 sec. user=mdettweiler [2010-06-27 12:58:41] 509*2^825304-1 is not prime. Res64: 62C31E944163B5FE Time : 0.0 sec. user=mdettweiler [2010-06-27 12:58:48] 593*2^825304-1 is not prime. Res64: A476F6F36B7F020C Time : 0.0 sec. user=mdettweiler [2010-06-27 13:04:09] 477*2^825305-1 is not prime. Res64: 16180E3AF04657B5 Time : 0.0 sec. user=mdettweiler [2010-06-27 13:08:48] 589*2^825305-1 is not prime. Res64: 91FFBA389CDC448D Time : 0.0 sec. user=mdettweiler [2010-06-27 13:11:35] 443*2^825306-1 is not prime. Res64: E06A116A19AB30F5 Time : 0.0 sec. user=mdettweiler [2010-06-27 13:11:40] 465*2^825306-1 is not prime. Res64: DF24978C6002AF78 Time : 0.0 sec. user=mdettweiler [2010-06-27 13:17:06] 473*2^825306-1 is not prime. Res64: 2A2C44F172DA5A41 Time : 0.0 sec. user=Sloth [2010-06-27 13:20:43] 471*2^825301-1 is not prime. Res64: 939316DE03B7B8A6 Time : 0.0 sec. user=Sloth [2010-06-27 13:20:43] 541*2^825301-1 is not prime. Res64: D4CD175EE83DAFDF Time : 0.0 sec. user=Sloth [2010-06-27 13:20:44] 407*2^825302-1 is not prime. Res64: AFF1D314C74A9B3D Time : 0.0 sec. user=mdettweiler [2010-06-27 13:21:43] 503*2^825306-1 is not prime. Res64: 815A7BD5E2E61CE7 Time : 0.0 sec. user=mdettweiler [2010-06-27 13:24:28] 513*2^825306-1 is not prime. Res64: 5D9BB9FA30F61F3D Time : 0.0 sec. user=mdettweiler [2010-06-27 13:24:32] 495*2^825307-1 is not prime. Res64: DC1E4BFE974066E5 Time : 0.0 sec. user=mdettweiler [2010-06-27 13:30:00] 541*2^825307-1 is not prime. Res64: 28CAE5B36A1CA8E7 Time : 0.0 sec. user=mdettweiler [2010-06-27 13:34:38] 415*2^825309-1 is not prime. Res64: 187FFC5D2CE4E929 Time : 0.0 sec. user=mdettweiler [2010-06-27 13:37:22] 441*2^825309-1 is not prime. Res64: A8B16E8B7A98152C Time : 0.0 sec. user=mdettweiler [2010-06-27 13:37:28] 459*2^825309-1 is not prime. Res64: CEDFF12E8EBB9588 Time : 0.0 sec. user=mdettweiler [2010-06-27 13:42:56] 507*2^825309-1 is not prime. Res64: 7CC1D193333FE4EE Time : 0.0 sec. user=mdettweiler [2010-06-27 13:47:32] 549*2^825309-1 is not prime. Res64: 2E01C1751A1DE0FC Time : 0.0 sec. user=mdettweiler [2010-06-27 13:50:18] 559*2^825309-1 is not prime. Res64: 9538184CF94F660D Time : 0.0 sec. user=mdettweiler [2010-06-27 13:50:21] 483*2^825310-1 is not prime. Res64: A22BAB5A129688F6 Time : 0.0 sec. user=mdettweiler [2010-06-27 13:55:49] 555*2^825310-1 is not prime. Res64: F0A1494D86174013 Time : 0.0 sec. user=Sloth [2010-06-27 14:38:23] 413*2^825308-1 is not prime. Res64: A7ECE8105902D80B Time : 0.0 sec. user=Sloth [2010-06-27 14:38:24] 437*2^825308-1 is not prime. Res64: 59BEF21E99B09D5D Time : 0.0 sec. user=Sloth [2010-06-27 14:38:24] 495*2^825308-1 is not prime. Res64: 0CFD51EC307D1277 Time : 0.0 sec. user=Sloth [2010-06-27 15:55:51] 567*2^825310-1 is not prime. Res64: E20FDE5BAF788076 Time : 0.0 sec. user=Sloth [2010-06-27 15:55:52] 587*2^825310-1 is not prime. Res64: AD03B030E348320F Time : 0.0 sec. user=Sloth [2010-06-27 15:55:52] 505*2^825311-1 is not prime. Res64: 3A31125B9184E5FC Time : 0.0 sec. user=Sloth [2010-06-27 17:13:29] 511*2^825311-1 is not prime. Res64: 266DC6B57D7E1849 Time : 0.0 sec. user=Sloth [2010-06-27 17:13:30] 531*2^825311-1 is not prime. Res64: 2A6CBA6D659CE589 Time : 0.0 sec. user=Sloth [2010-06-27 17:13:30] 573*2^825311-1 is not prime. Res64: C02160F9D5C8C76A Time : 0.0 sec. user=Sloth [2010-06-27 18:30:58] 503*2^825312-1 is not prime. Res64: 5BCB20883126856F Time : 0.0 sec. user=Sloth [2010-06-27 18:30:59] 507*2^825312-1 is not prime. Res64: 51EE67CE0ECB4264 Time : 0.0 sec. user=Sloth [2010-06-27 18:30:59] 527*2^825312-1 is not prime. Res64: 339C2F9A6FDC5561 Time : 0.0 sec. user=Sloth [2010-06-27 19:48:29] 567*2^825312-1 is not prime. Res64: 037262E434C329DD Time : 0.0 sec. user=Sloth [2010-06-27 19:48:30] 569*2^825312-1 is not prime. Res64: 372399317C2BB4C6 Time : 0.0 sec. user=Sloth [2010-06-27 19:48:30] 435*2^825313-1 is not prime. Res64: 34DA0290F793ADE0 Time : 0.0 sec. user=Sloth [2010-06-27 21:05:49] 477*2^825313-1 is not prime. Res64: 5C09AC6D383DA8DA Time : 0.0 sec. user=Sloth [2010-06-27 21:05:49] 525*2^825313-1 is not prime. Res64: A6DA060E10CBC514 Time : 0.0 sec. user=Sloth [2010-06-27 21:05:50] 541*2^825313-1 is not prime. Res64: 8D46BCF2C74EF15C Time : 0.0 sec. user=Sloth [2010-06-27 22:24:07] 591*2^825313-1 is not prime. Res64: 8F20FA162171DC85 Time : 0.0 sec. user=Sloth [2010-06-27 22:24:08] 407*2^825314-1 is not prime. Res64: 86596E5EA5156577 Time : 0.0 sec. user=Sloth [2010-06-27 22:24:08] 475*2^825315-1 is not prime. Res64: 63FE18A864417AD7 Time : 0.0 sec. user=Sloth [2010-06-27 23:41:31] 501*2^825315-1 is not prime. Res64: 7DA34D3DBF31C7E1 Time : 0.0 sec. user=Sloth [2010-06-27 23:41:32] 511*2^825315-1 is not prime. Res64: 59F021E1B4B61AB7 Time : 0.0 sec. user=Sloth [2010-06-27 23:41:32] 583*2^825315-1 is not prime. Res64: 7D96BE84FBD25904 Time : 0.0 sec. user=Sloth [2010-06-28 00:59:09] 405*2^825316-1 is not prime. Res64: 03474C3D27BD99A9 Time : 0.0 sec. user=Sloth [2010-06-28 00:59:10] 443*2^825316-1 is not prime. Res64: 025139E2B7678CA5 Time : 0.0 sec. user=Sloth [2010-06-28 00:59:10] 483*2^825316-1 is not prime. Res64: DF8BCA21BC49770B Time : 0.0 sec. user=Sloth [2010-06-28 02:16:26] 495*2^825317-1 is not prime. Res64: 77FA84D282A2D102 Time : 0.0 sec. user=Sloth [2010-06-28 02:16:27] 507*2^825317-1 is not prime. Res64: 865FAFA984583A65 Time : 0.0 sec. user=Sloth [2010-06-28 02:16:27] 537*2^825317-1 is not prime. Res64: A1E57B42EF67E54D Time : 0.0 sec. user=Sloth [2010-06-28 03:33:55] 559*2^825317-1 is not prime. Res64: 2FDFDC6A936CEA12 Time : 0.0 sec. user=Sloth [2010-06-28 03:33:56] 585*2^825317-1 is not prime. Res64: A14ABE0029DA8249 Time : 0.0 sec. user=Sloth [2010-06-28 03:33:56] 425*2^825318-1 is not prime. Res64: AFD6944025DB2EA4 Time : 0.0 sec. user=Sloth [2010-06-28 04:51:08] 453*2^825318-1 is not prime. Res64: 16448EFB47AA8046 Time : 0.0 sec. user=Sloth [2010-06-28 04:51:09] 515*2^825318-1 is not prime. Res64: C16F6DFB942F2B0B Time : 0.0 sec. user=Sloth [2010-06-28 04:51:09] 581*2^825318-1 is not prime. Res64: 990E75AB12E1D251 Time : 0.0 sec.