user=mdettweiler [2012-07-23 00:01:40] 987*2^1224604-1 is not prime. Res64: 0BCB62E8DB0D915E Time : 0.0 sec. user=mdettweiler [2012-07-23 00:01:41] 735*2^1224605-1 is not prime. Res64: 7197D210FD8D0E62 Time : 0.0 sec. user=mdettweiler [2012-07-23 00:01:41] 759*2^1224605-1 is not prime. Res64: 766E57B9AFF29B24 Time : 0.0 sec. user=mdettweiler [2012-07-23 00:01:42] 837*2^1224605-1 is not prime. Res64: B411DE59A137A7DD Time : 0.0 sec. user=vaughan [2012-07-23 00:16:02] 875*2^1224604-1 is not prime. Res64: 0D3862A11C551829 Time : 0.0 sec. user=mdettweiler [2012-07-23 00:22:19] 889*2^1224605-1 is not prime. Res64: 62CC44C4BB5211B3 Time : 0.0 sec. user=mdettweiler [2012-07-23 00:22:19] 925*2^1224605-1 is not prime. Res64: 8265C5980AE91779 Time : 0.0 sec. user=mdettweiler [2012-07-23 00:22:20] 939*2^1224605-1 is not prime. Res64: DFA652AEB6969CB8 Time : 0.0 sec. user=mdettweiler [2012-07-23 00:22:20] 949*2^1224605-1 is not prime. Res64: 7890240D69B47743 Time : 0.0 sec. user=mdettweiler [2012-07-23 00:24:54] 847*2^1224605-1 is not prime. Res64: 0FCC317CC972C054 Time : 0.0 sec. user=mdettweiler [2012-07-23 00:29:10] 885*2^1224605-1 is not prime. Res64: 41DCF2456342A732 Time : 0.0 sec. user=juhehe [2012-07-23 00:29:52] 779*2^1224600-1 is not prime. Res64: 093578DA60CABC79 Time : 0.0 sec. user=mdettweiler [2012-07-23 00:43:00] 981*2^1224605-1 is not prime. Res64: B535C8202CAA1610 Time : 0.0 sec. user=mdettweiler [2012-07-23 00:43:01] 647*2^1224606-1 is not prime. Res64: 4E26965451AE6BBF Time : 0.0 sec. user=mdettweiler [2012-07-23 00:43:02] 723*2^1224606-1 is not prime. Res64: 07032F5DE34CDFBD Time : 0.0 sec. user=mdettweiler [2012-07-23 00:43:03] 741*2^1224606-1 is not prime. Res64: C9B43D8C18EF6956 Time : 0.0 sec. user=mdettweiler [2012-07-23 00:56:40] 765*2^1224606-1 is not prime. Res64: 2F7AC36417C6F6A8 Time : 0.0 sec. user=mdettweiler [2012-07-23 01:01:12] 833*2^1224606-1 is not prime. Res64: 778A58E89AB9EA88 Time : 0.0 sec. user=mdettweiler [2012-07-23 01:03:42] 933*2^1224606-1 is not prime. Res64: C74B72768E11989C Time : 0.0 sec. user=mdettweiler [2012-07-23 01:03:43] 875*2^1224606-1 is not prime. Res64: 826CA06B0B4C0022 Time : 0.0 sec. user=mdettweiler [2012-07-23 01:03:44] 609*2^1224607-1 is not prime. Res64: 41FB1C6427028ABC Time : 0.0 sec. user=mdettweiler [2012-07-23 01:03:45] 917*2^1224606-1 is not prime. Res64: 1958685B70FFF0D5 Time : 0.0 sec. user=vaughan [2012-07-23 01:10:48] 955*2^1224605-1 is not prime. Res64: 4DB34CD14C6B97FC Time : 0.0 sec. user=mdettweiler [2012-07-23 01:24:29] 703*2^1224607-1 is not prime. Res64: 3627067AC5AC91D3 Time : 0.0 sec. user=mdettweiler [2012-07-23 01:24:29] 705*2^1224607-1 is not prime. Res64: 692D9BEFDE3642A8 Time : 0.0 sec. user=mdettweiler [2012-07-23 01:24:30] 885*2^1224607-1 is not prime. Res64: 010BD80AFE9AAF9B Time : 0.0 sec. user=mdettweiler [2012-07-23 01:24:31] 913*2^1224607-1 is not prime. Res64: 69B2ACCD6D3B2F21 Time : 0.0 sec. user=mdettweiler [2012-07-23 01:28:16] 649*2^1224607-1 is not prime. Res64: E51A2AE76ACFB102 Time : 0.0 sec. user=mdettweiler [2012-07-23 01:33:12] 675*2^1224607-1 is not prime. Res64: F8EA331F2DD75000 Time : 0.0 sec. user=mdettweiler [2012-07-23 01:45:09] 979*2^1224607-1 is not prime. Res64: 77C8C84E582CDEEF Time : 0.0 sec. user=mdettweiler [2012-07-23 01:45:10] 635*2^1224608-1 is not prime. Res64: 44048E155C4C7CF9 Time : 0.0 sec. user=mdettweiler [2012-07-23 01:45:10] 659*2^1224608-1 is not prime. Res64: EB86B2E4E1D3B261 Time : 0.0 sec. user=mdettweiler [2012-07-23 01:45:11] 677*2^1224608-1 is not prime. Res64: AD12F5E511856C68 Time : 0.0 sec. user=mdettweiler [2012-07-23 02:00:19] 687*2^1224608-1 is not prime. Res64: 45A0E950F75DE52C Time : 0.0 sec. user=mdettweiler [2012-07-23 02:04:55] 725*2^1224608-1 is not prime. Res64: C33AEBA2545F9C58 Time : 0.0 sec. user=vaughan [2012-07-23 02:05:35] 975*2^1224607-1 is not prime. Res64: EED70A98653FDE85 Time : 0.0 sec. user=mdettweiler [2012-07-23 02:05:51] 945*2^1224608-1 is not prime. Res64: D963BAD14BE70E64 Time : 0.0 sec. user=mdettweiler [2012-07-23 02:05:51] 803*2^1224608-1 is not prime. Res64: 5FA538DBD04B576C Time : 0.0 sec. user=mdettweiler [2012-07-23 02:05:51] 681*2^1224609-1 is not prime. Res64: 8D7370D49AD63ED5 Time : 0.0 sec. user=mdettweiler [2012-07-23 02:05:52] 869*2^1224608-1 is not prime. Res64: E5DB0570D14E0463 Time : 0.0 sec. user=mdettweiler [2012-07-23 02:26:36] 759*2^1224609-1 is not prime. Res64: 5CD4203266A648CA Time : 0.0 sec. user=mdettweiler [2012-07-23 02:26:37] 829*2^1224609-1 is not prime. Res64: F3183F40B9075C02 Time : 0.0 sec. user=mdettweiler [2012-07-23 02:26:39] 831*2^1224609-1 is not prime. Res64: 866BB1B7B2E78126 Time : 0.0 sec. user=mdettweiler [2012-07-23 02:26:39] 945*2^1224609-1 is not prime. Res64: EB25BFE961E3D1BF Time : 0.0 sec. user=mdettweiler [2012-07-23 02:31:22] 721*2^1224609-1 is not prime. Res64: 4C9F936B03BA7FD3 Time : 0.0 sec. user=mdettweiler [2012-07-23 02:35:55] 727*2^1224609-1 is not prime. Res64: 1802B1DE925E671D Time : 0.0 sec. user=mdettweiler [2012-07-23 02:47:19] 657*2^1224610-1 is not prime. Res64: BF53A6500E961958 Time : 0.0 sec. user=mdettweiler [2012-07-23 02:47:20] 675*2^1224610-1 is not prime. Res64: F5DF519443A05FA7 Time : 0.0 sec. user=mdettweiler [2012-07-23 02:47:20] 663*2^1224610-1 is not prime. Res64: 61A10B0C33DCC70E Time : 0.0 sec. user=mdettweiler [2012-07-23 02:47:21] 735*2^1224610-1 is not prime. Res64: 6EB720125B34BFF5 Time : 0.0 sec. user=vaughan [2012-07-23 03:00:12] 747*2^1224609-1 is not prime. Res64: DF8FBFA1C0A4FAC9 Time : 0.0 sec. user=mdettweiler [2012-07-23 03:02:15] 825*2^1224610-1 is not prime. Res64: 8C878CC3A9DF07ED Time : 0.0 sec. user=mdettweiler [2012-07-23 03:06:41] 945*2^1224610-1 is not prime. Res64: 2105C15DE9828165 Time : 0.0 sec. user=mdettweiler [2012-07-23 03:08:00] 975*2^1224610-1 is not prime. Res64: 12BEF9D6B1024BEE Time : 0.0 sec. user=mdettweiler [2012-07-23 03:08:03] 987*2^1224610-1 is not prime. Res64: 6E43FD83B4D03A28 Time : 0.0 sec. user=mdettweiler [2012-07-23 03:08:05] 621*2^1224611-1 is not prime. Res64: 6ED49DB497F21737 Time : 0.0 sec. user=mdettweiler [2012-07-23 03:08:07] 759*2^1224611-1 is not prime. Res64: 86DAA89592BEE214 Time : 0.0 sec. user=mdettweiler [2012-07-23 03:28:49] 889*2^1224611-1 is not prime. Res64: A71A75873EC18189 Time : 0.0 sec. user=mdettweiler [2012-07-23 03:28:49] 901*2^1224611-1 is not prime. Res64: 964D95B8574DAD88 Time : 0.0 sec. user=mdettweiler [2012-07-23 03:28:51] 909*2^1224611-1 is not prime. Res64: 77AA582F6C341824 Time : 0.0 sec. user=mdettweiler [2012-07-23 03:28:51] 913*2^1224611-1 is not prime. Res64: D127BD4DB91725F1 Time : 0.0 sec. user=mdettweiler [2012-07-23 03:34:57] 841*2^1224611-1 is not prime. Res64: 1394C72733C6A67B Time : 0.0 sec. user=mdettweiler [2012-07-23 03:41:50] 859*2^1224611-1 is not prime. Res64: D651FC4B847AA4A9 Time : 0.0 sec. user=mdettweiler [2012-07-23 03:49:31] 999*2^1224611-1 is not prime. Res64: 754DA853A2205B73 Time : 0.0 sec. user=mdettweiler [2012-07-23 03:49:31] 843*2^1224612-1 is not prime. Res64: C1A7A4E863D32CD6 Time : 0.0 sec. user=mdettweiler [2012-07-23 03:49:32] 959*2^1224612-1 is not prime. Res64: 07819A8229519430 Time : 0.0 sec. user=mdettweiler [2012-07-23 03:49:33] 607*2^1224613-1 is not prime. Res64: 904C7052C234DFDE Time : 0.0 sec. user=vaughan [2012-07-23 03:55:00] 829*2^1224611-1 is not prime. Res64: 79F7F7AD846492DC Time : 0.0 sec. user=mdettweiler [2012-07-23 04:10:12] 937*2^1224613-1 is not prime. Res64: 7ABF375F24516904 Time : 0.0 sec. user=mdettweiler [2012-07-23 04:10:12] 645*2^1224614-1 is not prime. Res64: A218E882A2952A6F Time : 0.0 sec. user=mdettweiler [2012-07-23 04:10:15] 939*2^1224613-1 is not prime. Res64: 3164A8C0A1D053B6 Time : 0.0 sec. user=mdettweiler [2012-07-23 04:10:16] 663*2^1224614-1 is not prime. Res64: F8527F0802ABD798 Time : 0.0 sec. user=mdettweiler [2012-07-23 04:17:33] 849*2^1224613-1 is not prime. Res64: E33A548176FADD27 Time : 0.0 sec. user=mdettweiler [2012-07-23 04:20:26] 885*2^1224613-1 is not prime. Res64: 4C91ECACBB1AEB61 Time : 0.0 sec. user=mdettweiler [2012-07-23 04:31:02] 705*2^1224614-1 is not prime. Res64: 25D22751D179EC59 Time : 0.0 sec. user=mdettweiler [2012-07-23 04:31:05] 827*2^1224614-1 is not prime. Res64: 553D96D1A51C7875 Time : 0.0 sec. user=mdettweiler [2012-07-23 04:31:08] 857*2^1224614-1 is not prime. Res64: 2606C0D06FA21157 Time : 0.0 sec. user=mdettweiler [2012-07-23 04:31:10] 897*2^1224614-1 is not prime. Res64: 204BECAADB83E091 Time : 0.0 sec. user=gd_barnes [2012-07-23 04:45:45] 735*2^1224615-1 is not prime. Res64: 106A9A19C809FB38 Time : 0.0 sec. user=mdettweiler [2012-07-23 04:48:16] 741*2^1224615-1 is not prime. Res64: 617D5CA27EE59E22 Time : 0.0 sec. user=vaughan [2012-07-23 04:49:36] 693*2^1224614-1 is not prime. Res64: FA4D986C65663FB8 Time : 0.0 sec. user=mdettweiler [2012-07-23 04:51:10] 873*2^1224615-1 is not prime. Res64: 5F9631CE49F5DECB Time : 0.0 sec. user=mdettweiler [2012-07-23 04:52:24] 991*2^1224615-1 is not prime. Res64: 882399B7F247B66B Time : 0.0 sec. user=mdettweiler [2012-07-23 04:52:25] 645*2^1224616-1 is not prime. Res64: 157105824BE26597 Time : 0.0 sec. user=mdettweiler [2012-07-23 04:52:28] 759*2^1224616-1 is not prime. Res64: A0F35650C395840A Time : 0.0 sec. user=mdettweiler [2012-07-23 04:52:29] 857*2^1224616-1 is not prime. Res64: 9A6BE15E981CA37F Time : 0.0 sec. user=mdettweiler [2012-07-23 05:13:05] 645*2^1224617-1 is not prime. Res64: AFFDE6E2A755113B Time : 0.0 sec. user=mdettweiler [2012-07-23 05:13:06] 865*2^1224617-1 is not prime. Res64: C9D59F73A1A4633A Time : 0.0 sec. user=mdettweiler [2012-07-23 05:13:08] 735*2^1224618-1 is not prime. Res64: 9B77CD702BDA10FF Time : 0.0 sec. user=mdettweiler [2012-07-23 05:13:12] 765*2^1224618-1 is not prime. Res64: D74912A56E4C74DD Time : 0.0 sec. user=mdettweiler [2012-07-23 05:19:05] 903*2^1224616-1 is not prime. Res64: 8B3387F889A9C118 Time : 0.0 sec. user=mdettweiler [2012-07-23 05:21:58] 619*2^1224617-1 is not prime. Res64: D1401367BD2855D4 Time : 0.0 sec. user=mdettweiler [2012-07-23 05:34:03] 797*2^1224618-1 is not prime. Res64: 45C022CE709ED85D Time : 0.0 sec. user=mdettweiler [2012-07-23 05:34:03] 801*2^1224618-1 is not prime. Res64: E5D9FB4AAF3B2953 Time : 0.0 sec. user=vaughan [2012-07-23 05:44:14] 927*2^1224616-1 is not prime. Res64: 5456B580E651E748 Time : 0.0 sec. user=mdettweiler [2012-07-23 05:49:52] 881*2^1224618-1 is not prime. Res64: B331C439FDBC98FB Time : 0.0 sec. user=mdettweiler [2012-07-23 05:52:46] 631*2^1224619-1 is not prime. Res64: F9370ABA48506560 Time : 0.0 sec. user=mdettweiler [2012-07-23 05:54:42] 663*2^1224619-1 is not prime. Res64: AC67446116A96F0A Time : 0.0 sec. user=mdettweiler [2012-07-23 05:54:42] 685*2^1224619-1 is not prime. Res64: 009AFFA526541B45 Time : 0.0 sec. user=mdettweiler [2012-07-23 06:12:44] 677*2^1224620-1 is not prime. Res64: 88B203C7B319E2FA Time : 0.0 sec. user=mdettweiler [2012-07-23 06:12:48] 687*2^1224620-1 is not prime. Res64: 505F34776B14BB4B Time : 0.0 sec. user=mdettweiler [2012-07-23 06:15:21] 785*2^1224620-1 is not prime. Res64: 6596756478533262 Time : 0.0 sec. user=mdettweiler [2012-07-23 06:15:22] 813*2^1224620-1 is not prime. Res64: CF21D90FC939ACBD Time : 0.0 sec. user=mdettweiler [2012-07-23 06:20:43] 951*2^1224619-1 is not prime. Res64: 2A98656E490F7D16 Time : 0.0 sec. user=mdettweiler [2012-07-23 06:23:32] 759*2^1224620-1 is not prime. Res64: A08F22580BDD89B2 Time : 0.0 sec. user=mdettweiler [2012-07-23 06:33:49] 839*2^1224620-1 is not prime. Res64: 4EA24F6AEBF00ABD Time : 0.0 sec. user=mdettweiler [2012-07-23 06:33:49] 879*2^1224620-1 is not prime. Res64: 0A521C1CBD251BD5 Time : 0.0 sec. user=mdettweiler [2012-07-23 06:36:05] 897*2^1224620-1 is not prime. Res64: 8F295BF632165610 Time : 0.0 sec. user=mdettweiler [2012-07-23 06:36:06] 945*2^1224620-1 is not prime. Res64: C3D9B3B4739484CF Time : 0.0 sec. user=vaughan [2012-07-23 06:38:52] 765*2^1224619-1 is not prime. Res64: D105107FF7D240FC Time : 0.0 sec. user=mdettweiler [2012-07-23 06:51:25] 999*2^1224620-1 is not prime. Res64: 8226711B8583492F Time : 0.0 sec. user=mdettweiler [2012-07-23 06:54:19] 625*2^1224621-1 is not prime. Res64: 45792F0073146448 Time : 0.0 sec. user=mdettweiler [2012-07-23 06:54:29] 691*2^1224621-1 is not prime. Res64: FE5AE053F28FDD08 Time : 0.0 sec. user=mdettweiler [2012-07-23 06:54:30] 805*2^1224621-1 is not prime. Res64: 9A2DC537BF41353C Time : 0.0 sec. user=mdettweiler [2012-07-23 06:56:43] 837*2^1224621-1 is not prime. Res64: 15D8C176C85D7987 Time : 0.0 sec. user=mdettweiler [2012-07-23 06:56:44] 865*2^1224621-1 is not prime. Res64: 05F2FE63C496367D Time : 0.0 sec. user=mdettweiler [2012-07-23 07:15:08] 663*2^1224623-1 is not prime. Res64: 1095930B885935EB Time : 0.0 sec. user=mdettweiler [2012-07-23 07:15:10] 715*2^1224623-1 is not prime. Res64: E211601A1BA4BB89 Time : 0.0 sec. user=mdettweiler [2012-07-23 07:17:21] 721*2^1224623-1 is not prime. Res64: 13A479963B745FF4 Time : 0.0 sec. user=mdettweiler [2012-07-23 07:17:22] 735*2^1224623-1 is not prime. Res64: 76B6A18B9D3402E2 Time : 0.0 sec. user=mdettweiler [2012-07-23 07:22:18] 981*2^1224622-1 is not prime. Res64: C7C35DC75187BAB5 Time : 0.0 sec. user=mdettweiler [2012-07-23 07:25:06] 609*2^1224623-1 is not prime. Res64: 6CD2031B2618D26A Time : 0.0 sec. user=vaughan [2012-07-23 07:33:33] 915*2^1224622-1 is not prime. Res64: 00DD66A9E81A9327 Time : 0.0 sec. user=mdettweiler [2012-07-23 07:35:53] 771*2^1224623-1 is not prime. Res64: 6EBCDD949D51EA2B Time : 0.0 sec. user=mdettweiler [2012-07-23 07:35:54] 789*2^1224623-1 is not prime. Res64: 98D958B73B3FE1A2 Time : 0.0 sec. user=mdettweiler [2012-07-23 07:38:00] 955*2^1224623-1 is not prime. Res64: E55C12D6872D5C7E Time : 0.0 sec. user=mdettweiler [2012-07-23 07:38:00] 969*2^1224623-1 is not prime. Res64: F6AFD9438C6FA828 Time : 0.0 sec. user=mdettweiler [2012-07-23 07:53:08] 689*2^1224624-1 is not prime. Res64: C00D4F5695E809C2 Time : 0.0 sec. user=mdettweiler [2012-07-23 07:55:56] 693*2^1224624-1 is not prime. Res64: 0A83E36A7CCB8152 Time : 0.0 sec. user=mdettweiler [2012-07-23 07:56:31] 765*2^1224624-1 is not prime. Res64: F50C99F16C17FC9A Time : 0.0 sec. user=mdettweiler [2012-07-23 07:56:31] 899*2^1224624-1 is not prime. Res64: ED546960419C0CEF Time : 0.0 sec. user=mdettweiler [2012-07-23 07:58:36] 609*2^1224625-1 is not prime. Res64: 198A7C40FA3DE0F7 Time : 0.0 sec. user=mdettweiler [2012-07-23 07:58:37] 645*2^1224625-1 is not prime. Res64: 11E6508467B81512 Time : 0.0 sec. user=mdettweiler [2012-07-23 08:17:08] 847*2^1224625-1 is not prime. Res64: 8C06D958094F0E23 Time : 0.0 sec. user=mdettweiler [2012-07-23 08:17:09] 895*2^1224625-1 is not prime. Res64: 110C0985D437E7BC Time : 0.0 sec. user=mdettweiler [2012-07-23 08:19:12] 997*2^1224625-1 is not prime. Res64: 1D7E12370339E2AA Time : 0.0 sec. user=mdettweiler [2012-07-23 08:19:12] 633*2^1224626-1 is not prime. Res64: A77CF23C9AB03C1C Time : 0.0 sec. user=mdettweiler [2012-07-23 08:23:57] 667*2^1224625-1 is not prime. Res64: 849B5287410D8619 Time : 0.0 sec. user=mdettweiler [2012-07-23 08:26:43] 741*2^1224625-1 is not prime. Res64: 47E9842DDB3943D0 Time : 0.0 sec. user=vaughan [2012-07-23 08:28:25] 707*2^1224624-1 is not prime. Res64: E9870B5FAAA5C693 Time : 0.0 sec. user=mdettweiler [2012-07-23 08:38:04] 675*2^1224626-1 is not prime. Res64: 234736AD17DA8D17 Time : 0.0 sec. user=mdettweiler [2012-07-23 08:38:04] 735*2^1224626-1 is not prime. Res64: 29424626540393CC Time : 0.0 sec. user=mdettweiler [2012-07-23 08:39:48] 767*2^1224626-1 is not prime. Res64: 3F928CD41DE24A4E Time : 0.0 sec. user=mdettweiler [2012-07-23 08:39:48] 815*2^1224626-1 is not prime. Res64: 917282C2720DF05C Time : 0.0 sec. user=mdettweiler [2012-07-23 08:55:08] 643*2^1224627-1 is not prime. Res64: 225C4BA0E9068B79 Time : 0.0 sec. user=mdettweiler [2012-07-23 08:57:50] 775*2^1224627-1 is not prime. Res64: 647F843C8AB6E94A Time : 0.0 sec. user=mdettweiler [2012-07-23 08:58:39] 823*2^1224627-1 is not prime. Res64: 912D05FEA92E1590 Time : 0.0 sec. user=mdettweiler [2012-07-23 08:58:40] 919*2^1224627-1 is not prime. Res64: F0FCE1020446F082 Time : 0.0 sec. user=mdettweiler [2012-07-23 09:00:23] 931*2^1224627-1 is not prime. Res64: 9AB75A229153EDEB Time : 0.0 sec. user=mdettweiler [2012-07-23 09:00:24] 663*2^1224628-1 is not prime. Res64: 1CBA9087AC833CC7 Time : 0.0 sec. user=mdettweiler [2012-07-23 09:19:16] 803*2^1224628-1 is not prime. Res64: 008504F00FBD183E Time : 0.0 sec. user=mdettweiler [2012-07-23 09:19:18] 655*2^1224629-1 is not prime. Res64: 329C3B65007F2C9D Time : 0.0 sec. user=mdettweiler [2012-07-23 09:21:01] 727*2^1224629-1 is not prime. Res64: B8D9E8C5226FEC0D Time : 0.0 sec. user=mdettweiler [2012-07-23 09:21:01] 745*2^1224629-1 is not prime. Res64: 2FC0971C49482727 Time : 0.0 sec. user=vaughan [2012-07-23 09:23:17] 805*2^1224627-1 is not prime. Res64: 6F9175F5AE2D85E5 Time : 0.0 sec. user=mdettweiler [2012-07-23 09:26:57] 665*2^1224628-1 is not prime. Res64: DA15E1398868BB30 Time : 0.0 sec. user=mdettweiler [2012-07-23 09:29:39] 797*2^1224628-1 is not prime. Res64: 621D5DCF345C6E6C Time : 0.0 sec. user=mdettweiler [2012-07-23 09:40:11] 831*2^1224629-1 is not prime. Res64: D15CFF5E86DB1199 Time : 0.0 sec. user=mdettweiler [2012-07-23 09:40:11] 925*2^1224629-1 is not prime. Res64: 27557A40FEE50FC7 Time : 0.0 sec. user=mdettweiler [2012-07-23 09:41:34] 931*2^1224629-1 is not prime. Res64: A455870ECDFFCCF5 Time : 0.0 sec. user=mdettweiler [2012-07-23 09:41:34] 611*2^1224630-1 is not prime. Res64: 71B04E34D7B90B69 Time : 0.0 sec. user=mdettweiler [2012-07-23 09:58:37] 801*2^1224630-1 is not prime. Res64: BAAAC7C564397ED0 Time : 0.0 sec. user=mdettweiler [2012-07-23 10:00:41] 923*2^1224630-1 is not prime. Res64: E8AB434333325145 Time : 0.0 sec. user=mdettweiler [2012-07-23 10:00:42] 927*2^1224630-1 is not prime. Res64: 16844D34F850287A Time : 0.0 sec. user=mdettweiler [2012-07-23 10:01:18] 863*2^1224630-1 is not prime. Res64: F7E3C1D3E82B8357 Time : 0.0 sec. user=mdettweiler [2012-07-23 10:02:05] 645*2^1224631-1 is not prime. Res64: 43A180D9E103C891 Time : 0.0 sec. user=mdettweiler [2012-07-23 10:02:06] 745*2^1224631-1 is not prime. Res64: FFFE858827497C99 Time : 0.0 sec. user=vaughan [2012-07-23 10:18:10] 695*2^1224630-1 is not prime. Res64: A9EC0DDA1A692A18 Time : 0.0 sec. user=mdettweiler [2012-07-23 10:21:16] 883*2^1224631-1 is not prime. Res64: C9EABA2D8E43F344 Time : 0.0 sec. user=mdettweiler [2012-07-23 10:21:17] 895*2^1224631-1 is not prime. Res64: C3893214CA6E1EF4 Time : 0.0 sec. user=mdettweiler [2012-07-23 10:22:40] 999*2^1224631-1 is not prime. Res64: 3BF8B5DF62C9EFE5 Time : 0.0 sec. user=mdettweiler [2012-07-23 10:22:41] 629*2^1224632-1 is not prime. Res64: B1F50370FBA15309 Time : 0.0 sec. user=mdettweiler [2012-07-23 10:29:30] 861*2^1224631-1 is not prime. Res64: 299782B708081F95 Time : 0.0 sec. user=mdettweiler [2012-07-23 10:32:06] 933*2^1224631-1 is not prime. Res64: 5A6363BBB42858DC Time : 0.0 sec. user=mdettweiler [2012-07-23 10:41:52] 607*2^1224633-1 is not prime. Res64: EEBCC2E3AA17322B Time : 0.0 sec. user=mdettweiler [2012-07-23 10:41:53] 657*2^1224633-1 is not prime. Res64: 61562591FBF8AEC4 Time : 0.0 sec. user=mdettweiler [2012-07-23 10:43:15] 745*2^1224633-1 is not prime. Res64: ED13ADD54DEFFD17 Time : 0.0 sec. user=mdettweiler [2012-07-23 10:43:16] 765*2^1224633-1 is not prime. Res64: E5196EFFE762C395 Time : 0.0 sec. user=gd_barnes [2012-07-23 10:49:03] 725*2^1224632-1 is not prime. Res64: BD8270BA894FCCBB Time : 0.0 sec. user=mdettweiler [2012-07-23 11:00:23] 789*2^1224633-1 is not prime. Res64: 4D9992D3C94BDFBD Time : 0.0 sec. user=mdettweiler [2012-07-23 11:02:50] 895*2^1224633-1 is not prime. Res64: 468AA60512305FA9 Time : 0.0 sec. user=mdettweiler [2012-07-23 11:02:51] 945*2^1224633-1 is not prime. Res64: C5987E894A018D87 Time : 0.0 sec. user=mdettweiler [2012-07-23 11:02:53] 805*2^1224633-1 is not prime. Res64: 31C152F34FEFA993 Time : 0.0 sec. user=mdettweiler [2012-07-23 11:04:17] 949*2^1224633-1 is not prime. Res64: 193F22663FF8B2B0 Time : 0.0 sec. user=mdettweiler [2012-07-23 11:04:18] 617*2^1224634-1 is not prime. Res64: F37CAB974BDC14BF Time : 0.0 sec. user=vaughan [2012-07-23 11:13:00] 867*2^1224632-1 is not prime. Res64: C8253FD00F58612B Time : 0.0 sec. user=mdettweiler [2012-07-23 11:24:02] 663*2^1224634-1 is not prime. Res64: 5B1EB70132603216 Time : 0.0 sec. user=mdettweiler [2012-07-23 11:24:03] 675*2^1224634-1 is not prime. Res64: E9CEFA8A61D6F6A3 Time : 0.0 sec. user=mdettweiler [2012-07-23 11:25:26] 773*2^1224634-1 is not prime. Res64: 23CEAB9E58E934EC Time : 0.0 sec. user=mdettweiler [2012-07-23 11:25:26] 705*2^1224635-1 is not prime. Res64: 8AA9D2515E1A198F Time : 0.0 sec. user=mdettweiler [2012-07-23 11:31:08] 645*2^1224634-1 is not prime. Res64: B52370368272C55A Time : 0.0 sec. user=mdettweiler [2012-07-23 11:33:42] 741*2^1224634-1 is not prime. Res64: 3CDBAE6F9013C0BC Time : 0.0 sec. user=mdettweiler [2012-07-23 11:45:12] 825*2^1224635-1 is not prime. Res64: 5E4E983F411F842C Time : 0.0 sec. user=mdettweiler [2012-07-23 11:45:12] 861*2^1224635-1 is not prime. Res64: 5A7385F79EBF2285 Time : 0.0 sec. user=mdettweiler [2012-07-23 11:46:34] 963*2^1224635-1 is not prime. Res64: 456163BD3D509436 Time : 0.0 sec. user=mdettweiler [2012-07-23 11:46:35] 969*2^1224635-1 is not prime. Res64: C5BAD8CA206CB32D Time : 0.0 sec. user=mdettweiler [2012-07-23 12:02:12] 623*2^1224636-1 is not prime. Res64: 5161354328F960AE Time : 0.0 sec. user=mdettweiler [2012-07-23 12:04:51] 705*2^1224636-1 is not prime. Res64: 67A85D31C8939A0E Time : 0.0 sec. user=mdettweiler [2012-07-23 12:06:20] 765*2^1224636-1 is not prime. Res64: 64DB5CC4DABDC733 Time : 0.0 sec. user=mdettweiler [2012-07-23 12:06:20] 839*2^1224636-1 is not prime. Res64: 0FFBC49313D31D96 Time : 0.0 sec. user=mdettweiler [2012-07-23 12:07:42] 845*2^1224636-1 is not prime. Res64: 59779DEBABB4A4C2 Time : 0.0 sec. user=mdettweiler [2012-07-23 12:07:42] 927*2^1224636-1 is not prime. Res64: F63011D2A9CBA06B Time : 0.0 sec. user=vaughan [2012-07-23 12:08:02] 715*2^1224635-1 is not prime. Res64: BB8F0B09E74A5262 Time : 0.0 sec. user=mdettweiler [2012-07-23 12:27:37] 799*2^1224637-1 is not prime. Res64: 44EDFA0DE7D719DB Time : 0.0 sec. user=mdettweiler [2012-07-23 12:27:38] 985*2^1224637-1 is not prime. Res64: 9C437B1563F18605 Time : 0.0 sec. user=mdettweiler [2012-07-23 12:28:53] 605*2^1224638-1 is not prime. Res64: 4663D66BCA15B0D6 Time : 0.0 sec. user=mdettweiler [2012-07-23 12:28:53] 755*2^1224638-1 is not prime. Res64: 43704439C7833378 Time : 0.0 sec. user=mdettweiler [2012-07-23 12:34:21] 741*2^1224637-1 is not prime. Res64: 6D504BF236099143 Time : 0.0 sec. user=mdettweiler [2012-07-23 12:36:38] 747*2^1224637-1 is not prime. Res64: 99326FB04E831A42 Time : 0.0 sec. user=mdettweiler [2012-07-23 12:49:04] 827*2^1224638-1 is not prime. Res64: 25BD3D748B681154 Time : 0.0 sec. user=mdettweiler [2012-07-23 12:49:05] 953*2^1224638-1 is not prime. Res64: 5B302EE95B9438E7 Time : 0.0 sec. user=mdettweiler [2012-07-23 12:50:04] 615*2^1224639-1 is not prime. Res64: 802B3E967126E99B Time : 0.0 sec. user=mdettweiler [2012-07-23 12:50:04] 675*2^1224639-1 is not prime. Res64: E90C341CE0EB5763 Time : 0.0 sec. user=vaughan [2012-07-23 13:02:53] 801*2^1224638-1 is not prime. Res64: EDC41B14C7B1B1EA Time : 0.0 sec. user=mdettweiler [2012-07-23 13:05:16] 685*2^1224639-1 is not prime. Res64: D53D42690DD0D0EC Time : 0.0 sec. user=mdettweiler [2012-07-23 13:07:34] 693*2^1224639-1 is not prime. Res64: 434CF992EE0F5050 Time : 0.0 sec. user=mdettweiler [2012-07-23 13:10:16] 735*2^1224639-1 is not prime. Res64: A5FEAE0EADD2B75B Time : 0.0 sec. user=mdettweiler [2012-07-23 13:10:16] 751*2^1224639-1 is not prime. Res64: 7F655A77CEA722B9 Time : 0.0 sec. user=mdettweiler [2012-07-23 13:11:15] 775*2^1224639-1 is not prime. Res64: E33670D26B685617 Time : 0.0 sec. user=mdettweiler [2012-07-23 13:11:15] 829*2^1224639-1 is not prime. Res64: 8A89667705DD54CE Time : 0.0 sec. user=mdettweiler [2012-07-23 13:31:32] 675*2^1224640-1 is not prime. Res64: 999FB3B6ED164EC3 Time : 0.0 sec. user=mdettweiler [2012-07-23 13:31:32] 833*2^1224640-1 is not prime. Res64: 75327AE025DB60F1 Time : 0.0 sec. user=mdettweiler [2012-07-23 13:32:32] 849*2^1224640-1 is not prime. Res64: 2804C7F6B6CC2A81 Time : 0.0 sec. user=mdettweiler [2012-07-23 13:32:33] 857*2^1224640-1 is not prime. Res64: 4E8442B2BE1DC726 Time : 0.0 sec. user=mdettweiler [2012-07-23 13:36:17] 895*2^1224639-1 is not prime. Res64: 50705E3CB71705BD Time : 0.0 sec. user=mdettweiler [2012-07-23 13:38:41] 909*2^1224639-1 is not prime. Res64: C6B6931480716B77 Time : 0.0 sec. user=mdettweiler [2012-07-23 13:52:43] 875*2^1224640-1 is not prime. Res64: 04249376F2511B42 Time : 0.0 sec. user=mdettweiler [2012-07-23 13:52:44] 631*2^1224641-1 is not prime. Res64: 3D15E328C98BABCF Time : 0.0 sec. user=mdettweiler [2012-07-23 13:53:43] 811*2^1224641-1 is not prime. Res64: 69692E5428F033A9 Time : 0.0 sec. user=mdettweiler [2012-07-23 13:53:43] 819*2^1224641-1 is not prime. Res64: EEFF458E0DDE66B1 Time : 0.0 sec. user=vaughan [2012-07-23 13:57:52] 879*2^1224639-1 is not prime. Res64: D84756CBA5ED1AC8 Time : 0.0 sec. user=mdettweiler [2012-07-23 14:07:28] 879*2^1224641-1 is not prime. Res64: F18D76209FDB2E00 Time : 0.0 sec. user=mdettweiler [2012-07-23 14:09:44] 683*2^1224642-1 is not prime. Res64: 836D9D27B9B0553A Time : 0.0 sec. user=mdettweiler [2012-07-23 14:13:59] 735*2^1224642-1 is not prime. Res64: 45B7256DFA76EC52 Time : 0.0 sec. user=mdettweiler [2012-07-23 14:14:00] 765*2^1224642-1 is not prime. Res64: 2C1C3768AC4BEE8A Time : 0.0 sec. user=mdettweiler [2012-07-23 14:14:59] 777*2^1224642-1 is not prime. Res64: A252FFFD31AF3B00 Time : 0.0 sec. user=mdettweiler [2012-07-23 14:15:00] 801*2^1224642-1 is not prime. Res64: FFB7750E25242414 Time : 0.0 sec. user=mdettweiler [2012-07-23 14:35:23] 679*2^1224643-1 is not prime. Res64: 05B08809F5C8B76C Time : 0.0 sec. user=mdettweiler [2012-07-23 14:35:24] 681*2^1224643-1 is not prime. Res64: AFF1AFA2F37C09C7 Time : 0.0 sec. user=mdettweiler [2012-07-23 14:36:21] 685*2^1224643-1 is not prime. Res64: 4815E84DA60EFAE1 Time : 0.0 sec. user=mdettweiler [2012-07-23 14:36:21] 751*2^1224643-1 is not prime. Res64: CFD493A3F2A179EB Time : 0.0 sec. user=mdettweiler [2012-07-23 14:38:28] 619*2^1224643-1 is not prime. Res64: FC9593668FA95012 Time : 0.0 sec. user=mdettweiler [2012-07-23 14:40:39] 633*2^1224643-1 is not prime. Res64: 49768E0AC755491E Time : 0.0 sec. user=gd_barnes [2012-07-23 14:44:42] 775*2^1224643-1 is not prime. Res64: 13267E7924A72A0C Time : 0.0 sec. user=vaughan [2012-07-23 14:52:44] 833*2^1224642-1 is not prime. Res64: AC8F7497524C0782 Time : 0.0 sec. user=mdettweiler [2012-07-23 14:56:24] 873*2^1224643-1 is not prime. Res64: B8FAA10E3855A7AC Time : 0.0 sec. user=mdettweiler [2012-07-23 14:56:24] 891*2^1224643-1 is not prime. Res64: 69B2348BCB2BCB96 Time : 0.0 sec. user=mdettweiler [2012-07-23 14:57:21] 919*2^1224643-1 is not prime. Res64: E5B8326AE854E04A Time : 0.0 sec. user=mdettweiler [2012-07-23 14:57:21] 961*2^1224643-1 is not prime. Res64: 4BE60D310D27C857 Time : 0.0 sec. user=mdettweiler [2012-07-23 15:09:34] 973*2^1224643-1 is not prime. Res64: EACBE75BDB870045 Time : 0.0 sec. user=mdettweiler [2012-07-23 15:11:49] 687*2^1224644-1 is not prime. Res64: D1D6135F9EA19422 Time : 0.0 sec. user=mdettweiler [2012-07-23 15:18:11] 899*2^1224644-1 is not prime. Res64: 823AB4A03AC59C36 Time : 0.0 sec. user=mdettweiler [2012-07-23 15:18:12] 927*2^1224644-1 is not prime. Res64: 2AD048CA15F98FC8 Time : 0.0 sec. user=mdettweiler [2012-07-23 15:19:10] 639*2^1224645-1 is not prime. Res64: 37D98185D727F4AF Time : 0.0 sec. user=mdettweiler [2012-07-23 15:19:10] 777*2^1224645-1 is not prime. Res64: E883B94FF8F161E7 Time : 0.0 sec. user=mdettweiler [2012-07-23 15:39:14] 801*2^1224646-1 is not prime. Res64: A3C202773FBB65BD Time : 0.0 sec. user=mdettweiler [2012-07-23 15:39:15] 887*2^1224646-1 is not prime. Res64: B1D61B423F0B7954 Time : 0.0 sec. user=mdettweiler [2012-07-23 15:40:07] 933*2^1224646-1 is not prime. Res64: 15DD4EF6C296F4F5 Time : 0.0 sec. user=mdettweiler [2012-07-23 15:40:07] 987*2^1224646-1 is not prime. Res64: 77FA40FC195CBE78 Time : 0.0 sec. user=mdettweiler [2012-07-23 15:41:05] 819*2^1224645-1 is not prime. Res64: 33AA140BA634A88B Time : 0.0 sec. user=mdettweiler [2012-07-23 15:43:11] 915*2^1224645-1 is not prime. Res64: 4859579F2ADDB8C3 Time : 0.0 sec. user=vaughan [2012-07-23 15:47:35] 875*2^1224644-1 is not prime. Res64: F9C0B5FA0CD55989 Time : 0.0 sec. user=mdettweiler [2012-07-23 15:59:54] 649*2^1224647-1 is not prime. Res64: 202CD2994A69B0AF Time : 0.0 sec. user=mdettweiler [2012-07-23 15:59:55] 673*2^1224647-1 is not prime. Res64: 40E8EA5078B038EC Time : 0.0 sec. user=mdettweiler [2012-07-23 16:00:47] 759*2^1224647-1 is not prime. Res64: AFDA56DF6FCDC6BB Time : 0.0 sec. user=mdettweiler [2012-07-23 16:00:48] 813*2^1224647-1 is not prime. Res64: 077E6F3D851BB5F5 Time : 0.0 sec. user=mdettweiler [2012-07-23 16:12:19] 979*2^1224647-1 is not prime. Res64: B20BA039C5A426AA Time : 0.0 sec. user=mdettweiler [2012-07-23 16:14:41] 713*2^1224648-1 is not prime. Res64: 8CB85FDE3FCBA362 Time : 0.0 sec. user=mdettweiler [2012-07-23 16:20:33] 767*2^1224648-1 is not prime. Res64: 3BBAB00AF83B460B Time : 0.0 sec. user=mdettweiler [2012-07-23 16:20:34] 795*2^1224648-1 is not prime. Res64: 02D109006DDCE099 Time : 0.0 sec. user=mdettweiler [2012-07-23 16:21:29] 909*2^1224648-1 is not prime. Res64: B5CD3E903931C838 Time : 0.0 sec. user=mdettweiler [2012-07-23 16:21:29] 999*2^1224648-1 is not prime. Res64: C66615B1CFE29C14 Time : 0.0 sec. user=mdettweiler [2012-07-23 16:41:16] 945*2^1224649-1 is not prime. Res64: FEB814CE93463FA1 Time : 0.0 sec. user=mdettweiler [2012-07-23 16:41:16] 623*2^1224650-1 is not prime. Res64: E787F15A5194EBDF Time : 0.0 sec. user=mdettweiler [2012-07-23 16:42:08] 635*2^1224650-1 is not prime. Res64: 68C6CCB8665BBE36 Time : 0.0 sec. user=mdettweiler [2012-07-23 16:42:08] 675*2^1224650-1 is not prime. Res64: 067C01C3799F2555 Time : 0.0 sec. user=vaughan [2012-07-23 16:42:34] 759*2^1224648-1 is not prime. Res64: C87E7AA34853DAF0 Time : 0.0 sec. user=mdettweiler [2012-07-23 16:44:21] 639*2^1224649-1 is not prime. Res64: EFC4AE8660EF69D7 Time : 0.0 sec. user=mdettweiler [2012-07-23 16:46:29] 931*2^1224649-1 is not prime. Res64: 6744547F8A6280B6 Time : 0.0 sec. user=mdettweiler [2012-07-23 17:01:56] 743*2^1224650-1 is not prime. Res64: D70D41AB4ABD7D5D Time : 0.0 sec. user=mdettweiler [2012-07-23 17:01:58] 783*2^1224650-1 is not prime. Res64: 959A5029F793121D Time : 0.0 sec. user=mdettweiler [2012-07-23 17:02:47] 843*2^1224650-1 is not prime. Res64: D94858A9243A10FC Time : 0.0 sec. user=mdettweiler [2012-07-23 17:02:51] 875*2^1224650-1 is not prime. Res64: 9B32B68084149EF8 Time : 0.0 sec. user=mdettweiler [2012-07-23 17:15:34] 651*2^1224651-1 is not prime. Res64: FC4B0D2EE5F05586 Time : 0.0 sec. user=mdettweiler [2012-07-23 17:17:36] 709*2^1224651-1 is not prime. Res64: 61EB6F83A5F30F04 Time : 0.0 sec. user=mdettweiler [2012-07-23 17:23:06] 931*2^1224651-1 is not prime. Res64: 874B0CFFBA6FD5AE Time : 0.0 sec. user=mdettweiler [2012-07-23 17:23:06] 951*2^1224651-1 is not prime. Res64: D078D132FC8D5558 Time : 0.0 sec. user=mdettweiler [2012-07-23 17:23:36] 999*2^1224651-1 is not prime. Res64: 2E495B267FFEB090 Time : 0.0 sec. user=mdettweiler [2012-07-23 17:23:37] 609*2^1224652-1 is not prime. Res64: 95409CA3DEE632A2 Time : 0.0 sec. user=vaughan [2012-07-23 17:37:48] 1001*2^1224650-1 is not prime. Res64: 13B3C7F0CEA0F332 Time : 0.0 sec. user=mdettweiler [2012-07-23 17:43:47] 723*2^1224652-1 is not prime. Res64: F2B47A482D843D77 Time : 0.0 sec. user=mdettweiler [2012-07-23 17:43:48] 803*2^1224652-1 is not prime. Res64: 791A7FC6C49F8632 Time : 0.0 sec. user=mdettweiler [2012-07-23 17:44:17] 843*2^1224652-1 is not prime. Res64: 3DD96DE98E72BC9D Time : 0.0 sec. user=mdettweiler [2012-07-23 17:44:17] 909*2^1224652-1 is not prime. Res64: CB099895A7CE6125 Time : 0.0 sec. user=mdettweiler [2012-07-23 17:48:16] 647*2^1224652-1 is not prime. Res64: 600088869A79C737 Time : 0.0 sec. user=mdettweiler [2012-07-23 18:04:27] 995*2^1224652-1 is not prime. Res64: 76F78D3A654A59B7 Time : 0.0 sec. user=mdettweiler [2012-07-23 18:04:28] 621*2^1224653-1 is not prime. Res64: ACC7DE6F78CA3890 Time : 0.0 sec. user=mdettweiler [2012-07-23 18:04:54] 631*2^1224653-1 is not prime. Res64: 129659012F8C51A4 Time : 0.0 sec. user=mdettweiler [2012-07-23 18:04:55] 787*2^1224653-1 is not prime. Res64: 64AC61D241D0E6BA Time : 0.0 sec. user=mdettweiler [2012-07-23 18:18:41] 789*2^1224653-1 is not prime. Res64: 39FF1A2395B77E51 Time : 0.0 sec. user=mdettweiler [2012-07-23 18:19:05] 847*2^1224653-1 is not prime. Res64: C5C6FBB301F4CA2E Time : 0.0 sec. user=mdettweiler [2012-07-23 18:25:28] 979*2^1224653-1 is not prime. Res64: 6898BC6783CE8755 Time : 0.0 sec. user=mdettweiler [2012-07-23 18:25:28] 671*2^1224654-1 is not prime. Res64: 3118678DE102E5C3 Time : 0.0 sec. user=mdettweiler [2012-07-23 18:25:53] 693*2^1224654-1 is not prime. Res64: BC987584AA237783 Time : 0.0 sec. user=mdettweiler [2012-07-23 18:25:53] 731*2^1224654-1 is not prime. Res64: 87E1C6615B81135E Time : 0.0 sec. user=gd_barnes [2012-07-23 18:39:40] 767*2^1224654-1 is not prime. Res64: 9901B1F3ECB6DFDE Time : 0.0 sec. user=gd_barnes [2012-07-23 18:39:43] 783*2^1224654-1 is not prime. Res64: DBF57E575FA88660 Time : 0.0 sec. user=mdettweiler [2012-07-23 18:46:22] 947*2^1224654-1 is not prime. Res64: 725F8C63DA027C32 Time : 0.0 sec. user=mdettweiler [2012-07-23 18:46:23] 975*2^1224654-1 is not prime. Res64: 092A5BF25B6D28E3 Time : 0.0 sec. user=mdettweiler [2012-07-23 18:46:43] 649*2^1224655-1 is not prime. Res64: 8E98A6712E9BDBC5 Time : 0.0 sec. user=mdettweiler [2012-07-23 18:46:44] 723*2^1224655-1 is not prime. Res64: 636A6AA6F35082F0 Time : 0.0 sec. user=mdettweiler [2012-07-23 18:49:28] 851*2^1224654-1 is not prime. Res64: CF402E6A84FED9A2 Time : 0.0 sec. user=mdettweiler [2012-07-23 18:49:50] 945*2^1224654-1 is not prime. Res64: 622442CC60BF8BC2 Time : 0.0 sec. user=mdettweiler [2012-07-23 19:07:02] 789*2^1224655-1 is not prime. Res64: 7659E4D230EAD8BE Time : 0.0 sec. user=mdettweiler [2012-07-23 19:07:04] 859*2^1224655-1 is not prime. Res64: 5A81C39D4310B4F2 Time : 0.0 sec. user=mdettweiler [2012-07-23 19:07:22] 873*2^1224655-1 is not prime. Res64: 0A3B053EEA62023B Time : 0.0 sec. user=mdettweiler [2012-07-23 19:07:23] 919*2^1224655-1 is not prime. Res64: AAEFC3028BBF1C62 Time : 0.0 sec. user=mdettweiler [2012-07-23 19:20:20] 961*2^1224655-1 is not prime. Res64: 6F42ED3AEF4C21CB Time : 0.0 sec. user=mdettweiler [2012-07-23 19:20:37] 993*2^1224656-1 is not prime. Res64: 2482E68CEDED25BC Time : 0.0 sec. user=mdettweiler [2012-07-23 19:27:46] 849*2^1224657-1 is not prime. Res64: E85BE018D19D6B75 Time : 0.0 sec. user=mdettweiler [2012-07-23 19:27:46] 889*2^1224657-1 is not prime. Res64: 47701DF63FA42ECA Time : 0.0 sec. user=mdettweiler [2012-07-23 19:28:04] 997*2^1224657-1 is not prime. Res64: 8B45CF7FA14DD09E Time : 0.0 sec. user=mdettweiler [2012-07-23 19:28:04] 645*2^1224658-1 is not prime. Res64: EB942666EB68B802 Time : 0.0 sec. user=mdettweiler [2012-07-23 19:48:26] 993*2^1224658-1 is not prime. Res64: 19EECE0AFDF4FE6A Time : 0.0 sec. user=mdettweiler [2012-07-23 19:48:26] 643*2^1224659-1 is not prime. Res64: A49ECB1EA5985958 Time : 0.0 sec. user=mdettweiler [2012-07-23 19:48:43] 703*2^1224659-1 is not prime. Res64: 18D894B6365415F7 Time : 0.0 sec. user=mdettweiler [2012-07-23 19:48:43] 741*2^1224659-1 is not prime. Res64: E3CD06D6FCF87E8C Time : 0.0 sec. user=mdettweiler [2012-07-23 19:51:42] 681*2^1224658-1 is not prime. Res64: 55CF20D8CFA6A821 Time : 0.0 sec. user=mdettweiler [2012-07-23 19:52:01] 825*2^1224658-1 is not prime. Res64: DB0031CBCB5172C5 Time : 0.0 sec. user=mdettweiler [2012-07-23 20:09:05] 759*2^1224659-1 is not prime. Res64: 932B42D9105A5381 Time : 0.0 sec. user=mdettweiler [2012-07-23 20:09:07] 801*2^1224659-1 is not prime. Res64: 34640C36C5A46FD9 Time : 0.0 sec. user=mdettweiler [2012-07-23 20:09:21] 811*2^1224659-1 is not prime. Res64: B35A9F8EE4CE285B Time : 0.0 sec. user=mdettweiler [2012-07-23 20:09:23] 819*2^1224659-1 is not prime. Res64: AD1932841A1ACC8D Time : 0.0 sec. user=mdettweiler [2012-07-23 20:22:20] 825*2^1224659-1 is not prime. Res64: F9A8056AB417FFFE Time : 0.0 sec. user=mdettweiler [2012-07-23 20:22:39] 949*2^1224659-1 is not prime. Res64: 6C21D6DAFE1ADB3F Time : 0.0 sec. user=mdettweiler [2012-07-23 20:29:54] 955*2^1224659-1 is not prime. Res64: 668439BD75AD2379 Time : 0.0 sec. user=mdettweiler [2012-07-23 20:29:55] 719*2^1224660-1 is not prime. Res64: B4DF1BD57DBB1C09 Time : 0.0 sec. user=mdettweiler [2012-07-23 20:30:03] 735*2^1224660-1 is not prime. Res64: 500D6776FA78EC9E Time : 0.0 sec. user=mdettweiler [2012-07-23 20:30:04] 783*2^1224660-1 is not prime. Res64: EF7C8CD6A382C1B0 Time : 0.0 sec. user=juhehe [2012-07-23 20:45:11] 971*2^1224658-1 is not prime. Res64: 0E1D45377E2ECFF0 Time : 0.0 sec. user=mdettweiler [2012-07-23 20:50:35] 927*2^1224660-1 is not prime. Res64: DA80CF4EE32DA7A2 Time : 0.0 sec. user=mdettweiler [2012-07-23 20:50:36] 615*2^1224661-1 is not prime. Res64: 2EE915870E6C598A Time : 0.0 sec. user=mdettweiler [2012-07-23 20:50:41] 747*2^1224661-1 is not prime. Res64: 5FA1A7139004339C Time : 0.0 sec. user=mdettweiler [2012-07-23 20:50:42] 871*2^1224661-1 is not prime. Res64: 26A1107CFA3243BB Time : 0.0 sec. user=mdettweiler [2012-07-23 20:53:00] 875*2^1224660-1 is not prime. Res64: 88F02E63C80C3E07 Time : 0.0 sec. user=mdettweiler [2012-07-23 20:53:21] 879*2^1224660-1 is not prime. Res64: 9009DFFA1AB3F578 Time : 0.0 sec. user=mdettweiler [2012-07-23 21:11:13] 945*2^1224661-1 is not prime. Res64: 4D4025FECEDC2CA9 Time : 0.0 sec. user=mdettweiler [2012-07-23 21:11:15] 651*2^1224662-1 is not prime. Res64: FBAE6DF48C1F9C73 Time : 0.0 sec. user=mdettweiler [2012-07-23 21:11:20] 815*2^1224662-1 is not prime. Res64: AC6B75E4911F7AB9 Time : 0.0 sec. user=mdettweiler [2012-07-23 21:11:21] 951*2^1224662-1 is not prime. Res64: 41F896E426E04C11 Time : 0.0 sec. user=mdettweiler [2012-07-23 21:23:36] 953*2^1224662-1 is not prime. Res64: E163B7CFBFFFB629 Time : 0.0 sec. user=mdettweiler [2012-07-23 21:23:59] 987*2^1224662-1 is not prime. Res64: 1DAA0757C9654D7A Time : 0.0 sec. user=mdettweiler [2012-07-23 21:32:36] 995*2^1224662-1 is not prime. Res64: 17AD00104D7D0A9D Time : 0.0 sec. user=mdettweiler [2012-07-23 21:32:37] 643*2^1224663-1 is not prime. Res64: 648B78096D2F51D5 Time : 0.0 sec. user=mdettweiler [2012-07-23 21:32:40] 685*2^1224663-1 is not prime. Res64: 128E01658FEAF1AB Time : 0.0 sec. user=mdettweiler [2012-07-23 21:32:41] 739*2^1224663-1 is not prime. Res64: DCC49544FA25AFF3 Time : 0.0 sec. user=mdettweiler [2012-07-23 21:54:01] 985*2^1224663-1 is not prime. Res64: 9851FCE306E61B95 Time : 0.0 sec. user=mdettweiler [2012-07-23 21:54:01] 677*2^1224664-1 is not prime. Res64: 28FAF059A408CE4B Time : 0.0 sec. user=mdettweiler [2012-07-23 21:54:06] 717*2^1224664-1 is not prime. Res64: BA216014010870FF Time : 0.0 sec. user=mdettweiler [2012-07-23 21:54:07] 719*2^1224664-1 is not prime. Res64: 5DEEECBBA6AF52B4 Time : 0.0 sec. user=mdettweiler [2012-07-23 21:54:24] 775*2^1224663-1 is not prime. Res64: 2DD361DC3C23B7BC Time : 0.0 sec. user=mdettweiler [2012-07-23 21:54:31] 859*2^1224663-1 is not prime. Res64: 6467A562E9B54A35 Time : 0.0 sec. user=mdettweiler [2012-07-23 22:14:46] 843*2^1224664-1 is not prime. Res64: 02E146FFD623772C Time : 0.0 sec. user=mdettweiler [2012-07-23 22:14:48] 927*2^1224664-1 is not prime. Res64: 4682416F495C2406 Time : 0.0 sec. user=mdettweiler [2012-07-23 22:14:51] 675*2^1224665-1 is not prime. Res64: 86DE86B32D851EF8 Time : 0.0 sec. user=mdettweiler [2012-07-23 22:14:52] 777*2^1224665-1 is not prime. Res64: 13C2D43AA9191851 Time : 0.0 sec. user=mdettweiler [2012-07-23 22:25:06] 865*2^1224665-1 is not prime. Res64: 68C6B14E2D078BA1 Time : 0.0 sec. user=mdettweiler [2012-07-23 22:25:11] 985*2^1224665-1 is not prime. Res64: 91AA9FA845A95402 Time : 0.0 sec. user=mdettweiler [2012-07-23 22:35:29] 633*2^1224666-1 is not prime. Res64: 06AF9C3E7E2A503B Time : 0.0 sec. user=mdettweiler [2012-07-23 22:35:29] 671*2^1224666-1 is not prime. Res64: 766495C45C919C58 Time : 0.0 sec. user=mdettweiler [2012-07-23 22:35:32] 983*2^1224666-1 is not prime. Res64: D5F03935985DE49D Time : 0.0 sec. user=mdettweiler [2012-07-23 22:35:33] 1001*2^1224666-1 is not prime. Res64: A50735844461420E Time : 0.0 sec. user=gd_barnes [2012-07-23 22:48:28] 699*2^1224667-1 is not prime. Res64: 857936AB1AD32EAF Time : 0.0 sec. user=mdettweiler [2012-07-23 22:55:39] 849*2^1224667-1 is not prime. Res64: 1D51350C637A5CAA Time : 0.0 sec. user=mdettweiler [2012-07-23 22:55:46] 735*2^1224667-1 is not prime. Res64: BC2E838903160FD7 Time : 0.0 sec. user=mdettweiler [2012-07-23 22:56:06] 883*2^1224667-1 is not prime. Res64: 6153F0B07473AE23 Time : 0.0 sec. user=mdettweiler [2012-07-23 22:56:06] 889*2^1224667-1 is not prime. Res64: 3B0FD967993C33BF Time : 0.0 sec. user=mdettweiler [2012-07-23 22:56:08] 891*2^1224667-1 is not prime. Res64: 43B57FC7B65C337A Time : 0.0 sec. user=mdettweiler [2012-07-23 22:56:09] 623*2^1224668-1 is not prime. Res64: 15F5C5DC74C66824 Time : 0.0 sec. user=mdettweiler [2012-07-23 23:16:44] 743*2^1224668-1 is not prime. Res64: AED7F930012B0A96 Time : 0.0 sec. user=mdettweiler [2012-07-23 23:16:44] 795*2^1224668-1 is not prime. Res64: 11E530E41FB54F01 Time : 0.0 sec. user=mdettweiler [2012-07-23 23:16:45] 833*2^1224668-1 is not prime. Res64: 0757FC10F7D0EF67 Time : 0.0 sec. user=mdettweiler [2012-07-23 23:16:46] 711*2^1224669-1 is not prime. Res64: 701451AA79669D08 Time : 0.0 sec. user=mdettweiler [2012-07-23 23:26:17] 635*2^1224668-1 is not prime. Res64: CE61F2923394D1B6 Time : 0.0 sec. user=mdettweiler [2012-07-23 23:26:21] 707*2^1224668-1 is not prime. Res64: 1EBFE41D7C9BDE18 Time : 0.0 sec. user=juhehe [2012-07-23 23:26:40] 937*2^1224661-1 is not prime. Res64: B3D1064860B9061B Time : 0.0 sec. user=mdettweiler [2012-07-23 23:37:27] 751*2^1224669-1 is not prime. Res64: 6318D8D6D6D771FC Time : 0.0 sec. user=mdettweiler [2012-07-23 23:37:27] 765*2^1224669-1 is not prime. Res64: 2258CCB6DE5036EB Time : 0.0 sec. user=mdettweiler [2012-07-23 23:37:27] 877*2^1224669-1 is not prime. Res64: 9974B2626ED586A4 Time : 0.0 sec. user=mdettweiler [2012-07-23 23:37:28] 951*2^1224669-1 is not prime. Res64: A3F7A29F251360FA Time : 0.0 sec. user=mdettweiler [2012-07-23 23:57:07] 955*2^1224669-1 is not prime. Res64: C257C9725A23F09F Time : 0.0 sec. user=mdettweiler [2012-07-23 23:57:21] 987*2^1224669-1 is not prime. Res64: 82EDECFEC44613B4 Time : 0.0 sec. user=mdettweiler [2012-07-23 23:58:03] 687*2^1224670-1 is not prime. Res64: 4ECE4EFBB8D0841F Time : 0.0 sec. user=mdettweiler [2012-07-23 23:58:04] 609*2^1224671-1 is not prime. Res64: 6725FC461A9FEFCB Time : 0.0 sec. user=mdettweiler [2012-07-23 23:58:07] 619*2^1224671-1 is not prime. Res64: 69E653211DAFACC7 Time : 0.0 sec. user=mdettweiler [2012-07-23 23:58:08] 669*2^1224671-1 is not prime. Res64: 9C544F7B89939838 Time : 0.0 sec.