user=mdettweiler [2015-09-14 00:05:53] 983*2^1409184-1 is not prime. Res64: E248DB8399426A8B Time : 0.0 sec. user=mdettweiler [2015-09-14 00:05:54] 645*2^1409185-1 is not prime. Res64: 65CDF861EEEB24F8 Time : 0.0 sec. user=juhehe [2015-09-14 00:10:24] 879*2^1409183-1 is not prime. Res64: 362ABCF2514B199D Time : 0.0 sec. user=mdettweiler [2015-09-14 00:11:54] 649*2^1409185-1 is not prime. Res64: 4E79CC59443366AF Time : 0.0 sec. user=mdettweiler [2015-09-14 00:11:54] 679*2^1409185-1 is not prime. Res64: 23011CF7A3810B44 Time : 0.0 sec. user=mdettweiler [2015-09-14 00:13:15] 705*2^1409185-1 is not prime. Res64: 370E6236ED4F5441 Time : 0.0 sec. user=mdettweiler [2015-09-14 00:13:16] 765*2^1409185-1 is not prime. Res64: C60E1BE9FCE278DD Time : 0.0 sec. user=mdettweiler [2015-09-14 00:17:43] 771*2^1409185-1 is not prime. Res64: 6D3E95CAB7BAE5AE Time : 0.0 sec. user=mdettweiler [2015-09-14 00:17:44] 799*2^1409185-1 is not prime. Res64: 182111DCB57CD25C Time : 0.0 sec. user=mdettweiler [2015-09-14 00:23:42] 871*2^1409185-1 is not prime. Res64: DD76E0D6BD7F9E29 Time : 0.0 sec. user=mdettweiler [2015-09-14 00:23:42] 895*2^1409185-1 is not prime. Res64: 384ECE1FA4B84A88 Time : 0.0 sec. user=mdettweiler [2015-09-14 00:29:38] 635*2^1409186-1 is not prime. Res64: 39625A89B02F8ECB Time : 0.0 sec. user=mdettweiler [2015-09-14 00:29:38] 677*2^1409186-1 is not prime. Res64: 199A88C9C68AEF6C Time : 0.0 sec. user=mdettweiler [2015-09-14 00:30:55] 875*2^1409186-1 is not prime. Res64: B89ED8F34403AFA7 Time : 0.0 sec. user=mdettweiler [2015-09-14 00:30:55] 903*2^1409186-1 is not prime. Res64: 4746276A5930D569 Time : 0.0 sec. user=mdettweiler [2015-09-14 00:35:20] 609*2^1409187-1 is not prime. Res64: EB3EA10CD2C37E74 Time : 0.0 sec. user=mdettweiler [2015-09-14 00:35:20] 675*2^1409187-1 is not prime. Res64: F54CC0CBACF9282D Time : 0.0 sec. user=mdettweiler [2015-09-14 00:41:20] 709*2^1409187-1 is not prime. Res64: 3EAA780103DD2493 Time : 0.0 sec. user=mdettweiler [2015-09-14 00:41:20] 955*2^1409187-1 is not prime. Res64: 9F92FE4EE2A0CD67 Time : 0.0 sec. user=mdettweiler [2015-09-14 00:47:19] 979*2^1409187-1 is not prime. Res64: 9C66EF57787D9CDC Time : 0.0 sec. user=mdettweiler [2015-09-14 00:47:20] 765*2^1409188-1 is not prime. Res64: 1A53B59670D4021D Time : 0.0 sec. user=mdettweiler [2015-09-14 00:48:43] 797*2^1409188-1 is not prime. Res64: 2BAE17BDCE8E88EA Time : 0.0 sec. user=mdettweiler [2015-09-14 00:48:43] 813*2^1409188-1 is not prime. Res64: 891C8873DA50EEBE Time : 0.0 sec. user=mdettweiler [2015-09-14 00:52:58] 869*2^1409188-1 is not prime. Res64: 9990202EB173F0B7 Time : 0.0 sec. user=mdettweiler [2015-09-14 00:52:58] 957*2^1409188-1 is not prime. Res64: ADD247D03AC9DBC8 Time : 0.0 sec. user=mdettweiler [2015-09-14 00:59:25] 759*2^1409189-1 is not prime. Res64: 716A175D31437A96 Time : 0.0 sec. user=mdettweiler [2015-09-14 00:59:25] 769*2^1409189-1 is not prime. Res64: C8579ACE2C002DEB Time : 0.0 sec. user=mdettweiler [2015-09-14 01:05:16] 787*2^1409189-1 is not prime. Res64: 9E9A40C5268CFA5E Time : 0.0 sec. user=mdettweiler [2015-09-14 01:05:17] 969*2^1409189-1 is not prime. Res64: 2C1992DF675D3784 Time : 0.0 sec. user=mdettweiler [2015-09-14 01:06:42] 647*2^1409190-1 is not prime. Res64: 9014D11509F0D05B Time : 0.0 sec. user=mdettweiler [2015-09-14 01:06:42] 791*2^1409190-1 is not prime. Res64: B7182CF6C2D92084 Time : 0.0 sec. user=mdettweiler [2015-09-14 01:10:54] 887*2^1409190-1 is not prime. Res64: 320596EF10865AA5 Time : 0.0 sec. user=mdettweiler [2015-09-14 01:10:54] 941*2^1409190-1 is not prime. Res64: D6BDAA7D7405F026 Time : 0.0 sec. user=mdettweiler [2015-09-14 01:17:05] 1001*2^1409190-1 is not prime. Res64: 0E358C406C479C52 Time : 0.0 sec. user=mdettweiler [2015-09-14 01:17:06] 619*2^1409191-1 is not prime. Res64: 0892F4EAAF2BA53F Time : 0.0 sec. user=mdettweiler [2015-09-14 01:22:52] 745*2^1409191-1 is not prime. Res64: 5C4CFC1A12650702 Time : 0.0 sec. user=mdettweiler [2015-09-14 01:22:52] 819*2^1409191-1 is not prime. Res64: 6CAE57547EC8B701 Time : 0.0 sec. user=mdettweiler [2015-09-14 01:24:20] 885*2^1409191-1 is not prime. Res64: E81AC6F7EB308260 Time : 0.0 sec. user=mdettweiler [2015-09-14 01:24:20] 951*2^1409191-1 is not prime. Res64: 82A4387BFE1362C4 Time : 0.0 sec. user=juhehe [2015-09-14 01:27:02] 641*2^1409190-1 is not prime. Res64: 6701CD9AD9393946 Time : 0.0 sec. user=mdettweiler [2015-09-14 01:28:36] 979*2^1409191-1 is not prime. Res64: CF6F95A869BD3A24 Time : 0.0 sec. user=mdettweiler [2015-09-14 01:28:37] 645*2^1409192-1 is not prime. Res64: D705880D9CBC2148 Time : 0.0 sec. user=mdettweiler [2015-09-14 01:34:39] 713*2^1409192-1 is not prime. Res64: F0F0EC53AA2D0839 Time : 0.0 sec. user=mdettweiler [2015-09-14 01:34:39] 797*2^1409192-1 is not prime. Res64: AC5662D5A6A4C8F8 Time : 0.0 sec. user=mdettweiler [2015-09-14 01:40:21] 833*2^1409192-1 is not prime. Res64: 2B544CBE070A3B9F Time : 0.0 sec. user=mdettweiler [2015-09-14 01:40:21] 855*2^1409192-1 is not prime. Res64: F1375E2499D53E4E Time : 0.0 sec. user=mdettweiler [2015-09-14 01:41:54] 957*2^1409192-1 is not prime. Res64: 4630F4E85FC33896 Time : 0.0 sec. user=mdettweiler [2015-09-14 01:41:54] 999*2^1409192-1 is not prime. Res64: 4730BA5E17D40FA3 Time : 0.0 sec. user=mdettweiler [2015-09-14 01:46:15] 669*2^1409193-1 is not prime. Res64: 10F6B9DB4257B7A2 Time : 0.0 sec. user=mdettweiler [2015-09-14 01:46:15] 691*2^1409193-1 is not prime. Res64: 2494BBFBF6620404 Time : 0.0 sec. user=mdettweiler [2015-09-14 01:52:19] 699*2^1409193-1 is not prime. Res64: 95B70307A2B5A283 Time : 0.0 sec. user=mdettweiler [2015-09-14 01:52:19] 735*2^1409193-1 is not prime. Res64: 8A41E53FA5BC495C Time : 0.0 sec. user=mdettweiler [2015-09-14 01:58:00] 747*2^1409193-1 is not prime. Res64: 4C61447167E361A7 Time : 0.0 sec. user=mdettweiler [2015-09-14 01:58:00] 769*2^1409193-1 is not prime. Res64: 54CCCE25F4C93D5D Time : 0.0 sec. user=mdettweiler [2015-09-14 01:59:37] 819*2^1409193-1 is not prime. Res64: BE65F794C1DF04BA Time : 0.0 sec. user=mdettweiler [2015-09-14 01:59:37] 885*2^1409193-1 is not prime. Res64: 0C4CAAAD644D2E35 Time : 0.0 sec. user=mdettweiler [2015-09-14 02:03:58] 623*2^1409194-1 is not prime. Res64: A53E6A97F1C86DEA Time : 0.0 sec. user=mdettweiler [2015-09-14 02:04:00] 657*2^1409194-1 is not prime. Res64: FB486E2C3573889C Time : 0.0 sec. user=mdettweiler [2015-09-14 02:10:35] 755*2^1409194-1 is not prime. Res64: 3B24BCB6489E7759 Time : 0.0 sec. user=mdettweiler [2015-09-14 02:10:35] 857*2^1409194-1 is not prime. Res64: EB6D052175A35577 Time : 0.0 sec. user=mdettweiler [2015-09-14 02:16:47] 947*2^1409194-1 is not prime. Res64: 50882D3B1D4DB2FD Time : 0.0 sec. user=mdettweiler [2015-09-14 02:16:47] 987*2^1409194-1 is not prime. Res64: A360981741454E7A Time : 0.0 sec. user=mdettweiler [2015-09-14 02:17:43] 699*2^1409195-1 is not prime. Res64: DD39D2E4D79BE17B Time : 0.0 sec. user=mdettweiler [2015-09-14 02:17:43] 715*2^1409195-1 is not prime. Res64: 3959AEA55A4B6AB1 Time : 0.0 sec. user=mdettweiler [2015-09-14 02:22:15] 735*2^1409195-1 is not prime. Res64: D391A883E7BE741F Time : 0.0 sec. user=mdettweiler [2015-09-14 02:22:16] 753*2^1409195-1 is not prime. Res64: 4C372316B19C2A5E Time : 0.0 sec. user=mdettweiler [2015-09-14 02:28:23] 759*2^1409195-1 is not prime. Res64: 306034B46AF24627 Time : 0.0 sec. user=mdettweiler [2015-09-14 02:28:23] 859*2^1409195-1 is not prime. Res64: 5D8AE6FB2C48E6D6 Time : 0.0 sec. user=mdettweiler [2015-09-14 02:34:24] 909*2^1409195-1 is not prime. Res64: 53F830F93A437AFD Time : 0.0 sec. user=mdettweiler [2015-09-14 02:34:24] 921*2^1409195-1 is not prime. Res64: 7DBC2BC58E3538B6 Time : 0.0 sec. user=mdettweiler [2015-09-14 02:35:20] 979*2^1409195-1 is not prime. Res64: E65C8E3CC564D4BA Time : 0.0 sec. user=mdettweiler [2015-09-14 02:35:20] 689*2^1409196-1 is not prime. Res64: AE01E159127E41C4 Time : 0.0 sec. user=mdettweiler [2015-09-14 02:39:54] 773*2^1409196-1 is not prime. Res64: 1B784C0371604AB0 Time : 0.0 sec. user=mdettweiler [2015-09-14 02:39:54] 803*2^1409196-1 is not prime. Res64: 84AB577DECA818DA Time : 0.0 sec. user=mdettweiler [2015-09-14 02:46:06] 969*2^1409196-1 is not prime. Res64: B5CF21E43CD4F191 Time : 0.0 sec. user=mdettweiler [2015-09-14 02:46:06] 615*2^1409197-1 is not prime. Res64: 95F95E54427DF902 Time : 0.0 sec. user=mdettweiler [2015-09-14 02:51:59] 639*2^1409197-1 is not prime. Res64: C58FE96D54E775C2 Time : 0.0 sec. user=mdettweiler [2015-09-14 02:51:59] 685*2^1409197-1 is not prime. Res64: E17AD36B1FD98D7B Time : 0.0 sec. user=mdettweiler [2015-09-14 02:53:03] 691*2^1409197-1 is not prime. Res64: D2FE819E1E07E0EF Time : 0.0 sec. user=mdettweiler [2015-09-14 02:53:03] 727*2^1409197-1 is not prime. Res64: 0AB2BED58D861D97 Time : 0.0 sec. user=mdettweiler [2015-09-14 02:57:34] 751*2^1409197-1 is not prime. Res64: 141CF92FAC0A6D54 Time : 0.0 sec. user=mdettweiler [2015-09-14 02:57:35] 769*2^1409197-1 is not prime. Res64: 306F48F7BC6A5D56 Time : 0.0 sec. user=mdettweiler [2015-09-14 03:03:48] 847*2^1409197-1 is not prime. Res64: 076F3E56A38FBB60 Time : 0.0 sec. user=mdettweiler [2015-09-14 03:03:50] 931*2^1409197-1 is not prime. Res64: 504DE640AD229D28 Time : 0.0 sec. user=mdettweiler [2015-09-14 03:09:50] 945*2^1409197-1 is not prime. Res64: 24265492B35A2952 Time : 0.0 sec. user=mdettweiler [2015-09-14 03:09:50] 999*2^1409197-1 is not prime. Res64: 981339003EB02E17 Time : 0.0 sec. user=mdettweiler [2015-09-14 03:10:42] 627*2^1409198-1 is not prime. Res64: AB667DE176384665 Time : 0.0 sec. user=mdettweiler [2015-09-14 03:10:42] 657*2^1409198-1 is not prime. Res64: F69F3E2F6460FB42 Time : 0.0 sec. user=mdettweiler [2015-09-14 03:15:12] 663*2^1409198-1 is not prime. Res64: 41A7F10AF2D9FA11 Time : 0.0 sec. user=mdettweiler [2015-09-14 03:15:12] 683*2^1409198-1 is not prime. Res64: D47F15F4B5989028 Time : 0.0 sec. user=mdettweiler [2015-09-14 03:21:28] 743*2^1409198-1 is not prime. Res64: C9DD69F76E816E50 Time : 0.0 sec. user=mdettweiler [2015-09-14 03:21:28] 773*2^1409198-1 is not prime. Res64: 0824177DF4CF7934 Time : 0.0 sec. user=juhehe [2015-09-14 03:22:46] 829*2^1409197-1 is not prime. Res64: 56B16655694AF85B Time : 0.0 sec. user=mdettweiler [2015-09-14 03:27:28] 815*2^1409198-1 is not prime. Res64: 54354483FBD19AE3 Time : 0.0 sec. user=mdettweiler [2015-09-14 03:27:30] 831*2^1409198-1 is not prime. Res64: 20C36EE1990B3D1F Time : 0.0 sec. user=mdettweiler [2015-09-14 03:28:29] 845*2^1409198-1 is not prime. Res64: 55186C5D3C5E3962 Time : 0.0 sec. user=mdettweiler [2015-09-14 03:28:30] 893*2^1409198-1 is not prime. Res64: EC0A41857413D46B Time : 0.0 sec. user=mdettweiler [2015-09-14 03:32:49] 941*2^1409198-1 is not prime. Res64: E1CEE72704B0C95D Time : 0.0 sec. user=mdettweiler [2015-09-14 03:32:50] 953*2^1409198-1 is not prime. Res64: 66036AA42199CE9D Time : 0.0 sec. user=mdettweiler [2015-09-14 03:39:15] 613*2^1409199-1 is not prime. Res64: 35A69908CEAC4140 Time : 0.0 sec. user=mdettweiler [2015-09-14 03:39:16] 639*2^1409199-1 is not prime. Res64: 0BE30FD738527F4F Time : 0.0 sec. user=mdettweiler [2015-09-14 03:45:12] 705*2^1409199-1 is not prime. Res64: 48D582E61B5006ED Time : 0.0 sec. user=mdettweiler [2015-09-14 03:45:13] 795*2^1409199-1 is not prime. Res64: 46B6E76CF2AE99A6 Time : 0.0 sec. user=mdettweiler [2015-09-14 03:46:07] 603*2^1409200-1 is not prime. Res64: 912DB9360C808CAD Time : 0.0 sec. user=mdettweiler [2015-09-14 03:46:08] 687*2^1409200-1 is not prime. Res64: 5CD0F552F6A30A20 Time : 0.0 sec. user=mdettweiler [2015-09-14 03:50:26] 693*2^1409200-1 is not prime. Res64: 7A1A3046D124E193 Time : 0.0 sec. user=mdettweiler [2015-09-14 03:50:27] 713*2^1409200-1 is not prime. Res64: B0FD3447EC9EA15B Time : 0.0 sec. user=mdettweiler [2015-09-14 03:57:01] 975*2^1409200-1 is not prime. Res64: 694D542B92E011FA Time : 0.0 sec. user=mdettweiler [2015-09-14 03:57:01] 607*2^1409201-1 is not prime. Res64: D178E9B425F44EA4 Time : 0.0 sec. user=mdettweiler [2015-09-14 04:02:59] 631*2^1409201-1 is not prime. Res64: FB9BAF985B57B8FF Time : 0.0 sec. user=mdettweiler [2015-09-14 04:03:00] 645*2^1409201-1 is not prime. Res64: 06BAFEA9377407A5 Time : 0.0 sec. user=mdettweiler [2015-09-14 04:03:48] 691*2^1409201-1 is not prime. Res64: 047B6FF64DECFB72 Time : 0.0 sec. user=mdettweiler [2015-09-14 04:03:49] 829*2^1409201-1 is not prime. Res64: 49148AE12DFEA423 Time : 0.0 sec. user=mdettweiler [2015-09-14 04:08:03] 867*2^1409201-1 is not prime. Res64: 41BEE8556934124B Time : 0.0 sec. user=mdettweiler [2015-09-14 04:08:03] 889*2^1409201-1 is not prime. Res64: 226F8CCAC097C9FF Time : 0.0 sec. user=mdettweiler [2015-09-14 04:14:45] 651*2^1409202-1 is not prime. Res64: 1E0760C0EDF16052 Time : 0.0 sec. user=mdettweiler [2015-09-14 04:14:46] 777*2^1409202-1 is not prime. Res64: AB7F1AAC362E5E1A Time : 0.0 sec. user=mdettweiler [2015-09-14 04:20:45] 843*2^1409202-1 is not prime. Res64: DE2AA7E1BE90D0C8 Time : 0.0 sec. user=mdettweiler [2015-09-14 04:20:46] 915*2^1409202-1 is not prime. Res64: DC2C2E3660AE328E Time : 0.0 sec. user=mdettweiler [2015-09-14 04:21:31] 921*2^1409202-1 is not prime. Res64: A8C7548E8FFE340E Time : 0.0 sec. user=mdettweiler [2015-09-14 04:21:31] 977*2^1409202-1 is not prime. Res64: EF44E6A3ABB1D9EE Time : 0.0 sec. user=mdettweiler [2015-09-14 04:25:40] 1001*2^1409202-1 is not prime. Res64: E21B03EF59597074 Time : 0.0 sec. user=mdettweiler [2015-09-14 04:25:40] 723*2^1409203-1 is not prime. Res64: 8AB81E1AC0C9107B Time : 0.0 sec. user=mdettweiler [2015-09-14 04:32:22] 769*2^1409203-1 is not prime. Res64: 7F34946717981527 Time : 0.0 sec. user=mdettweiler [2015-09-14 04:32:23] 793*2^1409203-1 is not prime. Res64: 839ECE79B0B8B059 Time : 0.0 sec. user=mdettweiler [2015-09-14 04:38:17] 835*2^1409203-1 is not prime. Res64: B1531D792E31401C Time : 0.0 sec. user=mdettweiler [2015-09-14 04:38:18] 849*2^1409203-1 is not prime. Res64: 798F2F755C00678A Time : 0.0 sec. user=mdettweiler [2015-09-14 04:39:08] 859*2^1409203-1 is not prime. Res64: AB4E7504477937D8 Time : 0.0 sec. user=mdettweiler [2015-09-14 04:39:08] 891*2^1409203-1 is not prime. Res64: B426269B1C9A1237 Time : 0.0 sec. user=mdettweiler [2015-09-14 04:43:17] 945*2^1409203-1 is not prime. Res64: 319C96C864572199 Time : 0.0 sec. user=mdettweiler [2015-09-14 04:43:17] 623*2^1409204-1 is not prime. Res64: 307DD2031B061ECC Time : 0.0 sec. user=mdettweiler [2015-09-14 04:50:00] 753*2^1409204-1 is not prime. Res64: 59132D47FBF233E7 Time : 0.0 sec. user=mdettweiler [2015-09-14 04:50:00] 789*2^1409204-1 is not prime. Res64: 48695B07DC36F3D8 Time : 0.0 sec. user=mdettweiler [2015-09-14 04:55:59] 953*2^1409204-1 is not prime. Res64: 6FFCEE86E63D4231 Time : 0.0 sec. user=mdettweiler [2015-09-14 04:56:00] 649*2^1409205-1 is not prime. Res64: 17A05531371898FA Time : 0.0 sec. user=mdettweiler [2015-09-14 04:56:44] 777*2^1409205-1 is not prime. Res64: A5CE0FB783F377E0 Time : 0.0 sec. user=mdettweiler [2015-09-14 04:56:44] 781*2^1409205-1 is not prime. Res64: 7A44505EE3446115 Time : 0.0 sec. user=mdettweiler [2015-09-14 05:00:53] 825*2^1409205-1 is not prime. Res64: 92F6C76276877080 Time : 0.0 sec. user=mdettweiler [2015-09-14 05:00:54] 871*2^1409205-1 is not prime. Res64: ACEC895CB74260E0 Time : 0.0 sec. user=mdettweiler [2015-09-14 05:07:46] 921*2^1409205-1 is not prime. Res64: 027682498AB9A60F Time : 0.0 sec. user=mdettweiler [2015-09-14 05:07:46] 979*2^1409205-1 is not prime. Res64: 70AA6AB010882D7F Time : 0.0 sec. user=mdettweiler [2015-09-14 05:13:35] 645*2^1409206-1 is not prime. Res64: 763952F456F6D84F Time : 0.0 sec. user=mdettweiler [2015-09-14 05:13:35] 651*2^1409206-1 is not prime. Res64: E9C65E05BC6943E6 Time : 0.0 sec. user=mdettweiler [2015-09-14 05:14:26] 713*2^1409206-1 is not prime. Res64: AAC11E627F64534E Time : 0.0 sec. user=mdettweiler [2015-09-14 05:14:27] 723*2^1409206-1 is not prime. Res64: 1410971CC7A61B25 Time : 0.0 sec. user=mdettweiler [2015-09-14 05:18:28] 783*2^1409206-1 is not prime. Res64: C5ADDAFEC28AB067 Time : 0.0 sec. user=mdettweiler [2015-09-14 05:18:28] 941*2^1409206-1 is not prime. Res64: 0F165E66C8DFF9E3 Time : 0.0 sec. user=mdettweiler [2015-09-14 05:25:37] 971*2^1409206-1 is not prime. Res64: 16D3A737EFB1C2A5 Time : 0.0 sec. user=mdettweiler [2015-09-14 05:25:38] 987*2^1409206-1 is not prime. Res64: 1CA5A11FDCAA8ABC Time : 0.0 sec. user=mdettweiler [2015-09-14 05:31:14] 669*2^1409207-1 is not prime. Res64: D3E29EC71CDC7869 Time : 0.0 sec. user=mdettweiler [2015-09-14 05:31:14] 685*2^1409207-1 is not prime. Res64: 0492BC8D00309D0A Time : 0.0 sec. user=mdettweiler [2015-09-14 05:32:08] 703*2^1409207-1 is not prime. Res64: 065AB5AFA88AF821 Time : 0.0 sec. user=mdettweiler [2015-09-14 05:32:09] 711*2^1409207-1 is not prime. Res64: ADBF695910F47E8E Time : 0.0 sec. user=mdettweiler [2015-09-14 05:36:12] 883*2^1409207-1 is not prime. Res64: 40CAE42C0EE4D4B3 Time : 0.0 sec. user=mdettweiler [2015-09-14 05:36:12] 945*2^1409207-1 is not prime. Res64: 23C2AF64F99BA176 Time : 0.0 sec. user=mdettweiler [2015-09-14 05:43:19] 979*2^1409207-1 is not prime. Res64: 9718D237D2917256 Time : 0.0 sec. user=mdettweiler [2015-09-14 05:43:19] 981*2^1409207-1 is not prime. Res64: 5927045536DA0293 Time : 0.0 sec. user=mdettweiler [2015-09-14 05:48:55] 669*2^1409208-1 is not prime. Res64: AF62364BB842F502 Time : 0.0 sec. user=mdettweiler [2015-09-14 05:48:56] 759*2^1409208-1 is not prime. Res64: 55BEF267DC82A71F Time : 0.0 sec. user=mdettweiler [2015-09-14 05:49:49] 825*2^1409208-1 is not prime. Res64: 682250A0C622B1B3 Time : 0.0 sec. user=mdettweiler [2015-09-14 05:49:49] 977*2^1409208-1 is not prime. Res64: FC1F20C5ACBACB60 Time : 0.0 sec. user=mdettweiler [2015-09-14 05:53:57] 639*2^1409209-1 is not prime. Res64: 8F90745092E2803A Time : 0.0 sec. user=mdettweiler [2015-09-14 05:53:57] 765*2^1409209-1 is not prime. Res64: 57FD0587F7476F76 Time : 0.0 sec. user=juhehe [2015-09-14 05:56:01] 825*2^1409207-1 is not prime. Res64: A24A194BC1A7B2F3 Time : 0.0 sec. user=mdettweiler [2015-09-14 06:01:03] 771*2^1409209-1 is not prime. Res64: E3DC60B5F44644F4 Time : 0.0 sec. user=mdettweiler [2015-09-14 06:01:04] 885*2^1409209-1 is not prime. Res64: 52715F898FB7ADD0 Time : 0.0 sec. user=mdettweiler [2015-09-14 06:06:36] 957*2^1409209-1 is not prime. Res64: 8367D18A8DA15B02 Time : 0.0 sec. user=mdettweiler [2015-09-14 06:06:39] 603*2^1409210-1 is not prime. Res64: EF1E0C4EBD728DBF Time : 0.0 sec. user=mdettweiler [2015-09-14 06:07:31] 741*2^1409210-1 is not prime. Res64: B96145941AB6FE7A Time : 0.0 sec. user=mdettweiler [2015-09-14 06:07:31] 755*2^1409210-1 is not prime. Res64: CFFB9B3D0C48F072 Time : 0.0 sec. user=mdettweiler [2015-09-14 06:11:31] 825*2^1409210-1 is not prime. Res64: 2CCDE4686E52DD86 Time : 0.0 sec. user=mdettweiler [2015-09-14 06:11:32] 831*2^1409210-1 is not prime. Res64: 2E540734089E2BC5 Time : 0.0 sec. user=mdettweiler [2015-09-14 06:18:41] 867*2^1409210-1 is not prime. Res64: 7D8B9761876F56D3 Time : 0.0 sec. user=mdettweiler [2015-09-14 06:18:42] 953*2^1409210-1 is not prime. Res64: 62EE4AE8ED8F4F5D Time : 0.0 sec. user=mdettweiler [2015-09-14 06:24:24] 625*2^1409211-1 is not prime. Res64: 9079CB418C598FD3 Time : 0.0 sec. user=mdettweiler [2015-09-14 06:24:25] 769*2^1409211-1 is not prime. Res64: BEDD0C096DB4532E Time : 0.0 sec. user=mdettweiler [2015-09-14 06:25:09] 801*2^1409211-1 is not prime. Res64: 5BF78494864F3E67 Time : 0.0 sec. user=mdettweiler [2015-09-14 06:25:10] 861*2^1409211-1 is not prime. Res64: 00229366202A1066 Time : 0.0 sec. user=mdettweiler [2015-09-14 06:29:07] 677*2^1409212-1 is not prime. Res64: 541E716E77E93372 Time : 0.0 sec. user=mdettweiler [2015-09-14 06:29:08] 723*2^1409212-1 is not prime. Res64: 5F999E4D2C5F1CAC Time : 0.0 sec. user=mdettweiler [2015-09-14 06:36:17] 939*2^1409212-1 is not prime. Res64: 566151A4FA30D6F3 Time : 0.0 sec. user=mdettweiler [2015-09-14 06:36:17] 965*2^1409212-1 is not prime. Res64: F9FDF34AF51E3511 Time : 0.0 sec. user=mdettweiler [2015-09-14 06:42:08] 975*2^1409212-1 is not prime. Res64: AF2A25596C3D7BCD Time : 0.0 sec. user=mdettweiler [2015-09-14 06:42:09] 983*2^1409212-1 is not prime. Res64: 4D804D9032A23178 Time : 0.0 sec. user=mdettweiler [2015-09-14 06:42:43] 989*2^1409212-1 is not prime. Res64: 0CA4355F72B4B926 Time : 0.0 sec. user=mdettweiler [2015-09-14 06:42:43] 615*2^1409213-1 is not prime. Res64: 3A9E3453980C1C41 Time : 0.0 sec. user=mdettweiler [2015-09-14 06:46:44] 621*2^1409213-1 is not prime. Res64: EC9FA22731F59A42 Time : 0.0 sec. user=mdettweiler [2015-09-14 06:46:45] 669*2^1409213-1 is not prime. Res64: 7A71C21D6B5D82B0 Time : 0.0 sec. user=mdettweiler [2015-09-14 06:53:49] 747*2^1409213-1 is not prime. Res64: 89AA5470D3A56849 Time : 0.0 sec. user=mdettweiler [2015-09-14 06:53:50] 775*2^1409213-1 is not prime. Res64: 77310719DE3218C7 Time : 0.0 sec. user=mdettweiler [2015-09-14 06:59:40] 829*2^1409213-1 is not prime. Res64: 224BB14199400282 Time : 0.0 sec. user=mdettweiler [2015-09-14 06:59:41] 855*2^1409213-1 is not prime. Res64: A58523FA26AC26A6 Time : 0.0 sec. user=mdettweiler [2015-09-14 07:00:14] 915*2^1409213-1 is not prime. Res64: E91E7DDD1C2900E3 Time : 0.0 sec. user=mdettweiler [2015-09-14 07:00:15] 957*2^1409213-1 is not prime. Res64: 04DB3D7EF38AF535 Time : 0.0 sec. user=mdettweiler [2015-09-14 07:04:20] 967*2^1409213-1 is not prime. Res64: A110943D32AA8784 Time : 0.0 sec. user=mdettweiler [2015-09-14 07:04:21] 981*2^1409213-1 is not prime. Res64: 0E32ECCDD9F45637 Time : 0.0 sec. user=mdettweiler [2015-09-14 07:11:27] 987*2^1409213-1 is not prime. Res64: 5F9C8A951BEC6C5D Time : 0.0 sec. user=mdettweiler [2015-09-14 07:11:28] 991*2^1409213-1 is not prime. Res64: 5453297DF7051FF6 Time : 0.0 sec. user=juhehe [2015-09-14 07:11:48] 715*2^1409213-1 is not prime. Res64: 56D891C47F5C64A5 Time : 0.0 sec. user=mdettweiler [2015-09-14 07:17:16] 663*2^1409214-1 is not prime. Res64: C620BD821F1B4E2F Time : 0.0 sec. user=mdettweiler [2015-09-14 07:17:17] 665*2^1409214-1 is not prime. Res64: 8FAD442EE7518FF0 Time : 0.0 sec. user=mdettweiler [2015-09-14 07:17:49] 677*2^1409214-1 is not prime. Res64: D78E1C07690815D5 Time : 0.0 sec. user=mdettweiler [2015-09-14 07:17:50] 705*2^1409214-1 is not prime. Res64: 6688CFF90AE92F6E Time : 0.0 sec. user=mdettweiler [2015-09-14 07:22:00] 773*2^1409214-1 is not prime. Res64: 13E7124AA65A2317 Time : 0.0 sec. user=mdettweiler [2015-09-14 07:22:01] 807*2^1409214-1 is not prime. Res64: 333A52BFF1F03B09 Time : 0.0 sec. user=mdettweiler [2015-09-14 07:29:07] 815*2^1409214-1 is not prime. Res64: 15DD91103BE44A59 Time : 0.0 sec. user=mdettweiler [2015-09-14 07:29:08] 873*2^1409214-1 is not prime. Res64: F72F9B405CE5055A Time : 0.0 sec. user=mdettweiler [2015-09-14 07:34:58] 891*2^1409214-1 is not prime. Res64: 62FDAFFD6B48398A Time : 0.0 sec. user=mdettweiler [2015-09-14 07:34:58] 903*2^1409214-1 is not prime. Res64: 0F9B6BA3CCA9B41F Time : 0.0 sec. user=mdettweiler [2015-09-14 07:35:24] 947*2^1409214-1 is not prime. Res64: 991A6D37C4944389 Time : 0.0 sec. user=mdettweiler [2015-09-14 07:35:25] 993*2^1409214-1 is not prime. Res64: 0BD22DDB91A54133 Time : 0.0 sec. user=mdettweiler [2015-09-14 07:39:36] 1001*2^1409214-1 is not prime. Res64: F8FE40862AA28F7D Time : 0.0 sec. user=mdettweiler [2015-09-14 07:39:36] 645*2^1409215-1 is not prime. Res64: 31588C8571BA5770 Time : 0.0 sec. user=mdettweiler [2015-09-14 07:46:49] 673*2^1409215-1 is not prime. Res64: D4AA2B8DE2266C70 Time : 0.0 sec. user=mdettweiler [2015-09-14 07:46:49] 675*2^1409215-1 is not prime. Res64: 8ED9A0163966C616 Time : 0.0 sec. user=mdettweiler [2015-09-14 07:52:45] 693*2^1409215-1 is not prime. Res64: 00D6A24EAFDFE4E9 Time : 0.0 sec. user=mdettweiler [2015-09-14 07:52:45] 885*2^1409215-1 is not prime. Res64: 183AAE8F54B62EF7 Time : 0.0 sec. user=mdettweiler [2015-09-14 07:53:03] 933*2^1409215-1 is not prime. Res64: F087538DF83C7880 Time : 0.0 sec. user=mdettweiler [2015-09-14 07:53:03] 951*2^1409215-1 is not prime. Res64: 55806199A3E29E1D Time : 0.0 sec. user=mdettweiler [2015-09-14 07:57:16] 609*2^1409216-1 is not prime. Res64: CF7FF0C5569BB1E0 Time : 0.0 sec. user=mdettweiler [2015-09-14 07:57:17] 635*2^1409216-1 is not prime. Res64: 56657C440AB46738 Time : 0.0 sec. user=mdettweiler [2015-09-14 08:04:22] 657*2^1409216-1 is not prime. Res64: 1C492E43D488BF8A Time : 0.0 sec. user=mdettweiler [2015-09-14 08:04:23] 693*2^1409216-1 is not prime. Res64: F2B6EBEF56A42DCA Time : 0.0 sec. user=mdettweiler [2015-09-14 08:10:23] 879*2^1409216-1 is not prime. Res64: A473C6D52F1C8BEE Time : 0.0 sec. user=mdettweiler [2015-09-14 08:10:23] 927*2^1409216-1 is not prime. Res64: CDA17A5CA6DA5A9C Time : 0.0 sec. user=mdettweiler [2015-09-14 08:10:40] 935*2^1409216-1 is not prime. Res64: 55754741500DDE95 Time : 0.0 sec. user=mdettweiler [2015-09-14 08:10:40] 615*2^1409217-1 is not prime. Res64: 0D2D53558F84BDC2 Time : 0.0 sec. user=mdettweiler [2015-09-14 08:14:51] 747*2^1409217-1 is not prime. Res64: AEA3300C50C7F236 Time : 0.0 sec. user=mdettweiler [2015-09-14 08:14:52] 805*2^1409217-1 is not prime. Res64: A0847B6869A31B97 Time : 0.0 sec. user=mdettweiler [2015-09-14 08:22:04] 955*2^1409217-1 is not prime. Res64: 04563A56F06E5038 Time : 0.0 sec. user=mdettweiler [2015-09-14 08:22:05] 603*2^1409218-1 is not prime. Res64: E21E29812F73F4B5 Time : 0.0 sec. user=juhehe [2015-09-14 08:27:21] 755*2^1409216-1 is not prime. Res64: CA78221AC108B5DE Time : 0.0 sec. user=mdettweiler [2015-09-14 08:28:02] 605*2^1409218-1 is not prime. Res64: A57AEB875BB36AAA Time : 0.0 sec. user=mdettweiler [2015-09-14 08:28:02] 611*2^1409218-1 is not prime. Res64: A8B28A5EA69B982C Time : 0.0 sec. user=mdettweiler [2015-09-14 08:28:22] 735*2^1409218-1 is not prime. Res64: 3BB0880D9DDE7C01 Time : 0.0 sec. user=mdettweiler [2015-09-14 08:28:22] 861*2^1409218-1 is not prime. Res64: 91A09B72044736EB Time : 0.0 sec. user=mdettweiler [2015-09-14 08:32:30] 911*2^1409218-1 is not prime. Res64: D83D1BE2FFA146B9 Time : 0.0 sec. user=mdettweiler [2015-09-14 08:32:30] 923*2^1409218-1 is not prime. Res64: 6F36015B5C361085 Time : 0.0 sec. user=juhehe [2015-09-14 08:37:26] 871*2^1409217-1 is not prime. Res64: B24B6EDC578824B5 Time : 0.0 sec. user=mdettweiler [2015-09-14 08:39:40] 945*2^1409218-1 is not prime. Res64: 7826B98AB1697959 Time : 0.0 sec. user=mdettweiler [2015-09-14 08:39:40] 971*2^1409218-1 is not prime. Res64: F037E1BED421FE14 Time : 0.0 sec. user=mdettweiler [2015-09-14 08:45:35] 609*2^1409219-1 is not prime. Res64: 97EDC37B26DA041D Time : 0.0 sec. user=mdettweiler [2015-09-14 08:45:35] 741*2^1409219-1 is not prime. Res64: 6341F834FCD57873 Time : 0.0 sec. user=mdettweiler [2015-09-14 08:46:01] 745*2^1409219-1 is not prime. Res64: B7A56BF5AB8233FF Time : 0.0 sec. user=mdettweiler [2015-09-14 08:46:01] 775*2^1409219-1 is not prime. Res64: 6935FB5913ADED59 Time : 0.0 sec. user=mdettweiler [2015-09-14 08:50:08] 823*2^1409219-1 is not prime. Res64: D35B174FBE920CEE Time : 0.0 sec. user=mdettweiler [2015-09-14 08:50:08] 841*2^1409219-1 is not prime. Res64: F9AC61786D4BD8E4 Time : 0.0 sec. user=mdettweiler [2015-09-14 08:57:17] 843*2^1409219-1 is not prime. Res64: F47AAF2AD26A6EE1 Time : 0.0 sec. user=mdettweiler [2015-09-14 08:57:17] 885*2^1409219-1 is not prime. Res64: 46C5DD9D06D05F9D Time : 0.0 sec. user=mdettweiler [2015-09-14 09:03:17] 943*2^1409219-1 is not prime. Res64: AC298F2FF21E26C5 Time : 0.0 sec. user=mdettweiler [2015-09-14 09:03:18] 615*2^1409220-1 is not prime. Res64: FB384FD000962C1D Time : 0.0 sec. user=mdettweiler [2015-09-14 09:03:40] 629*2^1409220-1 is not prime. Res64: A26288B3CEF1F5FF Time : 0.0 sec. user=mdettweiler [2015-09-14 09:03:41] 635*2^1409220-1 is not prime. Res64: A7CCDF6EF2389DAF Time : 0.0 sec. user=mdettweiler [2015-09-14 09:07:46] 839*2^1409220-1 is not prime. Res64: 7BD99D2E08424AC2 Time : 0.0 sec. user=mdettweiler [2015-09-14 09:07:47] 927*2^1409220-1 is not prime. Res64: EBE504540D205288 Time : 0.0 sec. user=mdettweiler [2015-09-14 09:14:55] 965*2^1409220-1 is not prime. Res64: A0D6A26B6D66D109 Time : 0.0 sec. user=mdettweiler [2015-09-14 09:14:55] 607*2^1409221-1 is not prime. Res64: 731E7D08C6C5B91E Time : 0.0 sec. user=mdettweiler [2015-09-14 09:20:55] 687*2^1409221-1 is not prime. Res64: 01E74D68F8157F03 Time : 0.0 sec. user=mdettweiler [2015-09-14 09:20:55] 715*2^1409221-1 is not prime. Res64: 2C7AD7E87AE36D71 Time : 0.0 sec. user=mdettweiler [2015-09-14 09:21:14] 861*2^1409221-1 is not prime. Res64: B7F1582A2D475627 Time : 0.0 sec. user=mdettweiler [2015-09-14 09:21:15] 931*2^1409221-1 is not prime. Res64: C15BBE69B1F1D604 Time : 0.0 sec. user=mdettweiler [2015-09-14 09:25:23] 987*2^1409221-1 is not prime. Res64: A519F9C59E3E9277 Time : 0.0 sec. user=mdettweiler [2015-09-14 09:25:24] 997*2^1409221-1 is not prime. Res64: 3D61E7DDDA72E598 Time : 0.0 sec. user=mdettweiler [2015-09-14 09:32:34] 675*2^1409222-1 is not prime. Res64: 0373DEC546735BEA Time : 0.0 sec. user=mdettweiler [2015-09-14 09:32:35] 677*2^1409222-1 is not prime. Res64: 1B360DF4D515624C Time : 0.0 sec. user=mdettweiler [2015-09-14 09:38:30] 753*2^1409222-1 is not prime. Res64: 2B540D905E1808E6 Time : 0.0 sec. user=mdettweiler [2015-09-14 09:38:30] 867*2^1409222-1 is not prime. Res64: 051DA08E610B38C5 Time : 0.0 sec. user=mdettweiler [2015-09-14 09:38:48] 897*2^1409222-1 is not prime. Res64: 33AD57D48344CE0B Time : 0.0 sec. user=mdettweiler [2015-09-14 09:38:49] 965*2^1409222-1 is not prime. Res64: 3F7363EC74038772 Time : 0.0 sec. user=mdettweiler [2015-09-14 09:43:01] 983*2^1409222-1 is not prime. Res64: BA589C1DE2A96A99 Time : 0.0 sec. user=mdettweiler [2015-09-14 09:43:02] 613*2^1409223-1 is not prime. Res64: 04F2530F4C0A8FC6 Time : 0.0 sec. user=mdettweiler [2015-09-14 09:50:13] 619*2^1409223-1 is not prime. Res64: 7A005D0CEBF86D60 Time : 0.0 sec. user=mdettweiler [2015-09-14 09:50:13] 745*2^1409223-1 is not prime. Res64: DA04235F04A3EC6D Time : 0.0 sec. user=mdettweiler [2015-09-14 09:56:09] 763*2^1409223-1 is not prime. Res64: 68A995ADADDCFECC Time : 0.0 sec. user=mdettweiler [2015-09-14 09:56:09] 795*2^1409223-1 is not prime. Res64: 17377CDCC76BA6C2 Time : 0.0 sec. user=mdettweiler [2015-09-14 09:56:26] 849*2^1409223-1 is not prime. Res64: B40501EE237D195A Time : 0.0 sec. user=mdettweiler [2015-09-14 09:56:26] 859*2^1409223-1 is not prime. Res64: B8920291C189A133 Time : 0.0 sec. user=mdettweiler [2015-09-14 10:00:36] 873*2^1409223-1 is not prime. Res64: E7D5E31516F5E395 Time : 0.0 sec. user=mdettweiler [2015-09-14 10:00:36] 879*2^1409223-1 is not prime. Res64: 5E2257A951C51FB4 Time : 0.0 sec. user=mdettweiler [2015-09-14 10:07:46] 773*2^1409224-1 is not prime. Res64: FF568DCB41453163 Time : 0.0 sec. user=mdettweiler [2015-09-14 10:07:47] 819*2^1409224-1 is not prime. Res64: BD2031AB49E0DCF8 Time : 0.0 sec. user=mdettweiler [2015-09-14 10:13:43] 699*2^1409225-1 is not prime. Res64: 09AC4166B8A188BE Time : 0.0 sec. user=mdettweiler [2015-09-14 10:13:44] 711*2^1409225-1 is not prime. Res64: EA593FF4AB3BC448 Time : 0.0 sec. user=mdettweiler [2015-09-14 10:14:06] 805*2^1409225-1 is not prime. Res64: 2608520BBAD9506D Time : 0.0 sec. user=mdettweiler [2015-09-14 10:14:07] 909*2^1409225-1 is not prime. Res64: EBC2C32536F664F4 Time : 0.0 sec. user=mdettweiler [2015-09-14 10:18:09] 981*2^1409225-1 is not prime. Res64: CB4DDEAD545E4BB4 Time : 0.0 sec. user=mdettweiler [2015-09-14 10:18:09] 641*2^1409226-1 is not prime. Res64: E34BD5B4C7AF9546 Time : 0.0 sec. user=juhehe [2015-09-14 10:23:06] 963*2^1409223-1 is not prime. Res64: D3D2B7D2B6A6C6BD Time : 0.0 sec. user=mdettweiler [2015-09-14 10:25:27] 735*2^1409226-1 is not prime. Res64: 2304F641D8CA9146 Time : 0.0 sec. user=mdettweiler [2015-09-14 10:25:28] 783*2^1409226-1 is not prime. Res64: D5FDF7FF120B8307 Time : 0.0 sec. user=mdettweiler [2015-09-14 10:31:17] 887*2^1409226-1 is not prime. Res64: EA91A702BEAF547F Time : 0.0 sec. user=mdettweiler [2015-09-14 10:31:18] 983*2^1409226-1 is not prime. Res64: E762DC5D819D25A2 Time : 0.0 sec. user=mdettweiler [2015-09-14 10:31:41] 1001*2^1409226-1 is not prime. Res64: 8779F7E4263E0D81 Time : 0.0 sec. user=mdettweiler [2015-09-14 10:31:42] 625*2^1409227-1 is not prime. Res64: E3B9B70AAE7510CE Time : 0.0 sec. user=mdettweiler [2015-09-14 10:35:39] 645*2^1409227-1 is not prime. Res64: 7D75438A56F15A00 Time : 0.0 sec. user=mdettweiler [2015-09-14 10:35:39] 733*2^1409227-1 is not prime. Res64: C376109D40D9F3A6 Time : 0.0 sec. user=mdettweiler [2015-09-14 10:43:05] 849*2^1409227-1 is not prime. Res64: 0495302A0A575826 Time : 0.0 sec. user=mdettweiler [2015-09-14 10:43:06] 885*2^1409227-1 is not prime. Res64: F1C6AD97049A39F8 Time : 0.0 sec. user=mdettweiler [2015-09-14 10:48:53] 945*2^1409227-1 is not prime. Res64: 7AA2783BC69DE257 Time : 0.0 sec. user=mdettweiler [2015-09-14 10:48:54] 961*2^1409227-1 is not prime. Res64: C909D5B12833CC79 Time : 0.0 sec. user=mdettweiler [2015-09-14 10:49:15] 973*2^1409227-1 is not prime. Res64: 43B35B702D5BEE5E Time : 0.0 sec. user=mdettweiler [2015-09-14 10:49:15] 603*2^1409228-1 is not prime. Res64: 590F288B54DC1B27 Time : 0.0 sec. user=mdettweiler [2015-09-14 10:53:11] 623*2^1409228-1 is not prime. Res64: B74977E61362B365 Time : 0.0 sec. user=mdettweiler [2015-09-14 10:53:11] 687*2^1409228-1 is not prime. Res64: 4D3440DFE50F9857 Time : 0.0 sec. user=mdettweiler [2015-09-14 11:00:39] 837*2^1409228-1 is not prime. Res64: 6B27A32525406D64 Time : 0.0 sec. user=mdettweiler [2015-09-14 11:00:40] 879*2^1409228-1 is not prime. Res64: D3751D72B283193E Time : 0.0 sec. user=mdettweiler [2015-09-14 11:06:35] 999*2^1409228-1 is not prime. Res64: 27145C1628EE5F81 Time : 0.0 sec. user=mdettweiler [2015-09-14 11:06:35] 795*2^1409229-1 is not prime. Res64: FA6C70AE6C9BD00C Time : 0.0 sec. user=mdettweiler [2015-09-14 11:06:52] 817*2^1409229-1 is not prime. Res64: 952BA20B749FC0D8 Time : 0.0 sec. user=mdettweiler [2015-09-14 11:06:52] 635*2^1409230-1 is not prime. Res64: 60A2FF3785045D13 Time : 0.0 sec. user=mdettweiler [2015-09-14 11:10:48] 645*2^1409230-1 is not prime. Res64: AD100A1AC487ED6A Time : 0.0 sec. user=mdettweiler [2015-09-14 11:10:48] 675*2^1409230-1 is not prime. Res64: 132935449AB8345A Time : 0.0 sec. user=mdettweiler [2015-09-14 11:18:33] 755*2^1409230-1 is not prime. Res64: B692607819F3BEEA Time : 0.0 sec. user=mdettweiler [2015-09-14 11:18:33] 825*2^1409230-1 is not prime. Res64: AD4BC7E47711703B Time : 0.0 sec. user=mdettweiler [2015-09-14 11:24:37] 831*2^1409230-1 is not prime. Res64: 5F43DE558D694882 Time : 0.0 sec. user=mdettweiler [2015-09-14 11:24:37] 861*2^1409230-1 is not prime. Res64: C2FB612A84CB7FC0 Time : 0.0 sec. user=mdettweiler [2015-09-14 11:24:58] 917*2^1409230-1 is not prime. Res64: 3B471DB82B362DC3 Time : 0.0 sec. user=mdettweiler [2015-09-14 11:24:59] 923*2^1409230-1 is not prime. Res64: E10652B36CD4DAA3 Time : 0.0 sec. user=mdettweiler [2015-09-14 11:28:50] 651*2^1409231-1 is not prime. Res64: DBC67B2CDCFF4378 Time : 0.0 sec. user=mdettweiler [2015-09-14 11:28:50] 663*2^1409231-1 is not prime. Res64: 3C6F92428449A0E0 Time : 0.0 sec. user=mdettweiler [2015-09-14 11:36:36] 789*2^1409231-1 is not prime. Res64: 2AE4069DA69F16CD Time : 0.0 sec. user=mdettweiler [2015-09-14 11:36:37] 825*2^1409231-1 is not prime. Res64: 8F6D2526376C2068 Time : 0.0 sec. user=mdettweiler [2015-09-14 11:42:34] 879*2^1409231-1 is not prime. Res64: E7684B4BC42F5AA6 Time : 0.0 sec. user=mdettweiler [2015-09-14 11:42:34] 979*2^1409231-1 is not prime. Res64: 30AAD386D0140EDC Time : 0.0 sec. user=mdettweiler [2015-09-14 11:42:57] 723*2^1409232-1 is not prime. Res64: 4C3A6B15CCECCA64 Time : 0.0 sec. user=mdettweiler [2015-09-14 11:42:58] 809*2^1409232-1 is not prime. Res64: BE0E13158EBA72AC Time : 0.0 sec. user=mdettweiler [2015-09-14 11:46:48] 899*2^1409232-1 is not prime. Res64: 2CD5F1A55F476BB8 Time : 0.0 sec. user=mdettweiler [2015-09-14 11:46:48] 649*2^1409233-1 is not prime. Res64: 26160D7D2FF358D6 Time : 0.0 sec. user=mdettweiler [2015-09-14 11:54:30] 727*2^1409233-1 is not prime. Res64: 395A8AA1A751B3B4 Time : 0.0 sec. user=mdettweiler [2015-09-14 11:54:30] 747*2^1409233-1 is not prime. Res64: 36C96C63E2D89B05 Time : 0.0 sec. user=mdettweiler [2015-09-14 12:00:24] 877*2^1409233-1 is not prime. Res64: 6A82695F1BFF0B97 Time : 0.0 sec. user=mdettweiler [2015-09-14 12:00:25] 987*2^1409233-1 is not prime. Res64: 0D18AC4E2F5EEA25 Time : 0.0 sec. user=mdettweiler [2015-09-14 12:00:49] 617*2^1409234-1 is not prime. Res64: B4E560A14D530BC4 Time : 0.0 sec. user=mdettweiler [2015-09-14 12:00:50] 633*2^1409234-1 is not prime. Res64: C4FE16CF286B91BE Time : 0.0 sec. user=mdettweiler [2015-09-14 12:04:32] 671*2^1409234-1 is not prime. Res64: 17330CF959DF5C7E Time : 0.0 sec. user=mdettweiler [2015-09-14 12:04:34] 783*2^1409234-1 is not prime. Res64: E8095C29C5A2642D Time : 0.0 sec. user=mdettweiler [2015-09-14 12:12:16] 945*2^1409234-1 is not prime. Res64: 1152B48A51EAA928 Time : 0.0 sec. user=mdettweiler [2015-09-14 12:12:17] 993*2^1409234-1 is not prime. Res64: 2D27481F036AFA99 Time : 0.0 sec. user=mdettweiler [2015-09-14 12:18:04] 649*2^1409235-1 is not prime. Res64: 272BB6B4A8E8626B Time : 0.0 sec. user=mdettweiler [2015-09-14 12:18:04] 685*2^1409235-1 is not prime. Res64: 793C01F58CB82FE0 Time : 0.0 sec. user=mdettweiler [2015-09-14 12:18:27] 819*2^1409235-1 is not prime. Res64: 354CCDA5B128C452 Time : 0.0 sec. user=mdettweiler [2015-09-14 12:18:28] 829*2^1409235-1 is not prime. Res64: 45E2576EEEB55684 Time : 0.0 sec. user=juhehe [2015-09-14 12:19:06] 867*2^1409233-1 is not prime. Res64: BEDB543D7230F3E9 Time : 0.0 sec. user=mdettweiler [2015-09-14 12:22:14] 895*2^1409235-1 is not prime. Res64: 5840D9DFDF80664B Time : 0.0 sec. user=mdettweiler [2015-09-14 12:22:15] 603*2^1409236-1 is not prime. Res64: 4926E82B17ED7F30 Time : 0.0 sec. user=mdettweiler [2015-09-14 12:29:51] 615*2^1409236-1 is not prime. Res64: ADB4243C128CC053 Time : 0.0 sec. user=mdettweiler [2015-09-14 12:29:51] 677*2^1409236-1 is not prime. Res64: 1D242D90A4C9C3F6 Time : 0.0 sec. user=mdettweiler [2015-09-14 12:35:36] 735*2^1409236-1 is not prime. Res64: C256213458A28B3C Time : 0.0 sec. user=mdettweiler [2015-09-14 12:35:36] 845*2^1409236-1 is not prime. Res64: 548827B5883D73B9 Time : 0.0 sec. user=mdettweiler [2015-09-14 12:36:04] 975*2^1409236-1 is not prime. Res64: 96408BC044477F25 Time : 0.0 sec. user=mdettweiler [2015-09-14 12:36:04] 801*2^1409237-1 is not prime. Res64: 20F4B6E0889CE0E1 Time : 0.0 sec. user=mdettweiler [2015-09-14 12:39:43] 879*2^1409237-1 is not prime. Res64: D39328AE0D9B83D1 Time : 0.0 sec. user=mdettweiler [2015-09-14 12:39:43] 927*2^1409237-1 is not prime. Res64: F31865EDFC1A4A9D Time : 0.0 sec. user=mdettweiler [2015-09-14 12:48:52] 945*2^1409237-1 is not prime. Res64: 14C336D104E26DB9 Time : 0.0 sec. user=mdettweiler [2015-09-14 12:48:53] 955*2^1409237-1 is not prime. Res64: 7E074F477FA5470C Time : 0.0 sec. user=mdettweiler [2015-09-14 12:57:14] 843*2^1409238-1 is not prime. Res64: 4310DF1E3BD8BA9A Time : 0.0 sec. user=mdettweiler [2015-09-14 12:57:14] 861*2^1409238-1 is not prime. Res64: 4870E1C29A8C0C9F Time : 0.0 sec. user=mdettweiler [2015-09-14 12:57:19] 693*2^1409238-1 is not prime. Res64: F0D76D6E6C283BDB Time : 0.0 sec. user=mdettweiler [2015-09-14 12:57:19] 815*2^1409238-1 is not prime. Res64: 18546012BE380413 Time : 0.0 sec. user=mdettweiler [2015-09-14 13:02:14] 867*2^1409238-1 is not prime. Res64: 88C452A3B7644ABB Time : 0.0 sec. user=mdettweiler [2015-09-14 13:02:14] 921*2^1409238-1 is not prime. Res64: F9381484EA83BF79 Time : 0.0 sec. user=mdettweiler [2015-09-14 13:10:34] 957*2^1409238-1 is not prime. Res64: D7A07F9D5C19919D Time : 0.0 sec. user=mdettweiler [2015-09-14 13:10:34] 601*2^1409239-1 is not prime. Res64: 74A76900B62C122C Time : 0.0 sec. user=mdettweiler [2015-09-14 13:17:31] 633*2^1409239-1 is not prime. Res64: BED880C41A5CD56A Time : 0.0 sec. user=mdettweiler [2015-09-14 13:17:31] 685*2^1409239-1 is not prime. Res64: 83EF6C5E089EDC02 Time : 0.0 sec. user=mdettweiler [2015-09-14 13:17:47] 735*2^1409239-1 is not prime. Res64: 1C0FD19464DE2A8F Time : 0.0 sec. user=mdettweiler [2015-09-14 13:17:48] 771*2^1409239-1 is not prime. Res64: E70392EAAA7BED12 Time : 0.0 sec. user=mdettweiler [2015-09-14 13:22:32] 811*2^1409239-1 is not prime. Res64: 24EE362439269B58 Time : 0.0 sec. user=mdettweiler [2015-09-14 13:22:32] 873*2^1409239-1 is not prime. Res64: FC71F91CF13B58DF Time : 0.0 sec. user=mdettweiler [2015-09-14 13:31:04] 883*2^1409239-1 is not prime. Res64: 13A287F38650BE51 Time : 0.0 sec. user=mdettweiler [2015-09-14 13:31:05] 889*2^1409239-1 is not prime. Res64: A53FBC3F566D432A Time : 0.0 sec. user=mdettweiler [2015-09-14 13:37:02] 635*2^1409240-1 is not prime. Res64: 232B108EA8F8584A Time : 0.0 sec. user=mdettweiler [2015-09-14 13:37:02] 699*2^1409240-1 is not prime. Res64: 6058807DB127E45A Time : 0.0 sec. user=mdettweiler [2015-09-14 13:37:21] 753*2^1409240-1 is not prime. Res64: 47FF0D3D525CBE6B Time : 0.0 sec. user=mdettweiler [2015-09-14 13:37:21] 963*2^1409240-1 is not prime. Res64: D956CB70C6AF8E4D Time : 0.0 sec. user=mdettweiler [2015-09-14 13:41:16] 657*2^1409241-1 is not prime. Res64: 922710C611165D20 Time : 0.0 sec. user=mdettweiler [2015-09-14 13:41:17] 739*2^1409241-1 is not prime. Res64: 00052486B3610EF3 Time : 0.0 sec. user=mdettweiler [2015-09-14 13:49:15] 789*2^1409241-1 is not prime. Res64: F1BD229BC4B264E5 Time : 0.0 sec. user=mdettweiler [2015-09-14 13:49:15] 811*2^1409241-1 is not prime. Res64: 00B68E3865A695C5 Time : 0.0 sec. user=mdettweiler [2015-09-14 13:55:03] 621*2^1409242-1 is not prime. Res64: 0524E328AC31BD16 Time : 0.0 sec. user=mdettweiler [2015-09-14 13:55:03] 651*2^1409242-1 is not prime. Res64: 831860958A9539A5 Time : 0.0 sec. user=mdettweiler [2015-09-14 13:55:18] 743*2^1409242-1 is not prime. Res64: 179EA70EC566D163 Time : 0.0 sec. user=mdettweiler [2015-09-14 13:55:18] 755*2^1409242-1 is not prime. Res64: 2F2504FBC1EAAE2C Time : 0.0 sec. user=mdettweiler [2015-09-14 13:59:14] 791*2^1409242-1 is not prime. Res64: 5B611F68F2F32123 Time : 0.0 sec. user=mdettweiler [2015-09-14 13:59:14] 843*2^1409242-1 is not prime. Res64: 743C211137178C98 Time : 0.0 sec. user=mdettweiler [2015-09-14 14:07:19] 873*2^1409242-1 is not prime. Res64: DC0A26FEA3AD8580 Time : 0.0 sec. user=mdettweiler [2015-09-14 14:07:19] 923*2^1409242-1 is not prime. Res64: 78012B01E374C206 Time : 0.0 sec. user=mdettweiler [2015-09-14 14:13:08] 987*2^1409242-1 is not prime. Res64: 2199B5ACD84EE393 Time : 0.0 sec. user=mdettweiler [2015-09-14 14:13:08] 631*2^1409243-1 is not prime. Res64: 303867098D6CFF26 Time : 0.0 sec. user=mdettweiler [2015-09-14 14:13:19] 643*2^1409243-1 is not prime. Res64: EAAD3710EF1BE1F2 Time : 0.0 sec. user=mdettweiler [2015-09-14 14:13:19] 705*2^1409243-1 is not prime. Res64: B9FFC631385E4606 Time : 0.0 sec. user=juhehe [2015-09-14 14:14:36] 835*2^1409241-1 is not prime. Res64: 5733913D09562BB5 Time : 0.0 sec. user=mdettweiler [2015-09-14 14:17:55] 739*2^1409243-1 is not prime. Res64: DB5ACA61F1D235B3 Time : 0.0 sec. user=mdettweiler [2015-09-14 14:17:56] 741*2^1409243-1 is not prime. Res64: 2108C913408E7CCF Time : 0.0 sec. user=mdettweiler [2015-09-14 14:26:18] 753*2^1409243-1 is not prime. Res64: 8FD24A6307DC5DFD Time : 0.0 sec. user=mdettweiler [2015-09-14 14:26:19] 771*2^1409243-1 is not prime. Res64: F205B9CFE1208C72 Time : 0.0 sec. user=mdettweiler [2015-09-14 14:32:14] 885*2^1409243-1 is not prime. Res64: C25187E1D658D8E9 Time : 0.0 sec. user=mdettweiler [2015-09-14 14:32:14] 985*2^1409243-1 is not prime. Res64: 1248552EC17EF7D9 Time : 0.0 sec. user=mdettweiler [2015-09-14 14:32:35] 893*2^1409244-1 is not prime. Res64: D72C16B2FFAE7A56 Time : 0.0 sec. user=mdettweiler [2015-09-14 14:32:35] 993*2^1409244-1 is not prime. Res64: 1CD119CB0C5B9E6D Time : 0.0 sec. user=mdettweiler [2015-09-14 14:36:41] 741*2^1409245-1 is not prime. Res64: B7346FB0D1C08FCB Time : 0.0 sec. user=mdettweiler [2015-09-14 14:36:41] 819*2^1409245-1 is not prime. Res64: 981AEBCD25A42181 Time : 0.0 sec. user=mdettweiler [2015-09-14 14:44:43] 895*2^1409245-1 is not prime. Res64: 2BBCAE7344F277FE Time : 0.0 sec. user=mdettweiler [2015-09-14 14:44:43] 955*2^1409245-1 is not prime. Res64: 653D7D598C5B76D5 Time : 0.0 sec. user=mdettweiler [2015-09-14 14:50:16] 961*2^1409245-1 is not prime. Res64: 51D6CB74C2946266 Time : 0.0 sec. user=mdettweiler [2015-09-14 14:50:16] 603*2^1409246-1 is not prime. Res64: 464DF86F0DCBF6A1 Time : 0.0 sec. user=mdettweiler [2015-09-14 14:50:34] 623*2^1409246-1 is not prime. Res64: C3F44C390FEB0630 Time : 0.0 sec. user=mdettweiler [2015-09-14 14:50:35] 717*2^1409246-1 is not prime. Res64: 081C565E2839153D Time : 0.0 sec. user=mdettweiler [2015-09-14 14:54:41] 741*2^1409246-1 is not prime. Res64: 6B9C137158DE103C Time : 0.0 sec. user=mdettweiler [2015-09-14 14:54:42] 827*2^1409246-1 is not prime. Res64: AB23C89E3AE09011 Time : 0.0 sec. user=mdettweiler [2015-09-14 15:02:34] 843*2^1409246-1 is not prime. Res64: 5A7A836EC684B4FC Time : 0.0 sec. user=mdettweiler [2015-09-14 15:02:35] 917*2^1409246-1 is not prime. Res64: D4FCA4693960A312 Time : 0.0 sec. user=mdettweiler [2015-09-14 15:08:05] 983*2^1409246-1 is not prime. Res64: 62365B49D201351B Time : 0.0 sec. user=mdettweiler [2015-09-14 15:08:06] 825*2^1409247-1 is not prime. Res64: DB2614F3585AEC04 Time : 0.0 sec. user=mdettweiler [2015-09-14 15:08:17] 973*2^1409247-1 is not prime. Res64: 6026C66E7C293CC8 Time : 0.0 sec. user=mdettweiler [2015-09-14 15:08:17] 991*2^1409247-1 is not prime. Res64: 6347919A0DCEEA25 Time : 0.0 sec. user=mdettweiler [2015-09-14 15:12:34] 797*2^1409248-1 is not prime. Res64: ADF1229458AE6BB4 Time : 0.0 sec. user=mdettweiler [2015-09-14 15:12:34] 825*2^1409248-1 is not prime. Res64: 41702F74C9ACB891 Time : 0.0 sec. user=mdettweiler [2015-09-14 15:20:27] 839*2^1409248-1 is not prime. Res64: A53C2B74D854F652 Time : 0.0 sec. user=mdettweiler [2015-09-14 15:20:28] 897*2^1409248-1 is not prime. Res64: 16BF36990A19063B Time : 0.0 sec. user=mdettweiler [2015-09-14 15:26:03] 969*2^1409248-1 is not prime. Res64: C48C378D3769D455 Time : 0.0 sec. user=mdettweiler [2015-09-14 15:26:03] 989*2^1409248-1 is not prime. Res64: 0C84803A90E5A6C1 Time : 0.0 sec. user=mdettweiler [2015-09-14 15:26:09] 995*2^1409248-1 is not prime. Res64: 851F76F565C51509 Time : 0.0 sec. user=mdettweiler [2015-09-14 15:26:10] 999*2^1409248-1 is not prime. Res64: 264D18162A406115 Time : 0.0 sec. user=mdettweiler [2015-09-14 15:30:25] 601*2^1409249-1 is not prime. Res64: 29736AB5055828AC Time : 0.0 sec. user=mdettweiler [2015-09-14 15:30:25] 889*2^1409249-1 is not prime. Res64: 5AFF669F17F791B0 Time : 0.0 sec. user=mdettweiler [2015-09-14 15:38:22] 955*2^1409249-1 is not prime. Res64: 4F2C0846C85E7B31 Time : 0.0 sec. user=mdettweiler [2015-09-14 15:38:23] 987*2^1409249-1 is not prime. Res64: 089913C843C59863 Time : 0.0 sec. user=mdettweiler [2015-09-14 15:43:53] 783*2^1409250-1 is not prime. Res64: 99B34CD5D002D5AC Time : 0.0 sec. user=mdettweiler [2015-09-14 15:43:53] 861*2^1409250-1 is not prime. Res64: CA1592BB2929AB58 Time : 0.0 sec. user=mdettweiler [2015-09-14 15:44:08] 873*2^1409250-1 is not prime. Res64: 1268D095FBC31294 Time : 0.0 sec. user=mdettweiler [2015-09-14 15:44:08] 927*2^1409250-1 is not prime. Res64: 1ACC8A71240773F2 Time : 0.0 sec. user=mdettweiler [2015-09-14 15:48:24] 945*2^1409250-1 is not prime. Res64: C5AB596C1A5BBFF8 Time : 0.0 sec. user=mdettweiler [2015-09-14 15:48:25] 615*2^1409251-1 is not prime. Res64: CCFAA1BC1D442CCD Time : 0.0 sec. user=mdettweiler [2015-09-14 15:56:16] 801*2^1409251-1 is not prime. Res64: 631D9B01317E99BF Time : 0.0 sec. user=mdettweiler [2015-09-14 15:56:16] 805*2^1409251-1 is not prime. Res64: 896500732C57FD68 Time : 0.0 sec. user=mdettweiler [2015-09-14 16:01:48] 855*2^1409251-1 is not prime. Res64: 199DEF2D7A755E84 Time : 0.0 sec. user=mdettweiler [2015-09-14 16:01:48] 999*2^1409251-1 is not prime. Res64: D3DF6E4D4A2A9EED Time : 0.0 sec. user=mdettweiler [2015-09-14 16:01:56] 683*2^1409252-1 is not prime. Res64: DABC657E018B05CC Time : 0.0 sec. user=mdettweiler [2015-09-14 16:01:56] 813*2^1409252-1 is not prime. Res64: D82A249F804E6DF6 Time : 0.0 sec. user=mdettweiler [2015-09-14 16:06:17] 885*2^1409252-1 is not prime. Res64: 9E0D90F76476AF6E Time : 0.0 sec. user=mdettweiler [2015-09-14 16:06:17] 691*2^1409253-1 is not prime. Res64: DF3D0BB4BA61E35D Time : 0.0 sec. user=juhehe [2015-09-14 16:10:48] 709*2^1409251-1 is not prime. Res64: 4815C5ECCD93A7AE Time : 0.0 sec. user=mdettweiler [2015-09-14 16:13:56] 805*2^1409253-1 is not prime. Res64: 066B499836B2721B Time : 0.0 sec. user=mdettweiler [2015-09-14 16:13:57] 877*2^1409253-1 is not prime. Res64: 19B9C130A7288419 Time : 0.0 sec. user=mdettweiler [2015-09-14 16:19:43] 979*2^1409253-1 is not prime. Res64: D15DA2057D08B99E Time : 0.0 sec. user=mdettweiler [2015-09-14 16:19:43] 857*2^1409254-1 is not prime. Res64: 8D16213E7698FB47 Time : 0.0 sec. user=mdettweiler [2015-09-14 16:19:43] 945*2^1409254-1 is not prime. Res64: B35486FA06EEBB41 Time : 0.0 sec. user=mdettweiler [2015-09-14 16:19:44] 975*2^1409254-1 is not prime. Res64: D0713FD9445287CB Time : 0.0 sec. user=mdettweiler [2015-09-14 16:24:09] 987*2^1409254-1 is not prime. Res64: FF39FE07127BF47E Time : 0.0 sec. user=mdettweiler [2015-09-14 16:24:09] 741*2^1409255-1 is not prime. Res64: 9E45B33708BAA2A9 Time : 0.0 sec. user=mdettweiler [2015-09-14 16:31:45] 991*2^1409255-1 is not prime. Res64: 90F09B427E24A1B8 Time : 0.0 sec. user=mdettweiler [2015-09-14 16:31:46] 669*2^1409256-1 is not prime. Res64: D4E530FEC345C97D Time : 0.0 sec. user=mdettweiler [2015-09-14 16:37:35] 917*2^1409256-1 is not prime. Res64: F6A9716CEFF5B3E5 Time : 0.0 sec. user=mdettweiler [2015-09-14 16:37:35] 609*2^1409257-1 is not prime. Res64: ABF0C8CD15EF5060 Time : 0.0 sec. user=mdettweiler [2015-09-14 16:37:35] 707*2^1409256-1 is not prime. Res64: 5799566A43BE3534 Time : 0.0 sec. user=mdettweiler [2015-09-14 16:37:36] 905*2^1409256-1 is not prime. Res64: 0495834AAED6BFD5 Time : 0.0 sec. user=mdettweiler [2015-09-14 16:41:53] 625*2^1409257-1 is not prime. Res64: 6A87E18B8F9DD96E Time : 0.0 sec. user=mdettweiler [2015-09-14 16:41:53] 639*2^1409257-1 is not prime. Res64: CDA61F96E48EC976 Time : 0.0 sec. user=mdettweiler [2015-09-14 16:49:24] 799*2^1409257-1 is not prime. Res64: 9BAB09D772854890 Time : 0.0 sec. user=mdettweiler [2015-09-14 16:49:25] 835*2^1409257-1 is not prime. Res64: F721D7CF1D49E20C Time : 0.0 sec. user=mdettweiler [2015-09-14 16:55:16] 895*2^1409257-1 is not prime. Res64: 62B1EF71B8DE4695 Time : 0.0 sec. user=mdettweiler [2015-09-14 16:55:16] 603*2^1409258-1 is not prime. Res64: 6A74B31FBED375C8 Time : 0.0 sec. user=mdettweiler [2015-09-14 16:55:27] 841*2^1409257-1 is not prime. Res64: B835D18D6B5CE9C5 Time : 0.0 sec. user=mdettweiler [2015-09-14 16:55:28] 885*2^1409257-1 is not prime. Res64: A354F9896602BA89 Time : 0.0 sec. user=mdettweiler [2015-09-14 16:59:36] 605*2^1409258-1 is not prime. Res64: 6D46636C78748698 Time : 0.0 sec. user=mdettweiler [2015-09-14 16:59:36] 791*2^1409258-1 is not prime. Res64: 810A4D8675CEB26F Time : 0.0 sec. user=mdettweiler [2015-09-14 17:07:10] 825*2^1409258-1 is not prime. Res64: 2FF543CCF392AB5B Time : 0.0 sec. user=mdettweiler [2015-09-14 17:07:11] 867*2^1409258-1 is not prime. Res64: E7379DD18A76F894 Time : 0.0 sec. user=mdettweiler [2015-09-14 17:13:05] 875*2^1409258-1 is not prime. Res64: 94E05FCC369E57DE Time : 0.0 sec. user=mdettweiler [2015-09-14 17:13:06] 927*2^1409258-1 is not prime. Res64: 01D0EFEAB87306E9 Time : 0.0 sec. user=mdettweiler [2015-09-14 17:13:17] 633*2^1409259-1 is not prime. Res64: D3C85FCDA9F8E3A9 Time : 0.0 sec. user=mdettweiler [2015-09-14 17:13:17] 751*2^1409259-1 is not prime. Res64: 618F67A3969E475F Time : 0.0 sec. user=mdettweiler [2015-09-14 17:17:31] 769*2^1409259-1 is not prime. Res64: 442D997A4C952EC0 Time : 0.0 sec. user=mdettweiler [2015-09-14 17:17:31] 975*2^1409259-1 is not prime. Res64: A4A84B2BEFD435A3 Time : 0.0 sec. user=mdettweiler [2015-09-14 17:25:12] 991*2^1409259-1 is not prime. Res64: 13E9D6DBCBCB8FB2 Time : 0.0 sec. user=mdettweiler [2015-09-14 17:25:13] 609*2^1409260-1 is not prime. Res64: 4E925063D84CD8E7 Time : 0.0 sec. user=mdettweiler [2015-09-14 17:31:07] 717*2^1409260-1 is not prime. Res64: 3DB45EFD54AB4067 Time : 0.0 sec. user=mdettweiler [2015-09-14 17:31:07] 719*2^1409260-1 is not prime. Res64: 0B545D6680AEBDFB Time : 0.0 sec. user=mdettweiler [2015-09-14 17:31:29] 843*2^1409260-1 is not prime. Res64: E89A583E11423E18 Time : 0.0 sec. user=mdettweiler [2015-09-14 17:31:30] 887*2^1409260-1 is not prime. Res64: 468F7C3F5384FC04 Time : 0.0 sec. user=mdettweiler [2015-09-14 17:35:51] 965*2^1409260-1 is not prime. Res64: 9D36BFA4EE33082F Time : 0.0 sec. user=mdettweiler [2015-09-14 17:35:51] 607*2^1409261-1 is not prime. Res64: 530123F19DE1B2C1 Time : 0.0 sec. user=mdettweiler [2015-09-14 17:43:28] 657*2^1409261-1 is not prime. Res64: D451BDE31450DC00 Time : 0.0 sec. user=mdettweiler [2015-09-14 17:43:28] 669*2^1409261-1 is not prime. Res64: AEA2A1D161DF0DBF Time : 0.0 sec. user=mdettweiler [2015-09-14 17:49:25] 889*2^1409261-1 is not prime. Res64: F9762827E9523CDC Time : 0.0 sec. user=mdettweiler [2015-09-14 17:49:25] 621*2^1409262-1 is not prime. Res64: 434B372BA139EDA2 Time : 0.0 sec. user=mdettweiler [2015-09-14 17:49:30] 627*2^1409262-1 is not prime. Res64: 5D6E87087F6D6B7C Time : 0.0 sec. user=mdettweiler [2015-09-14 17:49:30] 671*2^1409262-1 is not prime. Res64: 5B73F9A3226588E8 Time : 0.0 sec. user=mdettweiler [2015-09-14 17:53:43] 705*2^1409262-1 is not prime. Res64: F83ECC2544080E28 Time : 0.0 sec. user=mdettweiler [2015-09-14 17:53:43] 797*2^1409262-1 is not prime. Res64: E1D79AD6B351C7AF Time : 0.0 sec. user=mdettweiler [2015-09-14 18:01:22] 891*2^1409262-1 is not prime. Res64: D9A6E9035A47BC7A Time : 0.0 sec. user=mdettweiler [2015-09-14 18:01:22] 639*2^1409263-1 is not prime. Res64: E207A7C2682F3E87 Time : 0.0 sec. user=juhehe [2015-09-14 18:05:58] 691*2^1409261-1 is not prime. Res64: 64806D9C914D423D Time : 0.0 sec. user=mdettweiler [2015-09-14 18:07:19] 943*2^1409263-1 is not prime. Res64: 7F16E50FA23446C3 Time : 0.0 sec. user=mdettweiler [2015-09-14 18:07:20] 973*2^1409263-1 is not prime. Res64: 330F412663721AC7 Time : 0.0 sec. user=mdettweiler [2015-09-14 18:07:29] 685*2^1409263-1 is not prime. Res64: 0ABEDEE063F9006C Time : 0.0 sec. user=mdettweiler [2015-09-14 18:07:30] 769*2^1409263-1 is not prime. Res64: F87BF00D32773A9A Time : 0.0 sec. user=mdettweiler [2015-09-14 18:11:31] 609*2^1409264-1 is not prime. Res64: 748FDA458C1EDCC9 Time : 0.0 sec. user=mdettweiler [2015-09-14 18:11:31] 743*2^1409264-1 is not prime. Res64: 8AC75D69757BC184 Time : 0.0 sec. user=mdettweiler [2015-09-14 18:19:21] 753*2^1409264-1 is not prime. Res64: 65987391DF805CC2 Time : 0.0 sec. user=mdettweiler [2015-09-14 18:19:22] 755*2^1409264-1 is not prime. Res64: AFCBD7F2478B1AEC Time : 0.0 sec. user=mdettweiler [2015-09-14 18:25:15] 827*2^1409264-1 is not prime. Res64: F4F1FFFA73B77CE1 Time : 0.0 sec. user=mdettweiler [2015-09-14 18:25:15] 927*2^1409264-1 is not prime. Res64: 15430331AC29261A Time : 0.0 sec. user=mdettweiler [2015-09-14 18:25:22] 601*2^1409265-1 is not prime. Res64: 3D3EB230F0B484FD Time : 0.0 sec. user=mdettweiler [2015-09-14 18:25:23] 679*2^1409265-1 is not prime. Res64: DF5C4DDAF5C49A86 Time : 0.0 sec. user=mdettweiler [2015-09-14 18:29:35] 735*2^1409265-1 is not prime. Res64: BD7CD792262BF07F Time : 0.0 sec. user=mdettweiler [2015-09-14 18:29:35] 789*2^1409265-1 is not prime. Res64: 29F6D741110F0998 Time : 0.0 sec. user=mdettweiler [2015-09-14 18:37:45] 975*2^1409265-1 is not prime. Res64: 1004FCD56017C0D7 Time : 0.0 sec. user=mdettweiler [2015-09-14 18:37:45] 635*2^1409266-1 is not prime. Res64: 15A4398FB8104705 Time : 0.0 sec. user=mdettweiler [2015-09-14 18:43:21] 647*2^1409266-1 is not prime. Res64: 54879432FFAA7A89 Time : 0.0 sec. user=mdettweiler [2015-09-14 18:43:21] 773*2^1409266-1 is not prime. Res64: 1E276BDB4750B52D Time : 0.0 sec. user=mdettweiler [2015-09-14 18:43:38] 861*2^1409266-1 is not prime. Res64: EB372AA45A08D330 Time : 0.0 sec. user=mdettweiler [2015-09-14 18:43:38] 887*2^1409266-1 is not prime. Res64: 1957F2F3E3C337A6 Time : 0.0 sec. user=mdettweiler [2015-09-14 18:47:38] 923*2^1409266-1 is not prime. Res64: 28B7932A26676E4E Time : 0.0 sec. user=mdettweiler [2015-09-14 18:47:38] 945*2^1409266-1 is not prime. Res64: 49C1BBA1BC3DD112 Time : 0.0 sec. user=mdettweiler [2015-09-14 18:55:41] 957*2^1409266-1 is not prime. Res64: EBEEE1E4105BE11D Time : 0.0 sec. user=mdettweiler [2015-09-14 18:55:41] 619*2^1409267-1 is not prime. Res64: DA1037EC6F0EF660 Time : 0.0 sec. user=mdettweiler [2015-09-14 19:01:05] 645*2^1409267-1 is not prime. Res64: 41DA7E6D2D19FE19 Time : 0.0 sec. user=mdettweiler [2015-09-14 19:01:06] 685*2^1409267-1 is not prime. Res64: 54863EE2A60017D9 Time : 0.0 sec. user=mdettweiler [2015-09-14 19:01:27] 715*2^1409267-1 is not prime. Res64: 3561D827F368B651 Time : 0.0 sec. user=mdettweiler [2015-09-14 19:01:28] 813*2^1409267-1 is not prime. Res64: 7325D2A81D7C3EC7 Time : 0.0 sec. user=mdettweiler [2015-09-14 19:05:25] 841*2^1409267-1 is not prime. Res64: 62A31000D543F7AD Time : 0.0 sec. user=mdettweiler [2015-09-14 19:05:27] 913*2^1409267-1 is not prime. Res64: DDB277F3A1D7697A Time : 0.0 sec. user=mdettweiler [2015-09-14 19:13:26] 981*2^1409267-1 is not prime. Res64: 13A986142CA49A64 Time : 0.0 sec. user=mdettweiler [2015-09-14 19:13:27] 683*2^1409268-1 is not prime. Res64: 4444A7E868BCE185 Time : 0.0 sec. user=mdettweiler [2015-09-14 19:19:20] 759*2^1409268-1 is not prime. Res64: E785E33590108853 Time : 0.0 sec. user=mdettweiler [2015-09-14 19:19:20] 887*2^1409268-1 is not prime. Res64: F5C874120EE09E9B Time : 0.0 sec. user=mdettweiler [2015-09-14 19:19:28] 927*2^1409268-1 is not prime. Res64: B8E8D1434CBEB5B4 Time : 0.0 sec. user=mdettweiler [2015-09-14 19:19:29] 975*2^1409268-1 is not prime. Res64: 36CF9BDD588752F5 Time : 0.0 sec. user=mdettweiler [2015-09-14 19:23:25] 639*2^1409269-1 is not prime. Res64: 275BC4FD8059960F Time : 0.0 sec. user=mdettweiler [2015-09-14 19:23:26] 691*2^1409269-1 is not prime. Res64: 53D6E7DAE16CEAA9 Time : 0.0 sec. user=mdettweiler [2015-09-14 19:31:13] 757*2^1409269-1 is not prime. Res64: DFB243CBD34A7390 Time : 0.0 sec. user=mdettweiler [2015-09-14 19:31:14] 855*2^1409269-1 is not prime. Res64: 26704C5C49BF1200 Time : 0.0 sec. user=mdettweiler [2015-09-14 19:37:09] 895*2^1409269-1 is not prime. Res64: 4608B0F818197813 Time : 0.0 sec. user=mdettweiler [2015-09-14 19:37:09] 957*2^1409269-1 is not prime. Res64: ED594890BEDF09BB Time : 0.0 sec. user=mdettweiler [2015-09-14 19:37:14] 999*2^1409269-1 is not prime. Res64: 137241CFE2E792ED Time : 0.0 sec. user=mdettweiler [2015-09-14 19:37:14] 615*2^1409270-1 is not prime. Res64: 804A5D3ECC7299B6 Time : 0.0 sec. user=mdettweiler [2015-09-14 19:41:14] 627*2^1409270-1 is not prime. Res64: F4818136EE3FFA52 Time : 0.0 sec. user=mdettweiler [2015-09-14 19:41:14] 635*2^1409270-1 is not prime. Res64: F75A35D4350808FA Time : 0.0 sec. user=mdettweiler [2015-09-14 19:49:01] 801*2^1409270-1 is not prime. Res64: 65EBA807DB6F22EF Time : 0.0 sec. user=mdettweiler [2015-09-14 19:49:01] 885*2^1409270-1 is not prime. Res64: 4EBF823115F01563 Time : 0.0 sec. user=mdettweiler [2015-09-14 19:54:52] 783*2^1409271-1 is not prime. Res64: 01EF571A2F010932 Time : 0.0 sec. user=mdettweiler [2015-09-14 19:54:53] 873*2^1409271-1 is not prime. Res64: 9E452F98C5A46D7F Time : 0.0 sec. user=mdettweiler [2015-09-14 19:54:53] 669*2^1409271-1 is not prime. Res64: 4DA323E50330F9E7 Time : 0.0 sec. user=mdettweiler [2015-09-14 19:54:54] 693*2^1409271-1 is not prime. Res64: A5E3192D14CB9B0C Time : 0.0 sec. user=mdettweiler [2015-09-14 19:59:01] 895*2^1409271-1 is not prime. Res64: 210A849ED5B692FE Time : 0.0 sec. user=mdettweiler [2015-09-14 19:59:02] 921*2^1409271-1 is not prime. Res64: 6CC99D90DC28974A Time : 0.0 sec. user=juhehe [2015-09-14 20:03:26] 657*2^1409270-1 is not prime. Res64: E22D38354F5D4BC0 Time : 0.0 sec. user=mdettweiler [2015-09-14 20:06:57] 605*2^1409272-1 is not prime. Res64: 5954DCDDF30D9FA1 Time : 0.0 sec. user=mdettweiler [2015-09-14 20:06:57] 665*2^1409272-1 is not prime. Res64: DC3555F9110E25C5 Time : 0.0 sec. user=mdettweiler [2015-09-14 20:12:35] 713*2^1409272-1 is not prime. Res64: 7C5C09A4868C49EE Time : 0.0 sec. user=mdettweiler [2015-09-14 20:12:36] 717*2^1409272-1 is not prime. Res64: 4FFD11462DCAD86B Time : 0.0 sec. user=mdettweiler [2015-09-14 20:12:42] 719*2^1409272-1 is not prime. Res64: 20667EBDEA7E2014 Time : 0.0 sec. user=mdettweiler [2015-09-14 20:12:43] 735*2^1409272-1 is not prime. Res64: AA92FA0D9DEFC0A7 Time : 0.0 sec. user=mdettweiler [2015-09-14 20:16:45] 855*2^1409272-1 is not prime. Res64: 8090E11502B9BC9B Time : 0.0 sec. user=mdettweiler [2015-09-14 20:16:45] 857*2^1409272-1 is not prime. Res64: 9C63441618EDBD9F Time : 0.0 sec. user=mdettweiler [2015-09-14 20:25:01] 863*2^1409272-1 is not prime. Res64: BC4993F789AE517F Time : 0.0 sec. user=mdettweiler [2015-09-14 20:25:01] 899*2^1409272-1 is not prime. Res64: 65D170ECEC0BCAA1 Time : 0.0 sec. user=mdettweiler [2015-09-14 20:30:23] 999*2^1409272-1 is not prime. Res64: 1B0889901851558D Time : 0.0 sec. user=mdettweiler [2015-09-14 20:30:23] 741*2^1409273-1 is not prime. Res64: 117677940574A40B Time : 0.0 sec. user=mdettweiler [2015-09-14 20:30:29] 861*2^1409273-1 is not prime. Res64: DB9180759400E7D7 Time : 0.0 sec. user=mdettweiler [2015-09-14 20:30:29] 937*2^1409273-1 is not prime. Res64: A11FB1D110BB31E5 Time : 0.0 sec. user=mdettweiler [2015-09-14 20:34:26] 651*2^1409274-1 is not prime. Res64: A27C7C296151A850 Time : 0.0 sec. user=mdettweiler [2015-09-14 20:34:27] 677*2^1409274-1 is not prime. Res64: 1AB07D3B4AB14063 Time : 0.0 sec. user=mdettweiler [2015-09-14 20:42:43] 683*2^1409274-1 is not prime. Res64: AD56A7E2E593F77C Time : 0.0 sec. user=mdettweiler [2015-09-14 20:42:43] 747*2^1409274-1 is not prime. Res64: 878BB77092DE3157 Time : 0.0 sec. user=mdettweiler [2015-09-14 20:48:09] 825*2^1409274-1 is not prime. Res64: 2B91BB6037CC4A38 Time : 0.0 sec. user=mdettweiler [2015-09-14 20:48:09] 915*2^1409274-1 is not prime. Res64: 02B92E582F707B93 Time : 0.0 sec. user=mdettweiler [2015-09-14 20:48:22] 923*2^1409274-1 is not prime. Res64: 6CEE6B4A9347FAAA Time : 0.0 sec. user=mdettweiler [2015-09-14 20:48:22] 631*2^1409275-1 is not prime. Res64: 61E80BC3F61B1C81 Time : 0.0 sec. user=mdettweiler [2015-09-14 20:52:12] 759*2^1409275-1 is not prime. Res64: EFFFAE21A2CC26F7 Time : 0.0 sec. user=mdettweiler [2015-09-14 20:52:13] 765*2^1409275-1 is not prime. Res64: A2DFA52973BB3719 Time : 0.0 sec. user=mdettweiler [2015-09-14 21:00:30] 871*2^1409275-1 is not prime. Res64: 7BAF3211CAF76898 Time : 0.0 sec. user=mdettweiler [2015-09-14 21:00:31] 969*2^1409275-1 is not prime. Res64: 4EF54A5FA8E8D59F Time : 0.0 sec. user=mdettweiler [2015-09-14 21:06:04] 635*2^1409276-1 is not prime. Res64: 946CCDAAC4F73170 Time : 0.0 sec. user=mdettweiler [2015-09-14 21:06:04] 663*2^1409276-1 is not prime. Res64: 9C5C5672353F20F8 Time : 0.0 sec. user=mdettweiler [2015-09-14 21:06:08] 683*2^1409276-1 is not prime. Res64: F585B3ADD5BCDA5B Time : 0.0 sec. user=mdettweiler [2015-09-14 21:06:08] 873*2^1409276-1 is not prime. Res64: D0C000363913321C Time : 0.0 sec. user=mdettweiler [2015-09-14 21:10:00] 987*2^1409276-1 is not prime. Res64: F62955FD8509BB84 Time : 0.0 sec. user=mdettweiler [2015-09-14 21:10:00] 999*2^1409276-1 is not prime. Res64: 4E37E7C0CFD799C7 Time : 0.0 sec. user=mdettweiler [2015-09-14 21:18:24] 625*2^1409277-1 is not prime. Res64: 898FEEEFC685FB8A Time : 0.0 sec. user=mdettweiler [2015-09-14 21:18:25] 859*2^1409277-1 is not prime. Res64: BEDC69C6D1F1CD65 Time : 0.0 sec. user=juhehe [2015-09-14 21:23:07] 679*2^1409275-1 is not prime. Res64: 796DF6921F89C198 Time : 0.0 sec. user=mdettweiler [2015-09-14 21:23:50] 865*2^1409277-1 is not prime. Res64: C01D55019080D511 Time : 0.0 sec. user=mdettweiler [2015-09-14 21:23:50] 889*2^1409277-1 is not prime. Res64: AB0C97CC2CEEB1DC Time : 0.0 sec. user=mdettweiler [2015-09-14 21:23:56] 999*2^1409277-1 is not prime. Res64: 6C3816244D09FCE4 Time : 0.0 sec. user=mdettweiler [2015-09-14 21:23:57] 603*2^1409278-1 is not prime. Res64: 16FCDE67419427D6 Time : 0.0 sec. user=mdettweiler [2015-09-14 21:27:48] 621*2^1409278-1 is not prime. Res64: FEE84FA18C42E290 Time : 0.0 sec. user=mdettweiler [2015-09-14 21:27:48] 623*2^1409278-1 is not prime. Res64: EEF9BAD4E7F789BC Time : 0.0 sec. user=juhehe [2015-09-14 21:33:18] 841*2^1409275-1 is not prime. Res64: 296A975E9F66977F Time : 0.0 sec. user=mdettweiler [2015-09-14 21:36:05] 705*2^1409278-1 is not prime. Res64: 3073DFD7DE151F82 Time : 0.0 sec. user=mdettweiler [2015-09-14 21:36:05] 743*2^1409278-1 is not prime. Res64: 6F6C9FCCA9F83E7C Time : 0.0 sec. user=mdettweiler [2015-09-14 21:41:37] 755*2^1409278-1 is not prime. Res64: C63BF782784EAC8E Time : 0.0 sec. user=mdettweiler [2015-09-14 21:41:37] 843*2^1409278-1 is not prime. Res64: 4F8BD90F3FABE1CD Time : 0.0 sec. user=mdettweiler [2015-09-14 21:41:46] 993*2^1409278-1 is not prime. Res64: 907B1752CD893C84 Time : 0.0 sec. user=mdettweiler [2015-09-14 21:41:46] 705*2^1409279-1 is not prime. Res64: 5E6087A1E8A9DB1E Time : 0.0 sec. user=mdettweiler [2015-09-14 21:45:35] 711*2^1409279-1 is not prime. Res64: 411E1182381715A5 Time : 0.0 sec. user=mdettweiler [2015-09-14 21:45:35] 823*2^1409279-1 is not prime. Res64: FC6C2AE6FE89DDA1 Time : 0.0 sec. user=mdettweiler [2015-09-14 21:53:58] 885*2^1409279-1 is not prime. Res64: C6A95FAFD8979F7E Time : 0.0 sec. user=mdettweiler [2015-09-14 21:53:58] 985*2^1409279-1 is not prime. Res64: 1D5CDA09FC235FAB Time : 0.0 sec. user=mdettweiler [2015-09-14 21:59:23] 609*2^1409280-1 is not prime. Res64: 53A22445E3E69B59 Time : 0.0 sec. user=mdettweiler [2015-09-14 21:59:24] 615*2^1409280-1 is not prime. Res64: 5A353E1650E3113D Time : 0.0 sec. user=mdettweiler [2015-09-14 21:59:45] 747*2^1409280-1 is not prime. Res64: ED7203EECA7460E1 Time : 0.0 sec. user=mdettweiler [2015-09-14 21:59:45] 915*2^1409280-1 is not prime. Res64: 966B4C6A754A8F85 Time : 0.0 sec. user=mdettweiler [2015-09-14 22:03:29] 945*2^1409280-1 is not prime. Res64: AFEC118BDDE48092 Time : 0.0 sec. user=mdettweiler [2015-09-14 22:03:30] 959*2^1409280-1 is not prime. Res64: 2E33590F9CFD5C3E Time : 0.0 sec. user=mdettweiler [2015-09-14 22:11:47] 727*2^1409281-1 is not prime. Res64: E19EE7917E53D014 Time : 0.0 sec. user=mdettweiler [2015-09-14 22:11:48] 745*2^1409281-1 is not prime. Res64: F61BC0D67DAA786E Time : 0.0 sec. user=mdettweiler [2015-09-14 22:17:11] 769*2^1409281-1 is not prime. Res64: E638A20A20A6705C Time : 0.0 sec. user=mdettweiler [2015-09-14 22:17:11] 829*2^1409281-1 is not prime. Res64: B09EC0A97DE7A05A Time : 0.0 sec. user=mdettweiler [2015-09-14 22:17:26] 847*2^1409281-1 is not prime. Res64: C8B65953E8F58FB2 Time : 0.0 sec. user=mdettweiler [2015-09-14 22:17:26] 925*2^1409281-1 is not prime. Res64: E23C818500E86435 Time : 0.0 sec. user=mdettweiler [2015-09-14 22:21:16] 939*2^1409281-1 is not prime. Res64: 8BAC4DECA33516CB Time : 0.0 sec. user=mdettweiler [2015-09-14 22:21:17] 627*2^1409282-1 is not prime. Res64: EA485294527246A1 Time : 0.0 sec. user=mdettweiler [2015-09-14 22:29:34] 633*2^1409282-1 is not prime. Res64: 14186215F402E0CB Time : 0.0 sec. user=mdettweiler [2015-09-14 22:29:35] 671*2^1409282-1 is not prime. Res64: 4C325D5F2861AF09 Time : 0.0 sec. user=mdettweiler [2015-09-14 22:34:52] 731*2^1409282-1 is not prime. Res64: A4A0D9050D3D55E4 Time : 0.0 sec. user=mdettweiler [2015-09-14 22:34:52] 735*2^1409282-1 is not prime. Res64: 7DD3D361E23101B2 Time : 0.0 sec. user=mdettweiler [2015-09-14 22:35:20] 741*2^1409282-1 is not prime. Res64: BCF37984695BEF75 Time : 0.0 sec. user=mdettweiler [2015-09-14 22:35:21] 801*2^1409282-1 is not prime. Res64: 1C29ACF437351775 Time : 0.0 sec. user=mdettweiler [2015-09-14 22:39:05] 873*2^1409282-1 is not prime. Res64: 8E863BE7C431BD30 Time : 0.0 sec. user=mdettweiler [2015-09-14 22:39:06] 981*2^1409282-1 is not prime. Res64: DEB1ED812890BDA4 Time : 0.0 sec. user=mdettweiler [2015-09-14 22:47:28] 983*2^1409282-1 is not prime. Res64: EBA6B3144543439B Time : 0.0 sec. user=mdettweiler [2015-09-14 22:47:29] 685*2^1409283-1 is not prime. Res64: 14FD3957EC1A3B6A Time : 0.0 sec. user=mdettweiler [2015-09-14 22:52:42] 691*2^1409283-1 is not prime. Res64: 4FB12AF18AB261B6 Time : 0.0 sec. user=mdettweiler [2015-09-14 22:52:43] 723*2^1409283-1 is not prime. Res64: D4DD9B51C7E680BA Time : 0.0 sec. user=mdettweiler [2015-09-14 22:53:14] 741*2^1409283-1 is not prime. Res64: FC9D153B60852C7C Time : 0.0 sec. user=mdettweiler [2015-09-14 22:53:15] 745*2^1409283-1 is not prime. Res64: 0AF43067487C6D6A Time : 0.0 sec. user=mdettweiler [2015-09-14 22:56:57] 793*2^1409283-1 is not prime. Res64: 3A741B4548C704CD Time : 0.0 sec. user=mdettweiler [2015-09-14 22:56:57] 895*2^1409283-1 is not prime. Res64: 3BEF9FDA43699810 Time : 0.0 sec. user=mdettweiler [2015-09-14 23:05:18] 635*2^1409284-1 is not prime. Res64: 720F0AAA697146AD Time : 0.0 sec. user=mdettweiler [2015-09-14 23:05:20] 719*2^1409284-1 is not prime. Res64: E9CC3A629CCC4909 Time : 0.0 sec. user=mdettweiler [2015-09-14 23:10:29] 723*2^1409284-1 is not prime. Res64: ABC4DC8DF430A9CE Time : 0.0 sec. user=mdettweiler [2015-09-14 23:10:29] 857*2^1409284-1 is not prime. Res64: 800A4E912588B58C Time : 0.0 sec. user=mdettweiler [2015-09-14 23:10:58] 875*2^1409284-1 is not prime. Res64: 67F4B468E522FAFA Time : 0.0 sec. user=mdettweiler [2015-09-14 23:10:59] 969*2^1409284-1 is not prime. Res64: C9DE19397DECB801 Time : 0.0 sec. user=mdettweiler [2015-09-14 23:14:41] 975*2^1409284-1 is not prime. Res64: EE3DC88536353211 Time : 0.0 sec. user=mdettweiler [2015-09-14 23:14:41] 601*2^1409285-1 is not prime. Res64: 27BC11F55EC09267 Time : 0.0 sec. user=mdettweiler [2015-09-14 23:23:23] 699*2^1409285-1 is not prime. Res64: 11D6E3EF3C1D015D Time : 0.0 sec. user=mdettweiler [2015-09-14 23:23:24] 711*2^1409285-1 is not prime. Res64: FC6B3E86CE737AE1 Time : 0.0 sec. user=mdettweiler [2015-09-14 23:28:10] 735*2^1409285-1 is not prime. Res64: D89B303E3198BD64 Time : 0.0 sec. user=mdettweiler [2015-09-14 23:28:10] 707*2^1409286-1 is not prime. Res64: 757A1B0B7551F3FE Time : 0.0 sec. user=mdettweiler [2015-09-14 23:28:40] 713*2^1409286-1 is not prime. Res64: 904BED6F45400F09 Time : 0.0 sec. user=mdettweiler [2015-09-14 23:28:40] 815*2^1409286-1 is not prime. Res64: A79B1EA18F3FC445 Time : 0.0 sec. user=mdettweiler [2015-09-14 23:32:29] 873*2^1409286-1 is not prime. Res64: FEBD246165C16BE7 Time : 0.0 sec. user=mdettweiler [2015-09-14 23:32:29] 893*2^1409286-1 is not prime. Res64: CB79A99664BA95CD Time : 0.0 sec. user=mdettweiler [2015-09-14 23:41:18] 1001*2^1409286-1 is not prime. Res64: 7B578468D7BDF671 Time : 0.0 sec. user=mdettweiler [2015-09-14 23:41:18] 609*2^1409287-1 is not prime. Res64: 3F721D6AEE41800E Time : 0.0 sec. user=mdettweiler [2015-09-14 23:45:57] 615*2^1409287-1 is not prime. Res64: 99114CF2DCABCA51 Time : 0.0 sec. user=mdettweiler [2015-09-14 23:45:57] 633*2^1409287-1 is not prime. Res64: A7750392BF5A90C0 Time : 0.0 sec. user=mdettweiler [2015-09-14 23:46:26] 703*2^1409287-1 is not prime. Res64: 4A1A716EA1B08DAE Time : 0.0 sec. user=mdettweiler [2015-09-14 23:46:27] 859*2^1409287-1 is not prime. Res64: 31226012D7014117 Time : 0.0 sec. user=mdettweiler [2015-09-14 23:50:16] 617*2^1409288-1 is not prime. Res64: 2ECFAC114D100A3A Time : 0.0 sec. user=mdettweiler [2015-09-14 23:50:16] 825*2^1409288-1 is not prime. Res64: 39F200AFB6164AD1 Time : 0.0 sec. user=mdettweiler [2015-09-14 23:59:11] 893*2^1409288-1 is not prime. Res64: C16D5E0CE81C7BFE Time : 0.0 sec. user=mdettweiler [2015-09-14 23:59:12] 661*2^1409289-1 is not prime. Res64: 870D0216E43DA2BF Time : 0.0 sec.