user=mdettweiler [2015-12-18 00:09:32] 765*2^1417672-1 is not prime. Res64: 3DE382A8D1B8B191 Time : 0.0 sec. user=mdettweiler [2015-12-18 00:09:35] 777*2^1417672-1 is not prime. Res64: 4E6B02A7EB348425 Time : 0.0 sec. user=mdettweiler [2015-12-18 00:09:40] 849*2^1417672-1 is not prime. Res64: EF13BB5908F01223 Time : 0.0 sec. user=mdettweiler [2015-12-18 00:27:21] 933*2^1417672-1 is not prime. Res64: 0C3FADA968A4E4F6 Time : 0.0 sec. user=mdettweiler [2015-12-18 00:27:21] 947*2^1417672-1 is not prime. Res64: BAC29936FF037763 Time : 0.0 sec. user=mdettweiler [2015-12-18 00:44:53] 607*2^1417673-1 is not prime. Res64: BFAFF76F3CCD4DA8 Time : 0.0 sec. user=mdettweiler [2015-12-18 00:44:54] 675*2^1417673-1 is not prime. Res64: 835D1C08C05C7FD4 Time : 0.0 sec. user=mdettweiler [2015-12-18 01:02:29] 819*2^1417673-1 is not prime. Res64: 7B75C159C81759BC Time : 0.0 sec. user=mdettweiler [2015-12-18 01:02:30] 981*2^1417673-1 is not prime. Res64: 90BDCCBB7DCB37E1 Time : 0.0 sec. user=mdettweiler [2015-12-18 01:18:15] 857*2^1417672-1 is not prime. Res64: C79204171BACD9F6 Time : 0.0 sec. user=mdettweiler [2015-12-18 01:20:19] 611*2^1417674-1 is not prime. Res64: 3A5F651F7EC0624B Time : 0.0 sec. user=mdettweiler [2015-12-18 01:20:20] 627*2^1417674-1 is not prime. Res64: 3D7F76A05911EB82 Time : 0.0 sec. user=mdettweiler [2015-12-18 01:35:46] 657*2^1417674-1 is not prime. Res64: D3B23F1A13056D4A Time : 0.0 sec. user=mdettweiler [2015-12-18 01:35:47] 765*2^1417674-1 is not prime. Res64: 1F31EE838D96A6BF Time : 0.0 sec. user=mdettweiler [2015-12-18 01:37:49] 821*2^1417674-1 is not prime. Res64: 23F9EB910D6C26B3 Time : 0.0 sec. user=mdettweiler [2015-12-18 01:37:49] 825*2^1417674-1 is not prime. Res64: 43C69CDE57C205DC Time : 0.0 sec. user=mdettweiler [2015-12-18 01:53:17] 861*2^1417674-1 is not prime. Res64: D86FE2BED9ACFB21 Time : 0.0 sec. user=mdettweiler [2015-12-18 01:53:18] 975*2^1417674-1 is not prime. Res64: 66DBFC6F2159200B Time : 0.0 sec. user=mdettweiler [2015-12-18 01:55:18] 983*2^1417674-1 is not prime. Res64: 0A5B06E5547E2842 Time : 0.0 sec. user=mdettweiler [2015-12-18 01:55:18] 649*2^1417675-1 is not prime. Res64: 35961A4AB819B1FE Time : 0.0 sec. user=mdettweiler [2015-12-18 02:10:49] 685*2^1417675-1 is not prime. Res64: 4C4E5AEB4D77323C Time : 0.0 sec. user=mdettweiler [2015-12-18 02:10:50] 885*2^1417675-1 is not prime. Res64: 9D77BAEC2414C1BC Time : 0.0 sec. user=mdettweiler [2015-12-18 02:12:49] 973*2^1417675-1 is not prime. Res64: 97F994CA9319B340 Time : 0.0 sec. user=mdettweiler [2015-12-18 02:12:50] 633*2^1417676-1 is not prime. Res64: FC7BD5CC52CFBE3F Time : 0.0 sec. user=mdettweiler [2015-12-18 02:28:32] 669*2^1417676-1 is not prime. Res64: 0F7534F47E600AF1 Time : 0.0 sec. user=mdettweiler [2015-12-18 02:28:32] 707*2^1417676-1 is not prime. Res64: 511303E1212355D4 Time : 0.0 sec. user=mdettweiler [2015-12-18 02:30:18] 825*2^1417676-1 is not prime. Res64: 65A6F4A650B4CDF7 Time : 0.0 sec. user=mdettweiler [2015-12-18 02:30:19] 843*2^1417676-1 is not prime. Res64: 9DB019400BA095D6 Time : 0.0 sec. user=mdettweiler [2015-12-18 02:46:05] 935*2^1417676-1 is not prime. Res64: C32787E4705F1C98 Time : 0.0 sec. user=mdettweiler [2015-12-18 02:46:05] 945*2^1417676-1 is not prime. Res64: 43526CBC46E07FFB Time : 0.0 sec. user=mdettweiler [2015-12-18 02:47:50] 601*2^1417677-1 is not prime. Res64: 7DB2333CBE589727 Time : 0.0 sec. user=mdettweiler [2015-12-18 02:47:51] 747*2^1417677-1 is not prime. Res64: FF22E6F16B280C66 Time : 0.0 sec. user=mdettweiler [2015-12-18 03:03:39] 919*2^1417677-1 is not prime. Res64: 7F5805E36E691338 Time : 0.0 sec. user=mdettweiler [2015-12-18 03:03:41] 927*2^1417677-1 is not prime. Res64: 9809CE0013C13C44 Time : 0.0 sec. user=mdettweiler [2015-12-18 03:05:22] 949*2^1417677-1 is not prime. Res64: 6EA9FB5FC2000368 Time : 0.0 sec. user=mdettweiler [2015-12-18 03:05:24] 955*2^1417677-1 is not prime. Res64: B6136957B446CF04 Time : 0.0 sec. user=mdettweiler [2015-12-18 03:21:22] 975*2^1417677-1 is not prime. Res64: 825522A4C7E85EFB Time : 0.0 sec. user=mdettweiler [2015-12-18 03:21:23] 681*2^1417678-1 is not prime. Res64: 5DAAA496644006F3 Time : 0.0 sec. user=mdettweiler [2015-12-18 03:22:52] 737*2^1417678-1 is not prime. Res64: D6EA0A1D670FDA60 Time : 0.0 sec. user=mdettweiler [2015-12-18 03:22:53] 765*2^1417678-1 is not prime. Res64: A0677D0376DE93BD Time : 0.0 sec. user=mdettweiler [2015-12-18 03:38:54] 845*2^1417678-1 is not prime. Res64: 1A619CC3E6041F50 Time : 0.0 sec. user=mdettweiler [2015-12-18 03:38:55] 693*2^1417679-1 is not prime. Res64: 6E90519EE7FC20CD Time : 0.0 sec. user=mdettweiler [2015-12-18 03:40:21] 721*2^1417679-1 is not prime. Res64: DF74461FA8643EED Time : 0.0 sec. user=mdettweiler [2015-12-18 03:40:22] 735*2^1417679-1 is not prime. Res64: 6B1274D4CBD8FF08 Time : 0.0 sec. user=mdettweiler [2015-12-18 03:56:39] 753*2^1417679-1 is not prime. Res64: 047D489F9680BEA1 Time : 0.0 sec. user=mdettweiler [2015-12-18 03:56:41] 829*2^1417679-1 is not prime. Res64: 86D7B1341B10B44E Time : 0.0 sec. user=mdettweiler [2015-12-18 03:57:54] 843*2^1417679-1 is not prime. Res64: B80E10738FFE4CD5 Time : 0.0 sec. user=mdettweiler [2015-12-18 03:57:54] 859*2^1417679-1 is not prime. Res64: 99C2A1F0127473E9 Time : 0.0 sec. user=mdettweiler [2015-12-18 04:14:23] 861*2^1417679-1 is not prime. Res64: E67F448951CE9C8D Time : 0.0 sec. user=mdettweiler [2015-12-18 04:14:23] 913*2^1417679-1 is not prime. Res64: CCEF39CDB5620C9C Time : 0.0 sec. user=mdettweiler [2015-12-18 04:15:29] 999*2^1417679-1 is not prime. Res64: 86EACEB1D29CD7D9 Time : 0.0 sec. user=mdettweiler [2015-12-18 04:15:29] 635*2^1417680-1 is not prime. Res64: DBA10FAFCAD4E6E4 Time : 0.0 sec. user=mdettweiler [2015-12-18 04:31:59] 747*2^1417680-1 is not prime. Res64: 38CC781A61503873 Time : 0.0 sec. user=mdettweiler [2015-12-18 04:32:00] 753*2^1417680-1 is not prime. Res64: B99F3948B97A63C8 Time : 0.0 sec. user=mdettweiler [2015-12-18 04:33:02] 845*2^1417680-1 is not prime. Res64: CF469FFFCC7DA664 Time : 0.0 sec. user=mdettweiler [2015-12-18 04:33:03] 899*2^1417680-1 is not prime. Res64: 52C41E8697BF2BF1 Time : 0.0 sec. user=mdettweiler [2015-12-18 04:49:38] 909*2^1417680-1 is not prime. Res64: F4614B26562FCFFD Time : 0.0 sec. user=mdettweiler [2015-12-18 04:49:39] 915*2^1417680-1 is not prime. Res64: 1CE63248394BA7E7 Time : 0.0 sec. user=mdettweiler [2015-12-18 04:50:38] 917*2^1417680-1 is not prime. Res64: 441E6BBE91188137 Time : 0.0 sec. user=mdettweiler [2015-12-18 04:50:39] 959*2^1417680-1 is not prime. Res64: 5A83AA7B853EA765 Time : 0.0 sec. user=mdettweiler [2015-12-18 05:07:17] 615*2^1417681-1 is not prime. Res64: FBADB6196A549FB3 Time : 0.0 sec. user=mdettweiler [2015-12-18 05:07:19] 801*2^1417681-1 is not prime. Res64: 4E92988BB25E3DF0 Time : 0.0 sec. user=mdettweiler [2015-12-18 05:08:18] 975*2^1417681-1 is not prime. Res64: C91DC590E5E3A6AA Time : 0.0 sec. user=mdettweiler [2015-12-18 05:08:19] 987*2^1417681-1 is not prime. Res64: A2C0E31A796866BF Time : 0.0 sec. user=mdettweiler [2015-12-18 05:24:59] 645*2^1417682-1 is not prime. Res64: E8E2DF8E2C7FCEC9 Time : 0.0 sec. user=mdettweiler [2015-12-18 05:25:00] 747*2^1417682-1 is not prime. Res64: F0DDE0336BD7D845 Time : 0.0 sec. user=mdettweiler [2015-12-18 05:25:58] 813*2^1417682-1 is not prime. Res64: 0B4DD0A9CB90C0CB Time : 0.0 sec. user=mdettweiler [2015-12-18 05:25:59] 951*2^1417682-1 is not prime. Res64: 1FFE2994AC0B8364 Time : 0.0 sec. user=mdettweiler [2015-12-18 05:42:39] 987*2^1417682-1 is not prime. Res64: D8B5E4FA5F94A734 Time : 0.0 sec. user=mdettweiler [2015-12-18 05:42:40] 619*2^1417683-1 is not prime. Res64: 9BAD6237672F5293 Time : 0.0 sec. user=mdettweiler [2015-12-18 05:43:38] 663*2^1417683-1 is not prime. Res64: FA73587601EB15BE Time : 0.0 sec. user=mdettweiler [2015-12-18 05:43:39] 703*2^1417683-1 is not prime. Res64: 03BEB0085DD983D2 Time : 0.0 sec. user=mdettweiler [2015-12-18 06:00:18] 705*2^1417683-1 is not prime. Res64: 43A996C2EA2A8215 Time : 0.0 sec. user=mdettweiler [2015-12-18 06:00:20] 709*2^1417683-1 is not prime. Res64: FDE28B52DDDE2F63 Time : 0.0 sec. user=mdettweiler [2015-12-18 06:01:15] 801*2^1417683-1 is not prime. Res64: 33A4F5431FE775B6 Time : 0.0 sec. user=mdettweiler [2015-12-18 06:01:17] 835*2^1417683-1 is not prime. Res64: 98CF0036587DAEF5 Time : 0.0 sec. user=mdettweiler [2015-12-18 06:18:02] 609*2^1417684-1 is not prime. Res64: 09D5CC3DB4520ABD Time : 0.0 sec. user=mdettweiler [2015-12-18 06:18:03] 869*2^1417684-1 is not prime. Res64: B94DBE7279B6FB07 Time : 0.0 sec. user=mdettweiler [2015-12-18 06:18:52] 885*2^1417684-1 is not prime. Res64: 794E86660B0FFE0E Time : 0.0 sec. user=mdettweiler [2015-12-18 06:18:53] 927*2^1417684-1 is not prime. Res64: C01EE38F4BA1CF33 Time : 0.0 sec. user=mdettweiler [2015-12-18 06:35:44] 657*2^1417685-1 is not prime. Res64: 3FCA509B0AD9EEE2 Time : 0.0 sec. user=mdettweiler [2015-12-18 06:35:45] 679*2^1417685-1 is not prime. Res64: 24863F539F878BB1 Time : 0.0 sec. user=mdettweiler [2015-12-18 06:36:29] 871*2^1417685-1 is not prime. Res64: 1297FC6DF51AFFA1 Time : 0.0 sec. user=mdettweiler [2015-12-18 06:36:30] 889*2^1417685-1 is not prime. Res64: 5F47996B4BE29A28 Time : 0.0 sec. user=mdettweiler [2015-12-18 06:53:20] 957*2^1417685-1 is not prime. Res64: C9A26DAEBEE179CF Time : 0.0 sec. user=mdettweiler [2015-12-18 06:53:21] 979*2^1417685-1 is not prime. Res64: 0E6BC8ADDCAF5011 Time : 0.0 sec. user=mdettweiler [2015-12-18 06:54:14] 741*2^1417686-1 is not prime. Res64: 0F93C3D2F9584F5B Time : 0.0 sec. user=mdettweiler [2015-12-18 06:54:15] 761*2^1417686-1 is not prime. Res64: FD9DB5DB4ACA07C7 Time : 0.0 sec. user=mdettweiler [2015-12-18 07:10:58] 765*2^1417686-1 is not prime. Res64: 5830EC5F6885BCA4 Time : 0.0 sec. user=mdettweiler [2015-12-18 07:11:00] 777*2^1417686-1 is not prime. Res64: A87AB4984E0393CD Time : 0.0 sec. user=mdettweiler [2015-12-18 07:11:51] 619*2^1417687-1 is not prime. Res64: B9AC9642DB11F9F1 Time : 0.0 sec. user=mdettweiler [2015-12-18 07:11:52] 891*2^1417687-1 is not prime. Res64: 8DB0E97BD8CFFEE8 Time : 0.0 sec. user=mdettweiler [2015-12-18 07:28:40] 919*2^1417687-1 is not prime. Res64: 500A7CDB0FA9A7E9 Time : 0.0 sec. user=mdettweiler [2015-12-18 07:28:42] 939*2^1417687-1 is not prime. Res64: 26B373D90F49A7D3 Time : 0.0 sec. user=mdettweiler [2015-12-18 07:29:26] 623*2^1417688-1 is not prime. Res64: 5F283E92C6C3086E Time : 0.0 sec. user=mdettweiler [2015-12-18 07:29:27] 677*2^1417688-1 is not prime. Res64: AE9C64FE550CC083 Time : 0.0 sec. user=mdettweiler [2015-12-18 07:46:20] 867*2^1417688-1 is not prime. Res64: 3B859F67F898DE51 Time : 0.0 sec. user=mdettweiler [2015-12-18 07:46:21] 875*2^1417688-1 is not prime. Res64: 82B8943BB2508D88 Time : 0.0 sec. user=mdettweiler [2015-12-18 07:47:03] 899*2^1417688-1 is not prime. Res64: 39B81C6D546DBD1C Time : 0.0 sec. user=mdettweiler [2015-12-18 07:47:04] 959*2^1417688-1 is not prime. Res64: 763B7E8B2C8BED6D Time : 0.0 sec. user=mdettweiler [2015-12-18 08:03:59] 963*2^1417688-1 is not prime. Res64: 81DA7AD986DC15AA Time : 0.0 sec. user=mdettweiler [2015-12-18 08:04:01] 993*2^1417688-1 is not prime. Res64: 318AC63F7EAEB4B8 Time : 0.0 sec. user=mdettweiler [2015-12-18 08:04:39] 667*2^1417689-1 is not prime. Res64: 0E4CC7B90090A500 Time : 0.0 sec. user=mdettweiler [2015-12-18 08:04:41] 669*2^1417689-1 is not prime. Res64: E09A37A1A3B0BE22 Time : 0.0 sec. user=mdettweiler [2015-12-18 08:21:55] 747*2^1417689-1 is not prime. Res64: 59181D6AB57CBF60 Time : 0.0 sec. user=mdettweiler [2015-12-18 08:21:57] 787*2^1417689-1 is not prime. Res64: F766C584D5C241B3 Time : 0.0 sec. user=mdettweiler [2015-12-18 08:22:17] 811*2^1417689-1 is not prime. Res64: FFCD020CF1AE9CFE Time : 0.0 sec. user=mdettweiler [2015-12-18 08:22:18] 817*2^1417689-1 is not prime. Res64: BC4BCF9281A013CE Time : 0.0 sec. user=mdettweiler [2015-12-18 08:39:38] 837*2^1417689-1 is not prime. Res64: AB10E6C6EA10EFBC Time : 0.0 sec. user=mdettweiler [2015-12-18 08:39:39] 909*2^1417689-1 is not prime. Res64: 4B996C4210892165 Time : 0.0 sec. user=mdettweiler [2015-12-18 08:39:51] 999*2^1417689-1 is not prime. Res64: 1D10FC97F9DE2C36 Time : 0.0 sec. user=mdettweiler [2015-12-18 08:39:52] 677*2^1417690-1 is not prime. Res64: C40BF355F868A48E Time : 0.0 sec. user=mdettweiler [2015-12-18 08:57:18] 707*2^1417690-1 is not prime. Res64: 47380EDB25295034 Time : 0.0 sec. user=mdettweiler [2015-12-18 08:57:19] 755*2^1417690-1 is not prime. Res64: 5DEB47D7969B7A00 Time : 0.0 sec. user=mdettweiler [2015-12-18 08:57:29] 777*2^1417690-1 is not prime. Res64: 77F1CEC31723E0FA Time : 0.0 sec. user=mdettweiler [2015-12-18 08:57:30] 911*2^1417690-1 is not prime. Res64: 03A12D36C6243A58 Time : 0.0 sec. user=mdettweiler [2015-12-18 09:14:59] 915*2^1417690-1 is not prime. Res64: EA326D9C3D2EA4DF Time : 0.0 sec. user=mdettweiler [2015-12-18 09:15:02] 941*2^1417690-1 is not prime. Res64: C3D2CD41D41BD99A Time : 0.0 sec. user=mdettweiler [2015-12-18 09:15:08] 951*2^1417690-1 is not prime. Res64: 61308A766AEA5A9E Time : 0.0 sec. user=mdettweiler [2015-12-18 09:15:10] 987*2^1417690-1 is not prime. Res64: A8800CBF5C74636A Time : 0.0 sec. user=mdettweiler [2015-12-18 09:32:44] 753*2^1417691-1 is not prime. Res64: 75297B74EBAAA29C Time : 0.0 sec. user=mdettweiler [2015-12-18 09:32:45] 813*2^1417691-1 is not prime. Res64: 21D3190A85F886F1 Time : 0.0 sec. user=mdettweiler [2015-12-18 09:32:49] 993*2^1417691-1 is not prime. Res64: 7E0FA17DF44E3687 Time : 0.0 sec. user=mdettweiler [2015-12-18 09:32:51] 689*2^1417692-1 is not prime. Res64: 2DFE71D45FDDB3CA Time : 0.0 sec. user=mdettweiler [2015-12-18 09:50:22] 719*2^1417692-1 is not prime. Res64: 70F8B87C6527B22D Time : 0.0 sec. user=mdettweiler [2015-12-18 09:50:23] 749*2^1417692-1 is not prime. Res64: 9543ED56B06631A2 Time : 0.0 sec. user=mdettweiler [2015-12-18 09:50:28] 759*2^1417692-1 is not prime. Res64: 1D3D2E84C6DA42F1 Time : 0.0 sec. user=mdettweiler [2015-12-18 09:50:29] 873*2^1417692-1 is not prime. Res64: 90773D3BFCA441C1 Time : 0.0 sec. user=mdettweiler [2015-12-18 10:07:59] 987*2^1417692-1 is not prime. Res64: 991294873270F846 Time : 0.0 sec. user=mdettweiler [2015-12-18 10:08:00] 999*2^1417692-1 is not prime. Res64: D39C98DA32A70828 Time : 0.0 sec. user=mdettweiler [2015-12-18 10:08:03] 639*2^1417693-1 is not prime. Res64: 89C09DA95849EC0E Time : 0.0 sec. user=mdettweiler [2015-12-18 10:08:05] 685*2^1417693-1 is not prime. Res64: 260094CF962F94DB Time : 0.0 sec. user=mdettweiler [2015-12-18 10:25:36] 747*2^1417693-1 is not prime. Res64: D4C4A5D9837AC306 Time : 0.0 sec. user=mdettweiler [2015-12-18 10:25:37] 847*2^1417693-1 is not prime. Res64: 9F18363BD0B9732A Time : 0.0 sec. user=mdettweiler [2015-12-18 10:25:39] 987*2^1417693-1 is not prime. Res64: 48FF514471FFD352 Time : 0.0 sec. user=mdettweiler [2015-12-18 10:25:39] 767*2^1417694-1 is not prime. Res64: C590850E5699180B Time : 0.0 sec. user=mdettweiler [2015-12-18 10:43:03] 825*2^1417694-1 is not prime. Res64: A85A2506B683212C Time : 0.0 sec. user=mdettweiler [2015-12-18 10:43:03] 861*2^1417694-1 is not prime. Res64: D90EAF94D9CA6586 Time : 0.0 sec. user=mdettweiler [2015-12-18 10:43:04] 873*2^1417694-1 is not prime. Res64: B603EDFFBD8C7A54 Time : 0.0 sec. user=mdettweiler [2015-12-18 10:43:05] 941*2^1417694-1 is not prime. Res64: 9A3063299CE616E4 Time : 0.0 sec. user=mdettweiler [2015-12-18 11:00:31] 643*2^1417695-1 is not prime. Res64: 0D43713FEC4AD0E9 Time : 0.0 sec. user=mdettweiler [2015-12-18 11:00:32] 775*2^1417695-1 is not prime. Res64: D859CC52D76C245C Time : 0.0 sec. user=mdettweiler [2015-12-18 11:00:32] 829*2^1417695-1 is not prime. Res64: 635C8CC9FF4A4A9E Time : 0.0 sec. user=mdettweiler [2015-12-18 11:00:33] 949*2^1417695-1 is not prime. Res64: 6E0A29B9939E3198 Time : 0.0 sec. user=mdettweiler [2015-12-18 11:18:03] 961*2^1417695-1 is not prime. Res64: 8C7BDF28236343CC Time : 0.0 sec. user=mdettweiler [2015-12-18 11:18:03] 825*2^1417696-1 is not prime. Res64: 40FC5806F19B6AC4 Time : 0.0 sec. user=mdettweiler [2015-12-18 11:18:03] 963*2^1417695-1 is not prime. Res64: 272AB611852FAB42 Time : 0.0 sec. user=mdettweiler [2015-12-18 11:18:03] 839*2^1417696-1 is not prime. Res64: F186074363D7CC42 Time : 0.0 sec. user=mdettweiler [2015-12-18 11:35:32] 927*2^1417696-1 is not prime. Res64: C309B82CE1C8C0B1 Time : 0.0 sec. user=mdettweiler [2015-12-18 11:35:32] 933*2^1417696-1 is not prime. Res64: A26D60AC489820E4 Time : 0.0 sec. user=mdettweiler [2015-12-18 11:35:35] 969*2^1417696-1 is not prime. Res64: 8505C74091FF0D67 Time : 0.0 sec. user=mdettweiler [2015-12-18 11:35:36] 975*2^1417696-1 is not prime. Res64: 329660825C5FE606 Time : 0.0 sec. user=mdettweiler [2015-12-18 11:53:00] 691*2^1417697-1 is not prime. Res64: 547EA0C728117AA1 Time : 0.0 sec. user=mdettweiler [2015-12-18 11:53:00] 729*2^1417697-1 is not prime. Res64: C6EB0E1435A29223 Time : 0.0 sec. user=mdettweiler [2015-12-18 11:53:02] 777*2^1417697-1 is not prime. Res64: 985F9F57E8803732 Time : 0.0 sec. user=mdettweiler [2015-12-18 11:53:03] 829*2^1417697-1 is not prime. Res64: 8AB479F820C2C86E Time : 0.0 sec. user=mdettweiler [2015-12-18 12:10:45] 909*2^1417697-1 is not prime. Res64: F6CD93CD71C7C669 Time : 0.0 sec. user=mdettweiler [2015-12-18 12:10:46] 641*2^1417698-1 is not prime. Res64: 9AFFE32AD7813FAD Time : 0.0 sec. user=mdettweiler [2015-12-18 12:10:47] 893*2^1417698-1 is not prime. Res64: 555B875D0E63E0FB Time : 0.0 sec. user=mdettweiler [2015-12-18 12:10:48] 971*2^1417698-1 is not prime. Res64: E03AB480BA3CCF45 Time : 0.0 sec. user=mdettweiler [2015-12-18 12:28:29] 735*2^1417699-1 is not prime. Res64: A3B51312DBE94F24 Time : 0.0 sec. user=mdettweiler [2015-12-18 12:28:30] 745*2^1417699-1 is not prime. Res64: AD9CC936F7BA0F8F Time : 0.0 sec. user=mdettweiler [2015-12-18 12:28:30] 685*2^1417699-1 is not prime. Res64: 606C931C34F5BBE0 Time : 0.0 sec. user=mdettweiler [2015-12-18 12:28:30] 693*2^1417699-1 is not prime. Res64: B380FB45A1FE1D38 Time : 0.0 sec. user=mdettweiler [2015-12-18 12:46:05] 843*2^1417699-1 is not prime. Res64: BAE76356385716CB Time : 0.0 sec. user=mdettweiler [2015-12-18 12:46:05] 931*2^1417699-1 is not prime. Res64: C7195B3EF98332D9 Time : 0.0 sec. user=mdettweiler [2015-12-18 12:46:06] 769*2^1417699-1 is not prime. Res64: E4B2F846860D2487 Time : 0.0 sec. user=mdettweiler [2015-12-18 12:46:07] 771*2^1417699-1 is not prime. Res64: 7A466A4B99EA9174 Time : 0.0 sec. user=mdettweiler [2015-12-18 13:03:41] 659*2^1417700-1 is not prime. Res64: FBF5233C1BB56948 Time : 0.0 sec. user=mdettweiler [2015-12-18 13:03:42] 795*2^1417700-1 is not prime. Res64: 40E4B937A81351DF Time : 0.0 sec. user=mdettweiler [2015-12-18 13:03:42] 677*2^1417700-1 is not prime. Res64: B14E34F7CDFAC16B Time : 0.0 sec. user=mdettweiler [2015-12-18 13:03:44] 843*2^1417700-1 is not prime. Res64: 1EF4AFAA5877EF6A Time : 0.0 sec. user=mdettweiler [2015-12-18 13:21:41] 893*2^1417700-1 is not prime. Res64: FA041162E4205C96 Time : 0.0 sec. user=mdettweiler [2015-12-18 13:21:42] 935*2^1417700-1 is not prime. Res64: 47F3C951510D894E Time : 0.0 sec. user=mdettweiler [2015-12-18 13:21:43] 945*2^1417700-1 is not prime. Res64: 4CE56736567F40D4 Time : 0.0 sec. user=mdettweiler [2015-12-18 13:21:43] 711*2^1417701-1 is not prime. Res64: 06CEFD2CDBC21F5C Time : 0.0 sec. user=mdettweiler [2015-12-18 13:39:14] 885*2^1417701-1 is not prime. Res64: 584792E69C7A2518 Time : 0.0 sec. user=mdettweiler [2015-12-18 13:39:14] 927*2^1417701-1 is not prime. Res64: D772B40A6842E1D3 Time : 0.0 sec. user=mdettweiler [2015-12-18 13:39:14] 987*2^1417701-1 is not prime. Res64: 371E37FA4F5696A5 Time : 0.0 sec. user=mdettweiler [2015-12-18 13:39:15] 603*2^1417702-1 is not prime. Res64: 97C2EFD6E1ED0D2D Time : 0.0 sec. user=mdettweiler [2015-12-18 13:56:49] 843*2^1417702-1 is not prime. Res64: 7BDC9153652068C0 Time : 0.0 sec. user=mdettweiler [2015-12-18 13:56:49] 855*2^1417702-1 is not prime. Res64: B5F8CBF917CB486B Time : 0.0 sec. user=mdettweiler [2015-12-18 13:56:50] 821*2^1417702-1 is not prime. Res64: CA0EA13AEABB38EA Time : 0.0 sec. user=mdettweiler [2015-12-18 13:56:50] 825*2^1417702-1 is not prime. Res64: 2D5E7F81FB4787CE Time : 0.0 sec. user=mdettweiler [2015-12-18 14:14:22] 873*2^1417702-1 is not prime. Res64: 1BCB58C66DE164B5 Time : 0.0 sec. user=mdettweiler [2015-12-18 14:14:22] 685*2^1417703-1 is not prime. Res64: 889040CF3C46FE58 Time : 0.0 sec. user=mdettweiler [2015-12-18 14:14:22] 915*2^1417702-1 is not prime. Res64: 713D139D4CD89441 Time : 0.0 sec. user=mdettweiler [2015-12-18 14:14:23] 825*2^1417703-1 is not prime. Res64: 16F2056BA5006C9A Time : 0.0 sec. user=mdettweiler [2015-12-18 14:32:01] 913*2^1417703-1 is not prime. Res64: B11177643506BB80 Time : 0.0 sec. user=mdettweiler [2015-12-18 14:32:02] 615*2^1417704-1 is not prime. Res64: 61C234A33E074D77 Time : 0.0 sec. user=mdettweiler [2015-12-18 14:32:02] 605*2^1417704-1 is not prime. Res64: 2E8CFC4B26D84013 Time : 0.0 sec. user=mdettweiler [2015-12-18 14:32:02] 693*2^1417704-1 is not prime. Res64: 54383E4DA3AFF6B0 Time : 0.0 sec. user=mdettweiler [2015-12-18 14:49:39] 811*2^1417705-1 is not prime. Res64: 55839BEF4293DF05 Time : 0.0 sec. user=mdettweiler [2015-12-18 14:49:39] 905*2^1417704-1 is not prime. Res64: 110D68A0D6F8C0FD Time : 0.0 sec. user=mdettweiler [2015-12-18 14:49:39] 895*2^1417705-1 is not prime. Res64: BE400EDD402E027E Time : 0.0 sec. user=mdettweiler [2015-12-18 14:49:39] 927*2^1417704-1 is not prime. Res64: 4F8C38721901AD9A Time : 0.0 sec. user=mdettweiler [2015-12-18 15:07:15] 671*2^1417706-1 is not prime. Res64: 694BC0F697ED2EFD Time : 0.0 sec. user=mdettweiler [2015-12-18 15:07:17] 683*2^1417706-1 is not prime. Res64: D37A384D0F7D2D21 Time : 0.0 sec. user=mdettweiler [2015-12-18 15:07:19] 999*2^1417705-1 is not prime. Res64: 40FE1AD156527DBA Time : 0.0 sec. user=mdettweiler [2015-12-18 15:07:20] 615*2^1417706-1 is not prime. Res64: 8BB69A2635FA9A82 Time : 0.0 sec. user=mdettweiler [2015-12-18 15:25:01] 741*2^1417706-1 is not prime. Res64: 048D58FAA0732667 Time : 0.0 sec. user=mdettweiler [2015-12-18 15:25:01] 705*2^1417706-1 is not prime. Res64: E6E5327824305405 Time : 0.0 sec. user=mdettweiler [2015-12-18 15:25:01] 851*2^1417706-1 is not prime. Res64: 8913A00963AC5365 Time : 0.0 sec. user=mdettweiler [2015-12-18 15:25:01] 707*2^1417706-1 is not prime. Res64: 88FD1ED15E95FB49 Time : 0.0 sec. user=mdettweiler [2015-12-18 15:42:34] 873*2^1417706-1 is not prime. Res64: 7FC9E0A57E61987B Time : 0.0 sec. user=mdettweiler [2015-12-18 15:42:34] 609*2^1417707-1 is not prime. Res64: 078801EFAD1C5953 Time : 0.0 sec. user=mdettweiler [2015-12-18 15:42:34] 917*2^1417706-1 is not prime. Res64: 5402DD68E756CB45 Time : 0.0 sec. user=mdettweiler [2015-12-18 15:42:34] 801*2^1417707-1 is not prime. Res64: 10F7B045DDB7B1F1 Time : 0.0 sec. user=mdettweiler [2015-12-18 16:00:10] 819*2^1417707-1 is not prime. Res64: 6A4D1ED038007067 Time : 0.0 sec. user=mdettweiler [2015-12-18 16:00:11] 829*2^1417707-1 is not prime. Res64: 7786D9F22C3155F8 Time : 0.0 sec. user=mdettweiler [2015-12-18 16:00:12] 945*2^1417707-1 is not prime. Res64: 1177BECDC546DC20 Time : 0.0 sec. user=mdettweiler [2015-12-18 16:00:13] 623*2^1417708-1 is not prime. Res64: 6C7BA4C3C5BD9CE4 Time : 0.0 sec. user=mdettweiler [2015-12-18 16:17:58] 707*2^1417708-1 is not prime. Res64: CA838CE415A5ABE9 Time : 0.0 sec. user=mdettweiler [2015-12-18 16:17:58] 897*2^1417708-1 is not prime. Res64: 7C9EEB32FDD258FE Time : 0.0 sec. user=mdettweiler [2015-12-18 16:17:58] 777*2^1417708-1 is not prime. Res64: 2C9F0837DC421BBE Time : 0.0 sec. user=mdettweiler [2015-12-18 16:17:58] 899*2^1417708-1 is not prime. Res64: 6E7DF49FA6913F88 Time : 0.0 sec. user=mdettweiler [2015-12-18 16:35:34] 995*2^1417708-1 is not prime. Res64: E448C7D4EF6AF88A Time : 0.0 sec. user=mdettweiler [2015-12-18 16:35:34] 619*2^1417709-1 is not prime. Res64: 22131014343CCBD6 Time : 0.0 sec. user=mdettweiler [2015-12-18 16:35:35] 621*2^1417709-1 is not prime. Res64: 634BA16B22C7AA00 Time : 0.0 sec. user=mdettweiler [2015-12-18 16:35:35] 627*2^1417709-1 is not prime. Res64: B7CEFDDAFA1011B0 Time : 0.0 sec. user=mdettweiler [2015-12-18 16:53:08] 691*2^1417709-1 is not prime. Res64: 9C937C0AC97F4F70 Time : 0.0 sec. user=mdettweiler [2015-12-18 16:53:09] 795*2^1417709-1 is not prime. Res64: 3CD329BC1ED74725 Time : 0.0 sec. user=mdettweiler [2015-12-18 16:53:10] 811*2^1417709-1 is not prime. Res64: B89F760632B974E6 Time : 0.0 sec. user=mdettweiler [2015-12-18 16:53:11] 879*2^1417709-1 is not prime. Res64: DDE98EE6F3DDDD95 Time : 0.0 sec. user=mdettweiler [2015-12-18 17:10:38] 707*2^1417710-1 is not prime. Res64: 26F13F9341EC3F8F Time : 0.0 sec. user=mdettweiler [2015-12-18 17:10:38] 927*2^1417709-1 is not prime. Res64: 91A78ED18E422520 Time : 0.0 sec. user=mdettweiler [2015-12-18 17:10:39] 725*2^1417710-1 is not prime. Res64: 030E8BA0763CA6C1 Time : 0.0 sec. user=mdettweiler [2015-12-18 17:10:40] 651*2^1417710-1 is not prime. Res64: ECB6541904911371 Time : 0.0 sec. user=mdettweiler [2015-12-18 17:28:25] 777*2^1417710-1 is not prime. Res64: 7FA8AAF122AA1413 Time : 0.0 sec. user=mdettweiler [2015-12-18 17:28:25] 825*2^1417710-1 is not prime. Res64: D4F2EED31E792A23 Time : 0.0 sec. user=mdettweiler [2015-12-18 17:28:26] 791*2^1417710-1 is not prime. Res64: 12C0D7D5436E6C02 Time : 0.0 sec. user=mdettweiler [2015-12-18 17:28:26] 851*2^1417710-1 is not prime. Res64: 7D12314FF78B392E Time : 0.0 sec. user=mdettweiler [2015-12-18 17:45:54] 875*2^1417710-1 is not prime. Res64: 8F9A283EC6611DBD Time : 0.0 sec. user=mdettweiler [2015-12-18 17:45:55] 933*2^1417710-1 is not prime. Res64: 8E157EB0F1671F7B Time : 0.0 sec. user=mdettweiler [2015-12-18 17:45:55] 963*2^1417710-1 is not prime. Res64: C553A422C4219B42 Time : 0.0 sec. user=mdettweiler [2015-12-18 17:45:58] 645*2^1417711-1 is not prime. Res64: 9698194099586252 Time : 0.0 sec. user=mdettweiler [2015-12-18 18:03:26] 685*2^1417711-1 is not prime. Res64: C0111D6E78356C8F Time : 0.0 sec. user=mdettweiler [2015-12-18 18:03:27] 741*2^1417711-1 is not prime. Res64: 79EEC8E42C226073 Time : 0.0 sec. user=mdettweiler [2015-12-18 18:03:29] 709*2^1417711-1 is not prime. Res64: FE01E084C0CFC65F Time : 0.0 sec. user=mdettweiler [2015-12-18 18:03:30] 813*2^1417711-1 is not prime. Res64: 99ECC23C7D37FE03 Time : 0.0 sec. user=mdettweiler [2015-12-18 18:21:24] 975*2^1417711-1 is not prime. Res64: B10D758F11B0C18F Time : 0.0 sec. user=mdettweiler [2015-12-18 18:21:24] 693*2^1417712-1 is not prime. Res64: 6BA9AE1E29F08538 Time : 0.0 sec. user=mdettweiler [2015-12-18 18:21:25] 871*2^1417711-1 is not prime. Res64: 24A6319E73398F9C Time : 0.0 sec. user=mdettweiler [2015-12-18 18:21:26] 885*2^1417711-1 is not prime. Res64: 50FDC9E3FF8484D5 Time : 0.0 sec. user=mdettweiler [2015-12-18 18:38:55] 767*2^1417712-1 is not prime. Res64: A6B6A8AA17FEFD26 Time : 0.0 sec. user=mdettweiler [2015-12-18 18:38:56] 917*2^1417712-1 is not prime. Res64: 44EC287322E020B9 Time : 0.0 sec. user=mdettweiler [2015-12-18 18:38:56] 797*2^1417712-1 is not prime. Res64: BC5F06DC6D646173 Time : 0.0 sec. user=mdettweiler [2015-12-18 18:38:57] 983*2^1417712-1 is not prime. Res64: 9E475F18DC615612 Time : 0.0 sec. user=mdettweiler [2015-12-18 18:56:29] 835*2^1417713-1 is not prime. Res64: 88C4D247139B70C6 Time : 0.0 sec. user=mdettweiler [2015-12-18 18:56:29] 649*2^1417713-1 is not prime. Res64: 2CB0A3374A08C4D7 Time : 0.0 sec. user=mdettweiler [2015-12-18 18:56:30] 837*2^1417713-1 is not prime. Res64: 07202CA340E9B725 Time : 0.0 sec. user=mdettweiler [2015-12-18 18:56:30] 735*2^1417713-1 is not prime. Res64: 41C992ED94C4C3F4 Time : 0.0 sec. user=mdettweiler [2015-12-18 19:13:58] 985*2^1417713-1 is not prime. Res64: 624A9F54791E85A5 Time : 0.0 sec. user=mdettweiler [2015-12-18 19:13:59] 849*2^1417713-1 is not prime. Res64: 1BA7403B56C04EB7 Time : 0.0 sec. user=mdettweiler [2015-12-18 19:14:00] 605*2^1417714-1 is not prime. Res64: 353F2B2E61F49CE5 Time : 0.0 sec. user=mdettweiler [2015-12-18 19:14:00] 951*2^1417713-1 is not prime. Res64: 9AB55D90D7DE746A Time : 0.0 sec. user=mdettweiler [2015-12-18 19:31:43] 621*2^1417714-1 is not prime. Res64: 486C15129F6AA8EC Time : 0.0 sec. user=mdettweiler [2015-12-18 19:31:44] 657*2^1417714-1 is not prime. Res64: 1822ECF05B2AFD14 Time : 0.0 sec. user=mdettweiler [2015-12-18 19:31:44] 645*2^1417714-1 is not prime. Res64: 5966AEFC2F25EB58 Time : 0.0 sec. user=mdettweiler [2015-12-18 19:31:45] 695*2^1417714-1 is not prime. Res64: 41D7FC71734B10D4 Time : 0.0 sec. user=mdettweiler [2015-12-18 19:49:11] 731*2^1417714-1 is not prime. Res64: F5B3D102DB28B158 Time : 0.0 sec. user=mdettweiler [2015-12-18 19:49:12] 747*2^1417714-1 is not prime. Res64: 8BC1D4497EEEFD58 Time : 0.0 sec. user=mdettweiler [2015-12-18 19:49:13] 773*2^1417714-1 is not prime. Res64: E1037BCAB8E8D0DD Time : 0.0 sec. user=mdettweiler [2015-12-18 19:49:14] 633*2^1417715-1 is not prime. Res64: A7EBCA3580C9431B Time : 0.0 sec. user=mdettweiler [2015-12-18 20:06:42] 783*2^1417715-1 is not prime. Res64: ED5577D7E1D9545A Time : 0.0 sec. user=mdettweiler [2015-12-18 20:06:43] 883*2^1417715-1 is not prime. Res64: B0494295FCC769E3 Time : 0.0 sec. user=mdettweiler [2015-12-18 20:06:43] 829*2^1417715-1 is not prime. Res64: 8CF8F1A8609B83E4 Time : 0.0 sec. user=mdettweiler [2015-12-18 20:06:43] 683*2^1417716-1 is not prime. Res64: 9C4707D074E3AF68 Time : 0.0 sec. user=mdettweiler [2015-12-18 20:24:16] 725*2^1417716-1 is not prime. Res64: 18687257837D2D58 Time : 0.0 sec. user=mdettweiler [2015-12-18 20:24:16] 789*2^1417716-1 is not prime. Res64: E86A7F929D85083E Time : 0.0 sec. user=mdettweiler [2015-12-18 20:24:17] 773*2^1417716-1 is not prime. Res64: 98DF2F0976DE1401 Time : 0.0 sec. user=mdettweiler [2015-12-18 20:24:17] 825*2^1417716-1 is not prime. Res64: E775D7DF179EC448 Time : 0.0 sec. user=mdettweiler [2015-12-18 20:41:47] 887*2^1417716-1 is not prime. Res64: 701350A99F1AA103 Time : 0.0 sec. user=mdettweiler [2015-12-18 20:41:48] 843*2^1417716-1 is not prime. Res64: 12E76BC93D20AB22 Time : 0.0 sec. user=mdettweiler [2015-12-18 20:41:48] 983*2^1417716-1 is not prime. Res64: 6F3C4D30079FBF5B Time : 0.0 sec. user=mdettweiler [2015-12-18 20:41:49] 867*2^1417716-1 is not prime. Res64: 4A03B7DF88BCBF94 Time : 0.0 sec. user=mdettweiler [2015-12-18 20:59:18] 667*2^1417717-1 is not prime. Res64: 41D995DA5DF1ADB3 Time : 0.0 sec. user=mdettweiler [2015-12-18 20:59:19] 771*2^1417717-1 is not prime. Res64: 0B9C9FB104268701 Time : 0.0 sec. user=mdettweiler [2015-12-18 20:59:19] 741*2^1417717-1 is not prime. Res64: 6459834ABC5B61F3 Time : 0.0 sec. user=mdettweiler [2015-12-18 20:59:20] 817*2^1417717-1 is not prime. Res64: BBB30DEBD97AAE92 Time : 0.0 sec. user=mdettweiler [2015-12-18 21:16:48] 819*2^1417717-1 is not prime. Res64: 129EF4324CAA109F Time : 0.0 sec. user=mdettweiler [2015-12-18 21:16:48] 831*2^1417717-1 is not prime. Res64: 662022F7AB3A531A Time : 0.0 sec. user=mdettweiler [2015-12-18 21:16:49] 867*2^1417717-1 is not prime. Res64: 8AD7D5E272A2EC12 Time : 0.0 sec. user=mdettweiler [2015-12-18 21:16:49] 871*2^1417717-1 is not prime. Res64: 441C6CC5938C4C53 Time : 0.0 sec. user=mdettweiler [2015-12-18 21:34:20] 889*2^1417717-1 is not prime. Res64: EA55765D8BC81256 Time : 0.0 sec. user=mdettweiler [2015-12-18 21:34:20] 705*2^1417718-1 is not prime. Res64: 4926DC5224EF97B4 Time : 0.0 sec. user=mdettweiler [2015-12-18 21:34:20] 707*2^1417718-1 is not prime. Res64: D88F90DFE4BC4135 Time : 0.0 sec. user=mdettweiler [2015-12-18 21:34:21] 713*2^1417718-1 is not prime. Res64: 7511728CF7EE5A41 Time : 0.0 sec. user=mdettweiler [2015-12-18 21:51:50] 761*2^1417718-1 is not prime. Res64: 332970476553B4E2 Time : 0.0 sec. user=mdettweiler [2015-12-18 21:51:50] 791*2^1417718-1 is not prime. Res64: 5C46F99331C3B1AC Time : 0.0 sec. user=mdettweiler [2015-12-18 21:51:50] 771*2^1417718-1 is not prime. Res64: B1F659394AB007A4 Time : 0.0 sec. user=mdettweiler [2015-12-18 21:51:50] 797*2^1417718-1 is not prime. Res64: 03716D513171AF10 Time : 0.0 sec. user=mdettweiler [2015-12-18 22:09:19] 813*2^1417718-1 is not prime. Res64: 6604E8EB8730AE18 Time : 0.0 sec. user=mdettweiler [2015-12-18 22:09:20] 875*2^1417718-1 is not prime. Res64: BC4CE7058CB5D2F6 Time : 0.0 sec. user=mdettweiler [2015-12-18 22:09:21] 887*2^1417718-1 is not prime. Res64: C1C54B5C1D039E09 Time : 0.0 sec. user=mdettweiler [2015-12-18 22:09:22] 977*2^1417718-1 is not prime. Res64: A17E114E82220EE1 Time : 0.0 sec. user=mdettweiler [2015-12-18 22:26:57] 933*2^1417719-1 is not prime. Res64: 6EBED62CB9E5B8DE Time : 0.0 sec. user=mdettweiler [2015-12-18 22:26:58] 775*2^1417719-1 is not prime. Res64: 9CDBB3FB519195FF Time : 0.0 sec. user=mdettweiler [2015-12-18 22:26:58] 615*2^1417720-1 is not prime. Res64: 38F8CCB096B45273 Time : 0.0 sec. user=mdettweiler [2015-12-18 22:26:58] 789*2^1417719-1 is not prime. Res64: F6C1E7926836A307 Time : 0.0 sec. user=mdettweiler [2015-12-18 22:44:26] 635*2^1417720-1 is not prime. Res64: 515541595A92DD49 Time : 0.0 sec. user=mdettweiler [2015-12-18 22:44:27] 863*2^1417720-1 is not prime. Res64: 8F2D8FDAEE7C527F Time : 0.0 sec. user=mdettweiler [2015-12-18 22:44:27] 849*2^1417720-1 is not prime. Res64: 890661C52E954523 Time : 0.0 sec. user=mdettweiler [2015-12-18 22:44:27] 601*2^1417721-1 is not prime. Res64: 134BD4A51E931C74 Time : 0.0 sec. user=mdettweiler [2015-12-18 23:01:57] 837*2^1417721-1 is not prime. Res64: CBDE9C024A50C3B8 Time : 0.0 sec. user=mdettweiler [2015-12-18 23:01:58] 949*2^1417721-1 is not prime. Res64: FB0924354CA2B310 Time : 0.0 sec. user=mdettweiler [2015-12-18 23:01:59] 711*2^1417722-1 is not prime. Res64: 12292490FEAB6DEF Time : 0.0 sec. user=mdettweiler [2015-12-18 23:01:59] 945*2^1417721-1 is not prime. Res64: DD6617E09A373216 Time : 0.0 sec. user=mdettweiler [2015-12-18 23:19:47] 741*2^1417722-1 is not prime. Res64: 6CE3D02DCBC92D5E Time : 0.0 sec. user=mdettweiler [2015-12-18 23:19:48] 631*2^1417723-1 is not prime. Res64: 3342594FF09FB0E6 Time : 0.0 sec. user=mdettweiler [2015-12-18 23:19:49] 663*2^1417723-1 is not prime. Res64: 10E4D0CD547ADB70 Time : 0.0 sec. user=mdettweiler [2015-12-18 23:19:49] 617*2^1417724-1 is not prime. Res64: 1FEC29F8C5F8DAF3 Time : 0.0 sec. user=mdettweiler [2015-12-18 23:37:18] 749*2^1417724-1 is not prime. Res64: 26EFB4B3A3C70D02 Time : 0.0 sec. user=mdettweiler [2015-12-18 23:37:18] 827*2^1417724-1 is not prime. Res64: A46B3BD8904912D3 Time : 0.0 sec. user=mdettweiler [2015-12-18 23:37:19] 837*2^1417724-1 is not prime. Res64: FF64814A8AD33C98 Time : 0.0 sec. user=mdettweiler [2015-12-18 23:37:20] 927*2^1417724-1 is not prime. Res64: 9B63A55736BA960C Time : 0.0 sec. user=mdettweiler [2015-12-18 23:54:47] 935*2^1417724-1 is not prime. Res64: B406080BB0A18056 Time : 0.0 sec. user=mdettweiler [2015-12-18 23:54:48] 601*2^1417725-1 is not prime. Res64: 5BD4F04C53E28944 Time : 0.0 sec. user=mdettweiler [2015-12-18 23:54:49] 651*2^1417725-1 is not prime. Res64: 3D7A69E6CA692EED Time : 0.0 sec. user=mdettweiler [2015-12-18 23:54:49] 787*2^1417725-1 is not prime. Res64: 02677FE15D52E1B7 Time : 0.0 sec.