user=mdettweiler [2015-12-15 00:03:31] 867*2^1417501-1 is not prime. Res64: A13922571A28AE93 Time : 0.0 sec. user=mdettweiler [2015-12-15 00:03:31] 895*2^1417501-1 is not prime. Res64: DA2284BB20CB6416 Time : 0.0 sec. user=mdettweiler [2015-12-15 00:10:17] 955*2^1417501-1 is not prime. Res64: BA97E29533FC1AEF Time : 0.0 sec. user=mdettweiler [2015-12-15 00:10:18] 665*2^1417502-1 is not prime. Res64: D8BD31013CD488E0 Time : 0.0 sec. user=mdettweiler [2015-12-15 00:21:08] 743*2^1417502-1 is not prime. Res64: 50CF37CC70AFFA24 Time : 0.0 sec. user=mdettweiler [2015-12-15 00:21:08] 753*2^1417502-1 is not prime. Res64: 1F940E6C00FF5104 Time : 0.0 sec. user=mdettweiler [2015-12-15 00:27:49] 831*2^1417502-1 is not prime. Res64: 7F1C51AE036C506B Time : 0.0 sec. user=mdettweiler [2015-12-15 00:27:49] 867*2^1417502-1 is not prime. Res64: CE81479730938154 Time : 0.0 sec. user=mdettweiler [2015-12-15 00:38:35] 915*2^1417502-1 is not prime. Res64: CB814C1D770969D8 Time : 0.0 sec. user=mdettweiler [2015-12-15 00:38:36] 751*2^1417503-1 is not prime. Res64: 6597940EE68F628A Time : 0.0 sec. user=mdettweiler [2015-12-15 00:45:15] 805*2^1417503-1 is not prime. Res64: 9162F4549ACE6CBB Time : 0.0 sec. user=mdettweiler [2015-12-15 00:45:16] 949*2^1417503-1 is not prime. Res64: DC99A1DE4ED98C6B Time : 0.0 sec. user=mdettweiler [2015-12-15 00:56:02] 759*2^1417504-1 is not prime. Res64: 6B6706071F2CC7F9 Time : 0.0 sec. user=mdettweiler [2015-12-15 00:56:02] 825*2^1417504-1 is not prime. Res64: C57D849538B4AD7A Time : 0.0 sec. user=mdettweiler [2015-12-15 01:02:42] 905*2^1417504-1 is not prime. Res64: D97C439E9076DAE8 Time : 0.0 sec. user=mdettweiler [2015-12-15 01:02:43] 711*2^1417505-1 is not prime. Res64: 766D0029A37B5087 Time : 0.0 sec. user=mdettweiler [2015-12-15 01:13:29] 717*2^1417505-1 is not prime. Res64: F9FADCADED15AE5E Time : 0.0 sec. user=mdettweiler [2015-12-15 01:13:30] 831*2^1417505-1 is not prime. Res64: 410DBEB46EE6082A Time : 0.0 sec. user=mdettweiler [2015-12-15 01:20:10] 871*2^1417505-1 is not prime. Res64: 5C72F246359751B8 Time : 0.0 sec. user=mdettweiler [2015-12-15 01:20:10] 653*2^1417506-1 is not prime. Res64: EA97E9D5336C0039 Time : 0.0 sec. user=mdettweiler [2015-12-15 01:30:57] 711*2^1417506-1 is not prime. Res64: 22F8DE73E5D60A4F Time : 0.0 sec. user=mdettweiler [2015-12-15 01:30:59] 851*2^1417506-1 is not prime. Res64: 96CD55D092035E6A Time : 0.0 sec. user=mdettweiler [2015-12-15 01:37:37] 975*2^1417506-1 is not prime. Res64: D2D821A42C203D56 Time : 0.0 sec. user=mdettweiler [2015-12-15 01:37:38] 1001*2^1417506-1 is not prime. Res64: E4711F989697C938 Time : 0.0 sec. user=mdettweiler [2015-12-15 01:48:33] 793*2^1417507-1 is not prime. Res64: 719355FC3822CD02 Time : 0.0 sec. user=mdettweiler [2015-12-15 01:48:34] 873*2^1417507-1 is not prime. Res64: 5434F05623DEA73E Time : 0.0 sec. user=mdettweiler [2015-12-15 01:55:07] 919*2^1417507-1 is not prime. Res64: 553E530917811A65 Time : 0.0 sec. user=mdettweiler [2015-12-15 01:55:08] 925*2^1417507-1 is not prime. Res64: A354892038949412 Time : 0.0 sec. user=mdettweiler [2015-12-15 02:06:02] 689*2^1417508-1 is not prime. Res64: 7AD1F4047CA3306E Time : 0.0 sec. user=mdettweiler [2015-12-15 02:06:03] 735*2^1417508-1 is not prime. Res64: 2391858A41D17E7B Time : 0.0 sec. user=mdettweiler [2015-12-15 02:12:37] 759*2^1417508-1 is not prime. Res64: 23470BE387C798D6 Time : 0.0 sec. user=mdettweiler [2015-12-15 02:12:39] 869*2^1417508-1 is not prime. Res64: 417C30B407A4795F Time : 0.0 sec. user=mdettweiler [2015-12-15 02:23:34] 923*2^1417508-1 is not prime. Res64: B9A2941D59ADED06 Time : 0.0 sec. user=mdettweiler [2015-12-15 02:23:35] 977*2^1417508-1 is not prime. Res64: 8CFDDDA450F19121 Time : 0.0 sec. user=mdettweiler [2015-12-15 02:30:17] 675*2^1417509-1 is not prime. Res64: E218F3DBCFABEB66 Time : 0.0 sec. user=mdettweiler [2015-12-15 02:30:19] 681*2^1417509-1 is not prime. Res64: F141773C1F698538 Time : 0.0 sec. user=mdettweiler [2015-12-15 02:41:07] 741*2^1417509-1 is not prime. Res64: 2DD1A459CDE8E6D2 Time : 0.0 sec. user=mdettweiler [2015-12-15 02:41:08] 745*2^1417509-1 is not prime. Res64: B4FD64F4C3FA3B7B Time : 0.0 sec. user=mdettweiler [2015-12-15 02:48:01] 765*2^1417509-1 is not prime. Res64: 87BB8F7DC0640D54 Time : 0.0 sec. user=mdettweiler [2015-12-15 02:48:02] 997*2^1417509-1 is not prime. Res64: D99188E81FBB1195 Time : 0.0 sec. user=mdettweiler [2015-12-15 02:58:41] 605*2^1417510-1 is not prime. Res64: BB1CACA91AD85E75 Time : 0.0 sec. user=mdettweiler [2015-12-15 02:58:42] 647*2^1417510-1 is not prime. Res64: 225F0DC9659C7051 Time : 0.0 sec. user=mdettweiler [2015-12-15 03:05:39] 677*2^1417510-1 is not prime. Res64: B5253C7DB2EA4A72 Time : 0.0 sec. user=mdettweiler [2015-12-15 03:05:41] 681*2^1417510-1 is not prime. Res64: B1F3F6E2D47E6283 Time : 0.0 sec. user=mdettweiler [2015-12-15 03:16:14] 707*2^1417510-1 is not prime. Res64: 2263387F09601A5B Time : 0.0 sec. user=mdettweiler [2015-12-15 03:16:15] 857*2^1417510-1 is not prime. Res64: 46B6EBEE3C76A5A1 Time : 0.0 sec. user=mdettweiler [2015-12-15 03:23:17] 887*2^1417510-1 is not prime. Res64: 3B65F0FDD88B2B7D Time : 0.0 sec. user=mdettweiler [2015-12-15 03:23:18] 981*2^1417510-1 is not prime. Res64: 3180A46666FFB31D Time : 0.0 sec. user=mdettweiler [2015-12-15 03:33:50] 609*2^1417511-1 is not prime. Res64: D32672A374416EDB Time : 0.0 sec. user=mdettweiler [2015-12-15 03:33:51] 619*2^1417511-1 is not prime. Res64: A358D52FDD8EE1CB Time : 0.0 sec. user=mdettweiler [2015-12-15 03:40:51] 663*2^1417511-1 is not prime. Res64: 3148E8345A52B265 Time : 0.0 sec. user=mdettweiler [2015-12-15 03:41:00] 735*2^1417511-1 is not prime. Res64: CEBB9B51E3E80A79 Time : 0.0 sec. user=mdettweiler [2015-12-15 03:51:32] 811*2^1417511-1 is not prime. Res64: 1A255EB21A31134C Time : 0.0 sec. user=mdettweiler [2015-12-15 03:51:36] 901*2^1417511-1 is not prime. Res64: 54A8C1BD6F6FFE0C Time : 0.0 sec. user=mdettweiler [2015-12-15 03:58:49] 943*2^1417511-1 is not prime. Res64: A4039571702CA340 Time : 0.0 sec. user=mdettweiler [2015-12-15 03:58:51] 609*2^1417512-1 is not prime. Res64: A90A6283F662F7B6 Time : 0.0 sec. user=mdettweiler [2015-12-15 04:09:27] 657*2^1417512-1 is not prime. Res64: B924A05B0785614C Time : 0.0 sec. user=mdettweiler [2015-12-15 04:09:28] 665*2^1417512-1 is not prime. Res64: AF1DF0FE63467B0B Time : 0.0 sec. user=mdettweiler [2015-12-15 04:16:28] 797*2^1417512-1 is not prime. Res64: B771332F001C9C87 Time : 0.0 sec. user=mdettweiler [2015-12-15 04:16:29] 803*2^1417512-1 is not prime. Res64: 12E75C4A5B462571 Time : 0.0 sec. user=mdettweiler [2015-12-15 04:27:04] 857*2^1417512-1 is not prime. Res64: 4C071A3B29056276 Time : 0.0 sec. user=mdettweiler [2015-12-15 04:27:05] 765*2^1417513-1 is not prime. Res64: 6EB2AC1466F0A327 Time : 0.0 sec. user=mdettweiler [2015-12-15 04:34:03] 775*2^1417513-1 is not prime. Res64: 4DDB55D71F92EABB Time : 0.0 sec. user=mdettweiler [2015-12-15 04:34:04] 801*2^1417513-1 is not prime. Res64: 590D617AE31F0891 Time : 0.0 sec. user=mdettweiler [2015-12-15 04:44:41] 915*2^1417513-1 is not prime. Res64: A54870B5FFE24B4C Time : 0.0 sec. user=mdettweiler [2015-12-15 04:44:42] 945*2^1417513-1 is not prime. Res64: 8980A5177894ADBF Time : 0.0 sec. user=mdettweiler [2015-12-15 04:51:38] 617*2^1417514-1 is not prime. Res64: 187E9EB51CAD30DB Time : 0.0 sec. user=mdettweiler [2015-12-15 04:51:39] 645*2^1417514-1 is not prime. Res64: A483AB3A5180798D Time : 0.0 sec. user=mdettweiler [2015-12-15 05:02:20] 657*2^1417514-1 is not prime. Res64: CBD569D8BEE94FA6 Time : 0.0 sec. user=mdettweiler [2015-12-15 05:02:22] 731*2^1417514-1 is not prime. Res64: CBB33769107E498E Time : 0.0 sec. user=mdettweiler [2015-12-15 05:09:18] 837*2^1417514-1 is not prime. Res64: B9D64696EB66A5F5 Time : 0.0 sec. user=mdettweiler [2015-12-15 05:09:20] 921*2^1417514-1 is not prime. Res64: 01457E8112BDDB4F Time : 0.0 sec. user=mdettweiler [2015-12-15 05:20:05] 923*2^1417514-1 is not prime. Res64: 1F88EB62318981CC Time : 0.0 sec. user=mdettweiler [2015-12-15 05:20:06] 609*2^1417515-1 is not prime. Res64: 3B77D5ACA3AC62CE Time : 0.0 sec. user=mdettweiler [2015-12-15 05:26:55] 823*2^1417515-1 is not prime. Res64: 7336B4DBF934E839 Time : 0.0 sec. user=mdettweiler [2015-12-15 05:26:56] 861*2^1417515-1 is not prime. Res64: 497AAF283824F245 Time : 0.0 sec. user=mdettweiler [2015-12-15 05:37:37] 873*2^1417515-1 is not prime. Res64: ACE85E12CE5B06A8 Time : 0.0 sec. user=mdettweiler [2015-12-15 05:37:38] 647*2^1417516-1 is not prime. Res64: 6BDF3563A394DDCA Time : 0.0 sec. user=mdettweiler [2015-12-15 05:44:34] 987*2^1417516-1 is not prime. Res64: B1FE415A9D4EB779 Time : 0.0 sec. user=mdettweiler [2015-12-15 05:44:35] 615*2^1417517-1 is not prime. Res64: AFD375E54E2099D4 Time : 0.0 sec. user=mdettweiler [2015-12-15 05:55:12] 631*2^1417517-1 is not prime. Res64: 577859876B25439A Time : 0.0 sec. user=mdettweiler [2015-12-15 05:55:13] 645*2^1417517-1 is not prime. Res64: 10642B43B92A9ECA Time : 0.0 sec. user=mdettweiler [2015-12-15 06:02:09] 829*2^1417517-1 is not prime. Res64: E0927E3FE9390ED7 Time : 0.0 sec. user=mdettweiler [2015-12-15 06:02:10] 837*2^1417517-1 is not prime. Res64: 3864103F98395606 Time : 0.0 sec. user=mdettweiler [2015-12-15 06:12:53] 867*2^1417517-1 is not prime. Res64: 51C7B1AE2285BD53 Time : 0.0 sec. user=mdettweiler [2015-12-15 06:12:55] 871*2^1417517-1 is not prime. Res64: 280093A7BE1ACCAA Time : 0.0 sec. user=mdettweiler [2015-12-15 06:19:53] 955*2^1417517-1 is not prime. Res64: 994B6B86B60B6BE1 Time : 0.0 sec. user=mdettweiler [2015-12-15 06:19:54] 967*2^1417517-1 is not prime. Res64: 8A7140552302EC6E Time : 0.0 sec. user=mdettweiler [2015-12-15 06:30:35] 641*2^1417518-1 is not prime. Res64: AC587B0FE0F43590 Time : 0.0 sec. user=mdettweiler [2015-12-15 06:30:36] 671*2^1417518-1 is not prime. Res64: BB5EF72265D1F3CE Time : 0.0 sec. user=mdettweiler [2015-12-15 06:37:33] 755*2^1417518-1 is not prime. Res64: 5B47A9C451AA094B Time : 0.0 sec. user=mdettweiler [2015-12-15 06:37:34] 765*2^1417518-1 is not prime. Res64: 5D00FDB711CEC070 Time : 0.0 sec. user=mdettweiler [2015-12-15 06:48:11] 825*2^1417518-1 is not prime. Res64: D8478D8C8F3C8925 Time : 0.0 sec. user=mdettweiler [2015-12-15 06:48:11] 861*2^1417518-1 is not prime. Res64: 5CF5383F5A083DFD Time : 0.0 sec. user=mdettweiler [2015-12-15 06:55:08] 679*2^1417519-1 is not prime. Res64: CC10FDD347606D79 Time : 0.0 sec. user=mdettweiler [2015-12-15 06:55:09] 685*2^1417519-1 is not prime. Res64: 42F92CAAD3D17163 Time : 0.0 sec. user=mdettweiler [2015-12-15 07:05:44] 729*2^1417519-1 is not prime. Res64: BF9600CC1904CAED Time : 0.0 sec. user=mdettweiler [2015-12-15 07:05:46] 853*2^1417519-1 is not prime. Res64: 453B0995006D62E5 Time : 0.0 sec. user=mdettweiler [2015-12-15 07:12:45] 663*2^1417520-1 is not prime. Res64: A4360F06C48AE3AA Time : 0.0 sec. user=mdettweiler [2015-12-15 07:12:46] 735*2^1417520-1 is not prime. Res64: 3B126B8F510775BC Time : 0.0 sec. user=mdettweiler [2015-12-15 07:23:18] 935*2^1417520-1 is not prime. Res64: 69F86B71055B2174 Time : 0.0 sec. user=mdettweiler [2015-12-15 07:23:19] 977*2^1417520-1 is not prime. Res64: DC1FB1E724ABCB4D Time : 0.0 sec. user=mdettweiler [2015-12-15 07:30:20] 669*2^1417521-1 is not prime. Res64: AD0664ED3E97E744 Time : 0.0 sec. user=mdettweiler [2015-12-15 07:30:21] 705*2^1417521-1 is not prime. Res64: 1F1C8218B5AB7081 Time : 0.0 sec. user=mdettweiler [2015-12-15 07:40:50] 709*2^1417521-1 is not prime. Res64: 99FD35F55705A062 Time : 0.0 sec. user=mdettweiler [2015-12-15 07:40:51] 711*2^1417521-1 is not prime. Res64: 299131F0947822D4 Time : 0.0 sec. user=mdettweiler [2015-12-15 07:47:54] 811*2^1417521-1 is not prime. Res64: 587A4CA7A0A79259 Time : 0.0 sec. user=mdettweiler [2015-12-15 07:47:55] 865*2^1417521-1 is not prime. Res64: 2A978FB57E4757F2 Time : 0.0 sec. user=mdettweiler [2015-12-15 07:58:23] 895*2^1417521-1 is not prime. Res64: DF6D5DC445E7211E Time : 0.0 sec. user=mdettweiler [2015-12-15 07:58:25] 907*2^1417521-1 is not prime. Res64: BFFFBFFC366130BE Time : 0.0 sec. user=mdettweiler [2015-12-15 08:05:30] 657*2^1417522-1 is not prime. Res64: E0A021EC1306409B Time : 0.0 sec. user=mdettweiler [2015-12-15 08:05:33] 695*2^1417522-1 is not prime. Res64: 5A8B396E446D1103 Time : 0.0 sec. user=mdettweiler [2015-12-15 08:15:56] 833*2^1417522-1 is not prime. Res64: 76F06F38E234EBFD Time : 0.0 sec. user=mdettweiler [2015-12-15 08:15:57] 857*2^1417522-1 is not prime. Res64: 99655F890AFD76E5 Time : 0.0 sec. user=mdettweiler [2015-12-15 08:23:12] 915*2^1417522-1 is not prime. Res64: 04FC07CFCA04D3C6 Time : 0.0 sec. user=mdettweiler [2015-12-15 08:23:13] 945*2^1417522-1 is not prime. Res64: A1E7E7FD90C2C0FF Time : 0.0 sec. user=mdettweiler [2015-12-15 08:33:32] 957*2^1417522-1 is not prime. Res64: C657D695912B8A1E Time : 0.0 sec. user=mdettweiler [2015-12-15 08:33:33] 987*2^1417522-1 is not prime. Res64: EA7C67CA532BDB03 Time : 0.0 sec. user=mdettweiler [2015-12-15 08:40:44] 633*2^1417523-1 is not prime. Res64: 2D9E4557EE662968 Time : 0.0 sec. user=mdettweiler [2015-12-15 08:40:45] 643*2^1417523-1 is not prime. Res64: CBE499F0E485CB8F Time : 0.0 sec. user=mdettweiler [2015-12-15 08:51:08] 663*2^1417523-1 is not prime. Res64: ACC3CF815210D4FD Time : 0.0 sec. user=mdettweiler [2015-12-15 08:51:09] 783*2^1417523-1 is not prime. Res64: 1CF7101B85432DFE Time : 0.0 sec. user=mdettweiler [2015-12-15 08:58:15] 895*2^1417523-1 is not prime. Res64: E31C57E992AABBF5 Time : 0.0 sec. user=mdettweiler [2015-12-15 08:58:16] 605*2^1417524-1 is not prime. Res64: 1A5C49CA918E392D Time : 0.0 sec. user=mdettweiler [2015-12-15 09:08:45] 629*2^1417524-1 is not prime. Res64: 58ADEC542DDECB2B Time : 0.0 sec. user=mdettweiler [2015-12-15 09:08:46] 723*2^1417524-1 is not prime. Res64: 24E0F557B483EEC3 Time : 0.0 sec. user=mdettweiler [2015-12-15 09:15:49] 765*2^1417524-1 is not prime. Res64: 759C654E06D80B8E Time : 0.0 sec. user=mdettweiler [2015-12-15 09:15:50] 789*2^1417524-1 is not prime. Res64: F62DD1134F9A842C Time : 0.0 sec. user=mdettweiler [2015-12-15 09:26:20] 837*2^1417524-1 is not prime. Res64: CD53D3C8C080539D Time : 0.0 sec. user=mdettweiler [2015-12-15 09:26:21] 843*2^1417524-1 is not prime. Res64: F5ACDA0DEC01F8C6 Time : 0.0 sec. user=mdettweiler [2015-12-15 09:33:26] 873*2^1417524-1 is not prime. Res64: 97ED38053DB6142A Time : 0.0 sec. user=mdettweiler [2015-12-15 09:33:27] 601*2^1417525-1 is not prime. Res64: D5510239D11644A9 Time : 0.0 sec. user=mdettweiler [2015-12-15 09:43:55] 607*2^1417525-1 is not prime. Res64: AF313028BCEE49A9 Time : 0.0 sec. user=mdettweiler [2015-12-15 09:43:56] 619*2^1417525-1 is not prime. Res64: 7606597CE8C3247F Time : 0.0 sec. user=mdettweiler [2015-12-15 09:51:00] 727*2^1417525-1 is not prime. Res64: 94B444F98FEFB5D8 Time : 0.0 sec. user=mdettweiler [2015-12-15 09:51:01] 759*2^1417525-1 is not prime. Res64: 398D0D518554A21C Time : 0.0 sec. user=mdettweiler [2015-12-15 10:01:33] 919*2^1417525-1 is not prime. Res64: 60BD452E68938823 Time : 0.0 sec. user=mdettweiler [2015-12-15 10:01:34] 939*2^1417525-1 is not prime. Res64: B8650E07839D526C Time : 0.0 sec. user=mdettweiler [2015-12-15 10:08:31] 957*2^1417525-1 is not prime. Res64: FF196C50B7020A2F Time : 0.0 sec. user=mdettweiler [2015-12-15 10:08:32] 603*2^1417526-1 is not prime. Res64: 272F945F210548FD Time : 0.0 sec. user=mdettweiler [2015-12-15 10:19:15] 615*2^1417526-1 is not prime. Res64: 9922440847AC715C Time : 0.0 sec. user=mdettweiler [2015-12-15 10:19:15] 693*2^1417526-1 is not prime. Res64: AA953E697B835F19 Time : 0.0 sec. user=mdettweiler [2015-12-15 10:26:02] 825*2^1417526-1 is not prime. Res64: BAC6BD32318C204E Time : 0.0 sec. user=mdettweiler [2015-12-15 10:26:02] 639*2^1417527-1 is not prime. Res64: A69E37D365722863 Time : 0.0 sec. user=mdettweiler [2015-12-15 10:36:41] 703*2^1417527-1 is not prime. Res64: FED84CC72305B39F Time : 0.0 sec. user=mdettweiler [2015-12-15 10:36:42] 735*2^1417527-1 is not prime. Res64: D159B1BA90692194 Time : 0.0 sec. user=mdettweiler [2015-12-15 10:43:29] 765*2^1417527-1 is not prime. Res64: A45F04FB1100D2C4 Time : 0.0 sec. user=mdettweiler [2015-12-15 10:43:30] 831*2^1417527-1 is not prime. Res64: EE056E7A8F355763 Time : 0.0 sec. user=mdettweiler [2015-12-15 10:54:06] 951*2^1417527-1 is not prime. Res64: 97ED9515EA5603DD Time : 0.0 sec. user=mdettweiler [2015-12-15 10:54:07] 979*2^1417527-1 is not prime. Res64: 4595D1FA159F7CA6 Time : 0.0 sec. user=mdettweiler [2015-12-15 11:00:55] 605*2^1417528-1 is not prime. Res64: 5E5D10A599B66E67 Time : 0.0 sec. user=mdettweiler [2015-12-15 11:00:56] 615*2^1417528-1 is not prime. Res64: 22A7E65C7B01ED11 Time : 0.0 sec. user=mdettweiler [2015-12-15 11:11:32] 623*2^1417528-1 is not prime. Res64: 5906027ADA2893D2 Time : 0.0 sec. user=mdettweiler [2015-12-15 11:11:33] 657*2^1417528-1 is not prime. Res64: A0E6137ED2003D16 Time : 0.0 sec. user=mdettweiler [2015-12-15 11:18:26] 695*2^1417528-1 is not prime. Res64: FD5FF1DB1A34C40B Time : 0.0 sec. user=mdettweiler [2015-12-15 11:18:26] 723*2^1417528-1 is not prime. Res64: ADF6F8015DF37C25 Time : 0.0 sec. user=mdettweiler [2015-12-15 11:29:09] 915*2^1417528-1 is not prime. Res64: 9D50F058FAAE9EBF Time : 0.0 sec. user=mdettweiler [2015-12-15 11:29:09] 975*2^1417528-1 is not prime. Res64: 413D4D8E596B93BC Time : 0.0 sec. user=mdettweiler [2015-12-15 11:35:51] 989*2^1417528-1 is not prime. Res64: C3160062007E3FB7 Time : 0.0 sec. user=mdettweiler [2015-12-15 11:35:51] 637*2^1417529-1 is not prime. Res64: 1DFAE5C18BF67521 Time : 0.0 sec. user=mdettweiler [2015-12-15 11:46:34] 675*2^1417529-1 is not prime. Res64: DA4097491146E79F Time : 0.0 sec. user=mdettweiler [2015-12-15 11:46:34] 685*2^1417529-1 is not prime. Res64: 0FC64802759C43BC Time : 0.0 sec. user=mdettweiler [2015-12-15 11:53:17] 745*2^1417529-1 is not prime. Res64: E41C5CF0A6637B4D Time : 0.0 sec. user=mdettweiler [2015-12-15 11:53:18] 795*2^1417529-1 is not prime. Res64: BC0F4B7F195F88E2 Time : 0.0 sec. user=mdettweiler [2015-12-15 12:04:00] 847*2^1417529-1 is not prime. Res64: 715CD5DF73044CDA Time : 0.0 sec. user=mdettweiler [2015-12-15 12:04:01] 889*2^1417529-1 is not prime. Res64: DB97EB0B7C7E7C9E Time : 0.0 sec. user=mdettweiler [2015-12-15 12:10:43] 725*2^1417530-1 is not prime. Res64: 1046B8BAB4AAE8D8 Time : 0.0 sec. user=mdettweiler [2015-12-15 12:10:44] 741*2^1417530-1 is not prime. Res64: F534784B7B4F7DDB Time : 0.0 sec. user=mdettweiler [2015-12-15 12:21:40] 803*2^1417530-1 is not prime. Res64: 5B8133C857B8C67F Time : 0.0 sec. user=mdettweiler [2015-12-15 12:21:40] 825*2^1417530-1 is not prime. Res64: E5A626A10EB26426 Time : 0.0 sec. user=mdettweiler [2015-12-15 12:28:09] 833*2^1417530-1 is not prime. Res64: 47FEA0AC29D27EA8 Time : 0.0 sec. user=mdettweiler [2015-12-15 12:28:10] 775*2^1417531-1 is not prime. Res64: 584AD009D8AE77BE Time : 0.0 sec. user=mdettweiler [2015-12-15 12:39:05] 843*2^1417531-1 is not prime. Res64: 5D0ED055DE6E5BF7 Time : 0.0 sec. user=mdettweiler [2015-12-15 12:39:05] 871*2^1417531-1 is not prime. Res64: 76013720C923C40F Time : 0.0 sec. user=mdettweiler [2015-12-15 12:45:35] 913*2^1417531-1 is not prime. Res64: 2222F729C3C40A54 Time : 0.0 sec. user=mdettweiler [2015-12-15 12:45:35] 615*2^1417532-1 is not prime. Res64: 713D25160A264961 Time : 0.0 sec. user=mdettweiler [2015-12-15 12:56:31] 683*2^1417532-1 is not prime. Res64: 2936CC6529CE66E1 Time : 0.0 sec. user=mdettweiler [2015-12-15 12:56:32] 785*2^1417532-1 is not prime. Res64: D202673171C9F515 Time : 0.0 sec. user=mdettweiler [2015-12-15 13:03:01] 797*2^1417532-1 is not prime. Res64: 95B659A22BE7992D Time : 0.0 sec. user=mdettweiler [2015-12-15 13:03:03] 945*2^1417532-1 is not prime. Res64: 0C48C36FA4844074 Time : 0.0 sec. user=mdettweiler [2015-12-15 13:13:57] 987*2^1417532-1 is not prime. Res64: 8A4EBB9D025B06B7 Time : 0.0 sec. user=mdettweiler [2015-12-15 13:13:57] 995*2^1417532-1 is not prime. Res64: 8836D87AEDAE987B Time : 0.0 sec. user=mdettweiler [2015-12-15 13:20:39] 621*2^1417533-1 is not prime. Res64: EA56ECB1C178E708 Time : 0.0 sec. user=mdettweiler [2015-12-15 13:20:39] 625*2^1417533-1 is not prime. Res64: 4C674D5890A89358 Time : 0.0 sec. user=mdettweiler [2015-12-15 13:31:24] 627*2^1417533-1 is not prime. Res64: 9F1FF10BEF80BB74 Time : 0.0 sec. user=mdettweiler [2015-12-15 13:31:25] 699*2^1417533-1 is not prime. Res64: 44CFF81D77E619E1 Time : 0.0 sec. user=mdettweiler [2015-12-15 13:38:04] 769*2^1417533-1 is not prime. Res64: DB85A1882F439A23 Time : 0.0 sec. user=mdettweiler [2015-12-15 13:38:04] 805*2^1417533-1 is not prime. Res64: F8AFE1E89BC8FDAD Time : 0.0 sec. user=mdettweiler [2015-12-15 13:48:50] 889*2^1417533-1 is not prime. Res64: FF87C6DB01418659 Time : 0.0 sec. user=mdettweiler [2015-12-15 13:48:50] 891*2^1417533-1 is not prime. Res64: EB2F89FDF0D424E0 Time : 0.0 sec. user=mdettweiler [2015-12-15 13:55:29] 987*2^1417533-1 is not prime. Res64: 77D69B55A7B681A9 Time : 0.0 sec. user=mdettweiler [2015-12-15 13:55:30] 705*2^1417534-1 is not prime. Res64: 011AD32456AB0A92 Time : 0.0 sec. user=mdettweiler [2015-12-15 14:06:16] 717*2^1417534-1 is not prime. Res64: 3980DE4512A8A8F4 Time : 0.0 sec. user=mdettweiler [2015-12-15 14:06:19] 785*2^1417534-1 is not prime. Res64: FE46AC9D51D395C9 Time : 0.0 sec. user=mdettweiler [2015-12-15 14:12:55] 903*2^1417534-1 is not prime. Res64: 5AFC3B69C61063FB Time : 0.0 sec. user=mdettweiler [2015-12-15 14:12:56] 941*2^1417534-1 is not prime. Res64: E635182789E2005A Time : 0.0 sec. user=mdettweiler [2015-12-15 14:24:01] 945*2^1417534-1 is not prime. Res64: CAF6216196496EBC Time : 0.0 sec. user=mdettweiler [2015-12-15 14:24:02] 947*2^1417534-1 is not prime. Res64: D1FDA3E16A4FA282 Time : 0.0 sec. user=mdettweiler [2015-12-15 14:30:21] 651*2^1417535-1 is not prime. Res64: C0609C35080E324D Time : 0.0 sec. user=mdettweiler [2015-12-15 14:30:22] 693*2^1417535-1 is not prime. Res64: BD42F6B2A2CB6594 Time : 0.0 sec. user=mdettweiler [2015-12-15 14:41:27] 721*2^1417535-1 is not prime. Res64: 104F75E5FF59ADE2 Time : 0.0 sec. user=mdettweiler [2015-12-15 14:41:28] 871*2^1417535-1 is not prime. Res64: FED9FF3E1F0E0C02 Time : 0.0 sec. user=mdettweiler [2015-12-15 14:47:48] 885*2^1417535-1 is not prime. Res64: 161966C746F9042F Time : 0.0 sec. user=mdettweiler [2015-12-15 14:47:48] 627*2^1417536-1 is not prime. Res64: 421C43D5A1EB959D Time : 0.0 sec. user=mdettweiler [2015-12-15 14:58:53] 639*2^1417536-1 is not prime. Res64: 4F8DA400C5B0EC29 Time : 0.0 sec. user=mdettweiler [2015-12-15 14:58:53] 683*2^1417536-1 is not prime. Res64: 75BC98113A548741 Time : 0.0 sec. user=mdettweiler [2015-12-15 15:05:15] 707*2^1417536-1 is not prime. Res64: FE866F21E210E9F0 Time : 0.0 sec. user=mdettweiler [2015-12-15 15:05:16] 759*2^1417536-1 is not prime. Res64: CE0FDF0BBDB7252C Time : 0.0 sec. user=mdettweiler [2015-12-15 15:16:19] 825*2^1417536-1 is not prime. Res64: 1493CACAD963C443 Time : 0.0 sec. user=mdettweiler [2015-12-15 15:16:20] 975*2^1417536-1 is not prime. Res64: D036825350E968DA Time : 0.0 sec. user=mdettweiler [2015-12-15 15:22:43] 769*2^1417537-1 is not prime. Res64: 8DE24CC5AA1F0429 Time : 0.0 sec. user=mdettweiler [2015-12-15 15:22:43] 871*2^1417537-1 is not prime. Res64: CC69B5A2AC1955C7 Time : 0.0 sec. user=mdettweiler [2015-12-15 15:33:45] 687*2^1417538-1 is not prime. Res64: 3F65613583AB7294 Time : 0.0 sec. user=mdettweiler [2015-12-15 15:33:46] 791*2^1417538-1 is not prime. Res64: 00AEA74E1D3B6D5E Time : 0.0 sec. user=mdettweiler [2015-12-15 15:40:08] 837*2^1417538-1 is not prime. Res64: CE1D58EA9D5D536B Time : 0.0 sec. user=mdettweiler [2015-12-15 15:40:09] 893*2^1417538-1 is not prime. Res64: 1BB84013A419FE3D Time : 0.0 sec. user=mdettweiler [2015-12-15 15:51:11] 923*2^1417538-1 is not prime. Res64: D96F76F1E84A78C9 Time : 0.0 sec. user=mdettweiler [2015-12-15 15:51:11] 977*2^1417538-1 is not prime. Res64: BCC65F27BB193CEA Time : 0.0 sec. user=mdettweiler [2015-12-15 15:57:34] 615*2^1417539-1 is not prime. Res64: 2324913AEC2B6900 Time : 0.0 sec. user=mdettweiler [2015-12-15 15:57:34] 621*2^1417539-1 is not prime. Res64: 5E276570C9F1CF3C Time : 0.0 sec. user=mdettweiler [2015-12-15 16:08:37] 649*2^1417539-1 is not prime. Res64: FDFEBFF4CED01F98 Time : 0.0 sec. user=mdettweiler [2015-12-15 16:08:38] 663*2^1417539-1 is not prime. Res64: AE078181250A29CA Time : 0.0 sec. user=mdettweiler [2015-12-15 16:14:59] 675*2^1417539-1 is not prime. Res64: E43F592A18947211 Time : 0.0 sec. user=mdettweiler [2015-12-15 16:14:59] 741*2^1417539-1 is not prime. Res64: F6EFA126963D1B57 Time : 0.0 sec. user=mdettweiler [2015-12-15 16:26:08] 795*2^1417539-1 is not prime. Res64: 09F4CE257EE02F9D Time : 0.0 sec. user=mdettweiler [2015-12-15 16:26:08] 801*2^1417539-1 is not prime. Res64: 5DE94010CE519062 Time : 0.0 sec. user=mdettweiler [2015-12-15 16:32:26] 835*2^1417539-1 is not prime. Res64: DE36BF468D31F983 Time : 0.0 sec. user=mdettweiler [2015-12-15 16:32:27] 955*2^1417539-1 is not prime. Res64: 8D439AFD5EF7F1B8 Time : 0.0 sec. user=mdettweiler [2015-12-15 16:43:34] 961*2^1417539-1 is not prime. Res64: 13BF4C267C718786 Time : 0.0 sec. user=mdettweiler [2015-12-15 16:43:35] 975*2^1417539-1 is not prime. Res64: 7D41202C20BE3646 Time : 0.0 sec. user=mdettweiler [2015-12-15 16:49:54] 623*2^1417540-1 is not prime. Res64: F6B13EB23DBA7352 Time : 0.0 sec. user=mdettweiler [2015-12-15 16:49:54] 695*2^1417540-1 is not prime. Res64: CDB4BD2D77CE2595 Time : 0.0 sec. user=mdettweiler [2015-12-15 17:01:01] 719*2^1417540-1 is not prime. Res64: BBE4E5AD0CD04DD3 Time : 0.0 sec. user=mdettweiler [2015-12-15 17:01:03] 723*2^1417540-1 is not prime. Res64: 7B5B49E8F9654F68 Time : 0.0 sec. user=mdettweiler [2015-12-15 17:07:22] 927*2^1417540-1 is not prime. Res64: 9762AE064DA6AD9E Time : 0.0 sec. user=mdettweiler [2015-12-15 17:07:24] 995*2^1417540-1 is not prime. Res64: 2C7923A6ECDA2841 Time : 0.0 sec. user=mdettweiler [2015-12-15 17:18:36] 675*2^1417541-1 is not prime. Res64: 4D4B6579653FA99E Time : 0.0 sec. user=mdettweiler [2015-12-15 17:18:37] 829*2^1417541-1 is not prime. Res64: 721CC391448B8555 Time : 0.0 sec. user=mdettweiler [2015-12-15 17:25:05] 859*2^1417541-1 is not prime. Res64: D4BF501D8EC36183 Time : 0.0 sec. user=mdettweiler [2015-12-15 17:25:05] 867*2^1417541-1 is not prime. Res64: 99F41BA95073D7B5 Time : 0.0 sec. user=mdettweiler [2015-12-15 17:36:02] 987*2^1417541-1 is not prime. Res64: 543247AE723943B1 Time : 0.0 sec. user=mdettweiler [2015-12-15 17:36:03] 621*2^1417542-1 is not prime. Res64: DADA05C300799863 Time : 0.0 sec. user=mdettweiler [2015-12-15 17:42:30] 713*2^1417542-1 is not prime. Res64: C7A0295C48C5F825 Time : 0.0 sec. user=mdettweiler [2015-12-15 17:42:30] 737*2^1417542-1 is not prime. Res64: 44723F91F39E47AC Time : 0.0 sec. user=mdettweiler [2015-12-15 17:53:32] 755*2^1417542-1 is not prime. Res64: F40BD64B29E2AB28 Time : 0.0 sec. user=mdettweiler [2015-12-15 17:53:32] 821*2^1417542-1 is not prime. Res64: 3CF9B747EFC0B95A Time : 0.0 sec. user=mdettweiler [2015-12-15 17:59:55] 843*2^1417542-1 is not prime. Res64: 63E3C7E9EA872639 Time : 0.0 sec. user=mdettweiler [2015-12-15 17:59:55] 965*2^1417542-1 is not prime. Res64: 95D91467C0D41750 Time : 0.0 sec. user=mdettweiler [2015-12-15 18:10:58] 975*2^1417542-1 is not prime. Res64: 9EFC53609C6FB13E Time : 0.0 sec. user=mdettweiler [2015-12-15 18:11:00] 639*2^1417543-1 is not prime. Res64: 0FC6E7196E07F78A Time : 0.0 sec. user=mdettweiler [2015-12-15 18:17:21] 673*2^1417543-1 is not prime. Res64: 706800FC483E9898 Time : 0.0 sec. user=mdettweiler [2015-12-15 18:17:22] 679*2^1417543-1 is not prime. Res64: FB8919E6BA10CEAD Time : 0.0 sec. user=mdettweiler [2015-12-15 18:28:32] 705*2^1417543-1 is not prime. Res64: 36E1E0FAA8E1CF8F Time : 0.0 sec. user=mdettweiler [2015-12-15 18:28:33] 765*2^1417543-1 is not prime. Res64: DA4526E816285880 Time : 0.0 sec. user=mdettweiler [2015-12-15 18:34:47] 873*2^1417543-1 is not prime. Res64: 0AE70F7762B2289B Time : 0.0 sec. user=mdettweiler [2015-12-15 18:34:48] 885*2^1417543-1 is not prime. Res64: 8C1951B2B998F0A6 Time : 0.0 sec. user=mdettweiler [2015-12-15 18:45:58] 973*2^1417543-1 is not prime. Res64: 1C64364DFB10F98A Time : 0.0 sec. user=mdettweiler [2015-12-15 18:45:59] 993*2^1417543-1 is not prime. Res64: 513AC6BF9B0F2C15 Time : 0.0 sec. user=mdettweiler [2015-12-15 18:52:13] 629*2^1417544-1 is not prime. Res64: 4349F9EF82A037F1 Time : 0.0 sec. user=mdettweiler [2015-12-15 18:52:13] 675*2^1417544-1 is not prime. Res64: 26BBC90E1F3FBDDE Time : 0.0 sec. user=mdettweiler [2015-12-15 19:03:25] 689*2^1417544-1 is not prime. Res64: DADB50724C0D5F7E Time : 0.0 sec. user=mdettweiler [2015-12-15 19:03:27] 717*2^1417544-1 is not prime. Res64: 7BAEBEA514385EE9 Time : 0.0 sec. user=mdettweiler [2015-12-15 19:09:39] 923*2^1417544-1 is not prime. Res64: A1854ADFFE6F52D7 Time : 0.0 sec. user=mdettweiler [2015-12-15 19:09:40] 717*2^1417545-1 is not prime. Res64: 2271FF7557C58E61 Time : 0.0 sec. user=mdettweiler [2015-12-15 19:21:04] 741*2^1417545-1 is not prime. Res64: 7A608F32D5D05A60 Time : 0.0 sec. user=mdettweiler [2015-12-15 19:21:04] 765*2^1417545-1 is not prime. Res64: EB6B788F4522A67C Time : 0.0 sec. user=mdettweiler [2015-12-15 19:27:07] 777*2^1417545-1 is not prime. Res64: 23677F2DFD45B456 Time : 0.0 sec. user=mdettweiler [2015-12-15 19:27:08] 871*2^1417545-1 is not prime. Res64: AD825219CBAFCDC2 Time : 0.0 sec. user=mdettweiler [2015-12-15 19:38:30] 895*2^1417545-1 is not prime. Res64: 101E911761B1F334 Time : 0.0 sec. user=mdettweiler [2015-12-15 19:38:30] 991*2^1417545-1 is not prime. Res64: 04E71AD109BDB65E Time : 0.0 sec. user=mdettweiler [2015-12-15 19:44:34] 747*2^1417546-1 is not prime. Res64: 911B04710720D862 Time : 0.0 sec. user=mdettweiler [2015-12-15 19:44:34] 867*2^1417546-1 is not prime. Res64: 7BE689D8430D0381 Time : 0.0 sec. user=mdettweiler [2015-12-15 19:56:00] 905*2^1417546-1 is not prime. Res64: F7CF6EC20B617FE6 Time : 0.0 sec. user=mdettweiler [2015-12-15 19:56:01] 933*2^1417546-1 is not prime. Res64: B92A3C4FDA4FE331 Time : 0.0 sec. user=mdettweiler [2015-12-15 20:02:07] 957*2^1417546-1 is not prime. Res64: AF48F294D0D3E1CA Time : 0.0 sec. user=mdettweiler [2015-12-15 20:02:07] 619*2^1417547-1 is not prime. Res64: 4776A286927BEBB5 Time : 0.0 sec. user=mdettweiler [2015-12-15 20:13:36] 673*2^1417547-1 is not prime. Res64: 76713A5BFC582FED Time : 0.0 sec. user=mdettweiler [2015-12-15 20:13:36] 843*2^1417547-1 is not prime. Res64: 92EE84D5DC8466C9 Time : 0.0 sec. user=mdettweiler [2015-12-15 20:19:38] 665*2^1417548-1 is not prime. Res64: 222525029D94094F Time : 0.0 sec. user=mdettweiler [2015-12-15 20:19:38] 929*2^1417548-1 is not prime. Res64: 6B4DBFF8C3C3585B Time : 0.0 sec. user=mdettweiler [2015-12-15 20:31:09] 615*2^1417549-1 is not prime. Res64: 99C70FBE85906826 Time : 0.0 sec. user=mdettweiler [2015-12-15 20:31:09] 747*2^1417549-1 is not prime. Res64: 1DADEE29A820AD41 Time : 0.0 sec. user=mdettweiler [2015-12-15 20:37:09] 861*2^1417549-1 is not prime. Res64: 2E39D01F30F8753A Time : 0.0 sec. user=mdettweiler [2015-12-15 20:37:10] 895*2^1417549-1 is not prime. Res64: 69AB991362B22E54 Time : 0.0 sec. user=mdettweiler [2015-12-15 20:48:39] 939*2^1417549-1 is not prime. Res64: C6A8036B6681E718 Time : 0.0 sec. user=mdettweiler [2015-12-15 20:48:39] 951*2^1417549-1 is not prime. Res64: B4A35C44F1F099E1 Time : 0.0 sec. user=mdettweiler [2015-12-15 20:54:45] 657*2^1417550-1 is not prime. Res64: 28E4BF7DDEDA78D4 Time : 0.0 sec. user=mdettweiler [2015-12-15 20:54:46] 663*2^1417550-1 is not prime. Res64: 03C956BE98C4CECC Time : 0.0 sec. user=mdettweiler [2015-12-15 21:06:26] 813*2^1417550-1 is not prime. Res64: 88CCFB346B1CCCA7 Time : 0.0 sec. user=mdettweiler [2015-12-15 21:06:26] 977*2^1417550-1 is not prime. Res64: 4A365CD46C477497 Time : 0.0 sec. user=mdettweiler [2015-12-15 21:12:28] 675*2^1417551-1 is not prime. Res64: D94EBF4409FC3168 Time : 0.0 sec. user=mdettweiler [2015-12-15 21:12:28] 891*2^1417551-1 is not prime. Res64: 92AB7E7995D5B9C1 Time : 0.0 sec. user=mdettweiler [2015-12-15 21:24:00] 615*2^1417552-1 is not prime. Res64: FCE1E008B7254FB4 Time : 0.0 sec. user=mdettweiler [2015-12-15 21:24:00] 855*2^1417552-1 is not prime. Res64: 99BEE47151F486FE Time : 0.0 sec. user=mdettweiler [2015-12-15 21:30:01] 863*2^1417552-1 is not prime. Res64: 4A121523455EA4CC Time : 0.0 sec. user=mdettweiler [2015-12-15 21:30:02] 691*2^1417553-1 is not prime. Res64: 622D9EB467D324C9 Time : 0.0 sec. user=mdettweiler [2015-12-15 21:41:29] 741*2^1417553-1 is not prime. Res64: 530B5BF2E3939731 Time : 0.0 sec. user=mdettweiler [2015-12-15 21:41:30] 605*2^1417554-1 is not prime. Res64: E2A0B8BC651CDD7A Time : 0.0 sec. user=mdettweiler [2015-12-15 21:47:31] 657*2^1417554-1 is not prime. Res64: 8F37BF39B9DD71C8 Time : 0.0 sec. user=mdettweiler [2015-12-15 21:47:31] 663*2^1417554-1 is not prime. Res64: 82DE186469610C8E Time : 0.0 sec. user=mdettweiler [2015-12-15 21:58:56] 717*2^1417554-1 is not prime. Res64: C9192373B6A86316 Time : 0.0 sec. user=mdettweiler [2015-12-15 21:58:56] 773*2^1417554-1 is not prime. Res64: 3B4330A88C3B959A Time : 0.0 sec. user=mdettweiler [2015-12-15 22:04:58] 803*2^1417554-1 is not prime. Res64: E46AED6DD63CC77E Time : 0.0 sec. user=mdettweiler [2015-12-15 22:04:59] 947*2^1417554-1 is not prime. Res64: 95E7B8830EC64CB6 Time : 0.0 sec. user=mdettweiler [2015-12-15 22:16:21] 663*2^1417555-1 is not prime. Res64: 5A779966C9463638 Time : 0.0 sec. user=mdettweiler [2015-12-15 22:16:22] 679*2^1417555-1 is not prime. Res64: 245E0A7E4439A36C Time : 0.0 sec. user=mdettweiler [2015-12-15 22:22:25] 735*2^1417555-1 is not prime. Res64: 1B7257EA7FC43AA9 Time : 0.0 sec. user=mdettweiler [2015-12-15 22:22:26] 783*2^1417555-1 is not prime. Res64: 1E6DAA32511F1244 Time : 0.0 sec. user=mdettweiler [2015-12-15 22:33:48] 617*2^1417556-1 is not prime. Res64: AD0468E418337C7F Time : 0.0 sec. user=mdettweiler [2015-12-15 22:33:48] 635*2^1417556-1 is not prime. Res64: 3F4D9B4B595FB807 Time : 0.0 sec. user=mdettweiler [2015-12-15 22:39:51] 699*2^1417556-1 is not prime. Res64: 93C5A59BE2B807B6 Time : 0.0 sec. user=mdettweiler [2015-12-15 22:39:51] 719*2^1417556-1 is not prime. Res64: FE1EEF6B323E2647 Time : 0.0 sec. user=mdettweiler [2015-12-15 22:51:14] 777*2^1417556-1 is not prime. Res64: EE5B86375718E54F Time : 0.0 sec. user=mdettweiler [2015-12-15 22:51:14] 789*2^1417556-1 is not prime. Res64: 0CB3D881E0C37A27 Time : 0.0 sec. user=mdettweiler [2015-12-15 22:57:17] 827*2^1417556-1 is not prime. Res64: E0ADF2AF9F96F7C7 Time : 0.0 sec. user=mdettweiler [2015-12-15 22:57:17] 855*2^1417556-1 is not prime. Res64: A696244901D2A1D0 Time : 0.0 sec. user=mdettweiler [2015-12-15 23:08:41] 867*2^1417556-1 is not prime. Res64: 82F8C1D4C186F799 Time : 0.0 sec. user=mdettweiler [2015-12-15 23:08:41] 909*2^1417556-1 is not prime. Res64: C8591A85348C5664 Time : 0.0 sec. user=mdettweiler [2015-12-15 23:14:42] 649*2^1417557-1 is not prime. Res64: F893DF113EC3E04D Time : 0.0 sec. user=mdettweiler [2015-12-15 23:14:43] 727*2^1417557-1 is not prime. Res64: C630B9FE76CCD546 Time : 0.0 sec. user=mdettweiler [2015-12-15 23:26:15] 741*2^1417557-1 is not prime. Res64: 182541B4D9DBCC58 Time : 0.0 sec. user=mdettweiler [2015-12-15 23:26:16] 891*2^1417557-1 is not prime. Res64: 503B127D4B9A3DC8 Time : 0.0 sec. user=mdettweiler [2015-12-15 23:32:08] 665*2^1417558-1 is not prime. Res64: 9969711928586075 Time : 0.0 sec. user=mdettweiler [2015-12-15 23:32:09] 731*2^1417558-1 is not prime. Res64: C8ABE478E47C68C9 Time : 0.0 sec. user=mdettweiler [2015-12-15 23:43:41] 743*2^1417558-1 is not prime. Res64: 62BD115E417412FF Time : 0.0 sec. user=mdettweiler [2015-12-15 23:43:41] 845*2^1417558-1 is not prime. Res64: BC0FDEA69F161883 Time : 0.0 sec. user=mdettweiler [2015-12-15 23:49:34] 971*2^1417558-1 is not prime. Res64: 003C05F933B11B4B Time : 0.0 sec. user=mdettweiler [2015-12-15 23:49:35] 621*2^1417559-1 is not prime. Res64: 3671BEFB1AF776A6 Time : 0.0 sec.