user=mdettweiler [2010-06-08 05:04:09] 537*2^824757-1 is not prime. Res64: AD4CF780EBCC7C98 Time : 0.0 sec. user=mdettweiler [2010-06-08 05:04:10] 513*2^824758-1 is not prime. Res64: 4D05866574208DC9 Time : 0.0 sec. user=mdettweiler [2010-06-08 05:04:10] 477*2^824762-1 is not prime. Res64: 504596664C58E5F5 Time : 0.0 sec. user=mdettweiler [2010-06-08 05:16:57] 525*2^824762-1 is not prime. Res64: 0E758955DDFEB3A9 Time : 0.0 sec. user=mdettweiler [2010-06-08 05:16:57] 549*2^824761-1 is not prime. Res64: 53DBAC109637AFCC Time : 0.0 sec. user=mdettweiler [2010-06-08 05:16:57] 465*2^824760-1 is not prime. Res64: A98C0E302EEF3FF0 Time : 0.0 sec. user=mdettweiler [2010-06-08 05:37:48] 439*2^824761-1 is not prime. Res64: 181F2A962EF91146 Time : 0.0 sec. user=mdettweiler [2010-06-08 05:37:48] 531*2^824761-1 is not prime. Res64: 874CF029A8D30A2C Time : 0.0 sec. user=mdettweiler [2010-06-08 05:37:49] 407*2^824762-1 is not prime. Res64: E4CAA098E6DD5C80 Time : 0.0 sec. user=mdettweiler [2010-06-08 05:38:37] 437*2^824762-1 is not prime. Res64: 30E994640C7B1590 Time : 0.0 sec. user=mdettweiler [2010-06-08 05:38:38] 453*2^824763-1 is not prime. Res64: 7AE3B046E53F4AE9 Time : 0.0 sec. user=mdettweiler [2010-06-08 05:38:38] 471*2^824763-1 is not prime. Res64: 75498F29C33DAA4B Time : 0.0 sec. user=mdettweiler [2010-06-08 05:43:02] 447*2^824766-1 is not prime. Res64: 4FCB45D791F9C7C3 Time : 0.0 sec. user=mdettweiler [2010-06-08 05:43:02] 549*2^824763-1 is not prime. Res64: 74024DABE34E2D9C Time : 0.0 sec. user=mdettweiler [2010-06-08 05:43:02] 479*2^824764-1 is not prime. Res64: EE6F3DEC82F5E82D Time : 0.0 sec. user=mdettweiler [2010-06-08 05:55:53] 451*2^824765-1 is not prime. Res64: 26114053C3213A45 Time : 0.0 sec. user=mdettweiler [2010-06-08 05:55:53] 511*2^824765-1 is not prime. Res64: 0C46F33FE8B3B903 Time : 0.0 sec. user=mdettweiler [2010-06-08 05:55:54] 495*2^824765-1 is not prime. Res64: 38CC5CB910BB535F Time : 0.0 sec. user=Sloth [2010-06-08 06:14:21] 509*2^824760-1 is not prime. Res64: D68568F78CE80CE9 Time : 0.0 sec. user=Sloth [2010-06-08 06:14:21] 567*2^824762-1 is not prime. Res64: 76EB334D163115B8 Time : 0.0 sec. user=Sloth [2010-06-08 06:14:22] 507*2^824762-1 is not prime. Res64: 244DF1D08FC74DF5 Time : 0.0 sec. user=mdettweiler [2010-06-08 06:16:22] 587*2^824764-1 is not prime. Res64: 4040F7BE7A065EAF Time : 0.0 sec. user=mdettweiler [2010-06-08 06:16:23] 519*2^824765-1 is not prime. Res64: D0D2B991869136F2 Time : 0.0 sec. user=mdettweiler [2010-06-08 06:16:23] 489*2^824765-1 is not prime. Res64: 47149CB6772671AC Time : 0.0 sec. user=mdettweiler [2010-06-08 06:17:11] 457*2^824769-1 is not prime. Res64: 3D79B091EBEB2FD2 Time : 0.0 sec. user=mdettweiler [2010-06-08 06:17:12] 589*2^824767-1 is not prime. Res64: 4F2BBE53A14CD67C Time : 0.0 sec. user=mdettweiler [2010-06-08 06:17:12] 471*2^824769-1 is not prime. Res64: 0593932C3D929AF4 Time : 0.0 sec. user=mdettweiler [2010-06-08 06:21:34] 549*2^824769-1 is not prime. Res64: A8177DDBAF41CA8C Time : 0.0 sec. user=mdettweiler [2010-06-08 06:21:34] 453*2^824767-1 is not prime. Res64: 0B5651401E320F91 Time : 0.0 sec. user=mdettweiler [2010-06-08 06:21:34] 499*2^824767-1 is not prime. Res64: BCB03ED95CA8DB5B Time : 0.0 sec. user=mdettweiler [2010-06-08 06:34:23] 423*2^824768-1 is not prime. Res64: 1C8502553CF2D8F6 Time : 0.0 sec. user=mdettweiler [2010-06-08 06:34:23] 503*2^824766-1 is not prime. Res64: A6AC8C92108E398C Time : 0.0 sec. user=mdettweiler [2010-06-08 06:34:24] 513*2^824766-1 is not prime. Res64: 7B64DE7D6BE43BAF Time : 0.0 sec. user=mdettweiler [2010-06-08 06:54:45] 465*2^824769-1 is not prime. Res64: 6FEFDBB7BE32CA59 Time : 0.0 sec. user=mdettweiler [2010-06-08 06:54:45] 489*2^824772-1 is not prime. Res64: EDB22172B284956A Time : 0.0 sec. user=mdettweiler [2010-06-08 06:54:45] 569*2^824772-1 is not prime. Res64: 3FAA923FFEF9B72A Time : 0.0 sec. user=mdettweiler [2010-06-08 06:55:41] 503*2^824772-1 is not prime. Res64: 51E21A9874652CC4 Time : 0.0 sec. user=mdettweiler [2010-06-08 06:55:41] 467*2^824770-1 is not prime. Res64: DEBB0ABAF511A414 Time : 0.0 sec. user=mdettweiler [2010-06-08 06:55:41] 533*2^824770-1 is not prime. Res64: CBA6A0B8B7B4F51F Time : 0.0 sec. user=mdettweiler [2010-06-08 07:00:03] 545*2^824772-1 is not prime. Res64: 84F8E302C8409F0A Time : 0.0 sec. user=mdettweiler [2010-06-08 07:00:03] 423*2^824770-1 is not prime. Res64: C9A94D3BCBE1D459 Time : 0.0 sec. user=mdettweiler [2010-06-08 07:00:04] 581*2^824770-1 is not prime. Res64: 1276A895D0625E23 Time : 0.0 sec. user=mdettweiler [2010-06-08 07:12:47] 497*2^824772-1 is not prime. Res64: 89BDD1F27631E8DC Time : 0.0 sec. user=mdettweiler [2010-06-08 07:12:48] 459*2^824771-1 is not prime. Res64: 8F33B794D9C2FE62 Time : 0.0 sec. user=mdettweiler [2010-06-08 07:12:48] 573*2^824771-1 is not prime. Res64: 44C182BDC7A8B9A9 Time : 0.0 sec. user=Sloth [2010-06-08 07:32:20] 549*2^824767-1 is not prime. Res64: 5D0BBCBCAD3C74A0 Time : 0.0 sec. user=Sloth [2010-06-08 07:32:20] 573*2^824767-1 is not prime. Res64: 3E61F82E71B7DEFF Time : 0.0 sec. user=Sloth [2010-06-08 07:32:21] 479*2^824768-1 is not prime. Res64: 6F7E4E1B27256B54 Time : 0.0 sec. user=mdettweiler [2010-06-08 07:32:37] 447*2^814146-1 is not prime. Res64: 1328F4A5B679AE80 Time : 0.0 sec. user=mdettweiler [2010-06-08 07:32:37] 521*2^814146-1 is not prime. Res64: 075AB6FC8C2EB440 Time : 0.0 sec. user=mdettweiler [2010-06-08 07:32:37] 533*2^814148-1 is not prime. Res64: 3060CC9EB5B55E2B Time : 0.0 sec. user=mdettweiler [2010-06-08 07:33:54] 537*2^814149-1 is not prime. Res64: 9BE62936F7A5FBC2 Time : 0.0 sec. user=mdettweiler [2010-06-08 07:33:54] 481*2^821513-1 is not prime. Res64: C67230B701E5D7A2 Time : 0.0 sec. user=mdettweiler [2010-06-08 07:33:55] 507*2^824085-1 is not prime. Res64: E888739F4383C526 Time : 0.0 sec. user=mdettweiler [2010-06-08 07:38:29] 595*2^824085-1 is not prime. Res64: 6D4411236D86F5DC Time : 0.0 sec. user=mdettweiler [2010-06-08 07:38:30] 549*2^824091-1 is not prime. Res64: ADE497028D683779 Time : 0.0 sec. user=mdettweiler [2010-06-08 07:38:30] 537*2^824093-1 is not prime. Res64: B2CD9F113BD7A8BD Time : 0.0 sec. user=mdettweiler [2010-06-08 07:51:11] 543*2^824094-1 is not prime. Res64: 534BF0E5F4CC0C6B Time : 0.0 sec. user=mdettweiler [2010-06-08 07:51:11] 555*2^824103-1 is not prime. Res64: E6C436F625FDFF19 Time : 0.0 sec. user=mdettweiler [2010-06-08 07:51:12] 573*2^824107-1 is not prime. Res64: AED691C9B7C08F3C Time : 0.0 sec. user=mdettweiler [2010-06-08 08:11:01] 405*2^824128-1 is not prime. Res64: 7A418308B01F9042 Time : 0.0 sec. user=mdettweiler [2010-06-08 08:11:02] 587*2^824130-1 is not prime. Res64: 2FDEC5D9DADE1942 Time : 0.0 sec. user=mdettweiler [2010-06-08 08:11:02] 493*2^824331-1 is not prime. Res64: BA76C0A7C1BA1F16 Time : 0.0 sec. user=mdettweiler [2010-06-08 08:12:19] 591*2^824341-1 is not prime. Res64: A95A2795E6050CBE Time : 0.0 sec. user=mdettweiler [2010-06-08 08:12:19] 429*2^824343-1 is not prime. Res64: 78DDFDBAA75ACE07 Time : 0.0 sec. user=mdettweiler [2010-06-08 08:12:19] 579*2^824771-1 is not prime. Res64: 06CDF25113094FAC Time : 0.0 sec. user=mdettweiler [2010-06-08 08:16:56] 595*2^824771-1 is not prime. Res64: 01E95F5E0EAB18D6 Time : 0.0 sec. user=mdettweiler [2010-06-08 08:16:56] 515*2^824772-1 is not prime. Res64: 9262C7576D25618D Time : 0.0 sec. user=mdettweiler [2010-06-08 08:16:57] 537*2^824772-1 is not prime. Res64: 8B615D48BEA09C95 Time : 0.0 sec. user=mdettweiler [2010-06-08 08:29:33] 411*2^824773-1 is not prime. Res64: 114EAF826EA515A6 Time : 0.0 sec. user=mdettweiler [2010-06-08 08:29:34] 549*2^824773-1 is not prime. Res64: D9A5AA9EAE596207 Time : 0.0 sec. user=mdettweiler [2010-06-08 08:29:34] 591*2^824773-1 is not prime. Res64: FCE22E7421C0F8D5 Time : 0.0 sec. user=mdettweiler [2010-06-08 08:49:28] 407*2^824774-1 is not prime. Res64: 5804C1C2740F06F2 Time : 0.0 sec. user=mdettweiler [2010-06-08 08:49:28] 435*2^824774-1 is not prime. Res64: D5FDC49381BA33ED Time : 0.0 sec. user=mdettweiler [2010-06-08 08:49:28] 437*2^824774-1 is not prime. Res64: 57DDBBF38D2DCC27 Time : 0.0 sec. user=Sloth [2010-06-08 08:50:26] 525*2^824109-1 is not prime. Res64: EB8DC04D7BB0DDC8 Time : 0.0 sec. user=Sloth [2010-06-08 08:50:26] 405*2^824125-1 is not prime. Res64: 880C36566D6FB08C Time : 0.0 sec. user=Sloth [2010-06-08 08:50:27] 545*2^824126-1 is not prime. Res64: C6083B9969E3C4F7 Time : 0.0 sec. user=mdettweiler [2010-06-08 08:50:42] 483*2^824774-1 is not prime. Res64: 53A861B54B401480 Time : 0.0 sec. user=mdettweiler [2010-06-08 08:50:42] 507*2^824774-1 is not prime. Res64: DF421C0CB8DEE042 Time : 0.0 sec. user=mdettweiler [2010-06-08 08:50:43] 533*2^824774-1 is not prime. Res64: B8E960A550E3CAC3 Time : 0.0 sec. user=mdettweiler [2010-06-08 08:55:24] 403*2^824775-1 is not prime. Res64: 3431683F458563CC Time : 0.0 sec. user=mdettweiler [2010-06-08 08:55:24] 441*2^824775-1 is not prime. Res64: 63AF2756E3639C07 Time : 0.0 sec. user=mdettweiler [2010-06-08 08:55:24] 471*2^824775-1 is not prime. Res64: A519DE794881FFEE Time : 0.0 sec. user=mdettweiler [2010-06-08 09:07:57] 513*2^824775-1 is not prime. Res64: 76E7E6412158212F Time : 0.0 sec. user=mdettweiler [2010-06-08 09:07:57] 541*2^824775-1 is not prime. Res64: 89F81B2F766C737A Time : 0.0 sec. user=mdettweiler [2010-06-08 09:07:58] 553*2^824775-1 is not prime. Res64: E8402EBB00C5D617 Time : 0.0 sec. user=sm5ymt [2010-06-08 09:26:30] 519*2^824780-1 is not prime. Res64: 2D93EA3B3C2DAE6F Time : 0.0 sec. user=mdettweiler [2010-06-08 09:27:51] 555*2^824775-1 is not prime. Res64: 2A731781EC35DD42 Time : 0.0 sec. user=mdettweiler [2010-06-08 09:27:51] 437*2^824776-1 is not prime. Res64: F68C91A7E7343C3B Time : 0.0 sec. user=mdettweiler [2010-06-08 09:27:51] 485*2^824776-1 is not prime. Res64: 518D550CA9F91CA6 Time : 0.0 sec. user=mdettweiler [2010-06-08 09:29:09] 501*2^824777-1 is not prime. Res64: 9FE53B744A62B849 Time : 0.0 sec. user=mdettweiler [2010-06-08 09:29:09] 517*2^824777-1 is not prime. Res64: 21DF4D5425828564 Time : 0.0 sec. user=mdettweiler [2010-06-08 09:29:09] 567*2^824777-1 is not prime. Res64: 86DEEFB5CD7E2732 Time : 0.0 sec. user=mdettweiler [2010-06-08 09:33:52] 555*2^824778-1 is not prime. Res64: FEB77793A33A2173 Time : 0.0 sec. user=mdettweiler [2010-06-08 09:33:52] 589*2^824779-1 is not prime. Res64: 50B80327F5ED1ECE Time : 0.0 sec. user=mdettweiler [2010-06-08 09:33:52] 595*2^824779-1 is not prime. Res64: A4351ED5BF986491 Time : 0.0 sec. user=mdettweiler [2010-06-08 09:46:22] 593*2^824780-1 is not prime. Res64: 85FD4C6E5EA43DF4 Time : 0.0 sec. user=mdettweiler [2010-06-08 09:46:22] 405*2^824781-1 is not prime. Res64: E06DBED499D060F0 Time : 0.0 sec. user=mdettweiler [2010-06-08 09:46:23] 427*2^824781-1 is not prime. Res64: 18F4379EBB9B7D3E Time : 0.0 sec. user=mdettweiler [2010-06-08 10:06:15] 537*2^824781-1 is not prime. Res64: B591CEE7457BA234 Time : 0.0 sec. user=mdettweiler [2010-06-08 10:06:16] 597*2^824781-1 is not prime. Res64: 80185C1141EDFB8B Time : 0.0 sec. user=mdettweiler [2010-06-08 10:06:16] 467*2^824782-1 is not prime. Res64: 72F3A8A8927081AA Time : 0.0 sec. user=mdettweiler [2010-06-08 10:07:35] 507*2^824782-1 is not prime. Res64: B9EAF1687B061112 Time : 0.0 sec. user=mdettweiler [2010-06-08 10:07:35] 513*2^824782-1 is not prime. Res64: B0863553FED8DF61 Time : 0.0 sec. user=mdettweiler [2010-06-08 10:07:35] 433*2^824783-1 is not prime. Res64: 590B5B23C820412F Time : 0.0 sec. user=Sloth [2010-06-08 10:08:22] 509*2^824776-1 is not prime. Res64: 5CB08EB30802EDF8 Time : 0.0 sec. user=Sloth [2010-06-08 10:08:22] 421*2^824777-1 is not prime. Res64: 18CD7B40CDEA4C80 Time : 0.0 sec. user=Sloth [2010-06-08 10:08:23] 475*2^824777-1 is not prime. Res64: 6C313CE0AE5997BE Time : 0.0 sec. user=mdettweiler [2010-06-08 10:12:16] 591*2^824783-1 is not prime. Res64: 09F2244E823E6AF7 Time : 0.0 sec. user=mdettweiler [2010-06-08 10:12:16] 425*2^824784-1 is not prime. Res64: 8DCF4352058E1FC6 Time : 0.0 sec. user=mdettweiler [2010-06-08 10:12:16] 447*2^824784-1 is not prime. Res64: 814332F4DA95D8A0 Time : 0.0 sec. user=mdettweiler [2010-06-08 10:24:49] 489*2^824784-1 is not prime. Res64: 03E70533EAFE9896 Time : 0.0 sec. user=mdettweiler [2010-06-08 10:24:49] 513*2^824784-1 is not prime. Res64: 8B8F4608CB8F9CE3 Time : 0.0 sec. user=mdettweiler [2010-06-08 10:24:50] 525*2^824784-1 is not prime. Res64: 7EBC770912E84F9D Time : 0.0 sec. user=mdettweiler [2010-06-08 10:44:44] 557*2^824784-1 is not prime. Res64: 9F6199F52A9219DB Time : 0.0 sec. user=mdettweiler [2010-06-08 10:44:44] 563*2^824784-1 is not prime. Res64: 2F66C369E7CDAA18 Time : 0.0 sec. user=mdettweiler [2010-06-08 10:44:45] 585*2^824784-1 is not prime. Res64: 8596EC80300B24AB Time : 0.0 sec. user=mdettweiler [2010-06-08 10:46:02] 465*2^824785-1 is not prime. Res64: 51DC9317A9532432 Time : 0.0 sec. user=mdettweiler [2010-06-08 10:46:02] 525*2^824785-1 is not prime. Res64: 3DE2B911145EF79B Time : 0.0 sec. user=mdettweiler [2010-06-08 10:46:02] 541*2^824785-1 is not prime. Res64: CED6B41A6E6C7804 Time : 0.0 sec. user=mdettweiler [2010-06-08 10:50:45] 453*2^824786-1 is not prime. Res64: 69B3B1DF4C3B0336 Time : 0.0 sec. user=mdettweiler [2010-06-08 10:50:45] 495*2^824786-1 is not prime. Res64: A78348BF080FA0FD Time : 0.0 sec. user=mdettweiler [2010-06-08 10:50:46] 451*2^824787-1 is not prime. Res64: 6D7BEE9A7CDA42C7 Time : 0.0 sec. user=mdettweiler [2010-06-08 11:03:27] 523*2^824787-1 is not prime. Res64: 4521EA9CBBF8FB8B Time : 0.0 sec. user=mdettweiler [2010-06-08 11:03:27] 543*2^824787-1 is not prime. Res64: D4759B977E71EA76 Time : 0.0 sec. user=mdettweiler [2010-06-08 11:03:27] 435*2^824788-1 is not prime. Res64: 359EB8C06E00BAE9 Time : 0.0 sec. user=mdettweiler [2010-06-08 11:23:06] 495*2^824788-1 is not prime. Res64: 7666AFB7A58B07B5 Time : 0.0 sec. user=mdettweiler [2010-06-08 11:23:06] 497*2^824788-1 is not prime. Res64: 01B99E37D95CA508 Time : 0.0 sec. user=mdettweiler [2010-06-08 11:23:06] 563*2^824788-1 is not prime. Res64: 3CD2987DFF9659FA Time : 0.0 sec. user=mdettweiler [2010-06-08 11:24:28] 597*2^824788-1 is not prime. Res64: E7A36FDF96A221A1 Time : 0.0 sec. user=mdettweiler [2010-06-08 11:24:28] 445*2^824789-1 is not prime. Res64: 8A8D1AD8D947ACD2 Time : 0.0 sec. user=mdettweiler [2010-06-08 11:24:28] 567*2^824789-1 is not prime. Res64: 047F7F01242091CE Time : 0.0 sec. user=mdettweiler [2010-06-08 11:29:13] 577*2^824789-1 is not prime. Res64: 0987ECB2D50C7F2B Time : 0.0 sec. user=mdettweiler [2010-06-08 11:29:13] 455*2^824790-1 is not prime. Res64: 4FD25C8268EC1298 Time : 0.0 sec. user=mdettweiler [2010-06-08 11:29:13] 483*2^824790-1 is not prime. Res64: F92E7217DB8E6006 Time : 0.0 sec. user=mdettweiler [2010-06-08 11:41:54] 503*2^824790-1 is not prime. Res64: 18FDD7F818D74C25 Time : 0.0 sec. user=mdettweiler [2010-06-08 11:41:54] 527*2^824790-1 is not prime. Res64: 621DB3CE2B6D71B6 Time : 0.0 sec. user=mdettweiler [2010-06-08 11:41:54] 563*2^824790-1 is not prime. Res64: E3333B8589D4BD82 Time : 0.0 sec. user=mdettweiler [2010-06-08 12:01:28] 567*2^824790-1 is not prime. Res64: E460D29D52017083 Time : 0.0 sec. user=mdettweiler [2010-06-08 12:01:28] 405*2^824791-1 is not prime. Res64: C12A812D07B94CC6 Time : 0.0 sec. user=mdettweiler [2010-06-08 12:01:29] 441*2^824791-1 is not prime. Res64: E8DB5090BF238C1A Time : 0.0 sec. user=mdettweiler [2010-06-08 12:02:53] 555*2^824791-1 is not prime. Res64: E46EB6D6FE7AA7E3 Time : 0.0 sec. user=mdettweiler [2010-06-08 12:02:54] 405*2^824792-1 is not prime. Res64: D20BDB0CE4ECC02A Time : 0.0 sec. user=mdettweiler [2010-06-08 12:02:54] 557*2^824792-1 is not prime. Res64: 9B94F04EE0DF5344 Time : 0.0 sec. user=mdettweiler [2010-06-08 12:07:40] 599*2^824792-1 is not prime. Res64: ED6C7A74A4D21E82 Time : 0.0 sec. user=mdettweiler [2010-06-08 12:07:40] 405*2^824793-1 is not prime. Res64: 4F09D1A9EC011A91 Time : 0.0 sec. user=mdettweiler [2010-06-08 12:07:40] 471*2^824793-1 is not prime. Res64: 1EB0ECD8BA6C8ADA Time : 0.0 sec. user=mdettweiler [2010-06-08 12:20:18] 517*2^824793-1 is not prime. Res64: EF77AF57902178D6 Time : 0.0 sec. user=mdettweiler [2010-06-08 12:20:18] 503*2^824794-1 is not prime. Res64: EACBC2F6210D277A Time : 0.0 sec. user=mdettweiler [2010-06-08 12:20:19] 513*2^824794-1 is not prime. Res64: A0DAC7269A10646D Time : 0.0 sec. user=mdettweiler [2010-06-08 12:39:57] 511*2^824795-1 is not prime. Res64: 4C7021F1318FC849 Time : 0.0 sec. user=mdettweiler [2010-06-08 12:39:57] 523*2^824795-1 is not prime. Res64: BA9C1BEB24603008 Time : 0.0 sec. user=mdettweiler [2010-06-08 12:39:57] 459*2^824796-1 is not prime. Res64: 6B0285D0849A0A4F Time : 0.0 sec. user=mdettweiler [2010-06-08 12:41:18] 447*2^824798-1 is not prime. Res64: 1B3CBBDAC17D7D22 Time : 0.0 sec. user=mdettweiler [2010-06-08 12:41:18] 473*2^824798-1 is not prime. Res64: 4DAFA92964844D4D Time : 0.0 sec. user=mdettweiler [2010-06-08 12:41:19] 483*2^824798-1 is not prime. Res64: 67F3DA8B487A4F95 Time : 0.0 sec. user=mdettweiler [2010-06-08 12:46:08] 501*2^824798-1 is not prime. Res64: 39A10CDC0198A891 Time : 0.0 sec. user=mdettweiler [2010-06-08 12:46:08] 507*2^824798-1 is not prime. Res64: 26239AE751B7F504 Time : 0.0 sec. user=mdettweiler [2010-06-08 12:46:08] 433*2^824799-1 is not prime. Res64: 807B7CF927DA9849 Time : 0.0 sec. user=mdettweiler [2010-06-08 12:58:46] 459*2^824799-1 is not prime. Res64: 47B31A20B372C2C4 Time : 0.0 sec. user=mdettweiler [2010-06-08 12:58:46] 465*2^824799-1 is not prime. Res64: 4C19B784ECE1F7A9 Time : 0.0 sec. user=mdettweiler [2010-06-08 12:58:46] 469*2^824799-1 is not prime. Res64: 4010235123DF4259 Time : 0.0 sec. user=mdettweiler [2010-06-08 13:18:25] 571*2^824799-1 is not prime. Res64: 949B612BD4035581 Time : 0.0 sec. user=mdettweiler [2010-06-08 13:18:25] 595*2^824799-1 is not prime. Res64: B8D714B711D5C921 Time : 0.0 sec. user=mdettweiler [2010-06-08 13:18:25] 447*2^824800-1 is not prime. Res64: 9C1EECC364859650 Time : 0.0 sec. user=mdettweiler [2010-06-08 13:19:43] 467*2^824800-1 is not prime. Res64: A5E9C82E31F3D037 Time : 0.0 sec. user=mdettweiler [2010-06-08 13:19:43] 489*2^824800-1 is not prime. Res64: 98CAFA3D90FB3A95 Time : 0.0 sec. user=mdettweiler [2010-06-08 13:19:44] 495*2^824800-1 is not prime. Res64: D447EDCB51B1F457 Time : 0.0 sec. user=mdettweiler [2010-06-08 13:24:32] 567*2^824800-1 is not prime. Res64: C8308316EBA92007 Time : 0.0 sec. user=mdettweiler [2010-06-08 13:24:32] 569*2^824800-1 is not prime. Res64: C7C200A37737CEA2 Time : 0.0 sec. user=mdettweiler [2010-06-08 13:24:33] 593*2^824800-1 is not prime. Res64: 866AD37F24DCB4CB Time : 0.0 sec. user=mdettweiler [2010-06-08 13:37:08] 529*2^824801-1 is not prime. Res64: 57EDE476CEA3F8A2 Time : 0.0 sec. user=mdettweiler [2010-06-08 13:37:08] 571*2^824801-1 is not prime. Res64: 540E30C930CB6315 Time : 0.0 sec. user=mdettweiler [2010-06-08 13:37:08] 579*2^824801-1 is not prime. Res64: 5B9D1B0CBFA47998 Time : 0.0 sec. user=mdettweiler [2010-06-08 13:56:50] 585*2^824801-1 is not prime. Res64: 784208F830DF2D29 Time : 0.0 sec. user=mdettweiler [2010-06-08 13:56:50] 417*2^824802-1 is not prime. Res64: 4FE54E4864164C59 Time : 0.0 sec. user=mdettweiler [2010-06-08 13:56:50] 423*2^824802-1 is not prime. Res64: 9590FC6AD2E259FA Time : 0.0 sec. user=mdettweiler [2010-06-08 13:58:09] 447*2^824802-1 is not prime. Res64: D61C741E53414E88 Time : 0.0 sec. user=mdettweiler [2010-06-08 13:58:09] 521*2^824802-1 is not prime. Res64: 95515D5AA6675815 Time : 0.0 sec. user=mdettweiler [2010-06-08 13:58:10] 593*2^824802-1 is not prime. Res64: 106CCA90B37B8E6E Time : 0.0 sec. user=mdettweiler [2010-06-08 14:02:57] 439*2^824803-1 is not prime. Res64: 721ABB54EF08BEB1 Time : 0.0 sec. user=mdettweiler [2010-06-08 14:02:57] 463*2^824803-1 is not prime. Res64: 1CE713DF2E98C6B2 Time : 0.0 sec. user=mdettweiler [2010-06-08 14:02:57] 511*2^824803-1 is not prime. Res64: EA81B1C87D884F58 Time : 0.0 sec. user=mdettweiler [2010-06-08 14:15:36] 553*2^824803-1 is not prime. Res64: 2F9947390C3A743C Time : 0.0 sec. user=mdettweiler [2010-06-08 14:15:36] 555*2^824803-1 is not prime. Res64: 2B0451C029E6D10A Time : 0.0 sec. user=mdettweiler [2010-06-08 14:15:36] 507*2^824804-1 is not prime. Res64: 7F0377BD97E53116 Time : 0.0 sec. user=mdettweiler [2010-06-08 14:35:23] 563*2^824804-1 is not prime. Res64: CE6293FC83DD173B Time : 0.0 sec. user=mdettweiler [2010-06-08 14:35:24] 593*2^824804-1 is not prime. Res64: 4E2C9B4D13D1B4C7 Time : 0.0 sec. user=mdettweiler [2010-06-08 14:35:24] 441*2^824805-1 is not prime. Res64: 58AE151C41712677 Time : 0.0 sec. user=mdettweiler [2010-06-08 14:36:38] 481*2^824805-1 is not prime. Res64: 09BC46F800BA2534 Time : 0.0 sec. user=mdettweiler [2010-06-08 14:36:39] 579*2^824805-1 is not prime. Res64: 16668D8DEC3AC5EF Time : 0.0 sec. user=mdettweiler [2010-06-08 14:36:39] 411*2^824806-1 is not prime. Res64: 318E7EE18D65CF7C Time : 0.0 sec. user=mdettweiler [2010-06-08 14:41:36] 413*2^824806-1 is not prime. Res64: 099D5AAF6D7CCB6A Time : 0.0 sec. user=mdettweiler [2010-06-08 14:41:36] 527*2^824806-1 is not prime. Res64: DDA0594EE36510EF Time : 0.0 sec. user=mdettweiler [2010-06-08 14:41:37] 433*2^824807-1 is not prime. Res64: 51A4BC92E7B5858F Time : 0.0 sec. user=mdettweiler [2010-06-08 14:54:07] 475*2^824807-1 is not prime. Res64: A4625C635123CDD5 Time : 0.0 sec. user=mdettweiler [2010-06-08 14:54:08] 571*2^824807-1 is not prime. Res64: 60995F9F249ABC55 Time : 0.0 sec. user=mdettweiler [2010-06-08 14:54:08] 419*2^824808-1 is not prime. Res64: 7F6AFD33F8DB66AB Time : 0.0 sec. user=mdettweiler [2010-06-08 15:13:57] 465*2^824808-1 is not prime. Res64: C6ECBCB3CAF00CAF Time : 0.0 sec. user=mdettweiler [2010-06-08 15:13:57] 485*2^824808-1 is not prime. Res64: CDE6C8AD50355316 Time : 0.0 sec. user=mdettweiler [2010-06-08 15:13:58] 597*2^824808-1 is not prime. Res64: C7ADF11593DE223A Time : 0.0 sec. user=mdettweiler [2010-06-08 15:15:11] 411*2^824809-1 is not prime. Res64: 487E575F78B463E8 Time : 0.0 sec. user=mdettweiler [2010-06-08 15:15:11] 415*2^824809-1 is not prime. Res64: 3AC3965030554817 Time : 0.0 sec. user=mdettweiler [2010-06-08 15:15:11] 429*2^824809-1 is not prime. Res64: E365F78138EBBF88 Time : 0.0 sec. user=mdettweiler [2010-06-08 15:20:05] 447*2^824809-1 is not prime. Res64: 0D928E854777F1ED Time : 0.0 sec. user=mdettweiler [2010-06-08 15:20:05] 471*2^824809-1 is not prime. Res64: F02F75BBD560A2A2 Time : 0.0 sec. user=mdettweiler [2010-06-08 15:20:05] 481*2^824809-1 is not prime. Res64: 842707A276B661DE Time : 0.0 sec. user=mdettweiler [2010-06-08 15:32:30] 511*2^824809-1 is not prime. Res64: 807C4BF9FE2A5697 Time : 0.0 sec. user=mdettweiler [2010-06-08 15:32:30] 517*2^824809-1 is not prime. Res64: 5C010F3F91B3816E Time : 0.0 sec. user=mdettweiler [2010-06-08 15:32:31] 559*2^824809-1 is not prime. Res64: D5B14F0FE8FD47A2 Time : 0.0 sec. user=henryzz [2010-06-08 15:40:56] 423*2^824812-1 is not prime. Res64: A3DD1D48C8636A43 Time : 0.0 sec. user=henryzz [2010-06-08 15:40:58] 583*2^824811-1 is not prime. Res64: D8A001EF0BD61304 Time : 0.0 sec. user=mdettweiler [2010-06-08 15:52:23] 595*2^824809-1 is not prime. Res64: 506B398FFF715747 Time : 0.0 sec. user=mdettweiler [2010-06-08 15:52:23] 501*2^824810-1 is not prime. Res64: 25F7F9527AE96AD4 Time : 0.0 sec. user=mdettweiler [2010-06-08 15:52:23] 503*2^824810-1 is not prime. Res64: 75722F4214AE86F1 Time : 0.0 sec. user=mdettweiler [2010-06-08 15:53:37] 525*2^824810-1 is not prime. Res64: 4BE3DE9F1052F6F8 Time : 0.0 sec. user=mdettweiler [2010-06-08 15:53:37] 533*2^824810-1 is not prime. Res64: 92B6A80D674240A0 Time : 0.0 sec. user=mdettweiler [2010-06-08 15:53:38] 493*2^824811-1 is not prime. Res64: DBB03CED7F169162 Time : 0.0 sec. user=mdettweiler [2010-06-08 15:58:36] 449*2^824812-1 is not prime. Res64: 495D7092A0F1713D Time : 0.0 sec. user=mdettweiler [2010-06-08 15:58:36] 497*2^824812-1 is not prime. Res64: 64250740780EB285 Time : 0.0 sec. user=mdettweiler [2010-06-08 15:58:36] 507*2^824812-1 is not prime. Res64: C4133F2944811024 Time : 0.0 sec. user=henryzz [2010-06-08 16:01:02] 525*2^824812-1 is not prime. Res64: AC281D712D09389A Time : 0.0 sec. user=henryzz [2010-06-08 16:04:41] 529*2^824813-1 is not prime. Res64: EA8DDD509FFE413A Time : 0.0 sec. user=henryzz [2010-06-08 16:08:38] 565*2^824813-1 is not prime. Res64: 9D3DFEA73861364C Time : 0.0 sec. user=henryzz [2010-06-08 16:09:12] 567*2^824813-1 is not prime. Res64: C531636A62E153A0 Time : 0.0 sec. user=mdettweiler [2010-06-08 16:10:55] 579*2^824812-1 is not prime. Res64: FDDC453B07C183A6 Time : 0.0 sec. user=mdettweiler [2010-06-08 16:10:55] 495*2^824813-1 is not prime. Res64: 7898D612F2EF2C91 Time : 0.0 sec. user=mdettweiler [2010-06-08 16:10:55] 519*2^824813-1 is not prime. Res64: DDDB30FB431EB06D Time : 0.0 sec. user=mdettweiler [2010-06-08 16:31:02] 429*2^824815-1 is not prime. Res64: 2058D827F3005E44 Time : 0.0 sec. user=mdettweiler [2010-06-08 16:31:02] 525*2^824815-1 is not prime. Res64: 0E6579F8FC4ACE7F Time : 0.0 sec. user=mdettweiler [2010-06-08 16:31:02] 579*2^824815-1 is not prime. Res64: D18C4915A322F715 Time : 0.0 sec. user=mdettweiler [2010-06-08 16:32:07] 407*2^824816-1 is not prime. Res64: 5D39FD514A905F5E Time : 0.0 sec. user=mdettweiler [2010-06-08 16:32:07] 473*2^824816-1 is not prime. Res64: 7E429CA42CFBB71D Time : 0.0 sec. user=mdettweiler [2010-06-08 16:32:08] 503*2^824816-1 is not prime. Res64: B158172E77419EA0 Time : 0.0 sec. user=mdettweiler [2010-06-08 16:37:15] 525*2^824816-1 is not prime. Res64: 3D2895C3AD4648A0 Time : 0.0 sec. user=mdettweiler [2010-06-08 16:37:15] 573*2^824816-1 is not prime. Res64: 0E9BB5B49C960625 Time : 0.0 sec. user=mdettweiler [2010-06-08 16:37:15] 439*2^824817-1 is not prime. Res64: 0FE3CAD89E5B20D5 Time : 0.0 sec. user=mdettweiler [2010-06-08 16:49:37] 511*2^824817-1 is not prime. Res64: FCB3CEA7BD558959 Time : 0.0 sec. user=mdettweiler [2010-06-08 16:49:37] 531*2^824817-1 is not prime. Res64: BEF1708080F230C1 Time : 0.0 sec. user=mdettweiler [2010-06-08 16:49:37] 549*2^824817-1 is not prime. Res64: F79AE82A5B8AA568 Time : 0.0 sec. user=mdettweiler [2010-06-08 17:10:00] 555*2^824817-1 is not prime. Res64: FE2819A0C470B4DA Time : 0.0 sec. user=mdettweiler [2010-06-08 17:10:00] 425*2^824818-1 is not prime. Res64: 116F96C2CC12A3E7 Time : 0.0 sec. user=mdettweiler [2010-06-08 17:10:01] 447*2^824818-1 is not prime. Res64: DA8E22F36EDC38A2 Time : 0.0 sec. user=mdettweiler [2010-06-08 17:10:53] 465*2^824818-1 is not prime. Res64: C7249F6C702F7C4F Time : 0.0 sec. user=mdettweiler [2010-06-08 17:10:53] 525*2^824818-1 is not prime. Res64: 35BDEF1B23B8FF97 Time : 0.0 sec. user=mdettweiler [2010-06-08 17:10:53] 545*2^824818-1 is not prime. Res64: 6B6B4B32B451B827 Time : 0.0 sec. user=mdettweiler [2010-06-08 17:15:59] 555*2^824818-1 is not prime. Res64: 44F0E30A3765B460 Time : 0.0 sec. user=mdettweiler [2010-06-08 17:15:59] 435*2^824819-1 is not prime. Res64: 103FAA243BEC9C04 Time : 0.0 sec. user=mdettweiler [2010-06-08 17:16:00] 489*2^824819-1 is not prime. Res64: C4E7798EFC89FD54 Time : 0.0 sec. user=mdettweiler [2010-06-08 17:28:15] 493*2^824819-1 is not prime. Res64: 72AC7CBD68DAA2D5 Time : 0.0 sec. user=mdettweiler [2010-06-08 17:28:16] 511*2^824819-1 is not prime. Res64: 03452AC703CC03E5 Time : 0.0 sec. user=mdettweiler [2010-06-08 17:28:16] 579*2^824819-1 is not prime. Res64: B5FE4A466EC421E7 Time : 0.0 sec. user=mdettweiler [2010-06-08 17:48:30] 589*2^824819-1 is not prime. Res64: D3F72AFE1FE776E9 Time : 0.0 sec. user=mdettweiler [2010-06-08 17:48:30] 425*2^824820-1 is not prime. Res64: 34A8C89782FF7DC0 Time : 0.0 sec. user=mdettweiler [2010-06-08 17:48:30] 503*2^824820-1 is not prime. Res64: E381E09A6A8975CF Time : 0.0 sec. user=mdettweiler [2010-06-08 17:49:16] 557*2^824820-1 is not prime. Res64: 503655B8509F63BF Time : 0.0 sec. user=mdettweiler [2010-06-08 17:49:17] 447*2^824821-1 is not prime. Res64: 9479A8BCA632FA9F Time : 0.0 sec. user=mdettweiler [2010-06-08 17:49:17] 505*2^824821-1 is not prime. Res64: 67F0D149921113A5 Time : 0.0 sec. user=mdettweiler [2010-06-08 17:54:29] 511*2^824821-1 is not prime. Res64: 500A2190D52BB91C Time : 0.0 sec. user=mdettweiler [2010-06-08 17:54:29] 577*2^824821-1 is not prime. Res64: 1CEAD29FBE847AA8 Time : 0.0 sec. user=mdettweiler [2010-06-08 17:54:30] 597*2^824821-1 is not prime. Res64: 1F3F60F785B3110C Time : 0.0 sec. user=mdettweiler [2010-06-08 18:06:45] 501*2^824822-1 is not prime. Res64: 5ED0C440A96BF2C4 Time : 0.0 sec. user=mdettweiler [2010-06-08 18:06:45] 537*2^824822-1 is not prime. Res64: A421389F4D08B5C9 Time : 0.0 sec. user=mdettweiler [2010-06-08 18:06:45] 557*2^824822-1 is not prime. Res64: 1544B68E6791891A Time : 0.0 sec. user=mdettweiler [2010-06-08 18:27:23] 573*2^824822-1 is not prime. Res64: 5B341225D30210DF Time : 0.0 sec. user=mdettweiler [2010-06-08 18:27:24] 459*2^824823-1 is not prime. Res64: 67B1E3BA5A769154 Time : 0.0 sec. user=mdettweiler [2010-06-08 18:27:24] 541*2^824823-1 is not prime. Res64: CB3F596E62A55287 Time : 0.0 sec. user=mdettweiler [2010-06-08 18:28:23] 573*2^824823-1 is not prime. Res64: 4B626C090EB40355 Time : 0.0 sec. user=mdettweiler [2010-06-08 18:28:23] 419*2^824824-1 is not prime. Res64: C3E3EA7519ECC24A Time : 0.0 sec. user=mdettweiler [2010-06-08 18:28:23] 519*2^824824-1 is not prime. Res64: 43881FCCDA06E097 Time : 0.0 sec. user=mdettweiler [2010-06-08 18:33:35] 539*2^824824-1 is not prime. Res64: FD76296798E1D46E Time : 0.0 sec. user=mdettweiler [2010-06-08 18:33:35] 573*2^824824-1 is not prime. Res64: 54EB021695869742 Time : 0.0 sec. user=mdettweiler [2010-06-08 18:33:35] 575*2^824824-1 is not prime. Res64: F59B223FFF9D9234 Time : 0.0 sec. user=mdettweiler [2010-06-08 18:46:24] 447*2^824825-1 is not prime. Res64: BBB92A4FAFA50E98 Time : 0.0 sec. user=mdettweiler [2010-06-08 18:46:25] 459*2^824825-1 is not prime. Res64: 6A1CEC53ADB82F08 Time : 0.0 sec. user=mdettweiler [2010-06-08 18:46:25] 507*2^824825-1 is not prime. Res64: 04CA131A3BFA3C9E Time : 0.0 sec. user=mdettweiler [2010-06-08 19:06:39] 529*2^824825-1 is not prime. Res64: C5895A1D4875273B Time : 0.0 sec. user=mdettweiler [2010-06-08 19:06:39] 417*2^824826-1 is not prime. Res64: A51614F26E2A59E8 Time : 0.0 sec. user=mdettweiler [2010-06-08 19:06:39] 503*2^824826-1 is not prime. Res64: 1581C139EEAF7E36 Time : 0.0 sec. user=mdettweiler [2010-06-08 19:07:51] 531*2^824827-1 is not prime. Res64: EF01C34F526D1CC8 Time : 0.0 sec. user=mdettweiler [2010-06-08 19:07:51] 549*2^824827-1 is not prime. Res64: B458B64E2004039A Time : 0.0 sec. user=mdettweiler [2010-06-08 19:07:52] 507*2^824828-1 is not prime. Res64: E8CBCE7DF563B57C Time : 0.0 sec. user=mdettweiler [2010-06-08 19:12:52] 585*2^824828-1 is not prime. Res64: 86A96E5664B52321 Time : 0.0 sec. user=mdettweiler [2010-06-08 19:12:52] 447*2^824829-1 is not prime. Res64: 23836B279E7AE086 Time : 0.0 sec. user=mdettweiler [2010-06-08 19:12:52] 481*2^824829-1 is not prime. Res64: B9C4D0B19DEB38A3 Time : 0.0 sec. user=mdettweiler [2010-06-08 19:24:57] 467*2^824830-1 is not prime. Res64: 7A74029CE28E5B0F Time : 0.0 sec. user=mdettweiler [2010-06-08 19:24:58] 525*2^824830-1 is not prime. Res64: 61DBB946EE461B4B Time : 0.0 sec. user=mdettweiler [2010-06-08 19:24:59] 575*2^824830-1 is not prime. Res64: C0AA620E15A72B33 Time : 0.0 sec. user=mdettweiler [2010-06-08 19:45:07] 411*2^824831-1 is not prime. Res64: 0829344B1EE55DCE Time : 0.0 sec. user=mdettweiler [2010-06-08 19:45:08] 463*2^824831-1 is not prime. Res64: 341083553395C580 Time : 0.0 sec. user=mdettweiler [2010-06-08 19:45:11] 595*2^824831-1 is not prime. Res64: 3B94960F12B3F63B Time : 0.0 sec. user=mdettweiler [2010-06-08 19:46:17] 489*2^824832-1 is not prime. Res64: 520F476B38086AB4 Time : 0.0 sec. user=mdettweiler [2010-06-08 19:46:18] 555*2^824832-1 is not prime. Res64: 2755B3476DA55902 Time : 0.0 sec. user=mdettweiler [2010-06-08 19:46:18] 587*2^824832-1 is not prime. Res64: 1947E5EA236615C6 Time : 0.0 sec. user=mdettweiler [2010-06-08 19:51:17] 405*2^824833-1 is not prime. Res64: 01A7FD2C4373DE7E Time : 0.0 sec. user=mdettweiler [2010-06-08 19:51:18] 411*2^824833-1 is not prime. Res64: 69621E157FB2AE23 Time : 0.0 sec. user=mdettweiler [2010-06-08 19:51:19] 427*2^824833-1 is not prime. Res64: DF04B676E6333B0C Time : 0.0 sec. user=mdettweiler [2010-06-08 20:03:43] 537*2^823956-1 is not prime. Res64: 51F8647787181C4B Time : 0.0 sec. user=mdettweiler [2010-06-08 20:03:44] 477*2^824833-1 is not prime. Res64: E98DDDD6D93C42AD Time : 0.0 sec. user=mdettweiler [2010-06-08 20:03:44] 495*2^824833-1 is not prime. Res64: 6C292D14A2953C91 Time : 0.0 sec. user=mdettweiler [2010-06-08 20:24:01] 425*2^824834-1 is not prime. Res64: C069FE99BCE4C621 Time : 0.0 sec. user=mdettweiler [2010-06-08 20:24:01] 437*2^824834-1 is not prime. Res64: 0AAC9D6B5D63D15D Time : 0.0 sec. user=mdettweiler [2010-06-08 20:24:02] 585*2^824834-1 is not prime. Res64: 1D52D2A002D44156 Time : 0.0 sec. user=mdettweiler [2010-06-08 20:25:07] 501*2^824835-1 is not prime. Res64: 5FF8B34F1C256801 Time : 0.0 sec. user=mdettweiler [2010-06-08 20:25:07] 585*2^824835-1 is not prime. Res64: F8AC9B0C47CCA0CA Time : 0.0 sec. user=mdettweiler [2010-06-08 20:25:08] 413*2^824836-1 is not prime. Res64: 9E1C5572E3FCF899 Time : 0.0 sec. user=mdettweiler [2010-06-08 20:30:02] 465*2^824836-1 is not prime. Res64: FFA96E2532C1DEFD Time : 0.0 sec. user=mdettweiler [2010-06-08 20:30:03] 497*2^824836-1 is not prime. Res64: C1D6280B1CF5CB1F Time : 0.0 sec. user=mdettweiler [2010-06-08 20:30:03] 507*2^824836-1 is not prime. Res64: F181BFF234DB0D77 Time : 0.0 sec. user=mdettweiler [2010-06-08 20:42:16] 435*2^824837-1 is not prime. Res64: FFFA6C466601C6B0 Time : 0.0 sec. user=mdettweiler [2010-06-08 20:42:17] 439*2^824837-1 is not prime. Res64: 285400F6FFF09AA4 Time : 0.0 sec. user=mdettweiler [2010-06-08 20:42:17] 465*2^824837-1 is not prime. Res64: D539B726CBDC3F68 Time : 0.0 sec. user=mdettweiler [2010-06-08 21:07:16] 437*2^824838-1 is not prime. Res64: B270FF427E86A837 Time : 0.0 sec. user=mdettweiler [2010-06-08 21:07:17] 443*2^824838-1 is not prime. Res64: A26737F12FF40109 Time : 0.0 sec. user=mdettweiler [2010-06-08 21:07:17] 471*2^824838-1 is not prime. Res64: B1BB52190E303826 Time : 0.0 sec. user=mdettweiler [2010-06-08 21:07:22] 495*2^824837-1 is not prime. Res64: E41C1EB52987CF02 Time : 0.0 sec. user=mdettweiler [2010-06-08 21:07:22] 589*2^824837-1 is not prime. Res64: 03B58DD6E9661009 Time : 0.0 sec. user=mdettweiler [2010-06-08 21:07:23] 425*2^824838-1 is not prime. Res64: 7D8D8B8596EA97BB Time : 0.0 sec. user=mdettweiler [2010-06-08 21:20:07] 527*2^824838-1 is not prime. Res64: A0800100C00396DE Time : 0.0 sec. user=mdettweiler [2010-06-08 21:20:07] 441*2^824839-1 is not prime. Res64: E4D2153AA9D72DC2 Time : 0.0 sec. user=mdettweiler [2010-06-08 21:20:07] 463*2^824839-1 is not prime. Res64: CF22347BC535DEF1 Time : 0.0 sec. user=mdettweiler [2010-06-08 21:32:54] 499*2^824839-1 is not prime. Res64: 7926B4014D15CEE8 Time : 0.0 sec. user=mdettweiler [2010-06-08 21:32:55] 555*2^824839-1 is not prime. Res64: BCF911351378A25E Time : 0.0 sec. user=mdettweiler [2010-06-08 21:32:55] 559*2^824839-1 is not prime. Res64: E625B65B5D21BB08 Time : 0.0 sec. user=Sloth [2010-06-08 22:27:23] 567*2^824785-1 is not prime. Res64: 159E0D9B29425883 Time : 0.0 sec. user=Sloth [2010-06-08 22:27:24] 577*2^824785-1 is not prime. Res64: DFFDACC198AB40B7 Time : 0.0 sec. user=Sloth [2010-06-08 22:27:24] 407*2^824786-1 is not prime. Res64: 4E827AFA3630E4B5 Time : 0.0 sec. user=Sloth [2010-06-08 23:46:12] 417*2^824840-1 is not prime. Res64: D9602F8816EA8432 Time : 0.0 sec. user=Sloth [2010-06-08 23:46:12] 453*2^824840-1 is not prime. Res64: 78C02986C7835E30 Time : 0.0 sec. user=Sloth [2010-06-08 23:46:13] 405*2^824841-1 is not prime. Res64: F64C2ACC0543834C Time : 0.0 sec. user=Sloth [2010-06-09 01:05:01] 441*2^824841-1 is not prime. Res64: C9FED1691F122EAE Time : 0.0 sec. user=Sloth [2010-06-09 01:05:02] 529*2^824841-1 is not prime. Res64: AEAA7C2C596820CE Time : 0.0 sec. user=Sloth [2010-06-09 01:05:02] 535*2^824841-1 is not prime. Res64: 89C982882BCF8EBB Time : 0.0 sec. user=mdettweiler [2010-06-09 02:17:24] 529*2^824843-1 is not prime. Res64: F9E04B23E03E9ED4 Time : 0.0 sec. user=mdettweiler [2010-06-09 02:21:57] 423*2^824844-1 is not prime. Res64: DE09439BFFD85902 Time : 0.0 sec. user=Sloth [2010-06-09 02:23:48] 401*2^824842-1 is not prime. Res64: 333A52C379341C98 Time : 0.0 sec. user=Sloth [2010-06-09 02:23:49] 581*2^824842-1 is not prime. Res64: 6FAB7577C613FD61 Time : 0.0 sec. user=Sloth [2010-06-09 02:23:49] 481*2^824843-1 is not prime. Res64: 8D3B691F1C96B65F Time : 0.0 sec. user=mdettweiler [2010-06-09 02:30:16] 437*2^824844-1 is not prime. Res64: 4CE4F9F05DD4B147 Time : 0.0 sec. user=mdettweiler [2010-06-09 02:34:52] 473*2^824844-1 is not prime. Res64: 4C8C065EB83A31D5 Time : 0.0 sec. user=mdettweiler [2010-06-09 02:43:15] 537*2^824845-1 is not prime. Res64: DBFF11FFDE68DA0D Time : 0.0 sec. user=mdettweiler [2010-06-09 02:47:45] 547*2^824845-1 is not prime. Res64: 052EBD5188C7740F Time : 0.0 sec. user=mdettweiler [2010-06-09 02:56:09] 555*2^824845-1 is not prime. Res64: AB6C36E14433D4B8 Time : 0.0 sec. user=mdettweiler [2010-06-09 03:00:38] 591*2^824845-1 is not prime. Res64: CEB391BE17DDCE5C Time : 0.0 sec. user=mdettweiler [2010-06-09 03:09:02] 407*2^824846-1 is not prime. Res64: EC6B93827E97144F Time : 0.0 sec. user=mdettweiler [2010-06-09 03:13:33] 477*2^824846-1 is not prime. Res64: 073554DAE1D131CF Time : 0.0 sec. user=mdettweiler [2010-06-09 03:21:56] 545*2^824846-1 is not prime. Res64: 61DF5D0B5F9ABDC0 Time : 0.0 sec. user=mdettweiler [2010-06-09 03:26:26] 451*2^824847-1 is not prime. Res64: 6840E97330860966 Time : 0.0 sec. user=mdettweiler [2010-06-09 03:33:25] 493*2^824847-1 is not prime. Res64: C28D886BF6628B56 Time : 0.0 sec. user=mdettweiler [2010-06-09 03:34:49] 501*2^824847-1 is not prime. Res64: 3A781A87BB034B92 Time : 0.0 sec. user=mdettweiler [2010-06-09 03:38:36] 553*2^824847-1 is not prime. Res64: 21A33D838FEE8816 Time : 0.0 sec. user=mdettweiler [2010-06-09 03:39:18] 573*2^824847-1 is not prime. Res64: C2A1DB9F9C59632C Time : 0.0 sec. user=Sloth [2010-06-09 03:42:40] 503*2^824844-1 is not prime. Res64: A560B5B52EB95721 Time : 0.0 sec. user=Sloth [2010-06-09 03:42:41] 411*2^824845-1 is not prime. Res64: D43C675BCCEA47D5 Time : 0.0 sec. user=Sloth [2010-06-09 03:42:41] 499*2^824845-1 is not prime. Res64: 982438EFD63984DD Time : 0.0 sec. user=mdettweiler [2010-06-09 03:46:19] 429*2^824848-1 is not prime. Res64: 0C417075102D0487 Time : 0.0 sec. user=mdettweiler [2010-06-09 03:47:44] 465*2^824848-1 is not prime. Res64: 943ACD8DFD9613EA Time : 0.0 sec. user=mdettweiler [2010-06-09 03:51:30] 483*2^824848-1 is not prime. Res64: 1FFC0CA65D8BA000 Time : 0.0 sec. user=mdettweiler [2010-06-09 03:52:10] 513*2^824848-1 is not prime. Res64: 2C899770F704A9DD Time : 0.0 sec. user=mdettweiler [2010-06-09 03:59:12] 495*2^824849-1 is not prime. Res64: 1572CA700739B404 Time : 0.0 sec. user=mdettweiler [2010-06-09 04:00:39] 535*2^824849-1 is not prime. Res64: 02AC79FDDC6443BC Time : 0.0 sec. user=mdettweiler [2010-06-09 04:04:24] 561*2^824849-1 is not prime. Res64: 958897F1FE4BFA62 Time : 0.0 sec. user=mdettweiler [2010-06-09 04:05:09] 571*2^824849-1 is not prime. Res64: 634317840E986F81 Time : 0.0 sec. user=mdettweiler [2010-06-09 04:12:10] 579*2^824849-1 is not prime. Res64: 8F6F60CB39C24343 Time : 0.0 sec. user=mdettweiler [2010-06-09 04:13:35] 465*2^824850-1 is not prime. Res64: CF84115E9666AB41 Time : 0.0 sec. user=mdettweiler [2010-06-09 04:17:18] 483*2^824850-1 is not prime. Res64: AE86B2E69FFA0EAA Time : 0.0 sec. user=mdettweiler [2010-06-09 04:18:04] 513*2^824850-1 is not prime. Res64: 9C2315429D2611A0 Time : 0.0 sec. user=mdettweiler [2010-06-09 04:25:03] 451*2^824851-1 is not prime. Res64: 69D45172F9130528 Time : 0.0 sec. user=mdettweiler [2010-06-09 04:26:34] 447*2^824852-1 is not prime. Res64: AB1D14DEFB6ECAD7 Time : 0.0 sec. user=mdettweiler [2010-06-09 04:30:21] 449*2^824852-1 is not prime. Res64: 155E39591D2EFDC5 Time : 0.0 sec. user=mdettweiler [2010-06-09 04:31:08] 495*2^824852-1 is not prime. Res64: A0F21D7BFF28DB11 Time : 0.0 sec. user=mdettweiler [2010-06-09 04:38:25] 519*2^824852-1 is not prime. Res64: 71EEB9AB82F0BAA1 Time : 0.0 sec. user=mdettweiler [2010-06-09 04:39:54] 427*2^824853-1 is not prime. Res64: F9EFB13AA58C173B Time : 0.0 sec. user=mdettweiler [2010-06-09 04:43:41] 571*2^824853-1 is not prime. Res64: 949F2B0504890785 Time : 0.0 sec. user=mdettweiler [2010-06-09 04:44:14] 585*2^824853-1 is not prime. Res64: D26E67C0C2C0951C Time : 0.0 sec. user=mdettweiler [2010-06-09 04:52:33] 461*2^824854-1 is not prime. Res64: 237413D656E9AFEA Time : 0.0 sec. user=mdettweiler [2010-06-09 04:53:51] 477*2^824854-1 is not prime. Res64: D9E6F01E22018D52 Time : 0.0 sec.