user=mdettweiler [2015-10-18 00:03:24] 801*2^1412451-1 is not prime. Res64: 90588D70427DE6BD Time : 0.0 sec. user=mdettweiler [2015-10-18 00:03:25] 891*2^1412451-1 is not prime. Res64: C210FCF5A4CEA0AA Time : 0.0 sec. user=mdettweiler [2015-10-18 00:03:57] 945*2^1412451-1 is not prime. Res64: 358776E7395C799E Time : 0.0 sec. user=mdettweiler [2015-10-18 00:03:58] 975*2^1412451-1 is not prime. Res64: 80839456E862B447 Time : 0.0 sec. user=mdettweiler [2015-10-18 00:16:43] 653*2^1412452-1 is not prime. Res64: 088A434B1F35FF06 Time : 0.0 sec. user=mdettweiler [2015-10-18 00:16:43] 695*2^1412452-1 is not prime. Res64: 609E53FCA738B0CD Time : 0.0 sec. user=mdettweiler [2015-10-18 00:17:35] 699*2^1412452-1 is not prime. Res64: 6D282F1757FF525B Time : 0.0 sec. user=mdettweiler [2015-10-18 00:17:35] 717*2^1412452-1 is not prime. Res64: EAF1E68A0005A35C Time : 0.0 sec. user=mdettweiler [2015-10-18 00:21:23] 779*2^1412452-1 is not prime. Res64: 4FED3E79CAD66B23 Time : 0.0 sec. user=mdettweiler [2015-10-18 00:21:23] 875*2^1412452-1 is not prime. Res64: 236A4EEBAD44F070 Time : 0.0 sec. user=mdettweiler [2015-10-18 00:21:47] 903*2^1412452-1 is not prime. Res64: B60845BDA8D2A72B Time : 0.0 sec. user=mdettweiler [2015-10-18 00:21:48] 929*2^1412452-1 is not prime. Res64: FE70B6F4E0CF8E92 Time : 0.0 sec. user=mdettweiler [2015-10-18 00:34:27] 975*2^1412452-1 is not prime. Res64: 805CA40273417105 Time : 0.0 sec. user=mdettweiler [2015-10-18 00:34:27] 607*2^1412453-1 is not prime. Res64: 6F8F811908BBB38A Time : 0.0 sec. user=mdettweiler [2015-10-18 00:35:22] 619*2^1412453-1 is not prime. Res64: 9DBE3A80AA4707A4 Time : 0.0 sec. user=mdettweiler [2015-10-18 00:35:22] 675*2^1412453-1 is not prime. Res64: 2A11E5DFAE7C5FFD Time : 0.0 sec. user=mdettweiler [2015-10-18 00:39:09] 691*2^1412453-1 is not prime. Res64: 407C3AA8075B9388 Time : 0.0 sec. user=mdettweiler [2015-10-18 00:39:09] 741*2^1412453-1 is not prime. Res64: C677EDA32005C8B1 Time : 0.0 sec. user=mdettweiler [2015-10-18 00:39:38] 861*2^1412453-1 is not prime. Res64: ADE636E7FD01686A Time : 0.0 sec. user=mdettweiler [2015-10-18 00:39:38] 957*2^1412453-1 is not prime. Res64: 126C1ED3A4A9F8BA Time : 0.0 sec. user=mdettweiler [2015-10-18 00:52:24] 741*2^1412454-1 is not prime. Res64: 85C2EF4AF8262BAC Time : 0.0 sec. user=mdettweiler [2015-10-18 00:52:25] 815*2^1412454-1 is not prime. Res64: 4C7626068FE3317A Time : 0.0 sec. user=mdettweiler [2015-10-18 00:53:22] 903*2^1412454-1 is not prime. Res64: 038C152AD4DFB9FC Time : 0.0 sec. user=mdettweiler [2015-10-18 00:53:23] 941*2^1412454-1 is not prime. Res64: 4D0763B53D8EEB36 Time : 0.0 sec. user=mdettweiler [2015-10-18 00:57:11] 619*2^1412455-1 is not prime. Res64: E5B4ED23B7CE178F Time : 0.0 sec. user=mdettweiler [2015-10-18 00:57:12] 861*2^1412455-1 is not prime. Res64: 3E25AEA25E719D8A Time : 0.0 sec. user=mdettweiler [2015-10-18 00:57:36] 895*2^1412455-1 is not prime. Res64: 2AB0D3191A08B8A1 Time : 0.0 sec. user=mdettweiler [2015-10-18 00:57:37] 635*2^1412456-1 is not prime. Res64: 301B20209BCC5D24 Time : 0.0 sec. user=mdettweiler [2015-10-18 01:10:28] 699*2^1412456-1 is not prime. Res64: F945FAD43B69D91E Time : 0.0 sec. user=mdettweiler [2015-10-18 01:10:29] 717*2^1412456-1 is not prime. Res64: CB703DE493CB19EA Time : 0.0 sec. user=mdettweiler [2015-10-18 01:11:22] 815*2^1412456-1 is not prime. Res64: 03EDF5BE4F4D0153 Time : 0.0 sec. user=mdettweiler [2015-10-18 01:11:24] 945*2^1412456-1 is not prime. Res64: 35E46770CEDFD9F1 Time : 0.0 sec. user=mdettweiler [2015-10-18 01:15:18] 625*2^1412457-1 is not prime. Res64: 193553E40F55012C Time : 0.0 sec. user=mdettweiler [2015-10-18 01:15:18] 649*2^1412457-1 is not prime. Res64: DC8CA30A8D83157C Time : 0.0 sec. user=mdettweiler [2015-10-18 01:15:46] 667*2^1412457-1 is not prime. Res64: C982912745457050 Time : 0.0 sec. user=mdettweiler [2015-10-18 01:15:46] 805*2^1412457-1 is not prime. Res64: 08BC10F6CDE9CD3B Time : 0.0 sec. user=mdettweiler [2015-10-18 01:28:29] 837*2^1412457-1 is not prime. Res64: E226A72912E0D9B8 Time : 0.0 sec. user=mdettweiler [2015-10-18 01:28:30] 889*2^1412457-1 is not prime. Res64: 79368BE243F3E111 Time : 0.0 sec. user=mdettweiler [2015-10-18 01:29:25] 955*2^1412457-1 is not prime. Res64: 962F71D26C9F6C9A Time : 0.0 sec. user=mdettweiler [2015-10-18 01:29:32] 603*2^1412458-1 is not prime. Res64: 35624C1E61E88825 Time : 0.0 sec. user=mdettweiler [2015-10-18 01:33:50] 677*2^1412458-1 is not prime. Res64: B545E603B200A032 Time : 0.0 sec. user=mdettweiler [2015-10-18 01:33:50] 681*2^1412458-1 is not prime. Res64: E06493D7B0D185F2 Time : 0.0 sec. user=mdettweiler [2015-10-18 01:34:08] 861*2^1412458-1 is not prime. Res64: A03EAF683C92D1EB Time : 0.0 sec. user=mdettweiler [2015-10-18 01:34:09] 945*2^1412458-1 is not prime. Res64: CE10DEE2610794EA Time : 0.0 sec. user=mdettweiler [2015-10-18 01:48:51] 951*2^1412458-1 is not prime. Res64: ABAEE8B15B33479E Time : 0.0 sec. user=mdettweiler [2015-10-18 01:48:51] 987*2^1412458-1 is not prime. Res64: 28167FD34315B510 Time : 0.0 sec. user=mdettweiler [2015-10-18 01:49:32] 601*2^1412459-1 is not prime. Res64: 835C36E68A9B36AE Time : 0.0 sec. user=mdettweiler [2015-10-18 01:49:32] 619*2^1412459-1 is not prime. Res64: 99297D6F0B5FD154 Time : 0.0 sec. user=mdettweiler [2015-10-18 01:53:28] 679*2^1412459-1 is not prime. Res64: 5050A35F4AD08D08 Time : 0.0 sec. user=mdettweiler [2015-10-18 01:53:29] 759*2^1412459-1 is not prime. Res64: BE8AC7A7D0CFBC80 Time : 0.0 sec. user=mdettweiler [2015-10-18 01:54:07] 825*2^1412459-1 is not prime. Res64: A67E1F70D9950059 Time : 0.0 sec. user=mdettweiler [2015-10-18 01:54:08] 861*2^1412459-1 is not prime. Res64: BE3DEB6DED92ED67 Time : 0.0 sec. user=mdettweiler [2015-10-18 02:08:08] 879*2^1412459-1 is not prime. Res64: C6F150C106541FE4 Time : 0.0 sec. user=mdettweiler [2015-10-18 02:08:09] 955*2^1412459-1 is not prime. Res64: 393F9383299F6DDD Time : 0.0 sec. user=mdettweiler [2015-10-18 02:08:53] 627*2^1412460-1 is not prime. Res64: 04EA2D5A182764A2 Time : 0.0 sec. user=mdettweiler [2015-10-18 02:08:53] 633*2^1412460-1 is not prime. Res64: 2498D3D61EF46631 Time : 0.0 sec. user=mdettweiler [2015-10-18 02:12:15] 707*2^1412460-1 is not prime. Res64: 4B564C8DF70B414D Time : 0.0 sec. user=mdettweiler [2015-10-18 02:12:15] 735*2^1412460-1 is not prime. Res64: CE61D7389CDA9849 Time : 0.0 sec. user=mdettweiler [2015-10-18 02:12:53] 957*2^1412460-1 is not prime. Res64: FAE5C95C0BF3EE2B Time : 0.0 sec. user=mdettweiler [2015-10-18 02:12:54] 639*2^1412461-1 is not prime. Res64: 287CCF35C3F4417F Time : 0.0 sec. user=mdettweiler [2015-10-18 02:27:01] 741*2^1412461-1 is not prime. Res64: 6B51B5BA7BB8E21C Time : 0.0 sec. user=mdettweiler [2015-10-18 02:27:01] 801*2^1412461-1 is not prime. Res64: E1A6408F3C674D34 Time : 0.0 sec. user=mdettweiler [2015-10-18 02:27:45] 819*2^1412461-1 is not prime. Res64: 4EC8F35119A1B7DD Time : 0.0 sec. user=mdettweiler [2015-10-18 02:27:46] 871*2^1412461-1 is not prime. Res64: C53A9A3C16C61E92 Time : 0.0 sec. user=mdettweiler [2015-10-18 02:30:48] 889*2^1412461-1 is not prime. Res64: 199C07924F0A71E6 Time : 0.0 sec. user=mdettweiler [2015-10-18 02:30:49] 955*2^1412461-1 is not prime. Res64: AD8E07032D9AF354 Time : 0.0 sec. user=mdettweiler [2015-10-18 02:31:43] 623*2^1412462-1 is not prime. Res64: F4F8655F7C133284 Time : 0.0 sec. user=mdettweiler [2015-10-18 02:31:43] 645*2^1412462-1 is not prime. Res64: 394FEF99EEE795BE Time : 0.0 sec. user=mdettweiler [2015-10-18 02:45:40] 679*2^1412463-1 is not prime. Res64: 73E8A6DF4285537B Time : 0.0 sec. user=mdettweiler [2015-10-18 02:45:41] 685*2^1412463-1 is not prime. Res64: B4EEADF0F9E670B1 Time : 0.0 sec. user=mdettweiler [2015-10-18 02:46:17] 709*2^1412463-1 is not prime. Res64: D12B27A6B86E213E Time : 0.0 sec. user=mdettweiler [2015-10-18 02:46:18] 763*2^1412463-1 is not prime. Res64: 26A3B642434EADA1 Time : 0.0 sec. user=mdettweiler [2015-10-18 02:49:21] 789*2^1412463-1 is not prime. Res64: C3E27BC13D1A284A Time : 0.0 sec. user=mdettweiler [2015-10-18 02:49:22] 795*2^1412463-1 is not prime. Res64: 9C3BC959B20D2D51 Time : 0.0 sec. user=mdettweiler [2015-10-18 02:50:30] 831*2^1412463-1 is not prime. Res64: D19712F0EC729561 Time : 0.0 sec. user=mdettweiler [2015-10-18 02:50:31] 605*2^1412464-1 is not prime. Res64: D10E138E14A2CD27 Time : 0.0 sec. user=mdettweiler [2015-10-18 03:04:16] 843*2^1412464-1 is not prime. Res64: 68A16A75E83D30D3 Time : 0.0 sec. user=mdettweiler [2015-10-18 03:04:18] 679*2^1412465-1 is not prime. Res64: 97CDFCD4C843165B Time : 0.0 sec. user=mdettweiler [2015-10-18 03:05:00] 699*2^1412465-1 is not prime. Res64: 22998542CA6F681C Time : 0.0 sec. user=mdettweiler [2015-10-18 03:05:02] 771*2^1412465-1 is not prime. Res64: 870F1FAF9456A3B5 Time : 0.0 sec. user=mdettweiler [2015-10-18 03:07:24] 885*2^1412465-1 is not prime. Res64: 71407EE0F6B7FEDB Time : 0.0 sec. user=mdettweiler [2015-10-18 03:07:25] 897*2^1412465-1 is not prime. Res64: CDC76829C800A346 Time : 0.0 sec. user=mdettweiler [2015-10-18 03:08:31] 635*2^1412466-1 is not prime. Res64: 027D48DF9AD2BFA7 Time : 0.0 sec. user=mdettweiler [2015-10-18 03:08:32] 717*2^1412466-1 is not prime. Res64: 483F148A699E73AC Time : 0.0 sec. user=mdettweiler [2015-10-18 03:22:43] 821*2^1412466-1 is not prime. Res64: 317373239C7A1058 Time : 0.0 sec. user=mdettweiler [2015-10-18 03:22:44] 851*2^1412466-1 is not prime. Res64: 5CDD45E6B8407956 Time : 0.0 sec. user=mdettweiler [2015-10-18 03:23:09] 645*2^1412467-1 is not prime. Res64: 02B31C0D0791F158 Time : 0.0 sec. user=mdettweiler [2015-10-18 03:23:10] 705*2^1412467-1 is not prime. Res64: CEC72F045A917FA4 Time : 0.0 sec. user=mdettweiler [2015-10-18 03:25:28] 759*2^1412467-1 is not prime. Res64: 731E6C24E480DBB6 Time : 0.0 sec. user=mdettweiler [2015-10-18 03:25:29] 769*2^1412467-1 is not prime. Res64: C8CD16983F5549D4 Time : 0.0 sec. user=mdettweiler [2015-10-18 03:26:33] 975*2^1412467-1 is not prime. Res64: 71DC83229AED0946 Time : 0.0 sec. user=mdettweiler [2015-10-18 03:26:34] 629*2^1412468-1 is not prime. Res64: 7165D4F39FA48539 Time : 0.0 sec. user=mdettweiler [2015-10-18 03:40:54] 743*2^1412468-1 is not prime. Res64: 592C3C3E4343D4A0 Time : 0.0 sec. user=mdettweiler [2015-10-18 03:40:55] 827*2^1412468-1 is not prime. Res64: F30FE48F7BC8A26C Time : 0.0 sec. user=mdettweiler [2015-10-18 03:41:10] 837*2^1412468-1 is not prime. Res64: 6875712E5E5376E2 Time : 0.0 sec. user=mdettweiler [2015-10-18 03:41:13] 959*2^1412468-1 is not prime. Res64: D3349641F13F3B62 Time : 0.0 sec. user=mdettweiler [2015-10-18 03:43:27] 999*2^1412468-1 is not prime. Res64: 338F4A2AE40FEB8B Time : 0.0 sec. user=mdettweiler [2015-10-18 03:43:28] 615*2^1412469-1 is not prime. Res64: A3BC35871D8A42C8 Time : 0.0 sec. user=mdettweiler [2015-10-18 03:44:36] 735*2^1412469-1 is not prime. Res64: AF6D768B27927614 Time : 0.0 sec. user=mdettweiler [2015-10-18 03:44:38] 745*2^1412469-1 is not prime. Res64: D36E86DB90EAAAA3 Time : 0.0 sec. user=mdettweiler [2015-10-18 03:58:59] 795*2^1412469-1 is not prime. Res64: 31F86A06F16EAF55 Time : 0.0 sec. user=mdettweiler [2015-10-18 03:59:01] 919*2^1412469-1 is not prime. Res64: 6F609A17F9D74DA2 Time : 0.0 sec. user=mdettweiler [2015-10-18 03:59:20] 999*2^1412469-1 is not prime. Res64: 7476477D9CF21108 Time : 0.0 sec. user=mdettweiler [2015-10-18 03:59:22] 653*2^1412470-1 is not prime. Res64: 41914F7007C5F53C Time : 0.0 sec. user=mdettweiler [2015-10-18 04:01:31] 707*2^1412470-1 is not prime. Res64: 237F4E710DCAAE8E Time : 0.0 sec. user=mdettweiler [2015-10-18 04:01:33] 723*2^1412470-1 is not prime. Res64: E06A1D49681F6AFA Time : 0.0 sec. user=mdettweiler [2015-10-18 04:02:46] 741*2^1412470-1 is not prime. Res64: A532962F55D95118 Time : 0.0 sec. user=mdettweiler [2015-10-18 04:02:47] 777*2^1412470-1 is not prime. Res64: C57696E782A289FD Time : 0.0 sec. user=mdettweiler [2015-10-18 04:17:49] 669*2^1412471-1 is not prime. Res64: 2216C7D7D67EB9EF Time : 0.0 sec. user=mdettweiler [2015-10-18 04:17:50] 673*2^1412471-1 is not prime. Res64: C8A98E612A63B950 Time : 0.0 sec. user=mdettweiler [2015-10-18 04:18:01] 675*2^1412471-1 is not prime. Res64: CE3B17286DE17466 Time : 0.0 sec. user=mdettweiler [2015-10-18 04:18:03] 759*2^1412471-1 is not prime. Res64: D2662DA15BE169C5 Time : 0.0 sec. user=mdettweiler [2015-10-18 04:20:20] 859*2^1412471-1 is not prime. Res64: 99E96A68C75A6A60 Time : 0.0 sec. user=mdettweiler [2015-10-18 04:20:21] 879*2^1412471-1 is not prime. Res64: 0D443796F19C766A Time : 0.0 sec. user=mdettweiler [2015-10-18 04:21:46] 991*2^1412471-1 is not prime. Res64: 6255359C99EA062D Time : 0.0 sec. user=mdettweiler [2015-10-18 04:21:47] 629*2^1412472-1 is not prime. Res64: 9EB48837A11B5067 Time : 0.0 sec. user=mdettweiler [2015-10-18 04:36:26] 665*2^1412472-1 is not prime. Res64: 4C3739DDDA71804A Time : 0.0 sec. user=mdettweiler [2015-10-18 04:36:27] 695*2^1412472-1 is not prime. Res64: 6938DD6DF0C680B8 Time : 0.0 sec. user=mdettweiler [2015-10-18 04:36:37] 719*2^1412472-1 is not prime. Res64: C3C8F884610C09F5 Time : 0.0 sec. user=mdettweiler [2015-10-18 04:36:38] 777*2^1412472-1 is not prime. Res64: 4F06FCACC5935C71 Time : 0.0 sec. user=mdettweiler [2015-10-18 04:38:53] 803*2^1412472-1 is not prime. Res64: 8638A87600C2C577 Time : 0.0 sec. user=mdettweiler [2015-10-18 04:38:54] 915*2^1412472-1 is not prime. Res64: 91413618B1CA889A Time : 0.0 sec. user=mdettweiler [2015-10-18 04:40:20] 983*2^1412472-1 is not prime. Res64: 53AFB208F36E7CE6 Time : 0.0 sec. user=mdettweiler [2015-10-18 04:40:22] 999*2^1412472-1 is not prime. Res64: B5649FEC06226F46 Time : 0.0 sec. user=mdettweiler [2015-10-18 04:54:42] 609*2^1412473-1 is not prime. Res64: 2CF10338523DC725 Time : 0.0 sec. user=mdettweiler [2015-10-18 04:54:43] 685*2^1412473-1 is not prime. Res64: AF810BDBF04853DF Time : 0.0 sec. user=mdettweiler [2015-10-18 04:55:00] 741*2^1412474-1 is not prime. Res64: 8290CC4D11616A02 Time : 0.0 sec. user=mdettweiler [2015-10-18 04:55:02] 773*2^1412474-1 is not prime. Res64: 62C3A2F626CCD914 Time : 0.0 sec. user=mdettweiler [2015-10-18 04:57:13] 797*2^1412474-1 is not prime. Res64: C01B07BE756A483B Time : 0.0 sec. user=mdettweiler [2015-10-18 04:57:14] 935*2^1412474-1 is not prime. Res64: 2FBC3EF0B38220F6 Time : 0.0 sec. user=mdettweiler [2015-10-18 04:58:37] 953*2^1412474-1 is not prime. Res64: F9D5AB73BF45644B Time : 0.0 sec. user=mdettweiler [2015-10-18 04:58:38] 685*2^1412475-1 is not prime. Res64: 71CDAFE0F8FC3436 Time : 0.0 sec. user=mdettweiler [2015-10-18 05:12:33] 751*2^1412475-1 is not prime. Res64: 9F01354B246CE4AE Time : 0.0 sec. user=mdettweiler [2015-10-18 05:12:34] 765*2^1412475-1 is not prime. Res64: 5CEE20FCEA2FEFE8 Time : 0.0 sec. user=mdettweiler [2015-10-18 05:12:50] 775*2^1412475-1 is not prime. Res64: B3DB2708BFD9B6B6 Time : 0.0 sec. user=mdettweiler [2015-10-18 05:12:51] 943*2^1412475-1 is not prime. Res64: 7326F0422B68F0E9 Time : 0.0 sec. user=mdettweiler [2015-10-18 05:15:06] 955*2^1412475-1 is not prime. Res64: 1ADB6FD50E5B77FA Time : 0.0 sec. user=mdettweiler [2015-10-18 05:15:06] 609*2^1412476-1 is not prime. Res64: 05E759544C300B58 Time : 0.0 sec. user=mdettweiler [2015-10-18 05:16:33] 693*2^1412476-1 is not prime. Res64: 048068120056259F Time : 0.0 sec. user=mdettweiler [2015-10-18 05:16:35] 749*2^1412476-1 is not prime. Res64: 73E80756FF341306 Time : 0.0 sec. user=mdettweiler [2015-10-18 05:30:28] 833*2^1412476-1 is not prime. Res64: 1A0B0A0088784A9B Time : 0.0 sec. user=mdettweiler [2015-10-18 05:30:29] 887*2^1412476-1 is not prime. Res64: 67BBA8C71B573D19 Time : 0.0 sec. user=mdettweiler [2015-10-18 05:30:42] 615*2^1412477-1 is not prime. Res64: 8F7374C18FC58B7F Time : 0.0 sec. user=mdettweiler [2015-10-18 05:30:43] 735*2^1412477-1 is not prime. Res64: 26A0AEDAC66FA9ED Time : 0.0 sec. user=mdettweiler [2015-10-18 05:32:58] 837*2^1412477-1 is not prime. Res64: 9A3FFF072B4FEE87 Time : 0.0 sec. user=mdettweiler [2015-10-18 05:32:59] 847*2^1412477-1 is not prime. Res64: C68D815E159C4016 Time : 0.0 sec. user=mdettweiler [2015-10-18 05:34:31] 915*2^1412477-1 is not prime. Res64: C321CA3C733AB2D7 Time : 0.0 sec. user=mdettweiler [2015-10-18 05:34:32] 925*2^1412477-1 is not prime. Res64: 02DCF7CA3799DEF2 Time : 0.0 sec. user=mdettweiler [2015-10-18 05:48:31] 927*2^1412477-1 is not prime. Res64: ABC76FA7D577E231 Time : 0.0 sec. user=mdettweiler [2015-10-18 05:48:32] 937*2^1412477-1 is not prime. Res64: 8CA93409CF5FB91C Time : 0.0 sec. user=mdettweiler [2015-10-18 05:48:44] 985*2^1412477-1 is not prime. Res64: D7E91B5E3793EA9F Time : 0.0 sec. user=mdettweiler [2015-10-18 05:48:45] 641*2^1412478-1 is not prime. Res64: CEC292EC593D6E9F Time : 0.0 sec. user=mdettweiler [2015-10-18 05:50:53] 651*2^1412478-1 is not prime. Res64: 0C28EE1C3573A153 Time : 0.0 sec. user=mdettweiler [2015-10-18 05:50:54] 657*2^1412478-1 is not prime. Res64: 71631B2F3C9C1859 Time : 0.0 sec. user=mdettweiler [2015-10-18 05:52:30] 663*2^1412478-1 is not prime. Res64: F46FA1A3191EDC94 Time : 0.0 sec. user=mdettweiler [2015-10-18 05:52:31] 713*2^1412478-1 is not prime. Res64: 2832050F28009A10 Time : 0.0 sec. user=mdettweiler [2015-10-18 06:06:34] 737*2^1412478-1 is not prime. Res64: DB50CAA4DA8445CB Time : 0.0 sec. user=mdettweiler [2015-10-18 06:06:35] 755*2^1412478-1 is not prime. Res64: 4D269B1205A712F5 Time : 0.0 sec. user=mdettweiler [2015-10-18 06:06:39] 773*2^1412478-1 is not prime. Res64: A63BD4AF6B11ADF9 Time : 0.0 sec. user=mdettweiler [2015-10-18 06:06:40] 777*2^1412478-1 is not prime. Res64: 05E762D0FA2F7A72 Time : 0.0 sec. user=mdettweiler [2015-10-18 06:09:00] 843*2^1412478-1 is not prime. Res64: 6CE7E16DEA31A824 Time : 0.0 sec. user=mdettweiler [2015-10-18 06:09:02] 921*2^1412478-1 is not prime. Res64: 4BDBCCA2B3177777 Time : 0.0 sec. user=mdettweiler [2015-10-18 06:10:27] 927*2^1412478-1 is not prime. Res64: A020119D11FDCCE6 Time : 0.0 sec. user=mdettweiler [2015-10-18 06:10:27] 645*2^1412479-1 is not prime. Res64: CF2C80E07BB70664 Time : 0.0 sec. user=mdettweiler [2015-10-18 06:24:34] 843*2^1412479-1 is not prime. Res64: 4ABAE93F3B3EB42E Time : 0.0 sec. user=mdettweiler [2015-10-18 06:24:35] 853*2^1412479-1 is not prime. Res64: 6D7BEF7780FE048B Time : 0.0 sec. user=mdettweiler [2015-10-18 06:24:36] 679*2^1412479-1 is not prime. Res64: 414EA2840C4A3744 Time : 0.0 sec. user=mdettweiler [2015-10-18 06:24:37] 759*2^1412479-1 is not prime. Res64: BD4983242DBD625B Time : 0.0 sec. user=mdettweiler [2015-10-18 06:26:54] 951*2^1412479-1 is not prime. Res64: CCE7BAE154425C97 Time : 0.0 sec. user=mdettweiler [2015-10-18 06:26:55] 973*2^1412479-1 is not prime. Res64: EEFDC5CAAB83BB6E Time : 0.0 sec. user=mdettweiler [2015-10-18 06:28:19] 629*2^1412480-1 is not prime. Res64: 2187C8149E61EB65 Time : 0.0 sec. user=mdettweiler [2015-10-18 06:28:20] 669*2^1412480-1 is not prime. Res64: 3CE8091E0E0DA1D3 Time : 0.0 sec. user=mdettweiler [2015-10-18 06:42:27] 719*2^1412480-1 is not prime. Res64: 0CE9AFA55989E1FD Time : 0.0 sec. user=mdettweiler [2015-10-18 06:42:28] 743*2^1412480-1 is not prime. Res64: CA0C5E274DABEE46 Time : 0.0 sec. user=mdettweiler [2015-10-18 06:42:33] 773*2^1412480-1 is not prime. Res64: ADAA6464949B6E10 Time : 0.0 sec. user=mdettweiler [2015-10-18 06:42:34] 777*2^1412480-1 is not prime. Res64: 48B9B668C895571F Time : 0.0 sec. user=mdettweiler [2015-10-18 06:44:48] 909*2^1412480-1 is not prime. Res64: 359437C96E53DFF3 Time : 0.0 sec. user=mdettweiler [2015-10-18 06:44:49] 927*2^1412480-1 is not prime. Res64: C43BAD519EF20986 Time : 0.0 sec. user=mdettweiler [2015-10-18 06:46:17] 959*2^1412480-1 is not prime. Res64: E1159A9C66CB5985 Time : 0.0 sec. user=mdettweiler [2015-10-18 06:46:18] 627*2^1412481-1 is not prime. Res64: DD72A91094B47D8D Time : 0.0 sec. user=mdettweiler [2015-10-18 07:00:26] 651*2^1412481-1 is not prime. Res64: 00AA42FEE0F9C551 Time : 0.0 sec. user=mdettweiler [2015-10-18 07:00:28] 987*2^1412481-1 is not prime. Res64: CB1D72BAABB682C6 Time : 0.0 sec. user=mdettweiler [2015-10-18 07:00:34] 635*2^1412482-1 is not prime. Res64: BAEB96E6FE9272F9 Time : 0.0 sec. user=mdettweiler [2015-10-18 07:00:35] 791*2^1412482-1 is not prime. Res64: A700FEE7FC01B380 Time : 0.0 sec. user=mdettweiler [2015-10-18 07:02:47] 827*2^1412482-1 is not prime. Res64: 325594856AE8ACE5 Time : 0.0 sec. user=mdettweiler [2015-10-18 07:02:49] 891*2^1412482-1 is not prime. Res64: DD2704B2B22B82C5 Time : 0.0 sec. user=mdettweiler [2015-10-18 07:04:14] 987*2^1412482-1 is not prime. Res64: FF174C3222CB8C51 Time : 0.0 sec. user=mdettweiler [2015-10-18 07:04:16] 693*2^1412483-1 is not prime. Res64: 931F9916C29CD8C4 Time : 0.0 sec. user=mdettweiler [2015-10-18 07:18:23] 853*2^1412483-1 is not prime. Res64: 035E786FE4AED97D Time : 0.0 sec. user=mdettweiler [2015-10-18 07:18:24] 945*2^1412483-1 is not prime. Res64: C618672C3F9B2E54 Time : 0.0 sec. user=mdettweiler [2015-10-18 07:18:37] 949*2^1412483-1 is not prime. Res64: 8E3C93BDEBE2A120 Time : 0.0 sec. user=mdettweiler [2015-10-18 07:18:38] 955*2^1412483-1 is not prime. Res64: 3A842289A76D856E Time : 0.0 sec. user=mdettweiler [2015-10-18 07:21:04] 605*2^1412484-1 is not prime. Res64: DB5714AC01C77195 Time : 0.0 sec. user=mdettweiler [2015-10-18 07:21:05] 675*2^1412484-1 is not prime. Res64: 49DA720E58346D28 Time : 0.0 sec. user=mdettweiler [2015-10-18 07:22:23] 749*2^1412484-1 is not prime. Res64: 14C579E409E683CE Time : 0.0 sec. user=mdettweiler [2015-10-18 07:22:24] 893*2^1412484-1 is not prime. Res64: D836DEF2B1D2B120 Time : 0.0 sec. user=mdettweiler [2015-10-18 07:36:15] 987*2^1412484-1 is not prime. Res64: 7332FD5CD8784EA5 Time : 0.0 sec. user=mdettweiler [2015-10-18 07:36:15] 607*2^1412485-1 is not prime. Res64: 232C6B6DC87874A1 Time : 0.0 sec. user=mdettweiler [2015-10-18 07:36:35] 777*2^1412485-1 is not prime. Res64: 4BBE687C8AF6D393 Time : 0.0 sec. user=mdettweiler [2015-10-18 07:36:36] 789*2^1412485-1 is not prime. Res64: 0F4A1867F2C73A92 Time : 0.0 sec. user=mdettweiler [2015-10-18 07:39:05] 861*2^1412485-1 is not prime. Res64: FD5C02A6A640EF49 Time : 0.0 sec. user=mdettweiler [2015-10-18 07:39:06] 871*2^1412485-1 is not prime. Res64: D1AE4986E8DEB808 Time : 0.0 sec. user=mdettweiler [2015-10-18 07:40:21] 999*2^1412485-1 is not prime. Res64: 171C52692EBB92D5 Time : 0.0 sec. user=mdettweiler [2015-10-18 07:40:22] 693*2^1412486-1 is not prime. Res64: 13ED5E1C52AF859A Time : 0.0 sec. user=mdettweiler [2015-10-18 07:54:14] 705*2^1412486-1 is not prime. Res64: C7B43F72666C7539 Time : 0.0 sec. user=mdettweiler [2015-10-18 07:54:15] 801*2^1412486-1 is not prime. Res64: 73CE98D964D9F7C0 Time : 0.0 sec. user=mdettweiler [2015-10-18 07:54:35] 643*2^1412487-1 is not prime. Res64: AA484D0819684B9C Time : 0.0 sec. user=mdettweiler [2015-10-18 07:54:36] 739*2^1412487-1 is not prime. Res64: F617BB107CBA3019 Time : 0.0 sec. user=mdettweiler [2015-10-18 07:57:04] 951*2^1412487-1 is not prime. Res64: 3F5E4646E7249272 Time : 0.0 sec. user=mdettweiler [2015-10-18 07:57:05] 605*2^1412488-1 is not prime. Res64: BA5342DB9E8789DE Time : 0.0 sec. user=mdettweiler [2015-10-18 07:58:19] 777*2^1412488-1 is not prime. Res64: BB224B85787B6D9C Time : 0.0 sec. user=mdettweiler [2015-10-18 07:58:20] 827*2^1412488-1 is not prime. Res64: 9ADED3291912EE5D Time : 0.0 sec. user=mdettweiler [2015-10-18 08:12:16] 863*2^1412488-1 is not prime. Res64: 1E110E0E2FD52B3E Time : 0.0 sec. user=mdettweiler [2015-10-18 08:12:17] 969*2^1412488-1 is not prime. Res64: E62928BADF8E997D Time : 0.0 sec. user=mdettweiler [2015-10-18 08:12:30] 999*2^1412488-1 is not prime. Res64: 8A9A5326540428A5 Time : 0.0 sec. user=mdettweiler [2015-10-18 08:12:31] 631*2^1412489-1 is not prime. Res64: 96A1AECFC123D0B1 Time : 0.0 sec. user=mdettweiler [2015-10-18 08:15:02] 649*2^1412489-1 is not prime. Res64: 4593EBBCCCDF6015 Time : 0.0 sec. user=mdettweiler [2015-10-18 08:15:03] 685*2^1412489-1 is not prime. Res64: A30929F338558AD3 Time : 0.0 sec. user=mdettweiler [2015-10-18 08:16:21] 745*2^1412489-1 is not prime. Res64: BB96B8E79DA0DDC8 Time : 0.0 sec. user=mdettweiler [2015-10-18 08:16:22] 777*2^1412490-1 is not prime. Res64: 854B7C1C7AF16AD1 Time : 0.0 sec. user=mdettweiler [2015-10-18 08:30:13] 845*2^1412490-1 is not prime. Res64: 72EC2AE1554DFF26 Time : 0.0 sec. user=mdettweiler [2015-10-18 08:30:14] 875*2^1412490-1 is not prime. Res64: 37BF022116354240 Time : 0.0 sec. user=mdettweiler [2015-10-18 08:30:23] 941*2^1412490-1 is not prime. Res64: 8201F6B4309B5304 Time : 0.0 sec. user=mdettweiler [2015-10-18 08:30:23] 709*2^1412491-1 is not prime. Res64: DF6FECDA4AE53815 Time : 0.0 sec. user=mdettweiler [2015-10-18 08:33:00] 723*2^1412491-1 is not prime. Res64: 0555E0BD3A902B57 Time : 0.0 sec. user=mdettweiler [2015-10-18 08:33:01] 783*2^1412491-1 is not prime. Res64: DA1581C95F7157F0 Time : 0.0 sec. user=mdettweiler [2015-10-18 08:34:19] 789*2^1412491-1 is not prime. Res64: 5BEC291651CE4BA5 Time : 0.0 sec. user=mdettweiler [2015-10-18 08:34:21] 793*2^1412491-1 is not prime. Res64: 2DCBE12C17FE753F Time : 0.0 sec. user=mdettweiler [2015-10-18 08:48:10] 633*2^1412492-1 is not prime. Res64: 61A70B44622C4A82 Time : 0.0 sec. user=mdettweiler [2015-10-18 08:48:11] 735*2^1412492-1 is not prime. Res64: C2835799AC1FD915 Time : 0.0 sec. user=mdettweiler [2015-10-18 08:48:15] 813*2^1412492-1 is not prime. Res64: 62FFDEF10E8B0C27 Time : 0.0 sec. user=mdettweiler [2015-10-18 08:48:16] 885*2^1412492-1 is not prime. Res64: E014F101D8EAE7DA Time : 0.0 sec. user=mdettweiler [2015-10-18 08:51:16] 899*2^1412492-1 is not prime. Res64: 7601FDCFC152ADA8 Time : 0.0 sec. user=mdettweiler [2015-10-18 08:51:17] 999*2^1412492-1 is not prime. Res64: 01ACDF6C6898A105 Time : 0.0 sec. user=mdettweiler [2015-10-18 08:52:12] 609*2^1412493-1 is not prime. Res64: 2963C40438394F30 Time : 0.0 sec. user=mdettweiler [2015-10-18 08:52:13] 747*2^1412493-1 is not prime. Res64: FE856845A4774991 Time : 0.0 sec. user=mdettweiler [2015-10-18 09:06:27] 969*2^1412493-1 is not prime. Res64: D888F77C8894F86A Time : 0.0 sec. user=mdettweiler [2015-10-18 09:06:28] 717*2^1412494-1 is not prime. Res64: D3065E4DF9284D88 Time : 0.0 sec. user=mdettweiler [2015-10-18 09:06:30] 999*2^1412493-1 is not prime. Res64: CBFA8B4AD4B989DB Time : 0.0 sec. user=mdettweiler [2015-10-18 09:06:31] 723*2^1412494-1 is not prime. Res64: 2313B30B0DDC1D54 Time : 0.0 sec. user=mdettweiler [2015-10-18 09:09:39] 731*2^1412494-1 is not prime. Res64: 4A9C536A924B3A0A Time : 0.0 sec. user=mdettweiler [2015-10-18 09:09:41] 747*2^1412494-1 is not prime. Res64: F450219361C5ECFB Time : 0.0 sec. user=mdettweiler [2015-10-18 09:10:15] 881*2^1412494-1 is not prime. Res64: 334C94D06A7BAFCA Time : 0.0 sec. user=mdettweiler [2015-10-18 09:10:16] 945*2^1412494-1 is not prime. Res64: C0BF58B38F1C4474 Time : 0.0 sec. user=mdettweiler [2015-10-18 09:24:31] 783*2^1412495-1 is not prime. Res64: DB157EF2A030A376 Time : 0.0 sec. user=mdettweiler [2015-10-18 09:24:32] 789*2^1412495-1 is not prime. Res64: 0110D4B5AAA08A69 Time : 0.0 sec. user=mdettweiler [2015-10-18 09:24:37] 981*2^1412494-1 is not prime. Res64: B590429ECB65DC94 Time : 0.0 sec. user=mdettweiler [2015-10-18 09:24:37] 759*2^1412495-1 is not prime. Res64: 117B63A64EC91C11 Time : 0.0 sec. user=mdettweiler [2015-10-18 09:27:47] 823*2^1412495-1 is not prime. Res64: 3642D79413A8A2AC Time : 0.0 sec. user=mdettweiler [2015-10-18 09:27:48] 939*2^1412495-1 is not prime. Res64: DAA490707E813376 Time : 0.0 sec. user=mdettweiler [2015-10-18 09:28:17] 669*2^1412496-1 is not prime. Res64: 30C6D72B9B530FA6 Time : 0.0 sec. user=mdettweiler [2015-10-18 09:28:18] 773*2^1412496-1 is not prime. Res64: C502B4B8C97611F7 Time : 0.0 sec. user=mdettweiler [2015-10-18 09:42:34] 779*2^1412496-1 is not prime. Res64: 90A05EA71BD5D39E Time : 0.0 sec. user=mdettweiler [2015-10-18 09:42:35] 843*2^1412496-1 is not prime. Res64: 2CB406C182D3EC3A Time : 0.0 sec. user=mdettweiler [2015-10-18 09:42:38] 887*2^1412496-1 is not prime. Res64: 176E4768C7781356 Time : 0.0 sec. user=mdettweiler [2015-10-18 09:42:39] 999*2^1412496-1 is not prime. Res64: C9DF0A1FA533CDAA Time : 0.0 sec. user=mdettweiler [2015-10-18 09:45:44] 741*2^1412497-1 is not prime. Res64: 6F261243F9BF6CD3 Time : 0.0 sec. user=mdettweiler [2015-10-18 09:45:45] 841*2^1412497-1 is not prime. Res64: CE1C06B7E176E880 Time : 0.0 sec. user=mdettweiler [2015-10-18 09:46:17] 889*2^1412497-1 is not prime. Res64: F7D9329BA4DBB519 Time : 0.0 sec. user=mdettweiler [2015-10-18 09:46:18] 713*2^1412498-1 is not prime. Res64: 6CD933B0FEC00158 Time : 0.0 sec. user=mdettweiler [2015-10-18 10:00:40] 935*2^1412498-1 is not prime. Res64: CEC67719148636D8 Time : 0.0 sec. user=mdettweiler [2015-10-18 10:00:43] 621*2^1412499-1 is not prime. Res64: 6F803E668812A42A Time : 0.0 sec. user=mdettweiler [2015-10-18 10:00:43] 837*2^1412498-1 is not prime. Res64: 7FD183A3A2B00117 Time : 0.0 sec. user=mdettweiler [2015-10-18 10:00:45] 911*2^1412498-1 is not prime. Res64: 4A53CBED229F6E32 Time : 0.0 sec. user=mdettweiler [2015-10-18 10:03:37] 675*2^1412499-1 is not prime. Res64: 597BCB8E5EB548E3 Time : 0.0 sec. user=mdettweiler [2015-10-18 10:03:38] 895*2^1412499-1 is not prime. Res64: BB77ABEB39C2604F Time : 0.0 sec. user=mdettweiler [2015-10-18 10:04:11] 975*2^1412499-1 is not prime. Res64: 1DB80B9A459DC7A9 Time : 0.0 sec. user=mdettweiler [2015-10-18 10:04:14] 979*2^1412499-1 is not prime. Res64: DB6214F4BDD9A601 Time : 0.0 sec. user=mdettweiler [2015-10-18 10:18:42] 985*2^1412499-1 is not prime. Res64: 093EBF221D7D23C6 Time : 0.0 sec. user=mdettweiler [2015-10-18 10:18:43] 653*2^1412500-1 is not prime. Res64: 4ACF9B56BEEC6984 Time : 0.0 sec. user=mdettweiler [2015-10-18 10:18:44] 687*2^1412500-1 is not prime. Res64: 6473ECE36AC4CD34 Time : 0.0 sec. user=mdettweiler [2015-10-18 10:18:45] 765*2^1412500-1 is not prime. Res64: 8C9A5BEBF5468F07 Time : 0.0 sec. user=mdettweiler [2015-10-18 10:21:50] 773*2^1412500-1 is not prime. Res64: 09820C9244DB6EC1 Time : 0.0 sec. user=mdettweiler [2015-10-18 10:21:51] 825*2^1412500-1 is not prime. Res64: 2EF278CB1E17A0C4 Time : 0.0 sec. user=mdettweiler [2015-10-18 10:22:19] 833*2^1412500-1 is not prime. Res64: C55DFACC769E0B21 Time : 0.0 sec. user=mdettweiler [2015-10-18 10:22:20] 843*2^1412500-1 is not prime. Res64: F412561BF85B1C9E Time : 0.0 sec. user=mdettweiler [2015-10-18 10:36:41] 923*2^1412500-1 is not prime. Res64: D309C93665F42237 Time : 0.0 sec. user=mdettweiler [2015-10-18 10:36:42] 959*2^1412500-1 is not prime. Res64: F8408B9B5C3FFB1E Time : 0.0 sec. user=mdettweiler [2015-10-18 10:36:46] 735*2^1412501-1 is not prime. Res64: D08CE05E8D8B01E8 Time : 0.0 sec. user=mdettweiler [2015-10-18 10:36:47] 867*2^1412501-1 is not prime. Res64: 0913A2331525B94E Time : 0.0 sec. user=mdettweiler [2015-10-18 10:39:44] 889*2^1412501-1 is not prime. Res64: C9DB3CA4F61CC178 Time : 0.0 sec. user=mdettweiler [2015-10-18 10:39:45] 951*2^1412501-1 is not prime. Res64: FF3FEC80175FF113 Time : 0.0 sec. user=mdettweiler [2015-10-18 10:40:14] 981*2^1412501-1 is not prime. Res64: AA0AA956A8CCDB02 Time : 0.0 sec. user=mdettweiler [2015-10-18 10:40:14] 671*2^1412502-1 is not prime. Res64: E156ECC879159E99 Time : 0.0 sec. user=mdettweiler [2015-10-18 10:54:36] 917*2^1412502-1 is not prime. Res64: 45CC61A1BA562D34 Time : 0.0 sec. user=mdettweiler [2015-10-18 10:54:36] 723*2^1412502-1 is not prime. Res64: EB89D8A41F57934C Time : 0.0 sec. user=mdettweiler [2015-10-18 10:54:37] 975*2^1412502-1 is not prime. Res64: BB8BEF2D954526D0 Time : 0.0 sec. user=mdettweiler [2015-10-18 10:54:37] 777*2^1412502-1 is not prime. Res64: B2021972FE3A7EA8 Time : 0.0 sec. user=mdettweiler [2015-10-18 10:57:41] 615*2^1412503-1 is not prime. Res64: 312D9B8F7D0AECD3 Time : 0.0 sec. user=mdettweiler [2015-10-18 10:57:42] 709*2^1412503-1 is not prime. Res64: 1A8BA0DB1A255B9E Time : 0.0 sec. user=mdettweiler [2015-10-18 10:58:15] 763*2^1412503-1 is not prime. Res64: 8EA5721EA0EEC2DA Time : 0.0 sec. user=mdettweiler [2015-10-18 10:58:16] 883*2^1412503-1 is not prime. Res64: B4021A2B5937959D Time : 0.0 sec. user=mdettweiler [2015-10-18 11:12:26] 901*2^1412503-1 is not prime. Res64: B834D0081FB785D8 Time : 0.0 sec. user=mdettweiler [2015-10-18 11:12:27] 993*2^1412503-1 is not prime. Res64: B64D30D04B80832C Time : 0.0 sec. user=mdettweiler [2015-10-18 11:12:34] 609*2^1412504-1 is not prime. Res64: C2FDEDA27C574E43 Time : 0.0 sec. user=mdettweiler [2015-10-18 11:12:35] 759*2^1412504-1 is not prime. Res64: BDA2BF5D0BC21039 Time : 0.0 sec. user=mdettweiler [2015-10-18 11:15:40] 773*2^1412504-1 is not prime. Res64: 9DE6651563FF5A08 Time : 0.0 sec. user=mdettweiler [2015-10-18 11:15:40] 833*2^1412504-1 is not prime. Res64: 5A0284AA8C18A8BC Time : 0.0 sec. user=mdettweiler [2015-10-18 11:16:12] 875*2^1412504-1 is not prime. Res64: 367348F2ACB0793A Time : 0.0 sec. user=mdettweiler [2015-10-18 11:16:12] 897*2^1412504-1 is not prime. Res64: 97B3ED4BBCBE84D2 Time : 0.0 sec. user=mdettweiler [2015-10-18 11:30:10] 609*2^1412505-1 is not prime. Res64: 7679643FAFD71ED2 Time : 0.0 sec. user=mdettweiler [2015-10-18 11:30:10] 667*2^1412505-1 is not prime. Res64: A703C707CBEE1E36 Time : 0.0 sec. user=mdettweiler [2015-10-18 11:30:15] 735*2^1412505-1 is not prime. Res64: 77F4798173C3C875 Time : 0.0 sec. user=mdettweiler [2015-10-18 11:30:15] 781*2^1412505-1 is not prime. Res64: 886A7F0CD4DA381E Time : 0.0 sec. user=mdettweiler [2015-10-18 11:33:25] 871*2^1412505-1 is not prime. Res64: 4401EFD001D6B430 Time : 0.0 sec. user=mdettweiler [2015-10-18 11:33:26] 915*2^1412505-1 is not prime. Res64: FA5EB42C340347E6 Time : 0.0 sec. user=mdettweiler [2015-10-18 11:33:59] 623*2^1412506-1 is not prime. Res64: 49BB77D4A546D77A Time : 0.0 sec. user=mdettweiler [2015-10-18 11:34:00] 633*2^1412506-1 is not prime. Res64: D2135B55B5030338 Time : 0.0 sec. user=mdettweiler [2015-10-18 11:47:59] 663*2^1412506-1 is not prime. Res64: C5D08940C5596D5A Time : 0.0 sec. user=mdettweiler [2015-10-18 11:47:59] 777*2^1412506-1 is not prime. Res64: E3FF273DA1306BE7 Time : 0.0 sec. user=mdettweiler [2015-10-18 11:48:01] 833*2^1412506-1 is not prime. Res64: 9D47D94E6DCAD45B Time : 0.0 sec. user=mdettweiler [2015-10-18 11:48:01] 887*2^1412506-1 is not prime. Res64: 0DC0C9EB3E4862E2 Time : 0.0 sec. user=mdettweiler [2015-10-18 11:51:07] 987*2^1412506-1 is not prime. Res64: 8244C9F50F55CE2B Time : 0.0 sec. user=mdettweiler [2015-10-18 11:51:07] 733*2^1412507-1 is not prime. Res64: B21481A7E92A608B Time : 0.0 sec. user=mdettweiler [2015-10-18 11:51:51] 759*2^1412507-1 is not prime. Res64: 74F11E5ECC85EADA Time : 0.0 sec. user=mdettweiler [2015-10-18 11:51:51] 819*2^1412507-1 is not prime. Res64: 688B46EA45DC5E5E Time : 0.0 sec. user=mdettweiler [2015-10-18 12:06:08] 979*2^1412507-1 is not prime. Res64: 2EFC1E4B2AA4FAD6 Time : 0.0 sec. user=mdettweiler [2015-10-18 12:06:09] 669*2^1412508-1 is not prime. Res64: C36175D5FB4B0865 Time : 0.0 sec. user=mdettweiler [2015-10-18 12:06:19] 825*2^1412507-1 is not prime. Res64: AC03FB6612C115BA Time : 0.0 sec. user=mdettweiler [2015-10-18 12:06:21] 963*2^1412507-1 is not prime. Res64: E8B3B0483C37F1AA Time : 0.0 sec. user=mdettweiler [2015-10-18 12:09:31] 845*2^1412508-1 is not prime. Res64: F88E2D1D94001A23 Time : 0.0 sec. user=mdettweiler [2015-10-18 12:09:32] 899*2^1412508-1 is not prime. Res64: 4E9F839D6D994879 Time : 0.0 sec. user=mdettweiler [2015-10-18 12:10:08] 675*2^1412509-1 is not prime. Res64: 39B0BE8DDFD03856 Time : 0.0 sec. user=mdettweiler [2015-10-18 12:10:08] 775*2^1412509-1 is not prime. Res64: 1EED29355EB5B08B Time : 0.0 sec. user=mdettweiler [2015-10-18 12:28:20] 927*2^1412509-1 is not prime. Res64: 3B94EB5983BF5014 Time : 0.0 sec. user=mdettweiler [2015-10-18 12:28:21] 985*2^1412509-1 is not prime. Res64: 08CF651EE4BE7694 Time : 0.0 sec. user=mdettweiler [2015-10-18 12:28:25] 801*2^1412509-1 is not prime. Res64: 4AE18573C3096EA3 Time : 0.0 sec. user=mdettweiler [2015-10-18 12:28:26] 831*2^1412509-1 is not prime. Res64: 032626BE7647517F Time : 0.0 sec. user=mdettweiler [2015-10-18 12:32:48] 987*2^1412509-1 is not prime. Res64: 8692821B3BA92CC5 Time : 0.0 sec. user=mdettweiler [2015-10-18 12:32:48] 641*2^1412510-1 is not prime. Res64: 59A5C2D0CD4D1737 Time : 0.0 sec. user=mdettweiler [2015-10-18 12:32:54] 651*2^1412510-1 is not prime. Res64: 39C044DBFBA75CC6 Time : 0.0 sec. user=mdettweiler [2015-10-18 12:32:54] 831*2^1412510-1 is not prime. Res64: 5E97478257768304 Time : 0.0 sec. user=mdettweiler [2015-10-18 12:47:42] 845*2^1412510-1 is not prime. Res64: A29DE6E223601703 Time : 0.0 sec. user=mdettweiler [2015-10-18 12:47:43] 867*2^1412510-1 is not prime. Res64: 70BAB99FA101805B Time : 0.0 sec. user=mdettweiler [2015-10-18 12:47:53] 927*2^1412510-1 is not prime. Res64: AEE629AB50DBDFF7 Time : 0.0 sec. user=mdettweiler [2015-10-18 12:47:53] 935*2^1412510-1 is not prime. Res64: C1E9F5DE690E4830 Time : 0.0 sec. user=mdettweiler [2015-10-18 12:51:47] 739*2^1412511-1 is not prime. Res64: 57855DEFCF844FBB Time : 0.0 sec. user=mdettweiler [2015-10-18 12:51:47] 615*2^1412511-1 is not prime. Res64: 02F9F3C547E979F5 Time : 0.0 sec. user=mdettweiler [2015-10-18 12:51:47] 783*2^1412511-1 is not prime. Res64: 4CD3BAE33DEC8F29 Time : 0.0 sec. user=mdettweiler [2015-10-18 12:51:47] 675*2^1412511-1 is not prime. Res64: 2FB38A0801ADD160 Time : 0.0 sec. user=mdettweiler [2015-10-18 13:05:49] 865*2^1412511-1 is not prime. Res64: 76159FFD75135AA7 Time : 0.0 sec. user=mdettweiler [2015-10-18 13:05:50] 951*2^1412511-1 is not prime. Res64: 826C62A90D11A90F Time : 0.0 sec. user=mdettweiler [2015-10-18 13:05:56] 961*2^1412511-1 is not prime. Res64: B26B1EE94A6E1B1F Time : 0.0 sec. user=mdettweiler [2015-10-18 13:05:57] 615*2^1412512-1 is not prime. Res64: 47EEA07F4C404D07 Time : 0.0 sec. user=mdettweiler [2015-10-18 13:09:41] 755*2^1412512-1 is not prime. Res64: F3558302B27A7D3F Time : 0.0 sec. user=mdettweiler [2015-10-18 13:09:41] 777*2^1412512-1 is not prime. Res64: DFE87DCBA3803DDB Time : 0.0 sec. user=mdettweiler [2015-10-18 13:09:50] 797*2^1412512-1 is not prime. Res64: 41A7B236BF7DCAC5 Time : 0.0 sec. user=mdettweiler [2015-10-18 13:09:51] 819*2^1412512-1 is not prime. Res64: 3AC1335F8EC62C15 Time : 0.0 sec. user=mdettweiler [2015-10-18 13:23:49] 855*2^1412512-1 is not prime. Res64: 4589D8F5517F83A0 Time : 0.0 sec. user=mdettweiler [2015-10-18 13:23:49] 923*2^1412512-1 is not prime. Res64: 5C82125055037DF0 Time : 0.0 sec. user=mdettweiler [2015-10-18 13:23:49] 887*2^1412512-1 is not prime. Res64: CC0BADF0D5A6FAA2 Time : 0.0 sec. user=mdettweiler [2015-10-18 13:23:49] 939*2^1412512-1 is not prime. Res64: 08B007C6CB0DFECF Time : 0.0 sec. user=mdettweiler [2015-10-18 13:27:28] 657*2^1412513-1 is not prime. Res64: FE1A3255011B2D12 Time : 0.0 sec. user=mdettweiler [2015-10-18 13:27:28] 669*2^1412513-1 is not prime. Res64: A9DED498C6043E60 Time : 0.0 sec. user=mdettweiler [2015-10-18 13:27:45] 789*2^1412513-1 is not prime. Res64: 74C305BEF46FB417 Time : 0.0 sec. user=mdettweiler [2015-10-18 13:27:46] 855*2^1412513-1 is not prime. Res64: 39348EF48346F0BE Time : 0.0 sec. user=mdettweiler [2015-10-18 13:41:38] 957*2^1412513-1 is not prime. Res64: 3B1C1C2367CF6826 Time : 0.0 sec. user=mdettweiler [2015-10-18 13:41:39] 991*2^1412513-1 is not prime. Res64: C015E2876D6A1147 Time : 0.0 sec. user=mdettweiler [2015-10-18 13:41:42] 633*2^1412514-1 is not prime. Res64: 7B31AFEB363DDEE4 Time : 0.0 sec. user=mdettweiler [2015-10-18 13:41:42] 681*2^1412514-1 is not prime. Res64: FE6B1C6EEFED2364 Time : 0.0 sec. user=mdettweiler [2015-10-18 13:45:25] 695*2^1412514-1 is not prime. Res64: 95F6B56DED0BCD10 Time : 0.0 sec. user=mdettweiler [2015-10-18 13:45:26] 783*2^1412514-1 is not prime. Res64: D5FEA49242BC13CB Time : 0.0 sec. user=mdettweiler [2015-10-18 13:45:37] 947*2^1412514-1 is not prime. Res64: B9B202655DE9693D Time : 0.0 sec. user=mdettweiler [2015-10-18 13:45:38] 975*2^1412514-1 is not prime. Res64: 4189C24BE825AF8C Time : 0.0 sec. user=mdettweiler [2015-10-18 13:59:34] 603*2^1412515-1 is not prime. Res64: BA5E650B26E48C36 Time : 0.0 sec. user=mdettweiler [2015-10-18 13:59:34] 691*2^1412515-1 is not prime. Res64: 3F05AAEA5840519D Time : 0.0 sec. user=mdettweiler [2015-10-18 13:59:39] 715*2^1412515-1 is not prime. Res64: 7EBC2C6063F00E6E Time : 0.0 sec. user=mdettweiler [2015-10-18 13:59:39] 883*2^1412515-1 is not prime. Res64: AA7BFF42DCDBA7A4 Time : 0.0 sec. user=mdettweiler [2015-10-18 14:03:18] 951*2^1412515-1 is not prime. Res64: 1A85779DAC3A2E0E Time : 0.0 sec. user=mdettweiler [2015-10-18 14:03:19] 617*2^1412516-1 is not prime. Res64: 91F7CED036BB73E6 Time : 0.0 sec. user=mdettweiler [2015-10-18 14:03:25] 629*2^1412516-1 is not prime. Res64: 878D8DED44A37623 Time : 0.0 sec. user=mdettweiler [2015-10-18 14:03:26] 633*2^1412516-1 is not prime. Res64: 91DF859284131C72 Time : 0.0 sec. user=mdettweiler [2015-10-18 14:17:24] 669*2^1412516-1 is not prime. Res64: B8DEE630C43457ED Time : 0.0 sec. user=mdettweiler [2015-10-18 14:17:24] 843*2^1412516-1 is not prime. Res64: 2B63136AC25D6EF6 Time : 0.0 sec. user=mdettweiler [2015-10-18 14:17:31] 873*2^1412516-1 is not prime. Res64: 59B1A8EE137EA04D Time : 0.0 sec. user=mdettweiler [2015-10-18 14:17:31] 983*2^1412516-1 is not prime. Res64: DC6C68E9C2557030 Time : 0.0 sec. user=mdettweiler [2015-10-18 14:21:14] 889*2^1412517-1 is not prime. Res64: EFC32B02E7C3BAD2 Time : 0.0 sec. user=mdettweiler [2015-10-18 14:21:14] 901*2^1412517-1 is not prime. Res64: 46516C34085849C2 Time : 0.0 sec. user=mdettweiler [2015-10-18 14:21:15] 945*2^1412517-1 is not prime. Res64: A0111FAFE5CD509B Time : 0.0 sec. user=mdettweiler [2015-10-18 14:21:15] 955*2^1412517-1 is not prime. Res64: 592418C73877DEE0 Time : 0.0 sec. user=mdettweiler [2015-10-18 14:35:16] 623*2^1412518-1 is not prime. Res64: 266BBE86063B46BB Time : 0.0 sec. user=mdettweiler [2015-10-18 14:35:16] 665*2^1412518-1 is not prime. Res64: 6FF35692C48B8176 Time : 0.0 sec. user=mdettweiler [2015-10-18 14:35:56] 755*2^1412518-1 is not prime. Res64: D91B21E1FCAE4A9B Time : 0.0 sec. user=mdettweiler [2015-10-18 14:35:57] 801*2^1412518-1 is not prime. Res64: B1F9A040D04DFA06 Time : 0.0 sec. user=mdettweiler [2015-10-18 14:39:03] 857*2^1412518-1 is not prime. Res64: 113420028D450BBC Time : 0.0 sec. user=mdettweiler [2015-10-18 14:39:03] 915*2^1412518-1 is not prime. Res64: 9A3487BD293B2240 Time : 0.0 sec. user=mdettweiler [2015-10-18 14:39:15] 675*2^1412519-1 is not prime. Res64: 1BD12F3F0AB4F8F2 Time : 0.0 sec. user=mdettweiler [2015-10-18 14:39:16] 685*2^1412519-1 is not prime. Res64: 0E914AD71419A8A9 Time : 0.0 sec. user=mdettweiler [2015-10-18 14:53:19] 825*2^1412519-1 is not prime. Res64: 13F054FB0DCCDFA8 Time : 0.0 sec. user=mdettweiler [2015-10-18 14:53:19] 831*2^1412519-1 is not prime. Res64: 22B7B1D52E4149A2 Time : 0.0 sec. user=mdettweiler [2015-10-18 14:53:58] 885*2^1412519-1 is not prime. Res64: 41FCA1F09C451FAC Time : 0.0 sec. user=mdettweiler [2015-10-18 14:53:58] 943*2^1412519-1 is not prime. Res64: FB913ED2817365E0 Time : 0.0 sec. user=mdettweiler [2015-10-18 14:56:56] 689*2^1412520-1 is not prime. Res64: C823A96ADA66E40D Time : 0.0 sec. user=mdettweiler [2015-10-18 14:56:56] 719*2^1412520-1 is not prime. Res64: 4C4E1FB0D757DBCD Time : 0.0 sec. user=mdettweiler [2015-10-18 14:57:12] 735*2^1412520-1 is not prime. Res64: D2937255DE4D2104 Time : 0.0 sec. user=mdettweiler [2015-10-18 14:57:13] 759*2^1412520-1 is not prime. Res64: 65607CC28FCC7F50 Time : 0.0 sec. user=mdettweiler [2015-10-18 15:11:09] 765*2^1412520-1 is not prime. Res64: 2ADC8251AF073B86 Time : 0.0 sec. user=mdettweiler [2015-10-18 15:11:09] 777*2^1412520-1 is not prime. Res64: D78AA13D66BA9184 Time : 0.0 sec. user=mdettweiler [2015-10-18 15:11:51] 867*2^1412520-1 is not prime. Res64: E1F4404F44AAC283 Time : 0.0 sec. user=mdettweiler [2015-10-18 15:11:51] 927*2^1412520-1 is not prime. Res64: 9C7283C9D647DF09 Time : 0.0 sec. user=mdettweiler [2015-10-18 15:14:55] 835*2^1412521-1 is not prime. Res64: 1AA012C94286AF23 Time : 0.0 sec. user=mdettweiler [2015-10-18 15:14:56] 939*2^1412521-1 is not prime. Res64: C24B16EE24EAB516 Time : 0.0 sec. user=mdettweiler [2015-10-18 15:15:10] 987*2^1412521-1 is not prime. Res64: 422473631436CB3B Time : 0.0 sec. user=mdettweiler [2015-10-18 15:15:11] 671*2^1412522-1 is not prime. Res64: 5E3EF839C1B7CD0E Time : 0.0 sec. user=mdettweiler [2015-10-18 15:29:17] 683*2^1412522-1 is not prime. Res64: C66F424F64E85364 Time : 0.0 sec. user=mdettweiler [2015-10-18 15:29:17] 705*2^1412522-1 is not prime. Res64: 3005CF0AFEC2574A Time : 0.0 sec. user=mdettweiler [2015-10-18 15:29:40] 735*2^1412522-1 is not prime. Res64: 3335B6D86DA41F2D Time : 0.0 sec. user=mdettweiler [2015-10-18 15:29:41] 833*2^1412522-1 is not prime. Res64: 4A1E71D46E6F9BF5 Time : 0.0 sec. user=mdettweiler [2015-10-18 15:32:40] 887*2^1412522-1 is not prime. Res64: B006A6C235B15462 Time : 0.0 sec. user=mdettweiler [2015-10-18 15:32:40] 903*2^1412522-1 is not prime. Res64: FD2EAD50DAFF4937 Time : 0.0 sec. user=mdettweiler [2015-10-18 15:33:08] 981*2^1412522-1 is not prime. Res64: F8C50BCDC954E0C2 Time : 0.0 sec. user=mdettweiler [2015-10-18 15:33:08] 613*2^1412523-1 is not prime. Res64: CB9EBD48820E3973 Time : 0.0 sec. user=mdettweiler [2015-10-18 15:47:04] 619*2^1412523-1 is not prime. Res64: DD9131B35C967940 Time : 0.0 sec. user=mdettweiler [2015-10-18 15:47:05] 639*2^1412523-1 is not prime. Res64: EA962E57731529ED Time : 0.0 sec. user=mdettweiler [2015-10-18 15:47:30] 741*2^1412523-1 is not prime. Res64: C968CE324F55BEE8 Time : 0.0 sec. user=mdettweiler [2015-10-18 15:47:31] 781*2^1412523-1 is not prime. Res64: F4AC2831B40D6DB9 Time : 0.0 sec. user=mdettweiler [2015-10-18 15:50:27] 871*2^1412523-1 is not prime. Res64: 120554DE7719AD55 Time : 0.0 sec. user=mdettweiler [2015-10-18 15:50:27] 943*2^1412523-1 is not prime. Res64: 5157115ADF048431 Time : 0.0 sec. user=mdettweiler [2015-10-18 15:50:57] 963*2^1412523-1 is not prime. Res64: 2BA0A3DC20C1D64E Time : 0.0 sec. user=mdettweiler [2015-10-18 15:50:57] 759*2^1412524-1 is not prime. Res64: B731337B0463584E Time : 0.0 sec. user=mdettweiler [2015-10-18 16:05:01] 899*2^1412524-1 is not prime. Res64: ADC73658FBDB15C7 Time : 0.0 sec. user=mdettweiler [2015-10-18 16:05:03] 909*2^1412524-1 is not prime. Res64: F5370139277154FF Time : 0.0 sec. user=mdettweiler [2015-10-18 16:05:23] 929*2^1412524-1 is not prime. Res64: DAE992469D12BA23 Time : 0.0 sec. user=mdettweiler [2015-10-18 16:05:25] 607*2^1412525-1 is not prime. Res64: E1BDEAA7A217E4A6 Time : 0.0 sec. user=mdettweiler [2015-10-18 16:08:14] 655*2^1412525-1 is not prime. Res64: C1A731C5AC711D3A Time : 0.0 sec. user=mdettweiler [2015-10-18 16:08:17] 715*2^1412525-1 is not prime. Res64: 323066CA3D16B0C7 Time : 0.0 sec. user=mdettweiler [2015-10-18 16:08:57] 837*2^1412525-1 is not prime. Res64: 58D66F8CD695C209 Time : 0.0 sec. user=mdettweiler [2015-10-18 16:08:57] 885*2^1412525-1 is not prime. Res64: 5B0BEA7C05637C6B Time : 0.0 sec. user=mdettweiler [2015-10-18 16:23:12] 897*2^1412525-1 is not prime. Res64: B66528D56B487C7A Time : 0.0 sec. user=mdettweiler [2015-10-18 16:23:12] 969*2^1412525-1 is not prime. Res64: 56A3C0572EF4AFD9 Time : 0.0 sec. user=mdettweiler [2015-10-18 16:23:24] 657*2^1412526-1 is not prime. Res64: 8B5A70DA6E36F792 Time : 0.0 sec. user=mdettweiler [2015-10-18 16:23:24] 677*2^1412526-1 is not prime. Res64: 57D7C552269A9CFD Time : 0.0 sec. user=mdettweiler [2015-10-18 16:26:16] 807*2^1412526-1 is not prime. Res64: 7A23495FCA96D6F4 Time : 0.0 sec. user=mdettweiler [2015-10-18 16:26:16] 821*2^1412526-1 is not prime. Res64: 02FB5DB2A1F17070 Time : 0.0 sec. user=mdettweiler [2015-10-18 16:26:58] 851*2^1412526-1 is not prime. Res64: 6E88D03E94A2A2A5 Time : 0.0 sec. user=mdettweiler [2015-10-18 16:26:59] 861*2^1412526-1 is not prime. Res64: DAA155EA7B2BF530 Time : 0.0 sec. user=mdettweiler [2015-10-18 16:41:03] 893*2^1412526-1 is not prime. Res64: 67D5BF9509AFB9FD Time : 0.0 sec. user=mdettweiler [2015-10-18 16:41:04] 971*2^1412526-1 is not prime. Res64: FFCB42C2E04B9E55 Time : 0.0 sec. user=mdettweiler [2015-10-18 16:41:20] 885*2^1412527-1 is not prime. Res64: C10D248D24999562 Time : 0.0 sec. user=mdettweiler [2015-10-18 16:41:20] 933*2^1412527-1 is not prime. Res64: 47704C9B0FAACDCA Time : 0.0 sec. user=mdettweiler [2015-10-18 16:44:04] 939*2^1412527-1 is not prime. Res64: ADAEC0DE018ED44E Time : 0.0 sec. user=mdettweiler [2015-10-18 16:44:05] 657*2^1412528-1 is not prime. Res64: 588EEF6547252FBA Time : 0.0 sec. user=mdettweiler [2015-10-18 16:45:01] 677*2^1412528-1 is not prime. Res64: E46656B400974A73 Time : 0.0 sec. user=mdettweiler [2015-10-18 16:45:01] 767*2^1412528-1 is not prime. Res64: 9E882DD04D08E654 Time : 0.0 sec. user=mdettweiler [2015-10-18 16:58:57] 825*2^1412528-1 is not prime. Res64: C4DABB67491A02A9 Time : 0.0 sec. user=mdettweiler [2015-10-18 16:58:58] 843*2^1412528-1 is not prime. Res64: 47966BEFDB0BEB62 Time : 0.0 sec. user=mdettweiler [2015-10-18 16:59:07] 935*2^1412528-1 is not prime. Res64: 17CD5B7C62D586C9 Time : 0.0 sec. user=mdettweiler [2015-10-18 16:59:08] 601*2^1412529-1 is not prime. Res64: BE7B85AE2088EAD4 Time : 0.0 sec. user=mdettweiler [2015-10-18 17:01:51] 649*2^1412529-1 is not prime. Res64: 148433909C0E0ECD Time : 0.0 sec. user=mdettweiler [2015-10-18 17:01:53] 679*2^1412529-1 is not prime. Res64: 8FA67D068F614619 Time : 0.0 sec. user=mdettweiler [2015-10-18 17:02:53] 765*2^1412529-1 is not prime. Res64: 369F11804A8CE496 Time : 0.0 sec. user=mdettweiler [2015-10-18 17:02:54] 861*2^1412529-1 is not prime. Res64: 8B0C1068ADEDB22B Time : 0.0 sec. user=mdettweiler [2015-10-18 17:16:49] 907*2^1412529-1 is not prime. Res64: E016C896298A5C74 Time : 0.0 sec. user=mdettweiler [2015-10-18 17:16:50] 979*2^1412529-1 is not prime. Res64: E498166D6E0EAF7C Time : 0.0 sec. user=mdettweiler [2015-10-18 17:16:57] 985*2^1412529-1 is not prime. Res64: 5A781978D5FF060B Time : 0.0 sec. user=mdettweiler [2015-10-18 17:16:57] 999*2^1412529-1 is not prime. Res64: 292E6E1401B3A192 Time : 0.0 sec. user=mdettweiler [2015-10-18 17:19:52] 663*2^1412530-1 is not prime. Res64: E43D59B33BFD710C Time : 0.0 sec. user=mdettweiler [2015-10-18 17:19:53] 675*2^1412530-1 is not prime. Res64: AEB94DA22381FB2A Time : 0.0 sec. user=mdettweiler [2015-10-18 17:20:47] 723*2^1412530-1 is not prime. Res64: AB1DBF1650A4193C Time : 0.0 sec. user=mdettweiler [2015-10-18 17:20:47] 845*2^1412530-1 is not prime. Res64: 07C4EF3B117A2626 Time : 0.0 sec. user=mdettweiler [2015-10-18 17:35:16] 945*2^1412530-1 is not prime. Res64: 19FD0B24AED39A75 Time : 0.0 sec. user=mdettweiler [2015-10-18 17:35:17] 711*2^1412531-1 is not prime. Res64: 449719335BC8B778 Time : 0.0 sec. user=mdettweiler [2015-10-18 17:35:31] 735*2^1412531-1 is not prime. Res64: 57CC9E318413975F Time : 0.0 sec. user=mdettweiler [2015-10-18 17:35:31] 745*2^1412531-1 is not prime. Res64: 8AEF992D0195D0E0 Time : 0.0 sec. user=mdettweiler [2015-10-18 17:38:28] 901*2^1412531-1 is not prime. Res64: 220FF67550A92BA6 Time : 0.0 sec. user=mdettweiler [2015-10-18 17:38:28] 993*2^1412531-1 is not prime. Res64: 334BF00142C37A78 Time : 0.0 sec. user=mdettweiler [2015-10-18 17:39:25] 669*2^1412532-1 is not prime. Res64: 78D591E0F69E76DA Time : 0.0 sec. user=mdettweiler [2015-10-18 17:39:26] 863*2^1412532-1 is not prime. Res64: 9610377BDE23151A Time : 0.0 sec. user=mdettweiler [2015-10-18 17:54:49] 909*2^1412532-1 is not prime. Res64: C2E0BF4B9B8531F6 Time : 0.0 sec. user=mdettweiler [2015-10-18 17:54:50] 987*2^1412532-1 is not prime. Res64: 84786063E608F374 Time : 0.0 sec. user=mdettweiler [2015-10-18 17:55:12] 607*2^1412533-1 is not prime. Res64: 1A127D81C55B24FD Time : 0.0 sec. user=mdettweiler [2015-10-18 17:55:12] 691*2^1412533-1 is not prime. Res64: BA27109155E73D41 Time : 0.0 sec. user=mdettweiler [2015-10-18 17:57:54] 721*2^1412533-1 is not prime. Res64: 1CD1E38293EE731C Time : 0.0 sec. user=mdettweiler [2015-10-18 17:57:54] 765*2^1412533-1 is not prime. Res64: 2604E0443B7E10A2 Time : 0.0 sec. user=mdettweiler [2015-10-18 17:59:03] 811*2^1412533-1 is not prime. Res64: CFE5B317678CFDE3 Time : 0.0 sec. user=mdettweiler [2015-10-18 17:59:03] 829*2^1412533-1 is not prime. Res64: 9A87A06E9515F825 Time : 0.0 sec. user=mdettweiler [2015-10-18 18:12:31] 663*2^1412534-1 is not prime. Res64: D61F17CCABF50A81 Time : 0.0 sec. user=mdettweiler [2015-10-18 18:12:31] 795*2^1412534-1 is not prime. Res64: B286B8718C4C9BD4 Time : 0.0 sec. user=mdettweiler [2015-10-18 18:12:54] 885*2^1412534-1 is not prime. Res64: 5E217CFA417C3E87 Time : 0.0 sec. user=mdettweiler [2015-10-18 18:12:55] 941*2^1412534-1 is not prime. Res64: 49431258A5635390 Time : 0.0 sec. user=mdettweiler [2015-10-18 18:15:38] 1001*2^1412534-1 is not prime. Res64: DD35EBE078866C88 Time : 0.0 sec. user=mdettweiler [2015-10-18 18:15:39] 763*2^1412535-1 is not prime. Res64: BD0584D40742CFE5 Time : 0.0 sec. user=mdettweiler [2015-10-18 18:16:50] 895*2^1412535-1 is not prime. Res64: 875DD205C6723045 Time : 0.0 sec. user=mdettweiler [2015-10-18 18:16:50] 919*2^1412535-1 is not prime. Res64: 14210A98E0D8ADF5 Time : 0.0 sec. user=mdettweiler [2015-10-18 18:30:21] 603*2^1412536-1 is not prime. Res64: B5DBB407957E17E2 Time : 0.0 sec. user=mdettweiler [2015-10-18 18:30:22] 677*2^1412536-1 is not prime. Res64: 12522A613317308C Time : 0.0 sec. user=mdettweiler [2015-10-18 18:30:38] 873*2^1412536-1 is not prime. Res64: 07BA91FAFB2BF381 Time : 0.0 sec. user=mdettweiler [2015-10-18 18:30:39] 957*2^1412536-1 is not prime. Res64: 054DFD1940B67AC8 Time : 0.0 sec. user=mdettweiler [2015-10-18 18:33:21] 627*2^1412537-1 is not prime. Res64: 3AC513AA4D6AA989 Time : 0.0 sec. user=mdettweiler [2015-10-18 18:33:21] 697*2^1412537-1 is not prime. Res64: 333491AAB476042E Time : 0.0 sec. user=mdettweiler [2015-10-18 18:34:38] 829*2^1412537-1 is not prime. Res64: 9BC3D7F63EB58A3F Time : 0.0 sec. user=mdettweiler [2015-10-18 18:34:38] 847*2^1412537-1 is not prime. Res64: 157FA3193BB70266 Time : 0.0 sec. user=mdettweiler [2015-10-18 18:48:18] 605*2^1412538-1 is not prime. Res64: 5BA79E954027865D Time : 0.0 sec. user=mdettweiler [2015-10-18 18:48:19] 627*2^1412538-1 is not prime. Res64: 549F833995F7320A Time : 0.0 sec. user=mdettweiler [2015-10-18 18:48:24] 663*2^1412538-1 is not prime. Res64: A3DAFA642FFABDC6 Time : 0.0 sec. user=mdettweiler [2015-10-18 18:48:25] 681*2^1412538-1 is not prime. Res64: A732ADFCD12A882C Time : 0.0 sec. user=mdettweiler [2015-10-18 18:51:11] 683*2^1412538-1 is not prime. Res64: 999C4292553BC00A Time : 0.0 sec. user=mdettweiler [2015-10-18 18:51:11] 713*2^1412538-1 is not prime. Res64: 604A83AC4B07877B Time : 0.0 sec. user=mdettweiler [2015-10-18 18:52:24] 747*2^1412538-1 is not prime. Res64: EC86F9B1B2CFA23C Time : 0.0 sec. user=mdettweiler [2015-10-18 18:52:25] 773*2^1412538-1 is not prime. Res64: 2028EF310099CFA6 Time : 0.0 sec. user=mdettweiler [2015-10-18 19:06:09] 843*2^1412538-1 is not prime. Res64: 181680018CFC6A93 Time : 0.0 sec. user=mdettweiler [2015-10-18 19:06:11] 691*2^1412539-1 is not prime. Res64: ED93633303D4CF5B Time : 0.0 sec. user=mdettweiler [2015-10-18 19:06:11] 951*2^1412538-1 is not prime. Res64: 41195C5C3FF300C8 Time : 0.0 sec. user=mdettweiler [2015-10-18 19:06:11] 745*2^1412539-1 is not prime. Res64: 0DB9B855A945C017 Time : 0.0 sec. user=mdettweiler [2015-10-18 19:08:57] 811*2^1412539-1 is not prime. Res64: 620802491B9EE152 Time : 0.0 sec. user=mdettweiler [2015-10-18 19:08:57] 885*2^1412539-1 is not prime. Res64: 3D1B119472D31579 Time : 0.0 sec. user=mdettweiler [2015-10-18 19:10:08] 909*2^1412539-1 is not prime. Res64: 299134952C04F8EA Time : 0.0 sec. user=mdettweiler [2015-10-18 19:10:09] 975*2^1412539-1 is not prime. Res64: 9BA1C6113BD6A76C Time : 0.0 sec. user=mdettweiler [2015-10-18 19:24:36] 979*2^1412539-1 is not prime. Res64: DD1DF402EAD18B7D Time : 0.0 sec. user=mdettweiler [2015-10-18 19:24:37] 669*2^1412540-1 is not prime. Res64: CFF7712DBEB67A2B Time : 0.0 sec. user=mdettweiler [2015-10-18 19:24:37] 985*2^1412539-1 is not prime. Res64: B1467357705B35A7 Time : 0.0 sec. user=mdettweiler [2015-10-18 19:24:37] 699*2^1412540-1 is not prime. Res64: 178EAD7EBC5B9555 Time : 0.0 sec. user=mdettweiler [2015-10-18 19:26:42] 825*2^1412540-1 is not prime. Res64: 32732E271F4DFCC6 Time : 0.0 sec. user=mdettweiler [2015-10-18 19:26:43] 963*2^1412540-1 is not prime. Res64: C9907AA449A1A257 Time : 0.0 sec. user=mdettweiler [2015-10-18 19:27:54] 747*2^1412541-1 is not prime. Res64: 2ABB5F5FDC6D0B0E Time : 0.0 sec. user=mdettweiler [2015-10-18 19:27:54] 781*2^1412541-1 is not prime. Res64: 8AFC254AFF105D4D Time : 0.0 sec. user=mdettweiler [2015-10-18 19:42:26] 611*2^1412542-1 is not prime. Res64: E3BF833B89A43BE0 Time : 0.0 sec. user=mdettweiler [2015-10-18 19:42:26] 651*2^1412542-1 is not prime. Res64: 4FA92666B12817C5 Time : 0.0 sec. user=mdettweiler [2015-10-18 19:42:30] 829*2^1412541-1 is not prime. Res64: 0CE124AA63DBEC91 Time : 0.0 sec. user=mdettweiler [2015-10-18 19:42:30] 955*2^1412541-1 is not prime. Res64: 89232EAB751E95AB Time : 0.0 sec. user=mdettweiler [2015-10-18 19:44:42] 747*2^1412542-1 is not prime. Res64: 3E5EECD16F26D502 Time : 0.0 sec. user=mdettweiler [2015-10-18 19:44:42] 785*2^1412542-1 is not prime. Res64: 018C0CFFC75CF2AA Time : 0.0 sec. user=mdettweiler [2015-10-18 19:45:39] 825*2^1412542-1 is not prime. Res64: B58B301985A29EAF Time : 0.0 sec. user=mdettweiler [2015-10-18 19:45:40] 957*2^1412542-1 is not prime. Res64: DCE20DB949D09041 Time : 0.0 sec. user=mdettweiler [2015-10-18 20:00:17] 693*2^1412543-1 is not prime. Res64: C1D0B58F6CD499BE Time : 0.0 sec. user=mdettweiler [2015-10-18 20:00:18] 735*2^1412543-1 is not prime. Res64: 5AADAA68B4816C30 Time : 0.0 sec. user=mdettweiler [2015-10-18 20:00:19] 861*2^1412543-1 is not prime. Res64: 7560A67CFE04276F Time : 0.0 sec. user=mdettweiler [2015-10-18 20:00:20] 949*2^1412543-1 is not prime. Res64: AAB44BD791500501 Time : 0.0 sec. user=mdettweiler [2015-10-18 20:02:28] 963*2^1412543-1 is not prime. Res64: 7A62AD9A15D47365 Time : 0.0 sec. user=mdettweiler [2015-10-18 20:02:28] 723*2^1412544-1 is not prime. Res64: 18AB63608C405415 Time : 0.0 sec. user=mdettweiler [2015-10-18 20:03:23] 837*2^1412544-1 is not prime. Res64: 5C8468D7E0449B7D Time : 0.0 sec. user=mdettweiler [2015-10-18 20:03:24] 775*2^1412545-1 is not prime. Res64: 1E8E05586C3A6424 Time : 0.0 sec. user=mdettweiler [2015-10-18 20:18:05] 867*2^1412545-1 is not prime. Res64: 1972285F9364CB31 Time : 0.0 sec. user=mdettweiler [2015-10-18 20:18:05] 889*2^1412545-1 is not prime. Res64: 3E5D372956AE2BE5 Time : 0.0 sec. user=mdettweiler [2015-10-18 20:18:13] 975*2^1412545-1 is not prime. Res64: A8A25083D3B1460A Time : 0.0 sec. user=mdettweiler [2015-10-18 20:18:14] 999*2^1412545-1 is not prime. Res64: 3D8220ED948AFC49 Time : 0.0 sec. user=mdettweiler [2015-10-18 20:20:25] 705*2^1412546-1 is not prime. Res64: A11862C21FBEC138 Time : 0.0 sec. user=mdettweiler [2015-10-18 20:20:26] 717*2^1412546-1 is not prime. Res64: 311B2979AF2DE18A Time : 0.0 sec. user=mdettweiler [2015-10-18 20:21:13] 971*2^1412546-1 is not prime. Res64: FB4DD8877459348A Time : 0.0 sec. user=mdettweiler [2015-10-18 20:21:14] 1001*2^1412546-1 is not prime. Res64: 2912C30483D876B9 Time : 0.0 sec. user=mdettweiler [2015-10-18 20:35:55] 601*2^1412547-1 is not prime. Res64: 4BE1A910C5DEDA63 Time : 0.0 sec. user=mdettweiler [2015-10-18 20:35:56] 895*2^1412547-1 is not prime. Res64: CD111369EC5EF80E Time : 0.0 sec. user=mdettweiler [2015-10-18 20:36:05] 919*2^1412547-1 is not prime. Res64: 996EEE5E80683D9F Time : 0.0 sec. user=mdettweiler [2015-10-18 20:36:05] 615*2^1412548-1 is not prime. Res64: 4C2BA6B0A0FDD1E4 Time : 0.0 sec. user=mdettweiler [2015-10-18 20:38:10] 663*2^1412548-1 is not prime. Res64: CDF9432B2F1BFC26 Time : 0.0 sec. user=mdettweiler [2015-10-18 20:38:10] 665*2^1412548-1 is not prime. Res64: E83F38B3AD10E2C3 Time : 0.0 sec. user=mdettweiler [2015-10-18 20:39:00] 677*2^1412548-1 is not prime. Res64: 4C41C35E03BF15FD Time : 0.0 sec. user=mdettweiler [2015-10-18 20:39:00] 797*2^1412548-1 is not prime. Res64: C4281064EBBAF1E0 Time : 0.0 sec. user=mdettweiler [2015-10-18 20:53:43] 825*2^1412548-1 is not prime. Res64: 83430CE698D72E12 Time : 0.0 sec. user=mdettweiler [2015-10-18 20:53:43] 959*2^1412548-1 is not prime. Res64: 6CB86A4BA9A9D469 Time : 0.0 sec. user=mdettweiler [2015-10-18 20:53:49] 879*2^1412549-1 is not prime. Res64: F35324E29C1EB52B Time : 0.0 sec. user=mdettweiler [2015-10-18 20:53:49] 885*2^1412549-1 is not prime. Res64: AFEEFA56563F0FC5 Time : 0.0 sec. user=mdettweiler [2015-10-18 20:55:57] 969*2^1412549-1 is not prime. Res64: DA239C0017C17273 Time : 0.0 sec. user=mdettweiler [2015-10-18 20:55:57] 677*2^1412550-1 is not prime. Res64: 6240E19633395CE9 Time : 0.0 sec. user=mdettweiler [2015-10-18 20:56:47] 713*2^1412550-1 is not prime. Res64: F58F6975E81A9A8B Time : 0.0 sec. user=mdettweiler [2015-10-18 20:56:47] 851*2^1412550-1 is not prime. Res64: 9558C55626FA1339 Time : 0.0 sec. user=mdettweiler [2015-10-18 21:11:59] 619*2^1412551-1 is not prime. Res64: BF0EEBC716D37A80 Time : 0.0 sec. user=mdettweiler [2015-10-18 21:12:00] 639*2^1412551-1 is not prime. Res64: 705E59190DA99B66 Time : 0.0 sec. user=mdettweiler [2015-10-18 21:12:01] 917*2^1412550-1 is not prime. Res64: 651328C0641CDDED Time : 0.0 sec. user=mdettweiler [2015-10-18 21:12:01] 1001*2^1412550-1 is not prime. Res64: BCE8121C55C9BDFF Time : 0.0 sec. user=mdettweiler [2015-10-18 21:14:23] 651*2^1412551-1 is not prime. Res64: EB6172276ECF08AE Time : 0.0 sec. user=mdettweiler [2015-10-18 21:14:23] 871*2^1412551-1 is not prime. Res64: 80B038AE2A81E4F2 Time : 0.0 sec. user=mdettweiler [2015-10-18 21:15:07] 891*2^1412551-1 is not prime. Res64: 3F437F8A5FAA892F Time : 0.0 sec. user=mdettweiler [2015-10-18 21:15:07] 909*2^1412551-1 is not prime. Res64: E8CD03A00E7C66B7 Time : 0.0 sec. user=mdettweiler [2015-10-18 21:30:03] 683*2^1412552-1 is not prime. Res64: 02133BCC1C5F27CF Time : 0.0 sec. user=mdettweiler [2015-10-18 21:30:04] 755*2^1412552-1 is not prime. Res64: A07F5F65772DF6F3 Time : 0.0 sec. user=mdettweiler [2015-10-18 21:30:08] 993*2^1412551-1 is not prime. Res64: 997E22A8B1B0905F Time : 0.0 sec. user=mdettweiler [2015-10-18 21:30:08] 669*2^1412552-1 is not prime. Res64: 860C9FC5D80FF76D Time : 0.0 sec. user=mdettweiler [2015-10-18 21:32:38] 843*2^1412552-1 is not prime. Res64: 5EC7E82440C3126C Time : 0.0 sec. user=mdettweiler [2015-10-18 21:32:38] 935*2^1412552-1 is not prime. Res64: 5B480EAC162E8A91 Time : 0.0 sec. user=mdettweiler [2015-10-18 21:33:13] 999*2^1412552-1 is not prime. Res64: BE2C9E7010707828 Time : 0.0 sec. user=mdettweiler [2015-10-18 21:33:14] 607*2^1412553-1 is not prime. Res64: 90E0F7DAC4CF2050 Time : 0.0 sec. user=mdettweiler [2015-10-18 21:49:40] 895*2^1412553-1 is not prime. Res64: E6184A88795E0EF8 Time : 0.0 sec. user=mdettweiler [2015-10-18 21:49:40] 979*2^1412553-1 is not prime. Res64: 93B1F2D87D2B43A6 Time : 0.0 sec. user=mdettweiler [2015-10-18 21:49:51] 817*2^1412553-1 is not prime. Res64: 578DBA3CBC7862E5 Time : 0.0 sec. user=mdettweiler [2015-10-18 21:49:51] 861*2^1412553-1 is not prime. Res64: 9E03CD79B17B4106 Time : 0.0 sec. user=mdettweiler [2015-10-18 21:52:17] 681*2^1412554-1 is not prime. Res64: 1403E50FE22A4F3A Time : 0.0 sec. user=mdettweiler [2015-10-18 21:52:17] 705*2^1412554-1 is not prime. Res64: A806A7D8A7DF599E Time : 0.0 sec. user=mdettweiler [2015-10-18 21:52:55] 717*2^1412554-1 is not prime. Res64: CF640BD8E208C1DA Time : 0.0 sec. user=mdettweiler [2015-10-18 21:52:55] 815*2^1412554-1 is not prime. Res64: 00CCC91E8EE78807 Time : 0.0 sec. user=mdettweiler [2015-10-18 22:08:44] 885*2^1412554-1 is not prime. Res64: 701E72BA06189860 Time : 0.0 sec. user=mdettweiler [2015-10-18 22:08:45] 945*2^1412554-1 is not prime. Res64: 5141922BDEB7B11E Time : 0.0 sec. user=mdettweiler [2015-10-18 22:09:12] 603*2^1412555-1 is not prime. Res64: CF019995A7D3F522 Time : 0.0 sec. user=mdettweiler [2015-10-18 22:09:13] 619*2^1412555-1 is not prime. Res64: 80CEB2FD9CA9F89B Time : 0.0 sec. user=mdettweiler [2015-10-18 22:11:25] 675*2^1412555-1 is not prime. Res64: B8F67D9639E3F002 Time : 0.0 sec. user=mdettweiler [2015-10-18 22:11:25] 823*2^1412555-1 is not prime. Res64: E7016BCC7E8471FE Time : 0.0 sec. user=mdettweiler [2015-10-18 22:12:12] 921*2^1412555-1 is not prime. Res64: BA66798B5B15DA53 Time : 0.0 sec. user=mdettweiler [2015-10-18 22:12:13] 969*2^1412555-1 is not prime. Res64: 9ADB4D2A82169B31 Time : 0.0 sec. user=mdettweiler [2015-10-18 22:27:09] 979*2^1412555-1 is not prime. Res64: 8A51CC9A114CA29D Time : 0.0 sec. user=mdettweiler [2015-10-18 22:27:09] 689*2^1412556-1 is not prime. Res64: 30C935ED7BC11688 Time : 0.0 sec. user=mdettweiler [2015-10-18 22:27:27] 693*2^1412556-1 is not prime. Res64: 3083789BC303FA8C Time : 0.0 sec. user=mdettweiler [2015-10-18 22:27:27] 705*2^1412556-1 is not prime. Res64: 194E9642DFCFBA3E Time : 0.0 sec. user=mdettweiler [2015-10-18 22:29:27] 773*2^1412556-1 is not prime. Res64: E0076CD4FE747940 Time : 0.0 sec. user=mdettweiler [2015-10-18 22:29:27] 905*2^1412556-1 is not prime. Res64: E42EEA581E70433C Time : 0.0 sec. user=mdettweiler [2015-10-18 22:30:20] 667*2^1412557-1 is not prime. Res64: 5842DC7D1153BCB4 Time : 0.0 sec. user=mdettweiler [2015-10-18 22:30:21] 687*2^1412557-1 is not prime. Res64: DDD7CC19741C10D6 Time : 0.0 sec. user=mdettweiler [2015-10-18 22:45:12] 757*2^1412557-1 is not prime. Res64: 4072D87CB4DBD359 Time : 0.0 sec. user=mdettweiler [2015-10-18 22:45:13] 769*2^1412557-1 is not prime. Res64: A2C065B95E711882 Time : 0.0 sec. user=mdettweiler [2015-10-18 22:45:27] 801*2^1412557-1 is not prime. Res64: 58E4C04926A7D172 Time : 0.0 sec. user=mdettweiler [2015-10-18 22:45:27] 825*2^1412557-1 is not prime. Res64: 5A6099DE4FA5A2F8 Time : 0.0 sec. user=mdettweiler [2015-10-18 22:47:30] 829*2^1412557-1 is not prime. Res64: C252CECDE4612FB0 Time : 0.0 sec. user=mdettweiler [2015-10-18 22:47:30] 931*2^1412557-1 is not prime. Res64: 956B99902FF58EE7 Time : 0.0 sec. user=mdettweiler [2015-10-18 22:48:15] 623*2^1412558-1 is not prime. Res64: 65D113D4FB4D106A Time : 0.0 sec. user=mdettweiler [2015-10-18 22:48:16] 687*2^1412558-1 is not prime. Res64: FDBC2717F0E780EA Time : 0.0 sec. user=mdettweiler [2015-10-18 23:03:11] 711*2^1412558-1 is not prime. Res64: E3DE2FAFAF7F98D9 Time : 0.0 sec. user=mdettweiler [2015-10-18 23:03:13] 713*2^1412558-1 is not prime. Res64: 7436E38DABFABB97 Time : 0.0 sec. user=mdettweiler [2015-10-18 23:03:31] 755*2^1412558-1 is not prime. Res64: 0C18A2647C98C794 Time : 0.0 sec. user=mdettweiler [2015-10-18 23:03:32] 857*2^1412558-1 is not prime. Res64: FD6B48A041A19038 Time : 0.0 sec. user=mdettweiler [2015-10-18 23:05:31] 923*2^1412558-1 is not prime. Res64: A0933D31ECE2D90B Time : 0.0 sec. user=mdettweiler [2015-10-18 23:05:34] 971*2^1412558-1 is not prime. Res64: 68F425AECA59D1CA Time : 0.0 sec. user=mdettweiler [2015-10-18 23:06:15] 675*2^1412559-1 is not prime. Res64: 890424D6E072E897 Time : 0.0 sec. user=mdettweiler [2015-10-18 23:06:16] 679*2^1412559-1 is not prime. Res64: 6D73A82E3726D2B4 Time : 0.0 sec. user=mdettweiler [2015-10-18 23:21:35] 825*2^1412559-1 is not prime. Res64: ADB1337A9EA8103E Time : 0.0 sec. user=mdettweiler [2015-10-18 23:21:35] 879*2^1412559-1 is not prime. Res64: 0FE156DD1504FDAF Time : 0.0 sec. user=mdettweiler [2015-10-18 23:21:40] 885*2^1412559-1 is not prime. Res64: 9D9F6566B4A9B8CF Time : 0.0 sec. user=mdettweiler [2015-10-18 23:21:40] 973*2^1412559-1 is not prime. Res64: 5756F0B5BF847157 Time : 0.0 sec. user=mdettweiler [2015-10-18 23:24:10] 603*2^1412560-1 is not prime. Res64: CE5161FC3BC856B6 Time : 0.0 sec. user=mdettweiler [2015-10-18 23:24:10] 609*2^1412560-1 is not prime. Res64: B09A52CE927CA8AE Time : 0.0 sec. user=mdettweiler [2015-10-18 23:24:35] 635*2^1412560-1 is not prime. Res64: 97D8941E56E1F272 Time : 0.0 sec. user=mdettweiler [2015-10-18 23:24:36] 863*2^1412560-1 is not prime. Res64: 12720B9C83F7EE4B Time : 0.0 sec. user=mdettweiler [2015-10-18 23:39:55] 607*2^1412561-1 is not prime. Res64: 91111C89289E43DF Time : 0.0 sec. user=mdettweiler [2015-10-18 23:39:55] 705*2^1412561-1 is not prime. Res64: C7209BE9C44F7811 Time : 0.0 sec. user=mdettweiler [2015-10-18 23:40:08] 711*2^1412561-1 is not prime. Res64: D3349E5D8CB801DF Time : 0.0 sec. user=mdettweiler [2015-10-18 23:40:09] 727*2^1412561-1 is not prime. Res64: 9C7680F4FE2ADE6B Time : 0.0 sec. user=mdettweiler [2015-10-18 23:42:30] 865*2^1412561-1 is not prime. Res64: C0F023457D247DDB Time : 0.0 sec. user=mdettweiler [2015-10-18 23:42:30] 949*2^1412561-1 is not prime. Res64: B28BE6FDB47CD3E2 Time : 0.0 sec. user=mdettweiler [2015-10-18 23:43:01] 991*2^1412561-1 is not prime. Res64: 77C5EBECF33B9998 Time : 0.0 sec. user=mdettweiler [2015-10-18 23:43:02] 627*2^1412562-1 is not prime. Res64: 2C66651D3EE60E9B Time : 0.0 sec. user=mdettweiler [2015-10-18 23:57:56] 731*2^1412562-1 is not prime. Res64: 41B41BCB322B0B16 Time : 0.0 sec. user=mdettweiler [2015-10-18 23:57:56] 791*2^1412562-1 is not prime. Res64: CD38FC149C243922 Time : 0.0 sec. user=mdettweiler [2015-10-18 23:58:10] 837*2^1412562-1 is not prime. Res64: 9416DC0E15187966 Time : 0.0 sec. user=mdettweiler [2015-10-18 23:58:10] 875*2^1412562-1 is not prime. Res64: BE6EE70BF1AD35E3 Time : 0.0 sec. user=mdettweiler [2015-10-19 00:00:32] 885*2^1412562-1 is not prime. Res64: 6CBAE7EAC7F36A76 Time : 0.0 sec. user=mdettweiler [2015-10-19 00:00:32] 941*2^1412562-1 is not prime. Res64: 8D27C88543D0D391 Time : 0.0 sec. user=mdettweiler [2015-10-19 00:00:58] 947*2^1412562-1 is not prime. Res64: 30443E1D9A651EA9 Time : 0.0 sec. user=mdettweiler [2015-10-19 00:00:58] 609*2^1412563-1 is not prime. Res64: 34F7AEAFF145EA4C Time : 0.0 sec.