user=mdettweiler [2015-06-16 00:02:30] 861*2^1400443-1 is not prime. Res64: 183B211CAF11A505 Time : 0.0 sec. user=mdettweiler [2015-06-16 00:02:31] 885*2^1400443-1 is not prime. Res64: 12936CDF8616A436 Time : 0.0 sec. user=mdettweiler [2015-06-16 00:16:38] 617*2^1400444-1 is not prime. Res64: 0C4C22C56B33D286 Time : 0.0 sec. user=mdettweiler [2015-06-16 00:16:38] 939*2^1400443-1 is not prime. Res64: E1189BC7E21249D0 Time : 0.0 sec. user=mdettweiler [2015-06-16 00:16:39] 629*2^1400444-1 is not prime. Res64: AFFD2E859B94BD70 Time : 0.0 sec. user=mdettweiler [2015-06-16 00:16:39] 609*2^1400444-1 is not prime. Res64: 068420513DFC86C3 Time : 0.0 sec. user=mdettweiler [2015-06-16 00:17:15] 675*2^1400444-1 is not prime. Res64: 90306A939A0A6531 Time : 0.0 sec. user=mdettweiler [2015-06-16 00:17:15] 707*2^1400444-1 is not prime. Res64: C97CD7476A66E1FB Time : 0.0 sec. user=mdettweiler [2015-06-16 00:21:09] 753*2^1400444-1 is not prime. Res64: E3940A4961516DCA Time : 0.0 sec. user=mdettweiler [2015-06-16 00:21:09] 767*2^1400444-1 is not prime. Res64: 8A3323772B912730 Time : 0.0 sec. user=mdettweiler [2015-06-16 00:34:16] 837*2^1400445-1 is not prime. Res64: 8AD403E5B82DE0AA Time : 0.0 sec. user=mdettweiler [2015-06-16 00:34:17] 927*2^1400445-1 is not prime. Res64: 0F01766A3F6222CD Time : 0.0 sec. user=mdettweiler [2015-06-16 00:34:18] 945*2^1400444-1 is not prime. Res64: 6A08BB134E28275E Time : 0.0 sec. user=mdettweiler [2015-06-16 00:34:19] 699*2^1400445-1 is not prime. Res64: 82E2B6AC3E6989D7 Time : 0.0 sec. user=mdettweiler [2015-06-16 00:34:52] 937*2^1400445-1 is not prime. Res64: 3B9B2E4F6204F0B1 Time : 0.0 sec. user=mdettweiler [2015-06-16 00:34:53] 961*2^1400445-1 is not prime. Res64: 5A4885F9AAA47E3C Time : 0.0 sec. user=mdettweiler [2015-06-16 00:38:35] 969*2^1400445-1 is not prime. Res64: 8EE6556F3DD65EDA Time : 0.0 sec. user=mdettweiler [2015-06-16 00:38:36] 755*2^1400446-1 is not prime. Res64: 17CC50255E0C5028 Time : 0.0 sec. user=mdettweiler [2015-06-16 00:51:42] 855*2^1400446-1 is not prime. Res64: A7F2A1CC62F46ADA Time : 0.0 sec. user=mdettweiler [2015-06-16 00:51:43] 857*2^1400446-1 is not prime. Res64: 1C91A28DDA5BBC1C Time : 0.0 sec. user=mdettweiler [2015-06-16 00:51:45] 917*2^1400446-1 is not prime. Res64: F7F5CEDC5C697CF0 Time : 0.0 sec. user=mdettweiler [2015-06-16 00:51:45] 971*2^1400446-1 is not prime. Res64: 1D52BBC88CF717F4 Time : 0.0 sec. user=mdettweiler [2015-06-16 00:52:17] 619*2^1400447-1 is not prime. Res64: 6F8C8330A5C692F5 Time : 0.0 sec. user=mdettweiler [2015-06-16 00:52:18] 651*2^1400447-1 is not prime. Res64: 4BF4C2C01EA0D04A Time : 0.0 sec. user=mdettweiler [2015-06-16 00:56:08] 685*2^1400447-1 is not prime. Res64: B5B74F03FAF661B9 Time : 0.0 sec. user=mdettweiler [2015-06-16 00:56:08] 775*2^1400447-1 is not prime. Res64: 9ACC8509C1F9436A Time : 0.0 sec. user=mdettweiler [2015-06-16 01:09:18] 861*2^1400447-1 is not prime. Res64: 9E2DB330571D8C89 Time : 0.0 sec. user=mdettweiler [2015-06-16 01:09:19] 949*2^1400447-1 is not prime. Res64: 6972EDC0D6007AC0 Time : 0.0 sec. user=mdettweiler [2015-06-16 01:09:28] 825*2^1400447-1 is not prime. Res64: 17A6A96C2FE9F884 Time : 0.0 sec. user=mdettweiler [2015-06-16 01:09:28] 859*2^1400447-1 is not prime. Res64: 732DB3024353D4F8 Time : 0.0 sec. user=mdettweiler [2015-06-16 01:09:47] 973*2^1400447-1 is not prime. Res64: 3FBB1E04C9EF1957 Time : 0.0 sec. user=mdettweiler [2015-06-16 01:09:48] 633*2^1400448-1 is not prime. Res64: EC469D1ECE32772E Time : 0.0 sec. user=mdettweiler [2015-06-16 01:13:31] 657*2^1400448-1 is not prime. Res64: 59333BCE36C67410 Time : 0.0 sec. user=mdettweiler [2015-06-16 01:13:32] 725*2^1400448-1 is not prime. Res64: 2A575852E0FE551E Time : 0.0 sec. user=mdettweiler [2015-06-16 01:26:49] 759*2^1400448-1 is not prime. Res64: 59E73E33DD6864EE Time : 0.0 sec. user=mdettweiler [2015-06-16 01:26:51] 765*2^1400448-1 is not prime. Res64: 5B55E328E1FE5473 Time : 0.0 sec. user=mdettweiler [2015-06-16 01:26:51] 809*2^1400448-1 is not prime. Res64: 4777BC50ABDE4175 Time : 0.0 sec. user=mdettweiler [2015-06-16 01:26:52] 839*2^1400448-1 is not prime. Res64: 84F4C35468FE984A Time : 0.0 sec. user=mdettweiler [2015-06-16 01:27:18] 875*2^1400448-1 is not prime. Res64: 9006897C4ECA5C25 Time : 0.0 sec. user=mdettweiler [2015-06-16 01:27:19] 959*2^1400448-1 is not prime. Res64: 6EF06D1C77E0B2F1 Time : 0.0 sec. user=mdettweiler [2015-06-16 01:30:57] 969*2^1400448-1 is not prime. Res64: 1518C89F1CC63113 Time : 0.0 sec. user=mdettweiler [2015-06-16 01:30:58] 679*2^1400449-1 is not prime. Res64: 60503AE5AA1A752D Time : 0.0 sec. user=mdettweiler [2015-06-16 01:44:20] 721*2^1400449-1 is not prime. Res64: 8C2F5206EA9EBC2C Time : 0.0 sec. user=mdettweiler [2015-06-16 01:44:20] 799*2^1400449-1 is not prime. Res64: 479C42A5D0201849 Time : 0.0 sec. user=mdettweiler [2015-06-16 01:44:20] 877*2^1400449-1 is not prime. Res64: CE280EF81002ABF4 Time : 0.0 sec. user=mdettweiler [2015-06-16 01:44:21] 931*2^1400449-1 is not prime. Res64: B533BA8D3D2D4774 Time : 0.0 sec. user=mdettweiler [2015-06-16 01:44:45] 603*2^1400450-1 is not prime. Res64: BABC3FF3CCAF92F5 Time : 0.0 sec. user=mdettweiler [2015-06-16 01:44:46] 701*2^1400450-1 is not prime. Res64: 803161F9B46A51B4 Time : 0.0 sec. user=mdettweiler [2015-06-16 01:48:37] 945*2^1400450-1 is not prime. Res64: F32EF814E3FC30D9 Time : 0.0 sec. user=mdettweiler [2015-06-16 01:48:37] 971*2^1400450-1 is not prime. Res64: 9B22499AC0FF0B99 Time : 0.0 sec. user=mdettweiler [2015-06-16 02:01:44] 703*2^1400451-1 is not prime. Res64: 5CD91C165FDFDEE0 Time : 0.0 sec. user=mdettweiler [2015-06-16 02:01:45] 753*2^1400451-1 is not prime. Res64: D240FDDC85544C97 Time : 0.0 sec. user=mdettweiler [2015-06-16 02:01:47] 873*2^1400451-1 is not prime. Res64: 4CED16621E18C147 Time : 0.0 sec. user=mdettweiler [2015-06-16 02:01:48] 885*2^1400451-1 is not prime. Res64: 69559ABD1266A7AF Time : 0.0 sec. user=mdettweiler [2015-06-16 02:02:09] 895*2^1400451-1 is not prime. Res64: C4103FA54B59B406 Time : 0.0 sec. user=mdettweiler [2015-06-16 02:02:09] 961*2^1400451-1 is not prime. Res64: BAFE8E3EA42C6FBC Time : 0.0 sec. user=mdettweiler [2015-06-16 02:06:02] 743*2^1400452-1 is not prime. Res64: 549C016F5C364144 Time : 0.0 sec. user=mdettweiler [2015-06-16 02:06:03] 765*2^1400452-1 is not prime. Res64: D76BC72EF62BCD48 Time : 0.0 sec. user=mdettweiler [2015-06-16 02:19:27] 785*2^1400452-1 is not prime. Res64: 31F9C3DBBF159762 Time : 0.0 sec. user=mdettweiler [2015-06-16 02:19:28] 819*2^1400452-1 is not prime. Res64: 49B08E4B8C7FEF7B Time : 0.0 sec. user=mdettweiler [2015-06-16 02:19:28] 923*2^1400452-1 is not prime. Res64: A7EA74120FC9DD82 Time : 0.0 sec. user=mdettweiler [2015-06-16 02:19:29] 631*2^1400453-1 is not prime. Res64: 71943E9CFFC54EC4 Time : 0.0 sec. user=mdettweiler [2015-06-16 02:19:36] 649*2^1400453-1 is not prime. Res64: 966B2AAA4F815F5A Time : 0.0 sec. user=mdettweiler [2015-06-16 02:19:37] 675*2^1400453-1 is not prime. Res64: FC86BA084ACD0B97 Time : 0.0 sec. user=mdettweiler [2015-06-16 02:23:30] 757*2^1400453-1 is not prime. Res64: E29E155A84352355 Time : 0.0 sec. user=mdettweiler [2015-06-16 02:23:30] 801*2^1400453-1 is not prime. Res64: EC27DF06B6DB5B0E Time : 0.0 sec. user=mdettweiler [2015-06-16 02:36:53] 651*2^1400454-1 is not prime. Res64: 30DD246C3D53F298 Time : 0.0 sec. user=mdettweiler [2015-06-16 02:36:54] 873*2^1400454-1 is not prime. Res64: 97007EA2CFBD6F39 Time : 0.0 sec. user=mdettweiler [2015-06-16 02:36:56] 859*2^1400453-1 is not prime. Res64: C73BB8B12CEB8C29 Time : 0.0 sec. user=mdettweiler [2015-06-16 02:36:56] 969*2^1400453-1 is not prime. Res64: EFC361E954F77668 Time : 0.0 sec. user=mdettweiler [2015-06-16 02:37:03] 945*2^1400454-1 is not prime. Res64: D10ED0169C408845 Time : 0.0 sec. user=mdettweiler [2015-06-16 02:37:04] 1001*2^1400454-1 is not prime. Res64: 252BA9F940425354 Time : 0.0 sec. user=mdettweiler [2015-06-16 02:41:12] 709*2^1400455-1 is not prime. Res64: A9175518D385E0C6 Time : 0.0 sec. user=mdettweiler [2015-06-16 02:41:12] 723*2^1400455-1 is not prime. Res64: 9FA9987627D451F5 Time : 0.0 sec. user=mdettweiler [2015-06-16 02:55:26] 819*2^1400455-1 is not prime. Res64: F5B2FE6FA2AA922E Time : 0.0 sec. user=mdettweiler [2015-06-16 02:55:26] 891*2^1400455-1 is not prime. Res64: 6388D80B80EE91CC Time : 0.0 sec. user=mdettweiler [2015-06-16 02:55:40] 973*2^1400455-1 is not prime. Res64: 896C93316ED22B8D Time : 0.0 sec. user=mdettweiler [2015-06-16 02:55:40] 999*2^1400455-1 is not prime. Res64: D25FC4C6CB561296 Time : 0.0 sec. user=mdettweiler [2015-06-16 02:55:58] 617*2^1400456-1 is not prime. Res64: B0CEB9173C9E065F Time : 0.0 sec. user=mdettweiler [2015-06-16 02:55:59] 633*2^1400456-1 is not prime. Res64: 6640225E89AB672C Time : 0.0 sec. user=mdettweiler [2015-06-16 02:59:18] 725*2^1400456-1 is not prime. Res64: 6C7099B9DD68BF04 Time : 0.0 sec. user=mdettweiler [2015-06-16 02:59:18] 743*2^1400456-1 is not prime. Res64: 29F6231A84FDEB2E Time : 0.0 sec. user=mdettweiler [2015-06-16 03:12:55] 869*2^1400456-1 is not prime. Res64: 6F6160AFDA591DAB Time : 0.0 sec. user=mdettweiler [2015-06-16 03:12:56] 923*2^1400456-1 is not prime. Res64: FAEACF4086DEEBC8 Time : 0.0 sec. user=mdettweiler [2015-06-16 03:13:08] 935*2^1400456-1 is not prime. Res64: C18CBF98EB3DE53E Time : 0.0 sec. user=mdettweiler [2015-06-16 03:13:08] 765*2^1400457-1 is not prime. Res64: A97B20ECA46C1F96 Time : 0.0 sec. user=mdettweiler [2015-06-16 03:13:27] 835*2^1400457-1 is not prime. Res64: 1BB311A9CC5A56D7 Time : 0.0 sec. user=mdettweiler [2015-06-16 03:13:27] 937*2^1400457-1 is not prime. Res64: 90AE00AFA35F63B5 Time : 0.0 sec. user=mdettweiler [2015-06-16 03:16:44] 991*2^1400457-1 is not prime. Res64: 4D7693CBAED92B56 Time : 0.0 sec. user=mdettweiler [2015-06-16 03:16:45] 997*2^1400457-1 is not prime. Res64: 013D4CF1B20E60DE Time : 0.0 sec. user=mdettweiler [2015-06-16 03:30:31] 695*2^1400458-1 is not prime. Res64: 605A038D56FF9044 Time : 0.0 sec. user=mdettweiler [2015-06-16 03:30:33] 765*2^1400458-1 is not prime. Res64: 9FC9E2CED0E30EC9 Time : 0.0 sec. user=mdettweiler [2015-06-16 03:30:34] 777*2^1400458-1 is not prime. Res64: D8D3A8CDCE9FCB1A Time : 0.0 sec. user=mdettweiler [2015-06-16 03:30:36] 801*2^1400458-1 is not prime. Res64: 54DFE58F3DD6CFE5 Time : 0.0 sec. user=mdettweiler [2015-06-16 03:30:51] 821*2^1400458-1 is not prime. Res64: 109B6FB425CE1295 Time : 0.0 sec. user=mdettweiler [2015-06-16 03:30:53] 845*2^1400458-1 is not prime. Res64: B57353FD3CCBB3F5 Time : 0.0 sec. user=mdettweiler [2015-06-16 03:34:16] 883*2^1400459-1 is not prime. Res64: A5FBD361075377AB Time : 0.0 sec. user=mdettweiler [2015-06-16 03:34:17] 921*2^1400459-1 is not prime. Res64: 086B76E7E0A6D649 Time : 0.0 sec. user=mdettweiler [2015-06-16 03:48:00] 635*2^1400460-1 is not prime. Res64: 0D24A08A6AE1E9C7 Time : 0.0 sec. user=mdettweiler [2015-06-16 03:48:01] 773*2^1400460-1 is not prime. Res64: 41153DE7390566C6 Time : 0.0 sec. user=mdettweiler [2015-06-16 03:48:02] 909*2^1400460-1 is not prime. Res64: D4D78382C7582C78 Time : 0.0 sec. user=mdettweiler [2015-06-16 03:48:02] 689*2^1400460-1 is not prime. Res64: F5B35CF6983DAB86 Time : 0.0 sec. user=mdettweiler [2015-06-16 03:48:20] 965*2^1400460-1 is not prime. Res64: C74AB1370B36CF36 Time : 0.0 sec. user=mdettweiler [2015-06-16 03:48:21] 601*2^1400461-1 is not prime. Res64: 3767BE6F587D49A6 Time : 0.0 sec. user=mdettweiler [2015-06-16 03:51:55] 621*2^1400461-1 is not prime. Res64: A46D72DBCC8F34A0 Time : 0.0 sec. user=mdettweiler [2015-06-16 03:51:56] 745*2^1400461-1 is not prime. Res64: 050A5DC31EBA4055 Time : 0.0 sec. user=juhehe [2015-06-16 03:56:32] 943*2^1400459-1 is not prime. Res64: 8095DD85A45BF1F6 Time : 0.0 sec. user=mdettweiler [2015-06-16 04:05:50] 847*2^1400461-1 is not prime. Res64: E09FD980666B147C Time : 0.0 sec. user=mdettweiler [2015-06-16 04:05:50] 711*2^1400462-1 is not prime. Res64: 26E6545AF1611A8B Time : 0.0 sec. user=mdettweiler [2015-06-16 04:05:50] 859*2^1400461-1 is not prime. Res64: B3A173C4B5B63B70 Time : 0.0 sec. user=mdettweiler [2015-06-16 04:05:50] 761*2^1400462-1 is not prime. Res64: 1440D02C70CA26AE Time : 0.0 sec. user=mdettweiler [2015-06-16 04:05:54] 657*2^1400462-1 is not prime. Res64: 5FEEF99F644F0C96 Time : 0.0 sec. user=mdettweiler [2015-06-16 04:05:54] 665*2^1400462-1 is not prime. Res64: E2BB5CC69B93E016 Time : 0.0 sec. user=mdettweiler [2015-06-16 04:09:24] 785*2^1400462-1 is not prime. Res64: C40BCDB4F985D019 Time : 0.0 sec. user=mdettweiler [2015-06-16 04:09:24] 945*2^1400462-1 is not prime. Res64: 04F570AFF3BF8AFD Time : 0.0 sec. user=mdettweiler [2015-06-16 04:23:18] 669*2^1400463-1 is not prime. Res64: 1A0B836F59B7A8A7 Time : 0.0 sec. user=mdettweiler [2015-06-16 04:23:19] 793*2^1400463-1 is not prime. Res64: 26CB7E4692875DFE Time : 0.0 sec. user=mdettweiler [2015-06-16 04:23:19] 823*2^1400463-1 is not prime. Res64: 9AAA18D6BD056C1E Time : 0.0 sec. user=mdettweiler [2015-06-16 04:23:19] 859*2^1400463-1 is not prime. Res64: 86DD84FFB92CDA11 Time : 0.0 sec. user=mdettweiler [2015-06-16 04:23:20] 965*2^1400462-1 is not prime. Res64: 52FE7B53E2197CE6 Time : 0.0 sec. user=mdettweiler [2015-06-16 04:23:20] 639*2^1400463-1 is not prime. Res64: 9A3A6976E546883D Time : 0.0 sec. user=mdettweiler [2015-06-16 04:26:54] 879*2^1400463-1 is not prime. Res64: 53B445ACB1842244 Time : 0.0 sec. user=mdettweiler [2015-06-16 04:26:55] 891*2^1400463-1 is not prime. Res64: EF6EC3363DFBB2F9 Time : 0.0 sec. user=mdettweiler [2015-06-16 04:40:43] 875*2^1400464-1 is not prime. Res64: 11CD59AF4B84096D Time : 0.0 sec. user=mdettweiler [2015-06-16 04:40:43] 929*2^1400464-1 is not prime. Res64: DE6F9A3531806B49 Time : 0.0 sec. user=mdettweiler [2015-06-16 04:40:48] 639*2^1400464-1 is not prime. Res64: 5076B9D59DC2633B Time : 0.0 sec. user=mdettweiler [2015-06-16 04:40:48] 717*2^1400464-1 is not prime. Res64: B4F869F38264C950 Time : 0.0 sec. user=mdettweiler [2015-06-16 04:40:48] 921*2^1400463-1 is not prime. Res64: EAFFD1AFC7815CD8 Time : 0.0 sec. user=mdettweiler [2015-06-16 04:40:49] 963*2^1400463-1 is not prime. Res64: E89FDAA1DEE020D8 Time : 0.0 sec. user=mdettweiler [2015-06-16 04:44:20] 601*2^1400465-1 is not prime. Res64: 62A1CF599FA8B369 Time : 0.0 sec. user=mdettweiler [2015-06-16 04:44:20] 771*2^1400465-1 is not prime. Res64: CC974755C3C505D7 Time : 0.0 sec. user=mdettweiler [2015-06-16 04:58:10] 611*2^1400466-1 is not prime. Res64: C25FFC7B021368C0 Time : 0.0 sec. user=mdettweiler [2015-06-16 04:58:10] 657*2^1400466-1 is not prime. Res64: 826563F5FEF5695D Time : 0.0 sec. user=mdettweiler [2015-06-16 04:58:12] 865*2^1400465-1 is not prime. Res64: E548ABCBF5D20D9D Time : 0.0 sec. user=mdettweiler [2015-06-16 04:58:12] 991*2^1400465-1 is not prime. Res64: 2865CF9C365AE6EA Time : 0.0 sec. user=mdettweiler [2015-06-16 04:58:19] 755*2^1400466-1 is not prime. Res64: 406A29D916EC35F1 Time : 0.0 sec. user=mdettweiler [2015-06-16 04:58:20] 851*2^1400466-1 is not prime. Res64: 3D8867821990B41D Time : 0.0 sec. user=mdettweiler [2015-06-16 05:01:47] 975*2^1400466-1 is not prime. Res64: 3DC70554FAC97199 Time : 0.0 sec. user=mdettweiler [2015-06-16 05:01:48] 775*2^1400467-1 is not prime. Res64: A59D2F7CE7F6CE10 Time : 0.0 sec. user=mdettweiler [2015-06-16 05:15:38] 913*2^1400467-1 is not prime. Res64: 70B56E969FD83ED4 Time : 0.0 sec. user=mdettweiler [2015-06-16 05:15:38] 915*2^1400467-1 is not prime. Res64: 7C9439936F169675 Time : 0.0 sec. user=mdettweiler [2015-06-16 05:15:42] 603*2^1400468-1 is not prime. Res64: DBE743E5768E7AC1 Time : 0.0 sec. user=mdettweiler [2015-06-16 05:15:42] 683*2^1400468-1 is not prime. Res64: B14F40D5FF2430AE Time : 0.0 sec. user=mdettweiler [2015-06-16 05:15:54] 753*2^1400468-1 is not prime. Res64: CBE67AF62513B14F Time : 0.0 sec. user=mdettweiler [2015-06-16 05:15:54] 797*2^1400468-1 is not prime. Res64: 9BC668ABE2786FFE Time : 0.0 sec. user=mdettweiler [2015-06-16 05:19:17] 855*2^1400468-1 is not prime. Res64: EF1F6FBE6C80C90D Time : 0.0 sec. user=mdettweiler [2015-06-16 05:19:17] 999*2^1400468-1 is not prime. Res64: 94B386138945140C Time : 0.0 sec. user=mdettweiler [2015-06-16 05:33:05] 661*2^1400469-1 is not prime. Res64: 6887D0D6F7D5C0E3 Time : 0.0 sec. user=mdettweiler [2015-06-16 05:33:06] 889*2^1400469-1 is not prime. Res64: 53F30BB78751D153 Time : 0.0 sec. user=mdettweiler [2015-06-16 05:33:11] 837*2^1400469-1 is not prime. Res64: 6457157978D79773 Time : 0.0 sec. user=mdettweiler [2015-06-16 05:33:11] 847*2^1400469-1 is not prime. Res64: EBD711D1FE9CEE36 Time : 0.0 sec. user=mdettweiler [2015-06-16 05:33:20] 949*2^1400469-1 is not prime. Res64: A58E184DD56FEB46 Time : 0.0 sec. user=mdettweiler [2015-06-16 05:33:20] 647*2^1400470-1 is not prime. Res64: DEF85FA7F7212704 Time : 0.0 sec. user=mdettweiler [2015-06-16 05:36:43] 651*2^1400470-1 is not prime. Res64: 95FC2A461EFDB97E Time : 0.0 sec. user=mdettweiler [2015-06-16 05:36:44] 713*2^1400470-1 is not prime. Res64: CED0AE262B6E5C19 Time : 0.0 sec. user=mdettweiler [2015-06-16 05:50:28] 741*2^1400470-1 is not prime. Res64: 344F77AF89A646BA Time : 0.0 sec. user=mdettweiler [2015-06-16 05:50:28] 801*2^1400470-1 is not prime. Res64: B9881323F9102AF0 Time : 0.0 sec. user=mdettweiler [2015-06-16 05:50:37] 965*2^1400470-1 is not prime. Res64: A825D4B5BFEB96D0 Time : 0.0 sec. user=mdettweiler [2015-06-16 05:50:38] 603*2^1400471-1 is not prime. Res64: 9E24554AC7D78915 Time : 0.0 sec. user=mdettweiler [2015-06-16 05:50:46] 621*2^1400471-1 is not prime. Res64: 64528204F916DDF9 Time : 0.0 sec. user=mdettweiler [2015-06-16 05:50:46] 825*2^1400471-1 is not prime. Res64: 267A844806069AA6 Time : 0.0 sec. user=mdettweiler [2015-06-16 05:54:09] 885*2^1400471-1 is not prime. Res64: FB0A2A4CA6F2FE3B Time : 0.0 sec. user=mdettweiler [2015-06-16 05:54:10] 945*2^1400471-1 is not prime. Res64: 0EC3487B614580FB Time : 0.0 sec. user=mdettweiler [2015-06-16 06:07:52] 955*2^1400471-1 is not prime. Res64: E1DC4BCE16B9E472 Time : 0.0 sec. user=mdettweiler [2015-06-16 06:07:53] 657*2^1400472-1 is not prime. Res64: 06016D9F9120DA09 Time : 0.0 sec. user=mdettweiler [2015-06-16 06:07:58] 675*2^1400472-1 is not prime. Res64: CFD2D7FAC6E4E632 Time : 0.0 sec. user=mdettweiler [2015-06-16 06:07:59] 693*2^1400472-1 is not prime. Res64: 3B10270EA2609AED Time : 0.0 sec. user=mdettweiler [2015-06-16 06:08:15] 779*2^1400472-1 is not prime. Res64: AA1707AE67B222EA Time : 0.0 sec. user=mdettweiler [2015-06-16 06:08:16] 947*2^1400472-1 is not prime. Res64: 452C41937FE518A2 Time : 0.0 sec. user=mdettweiler [2015-06-16 06:11:39] 745*2^1400473-1 is not prime. Res64: 5F040B9674FC5E36 Time : 0.0 sec. user=mdettweiler [2015-06-16 06:11:39] 765*2^1400473-1 is not prime. Res64: 2AA78CB3303B6656 Time : 0.0 sec. user=mdettweiler [2015-06-16 06:25:16] 819*2^1400473-1 is not prime. Res64: 64F2626E64D5A48F Time : 0.0 sec. user=mdettweiler [2015-06-16 06:25:16] 895*2^1400473-1 is not prime. Res64: 525A395E8D3EC037 Time : 0.0 sec. user=mdettweiler [2015-06-16 06:25:20] 925*2^1400473-1 is not prime. Res64: D9771A3459A8AAE9 Time : 0.0 sec. user=mdettweiler [2015-06-16 06:25:21] 773*2^1400474-1 is not prime. Res64: A2B4D15D7A2957D8 Time : 0.0 sec. user=mdettweiler [2015-06-16 06:25:37] 791*2^1400474-1 is not prime. Res64: C87DA4E1278BDCA4 Time : 0.0 sec. user=mdettweiler [2015-06-16 06:25:38] 813*2^1400474-1 is not prime. Res64: 407AD48FE1868D66 Time : 0.0 sec. user=mdettweiler [2015-06-16 06:29:07] 857*2^1400474-1 is not prime. Res64: D8B07A2C3C1CC11D Time : 0.0 sec. user=mdettweiler [2015-06-16 06:29:08] 927*2^1400474-1 is not prime. Res64: A156CA474E310395 Time : 0.0 sec. user=mdettweiler [2015-06-16 06:42:40] 935*2^1400474-1 is not prime. Res64: 2E736C1C1BC5FB22 Time : 0.0 sec. user=mdettweiler [2015-06-16 06:42:41] 941*2^1400474-1 is not prime. Res64: CC12F78564701CB2 Time : 0.0 sec. user=mdettweiler [2015-06-16 06:42:43] 971*2^1400474-1 is not prime. Res64: CAC0C19C62F23B0C Time : 0.0 sec. user=mdettweiler [2015-06-16 06:42:43] 651*2^1400475-1 is not prime. Res64: 7AA324EC03D9CCEB Time : 0.0 sec. user=mdettweiler [2015-06-16 06:43:01] 663*2^1400475-1 is not prime. Res64: 2233D7E57E8860EC Time : 0.0 sec. user=mdettweiler [2015-06-16 06:43:01] 679*2^1400475-1 is not prime. Res64: F8CC9C13E3EE87BA Time : 0.0 sec. user=mdettweiler [2015-06-16 06:46:30] 711*2^1400475-1 is not prime. Res64: B0C55EEE8D2F3804 Time : 0.0 sec. user=mdettweiler [2015-06-16 06:46:30] 739*2^1400475-1 is not prime. Res64: 58817A5381D53758 Time : 0.0 sec. user=mdettweiler [2015-06-16 07:00:09] 677*2^1400476-1 is not prime. Res64: 952938F8A04412E0 Time : 0.0 sec. user=mdettweiler [2015-06-16 07:00:10] 779*2^1400476-1 is not prime. Res64: 044FF35ABE084DB5 Time : 0.0 sec. user=mdettweiler [2015-06-16 07:00:11] 601*2^1400477-1 is not prime. Res64: BE8D60215335F47C Time : 0.0 sec. user=mdettweiler [2015-06-16 07:00:12] 619*2^1400477-1 is not prime. Res64: 30F855B60ABCE8D2 Time : 0.0 sec. user=mdettweiler [2015-06-16 07:00:23] 631*2^1400477-1 is not prime. Res64: 562A614F46003B2C Time : 0.0 sec. user=mdettweiler [2015-06-16 07:00:24] 717*2^1400477-1 is not prime. Res64: 58DE21E40DFBF40D Time : 0.0 sec. user=mdettweiler [2015-06-16 07:03:59] 759*2^1400477-1 is not prime. Res64: 78311D83570EF05D Time : 0.0 sec. user=mdettweiler [2015-06-16 07:04:00] 805*2^1400477-1 is not prime. Res64: 100DE586581A714E Time : 0.0 sec. user=mdettweiler [2015-06-16 07:17:44] 725*2^1400478-1 is not prime. Res64: CFFDF81E6D083711 Time : 0.0 sec. user=mdettweiler [2015-06-16 07:17:44] 975*2^1400478-1 is not prime. Res64: 10CB4E1F7903A83C Time : 0.0 sec. user=mdettweiler [2015-06-16 07:17:47] 1001*2^1400478-1 is not prime. Res64: F34BC03726B77E19 Time : 0.0 sec. user=mdettweiler [2015-06-16 07:17:47] 625*2^1400479-1 is not prime. Res64: 2246C25AFC8A62A6 Time : 0.0 sec. user=mdettweiler [2015-06-16 07:17:49] 949*2^1400477-1 is not prime. Res64: 2DA6C94A10F8DC94 Time : 0.0 sec. user=mdettweiler [2015-06-16 07:17:49] 981*2^1400477-1 is not prime. Res64: CF62F36803BEB504 Time : 0.0 sec. user=mdettweiler [2015-06-16 07:21:45] 663*2^1400479-1 is not prime. Res64: 3E254AEEF0819BF9 Time : 0.0 sec. user=mdettweiler [2015-06-16 07:21:45] 679*2^1400479-1 is not prime. Res64: 26FD27E88420AC4E Time : 0.0 sec. user=mdettweiler [2015-06-16 07:35:11] 891*2^1400479-1 is not prime. Res64: 73B3D695C62EF8FE Time : 0.0 sec. user=mdettweiler [2015-06-16 07:35:11] 913*2^1400479-1 is not prime. Res64: B8D760037C2D1323 Time : 0.0 sec. user=mdettweiler [2015-06-16 07:35:13] 751*2^1400479-1 is not prime. Res64: 99863ED64869C5A3 Time : 0.0 sec. user=mdettweiler [2015-06-16 07:35:13] 861*2^1400479-1 is not prime. Res64: 0AB5F581218AE547 Time : 0.0 sec. user=mdettweiler [2015-06-16 07:35:14] 933*2^1400479-1 is not prime. Res64: 4CAC2A7E7E0CB804 Time : 0.0 sec. user=mdettweiler [2015-06-16 07:35:14] 665*2^1400480-1 is not prime. Res64: EC2381C73947BA28 Time : 0.0 sec. user=mdettweiler [2015-06-16 07:39:09] 677*2^1400480-1 is not prime. Res64: CB1C589A1D031B61 Time : 0.0 sec. user=mdettweiler [2015-06-16 07:39:10] 717*2^1400480-1 is not prime. Res64: 4FA22C76CE994007 Time : 0.0 sec. user=mdettweiler [2015-06-16 07:52:39] 735*2^1400480-1 is not prime. Res64: 345D0CACBDC0AED8 Time : 0.0 sec. user=mdettweiler [2015-06-16 07:52:39] 915*2^1400480-1 is not prime. Res64: F70601A57B5F5F4D Time : 0.0 sec. user=mdettweiler [2015-06-16 07:52:48] 681*2^1400481-1 is not prime. Res64: 3BDA0E6306279B01 Time : 0.0 sec. user=mdettweiler [2015-06-16 07:52:48] 745*2^1400481-1 is not prime. Res64: 48E6831C11178F3E Time : 0.0 sec. user=mdettweiler [2015-06-16 07:52:55] 871*2^1400481-1 is not prime. Res64: A8F109F9694065F0 Time : 0.0 sec. user=mdettweiler [2015-06-16 07:52:55] 921*2^1400481-1 is not prime. Res64: A9ABE4CD37CA55AA Time : 0.0 sec. user=mdettweiler [2015-06-16 07:56:35] 945*2^1400481-1 is not prime. Res64: ED7E546DED8C993F Time : 0.0 sec. user=mdettweiler [2015-06-16 07:56:36] 623*2^1400482-1 is not prime. Res64: 702AFB8D0D3EC12E Time : 0.0 sec. user=mdettweiler [2015-06-16 08:10:04] 681*2^1400482-1 is not prime. Res64: A20A6553CCFE138F Time : 0.0 sec. user=mdettweiler [2015-06-16 08:10:05] 831*2^1400482-1 is not prime. Res64: 9D6A952E7C0D9800 Time : 0.0 sec. user=mdettweiler [2015-06-16 08:10:15] 915*2^1400482-1 is not prime. Res64: D6699E24376BF3E4 Time : 0.0 sec. user=mdettweiler [2015-06-16 08:10:15] 917*2^1400482-1 is not prime. Res64: 7496BFD723FBF1C9 Time : 0.0 sec. user=mdettweiler [2015-06-16 08:10:17] 957*2^1400482-1 is not prime. Res64: 3C6055A98726C692 Time : 0.0 sec. user=mdettweiler [2015-06-16 08:10:18] 981*2^1400482-1 is not prime. Res64: B2CBE1150810E3D1 Time : 0.0 sec. user=mdettweiler [2015-06-16 08:14:02] 619*2^1400483-1 is not prime. Res64: 5288959DD21B460C Time : 0.0 sec. user=mdettweiler [2015-06-16 08:14:02] 621*2^1400483-1 is not prime. Res64: FF755639FB941815 Time : 0.0 sec. user=mdettweiler [2015-06-16 08:27:32] 819*2^1400483-1 is not prime. Res64: 4FA007E78ECD149E Time : 0.0 sec. user=mdettweiler [2015-06-16 08:27:32] 973*2^1400483-1 is not prime. Res64: 1D42CECD88945040 Time : 0.0 sec. user=mdettweiler [2015-06-16 08:27:36] 999*2^1400483-1 is not prime. Res64: C794A74A8CD583F3 Time : 0.0 sec. user=mdettweiler [2015-06-16 08:27:37] 689*2^1400484-1 is not prime. Res64: A96904304F2576F5 Time : 0.0 sec. user=mdettweiler [2015-06-16 08:27:40] 887*2^1400484-1 is not prime. Res64: 8081946EBB3933EC Time : 0.0 sec. user=mdettweiler [2015-06-16 08:27:40] 899*2^1400484-1 is not prime. Res64: 35D9C1EF120F5298 Time : 0.0 sec. user=mdettweiler [2015-06-16 08:31:32] 923*2^1400484-1 is not prime. Res64: 9C66AFAD367DAFAC Time : 0.0 sec. user=mdettweiler [2015-06-16 08:31:32] 929*2^1400484-1 is not prime. Res64: 798CB401661E43D1 Time : 0.0 sec. user=mdettweiler [2015-06-16 08:44:59] 609*2^1400485-1 is not prime. Res64: 26427D61049056F7 Time : 0.0 sec. user=mdettweiler [2015-06-16 08:45:00] 699*2^1400485-1 is not prime. Res64: EAFB609F8F63334D Time : 0.0 sec. user=mdettweiler [2015-06-16 08:45:01] 831*2^1400485-1 is not prime. Res64: 2224378587434163 Time : 0.0 sec. user=mdettweiler [2015-06-16 08:45:02] 859*2^1400485-1 is not prime. Res64: 6F2D0F1D6796D88C Time : 0.0 sec. user=mdettweiler [2015-06-16 08:45:13] 693*2^1400486-1 is not prime. Res64: 9B3D45FFA73D53D0 Time : 0.0 sec. user=mdettweiler [2015-06-16 08:45:14] 801*2^1400486-1 is not prime. Res64: 666ED39606DD41D8 Time : 0.0 sec. user=mdettweiler [2015-06-16 08:49:08] 813*2^1400486-1 is not prime. Res64: E91B4DBF6EC17854 Time : 0.0 sec. user=mdettweiler [2015-06-16 08:49:08] 867*2^1400486-1 is not prime. Res64: 68C20F60850832D5 Time : 0.0 sec. user=mdettweiler [2015-06-16 09:02:29] 875*2^1400486-1 is not prime. Res64: B9D80DA6767528E0 Time : 0.0 sec. user=mdettweiler [2015-06-16 09:02:30] 661*2^1400487-1 is not prime. Res64: A06B2E49636214EC Time : 0.0 sec. user=mdettweiler [2015-06-16 09:02:32] 859*2^1400487-1 is not prime. Res64: F775945D4AEB13BB Time : 0.0 sec. user=mdettweiler [2015-06-16 09:02:34] 687*2^1400488-1 is not prime. Res64: F65EC1F3FB6DB3E8 Time : 0.0 sec. user=mdettweiler [2015-06-16 09:02:43] 713*2^1400488-1 is not prime. Res64: E1BEE5719F7A28EA Time : 0.0 sec. user=mdettweiler [2015-06-16 09:02:45] 839*2^1400488-1 is not prime. Res64: 99ED0C9BC0B91D7E Time : 0.0 sec. user=mdettweiler [2015-06-16 09:06:33] 933*2^1400488-1 is not prime. Res64: 4031BC527DDD1A07 Time : 0.0 sec. user=mdettweiler [2015-06-16 09:06:34] 975*2^1400488-1 is not prime. Res64: D6F0F9E85EEE2D8B Time : 0.0 sec. user=mdettweiler [2015-06-16 09:20:25] 691*2^1400489-1 is not prime. Res64: 27B8281D13296D92 Time : 0.0 sec. user=mdettweiler [2015-06-16 09:20:26] 711*2^1400489-1 is not prime. Res64: A5A594E87EADBC7C Time : 0.0 sec. user=mdettweiler [2015-06-16 09:20:26] 987*2^1400489-1 is not prime. Res64: A64FEB1E3DDA21D2 Time : 0.0 sec. user=mdettweiler [2015-06-16 09:20:26] 641*2^1400490-1 is not prime. Res64: 7708254B95A6F9C2 Time : 0.0 sec. user=mdettweiler [2015-06-16 09:20:32] 651*2^1400490-1 is not prime. Res64: 6FDBAAC33325E4FC Time : 0.0 sec. user=mdettweiler [2015-06-16 09:20:32] 735*2^1400490-1 is not prime. Res64: 7D52CC93A7E4A2EF Time : 0.0 sec. user=mdettweiler [2015-06-16 09:24:01] 851*2^1400490-1 is not prime. Res64: B93A4FE717979334 Time : 0.0 sec. user=mdettweiler [2015-06-16 09:24:02] 917*2^1400490-1 is not prime. Res64: B4C0C38E34FE5491 Time : 0.0 sec. user=mdettweiler [2015-06-16 09:38:00] 775*2^1400491-1 is not prime. Res64: 941B576F6AA281B5 Time : 0.0 sec. user=mdettweiler [2015-06-16 09:38:00] 819*2^1400491-1 is not prime. Res64: AE17EAB30078E8B4 Time : 0.0 sec. user=mdettweiler [2015-06-16 09:38:01] 861*2^1400491-1 is not prime. Res64: 548BA40F62A1EFE5 Time : 0.0 sec. user=mdettweiler [2015-06-16 09:38:01] 895*2^1400491-1 is not prime. Res64: D5FFB521A77121FC Time : 0.0 sec. user=mdettweiler [2015-06-16 09:38:09] 977*2^1400490-1 is not prime. Res64: 2819C631A257B814 Time : 0.0 sec. user=mdettweiler [2015-06-16 09:38:10] 771*2^1400491-1 is not prime. Res64: 05D4BDCEA109CB65 Time : 0.0 sec. user=mdettweiler [2015-06-16 09:41:39] 999*2^1400491-1 is not prime. Res64: 304CE75F3C3D2A49 Time : 0.0 sec. user=mdettweiler [2015-06-16 09:41:39] 603*2^1400492-1 is not prime. Res64: C1AF9189861F71E5 Time : 0.0 sec. user=mdettweiler [2015-06-16 09:55:51] 837*2^1400492-1 is not prime. Res64: A74CDBBF7B4995A7 Time : 0.0 sec. user=mdettweiler [2015-06-16 09:55:52] 903*2^1400492-1 is not prime. Res64: BA8480394399D1F8 Time : 0.0 sec. user=mdettweiler [2015-06-16 09:55:56] 609*2^1400493-1 is not prime. Res64: E955AC70C6E29A7F Time : 0.0 sec. user=mdettweiler [2015-06-16 09:55:57] 789*2^1400493-1 is not prime. Res64: F27E17809A571782 Time : 0.0 sec. user=mdettweiler [2015-06-16 09:55:59] 915*2^1400493-1 is not prime. Res64: 34C20449F38F15A3 Time : 0.0 sec. user=mdettweiler [2015-06-16 09:56:00] 651*2^1400494-1 is not prime. Res64: 589CE797ADBC168F Time : 0.0 sec. user=mdettweiler [2015-06-16 09:59:21] 663*2^1400494-1 is not prime. Res64: 3EC457E612CE1912 Time : 0.0 sec. user=mdettweiler [2015-06-16 09:59:22] 737*2^1400494-1 is not prime. Res64: CABAAB60E8BE59F8 Time : 0.0 sec. user=mdettweiler [2015-06-16 10:13:25] 915*2^1400494-1 is not prime. Res64: 8577715BF152F874 Time : 0.0 sec. user=mdettweiler [2015-06-16 10:13:26] 957*2^1400494-1 is not prime. Res64: 5060D3F12CEEA5B3 Time : 0.0 sec. user=mdettweiler [2015-06-16 10:13:36] 775*2^1400495-1 is not prime. Res64: C0F41F1459571C7D Time : 0.0 sec. user=mdettweiler [2015-06-16 10:13:37] 789*2^1400495-1 is not prime. Res64: 26708EB9E19E35B3 Time : 0.0 sec. user=mdettweiler [2015-06-16 10:13:37] 651*2^1400495-1 is not prime. Res64: BA81F50240997D7C Time : 0.0 sec. user=mdettweiler [2015-06-16 10:13:37] 685*2^1400495-1 is not prime. Res64: 55DD97CB0920412E Time : 0.0 sec. user=mdettweiler [2015-06-16 10:16:55] 825*2^1400495-1 is not prime. Res64: D29D340ACD8D83EB Time : 0.0 sec. user=mdettweiler [2015-06-16 10:16:55] 853*2^1400495-1 is not prime. Res64: 1FDC5876AB0D8764 Time : 0.0 sec. user=mdettweiler [2015-06-16 10:31:00] 699*2^1400496-1 is not prime. Res64: 2BDCE4EFDD8EE994 Time : 0.0 sec. user=mdettweiler [2015-06-16 10:31:00] 725*2^1400496-1 is not prime. Res64: 709626D981E35205 Time : 0.0 sec. user=mdettweiler [2015-06-16 10:31:09] 779*2^1400496-1 is not prime. Res64: 801A2566D2B3201B Time : 0.0 sec. user=mdettweiler [2015-06-16 10:31:10] 893*2^1400496-1 is not prime. Res64: 187EC3CBD2CF4257 Time : 0.0 sec. user=mdettweiler [2015-06-16 10:31:13] 903*2^1400496-1 is not prime. Res64: 081EC131CDC94A97 Time : 0.0 sec. user=mdettweiler [2015-06-16 10:31:13] 615*2^1400497-1 is not prime. Res64: BFE0F2EB30449CB3 Time : 0.0 sec. user=mdettweiler [2015-06-16 10:34:27] 619*2^1400497-1 is not prime. Res64: 5B5183ADB55FD597 Time : 0.0 sec. user=mdettweiler [2015-06-16 10:34:27] 651*2^1400497-1 is not prime. Res64: 7EB7B522C9511614 Time : 0.0 sec. user=mdettweiler [2015-06-16 10:48:42] 667*2^1400497-1 is not prime. Res64: A25E544329B20FBF Time : 0.0 sec. user=mdettweiler [2015-06-16 10:48:42] 777*2^1400497-1 is not prime. Res64: A78607A8ADE14AE3 Time : 0.0 sec. user=mdettweiler [2015-06-16 10:48:45] 867*2^1400497-1 is not prime. Res64: 4E2EC7B1B699CFC2 Time : 0.0 sec. user=mdettweiler [2015-06-16 10:48:45] 641*2^1400498-1 is not prime. Res64: 236AFDA8E2936163 Time : 0.0 sec. user=mdettweiler [2015-06-16 10:48:50] 665*2^1400498-1 is not prime. Res64: 7942E6A695F3DDF3 Time : 0.0 sec. user=mdettweiler [2015-06-16 10:48:50] 755*2^1400498-1 is not prime. Res64: E8D3AA83A5C01F81 Time : 0.0 sec. user=mdettweiler [2015-06-16 10:52:00] 827*2^1400498-1 is not prime. Res64: AAAB8DA4A11257CD Time : 0.0 sec. user=mdettweiler [2015-06-16 10:52:00] 837*2^1400498-1 is not prime. Res64: 8F9391CE1068B01B Time : 0.0 sec. user=mdettweiler [2015-06-16 11:06:19] 861*2^1400498-1 is not prime. Res64: CFBBD7316E1E2C59 Time : 0.0 sec. user=mdettweiler [2015-06-16 11:06:21] 957*2^1400498-1 is not prime. Res64: 8B3410695BA1A337 Time : 0.0 sec. user=mdettweiler [2015-06-16 11:06:24] 601*2^1400499-1 is not prime. Res64: C36675F816A8D828 Time : 0.0 sec. user=mdettweiler [2015-06-16 11:06:25] 649*2^1400499-1 is not prime. Res64: 3FC9234555778188 Time : 0.0 sec. user=mdettweiler [2015-06-16 11:06:26] 795*2^1400499-1 is not prime. Res64: EC25CFAD37065917 Time : 0.0 sec. user=mdettweiler [2015-06-16 11:06:28] 825*2^1400499-1 is not prime. Res64: 2B771228C60161D7 Time : 0.0 sec. user=mdettweiler [2015-06-16 11:09:35] 635*2^1400500-1 is not prime. Res64: 1F16D85DE8156DFD Time : 0.0 sec. user=mdettweiler [2015-06-16 11:09:36] 689*2^1400500-1 is not prime. Res64: 0EC0338C135FCF8B Time : 0.0 sec. user=mdettweiler [2015-06-16 11:24:48] 923*2^1400500-1 is not prime. Res64: FBFE6CDB269F2BD2 Time : 0.0 sec. user=mdettweiler [2015-06-16 11:24:48] 885*2^1400501-1 is not prime. Res64: DC1B4F445E55AAEF Time : 0.0 sec. user=mdettweiler [2015-06-16 11:24:55] 987*2^1400500-1 is not prime. Res64: 8CB7D28576FC7D45 Time : 0.0 sec. user=mdettweiler [2015-06-16 11:24:56] 607*2^1400501-1 is not prime. Res64: 9078E10EACF332B4 Time : 0.0 sec. user=mdettweiler [2015-06-16 11:25:03] 699*2^1400500-1 is not prime. Res64: 590B497D56FDB5F9 Time : 0.0 sec. user=mdettweiler [2015-06-16 11:25:03] 927*2^1400500-1 is not prime. Res64: 891E207F95BC7951 Time : 0.0 sec. user=mdettweiler [2015-06-16 11:27:52] 683*2^1400502-1 is not prime. Res64: DFAD2B0F79F8A139 Time : 0.0 sec. user=mdettweiler [2015-06-16 11:27:52] 711*2^1400502-1 is not prime. Res64: D01880B17B8AB02D Time : 0.0 sec. user=mdettweiler [2015-06-16 11:43:03] 875*2^1400502-1 is not prime. Res64: 3923EBC26BF7C91C Time : 0.0 sec. user=mdettweiler [2015-06-16 11:43:03] 603*2^1400503-1 is not prime. Res64: A1D1AD8898E6C77E Time : 0.0 sec. user=mdettweiler [2015-06-16 11:43:04] 755*2^1400502-1 is not prime. Res64: B5BAB7AA339CC75D Time : 0.0 sec. user=mdettweiler [2015-06-16 11:43:04] 833*2^1400502-1 is not prime. Res64: 1596297C9F980429 Time : 0.0 sec. user=mdettweiler [2015-06-16 11:43:23] 633*2^1400503-1 is not prime. Res64: A7CFE7C8BAD8880C Time : 0.0 sec. user=mdettweiler [2015-06-16 11:43:23] 679*2^1400503-1 is not prime. Res64: B339DB758A1506EC Time : 0.0 sec. user=mdettweiler [2015-06-16 11:46:14] 709*2^1400503-1 is not prime. Res64: D58744ACE13D0E0E Time : 0.0 sec. user=mdettweiler [2015-06-16 11:46:14] 723*2^1400503-1 is not prime. Res64: 18833057CF6FE241 Time : 0.0 sec. user=mdettweiler [2015-06-16 12:01:39] 999*2^1400503-1 is not prime. Res64: 9044753D6DD1D572 Time : 0.0 sec. user=mdettweiler [2015-06-16 12:01:40] 657*2^1400504-1 is not prime. Res64: 9913B813EFFEDED3 Time : 0.0 sec. user=mdettweiler [2015-06-16 12:01:45] 805*2^1400503-1 is not prime. Res64: B316EA93900E9008 Time : 0.0 sec. user=mdettweiler [2015-06-16 12:01:46] 933*2^1400503-1 is not prime. Res64: C75E95FBC4781BEA Time : 0.0 sec. user=mdettweiler [2015-06-16 12:01:47] 675*2^1400504-1 is not prime. Res64: EDC5FFC6390815EE Time : 0.0 sec. user=mdettweiler [2015-06-16 12:01:47] 725*2^1400504-1 is not prime. Res64: E3F7010A9176815B Time : 0.0 sec. user=mdettweiler [2015-06-16 12:04:37] 743*2^1400504-1 is not prime. Res64: BF49C6CA05A07476 Time : 0.0 sec. user=mdettweiler [2015-06-16 12:04:38] 927*2^1400504-1 is not prime. Res64: BFABC37289F92E9F Time : 0.0 sec. user=mdettweiler [2015-06-16 12:19:59] 625*2^1400505-1 is not prime. Res64: 83C01257AF50F3BF Time : 0.0 sec. user=mdettweiler [2015-06-16 12:20:00] 709*2^1400505-1 is not prime. Res64: 64289C7572EB78A7 Time : 0.0 sec. user=mdettweiler [2015-06-16 12:20:12] 727*2^1400505-1 is not prime. Res64: 03F5032D4400CE44 Time : 0.0 sec. user=mdettweiler [2015-06-16 12:20:12] 759*2^1400505-1 is not prime. Res64: 2D5FD32FAC871D23 Time : 0.0 sec. user=mdettweiler [2015-06-16 12:20:13] 983*2^1400504-1 is not prime. Res64: 480739715F06CA5E Time : 0.0 sec. user=mdettweiler [2015-06-16 12:20:13] 601*2^1400505-1 is not prime. Res64: 2A8601C595C27C09 Time : 0.0 sec. user=mdettweiler [2015-06-16 12:22:36] 647*2^1400506-1 is not prime. Res64: 9C12E3D56E674DA7 Time : 0.0 sec. user=mdettweiler [2015-06-16 12:22:36] 777*2^1400506-1 is not prime. Res64: 2574F77C20B45BAF Time : 0.0 sec. user=mdettweiler [2015-06-16 12:38:40] 861*2^1400506-1 is not prime. Res64: DD88FBE4E4D1A60C Time : 0.0 sec. user=mdettweiler [2015-06-16 12:38:41] 873*2^1400506-1 is not prime. Res64: 43C3FFEF31102E57 Time : 0.0 sec. user=mdettweiler [2015-06-16 12:38:43] 871*2^1400507-1 is not prime. Res64: ACAA691DFF321867 Time : 0.0 sec. user=mdettweiler [2015-06-16 12:38:43] 909*2^1400507-1 is not prime. Res64: 52C278C164DA100B Time : 0.0 sec. user=mdettweiler [2015-06-16 12:39:00] 933*2^1400506-1 is not prime. Res64: 1334DFFD7DD55C45 Time : 0.0 sec. user=mdettweiler [2015-06-16 12:39:00] 619*2^1400507-1 is not prime. Res64: 3BCFEF991984E700 Time : 0.0 sec. user=mdettweiler [2015-06-16 12:41:25] 963*2^1400507-1 is not prime. Res64: E54EC88F368386C7 Time : 0.0 sec. user=mdettweiler [2015-06-16 12:41:25] 639*2^1400508-1 is not prime. Res64: 80186E05B558040E Time : 0.0 sec. user=mdettweiler [2015-06-16 12:57:12] 759*2^1400508-1 is not prime. Res64: 4231CD01495DF5DE Time : 0.0 sec. user=mdettweiler [2015-06-16 12:57:12] 819*2^1400508-1 is not prime. Res64: FEC5DC21372FD58C Time : 0.0 sec. user=mdettweiler [2015-06-16 12:57:23] 909*2^1400508-1 is not prime. Res64: C57A7ED5B705A2F1 Time : 0.0 sec. user=mdettweiler [2015-06-16 12:57:23] 927*2^1400508-1 is not prime. Res64: 34EAE40E3330A826 Time : 0.0 sec. user=mdettweiler [2015-06-16 12:57:33] 615*2^1400509-1 is not prime. Res64: 591C7E2F8E574088 Time : 0.0 sec. user=mdettweiler [2015-06-16 12:57:33] 681*2^1400509-1 is not prime. Res64: 5DBBF240006C8201 Time : 0.0 sec. user=mdettweiler [2015-06-16 13:00:04] 687*2^1400509-1 is not prime. Res64: B5B1857FF282AC8C Time : 0.0 sec. user=mdettweiler [2015-06-16 13:00:04] 819*2^1400509-1 is not prime. Res64: C8C82170CACD5E80 Time : 0.0 sec. user=mdettweiler [2015-06-16 13:16:27] 861*2^1400510-1 is not prime. Res64: 3B61452F9B0E7569 Time : 0.0 sec. user=mdettweiler [2015-06-16 13:16:27] 921*2^1400510-1 is not prime. Res64: CA2606726E09B480 Time : 0.0 sec. user=mdettweiler [2015-06-16 13:16:41] 635*2^1400510-1 is not prime. Res64: 9886CF37C966F075 Time : 0.0 sec. user=mdettweiler [2015-06-16 13:16:41] 665*2^1400510-1 is not prime. Res64: 73A2B3B77852AC56 Time : 0.0 sec. user=mdettweiler [2015-06-16 13:16:48] 927*2^1400510-1 is not prime. Res64: 3C12925D27F1E8E9 Time : 0.0 sec. user=mdettweiler [2015-06-16 13:16:48] 651*2^1400511-1 is not prime. Res64: A2BA2FB13AF5E279 Time : 0.0 sec. user=mdettweiler [2015-06-16 13:19:08] 769*2^1400511-1 is not prime. Res64: 2BF0599B7CA8A886 Time : 0.0 sec. user=mdettweiler [2015-06-16 13:19:09] 793*2^1400511-1 is not prime. Res64: 1612AC88744A562A Time : 0.0 sec. user=juhehe [2015-06-16 13:28:26] 831*2^1400509-1 is not prime. Res64: 9E03CD718C67728B Time : 0.0 sec. user=mdettweiler [2015-06-16 13:35:29] 605*2^1400512-1 is not prime. Res64: B39EB6B6B78F8F64 Time : 0.0 sec. user=mdettweiler [2015-06-16 13:35:29] 665*2^1400512-1 is not prime. Res64: 00854398833FEEC7 Time : 0.0 sec. user=mdettweiler [2015-06-16 13:35:52] 955*2^1400511-1 is not prime. Res64: D431C647818B6C53 Time : 0.0 sec. user=mdettweiler [2015-06-16 13:35:52] 975*2^1400511-1 is not prime. Res64: AC383CEF4A0A9F5C Time : 0.0 sec. user=mdettweiler [2015-06-16 13:35:53] 713*2^1400512-1 is not prime. Res64: 36B44DF2E8203712 Time : 0.0 sec. user=mdettweiler [2015-06-16 13:35:53] 813*2^1400512-1 is not prime. Res64: 383107841167F85D Time : 0.0 sec. user=mdettweiler [2015-06-16 13:38:08] 819*2^1400512-1 is not prime. Res64: 72AA9B2B0E827F33 Time : 0.0 sec. user=mdettweiler [2015-06-16 13:38:08] 849*2^1400512-1 is not prime. Res64: E7E5F86DA43FD7B9 Time : 0.0 sec. user=mdettweiler [2015-06-16 13:57:47] 769*2^1400513-1 is not prime. Res64: A9A5D1427921A94B Time : 0.0 sec. user=mdettweiler [2015-06-16 13:57:47] 771*2^1400513-1 is not prime. Res64: 17DAA306C54D46CA Time : 0.0 sec. user=mdettweiler [2015-06-16 13:58:16] 787*2^1400513-1 is not prime. Res64: EE0FCF5D27E7D6C3 Time : 0.0 sec. user=mdettweiler [2015-06-16 13:58:16] 885*2^1400513-1 is not prime. Res64: F091654729828FC5 Time : 0.0 sec. user=mdettweiler [2015-06-16 13:58:34] 929*2^1400512-1 is not prime. Res64: 0D01DF96DE0DE8BD Time : 0.0 sec. user=mdettweiler [2015-06-16 13:58:34] 933*2^1400512-1 is not prime. Res64: FD7DDF514AE59890 Time : 0.0 sec. user=mdettweiler [2015-06-16 14:00:00] 967*2^1400513-1 is not prime. Res64: AD4C69B4E4EFD7C6 Time : 0.0 sec. user=mdettweiler [2015-06-16 14:00:00] 711*2^1400514-1 is not prime. Res64: 440FBA989DA9D76A Time : 0.0 sec. user=mdettweiler [2015-06-16 14:19:45] 679*2^1400515-1 is not prime. Res64: 1D1B4DA5A58BE2A3 Time : 0.0 sec. user=mdettweiler [2015-06-16 14:19:46] 741*2^1400515-1 is not prime. Res64: C562A4739EE510D5 Time : 0.0 sec. user=mdettweiler [2015-06-16 14:20:27] 755*2^1400514-1 is not prime. Res64: 33072C89FCF2AE3A Time : 0.0 sec. user=mdettweiler [2015-06-16 14:20:27] 927*2^1400514-1 is not prime. Res64: F99E29AA1B2F254C Time : 0.0 sec. user=mdettweiler [2015-06-16 14:20:42] 947*2^1400514-1 is not prime. Res64: A3BD7972189FBD15 Time : 0.0 sec. user=mdettweiler [2015-06-16 14:20:42] 993*2^1400514-1 is not prime. Res64: 4D9D90BAEA40F91B Time : 0.0 sec. user=mdettweiler [2015-06-16 14:21:09] 771*2^1400515-1 is not prime. Res64: D1277009A2C29F88 Time : 0.0 sec. user=mdettweiler [2015-06-16 14:21:09] 855*2^1400515-1 is not prime. Res64: 5672009DE168DEA7 Time : 0.0 sec. user=mdettweiler [2015-06-16 14:40:53] 919*2^1400515-1 is not prime. Res64: 5DAC119B99F571F4 Time : 0.0 sec. user=mdettweiler [2015-06-16 14:40:53] 951*2^1400515-1 is not prime. Res64: 0A52B57B740462A8 Time : 0.0 sec. user=mdettweiler [2015-06-16 14:41:37] 669*2^1400516-1 is not prime. Res64: E4809D7F1FBDAD52 Time : 0.0 sec. user=mdettweiler [2015-06-16 14:41:38] 693*2^1400516-1 is not prime. Res64: 5F546593DC1A66BA Time : 0.0 sec. user=mdettweiler [2015-06-16 14:42:48] 603*2^1400516-1 is not prime. Res64: EA3BF6A90A331D04 Time : 0.0 sec. user=mdettweiler [2015-06-16 14:42:49] 609*2^1400516-1 is not prime. Res64: C658EF6FB884B16F Time : 0.0 sec. user=mdettweiler [2015-06-16 14:43:07] 813*2^1400516-1 is not prime. Res64: 76CF5A4063E2AC3F Time : 0.0 sec. user=mdettweiler [2015-06-16 14:43:08] 899*2^1400516-1 is not prime. Res64: 127301E6B68AC2ED Time : 0.0 sec. user=mdettweiler [2015-06-16 15:01:11] 963*2^1400516-1 is not prime. Res64: AE67C6B9901E28FC Time : 0.0 sec. user=mdettweiler [2015-06-16 15:01:12] 983*2^1400516-1 is not prime. Res64: 7A2DF5A9DD8CEFA0 Time : 0.0 sec. user=mdettweiler [2015-06-16 15:03:38] 649*2^1400517-1 is not prime. Res64: EDA352D2F3517CE3 Time : 0.0 sec. user=mdettweiler [2015-06-16 15:03:39] 667*2^1400517-1 is not prime. Res64: 8A63967E73B64AA1 Time : 0.0 sec. user=mdettweiler [2015-06-16 15:03:49] 847*2^1400517-1 is not prime. Res64: FA76939547D887FC Time : 0.0 sec. user=mdettweiler [2015-06-16 15:03:50] 919*2^1400517-1 is not prime. Res64: 2AF472A26423D859 Time : 0.0 sec. user=mdettweiler [2015-06-16 15:04:30] 817*2^1400517-1 is not prime. Res64: 8E7695CA18C5AFC2 Time : 0.0 sec. user=mdettweiler [2015-06-16 15:04:32] 837*2^1400517-1 is not prime. Res64: AE94A3517FF0C3A3 Time : 0.0 sec. user=mdettweiler [2015-06-16 15:22:13] 979*2^1400517-1 is not prime. Res64: 28330C0FBE54DD83 Time : 0.0 sec. user=mdettweiler [2015-06-16 15:22:13] 647*2^1400518-1 is not prime. Res64: 003726C89B8DBC1B Time : 0.0 sec. user=mdettweiler [2015-06-16 15:23:09] 951*2^1400518-1 is not prime. Res64: D8E115F829E346BA Time : 0.0 sec. user=mdettweiler [2015-06-16 15:23:09] 655*2^1400519-1 is not prime. Res64: 3DA38F1C5BE251CE Time : 0.0 sec. user=mdettweiler [2015-06-16 15:23:11] 755*2^1400518-1 is not prime. Res64: 09315184D37DD68B Time : 0.0 sec. user=mdettweiler [2015-06-16 15:23:12] 821*2^1400518-1 is not prime. Res64: 10C23BAE44700065 Time : 0.0 sec. user=mdettweiler [2015-06-16 15:25:12] 693*2^1400519-1 is not prime. Res64: CF990A74B8DD1CC5 Time : 0.0 sec. user=mdettweiler [2015-06-16 15:25:12] 843*2^1400519-1 is not prime. Res64: DF50F6C669B66A10 Time : 0.0 sec. user=mdettweiler [2015-06-16 15:44:33] 865*2^1400519-1 is not prime. Res64: BE244DD2A5C97236 Time : 0.0 sec. user=mdettweiler [2015-06-16 15:44:34] 765*2^1400520-1 is not prime. Res64: DF008ED16745C6FA Time : 0.0 sec. user=mdettweiler [2015-06-16 15:45:05] 887*2^1400520-1 is not prime. Res64: 6D63B5BE3DB3B6AB Time : 0.0 sec. user=mdettweiler [2015-06-16 15:45:06] 999*2^1400520-1 is not prime. Res64: D741D268287C38A4 Time : 0.0 sec. user=mdettweiler [2015-06-16 15:45:46] 687*2^1400521-1 is not prime. Res64: 4DE47AE4D9EC7E50 Time : 0.0 sec. user=mdettweiler [2015-06-16 15:45:47] 789*2^1400521-1 is not prime. Res64: 778A7E7A7305DD27 Time : 0.0 sec. user=mdettweiler [2015-06-16 15:48:42] 861*2^1400521-1 is not prime. Res64: 5A8BE61526261962 Time : 0.0 sec. user=mdettweiler [2015-06-16 15:48:42] 671*2^1400522-1 is not prime. Res64: A7EDC5841F9A58D6 Time : 0.0 sec. user=mdettweiler [2015-06-16 16:06:54] 731*2^1400522-1 is not prime. Res64: 3B84C60FA75B38A1 Time : 0.0 sec. user=mdettweiler [2015-06-16 16:06:56] 755*2^1400522-1 is not prime. Res64: C7D85867E5D7B6DE Time : 0.0 sec. user=mdettweiler [2015-06-16 16:06:56] 815*2^1400522-1 is not prime. Res64: 44E5FF8A69A87084 Time : 0.0 sec. user=mdettweiler [2015-06-16 16:06:57] 837*2^1400522-1 is not prime. Res64: 4783BE7DA052F67F Time : 0.0 sec. user=mdettweiler [2015-06-16 16:08:00] 867*2^1400522-1 is not prime. Res64: 0324518A911A7F39 Time : 0.0 sec. user=mdettweiler [2015-06-16 16:08:00] 873*2^1400522-1 is not prime. Res64: 18283A0A42A0258A Time : 0.0 sec. user=mdettweiler [2015-06-16 16:10:58] 915*2^1400522-1 is not prime. Res64: 089E2EA7D782F4A7 Time : 0.0 sec. user=mdettweiler [2015-06-16 16:10:58] 951*2^1400522-1 is not prime. Res64: BB78F704F752E2BB Time : 0.0 sec. user=mdettweiler [2015-06-16 16:26:14] 963*2^1400522-1 is not prime. Res64: 105BFAAC6A72D7CB Time : 0.0 sec. user=mdettweiler [2015-06-16 16:26:14] 613*2^1400523-1 is not prime. Res64: 1AA4BF9B0BD141BA Time : 0.0 sec. user=mdettweiler [2015-06-16 16:26:24] 619*2^1400523-1 is not prime. Res64: 00FB787933685C74 Time : 0.0 sec. user=mdettweiler [2015-06-16 16:26:25] 891*2^1400523-1 is not prime. Res64: 0AFC286AE8D99873 Time : 0.0 sec. user=mdettweiler [2015-06-16 16:27:19] 945*2^1400523-1 is not prime. Res64: D1ECAFD7A546BB4A Time : 0.0 sec. user=mdettweiler [2015-06-16 16:27:19] 951*2^1400523-1 is not prime. Res64: D291E88F62FBD165 Time : 0.0 sec. user=mdettweiler [2015-06-16 16:29:19] 629*2^1400524-1 is not prime. Res64: 05EB0992B1D1801A Time : 0.0 sec. user=mdettweiler [2015-06-16 16:29:19] 695*2^1400524-1 is not prime. Res64: 44BD7F095A500CFC Time : 0.0 sec. user=mdettweiler [2015-06-16 16:43:55] 755*2^1400524-1 is not prime. Res64: B33CB698B8A01A99 Time : 0.0 sec. user=mdettweiler [2015-06-16 16:43:55] 875*2^1400524-1 is not prime. Res64: C4073EA2F364A360 Time : 0.0 sec. user=mdettweiler [2015-06-16 16:44:14] 607*2^1400525-1 is not prime. Res64: 404554F4684C8CC9 Time : 0.0 sec. user=mdettweiler [2015-06-16 16:44:15] 657*2^1400525-1 is not prime. Res64: D7E00C54BF7AEF58 Time : 0.0 sec. user=mdettweiler [2015-06-16 16:44:56] 721*2^1400525-1 is not prime. Res64: 91695D89C9777C56 Time : 0.0 sec. user=mdettweiler [2015-06-16 16:44:56] 735*2^1400525-1 is not prime. Res64: 7FFB5BB8BCE4C451 Time : 0.0 sec. user=mdettweiler [2015-06-16 16:46:58] 741*2^1400525-1 is not prime. Res64: 474B46A16DE38434 Time : 0.0 sec. user=mdettweiler [2015-06-16 16:46:58] 757*2^1400525-1 is not prime. Res64: 60A467B2DA7213B5 Time : 0.0 sec. user=mdettweiler [2015-06-16 17:01:40] 789*2^1400525-1 is not prime. Res64: F137A2B9519D34FC Time : 0.0 sec. user=mdettweiler [2015-06-16 17:01:41] 799*2^1400525-1 is not prime. Res64: 4247E5DF43731EF6 Time : 0.0 sec. user=mdettweiler [2015-06-16 17:01:58] 831*2^1400525-1 is not prime. Res64: 02EC6253BCC8553A Time : 0.0 sec. user=mdettweiler [2015-06-16 17:01:59] 837*2^1400525-1 is not prime. Res64: 2C0B9B95A8AFE06B Time : 0.0 sec. user=mdettweiler [2015-06-16 17:02:35] 907*2^1400525-1 is not prime. Res64: BB0BB2D72FA252CE Time : 0.0 sec. user=mdettweiler [2015-06-16 17:02:36] 683*2^1400526-1 is not prime. Res64: 28D8EF7443280949 Time : 0.0 sec. user=mdettweiler [2015-06-16 17:04:43] 825*2^1400526-1 is not prime. Res64: EAAB4ABC7EBBA28A Time : 0.0 sec. user=mdettweiler [2015-06-16 17:04:44] 891*2^1400526-1 is not prime. Res64: 18D8C6D5D3DBC739 Time : 0.0 sec. user=mdettweiler [2015-06-16 17:19:45] 619*2^1400527-1 is not prime. Res64: 6D040A7FF834D68C Time : 0.0 sec. user=mdettweiler [2015-06-16 17:19:45] 805*2^1400527-1 is not prime. Res64: D8F2F681EE9E2ED0 Time : 0.0 sec. user=mdettweiler [2015-06-16 17:20:06] 925*2^1400527-1 is not prime. Res64: 4CE31456AD114A68 Time : 0.0 sec. user=mdettweiler [2015-06-16 17:20:07] 975*2^1400527-1 is not prime. Res64: 981224133FD7413A Time : 0.0 sec. user=mdettweiler [2015-06-16 17:20:22] 663*2^1400528-1 is not prime. Res64: 0F4EACCF51FE1C64 Time : 0.0 sec. user=mdettweiler [2015-06-16 17:20:22] 669*2^1400528-1 is not prime. Res64: 9D97031929E67A0C Time : 0.0 sec. user=mdettweiler [2015-06-16 17:22:49] 777*2^1400528-1 is not prime. Res64: D03847DEC4FD240D Time : 0.0 sec. user=mdettweiler [2015-06-16 17:22:50] 825*2^1400528-1 is not prime. Res64: CE75C12C44D55658 Time : 0.0 sec. user=mdettweiler [2015-06-16 17:37:54] 923*2^1400528-1 is not prime. Res64: 65F81F37B57707C5 Time : 0.0 sec. user=mdettweiler [2015-06-16 17:37:54] 999*2^1400528-1 is not prime. Res64: 1CF660F44A94607F Time : 0.0 sec. user=mdettweiler [2015-06-16 17:38:24] 657*2^1400529-1 is not prime. Res64: 278393BB1A60AACB Time : 0.0 sec. user=mdettweiler [2015-06-16 17:38:24] 709*2^1400529-1 is not prime. Res64: 7078553329B33C49 Time : 0.0 sec. user=mdettweiler [2015-06-16 17:38:43] 735*2^1400529-1 is not prime. Res64: 2679F0B70904F53D Time : 0.0 sec. user=mdettweiler [2015-06-16 17:38:43] 787*2^1400529-1 is not prime. Res64: 287AF424FA2FFD30 Time : 0.0 sec. user=mdettweiler [2015-06-16 17:41:01] 811*2^1400529-1 is not prime. Res64: B8C7E24CD4C33EFA Time : 0.0 sec. user=mdettweiler [2015-06-16 17:41:02] 909*2^1400529-1 is not prime. Res64: EC9FF7DCD5C7BBBF Time : 0.0 sec. user=mdettweiler [2015-06-16 17:55:59] 975*2^1400529-1 is not prime. Res64: DEA7A91ECD025AC5 Time : 0.0 sec. user=mdettweiler [2015-06-16 17:55:59] 611*2^1400530-1 is not prime. Res64: 640B471C996B2E87 Time : 0.0 sec. user=mdettweiler [2015-06-16 17:56:46] 783*2^1400530-1 is not prime. Res64: 5DA037C610DA6FA3 Time : 0.0 sec. user=mdettweiler [2015-06-16 17:56:46] 885*2^1400530-1 is not prime. Res64: 490F4FC9F4DFC2C1 Time : 0.0 sec. user=mdettweiler [2015-06-16 17:56:54] 687*2^1400530-1 is not prime. Res64: 4CF222282354B707 Time : 0.0 sec. user=mdettweiler [2015-06-16 17:56:55] 717*2^1400530-1 is not prime. Res64: 0D9F2E2D508CC921 Time : 0.0 sec. user=mdettweiler [2015-06-16 17:59:13] 951*2^1400530-1 is not prime. Res64: EC43256070221935 Time : 0.0 sec. user=mdettweiler [2015-06-16 17:59:13] 1001*2^1400530-1 is not prime. Res64: C7070E1772302824 Time : 0.0 sec. user=mdettweiler [2015-06-16 18:14:57] 651*2^1400531-1 is not prime. Res64: F32C6CED5A3D97E1 Time : 0.0 sec. user=mdettweiler [2015-06-16 18:14:57] 735*2^1400531-1 is not prime. Res64: B2C470C116328C0C Time : 0.0 sec. user=mdettweiler [2015-06-16 18:15:37] 841*2^1400531-1 is not prime. Res64: E5F7FAC5EF419B5E Time : 0.0 sec. user=mdettweiler [2015-06-16 18:15:37] 895*2^1400531-1 is not prime. Res64: D3EF3C840F069B4E Time : 0.0 sec. user=mdettweiler [2015-06-16 18:16:03] 741*2^1400531-1 is not prime. Res64: 85D1D87F2C0C96B0 Time : 0.0 sec. user=mdettweiler [2015-06-16 18:16:03] 753*2^1400531-1 is not prime. Res64: C7A907B2AB341286 Time : 0.0 sec. user=mdettweiler [2015-06-16 18:18:11] 955*2^1400531-1 is not prime. Res64: 0EEC40E835E22DF7 Time : 0.0 sec. user=mdettweiler [2015-06-16 18:18:12] 627*2^1400532-1 is not prime. Res64: A843AD826747ECA2 Time : 0.0 sec. user=mdettweiler [2015-06-16 18:32:44] 719*2^1400532-1 is not prime. Res64: 9883D069DFEC30FD Time : 0.0 sec. user=mdettweiler [2015-06-16 18:32:45] 899*2^1400532-1 is not prime. Res64: 51B74243D8FA52FF Time : 0.0 sec. user=mdettweiler [2015-06-16 18:33:18] 945*2^1400532-1 is not prime. Res64: CBA96C1BC3C1E71E Time : 0.0 sec. user=mdettweiler [2015-06-16 18:33:18] 975*2^1400532-1 is not prime. Res64: 26904415A3851430 Time : 0.0 sec. user=mdettweiler [2015-06-16 18:33:40] 727*2^1400533-1 is not prime. Res64: 4CA91CF2C641A542 Time : 0.0 sec. user=mdettweiler [2015-06-16 18:33:40] 729*2^1400533-1 is not prime. Res64: 6226C2AD8ABF6F0B Time : 0.0 sec. user=mdettweiler [2015-06-16 18:35:52] 741*2^1400533-1 is not prime. Res64: 20DD3BEEF097D6D0 Time : 0.0 sec. user=mdettweiler [2015-06-16 18:35:52] 747*2^1400533-1 is not prime. Res64: 2E89B7E3090E9FF3 Time : 0.0 sec. user=mdettweiler [2015-06-16 18:50:22] 801*2^1400533-1 is not prime. Res64: 8C8DDE1679E1DAE1 Time : 0.0 sec. user=mdettweiler [2015-06-16 18:50:23] 831*2^1400533-1 is not prime. Res64: 2BD2E0DDA9500839 Time : 0.0 sec. user=mdettweiler [2015-06-16 18:51:12] 987*2^1400533-1 is not prime. Res64: 45AB302DF96DDBCF Time : 0.0 sec. user=mdettweiler [2015-06-16 18:51:12] 671*2^1400534-1 is not prime. Res64: 99993942CF2E55FA Time : 0.0 sec. user=mdettweiler [2015-06-16 18:51:19] 717*2^1400534-1 is not prime. Res64: 553500BAB1978F93 Time : 0.0 sec. user=mdettweiler [2015-06-16 18:51:19] 795*2^1400534-1 is not prime. Res64: 93F665C9097B3178 Time : 0.0 sec. user=mdettweiler [2015-06-16 18:53:33] 827*2^1400534-1 is not prime. Res64: 6D2E68B7763DB475 Time : 0.0 sec. user=mdettweiler [2015-06-16 18:53:33] 861*2^1400534-1 is not prime. Res64: 25113A702AC95A56 Time : 0.0 sec. user=mdettweiler [2015-06-16 19:08:02] 789*2^1400535-1 is not prime. Res64: 22C7261C0E7C2159 Time : 0.0 sec. user=mdettweiler [2015-06-16 19:08:03] 853*2^1400535-1 is not prime. Res64: 15A3F019A85C283D Time : 0.0 sec. user=mdettweiler [2015-06-16 19:08:53] 707*2^1400536-1 is not prime. Res64: F8C43C5872F05905 Time : 0.0 sec. user=mdettweiler [2015-06-16 19:08:53] 755*2^1400536-1 is not prime. Res64: CF1E1EB3CED05177 Time : 0.0 sec. user=mdettweiler [2015-06-16 19:09:01] 861*2^1400535-1 is not prime. Res64: 51206DC73C7966A9 Time : 0.0 sec. user=mdettweiler [2015-06-16 19:09:01] 913*2^1400535-1 is not prime. Res64: 83C017F6963546FF Time : 0.0 sec. user=mdettweiler [2015-06-16 19:11:10] 785*2^1400536-1 is not prime. Res64: 16B3196E3BBA1111 Time : 0.0 sec. user=mdettweiler [2015-06-16 19:11:10] 843*2^1400536-1 is not prime. Res64: 2B2F3018B1DF2A4F Time : 0.0 sec. user=mdettweiler [2015-06-16 19:25:51] 857*2^1400536-1 is not prime. Res64: 079BBE0DC4D737E5 Time : 0.0 sec. user=mdettweiler [2015-06-16 19:25:51] 983*2^1400536-1 is not prime. Res64: 4AD84F22CD78F6F5 Time : 0.0 sec. user=mdettweiler [2015-06-16 19:26:35] 675*2^1400537-1 is not prime. Res64: 5A020EE91B941295 Time : 0.0 sec. user=mdettweiler [2015-06-16 19:26:36] 685*2^1400537-1 is not prime. Res64: 0C91323640C5644A Time : 0.0 sec. user=mdettweiler [2015-06-16 19:26:40] 771*2^1400537-1 is not prime. Res64: 7868E011D9FBC012 Time : 0.0 sec. user=mdettweiler [2015-06-16 19:26:40] 865*2^1400537-1 is not prime. Res64: B585199096EADD3E Time : 0.0 sec. user=mdettweiler [2015-06-16 19:28:53] 915*2^1400537-1 is not prime. Res64: F24C6A37E7732296 Time : 0.0 sec. user=mdettweiler [2015-06-16 19:28:53] 925*2^1400537-1 is not prime. Res64: 2344EFB4C5E87232 Time : 0.0 sec. user=mdettweiler [2015-06-16 19:43:33] 657*2^1400538-1 is not prime. Res64: 1FFB286E47598947 Time : 0.0 sec. user=mdettweiler [2015-06-16 19:43:33] 777*2^1400538-1 is not prime. Res64: 159710B02FD977D9 Time : 0.0 sec. user=mdettweiler [2015-06-16 19:44:14] 923*2^1400538-1 is not prime. Res64: 0D5437B0C676FD6F Time : 0.0 sec. user=mdettweiler [2015-06-16 19:44:14] 645*2^1400539-1 is not prime. Res64: E207B2AFBF0CC108 Time : 0.0 sec. user=mdettweiler [2015-06-16 19:44:27] 725*2^1400540-1 is not prime. Res64: A81E157290C02791 Time : 0.0 sec. user=mdettweiler [2015-06-16 19:44:27] 767*2^1400540-1 is not prime. Res64: B6969C9CA92C7120 Time : 0.0 sec. user=mdettweiler [2015-06-16 19:46:37] 789*2^1400540-1 is not prime. Res64: B5A7535A565B396F Time : 0.0 sec. user=mdettweiler [2015-06-16 19:46:37] 843*2^1400540-1 is not prime. Res64: 2E099BF620D25820 Time : 0.0 sec. user=mdettweiler [2015-06-16 20:01:14] 875*2^1400540-1 is not prime. Res64: 397A58678311CFA3 Time : 0.0 sec. user=mdettweiler [2015-06-16 20:01:14] 927*2^1400540-1 is not prime. Res64: 3E88C88D1CBD1436 Time : 0.0 sec. user=mdettweiler [2015-06-16 20:01:48] 929*2^1400540-1 is not prime. Res64: CDF3784552E034E4 Time : 0.0 sec. user=mdettweiler [2015-06-16 20:01:48] 995*2^1400540-1 is not prime. Res64: E83F3B72AA17C31B Time : 0.0 sec. user=mdettweiler [2015-06-16 20:02:04] 651*2^1400541-1 is not prime. Res64: CB328CAD1746A928 Time : 0.0 sec. user=mdettweiler [2015-06-16 20:02:04] 735*2^1400541-1 is not prime. Res64: 83F5AB223726DC47 Time : 0.0 sec. user=mdettweiler [2015-06-16 20:04:26] 847*2^1400541-1 is not prime. Res64: A8710E1823D4C626 Time : 0.0 sec. user=mdettweiler [2015-06-16 20:04:27] 865*2^1400541-1 is not prime. Res64: 10404DE218E1C784 Time : 0.0 sec. user=mdettweiler [2015-06-16 20:20:08] 907*2^1400541-1 is not prime. Res64: 094B0EE069E1D7AC Time : 0.0 sec. user=mdettweiler [2015-06-16 20:20:09] 927*2^1400541-1 is not prime. Res64: 3CB97E33305B36B6 Time : 0.0 sec. user=mdettweiler [2015-06-16 20:20:33] 969*2^1400541-1 is not prime. Res64: 8A353B8C2864CCDC Time : 0.0 sec. user=mdettweiler [2015-06-16 20:20:33] 975*2^1400541-1 is not prime. Res64: 24F62D15064058DD Time : 0.0 sec. user=mdettweiler [2015-06-16 20:21:02] 681*2^1400542-1 is not prime. Res64: 58F2FBC89D04E3C1 Time : 0.0 sec. user=mdettweiler [2015-06-16 20:21:02] 843*2^1400542-1 is not prime. Res64: 19E78D020D00C8BD Time : 0.0 sec. user=mdettweiler [2015-06-16 20:23:31] 881*2^1400542-1 is not prime. Res64: F26A4DA39276680B Time : 0.0 sec. user=mdettweiler [2015-06-16 20:23:31] 923*2^1400542-1 is not prime. Res64: 69E2AB1951E82D9A Time : 0.0 sec. user=mdettweiler [2015-06-16 20:38:30] 983*2^1400542-1 is not prime. Res64: A65ACD9EEF81F112 Time : 0.0 sec. user=mdettweiler [2015-06-16 20:38:31] 721*2^1400543-1 is not prime. Res64: 4B0FFAB648DB165D Time : 0.0 sec. user=mdettweiler [2015-06-16 20:38:55] 753*2^1400543-1 is not prime. Res64: 1BAE7C97BBD8B136 Time : 0.0 sec. user=mdettweiler [2015-06-16 20:38:56] 759*2^1400543-1 is not prime. Res64: BB0694189DB266E3 Time : 0.0 sec. user=mdettweiler [2015-06-16 20:39:25] 811*2^1400543-1 is not prime. Res64: AAA11499933D211D Time : 0.0 sec. user=mdettweiler [2015-06-16 20:39:25] 871*2^1400543-1 is not prime. Res64: 885A51692CEF1C81 Time : 0.0 sec. user=mdettweiler [2015-06-16 20:41:42] 885*2^1400543-1 is not prime. Res64: FD0856072622BDC1 Time : 0.0 sec. user=mdettweiler [2015-06-16 20:41:42] 889*2^1400543-1 is not prime. Res64: A89A93A9359EE4AE Time : 0.0 sec. user=mdettweiler [2015-06-16 20:58:39] 615*2^1400544-1 is not prime. Res64: A0942E8333F97076 Time : 0.0 sec. user=mdettweiler [2015-06-16 20:58:39] 753*2^1400544-1 is not prime. Res64: 085E0890B3D5BCBE Time : 0.0 sec. user=mdettweiler [2015-06-16 20:58:49] 767*2^1400544-1 is not prime. Res64: D408D9FA12D3A0BE Time : 0.0 sec. user=mdettweiler [2015-06-16 20:58:49] 795*2^1400544-1 is not prime. Res64: 3BB99F7F8DA44840 Time : 0.0 sec. user=mdettweiler [2015-06-16 20:59:35] 809*2^1400544-1 is not prime. Res64: DD9650CC6430173C Time : 0.0 sec. user=mdettweiler [2015-06-16 20:59:35] 905*2^1400544-1 is not prime. Res64: 1EAE7E2CB846F952 Time : 0.0 sec. user=mdettweiler [2015-06-16 21:02:00] 909*2^1400544-1 is not prime. Res64: 9C83FD72DD90640C Time : 0.0 sec. user=mdettweiler [2015-06-16 21:02:01] 841*2^1400545-1 is not prime. Res64: 9CCE0A1B9B1DC899 Time : 0.0 sec. user=mdettweiler [2015-06-16 21:18:26] 957*2^1400545-1 is not prime. Res64: 121FADD24CC61A1B Time : 0.0 sec. user=mdettweiler [2015-06-16 21:18:27] 997*2^1400545-1 is not prime. Res64: C722C36C9EE10421 Time : 0.0 sec. user=mdettweiler [2015-06-16 21:18:34] 847*2^1400545-1 is not prime. Res64: 634E5DE4910D50D7 Time : 0.0 sec. user=mdettweiler [2015-06-16 21:18:35] 909*2^1400545-1 is not prime. Res64: 3E583174D4E31A0C Time : 0.0 sec. user=mdettweiler [2015-06-16 21:19:26] 645*2^1400546-1 is not prime. Res64: BF339CEA418DE4D0 Time : 0.0 sec. user=mdettweiler [2015-06-16 21:19:26] 717*2^1400546-1 is not prime. Res64: 912D14564B807F0C Time : 0.0 sec. user=mdettweiler [2015-06-16 21:21:48] 867*2^1400546-1 is not prime. Res64: FE4096DD25421C58 Time : 0.0 sec. user=mdettweiler [2015-06-16 21:21:49] 987*2^1400546-1 is not prime. Res64: 5727CA14B10CAE62 Time : 0.0 sec. user=mdettweiler [2015-06-16 21:36:50] 633*2^1400547-1 is not prime. Res64: A237244011E9D320 Time : 0.0 sec. user=mdettweiler [2015-06-16 21:36:51] 651*2^1400547-1 is not prime. Res64: 933DEA98F3C90382 Time : 0.0 sec. user=mdettweiler [2015-06-16 21:36:54] 765*2^1400547-1 is not prime. Res64: 3D9FDD71370B8495 Time : 0.0 sec. user=mdettweiler [2015-06-16 21:36:55] 801*2^1400547-1 is not prime. Res64: B64AAFC51F2B9C35 Time : 0.0 sec. user=mdettweiler [2015-06-16 21:37:57] 859*2^1400547-1 is not prime. Res64: 36EC5C0FAD56E21C Time : 0.0 sec. user=mdettweiler [2015-06-16 21:37:58] 885*2^1400547-1 is not prime. Res64: CA0C081CAF006181 Time : 0.0 sec. user=mdettweiler [2015-06-16 21:40:07] 615*2^1400548-1 is not prime. Res64: 45BD6CECC1EF162C Time : 0.0 sec. user=mdettweiler [2015-06-16 21:40:07] 777*2^1400548-1 is not prime. Res64: 390648B359530599 Time : 0.0 sec. user=mdettweiler [2015-06-16 21:56:15] 789*2^1400549-1 is not prime. Res64: E82104FC883BD6FE Time : 0.0 sec. user=mdettweiler [2015-06-16 21:56:15] 847*2^1400549-1 is not prime. Res64: 38F527EBDFCB3159 Time : 0.0 sec. user=mdettweiler [2015-06-16 21:56:19] 619*2^1400549-1 is not prime. Res64: 1E7648FE220F5200 Time : 0.0 sec. user=mdettweiler [2015-06-16 21:56:19] 745*2^1400549-1 is not prime. Res64: AAA6023F0E3FE69B Time : 0.0 sec. user=mdettweiler [2015-06-16 21:57:21] 861*2^1400549-1 is not prime. Res64: 07D3FC0948CCCD79 Time : 0.0 sec. user=mdettweiler [2015-06-16 21:57:22] 897*2^1400549-1 is not prime. Res64: 579DCD4A8E4352F2 Time : 0.0 sec. user=mdettweiler [2015-06-16 21:59:51] 985*2^1400549-1 is not prime. Res64: 04B244F2BFD93465 Time : 0.0 sec. user=mdettweiler [2015-06-16 21:59:51] 615*2^1400550-1 is not prime. Res64: 45E9560F1944D99E Time : 0.0 sec. user=mdettweiler [2015-06-16 22:16:40] 627*2^1400550-1 is not prime. Res64: 42A0BC40E7318B24 Time : 0.0 sec. user=mdettweiler [2015-06-16 22:16:40] 641*2^1400550-1 is not prime. Res64: 85A54E88443201CB Time : 0.0 sec. user=mdettweiler [2015-06-16 22:16:58] 717*2^1400550-1 is not prime. Res64: B9045282E61BCD64 Time : 0.0 sec. user=mdettweiler [2015-06-16 22:16:59] 747*2^1400550-1 is not prime. Res64: 5B7E3478DCE0D018 Time : 0.0 sec. user=mdettweiler [2015-06-16 22:18:02] 755*2^1400550-1 is not prime. Res64: 75358B9DE6B53278 Time : 0.0 sec. user=mdettweiler [2015-06-16 22:18:03] 783*2^1400550-1 is not prime. Res64: 7B66ECB1A0EC409D Time : 0.0 sec. user=mdettweiler [2015-06-16 22:20:41] 791*2^1400550-1 is not prime. Res64: 7F78BE27D807D47C Time : 0.0 sec. user=mdettweiler [2015-06-16 22:20:42] 867*2^1400550-1 is not prime. Res64: 4CEB1955DB16A12C Time : 0.0 sec. user=mdettweiler [2015-06-16 22:37:10] 917*2^1400550-1 is not prime. Res64: 3F9643DAF74BD0F7 Time : 0.0 sec. user=mdettweiler [2015-06-16 22:37:11] 621*2^1400551-1 is not prime. Res64: 5FEF8FB04A936B50 Time : 0.0 sec. user=mdettweiler [2015-06-16 22:37:49] 651*2^1400551-1 is not prime. Res64: FF2012BB85B0A373 Time : 0.0 sec. user=mdettweiler [2015-06-16 22:37:49] 759*2^1400551-1 is not prime. Res64: DA8003E977E5CC88 Time : 0.0 sec. user=mdettweiler [2015-06-16 22:38:37] 771*2^1400551-1 is not prime. Res64: 8A002C2E579DE83C Time : 0.0 sec. user=mdettweiler [2015-06-16 22:38:37] 783*2^1400551-1 is not prime. Res64: FF78C4B68613791A Time : 0.0 sec. user=mdettweiler [2015-06-16 22:41:30] 789*2^1400551-1 is not prime. Res64: A1EA69979A04FD59 Time : 0.0 sec. user=mdettweiler [2015-06-16 22:41:30] 841*2^1400551-1 is not prime. Res64: D1A41D805A39AEFE Time : 0.0 sec. user=mdettweiler [2015-06-16 22:55:41] 885*2^1400551-1 is not prime. Res64: 1680A1EF06083D05 Time : 0.0 sec. user=mdettweiler [2015-06-16 22:55:42] 913*2^1400551-1 is not prime. Res64: B679EB0522D2B89B Time : 0.0 sec. user=mdettweiler [2015-06-16 22:56:02] 925*2^1400551-1 is not prime. Res64: 43A69683AA718E59 Time : 0.0 sec. user=mdettweiler [2015-06-16 22:56:02] 975*2^1400551-1 is not prime. Res64: E6B31D1DF0E44235 Time : 0.0 sec. user=mdettweiler [2015-06-16 22:56:57] 979*2^1400551-1 is not prime. Res64: 03145D2DEAA773A3 Time : 0.0 sec. user=mdettweiler [2015-06-16 22:56:57] 689*2^1400552-1 is not prime. Res64: CB51E6A2E879F2BC Time : 0.0 sec. user=mdettweiler [2015-06-16 22:59:13] 785*2^1400552-1 is not prime. Res64: A95552240A5B6BEE Time : 0.0 sec. user=mdettweiler [2015-06-16 22:59:13] 819*2^1400552-1 is not prime. Res64: 311693D992290674 Time : 0.0 sec. user=mdettweiler [2015-06-16 23:13:39] 957*2^1400552-1 is not prime. Res64: E7F79FC1595D661F Time : 0.0 sec. user=mdettweiler [2015-06-16 23:13:40] 637*2^1400553-1 is not prime. Res64: DAF412A08BCFB140 Time : 0.0 sec. user=mdettweiler [2015-06-16 23:14:14] 639*2^1400553-1 is not prime. Res64: E29C69656EDD9C81 Time : 0.0 sec. user=mdettweiler [2015-06-16 23:14:14] 705*2^1400553-1 is not prime. Res64: 0251FCC029D9CBFD Time : 0.0 sec. user=mdettweiler [2015-06-16 23:15:02] 727*2^1400553-1 is not prime. Res64: F10088C063078B0A Time : 0.0 sec. user=mdettweiler [2015-06-16 23:15:02] 789*2^1400553-1 is not prime. Res64: 98913045CDBBC320 Time : 0.0 sec. user=mdettweiler [2015-06-16 23:17:13] 805*2^1400553-1 is not prime. Res64: E1D6E704D7A50DBB Time : 0.0 sec. user=mdettweiler [2015-06-16 23:17:13] 895*2^1400553-1 is not prime. Res64: DB52D1B9A399A01C Time : 0.0 sec. user=mdettweiler [2015-06-16 23:31:56] 677*2^1400554-1 is not prime. Res64: 1CA403417F089C10 Time : 0.0 sec. user=mdettweiler [2015-06-16 23:31:57] 687*2^1400554-1 is not prime. Res64: 0FA3ADDADC21E73B Time : 0.0 sec. user=mdettweiler [2015-06-16 23:32:39] 813*2^1400554-1 is not prime. Res64: 751A2EE0C7056194 Time : 0.0 sec. user=mdettweiler [2015-06-16 23:32:40] 857*2^1400554-1 is not prime. Res64: CC08D116D1EEB3DA Time : 0.0 sec. user=mdettweiler [2015-06-16 23:33:23] 941*2^1400554-1 is not prime. Res64: C0C9A85A362954B3 Time : 0.0 sec. user=mdettweiler [2015-06-16 23:33:23] 619*2^1400555-1 is not prime. Res64: 1DADA5AC4DE8658C Time : 0.0 sec. user=mdettweiler [2015-06-16 23:35:41] 685*2^1400555-1 is not prime. Res64: 03B9795ECEB7D159 Time : 0.0 sec. user=mdettweiler [2015-06-16 23:35:41] 705*2^1400555-1 is not prime. Res64: 94DDE00FE0E439C2 Time : 0.0 sec. user=mdettweiler [2015-06-16 23:51:57] 715*2^1400555-1 is not prime. Res64: 8767CADC9DE3AE4F Time : 0.0 sec. user=mdettweiler [2015-06-16 23:51:57] 741*2^1400555-1 is not prime. Res64: C44F764FBC30FE45 Time : 0.0 sec. user=mdettweiler [2015-06-16 23:53:22] 781*2^1400555-1 is not prime. Res64: 0C107BD324CC7FE6 Time : 0.0 sec. user=mdettweiler [2015-06-16 23:53:23] 843*2^1400555-1 is not prime. Res64: FBA3E67200347780 Time : 0.0 sec. user=mdettweiler [2015-06-16 23:53:48] 859*2^1400555-1 is not prime. Res64: 225A57F5603F0EB1 Time : 0.0 sec. user=mdettweiler [2015-06-16 23:53:48] 889*2^1400555-1 is not prime. Res64: B9E4A43F2CDEFFAE Time : 0.0 sec. user=mdettweiler [2015-06-16 23:56:10] 913*2^1400555-1 is not prime. Res64: 8FF6A8E7D1FC5B0F Time : 0.0 sec. user=mdettweiler [2015-06-16 23:56:10] 981*2^1400555-1 is not prime. Res64: B9FE68A0A382273F Time : 0.0 sec.