user=mdettweiler [2018-11-24 00:09:34] 971*2^1532110-1 is not prime. Res64: 6E06A98171CA0105 Time : 0.0 sec. user=mdettweiler [2018-11-24 00:09:37] 661*2^1532111-1 is not prime. Res64: D364DB0388A124F2 Time : 0.0 sec. user=mdettweiler [2018-11-24 00:09:40] 715*2^1532111-1 is not prime. Res64: F3ADB684B1F2BFDC Time : 0.0 sec. user=mdettweiler [2018-11-24 00:09:43] 735*2^1532111-1 is not prime. Res64: 124678C6761B37CF Time : 0.0 sec. user=mdettweiler [2018-11-24 00:09:44] 759*2^1532111-1 is not prime. Res64: F03888A459CB692A Time : 0.0 sec. user=mdettweiler [2018-11-24 00:25:19] 931*2^1532111-1 is not prime. Res64: 291A6694493CA1FC Time : 0.0 sec. user=mdettweiler [2018-11-24 00:25:20] 939*2^1532111-1 is not prime. Res64: 874782BA3BBA7F7F Time : 0.0 sec. user=mdettweiler [2018-11-24 00:25:20] 979*2^1532111-1 is not prime. Res64: 29A5DA40F8E7DA24 Time : 0.0 sec. user=mdettweiler [2018-11-24 00:25:20] 689*2^1532112-1 is not prime. Res64: 8F476464C2143842 Time : 0.0 sec. user=mdettweiler [2018-11-24 00:25:21] 819*2^1532112-1 is not prime. Res64: 49AA0DC1DABE1D88 Time : 0.0 sec. user=mdettweiler [2018-11-24 00:35:17] 607*2^1532113-1 is not prime. Res64: C3D2D202853A8257 Time : 0.0 sec. user=mdettweiler [2018-11-24 00:35:17] 649*2^1532113-1 is not prime. Res64: 121ADFB93B9C54DA Time : 0.0 sec. user=mdettweiler [2018-11-24 00:35:17] 729*2^1532113-1 is not prime. Res64: C825F3D6C684F735 Time : 0.0 sec. user=mdettweiler [2018-11-24 00:35:18] 855*2^1532113-1 is not prime. Res64: CD56EAE7899888D1 Time : 0.0 sec. user=mdettweiler [2018-11-24 00:35:18] 937*2^1532113-1 is not prime. Res64: 3FDEFC64670AB251 Time : 0.0 sec. user=mdettweiler [2018-11-24 00:36:02] 645*2^1532114-1 is not prime. Res64: 401E8CE28F34BA1A Time : 0.0 sec. user=mdettweiler [2018-11-24 00:36:03] 677*2^1532114-1 is not prime. Res64: 181493AAC9617809 Time : 0.0 sec. user=mdettweiler [2018-11-24 00:36:03] 683*2^1532114-1 is not prime. Res64: 8FCAC7B2667684CC Time : 0.0 sec. user=mdettweiler [2018-11-24 00:36:03] 705*2^1532114-1 is not prime. Res64: 9B4B705F623C2D3C Time : 0.0 sec. user=mdettweiler [2018-11-24 00:36:03] 851*2^1532114-1 is not prime. Res64: B01C357669A76102 Time : 0.0 sec. user=mdettweiler [2018-11-24 01:02:26] 927*2^1532114-1 is not prime. Res64: 5A4667283E91E83A Time : 0.0 sec. user=mdettweiler [2018-11-24 01:02:27] 953*2^1532114-1 is not prime. Res64: 45E0F902DDD9AFC3 Time : 0.0 sec. user=mdettweiler [2018-11-24 01:02:28] 609*2^1532115-1 is not prime. Res64: 45F0C06FBEA66FD6 Time : 0.0 sec. user=mdettweiler [2018-11-24 01:02:28] 685*2^1532115-1 is not prime. Res64: 32990721D9A087BF Time : 0.0 sec. user=mdettweiler [2018-11-24 01:02:28] 795*2^1532115-1 is not prime. Res64: 2336F959B769F6C4 Time : 0.0 sec. user=mdettweiler [2018-11-24 01:16:34] 801*2^1532115-1 is not prime. Res64: E8262C0A11D8C482 Time : 0.0 sec. user=mdettweiler [2018-11-24 01:16:34] 823*2^1532115-1 is not prime. Res64: 218459E3797E2BF0 Time : 0.0 sec. user=mdettweiler [2018-11-24 01:16:35] 849*2^1532115-1 is not prime. Res64: D7BDB29D9ABC694B Time : 0.0 sec. user=mdettweiler [2018-11-24 01:16:35] 677*2^1532116-1 is not prime. Res64: A96E3D3FE34A8FEB Time : 0.0 sec. user=mdettweiler [2018-11-24 01:16:35] 833*2^1532116-1 is not prime. Res64: C81782B98E8D6957 Time : 0.0 sec. user=mdettweiler [2018-11-24 01:26:44] 645*2^1532117-1 is not prime. Res64: 591D78B0A6506498 Time : 0.0 sec. user=mdettweiler [2018-11-24 01:26:45] 697*2^1532117-1 is not prime. Res64: D4D05258EE1D7946 Time : 0.0 sec. user=mdettweiler [2018-11-24 01:26:47] 711*2^1532117-1 is not prime. Res64: 6917AD3BA909EA58 Time : 0.0 sec. user=mdettweiler [2018-11-24 01:26:47] 715*2^1532117-1 is not prime. Res64: 0B5A53D43B9CD4BA Time : 0.0 sec. user=mdettweiler [2018-11-24 01:26:48] 727*2^1532117-1 is not prime. Res64: C542A160B0578C41 Time : 0.0 sec. user=mdettweiler [2018-11-24 01:27:23] 901*2^1532117-1 is not prime. Res64: 6605E8FDFD047993 Time : 0.0 sec. user=mdettweiler [2018-11-24 01:27:25] 765*2^1532118-1 is not prime. Res64: A8A5DACA3323CCA9 Time : 0.0 sec. user=mdettweiler [2018-11-24 01:27:26] 891*2^1532118-1 is not prime. Res64: C94ED0BA9B35FA1A Time : 0.0 sec. user=mdettweiler [2018-11-24 01:27:27] 921*2^1532118-1 is not prime. Res64: F998E622752AE683 Time : 0.0 sec. user=mdettweiler [2018-11-24 01:27:28] 645*2^1532119-1 is not prime. Res64: 2116E9857A76BECD Time : 0.0 sec. user=mdettweiler [2018-11-24 01:54:10] 765*2^1532119-1 is not prime. Res64: CB2924F4448659A4 Time : 0.0 sec. user=mdettweiler [2018-11-24 01:54:11] 933*2^1532119-1 is not prime. Res64: 422D6BE1BF629910 Time : 0.0 sec. user=mdettweiler [2018-11-24 01:54:11] 939*2^1532119-1 is not prime. Res64: 56FB25483F8EACFF Time : 0.0 sec. user=mdettweiler [2018-11-24 01:54:12] 985*2^1532119-1 is not prime. Res64: D0EC68D6645A83AD Time : 0.0 sec. user=mdettweiler [2018-11-24 01:54:14] 609*2^1532120-1 is not prime. Res64: DD98112EF474BACE Time : 0.0 sec. user=mdettweiler [2018-11-24 02:08:18] 663*2^1532120-1 is not prime. Res64: 485D74096DDB55B7 Time : 0.0 sec. user=mdettweiler [2018-11-24 02:08:20] 713*2^1532120-1 is not prime. Res64: C7B7D4C897AC087E Time : 0.0 sec. user=mdettweiler [2018-11-24 02:08:21] 797*2^1532120-1 is not prime. Res64: 6A3CE0717514B7CA Time : 0.0 sec. user=mdettweiler [2018-11-24 02:08:22] 857*2^1532120-1 is not prime. Res64: 4D569F0E61DE98C5 Time : 0.0 sec. user=mdettweiler [2018-11-24 02:08:24] 879*2^1532120-1 is not prime. Res64: 7273392E6B9728D6 Time : 0.0 sec. user=mdettweiler [2018-11-24 02:18:43] 977*2^1532120-1 is not prime. Res64: FDAB35C69FD1976C Time : 0.0 sec. user=mdettweiler [2018-11-24 02:18:43] 983*2^1532120-1 is not prime. Res64: C07307ACD9354E3C Time : 0.0 sec. user=mdettweiler [2018-11-24 02:18:44] 625*2^1532121-1 is not prime. Res64: A094C6B1913BAD8A Time : 0.0 sec. user=mdettweiler [2018-11-24 02:18:44] 705*2^1532121-1 is not prime. Res64: 3D5B23569E299C11 Time : 0.0 sec. user=mdettweiler [2018-11-24 02:18:45] 781*2^1532121-1 is not prime. Res64: 527E2A3C35486536 Time : 0.0 sec. user=mdettweiler [2018-11-24 02:18:52] 837*2^1532121-1 is not prime. Res64: 69EA45FF599718E2 Time : 0.0 sec. user=mdettweiler [2018-11-24 02:18:52] 945*2^1532121-1 is not prime. Res64: EF224DF069DBA397 Time : 0.0 sec. user=mdettweiler [2018-11-24 02:18:52] 991*2^1532121-1 is not prime. Res64: 275C4D0371565CAF Time : 0.0 sec. user=mdettweiler [2018-11-24 02:18:53] 803*2^1532122-1 is not prime. Res64: 9D6829AC34D31EB1 Time : 0.0 sec. user=mdettweiler [2018-11-24 02:18:53] 815*2^1532122-1 is not prime. Res64: 2B7B5E663C51B59C Time : 0.0 sec. user=mdettweiler [2018-11-24 02:46:31] 833*2^1532122-1 is not prime. Res64: A4CB7D17842C80DF Time : 0.0 sec. user=mdettweiler [2018-11-24 02:46:31] 843*2^1532122-1 is not prime. Res64: FB6C70F3B25C1917 Time : 0.0 sec. user=mdettweiler [2018-11-24 02:46:32] 957*2^1532122-1 is not prime. Res64: B6138D7D782621D1 Time : 0.0 sec. user=mdettweiler [2018-11-24 02:46:32] 975*2^1532122-1 is not prime. Res64: F808BBF909CB7A72 Time : 0.0 sec. user=mdettweiler [2018-11-24 02:46:32] 1001*2^1532122-1 is not prime. Res64: 13DB91EEA2A6E397 Time : 0.0 sec. user=mdettweiler [2018-11-24 03:02:17] 603*2^1532123-1 is not prime. Res64: C3E19828E203C46F Time : 0.0 sec. user=mdettweiler [2018-11-24 03:11:41] 965*2^1532124-1 is not prime. Res64: 2867CAE042E310E1 Time : 0.0 sec. user=mdettweiler [2018-11-24 03:11:42] 645*2^1532125-1 is not prime. Res64: 7403F45E5B32C4F4 Time : 0.0 sec. user=mdettweiler [2018-11-24 03:11:42] 661*2^1532125-1 is not prime. Res64: C436EAC71E7B2210 Time : 0.0 sec. user=mdettweiler [2018-11-24 03:11:42] 741*2^1532125-1 is not prime. Res64: E8367B66F1310B03 Time : 0.0 sec. user=mdettweiler [2018-11-24 03:11:43] 825*2^1532125-1 is not prime. Res64: 66B5EE1BEC1F7777 Time : 0.0 sec. user=mdettweiler [2018-11-24 03:11:53] 889*2^1532125-1 is not prime. Res64: 746885A826CCD476 Time : 0.0 sec. user=mdettweiler [2018-11-24 03:11:53] 987*2^1532126-1 is not prime. Res64: 2042B80231559F79 Time : 0.0 sec. user=mdettweiler [2018-11-24 03:11:53] 859*2^1532127-1 is not prime. Res64: 8E1C036027B1085B Time : 0.0 sec. user=mdettweiler [2018-11-24 03:11:54] 885*2^1532127-1 is not prime. Res64: A8BFE5AF7B0FB360 Time : 0.0 sec. user=mdettweiler [2018-11-24 03:11:54] 945*2^1532127-1 is not prime. Res64: 698AFECB14DA1318 Time : 0.0 sec. user=mdettweiler [2018-11-24 03:40:20] 951*2^1532127-1 is not prime. Res64: 662A343A5B95818B Time : 0.0 sec. user=mdettweiler [2018-11-24 03:40:23] 955*2^1532127-1 is not prime. Res64: 008A1F4A21F39209 Time : 0.0 sec. user=mdettweiler [2018-11-24 03:40:25] 999*2^1532127-1 is not prime. Res64: 8A7AD9BFDCDF31CE Time : 0.0 sec. user=mdettweiler [2018-11-24 03:40:32] 699*2^1532128-1 is not prime. Res64: 96FC29D687B1A180 Time : 0.0 sec. user=mdettweiler [2018-11-24 03:40:34] 869*2^1532128-1 is not prime. Res64: 8425060741D9887E Time : 0.0 sec. user=mdettweiler [2018-11-24 04:04:01] 993*2^1532128-1 is not prime. Res64: AB4763CE00E93716 Time : 0.0 sec. user=mdettweiler [2018-11-24 04:04:05] 925*2^1532129-1 is not prime. Res64: C4F035120D01D902 Time : 0.0 sec. user=mdettweiler [2018-11-24 04:04:06] 955*2^1532129-1 is not prime. Res64: 1976DA51A64295A4 Time : 0.0 sec. user=mdettweiler [2018-11-24 04:04:07] 979*2^1532129-1 is not prime. Res64: 896231C3073471DC Time : 0.0 sec. user=mdettweiler [2018-11-24 04:04:09] 747*2^1532130-1 is not prime. Res64: F4178A860803D3A7 Time : 0.0 sec. user=mdettweiler [2018-11-24 04:04:12] 765*2^1532130-1 is not prime. Res64: 9768E4CEEA76A130 Time : 0.0 sec. user=mdettweiler [2018-11-24 04:04:15] 945*2^1532130-1 is not prime. Res64: 49C2114E2BA97FC9 Time : 0.0 sec. user=mdettweiler [2018-11-24 04:04:16] 611*2^1532130-1 is not prime. Res64: 9EABB10F94DFF061 Time : 0.0 sec. user=mdettweiler [2018-11-24 04:04:22] 601*2^1532131-1 is not prime. Res64: 5EA3FC59B50B0885 Time : 0.0 sec. user=mdettweiler [2018-11-24 04:36:29] 679*2^1532131-1 is not prime. Res64: 1AFAEE709972DC59 Time : 0.0 sec. user=mdettweiler [2018-11-24 04:36:32] 705*2^1532131-1 is not prime. Res64: E7E1D6C5E17826F2 Time : 0.0 sec. user=mdettweiler [2018-11-24 04:36:33] 861*2^1532131-1 is not prime. Res64: EAB6A7A955E7B7B7 Time : 0.0 sec. user=mdettweiler [2018-11-24 04:36:33] 883*2^1532131-1 is not prime. Res64: EE021798A0482D86 Time : 0.0 sec. user=mdettweiler [2018-11-24 04:36:34] 885*2^1532131-1 is not prime. Res64: DD1B3A87A0D257E7 Time : 0.0 sec. user=mdettweiler [2018-11-24 05:32:43] 961*2^1532131-1 is not prime. Res64: EA88B3FD883BD632 Time : 0.0 sec. user=mdettweiler [2018-11-24 05:32:43] 605*2^1532132-1 is not prime. Res64: 31A98B22EC954CF3 Time : 0.0 sec. user=mdettweiler [2018-11-24 05:32:43] 609*2^1532132-1 is not prime. Res64: 3A2B39944FC60105 Time : 0.0 sec. user=mdettweiler [2018-11-24 05:32:44] 633*2^1532132-1 is not prime. Res64: 64E02BFA7BAD7D95 Time : 0.0 sec. user=mdettweiler [2018-11-24 05:32:44] 647*2^1532132-1 is not prime. Res64: 59E5456B8E96CF89 Time : 0.0 sec. user=mdettweiler [2018-11-24 06:36:39] 725*2^1532132-1 is not prime. Res64: 7B2718DD139CA88B Time : 0.0 sec. user=mdettweiler [2018-11-24 06:36:39] 743*2^1532132-1 is not prime. Res64: 70DCDD8CF1D80F6C Time : 0.0 sec. user=mdettweiler [2018-11-24 06:36:40] 819*2^1532132-1 is not prime. Res64: E3AA4BAD3A046FEB Time : 0.0 sec. user=mdettweiler [2018-11-24 06:36:40] 825*2^1532132-1 is not prime. Res64: 18B6304833FE76A9 Time : 0.0 sec. user=mdettweiler [2018-11-24 06:36:40] 873*2^1532132-1 is not prime. Res64: B72A24307E929D58 Time : 0.0 sec. user=mdettweiler [2018-11-24 07:35:11] 879*2^1532132-1 is not prime. Res64: 00E1A99B36B44179 Time : 0.0 sec. user=mdettweiler [2018-11-24 07:35:11] 639*2^1532133-1 is not prime. Res64: E2FC1141BB7D4E26 Time : 0.0 sec. user=mdettweiler [2018-11-24 07:35:12] 889*2^1532133-1 is not prime. Res64: FBB3063D995E2682 Time : 0.0 sec. user=mdettweiler [2018-11-24 07:35:12] 921*2^1532133-1 is not prime. Res64: 320B3186A43C475C Time : 0.0 sec. user=mdettweiler [2018-11-24 07:35:12] 937*2^1532133-1 is not prime. Res64: A74C574BD6DA36F4 Time : 0.0 sec. user=mdettweiler [2018-11-24 08:37:41] 951*2^1532133-1 is not prime. Res64: 163D0669F09352B8 Time : 0.0 sec. user=mdettweiler [2018-11-24 08:37:41] 825*2^1532134-1 is not prime. Res64: EC47A0DC28AAB89D Time : 0.0 sec. user=mdettweiler [2018-11-24 08:37:42] 831*2^1532134-1 is not prime. Res64: 2D8B7B18C343B9C5 Time : 0.0 sec. user=mdettweiler [2018-11-24 08:37:42] 941*2^1532134-1 is not prime. Res64: 38BEE5BF776BF67C Time : 0.0 sec. user=mdettweiler [2018-11-24 08:37:42] 951*2^1532134-1 is not prime. Res64: 674485C6BAF79464 Time : 0.0 sec. user=mdettweiler [2018-11-24 09:52:38] 669*2^1532135-1 is not prime. Res64: 2F94EE163947C15C Time : 0.0 sec. user=mdettweiler [2018-11-24 09:52:38] 843*2^1532135-1 is not prime. Res64: FC540420645F7F8B Time : 0.0 sec. user=mdettweiler [2018-11-24 09:52:38] 895*2^1532135-1 is not prime. Res64: D9D08183F8E1AB45 Time : 0.0 sec. user=mdettweiler [2018-11-24 09:52:39] 969*2^1532135-1 is not prime. Res64: 8D15C2B92DD459DA Time : 0.0 sec. user=mdettweiler [2018-11-24 09:52:39] 693*2^1532136-1 is not prime. Res64: 5CF713D5DACBB5F2 Time : 0.0 sec. user=mdettweiler [2018-11-24 10:11:13] 771*2^1532123-1 is not prime. Res64: 43E92B6D6302E3B9 Time : 0.0 sec. user=mdettweiler [2018-11-24 10:11:14] 885*2^1532123-1 is not prime. Res64: AFD96BD084C10E9D Time : 0.0 sec. user=mdettweiler [2018-11-24 10:11:14] 765*2^1532124-1 is not prime. Res64: 75D5C8774FA7076A Time : 0.0 sec. user=mdettweiler [2018-11-24 10:11:14] 915*2^1532124-1 is not prime. Res64: 246E3E2B4D989980 Time : 0.0 sec. user=mdettweiler [2018-11-24 10:50:29] 717*2^1532136-1 is not prime. Res64: 9E4F5605C0786A04 Time : 0.0 sec. user=mdettweiler [2018-11-24 10:50:30] 779*2^1532136-1 is not prime. Res64: 2A93EB1A3250F8F7 Time : 0.0 sec. user=mdettweiler [2018-11-24 10:50:30] 945*2^1532136-1 is not prime. Res64: 56AFB44C8B4321D1 Time : 0.0 sec. user=mdettweiler [2018-11-24 10:50:30] 615*2^1532137-1 is not prime. Res64: 770D6B8FFECD8FBD Time : 0.0 sec. user=mdettweiler [2018-11-24 10:50:31] 667*2^1532137-1 is not prime. Res64: 9FA7F8CA0F3062BC Time : 0.0 sec. user=mdettweiler [2018-11-24 11:05:06] 741*2^1532137-1 is not prime. Res64: 12CC28E778AA94CE Time : 0.0 sec. user=mdettweiler [2018-11-24 11:05:07] 831*2^1532137-1 is not prime. Res64: ADCD40FE0B47A167 Time : 0.0 sec. user=mdettweiler [2018-11-24 11:05:09] 871*2^1532137-1 is not prime. Res64: 884EBCFC8CC36833 Time : 0.0 sec. user=mdettweiler [2018-11-24 11:05:10] 885*2^1532137-1 is not prime. Res64: 170B5931D0802F7A Time : 0.0 sec. user=mdettweiler [2018-11-24 11:05:12] 945*2^1532137-1 is not prime. Res64: 1EC1256CB5809216 Time : 0.0 sec. user=mdettweiler [2018-11-24 11:42:55] 633*2^1532138-1 is not prime. Res64: FCE1554AED9F774B Time : 0.0 sec. user=mdettweiler [2018-11-24 11:42:56] 671*2^1532138-1 is not prime. Res64: AD90CD4C6E64A6F6 Time : 0.0 sec. user=mdettweiler [2018-11-24 11:42:56] 773*2^1532138-1 is not prime. Res64: BE79D97139B1CA38 Time : 0.0 sec. user=mdettweiler [2018-11-24 11:42:56] 827*2^1532138-1 is not prime. Res64: 41FCDC23EABD3F66 Time : 0.0 sec. user=mdettweiler [2018-11-24 11:42:57] 837*2^1532138-1 is not prime. Res64: 2203BCD78835684E Time : 0.0 sec. user=mdettweiler [2018-11-24 11:46:45] 857*2^1532138-1 is not prime. Res64: C5ED9005516F0E55 Time : 0.0 sec. user=mdettweiler [2018-11-24 11:46:46] 953*2^1532138-1 is not prime. Res64: 59166123E57A4A63 Time : 0.0 sec. user=mdettweiler [2018-11-24 11:46:46] 995*2^1532138-1 is not prime. Res64: 38B30279D42ACC3A Time : 0.0 sec. user=mdettweiler [2018-11-24 11:46:46] 619*2^1532139-1 is not prime. Res64: EEBBC4069A8C7337 Time : 0.0 sec. user=mdettweiler [2018-11-24 11:46:46] 775*2^1532139-1 is not prime. Res64: 176A4704AD1E8AF4 Time : 0.0 sec. user=mdettweiler [2018-11-24 11:57:48] 789*2^1532139-1 is not prime. Res64: 6AE2ADCD9F22A1E6 Time : 0.0 sec. user=mdettweiler [2018-11-24 11:57:49] 853*2^1532139-1 is not prime. Res64: 0AB4606B9B964052 Time : 0.0 sec. user=mdettweiler [2018-11-24 11:57:49] 895*2^1532139-1 is not prime. Res64: 0C1DB68D91AF40D1 Time : 0.0 sec. user=mdettweiler [2018-11-24 11:57:49] 943*2^1532139-1 is not prime. Res64: 325F2BA0C639F7B5 Time : 0.0 sec. user=mdettweiler [2018-11-24 11:57:49] 949*2^1532139-1 is not prime. Res64: 279B3C454EC6B7D4 Time : 0.0 sec. user=mdettweiler [2018-11-24 12:23:49] 645*2^1532131-1 is not prime. Res64: BEAF4BFFB6726441 Time : 0.0 sec. user=mdettweiler [2018-11-24 12:40:07] 969*2^1532139-1 is not prime. Res64: 483C4FBE31C34ED6 Time : 0.0 sec. user=mdettweiler [2018-11-24 12:40:08] 985*2^1532139-1 is not prime. Res64: AD12909D84FDD618 Time : 0.0 sec. user=mdettweiler [2018-11-24 12:40:08] 635*2^1532140-1 is not prime. Res64: 202F6B47FCD590FF Time : 0.0 sec. user=mdettweiler [2018-11-24 12:40:08] 689*2^1532140-1 is not prime. Res64: 1C50DA1A1EA337E5 Time : 0.0 sec. user=mdettweiler [2018-11-24 12:40:08] 755*2^1532140-1 is not prime. Res64: 9E6D87F36D969636 Time : 0.0 sec. user=mdettweiler [2018-11-24 12:41:28] 933*2^1532140-1 is not prime. Res64: C3E53CAD96E70E6A Time : 0.0 sec. user=mdettweiler [2018-11-24 12:41:29] 717*2^1532141-1 is not prime. Res64: 25D65BAEC9240F1B Time : 0.0 sec. user=mdettweiler [2018-11-24 12:41:29] 747*2^1532141-1 is not prime. Res64: 98F143CF42AEB6C6 Time : 0.0 sec. user=mdettweiler [2018-11-24 12:41:29] 859*2^1532141-1 is not prime. Res64: 266471417C983127 Time : 0.0 sec. user=mdettweiler [2018-11-24 12:41:29] 901*2^1532141-1 is not prime. Res64: 297240306C4156DA Time : 0.0 sec. user=mdettweiler [2018-11-24 12:52:17] 955*2^1532141-1 is not prime. Res64: D1A806E3F6469314 Time : 0.0 sec. user=mdettweiler [2018-11-24 12:52:17] 981*2^1532141-1 is not prime. Res64: AB0A325D65A21614 Time : 0.0 sec. user=mdettweiler [2018-11-24 12:52:18] 627*2^1532142-1 is not prime. Res64: 9F949FBE11E1BA9C Time : 0.0 sec. user=mdettweiler [2018-11-24 12:52:18] 677*2^1532142-1 is not prime. Res64: C4738582C4E2C32A Time : 0.0 sec. user=mdettweiler [2018-11-24 12:52:18] 741*2^1532142-1 is not prime. Res64: FFBC78D800B4A08C Time : 0.0 sec. user=mdettweiler [2018-11-24 13:17:52] 863*2^1532142-1 is not prime. Res64: 88659DB3E6125B53 Time : 0.0 sec. user=mdettweiler [2018-11-24 13:17:52] 891*2^1532142-1 is not prime. Res64: D35CD825E1980777 Time : 0.0 sec. user=mdettweiler [2018-11-24 13:17:53] 603*2^1532143-1 is not prime. Res64: 4AC29A7BC8F2D761 Time : 0.0 sec. user=mdettweiler [2018-11-24 13:17:55] 609*2^1532143-1 is not prime. Res64: 98688EEBE3CBF7AA Time : 0.0 sec. user=mdettweiler [2018-11-24 13:17:55] 763*2^1532143-1 is not prime. Res64: 86EF7AB4D18597E3 Time : 0.0 sec. user=mdettweiler [2018-11-24 13:34:32] 939*2^1532143-1 is prime! Time : 0.0 sec. user=mdettweiler [2018-11-24 13:34:38] 645*2^1532144-1 is not prime. Res64: 58BEF86A66AA079D Time : 0.0 sec. user=mdettweiler [2018-11-24 13:34:38] 683*2^1532144-1 is not prime. Res64: 7650364AF8684345 Time : 0.0 sec. user=mdettweiler [2018-11-24 13:34:38] 773*2^1532144-1 is not prime. Res64: 70D65E135CDD634C Time : 0.0 sec. user=mdettweiler [2018-11-24 13:34:38] 995*2^1532144-1 is not prime. Res64: 5F31AED0358D0420 Time : 0.0 sec. user=mdettweiler [2018-11-24 13:38:25] 765*2^1532143-1 is not prime. Res64: 8E5375F1AACCE5FA Time : 0.0 sec. user=mdettweiler [2018-11-24 13:38:25] 849*2^1532143-1 is not prime. Res64: 2AF2ABE86728105F Time : 0.0 sec. user=mdettweiler [2018-11-24 13:38:26] 855*2^1532143-1 is not prime. Res64: FED873E902F3F02D Time : 0.0 sec. user=mdettweiler [2018-11-24 13:38:26] 861*2^1532143-1 is not prime. Res64: B7B22E0E27A20487 Time : 0.0 sec. user=mdettweiler [2018-11-24 13:38:26] 889*2^1532143-1 is not prime. Res64: FA593B52F8378619 Time : 0.0 sec. user=mdettweiler [2018-11-24 13:44:52] 691*2^1532145-1 is not prime. Res64: B26E4E028958FAF0 Time : 0.0 sec. user=mdettweiler [2018-11-24 13:44:53] 699*2^1532145-1 is not prime. Res64: 309D43258D698AFF Time : 0.0 sec. user=mdettweiler [2018-11-24 13:44:53] 735*2^1532145-1 is not prime. Res64: 83021CBE2EAC148E Time : 0.0 sec. user=mdettweiler [2018-11-24 13:44:53] 739*2^1532145-1 is not prime. Res64: EB13EE04DB51BAC0 Time : 0.0 sec. user=mdettweiler [2018-11-24 13:44:53] 811*2^1532145-1 is not prime. Res64: 990591057342090E Time : 0.0 sec. user=mdettweiler [2018-11-24 14:10:44] 895*2^1532145-1 is not prime. Res64: F5A49FCAE09A2306 Time : 0.0 sec. user=mdettweiler [2018-11-24 14:10:45] 623*2^1532146-1 is not prime. Res64: 79802D8542E5FE8D Time : 0.0 sec. user=mdettweiler [2018-11-24 14:10:45] 717*2^1532146-1 is not prime. Res64: 282A22827C9CAE3E Time : 0.0 sec. user=mdettweiler [2018-11-24 14:10:45] 723*2^1532146-1 is not prime. Res64: BC635D1303403D6A Time : 0.0 sec. user=mdettweiler [2018-11-24 14:10:45] 735*2^1532146-1 is not prime. Res64: 73C3308AE54A521B Time : 0.0 sec. user=mdettweiler [2018-11-24 14:26:51] 777*2^1532146-1 is not prime. Res64: 1862F5CBF3B78DB4 Time : 0.0 sec. user=mdettweiler [2018-11-24 14:26:51] 803*2^1532146-1 is not prime. Res64: 4BAED3646F00A418 Time : 0.0 sec. user=mdettweiler [2018-11-24 14:26:52] 911*2^1532146-1 is not prime. Res64: 28A9348D74F18A52 Time : 0.0 sec. user=mdettweiler [2018-11-24 14:26:52] 933*2^1532146-1 is not prime. Res64: B66BA36702391280 Time : 0.0 sec. user=mdettweiler [2018-11-24 14:26:52] 957*2^1532146-1 is not prime. Res64: 164ED4DB987A08C6 Time : 0.0 sec. user=mdettweiler [2018-11-24 14:30:45] 619*2^1532147-1 is not prime. Res64: C2742296311A443B Time : 0.0 sec. user=mdettweiler [2018-11-24 14:30:46] 663*2^1532147-1 is not prime. Res64: 778A719C3ED714AC Time : 0.0 sec. user=mdettweiler [2018-11-24 14:30:46] 741*2^1532147-1 is not prime. Res64: 5491B09A4795C353 Time : 0.0 sec. user=mdettweiler [2018-11-24 14:30:46] 825*2^1532147-1 is not prime. Res64: 81BF4EC5D8B3DD76 Time : 0.0 sec. user=mdettweiler [2018-11-24 14:30:46] 843*2^1532147-1 is not prime. Res64: EA3BC872CE528A8F Time : 0.0 sec. user=mdettweiler [2018-11-24 14:39:15] 871*2^1532147-1 is not prime. Res64: 171E69D5DE82408F Time : 0.0 sec. user=mdettweiler [2018-11-24 14:39:16] 939*2^1532147-1 is not prime. Res64: 3D2BE786862E9CEC Time : 0.0 sec. user=mdettweiler [2018-11-24 14:39:16] 615*2^1532148-1 is not prime. Res64: 8833FFD30950BEAD Time : 0.0 sec. user=mdettweiler [2018-11-24 14:39:16] 635*2^1532148-1 is not prime. Res64: 562E16B361A0CC3B Time : 0.0 sec. user=mdettweiler [2018-11-24 14:39:16] 669*2^1532148-1 is not prime. Res64: 23CFA518931627B7 Time : 0.0 sec. user=mdettweiler [2018-11-24 15:03:10] 737*2^1532148-1 is not prime. Res64: 7E7CCBF104378AE1 Time : 0.0 sec. user=mdettweiler [2018-11-24 15:03:10] 915*2^1532148-1 is not prime. Res64: 5A2F6E0B936DEAEE Time : 0.0 sec. user=mdettweiler [2018-11-24 15:03:11] 741*2^1532149-1 is not prime. Res64: F2DD3782F9BC04D5 Time : 0.0 sec. user=mdettweiler [2018-11-24 15:03:12] 745*2^1532149-1 is not prime. Res64: 7719B7DC189D5D4A Time : 0.0 sec. user=mdettweiler [2018-11-24 15:03:13] 751*2^1532149-1 is not prime. Res64: 2445C94FB806D876 Time : 0.0 sec. user=mdettweiler [2018-11-24 15:21:48] 757*2^1532149-1 is not prime. Res64: A7A4654388350505 Time : 0.0 sec. user=mdettweiler [2018-11-24 15:21:48] 769*2^1532149-1 is not prime. Res64: CFFA52EC900E582A Time : 0.0 sec. user=mdettweiler [2018-11-24 15:21:48] 799*2^1532149-1 is not prime. Res64: 123B95C3712F084D Time : 0.0 sec. user=mdettweiler [2018-11-24 15:21:49] 885*2^1532149-1 is not prime. Res64: 747414BF92ECC0AF Time : 0.0 sec. user=mdettweiler [2018-11-24 15:21:49] 897*2^1532149-1 is not prime. Res64: 955CAEDCB3C7BB7F Time : 0.0 sec. user=mdettweiler [2018-11-24 15:24:31] 957*2^1532149-1 is not prime. Res64: 2442F0D73EB03529 Time : 0.0 sec. user=mdettweiler [2018-11-24 15:24:31] 997*2^1532149-1 is not prime. Res64: CEFD099B96BFAD32 Time : 0.0 sec. user=mdettweiler [2018-11-24 15:24:32] 627*2^1532150-1 is not prime. Res64: 0FFB44914C7BBE51 Time : 0.0 sec. user=mdettweiler [2018-11-24 15:24:32] 747*2^1532150-1 is not prime. Res64: 3EE258D11CC2EDCA Time : 0.0 sec. user=mdettweiler [2018-11-24 15:24:32] 785*2^1532150-1 is not prime. Res64: 7CCD2BBBB5E92C03 Time : 0.0 sec. user=mdettweiler [2018-11-24 15:37:25] 861*2^1532150-1 is not prime. Res64: C28AB174910DA500 Time : 0.0 sec. user=mdettweiler [2018-11-24 15:37:26] 679*2^1532151-1 is not prime. Res64: 5476B661D3C6615B Time : 0.0 sec. user=mdettweiler [2018-11-24 15:37:26] 739*2^1532151-1 is not prime. Res64: A3390AD31F72A1C6 Time : 0.0 sec. user=mdettweiler [2018-11-24 15:37:26] 805*2^1532151-1 is not prime. Res64: 4BB6C0B6DC7F02B9 Time : 0.0 sec. user=mdettweiler [2018-11-24 15:37:27] 885*2^1532151-1 is not prime. Res64: 6AA3FEEFA27ABE03 Time : 0.0 sec. user=mdettweiler [2018-11-24 15:59:13] 609*2^1532152-1 is not prime. Res64: DDCA6DB5D8D31144 Time : 0.0 sec. user=mdettweiler [2018-11-24 15:59:13] 717*2^1532152-1 is not prime. Res64: 24C75377B64E1567 Time : 0.0 sec. user=mdettweiler [2018-11-24 15:59:14] 855*2^1532152-1 is not prime. Res64: 31083BD0DE4B5158 Time : 0.0 sec. user=mdettweiler [2018-11-24 15:59:14] 909*2^1532152-1 is not prime. Res64: 82401A8222BE7FC4 Time : 0.0 sec. user=mdettweiler [2018-11-24 15:59:14] 915*2^1532152-1 is not prime. Res64: D14A9AD2B19BE7C6 Time : 0.0 sec. user=mdettweiler [2018-11-24 16:17:52] 983*2^1532152-1 is not prime. Res64: DFCF37970FE0D03A Time : 0.0 sec. user=mdettweiler [2018-11-24 16:17:52] 999*2^1532152-1 is not prime. Res64: BC99F487FCF5215A Time : 0.0 sec. user=mdettweiler [2018-11-24 16:17:53] 607*2^1532153-1 is not prime. Res64: 3D37F12B8EA6116F Time : 0.0 sec. user=mdettweiler [2018-11-24 16:17:53] 685*2^1532153-1 is not prime. Res64: AD37CB806BF70043 Time : 0.0 sec. user=mdettweiler [2018-11-24 16:17:53] 727*2^1532153-1 is not prime. Res64: EEAFD20FBE05685B Time : 0.0 sec. user=mdettweiler [2018-11-24 16:20:44] 735*2^1532153-1 is not prime. Res64: 676D27F188AF515B Time : 0.0 sec. user=mdettweiler [2018-11-24 16:20:44] 811*2^1532153-1 is not prime. Res64: 99821B8E5BAF8D27 Time : 0.0 sec. user=mdettweiler [2018-11-24 16:20:45] 879*2^1532153-1 is not prime. Res64: CE0EF10C566BF6E1 Time : 0.0 sec. user=mdettweiler [2018-11-24 16:20:45] 957*2^1532153-1 is not prime. Res64: 554F91354139702D Time : 0.0 sec. user=mdettweiler [2018-11-24 16:20:45] 981*2^1532153-1 is not prime. Res64: 9A8E43F45D2D5ABC Time : 0.0 sec. user=mdettweiler [2018-11-24 16:32:03] 663*2^1532154-1 is not prime. Res64: 82B071FD3BDE6405 Time : 0.0 sec. user=mdettweiler [2018-11-24 16:32:04] 747*2^1532154-1 is not prime. Res64: B50EF2B4CC17EA2C Time : 0.0 sec. user=mdettweiler [2018-11-24 16:32:04] 861*2^1532154-1 is not prime. Res64: E36F0C3B3A21EAC3 Time : 0.0 sec. user=mdettweiler [2018-11-24 16:32:05] 917*2^1532154-1 is not prime. Res64: A82D661AD12272A9 Time : 0.0 sec. user=mdettweiler [2018-11-24 16:32:06] 993*2^1532154-1 is not prime. Res64: DD8CCD40FD17E735 Time : 0.0 sec. user=mdettweiler [2018-11-24 16:53:27] 651*2^1532155-1 is not prime. Res64: E465186E97FD2F83 Time : 0.0 sec. user=mdettweiler [2018-11-24 16:53:27] 783*2^1532155-1 is not prime. Res64: 9F4D3B9BD624ADBE Time : 0.0 sec. user=mdettweiler [2018-11-24 16:53:27] 789*2^1532155-1 is not prime. Res64: D334F4606FCF371B Time : 0.0 sec. user=mdettweiler [2018-11-24 16:53:28] 853*2^1532155-1 is not prime. Res64: 18E9F292E7D314DA Time : 0.0 sec. user=mdettweiler [2018-11-24 16:53:28] 895*2^1532155-1 is not prime. Res64: 35F96DA3FE356848 Time : 0.0 sec. user=mdettweiler [2018-11-24 17:13:48] 629*2^1532156-1 is not prime. Res64: 50DAA9C56280F43E Time : 0.0 sec. user=mdettweiler [2018-11-24 17:13:49] 659*2^1532156-1 is not prime. Res64: FF1F4C3860ACABE2 Time : 0.0 sec. user=mdettweiler [2018-11-24 17:13:52] 707*2^1532156-1 is not prime. Res64: 8BB4B9867349B705 Time : 0.0 sec. user=mdettweiler [2018-11-24 17:13:53] 767*2^1532156-1 is not prime. Res64: D4C10B01AB83C263 Time : 0.0 sec. user=mdettweiler [2018-11-24 17:13:55] 825*2^1532156-1 is not prime. Res64: AB6C873964118931 Time : 0.0 sec. user=mdettweiler [2018-11-24 17:16:07] 839*2^1532156-1 is not prime. Res64: 2B2217E5776D6D4C Time : 0.0 sec. user=mdettweiler [2018-11-24 17:16:09] 923*2^1532156-1 is not prime. Res64: EE6B3A8BF3F11C54 Time : 0.0 sec. user=mdettweiler [2018-11-24 17:16:09] 935*2^1532156-1 is not prime. Res64: 871F0936CFC56940 Time : 0.0 sec. user=mdettweiler [2018-11-24 17:16:10] 661*2^1532157-1 is not prime. Res64: C3878C033707EDC4 Time : 0.0 sec. user=mdettweiler [2018-11-24 17:16:10] 717*2^1532157-1 is not prime. Res64: 21D8642189127117 Time : 0.0 sec. user=mdettweiler [2018-11-24 17:27:42] 817*2^1532157-1 is not prime. Res64: 228D2888C928723C Time : 0.0 sec. user=mdettweiler [2018-11-24 17:27:43] 835*2^1532157-1 is not prime. Res64: 2587F6EE8A4737D2 Time : 0.0 sec. user=mdettweiler [2018-11-24 17:27:43] 603*2^1532158-1 is not prime. Res64: 24B74D64E3694108 Time : 0.0 sec. user=mdettweiler [2018-11-24 17:27:44] 621*2^1532158-1 is not prime. Res64: D93A5F62F8E44693 Time : 0.0 sec. user=mdettweiler [2018-11-24 17:27:45] 657*2^1532158-1 is not prime. Res64: 5679A8817C3FCAB2 Time : 0.0 sec. user=mdettweiler [2018-11-24 17:47:54] 687*2^1532158-1 is not prime. Res64: A20E1B54E60D58AB Time : 0.0 sec. user=mdettweiler [2018-11-24 17:47:55] 705*2^1532158-1 is not prime. Res64: D82D03922718AB00 Time : 0.0 sec. user=mdettweiler [2018-11-24 17:47:56] 755*2^1532158-1 is not prime. Res64: 382A0B32E616569D Time : 0.0 sec. user=mdettweiler [2018-11-24 17:47:57] 857*2^1532158-1 is not prime. Res64: C74E680E263495D6 Time : 0.0 sec. user=mdettweiler [2018-11-24 17:47:57] 915*2^1532158-1 is not prime. Res64: 32ED177024305AF5 Time : 0.0 sec. user=mdettweiler [2018-11-24 18:10:08] 993*2^1532159-1 is not prime. Res64: 27BC47CDE3E7A6FA Time : 0.0 sec. user=mdettweiler [2018-11-24 18:10:08] 999*2^1532159-1 is not prime. Res64: 7C19195C007B0528 Time : 0.0 sec. user=mdettweiler [2018-11-24 18:10:09] 669*2^1532160-1 is not prime. Res64: 31E49F1353267326 Time : 0.0 sec. user=mdettweiler [2018-11-24 18:10:09] 699*2^1532160-1 is not prime. Res64: 9CC7D80A4B782701 Time : 0.0 sec. user=mdettweiler [2018-11-24 18:10:10] 747*2^1532160-1 is not prime. Res64: 67C49A8294F27358 Time : 0.0 sec. user=mdettweiler [2018-11-24 18:13:32] 995*2^1532158-1 is not prime. Res64: 2EB10D0F885057EC Time : 0.0 sec. user=mdettweiler [2018-11-24 18:13:32] 619*2^1532159-1 is not prime. Res64: DB0C1127E625980F Time : 0.0 sec. user=mdettweiler [2018-11-24 18:13:33] 685*2^1532159-1 is not prime. Res64: B8CAD387A5910167 Time : 0.0 sec. user=mdettweiler [2018-11-24 18:13:33] 711*2^1532159-1 is not prime. Res64: A30DC6EB2554807F Time : 0.0 sec. user=mdettweiler [2018-11-24 18:13:33] 729*2^1532159-1 is not prime. Res64: 6E36E2D322E4F0D2 Time : 0.0 sec. user=mdettweiler [2018-11-24 18:22:55] 795*2^1532160-1 is not prime. Res64: FA823043BDEED0D9 Time : 0.0 sec. user=mdettweiler [2018-11-24 18:22:55] 933*2^1532160-1 is not prime. Res64: B8F9F6260FBEBAD6 Time : 0.0 sec. user=mdettweiler [2018-11-24 18:22:56] 959*2^1532160-1 is not prime. Res64: 03E8E9CC3560A74F Time : 0.0 sec. user=mdettweiler [2018-11-24 18:22:56] 975*2^1532160-1 is not prime. Res64: 9B13955F9916FA1E Time : 0.0 sec. user=mdettweiler [2018-11-24 18:22:56] 999*2^1532160-1 is not prime. Res64: F280885C9FFCAC78 Time : 0.0 sec. user=mdettweiler [2018-11-24 18:48:50] 615*2^1532161-1 is not prime. Res64: 73B4AC518EA14670 Time : 0.0 sec. user=mdettweiler [2018-11-24 18:48:51] 741*2^1532161-1 is not prime. Res64: B90B4BC0191AC7DD Time : 0.0 sec. user=mdettweiler [2018-11-24 18:48:51] 895*2^1532161-1 is not prime. Res64: 7A39EAD26C0F14ED Time : 0.0 sec. user=mdettweiler [2018-11-24 18:48:51] 997*2^1532161-1 is not prime. Res64: 540674F762370974 Time : 0.0 sec. user=mdettweiler [2018-11-24 18:48:51] 999*2^1532161-1 is not prime. Res64: 175479D14529BD60 Time : 0.0 sec. user=mdettweiler [2018-11-24 19:03:19] 713*2^1532162-1 is not prime. Res64: EB8A1722A54CB9D8 Time : 0.0 sec. user=mdettweiler [2018-11-24 19:03:20] 857*2^1532162-1 is not prime. Res64: A912494FB68C2044 Time : 0.0 sec. user=mdettweiler [2018-11-24 19:03:20] 885*2^1532162-1 is not prime. Res64: 61A7E56ABEC34512 Time : 0.0 sec. user=mdettweiler [2018-11-24 19:03:21] 887*2^1532162-1 is not prime. Res64: 87A0BC0E7717C2EB Time : 0.0 sec. user=mdettweiler [2018-11-24 19:03:21] 981*2^1532162-1 is not prime. Res64: 290F17A5856162F2 Time : 0.0 sec. user=mdettweiler [2018-11-24 19:05:18] 663*2^1532163-1 is not prime. Res64: FD2ED98E803984B4 Time : 0.0 sec. user=mdettweiler [2018-11-24 19:05:19] 669*2^1532163-1 is not prime. Res64: 7AAA89F3FE9C06FA Time : 0.0 sec. user=mdettweiler [2018-11-24 19:05:20] 735*2^1532163-1 is not prime. Res64: 86D6A32BE59890A9 Time : 0.0 sec. user=mdettweiler [2018-11-24 19:05:21] 741*2^1532163-1 is not prime. Res64: 3014CE2157FE3288 Time : 0.0 sec. user=mdettweiler [2018-11-24 19:05:22] 781*2^1532163-1 is not prime. Res64: 7FEA11D79AD05C11 Time : 0.0 sec. user=mdettweiler [2018-11-24 19:14:27] 783*2^1532163-1 is not prime. Res64: FD1EEBD9FAC236C1 Time : 0.0 sec. user=mdettweiler [2018-11-24 19:14:28] 793*2^1532163-1 is not prime. Res64: 224595001B160E22 Time : 0.0 sec. user=mdettweiler [2018-11-24 19:14:28] 805*2^1532163-1 is not prime. Res64: 1C7E2C7C1294B0BC Time : 0.0 sec. user=mdettweiler [2018-11-24 19:14:28] 825*2^1532163-1 is not prime. Res64: 7E2F6C957F35841E Time : 0.0 sec. user=mdettweiler [2018-11-24 19:14:28] 961*2^1532163-1 is not prime. Res64: 22310D6055A5D817 Time : 0.0 sec. user=mdettweiler [2018-11-24 19:40:14] 749*2^1532164-1 is not prime. Res64: 47C5A25300138DE5 Time : 0.0 sec. user=mdettweiler [2018-11-24 19:40:14] 885*2^1532164-1 is not prime. Res64: 417C77C97522FA8D Time : 0.0 sec. user=mdettweiler [2018-11-24 19:40:15] 685*2^1532165-1 is not prime. Res64: 8816F09B8F05E9AF Time : 0.0 sec. user=mdettweiler [2018-11-24 19:40:15] 781*2^1532165-1 is not prime. Res64: 2F0398F3FBE8D903 Time : 0.0 sec. user=mdettweiler [2018-11-24 19:40:15] 825*2^1532165-1 is not prime. Res64: E9ECC13871546FA4 Time : 0.0 sec. user=mdettweiler [2018-11-24 19:56:14] 867*2^1532165-1 is not prime. Res64: CB7167E0DF594DB5 Time : 0.0 sec. user=mdettweiler [2018-11-24 19:56:14] 885*2^1532165-1 is not prime. Res64: 1CF4A2FD8E3563A6 Time : 0.0 sec. user=mdettweiler [2018-11-24 19:56:14] 641*2^1532166-1 is not prime. Res64: 8BB764A607FFF8AD Time : 0.0 sec. user=mdettweiler [2018-11-24 19:56:15] 723*2^1532166-1 is not prime. Res64: DE39EBDC80343D26 Time : 0.0 sec. user=mdettweiler [2018-11-24 19:56:15] 843*2^1532166-1 is not prime. Res64: 4868A57F6AF84D5F Time : 0.0 sec. user=mdettweiler [2018-11-24 19:58:02] 861*2^1532166-1 is not prime. Res64: 06031F7CC46B81AD Time : 0.0 sec. user=mdettweiler [2018-11-24 19:58:02] 945*2^1532166-1 is not prime. Res64: 150869A634E67EA7 Time : 0.0 sec. user=mdettweiler [2018-11-24 19:58:02] 963*2^1532166-1 is not prime. Res64: 60BC3284AC2B62C9 Time : 0.0 sec. user=mdettweiler [2018-11-24 19:58:03] 603*2^1532167-1 is not prime. Res64: C5BF84E5295B21D9 Time : 0.0 sec. user=mdettweiler [2018-11-24 19:58:03] 615*2^1532167-1 is not prime. Res64: 2EA6B18AA1904A92 Time : 0.0 sec. user=mdettweiler [2018-11-24 20:07:29] 673*2^1532167-1 is not prime. Res64: 984C6352902E9F6C Time : 0.0 sec. user=mdettweiler [2018-11-24 20:07:31] 729*2^1532167-1 is not prime. Res64: 91C4F66623B9FAF5 Time : 0.0 sec. user=mdettweiler [2018-11-24 20:07:31] 841*2^1532167-1 is not prime. Res64: CC7768145299DA6D Time : 0.0 sec. user=mdettweiler [2018-11-24 20:07:31] 871*2^1532167-1 is not prime. Res64: B5B8E633467AA5A8 Time : 0.0 sec. user=mdettweiler [2018-11-24 20:07:32] 885*2^1532167-1 is not prime. Res64: 71F272BBD4E71A25 Time : 0.0 sec. user=mdettweiler [2018-11-24 20:35:16] 913*2^1532167-1 is not prime. Res64: 7BF5F8049D3C817C Time : 0.0 sec. user=mdettweiler [2018-11-24 20:35:16] 915*2^1532167-1 is not prime. Res64: EC99320EBDDA72BC Time : 0.0 sec. user=mdettweiler [2018-11-24 20:35:17] 925*2^1532167-1 is not prime. Res64: 6F464769D14645BA Time : 0.0 sec. user=mdettweiler [2018-11-24 20:35:17] 961*2^1532167-1 is not prime. Res64: 29436E9AF3D1AC42 Time : 0.0 sec. user=mdettweiler [2018-11-24 20:35:17] 975*2^1532167-1 is not prime. Res64: 728065F82B4238FE Time : 0.0 sec. user=mdettweiler [2018-11-24 20:52:08] 689*2^1532168-1 is not prime. Res64: F7FDB4BCF95ABBB7 Time : 0.0 sec. user=mdettweiler [2018-11-24 20:52:09] 755*2^1532168-1 is not prime. Res64: 77DCF661256E6CFB Time : 0.0 sec. user=mdettweiler [2018-11-24 20:52:09] 813*2^1532168-1 is not prime. Res64: 827950B8B57394E2 Time : 0.0 sec. user=mdettweiler [2018-11-24 20:52:09] 927*2^1532168-1 is not prime. Res64: 93D44C0A9C769361 Time : 0.0 sec. user=mdettweiler [2018-11-24 20:52:10] 945*2^1532168-1 is not prime. Res64: 4FE5BBD6713C4DF9 Time : 0.0 sec. user=mdettweiler [2018-11-24 20:53:12] 957*2^1532168-1 is not prime. Res64: 203A22BED7C40DF2 Time : 0.0 sec. user=mdettweiler [2018-11-24 20:53:13] 993*2^1532168-1 is not prime. Res64: 29B2DFE74C5290D9 Time : 0.0 sec. user=mdettweiler [2018-11-24 20:53:13] 995*2^1532168-1 is not prime. Res64: 9789B9A79FDBA71D Time : 0.0 sec. user=mdettweiler [2018-11-24 20:53:13] 601*2^1532169-1 is not prime. Res64: A8905FCD8FEB6833 Time : 0.0 sec. user=mdettweiler [2018-11-24 20:53:13] 681*2^1532169-1 is not prime. Res64: 7CFF9A11FC913BEB Time : 0.0 sec. user=mdettweiler [2018-11-24 21:03:50] 685*2^1532169-1 is not prime. Res64: 589AE435E955EA63 Time : 0.0 sec. user=mdettweiler [2018-11-24 21:03:51] 765*2^1532169-1 is not prime. Res64: FCB162918C5EF49B Time : 0.0 sec. user=mdettweiler [2018-11-24 21:03:51] 945*2^1532169-1 is not prime. Res64: 0AC7612306441A55 Time : 0.0 sec. user=mdettweiler [2018-11-24 21:03:52] 969*2^1532169-1 is not prime. Res64: C50FF52DB1786CC7 Time : 0.0 sec. user=mdettweiler [2018-11-24 21:03:52] 991*2^1532169-1 is not prime. Res64: 0D86E38AFED5DB72 Time : 0.0 sec. user=mdettweiler [2018-11-24 21:32:34] 611*2^1532170-1 is not prime. Res64: D89EDDD249A90755 Time : 0.0 sec. user=mdettweiler [2018-11-24 21:32:35] 657*2^1532170-1 is not prime. Res64: B802D1324E9DF7BB Time : 0.0 sec. user=mdettweiler [2018-11-24 21:32:35] 821*2^1532170-1 is not prime. Res64: 1757A878E27E89E0 Time : 0.0 sec. user=mdettweiler [2018-11-24 21:32:35] 915*2^1532170-1 is not prime. Res64: F7A84A6A2A557C76 Time : 0.0 sec. user=mdettweiler [2018-11-24 21:32:36] 917*2^1532170-1 is not prime. Res64: C7E25D458AAD79B5 Time : 0.0 sec. user=mdettweiler [2018-11-24 21:48:56] 923*2^1532170-1 is not prime. Res64: 5850A3B214EA6C5E Time : 0.0 sec. user=mdettweiler [2018-11-24 21:48:57] 933*2^1532170-1 is not prime. Res64: A706D80191093E2C Time : 0.0 sec. user=mdettweiler [2018-11-24 21:48:57] 631*2^1532171-1 is not prime. Res64: 737E674DC50E5ADC Time : 0.0 sec. user=mdettweiler [2018-11-24 21:48:57] 673*2^1532171-1 is not prime. Res64: E6FD8B6505BC7A17 Time : 0.0 sec. user=mdettweiler [2018-11-24 21:48:58] 689*2^1532172-1 is not prime. Res64: 59EDFB8D8CC90601 Time : 0.0 sec. user=mdettweiler [2018-11-24 21:49:29] 753*2^1532172-1 is not prime. Res64: 8C0DF6AEBEFDBF85 Time : 0.0 sec. user=mdettweiler [2018-11-24 21:49:30] 765*2^1532172-1 is not prime. Res64: 328C4631C756E84F Time : 0.0 sec. user=mdettweiler [2018-11-24 21:49:30] 803*2^1532172-1 is not prime. Res64: 452A6AE6BE3B78F8 Time : 0.0 sec. user=mdettweiler [2018-11-24 21:49:30] 857*2^1532172-1 is not prime. Res64: 3434440FDDF18646 Time : 0.0 sec. user=mdettweiler [2018-11-24 21:49:31] 909*2^1532172-1 is not prime. Res64: C0E26FF4A703D8F5 Time : 0.0 sec. user=mdettweiler [2018-11-24 22:00:26] 675*2^1532173-1 is not prime. Res64: 1163B5EB0E78C074 Time : 0.0 sec. user=mdettweiler [2018-11-24 22:00:31] 741*2^1532173-1 is not prime. Res64: 243FA01E08E4ADB6 Time : 0.0 sec. user=mdettweiler [2018-11-24 22:00:32] 751*2^1532173-1 is not prime. Res64: AA92A814D71667DC Time : 0.0 sec. user=mdettweiler [2018-11-24 22:00:33] 771*2^1532173-1 is not prime. Res64: F4A17CC53C7F0E43 Time : 0.0 sec. user=mdettweiler [2018-11-24 22:00:37] 829*2^1532173-1 is not prime. Res64: C679FB68CD7A42E4 Time : 0.0 sec. user=mdettweiler [2018-11-24 22:28:10] 855*2^1532173-1 is not prime. Res64: FC790BF0E38A05C9 Time : 0.0 sec. user=mdettweiler [2018-11-24 22:28:11] 867*2^1532173-1 is not prime. Res64: 9D35A9F57539C4A4 Time : 0.0 sec. user=mdettweiler [2018-11-24 22:28:11] 889*2^1532173-1 is not prime. Res64: 2C2F9250E534EBB5 Time : 0.0 sec. user=mdettweiler [2018-11-24 22:28:11] 945*2^1532173-1 is not prime. Res64: 27DF7F8994E8860A Time : 0.0 sec. user=mdettweiler [2018-11-24 22:28:12] 657*2^1532174-1 is not prime. Res64: A6D53DE9DC14F15A Time : 0.0 sec. user=mdettweiler [2018-11-24 22:42:54] 827*2^1532174-1 is not prime. Res64: 9130AE18C57A092C Time : 0.0 sec. user=mdettweiler [2018-11-24 22:42:54] 873*2^1532174-1 is not prime. Res64: 81AF2BD2FA36FD0D Time : 0.0 sec. user=mdettweiler [2018-11-24 22:42:55] 897*2^1532174-1 is not prime. Res64: 8D8FA75AF4F2D46D Time : 0.0 sec. user=mdettweiler [2018-11-24 22:42:55] 923*2^1532174-1 is not prime. Res64: F168847D1B195792 Time : 0.0 sec. user=mdettweiler [2018-11-24 22:42:56] 987*2^1532174-1 is not prime. Res64: A957C31E372DDA65 Time : 0.0 sec. user=mdettweiler [2018-11-24 22:43:36] 663*2^1532175-1 is not prime. Res64: C3BE9C8EEF26EC6D Time : 0.0 sec. user=mdettweiler [2018-11-24 22:43:36] 795*2^1532175-1 is not prime. Res64: 91A14261DC983E1B Time : 0.0 sec. user=mdettweiler [2018-11-24 22:43:37] 909*2^1532175-1 is not prime. Res64: 58051CA1E985A998 Time : 0.0 sec. user=mdettweiler [2018-11-24 22:43:37] 743*2^1532176-1 is not prime. Res64: D3984069805613DD Time : 0.0 sec. user=mdettweiler [2018-11-24 22:43:38] 755*2^1532176-1 is not prime. Res64: EFE2D83AE84A41A8 Time : 0.0 sec. user=mdettweiler [2018-11-24 22:54:13] 825*2^1532176-1 is not prime. Res64: 580B8179342D7B25 Time : 0.0 sec. user=mdettweiler [2018-11-24 22:54:14] 909*2^1532176-1 is not prime. Res64: D94A03F1A9E0BC19 Time : 0.0 sec. user=mdettweiler [2018-11-24 22:54:14] 619*2^1532177-1 is not prime. Res64: 1FE84EA984B6D7E9 Time : 0.0 sec. user=mdettweiler [2018-11-24 22:54:14] 649*2^1532177-1 is not prime. Res64: 5B2C7CAD3428C11E Time : 0.0 sec. user=mdettweiler [2018-11-24 22:54:14] 675*2^1532177-1 is not prime. Res64: 7F4F92CC67113B12 Time : 0.0 sec. user=mdettweiler [2018-11-24 23:33:26] 769*2^1532177-1 is not prime. Res64: 3F0D4FE45E9A7F85 Time : 0.0 sec. user=mdettweiler [2018-11-24 23:33:27] 867*2^1532177-1 is not prime. Res64: 67656ED1097B00DC Time : 0.0 sec. user=mdettweiler [2018-11-24 23:33:27] 915*2^1532177-1 is not prime. Res64: B65BC0AF53DF4F52 Time : 0.0 sec. user=mdettweiler [2018-11-24 23:33:28] 949*2^1532177-1 is not prime. Res64: 8269081B30E59D12 Time : 0.0 sec. user=mdettweiler [2018-11-24 23:33:28] 957*2^1532177-1 is not prime. Res64: CFDADF9337BEFFB8 Time : 0.0 sec. user=mdettweiler [2018-11-24 23:36:45] 985*2^1532177-1 is not prime. Res64: D48E8AD84F9FB0C9 Time : 0.0 sec. user=mdettweiler [2018-11-24 23:36:45] 991*2^1532177-1 is not prime. Res64: 8EF3675E3C51FF52 Time : 0.0 sec. user=mdettweiler [2018-11-24 23:36:45] 605*2^1532178-1 is not prime. Res64: 3BB7C491128974F0 Time : 0.0 sec. user=mdettweiler [2018-11-24 23:36:46] 633*2^1532178-1 is not prime. Res64: 40BB67B8CD4F29BD Time : 0.0 sec. user=mdettweiler [2018-11-24 23:36:46] 641*2^1532178-1 is not prime. Res64: 7AB6239EF3FDBDFB Time : 0.0 sec. user=mdettweiler [2018-11-24 23:37:08] 663*2^1532178-1 is not prime. Res64: DB071EBAF9BD4BCB Time : 0.0 sec. user=mdettweiler [2018-11-24 23:37:08] 677*2^1532178-1 is not prime. Res64: 96E4CD4799A85C79 Time : 0.0 sec. user=mdettweiler [2018-11-24 23:37:08] 747*2^1532178-1 is not prime. Res64: 12FA80A9D32AEB94 Time : 0.0 sec. user=mdettweiler [2018-11-24 23:37:09] 833*2^1532178-1 is not prime. Res64: C0BE50638DA3EB54 Time : 0.0 sec. user=mdettweiler [2018-11-24 23:37:09] 881*2^1532178-1 is not prime. Res64: 9F1BB4AE89B61EA3 Time : 0.0 sec. user=mdettweiler [2018-11-24 23:51:28] 971*2^1532178-1 is not prime. Res64: 1125E17B83A2CF1F Time : 0.0 sec. user=mdettweiler [2018-11-24 23:51:28] 975*2^1532178-1 is not prime. Res64: DE846645B493081D Time : 0.0 sec. user=mdettweiler [2018-11-24 23:51:28] 601*2^1532179-1 is not prime. Res64: D0D105A276EFE043 Time : 0.0 sec. user=mdettweiler [2018-11-24 23:51:29] 649*2^1532179-1 is not prime. Res64: 4A1E57CF2056A2F6 Time : 0.0 sec. user=mdettweiler [2018-11-24 23:51:29] 681*2^1532179-1 is not prime. Res64: 2C150B2716555E51 Time : 0.0 sec.