user=mdettweiler [2013-07-11 00:16:09] 603*2^1247588-1 is not prime. Res64: 4669F84ACC06336F Time : 0.0 sec. user=mdettweiler [2013-07-11 00:16:09] 615*2^1247588-1 is not prime. Res64: 7A0763E170351ABC Time : 0.0 sec. user=mdettweiler [2013-07-11 00:33:40] 683*2^1247588-1 is not prime. Res64: 3C8E3B355CDDDAED Time : 0.0 sec. user=mdettweiler [2013-07-11 00:33:40] 797*2^1247588-1 is not prime. Res64: 723D23F4771984D7 Time : 0.0 sec. user=mdettweiler [2013-07-11 00:51:12] 837*2^1247588-1 is not prime. Res64: 8D027AC1C1A4A030 Time : 0.0 sec. user=mdettweiler [2013-07-11 00:51:12] 839*2^1247588-1 is not prime. Res64: 9A26F922DA1EB60F Time : 0.0 sec. user=mdettweiler [2013-07-11 01:08:20] 945*2^1247588-1 is not prime. Res64: 8F20E45E5B3271B2 Time : 0.0 sec. user=mdettweiler [2013-07-11 01:08:21] 953*2^1247588-1 is not prime. Res64: D41CF6C717B96116 Time : 0.0 sec. user=mdettweiler [2013-07-11 01:26:21] 977*2^1247588-1 is not prime. Res64: E9D93A5D370EDFA8 Time : 0.0 sec. user=mdettweiler [2013-07-11 01:26:22] 609*2^1247589-1 is not prime. Res64: BFBE9449D11A3E65 Time : 0.0 sec. user=mdettweiler [2013-07-11 01:43:23] 669*2^1247589-1 is not prime. Res64: A1EF1D7AE15BF3AF Time : 0.0 sec. user=mdettweiler [2013-07-11 01:43:24] 787*2^1247589-1 is not prime. Res64: 8295738550C66206 Time : 0.0 sec. user=mdettweiler [2013-07-11 02:01:15] 831*2^1247589-1 is not prime. Res64: 57A6959CDF821930 Time : 0.0 sec. user=mdettweiler [2013-07-11 02:01:16] 961*2^1247589-1 is not prime. Res64: 2830F93F171BF580 Time : 0.0 sec. user=mdettweiler [2013-07-11 02:19:12] 995*2^1247590-1 is not prime. Res64: 885D08CC504C7279 Time : 0.0 sec. user=mdettweiler [2013-07-11 02:19:13] 621*2^1247591-1 is not prime. Res64: D923FC4DE8257964 Time : 0.0 sec. user=mdettweiler [2013-07-11 02:36:16] 645*2^1247591-1 is not prime. Res64: 2DE06E9484876B2B Time : 0.0 sec. user=mdettweiler [2013-07-11 02:36:17] 651*2^1247591-1 is not prime. Res64: 03C07453495153C8 Time : 0.0 sec. user=juhehe [2013-07-11 02:47:10] 741*2^1247591-1 is not prime. Res64: 454280D6EEF0D53D Time : 0.0 sec. user=mdettweiler [2013-07-11 02:53:23] 753*2^1247591-1 is not prime. Res64: DE6412BC4C1C69AF Time : 0.0 sec. user=mdettweiler [2013-07-11 02:53:24] 859*2^1247591-1 is not prime. Res64: E34D8FCCC6548237 Time : 0.0 sec. user=mdettweiler [2013-07-11 03:10:28] 901*2^1247591-1 is not prime. Res64: 7E297BAF52B27742 Time : 0.0 sec. user=mdettweiler [2013-07-11 03:10:28] 909*2^1247591-1 is not prime. Res64: D53FE5F96ED4C913 Time : 0.0 sec. user=mdettweiler [2013-07-11 03:28:23] 973*2^1247591-1 is not prime. Res64: B18604BEAB004E33 Time : 0.0 sec. user=mdettweiler [2013-07-11 03:28:24] 623*2^1247592-1 is not prime. Res64: F210FE3FA9A52023 Time : 0.0 sec. user=mdettweiler [2013-07-11 03:45:26] 693*2^1247592-1 is not prime. Res64: 8E70A50BD4DE3634 Time : 0.0 sec. user=mdettweiler [2013-07-11 03:45:27] 719*2^1247592-1 is not prime. Res64: BCE0DDD153CA8285 Time : 0.0 sec. user=mdettweiler [2013-07-11 04:02:32] 737*2^1247592-1 is not prime. Res64: 9B601C86FB887001 Time : 0.0 sec. user=mdettweiler [2013-07-11 04:02:34] 619*2^1247593-1 is not prime. Res64: F006A4078B159345 Time : 0.0 sec. user=mdettweiler [2013-07-11 04:19:53] 747*2^1247593-1 is not prime. Res64: E5B9AFCF7083E888 Time : 0.0 sec. user=mdettweiler [2013-07-11 04:19:54] 751*2^1247593-1 is not prime. Res64: E3A7839A98BDD566 Time : 0.0 sec. user=mdettweiler [2013-07-11 04:36:57] 855*2^1247593-1 is not prime. Res64: AA57BB12EF6C2A00 Time : 0.0 sec. user=mdettweiler [2013-07-11 04:36:57] 889*2^1247593-1 is not prime. Res64: 4D0F98397DA659E9 Time : 0.0 sec. user=mdettweiler [2013-07-11 04:54:02] 743*2^1247594-1 is not prime. Res64: B89B89B9B90D72C8 Time : 0.0 sec. user=mdettweiler [2013-07-11 04:54:02] 831*2^1247594-1 is not prime. Res64: 25598CC13A2F2E8F Time : 0.0 sec. user=mdettweiler [2013-07-11 05:11:52] 861*2^1247594-1 is not prime. Res64: 686FE863E924FBFC Time : 0.0 sec. user=mdettweiler [2013-07-11 05:11:53] 971*2^1247594-1 is not prime. Res64: 2242EA631B0DC1CC Time : 0.0 sec. user=mdettweiler [2013-07-11 05:28:58] 609*2^1247595-1 is not prime. Res64: C08E1044691DADA8 Time : 0.0 sec. user=mdettweiler [2013-07-11 05:28:58] 643*2^1247595-1 is not prime. Res64: 1A792E6356219FFD Time : 0.0 sec. user=mdettweiler [2013-07-11 05:46:01] 765*2^1247595-1 is not prime. Res64: AEDD960F41169813 Time : 0.0 sec. user=mdettweiler [2013-07-11 05:46:01] 783*2^1247595-1 is not prime. Res64: A762FE3C11EEE454 Time : 0.0 sec. user=mdettweiler [2013-07-11 06:03:12] 871*2^1247595-1 is not prime. Res64: EA7CD51EC803B387 Time : 0.0 sec. user=mdettweiler [2013-07-11 06:03:13] 873*2^1247595-1 is not prime. Res64: 0FCB359887E51054 Time : 0.0 sec. user=mdettweiler [2013-07-11 06:20:39] 623*2^1247596-1 is not prime. Res64: 20713976F643B75D Time : 0.0 sec. user=mdettweiler [2013-07-11 06:20:39] 647*2^1247596-1 is not prime. Res64: 29FA8DDFFC178DC0 Time : 0.0 sec. user=mdettweiler [2013-07-11 06:37:59] 653*2^1247596-1 is not prime. Res64: 1F37872C14895D4E Time : 0.0 sec. user=mdettweiler [2013-07-11 06:38:00] 719*2^1247596-1 is not prime. Res64: 4627171FEB0A32D2 Time : 0.0 sec. user=mdettweiler [2013-07-11 06:55:36] 839*2^1247596-1 is not prime. Res64: E137010173630D17 Time : 0.0 sec. user=mdettweiler [2013-07-11 06:55:36] 899*2^1247596-1 is not prime. Res64: 73E1F0E3DFBF7DDA Time : 0.0 sec. user=mdettweiler [2013-07-11 07:14:35] 903*2^1247596-1 is not prime. Res64: 6567B7BDE6750406 Time : 0.0 sec. user=mdettweiler [2013-07-11 07:14:36] 975*2^1247596-1 is not prime. Res64: BD7A518BA9659FBF Time : 0.0 sec. user=mdettweiler [2013-07-11 07:31:57] 619*2^1247597-1 is not prime. Res64: 845227244CB882E7 Time : 0.0 sec. user=mdettweiler [2013-07-11 07:31:58] 655*2^1247597-1 is not prime. Res64: 4B9A216F5F8BE614 Time : 0.0 sec. user=mdettweiler [2013-07-11 07:49:30] 889*2^1247597-1 is not prime. Res64: 5BBE501C969649D9 Time : 0.0 sec. user=mdettweiler [2013-07-11 07:49:31] 795*2^1247598-1 is not prime. Res64: 40FE02DDC9FF3D51 Time : 0.0 sec. user=mdettweiler [2013-07-11 08:07:44] 801*2^1247598-1 is not prime. Res64: FEE3BD90724AE09D Time : 0.0 sec. user=mdettweiler [2013-07-11 08:07:45] 963*2^1247598-1 is not prime. Res64: B2703C275E809804 Time : 0.0 sec. user=mdettweiler [2013-07-11 08:26:12] 1001*2^1247598-1 is not prime. Res64: 365BF1787EDF295B Time : 0.0 sec. user=mdettweiler [2013-07-11 08:26:13] 843*2^1247599-1 is not prime. Res64: 1B3B36A3A3B45B5D Time : 0.0 sec. user=mdettweiler [2013-07-11 08:43:42] 855*2^1247599-1 is not prime. Res64: CC6A8210792F12D2 Time : 0.0 sec. user=mdettweiler [2013-07-11 08:43:42] 859*2^1247599-1 is not prime. Res64: B1E16439D81163CA Time : 0.0 sec. user=mdettweiler [2013-07-11 09:01:54] 933*2^1247599-1 is not prime. Res64: 06F3C732D12322CF Time : 0.0 sec. user=mdettweiler [2013-07-11 09:01:55] 961*2^1247599-1 is not prime. Res64: 465EE7FE5B47ABA4 Time : 0.0 sec. user=juhehe [2013-07-11 09:14:34] 883*2^1247599-1 is not prime. Res64: E3A4D22449BFC2FE Time : 0.0 sec. user=mdettweiler [2013-07-11 09:20:04] 975*2^1247599-1 is not prime. Res64: 61C02FB920BAA81F Time : 0.0 sec. user=mdettweiler [2013-07-11 09:20:04] 645*2^1247600-1 is not prime. Res64: 76FA7D43DE792F8A Time : 0.0 sec. user=mdettweiler [2013-07-11 09:37:19] 833*2^1247600-1 is not prime. Res64: 1F0E517D352F0F6C Time : 0.0 sec. user=mdettweiler [2013-07-11 09:37:19] 923*2^1247600-1 is not prime. Res64: 070BD8759BEE3AB4 Time : 0.0 sec. user=mdettweiler [2013-07-11 09:54:38] 609*2^1247601-1 is not prime. Res64: 0741D3F8C4E8D179 Time : 0.0 sec. user=mdettweiler [2013-07-11 09:54:38] 705*2^1247601-1 is not prime. Res64: D994EF1B017FD2B7 Time : 0.0 sec. user=mdettweiler [2013-07-11 10:12:08] 709*2^1247601-1 is not prime. Res64: FD8B7A35280311B0 Time : 0.0 sec. user=mdettweiler [2013-07-11 10:12:09] 717*2^1247601-1 is not prime. Res64: D48FAB89E7122F3C Time : 0.0 sec. user=mdettweiler [2013-07-11 10:29:20] 805*2^1247601-1 is not prime. Res64: F80AA2141C98A3AF Time : 0.0 sec. user=mdettweiler [2013-07-11 10:29:21] 889*2^1247601-1 is not prime. Res64: 70E72C4B50D7A1CB Time : 0.0 sec. user=mdettweiler [2013-07-11 10:47:11] 949*2^1247601-1 is not prime. Res64: 80674FCC321EB091 Time : 0.0 sec. user=mdettweiler [2013-07-11 10:47:11] 975*2^1247601-1 is not prime. Res64: 874DD26EC29A93BE Time : 0.0 sec. user=mdettweiler [2013-07-11 11:05:25] 987*2^1247601-1 is not prime. Res64: 7FF2D051723749D6 Time : 0.0 sec. user=mdettweiler [2013-07-11 11:05:26] 677*2^1247602-1 is not prime. Res64: 75F276A7E0F42F8F Time : 0.0 sec. user=mdettweiler [2013-07-11 11:22:56] 731*2^1247602-1 is not prime. Res64: 37276B2F1CF6B9C8 Time : 0.0 sec. user=mdettweiler [2013-07-11 11:22:57] 813*2^1247602-1 is not prime. Res64: 143AA7A2D287E383 Time : 0.0 sec. user=mdettweiler [2013-07-11 11:40:27] 633*2^1247603-1 is not prime. Res64: E17E448D3B793CAA Time : 0.0 sec. user=mdettweiler [2013-07-11 11:40:27] 741*2^1247603-1 is not prime. Res64: 9FF462323A649390 Time : 0.0 sec. user=mdettweiler [2013-07-11 11:57:58] 775*2^1247603-1 is not prime. Res64: 16BCA57CED4774F8 Time : 0.0 sec. user=mdettweiler [2013-07-11 11:57:58] 855*2^1247603-1 is not prime. Res64: C2CDF11903A805AC Time : 0.0 sec. user=mdettweiler [2013-07-11 12:15:25] 609*2^1247604-1 is not prime. Res64: 8898E7496FB7B260 Time : 0.0 sec. user=mdettweiler [2013-07-11 12:15:26] 725*2^1247604-1 is not prime. Res64: 18A12D2F94BA92A8 Time : 0.0 sec. user=mdettweiler [2013-07-11 12:33:00] 857*2^1247604-1 is not prime. Res64: FADE6BB7FDAD0DFB Time : 0.0 sec. user=mdettweiler [2013-07-11 12:33:00] 607*2^1247605-1 is not prime. Res64: 3D26AD0E26FB5480 Time : 0.0 sec. user=mdettweiler [2013-07-11 12:50:33] 685*2^1247605-1 is not prime. Res64: 93A43BD70CA11E2F Time : 0.0 sec. user=mdettweiler [2013-07-11 12:50:33] 819*2^1247605-1 is not prime. Res64: 89C3263490A38730 Time : 0.0 sec. user=mdettweiler [2013-07-11 13:08:08] 825*2^1247605-1 is not prime. Res64: 05C452E1457788E7 Time : 0.0 sec. user=mdettweiler [2013-07-11 13:08:09] 915*2^1247605-1 is not prime. Res64: 80BF1FF3E4B0F01C Time : 0.0 sec. user=mdettweiler [2013-07-11 13:25:46] 615*2^1247606-1 is not prime. Res64: 67DB0B5A4B0B8708 Time : 0.0 sec. user=mdettweiler [2013-07-11 13:25:47] 623*2^1247606-1 is not prime. Res64: 146533164929A2BB Time : 0.0 sec. user=mdettweiler [2013-07-11 13:43:18] 741*2^1247606-1 is not prime. Res64: B6321886F05B501E Time : 0.0 sec. user=mdettweiler [2013-07-11 13:43:18] 827*2^1247606-1 is not prime. Res64: 2216CAB3D670792C Time : 0.0 sec. user=mdettweiler [2013-07-11 14:00:51] 867*2^1247606-1 is not prime. Res64: AF2393BE722763ED Time : 0.0 sec. user=mdettweiler [2013-07-11 14:00:52] 893*2^1247606-1 is not prime. Res64: 12EE89EDF5EA573F Time : 0.0 sec. user=mdettweiler [2013-07-11 14:19:27] 981*2^1247606-1 is not prime. Res64: 3A0B16636EE7ACED Time : 0.0 sec. user=mdettweiler [2013-07-11 14:19:28] 675*2^1247607-1 is not prime. Res64: 5CDD73AE373878AF Time : 0.0 sec. user=mdettweiler [2013-07-11 14:38:29] 829*2^1247607-1 is not prime. Res64: D8FDBBA7C9DD6833 Time : 0.0 sec. user=mdettweiler [2013-07-11 14:38:29] 975*2^1247607-1 is not prime. Res64: 100F7D0F22257458 Time : 0.0 sec. user=mdettweiler [2013-07-11 14:56:44] 985*2^1247607-1 is not prime. Res64: 8366EB7D036F7F66 Time : 0.0 sec. user=mdettweiler [2013-07-11 14:56:45] 665*2^1247608-1 is not prime. Res64: CEA8164C1919378B Time : 0.0 sec. user=mdettweiler [2013-07-11 15:14:29] 677*2^1247608-1 is not prime. Res64: 5436A9AD9B10D126 Time : 0.0 sec. user=mdettweiler [2013-07-11 15:14:29] 743*2^1247608-1 is not prime. Res64: 8EF29220DE9C500D Time : 0.0 sec. user=mdettweiler [2013-07-11 15:32:12] 813*2^1247608-1 is not prime. Res64: 0E20C0263BCB0D84 Time : 0.0 sec. user=mdettweiler [2013-07-11 15:32:13] 849*2^1247608-1 is not prime. Res64: 667C80BE30E7AF45 Time : 0.0 sec. user=mdettweiler [2013-07-11 15:49:49] 887*2^1247608-1 is not prime. Res64: 0F1158EF00544D89 Time : 0.0 sec. user=mdettweiler [2013-07-11 15:49:49] 933*2^1247608-1 is not prime. Res64: 6BE694CD008BC0C8 Time : 0.0 sec. user=mdettweiler [2013-07-11 16:07:18] 847*2^1247609-1 is not prime. Res64: 03A5CBB03F81209A Time : 0.0 sec. user=mdettweiler [2013-07-11 16:07:19] 861*2^1247609-1 is not prime. Res64: 46A6E4ED1273DDBD Time : 0.0 sec. user=mdettweiler [2013-07-11 16:25:41] 997*2^1247609-1 is not prime. Res64: 13160713D715FD1B Time : 0.0 sec. user=mdettweiler [2013-07-11 16:25:41] 665*2^1247610-1 is not prime. Res64: 156F6061D605C517 Time : 0.0 sec. user=mdettweiler [2013-07-11 16:43:11] 885*2^1247610-1 is not prime. Res64: 23CC11F105239E82 Time : 0.0 sec. user=mdettweiler [2013-07-11 16:43:11] 893*2^1247610-1 is not prime. Res64: FC63A93DD55C9A87 Time : 0.0 sec. user=mdettweiler [2013-07-11 17:00:42] 933*2^1247610-1 is not prime. Res64: 447BF3E6CF70EE7B Time : 0.0 sec. user=mdettweiler [2013-07-11 17:00:42] 945*2^1247610-1 is not prime. Res64: F97ECBF1C01D57FF Time : 0.0 sec. user=mdettweiler [2013-07-11 17:19:25] 971*2^1247610-1 is not prime. Res64: 503209291FE4FA27 Time : 0.0 sec. user=mdettweiler [2013-07-11 17:19:25] 625*2^1247611-1 is not prime. Res64: F324782D89616152 Time : 0.0 sec. user=mdettweiler [2013-07-11 17:37:10] 679*2^1247611-1 is not prime. Res64: 064ECE844D1F7186 Time : 0.0 sec. user=mdettweiler [2013-07-11 17:37:10] 723*2^1247611-1 is not prime. Res64: F967A5ED059349D9 Time : 0.0 sec. user=mdettweiler [2013-07-11 17:54:53] 783*2^1247611-1 is not prime. Res64: C3B51046BDD9C6CE Time : 0.0 sec. user=mdettweiler [2013-07-11 17:54:54] 859*2^1247611-1 is not prime. Res64: 78341E7F27015C73 Time : 0.0 sec. user=mdettweiler [2013-07-11 18:12:41] 873*2^1247611-1 is not prime. Res64: DB3218B90531DA8A Time : 0.0 sec. user=mdettweiler [2013-07-11 18:12:42] 939*2^1247611-1 is not prime. Res64: 577F1A1089704E55 Time : 0.0 sec. user=mdettweiler [2013-07-11 18:31:15] 993*2^1247611-1 is not prime. Res64: 52EF83595A892F50 Time : 0.0 sec. user=mdettweiler [2013-07-11 18:31:15] 717*2^1247612-1 is not prime. Res64: 1B7102C071FE6E92 Time : 0.0 sec. user=mdettweiler [2013-07-11 18:48:55] 825*2^1247612-1 is not prime. Res64: E1E3820E0A0D256B Time : 0.0 sec. user=mdettweiler [2013-07-11 18:48:56] 857*2^1247612-1 is not prime. Res64: 331D29E91B191EFA Time : 0.0 sec. user=mdettweiler [2013-07-11 19:07:55] 945*2^1247612-1 is not prime. Res64: 49ED310A139A20D7 Time : 0.0 sec. user=mdettweiler [2013-07-11 19:07:57] 987*2^1247612-1 is not prime. Res64: 23F3712F68FA5E99 Time : 0.0 sec. user=mdettweiler [2013-07-11 19:25:04] 615*2^1247613-1 is not prime. Res64: 19166D85E2A158A6 Time : 0.0 sec. user=mdettweiler [2013-07-11 19:25:05] 639*2^1247613-1 is not prime. Res64: 4C2A105842397932 Time : 0.0 sec. user=mdettweiler [2013-07-11 19:42:09] 747*2^1247613-1 is not prime. Res64: CF73B1CD83EE0246 Time : 0.0 sec. user=mdettweiler [2013-07-11 19:42:10] 849*2^1247613-1 is not prime. Res64: 037907643258A1C3 Time : 0.0 sec. user=mdettweiler [2013-07-11 19:59:59] 991*2^1247613-1 is not prime. Res64: E3FF6E71833346C2 Time : 0.0 sec. user=mdettweiler [2013-07-11 20:00:00] 621*2^1247614-1 is not prime. Res64: 0914666485570463 Time : 0.0 sec. user=mdettweiler [2013-07-11 20:17:29] 663*2^1247614-1 is not prime. Res64: C109372078A2A0E2 Time : 0.0 sec. user=mdettweiler [2013-07-11 20:17:29] 665*2^1247614-1 is not prime. Res64: DF17E56BC2860409 Time : 0.0 sec. user=mdettweiler [2013-07-11 20:35:35] 671*2^1247614-1 is not prime. Res64: 49B7C6B38B682398 Time : 0.0 sec. user=mdettweiler [2013-07-11 20:35:35] 675*2^1247614-1 is not prime. Res64: 8D803A106AEB3C2C Time : 0.0 sec. user=mdettweiler [2013-07-11 20:53:22] 755*2^1247614-1 is not prime. Res64: 6CBAF67E7438852E Time : 0.0 sec. user=mdettweiler [2013-07-11 20:53:23] 765*2^1247614-1 is not prime. Res64: 6B189AB864DB006C Time : 0.0 sec. user=mdettweiler [2013-07-11 21:11:50] 885*2^1247614-1 is not prime. Res64: B7A4BC623B120A24 Time : 0.0 sec. user=mdettweiler [2013-07-11 21:11:50] 957*2^1247614-1 is not prime. Res64: AA541445F53F8316 Time : 0.0 sec. user=mdettweiler [2013-07-11 21:29:31] 603*2^1247615-1 is not prime. Res64: DCFC799A1224ED3D Time : 0.0 sec. user=mdettweiler [2013-07-11 21:29:31] 673*2^1247615-1 is not prime. Res64: 2850328B54028594 Time : 0.0 sec. user=mdettweiler [2013-07-11 21:47:09] 685*2^1247615-1 is not prime. Res64: 7473878FFD362620 Time : 0.0 sec. user=mdettweiler [2013-07-11 21:47:10] 739*2^1247615-1 is not prime. Res64: C3DEB894A3A3436E Time : 0.0 sec. user=mdettweiler [2013-07-11 22:04:47] 783*2^1247615-1 is not prime. Res64: 821A0784D02DAFBA Time : 0.0 sec. user=mdettweiler [2013-07-11 22:04:49] 921*2^1247615-1 is not prime. Res64: D05A7523224D4461 Time : 0.0 sec. user=mdettweiler [2013-07-11 22:23:20] 999*2^1247615-1 is not prime. Res64: 12366249908E2A77 Time : 0.0 sec. user=mdettweiler [2013-07-11 22:23:20] 747*2^1247616-1 is not prime. Res64: C5B450BAC45AC423 Time : 0.0 sec. user=mdettweiler [2013-07-11 22:40:57] 779*2^1247616-1 is not prime. Res64: 14D49528342460AA Time : 0.0 sec. user=mdettweiler [2013-07-11 22:40:58] 803*2^1247616-1 is not prime. Res64: E25F13236EC9B521 Time : 0.0 sec. user=mdettweiler [2013-07-11 22:59:25] 899*2^1247616-1 is not prime. Res64: 0DC7252F60DE4BFC Time : 0.0 sec. user=mdettweiler [2013-07-11 22:59:25] 993*2^1247616-1 is not prime. Res64: B36371DA327B30CC Time : 0.0 sec. user=mdettweiler [2013-07-11 23:16:49] 727*2^1247617-1 is not prime. Res64: DA015FEC8783FFA1 Time : 0.0 sec. user=mdettweiler [2013-07-11 23:16:49] 799*2^1247617-1 is not prime. Res64: 888B4EC38B7C347E Time : 0.0 sec. user=mdettweiler [2013-07-11 23:33:58] 861*2^1247617-1 is not prime. Res64: 1ECEFE594301DDFF Time : 0.0 sec. user=mdettweiler [2013-07-11 23:33:58] 645*2^1247618-1 is not prime. Res64: 671FFC03840D8B40 Time : 0.0 sec. user=mdettweiler [2013-07-11 23:51:00] 683*2^1247618-1 is not prime. Res64: 12FCBE4625969172 Time : 0.0 sec. user=mdettweiler [2013-07-11 23:51:00] 755*2^1247618-1 is not prime. Res64: 485460FEF28B9FF7 Time : 0.0 sec.