user=mdettweiler [2012-09-22 00:17:57] 675*2^1229069-1 is not prime. Res64: B2DF862C261B1CA8 Time : 0.0 sec. user=mdettweiler [2012-09-22 00:17:57] 933*2^1229068-1 is not prime. Res64: 4502C37AAABE275F Time : 0.0 sec. user=mdettweiler [2012-09-22 00:18:00] 747*2^1229069-1 is not prime. Res64: A46BE2A6C7DD373F Time : 0.0 sec. user=mdettweiler [2012-09-22 00:18:01] 989*2^1229068-1 is not prime. Res64: 0B62C8F19A75B923 Time : 0.0 sec. user=vaughan [2012-09-22 00:22:31] 897*2^1229068-1 is not prime. Res64: 02054E625E6D5863 Time : 0.0 sec. user=juhehe [2012-09-22 00:39:04] 775*2^1229069-1 is not prime. Res64: 040CFAE6EDF228E6 Time : 0.0 sec. user=mdettweiler [2012-09-22 00:39:12] 829*2^1229069-1 is not prime. Res64: 40BF17DEFCF7E3C6 Time : 0.0 sec. user=mdettweiler [2012-09-22 00:39:12] 865*2^1229069-1 is not prime. Res64: AC519B6883FBB198 Time : 0.0 sec. user=mdettweiler [2012-09-22 00:39:14] 897*2^1229069-1 is not prime. Res64: 1E2FDF563B3525E9 Time : 0.0 sec. user=mdettweiler [2012-09-22 00:39:14] 801*2^1229070-1 is not prime. Res64: A8EC10D4F052814E Time : 0.0 sec. user=mdettweiler [2012-09-22 00:59:45] 887*2^1229070-1 is not prime. Res64: DD19ED9CB65B77B1 Time : 0.0 sec. user=mdettweiler [2012-09-22 00:59:45] 891*2^1229070-1 is not prime. Res64: 4B686591A125BE0D Time : 0.0 sec. user=mdettweiler [2012-09-22 00:59:47] 963*2^1229070-1 is not prime. Res64: F80DDC9B4FF8D2E1 Time : 0.0 sec. user=mdettweiler [2012-09-22 00:59:47] 603*2^1229071-1 is not prime. Res64: 74275F05BBEA9A3B Time : 0.0 sec. user=vaughan [2012-09-22 01:00:17] 861*2^1229070-1 is not prime. Res64: F304096E2B1F4147 Time : 0.0 sec. user=mdettweiler [2012-09-22 01:20:18] 645*2^1229071-1 is not prime. Res64: EE7AA74579903CBD Time : 0.0 sec. user=mdettweiler [2012-09-22 01:20:18] 651*2^1229071-1 is not prime. Res64: B7E03C84C721D326 Time : 0.0 sec. user=mdettweiler [2012-09-22 01:20:19] 685*2^1229071-1 is not prime. Res64: ADD713B0481BA747 Time : 0.0 sec. user=mdettweiler [2012-09-22 01:20:20] 715*2^1229071-1 is not prime. Res64: DD36D0EA6A427A3E Time : 0.0 sec. user=vaughan [2012-09-22 01:38:02] 841*2^1229071-1 is not prime. Res64: 7176FE31120C6FF3 Time : 0.0 sec. user=mdettweiler [2012-09-22 01:40:55] 855*2^1229071-1 is not prime. Res64: A7EFAEDD12F8650A Time : 0.0 sec. user=mdettweiler [2012-09-22 01:40:56] 909*2^1229071-1 is not prime. Res64: 974786C0965C8129 Time : 0.0 sec. user=mdettweiler [2012-09-22 01:40:56] 993*2^1229071-1 is not prime. Res64: B447859BBF70E64C Time : 0.0 sec. user=mdettweiler [2012-09-22 01:40:57] 675*2^1229072-1 is not prime. Res64: 497F285DEB265CE9 Time : 0.0 sec. user=mdettweiler [2012-09-22 02:01:30] 693*2^1229072-1 is not prime. Res64: 203EA6FA2B3B3536 Time : 0.0 sec. user=mdettweiler [2012-09-22 02:01:31] 755*2^1229072-1 is not prime. Res64: 68B67B7CC28D2CF8 Time : 0.0 sec. user=mdettweiler [2012-09-22 02:01:31] 725*2^1229072-1 is not prime. Res64: C42F0B73724A8F2C Time : 0.0 sec. user=mdettweiler [2012-09-22 02:01:32] 767*2^1229072-1 is not prime. Res64: 7ABC015040139F4C Time : 0.0 sec. user=mdettweiler [2012-09-22 02:27:37] 977*2^1229072-1 is not prime. Res64: 409AC0D3138B3BDB Time : 0.0 sec. user=mdettweiler [2012-09-22 02:27:38] 627*2^1229073-1 is not prime. Res64: 50E388D2BAC82B14 Time : 0.0 sec. user=mdettweiler [2012-09-22 02:27:42] 797*2^1229072-1 is not prime. Res64: E8AC707099B3AE96 Time : 0.0 sec. user=mdettweiler [2012-09-22 02:27:42] 843*2^1229072-1 is not prime. Res64: F0278B406CB61085 Time : 0.0 sec. user=mdettweiler [2012-09-22 02:48:10] 657*2^1229073-1 is not prime. Res64: 03A24014A6925641 Time : 0.0 sec. user=mdettweiler [2012-09-22 02:48:12] 735*2^1229073-1 is not prime. Res64: DF34A2B7C354514F Time : 0.0 sec. user=mdettweiler [2012-09-22 02:48:13] 759*2^1229073-1 is not prime. Res64: A8A9649766F8957E Time : 0.0 sec. user=mdettweiler [2012-09-22 02:48:13] 805*2^1229073-1 is not prime. Res64: 31BAF73D1BE62359 Time : 0.0 sec. user=mdettweiler [2012-09-22 03:08:59] 987*2^1229073-1 is not prime. Res64: 2A3DF554BF0BA860 Time : 0.0 sec. user=mdettweiler [2012-09-22 03:09:01] 605*2^1229074-1 is not prime. Res64: E99B8D15769794AC Time : 0.0 sec. user=mdettweiler [2012-09-22 03:09:01] 635*2^1229074-1 is not prime. Res64: 452A9B111DCC94C8 Time : 0.0 sec. user=mdettweiler [2012-09-22 03:09:02] 651*2^1229074-1 is not prime. Res64: 22E033859044E25D Time : 0.0 sec. user=juhehe [2012-09-22 03:23:57] 885*2^1229073-1 is not prime. Res64: 7DDB297A7A6103E5 Time : 0.0 sec. user=mdettweiler [2012-09-22 03:29:35] 765*2^1229074-1 is not prime. Res64: 88D5192445964470 Time : 0.0 sec. user=mdettweiler [2012-09-22 03:29:37] 803*2^1229074-1 is not prime. Res64: B3A37D8D05451DA8 Time : 0.0 sec. user=mdettweiler [2012-09-22 03:29:38] 881*2^1229074-1 is not prime. Res64: C7F820E28C4BBAD4 Time : 0.0 sec. user=mdettweiler [2012-09-22 03:29:39] 945*2^1229074-1 is not prime. Res64: ED54310AF4267D04 Time : 0.0 sec. user=mdettweiler [2012-09-22 03:50:17] 957*2^1229074-1 is not prime. Res64: 5D40ECA3CA70F209 Time : 0.0 sec. user=mdettweiler [2012-09-22 03:50:18] 971*2^1229074-1 is not prime. Res64: 066E5DBECA10AA77 Time : 0.0 sec. user=mdettweiler [2012-09-22 03:50:19] 987*2^1229074-1 is not prime. Res64: 34B5B865A6772A23 Time : 0.0 sec. user=mdettweiler [2012-09-22 03:50:20] 601*2^1229075-1 is not prime. Res64: 6CD159A1F208853A Time : 0.0 sec. user=mdettweiler [2012-09-22 04:10:51] 609*2^1229075-1 is not prime. Res64: 82D992ACE0602EE7 Time : 0.0 sec. user=mdettweiler [2012-09-22 04:10:51] 673*2^1229075-1 is not prime. Res64: AA46D7F3F877DD9B Time : 0.0 sec. user=mdettweiler [2012-09-22 04:10:52] 783*2^1229075-1 is not prime. Res64: CACBD94BDAC07655 Time : 0.0 sec. user=mdettweiler [2012-09-22 04:10:53] 861*2^1229075-1 is not prime. Res64: 42C467FE6A8C3424 Time : 0.0 sec. user=mdettweiler [2012-09-22 04:31:28] 883*2^1229075-1 is not prime. Res64: 18BBA96EA42E196D Time : 0.0 sec. user=mdettweiler [2012-09-22 04:31:29] 635*2^1229076-1 is not prime. Res64: 59F6754B50FB6340 Time : 0.0 sec. user=mdettweiler [2012-09-22 04:31:30] 991*2^1229075-1 is not prime. Res64: FDA0D48F63110123 Time : 0.0 sec. user=mdettweiler [2012-09-22 04:31:30] 675*2^1229076-1 is not prime. Res64: CD26E6A486F13B8E Time : 0.0 sec. user=mdettweiler [2012-09-22 04:52:14] 803*2^1229076-1 is not prime. Res64: 5D35C5980C8B73B0 Time : 0.0 sec. user=mdettweiler [2012-09-22 04:52:15] 927*2^1229076-1 is not prime. Res64: C597F442868833CE Time : 0.0 sec. user=mdettweiler [2012-09-22 04:52:15] 933*2^1229076-1 is not prime. Res64: 3ABF9D8392EBDE0C Time : 0.0 sec. user=mdettweiler [2012-09-22 04:52:16] 987*2^1229076-1 is not prime. Res64: 8A945D8392379B5C Time : 0.0 sec. user=mdettweiler [2012-09-22 05:12:47] 765*2^1229077-1 is not prime. Res64: 3C605C75EF15CE7E Time : 0.0 sec. user=mdettweiler [2012-09-22 05:12:47] 819*2^1229077-1 is not prime. Res64: 03B4F0144BC03868 Time : 0.0 sec. user=mdettweiler [2012-09-22 05:12:50] 777*2^1229077-1 is not prime. Res64: F5A3D8C915A1A7DD Time : 0.0 sec. user=mdettweiler [2012-09-22 05:12:52] 829*2^1229077-1 is not prime. Res64: 3D86C3B7A7C559E2 Time : 0.0 sec. user=mdettweiler [2012-09-22 05:33:43] 885*2^1229077-1 is not prime. Res64: BD1577EFE59D86B9 Time : 0.0 sec. user=mdettweiler [2012-09-22 05:33:43] 961*2^1229077-1 is not prime. Res64: E45D9F40B02CCEC1 Time : 0.0 sec. user=mdettweiler [2012-09-22 05:33:48] 603*2^1229078-1 is not prime. Res64: 46B62D0D5F0B1FBD Time : 0.0 sec. user=mdettweiler [2012-09-22 05:33:48] 747*2^1229078-1 is not prime. Res64: AC90D4CD28F30132 Time : 0.0 sec. user=mdettweiler [2012-09-22 05:54:16] 921*2^1229078-1 is not prime. Res64: 4998013DEAF8B103 Time : 0.0 sec. user=mdettweiler [2012-09-22 05:54:17] 923*2^1229078-1 is not prime. Res64: F94397A689DA36E6 Time : 0.0 sec. user=mdettweiler [2012-09-22 05:54:17] 613*2^1229079-1 is not prime. Res64: AE46BDF18EC2773C Time : 0.0 sec. user=mdettweiler [2012-09-22 05:54:17] 789*2^1229079-1 is not prime. Res64: A90FE8F1F001B9B8 Time : 0.0 sec. user=mdettweiler [2012-09-22 06:14:46] 931*2^1229079-1 is not prime. Res64: BF7DD0402E8DB19A Time : 0.0 sec. user=mdettweiler [2012-09-22 06:14:49] 687*2^1229080-1 is not prime. Res64: 90AB274F672CD59B Time : 0.0 sec. user=mdettweiler [2012-09-22 06:14:51] 695*2^1229080-1 is not prime. Res64: F328EE5F651097EC Time : 0.0 sec. user=mdettweiler [2012-09-22 06:14:55] 713*2^1229080-1 is not prime. Res64: F76CC1125D853B67 Time : 0.0 sec. user=mdettweiler [2012-09-22 06:35:32] 719*2^1229080-1 is not prime. Res64: 86AA84A9525B034C Time : 0.0 sec. user=mdettweiler [2012-09-22 06:35:33] 765*2^1229080-1 is not prime. Res64: 777597FC463CC452 Time : 0.0 sec. user=mdettweiler [2012-09-22 06:35:35] 887*2^1229080-1 is not prime. Res64: 08DE92BD0D8A2B34 Time : 0.0 sec. user=mdettweiler [2012-09-22 06:35:36] 897*2^1229080-1 is not prime. Res64: D2F31BF874D83EDC Time : 0.0 sec. user=mdettweiler [2012-09-22 06:56:03] 989*2^1229080-1 is not prime. Res64: 67A1F766A6AB0AE9 Time : 0.0 sec. user=mdettweiler [2012-09-22 06:56:04] 631*2^1229081-1 is not prime. Res64: 710219045969C5C3 Time : 0.0 sec. user=mdettweiler [2012-09-22 06:56:05] 717*2^1229081-1 is not prime. Res64: BD4A3888937338D8 Time : 0.0 sec. user=mdettweiler [2012-09-22 06:56:06] 829*2^1229081-1 is not prime. Res64: C12A9E3D5260B37F Time : 0.0 sec. user=mdettweiler [2012-09-22 07:16:34] 871*2^1229081-1 is not prime. Res64: DBD120AA017C102B Time : 0.0 sec. user=mdettweiler [2012-09-22 07:16:34] 931*2^1229081-1 is not prime. Res64: 55D8EEEA693A4B13 Time : 0.0 sec. user=mdettweiler [2012-09-22 07:16:35] 997*2^1229081-1 is not prime. Res64: 049646A8E7C7CF48 Time : 0.0 sec. user=mdettweiler [2012-09-22 07:16:36] 747*2^1229082-1 is not prime. Res64: 5420E5589FBD1684 Time : 0.0 sec. user=mdettweiler [2012-09-22 07:37:09] 777*2^1229082-1 is not prime. Res64: 19A4461F3CB50249 Time : 0.0 sec. user=mdettweiler [2012-09-22 07:37:09] 821*2^1229082-1 is not prime. Res64: D1EAF2A4DB83F771 Time : 0.0 sec. user=mdettweiler [2012-09-22 07:37:10] 915*2^1229082-1 is not prime. Res64: 4BA1C192AA561A58 Time : 0.0 sec. user=mdettweiler [2012-09-22 07:37:11] 947*2^1229082-1 is not prime. Res64: FB244599F9F94945 Time : 0.0 sec. user=mdettweiler [2012-09-22 07:57:41] 615*2^1229083-1 is not prime. Res64: 41FA58F5B273302B Time : 0.0 sec. user=mdettweiler [2012-09-22 07:57:42] 765*2^1229083-1 is not prime. Res64: 157C64F5D07E76EE Time : 0.0 sec. user=mdettweiler [2012-09-22 07:57:42] 789*2^1229083-1 is not prime. Res64: 3519BF3F9153D651 Time : 0.0 sec. user=mdettweiler [2012-09-22 07:57:43] 819*2^1229083-1 is not prime. Res64: 5B82FE45E3E008ED Time : 0.0 sec. user=mdettweiler [2012-09-22 08:18:11] 915*2^1229083-1 is not prime. Res64: F62BAE587BE6A905 Time : 0.0 sec. user=mdettweiler [2012-09-22 08:18:11] 973*2^1229083-1 is not prime. Res64: 8CAFB82339B82BFE Time : 0.0 sec. user=mdettweiler [2012-09-22 08:18:12] 925*2^1229083-1 is not prime. Res64: 8A1EBA78653ED2A2 Time : 0.0 sec. user=mdettweiler [2012-09-22 08:18:12] 605*2^1229084-1 is not prime. Res64: 7DF11A59129639DC Time : 0.0 sec. user=mdettweiler [2012-09-22 08:38:45] 617*2^1229084-1 is not prime. Res64: F47314B18D987194 Time : 0.0 sec. user=mdettweiler [2012-09-22 08:38:45] 825*2^1229084-1 is not prime. Res64: 90DF5545CF38E176 Time : 0.0 sec. user=mdettweiler [2012-09-22 08:38:46] 935*2^1229084-1 is not prime. Res64: EDE847AF63B858C0 Time : 0.0 sec. user=mdettweiler [2012-09-22 08:38:46] 953*2^1229084-1 is not prime. Res64: 3ECA5EAE2A5186CF Time : 0.0 sec. user=mdettweiler [2012-09-22 08:59:15] 969*2^1229084-1 is not prime. Res64: 652CF1526CF1CFE5 Time : 0.0 sec. user=mdettweiler [2012-09-22 08:59:16] 685*2^1229085-1 is not prime. Res64: 0795ACD80986058C Time : 0.0 sec. user=mdettweiler [2012-09-22 08:59:16] 657*2^1229085-1 is not prime. Res64: A894B43F1E8D2F4F Time : 0.0 sec. user=mdettweiler [2012-09-22 08:59:16] 795*2^1229085-1 is not prime. Res64: 89C6AF7917A551C0 Time : 0.0 sec. user=mdettweiler [2012-09-22 09:19:45] 895*2^1229085-1 is not prime. Res64: EDDDC737E1B79415 Time : 0.0 sec. user=mdettweiler [2012-09-22 09:19:46] 675*2^1229086-1 is not prime. Res64: DC5FCF4678F3F3D9 Time : 0.0 sec. user=mdettweiler [2012-09-22 09:19:46] 955*2^1229085-1 is not prime. Res64: 99284E368AE596E3 Time : 0.0 sec. user=mdettweiler [2012-09-22 09:19:46] 717*2^1229086-1 is not prime. Res64: CCA747F33DA1778B Time : 0.0 sec. user=mdettweiler [2012-09-22 09:40:23] 741*2^1229086-1 is not prime. Res64: E588F84FFC359A1F Time : 0.0 sec. user=mdettweiler [2012-09-22 09:40:23] 755*2^1229086-1 is not prime. Res64: 04886D809EAB5666 Time : 0.0 sec. user=mdettweiler [2012-09-22 09:40:24] 815*2^1229086-1 is not prime. Res64: 4B50F14BFA4C1233 Time : 0.0 sec. user=mdettweiler [2012-09-22 09:40:24] 861*2^1229086-1 is not prime. Res64: 078C6C73770A9355 Time : 0.0 sec. user=mdettweiler [2012-09-22 10:00:53] 881*2^1229086-1 is not prime. Res64: 7E2A46F35DA7CA75 Time : 0.0 sec. user=mdettweiler [2012-09-22 10:00:54] 987*2^1229086-1 is not prime. Res64: 7AA22F8F0F0FCBFB Time : 0.0 sec. user=mdettweiler [2012-09-22 10:00:55] 981*2^1229086-1 is not prime. Res64: 350C6B880F106F89 Time : 0.0 sec. user=mdettweiler [2012-09-22 10:00:57] 715*2^1229087-1 is not prime. Res64: 20FCA5442156778E Time : 0.0 sec. user=mdettweiler [2012-09-22 10:21:45] 861*2^1229087-1 is not prime. Res64: C6C5B34F76B7BB5C Time : 0.0 sec. user=mdettweiler [2012-09-22 10:21:46] 629*2^1229088-1 is not prime. Res64: 92FF627AEC5F8FD0 Time : 0.0 sec. user=mdettweiler [2012-09-22 10:21:47] 669*2^1229088-1 is not prime. Res64: AD9456905C2294BD Time : 0.0 sec. user=mdettweiler [2012-09-22 10:21:48] 789*2^1229088-1 is not prime. Res64: 8B9276E7030AE2EB Time : 0.0 sec. user=mdettweiler [2012-09-22 10:42:16] 845*2^1229088-1 is not prime. Res64: 7C3BBD0373AF1AD3 Time : 0.0 sec. user=mdettweiler [2012-09-22 10:42:16] 927*2^1229088-1 is not prime. Res64: B05B2A3DB64CB61F Time : 0.0 sec. user=mdettweiler [2012-09-22 10:42:17] 993*2^1229088-1 is not prime. Res64: 51F1A33E62D3991E Time : 0.0 sec. user=mdettweiler [2012-09-22 10:42:17] 609*2^1229089-1 is not prime. Res64: 94A7745F928DB2E3 Time : 0.0 sec. user=juhehe [2012-09-22 11:00:52] 839*2^1229088-1 is not prime. Res64: 08E67D2D824E8D98 Time : 0.0 sec. user=mdettweiler [2012-09-22 11:02:56] 799*2^1229089-1 is not prime. Res64: 5C8B97FB9EA04BE4 Time : 0.0 sec. user=mdettweiler [2012-09-22 11:02:57] 939*2^1229089-1 is not prime. Res64: 6DF7D7F79F741DFB Time : 0.0 sec. user=mdettweiler [2012-09-22 11:02:58] 999*2^1229089-1 is not prime. Res64: 1A34A29460BBEF5F Time : 0.0 sec. user=mdettweiler [2012-09-22 11:02:59] 627*2^1229090-1 is not prime. Res64: 724EA92C2FDC9C78 Time : 0.0 sec. user=mdettweiler [2012-09-22 11:24:18] 735*2^1229090-1 is not prime. Res64: 55F5696FB97DBA7D Time : 0.0 sec. user=mdettweiler [2012-09-22 11:24:19] 743*2^1229090-1 is not prime. Res64: 1D99F90D2B89DBDC Time : 0.0 sec. user=mdettweiler [2012-09-22 11:24:21] 755*2^1229090-1 is not prime. Res64: 41801701F69CDBFD Time : 0.0 sec. user=mdettweiler [2012-09-22 11:24:21] 767*2^1229090-1 is not prime. Res64: 5715B1B0E10EB1F9 Time : 0.0 sec. user=mdettweiler [2012-09-22 11:45:02] 791*2^1229090-1 is not prime. Res64: 15ECC5FC5A1BEFDC Time : 0.0 sec. user=mdettweiler [2012-09-22 11:45:02] 859*2^1229091-1 is not prime. Res64: ECD7693B2307320C Time : 0.0 sec. user=mdettweiler [2012-09-22 11:45:03] 1001*2^1229090-1 is not prime. Res64: 30CF0F2268CC52E7 Time : 0.0 sec. user=mdettweiler [2012-09-22 11:45:04] 871*2^1229091-1 is not prime. Res64: 33549C5B815934B9 Time : 0.0 sec. user=juhehe [2012-09-22 11:45:39] 633*2^1229090-1 is not prime. Res64: 10D2EB5443C98B2A Time : 0.0 sec. user=mdettweiler [2012-09-22 12:05:46] 961*2^1229091-1 is not prime. Res64: 39766672A7DC592A Time : 0.0 sec. user=mdettweiler [2012-09-22 12:05:48] 855*2^1229092-1 is not prime. Res64: 7D0432ED6D8DD36A Time : 0.0 sec. user=mdettweiler [2012-09-22 12:05:48] 677*2^1229092-1 is not prime. Res64: 013B8E0912CC2845 Time : 0.0 sec. user=mdettweiler [2012-09-22 12:05:48] 903*2^1229092-1 is not prime. Res64: B98385FF5C66A40B Time : 0.0 sec. user=mdettweiler [2012-09-22 12:26:42] 697*2^1229093-1 is not prime. Res64: 2F23BC64906FF175 Time : 0.0 sec. user=mdettweiler [2012-09-22 12:26:43] 771*2^1229093-1 is not prime. Res64: 9CCF95DB5276C214 Time : 0.0 sec. user=mdettweiler [2012-09-22 12:26:43] 745*2^1229093-1 is not prime. Res64: 2B95AC27E423A68F Time : 0.0 sec. user=mdettweiler [2012-09-22 12:26:43] 847*2^1229093-1 is not prime. Res64: 96F35C295A666FA2 Time : 0.0 sec. user=juhehe [2012-09-22 12:29:52] 651*2^1229093-1 is not prime. Res64: 49B3A3CEAF742A14 Time : 0.0 sec. user=mdettweiler [2012-09-22 12:47:25] 861*2^1229093-1 is not prime. Res64: 72440A0DFA37978D Time : 0.0 sec. user=mdettweiler [2012-09-22 12:47:26] 901*2^1229093-1 is not prime. Res64: BF616763CDB784CD Time : 0.0 sec. user=mdettweiler [2012-09-22 12:47:26] 615*2^1229094-1 is not prime. Res64: 23AE8B202126E03F Time : 0.0 sec. user=mdettweiler [2012-09-22 12:47:26] 695*2^1229094-1 is not prime. Res64: D731DDEEF76DE841 Time : 0.0 sec. user=mdettweiler [2012-09-22 13:08:24] 971*2^1229094-1 is not prime. Res64: 386866FDD3168CDD Time : 0.0 sec. user=mdettweiler [2012-09-22 13:08:25] 673*2^1229095-1 is not prime. Res64: 87D9FBBE17286167 Time : 0.0 sec. user=mdettweiler [2012-09-22 13:08:25] 705*2^1229095-1 is not prime. Res64: B18E66846DBCE96F Time : 0.0 sec. user=mdettweiler [2012-09-22 13:08:25] 723*2^1229095-1 is not prime. Res64: 6E784194D35B203E Time : 0.0 sec. user=juhehe [2012-09-22 13:14:11] 863*2^1229094-1 is not prime. Res64: 42B51C23ED38940C Time : 0.0 sec. user=mdettweiler [2012-09-22 13:29:21] 841*2^1229095-1 is not prime. Res64: 778D7038DFD75BD5 Time : 0.0 sec. user=mdettweiler [2012-09-22 13:29:21] 843*2^1229095-1 is not prime. Res64: 184731045A3B48B5 Time : 0.0 sec. user=mdettweiler [2012-09-22 13:29:21] 885*2^1229095-1 is not prime. Res64: 5AB66E5828050E79 Time : 0.0 sec. user=mdettweiler [2012-09-22 13:29:21] 909*2^1229095-1 is not prime. Res64: 7E7B2F4E1A088C45 Time : 0.0 sec. user=mdettweiler [2012-09-22 13:50:15] 973*2^1229095-1 is not prime. Res64: D7C4499CFBB36A54 Time : 0.0 sec. user=mdettweiler [2012-09-22 13:50:15] 677*2^1229096-1 is not prime. Res64: 717553273972B66C Time : 0.0 sec. user=mdettweiler [2012-09-22 13:50:16] 635*2^1229096-1 is not prime. Res64: 86D2F8795E6A4FBA Time : 0.0 sec. user=mdettweiler [2012-09-22 13:50:16] 747*2^1229096-1 is not prime. Res64: 1116D8D34B38C060 Time : 0.0 sec. user=mdettweiler [2012-09-22 14:10:49] 873*2^1229096-1 is not prime. Res64: A64E9E35A709ED2C Time : 0.0 sec. user=mdettweiler [2012-09-22 14:10:50] 759*2^1229096-1 is not prime. Res64: C3F95AFC7BA12443 Time : 0.0 sec. user=mdettweiler [2012-09-22 14:10:51] 903*2^1229096-1 is not prime. Res64: 9C3AD3C23BB99322 Time : 0.0 sec. user=mdettweiler [2012-09-22 14:10:53] 813*2^1229096-1 is not prime. Res64: 79535114A57C9348 Time : 0.0 sec. user=mdettweiler [2012-09-22 14:31:53] 957*2^1229096-1 is not prime. Res64: C588311C263F79F9 Time : 0.0 sec. user=mdettweiler [2012-09-22 14:31:53] 699*2^1229097-1 is not prime. Res64: 90A3A694A2FC5407 Time : 0.0 sec. user=mdettweiler [2012-09-22 14:31:57] 747*2^1229097-1 is not prime. Res64: 64B834D39C082178 Time : 0.0 sec. user=mdettweiler [2012-09-22 14:31:57] 769*2^1229097-1 is not prime. Res64: D742793F9E230A79 Time : 0.0 sec. user=juhehe [2012-09-22 14:39:20] 927*2^1229096-1 is not prime. Res64: 597E374B3D5A341C Time : 0.0 sec. user=mdettweiler [2012-09-22 14:52:27] 871*2^1229097-1 is not prime. Res64: C6CC83A2A08DE409 Time : 0.0 sec. user=mdettweiler [2012-09-22 14:52:27] 901*2^1229097-1 is not prime. Res64: EB9FA5FDA00B45EB Time : 0.0 sec. user=mdettweiler [2012-09-22 14:52:30] 919*2^1229097-1 is not prime. Res64: 374FD28E13D6CFC2 Time : 0.0 sec. user=mdettweiler [2012-09-22 14:52:30] 999*2^1229097-1 is not prime. Res64: E59A52F8E38822D0 Time : 0.0 sec. user=mdettweiler [2012-09-22 15:13:04] 617*2^1229098-1 is not prime. Res64: 772653AA6FC28791 Time : 0.0 sec. user=mdettweiler [2012-09-22 15:13:06] 647*2^1229098-1 is not prime. Res64: 5EDA896B77531F27 Time : 0.0 sec. user=mdettweiler [2012-09-22 15:13:06] 843*2^1229098-1 is not prime. Res64: AAF9565706ED7E8D Time : 0.0 sec. user=mdettweiler [2012-09-22 15:13:07] 933*2^1229098-1 is not prime. Res64: F0A7A9123A185C7A Time : 0.0 sec. user=mdettweiler [2012-09-22 15:33:46] 631*2^1229099-1 is not prime. Res64: 1C264241F9191F1E Time : 0.0 sec. user=mdettweiler [2012-09-22 15:33:46] 645*2^1229099-1 is not prime. Res64: 407E67701E0BFC18 Time : 0.0 sec. user=mdettweiler [2012-09-22 15:33:48] 931*2^1229099-1 is not prime. Res64: B1012A3AA599A0FD Time : 0.0 sec. user=mdettweiler [2012-09-22 15:33:49] 627*2^1229100-1 is not prime. Res64: 2B177DA7E340480A Time : 0.0 sec. user=mdettweiler [2012-09-22 15:54:20] 647*2^1229100-1 is not prime. Res64: CF28F93EA7A371F0 Time : 0.0 sec. user=mdettweiler [2012-09-22 15:54:21] 699*2^1229100-1 is not prime. Res64: 2E0976AFE8FC05C7 Time : 0.0 sec. user=mdettweiler [2012-09-22 15:54:22] 773*2^1229100-1 is not prime. Res64: 438AC22C7D1B6EEA Time : 0.0 sec. user=mdettweiler [2012-09-22 15:54:22] 975*2^1229100-1 is not prime. Res64: 915ECEAB4E45978E Time : 0.0 sec. user=mdettweiler [2012-09-22 16:14:56] 727*2^1229101-1 is not prime. Res64: 036283A8838893E5 Time : 0.0 sec. user=mdettweiler [2012-09-22 16:14:56] 817*2^1229101-1 is not prime. Res64: FADBBAFCE80D311E Time : 0.0 sec. user=mdettweiler [2012-09-22 16:14:57] 871*2^1229101-1 is not prime. Res64: 89F03BB076C43502 Time : 0.0 sec. user=mdettweiler [2012-09-22 16:14:58] 713*2^1229102-1 is not prime. Res64: 3066263A0100E922 Time : 0.0 sec. user=mdettweiler [2012-09-22 16:35:39] 831*2^1229102-1 is not prime. Res64: E924076C4810A9D8 Time : 0.0 sec. user=mdettweiler [2012-09-22 16:35:39] 911*2^1229102-1 is not prime. Res64: 1CA37715A5EFD5DE Time : 0.0 sec. user=mdettweiler [2012-09-22 16:35:40] 825*2^1229102-1 is not prime. Res64: 3D913BAD78598330 Time : 0.0 sec. user=mdettweiler [2012-09-22 16:35:40] 923*2^1229102-1 is not prime. Res64: 12700593E1E7349A Time : 0.0 sec. user=mdettweiler [2012-09-22 16:56:18] 613*2^1229103-1 is not prime. Res64: E52A26ACAC70E2C8 Time : 0.0 sec. user=mdettweiler [2012-09-22 16:56:19] 693*2^1229103-1 is not prime. Res64: 2FCBFCCD8E41D508 Time : 0.0 sec. user=mdettweiler [2012-09-22 16:56:20] 769*2^1229103-1 is not prime. Res64: 81BEB3AE030590CB Time : 0.0 sec. user=mdettweiler [2012-09-22 16:56:21] 795*2^1229103-1 is not prime. Res64: 7191AF1468E94A00 Time : 0.0 sec. user=mdettweiler [2012-09-22 17:17:06] 853*2^1229103-1 is not prime. Res64: F4C4038F8C1DDB29 Time : 0.0 sec. user=mdettweiler [2012-09-22 17:17:07] 859*2^1229103-1 is not prime. Res64: D627A321D8F67D08 Time : 0.0 sec. user=mdettweiler [2012-09-22 17:17:08] 879*2^1229103-1 is not prime. Res64: 64E7105D54A6FE47 Time : 0.0 sec. user=mdettweiler [2012-09-22 17:17:09] 895*2^1229103-1 is not prime. Res64: DA063392BFAB2095 Time : 0.0 sec. user=mdettweiler [2012-09-22 17:38:01] 963*2^1229103-1 is not prime. Res64: 836617E490A43453 Time : 0.0 sec. user=mdettweiler [2012-09-22 17:38:02] 609*2^1229104-1 is not prime. Res64: 2C45049A25BA7C4D Time : 0.0 sec. user=mdettweiler [2012-09-22 17:38:02] 605*2^1229104-1 is not prime. Res64: 6B62FB6F3F864B45 Time : 0.0 sec. user=mdettweiler [2012-09-22 17:38:02] 705*2^1229104-1 is not prime. Res64: 4AAF6B944A9FE1F1 Time : 0.0 sec. user=mdettweiler [2012-09-22 17:58:53] 843*2^1229104-1 is not prime. Res64: 4A6C8CE6F26E3E05 Time : 0.0 sec. user=mdettweiler [2012-09-22 17:58:54] 869*2^1229104-1 is not prime. Res64: 01A275C4DBBD355C Time : 0.0 sec. user=mdettweiler [2012-09-22 17:58:54] 897*2^1229104-1 is not prime. Res64: ED36FF3D7D68F234 Time : 0.0 sec. user=mdettweiler [2012-09-22 17:58:54] 903*2^1229104-1 is not prime. Res64: 5AA9FA8FEDEED5F9 Time : 0.0 sec. user=mdettweiler [2012-09-22 18:19:41] 711*2^1229105-1 is not prime. Res64: 5DD53B525E3657FA Time : 0.0 sec. user=mdettweiler [2012-09-22 18:19:41] 735*2^1229105-1 is not prime. Res64: 41519AB6F78E6658 Time : 0.0 sec. user=mdettweiler [2012-09-22 18:19:42] 727*2^1229105-1 is not prime. Res64: 591415CDD3FB8E84 Time : 0.0 sec. user=mdettweiler [2012-09-22 18:19:42] 775*2^1229105-1 is not prime. Res64: F262DFF54BF6AE57 Time : 0.0 sec. user=mdettweiler [2012-09-22 18:40:56] 991*2^1229105-1 is not prime. Res64: EB27EF497CD68011 Time : 0.0 sec. user=mdettweiler [2012-09-22 18:40:57] 627*2^1229106-1 is not prime. Res64: AD44490AAA1002B2 Time : 0.0 sec. user=mdettweiler [2012-09-22 18:40:57] 633*2^1229106-1 is not prime. Res64: FE618D1DEF72BDB2 Time : 0.0 sec. user=mdettweiler [2012-09-22 18:40:58] 677*2^1229106-1 is not prime. Res64: 5FA2EAD5F63C7BB1 Time : 0.0 sec. user=mdettweiler [2012-09-22 19:01:29] 755*2^1229106-1 is not prime. Res64: 2BF31AB4C4D0073F Time : 0.0 sec. user=mdettweiler [2012-09-22 19:01:30] 903*2^1229106-1 is not prime. Res64: 9599805FE8183595 Time : 0.0 sec. user=mdettweiler [2012-09-22 19:01:31] 777*2^1229106-1 is not prime. Res64: A000E44B6045A0F2 Time : 0.0 sec. user=mdettweiler [2012-09-22 19:01:32] 673*2^1229107-1 is not prime. Res64: C74061B9F5F9C1BF Time : 0.0 sec. user=mdettweiler [2012-09-22 19:22:18] 819*2^1229107-1 is not prime. Res64: 728752E6395ECA7A Time : 0.0 sec. user=mdettweiler [2012-09-22 19:22:19] 873*2^1229107-1 is not prime. Res64: 8805501185EFDFCA Time : 0.0 sec. user=mdettweiler [2012-09-22 19:22:20] 843*2^1229107-1 is not prime. Res64: E2D8BB17015DE3D6 Time : 0.0 sec. user=mdettweiler [2012-09-22 19:22:20] 915*2^1229107-1 is not prime. Res64: 9E97D8243EFAB39E Time : 0.0 sec. user=mdettweiler [2012-09-22 19:42:54] 945*2^1229107-1 is not prime. Res64: 12103994521B9777 Time : 0.0 sec. user=mdettweiler [2012-09-22 19:42:54] 659*2^1229108-1 is not prime. Res64: 07506930E1DD2BA2 Time : 0.0 sec. user=mdettweiler [2012-09-22 19:42:55] 825*2^1229108-1 is not prime. Res64: E50295FAE559A0E4 Time : 0.0 sec. user=mdettweiler [2012-09-22 19:42:55] 969*2^1229108-1 is not prime. Res64: B26AA4196FE96D9F Time : 0.0 sec. user=mdettweiler [2012-09-22 20:03:26] 751*2^1229109-1 is not prime. Res64: ECDC9D138E9CEFE1 Time : 0.0 sec. user=mdettweiler [2012-09-22 20:03:27] 975*2^1229109-1 is not prime. Res64: 639FBFD774DF457A Time : 0.0 sec. user=mdettweiler [2012-09-22 20:03:29] 907*2^1229109-1 is not prime. Res64: 03C49A31AC9E0DD9 Time : 0.0 sec. user=mdettweiler [2012-09-22 20:03:29] 999*2^1229109-1 is not prime. Res64: 171FF41690B67D70 Time : 0.0 sec. user=mdettweiler [2012-09-22 20:24:41] 987*2^1229110-1 is not prime. Res64: C59EB95536CEDFB9 Time : 0.0 sec. user=mdettweiler [2012-09-22 20:24:42] 743*2^1229110-1 is not prime. Res64: B33075ECAA3160F5 Time : 0.0 sec. user=mdettweiler [2012-09-22 20:24:42] 615*2^1229111-1 is not prime. Res64: 1590DE9C711F5B8D Time : 0.0 sec. user=mdettweiler [2012-09-22 20:24:42] 957*2^1229110-1 is not prime. Res64: AFAFA4D1DE9CEC4A Time : 0.0 sec. user=mdettweiler [2012-09-22 20:45:14] 643*2^1229111-1 is not prime. Res64: 50CAA3FD82877A33 Time : 0.0 sec. user=mdettweiler [2012-09-22 20:45:14] 711*2^1229111-1 is not prime. Res64: F5B92F05DF62C08A Time : 0.0 sec. user=mdettweiler [2012-09-22 20:45:17] 629*2^1229112-1 is not prime. Res64: 1FD101876A00BA20 Time : 0.0 sec. user=mdettweiler [2012-09-22 20:45:17] 633*2^1229112-1 is not prime. Res64: 3396BAE53B8DE181 Time : 0.0 sec. user=mdettweiler [2012-09-22 21:05:49] 635*2^1229112-1 is not prime. Res64: 576B61A8C6B54726 Time : 0.0 sec. user=mdettweiler [2012-09-22 21:05:50] 665*2^1229112-1 is not prime. Res64: 27687DB4ECF3E03C Time : 0.0 sec. user=mdettweiler [2012-09-22 21:05:53] 737*2^1229112-1 is not prime. Res64: D87093E295EF1327 Time : 0.0 sec. user=mdettweiler [2012-09-22 21:05:55] 765*2^1229112-1 is not prime. Res64: 9F56CC8C9F9AC95E Time : 0.0 sec. user=vaughan [2012-09-22 21:07:22] 689*2^1229072-1 is not prime. Res64: 80452DC76ECEA4DE Time : 0.0 sec. user=mdettweiler [2012-09-22 21:26:25] 803*2^1229112-1 is not prime. Res64: A002AB4C822DF0AC Time : 0.0 sec. user=mdettweiler [2012-09-22 21:26:26] 819*2^1229112-1 is not prime. Res64: F4D23B85134B0D88 Time : 0.0 sec. user=mdettweiler [2012-09-22 21:26:27] 843*2^1229112-1 is not prime. Res64: F9FD75D57F57D234 Time : 0.0 sec. user=mdettweiler [2012-09-22 21:26:27] 887*2^1229112-1 is not prime. Res64: 001439F66FD86BFD Time : 0.0 sec. user=vaughan [2012-09-22 21:44:44] 899*2^1229112-1 is not prime. Res64: F57D5A2F20D5E0A6 Time : 0.0 sec. user=mdettweiler [2012-09-22 21:47:02] 903*2^1229112-1 is not prime. Res64: FEA5C45C2FB56329 Time : 0.0 sec. user=mdettweiler [2012-09-22 21:47:02] 619*2^1229113-1 is not prime. Res64: 634306C4FD601FE8 Time : 0.0 sec. user=mdettweiler [2012-09-22 21:47:03] 945*2^1229112-1 is not prime. Res64: E4A5AA3457AB92B7 Time : 0.0 sec. user=mdettweiler [2012-09-22 21:47:03] 639*2^1229113-1 is not prime. Res64: 5F8A39068FFA1440 Time : 0.0 sec. user=mdettweiler [2012-09-22 22:07:35] 679*2^1229113-1 is not prime. Res64: 071E3D767EEA8F41 Time : 0.0 sec. user=mdettweiler [2012-09-22 22:07:37] 681*2^1229113-1 is not prime. Res64: F34423B797E41A2D Time : 0.0 sec. user=mdettweiler [2012-09-22 22:07:40] 771*2^1229113-1 is not prime. Res64: 2D7C7410D4A1878C Time : 0.0 sec. user=mdettweiler [2012-09-22 22:07:44] 831*2^1229113-1 is not prime. Res64: 41E735F16D8CF9B0 Time : 0.0 sec. user=vaughan [2012-09-22 22:22:20] 651*2^1229113-1 is not prime. Res64: 9F2F40675F4E056D Time : 0.0 sec. user=mdettweiler [2012-09-22 22:28:31] 861*2^1229113-1 is not prime. Res64: 70436278A0974746 Time : 0.0 sec. user=mdettweiler [2012-09-22 22:28:32] 867*2^1229113-1 is not prime. Res64: 8A7C3505146219EA Time : 0.0 sec. user=mdettweiler [2012-09-22 22:28:34] 901*2^1229113-1 is not prime. Res64: 1559998489A06CFF Time : 0.0 sec. user=mdettweiler [2012-09-22 22:28:34] 919*2^1229113-1 is not prime. Res64: F987890E4D4D1A13 Time : 0.0 sec. user=mdettweiler [2012-09-22 22:49:02] 957*2^1229113-1 is not prime. Res64: B5BC009A3F8DE72B Time : 0.0 sec. user=mdettweiler [2012-09-22 22:49:03] 635*2^1229114-1 is not prime. Res64: 5C6B28CA34DCA6CC Time : 0.0 sec. user=mdettweiler [2012-09-22 22:49:04] 747*2^1229114-1 is not prime. Res64: 12D5C8ED083088BB Time : 0.0 sec. user=mdettweiler [2012-09-22 22:49:05] 851*2^1229114-1 is not prime. Res64: BDB51B1EC1A00C3C Time : 0.0 sec. user=vaughan [2012-09-22 22:59:48] 925*2^1229113-1 is not prime. Res64: A230D7910A70143D Time : 0.0 sec. user=mdettweiler [2012-09-22 23:09:34] 875*2^1229114-1 is not prime. Res64: DDDD35006061F9B3 Time : 0.0 sec. user=mdettweiler [2012-09-22 23:09:35] 941*2^1229114-1 is not prime. Res64: F2A2F47A16638CCA Time : 0.0 sec. user=mdettweiler [2012-09-22 23:09:36] 951*2^1229114-1 is not prime. Res64: 43C7D309AC0FB0BF Time : 0.0 sec. user=mdettweiler [2012-09-22 23:09:36] 625*2^1229115-1 is not prime. Res64: 1B96FC7A3C59E663 Time : 0.0 sec. user=mdettweiler [2012-09-22 23:30:12] 765*2^1229115-1 is not prime. Res64: F1D72E3BE6A13832 Time : 0.0 sec. user=mdettweiler [2012-09-22 23:30:13] 775*2^1229115-1 is not prime. Res64: C388475107C6B0FC Time : 0.0 sec. user=mdettweiler [2012-09-22 23:30:14] 789*2^1229115-1 is not prime. Res64: 4D3DB77A4503804F Time : 0.0 sec. user=mdettweiler [2012-09-22 23:30:14] 861*2^1229115-1 is not prime. Res64: 42A466D5837C327C Time : 0.0 sec. user=vaughan [2012-09-22 23:37:12] 741*2^1229115-1 is not prime. Res64: 414392D0BDE21260 Time : 0.0 sec. user=juhehe [2012-09-22 23:46:22] 743*2^1229102-1 is not prime. Res64: 549ADA7905B0BBEF Time : 0.0 sec. user=mdettweiler [2012-09-22 23:50:47] 615*2^1229116-1 is not prime. Res64: CB31561ED82E990A Time : 0.0 sec. user=mdettweiler [2012-09-22 23:50:48] 695*2^1229116-1 is not prime. Res64: F2501CA42EFEDD36 Time : 0.0 sec. user=mdettweiler [2012-09-22 23:50:48] 749*2^1229116-1 is not prime. Res64: 7C7BD75D8F0735D3 Time : 0.0 sec. user=mdettweiler [2012-09-22 23:50:49] 825*2^1229116-1 is not prime. Res64: 3E9E3BBE7F84761C Time : 0.0 sec.