user=Sloth [2010-06-28 06:08:25] 451*2^825319-1 is not prime. Res64: EB2546915EE835B4 Time : 0.0 sec. user=Sloth [2010-06-28 06:08:26] 595*2^825319-1 is not prime. Res64: 32BC9D2265FE00D1 Time : 0.0 sec. user=Sloth [2010-06-28 06:08:27] 455*2^825320-1 is not prime. Res64: 4DFDFF0AA189DB11 Time : 0.0 sec. user=Sloth [2010-06-28 07:25:46] 459*2^825321-1 is not prime. Res64: 9EFB6DDE1FE30F0C Time : 0.0 sec. user=Sloth [2010-06-28 07:25:47] 465*2^825321-1 is not prime. Res64: C0E19484E52AED32 Time : 0.0 sec. user=Sloth [2010-06-28 07:25:47] 475*2^825321-1 is not prime. Res64: 11091E7C741D54B7 Time : 0.0 sec. user=Sloth [2010-06-28 08:44:00] 517*2^825321-1 is not prime. Res64: DEA6EF92D911DA80 Time : 0.0 sec. user=Sloth [2010-06-28 08:44:01] 555*2^825321-1 is not prime. Res64: 030455EC9D38217C Time : 0.0 sec. user=Sloth [2010-06-28 08:44:01] 565*2^825321-1 is not prime. Res64: C8FA32DCC3C0EC4D Time : 0.0 sec. user=mdettweiler [2010-06-28 09:46:52] 521*2^825322-1 is not prime. Res64: 3E7B68C3FBA51C1C Time : 0.0 sec. user=mdettweiler [2010-06-28 09:52:33] 527*2^825322-1 is not prime. Res64: 3403498C0612C873 Time : 0.0 sec. user=mdettweiler [2010-06-28 09:59:45] 593*2^825322-1 is not prime. Res64: DACD84E7327305B8 Time : 0.0 sec. user=mdettweiler [2010-06-28 10:00:26] 561*2^825322-1 is not prime. Res64: 66FA2571A5CAB9B7 Time : 0.0 sec. user=Sloth [2010-06-28 10:01:34] 597*2^825321-1 is not prime. Res64: B81C36BA59B68174 Time : 0.0 sec. user=Sloth [2010-06-28 10:01:35] 471*2^825322-1 is not prime. Res64: 94C6DA662B270AA5 Time : 0.0 sec. user=Sloth [2010-06-28 10:01:35] 497*2^825322-1 is not prime. Res64: 6046D1D6DFF55863 Time : 0.0 sec. user=mdettweiler [2010-06-28 10:05:26] 501*2^825323-1 is not prime. Res64: 06B456F87668253D Time : 0.0 sec. user=mdettweiler [2010-06-28 10:08:04] 585*2^825323-1 is not prime. Res64: 497587552A2CDF3A Time : 0.0 sec. user=mdettweiler [2010-06-28 10:12:39] 587*2^825324-1 is not prime. Res64: C206FAE0061C6105 Time : 0.0 sec. user=mdettweiler [2010-06-28 10:18:21] 577*2^825325-1 is not prime. Res64: D0FBF936DB661581 Time : 0.0 sec. user=mdettweiler [2010-06-28 10:18:24] 465*2^825325-1 is not prime. Res64: 86D18027561AEF94 Time : 0.0 sec. user=mdettweiler [2010-06-28 10:20:58] 597*2^825325-1 is not prime. Res64: 5E4DCE1A317409FA Time : 0.0 sec. user=mdettweiler [2010-06-28 10:25:33] 405*2^825326-1 is not prime. Res64: 537846E7CDBD0DEB Time : 0.0 sec. user=mdettweiler [2010-06-28 10:31:15] 417*2^825326-1 is not prime. Res64: 5A3CFD2D8EAAACDD Time : 0.0 sec. user=mdettweiler [2010-06-28 10:33:11] 559*2^825327-1 is not prime. Res64: 9A18B0AD2EFA9A0A Time : 0.0 sec. user=mdettweiler [2010-06-28 10:33:52] 571*2^825327-1 is not prime. Res64: 7E3C78253C4ECD72 Time : 0.0 sec. user=mdettweiler [2010-06-28 10:36:34] 551*2^825326-1 is not prime. Res64: 741F06BDF55A0AD5 Time : 0.0 sec. user=mdettweiler [2010-06-28 10:38:26] 413*2^825328-1 is not prime. Res64: B5B7001E6FB21571 Time : 0.0 sec. user=mdettweiler [2010-06-28 10:44:11] 435*2^825328-1 is not prime. Res64: AA339FD2C04865AB Time : 0.0 sec. user=mdettweiler [2010-06-28 10:46:05] 539*2^825328-1 is not prime. Res64: FC1617653194D886 Time : 0.0 sec. user=mdettweiler [2010-06-28 10:46:45] 481*2^825329-1 is not prime. Res64: 6FCFEE1D15DF2B06 Time : 0.0 sec. user=mdettweiler [2010-06-28 10:51:21] 571*2^825329-1 is not prime. Res64: 02CB651C2E7481E3 Time : 0.0 sec. user=mdettweiler [2010-06-28 10:57:04] 411*2^825330-1 is not prime. Res64: BA9BE516ED7BC081 Time : 0.0 sec. user=mdettweiler [2010-06-28 10:59:00] 437*2^825330-1 is not prime. Res64: 53754E12A1A6EB78 Time : 0.0 sec. user=mdettweiler [2010-06-28 10:59:38] 465*2^825330-1 is not prime. Res64: 5538D0F73B9D24BE Time : 0.0 sec. user=mdettweiler [2010-06-28 11:00:30] 567*2^825329-1 is not prime. Res64: 4806C2EE49261890 Time : 0.0 sec. user=mdettweiler [2010-06-28 11:04:15] 473*2^825330-1 is not prime. Res64: D54E6D3C2396E527 Time : 0.0 sec. user=mdettweiler [2010-06-28 11:09:59] 483*2^825330-1 is not prime. Res64: 9D0A7618500AAD8F Time : 0.0 sec. user=mdettweiler [2010-06-28 11:11:53] 567*2^825330-1 is not prime. Res64: B00BEF72183D88C5 Time : 0.0 sec. user=mdettweiler [2010-06-28 11:12:32] 493*2^825331-1 is not prime. Res64: 0D99021C842D00DB Time : 0.0 sec. user=mdettweiler [2010-06-28 11:17:12] 531*2^825331-1 is not prime. Res64: BA0FEA05D81041DB Time : 0.0 sec. user=mdettweiler [2010-06-28 11:17:47] 511*2^825331-1 is not prime. Res64: 232EE479A2F9730E Time : 0.0 sec. user=mdettweiler [2010-06-28 11:22:55] 535*2^825331-1 is not prime. Res64: DB71B1333D76FE9A Time : 0.0 sec. user=mdettweiler [2010-06-28 11:24:46] 549*2^825331-1 is not prime. Res64: 81A5E7E61002A54F Time : 0.0 sec. user=mdettweiler [2010-06-28 11:25:26] 515*2^825332-1 is not prime. Res64: E14083CC4EBAB8C0 Time : 0.0 sec. user=mdettweiler [2010-06-28 11:30:08] 539*2^825332-1 is not prime. Res64: F2BD0142BD91DAE4 Time : 0.0 sec. user=mdettweiler [2010-06-28 11:35:13] 579*2^825332-1 is not prime. Res64: 7AD5A8201A8C9D28 Time : 0.0 sec. user=mdettweiler [2010-06-28 11:35:51] 459*2^825333-1 is not prime. Res64: 65F7EB33D573EE46 Time : 0.0 sec. user=mdettweiler [2010-06-28 11:37:40] 495*2^825333-1 is not prime. Res64: 6CAEE76C0FAA6A03 Time : 0.0 sec. user=mdettweiler [2010-06-28 11:38:23] 517*2^825333-1 is not prime. Res64: D1F7F93E13314474 Time : 0.0 sec. user=mdettweiler [2010-06-28 11:43:00] 571*2^825333-1 is not prime. Res64: 179C2D6D91D84506 Time : 0.0 sec. user=mdettweiler [2010-06-28 11:48:45] 465*2^825334-1 is not prime. Res64: 0A954AD34A87B3E4 Time : 0.0 sec. user=mdettweiler [2010-06-28 11:50:34] 495*2^825334-1 is not prime. Res64: 6F931F11B02232E3 Time : 0.0 sec. user=mdettweiler [2010-06-28 11:51:17] 545*2^825334-1 is not prime. Res64: DE1FD53226D2F60C Time : 0.0 sec. user=mdettweiler [2010-06-28 11:52:37] 577*2^825333-1 is not prime. Res64: E7025E148360EF22 Time : 0.0 sec. user=mdettweiler [2010-06-28 11:55:53] 575*2^825334-1 is not prime. Res64: 4F71A21F46298E04 Time : 0.0 sec. user=mdettweiler [2010-06-28 12:01:40] 421*2^825335-1 is not prime. Res64: FD3AADDBDB4B84F8 Time : 0.0 sec. user=mdettweiler [2010-06-28 12:03:37] 441*2^825335-1 is not prime. Res64: C565C766125A0073 Time : 0.0 sec. user=mdettweiler [2010-06-28 12:04:11] 465*2^825336-1 is not prime. Res64: 015A45EA08DAC2EA Time : 0.0 sec. user=mdettweiler [2010-06-28 12:08:54] 503*2^825336-1 is not prime. Res64: EC218E0CA870797E Time : 0.0 sec. user=mdettweiler [2010-06-28 12:09:57] 479*2^825336-1 is not prime. Res64: B71A7C4CBDB90442 Time : 0.0 sec. user=mdettweiler [2010-06-28 12:14:49] 509*2^825336-1 is not prime. Res64: 1AF724FA5BDDE87F Time : 0.0 sec. user=mdettweiler [2010-06-28 12:16:33] 539*2^825336-1 is not prime. Res64: 45861B56945156F4 Time : 0.0 sec. user=mdettweiler [2010-06-28 12:17:04] 457*2^825337-1 is not prime. Res64: 4B272F727ABBFB14 Time : 0.0 sec. user=mdettweiler [2010-06-28 12:21:46] 469*2^825337-1 is not prime. Res64: DAD54A9319DAF6D4 Time : 0.0 sec. user=mdettweiler [2010-06-28 12:27:20] 511*2^825337-1 is not prime. Res64: 69FA213189B97F4E Time : 0.0 sec. user=mdettweiler [2010-06-28 12:27:43] 555*2^825337-1 is not prime. Res64: BD5ADD8E504DFEE5 Time : 0.0 sec. user=mdettweiler [2010-06-28 12:29:27] 497*2^825338-1 is not prime. Res64: EE293334F1D69277 Time : 0.0 sec. user=mdettweiler [2010-06-28 12:29:57] 507*2^825338-1 is not prime. Res64: 79DE6F10A879E0D4 Time : 0.0 sec. user=mdettweiler [2010-06-28 12:34:40] 483*2^825339-1 is not prime. Res64: 36904374457B9E29 Time : 0.0 sec. user=mdettweiler [2010-06-28 12:40:37] 533*2^825340-1 is not prime. Res64: 2EB1E43CA72402AD Time : 0.0 sec. user=mdettweiler [2010-06-28 12:42:20] 409*2^825341-1 is not prime. Res64: E6F04F18788385E6 Time : 0.0 sec. user=mdettweiler [2010-06-28 12:42:51] 477*2^825341-1 is not prime. Res64: 94574A1F588E3A8D Time : 0.0 sec. user=mdettweiler [2010-06-28 12:44:33] 449*2^825340-1 is not prime. Res64: 5F70E3D6022DEA01 Time : 0.0 sec. user=mdettweiler [2010-06-28 12:47:35] 511*2^825341-1 is not prime. Res64: FF886005CD90C474 Time : 0.0 sec. user=mdettweiler [2010-06-28 12:53:29] 471*2^825342-1 is not prime. Res64: ADD2D01700DD77B2 Time : 0.0 sec. user=mdettweiler [2010-06-28 12:55:12] 483*2^825342-1 is not prime. Res64: 38592820624DBF7A Time : 0.0 sec. user=mdettweiler [2010-06-28 12:55:44] 563*2^825342-1 is not prime. Res64: 75256EE177BC67AB Time : 0.0 sec. user=mdettweiler [2010-06-28 13:00:31] 411*2^825343-1 is not prime. Res64: E28D8CBBC8135793 Time : 0.0 sec. user=mdettweiler [2010-06-28 13:01:58] 593*2^825342-1 is not prime. Res64: A61FA59C415E2DDA Time : 0.0 sec. user=mdettweiler [2010-06-28 13:06:23] 463*2^825343-1 is not prime. Res64: 4B691471F6D7FD73 Time : 0.0 sec. user=mdettweiler [2010-06-28 13:08:05] 465*2^825343-1 is not prime. Res64: FE31EA56112E3C9E Time : 0.0 sec. user=mdettweiler [2010-06-28 13:08:39] 483*2^825343-1 is not prime. Res64: 9EC6C296818BB847 Time : 0.0 sec. user=mdettweiler [2010-06-28 13:13:28] 493*2^825343-1 is not prime. Res64: 3D474A9EDB52B2C0 Time : 0.0 sec. user=mdettweiler [2010-06-28 13:19:17] 541*2^825343-1 is not prime. Res64: 28DE45E4A6214673 Time : 0.0 sec. user=mdettweiler [2010-06-28 13:19:26] 523*2^825343-1 is not prime. Res64: DA9C9A8E22CBE519 Time : 0.0 sec. user=mdettweiler [2010-06-28 13:20:59] 595*2^825343-1 is not prime. Res64: C1B0500D6D8DB53C Time : 0.0 sec. user=mdettweiler [2010-06-28 13:21:36] 465*2^825344-1 is not prime. Res64: 1006B91EBF3BB83B Time : 0.0 sec. user=mdettweiler [2010-06-28 13:26:21] 507*2^825344-1 is not prime. Res64: D7220A4152D979E7 Time : 0.0 sec. user=mdettweiler [2010-06-28 13:32:12] 573*2^825344-1 is not prime. Res64: 56C5F66F35B6071F Time : 0.0 sec. user=mdettweiler [2010-06-28 13:33:54] 445*2^825345-1 is not prime. Res64: 1B8D9FF6A5DD33BC Time : 0.0 sec. user=mdettweiler [2010-06-28 13:34:29] 529*2^825345-1 is not prime. Res64: B0325619803EA8C6 Time : 0.0 sec. user=mdettweiler [2010-06-28 13:36:51] 585*2^825344-1 is not prime. Res64: A11A7DF76D47B96C Time : 0.0 sec. user=mdettweiler [2010-06-28 13:39:14] 443*2^825346-1 is not prime. Res64: 0442126695443661 Time : 0.0 sec. user=mdettweiler [2010-06-28 13:45:08] 453*2^825346-1 is not prime. Res64: 579FD7B32C3E1FC4 Time : 0.0 sec. user=mdettweiler [2010-06-28 13:46:47] 497*2^825346-1 is not prime. Res64: D34D05B6EC2E4F5A Time : 0.0 sec. user=mdettweiler [2010-06-28 13:47:23] 545*2^825346-1 is not prime. Res64: 6EDB529DE5B35564 Time : 0.0 sec. user=mdettweiler [2010-06-28 13:52:09] 437*2^825348-1 is not prime. Res64: EB1F1D3B0A994727 Time : 0.0 sec. user=mdettweiler [2010-06-28 13:54:21] 511*2^825347-1 is not prime. Res64: AF32A12EFC4057BC Time : 0.0 sec. user=mdettweiler [2010-06-28 13:58:02] 483*2^825348-1 is not prime. Res64: 8EAFF09A67201C92 Time : 0.0 sec. user=mdettweiler [2010-06-28 13:59:41] 597*2^825348-1 is not prime. Res64: 5DE8998D3A602309 Time : 0.0 sec. user=mdettweiler [2010-06-28 14:00:16] 439*2^825349-1 is not prime. Res64: 67D964F6A27202DD Time : 0.0 sec. user=mdettweiler [2010-06-28 14:05:01] 481*2^825349-1 is not prime. Res64: 30208F4CEF914D5E Time : 0.0 sec. user=mdettweiler [2010-06-28 14:10:56] 593*2^825350-1 is not prime. Res64: 646142E17BAF14D1 Time : 0.0 sec. user=mdettweiler [2010-06-28 14:12:14] 561*2^825349-1 is not prime. Res64: AA904E12048E09FC Time : 0.0 sec. user=mdettweiler [2010-06-28 14:12:36] 493*2^825351-1 is not prime. Res64: C35D5E3FA19CB3D2 Time : 0.0 sec. user=mdettweiler [2010-06-28 14:13:08] 513*2^825351-1 is not prime. Res64: 2B3D40F4170C795C Time : 0.0 sec. user=mdettweiler [2010-06-28 14:17:56] 535*2^825351-1 is not prime. Res64: D5FF6A81C232462D Time : 0.0 sec. user=mdettweiler [2010-06-28 14:23:52] 585*2^825351-1 is not prime. Res64: 4D664CA362591985 Time : 0.0 sec. user=mdettweiler [2010-06-28 14:25:33] 413*2^825352-1 is not prime. Res64: 0CBC3C7245E3C764 Time : 0.0 sec. user=mdettweiler [2010-06-28 14:26:02] 419*2^825352-1 is not prime. Res64: 0F1625856485543C Time : 0.0 sec. user=mdettweiler [2010-06-28 14:29:51] 405*2^825352-1 is not prime. Res64: 6DA2BBC3E49F886F Time : 0.0 sec. user=mdettweiler [2010-06-28 14:30:58] 527*2^825352-1 is not prime. Res64: 9795E192BB1CBAB3 Time : 0.0 sec. user=mdettweiler [2010-06-28 14:36:56] 549*2^825352-1 is not prime. Res64: 6119220D59E03CE8 Time : 0.0 sec. user=mdettweiler [2010-06-28 14:38:32] 573*2^825352-1 is not prime. Res64: AED6016C7F5D7ED4 Time : 0.0 sec. user=mdettweiler [2010-06-28 14:39:11] 441*2^825353-1 is not prime. Res64: 9AFEE0E473A7BC87 Time : 0.0 sec. user=mdettweiler [2010-06-28 14:43:55] 507*2^825353-1 is not prime. Res64: DD04EDCA8625E929 Time : 0.0 sec. user=mdettweiler [2010-06-28 14:47:16] 445*2^825353-1 is not prime. Res64: A9EA060D57747ACD Time : 0.0 sec. user=mdettweiler [2010-06-28 14:49:53] 589*2^825353-1 is not prime. Res64: 366C02577126515F Time : 0.0 sec. user=mdettweiler [2010-06-28 14:51:25] 413*2^825354-1 is not prime. Res64: 5079D96FA6A19A38 Time : 0.0 sec. user=mdettweiler [2010-06-28 14:52:04] 453*2^825354-1 is not prime. Res64: 7844C78A0E95C073 Time : 0.0 sec. user=mdettweiler [2010-06-28 14:56:52] 473*2^825354-1 is not prime. Res64: 8EAB05F05DF0A8E2 Time : 0.0 sec. user=mdettweiler [2010-06-28 15:02:47] 573*2^825354-1 is not prime. Res64: 63922FDB871AB6E3 Time : 0.0 sec. user=mdettweiler [2010-06-28 15:04:21] 441*2^825355-1 is not prime. Res64: 7B465150DF9CA9AD Time : 0.0 sec. user=mdettweiler [2010-06-28 15:04:58] 451*2^825355-1 is not prime. Res64: 211AA8B207955042 Time : 0.0 sec. user=mdettweiler [2010-06-28 15:06:10] 507*2^825354-1 is not prime. Res64: 6228D81AAA6FC41B Time : 0.0 sec. user=mdettweiler [2010-06-28 15:09:47] 583*2^825355-1 is not prime. Res64: 302016D6008FD05A Time : 0.0 sec. user=mdettweiler [2010-06-28 15:15:42] 405*2^825356-1 is not prime. Res64: F421B148144BFD5A Time : 0.0 sec. user=mdettweiler [2010-06-28 15:17:15] 507*2^825356-1 is not prime. Res64: 39A7CE53BA1B4485 Time : 0.0 sec. user=mdettweiler [2010-06-28 15:17:56] 441*2^825357-1 is not prime. Res64: 9FAEEA8BD1DC8CE6 Time : 0.0 sec. user=mdettweiler [2010-06-28 15:22:42] 469*2^825357-1 is not prime. Res64: E81AFFCB8F6D9A9D Time : 0.0 sec. user=mdettweiler [2010-06-28 15:28:38] 471*2^825357-1 is not prime. Res64: 5C28177ABA6DE055 Time : 0.0 sec. user=mdettweiler [2010-06-28 15:30:10] 555*2^825357-1 is not prime. Res64: 08ABB6966E5513A0 Time : 0.0 sec. user=mdettweiler [2010-06-28 15:30:50] 467*2^825358-1 is not prime. Res64: 38E8D9FB3C7B2D2A Time : 0.0 sec. user=mdettweiler [2010-06-28 15:35:37] 411*2^825359-1 is not prime. Res64: 83CEA9B0DD4B49CC Time : 0.0 sec. user=Sloth [2010-06-28 22:26:08] 519*2^825325-1 is not prime. Res64: C6C48038D0132DBF Time : 0.0 sec. user=Sloth [2010-06-28 22:26:09] 525*2^825325-1 is not prime. Res64: 923A88D1F5CDB3EC Time : 0.0 sec. user=Sloth [2010-06-28 22:26:09] 555*2^825325-1 is not prime. Res64: 4B93C0F47E3D2D8F Time : 0.0 sec. user=Sloth [2010-06-28 23:43:39] 441*2^825359-1 is not prime. Res64: E61BC5E0631D1315 Time : 0.0 sec. user=Sloth [2010-06-28 23:43:39] 523*2^825359-1 is not prime. Res64: D2E9C3E4E67C394F Time : 0.0 sec. user=Sloth [2010-06-28 23:43:40] 531*2^825359-1 is not prime. Res64: C3C06553294520BD Time : 0.0 sec. user=Sloth [2010-06-29 01:01:06] 571*2^825359-1 is not prime. Res64: 4D8EA061C24C705F Time : 0.0 sec. user=Sloth [2010-06-29 01:01:06] 589*2^825359-1 is not prime. Res64: 15FB26DC93CD06E5 Time : 0.0 sec. user=Sloth [2010-06-29 01:01:07] 499*2^825361-1 is not prime. Res64: 98F0DBFE3EAF840A Time : 0.0 sec. user=Sloth [2010-06-29 02:18:27] 565*2^825361-1 is not prime. Res64: 2543BDA030F19C80 Time : 0.0 sec. user=Sloth [2010-06-29 02:18:28] 423*2^825362-1 is not prime. Res64: 3C3334A765D9F895 Time : 0.0 sec. user=Sloth [2010-06-29 02:18:28] 477*2^825362-1 is not prime. Res64: 556A92709A489E06 Time : 0.0 sec. user=Sloth [2010-06-29 03:35:58] 507*2^825362-1 is not prime. Res64: CBF512541F502B21 Time : 0.0 sec. user=Sloth [2010-06-29 03:35:58] 563*2^825362-1 is not prime. Res64: 2CADB59C245A8457 Time : 0.0 sec. user=Sloth [2010-06-29 03:35:59] 451*2^825363-1 is not prime. Res64: 28312CF0B0BE1574 Time : 0.0 sec. user=Sloth [2010-06-29 04:53:25] 501*2^825363-1 is not prime. Res64: B0086DB9BA589662 Time : 0.0 sec. user=Sloth [2010-06-29 04:53:26] 595*2^825363-1 is not prime. Res64: B350C76C047B5129 Time : 0.0 sec. user=Sloth [2010-06-29 04:53:26] 423*2^825364-1 is not prime. Res64: F7D66F20D993674E Time : 0.0 sec.