user=mdettweiler [2013-07-08 00:05:19] 997*2^1247501-1 is not prime. Res64: C91B911B952887C8 Time : 0.0 sec. user=mdettweiler [2013-07-08 00:05:20] 627*2^1247502-1 is not prime. Res64: E3BCB4ED5D8A0548 Time : 0.0 sec. user=mdettweiler [2013-07-08 00:22:36] 635*2^1247502-1 is not prime. Res64: F4F9F75BB1E4D2B4 Time : 0.0 sec. user=mdettweiler [2013-07-08 00:22:36] 665*2^1247502-1 is not prime. Res64: F1124F786FAF3BAF Time : 0.0 sec. user=mdettweiler [2013-07-08 00:39:38] 681*2^1247502-1 is not prime. Res64: DB99E82E2BFAD74A Time : 0.0 sec. user=mdettweiler [2013-07-08 00:39:38] 815*2^1247502-1 is not prime. Res64: E30743D26BD3F74A Time : 0.0 sec. user=mdettweiler [2013-07-08 00:57:28] 977*2^1247502-1 is not prime. Res64: A9E2646B14553948 Time : 0.0 sec. user=mdettweiler [2013-07-08 00:57:29] 901*2^1247503-1 is not prime. Res64: 8DFD0E43A204FBA9 Time : 0.0 sec. user=mdettweiler [2013-07-08 01:15:21] 919*2^1247503-1 is not prime. Res64: 86D728A5510C0E4E Time : 0.0 sec. user=mdettweiler [2013-07-08 01:15:22] 969*2^1247503-1 is not prime. Res64: 68BC8282AE271004 Time : 0.0 sec. user=mdettweiler [2013-07-08 01:32:25] 615*2^1247504-1 is not prime. Res64: F499E222B117F73F Time : 0.0 sec. user=mdettweiler [2013-07-08 01:32:26] 675*2^1247504-1 is not prime. Res64: 49C42A9B3B62A018 Time : 0.0 sec. user=mdettweiler [2013-07-08 01:49:29] 683*2^1247504-1 is not prime. Res64: CB7527AF34842864 Time : 0.0 sec. user=mdettweiler [2013-07-08 01:49:30] 857*2^1247504-1 is not prime. Res64: F94953B4370E7395 Time : 0.0 sec. user=mdettweiler [2013-07-08 02:07:29] 899*2^1247504-1 is not prime. Res64: 1664F8C5D8B4B4F2 Time : 0.0 sec. user=mdettweiler [2013-07-08 02:07:29] 959*2^1247504-1 is not prime. Res64: 2439AF6BB6E3B57D Time : 0.0 sec. user=mdettweiler [2013-07-08 02:24:34] 627*2^1247505-1 is not prime. Res64: 197D1016C1444CCD Time : 0.0 sec. user=mdettweiler [2013-07-08 02:24:35] 721*2^1247505-1 is not prime. Res64: 4BEE5E3DB7BA8DC0 Time : 0.0 sec. user=mdettweiler [2013-07-08 02:41:36] 727*2^1247505-1 is not prime. Res64: FD347A32980F2557 Time : 0.0 sec. user=mdettweiler [2013-07-08 02:41:37] 819*2^1247505-1 is not prime. Res64: B67E0913A1201D95 Time : 0.0 sec. user=mdettweiler [2013-07-08 02:58:43] 663*2^1247506-1 is not prime. Res64: D6A086A2447ADC9D Time : 0.0 sec. user=mdettweiler [2013-07-08 02:58:43] 713*2^1247506-1 is not prime. Res64: 31F8B3F87C8C8887 Time : 0.0 sec. user=mdettweiler [2013-07-08 03:15:46] 801*2^1247506-1 is not prime. Res64: 6F5E4B9A18784CEE Time : 0.0 sec. user=mdettweiler [2013-07-08 03:15:46] 833*2^1247506-1 is not prime. Res64: 81C23DBA4D09D721 Time : 0.0 sec. user=mdettweiler [2013-07-08 03:33:36] 981*2^1247506-1 is not prime. Res64: FF043564ED4C23D4 Time : 0.0 sec. user=mdettweiler [2013-07-08 03:33:38] 633*2^1247507-1 is not prime. Res64: 56068F118A6ED01C Time : 0.0 sec. user=mdettweiler [2013-07-08 03:50:55] 669*2^1247507-1 is not prime. Res64: 86C90F7A02C1F498 Time : 0.0 sec. user=mdettweiler [2013-07-08 03:50:55] 883*2^1247507-1 is not prime. Res64: 8C51D5A2B1F061CC Time : 0.0 sec. user=mdettweiler [2013-07-08 04:07:57] 605*2^1247508-1 is not prime. Res64: 34B6D0214C76F478 Time : 0.0 sec. user=mdettweiler [2013-07-08 04:07:59] 633*2^1247508-1 is not prime. Res64: 189C33A1B9C18295 Time : 0.0 sec. user=mdettweiler [2013-07-08 04:25:06] 689*2^1247508-1 is not prime. Res64: E67ECA63E1966A4C Time : 0.0 sec. user=mdettweiler [2013-07-08 04:25:06] 695*2^1247508-1 is not prime. Res64: F9211BF737ED83BD Time : 0.0 sec. user=mdettweiler [2013-07-08 04:42:08] 699*2^1247508-1 is not prime. Res64: C2FA98002676AA34 Time : 0.0 sec. user=mdettweiler [2013-07-08 04:42:08] 725*2^1247508-1 is not prime. Res64: FCB349D570272DB2 Time : 0.0 sec. user=mdettweiler [2013-07-08 04:59:12] 797*2^1247508-1 is not prime. Res64: 3097E42588B044B4 Time : 0.0 sec. user=mdettweiler [2013-07-08 04:59:13] 887*2^1247508-1 is not prime. Res64: 7CE6648169E4A97F Time : 0.0 sec. user=mdettweiler [2013-07-08 05:16:13] 639*2^1247509-1 is not prime. Res64: 1965D7800ECD52FC Time : 0.0 sec. user=mdettweiler [2013-07-08 05:16:14] 691*2^1247509-1 is not prime. Res64: B0111CE46F353666 Time : 0.0 sec. user=mdettweiler [2013-07-08 05:33:15] 757*2^1247509-1 is not prime. Res64: 8DEA4A5508885851 Time : 0.0 sec. user=mdettweiler [2013-07-08 05:33:15] 829*2^1247509-1 is not prime. Res64: A1236540E88FF277 Time : 0.0 sec. user=mdettweiler [2013-07-08 05:50:15] 925*2^1247509-1 is not prime. Res64: D80E73C9F4F2A252 Time : 0.0 sec. user=mdettweiler [2013-07-08 05:50:16] 955*2^1247509-1 is not prime. Res64: 5076815A1F686964 Time : 0.0 sec. user=mdettweiler [2013-07-08 06:08:09] 957*2^1247509-1 is not prime. Res64: 5BB4D4D61C82EBA4 Time : 0.0 sec. user=mdettweiler [2013-07-08 06:08:10] 603*2^1247510-1 is not prime. Res64: 665B2E6953495D92 Time : 0.0 sec. user=mdettweiler [2013-07-08 06:25:30] 663*2^1247510-1 is not prime. Res64: B2DBD8B6F992F2F7 Time : 0.0 sec. user=mdettweiler [2013-07-08 06:25:31] 711*2^1247510-1 is not prime. Res64: A654931BF4A869F5 Time : 0.0 sec. user=mdettweiler [2013-07-08 06:42:32] 743*2^1247510-1 is not prime. Res64: F500E0BC4EB11641 Time : 0.0 sec. user=mdettweiler [2013-07-08 06:42:32] 791*2^1247510-1 is not prime. Res64: F1A6C6815B6B2ED7 Time : 0.0 sec. user=mdettweiler [2013-07-08 06:59:33] 833*2^1247510-1 is not prime. Res64: B4B98BE6616CE069 Time : 0.0 sec. user=mdettweiler [2013-07-08 06:59:33] 867*2^1247510-1 is not prime. Res64: 1DDCCA20F3143B4D Time : 0.0 sec. user=mdettweiler [2013-07-08 07:16:34] 745*2^1247511-1 is not prime. Res64: 72DB2F65D30C0942 Time : 0.0 sec. user=mdettweiler [2013-07-08 07:16:34] 783*2^1247511-1 is not prime. Res64: B46958A16F25CC11 Time : 0.0 sec. user=mdettweiler [2013-07-08 07:33:36] 805*2^1247511-1 is not prime. Res64: 677D64FB9B8C1D29 Time : 0.0 sec. user=mdettweiler [2013-07-08 07:33:36] 823*2^1247511-1 is not prime. Res64: AAFA5C2E46DE9F7F Time : 0.0 sec. user=mdettweiler [2013-07-08 07:51:26] 885*2^1247511-1 is not prime. Res64: 59D10675053080D5 Time : 0.0 sec. user=mdettweiler [2013-07-08 07:51:26] 975*2^1247511-1 is not prime. Res64: 77F860B01985A907 Time : 0.0 sec. user=mdettweiler [2013-07-08 08:08:27] 645*2^1247512-1 is not prime. Res64: 7A1AC09F3BCBD3E8 Time : 0.0 sec. user=mdettweiler [2013-07-08 08:08:29] 653*2^1247512-1 is not prime. Res64: E286658788B1F14B Time : 0.0 sec. user=mdettweiler [2013-07-08 08:25:35] 869*2^1247512-1 is not prime. Res64: 6F00CA9E8FDF0E96 Time : 0.0 sec. user=mdettweiler [2013-07-08 08:25:36] 727*2^1247513-1 is not prime. Res64: 313A30E4C99B25BD Time : 0.0 sec. user=mdettweiler [2013-07-08 08:42:36] 729*2^1247513-1 is not prime. Res64: ED3506F38CA79CFE Time : 0.0 sec. user=mdettweiler [2013-07-08 08:42:37] 787*2^1247513-1 is not prime. Res64: 64F7F7D3A86E8CFD Time : 0.0 sec. user=mdettweiler [2013-07-08 09:00:27] 981*2^1247513-1 is not prime. Res64: E40FCD94B9224817 Time : 0.0 sec. user=mdettweiler [2013-07-08 09:00:29] 621*2^1247514-1 is not prime. Res64: 8991ECDD692EFC7F Time : 0.0 sec. user=mdettweiler [2013-07-08 09:17:43] 641*2^1247514-1 is not prime. Res64: A3685E47F3899B16 Time : 0.0 sec. user=mdettweiler [2013-07-08 09:17:43] 651*2^1247514-1 is not prime. Res64: 733F85DB2B891745 Time : 0.0 sec. user=mdettweiler [2013-07-08 09:34:45] 663*2^1247514-1 is not prime. Res64: 8957BBA786699824 Time : 0.0 sec. user=mdettweiler [2013-07-08 09:34:45] 783*2^1247514-1 is not prime. Res64: 73A75F48840E0391 Time : 0.0 sec. user=mdettweiler [2013-07-08 09:51:46] 851*2^1247514-1 is not prime. Res64: 5299AE6D8820A9B3 Time : 0.0 sec. user=mdettweiler [2013-07-08 09:51:46] 881*2^1247514-1 is not prime. Res64: 46115D327D7B8549 Time : 0.0 sec. user=mdettweiler [2013-07-08 10:08:47] 819*2^1247515-1 is not prime. Res64: 359FC3CF0D376A82 Time : 0.0 sec. user=mdettweiler [2013-07-08 10:08:49] 841*2^1247515-1 is not prime. Res64: BE2139E815681CCE Time : 0.0 sec. user=mdettweiler [2013-07-08 10:26:43] 859*2^1247515-1 is not prime. Res64: FA33CC42482CD779 Time : 0.0 sec. user=mdettweiler [2013-07-08 10:26:43] 979*2^1247515-1 is not prime. Res64: 41D2BF45833C9F43 Time : 0.0 sec. user=mdettweiler [2013-07-08 10:43:45] 615*2^1247516-1 is not prime. Res64: 4CC96AC94B77CC8B Time : 0.0 sec. user=mdettweiler [2013-07-08 10:43:45] 773*2^1247516-1 is not prime. Res64: 117FC5F0DEDA6244 Time : 0.0 sec. user=mdettweiler [2013-07-08 11:01:35] 899*2^1247516-1 is not prime. Res64: 61A98ABEB8302289 Time : 0.0 sec. user=mdettweiler [2013-07-08 11:01:36] 963*2^1247516-1 is not prime. Res64: 7D3A8A7C21E30050 Time : 0.0 sec. user=mdettweiler [2013-07-08 11:19:17] 795*2^1247517-1 is not prime. Res64: 42D61AD7C5F53F77 Time : 0.0 sec. user=mdettweiler [2013-07-08 11:19:18] 819*2^1247517-1 is not prime. Res64: 5B4E49D21940A0DF Time : 0.0 sec. user=mdettweiler [2013-07-08 11:36:53] 829*2^1247517-1 is not prime. Res64: 8E6BEE23C667B3F3 Time : 0.0 sec. user=mdettweiler [2013-07-08 11:36:54] 831*2^1247517-1 is not prime. Res64: 7A8DCFAA7BC38E98 Time : 0.0 sec. user=mdettweiler [2013-07-08 11:54:28] 859*2^1247517-1 is not prime. Res64: D2E54491B8B018BD Time : 0.0 sec. user=mdettweiler [2013-07-08 11:54:28] 871*2^1247517-1 is not prime. Res64: 815D26DF386EE566 Time : 0.0 sec. user=mdettweiler [2013-07-08 12:12:51] 885*2^1247517-1 is not prime. Res64: C8511A3E89102FCC Time : 0.0 sec. user=mdettweiler [2013-07-08 12:12:51] 961*2^1247517-1 is not prime. Res64: 4960EB52E9BE6085 Time : 0.0 sec. user=mdettweiler [2013-07-08 12:30:20] 671*2^1247518-1 is not prime. Res64: 72B38FAFC5E3FE8D Time : 0.0 sec. user=mdettweiler [2013-07-08 12:30:20] 687*2^1247518-1 is not prime. Res64: F295AD024D32D664 Time : 0.0 sec. user=mdettweiler [2013-07-08 12:48:41] 957*2^1247518-1 is not prime. Res64: 9F95E806A60A4457 Time : 0.0 sec. user=mdettweiler [2013-07-08 12:48:41] 619*2^1247519-1 is not prime. Res64: 45B3DE38BEDFE3AD Time : 0.0 sec. user=mdettweiler [2013-07-08 13:06:11] 643*2^1247519-1 is not prime. Res64: AC618EFE53A28BBE Time : 0.0 sec. user=mdettweiler [2013-07-08 13:06:12] 685*2^1247519-1 is not prime. Res64: EDB6AC7003D19E99 Time : 0.0 sec. user=mdettweiler [2013-07-08 13:23:43] 711*2^1247519-1 is not prime. Res64: 3D5A684D573EA1F5 Time : 0.0 sec. user=mdettweiler [2013-07-08 13:23:44] 741*2^1247519-1 is not prime. Res64: 2FF1B865E48F4C46 Time : 0.0 sec. user=mdettweiler [2013-07-08 13:41:15] 759*2^1247519-1 is not prime. Res64: C26B05B05751E719 Time : 0.0 sec. user=mdettweiler [2013-07-08 13:41:15] 879*2^1247519-1 is not prime. Res64: F47CE932CF7DA4B6 Time : 0.0 sec. user=mdettweiler [2013-07-08 13:59:39] 955*2^1247519-1 is not prime. Res64: E58BC7772A9A8197 Time : 0.0 sec. user=mdettweiler [2013-07-08 13:59:39] 635*2^1247520-1 is not prime. Res64: BBA6F494AB228E8A Time : 0.0 sec. user=mdettweiler [2013-07-08 14:17:15] 839*2^1247520-1 is not prime. Res64: 9356307B8CEB39C8 Time : 0.0 sec. user=mdettweiler [2013-07-08 14:17:16] 875*2^1247520-1 is not prime. Res64: 861FE2F588BADC65 Time : 0.0 sec. user=mdettweiler [2013-07-08 14:34:51] 915*2^1247520-1 is not prime. Res64: 8F93D296A2148FEA Time : 0.0 sec. user=mdettweiler [2013-07-08 14:34:51] 933*2^1247520-1 is not prime. Res64: 19C28A5C798A8861 Time : 0.0 sec. user=mdettweiler [2013-07-08 14:52:28] 639*2^1247521-1 is not prime. Res64: 9C3596ED9FF725E0 Time : 0.0 sec. user=mdettweiler [2013-07-08 14:52:28] 789*2^1247521-1 is not prime. Res64: 1F57D66AB9E2F5C3 Time : 0.0 sec. user=mdettweiler [2013-07-08 15:09:58] 847*2^1247521-1 is not prime. Res64: 78AE97A0D3655E75 Time : 0.0 sec. user=mdettweiler [2013-07-08 15:09:58] 855*2^1247521-1 is not prime. Res64: 88EBF068F701D52F Time : 0.0 sec. user=mdettweiler [2013-07-08 15:28:35] 975*2^1247521-1 is not prime. Res64: C9BEEC61E17E1856 Time : 0.0 sec. user=mdettweiler [2013-07-08 15:28:35] 657*2^1247522-1 is not prime. Res64: 1CEE73DB6EE082F9 Time : 0.0 sec. user=mdettweiler [2013-07-08 15:46:11] 683*2^1247522-1 is not prime. Res64: 1ED775FC76767D39 Time : 0.0 sec. user=mdettweiler [2013-07-08 15:46:11] 735*2^1247522-1 is not prime. Res64: 1E51AD82DADA1732 Time : 0.0 sec. user=mdettweiler [2013-07-08 16:03:51] 743*2^1247522-1 is not prime. Res64: 4E250196B962D97D Time : 0.0 sec. user=mdettweiler [2013-07-08 16:03:52] 813*2^1247522-1 is not prime. Res64: 7380FBECF46A8151 Time : 0.0 sec. user=mdettweiler [2013-07-08 16:21:45] 857*2^1247522-1 is not prime. Res64: B5849853B0DE4850 Time : 0.0 sec. user=mdettweiler [2013-07-08 16:21:45] 923*2^1247522-1 is not prime. Res64: F9E4E4061C6B5D43 Time : 0.0 sec. user=mdettweiler [2013-07-08 16:39:23] 613*2^1247523-1 is not prime. Res64: E04489006E3C1334 Time : 0.0 sec. user=mdettweiler [2013-07-08 16:39:23] 705*2^1247523-1 is not prime. Res64: E2782F21942EF445 Time : 0.0 sec. user=mdettweiler [2013-07-08 16:57:20] 793*2^1247523-1 is not prime. Res64: 29EBFDD95014DBEE Time : 0.0 sec. user=mdettweiler [2013-07-08 16:57:21] 795*2^1247523-1 is not prime. Res64: F4849FE86B70FB6C Time : 0.0 sec. user=mdettweiler [2013-07-08 17:15:59] 801*2^1247523-1 is not prime. Res64: 4B58810F5A6846B9 Time : 0.0 sec. user=mdettweiler [2013-07-08 17:16:00] 963*2^1247523-1 is not prime. Res64: 5D239EAAF4F74A86 Time : 0.0 sec. user=mdettweiler [2013-07-08 17:33:55] 623*2^1247524-1 is not prime. Res64: 94D97380B93F1CAC Time : 0.0 sec. user=mdettweiler [2013-07-08 17:33:56] 717*2^1247524-1 is not prime. Res64: 773FD35A8BC305C2 Time : 0.0 sec. user=mdettweiler [2013-07-08 17:51:48] 819*2^1247524-1 is not prime. Res64: 3EC0858D193C9C21 Time : 0.0 sec. user=mdettweiler [2013-07-08 17:51:48] 649*2^1247525-1 is not prime. Res64: 7445FABE601BBC25 Time : 0.0 sec. user=mdettweiler [2013-07-08 18:09:30] 727*2^1247525-1 is not prime. Res64: 31E7808A107BBA09 Time : 0.0 sec. user=mdettweiler [2013-07-08 18:09:31] 787*2^1247525-1 is not prime. Res64: 30A09EDCB5FCEFEB Time : 0.0 sec. user=mdettweiler [2013-07-08 18:27:17] 831*2^1247525-1 is not prime. Res64: 02184A1008AC073D Time : 0.0 sec. user=mdettweiler [2013-07-08 18:27:17] 837*2^1247525-1 is not prime. Res64: FE541A3242323255 Time : 0.0 sec. user=mdettweiler [2013-07-08 18:45:54] 969*2^1247525-1 is not prime. Res64: 3134268DC12116F0 Time : 0.0 sec. user=mdettweiler [2013-07-08 18:45:54] 725*2^1247526-1 is not prime. Res64: 9DF45D3A6DF4324B Time : 0.0 sec. user=mdettweiler [2013-07-08 19:03:40] 755*2^1247526-1 is not prime. Res64: 9784B689A0EBB8A1 Time : 0.0 sec. user=mdettweiler [2013-07-08 19:03:41] 851*2^1247526-1 is not prime. Res64: 2B0D37F8FCF7B2FE Time : 0.0 sec. user=mdettweiler [2013-07-08 19:21:38] 873*2^1247526-1 is not prime. Res64: 2A3D02B16DBD6894 Time : 0.0 sec. user=mdettweiler [2013-07-08 19:21:39] 765*2^1247527-1 is not prime. Res64: 344F549934C8D0E4 Time : 0.0 sec. user=mdettweiler [2013-07-08 19:39:18] 861*2^1247527-1 is not prime. Res64: 4F3890811EE66F35 Time : 0.0 sec. user=mdettweiler [2013-07-08 19:39:19] 919*2^1247527-1 is not prime. Res64: 359329DD5F735C33 Time : 0.0 sec. user=mdettweiler [2013-07-08 19:57:48] 999*2^1247527-1 is not prime. Res64: 9C85FC6F8B159D0F Time : 0.0 sec. user=mdettweiler [2013-07-08 19:57:49] 629*2^1247528-1 is not prime. Res64: 711F8A95E10F4BC4 Time : 0.0 sec. user=mdettweiler [2013-07-08 20:15:27] 677*2^1247528-1 is not prime. Res64: CB681EF8DDB15C84 Time : 0.0 sec. user=mdettweiler [2013-07-08 20:15:28] 735*2^1247528-1 is not prime. Res64: BF9C3C0639C9D0D9 Time : 0.0 sec. user=mdettweiler [2013-07-08 20:33:08] 743*2^1247528-1 is not prime. Res64: 8CBB45EFB47A074E Time : 0.0 sec. user=mdettweiler [2013-07-08 20:33:08] 825*2^1247528-1 is not prime. Res64: 9DA9D5E851976A65 Time : 0.0 sec. user=mdettweiler [2013-07-08 20:50:48] 923*2^1247528-1 is not prime. Res64: 6F42F578090EC063 Time : 0.0 sec. user=mdettweiler [2013-07-08 20:50:48] 681*2^1247529-1 is not prime. Res64: BA3F082CCD878A24 Time : 0.0 sec. user=mdettweiler [2013-07-08 21:08:28] 735*2^1247529-1 is not prime. Res64: 3BF1E532EF46B212 Time : 0.0 sec. user=mdettweiler [2013-07-08 21:08:28] 769*2^1247529-1 is not prime. Res64: 04D31B30FFE7252F Time : 0.0 sec. user=mdettweiler [2013-07-08 21:26:14] 781*2^1247529-1 is not prime. Res64: EB00DBB4471F15F8 Time : 0.0 sec. user=mdettweiler [2013-07-08 21:26:14] 865*2^1247529-1 is not prime. Res64: A315AD8CA7214194 Time : 0.0 sec. user=mdettweiler [2013-07-08 21:43:54] 675*2^1247530-1 is not prime. Res64: 99825D2CF8ED8D76 Time : 0.0 sec. user=mdettweiler [2013-07-08 21:43:54] 831*2^1247530-1 is not prime. Res64: DBBB84C233D963AB Time : 0.0 sec. user=mdettweiler [2013-07-08 22:01:34] 933*2^1247530-1 is not prime. Res64: FF30C3169475EF9D Time : 0.0 sec. user=mdettweiler [2013-07-08 22:01:35] 645*2^1247531-1 is not prime. Res64: 449B8F61710F327F Time : 0.0 sec. user=mdettweiler [2013-07-08 22:19:25] 675*2^1247531-1 is not prime. Res64: 3EF5611E921D6002 Time : 0.0 sec. user=mdettweiler [2013-07-08 22:19:25] 745*2^1247531-1 is not prime. Res64: 1E0F35D4BEF1E573 Time : 0.0 sec. user=mdettweiler [2013-07-08 22:37:05] 789*2^1247531-1 is not prime. Res64: 2445EFD9C4D5B234 Time : 0.0 sec. user=mdettweiler [2013-07-08 22:37:05] 843*2^1247531-1 is not prime. Res64: 9A494DDEEDF185F6 Time : 0.0 sec. user=mdettweiler [2013-07-08 22:54:43] 895*2^1247531-1 is not prime. Res64: 8255DDB83B4D85E3 Time : 0.0 sec. user=mdettweiler [2013-07-08 22:54:43] 913*2^1247531-1 is not prime. Res64: 2C72B5AD59951D75 Time : 0.0 sec. user=mdettweiler [2013-07-08 23:13:13] 939*2^1247531-1 is not prime. Res64: 49BBFD1CCAEB8A35 Time : 0.0 sec. user=mdettweiler [2013-07-08 23:13:13] 955*2^1247531-1 is not prime. Res64: AFFFBC892AA27A36 Time : 0.0 sec. user=mdettweiler [2013-07-08 23:30:53] 605*2^1247532-1 is not prime. Res64: 464929B10371C852 Time : 0.0 sec. user=mdettweiler [2013-07-08 23:30:53] 765*2^1247532-1 is not prime. Res64: 4853D2E458824A53 Time : 0.0 sec. user=mdettweiler [2013-07-08 23:48:32] 767*2^1247532-1 is not prime. Res64: 205259E3AC8B3495 Time : 0.0 sec. user=mdettweiler [2013-07-08 23:48:33] 797*2^1247532-1 is not prime. Res64: 82E311C2A4095B8E Time : 0.0 sec.