user=mdettweiler [2016-06-02 00:02:08] 683*2^1431122-1 is not prime. Res64: 74A29B104D1ACC09 Time : 0.0 sec. user=mdettweiler [2016-06-02 00:02:09] 705*2^1431122-1 is not prime. Res64: 8A3D036EB6881262 Time : 0.0 sec. user=mdettweiler [2016-06-02 00:02:10] 741*2^1431122-1 is not prime. Res64: B3C5C3F34D07FA8E Time : 0.0 sec. user=mdettweiler [2016-06-02 00:02:11] 813*2^1431122-1 is not prime. Res64: 39E333C532163B6D Time : 0.0 sec. user=mdettweiler [2016-06-02 00:02:11] 911*2^1431122-1 is not prime. Res64: 4AF994084AE7DE7A Time : 0.0 sec. user=mdettweiler [2016-06-02 00:03:16] 615*2^1431123-1 is not prime. Res64: EA2301C0F6DAB56E Time : 0.0 sec. user=mdettweiler [2016-06-02 00:03:17] 663*2^1431123-1 is not prime. Res64: A8ADF69D39001C4D Time : 0.0 sec. user=mdettweiler [2016-06-02 00:03:18] 721*2^1431123-1 is not prime. Res64: B70FF4F89016FFF1 Time : 0.0 sec. user=mdettweiler [2016-06-02 00:03:18] 723*2^1431123-1 is not prime. Res64: 69F69F45C7487703 Time : 0.0 sec. user=mdettweiler [2016-06-02 00:03:19] 765*2^1431123-1 is not prime. Res64: 940D7F03BBB4F7EC Time : 0.0 sec. user=mdettweiler [2016-06-02 00:15:16] 781*2^1431123-1 is not prime. Res64: 53F7B7EC4ED36970 Time : 0.0 sec. user=mdettweiler [2016-06-02 00:15:17] 783*2^1431123-1 is not prime. Res64: F537D27C9E58109E Time : 0.0 sec. user=mdettweiler [2016-06-02 00:15:17] 793*2^1431123-1 is not prime. Res64: 921E3D838CD52DB8 Time : 0.0 sec. user=mdettweiler [2016-06-02 00:15:17] 823*2^1431123-1 is not prime. Res64: BE6F7920903688AD Time : 0.0 sec. user=mdettweiler [2016-06-02 00:15:18] 835*2^1431123-1 is not prime. Res64: C2FE969484677333 Time : 0.0 sec. user=mdettweiler [2016-06-02 00:29:40] 919*2^1431123-1 is not prime. Res64: C40E08D5B8FAA1F0 Time : 0.0 sec. user=mdettweiler [2016-06-02 00:29:40] 921*2^1431123-1 is not prime. Res64: 369F35D50336E015 Time : 0.0 sec. user=mdettweiler [2016-06-02 00:29:41] 617*2^1431124-1 is not prime. Res64: 48277F38AD0CA444 Time : 0.0 sec. user=mdettweiler [2016-06-02 00:29:41] 635*2^1431124-1 is not prime. Res64: 2A81F1EE24D0E58B Time : 0.0 sec. user=mdettweiler [2016-06-02 00:29:41] 717*2^1431124-1 is not prime. Res64: 4711F8E605A9CE77 Time : 0.0 sec. user=mdettweiler [2016-06-02 00:47:28] 813*2^1431124-1 is not prime. Res64: 14F654408FF683C3 Time : 0.0 sec. user=mdettweiler [2016-06-02 00:47:28] 939*2^1431124-1 is not prime. Res64: 6DB55C58A1A802A0 Time : 0.0 sec. user=mdettweiler [2016-06-02 00:47:28] 983*2^1431124-1 is not prime. Res64: DC01894A62549405 Time : 0.0 sec. user=mdettweiler [2016-06-02 00:47:29] 989*2^1431124-1 is not prime. Res64: DC54BDCB4013D98F Time : 0.0 sec. user=mdettweiler [2016-06-02 00:47:29] 649*2^1431125-1 is not prime. Res64: 8BFEEE6B33B1BB81 Time : 0.0 sec. user=mdettweiler [2016-06-02 00:48:49] 811*2^1431125-1 is not prime. Res64: 39123FAABAA2EE7B Time : 0.0 sec. user=mdettweiler [2016-06-02 00:48:49] 867*2^1431125-1 is not prime. Res64: 829844695CAA1025 Time : 0.0 sec. user=mdettweiler [2016-06-02 00:48:50] 885*2^1431125-1 is not prime. Res64: 68CAE4728D003233 Time : 0.0 sec. user=mdettweiler [2016-06-02 00:48:50] 683*2^1431126-1 is not prime. Res64: 56000A7239D8F327 Time : 0.0 sec. user=mdettweiler [2016-06-02 00:48:51] 725*2^1431126-1 is not prime. Res64: 1B438F4FB95B5307 Time : 0.0 sec. user=mdettweiler [2016-06-02 01:00:35] 825*2^1431126-1 is not prime. Res64: F149597EB04A9AB5 Time : 0.0 sec. user=mdettweiler [2016-06-02 01:00:36] 947*2^1431126-1 is not prime. Res64: 7904BDC9A93E0EEB Time : 0.0 sec. user=mdettweiler [2016-06-02 01:00:37] 603*2^1431127-1 is not prime. Res64: 4557FC4A765AC1DD Time : 0.0 sec. user=mdettweiler [2016-06-02 01:00:38] 609*2^1431127-1 is not prime. Res64: 33967C3D135EEF00 Time : 0.0 sec. user=mdettweiler [2016-06-02 01:00:38] 649*2^1431127-1 is not prime. Res64: CA019FF24CEBE0E3 Time : 0.0 sec. user=mdettweiler [2016-06-02 01:14:43] 673*2^1431127-1 is not prime. Res64: D823AAE2F0F509A5 Time : 0.0 sec. user=mdettweiler [2016-06-02 01:14:44] 703*2^1431127-1 is not prime. Res64: 0CC57EB6C96147B9 Time : 0.0 sec. user=mdettweiler [2016-06-02 01:14:44] 843*2^1431127-1 is not prime. Res64: DD128A8C24060ED3 Time : 0.0 sec. user=mdettweiler [2016-06-02 01:14:45] 629*2^1431128-1 is not prime. Res64: 2A6C16CD29595646 Time : 0.0 sec. user=mdettweiler [2016-06-02 01:14:45] 663*2^1431128-1 is not prime. Res64: 85E48199799FD62A Time : 0.0 sec. user=mdettweiler [2016-06-02 01:32:39] 713*2^1431128-1 is not prime. Res64: 765C1B1874161B3D Time : 0.0 sec. user=mdettweiler [2016-06-02 01:32:41] 827*2^1431128-1 is not prime. Res64: D3A2B86676B5D50C Time : 0.0 sec. user=mdettweiler [2016-06-02 01:32:42] 845*2^1431128-1 is not prime. Res64: 3FB7C6F6E9F9461E Time : 0.0 sec. user=mdettweiler [2016-06-02 01:32:43] 893*2^1431128-1 is not prime. Res64: 7E2171E3A6D12E46 Time : 0.0 sec. user=mdettweiler [2016-06-02 01:32:44] 945*2^1431128-1 is not prime. Res64: DEEE996B26F0CC14 Time : 0.0 sec. user=mdettweiler [2016-06-02 01:34:19] 657*2^1431129-1 is not prime. Res64: 40778E28FAD0490A Time : 0.0 sec. user=mdettweiler [2016-06-02 01:34:19] 669*2^1431129-1 is not prime. Res64: FA7B06D0CAC059A7 Time : 0.0 sec. user=mdettweiler [2016-06-02 01:34:19] 681*2^1431129-1 is not prime. Res64: 347A21E8EAE767B7 Time : 0.0 sec. user=mdettweiler [2016-06-02 01:34:20] 759*2^1431129-1 is not prime. Res64: D66F396D0552577B Time : 0.0 sec. user=mdettweiler [2016-06-02 01:34:20] 769*2^1431129-1 is not prime. Res64: F35DD331A3968436 Time : 0.0 sec. user=mdettweiler [2016-06-02 01:46:13] 861*2^1431129-1 is not prime. Res64: D1D05D50B3B0C414 Time : 0.0 sec. user=mdettweiler [2016-06-02 01:46:13] 999*2^1431129-1 is not prime. Res64: FDDDAC9F301798F9 Time : 0.0 sec. user=mdettweiler [2016-06-02 01:46:14] 603*2^1431130-1 is not prime. Res64: DB483AD2E9840868 Time : 0.0 sec. user=mdettweiler [2016-06-02 01:46:14] 803*2^1431130-1 is not prime. Res64: 3A7E34B55EB4BF6B Time : 0.0 sec. user=mdettweiler [2016-06-02 01:46:15] 833*2^1431130-1 is not prime. Res64: 64BD8222350AFCAC Time : 0.0 sec. user=mdettweiler [2016-06-02 01:59:52] 669*2^1431131-1 is not prime. Res64: CC8346C7AD21A248 Time : 0.0 sec. user=mdettweiler [2016-06-02 01:59:52] 735*2^1431131-1 is not prime. Res64: 25F8A89A544311AF Time : 0.0 sec. user=mdettweiler [2016-06-02 01:59:53] 871*2^1431131-1 is not prime. Res64: 132E4D96E4208319 Time : 0.0 sec. user=mdettweiler [2016-06-02 01:59:53] 969*2^1431131-1 is not prime. Res64: 91B609B7ADA8C462 Time : 0.0 sec. user=mdettweiler [2016-06-02 01:59:53] 689*2^1431132-1 is not prime. Res64: 7B3E1315E3A23D7C Time : 0.0 sec. user=mdettweiler [2016-06-02 02:17:53] 737*2^1431132-1 is not prime. Res64: EF1E2D2E6F5F62B7 Time : 0.0 sec. user=mdettweiler [2016-06-02 02:17:53] 797*2^1431132-1 is not prime. Res64: 601ED4416EB5A782 Time : 0.0 sec. user=mdettweiler [2016-06-02 02:17:54] 893*2^1431132-1 is not prime. Res64: 14EFA9AC0A8E3C57 Time : 0.0 sec. user=mdettweiler [2016-06-02 02:17:54] 651*2^1431133-1 is not prime. Res64: ACEA58FC8B41DFD8 Time : 0.0 sec. user=mdettweiler [2016-06-02 02:17:55] 729*2^1431133-1 is not prime. Res64: FFC115B147EA1C26 Time : 0.0 sec. user=mdettweiler [2016-06-02 02:19:06] 635*2^1431134-1 is not prime. Res64: CA572C622A9999C9 Time : 0.0 sec. user=mdettweiler [2016-06-02 02:19:07] 675*2^1431134-1 is not prime. Res64: 38B98E71E29BDA52 Time : 0.0 sec. user=mdettweiler [2016-06-02 02:19:07] 731*2^1431134-1 is not prime. Res64: 62C6D75BC2C26BD3 Time : 0.0 sec. user=mdettweiler [2016-06-02 02:19:08] 767*2^1431134-1 is not prime. Res64: C70C2DD474BC6867 Time : 0.0 sec. user=mdettweiler [2016-06-02 02:19:08] 827*2^1431134-1 is not prime. Res64: 4C50F9BC806C43B2 Time : 0.0 sec. user=mdettweiler [2016-06-02 02:31:19] 851*2^1431134-1 is not prime. Res64: EE084B932B974440 Time : 0.0 sec. user=mdettweiler [2016-06-02 02:31:19] 885*2^1431134-1 is not prime. Res64: E4DBCFE9B088C2F8 Time : 0.0 sec. user=mdettweiler [2016-06-02 02:31:20] 887*2^1431134-1 is not prime. Res64: C387789627E705DE Time : 0.0 sec. user=mdettweiler [2016-06-02 02:31:20] 649*2^1431135-1 is not prime. Res64: 659EA4F596B40C80 Time : 0.0 sec. user=mdettweiler [2016-06-02 02:31:21] 751*2^1431135-1 is not prime. Res64: 78A92610E27D8F8F Time : 0.0 sec. user=mdettweiler [2016-06-02 02:44:43] 829*2^1431135-1 is not prime. Res64: 329BE00E1C7B93E3 Time : 0.0 sec. user=mdettweiler [2016-06-02 02:44:43] 859*2^1431135-1 is not prime. Res64: B91AB2394623E9BB Time : 0.0 sec. user=mdettweiler [2016-06-02 02:44:44] 615*2^1431136-1 is not prime. Res64: DD91FE79A28AADA7 Time : 0.0 sec. user=mdettweiler [2016-06-02 02:44:44] 677*2^1431136-1 is not prime. Res64: 1777B930C1BF9B53 Time : 0.0 sec. user=mdettweiler [2016-06-02 02:44:45] 695*2^1431136-1 is not prime. Res64: 84FEB0F4031CD079 Time : 0.0 sec. user=mdettweiler [2016-06-02 03:03:38] 705*2^1431136-1 is not prime. Res64: 8630F1BA3A27B834 Time : 0.0 sec. user=mdettweiler [2016-06-02 03:03:40] 719*2^1431136-1 is not prime. Res64: 69478B3414C4B056 Time : 0.0 sec. user=mdettweiler [2016-06-02 03:03:40] 765*2^1431136-1 is not prime. Res64: 98F7CC0421999BEF Time : 0.0 sec. user=mdettweiler [2016-06-02 03:03:42] 803*2^1431136-1 is not prime. Res64: 7EDB1D01B1B6B0EE Time : 0.0 sec. user=mdettweiler [2016-06-02 03:03:43] 857*2^1431136-1 is not prime. Res64: 33872B9AAF9FBB44 Time : 0.0 sec. user=mdettweiler [2016-06-02 03:05:30] 897*2^1431136-1 is not prime. Res64: 01B39302509A9C2F Time : 0.0 sec. user=mdettweiler [2016-06-02 03:05:32] 917*2^1431136-1 is not prime. Res64: E934B24E5887803E Time : 0.0 sec. user=mdettweiler [2016-06-02 03:05:33] 927*2^1431136-1 is not prime. Res64: 464884D0F04AF3E3 Time : 0.0 sec. user=mdettweiler [2016-06-02 03:05:36] 697*2^1431137-1 is not prime. Res64: 6C86385DB4EF118D Time : 0.0 sec. user=mdettweiler [2016-06-02 03:05:38] 729*2^1431137-1 is not prime. Res64: 350AE6C359B8A649 Time : 0.0 sec. user=mdettweiler [2016-06-02 03:17:05] 777*2^1431137-1 is not prime. Res64: 522E403C77711426 Time : 0.0 sec. user=mdettweiler [2016-06-02 03:17:06] 819*2^1431137-1 is not prime. Res64: B23565418AD5542C Time : 0.0 sec. user=mdettweiler [2016-06-02 03:17:06] 967*2^1431137-1 is not prime. Res64: 94BF89C062652B7B Time : 0.0 sec. user=mdettweiler [2016-06-02 03:17:06] 677*2^1431138-1 is not prime. Res64: 9C8D15D0BF1F6CB9 Time : 0.0 sec. user=mdettweiler [2016-06-02 03:17:07] 711*2^1431138-1 is not prime. Res64: 504E40D339A1EFD8 Time : 0.0 sec. user=mdettweiler [2016-06-02 03:31:49] 765*2^1431138-1 is not prime. Res64: F73AF355CED7E510 Time : 0.0 sec. user=mdettweiler [2016-06-02 03:31:52] 791*2^1431138-1 is not prime. Res64: FC4C2E237011CFBF Time : 0.0 sec. user=mdettweiler [2016-06-02 03:31:55] 693*2^1431139-1 is not prime. Res64: 91D1F24E53D86D75 Time : 0.0 sec. user=mdettweiler [2016-06-02 03:31:56] 829*2^1431139-1 is not prime. Res64: A2970FF198839F45 Time : 0.0 sec. user=mdettweiler [2016-06-02 03:31:57] 909*2^1431139-1 is not prime. Res64: 9C2210541797B754 Time : 0.0 sec. user=mdettweiler [2016-06-02 03:50:08] 919*2^1431139-1 is not prime. Res64: 28076E3991EFEB8A Time : 0.0 sec. user=mdettweiler [2016-06-02 03:50:10] 635*2^1431140-1 is not prime. Res64: 885D8523B0EA1C7F Time : 0.0 sec. user=mdettweiler [2016-06-02 03:50:13] 707*2^1431140-1 is not prime. Res64: E472038DCE008617 Time : 0.0 sec. user=mdettweiler [2016-06-02 03:50:14] 767*2^1431140-1 is not prime. Res64: B2EE6475E0ABBE3C Time : 0.0 sec. user=mdettweiler [2016-06-02 03:50:15] 825*2^1431140-1 is not prime. Res64: 147C72AF3A161994 Time : 0.0 sec. user=mdettweiler [2016-06-02 03:51:29] 843*2^1431140-1 is not prime. Res64: 120AAC42EF15247C Time : 0.0 sec. user=mdettweiler [2016-06-02 03:51:31] 879*2^1431140-1 is not prime. Res64: 926DF8F5928D63D3 Time : 0.0 sec. user=mdettweiler [2016-06-02 03:51:31] 963*2^1431140-1 is not prime. Res64: A4BD8325374DA2B0 Time : 0.0 sec. user=mdettweiler [2016-06-02 03:51:32] 987*2^1431140-1 is not prime. Res64: E2B4D0C5ACA7D070 Time : 0.0 sec. user=mdettweiler [2016-06-02 03:51:32] 627*2^1431141-1 is not prime. Res64: C7A4423D2E66B164 Time : 0.0 sec. user=mdettweiler [2016-06-02 04:02:38] 717*2^1431141-1 is not prime. Res64: 2E3FA3C95DEF8893 Time : 0.0 sec. user=mdettweiler [2016-06-02 04:02:39] 871*2^1431141-1 is not prime. Res64: 99F2D4E93A284CBA Time : 0.0 sec. user=mdettweiler [2016-06-02 04:02:41] 921*2^1431141-1 is not prime. Res64: C7BAA6013BC80373 Time : 0.0 sec. user=mdettweiler [2016-06-02 04:02:42] 927*2^1431141-1 is not prime. Res64: 82AC15463642FFC0 Time : 0.0 sec. user=mdettweiler [2016-06-02 04:02:43] 955*2^1431141-1 is not prime. Res64: 29EB86F8BC824241 Time : 0.0 sec. user=mdettweiler [2016-06-02 04:16:58] 975*2^1431141-1 is not prime. Res64: D748053CABEBC475 Time : 0.0 sec. user=mdettweiler [2016-06-02 04:16:58] 737*2^1431142-1 is not prime. Res64: 2793643A0C90B006 Time : 0.0 sec. user=mdettweiler [2016-06-02 04:16:59] 833*2^1431142-1 is not prime. Res64: 074BBB2738C64B80 Time : 0.0 sec. user=mdettweiler [2016-06-02 04:16:59] 843*2^1431142-1 is not prime. Res64: E441F264CE197A68 Time : 0.0 sec. user=mdettweiler [2016-06-02 04:17:00] 887*2^1431142-1 is not prime. Res64: 78DA2DEE9F1FDC76 Time : 0.0 sec. user=mdettweiler [2016-06-02 04:35:09] 923*2^1431142-1 is not prime. Res64: 3B22F2EE65759D5F Time : 0.0 sec. user=mdettweiler [2016-06-02 04:35:09] 603*2^1431143-1 is not prime. Res64: 7C5DD96967E1E5EF Time : 0.0 sec. user=mdettweiler [2016-06-02 04:35:09] 621*2^1431143-1 is not prime. Res64: 226893AC882DADAF Time : 0.0 sec. user=mdettweiler [2016-06-02 04:35:10] 741*2^1431143-1 is not prime. Res64: 31E2DA9C0ADFD2BA Time : 0.0 sec. user=mdettweiler [2016-06-02 04:35:10] 999*2^1431143-1 is not prime. Res64: 72886D6D70AE1FCD Time : 0.0 sec. user=mdettweiler [2016-06-02 04:36:35] 635*2^1431144-1 is not prime. Res64: E79E2DFD65F1D3EB Time : 0.0 sec. user=mdettweiler [2016-06-02 04:36:35] 683*2^1431144-1 is not prime. Res64: 38F510DB399B9A13 Time : 0.0 sec. user=mdettweiler [2016-06-02 04:36:36] 705*2^1431144-1 is not prime. Res64: FA0D0430E420FEC9 Time : 0.0 sec. user=mdettweiler [2016-06-02 04:36:36] 725*2^1431144-1 is not prime. Res64: 34388C2733EEBE5D Time : 0.0 sec. user=mdettweiler [2016-06-02 04:36:37] 765*2^1431144-1 is not prime. Res64: C458C834E761A22F Time : 0.0 sec. user=mdettweiler [2016-06-02 04:47:57] 809*2^1431144-1 is not prime. Res64: 60795C2595D719AC Time : 0.0 sec. user=mdettweiler [2016-06-02 04:47:57] 903*2^1431144-1 is not prime. Res64: 56D4D753E2C8C1AE Time : 0.0 sec. user=mdettweiler [2016-06-02 04:47:58] 909*2^1431144-1 is not prime. Res64: C7A455BF7485DB0D Time : 0.0 sec. user=mdettweiler [2016-06-02 04:47:58] 915*2^1431144-1 is not prime. Res64: 2A2FD315487DBF61 Time : 0.0 sec. user=mdettweiler [2016-06-02 04:47:58] 935*2^1431144-1 is not prime. Res64: BDF7B4BF4556D2D4 Time : 0.0 sec. user=mdettweiler [2016-06-02 05:02:01] 957*2^1431144-1 is not prime. Res64: 405184B8F592EF7E Time : 0.0 sec. user=mdettweiler [2016-06-02 05:02:02] 975*2^1431144-1 is not prime. Res64: FFDE20CC3315C784 Time : 0.0 sec. user=mdettweiler [2016-06-02 05:02:03] 699*2^1431145-1 is not prime. Res64: 4F746242E188AD46 Time : 0.0 sec. user=mdettweiler [2016-06-02 05:02:03] 705*2^1431145-1 is not prime. Res64: 1C782A088202D209 Time : 0.0 sec. user=mdettweiler [2016-06-02 05:02:04] 729*2^1431145-1 is not prime. Res64: B94A208992ED1756 Time : 0.0 sec. user=mdettweiler [2016-06-02 05:20:15] 765*2^1431145-1 is not prime. Res64: D7CBE60FBFE62E52 Time : 0.0 sec. user=mdettweiler [2016-06-02 05:20:16] 805*2^1431145-1 is not prime. Res64: A605E3C0BF067539 Time : 0.0 sec. user=mdettweiler [2016-06-02 05:20:16] 861*2^1431145-1 is not prime. Res64: A2245C2EF52527AB Time : 0.0 sec. user=mdettweiler [2016-06-02 05:20:17] 885*2^1431145-1 is not prime. Res64: 0526FB6572C5EEC0 Time : 0.0 sec. user=mdettweiler [2016-06-02 05:20:17] 919*2^1431145-1 is not prime. Res64: B67D8733F9913928 Time : 0.0 sec. user=mdettweiler [2016-06-02 05:21:29] 999*2^1431145-1 is not prime. Res64: C3AFF6D16C8C96B5 Time : 0.0 sec. user=mdettweiler [2016-06-02 05:21:30] 741*2^1431146-1 is not prime. Res64: E258C902A49AA39F Time : 0.0 sec. user=mdettweiler [2016-06-02 05:21:30] 981*2^1431146-1 is not prime. Res64: 5B437C2C31EC7E52 Time : 0.0 sec. user=mdettweiler [2016-06-02 05:21:30] 987*2^1431146-1 is not prime. Res64: F5DCFE4CD40B4946 Time : 0.0 sec. user=mdettweiler [2016-06-02 05:21:31] 765*2^1431147-1 is not prime. Res64: D71781A8A070C131 Time : 0.0 sec. user=mdettweiler [2016-06-02 05:32:57] 795*2^1431147-1 is not prime. Res64: 1840268F49D5D209 Time : 0.0 sec. user=mdettweiler [2016-06-02 05:32:58] 919*2^1431147-1 is not prime. Res64: 8D7C2CCEF33E6C03 Time : 0.0 sec. user=mdettweiler [2016-06-02 05:32:58] 629*2^1431148-1 is not prime. Res64: F57B097D95B0F0DB Time : 0.0 sec. user=mdettweiler [2016-06-02 05:32:59] 869*2^1431148-1 is not prime. Res64: 3A29276BC67259F7 Time : 0.0 sec. user=mdettweiler [2016-06-02 05:33:00] 989*2^1431148-1 is not prime. Res64: 08D3AB81E81F06F9 Time : 0.0 sec. user=mdettweiler [2016-06-02 05:47:07] 655*2^1431149-1 is not prime. Res64: C6E6937806171F3B Time : 0.0 sec. user=mdettweiler [2016-06-02 05:47:07] 675*2^1431149-1 is not prime. Res64: 23C0A13B91B62F30 Time : 0.0 sec. user=mdettweiler [2016-06-02 05:47:08] 771*2^1431149-1 is not prime. Res64: D91C42B0B8B8EE49 Time : 0.0 sec. user=mdettweiler [2016-06-02 05:47:08] 811*2^1431149-1 is not prime. Res64: 7718E6835B54E70D Time : 0.0 sec. user=mdettweiler [2016-06-02 05:47:08] 885*2^1431149-1 is not prime. Res64: FCE970AEB537EC44 Time : 0.0 sec. user=mdettweiler [2016-06-02 06:05:22] 997*2^1431149-1 is not prime. Res64: 17F0068825EC9A56 Time : 0.0 sec. user=mdettweiler [2016-06-02 06:05:24] 641*2^1431150-1 is not prime. Res64: DF1D17F25C5B6326 Time : 0.0 sec. user=mdettweiler [2016-06-02 06:05:24] 681*2^1431150-1 is not prime. Res64: 859C7F849AFB6789 Time : 0.0 sec. user=mdettweiler [2016-06-02 06:05:25] 755*2^1431150-1 is not prime. Res64: F4811A5EB7082B32 Time : 0.0 sec. user=mdettweiler [2016-06-02 06:05:26] 765*2^1431150-1 is not prime. Res64: BB2D036596591210 Time : 0.0 sec. user=mdettweiler [2016-06-02 06:06:22] 767*2^1431150-1 is not prime. Res64: B00EA6B74BA6E10F Time : 0.0 sec. user=mdettweiler [2016-06-02 06:06:24] 777*2^1431150-1 is not prime. Res64: A09917D990A745DA Time : 0.0 sec. user=mdettweiler [2016-06-02 06:06:24] 795*2^1431150-1 is not prime. Res64: 92520B951BE06F9A Time : 0.0 sec. user=mdettweiler [2016-06-02 06:06:25] 867*2^1431150-1 is not prime. Res64: AB2E68C220FC5634 Time : 0.0 sec. user=mdettweiler [2016-06-02 06:06:26] 921*2^1431150-1 is not prime. Res64: 8E06671631B67B60 Time : 0.0 sec. user=mdettweiler [2016-06-02 06:18:04] 963*2^1431150-1 is not prime. Res64: C8C1B310EDB5E2B9 Time : 0.0 sec. user=mdettweiler [2016-06-02 06:18:05] 651*2^1431151-1 is not prime. Res64: 866FFE7BABDDCA5D Time : 0.0 sec. user=mdettweiler [2016-06-02 06:18:06] 693*2^1431151-1 is not prime. Res64: A786958D7E551A61 Time : 0.0 sec. user=mdettweiler [2016-06-02 06:18:07] 771*2^1431151-1 is not prime. Res64: B74719C1C5C50BC0 Time : 0.0 sec. user=mdettweiler [2016-06-02 06:18:08] 805*2^1431151-1 is not prime. Res64: 9A2F7173513FE760 Time : 0.0 sec. user=mdettweiler [2016-06-02 06:32:02] 871*2^1431151-1 is not prime. Res64: 6A8539843D8714F8 Time : 0.0 sec. user=mdettweiler [2016-06-02 06:32:02] 885*2^1431151-1 is not prime. Res64: CFAED00C93FA4F6E Time : 0.0 sec. user=mdettweiler [2016-06-02 06:32:02] 969*2^1431151-1 is not prime. Res64: 87F1639CBB9A0B8B Time : 0.0 sec. user=mdettweiler [2016-06-02 06:32:03] 973*2^1431151-1 is not prime. Res64: 7C38F3FAA0A5BF2C Time : 0.0 sec. user=mdettweiler [2016-06-02 06:32:03] 669*2^1431152-1 is not prime. Res64: 0A7E6728C8F20C76 Time : 0.0 sec. user=mdettweiler [2016-06-02 06:50:37] 693*2^1431152-1 is not prime. Res64: 08ACBCA49FCC9970 Time : 0.0 sec. user=mdettweiler [2016-06-02 06:50:37] 713*2^1431152-1 is not prime. Res64: 680B1E92A27FC370 Time : 0.0 sec. user=mdettweiler [2016-06-02 06:50:37] 855*2^1431152-1 is not prime. Res64: A2CE1A54CB8BB5B5 Time : 0.0 sec. user=mdettweiler [2016-06-02 06:50:38] 917*2^1431152-1 is not prime. Res64: 7661276CCCB7DA7D Time : 0.0 sec. user=mdettweiler [2016-06-02 06:50:38] 999*2^1431152-1 is not prime. Res64: BCED53A18410B503 Time : 0.0 sec. user=mdettweiler [2016-06-02 06:51:16] 787*2^1431153-1 is not prime. Res64: 122E3CC200C11849 Time : 0.0 sec. user=mdettweiler [2016-06-02 06:51:16] 817*2^1431153-1 is not prime. Res64: 57B8EC3AF5AC4371 Time : 0.0 sec. user=mdettweiler [2016-06-02 06:51:17] 849*2^1431153-1 is not prime. Res64: D24BCEA472AB99F1 Time : 0.0 sec. user=mdettweiler [2016-06-02 06:51:17] 611*2^1431154-1 is not prime. Res64: B2E79824AF47B10B Time : 0.0 sec. user=mdettweiler [2016-06-02 06:51:18] 675*2^1431154-1 is not prime. Res64: 935E5410DD14027C Time : 0.0 sec. user=mdettweiler [2016-06-02 07:03:16] 695*2^1431154-1 is not prime. Res64: 2B0D9990C28C5499 Time : 0.0 sec. user=mdettweiler [2016-06-02 07:03:17] 747*2^1431154-1 is not prime. Res64: 1460BA085F2B29A9 Time : 0.0 sec. user=mdettweiler [2016-06-02 07:03:18] 765*2^1431154-1 is not prime. Res64: 4767C9AFB1EBD273 Time : 0.0 sec. user=mdettweiler [2016-06-02 07:03:19] 783*2^1431154-1 is not prime. Res64: 2676AE67E5270A63 Time : 0.0 sec. user=mdettweiler [2016-06-02 07:03:20] 833*2^1431154-1 is not prime. Res64: 96AD91CF23E7812D Time : 0.0 sec. user=mdettweiler [2016-06-02 07:17:09] 923*2^1431154-1 is not prime. Res64: 7EE9A0D8D6805922 Time : 0.0 sec. user=mdettweiler [2016-06-02 07:17:09] 685*2^1431155-1 is not prime. Res64: 8E27CF6DCB5BE5E6 Time : 0.0 sec. user=mdettweiler [2016-06-02 07:17:10] 841*2^1431155-1 is not prime. Res64: 339FCA0814F9E32D Time : 0.0 sec. user=mdettweiler [2016-06-02 07:17:10] 861*2^1431155-1 is not prime. Res64: 155127FEA2F0556E Time : 0.0 sec. user=mdettweiler [2016-06-02 07:17:11] 885*2^1431155-1 is not prime. Res64: 1810C6BDA6C3945C Time : 0.0 sec. user=mdettweiler [2016-06-02 07:35:47] 949*2^1431155-1 is not prime. Res64: 627B730950510C75 Time : 0.0 sec. user=mdettweiler [2016-06-02 07:35:47] 991*2^1431155-1 is not prime. Res64: A7F80A9AC111D5F7 Time : 0.0 sec. user=mdettweiler [2016-06-02 07:35:48] 707*2^1431156-1 is not prime. Res64: 1FAF1532ACC7EE3D Time : 0.0 sec. user=mdettweiler [2016-06-02 07:35:48] 893*2^1431156-1 is not prime. Res64: 90A9B3321550166E Time : 0.0 sec. user=mdettweiler [2016-06-02 07:35:48] 615*2^1431157-1 is not prime. Res64: 5CC6C1C4F9EC42B9 Time : 0.0 sec. user=mdettweiler [2016-06-02 07:36:26] 675*2^1431157-1 is not prime. Res64: CFECAB1CA1962DD3 Time : 0.0 sec. user=mdettweiler [2016-06-02 07:36:26] 769*2^1431157-1 is not prime. Res64: 3C1B4128310560D0 Time : 0.0 sec. user=mdettweiler [2016-06-02 07:36:27] 915*2^1431157-1 is not prime. Res64: A01D0A770EC952F4 Time : 0.0 sec. user=mdettweiler [2016-06-02 07:36:27] 641*2^1431158-1 is not prime. Res64: 3E7A73E4D539F070 Time : 0.0 sec. user=mdettweiler [2016-06-02 07:36:28] 671*2^1431158-1 is not prime. Res64: 4BC02B1B47C6AF6F Time : 0.0 sec. user=mdettweiler [2016-06-02 07:48:35] 867*2^1431158-1 is not prime. Res64: 1E84926EA1FE80B9 Time : 0.0 sec. user=mdettweiler [2016-06-02 07:48:36] 945*2^1431158-1 is not prime. Res64: 305649CE5F4B6D8B Time : 0.0 sec. user=mdettweiler [2016-06-02 07:48:36] 951*2^1431158-1 is not prime. Res64: 009A13D597811688 Time : 0.0 sec. user=mdettweiler [2016-06-02 07:48:36] 977*2^1431158-1 is not prime. Res64: 3263B8182F87D308 Time : 0.0 sec. user=mdettweiler [2016-06-02 07:48:37] 601*2^1431159-1 is not prime. Res64: 5CAEC8753AA5369F Time : 0.0 sec. user=mdettweiler [2016-06-02 08:02:08] 625*2^1431159-1 is not prime. Res64: A1434B58C1BC22F1 Time : 0.0 sec. user=mdettweiler [2016-06-02 08:02:09] 969*2^1431159-1 is not prime. Res64: A8744EF80C9C678E Time : 0.0 sec. user=mdettweiler [2016-06-02 08:02:10] 623*2^1431160-1 is not prime. Res64: 569745BFE8054127 Time : 0.0 sec. user=mdettweiler [2016-06-02 08:02:11] 629*2^1431160-1 is not prime. Res64: F1AE25962EEF7BA9 Time : 0.0 sec. user=mdettweiler [2016-06-02 08:02:12] 663*2^1431160-1 is not prime. Res64: AE958E14BBCE2BB7 Time : 0.0 sec. user=mdettweiler [2016-06-02 08:20:39] 819*2^1431160-1 is not prime. Res64: 2E2B2BD8AC637D12 Time : 0.0 sec. user=mdettweiler [2016-06-02 08:20:39] 849*2^1431160-1 is not prime. Res64: 57529997966AAEC3 Time : 0.0 sec. user=mdettweiler [2016-06-02 08:20:39] 887*2^1431160-1 is not prime. Res64: A18D35E4545062EB Time : 0.0 sec. user=mdettweiler [2016-06-02 08:20:40] 899*2^1431160-1 is not prime. Res64: A5D75712086012F9 Time : 0.0 sec. user=mdettweiler [2016-06-02 08:20:40] 983*2^1431160-1 is not prime. Res64: F047E8B6DB3A6DAC Time : 0.0 sec. user=mdettweiler [2016-06-02 08:21:19] 651*2^1431161-1 is not prime. Res64: 3BA6B5A6B47E6CC0 Time : 0.0 sec. user=mdettweiler [2016-06-02 08:21:19] 735*2^1431161-1 is not prime. Res64: 9DBF1FB615738BD3 Time : 0.0 sec. user=mdettweiler [2016-06-02 08:21:20] 865*2^1431161-1 is not prime. Res64: 01C7C08C7E13633B Time : 0.0 sec. user=mdettweiler [2016-06-02 08:21:20] 945*2^1431161-1 is not prime. Res64: 17CFC5F4DBF58CC8 Time : 0.0 sec. user=mdettweiler [2016-06-02 08:21:21] 949*2^1431161-1 is not prime. Res64: F6BA4E5B6956D79A Time : 0.0 sec. user=mdettweiler [2016-06-02 08:33:39] 955*2^1431161-1 is not prime. Res64: 166704D5904102BB Time : 0.0 sec. user=mdettweiler [2016-06-02 08:33:39] 717*2^1431162-1 is not prime. Res64: 1516F61120EE60C5 Time : 0.0 sec. user=mdettweiler [2016-06-02 08:33:40] 923*2^1431162-1 is not prime. Res64: 2CBDCAD1FBD96C85 Time : 0.0 sec. user=mdettweiler [2016-06-02 08:33:40] 957*2^1431162-1 is not prime. Res64: 8AC994675C326646 Time : 0.0 sec. user=mdettweiler [2016-06-02 08:33:40] 685*2^1431163-1 is not prime. Res64: DC261CA2E26DB806 Time : 0.0 sec. user=mdettweiler [2016-06-02 08:47:28] 735*2^1431163-1 is not prime. Res64: 17AD1B1D092452E6 Time : 0.0 sec. user=mdettweiler [2016-06-02 08:47:29] 855*2^1431163-1 is not prime. Res64: 2636B8ECE0701A12 Time : 0.0 sec. user=mdettweiler [2016-06-02 08:47:29] 885*2^1431163-1 is not prime. Res64: 5EE0A331D7EE82DB Time : 0.0 sec. user=mdettweiler [2016-06-02 08:47:29] 699*2^1431164-1 is not prime. Res64: CD232A40E9309158 Time : 0.0 sec. user=mdettweiler [2016-06-02 08:47:30] 725*2^1431164-1 is not prime. Res64: 48B183E5510E4649 Time : 0.0 sec. user=mdettweiler [2016-06-02 09:05:46] 969*2^1431164-1 is not prime. Res64: 0E9E0CC5B89FD6C0 Time : 0.0 sec. user=mdettweiler [2016-06-02 09:05:47] 651*2^1431165-1 is not prime. Res64: 81142171AF220AB2 Time : 0.0 sec. user=mdettweiler [2016-06-02 09:05:48] 679*2^1431165-1 is not prime. Res64: EE9100C89A62006E Time : 0.0 sec. user=mdettweiler [2016-06-02 09:05:49] 611*2^1431166-1 is not prime. Res64: E5660D864E013DA8 Time : 0.0 sec. user=mdettweiler [2016-06-02 09:05:50] 705*2^1431166-1 is not prime. Res64: 5149322E6EF8C462 Time : 0.0 sec. user=mdettweiler [2016-06-02 09:06:21] 761*2^1431166-1 is not prime. Res64: 79C4EA8677878819 Time : 0.0 sec. user=mdettweiler [2016-06-02 09:06:22] 765*2^1431166-1 is not prime. Res64: E56DCB55B1D676DD Time : 0.0 sec. user=mdettweiler [2016-06-02 09:06:22] 825*2^1431166-1 is not prime. Res64: FCBF28A1C5C132A3 Time : 0.0 sec. user=mdettweiler [2016-06-02 09:06:23] 911*2^1431166-1 is not prime. Res64: 861079A6E52B6FED Time : 0.0 sec. user=mdettweiler [2016-06-02 09:06:24] 993*2^1431166-1 is not prime. Res64: 1979CA3C3E4776F3 Time : 0.0 sec. user=mdettweiler [2016-06-02 09:19:08] 705*2^1431167-1 is not prime. Res64: 2E6212E72172D3E6 Time : 0.0 sec. user=mdettweiler [2016-06-02 09:19:08] 949*2^1431167-1 is not prime. Res64: 911836F13420CCE7 Time : 0.0 sec. user=mdettweiler [2016-06-02 09:19:09] 981*2^1431167-1 is not prime. Res64: A927BD2ED8BBD262 Time : 0.0 sec. user=mdettweiler [2016-06-02 09:19:09] 663*2^1431168-1 is not prime. Res64: FB264DE961D4CB73 Time : 0.0 sec. user=mdettweiler [2016-06-02 09:19:09] 737*2^1431168-1 is not prime. Res64: 8FAD0EF3E43B263C Time : 0.0 sec. user=mdettweiler [2016-06-02 09:32:30] 759*2^1431168-1 is not prime. Res64: DBCBE32145E24060 Time : 0.0 sec. user=mdettweiler [2016-06-02 09:32:30] 839*2^1431168-1 is not prime. Res64: 054F47A5FCF36F9A Time : 0.0 sec. user=mdettweiler [2016-06-02 09:32:31] 909*2^1431168-1 is not prime. Res64: 184A36263A937911 Time : 0.0 sec. user=mdettweiler [2016-06-02 09:32:31] 947*2^1431168-1 is not prime. Res64: AE21C8D118032762 Time : 0.0 sec. user=mdettweiler [2016-06-02 09:32:32] 959*2^1431168-1 is not prime. Res64: 8D29ABDFDA6BFFD8 Time : 0.0 sec. user=mdettweiler [2016-06-02 09:51:06] 667*2^1431169-1 is not prime. Res64: 4548EE64C492382E Time : 0.0 sec. user=mdettweiler [2016-06-02 09:51:07] 721*2^1431169-1 is not prime. Res64: 9D4C052D1E8F824C Time : 0.0 sec. user=mdettweiler [2016-06-02 09:51:07] 747*2^1431169-1 is not prime. Res64: A602B63EC9990262 Time : 0.0 sec. user=mdettweiler [2016-06-02 09:51:08] 765*2^1431169-1 is not prime. Res64: A164812300AEACC1 Time : 0.0 sec. user=mdettweiler [2016-06-02 09:51:08] 817*2^1431169-1 is not prime. Res64: A423B5751468F7E9 Time : 0.0 sec. user=mdettweiler [2016-06-02 09:51:12] 841*2^1431169-1 is not prime. Res64: 1AB9B8EAAAE161E3 Time : 0.0 sec. user=mdettweiler [2016-06-02 09:51:13] 675*2^1431170-1 is not prime. Res64: 1F490D4826931EFC Time : 0.0 sec. user=mdettweiler [2016-06-02 09:51:13] 813*2^1431170-1 is not prime. Res64: 3C0380C61F57392E Time : 0.0 sec. user=mdettweiler [2016-06-02 09:51:13] 827*2^1431170-1 is not prime. Res64: 6CEA792DEB50E3DF Time : 0.0 sec. user=mdettweiler [2016-06-02 09:51:14] 977*2^1431170-1 is not prime. Res64: A5320DB98FC61A38 Time : 0.0 sec. user=mdettweiler [2016-06-02 10:04:00] 649*2^1431171-1 is not prime. Res64: 64E84C92B5B96764 Time : 0.0 sec. user=mdettweiler [2016-06-02 10:04:02] 709*2^1431171-1 is not prime. Res64: F2E7F2B6C38D43E2 Time : 0.0 sec. user=mdettweiler [2016-06-02 10:04:03] 735*2^1431171-1 is not prime. Res64: 9E5EF7A8E8C98E19 Time : 0.0 sec. user=mdettweiler [2016-06-02 10:04:04] 895*2^1431171-1 is not prime. Res64: AE22D5878086D06E Time : 0.0 sec. user=mdettweiler [2016-06-02 10:04:05] 979*2^1431171-1 is not prime. Res64: 518DE9665B7EA77D Time : 0.0 sec. user=mdettweiler [2016-06-02 10:17:24] 991*2^1431171-1 is not prime. Res64: 161C1FF913CF55FA Time : 0.0 sec. user=mdettweiler [2016-06-02 10:17:24] 665*2^1431172-1 is not prime. Res64: 6F8E78E00BEB5224 Time : 0.0 sec. user=mdettweiler [2016-06-02 10:17:25] 717*2^1431172-1 is not prime. Res64: 7FEE70688A828DF2 Time : 0.0 sec. user=mdettweiler [2016-06-02 10:17:25] 749*2^1431172-1 is not prime. Res64: 36F4F1CE0709C3AC Time : 0.0 sec. user=mdettweiler [2016-06-02 10:17:26] 869*2^1431172-1 is not prime. Res64: 5D4AFBD88730D8C6 Time : 0.0 sec. user=mdettweiler [2016-06-02 10:36:01] 899*2^1431172-1 is not prime. Res64: 6BBA3FFE026ACD57 Time : 0.0 sec. user=mdettweiler [2016-06-02 10:36:01] 933*2^1431172-1 is not prime. Res64: 35B638E740ADE3B5 Time : 0.0 sec. user=mdettweiler [2016-06-02 10:36:02] 607*2^1431173-1 is not prime. Res64: 31D5307994F05816 Time : 0.0 sec. user=mdettweiler [2016-06-02 10:36:03] 649*2^1431173-1 is not prime. Res64: B66EFACBD019E4ED Time : 0.0 sec. user=mdettweiler [2016-06-02 10:36:03] 685*2^1431173-1 is not prime. Res64: EE4F8E64BCE89435 Time : 0.0 sec. user=mdettweiler [2016-06-02 10:36:11] 811*2^1431173-1 is not prime. Res64: CC7823DAA473C7FB Time : 0.0 sec. user=mdettweiler [2016-06-02 10:36:12] 847*2^1431173-1 is not prime. Res64: D083E82B1AB1291C Time : 0.0 sec. user=mdettweiler [2016-06-02 10:36:13] 861*2^1431173-1 is not prime. Res64: F2797139D78041C1 Time : 0.0 sec. user=mdettweiler [2016-06-02 10:36:14] 885*2^1431173-1 is not prime. Res64: B03B4F79AD3DBDA5 Time : 0.0 sec. user=mdettweiler [2016-06-02 10:36:14] 915*2^1431173-1 is not prime. Res64: 98C3FCCE8AE858C9 Time : 0.0 sec. user=mdettweiler [2016-06-02 10:49:05] 621*2^1431174-1 is not prime. Res64: 787729418A2BC7B6 Time : 0.0 sec. user=mdettweiler [2016-06-02 10:49:06] 711*2^1431174-1 is not prime. Res64: CA79478D10D18C4C Time : 0.0 sec. user=mdettweiler [2016-06-02 10:49:06] 737*2^1431174-1 is not prime. Res64: 3075106B7952840A Time : 0.0 sec. user=mdettweiler [2016-06-02 10:49:06] 795*2^1431174-1 is not prime. Res64: 9FF28D23F4C5C21D Time : 0.0 sec. user=mdettweiler [2016-06-02 10:49:07] 821*2^1431174-1 is not prime. Res64: 795F8B831CB74E40 Time : 0.0 sec. user=mdettweiler [2016-06-02 11:02:16] 903*2^1431174-1 is not prime. Res64: 8B4EC3331171DEBF Time : 0.0 sec. user=mdettweiler [2016-06-02 11:02:18] 921*2^1431174-1 is not prime. Res64: 30A3DC751216AF85 Time : 0.0 sec. user=mdettweiler [2016-06-02 11:02:19] 723*2^1431175-1 is not prime. Res64: 2DC7C159ECF46CB1 Time : 0.0 sec. user=mdettweiler [2016-06-02 11:02:19] 933*2^1431175-1 is not prime. Res64: DBADBFBEF28D4739 Time : 0.0 sec. user=mdettweiler [2016-06-02 11:02:20] 939*2^1431175-1 is not prime. Res64: 4A340536E0B8AC86 Time : 0.0 sec. user=mdettweiler [2016-06-02 11:20:59] 747*2^1431176-1 is not prime. Res64: 3266EB99FFE0AA0F Time : 0.0 sec. user=mdettweiler [2016-06-02 11:20:59] 935*2^1431176-1 is not prime. Res64: 06C532D6BAE79904 Time : 0.0 sec. user=mdettweiler [2016-06-02 11:20:59] 625*2^1431177-1 is not prime. Res64: F3ACCCFC89ACD679 Time : 0.0 sec. user=mdettweiler [2016-06-02 11:21:00] 627*2^1431177-1 is not prime. Res64: 2E1921242D4F1EC5 Time : 0.0 sec. user=mdettweiler [2016-06-02 11:21:00] 661*2^1431177-1 is not prime. Res64: 6D2099E51051B42B Time : 0.0 sec. user=mdettweiler [2016-06-02 11:21:10] 837*2^1431177-1 is not prime. Res64: 7D1EA339468CB561 Time : 0.0 sec. user=mdettweiler [2016-06-02 11:21:10] 867*2^1431177-1 is not prime. Res64: 8820E73C5EE002B9 Time : 0.0 sec. user=mdettweiler [2016-06-02 11:21:11] 621*2^1431178-1 is not prime. Res64: EDA4E0DA4D74AA7E Time : 0.0 sec. user=mdettweiler [2016-06-02 11:21:11] 623*2^1431178-1 is not prime. Res64: F465C2562B144485 Time : 0.0 sec. user=mdettweiler [2016-06-02 11:21:12] 755*2^1431178-1 is not prime. Res64: 776528EC1AAB2857 Time : 0.0 sec. user=mdettweiler [2016-06-02 11:34:07] 803*2^1431178-1 is not prime. Res64: E9A11BA303C9546D Time : 0.0 sec. user=mdettweiler [2016-06-02 11:34:07] 887*2^1431178-1 is not prime. Res64: 4B614FA1A239B432 Time : 0.0 sec. user=mdettweiler [2016-06-02 11:34:08] 915*2^1431178-1 is not prime. Res64: BB0CA4F972D6227B Time : 0.0 sec. user=mdettweiler [2016-06-02 11:34:08] 941*2^1431178-1 is not prime. Res64: 546917430126B014 Time : 0.0 sec. user=mdettweiler [2016-06-02 11:34:08] 945*2^1431178-1 is not prime. Res64: E6A28541FB906AEC Time : 0.0 sec. user=mdettweiler [2016-06-02 11:47:37] 951*2^1431178-1 is not prime. Res64: D511A57E70DC1E93 Time : 0.0 sec. user=mdettweiler [2016-06-02 11:47:37] 615*2^1431179-1 is not prime. Res64: 409E8053ABFFFE29 Time : 0.0 sec. user=mdettweiler [2016-06-02 11:47:38] 669*2^1431179-1 is not prime. Res64: 92C67DC21C9116B8 Time : 0.0 sec. user=mdettweiler [2016-06-02 11:47:38] 759*2^1431179-1 is not prime. Res64: 735AA53434521D6B Time : 0.0 sec. user=mdettweiler [2016-06-02 11:47:38] 789*2^1431179-1 is not prime. Res64: 5C88C0DEF5333904 Time : 0.0 sec. user=mdettweiler [2016-06-02 12:06:00] 843*2^1431179-1 is not prime. Res64: 4D0839A968E226BF Time : 0.0 sec. user=mdettweiler [2016-06-02 12:06:02] 859*2^1431179-1 is not prime. Res64: 1668E686C940BF5E Time : 0.0 sec. user=mdettweiler [2016-06-02 12:06:03] 985*2^1431179-1 is not prime. Res64: EB53F7C77C71BA3F Time : 0.0 sec. user=mdettweiler [2016-06-02 12:06:04] 633*2^1431180-1 is not prime. Res64: 6B238FA1CA736FD8 Time : 0.0 sec. user=mdettweiler [2016-06-02 12:06:05] 795*2^1431180-1 is not prime. Res64: 1CE5F062B0B10D0A Time : 0.0 sec. user=mdettweiler [2016-06-02 12:06:16] 893*2^1431180-1 is not prime. Res64: F1D004D4A376B8FB Time : 0.0 sec. user=mdettweiler [2016-06-02 12:06:17] 915*2^1431180-1 is not prime. Res64: E959B6ECBDA1B54F Time : 0.0 sec. user=mdettweiler [2016-06-02 12:06:23] 987*2^1431180-1 is not prime. Res64: 43A902D2978B76FC Time : 0.0 sec. user=mdettweiler [2016-06-02 12:06:28] 745*2^1431181-1 is not prime. Res64: FC424B6C87E1D141 Time : 0.0 sec. user=mdettweiler [2016-06-02 12:06:31] 747*2^1431181-1 is not prime. Res64: 6D382AB5798D1A6C Time : 0.0 sec. user=mdettweiler [2016-06-02 12:19:19] 769*2^1431181-1 is not prime. Res64: FFBB8B35BC3711A9 Time : 0.0 sec. user=mdettweiler [2016-06-02 12:19:19] 861*2^1431181-1 is not prime. Res64: A2A74254903C2A96 Time : 0.0 sec. user=mdettweiler [2016-06-02 12:19:20] 901*2^1431181-1 is not prime. Res64: 3753C01847A5E9FB Time : 0.0 sec. user=mdettweiler [2016-06-02 12:19:20] 603*2^1431182-1 is not prime. Res64: 162B1EFB03B21E7F Time : 0.0 sec. user=mdettweiler [2016-06-02 12:19:21] 677*2^1431182-1 is not prime. Res64: 8B3CE4B8D07868A5 Time : 0.0 sec. user=mdettweiler [2016-06-02 12:32:35] 767*2^1431182-1 is not prime. Res64: 93BEAF89E4E6A03D Time : 0.0 sec. user=mdettweiler [2016-06-02 12:32:35] 815*2^1431182-1 is not prime. Res64: 1C1F4A282515BB5C Time : 0.0 sec. user=mdettweiler [2016-06-02 12:32:36] 957*2^1431182-1 is not prime. Res64: 3FDBC309B76FEF67 Time : 0.0 sec. user=mdettweiler [2016-06-02 12:32:36] 977*2^1431182-1 is not prime. Res64: FC9963F41AB67FB7 Time : 0.0 sec. user=mdettweiler [2016-06-02 12:32:36] 615*2^1431183-1 is not prime. Res64: 9AD46508ABD52C17 Time : 0.0 sec. user=mdettweiler [2016-06-02 12:51:13] 621*2^1431183-1 is not prime. Res64: FEEB39E4443A760A Time : 0.0 sec. user=mdettweiler [2016-06-02 12:51:13] 649*2^1431183-1 is not prime. Res64: 3E8ACE5898E7341F Time : 0.0 sec. user=mdettweiler [2016-06-02 12:51:13] 605*2^1431184-1 is not prime. Res64: AE5037B7BA37484F Time : 0.0 sec. user=mdettweiler [2016-06-02 12:51:14] 623*2^1431184-1 is not prime. Res64: 745FCF69374F5F81 Time : 0.0 sec. user=mdettweiler [2016-06-02 12:51:14] 707*2^1431184-1 is not prime. Res64: 6D21DEF0428A69E8 Time : 0.0 sec. user=mdettweiler [2016-06-02 12:51:30] 803*2^1431184-1 is not prime. Res64: 9CD096B24D52F6C1 Time : 0.0 sec. user=mdettweiler [2016-06-02 12:51:30] 843*2^1431184-1 is not prime. Res64: 2F7303862D497279 Time : 0.0 sec. user=mdettweiler [2016-06-02 12:51:30] 849*2^1431184-1 is not prime. Res64: EA161AA7336A1F43 Time : 0.0 sec. user=mdettweiler [2016-06-02 12:51:31] 875*2^1431184-1 is not prime. Res64: 2B5D21111B412096 Time : 0.0 sec. user=mdettweiler [2016-06-02 12:51:31] 619*2^1431185-1 is not prime. Res64: 5B56276283E8DAA7 Time : 0.0 sec. user=mdettweiler [2016-06-02 13:04:12] 717*2^1431185-1 is not prime. Res64: E0CD14744A824326 Time : 0.0 sec. user=mdettweiler [2016-06-02 13:04:14] 781*2^1431185-1 is not prime. Res64: 0F8DB2C104D41AE1 Time : 0.0 sec. user=mdettweiler [2016-06-02 13:04:15] 861*2^1431185-1 is not prime. Res64: E9196BFA1E1E96F1 Time : 0.0 sec. user=mdettweiler [2016-06-02 13:04:16] 865*2^1431185-1 is not prime. Res64: 7F31AE2A1A1DF400 Time : 0.0 sec. user=mdettweiler [2016-06-02 13:04:17] 957*2^1431185-1 is not prime. Res64: 786CBDFBFD2AB94A Time : 0.0 sec. user=mdettweiler [2016-06-02 13:17:39] 985*2^1431185-1 is not prime. Res64: 87C2E621E15CB683 Time : 0.0 sec. user=mdettweiler [2016-06-02 13:17:39] 641*2^1431186-1 is not prime. Res64: 6B2A695063E6C703 Time : 0.0 sec. user=mdettweiler [2016-06-02 13:17:40] 741*2^1431186-1 is not prime. Res64: A3AFCE962B6E993F Time : 0.0 sec. user=mdettweiler [2016-06-02 13:17:40] 747*2^1431186-1 is not prime. Res64: B71F23D5DDF07C6C Time : 0.0 sec. user=mdettweiler [2016-06-02 13:17:40] 777*2^1431186-1 is not prime. Res64: 599325D4566B5493 Time : 0.0 sec. user=mdettweiler [2016-06-02 13:36:11] 903*2^1431186-1 is not prime. Res64: A1EABE509D50E469 Time : 0.0 sec. user=mdettweiler [2016-06-02 13:36:12] 619*2^1431187-1 is not prime. Res64: 18DD4DB6FCF7A887 Time : 0.0 sec. user=mdettweiler [2016-06-02 13:36:12] 621*2^1431187-1 is not prime. Res64: 831DD8F7F614F942 Time : 0.0 sec. user=mdettweiler [2016-06-02 13:36:13] 691*2^1431187-1 is not prime. Res64: 7DBB0540F7CFA54F Time : 0.0 sec. user=mdettweiler [2016-06-02 13:36:13] 733*2^1431187-1 is not prime. Res64: D712C927A30C5689 Time : 0.0 sec. user=mdettweiler [2016-06-02 13:36:20] 805*2^1431187-1 is not prime. Res64: 60B042F748622847 Time : 0.0 sec. user=mdettweiler [2016-06-02 13:36:21] 859*2^1431187-1 is not prime. Res64: 8B4E9C076C1528FC Time : 0.0 sec. user=mdettweiler [2016-06-02 13:36:21] 891*2^1431187-1 is not prime. Res64: 23DB106BB9CA56C2 Time : 0.0 sec. user=mdettweiler [2016-06-02 13:36:21] 901*2^1431187-1 is not prime. Res64: 0F2749DE64E29448 Time : 0.0 sec. user=mdettweiler [2016-06-02 13:36:22] 603*2^1431188-1 is not prime. Res64: B3EFC10CFA083303 Time : 0.0 sec. user=mdettweiler [2016-06-02 13:49:19] 665*2^1431188-1 is not prime. Res64: 04C59918EF4F1336 Time : 0.0 sec. user=mdettweiler [2016-06-02 13:49:20] 767*2^1431188-1 is not prime. Res64: 87A847B2FE76E8E0 Time : 0.0 sec. user=mdettweiler [2016-06-02 13:49:20] 803*2^1431188-1 is not prime. Res64: 6613C72878589DB3 Time : 0.0 sec. user=mdettweiler [2016-06-02 13:49:20] 819*2^1431188-1 is not prime. Res64: 81B19E42C727D3BA Time : 0.0 sec. user=mdettweiler [2016-06-02 13:49:21] 963*2^1431188-1 is not prime. Res64: 65125BD2DFD8E783 Time : 0.0 sec. user=mdettweiler [2016-06-02 14:02:31] 625*2^1431189-1 is not prime. Res64: D899DDCDCAD01D51 Time : 0.0 sec. user=mdettweiler [2016-06-02 14:02:32] 727*2^1431189-1 is not prime. Res64: 37064EA6DCB94495 Time : 0.0 sec. user=mdettweiler [2016-06-02 14:02:33] 847*2^1431189-1 is not prime. Res64: 4F4BDBF622E9C712 Time : 0.0 sec. user=mdettweiler [2016-06-02 14:02:33] 861*2^1431189-1 is not prime. Res64: 99364E44B15A65EE Time : 0.0 sec. user=mdettweiler [2016-06-02 14:02:34] 999*2^1431189-1 is not prime. Res64: 16D7163D5EFB1D70 Time : 0.0 sec. user=mdettweiler [2016-06-02 14:21:17] 665*2^1431190-1 is not prime. Res64: 8D145B8196784F3A Time : 0.0 sec. user=mdettweiler [2016-06-02 14:21:17] 677*2^1431190-1 is not prime. Res64: 8296156669B60A18 Time : 0.0 sec. user=mdettweiler [2016-06-02 14:21:18] 723*2^1431190-1 is not prime. Res64: 211B44CF418DDBF3 Time : 0.0 sec. user=mdettweiler [2016-06-02 14:21:18] 975*2^1431190-1 is not prime. Res64: 219F8DDB3B7EEB15 Time : 0.0 sec. user=mdettweiler [2016-06-02 14:21:18] 981*2^1431190-1 is not prime. Res64: A657BDD035822C21 Time : 0.0 sec. user=mdettweiler [2016-06-02 14:21:29] 619*2^1431191-1 is not prime. Res64: E1B33D49FA32D5BF Time : 0.0 sec. user=mdettweiler [2016-06-02 14:21:29] 813*2^1431191-1 is not prime. Res64: 8ABF25CC1B7394F9 Time : 0.0 sec. user=mdettweiler [2016-06-02 14:21:29] 909*2^1431191-1 is not prime. Res64: F1BC926755FF8C73 Time : 0.0 sec. user=mdettweiler [2016-06-02 14:21:30] 955*2^1431191-1 is not prime. Res64: 3D31648C0C64319B Time : 0.0 sec. user=mdettweiler [2016-06-02 14:21:30] 629*2^1431192-1 is not prime. Res64: 6749A666308C9526 Time : 0.0 sec. user=mdettweiler [2016-06-02 14:34:14] 693*2^1431192-1 is not prime. Res64: 8B42A9E033AB0756 Time : 0.0 sec. user=mdettweiler [2016-06-02 14:34:14] 803*2^1431192-1 is not prime. Res64: C1A061FC5B007167 Time : 0.0 sec. user=mdettweiler [2016-06-02 14:34:14] 609*2^1431193-1 is not prime. Res64: 9D26D7C2193E043A Time : 0.0 sec. user=mdettweiler [2016-06-02 14:34:15] 691*2^1431193-1 is not prime. Res64: CAF74CA007FD6215 Time : 0.0 sec. user=mdettweiler [2016-06-02 14:34:15] 765*2^1431193-1 is not prime. Res64: 069B44130422AA09 Time : 0.0 sec. user=mdettweiler [2016-06-02 14:47:33] 801*2^1431193-1 is not prime. Res64: 19291E6BB8BBC6A1 Time : 0.0 sec. user=mdettweiler [2016-06-02 14:47:34] 817*2^1431193-1 is not prime. Res64: 3E09CE3B25201134 Time : 0.0 sec. user=mdettweiler [2016-06-02 14:47:34] 901*2^1431193-1 is not prime. Res64: 36800A543DA83EA4 Time : 0.0 sec. user=mdettweiler [2016-06-02 14:47:34] 939*2^1431193-1 is not prime. Res64: A1D3201188FC839F Time : 0.0 sec. user=mdettweiler [2016-06-02 14:47:35] 999*2^1431193-1 is not prime. Res64: 54AEFD307351E595 Time : 0.0 sec. user=mdettweiler [2016-06-02 15:06:09] 891*2^1431195-1 is not prime. Res64: 3A32D29C4F95BAF6 Time : 0.0 sec. user=mdettweiler [2016-06-02 15:06:12] 873*2^1431196-1 is not prime. Res64: A51766E7EF4370D9 Time : 0.0 sec. user=mdettweiler [2016-06-02 15:06:14] 927*2^1431196-1 is not prime. Res64: D0C052E0720F8890 Time : 0.0 sec. user=mdettweiler [2016-06-02 15:06:16] 939*2^1431196-1 is not prime. Res64: BDB78C9CA91F0CC7 Time : 0.0 sec. user=mdettweiler [2016-06-02 15:06:18] 675*2^1431197-1 is not prime. Res64: CD15548AAF3169F1 Time : 0.0 sec. user=mdettweiler [2016-06-02 15:06:26] 635*2^1431194-1 is not prime. Res64: 6693A8DD95CA8324 Time : 0.0 sec. user=mdettweiler [2016-06-02 15:06:28] 885*2^1431194-1 is not prime. Res64: 397F04F46ED11C08 Time : 0.0 sec. user=mdettweiler [2016-06-02 15:06:30] 951*2^1431194-1 is not prime. Res64: 19F32B92785C7D8E Time : 0.0 sec. user=mdettweiler [2016-06-02 15:06:32] 781*2^1431195-1 is not prime. Res64: 6B79A17AC77D2934 Time : 0.0 sec. user=mdettweiler [2016-06-02 15:06:34] 805*2^1431195-1 is not prime. Res64: 31A4764611082867 Time : 0.0 sec. user=mdettweiler [2016-06-02 15:19:14] 699*2^1431197-1 is not prime. Res64: 2C66CD95F8733374 Time : 0.0 sec. user=mdettweiler [2016-06-02 15:19:15] 741*2^1431197-1 is not prime. Res64: ACADB4A9AA041AC8 Time : 0.0 sec. user=mdettweiler [2016-06-02 15:19:15] 747*2^1431197-1 is not prime. Res64: D6119085203B0548 Time : 0.0 sec. user=mdettweiler [2016-06-02 15:19:15] 771*2^1431197-1 is not prime. Res64: 556C35B81AEE955A Time : 0.0 sec. user=mdettweiler [2016-06-02 15:19:16] 795*2^1431197-1 is not prime. Res64: EE49ECC547B08EF5 Time : 0.0 sec. user=mdettweiler [2016-06-02 15:32:32] 837*2^1431197-1 is not prime. Res64: E8AB8F697F4F51AA Time : 0.0 sec. user=mdettweiler [2016-06-02 15:32:32] 859*2^1431197-1 is not prime. Res64: 3AEC09AF4D98BF9A Time : 0.0 sec. user=mdettweiler [2016-06-02 15:32:32] 867*2^1431197-1 is not prime. Res64: B021B1F7FFE54653 Time : 0.0 sec. user=mdettweiler [2016-06-02 15:32:33] 627*2^1431198-1 is not prime. Res64: 51A7C6A5E3F9377F Time : 0.0 sec. user=mdettweiler [2016-06-02 15:32:33] 663*2^1431198-1 is not prime. Res64: 08F665690BBA876C Time : 0.0 sec. user=mdettweiler [2016-06-02 15:51:33] 713*2^1431198-1 is not prime. Res64: 51B7344E0702BD29 Time : 0.0 sec. user=mdettweiler [2016-06-02 15:51:34] 825*2^1431198-1 is not prime. Res64: F6698E66E4E89A46 Time : 0.0 sec. user=mdettweiler [2016-06-02 15:51:34] 885*2^1431198-1 is not prime. Res64: D090E40DB45A81A1 Time : 0.0 sec. user=mdettweiler [2016-06-02 15:51:34] 893*2^1431198-1 is not prime. Res64: F1995A65B852B693 Time : 0.0 sec. user=mdettweiler [2016-06-02 15:51:35] 927*2^1431198-1 is not prime. Res64: 0CF7E23362B525EA Time : 0.0 sec. user=mdettweiler [2016-06-02 15:51:35] 609*2^1431199-1 is not prime. Res64: 2914551B9952D322 Time : 0.0 sec. user=mdettweiler [2016-06-02 15:51:36] 841*2^1431199-1 is not prime. Res64: F1967661740BD649 Time : 0.0 sec. user=mdettweiler [2016-06-02 15:51:36] 999*2^1431199-1 is not prime. Res64: 0EF5CCD07867C6D9 Time : 0.0 sec. user=mdettweiler [2016-06-02 15:51:37] 753*2^1431200-1 is not prime. Res64: C13D635C3F7E3ADF Time : 0.0 sec. user=mdettweiler [2016-06-02 15:51:37] 813*2^1431200-1 is not prime. Res64: F61354DC8742AA1D Time : 0.0 sec. user=mdettweiler [2016-06-02 16:04:16] 855*2^1431200-1 is not prime. Res64: 4C2578C14364703A Time : 0.0 sec. user=mdettweiler [2016-06-02 16:04:17] 983*2^1431200-1 is not prime. Res64: CFC31606CACBA4DD Time : 0.0 sec. user=mdettweiler [2016-06-02 16:04:19] 649*2^1431201-1 is not prime. Res64: A42217336AD92C12 Time : 0.0 sec. user=mdettweiler [2016-06-02 16:04:20] 691*2^1431201-1 is not prime. Res64: EFF676B673BE0A16 Time : 0.0 sec. user=mdettweiler [2016-06-02 16:04:21] 865*2^1431201-1 is not prime. Res64: A208DCF28ED6C3E7 Time : 0.0 sec. user=mdettweiler [2016-06-02 16:17:26] 877*2^1431201-1 is not prime. Res64: BF67560FC42142DC Time : 0.0 sec. user=mdettweiler [2016-06-02 16:17:26] 909*2^1431201-1 is not prime. Res64: FB8D645CFC640C30 Time : 0.0 sec. user=mdettweiler [2016-06-02 16:17:27] 979*2^1431201-1 is not prime. Res64: A0392E674061C13C Time : 0.0 sec. user=mdettweiler [2016-06-02 16:17:27] 657*2^1431202-1 is not prime. Res64: 66C8EC55666811C6 Time : 0.0 sec. user=mdettweiler [2016-06-02 16:17:28] 777*2^1431202-1 is not prime. Res64: CCDAD6B1B28DF9FA Time : 0.0 sec. user=mdettweiler [2016-06-02 16:36:34] 705*2^1431203-1 is not prime. Res64: 33A2F03479CA4C2A Time : 0.0 sec. user=mdettweiler [2016-06-02 16:36:35] 741*2^1431203-1 is not prime. Res64: 85F40E20633059F4 Time : 0.0 sec. user=mdettweiler [2016-06-02 16:36:35] 753*2^1431203-1 is not prime. Res64: 67EDB9C7DAAE2F1F Time : 0.0 sec. user=mdettweiler [2016-06-02 16:36:35] 813*2^1431202-1 is not prime. Res64: 69C16CA731721775 Time : 0.0 sec. user=mdettweiler [2016-06-02 16:36:35] 895*2^1431203-1 is not prime. Res64: 2120F61B5DD77080 Time : 0.0 sec. user=mdettweiler [2016-06-02 16:36:36] 827*2^1431202-1 is not prime. Res64: BFAABF6A7FB42A42 Time : 0.0 sec. user=mdettweiler [2016-06-02 16:36:36] 901*2^1431203-1 is not prime. Res64: 759831A7F92F6B84 Time : 0.0 sec. user=mdettweiler [2016-06-02 16:36:36] 857*2^1431202-1 is not prime. Res64: 3FEC1CD22F647970 Time : 0.0 sec. user=mdettweiler [2016-06-02 16:36:36] 887*2^1431202-1 is not prime. Res64: 6684F9D13E0937ED Time : 0.0 sec. user=mdettweiler [2016-06-02 16:36:37] 633*2^1431203-1 is not prime. Res64: A4F0C4B67D908735 Time : 0.0 sec. user=mdettweiler [2016-06-02 16:49:33] 939*2^1431203-1 is not prime. Res64: 4DF0D69CE29ECA44 Time : 0.0 sec. user=mdettweiler [2016-06-02 16:49:34] 843*2^1431204-1 is not prime. Res64: 186282ABD1C1E3B4 Time : 0.0 sec. user=mdettweiler [2016-06-02 16:49:34] 873*2^1431204-1 is not prime. Res64: 0F6500B09E17995C Time : 0.0 sec. user=mdettweiler [2016-06-02 16:49:34] 903*2^1431204-1 is not prime. Res64: DB6F9381EF15A7EB Time : 0.0 sec. user=mdettweiler [2016-06-02 16:49:35] 645*2^1431205-1 is not prime. Res64: A82215CB4339FA95 Time : 0.0 sec. user=mdettweiler [2016-06-02 17:02:28] 675*2^1431205-1 is not prime. Res64: 3AB60F24E9C998FF Time : 0.0 sec. user=mdettweiler [2016-06-02 17:02:30] 685*2^1431205-1 is not prime. Res64: A42B9A601CF01017 Time : 0.0 sec. user=mdettweiler [2016-06-02 17:02:31] 741*2^1431205-1 is not prime. Res64: AB3D1E4971CEF748 Time : 0.0 sec. user=mdettweiler [2016-06-02 17:02:32] 867*2^1431205-1 is not prime. Res64: B746198AB68DE6DB Time : 0.0 sec. user=mdettweiler [2016-06-02 17:02:32] 919*2^1431205-1 is not prime. Res64: BB26EACA14F5A9A1 Time : 0.0 sec. user=mdettweiler [2016-06-02 17:21:34] 649*2^1431207-1 is not prime. Res64: 48D083958601FE27 Time : 0.0 sec. user=mdettweiler [2016-06-02 17:21:34] 685*2^1431207-1 is not prime. Res64: 9112CF1EADA615FD Time : 0.0 sec. user=mdettweiler [2016-06-02 17:21:34] 703*2^1431207-1 is not prime. Res64: 5B6938AFC2714DEE Time : 0.0 sec. user=mdettweiler [2016-06-02 17:21:35] 765*2^1431207-1 is not prime. Res64: D39DE0AA6C63EB63 Time : 0.0 sec. user=mdettweiler [2016-06-02 17:21:35] 831*2^1431207-1 is not prime. Res64: FBBE3974CE9BF028 Time : 0.0 sec. user=mdettweiler [2016-06-02 17:21:41] 937*2^1431205-1 is not prime. Res64: FF52FA7DDE60FD27 Time : 0.0 sec. user=mdettweiler [2016-06-02 17:21:41] 893*2^1431206-1 is not prime. Res64: F289C0BEC90355B2 Time : 0.0 sec. user=mdettweiler [2016-06-02 17:21:42] 953*2^1431206-1 is not prime. Res64: CE527533E9DA6C64 Time : 0.0 sec. user=mdettweiler [2016-06-02 17:21:42] 965*2^1431206-1 is not prime. Res64: E36613EC707DB20B Time : 0.0 sec. user=mdettweiler [2016-06-02 17:21:43] 983*2^1431206-1 is not prime. Res64: A928D8D30F57F23E Time : 0.0 sec. user=mdettweiler [2016-06-02 17:34:50] 843*2^1431207-1 is not prime. Res64: D95643C2C18C12CC Time : 0.0 sec. user=mdettweiler [2016-06-02 17:34:50] 865*2^1431207-1 is not prime. Res64: ED4C2AFB566CF48F Time : 0.0 sec. user=mdettweiler [2016-06-02 17:34:50] 975*2^1431207-1 is not prime. Res64: AA4C2E7DB8B2D694 Time : 0.0 sec. user=mdettweiler [2016-06-02 17:34:51] 603*2^1431208-1 is not prime. Res64: 00311273E56A8439 Time : 0.0 sec. user=mdettweiler [2016-06-02 17:34:51] 665*2^1431208-1 is not prime. Res64: E640D0EAF278147C Time : 0.0 sec. user=mdettweiler [2016-06-02 17:47:53] 797*2^1431208-1 is not prime. Res64: 72AB20CF03449880 Time : 0.0 sec. user=mdettweiler [2016-06-02 17:47:54] 825*2^1431208-1 is not prime. Res64: 0069F7E54C27D307 Time : 0.0 sec. user=mdettweiler [2016-06-02 17:47:54] 839*2^1431208-1 is not prime. Res64: 80B84E4A051272C0 Time : 0.0 sec. user=mdettweiler [2016-06-02 17:47:55] 601*2^1431209-1 is not prime. Res64: E0AF26699DEED934 Time : 0.0 sec. user=mdettweiler [2016-06-02 17:47:55] 631*2^1431209-1 is not prime. Res64: B9003E6A8988E621 Time : 0.0 sec. user=mdettweiler [2016-06-02 18:06:31] 637*2^1431209-1 is not prime. Res64: 45A2097A7FC43787 Time : 0.0 sec. user=mdettweiler [2016-06-02 18:06:32] 645*2^1431209-1 is not prime. Res64: 93B303C7A8687756 Time : 0.0 sec. user=mdettweiler [2016-06-02 18:06:32] 675*2^1431209-1 is not prime. Res64: 42E9FFE2189C160B Time : 0.0 sec. user=mdettweiler [2016-06-02 18:06:32] 747*2^1431209-1 is not prime. Res64: B0563DBAF08DDF01 Time : 0.0 sec. user=mdettweiler [2016-06-02 18:06:33] 771*2^1431209-1 is not prime. Res64: E19C951DCB1051C3 Time : 0.0 sec. user=mdettweiler [2016-06-02 18:06:46] 855*2^1431209-1 is not prime. Res64: 7105A415C4CA82D9 Time : 0.0 sec. user=mdettweiler [2016-06-02 18:06:46] 897*2^1431209-1 is not prime. Res64: A5CA73A65D01E1B0 Time : 0.0 sec. user=mdettweiler [2016-06-02 18:06:47] 909*2^1431209-1 is not prime. Res64: 2474D57584EC1D80 Time : 0.0 sec. user=mdettweiler [2016-06-02 18:06:47] 957*2^1431209-1 is not prime. Res64: D9650BD18077B7D6 Time : 0.0 sec. user=mdettweiler [2016-06-02 18:06:47] 695*2^1431210-1 is not prime. Res64: 533DBC8AEA5336EC Time : 0.0 sec. user=mdettweiler [2016-06-02 18:19:52] 803*2^1431210-1 is not prime. Res64: 080D42036C2C9AA3 Time : 0.0 sec. user=mdettweiler [2016-06-02 18:19:53] 893*2^1431210-1 is not prime. Res64: D5A8D28CB49886ED Time : 0.0 sec. user=mdettweiler [2016-06-02 18:19:53] 905*2^1431210-1 is not prime. Res64: EC617F3C20F6619A Time : 0.0 sec. user=mdettweiler [2016-06-02 18:19:53] 923*2^1431210-1 is not prime. Res64: A03B0A03E35A6C62 Time : 0.0 sec. user=mdettweiler [2016-06-02 18:19:54] 927*2^1431210-1 is not prime. Res64: 217A4E4DDD5CA20D Time : 0.0 sec. user=mdettweiler [2016-06-02 18:32:59] 941*2^1431210-1 is not prime. Res64: 2166AD3C9EFD5B01 Time : 0.0 sec. user=mdettweiler [2016-06-02 18:32:59] 1001*2^1431210-1 is not prime. Res64: 20B2EE7E28D0B641 Time : 0.0 sec. user=mdettweiler [2016-06-02 18:32:59] 723*2^1431211-1 is not prime. Res64: 481DA27C14C96334 Time : 0.0 sec. user=mdettweiler [2016-06-02 18:33:00] 801*2^1431211-1 is not prime. Res64: 88F1D91F4C48A6CB Time : 0.0 sec. user=mdettweiler [2016-06-02 18:33:00] 939*2^1431211-1 is not prime. Res64: 3C922DF83682DF79 Time : 0.0 sec. user=mdettweiler [2016-06-02 18:51:32] 999*2^1431211-1 is not prime. Res64: C9FF3C38E24F346D Time : 0.0 sec. user=mdettweiler [2016-06-02 18:51:32] 665*2^1431212-1 is not prime. Res64: F0C0C709153EA11B Time : 0.0 sec. user=mdettweiler [2016-06-02 18:51:33] 683*2^1431212-1 is not prime. Res64: 18A4E53C5EA1B5E5 Time : 0.0 sec. user=mdettweiler [2016-06-02 18:51:33] 827*2^1431212-1 is not prime. Res64: 51CF15DA5DB7D9C9 Time : 0.0 sec. user=mdettweiler [2016-06-02 18:51:33] 873*2^1431212-1 is not prime. Res64: A5B71185F76BD4C4 Time : 0.0 sec. user=mdettweiler [2016-06-02 18:52:04] 885*2^1431212-1 is not prime. Res64: C35416BC81C9A0A2 Time : 0.0 sec. user=mdettweiler [2016-06-02 18:52:04] 977*2^1431212-1 is not prime. Res64: 3199ABFBD5F74883 Time : 0.0 sec. user=mdettweiler [2016-06-02 18:52:05] 999*2^1431212-1 is not prime. Res64: 76132179B093E0F6 Time : 0.0 sec. user=mdettweiler [2016-06-02 18:52:05] 607*2^1431213-1 is not prime. Res64: 9CAECFA6E7D6C2E1 Time : 0.0 sec. user=mdettweiler [2016-06-02 18:52:05] 609*2^1431213-1 is not prime. Res64: DE0E53DDF68C6BB8 Time : 0.0 sec. user=mdettweiler [2016-06-02 19:04:57] 685*2^1431213-1 is not prime. Res64: 622AEA0D57CCE676 Time : 0.0 sec. user=mdettweiler [2016-06-02 19:04:58] 805*2^1431213-1 is not prime. Res64: 96DB9B806B555B9F Time : 0.0 sec. user=mdettweiler [2016-06-02 19:05:00] 819*2^1431213-1 is not prime. Res64: BC617A57EC472C6B Time : 0.0 sec. user=mdettweiler [2016-06-02 19:05:01] 849*2^1431213-1 is not prime. Res64: A98B427C640A0DCF Time : 0.0 sec. user=mdettweiler [2016-06-02 19:05:02] 895*2^1431213-1 is not prime. Res64: 923B8E9BACF108FC Time : 0.0 sec. user=mdettweiler [2016-06-02 19:18:09] 927*2^1431213-1 is not prime. Res64: 254AB77D94657E53 Time : 0.0 sec. user=mdettweiler [2016-06-02 19:18:10] 937*2^1431213-1 is not prime. Res64: 56B03FF4355A3513 Time : 0.0 sec. user=mdettweiler [2016-06-02 19:18:10] 949*2^1431213-1 is not prime. Res64: F5BF0ED75529D19B Time : 0.0 sec. user=mdettweiler [2016-06-02 19:18:10] 915*2^1431214-1 is not prime. Res64: 12D24C86CBB784C8 Time : 0.0 sec. user=mdettweiler [2016-06-02 19:18:11] 983*2^1431214-1 is not prime. Res64: 92D2377718E2635F Time : 0.0 sec. user=mdettweiler [2016-06-02 19:36:28] 661*2^1431215-1 is not prime. Res64: B0E978787FA7A59B Time : 0.0 sec. user=mdettweiler [2016-06-02 19:36:29] 775*2^1431215-1 is not prime. Res64: 9B98C67F2BFD6ACC Time : 0.0 sec. user=mdettweiler [2016-06-02 19:36:29] 825*2^1431215-1 is not prime. Res64: 0236A755F650A88F Time : 0.0 sec. user=mdettweiler [2016-06-02 19:36:30] 829*2^1431215-1 is not prime. Res64: 8FE13295071549A4 Time : 0.0 sec. user=mdettweiler [2016-06-02 19:36:30] 831*2^1431215-1 is not prime. Res64: B4DAD70DA0941410 Time : 0.0 sec. user=mdettweiler [2016-06-02 19:37:15] 719*2^1431216-1 is not prime. Res64: 06F9EA242ED8A5F3 Time : 0.0 sec. user=mdettweiler [2016-06-02 19:37:15] 909*2^1431216-1 is not prime. Res64: 7BAAC9A514F66E59 Time : 0.0 sec. user=mdettweiler [2016-06-02 19:37:16] 983*2^1431216-1 is not prime. Res64: 7EB561080EF8572C Time : 0.0 sec. user=mdettweiler [2016-06-02 19:37:16] 601*2^1431217-1 is not prime. Res64: 58EB0D090EDCC39C Time : 0.0 sec. user=mdettweiler [2016-06-02 19:37:16] 807*2^1431217-1 is not prime. Res64: 5760141B36F750F9 Time : 0.0 sec. user=mdettweiler [2016-06-02 19:50:04] 871*2^1431217-1 is not prime. Res64: 81F0CE942989DBE5 Time : 0.0 sec. user=mdettweiler [2016-06-02 19:50:05] 919*2^1431217-1 is not prime. Res64: 83E03E55BD0BAD37 Time : 0.0 sec. user=mdettweiler [2016-06-02 19:50:05] 955*2^1431217-1 is not prime. Res64: F5C9079EC6E9CCAC Time : 0.0 sec. user=mdettweiler [2016-06-02 19:50:06] 705*2^1431218-1 is not prime. Res64: 309FE727C5D9F768 Time : 0.0 sec. user=mdettweiler [2016-06-02 19:50:06] 743*2^1431218-1 is not prime. Res64: EDC976F24B4C26FA Time : 0.0 sec. user=mdettweiler [2016-06-02 20:03:11] 815*2^1431218-1 is not prime. Res64: 1F1091E8898A82F2 Time : 0.0 sec. user=mdettweiler [2016-06-02 20:03:12] 833*2^1431218-1 is not prime. Res64: DE5648AA77BCBA31 Time : 0.0 sec. user=mdettweiler [2016-06-02 20:03:13] 861*2^1431218-1 is not prime. Res64: 6B6B09B34C6BE735 Time : 0.0 sec. user=mdettweiler [2016-06-02 20:03:14] 875*2^1431218-1 is not prime. Res64: C8B2A6AE65E38100 Time : 0.0 sec. user=mdettweiler [2016-06-02 20:03:14] 675*2^1431219-1 is not prime. Res64: CA827AFE17596733 Time : 0.0 sec. user=mdettweiler [2016-06-02 20:21:37] 685*2^1431219-1 is not prime. Res64: 0AECA566E8D67910 Time : 0.0 sec. user=mdettweiler [2016-06-02 20:21:38] 895*2^1431219-1 is not prime. Res64: 08BEFC61DF8651E7 Time : 0.0 sec. user=mdettweiler [2016-06-02 20:21:38] 665*2^1431220-1 is not prime. Res64: E167B16872DA096B Time : 0.0 sec. user=mdettweiler [2016-06-02 20:21:38] 699*2^1431220-1 is not prime. Res64: DD9253004682F888 Time : 0.0 sec. user=mdettweiler [2016-06-02 20:21:38] 887*2^1431220-1 is not prime. Res64: FA4128EC59F1F260 Time : 0.0 sec. user=mdettweiler [2016-06-02 20:22:49] 959*2^1431220-1 is not prime. Res64: F05D2202AA06B7C9 Time : 0.0 sec. user=mdettweiler [2016-06-02 20:22:50] 795*2^1431221-1 is not prime. Res64: D41B8FC065AC2B67 Time : 0.0 sec. user=mdettweiler [2016-06-02 20:22:50] 861*2^1431221-1 is not prime. Res64: AAF0C062B688F490 Time : 0.0 sec. user=mdettweiler [2016-06-02 20:22:51] 981*2^1431221-1 is not prime. Res64: CFD0A14E012D728C Time : 0.0 sec. user=mdettweiler [2016-06-02 20:22:51] 693*2^1431222-1 is not prime. Res64: C1CAC2DF5C9330FE Time : 0.0 sec. user=mdettweiler [2016-06-02 20:40:00] 843*2^1431222-1 is not prime. Res64: 8C5AF0C24D490007 Time : 0.0 sec. user=mdettweiler [2016-06-02 20:40:01] 893*2^1431222-1 is not prime. Res64: 987FDD3ADC45E19E Time : 0.0 sec. user=mdettweiler [2016-06-02 20:40:01] 963*2^1431222-1 is not prime. Res64: E081DA6CDA8199E7 Time : 0.0 sec. user=mdettweiler [2016-06-02 20:40:01] 621*2^1431223-1 is not prime. Res64: DD58ED0C4AEAA82D Time : 0.0 sec. user=mdettweiler [2016-06-02 20:40:01] 639*2^1431223-1 is not prime. Res64: D996F206FCDEF25B Time : 0.0 sec. user=mdettweiler [2016-06-02 21:00:09] 735*2^1431223-1 is not prime. Res64: 77A7E0C34BFF9E5C Time : 0.0 sec. user=mdettweiler [2016-06-02 21:00:09] 789*2^1431223-1 is not prime. Res64: D0B76250B1A6D687 Time : 0.0 sec. user=mdettweiler [2016-06-02 21:00:10] 805*2^1431223-1 is not prime. Res64: 2ED133C9BB69BB1F Time : 0.0 sec. user=mdettweiler [2016-06-02 21:00:10] 853*2^1431223-1 is not prime. Res64: 89BCFBBFB19F94D4 Time : 0.0 sec. user=mdettweiler [2016-06-02 21:00:10] 901*2^1431223-1 is not prime. Res64: 8F98C4E3A1F206FE Time : 0.0 sec. user=mdettweiler [2016-06-02 21:27:14] 625*2^1431225-1 is not prime. Res64: D78BA626CA5F8E0A Time : 0.0 sec. user=mdettweiler [2016-06-02 21:27:15] 765*2^1431225-1 is not prime. Res64: DA701A273C2B9DD9 Time : 0.0 sec. user=mdettweiler [2016-06-02 21:27:16] 805*2^1431225-1 is not prime. Res64: 1469A034C3DF828F Time : 0.0 sec. user=mdettweiler [2016-06-02 21:27:17] 889*2^1431225-1 is not prime. Res64: 04EA7FFF25E0648A Time : 0.0 sec. user=mdettweiler [2016-06-02 21:27:17] 895*2^1431225-1 is not prime. Res64: B030520F90448932 Time : 0.0 sec. user=mdettweiler [2016-06-02 21:44:44] 915*2^1431225-1 is not prime. Res64: A4F63D4BDB158F1F Time : 0.0 sec. user=mdettweiler [2016-06-02 21:44:44] 635*2^1431226-1 is not prime. Res64: 2F02D2D8307F3E84 Time : 0.0 sec. user=mdettweiler [2016-06-02 21:44:44] 741*2^1431226-1 is not prime. Res64: 4E40E20074EC011C Time : 0.0 sec. user=mdettweiler [2016-06-02 21:44:45] 825*2^1431226-1 is not prime. Res64: E4FA7F9BA59F792E Time : 0.0 sec. user=mdettweiler [2016-06-02 21:44:45] 855*2^1431226-1 is not prime. Res64: 2239E553950A5EE5 Time : 0.0 sec. user=mdettweiler [2016-06-02 22:00:27] 993*2^1431226-1 is not prime. Res64: FC71510447EB2198 Time : 0.0 sec. user=mdettweiler [2016-06-02 22:00:27] 813*2^1431227-1 is not prime. Res64: 3BF229F34FF7831D Time : 0.0 sec. user=mdettweiler [2016-06-02 22:00:28] 823*2^1431227-1 is not prime. Res64: F79D4CD82CF9A168 Time : 0.0 sec. user=mdettweiler [2016-06-02 22:00:28] 901*2^1431227-1 is not prime. Res64: 3581B9854E0B0876 Time : 0.0 sec. user=mdettweiler [2016-06-02 22:00:29] 963*2^1431227-1 is not prime. Res64: 3D3720B380060442 Time : 0.0 sec. user=mdettweiler [2016-06-02 22:21:42] 993*2^1431227-1 is not prime. Res64: 5EB868C1DDE1D43F Time : 0.0 sec. user=mdettweiler [2016-06-02 22:21:42] 633*2^1431228-1 is not prime. Res64: 62BFA6BD7A0C5FA8 Time : 0.0 sec. user=mdettweiler [2016-06-02 22:21:43] 663*2^1431228-1 is not prime. Res64: 23CC1AE27B7F9A27 Time : 0.0 sec. user=mdettweiler [2016-06-02 22:21:43] 707*2^1431228-1 is not prime. Res64: 2347938E25381383 Time : 0.0 sec. user=mdettweiler [2016-06-02 22:21:44] 923*2^1431228-1 is not prime. Res64: 67C1E194F9E46B63 Time : 0.0 sec. user=mdettweiler [2016-06-02 22:33:08] 601*2^1431229-1 is not prime. Res64: 242DF37D294E84C1 Time : 0.0 sec. user=mdettweiler [2016-06-02 22:33:08] 609*2^1431229-1 is not prime. Res64: 2CE44B99ABAC104F Time : 0.0 sec. user=mdettweiler [2016-06-02 22:33:09] 687*2^1431229-1 is not prime. Res64: 4A624C4FF63CB0AD Time : 0.0 sec. user=mdettweiler [2016-06-02 22:33:09] 769*2^1431229-1 is not prime. Res64: 5C12635C7AEC1D3D Time : 0.0 sec. user=mdettweiler [2016-06-02 22:33:09] 931*2^1431229-1 is not prime. Res64: EC6DDA454E296E7E Time : 0.0 sec. user=mdettweiler [2016-06-02 22:48:48] 939*2^1431229-1 is not prime. Res64: 7BC364BB58E6FEB5 Time : 0.0 sec. user=mdettweiler [2016-06-02 22:48:49] 999*2^1431229-1 is not prime. Res64: F785659CB7141052 Time : 0.0 sec. user=mdettweiler [2016-06-02 22:48:49] 641*2^1431230-1 is not prime. Res64: ECA89CE09B1AFC93 Time : 0.0 sec. user=mdettweiler [2016-06-02 22:48:49] 707*2^1431230-1 is not prime. Res64: F7683D1931523E5E Time : 0.0 sec. user=mdettweiler [2016-06-02 22:48:50] 785*2^1431230-1 is not prime. Res64: 255F18F46AEA5AEA Time : 0.0 sec. user=mdettweiler [2016-06-02 23:09:52] 951*2^1431230-1 is not prime. Res64: CDA58AF0F5684AE0 Time : 0.0 sec. user=mdettweiler [2016-06-02 23:09:54] 981*2^1431230-1 is not prime. Res64: 15AF52913F773077 Time : 0.0 sec. user=mdettweiler [2016-06-02 23:09:58] 613*2^1431231-1 is not prime. Res64: 3F71EEEC95B816F8 Time : 0.0 sec. user=mdettweiler [2016-06-02 23:09:59] 619*2^1431231-1 is not prime. Res64: 5E90CB0320074EBC Time : 0.0 sec. user=mdettweiler [2016-06-02 23:10:01] 679*2^1431231-1 is not prime. Res64: B065FAF01044668B Time : 0.0 sec. user=mdettweiler [2016-06-02 23:21:29] 709*2^1431231-1 is not prime. Res64: 216A0015897B6FD8 Time : 0.0 sec. user=mdettweiler [2016-06-02 23:21:30] 805*2^1431231-1 is not prime. Res64: CA1F5CD84B18A05E Time : 0.0 sec. user=mdettweiler [2016-06-02 23:21:30] 629*2^1431232-1 is not prime. Res64: 962A98B8197E37DC Time : 0.0 sec. user=mdettweiler [2016-06-02 23:21:31] 693*2^1431232-1 is not prime. Res64: DA6DF4464E5C1DAC Time : 0.0 sec. user=mdettweiler [2016-06-02 23:21:31] 743*2^1431232-1 is not prime. Res64: CCC22233B56187F3 Time : 0.0 sec. user=mdettweiler [2016-06-02 23:37:08] 797*2^1431232-1 is not prime. Res64: 4E2F70193D673779 Time : 0.0 sec. user=mdettweiler [2016-06-02 23:37:09] 903*2^1431232-1 is not prime. Res64: 7AAFD009B36BBA67 Time : 0.0 sec. user=mdettweiler [2016-06-02 23:37:09] 989*2^1431232-1 is not prime. Res64: 2C4C25890F146D6D Time : 0.0 sec. user=mdettweiler [2016-06-02 23:37:10] 649*2^1431233-1 is not prime. Res64: 2570EB536C7169ED Time : 0.0 sec. user=mdettweiler [2016-06-02 23:37:10] 889*2^1431233-1 is not prime. Res64: 5B2B52261786E202 Time : 0.0 sec. user=mdettweiler [2016-06-02 23:58:46] 925*2^1431233-1 is not prime. Res64: 489ACB069D44D753 Time : 0.0 sec. user=mdettweiler [2016-06-02 23:58:47] 937*2^1431233-1 is not prime. Res64: DA6E3ECF714090B7 Time : 0.0 sec. user=mdettweiler [2016-06-02 23:58:47] 957*2^1431233-1 is not prime. Res64: 8940CFFFAE2DB228 Time : 0.0 sec. user=mdettweiler [2016-06-02 23:58:48] 985*2^1431233-1 is not prime. Res64: 796A9F0C1F7F64DF Time : 0.0 sec. user=mdettweiler [2016-06-02 23:58:48] 663*2^1431234-1 is not prime. Res64: 1D1213EC02375713 Time : 0.0 sec.