user=mdettweiler [2012-09-18 00:01:54] 635*2^1228848-1 is not prime. Res64: EF7CD85BF9E32656 Time : 0.0 sec. user=mdettweiler [2012-09-18 00:01:54] 705*2^1228848-1 is not prime. Res64: 948C1D7870A80FF3 Time : 0.0 sec. user=mdettweiler [2012-09-18 00:16:18] 753*2^1228848-1 is not prime. Res64: A672FA2A77BE8B05 Time : 0.0 sec. user=mdettweiler [2012-09-18 00:16:21] 797*2^1228848-1 is not prime. Res64: 9684B192C574981C Time : 0.0 sec. user=mdettweiler [2012-09-18 00:22:37] 825*2^1228848-1 is not prime. Res64: CB1158740DCB3D1C Time : 0.0 sec. user=mdettweiler [2012-09-18 00:22:38] 843*2^1228848-1 is not prime. Res64: 7122F52A8FECCA9C Time : 0.0 sec. user=vaughan [2012-09-18 00:35:54] 815*2^1228848-1 is not prime. Res64: 861B92EF5F588256 Time : 0.0 sec. user=mdettweiler [2012-09-18 00:37:07] 875*2^1228848-1 is not prime. Res64: 003A3D0C76C388B5 Time : 0.0 sec. user=mdettweiler [2012-09-18 00:37:08] 685*2^1228849-1 is not prime. Res64: D460FEE67636C93B Time : 0.0 sec. user=mdettweiler [2012-09-18 00:43:14] 687*2^1228849-1 is not prime. Res64: 6C8846CE66DBBD2A Time : 0.0 sec. user=mdettweiler [2012-09-18 00:43:15] 691*2^1228849-1 is not prime. Res64: 0314F27FA894D15B Time : 0.0 sec. user=mdettweiler [2012-09-18 00:57:42] 751*2^1228849-1 is not prime. Res64: DE29C7F3EB4FE673 Time : 0.0 sec. user=mdettweiler [2012-09-18 00:57:43] 801*2^1228849-1 is not prime. Res64: E77D8D435CCB6A9B Time : 0.0 sec. user=mdettweiler [2012-09-18 01:03:48] 831*2^1228849-1 is not prime. Res64: 45FDBB19EDD9EEC2 Time : 0.0 sec. user=mdettweiler [2012-09-18 01:03:50] 877*2^1228849-1 is not prime. Res64: 5BCB63D17E6841A1 Time : 0.0 sec. user=vaughan [2012-09-18 01:13:45] 741*2^1228849-1 is not prime. Res64: 869DB2625D7F3EDA Time : 0.0 sec. user=mdettweiler [2012-09-18 01:18:20] 945*2^1228849-1 is not prime. Res64: 3B2D19D1B43ED3A5 Time : 0.0 sec. user=mdettweiler [2012-09-18 01:18:21] 967*2^1228849-1 is not prime. Res64: 161800BBBAC11B47 Time : 0.0 sec. user=mdettweiler [2012-09-18 01:24:29] 615*2^1228850-1 is not prime. Res64: D7ADC9E1D643590C Time : 0.0 sec. user=mdettweiler [2012-09-18 01:24:30] 635*2^1228850-1 is not prime. Res64: E1FEDF3A142C3964 Time : 0.0 sec. user=mdettweiler [2012-09-18 01:39:04] 665*2^1228850-1 is not prime. Res64: AE4A3AE9C2B9E169 Time : 0.0 sec. user=mdettweiler [2012-09-18 01:39:05] 687*2^1228850-1 is not prime. Res64: 7C7BB438501B9894 Time : 0.0 sec. user=mdettweiler [2012-09-18 01:45:08] 731*2^1228850-1 is not prime. Res64: C57322356EC85584 Time : 0.0 sec. user=mdettweiler [2012-09-18 01:45:10] 743*2^1228850-1 is not prime. Res64: 2AAF1809481B79AE Time : 0.0 sec. user=mdettweiler [2012-09-18 01:59:39] 831*2^1228850-1 is not prime. Res64: BE6529E866528674 Time : 0.0 sec. user=mdettweiler [2012-09-18 01:59:40] 851*2^1228850-1 is not prime. Res64: 670D9C3BFA244D29 Time : 0.0 sec. user=mdettweiler [2012-09-18 02:05:47] 953*2^1228850-1 is not prime. Res64: 7F628C5D3C7B8C99 Time : 0.0 sec. user=mdettweiler [2012-09-18 02:05:49] 679*2^1228851-1 is not prime. Res64: 8E8611F3CAAE52FF Time : 0.0 sec. user=mdettweiler [2012-09-18 02:20:15] 781*2^1228851-1 is not prime. Res64: AC73D2FC28104315 Time : 0.0 sec. user=mdettweiler [2012-09-18 02:20:16] 943*2^1228851-1 is not prime. Res64: 5CDFA9E62A66BE98 Time : 0.0 sec. user=mdettweiler [2012-09-18 02:26:29] 945*2^1228851-1 is not prime. Res64: F472DA66F85A2965 Time : 0.0 sec. user=mdettweiler [2012-09-18 02:26:30] 973*2^1228851-1 is not prime. Res64: B84E8278DDA2F8AD Time : 0.0 sec. user=vaughan [2012-09-18 02:29:43] 735*2^1228851-1 is not prime. Res64: F3CF3CC1295A84D2 Time : 0.0 sec. user=mdettweiler [2012-09-18 02:40:54] 695*2^1228852-1 is not prime. Res64: CF0B2BADFD9D55A3 Time : 0.0 sec. user=mdettweiler [2012-09-18 02:40:58] 759*2^1228852-1 is not prime. Res64: E11B2A2162E449F3 Time : 0.0 sec. user=mdettweiler [2012-09-18 02:47:09] 995*2^1228852-1 is not prime. Res64: 5B96A13E8950A7F8 Time : 0.0 sec. user=mdettweiler [2012-09-18 02:47:11] 649*2^1228853-1 is not prime. Res64: 1CAA4B87305E55D5 Time : 0.0 sec. user=gd_barnes [2012-09-18 02:48:51] 653*2^1228852-1 is not prime. Res64: D34495B948A150C7 Time : 0.0 sec. user=mdettweiler [2012-09-18 03:01:54] 885*2^1228853-1 is not prime. Res64: 977452A72433651E Time : 0.0 sec. user=mdettweiler [2012-09-18 03:01:56] 657*2^1228854-1 is not prime. Res64: 85CC7CBD0444DC5A Time : 0.0 sec. user=vaughan [2012-09-18 03:07:24] 867*2^1228853-1 is not prime. Res64: FD08575F45ECB375 Time : 0.0 sec. user=mdettweiler [2012-09-18 03:07:56] 717*2^1228854-1 is not prime. Res64: 2F87719EFD9CF4B9 Time : 0.0 sec. user=mdettweiler [2012-09-18 03:07:58] 773*2^1228854-1 is not prime. Res64: 3417D46A4B300107 Time : 0.0 sec. user=mdettweiler [2012-09-18 03:22:46] 887*2^1228854-1 is not prime. Res64: 2742DFC694CC27A5 Time : 0.0 sec. user=mdettweiler [2012-09-18 03:22:47] 819*2^1228855-1 is not prime. Res64: C75E61E7112AA509 Time : 0.0 sec. user=mdettweiler [2012-09-18 03:28:33] 999*2^1228855-1 is not prime. Res64: D540DF932A37E87C Time : 0.0 sec. user=mdettweiler [2012-09-18 03:28:34] 603*2^1228856-1 is not prime. Res64: 74DD5AFADD1489D0 Time : 0.0 sec. user=mdettweiler [2012-09-18 03:43:23] 615*2^1228856-1 is not prime. Res64: DA729F03274BB4E9 Time : 0.0 sec. user=mdettweiler [2012-09-18 03:43:24] 693*2^1228856-1 is not prime. Res64: 1B5C148976AC80F0 Time : 0.0 sec. user=vaughan [2012-09-18 03:45:23] 885*2^1228855-1 is not prime. Res64: F7267136E8203D94 Time : 0.0 sec. user=mdettweiler [2012-09-18 03:49:07] 725*2^1228856-1 is not prime. Res64: 30C4B8155982E5E0 Time : 0.0 sec. user=mdettweiler [2012-09-18 03:49:09] 759*2^1228856-1 is not prime. Res64: 683D79BE12C827BD Time : 0.0 sec. user=mdettweiler [2012-09-18 04:04:03] 813*2^1228856-1 is not prime. Res64: EBBDC32FD2334440 Time : 0.0 sec. user=mdettweiler [2012-09-18 04:04:06] 825*2^1228856-1 is not prime. Res64: C9BFCFDDCC085532 Time : 0.0 sec. user=mdettweiler [2012-09-18 04:09:40] 669*2^1228857-1 is not prime. Res64: 1A41D92F36E6AA6B Time : 0.0 sec. user=mdettweiler [2012-09-18 04:09:41] 747*2^1228857-1 is not prime. Res64: 088732BFCEA2CEEB Time : 0.0 sec. user=vaughan [2012-09-18 04:23:15] 999*2^1228856-1 is not prime. Res64: A8BBBE5AD0BB8C2C Time : 0.0 sec. user=mdettweiler [2012-09-18 04:24:40] 861*2^1228857-1 is not prime. Res64: 7AD8ACF1F8A91CC5 Time : 0.0 sec. user=mdettweiler [2012-09-18 04:24:41] 975*2^1228857-1 is not prime. Res64: BDEBAA69C128422E Time : 0.0 sec. user=mdettweiler [2012-09-18 04:30:17] 985*2^1228857-1 is not prime. Res64: C1A8D6DF34407487 Time : 0.0 sec. user=mdettweiler [2012-09-18 04:30:20] 997*2^1228857-1 is not prime. Res64: 4C670C637D7E9F45 Time : 0.0 sec. user=mdettweiler [2012-09-18 04:45:10] 681*2^1228858-1 is not prime. Res64: 175B00FF45DDA3CA Time : 0.0 sec. user=mdettweiler [2012-09-18 04:45:11] 755*2^1228858-1 is not prime. Res64: 08741A0D5C8B276F Time : 0.0 sec. user=mdettweiler [2012-09-18 04:50:53] 915*2^1228858-1 is not prime. Res64: 399DD312F9E70E05 Time : 0.0 sec. user=mdettweiler [2012-09-18 04:50:53] 923*2^1228858-1 is not prime. Res64: 1F07DC40C734AE7A Time : 0.0 sec. user=vaughan [2012-09-18 05:01:08] 665*2^1228858-1 is not prime. Res64: FFDED975DA3BB0C9 Time : 0.0 sec. user=mdettweiler [2012-09-18 05:05:45] 945*2^1228858-1 is not prime. Res64: 26F32EDBC0409AC7 Time : 0.0 sec. user=mdettweiler [2012-09-18 05:05:46] 1001*2^1228858-1 is not prime. Res64: 3839806BD4A3E063 Time : 0.0 sec. user=mdettweiler [2012-09-18 05:11:21] 601*2^1228859-1 is not prime. Res64: 18A76C3549F5B21D Time : 0.0 sec. user=mdettweiler [2012-09-18 05:11:22] 649*2^1228859-1 is not prime. Res64: 9FA8E68ABA957C54 Time : 0.0 sec. user=mdettweiler [2012-09-18 05:26:22] 753*2^1228859-1 is not prime. Res64: 4B00B8072C8F836C Time : 0.0 sec. user=mdettweiler [2012-09-18 05:26:22] 813*2^1228859-1 is not prime. Res64: C2A7446386128BDE Time : 0.0 sec. user=mdettweiler [2012-09-18 05:31:58] 843*2^1228859-1 is not prime. Res64: 303ADF7EF954C866 Time : 0.0 sec. user=mdettweiler [2012-09-18 05:31:59] 885*2^1228859-1 is not prime. Res64: B76FC7DD3FB785CF Time : 0.0 sec. user=vaughan [2012-09-18 05:39:06] 711*2^1228859-1 is not prime. Res64: D3BFE865A50C5EB5 Time : 0.0 sec. user=mdettweiler [2012-09-18 05:46:55] 903*2^1228859-1 is not prime. Res64: 353584C70F0A9A7A Time : 0.0 sec. user=mdettweiler [2012-09-18 05:46:56] 635*2^1228860-1 is not prime. Res64: 0344F5F223326C57 Time : 0.0 sec. user=mdettweiler [2012-09-18 05:52:28] 773*2^1228860-1 is not prime. Res64: BA3609784ACEC15A Time : 0.0 sec. user=mdettweiler [2012-09-18 05:52:28] 795*2^1228860-1 is not prime. Res64: 48F715BCB9E2167B Time : 0.0 sec. user=mdettweiler [2012-09-18 06:07:24] 625*2^1228861-1 is not prime. Res64: 660D8FF9B188BC4E Time : 0.0 sec. user=mdettweiler [2012-09-18 06:07:26] 829*2^1228861-1 is not prime. Res64: 57D4AE7F5B09D7D1 Time : 0.0 sec. user=mdettweiler [2012-09-18 06:12:56] 925*2^1228861-1 is not prime. Res64: 0568E0FFA7F3BC5A Time : 0.0 sec. user=mdettweiler [2012-09-18 06:12:57] 623*2^1228862-1 is not prime. Res64: 25E548BE112CF8C1 Time : 0.0 sec. user=vaughan [2012-09-18 06:16:51] 909*2^1228860-1 is not prime. Res64: 73727D4C82216484 Time : 0.0 sec. user=mdettweiler [2012-09-18 06:27:59] 665*2^1228862-1 is not prime. Res64: 267A32087475F494 Time : 0.0 sec. user=mdettweiler [2012-09-18 06:28:00] 761*2^1228862-1 is not prime. Res64: F60954C1C1362113 Time : 0.0 sec. user=mdettweiler [2012-09-18 06:33:28] 875*2^1228862-1 is not prime. Res64: 2DFFA65535DD584F Time : 0.0 sec. user=mdettweiler [2012-09-18 06:33:28] 897*2^1228862-1 is not prime. Res64: F760F260C09DD0C6 Time : 0.0 sec. user=mdettweiler [2012-09-18 06:48:28] 945*2^1228862-1 is not prime. Res64: 9BC5BEBB897345EF Time : 0.0 sec. user=mdettweiler [2012-09-18 06:48:29] 849*2^1228863-1 is not prime. Res64: B323BC85E0871B04 Time : 0.0 sec. user=mdettweiler [2012-09-18 06:53:57] 859*2^1228863-1 is not prime. Res64: BA41721881C908F4 Time : 0.0 sec. user=mdettweiler [2012-09-18 06:53:57] 963*2^1228863-1 is not prime. Res64: DB188F30A0103441 Time : 0.0 sec. user=vaughan [2012-09-18 06:58:28] 935*2^1228862-1 is not prime. Res64: FB257590F2E2545F Time : 0.0 sec. user=mdettweiler [2012-09-18 07:08:57] 765*2^1228864-1 is not prime. Res64: 93180D722DB1AF2B Time : 0.0 sec. user=mdettweiler [2012-09-18 07:08:59] 855*2^1228864-1 is not prime. Res64: 2F16DDA75E29CF59 Time : 0.0 sec. user=mdettweiler [2012-09-18 07:14:25] 873*2^1228864-1 is not prime. Res64: D85E8B552550ECB2 Time : 0.0 sec. user=mdettweiler [2012-09-18 07:14:28] 909*2^1228864-1 is not prime. Res64: CC93E536A9BE91F4 Time : 0.0 sec. user=mdettweiler [2012-09-18 07:29:44] 717*2^1228865-1 is not prime. Res64: 28A4F2AA043B187E Time : 0.0 sec. user=mdettweiler [2012-09-18 07:29:44] 721*2^1228865-1 is not prime. Res64: 8991AC6DE8901D52 Time : 0.0 sec. user=mdettweiler [2012-09-18 07:35:21] 727*2^1228865-1 is not prime. Res64: E3598F54A28403A0 Time : 0.0 sec. user=mdettweiler [2012-09-18 07:35:22] 787*2^1228865-1 is not prime. Res64: 2F1CD64C144F9E5E Time : 0.0 sec. user=vaughan [2012-09-18 07:36:12] 917*2^1228864-1 is not prime. Res64: 52A97FE592B7599D Time : 0.0 sec. user=mdettweiler [2012-09-18 07:50:14] 789*2^1228865-1 is not prime. Res64: E124F825B8A43BDC Time : 0.0 sec. user=mdettweiler [2012-09-18 07:50:14] 937*2^1228865-1 is not prime. Res64: C91F7D818C59D30A Time : 0.0 sec. user=mdettweiler [2012-09-18 07:55:53] 987*2^1228865-1 is not prime. Res64: 43660C9D852849D8 Time : 0.0 sec. user=mdettweiler [2012-09-18 07:55:53] 783*2^1228866-1 is not prime. Res64: 37EA7736241762E3 Time : 0.0 sec. user=mdettweiler [2012-09-18 08:10:43] 861*2^1228866-1 is not prime. Res64: 0DFD28773C476AD3 Time : 0.0 sec. user=mdettweiler [2012-09-18 08:10:47] 873*2^1228866-1 is not prime. Res64: B6ECFD46935087AF Time : 0.0 sec. user=vaughan [2012-09-18 08:14:19] 815*2^1228866-1 is not prime. Res64: C07EE710D53BF415 Time : 0.0 sec. user=mdettweiler [2012-09-18 08:16:22] 971*2^1228866-1 is not prime. Res64: 69DAA15D2A826E61 Time : 0.0 sec. user=mdettweiler [2012-09-18 08:16:28] 609*2^1228867-1 is not prime. Res64: 8331C769B34E02CF Time : 0.0 sec. user=mdettweiler [2012-09-18 08:31:20] 633*2^1228867-1 is not prime. Res64: 3CE66AE40A83E1F3 Time : 0.0 sec. user=mdettweiler [2012-09-18 08:31:20] 741*2^1228867-1 is not prime. Res64: 11515F9D12D9EB6C Time : 0.0 sec. user=mdettweiler [2012-09-18 08:37:26] 945*2^1228867-1 is not prime. Res64: B8BCB56533C41D71 Time : 0.0 sec. user=mdettweiler [2012-09-18 08:37:27] 975*2^1228867-1 is not prime. Res64: 66E4DC512B13FCD9 Time : 0.0 sec. user=gd_barnes [2012-09-18 08:49:15] 683*2^1228868-1 is not prime. Res64: 56124259B7590A99 Time : 0.0 sec. user=mdettweiler [2012-09-18 08:51:49] 689*2^1228868-1 is not prime. Res64: D4A0FE7E5C4A66B2 Time : 0.0 sec. user=mdettweiler [2012-09-18 08:51:50] 869*2^1228868-1 is not prime. Res64: EF10517E0778B6F1 Time : 0.0 sec. user=vaughan [2012-09-18 08:52:07] 913*2^1228867-1 is not prime. Res64: 49EBD92C20890490 Time : 0.0 sec. user=mdettweiler [2012-09-18 08:57:55] 885*2^1228868-1 is not prime. Res64: D5C3B1866D0D81AD Time : 0.0 sec. user=mdettweiler [2012-09-18 08:57:56] 995*2^1228868-1 is not prime. Res64: 60D950B2C469F117 Time : 0.0 sec. user=juhehe [2012-09-18 09:01:18] 871*2^1228867-1 is not prime. Res64: 947D101B2D3D874D Time : 0.0 sec. user=mdettweiler [2012-09-18 09:12:19] 655*2^1228869-1 is not prime. Res64: C9C5BD6895534552 Time : 0.0 sec. user=mdettweiler [2012-09-18 09:12:21] 667*2^1228869-1 is not prime. Res64: 888BF4E35E38C7F2 Time : 0.0 sec. user=mdettweiler [2012-09-18 09:18:24] 847*2^1228869-1 is not prime. Res64: 517D5D13BEED4635 Time : 0.0 sec. user=mdettweiler [2012-09-18 09:18:25] 861*2^1228869-1 is not prime. Res64: FA9C9C775A468075 Time : 0.0 sec. user=vaughan [2012-09-18 09:30:17] 711*2^1228869-1 is not prime. Res64: DB72167C6CA07797 Time : 0.0 sec. user=mdettweiler [2012-09-18 09:32:55] 955*2^1228869-1 is not prime. Res64: EF4CA91825CC55F8 Time : 0.0 sec. user=mdettweiler [2012-09-18 09:32:56] 677*2^1228870-1 is not prime. Res64: DA73F02072B888C3 Time : 0.0 sec. user=mdettweiler [2012-09-18 09:38:52] 711*2^1228871-1 is not prime. Res64: 5DCD62E10E6EA2F1 Time : 0.0 sec. user=mdettweiler [2012-09-18 09:38:53] 735*2^1228871-1 is not prime. Res64: 76D1A3C32BFEE8D4 Time : 0.0 sec. user=gd_barnes [2012-09-18 09:46:26] 755*2^1228870-1 is not prime. Res64: ABEFAE81BCE3285E Time : 0.0 sec. user=gd_barnes [2012-09-18 09:47:01] 765*2^1228870-1 is not prime. Res64: 997DA87602BABDB4 Time : 0.0 sec. user=gd_barnes [2012-09-18 09:47:10] 911*2^1228870-1 is not prime. Res64: C9E714F0793E3342 Time : 0.0 sec. user=juhehe [2012-09-18 09:51:15] 907*2^1228869-1 is not prime. Res64: 71F95F06EB85FF5B Time : 0.0 sec. user=mdettweiler [2012-09-18 09:53:26] 741*2^1228871-1 is not prime. Res64: FEBE559593A44E02 Time : 0.0 sec. user=mdettweiler [2012-09-18 09:53:26] 781*2^1228871-1 is not prime. Res64: 88F74893ACDE6AE2 Time : 0.0 sec. user=mdettweiler [2012-09-18 09:59:21] 813*2^1228871-1 is not prime. Res64: C1955C83CF7B7C6E Time : 0.0 sec. user=mdettweiler [2012-09-18 09:59:22] 955*2^1228871-1 is not prime. Res64: 6EC63902DEE28C7A Time : 0.0 sec. user=mdettweiler [2012-09-18 10:13:56] 669*2^1228872-1 is not prime. Res64: 48E8B3E5BCC15785 Time : 0.0 sec. user=mdettweiler [2012-09-18 10:13:58] 689*2^1228872-1 is not prime. Res64: 60FA67CE9CF40C4E Time : 0.0 sec. user=mdettweiler [2012-09-18 10:19:50] 747*2^1228872-1 is not prime. Res64: E544E44C03E94568 Time : 0.0 sec. user=mdettweiler [2012-09-18 10:19:51] 819*2^1228872-1 is not prime. Res64: 54C3EBF5EEF273C3 Time : 0.0 sec. user=mdettweiler [2012-09-18 10:34:38] 615*2^1228873-1 is not prime. Res64: 28143DB03FA22BA1 Time : 0.0 sec. user=mdettweiler [2012-09-18 10:34:39] 769*2^1228873-1 is not prime. Res64: 90B042C9607B0767 Time : 0.0 sec. user=juhehe [2012-09-18 10:38:50] 605*2^1228872-1 is not prime. Res64: 9AD13AB308A13F77 Time : 0.0 sec. user=mdettweiler [2012-09-18 10:40:22] 817*2^1228873-1 is not prime. Res64: A67FFD250BE66B7A Time : 0.0 sec. user=mdettweiler [2012-09-18 10:40:23] 855*2^1228873-1 is not prime. Res64: F000D7BE93742B11 Time : 0.0 sec. user=vaughan [2012-09-18 10:41:29] 977*2^1228872-1 is not prime. Res64: 42FC6C613ECADE8A Time : 0.0 sec. user=mdettweiler [2012-09-18 10:55:10] 957*2^1228873-1 is not prime. Res64: ED68E837D0DECFF3 Time : 0.0 sec. user=mdettweiler [2012-09-18 10:55:11] 617*2^1228874-1 is not prime. Res64: AD9A5EFBEB7E47EA Time : 0.0 sec. user=mdettweiler [2012-09-18 11:00:55] 743*2^1228874-1 is not prime. Res64: 0CB03762F5B7584E Time : 0.0 sec. user=mdettweiler [2012-09-18 11:00:56] 831*2^1228874-1 is not prime. Res64: ADEE8128899CD9C7 Time : 0.0 sec. user=mdettweiler [2012-09-18 11:15:39] 923*2^1228874-1 is not prime. Res64: DCF74FC676D0857C Time : 0.0 sec. user=mdettweiler [2012-09-18 11:15:40] 679*2^1228875-1 is not prime. Res64: C26B16CF16947A2C Time : 0.0 sec. user=vaughan [2012-09-18 11:19:16] 887*2^1228874-1 is not prime. Res64: 07D4D14C34F007D3 Time : 0.0 sec. user=mdettweiler [2012-09-18 11:21:37] 765*2^1228875-1 is not prime. Res64: C7B0635ACA5CD9D4 Time : 0.0 sec. user=mdettweiler [2012-09-18 11:21:37] 789*2^1228875-1 is not prime. Res64: 9FE2A3302BE52F40 Time : 0.0 sec. user=juhehe [2012-09-18 11:29:00] 705*2^1228874-1 is not prime. Res64: E1053D3ECC8C6E35 Time : 0.0 sec. user=mdettweiler [2012-09-18 11:36:23] 823*2^1228875-1 is not prime. Res64: 71AFF7A0D08BF1FC Time : 0.0 sec. user=mdettweiler [2012-09-18 11:36:23] 859*2^1228875-1 is not prime. Res64: 33C657C78632C3E9 Time : 0.0 sec. user=mdettweiler [2012-09-18 11:42:06] 609*2^1228876-1 is not prime. Res64: 594CED7470CE5792 Time : 0.0 sec. user=mdettweiler [2012-09-18 11:42:07] 723*2^1228876-1 is not prime. Res64: 27EF74D094F8FCD0 Time : 0.0 sec. user=mdettweiler [2012-09-18 11:56:57] 777*2^1228876-1 is not prime. Res64: F4C9E1E45B67CFE4 Time : 0.0 sec. user=mdettweiler [2012-09-18 11:56:57] 927*2^1228876-1 is not prime. Res64: 6DDEA4D1ECDFD3D2 Time : 0.0 sec. user=vaughan [2012-09-18 11:57:04] 985*2^1228875-1 is not prime. Res64: 4951C927AB35042E Time : 0.0 sec. user=mdettweiler [2012-09-18 12:02:41] 965*2^1228876-1 is not prime. Res64: ADA0A995DE5588F4 Time : 0.0 sec. user=mdettweiler [2012-09-18 12:02:42] 975*2^1228876-1 is not prime. Res64: F0C1FB96F3C772C9 Time : 0.0 sec. user=mdettweiler [2012-09-18 12:17:32] 621*2^1228877-1 is not prime. Res64: 8D86836BFF36F9B3 Time : 0.0 sec. user=mdettweiler [2012-09-18 12:17:32] 645*2^1228877-1 is not prime. Res64: 73299E60C366343F Time : 0.0 sec. user=juhehe [2012-09-18 12:19:28] 749*2^1228876-1 is not prime. Res64: 16EF98F1FC1BD758 Time : 0.0 sec. user=mdettweiler [2012-09-18 12:23:27] 777*2^1228877-1 is not prime. Res64: 36CEA91F298DADC6 Time : 0.0 sec. user=mdettweiler [2012-09-18 12:23:28] 795*2^1228877-1 is not prime. Res64: BF0D1601F9243D19 Time : 0.0 sec. user=vaughan [2012-09-18 12:34:47] 699*2^1228877-1 is not prime. Res64: 5E7EFC6EA1810B1D Time : 0.0 sec. user=mdettweiler [2012-09-18 12:38:28] 879*2^1228877-1 is not prime. Res64: 4DC1C4E6B7FB810B Time : 0.0 sec. user=mdettweiler [2012-09-18 12:38:28] 937*2^1228877-1 is not prime. Res64: 35DAF7DDCEC75866 Time : 0.0 sec. user=mdettweiler [2012-09-18 12:44:30] 981*2^1228877-1 is not prime. Res64: BE51CC6A408EB933 Time : 0.0 sec. user=mdettweiler [2012-09-18 12:44:30] 755*2^1228878-1 is not prime. Res64: 95CB695CDA46D147 Time : 0.0 sec. user=mdettweiler [2012-09-18 12:59:35] 891*2^1228878-1 is not prime. Res64: EDF8C5394B3626B4 Time : 0.0 sec. user=mdettweiler [2012-09-18 12:59:35] 893*2^1228878-1 is not prime. Res64: 30FABCD21F59C863 Time : 0.0 sec. user=mdettweiler [2012-09-18 13:05:37] 625*2^1228879-1 is not prime. Res64: 4B31DB0243C9EB83 Time : 0.0 sec. user=mdettweiler [2012-09-18 13:05:39] 661*2^1228879-1 is not prime. Res64: 67F9796810FB7922 Time : 0.0 sec. user=vaughan [2012-09-18 13:12:35] 815*2^1228878-1 is not prime. Res64: 48F59077FC1967DB Time : 0.0 sec. user=mdettweiler [2012-09-18 13:21:34] 729*2^1228879-1 is not prime. Res64: DD9109B5865F4700 Time : 0.0 sec. user=mdettweiler [2012-09-18 13:21:34] 771*2^1228879-1 is not prime. Res64: 14B933EEB5900B3B Time : 0.0 sec. user=mdettweiler [2012-09-18 13:27:33] 841*2^1228879-1 is not prime. Res64: FD2BCC64C350B5BF Time : 0.0 sec. user=mdettweiler [2012-09-18 13:27:33] 919*2^1228879-1 is not prime. Res64: 03743FDDA7FC1058 Time : 0.0 sec. user=mdettweiler [2012-09-18 13:42:35] 767*2^1228880-1 is not prime. Res64: 6018E6A14E0280AC Time : 0.0 sec. user=mdettweiler [2012-09-18 13:42:36] 963*2^1228880-1 is not prime. Res64: 52691A0C7F2C1841 Time : 0.0 sec. user=mdettweiler [2012-09-18 13:48:24] 657*2^1228881-1 is not prime. Res64: EDD2751CA13D5EAF Time : 0.0 sec. user=mdettweiler [2012-09-18 13:48:24] 679*2^1228881-1 is not prime. Res64: 17D7A974D1C7C47D Time : 0.0 sec. user=vaughan [2012-09-18 13:50:39] 933*2^1228879-1 is not prime. Res64: 25D7DA772E2C316C Time : 0.0 sec. user=mdettweiler [2012-09-18 14:03:30] 795*2^1228881-1 is not prime. Res64: D967A1B00E97744B Time : 0.0 sec. user=mdettweiler [2012-09-18 14:03:31] 937*2^1228881-1 is not prime. Res64: BAB92362B59975BD Time : 0.0 sec. user=mdettweiler [2012-09-18 14:09:18] 681*2^1228882-1 is not prime. Res64: C435B092CA9D18F1 Time : 0.0 sec. user=mdettweiler [2012-09-18 14:09:19] 741*2^1228882-1 is not prime. Res64: F653441BB4101C2E Time : 0.0 sec. user=mdettweiler [2012-09-18 14:24:24] 827*2^1228882-1 is not prime. Res64: 3286742772938E30 Time : 0.0 sec. user=mdettweiler [2012-09-18 14:24:24] 957*2^1228882-1 is not prime. Res64: 6D406A1CD9EA8E3D Time : 0.0 sec. user=vaughan [2012-09-18 14:28:25] 825*2^1228882-1 is not prime. Res64: 90EFE111438C266C Time : 0.0 sec. user=mdettweiler [2012-09-18 14:30:17] 983*2^1228882-1 is not prime. Res64: A39E51C03AA16A4B Time : 0.0 sec. user=mdettweiler [2012-09-18 14:30:18] 633*2^1228883-1 is not prime. Res64: 9CEB193CFFB66F99 Time : 0.0 sec. user=mdettweiler [2012-09-18 14:45:12] 663*2^1228883-1 is not prime. Res64: 466EA274D645A3E4 Time : 0.0 sec. user=mdettweiler [2012-09-18 14:45:13] 669*2^1228883-1 is not prime. Res64: 47099F95AFBABF34 Time : 0.0 sec. user=mdettweiler [2012-09-18 14:51:02] 949*2^1228883-1 is not prime. Res64: 23544A207C3A11B0 Time : 0.0 sec. user=mdettweiler [2012-09-18 14:51:03] 973*2^1228883-1 is not prime. Res64: 112E284E20FCB97C Time : 0.0 sec. user=mdettweiler [2012-09-18 15:05:58] 707*2^1228884-1 is not prime. Res64: D14DCFFD47ECCADC Time : 0.0 sec. user=mdettweiler [2012-09-18 15:06:00] 873*2^1228884-1 is not prime. Res64: 078198C08FE8691A Time : 0.0 sec. user=vaughan [2012-09-18 15:06:09] 735*2^1228883-1 is not prime. Res64: 0B5A3083B7E9F52D Time : 0.0 sec. user=mdettweiler [2012-09-18 15:11:50] 729*2^1228885-1 is not prime. Res64: 9DA8E5F30CD88D79 Time : 0.0 sec. user=mdettweiler [2012-09-18 15:11:51] 777*2^1228885-1 is not prime. Res64: F1AB6CC912CDB3B1 Time : 0.0 sec. user=juhehe [2012-09-18 15:26:07] 689*2^1228884-1 is not prime. Res64: 418750C60D673E4D Time : 0.0 sec. user=mdettweiler [2012-09-18 15:27:18] 789*2^1228885-1 is not prime. Res64: CE9378D23B2A7389 Time : 0.0 sec. user=mdettweiler [2012-09-18 15:27:18] 955*2^1228885-1 is not prime. Res64: CDE8681DAD820359 Time : 0.0 sec. user=mdettweiler [2012-09-18 15:33:15] 857*2^1228886-1 is not prime. Res64: E249560DD2A37753 Time : 0.0 sec. user=mdettweiler [2012-09-18 15:33:15] 911*2^1228886-1 is not prime. Res64: 3D884791A1DA3115 Time : 0.0 sec. user=vaughan [2012-09-18 15:43:55] 743*2^1228886-1 is not prime. Res64: D7811E1B08502904 Time : 0.0 sec. user=gd_barnes [2012-09-18 15:46:07] 971*2^1228886-1 is not prime. Res64: 46F1E32999F7195E Time : 0.0 sec. user=mdettweiler [2012-09-18 15:48:40] 1001*2^1228886-1 is not prime. Res64: 60AC524FEE2CE77C Time : 0.0 sec. user=mdettweiler [2012-09-18 15:48:40] 711*2^1228887-1 is not prime. Res64: AEF83733A73F0A24 Time : 0.0 sec. user=mdettweiler [2012-09-18 15:54:35] 781*2^1228887-1 is not prime. Res64: 03F92B1BFBD30CAE Time : 0.0 sec. user=mdettweiler [2012-09-18 15:54:36] 805*2^1228887-1 is not prime. Res64: 925FB00715F14EF0 Time : 0.0 sec. user=mdettweiler [2012-09-18 16:10:01] 973*2^1228887-1 is not prime. Res64: 618861B2CD1EC3E0 Time : 0.0 sec. user=mdettweiler [2012-09-18 16:10:03] 979*2^1228887-1 is not prime. Res64: 90966012F70AF1AE Time : 0.0 sec. user=mdettweiler [2012-09-18 16:15:57] 635*2^1228888-1 is not prime. Res64: F40CAC945F30F92E Time : 0.0 sec. user=mdettweiler [2012-09-18 16:15:57] 645*2^1228888-1 is not prime. Res64: 502C3434BD3E432B Time : 0.0 sec. user=vaughan [2012-09-18 16:21:40] 871*2^1228887-1 is not prime. Res64: 036924FBD2834238 Time : 0.0 sec. user=mdettweiler [2012-09-18 16:31:29] 687*2^1228888-1 is not prime. Res64: 3DDCA636833A26A9 Time : 0.0 sec. user=mdettweiler [2012-09-18 16:31:29] 773*2^1228888-1 is not prime. Res64: 90617D82192E7E04 Time : 0.0 sec. user=mdettweiler [2012-09-18 16:37:38] 843*2^1228888-1 is not prime. Res64: 32A5607819065F93 Time : 0.0 sec. user=mdettweiler [2012-09-18 16:37:38] 969*2^1228888-1 is not prime. Res64: 29C213D78E10D178 Time : 0.0 sec. user=mdettweiler [2012-09-18 16:52:36] 999*2^1228888-1 is not prime. Res64: FB416C4719AF4961 Time : 0.0 sec. user=mdettweiler [2012-09-18 16:52:36] 699*2^1228889-1 is not prime. Res64: 8652CB82DE54BCF4 Time : 0.0 sec. user=mdettweiler [2012-09-18 16:58:37] 729*2^1228889-1 is not prime. Res64: 628C475F1AE4510C Time : 0.0 sec. user=mdettweiler [2012-09-18 16:58:37] 879*2^1228889-1 is not prime. Res64: 8F794877C9096226 Time : 0.0 sec. user=vaughan [2012-09-18 16:59:24] 975*2^1228888-1 is not prime. Res64: C74ABE1845147456 Time : 0.0 sec. user=mdettweiler [2012-09-18 17:13:25] 707*2^1228890-1 is not prime. Res64: 886CFC425F05FCE6 Time : 0.0 sec. user=mdettweiler [2012-09-18 17:13:28] 933*2^1228890-1 is not prime. Res64: 9316A612E98F049E Time : 0.0 sec. user=mdettweiler [2012-09-18 17:19:25] 951*2^1228890-1 is not prime. Res64: E9138E9194D3A936 Time : 0.0 sec. user=mdettweiler [2012-09-18 17:19:25] 1001*2^1228890-1 is not prime. Res64: 38BB55B942476290 Time : 0.0 sec. user=mdettweiler [2012-09-18 17:34:41] 861*2^1228891-1 is not prime. Res64: D98D337708917025 Time : 0.0 sec. user=mdettweiler [2012-09-18 17:34:41] 993*2^1228891-1 is not prime. Res64: E8F01F77ABE9E359 Time : 0.0 sec. user=vaughan [2012-09-18 17:37:06] 681*2^1228891-1 is not prime. Res64: 8756D90A0439DBA8 Time : 0.0 sec. user=mdettweiler [2012-09-18 17:40:18] 977*2^1228892-1 is not prime. Res64: E4DE0D1B7218A9F5 Time : 0.0 sec. user=mdettweiler [2012-09-18 17:40:18] 983*2^1228892-1 is not prime. Res64: CF8963E382CD0E8C Time : 0.0 sec. user=juhehe [2012-09-18 17:48:17] 945*2^1228890-1 is not prime. Res64: A8AB9237A243F83A Time : 0.0 sec. user=mdettweiler [2012-09-18 17:55:31] 649*2^1228893-1 is not prime. Res64: 29DFE9914C99DDAC Time : 0.0 sec. user=mdettweiler [2012-09-18 17:55:31] 679*2^1228893-1 is not prime. Res64: 3462AAA845A5A7BE Time : 0.0 sec. user=mdettweiler [2012-09-18 18:01:07] 861*2^1228893-1 is not prime. Res64: 0600FEEDC0FC3EB5 Time : 0.0 sec. user=mdettweiler [2012-09-18 18:01:08] 657*2^1228894-1 is not prime. Res64: BE1C4D3664478A6E Time : 0.0 sec. user=vaughan [2012-09-18 18:14:49] 817*2^1228893-1 is not prime. Res64: 8E3441142A3D2BCB Time : 0.0 sec. user=mdettweiler [2012-09-18 18:16:19] 723*2^1228894-1 is not prime. Res64: 6CD2F0A4E27475AB Time : 0.0 sec. user=mdettweiler [2012-09-18 18:16:20] 765*2^1228894-1 is not prime. Res64: 4985922D2761F0C7 Time : 0.0 sec. user=mdettweiler [2012-09-18 18:22:02] 941*2^1228894-1 is not prime. Res64: AD4FFB0108ED343E Time : 0.0 sec. user=mdettweiler [2012-09-18 18:22:02] 673*2^1228895-1 is not prime. Res64: 34912FB56A91C395 Time : 0.0 sec. user=mdettweiler [2012-09-18 18:37:08] 789*2^1228895-1 is not prime. Res64: 54EB233E48CB18FC Time : 0.0 sec. user=mdettweiler [2012-09-18 18:37:09] 915*2^1228895-1 is not prime. Res64: 283452BD5F539C69 Time : 0.0 sec. user=mdettweiler [2012-09-18 18:42:50] 943*2^1228895-1 is not prime. Res64: 984B4611A511DDC3 Time : 0.0 sec. user=mdettweiler [2012-09-18 18:42:50] 963*2^1228895-1 is not prime. Res64: 50B14EC28A5F29B5 Time : 0.0 sec. user=vaughan [2012-09-18 18:52:53] 679*2^1228895-1 is not prime. Res64: DFB230CA3368B087 Time : 0.0 sec. user=mdettweiler [2012-09-18 18:57:58] 969*2^1228895-1 is not prime. Res64: 6D46F9A6DBBCBD01 Time : 0.0 sec. user=mdettweiler [2012-09-18 18:57:58] 623*2^1228896-1 is not prime. Res64: 6E7BAD92293C8D0A Time : 0.0 sec. user=mdettweiler [2012-09-18 19:03:39] 843*2^1228896-1 is not prime. Res64: D78256577DE11FE6 Time : 0.0 sec. user=mdettweiler [2012-09-18 19:03:39] 957*2^1228896-1 is not prime. Res64: D0DE9CF71FCBC5C2 Time : 0.0 sec. user=mdettweiler [2012-09-18 19:18:46] 667*2^1228897-1 is not prime. Res64: 1B6EE269DF0BD226 Time : 0.0 sec. user=mdettweiler [2012-09-18 19:18:46] 771*2^1228897-1 is not prime. Res64: 9F6AC914C07E853A Time : 0.0 sec. user=mdettweiler [2012-09-18 19:24:32] 901*2^1228897-1 is not prime. Res64: 95429415B74009FC Time : 0.0 sec. user=mdettweiler [2012-09-18 19:24:32] 937*2^1228897-1 is not prime. Res64: 8F91013C956C619A Time : 0.0 sec. user=vaughan [2012-09-18 19:30:37] 651*2^1228897-1 is not prime. Res64: 0B14D04DD77286A0 Time : 0.0 sec. user=mdettweiler [2012-09-18 19:39:35] 671*2^1228898-1 is not prime. Res64: DF1053D6A4F0F0FA Time : 0.0 sec. user=mdettweiler [2012-09-18 19:39:35] 687*2^1228898-1 is not prime. Res64: 9B2CCE6BFBCEEF92 Time : 0.0 sec. user=mdettweiler [2012-09-18 19:45:19] 977*2^1228898-1 is not prime. Res64: 34AB8C9CB9E5EC67 Time : 0.0 sec. user=mdettweiler [2012-09-18 19:45:19] 1001*2^1228898-1 is not prime. Res64: 7E2A31D9F91FF1D8 Time : 0.0 sec. user=mdettweiler [2012-09-18 20:00:26] 741*2^1228899-1 is not prime. Res64: D9B2B5F68F8C9C8D Time : 0.0 sec. user=mdettweiler [2012-09-18 20:00:27] 823*2^1228899-1 is not prime. Res64: A4A176BF1AA35771 Time : 0.0 sec. user=juhehe [2012-09-18 20:03:12] 641*2^1228898-1 is not prime. Res64: B43ED206541F75DB Time : 0.0 sec. user=mdettweiler [2012-09-18 20:06:09] 903*2^1228899-1 is not prime. Res64: 46EF0B2F18D8DD5F Time : 0.0 sec. user=mdettweiler [2012-09-18 20:06:12] 975*2^1228899-1 is not prime. Res64: F643C577C402B10D Time : 0.0 sec. user=vaughan [2012-09-18 20:08:22] 711*2^1228899-1 is not prime. Res64: 1CD1B138E2F49D65 Time : 0.0 sec. user=mdettweiler [2012-09-18 20:21:21] 605*2^1228900-1 is not prime. Res64: 0AF270E51613F1C9 Time : 0.0 sec. user=mdettweiler [2012-09-18 20:21:21] 647*2^1228900-1 is not prime. Res64: CBE72DFF1C9C6DF0 Time : 0.0 sec. user=mdettweiler [2012-09-18 20:27:14] 693*2^1228900-1 is not prime. Res64: 7BD5E78099AB2305 Time : 0.0 sec. user=mdettweiler [2012-09-18 20:27:14] 735*2^1228900-1 is not prime. Res64: 18E007D923BAF34B Time : 0.0 sec. user=mdettweiler [2012-09-18 20:42:13] 825*2^1228900-1 is not prime. Res64: 24A9596B24DAF89B Time : 0.0 sec. user=mdettweiler [2012-09-18 20:42:13] 873*2^1228900-1 is not prime. Res64: 9A414FA4E7F583CC Time : 0.0 sec. user=vaughan [2012-09-18 20:46:07] 759*2^1228900-1 is not prime. Res64: 0C9F3D58975CC18E Time : 0.0 sec. user=mdettweiler [2012-09-18 20:47:59] 923*2^1228900-1 is not prime. Res64: 5AE5AD426F43341D Time : 0.0 sec. user=mdettweiler [2012-09-18 20:48:00] 927*2^1228900-1 is not prime. Res64: BE46F1BC3B3EBEC3 Time : 0.0 sec. user=mdettweiler [2012-09-18 21:02:44] 939*2^1228900-1 is not prime. Res64: 78F3C5D4724C9677 Time : 0.0 sec. user=mdettweiler [2012-09-18 21:02:45] 999*2^1228900-1 is not prime. Res64: C0A46711AAB03219 Time : 0.0 sec. user=mdettweiler [2012-09-18 21:08:32] 631*2^1228901-1 is not prime. Res64: 043594F57709FE41 Time : 0.0 sec. user=mdettweiler [2012-09-18 21:08:34] 669*2^1228901-1 is not prime. Res64: 183D7ED583411262 Time : 0.0 sec. user=mdettweiler [2012-09-18 21:23:22] 711*2^1228901-1 is not prime. Res64: D9EA1F49F155C0AB Time : 0.0 sec. user=mdettweiler [2012-09-18 21:23:22] 741*2^1228901-1 is not prime. Res64: B20D4C5B0A23A6AF Time : 0.0 sec. user=vaughan [2012-09-18 21:23:52] 621*2^1228901-1 is not prime. Res64: 67A2C3C73EAC9121 Time : 0.0 sec. user=mdettweiler [2012-09-18 21:29:08] 907*2^1228901-1 is not prime. Res64: 9A619AA5EE2B9C3A Time : 0.0 sec. user=mdettweiler [2012-09-18 21:29:09] 955*2^1228901-1 is not prime. Res64: 64B8B75517342137 Time : 0.0 sec. user=mdettweiler [2012-09-18 21:43:57] 797*2^1228902-1 is not prime. Res64: F71964F7B0FA88A9 Time : 0.0 sec. user=mdettweiler [2012-09-18 21:43:57] 867*2^1228902-1 is not prime. Res64: 05D45A7DDB783962 Time : 0.0 sec. user=mdettweiler [2012-09-18 21:49:40] 673*2^1228903-1 is not prime. Res64: C937AFF2D408CC20 Time : 0.0 sec. user=mdettweiler [2012-09-18 21:49:41] 693*2^1228903-1 is not prime. Res64: 95CBA49264546527 Time : 0.0 sec. user=vaughan [2012-09-18 22:01:35] 649*2^1228903-1 is not prime. Res64: 13146208D6044C77 Time : 0.0 sec. user=mdettweiler [2012-09-18 22:04:29] 849*2^1228903-1 is not prime. Res64: 3E3AB6686BFDFE67 Time : 0.0 sec. user=mdettweiler [2012-09-18 22:04:30] 901*2^1228903-1 is not prime. Res64: B05DB75A97D92BE2 Time : 0.0 sec. user=mdettweiler [2012-09-18 22:10:12] 913*2^1228903-1 is not prime. Res64: 2D10CE34E8E60957 Time : 0.0 sec. user=mdettweiler [2012-09-18 22:10:13] 939*2^1228903-1 is not prime. Res64: BF2D96F76DBE4F0D Time : 0.0 sec. user=juhehe [2012-09-18 22:20:20] 705*2^1228903-1 is not prime. Res64: AF19B71E068EA8B6 Time : 0.0 sec. user=mdettweiler [2012-09-18 22:25:04] 665*2^1228904-1 is not prime. Res64: 24AB9F2038598B35 Time : 0.0 sec. user=mdettweiler [2012-09-18 22:25:04] 677*2^1228904-1 is not prime. Res64: C69403A1620D1AAF Time : 0.0 sec. user=mdettweiler [2012-09-18 22:30:53] 717*2^1228904-1 is not prime. Res64: 64A2FAC8B1570C7D Time : 0.0 sec. user=mdettweiler [2012-09-18 22:30:54] 767*2^1228904-1 is not prime. Res64: AA0B81531BA58B59 Time : 0.0 sec. user=vaughan [2012-09-18 22:39:32] 629*2^1228904-1 is not prime. Res64: B2F45581096F47D9 Time : 0.0 sec. user=mdettweiler [2012-09-18 22:45:39] 843*2^1228904-1 is not prime. Res64: 83E06D29520C50C4 Time : 0.0 sec. user=mdettweiler [2012-09-18 22:45:40] 897*2^1228904-1 is not prime. Res64: 793EF4BFB50D7A59 Time : 0.0 sec. user=mdettweiler [2012-09-18 22:51:25] 983*2^1228904-1 is not prime. Res64: B1E4CB257D27E4B2 Time : 0.0 sec. user=mdettweiler [2012-09-18 22:51:26] 627*2^1228905-1 is not prime. Res64: E543F7CBF9C527F7 Time : 0.0 sec. user=mdettweiler [2012-09-18 23:06:11] 711*2^1228905-1 is not prime. Res64: A4163DC41EC10DB9 Time : 0.0 sec. user=mdettweiler [2012-09-18 23:06:12] 717*2^1228905-1 is not prime. Res64: 7D9712D3E1B6E670 Time : 0.0 sec. user=mdettweiler [2012-09-18 23:11:57] 735*2^1228905-1 is not prime. Res64: 5A44D935F67811D1 Time : 0.0 sec. user=mdettweiler [2012-09-18 23:11:57] 751*2^1228905-1 is not prime. Res64: 1BF5613DAF6EB932 Time : 0.0 sec. user=vaughan [2012-09-18 23:17:19] 699*2^1228905-1 is not prime. Res64: 5535D72D4B748916 Time : 0.0 sec. user=mdettweiler [2012-09-18 23:26:48] 831*2^1228905-1 is not prime. Res64: E4987883FF98711B Time : 0.0 sec. user=mdettweiler [2012-09-18 23:26:48] 895*2^1228905-1 is not prime. Res64: C04DB6BE4E00577A Time : 0.0 sec. user=mdettweiler [2012-09-18 23:32:35] 909*2^1228905-1 is not prime. Res64: B898D4D18857D7B3 Time : 0.0 sec. user=mdettweiler [2012-09-18 23:32:35] 647*2^1228906-1 is not prime. Res64: FC371A1A9FA3454D Time : 0.0 sec. user=mdettweiler [2012-09-18 23:47:24] 657*2^1228906-1 is not prime. Res64: 2ADE1F4148A5BC51 Time : 0.0 sec. user=mdettweiler [2012-09-18 23:47:24] 825*2^1228906-1 is not prime. Res64: 26599EBE598F660E Time : 0.0 sec. user=mdettweiler [2012-09-18 23:53:07] 983*2^1228906-1 is not prime. Res64: 6F4A923BC96D7EE6 Time : 0.0 sec. user=mdettweiler [2012-09-18 23:53:07] 993*2^1228906-1 is not prime. Res64: 9106757264F1074C Time : 0.0 sec. user=vaughan [2012-09-18 23:55:05] 651*2^1228906-1 is not prime. Res64: C119885ED5140C3F Time : 0.0 sec.