user=mdettweiler [2012-08-12 00:01:53] 643*2^1226247-1 is not prime. Res64: BB4234FBD5E91606 Time : 0.0 sec. user=mdettweiler [2012-08-12 00:01:54] 693*2^1226247-1 is not prime. Res64: E9096D021DD9CFD0 Time : 0.0 sec. user=vaughan [2012-08-12 00:04:55] 825*2^1226246-1 is not prime. Res64: 8E78F073BD4B30BA Time : 0.0 sec. user=mdettweiler [2012-08-12 00:09:56] 633*2^1226247-1 is not prime. Res64: 8CBC1DE964ADA7CA Time : 0.0 sec. user=mdettweiler [2012-08-12 00:13:01] 945*2^1226247-1 is not prime. Res64: 9D19806EECC7169E Time : 0.0 sec. user=mdettweiler [2012-08-12 00:13:03] 765*2^1226248-1 is not prime. Res64: A434A72FA5358A4A Time : 0.0 sec. user=mdettweiler [2012-08-12 00:22:33] 797*2^1226248-1 is not prime. Res64: EFE2C93F98FC979A Time : 0.0 sec. user=mdettweiler [2012-08-12 00:22:35] 927*2^1226248-1 is not prime. Res64: 5EA5289E446DF0A0 Time : 0.0 sec. user=mdettweiler [2012-08-12 00:25:02] 735*2^1226247-1 is not prime. Res64: 8429B2A75DB14350 Time : 0.0 sec. user=mdettweiler [2012-08-12 00:33:46] 945*2^1226249-1 is not prime. Res64: DE75360FF157A473 Time : 0.0 sec. user=mdettweiler [2012-08-12 00:33:49] 651*2^1226250-1 is not prime. Res64: 24CC042571C02052 Time : 0.0 sec. user=vaughan [2012-08-12 00:42:10] 727*2^1226249-1 is not prime. Res64: 442AA3273778983F Time : 0.0 sec. user=mdettweiler [2012-08-12 00:43:26] 677*2^1226250-1 is not prime. Res64: 5708BA1EA6646606 Time : 0.0 sec. user=mdettweiler [2012-08-12 00:43:26] 707*2^1226250-1 is not prime. Res64: A11452BFDCF2F764 Time : 0.0 sec. user=mdettweiler [2012-08-12 00:44:03] 741*2^1226249-1 is not prime. Res64: 243074B7C791628B Time : 0.0 sec. user=mdettweiler [2012-08-12 00:54:39] 845*2^1226250-1 is not prime. Res64: EB8B1225B73D51DF Time : 0.0 sec. user=mdettweiler [2012-08-12 00:54:40] 867*2^1226250-1 is not prime. Res64: 4D8938829FA76050 Time : 0.0 sec. user=mdettweiler [2012-08-12 00:58:31] 711*2^1226250-1 is not prime. Res64: 02AFD3FBF9DB3F62 Time : 0.0 sec. user=gd_barnes [2012-08-12 00:59:15] 767*2^1226250-1 is not prime. Res64: 0F2AE9CC48DCBBB7 Time : 0.0 sec. user=mdettweiler [2012-08-12 01:04:06] 601*2^1226251-1 is not prime. Res64: B575BCFBF9EEB1CF Time : 0.0 sec. user=mdettweiler [2012-08-12 01:04:08] 645*2^1226251-1 is not prime. Res64: 5D0D5A259FE2D7D8 Time : 0.0 sec. user=gd_barnes [2012-08-12 01:04:42] 783*2^1226250-1 is not prime. Res64: BDCC13F65B81C39C Time : 0.0 sec. user=gd_barnes [2012-08-12 01:04:48] 791*2^1226250-1 is not prime. Res64: F0AED5A74FA24431 Time : 0.0 sec. user=mdettweiler [2012-08-12 01:15:24] 771*2^1226251-1 is not prime. Res64: 4BA2F9AAFAC33F5A Time : 0.0 sec. user=mdettweiler [2012-08-12 01:15:25] 801*2^1226251-1 is not prime. Res64: D3BD6D49C8D1C818 Time : 0.0 sec. user=mdettweiler [2012-08-12 01:17:33] 693*2^1226251-1 is not prime. Res64: 4CC0AEC2FA61016B Time : 0.0 sec. user=vaughan [2012-08-12 01:19:43] 917*2^1226250-1 is not prime. Res64: CA59F69D617756BE Time : 0.0 sec. user=mdettweiler [2012-08-12 01:24:49] 935*2^1226252-1 is not prime. Res64: B5289744881829CC Time : 0.0 sec. user=mdettweiler [2012-08-12 01:24:49] 977*2^1226252-1 is not prime. Res64: 24D20393B9FDE094 Time : 0.0 sec. user=mdettweiler [2012-08-12 01:31:07] 699*2^1226252-1 is not prime. Res64: DABEA6814259702A Time : 0.0 sec. user=mdettweiler [2012-08-12 01:36:16] 609*2^1226253-1 is not prime. Res64: EBF261029799994E Time : 0.0 sec. user=mdettweiler [2012-08-12 01:36:17] 651*2^1226253-1 is not prime. Res64: 885AAC33F1CD1DA5 Time : 0.0 sec. user=mdettweiler [2012-08-12 01:45:27] 891*2^1226253-1 is not prime. Res64: 843457E25932A455 Time : 0.0 sec. user=mdettweiler [2012-08-12 01:45:28] 901*2^1226253-1 is not prime. Res64: 28F483BB897E4325 Time : 0.0 sec. user=mdettweiler [2012-08-12 01:53:30] 747*2^1226253-1 is not prime. Res64: C0F2EAE7FDEE3822 Time : 0.0 sec. user=mdettweiler [2012-08-12 01:56:56] 605*2^1226254-1 is not prime. Res64: 2846E4E293CA6937 Time : 0.0 sec. user=mdettweiler [2012-08-12 01:56:56] 665*2^1226254-1 is not prime. Res64: 9D7D02FE11C00EF6 Time : 0.0 sec. user=vaughan [2012-08-12 01:57:00] 811*2^1226253-1 is not prime. Res64: 28C842823DC5B48F Time : 0.0 sec. user=mdettweiler [2012-08-12 02:03:37] 987*2^1226253-1 is not prime. Res64: EF30262D04817493 Time : 0.0 sec. user=mdettweiler [2012-08-12 02:06:13] 705*2^1226254-1 is not prime. Res64: 0CDDAEF7952114AA Time : 0.0 sec. user=mdettweiler [2012-08-12 02:06:15] 765*2^1226254-1 is not prime. Res64: 52255A0248BA71CE Time : 0.0 sec. user=mdettweiler [2012-08-12 02:17:41] 915*2^1226254-1 is not prime. Res64: 0725A0DC6DE28C84 Time : 0.0 sec. user=mdettweiler [2012-08-12 02:17:42] 983*2^1226254-1 is not prime. Res64: 2DF27E076FDBAFEE Time : 0.0 sec. user=mdettweiler [2012-08-12 02:26:57] 715*2^1226255-1 is not prime. Res64: FB38AEE2C4D4107B Time : 0.0 sec. user=mdettweiler [2012-08-12 02:26:58] 739*2^1226255-1 is not prime. Res64: C70F0A7BF3D7F126 Time : 0.0 sec. user=mdettweiler [2012-08-12 02:26:59] 833*2^1226254-1 is not prime. Res64: D72CA4529F116B7D Time : 0.0 sec. user=juhehe [2012-08-12 02:32:40] 723*2^1226148-1 is not prime. Res64: 0A3F71E692095EBA Time : 0.0 sec. user=vaughan [2012-08-12 02:34:14] 993*2^1226254-1 is not prime. Res64: 0B8FD5CE0CA210DE Time : 0.0 sec. user=mdettweiler [2012-08-12 02:37:36] 601*2^1226255-1 is not prime. Res64: D88999BA965455E9 Time : 0.0 sec. user=mdettweiler [2012-08-12 02:38:25] 783*2^1226255-1 is not prime. Res64: 249D058CE15DFA11 Time : 0.0 sec. user=mdettweiler [2012-08-12 02:38:30] 789*2^1226255-1 is not prime. Res64: 83F86B3AD08499AB Time : 0.0 sec. user=mdettweiler [2012-08-12 02:47:39] 871*2^1226255-1 is not prime. Res64: E526418FCC6A0633 Time : 0.0 sec. user=mdettweiler [2012-08-12 02:47:41] 939*2^1226255-1 is not prime. Res64: 0954546E61B7CF3F Time : 0.0 sec. user=mdettweiler [2012-08-12 02:59:20] 609*2^1226257-1 is not prime. Res64: E5485A4928FE8215 Time : 0.0 sec. user=mdettweiler [2012-08-12 02:59:22] 637*2^1226257-1 is not prime. Res64: 2D3D64F3345BA2CA Time : 0.0 sec. user=mdettweiler [2012-08-12 02:59:22] 949*2^1226255-1 is not prime. Res64: 22FC36F11D5D03E0 Time : 0.0 sec. user=mdettweiler [2012-08-12 03:08:41] 847*2^1226257-1 is not prime. Res64: 49F602153E5EE80C Time : 0.0 sec. user=mdettweiler [2012-08-12 03:08:44] 937*2^1226257-1 is not prime. Res64: EE0531CF287533A0 Time : 0.0 sec. user=gd_barnes [2012-08-12 03:09:25] 903*2^1226256-1 is not prime. Res64: 93E051914D5E8628 Time : 0.0 sec. user=vaughan [2012-08-12 03:11:35] 693*2^1226256-1 is not prime. Res64: C07095420AA135F5 Time : 0.0 sec. user=mdettweiler [2012-08-12 03:12:46] 843*2^1226256-1 is not prime. Res64: 7E7C7CE8BB939765 Time : 0.0 sec. user=mdettweiler [2012-08-12 03:20:18] 985*2^1226257-1 is not prime. Res64: ED731F6B50BDFEAA Time : 0.0 sec. user=mdettweiler [2012-08-12 03:20:19] 603*2^1226258-1 is not prime. Res64: 2219876B1891EEAC Time : 0.0 sec. user=mdettweiler [2012-08-12 03:29:28] 971*2^1226258-1 is not prime. Res64: 55E03D7774FAA442 Time : 0.0 sec. user=mdettweiler [2012-08-12 03:29:29] 625*2^1226259-1 is not prime. Res64: 34127F6E890312D7 Time : 0.0 sec. user=gd_barnes [2012-08-12 03:31:31] 825*2^1226258-1 is not prime. Res64: C9ECFF82C6187EC3 Time : 0.0 sec. user=mdettweiler [2012-08-12 03:31:38] 711*2^1226258-1 is not prime. Res64: 73720FA8381C109E Time : 0.0 sec. user=mdettweiler [2012-08-12 03:41:02] 687*2^1226260-1 is not prime. Res64: A4DC24EC6BD3F11E Time : 0.0 sec. user=mdettweiler [2012-08-12 03:41:03] 699*2^1226260-1 is not prime. Res64: 7A4A4C361A9FB3FC Time : 0.0 sec. user=vaughan [2012-08-12 03:48:52] 653*2^1226260-1 is not prime. Res64: F07671E5A1C8E54B Time : 0.0 sec. user=mdettweiler [2012-08-12 03:50:06] 803*2^1226260-1 is not prime. Res64: 1040649AD13EEFF1 Time : 0.0 sec. user=mdettweiler [2012-08-12 03:50:07] 825*2^1226260-1 is not prime. Res64: CC3830A8F1EDFF1C Time : 0.0 sec. user=mdettweiler [2012-08-12 03:55:02] 675*2^1226260-1 is not prime. Res64: CCCA197872C193A8 Time : 0.0 sec. user=mdettweiler [2012-08-12 04:01:57] 863*2^1226260-1 is not prime. Res64: E0006EA23A16FA7C Time : 0.0 sec. user=mdettweiler [2012-08-12 04:02:00] 875*2^1226260-1 is not prime. Res64: 4097EA5FB75A7F5F Time : 0.0 sec. user=mdettweiler [2012-08-12 04:10:44] 819*2^1226261-1 is not prime. Res64: 5D291F530DCBDC85 Time : 0.0 sec. user=mdettweiler [2012-08-12 04:10:46] 901*2^1226261-1 is not prime. Res64: D9C20EFF3651C6FB Time : 0.0 sec. user=mdettweiler [2012-08-12 04:22:54] 671*2^1226262-1 is not prime. Res64: 7E2E1D9DB11F39F1 Time : 0.0 sec. user=mdettweiler [2012-08-12 04:22:55] 683*2^1226262-1 is not prime. Res64: B7F8185CE97DF0ED Time : 0.0 sec. user=vaughan [2012-08-12 04:26:09] 953*2^1226260-1 is not prime. Res64: A7C6A4517C9482E4 Time : 0.0 sec. user=mdettweiler [2012-08-12 04:29:53] 627*2^1226262-1 is not prime. Res64: 22C133C1B0ACAF71 Time : 0.0 sec. user=mdettweiler [2012-08-12 04:31:27] 737*2^1226262-1 is not prime. Res64: 9721048E946E3675 Time : 0.0 sec. user=mdettweiler [2012-08-12 04:31:31] 761*2^1226262-1 is not prime. Res64: DECA4C05FE7BCDAB Time : 0.0 sec. user=mdettweiler [2012-08-12 04:40:56] 855*2^1226260-1 is not prime. Res64: 90297726E4A5F121 Time : 0.0 sec. user=mdettweiler [2012-08-12 04:43:41] 765*2^1226262-1 is not prime. Res64: 5CA280214E45EC3F Time : 0.0 sec. user=mdettweiler [2012-08-12 04:43:44] 791*2^1226262-1 is not prime. Res64: 5850DD2615427A0F Time : 0.0 sec. user=mdettweiler [2012-08-12 04:52:17] 783*2^1226263-1 is not prime. Res64: 2E515D2FE28B81E6 Time : 0.0 sec. user=mdettweiler [2012-08-12 04:52:20] 819*2^1226263-1 is not prime. Res64: B96F97D96C849368 Time : 0.0 sec. user=vaughan [2012-08-12 05:03:24] 821*2^1226262-1 is not prime. Res64: C8B485511807860C Time : 0.0 sec. user=mdettweiler [2012-08-12 05:04:27] 663*2^1226264-1 is not prime. Res64: D95128655CF8BDD0 Time : 0.0 sec. user=mdettweiler [2012-08-12 05:04:28] 683*2^1226264-1 is not prime. Res64: B2C46B3D1A8E4C8D Time : 0.0 sec. user=mdettweiler [2012-08-12 05:13:04] 767*2^1226264-1 is not prime. Res64: C70417B279FE85D6 Time : 0.0 sec. user=mdettweiler [2012-08-12 05:13:06] 873*2^1226264-1 is not prime. Res64: 7FA0E93A2344FA4E Time : 0.0 sec. user=mdettweiler [2012-08-12 05:24:12] 1001*2^1226262-1 is not prime. Res64: BF5D45F20C547006 Time : 0.0 sec. user=mdettweiler [2012-08-12 05:25:13] 927*2^1226264-1 is not prime. Res64: BD7DB99A05F008CC Time : 0.0 sec. user=mdettweiler [2012-08-12 05:25:14] 993*2^1226264-1 is not prime. Res64: FBEB3A42A047013F Time : 0.0 sec. user=mdettweiler [2012-08-12 05:33:48] 859*2^1226263-1 is not prime. Res64: 233CBF7F46422293 Time : 0.0 sec. user=mdettweiler [2012-08-12 05:34:00] 995*2^1226264-1 is not prime. Res64: FD1847DAD8F0E3A9 Time : 0.0 sec. user=mdettweiler [2012-08-12 05:34:01] 721*2^1226265-1 is not prime. Res64: D8083AE2FFDBC467 Time : 0.0 sec. user=vaughan [2012-08-12 05:40:49] 903*2^1226264-1 is not prime. Res64: 50C5FEAE5BE7F827 Time : 0.0 sec. user=mdettweiler [2012-08-12 05:45:54] 777*2^1226265-1 is not prime. Res64: ADB586982EDA1770 Time : 0.0 sec. user=mdettweiler [2012-08-12 05:45:55] 915*2^1226265-1 is not prime. Res64: F7150CF940FD0E01 Time : 0.0 sec. user=mdettweiler [2012-08-12 05:54:42] 651*2^1226266-1 is not prime. Res64: DBF50F46E0B85A27 Time : 0.0 sec. user=mdettweiler [2012-08-12 05:54:44] 741*2^1226266-1 is not prime. Res64: DF3A85DAE74F63EB Time : 0.0 sec. user=mdettweiler [2012-08-12 06:06:38] 887*2^1226266-1 is not prime. Res64: 342D3A207A04BD8A Time : 0.0 sec. user=mdettweiler [2012-08-12 06:06:39] 971*2^1226266-1 is not prime. Res64: ACC654F4846B7307 Time : 0.0 sec. user=mdettweiler [2012-08-12 06:07:51] 919*2^1226265-1 is not prime. Res64: 1F823062273655E2 Time : 0.0 sec. user=mdettweiler [2012-08-12 06:12:47] 751*2^1226265-1 is not prime. Res64: 6EC99E76077F5CC7 Time : 0.0 sec. user=mdettweiler [2012-08-12 06:15:26] 975*2^1226266-1 is not prime. Res64: 1DDCA09CF76F13E8 Time : 0.0 sec. user=mdettweiler [2012-08-12 06:15:27] 651*2^1226267-1 is not prime. Res64: 85F0A3875140633B Time : 0.0 sec. user=vaughan [2012-08-12 06:18:04] 881*2^1226266-1 is not prime. Res64: 6692ED34EBBD900A Time : 0.0 sec. user=mdettweiler [2012-08-12 06:27:24] 675*2^1226267-1 is not prime. Res64: 508A0DF580BCC24E Time : 0.0 sec. user=mdettweiler [2012-08-12 06:27:25] 685*2^1226267-1 is not prime. Res64: AB16D29885451EA9 Time : 0.0 sec. user=mdettweiler [2012-08-12 06:36:06] 741*2^1226267-1 is not prime. Res64: 923B4D94C7AB67D0 Time : 0.0 sec. user=mdettweiler [2012-08-12 06:36:07] 775*2^1226267-1 is not prime. Res64: 83F8BBA0DA44CDE3 Time : 0.0 sec. user=mdettweiler [2012-08-12 06:42:54] 699*2^1226267-1 is not prime. Res64: 51A412D0FEA8512F Time : 0.0 sec. user=mdettweiler [2012-08-12 06:45:06] 711*2^1226267-1 is not prime. Res64: 13A5E7D964FD0DB3 Time : 0.0 sec. user=mdettweiler [2012-08-12 06:48:03] 981*2^1226267-1 is not prime. Res64: 43DA477B9D8CFA15 Time : 0.0 sec. user=mdettweiler [2012-08-12 06:48:04] 605*2^1226268-1 is not prime. Res64: 113B9EB9F0CFF14B Time : 0.0 sec. user=vaughan [2012-08-12 06:55:21] 979*2^1226267-1 is not prime. Res64: EB21D84FB1D30288 Time : 0.0 sec. user=mdettweiler [2012-08-12 06:56:48] 665*2^1226268-1 is not prime. Res64: 9588AE98F253EE95 Time : 0.0 sec. user=mdettweiler [2012-08-12 06:56:49] 725*2^1226268-1 is not prime. Res64: 03F70DCF3DC57D2B Time : 0.0 sec. user=mdettweiler [2012-08-12 07:08:40] 845*2^1226268-1 is not prime. Res64: 5C6CE3C126864425 Time : 0.0 sec. user=mdettweiler [2012-08-12 07:08:43] 887*2^1226268-1 is not prime. Res64: 871A65BC9981B079 Time : 0.0 sec. user=mdettweiler [2012-08-12 07:16:22] 767*2^1226268-1 is not prime. Res64: 40A72DEBCB43B583 Time : 0.0 sec. user=mdettweiler [2012-08-12 07:17:26] 687*2^1226269-1 is not prime. Res64: 8E91AFD405ABD033 Time : 0.0 sec. user=mdettweiler [2012-08-12 07:17:26] 817*2^1226269-1 is not prime. Res64: DB0587F8F377C02B Time : 0.0 sec. user=mdettweiler [2012-08-12 07:18:52] 843*2^1226268-1 is not prime. Res64: FF45BF058912DA36 Time : 0.0 sec. user=mdettweiler [2012-08-12 07:29:30] 825*2^1226269-1 is not prime. Res64: 693D1134BA9A039C Time : 0.0 sec. user=mdettweiler [2012-08-12 07:29:31] 919*2^1226269-1 is not prime. Res64: 7DD9A3A4D807A5BD Time : 0.0 sec. user=vaughan [2012-08-12 07:32:40] 681*2^1226269-1 is not prime. Res64: 37131B2E20AA68C7 Time : 0.0 sec. user=mdettweiler [2012-08-12 07:38:05] 987*2^1226269-1 is not prime. Res64: 8D0FA54707004B64 Time : 0.0 sec. user=mdettweiler [2012-08-12 07:38:06] 999*2^1226269-1 is not prime. Res64: D7E22370EF3B06C6 Time : 0.0 sec. user=mdettweiler [2012-08-12 07:48:27] 975*2^1226269-1 is not prime. Res64: 8A21F20ECFFEE333 Time : 0.0 sec. user=mdettweiler [2012-08-12 07:50:11] 893*2^1226270-1 is not prime. Res64: 356C6DBE61A0E5E7 Time : 0.0 sec. user=mdettweiler [2012-08-12 07:50:12] 927*2^1226270-1 is not prime. Res64: 35BEA62DEFD36060 Time : 0.0 sec. user=mdettweiler [2012-08-12 07:54:27] 797*2^1226270-1 is not prime. Res64: ABCD4D3E56C98E93 Time : 0.0 sec. user=mdettweiler [2012-08-12 07:58:47] 613*2^1226271-1 is not prime. Res64: 7AEC4D33D5EBF3A7 Time : 0.0 sec. user=mdettweiler [2012-08-12 07:58:50] 651*2^1226271-1 is not prime. Res64: 260C0985BBC60A12 Time : 0.0 sec. user=vaughan [2012-08-12 08:09:55] 609*2^1226271-1 is not prime. Res64: AE93A852106FAAA0 Time : 0.0 sec. user=mdettweiler [2012-08-12 08:10:53] 691*2^1226271-1 is not prime. Res64: FB09A7B1AACDBCFC Time : 0.0 sec. user=mdettweiler [2012-08-12 08:10:54] 763*2^1226271-1 is not prime. Res64: 327EC750C553DD12 Time : 0.0 sec. user=mdettweiler [2012-08-12 08:19:28] 895*2^1226271-1 is not prime. Res64: 9A07E0A019544C7D Time : 0.0 sec. user=mdettweiler [2012-08-12 08:19:28] 969*2^1226271-1 is not prime. Res64: 2D829B14CA815D82 Time : 0.0 sec. user=mdettweiler [2012-08-12 08:22:01] 675*2^1226271-1 is not prime. Res64: EC65C8324652DB2E Time : 0.0 sec. user=mdettweiler [2012-08-12 08:31:30] 933*2^1226272-1 is not prime. Res64: E8BAB2290896EAEA Time : 0.0 sec. user=mdettweiler [2012-08-12 08:31:31] 631*2^1226273-1 is not prime. Res64: 42ADD5D3FF5EC7F4 Time : 0.0 sec. user=mdettweiler [2012-08-12 08:32:01] 849*2^1226271-1 is not prime. Res64: 6DEB2B6CEBF186BB Time : 0.0 sec. user=mdettweiler [2012-08-12 08:40:09] 675*2^1226273-1 is not prime. Res64: DCFA4B051EC8C2DD Time : 0.0 sec. user=mdettweiler [2012-08-12 08:40:10] 685*2^1226273-1 is not prime. Res64: 442C0A59B176C2D6 Time : 0.0 sec. user=vaughan [2012-08-12 08:47:21] 887*2^1226272-1 is not prime. Res64: 07C8CF19FC12765E Time : 0.0 sec. user=mdettweiler [2012-08-12 08:52:11] 967*2^1226273-1 is not prime. Res64: 51F464A515FAC42F Time : 0.0 sec. user=mdettweiler [2012-08-12 08:52:12] 969*2^1226273-1 is not prime. Res64: A96A5BFA84924CAE Time : 0.0 sec. user=mdettweiler [2012-08-12 08:55:27] 735*2^1226273-1 is not prime. Res64: A26622B337417C94 Time : 0.0 sec. user=mdettweiler [2012-08-12 09:00:51] 881*2^1226274-1 is not prime. Res64: 57CA543E9710469D Time : 0.0 sec. user=mdettweiler [2012-08-12 09:00:52] 735*2^1226275-1 is not prime. Res64: ED91EE6A76C6DB63 Time : 0.0 sec. user=mdettweiler [2012-08-12 09:05:06] 641*2^1226274-1 is not prime. Res64: ED46A5EBD62D17DF Time : 0.0 sec. user=mdettweiler [2012-08-12 09:12:52] 861*2^1226275-1 is not prime. Res64: 2D5A23DD9781656C Time : 0.0 sec. user=mdettweiler [2012-08-12 09:12:55] 891*2^1226275-1 is not prime. Res64: E081468E0182744C Time : 0.0 sec. user=mdettweiler [2012-08-12 09:21:41] 973*2^1226275-1 is not prime. Res64: 9E634613DA2B9137 Time : 0.0 sec. user=mdettweiler [2012-08-12 09:21:43] 609*2^1226276-1 is not prime. Res64: CBDC1C6151C98A26 Time : 0.0 sec. user=vaughan [2012-08-12 09:24:40] 793*2^1226275-1 is not prime. Res64: 59DC7C30F3935659 Time : 0.0 sec. user=mdettweiler [2012-08-12 09:30:44] 915*2^1226275-1 is not prime. Res64: 3CD5855B2CE946FB Time : 0.0 sec. user=mdettweiler [2012-08-12 09:33:46] 689*2^1226276-1 is not prime. Res64: 93593D9580AEBF52 Time : 0.0 sec. user=mdettweiler [2012-08-12 09:33:47] 825*2^1226276-1 is not prime. Res64: DA06FEA9C58E3EAB Time : 0.0 sec. user=mdettweiler [2012-08-12 09:37:33] 617*2^1226276-1 is not prime. Res64: 5980FB85A3D97964 Time : 0.0 sec. user=mdettweiler [2012-08-12 09:42:24] 869*2^1226276-1 is not prime. Res64: 8804CB0177EB2910 Time : 0.0 sec. user=mdettweiler [2012-08-12 09:42:24] 699*2^1226277-1 is not prime. Res64: B8C5205BAE6F94B2 Time : 0.0 sec. user=vaughan [2012-08-12 10:02:04] 747*2^1226277-1 is not prime. Res64: F129481C9DBE55FB Time : 0.0 sec. user=mdettweiler [2012-08-12 10:03:00] 885*2^1226277-1 is not prime. Res64: 0F81F7D5AF38DF1C Time : 0.0 sec. user=mdettweiler [2012-08-12 10:03:02] 891*2^1226277-1 is not prime. Res64: E5E2E721407CFDC4 Time : 0.0 sec. user=mdettweiler [2012-08-12 10:03:58] 777*2^1226277-1 is not prime. Res64: F86D46E3EADA2995 Time : 0.0 sec. user=mdettweiler [2012-08-12 10:04:53] 895*2^1226277-1 is not prime. Res64: 6F20F7CF24B3A944 Time : 0.0 sec. user=mdettweiler [2012-08-12 10:04:54] 915*2^1226277-1 is not prime. Res64: E173A4A82E48AFB2 Time : 0.0 sec. user=mdettweiler [2012-08-12 10:11:02] 847*2^1226277-1 is not prime. Res64: 8B5580739DCE862E Time : 0.0 sec. user=mdettweiler [2012-08-12 10:23:42] 933*2^1226278-1 is not prime. Res64: DE72CEE451F38D78 Time : 0.0 sec. user=mdettweiler [2012-08-12 10:23:43] 987*2^1226278-1 is not prime. Res64: 8083E02AD92D3CF0 Time : 0.0 sec. user=mdettweiler [2012-08-12 10:25:32] 693*2^1226279-1 is not prime. Res64: DD65D4E55A8CAF3B Time : 0.0 sec. user=mdettweiler [2012-08-12 10:25:32] 711*2^1226279-1 is not prime. Res64: 0533FEC6EACAABC8 Time : 0.0 sec. user=mdettweiler [2012-08-12 10:37:22] 645*2^1226279-1 is not prime. Res64: 89179E2D9ACC6149 Time : 0.0 sec. user=gd_barnes [2012-08-12 10:37:54] 859*2^1226279-1 is not prime. Res64: 2AD41C14F14575F9 Time : 0.0 sec. user=vaughan [2012-08-12 10:39:47] 923*2^1226278-1 is not prime. Res64: FEF36E4153ED7A94 Time : 0.0 sec. user=gd_barnes [2012-08-12 10:43:25] 909*2^1226279-1 is not prime. Res64: 523C56DCB7E2EEDF Time : 0.0 sec. user=mdettweiler [2012-08-12 10:44:22] 775*2^1226279-1 is not prime. Res64: 99A10E301A39306B Time : 0.0 sec. user=mdettweiler [2012-08-12 10:44:28] 913*2^1226279-1 is not prime. Res64: 0D9D8CB9F3980188 Time : 0.0 sec. user=mdettweiler [2012-08-12 10:44:28] 943*2^1226279-1 is not prime. Res64: 2C274B1F4586BB37 Time : 0.0 sec. user=mdettweiler [2012-08-12 10:46:12] 693*2^1226280-1 is not prime. Res64: B03F423E8A407674 Time : 0.0 sec. user=mdettweiler [2012-08-12 10:46:13] 759*2^1226280-1 is not prime. Res64: 43DA763D0C5DC3DE Time : 0.0 sec. user=mdettweiler [2012-08-12 11:06:12] 959*2^1226280-1 is not prime. Res64: FD05E9EFC81E61EE Time : 0.0 sec. user=mdettweiler [2012-08-12 11:06:13] 607*2^1226281-1 is not prime. Res64: 0A7DF7D48602D8FA Time : 0.0 sec. user=mdettweiler [2012-08-12 11:07:56] 645*2^1226281-1 is not prime. Res64: EC4FEECC0F0C2F20 Time : 0.0 sec. user=mdettweiler [2012-08-12 11:07:59] 717*2^1226281-1 is not prime. Res64: 1E38341147A2639E Time : 0.0 sec. user=mdettweiler [2012-08-12 11:10:31] 789*2^1226280-1 is not prime. Res64: A5363D8CA1929D80 Time : 0.0 sec. user=vaughan [2012-08-12 11:17:06] 839*2^1226280-1 is not prime. Res64: 7C10FF3725F0940E Time : 0.0 sec. user=mdettweiler [2012-08-12 11:17:29] 849*2^1226280-1 is not prime. Res64: 1205D6F520808646 Time : 0.0 sec. user=juhehe [2012-08-12 11:17:35] 765*2^1226280-1 is not prime. Res64: 6FEB135FA9E2EB81 Time : 0.0 sec. user=mdettweiler [2012-08-12 11:26:57] 895*2^1226281-1 is not prime. Res64: 38E444B0BAE67E2C Time : 0.0 sec. user=mdettweiler [2012-08-12 11:26:58] 951*2^1226281-1 is not prime. Res64: 78AE10719CCDDFD4 Time : 0.0 sec. user=mdettweiler [2012-08-12 11:28:39] 979*2^1226281-1 is not prime. Res64: 4FBC1FF73C419EAE Time : 0.0 sec. user=mdettweiler [2012-08-12 11:28:40] 603*2^1226282-1 is not prime. Res64: 8FEC06C34F63CCBA Time : 0.0 sec. user=mdettweiler [2012-08-12 11:44:29] 665*2^1226282-1 is not prime. Res64: 02DF66B01AB52B02 Time : 0.0 sec. user=mdettweiler [2012-08-12 11:47:37] 921*2^1226282-1 is not prime. Res64: B1023CC2FB965FB5 Time : 0.0 sec. user=mdettweiler [2012-08-12 11:47:38] 981*2^1226282-1 is not prime. Res64: 4309730226AF39FE Time : 0.0 sec. user=mdettweiler [2012-08-12 11:49:26] 613*2^1226283-1 is not prime. Res64: CE7A255F4C768EE5 Time : 0.0 sec. user=mdettweiler [2012-08-12 11:49:27] 663*2^1226283-1 is not prime. Res64: F24BC3E3AE90364F Time : 0.0 sec. user=mdettweiler [2012-08-12 11:51:59] 801*2^1226282-1 is not prime. Res64: A281D87B6701C8E1 Time : 0.0 sec. user=vaughan [2012-08-12 11:54:28] 713*2^1226282-1 is not prime. Res64: 37C3F8DCC004853D Time : 0.0 sec. user=juhehe [2012-08-12 12:02:43] 887*2^1226282-1 is not prime. Res64: 4BBD21178872AF66 Time : 0.0 sec. user=mdettweiler [2012-08-12 12:08:24] 919*2^1226283-1 is not prime. Res64: 3FC00296D7E213EA Time : 0.0 sec. user=mdettweiler [2012-08-12 12:08:25] 863*2^1226284-1 is not prime. Res64: 053906833992F03E Time : 0.0 sec. user=mdettweiler [2012-08-12 12:10:14] 869*2^1226284-1 is not prime. Res64: 8CDE0FC271225094 Time : 0.0 sec. user=mdettweiler [2012-08-12 12:10:15] 947*2^1226284-1 is not prime. Res64: A04B0FEF200AE0FD Time : 0.0 sec. user=mdettweiler [2012-08-12 12:18:58] 753*2^1226283-1 is not prime. Res64: E473A9524AD9BD5F Time : 0.0 sec. user=mdettweiler [2012-08-12 12:25:55] 969*2^1226284-1 is not prime. Res64: 7BA89F16A4A2E868 Time : 0.0 sec. user=mdettweiler [2012-08-12 12:29:32] 721*2^1226285-1 is not prime. Res64: 080593C30EAD1BD7 Time : 0.0 sec. user=mdettweiler [2012-08-12 12:29:32] 735*2^1226285-1 is not prime. Res64: 506E565C04C3EB2C Time : 0.0 sec. user=mdettweiler [2012-08-12 12:31:19] 757*2^1226285-1 is not prime. Res64: 85AEA5391AA4E70F Time : 0.0 sec. user=mdettweiler [2012-08-12 12:31:19] 789*2^1226285-1 is not prime. Res64: 69870DEF318673BF Time : 0.0 sec. user=vaughan [2012-08-12 12:31:46] 989*2^1226284-1 is not prime. Res64: 39BAAD293F912013 Time : 0.0 sec. user=gd_barnes [2012-08-12 12:38:22] 741*2^1226285-1 is not prime. Res64: 8720320F2B5021E5 Time : 0.0 sec. user=gd_barnes [2012-08-12 12:47:50] 831*2^1226285-1 is not prime. Res64: E89B1620150A37A0 Time : 0.0 sec. user=juhehe [2012-08-12 12:47:53] 691*2^1226285-1 is not prime. Res64: 756D4E6087B992FC Time : 0.0 sec. user=mdettweiler [2012-08-12 12:50:39] 927*2^1226285-1 is not prime. Res64: 68BC7D4BEC5896D7 Time : 0.0 sec. user=mdettweiler [2012-08-12 12:50:39] 611*2^1226286-1 is not prime. Res64: E1FE887E6624C1F8 Time : 0.0 sec. user=mdettweiler [2012-08-12 12:52:26] 711*2^1226286-1 is not prime. Res64: 1B7EC83379FC8D36 Time : 0.0 sec. user=mdettweiler [2012-08-12 12:52:27] 917*2^1226286-1 is not prime. Res64: 9AF85790DD5447DC Time : 0.0 sec. user=mdettweiler [2012-08-12 12:59:40] 861*2^1226285-1 is not prime. Res64: 74B77B302B9AB480 Time : 0.0 sec. user=vaughan [2012-08-12 13:09:03] 941*2^1226286-1 is not prime. Res64: 0E39CB96204B0C20 Time : 0.0 sec. user=mdettweiler [2012-08-12 13:11:53] 957*2^1226286-1 is not prime. Res64: 8ABEA88D679B99C5 Time : 0.0 sec. user=mdettweiler [2012-08-12 13:11:56] 963*2^1226286-1 is not prime. Res64: A56EB37CC8501CBC Time : 0.0 sec. user=mdettweiler [2012-08-12 13:13:49] 651*2^1226287-1 is not prime. Res64: 4BD4889DA20620A8 Time : 0.0 sec. user=mdettweiler [2012-08-12 13:13:49] 715*2^1226287-1 is not prime. Res64: 801BD588EA6FCD4F Time : 0.0 sec. user=mdettweiler [2012-08-12 13:26:40] 813*2^1226287-1 is not prime. Res64: 904F7C9313EED8C0 Time : 0.0 sec. user=mdettweiler [2012-08-12 13:32:47] 753*2^1226288-1 is not prime. Res64: 11AC6B0439B71D89 Time : 0.0 sec. user=mdettweiler [2012-08-12 13:32:48] 819*2^1226288-1 is not prime. Res64: FE76C64D1FFF4591 Time : 0.0 sec. user=juhehe [2012-08-12 13:33:01] 945*2^1226286-1 is not prime. Res64: 67768BF2666F1524 Time : 0.0 sec. user=mdettweiler [2012-08-12 13:34:29] 765*2^1226289-1 is not prime. Res64: 8F1EE871ADE357FD Time : 0.0 sec. user=mdettweiler [2012-08-12 13:34:30] 817*2^1226289-1 is not prime. Res64: 2E46CFBCEDE2C650 Time : 0.0 sec. user=gd_barnes [2012-08-12 13:35:21] 939*2^1226287-1 is not prime. Res64: 7C8FFD5C04BBE3FF Time : 0.0 sec. user=mdettweiler [2012-08-12 13:35:37] 861*2^1226287-1 is not prime. Res64: F4007034701A3DCC Time : 0.0 sec. user=gd_barnes [2012-08-12 13:38:38] 705*2^1226289-1 is not prime. Res64: DFDB277803DE3B35 Time : 0.0 sec. user=gd_barnes [2012-08-12 13:40:40] 999*2^1226288-1 is not prime. Res64: E0FE17F3B71D97EA Time : 0.0 sec. user=gd_barnes [2012-08-12 13:42:59] 945*2^1226288-1 is not prime. Res64: CE983B8F32826BF0 Time : 0.0 sec. user=gd_barnes [2012-08-12 13:44:12] 745*2^1226289-1 is not prime. Res64: 45DC2322E1B806FE Time : 0.0 sec. user=vaughan [2012-08-12 13:46:19] 993*2^1226287-1 is not prime. Res64: AAA115152542A9A3 Time : 0.0 sec. user=mdettweiler [2012-08-12 13:53:24] 955*2^1226289-1 is not prime. Res64: 2D1C0753737D879A Time : 0.0 sec. user=mdettweiler [2012-08-12 13:53:25] 997*2^1226289-1 is not prime. Res64: 9431FCDA8DC0E46B Time : 0.0 sec. user=mdettweiler [2012-08-12 13:55:09] 605*2^1226290-1 is not prime. Res64: 7B91E90B3206B1E6 Time : 0.0 sec. user=mdettweiler [2012-08-12 13:55:10] 675*2^1226290-1 is not prime. Res64: 26677E8277EE7306 Time : 0.0 sec. user=mdettweiler [2012-08-12 14:00:06] 835*2^1226289-1 is not prime. Res64: 19AEDF8CC3F72C8D Time : 0.0 sec. user=mdettweiler [2012-08-12 14:09:36] 677*2^1226290-1 is not prime. Res64: 7ABB803557B24939 Time : 0.0 sec. user=mdettweiler [2012-08-12 14:14:05] 755*2^1226290-1 is not prime. Res64: 01EB92D717044C59 Time : 0.0 sec. user=mdettweiler [2012-08-12 14:14:07] 887*2^1226290-1 is not prime. Res64: F1414299074870EC Time : 0.0 sec. user=mdettweiler [2012-08-12 14:15:47] 1001*2^1226290-1 is not prime. Res64: C054B45F560A8300 Time : 0.0 sec. user=mdettweiler [2012-08-12 14:15:48] 631*2^1226291-1 is not prime. Res64: BC9486719B045BB7 Time : 0.0 sec. user=vaughan [2012-08-12 14:23:39] 743*2^1226290-1 is not prime. Res64: C59B6CF381EED796 Time : 0.0 sec. user=mdettweiler [2012-08-12 14:33:48] 669*2^1226291-1 is not prime. Res64: 8F58AD9AAB0DF7ED Time : 0.0 sec. user=mdettweiler [2012-08-12 14:34:49] 811*2^1226291-1 is not prime. Res64: 2DBB1D04FA72E7C2 Time : 0.0 sec. user=mdettweiler [2012-08-12 14:34:50] 879*2^1226291-1 is not prime. Res64: E2680230880A726E Time : 0.0 sec. user=mdettweiler [2012-08-12 14:36:27] 931*2^1226291-1 is not prime. Res64: 178EB63841239B8B Time : 0.0 sec. user=mdettweiler [2012-08-12 14:36:29] 945*2^1226291-1 is not prime. Res64: 772494A17A7E873C Time : 0.0 sec. user=gd_barnes [2012-08-12 14:42:29] 705*2^1226291-1 is not prime. Res64: 9D2C46B32C5B58C6 Time : 0.0 sec. user=mdettweiler [2012-08-12 14:43:13] 703*2^1226291-1 is not prime. Res64: A2ED69E277E0EA65 Time : 0.0 sec. user=mdettweiler [2012-08-12 14:55:30] 675*2^1226292-1 is not prime. Res64: 3255A309C0C6FD1A Time : 0.0 sec. user=mdettweiler [2012-08-12 14:55:31] 765*2^1226292-1 is not prime. Res64: 6A7F5CC4847892CD Time : 0.0 sec. user=mdettweiler [2012-08-12 14:57:07] 873*2^1226292-1 is not prime. Res64: 8D5C4F27C673C4BE Time : 0.0 sec. user=mdettweiler [2012-08-12 14:57:08] 879*2^1226292-1 is not prime. Res64: CF358F549615E3A9 Time : 0.0 sec. user=juhehe [2012-08-12 14:59:28] 883*2^1226291-1 is not prime. Res64: 7C77CE820ED49B3F Time : 0.0 sec. user=vaughan [2012-08-12 15:01:01] 979*2^1226291-1 is not prime. Res64: 098E51A0A6F734ED Time : 0.0 sec. user=mdettweiler [2012-08-12 15:08:04] 669*2^1226292-1 is not prime. Res64: D194C17F93850BCF Time : 0.0 sec. user=mdettweiler [2012-08-12 15:16:13] 987*2^1226292-1 is not prime. Res64: D7306262025709E0 Time : 0.0 sec. user=mdettweiler [2012-08-12 15:16:15] 609*2^1226293-1 is not prime. Res64: C417D1EB40842AF2 Time : 0.0 sec. user=mdettweiler [2012-08-12 15:17:04] 933*2^1226292-1 is not prime. Res64: 7DFA318A2BEE2642 Time : 0.0 sec. user=mdettweiler [2012-08-12 15:17:50] 685*2^1226293-1 is not prime. Res64: 9CB4E0BB03806681 Time : 0.0 sec. user=mdettweiler [2012-08-12 15:17:52] 745*2^1226293-1 is not prime. Res64: A45C8634B198C459 Time : 0.0 sec. user=mdettweiler [2012-08-12 15:37:00] 877*2^1226293-1 is not prime. Res64: DF5E9279179DAEDA Time : 0.0 sec. user=mdettweiler [2012-08-12 15:37:01] 951*2^1226293-1 is not prime. Res64: B5138EA0C970584E Time : 0.0 sec. user=mdettweiler [2012-08-12 15:38:30] 623*2^1226294-1 is not prime. Res64: B694AF84B3319D81 Time : 0.0 sec. user=mdettweiler [2012-08-12 15:38:31] 645*2^1226294-1 is not prime. Res64: 127AB7263F1CFB5D Time : 0.0 sec. user=vaughan [2012-08-12 15:38:36] 805*2^1226293-1 is not prime. Res64: 0E101EF1F5341225 Time : 0.0 sec. user=mdettweiler [2012-08-12 15:41:37] 831*2^1226293-1 is not prime. Res64: 8544FA7FF669A3B9 Time : 0.0 sec. user=mdettweiler [2012-08-12 15:50:44] 615*2^1226294-1 is not prime. Res64: 5F1922BACA015C21 Time : 0.0 sec. user=mdettweiler [2012-08-12 15:57:40] 705*2^1226294-1 is not prime. Res64: 67F47397155B0093 Time : 0.0 sec. user=mdettweiler [2012-08-12 15:57:41] 795*2^1226294-1 is not prime. Res64: 332B5334DA011D4C Time : 0.0 sec. user=mdettweiler [2012-08-12 15:59:09] 797*2^1226294-1 is not prime. Res64: 271CFE4C79E2D736 Time : 0.0 sec. user=mdettweiler [2012-08-12 15:59:10] 851*2^1226294-1 is not prime. Res64: 548335808DBE4D9B Time : 0.0 sec. user=mdettweiler [2012-08-12 16:15:19] 639*2^1226295-1 is not prime. Res64: C6C362E4BBB7AF08 Time : 0.0 sec. user=vaughan [2012-08-12 16:15:53] 897*2^1226294-1 is not prime. Res64: 42F2395E059EB203 Time : 0.0 sec. user=mdettweiler [2012-08-12 16:18:22] 909*2^1226295-1 is not prime. Res64: EEBE9FA0685AB615 Time : 0.0 sec. user=mdettweiler [2012-08-12 16:18:23] 913*2^1226295-1 is not prime. Res64: D5E7FFBAAEC95262 Time : 0.0 sec. user=mdettweiler [2012-08-12 16:19:51] 999*2^1226295-1 is not prime. Res64: 403BB2FC36F3EB0C Time : 0.0 sec. user=mdettweiler [2012-08-12 16:19:52] 755*2^1226296-1 is not prime. Res64: 06215AACF950DE48 Time : 0.0 sec. user=mdettweiler [2012-08-12 16:24:20] 865*2^1226295-1 is not prime. Res64: 4CBFAA9CA89EB190 Time : 0.0 sec. user=mdettweiler [2012-08-12 16:39:01] 939*2^1226296-1 is not prime. Res64: 20206DE10D8FD26C Time : 0.0 sec. user=mdettweiler [2012-08-12 16:39:02] 999*2^1226296-1 is not prime. Res64: 8C36A463EE422138 Time : 0.0 sec. user=mdettweiler [2012-08-12 16:40:30] 631*2^1226297-1 is not prime. Res64: 4BF95A87336C32A5 Time : 0.0 sec. user=mdettweiler [2012-08-12 16:40:31] 669*2^1226297-1 is not prime. Res64: 5696DF92D3FD13C3 Time : 0.0 sec. user=mdettweiler [2012-08-12 16:49:10] 803*2^1226296-1 is not prime. Res64: 9B5C6379FB5E8E5E Time : 0.0 sec. user=vaughan [2012-08-12 16:53:10] 849*2^1226296-1 is not prime. Res64: BF2B30522E725AF0 Time : 0.0 sec. user=mdettweiler [2012-08-12 16:57:59] 795*2^1226297-1 is not prime. Res64: 6A41DFEC7DF443D2 Time : 0.0 sec. user=mdettweiler [2012-08-12 16:59:43] 865*2^1226297-1 is not prime. Res64: 94AA8175CCA8976F Time : 0.0 sec. user=mdettweiler [2012-08-12 16:59:44] 879*2^1226297-1 is not prime. Res64: 8EA0618DC2E0ADBA Time : 0.0 sec. user=mdettweiler [2012-08-12 17:01:10] 949*2^1226297-1 is not prime. Res64: BC697D618C02F29C Time : 0.0 sec. user=mdettweiler [2012-08-12 17:01:14] 713*2^1226298-1 is not prime. Res64: 88114540CF40A0D3 Time : 0.0 sec. user=juhehe [2012-08-12 17:06:57] 697*2^1226297-1 is not prime. Res64: AF202337499D02E2 Time : 0.0 sec. user=mdettweiler [2012-08-12 17:20:34] 963*2^1226298-1 is not prime. Res64: A3CCD2FEF952B823 Time : 0.0 sec. user=mdettweiler [2012-08-12 17:20:35] 993*2^1226298-1 is not prime. Res64: 6287F0B7571101DD Time : 0.0 sec. user=mdettweiler [2012-08-12 17:21:53] 645*2^1226299-1 is not prime. Res64: A95160B1BAD566E3 Time : 0.0 sec. user=mdettweiler [2012-08-12 17:21:54] 681*2^1226299-1 is not prime. Res64: 643217BF2A837B45 Time : 0.0 sec. user=mdettweiler [2012-08-12 17:22:41] 893*2^1226298-1 is not prime. Res64: 83B0007A40895B87 Time : 0.0 sec. user=vaughan [2012-08-12 17:30:26] 927*2^1226298-1 is not prime. Res64: A62335A8A18EB368 Time : 0.0 sec. user=mdettweiler [2012-08-12 17:32:20] 945*2^1226298-1 is not prime. Res64: 930D5B85A6CEC51D Time : 0.0 sec. user=mdettweiler [2012-08-12 17:41:20] 885*2^1226299-1 is not prime. Res64: 32CC56B5C747ABFE Time : 0.0 sec. user=mdettweiler [2012-08-12 17:41:20] 975*2^1226299-1 is not prime. Res64: 34C60FD7F9BE55B2 Time : 0.0 sec. user=mdettweiler [2012-08-12 17:42:31] 669*2^1226300-1 is not prime. Res64: 448DA247543AE140 Time : 0.0 sec. user=mdettweiler [2012-08-12 17:42:32] 675*2^1226300-1 is not prime. Res64: 56A5224F6C0F21FE Time : 0.0 sec. user=mdettweiler [2012-08-12 17:56:39] 813*2^1226300-1 is not prime. Res64: 2E23BF1B11EF3C2A Time : 0.0 sec. user=mdettweiler [2012-08-12 18:01:53] 885*2^1226300-1 is not prime. Res64: 31AB18CB982D13C6 Time : 0.0 sec. user=mdettweiler [2012-08-12 18:01:54] 621*2^1226301-1 is not prime. Res64: D33E8E687B5D78A7 Time : 0.0 sec. user=mdettweiler [2012-08-12 18:03:04] 675*2^1226301-1 is not prime. Res64: B66E7CD72563B5C2 Time : 0.0 sec. user=mdettweiler [2012-08-12 18:03:04] 741*2^1226301-1 is not prime. Res64: 64A671BAAF3DDD04 Time : 0.0 sec. user=vaughan [2012-08-12 18:07:43] 857*2^1226300-1 is not prime. Res64: A81ED816388AAF9D Time : 0.0 sec. user=mdettweiler [2012-08-12 18:08:12] 879*2^1226300-1 is not prime. Res64: 497D35D6B3274443 Time : 0.0 sec. user=mdettweiler [2012-08-12 18:22:28] 871*2^1226301-1 is not prime. Res64: 7ACF327190E0A811 Time : 0.0 sec. user=mdettweiler [2012-08-12 18:22:29] 969*2^1226301-1 is not prime. Res64: 23D9EB733D65096B Time : 0.0 sec. user=mdettweiler [2012-08-12 18:23:37] 617*2^1226302-1 is not prime. Res64: 11150CED5EBDB6EA Time : 0.0 sec. user=mdettweiler [2012-08-12 18:23:38] 621*2^1226302-1 is not prime. Res64: F784EB30E0F9925C Time : 0.0 sec. user=mdettweiler [2012-08-12 18:28:37] 777*2^1226301-1 is not prime. Res64: 9DE0D0C78367E655 Time : 0.0 sec. user=mdettweiler [2012-08-12 18:40:19] 717*2^1226302-1 is not prime. Res64: D73D4F7499783E45 Time : 0.0 sec. user=mdettweiler [2012-08-12 18:43:03] 777*2^1226302-1 is not prime. Res64: 9A6FC202EA61BBA9 Time : 0.0 sec. user=mdettweiler [2012-08-12 18:43:03] 785*2^1226302-1 is not prime. Res64: 22A617349AE597BC Time : 0.0 sec. user=mdettweiler [2012-08-12 18:44:11] 791*2^1226302-1 is not prime. Res64: DB3426896F71D6DA Time : 0.0 sec. user=mdettweiler [2012-08-12 18:44:12] 815*2^1226302-1 is not prime. Res64: 185BBD6A30895B73 Time : 0.0 sec. user=vaughan [2012-08-12 18:44:59] 657*2^1226302-1 is not prime. Res64: E0E48F4A108EC6A6 Time : 0.0 sec. user=mdettweiler [2012-08-12 19:00:27] 831*2^1226302-1 is not prime. Res64: B86A43E65D0F1CDE Time : 0.0 sec. user=mdettweiler [2012-08-12 19:03:40] 957*2^1226302-1 is not prime. Res64: F0E22E49CF902C40 Time : 0.0 sec. user=mdettweiler [2012-08-12 19:03:41] 965*2^1226302-1 is not prime. Res64: DBAC4BFB4469EF24 Time : 0.0 sec. user=mdettweiler [2012-08-12 19:04:51] 619*2^1226303-1 is not prime. Res64: 750A449E70DFE710 Time : 0.0 sec. user=mdettweiler [2012-08-12 19:04:52] 669*2^1226303-1 is not prime. Res64: 4C3D015BB625830A Time : 0.0 sec. user=mdettweiler [2012-08-12 19:12:07] 917*2^1226302-1 is not prime. Res64: 8AAADEE2C1EB720F Time : 0.0 sec. user=vaughan [2012-08-12 19:22:16] 715*2^1226303-1 is not prime. Res64: 5C46287CC57E457B Time : 0.0 sec. user=mdettweiler [2012-08-12 19:24:25] 945*2^1226303-1 is not prime. Res64: 063B1CD05AA647C1 Time : 0.0 sec. user=mdettweiler [2012-08-12 19:24:26] 605*2^1226304-1 is not prime. Res64: 746C312204483966 Time : 0.0 sec. user=mdettweiler [2012-08-12 19:25:34] 623*2^1226304-1 is not prime. Res64: 613E85531B7E7443 Time : 0.0 sec. user=mdettweiler [2012-08-12 19:25:34] 927*2^1226304-1 is not prime. Res64: AC1D20E80287E344 Time : 0.0 sec. user=mdettweiler [2012-08-12 19:32:06] 901*2^1226303-1 is not prime. Res64: 5316EDE1026267F3 Time : 0.0 sec. user=mdettweiler [2012-08-12 19:43:55] 929*2^1226304-1 is not prime. Res64: 0CFAECC389A29123 Time : 0.0 sec. user=mdettweiler [2012-08-12 19:45:05] 687*2^1226305-1 is not prime. Res64: CE21BFB69034B8AD Time : 0.0 sec. user=mdettweiler [2012-08-12 19:45:05] 777*2^1226305-1 is not prime. Res64: F9DC9F79A5732B04 Time : 0.0 sec. user=mdettweiler [2012-08-12 19:46:12] 925*2^1226305-1 is not prime. Res64: 8228FE0510DCA9F3 Time : 0.0 sec. user=mdettweiler [2012-08-12 19:46:12] 645*2^1226306-1 is not prime. Res64: E27FD46428B65D20 Time : 0.0 sec. user=vaughan [2012-08-12 19:59:35] 661*2^1226305-1 is not prime. Res64: 1559AC1D08564073 Time : 0.0 sec. user=mdettweiler [2012-08-12 20:03:59] 713*2^1226306-1 is not prime. Res64: 94E6F523687DFD73 Time : 0.0 sec. user=mdettweiler [2012-08-12 20:05:43] 873*2^1226306-1 is not prime. Res64: AFB9D654B4BC756F Time : 0.0 sec. user=mdettweiler [2012-08-12 20:05:46] 765*2^1226307-1 is not prime. Res64: 71C7671085B07804 Time : 0.0 sec. user=mdettweiler [2012-08-12 20:06:53] 769*2^1226307-1 is not prime. Res64: 01FF8BBDBAB0D52D Time : 0.0 sec. user=mdettweiler [2012-08-12 20:06:56] 819*2^1226307-1 is not prime. Res64: 724F92E8D7F0D71C Time : 0.0 sec. user=mdettweiler [2012-08-12 20:15:59] 813*2^1226306-1 is not prime. Res64: 1427C28FBDA81048 Time : 0.0 sec. user=mdettweiler [2012-08-12 20:26:29] 901*2^1226307-1 is not prime. Res64: 9D18D1132E70F81F Time : 0.0 sec. user=mdettweiler [2012-08-12 20:26:30] 931*2^1226307-1 is not prime. Res64: D062AAFBBCEBE3F3 Time : 0.0 sec. user=mdettweiler [2012-08-12 20:27:37] 623*2^1226308-1 is not prime. Res64: CA4D6350A8749237 Time : 0.0 sec. user=mdettweiler [2012-08-12 20:27:38] 677*2^1226308-1 is not prime. Res64: 2A1B437A458F3124 Time : 0.0 sec. user=mdettweiler [2012-08-12 20:36:03] 895*2^1226307-1 is not prime. Res64: D598DB140A626ADD Time : 0.0 sec. user=vaughan [2012-08-12 20:36:51] 873*2^1226307-1 is not prime. Res64: F9A181CA7192BF26 Time : 0.0 sec. user=mdettweiler [2012-08-12 20:47:07] 869*2^1226308-1 is not prime. Res64: E8E9F78812643A40 Time : 0.0 sec. user=mdettweiler [2012-08-12 20:47:08] 897*2^1226308-1 is not prime. Res64: 6EBA8F6356C7D921 Time : 0.0 sec. user=mdettweiler [2012-08-12 20:48:16] 995*2^1226308-1 is not prime. Res64: 82C90354BDFB3AA8 Time : 0.0 sec. user=mdettweiler [2012-08-12 20:48:17] 685*2^1226309-1 is not prime. Res64: 652B4098EFB640E4 Time : 0.0 sec. user=mdettweiler [2012-08-12 20:48:22] 687*2^1226308-1 is not prime. Res64: 32879BDE4D4F2B96 Time : 0.0 sec. user=mdettweiler [2012-08-12 21:07:42] 697*2^1226309-1 is not prime. Res64: B0BB22AA39CE2D8B Time : 0.0 sec. user=mdettweiler [2012-08-12 21:07:46] 829*2^1226309-1 is not prime. Res64: 73A1D0EC1DC6C88A Time : 0.0 sec. user=mdettweiler [2012-08-12 21:07:47] 879*2^1226309-1 is not prime. Res64: A38E5FA35F5A0E09 Time : 0.0 sec. user=mdettweiler [2012-08-12 21:08:55] 707*2^1226310-1 is not prime. Res64: 4F748303F1C6A9A3 Time : 0.0 sec. user=mdettweiler [2012-08-12 21:08:55] 741*2^1226310-1 is not prime. Res64: 72B0AF9A80C55FBC Time : 0.0 sec. user=vaughan [2012-08-12 21:14:09] 699*2^1226309-1 is not prime. Res64: A3F89E5FDA54B66E Time : 0.0 sec. user=mdettweiler [2012-08-12 21:19:58] 747*2^1226310-1 is not prime. Res64: C0AC7A76EF124E5C Time : 0.0 sec. user=mdettweiler [2012-08-12 21:28:27] 945*2^1226310-1 is not prime. Res64: 86531EEA1239394B Time : 0.0 sec. user=mdettweiler [2012-08-12 21:28:28] 703*2^1226311-1 is not prime. Res64: 768583698FFCD79E Time : 0.0 sec. user=mdettweiler [2012-08-12 21:29:36] 715*2^1226311-1 is not prime. Res64: BCFA71D49F463F7A Time : 0.0 sec. user=mdettweiler [2012-08-12 21:29:36] 723*2^1226311-1 is not prime. Res64: 4D890D94FF577C67 Time : 0.0 sec. user=mdettweiler [2012-08-12 21:39:30] 893*2^1226310-1 is not prime. Res64: 74E590F519588A54 Time : 0.0 sec. user=mdettweiler [2012-08-12 21:49:14] 819*2^1226311-1 is not prime. Res64: B19E81032B05059F Time : 0.0 sec. user=mdettweiler [2012-08-12 21:49:15] 939*2^1226311-1 is not prime. Res64: B81680DF907F2D88 Time : 0.0 sec. user=mdettweiler [2012-08-12 21:50:21] 603*2^1226312-1 is not prime. Res64: 51DF3C868F2D52D0 Time : 0.0 sec. user=mdettweiler [2012-08-12 21:50:22] 609*2^1226312-1 is not prime. Res64: FB6162494B656213 Time : 0.0 sec. user=vaughan [2012-08-12 21:51:30] 741*2^1226311-1 is not prime. Res64: 656F25B8022C70F7 Time : 0.0 sec. user=mdettweiler [2012-08-12 21:51:48] 745*2^1226311-1 is not prime. Res64: 8BEFD0D9CABFABF3 Time : 0.0 sec. user=mdettweiler [2012-08-12 22:10:24] 813*2^1226312-1 is not prime. Res64: 47781EBFFF30FAF2 Time : 0.0 sec. user=mdettweiler [2012-08-12 22:10:25] 977*2^1226312-1 is not prime. Res64: 4146ABE5C13029DF Time : 0.0 sec. user=mdettweiler [2012-08-12 22:11:31] 609*2^1226313-1 is not prime. Res64: 0F6115F26A3CED1B Time : 0.0 sec. user=mdettweiler [2012-08-12 22:11:34] 615*2^1226313-1 is not prime. Res64: E2DD959AFF7BA9CB Time : 0.0 sec. user=mdettweiler [2012-08-12 22:12:53] 635*2^1226312-1 is not prime. Res64: 8B3537201085AD1A Time : 0.0 sec. user=vaughan [2012-08-12 22:28:46] 657*2^1226313-1 is not prime. Res64: B58089A42657B49F Time : 0.0 sec. user=mdettweiler [2012-08-12 22:29:12] 735*2^1226313-1 is not prime. Res64: 8201766B29118A03 Time : 0.0 sec. user=mdettweiler [2012-08-12 22:31:56] 769*2^1226313-1 is not prime. Res64: 3DDA9E3FEAEEC822 Time : 0.0 sec. user=mdettweiler [2012-08-12 22:31:56] 811*2^1226313-1 is not prime. Res64: 432EBC4065123B24 Time : 0.0 sec. user=mdettweiler [2012-08-12 22:32:50] 817*2^1226313-1 is not prime. Res64: 7C058D744C995DD9 Time : 0.0 sec. user=mdettweiler [2012-08-12 22:32:50] 991*2^1226313-1 is not prime. Res64: 1D112E802C5CB26E Time : 0.0 sec. user=gd_barnes [2012-08-12 22:44:38] 675*2^1226314-1 is not prime. Res64: FF80C5C1D482A616 Time : 0.0 sec. user=mdettweiler [2012-08-12 22:52:44] 717*2^1226314-1 is not prime. Res64: DD03C73D2B55F090 Time : 0.0 sec. user=mdettweiler [2012-08-12 22:52:44] 803*2^1226314-1 is not prime. Res64: 13419F6CD54F44EC Time : 0.0 sec. user=mdettweiler [2012-08-12 22:53:16] 635*2^1226314-1 is not prime. Res64: F111D484C317A724 Time : 0.0 sec. user=mdettweiler [2012-08-12 22:53:34] 825*2^1226314-1 is not prime. Res64: D261BD1B3D668617 Time : 0.0 sec. user=mdettweiler [2012-08-12 22:53:35] 923*2^1226314-1 is not prime. Res64: E54DC93FC32F73CA Time : 0.0 sec. user=vaughan [2012-08-12 23:06:05] 677*2^1226314-1 is not prime. Res64: 95023FBC78138A81 Time : 0.0 sec. user=mdettweiler [2012-08-12 23:11:10] 687*2^1226314-1 is not prime. Res64: 16DD87CB4A64F65B Time : 0.0 sec. user=mdettweiler [2012-08-12 23:13:17] 945*2^1226314-1 is not prime. Res64: 5445FE73BF7A9C3E Time : 0.0 sec. user=mdettweiler [2012-08-12 23:13:18] 675*2^1226315-1 is not prime. Res64: 907D509DA99B9D2B Time : 0.0 sec. user=mdettweiler [2012-08-12 23:14:08] 699*2^1226315-1 is not prime. Res64: BBEA1210D1E86A4B Time : 0.0 sec. user=mdettweiler [2012-08-12 23:14:09] 759*2^1226315-1 is not prime. Res64: 72B453DBECAA9888 Time : 0.0 sec. user=mdettweiler [2012-08-12 23:28:28] 685*2^1226315-1 is not prime. Res64: F951C1DD10719483 Time : 0.0 sec. user=mdettweiler [2012-08-12 23:33:59] 963*2^1226315-1 is not prime. Res64: 9907C3E1532161BD Time : 0.0 sec. user=mdettweiler [2012-08-12 23:33:59] 999*2^1226315-1 is not prime. Res64: AC8D3ED54E2EE985 Time : 0.0 sec. user=mdettweiler [2012-08-12 23:34:45] 707*2^1226316-1 is not prime. Res64: 2A05889B6EBB61D1 Time : 0.0 sec. user=mdettweiler [2012-08-12 23:34:46] 725*2^1226316-1 is not prime. Res64: B8D64C88E3437ABB Time : 0.0 sec. user=vaughan [2012-08-12 23:43:30] 783*2^1226315-1 is not prime. Res64: 9FA5E5064070BE43 Time : 0.0 sec. user=mdettweiler [2012-08-12 23:46:23] 825*2^1226315-1 is not prime. Res64: 2C951056E0EC976E Time : 0.0 sec. user=mdettweiler [2012-08-12 23:54:33] 909*2^1226316-1 is not prime. Res64: 564289440E79A6CF Time : 0.0 sec. user=mdettweiler [2012-08-12 23:54:33] 945*2^1226316-1 is not prime. Res64: EE1661B66F639521 Time : 0.0 sec. user=mdettweiler [2012-08-12 23:55:18] 609*2^1226317-1 is not prime. Res64: F21FE9DD52B368EA Time : 0.0 sec. user=mdettweiler [2012-08-12 23:55:18] 639*2^1226317-1 is not prime. Res64: 4F6A2CF2013D5A4E Time : 0.0 sec.