user=mdettweiler [2016-09-22 00:01:58] 813*2^1440410-1 is not prime. Res64: D987C218FAEDCE02 Time : 0.0 sec. user=mdettweiler [2016-09-22 00:01:58] 623*2^1440410-1 is not prime. Res64: 04ABCA8F3D9C13DD Time : 0.0 sec. user=mdettweiler [2016-09-22 00:01:58] 827*2^1440410-1 is not prime. Res64: B0146244B161E5AA Time : 0.0 sec. user=mdettweiler [2016-09-22 00:01:58] 675*2^1440410-1 is not prime. Res64: 1A3D3C67454E73CA Time : 0.0 sec. user=mdettweiler [2016-09-22 00:01:58] 845*2^1440410-1 is not prime. Res64: 05CC72A313CC9D52 Time : 0.0 sec. user=mdettweiler [2016-09-22 00:01:58] 713*2^1440410-1 is not prime. Res64: 93397467C79A6780 Time : 0.0 sec. user=mdettweiler [2016-09-22 00:01:58] 861*2^1440410-1 is not prime. Res64: 880E018916D15BDC Time : 0.0 sec. user=mdettweiler [2016-09-22 00:01:59] 717*2^1440410-1 is not prime. Res64: 52A032BC37F0C1F9 Time : 0.0 sec. user=mdettweiler [2016-09-22 00:01:59] 953*2^1440410-1 is not prime. Res64: D6EEE5E475293CBF Time : 0.0 sec. user=mdettweiler [2016-09-22 00:01:59] 797*2^1440410-1 is not prime. Res64: E5A6605BF6881475 Time : 0.0 sec. user=mdettweiler [2016-09-22 00:32:33] 971*2^1440410-1 is not prime. Res64: E5903FFBCA6A8887 Time : 0.0 sec. user=mdettweiler [2016-09-22 00:32:33] 625*2^1440411-1 is not prime. Res64: 75FF43AC6E40D04C Time : 0.0 sec. user=mdettweiler [2016-09-22 00:32:33] 643*2^1440411-1 is not prime. Res64: 1ACCAACD9C59B981 Time : 0.0 sec. user=mdettweiler [2016-09-22 00:32:34] 649*2^1440411-1 is not prime. Res64: DF69ABD33839B93C Time : 0.0 sec. user=mdettweiler [2016-09-22 00:32:34] 669*2^1440411-1 is not prime. Res64: 3250D3624A739317 Time : 0.0 sec. user=mdettweiler [2016-09-22 00:44:52] 705*2^1440411-1 is not prime. Res64: 3D3CFED7C637082F Time : 0.0 sec. user=mdettweiler [2016-09-22 00:44:53] 751*2^1440411-1 is not prime. Res64: C0729548006D1E09 Time : 0.0 sec. user=mdettweiler [2016-09-22 00:44:53] 775*2^1440411-1 is not prime. Res64: EECA742D3A74236E Time : 0.0 sec. user=mdettweiler [2016-09-22 00:44:53] 879*2^1440411-1 is not prime. Res64: CC71BAC4BC1E42F0 Time : 0.0 sec. user=mdettweiler [2016-09-22 00:44:54] 639*2^1440412-1 is not prime. Res64: 22159516526C2F17 Time : 0.0 sec. user=mdettweiler [2016-09-22 00:51:32] 749*2^1440412-1 is not prime. Res64: E0F3BDE2571A06A8 Time : 0.0 sec. user=mdettweiler [2016-09-22 00:51:33] 803*2^1440412-1 is not prime. Res64: BA17AC293AC1B14E Time : 0.0 sec. user=mdettweiler [2016-09-22 00:51:33] 607*2^1440413-1 is not prime. Res64: 8C99D8F9770FDAA1 Time : 0.0 sec. user=mdettweiler [2016-09-22 00:51:33] 675*2^1440413-1 is not prime. Res64: 9B7C568C88933855 Time : 0.0 sec. user=mdettweiler [2016-09-22 00:51:33] 685*2^1440413-1 is not prime. Res64: 6BED1683B5974B07 Time : 0.0 sec. user=mdettweiler [2016-09-22 00:52:17] 857*2^1440412-1 is not prime. Res64: FEABCA3FE4404B3C Time : 0.0 sec. user=mdettweiler [2016-09-22 00:52:17] 869*2^1440412-1 is not prime. Res64: 9DCC9CFEB7072BB8 Time : 0.0 sec. user=mdettweiler [2016-09-22 00:52:17] 899*2^1440412-1 is not prime. Res64: 6246C720C8E56B80 Time : 0.0 sec. user=mdettweiler [2016-09-22 00:52:18] 933*2^1440412-1 is not prime. Res64: 8712864750BC23E2 Time : 0.0 sec. user=mdettweiler [2016-09-22 00:52:18] 965*2^1440412-1 is not prime. Res64: ED3AFD33D34C31EA Time : 0.0 sec. user=mdettweiler [2016-09-22 01:23:25] 771*2^1440413-1 is not prime. Res64: 9AD3639F9705FA63 Time : 0.0 sec. user=mdettweiler [2016-09-22 01:23:25] 811*2^1440413-1 is not prime. Res64: D6B585928829A074 Time : 0.0 sec. user=mdettweiler [2016-09-22 01:23:26] 829*2^1440413-1 is not prime. Res64: FFC54709D6D35F91 Time : 0.0 sec. user=mdettweiler [2016-09-22 01:23:26] 939*2^1440413-1 is not prime. Res64: FEEEC16BB5EC6DA3 Time : 0.0 sec. user=mdettweiler [2016-09-22 01:23:26] 945*2^1440413-1 is not prime. Res64: F40BB3DA2AD0AC9F Time : 0.0 sec. user=mdettweiler [2016-09-22 01:36:40] 967*2^1440413-1 is not prime. Res64: 7DF428F87C20FFEF Time : 0.0 sec. user=mdettweiler [2016-09-22 01:36:40] 681*2^1440414-1 is not prime. Res64: 6232BED28792D53C Time : 0.0 sec. user=mdettweiler [2016-09-22 01:36:41] 737*2^1440414-1 is not prime. Res64: 1B34CAC77827FE66 Time : 0.0 sec. user=mdettweiler [2016-09-22 01:36:41] 795*2^1440414-1 is not prime. Res64: 9162CB1946665E4D Time : 0.0 sec. user=mdettweiler [2016-09-22 01:36:41] 893*2^1440414-1 is not prime. Res64: E04A6908D84B154C Time : 0.0 sec. user=mdettweiler [2016-09-22 01:43:08] 903*2^1440414-1 is not prime. Res64: E849F0CCB37B2F2F Time : 0.0 sec. user=mdettweiler [2016-09-22 01:43:09] 921*2^1440414-1 is not prime. Res64: 3CD38EDFE6960A6F Time : 0.0 sec. user=mdettweiler [2016-09-22 01:43:09] 965*2^1440414-1 is not prime. Res64: DABA92DF8E6EFB2C Time : 0.0 sec. user=mdettweiler [2016-09-22 01:43:09] 975*2^1440414-1 is not prime. Res64: 82D45E98E4519492 Time : 0.0 sec. user=mdettweiler [2016-09-22 01:43:10] 883*2^1440415-1 is not prime. Res64: C966D580C664D3FF Time : 0.0 sec. user=mdettweiler [2016-09-22 01:45:19] 915*2^1440415-1 is not prime. Res64: 1D8D531D12A84483 Time : 0.0 sec. user=mdettweiler [2016-09-22 01:45:20] 925*2^1440415-1 is not prime. Res64: CE99569C8492074F Time : 0.0 sec. user=mdettweiler [2016-09-22 01:45:20] 755*2^1440416-1 is not prime. Res64: 7CE3CD99EFD5AC16 Time : 0.0 sec. user=mdettweiler [2016-09-22 01:45:20] 789*2^1440416-1 is not prime. Res64: EA0E2444B2FB8BB8 Time : 0.0 sec. user=mdettweiler [2016-09-22 01:45:20] 815*2^1440416-1 is not prime. Res64: 99A02D6F5809BE14 Time : 0.0 sec. user=mdettweiler [2016-09-22 02:14:17] 833*2^1440416-1 is not prime. Res64: 531BFC1BF553F5BD Time : 0.0 sec. user=mdettweiler [2016-09-22 02:14:18] 855*2^1440416-1 is not prime. Res64: E42B04D2DD92E83A Time : 0.0 sec. user=mdettweiler [2016-09-22 02:14:18] 909*2^1440416-1 is not prime. Res64: 8FFF5898038DE68D Time : 0.0 sec. user=mdettweiler [2016-09-22 02:14:18] 765*2^1440417-1 is not prime. Res64: D447BD6574C50096 Time : 0.0 sec. user=mdettweiler [2016-09-22 02:14:19] 835*2^1440417-1 is not prime. Res64: 861E0970E522B09B Time : 0.0 sec. user=mdettweiler [2016-09-22 02:24:40] 847*2^1440417-1 is not prime. Res64: 21099ADB974FB4F9 Time : 0.0 sec. user=mdettweiler [2016-09-22 02:24:41] 865*2^1440417-1 is not prime. Res64: 27DBBDE41752063B Time : 0.0 sec. user=mdettweiler [2016-09-22 02:24:41] 871*2^1440417-1 is not prime. Res64: 3AAC53998CFB6168 Time : 0.0 sec. user=mdettweiler [2016-09-22 02:24:42] 885*2^1440417-1 is not prime. Res64: C44856B2FCFF857B Time : 0.0 sec. user=mdettweiler [2016-09-22 02:24:42] 949*2^1440417-1 is not prime. Res64: 8404811B51AF328E Time : 0.0 sec. user=mdettweiler [2016-09-22 02:30:46] 621*2^1440418-1 is not prime. Res64: 622A1FF25544A51D Time : 0.0 sec. user=mdettweiler [2016-09-22 02:30:52] 777*2^1440418-1 is not prime. Res64: 2B6680E1389E8CCC Time : 0.0 sec. user=mdettweiler [2016-09-22 02:30:55] 833*2^1440418-1 is not prime. Res64: FDEE37099128502F Time : 0.0 sec. user=mdettweiler [2016-09-22 02:30:56] 619*2^1440419-1 is not prime. Res64: BF14A43B209397BD Time : 0.0 sec. user=mdettweiler [2016-09-22 02:30:58] 645*2^1440419-1 is not prime. Res64: 28F67DE21D7FC3F3 Time : 0.0 sec. user=mdettweiler [2016-09-22 02:32:13] 693*2^1440419-1 is not prime. Res64: 35EC455E8EDD0B2F Time : 0.0 sec. user=mdettweiler [2016-09-22 02:32:16] 711*2^1440419-1 is not prime. Res64: 5E299140F35CA1CD Time : 0.0 sec. user=mdettweiler [2016-09-22 02:32:17] 813*2^1440419-1 is not prime. Res64: 17B2052ABBD83253 Time : 0.0 sec. user=mdettweiler [2016-09-22 02:32:19] 885*2^1440419-1 is not prime. Res64: 30C148448C93A555 Time : 0.0 sec. user=mdettweiler [2016-09-22 02:32:20] 895*2^1440419-1 is not prime. Res64: 6C7C671401B42F88 Time : 0.0 sec. user=mdettweiler [2016-09-22 02:59:15] 943*2^1440419-1 is not prime. Res64: 43677428F0174183 Time : 0.0 sec. user=mdettweiler [2016-09-22 02:59:16] 737*2^1440420-1 is not prime. Res64: F818C367484A511D Time : 0.0 sec. user=mdettweiler [2016-09-22 02:59:16] 915*2^1440420-1 is not prime. Res64: 82F6B4E27BBF16C0 Time : 0.0 sec. user=mdettweiler [2016-09-22 02:59:17] 625*2^1440421-1 is not prime. Res64: 6AF05FE7BC19C8D6 Time : 0.0 sec. user=mdettweiler [2016-09-22 02:59:17] 675*2^1440421-1 is not prime. Res64: E7B94ACAE824038F Time : 0.0 sec. user=mdettweiler [2016-09-22 03:09:32] 769*2^1440421-1 is not prime. Res64: 91CD96530AB9C1A7 Time : 0.0 sec. user=mdettweiler [2016-09-22 03:09:33] 855*2^1440421-1 is not prime. Res64: 2AA5EC53E453F977 Time : 0.0 sec. user=mdettweiler [2016-09-22 03:09:34] 861*2^1440421-1 is not prime. Res64: 484538166E65FB37 Time : 0.0 sec. user=mdettweiler [2016-09-22 03:09:34] 877*2^1440421-1 is not prime. Res64: 14F773497ADA0534 Time : 0.0 sec. user=mdettweiler [2016-09-22 03:09:34] 997*2^1440421-1 is not prime. Res64: 413905B89B992B5C Time : 0.0 sec. user=mdettweiler [2016-09-22 03:16:20] 603*2^1440422-1 is not prime. Res64: 4A61D1D3B1D33CF5 Time : 0.0 sec. user=mdettweiler [2016-09-22 03:16:21] 887*2^1440422-1 is not prime. Res64: 63D66111AA903280 Time : 0.0 sec. user=mdettweiler [2016-09-22 03:16:21] 977*2^1440422-1 is not prime. Res64: 7A7FA6FFD21FFC42 Time : 0.0 sec. user=mdettweiler [2016-09-22 03:16:22] 669*2^1440423-1 is not prime. Res64: 743C0AEFECA7F0C4 Time : 0.0 sec. user=mdettweiler [2016-09-22 03:16:22] 709*2^1440423-1 is not prime. Res64: 375E22B5EF84AA94 Time : 0.0 sec. user=mdettweiler [2016-09-22 03:17:29] 829*2^1440423-1 is not prime. Res64: 133C5155E8FF04D6 Time : 0.0 sec. user=mdettweiler [2016-09-22 03:17:29] 951*2^1440423-1 is not prime. Res64: B30BFDAB155900AC Time : 0.0 sec. user=mdettweiler [2016-09-22 03:17:30] 961*2^1440423-1 is not prime. Res64: 07BA0A4D4F90CFDE Time : 0.0 sec. user=mdettweiler [2016-09-22 03:17:30] 963*2^1440423-1 is not prime. Res64: F39264BD0A0F93CB Time : 0.0 sec. user=mdettweiler [2016-09-22 03:17:30] 973*2^1440423-1 is not prime. Res64: 77703990FABCBFA7 Time : 0.0 sec. user=mdettweiler [2016-09-22 03:44:32] 623*2^1440424-1 is not prime. Res64: 43A1F2124D5E4782 Time : 0.0 sec. user=mdettweiler [2016-09-22 03:44:33] 677*2^1440424-1 is not prime. Res64: 41C80DEE1126A518 Time : 0.0 sec. user=mdettweiler [2016-09-22 03:44:34] 699*2^1440425-1 is not prime. Res64: EE579222D297CE12 Time : 0.0 sec. user=mdettweiler [2016-09-22 03:44:35] 729*2^1440425-1 is not prime. Res64: 899E369D628B652A Time : 0.0 sec. user=mdettweiler [2016-09-22 03:44:35] 771*2^1440425-1 is not prime. Res64: DA901D4764D74378 Time : 0.0 sec. user=mdettweiler [2016-09-22 03:54:45] 775*2^1440425-1 is not prime. Res64: 0A2D8E51172633AB Time : 0.0 sec. user=mdettweiler [2016-09-22 03:54:47] 777*2^1440425-1 is not prime. Res64: C67AEB689C0BF20D Time : 0.0 sec. user=mdettweiler [2016-09-22 03:54:49] 855*2^1440425-1 is not prime. Res64: 0B2753015B8B1354 Time : 0.0 sec. user=mdettweiler [2016-09-22 03:54:50] 867*2^1440425-1 is not prime. Res64: BD3336FF9FE999E7 Time : 0.0 sec. user=mdettweiler [2016-09-22 03:54:52] 909*2^1440425-1 is not prime. Res64: AF17921575640E5B Time : 0.0 sec. user=mdettweiler [2016-09-22 04:01:29] 949*2^1440425-1 is not prime. Res64: 9B47D42F2E35AB83 Time : 0.0 sec. user=mdettweiler [2016-09-22 04:01:34] 985*2^1440425-1 is not prime. Res64: 2BAF0AD0B966B20D Time : 0.0 sec. user=mdettweiler [2016-09-22 04:01:40] 647*2^1440426-1 is not prime. Res64: 38EC6C2A2C84048C Time : 0.0 sec. user=mdettweiler [2016-09-22 04:01:44] 893*2^1440426-1 is not prime. Res64: E9542913A8487FC9 Time : 0.0 sec. user=mdettweiler [2016-09-22 04:01:49] 971*2^1440426-1 is not prime. Res64: 2A4D8724D83E13C6 Time : 0.0 sec. user=mdettweiler [2016-09-22 04:02:38] 619*2^1440427-1 is not prime. Res64: 336BB7BE542A7A88 Time : 0.0 sec. user=mdettweiler [2016-09-22 04:02:42] 645*2^1440427-1 is not prime. Res64: 5F93552F7DEB0363 Time : 0.0 sec. user=mdettweiler [2016-09-22 04:02:48] 675*2^1440427-1 is not prime. Res64: 23359CEB79D79F67 Time : 0.0 sec. user=mdettweiler [2016-09-22 04:02:53] 759*2^1440427-1 is not prime. Res64: DBADFF8240F7AA40 Time : 0.0 sec. user=mdettweiler [2016-09-22 04:02:57] 841*2^1440427-1 is not prime. Res64: EA902B21C0498180 Time : 0.0 sec. user=mdettweiler [2016-09-22 04:30:23] 901*2^1440427-1 is not prime. Res64: 9E59104B7B6FE717 Time : 0.0 sec. user=mdettweiler [2016-09-22 04:30:25] 915*2^1440427-1 is not prime. Res64: E84550FE335410EC Time : 0.0 sec. user=mdettweiler [2016-09-22 04:30:28] 985*2^1440427-1 is not prime. Res64: 2C7E6DD0A408BD85 Time : 0.0 sec. user=mdettweiler [2016-09-22 04:30:29] 753*2^1440428-1 is not prime. Res64: 87C5AD24744F0BA1 Time : 0.0 sec. user=mdettweiler [2016-09-22 04:30:31] 923*2^1440428-1 is not prime. Res64: 2DE7B869F23AD30C Time : 0.0 sec. user=mdettweiler [2016-09-22 04:40:45] 929*2^1440428-1 is not prime. Res64: 5947671DAFEB0E22 Time : 0.0 sec. user=mdettweiler [2016-09-22 04:40:45] 935*2^1440428-1 is not prime. Res64: D57DECFE8AD677FE Time : 0.0 sec. user=mdettweiler [2016-09-22 04:40:46] 969*2^1440428-1 is not prime. Res64: 0088418FEE746D31 Time : 0.0 sec. user=mdettweiler [2016-09-22 04:40:46] 999*2^1440428-1 is not prime. Res64: 98443E0333976A2A Time : 0.0 sec. user=mdettweiler [2016-09-22 04:40:46] 661*2^1440429-1 is not prime. Res64: B72D05EC614D1C46 Time : 0.0 sec. user=mdettweiler [2016-09-22 04:48:32] 691*2^1440429-1 is not prime. Res64: A8499873885D500E Time : 0.0 sec. user=mdettweiler [2016-09-22 04:48:33] 727*2^1440429-1 is not prime. Res64: 9C4BF1885AED241E Time : 0.0 sec. user=mdettweiler [2016-09-22 04:48:33] 861*2^1440429-1 is not prime. Res64: B7F3AA617593F5B7 Time : 0.0 sec. user=mdettweiler [2016-09-22 04:48:34] 865*2^1440429-1 is not prime. Res64: A7E6430EFA670E84 Time : 0.0 sec. user=mdettweiler [2016-09-22 04:48:34] 919*2^1440429-1 is not prime. Res64: 38A808B3F4B17021 Time : 0.0 sec. user=mdettweiler [2016-09-22 04:49:35] 961*2^1440429-1 is not prime. Res64: 060E8064C97FC974 Time : 0.0 sec. user=mdettweiler [2016-09-22 04:49:35] 663*2^1440430-1 is not prime. Res64: 52CA32420219D399 Time : 0.0 sec. user=mdettweiler [2016-09-22 04:49:36] 741*2^1440430-1 is not prime. Res64: 993B79582016E228 Time : 0.0 sec. user=mdettweiler [2016-09-22 04:49:37] 743*2^1440430-1 is not prime. Res64: F8E984659A15E695 Time : 0.0 sec. user=mdettweiler [2016-09-22 04:49:38] 747*2^1440430-1 is not prime. Res64: F199ABFDCD2E11CC Time : 0.0 sec. user=mdettweiler [2016-09-22 05:15:41] 761*2^1440430-1 is not prime. Res64: 0F5B4B49FF7E2DA5 Time : 0.0 sec. user=mdettweiler [2016-09-22 05:15:42] 777*2^1440430-1 is not prime. Res64: 96873B59FCCAD430 Time : 0.0 sec. user=mdettweiler [2016-09-22 05:15:42] 833*2^1440430-1 is not prime. Res64: 8AC3B3053075288D Time : 0.0 sec. user=mdettweiler [2016-09-22 05:15:42] 965*2^1440430-1 is not prime. Res64: 2C8630A781807A55 Time : 0.0 sec. user=mdettweiler [2016-09-22 05:15:43] 981*2^1440430-1 is not prime. Res64: 0ACFA529B82C0DC6 Time : 0.0 sec. user=mdettweiler [2016-09-22 05:25:47] 703*2^1440431-1 is not prime. Res64: E2540BE1F64DA0A9 Time : 0.0 sec. user=mdettweiler [2016-09-22 05:25:48] 921*2^1440431-1 is not prime. Res64: 2F12389E647DA435 Time : 0.0 sec. user=mdettweiler [2016-09-22 05:25:48] 945*2^1440431-1 is not prime. Res64: 348CFB49AE72A1CF Time : 0.0 sec. user=mdettweiler [2016-09-22 05:25:49] 635*2^1440432-1 is not prime. Res64: D807855DE413A7DE Time : 0.0 sec. user=mdettweiler [2016-09-22 05:25:49] 695*2^1440432-1 is not prime. Res64: 33539CF2C16AF122 Time : 0.0 sec. user=mdettweiler [2016-09-22 05:33:26] 699*2^1440432-1 is not prime. Res64: 9C36EFEFB5191225 Time : 0.0 sec. user=mdettweiler [2016-09-22 05:33:27] 725*2^1440432-1 is not prime. Res64: CC384AED1EEEA234 Time : 0.0 sec. user=mdettweiler [2016-09-22 05:33:27] 767*2^1440432-1 is not prime. Res64: 00EEBB7D645AB6C4 Time : 0.0 sec. user=mdettweiler [2016-09-22 05:33:28] 809*2^1440432-1 is not prime. Res64: 0AC51FA07D2AFA18 Time : 0.0 sec. user=mdettweiler [2016-09-22 05:33:28] 747*2^1440433-1 is not prime. Res64: 0ECB47B8A79E5326 Time : 0.0 sec. user=mdettweiler [2016-09-22 05:34:26] 817*2^1440433-1 is not prime. Res64: BE111B8CA43902D2 Time : 0.0 sec. user=mdettweiler [2016-09-22 05:34:27] 889*2^1440433-1 is not prime. Res64: A838F4781AC4FAE1 Time : 0.0 sec. user=mdettweiler [2016-09-22 05:34:27] 901*2^1440433-1 is not prime. Res64: ABF5F1F5000A3F3B Time : 0.0 sec. user=mdettweiler [2016-09-22 05:34:28] 951*2^1440433-1 is not prime. Res64: A568DA1C3F6636E5 Time : 0.0 sec. user=mdettweiler [2016-09-22 05:34:29] 987*2^1440433-1 is not prime. Res64: BBC3DDF5393059D8 Time : 0.0 sec. user=mdettweiler [2016-09-22 06:00:41] 999*2^1440433-1 is not prime. Res64: 493FE0427356D887 Time : 0.0 sec. user=mdettweiler [2016-09-22 06:00:42] 623*2^1440434-1 is not prime. Res64: 604DD4EB25A5E1B1 Time : 0.0 sec. user=mdettweiler [2016-09-22 06:00:43] 671*2^1440434-1 is not prime. Res64: EBA91854E7DB5EB2 Time : 0.0 sec. user=mdettweiler [2016-09-22 06:00:43] 813*2^1440434-1 is not prime. Res64: DD13BE56608D3DB5 Time : 0.0 sec. user=mdettweiler [2016-09-22 06:00:44] 851*2^1440434-1 is not prime. Res64: 2F57E50E567942DF Time : 0.0 sec. user=mdettweiler [2016-09-22 06:10:45] 941*2^1440434-1 is not prime. Res64: 6F21DE60C57CE36A Time : 0.0 sec. user=mdettweiler [2016-09-22 06:10:46] 669*2^1440435-1 is not prime. Res64: 3B9384CDE2D480AC Time : 0.0 sec. user=mdettweiler [2016-09-22 06:10:46] 699*2^1440435-1 is not prime. Res64: 692ECFD5F041EF40 Time : 0.0 sec. user=mdettweiler [2016-09-22 06:10:47] 895*2^1440435-1 is not prime. Res64: 924A13501F5FA0F5 Time : 0.0 sec. user=mdettweiler [2016-09-22 06:10:47] 955*2^1440435-1 is not prime. Res64: 6696705342216A0F Time : 0.0 sec. user=mdettweiler [2016-09-22 06:18:28] 961*2^1440435-1 is not prime. Res64: 04211B76C79E9F1F Time : 0.0 sec. user=mdettweiler [2016-09-22 06:18:28] 985*2^1440435-1 is not prime. Res64: BA872AC7BF1F8868 Time : 0.0 sec. user=mdettweiler [2016-09-22 06:18:29] 991*2^1440435-1 is not prime. Res64: 1C003774D5CF6DA6 Time : 0.0 sec. user=mdettweiler [2016-09-22 06:18:30] 657*2^1440436-1 is not prime. Res64: EBD8019759C077A1 Time : 0.0 sec. user=mdettweiler [2016-09-22 06:18:30] 699*2^1440436-1 is not prime. Res64: 6CC985C3CA15BF40 Time : 0.0 sec. user=mdettweiler [2016-09-22 06:19:25] 719*2^1440436-1 is not prime. Res64: 1F0E1738818BD98C Time : 0.0 sec. user=mdettweiler [2016-09-22 06:19:26] 873*2^1440436-1 is not prime. Res64: 60875A78F92CA611 Time : 0.0 sec. user=mdettweiler [2016-09-22 06:19:26] 939*2^1440436-1 is not prime. Res64: 5F69071754A963E6 Time : 0.0 sec. user=mdettweiler [2016-09-22 06:19:27] 965*2^1440436-1 is not prime. Res64: D3DB082B29B624F5 Time : 0.0 sec. user=mdettweiler [2016-09-22 06:19:27] 999*2^1440436-1 is not prime. Res64: 28E6186588B90056 Time : 0.0 sec. user=mdettweiler [2016-09-22 06:45:41] 741*2^1440437-1 is not prime. Res64: 759D1E38A8052858 Time : 0.0 sec. user=mdettweiler [2016-09-22 06:45:42] 859*2^1440437-1 is not prime. Res64: 09157390CC31B572 Time : 0.0 sec. user=mdettweiler [2016-09-22 06:45:42] 861*2^1440437-1 is not prime. Res64: 9E3FB7571A9B4B6A Time : 0.0 sec. user=mdettweiler [2016-09-22 06:45:42] 885*2^1440437-1 is not prime. Res64: A26931350608ACB5 Time : 0.0 sec. user=mdettweiler [2016-09-22 06:45:43] 981*2^1440437-1 is not prime. Res64: 96E7370768DB5DEB Time : 0.0 sec. user=mdettweiler [2016-09-22 06:55:38] 641*2^1440438-1 is not prime. Res64: 24E5E189537A3A4D Time : 0.0 sec. user=mdettweiler [2016-09-22 06:55:38] 921*2^1440438-1 is not prime. Res64: 41AAD03A0E8E646A Time : 0.0 sec. user=mdettweiler [2016-09-22 06:55:39] 971*2^1440438-1 is not prime. Res64: 4B849773DADAFBC1 Time : 0.0 sec. user=mdettweiler [2016-09-22 06:55:39] 639*2^1440439-1 is not prime. Res64: E79DDF495CC60D1D Time : 0.0 sec. user=mdettweiler [2016-09-22 06:55:39] 789*2^1440439-1 is not prime. Res64: 1517EA71E7B93937 Time : 0.0 sec. user=mdettweiler [2016-09-22 07:03:24] 913*2^1440439-1 is not prime. Res64: 158CC9AC6BDC7E0E Time : 0.0 sec. user=mdettweiler [2016-09-22 07:03:25] 735*2^1440440-1 is not prime. Res64: C5D57B7B90E843D4 Time : 0.0 sec. user=mdettweiler [2016-09-22 07:03:26] 819*2^1440440-1 is not prime. Res64: 3E5A7FCCA4044D2D Time : 0.0 sec. user=mdettweiler [2016-09-22 07:03:27] 637*2^1440441-1 is not prime. Res64: 8E67CA613EC34445 Time : 0.0 sec. user=mdettweiler [2016-09-22 07:03:28] 649*2^1440441-1 is not prime. Res64: 77B579A9DCE7A2A5 Time : 0.0 sec. user=mdettweiler [2016-09-22 07:04:25] 685*2^1440441-1 is not prime. Res64: 0137B996326F2C6F Time : 0.0 sec. user=mdettweiler [2016-09-22 07:04:26] 745*2^1440441-1 is not prime. Res64: 8F42A44F739354A9 Time : 0.0 sec. user=mdettweiler [2016-09-22 07:04:27] 781*2^1440441-1 is not prime. Res64: 999C93FD6A5A65C5 Time : 0.0 sec. user=mdettweiler [2016-09-22 07:04:28] 837*2^1440441-1 is not prime. Res64: C6108398F2FAA373 Time : 0.0 sec. user=mdettweiler [2016-09-22 07:04:29] 945*2^1440441-1 is not prime. Res64: 32ADD2689920E21E Time : 0.0 sec. user=mdettweiler [2016-09-22 07:30:50] 695*2^1440442-1 is not prime. Res64: BEC15AB3A3E7AF1E Time : 0.0 sec. user=mdettweiler [2016-09-22 07:30:51] 717*2^1440442-1 is not prime. Res64: 48C66A315F001B4E Time : 0.0 sec. user=mdettweiler [2016-09-22 07:30:51] 791*2^1440442-1 is not prime. Res64: F278E222F9DDE8D0 Time : 0.0 sec. user=mdettweiler [2016-09-22 07:30:51] 801*2^1440442-1 is not prime. Res64: CF24C6FEF740FF60 Time : 0.0 sec. user=mdettweiler [2016-09-22 07:30:52] 815*2^1440442-1 is not prime. Res64: 7E37C7528B7B542F Time : 0.0 sec. user=mdettweiler [2016-09-22 07:40:36] 915*2^1440442-1 is not prime. Res64: 0DC79DA12A18A8C6 Time : 0.0 sec. user=mdettweiler [2016-09-22 07:40:37] 951*2^1440442-1 is not prime. Res64: F276C0F15F18F82E Time : 0.0 sec. user=mdettweiler [2016-09-22 07:40:37] 987*2^1440442-1 is not prime. Res64: FF25C327B1266CA1 Time : 0.0 sec. user=mdettweiler [2016-09-22 07:40:38] 619*2^1440443-1 is not prime. Res64: 4B42CB80B44A48F9 Time : 0.0 sec. user=mdettweiler [2016-09-22 07:40:38] 741*2^1440443-1 is not prime. Res64: 1B5FDDC5B1973B13 Time : 0.0 sec. user=mdettweiler [2016-09-22 07:48:32] 771*2^1440443-1 is not prime. Res64: 85CD1B87CCC057A0 Time : 0.0 sec. user=mdettweiler [2016-09-22 07:48:32] 855*2^1440443-1 is not prime. Res64: 3AEA13FD9351F1B2 Time : 0.0 sec. user=mdettweiler [2016-09-22 07:48:33] 879*2^1440443-1 is not prime. Res64: 80725BACE6173971 Time : 0.0 sec. user=mdettweiler [2016-09-22 07:48:33] 915*2^1440443-1 is not prime. Res64: EC2058583F6AF852 Time : 0.0 sec. user=mdettweiler [2016-09-22 07:48:33] 973*2^1440443-1 is not prime. Res64: 7D69EDCBCFCD72D5 Time : 0.0 sec. user=mdettweiler [2016-09-22 07:49:32] 609*2^1440444-1 is not prime. Res64: 5787E9B6D6F80CC0 Time : 0.0 sec. user=mdettweiler [2016-09-22 07:49:32] 719*2^1440444-1 is not prime. Res64: 22A3415CC54EAAEE Time : 0.0 sec. user=mdettweiler [2016-09-22 07:49:33] 749*2^1440444-1 is not prime. Res64: 336E5CBAD7E68485 Time : 0.0 sec. user=mdettweiler [2016-09-22 07:49:33] 969*2^1440444-1 is not prime. Res64: 9B16E95A45978CF2 Time : 0.0 sec. user=mdettweiler [2016-09-22 07:49:33] 661*2^1440445-1 is not prime. Res64: CC6F24CD5DA44EE8 Time : 0.0 sec. user=mdettweiler [2016-09-22 08:16:11] 775*2^1440445-1 is not prime. Res64: 4AA4BC9B978BA79C Time : 0.0 sec. user=mdettweiler [2016-09-22 08:16:11] 915*2^1440445-1 is not prime. Res64: 0420D103131B6814 Time : 0.0 sec. user=mdettweiler [2016-09-22 08:16:12] 997*2^1440445-1 is not prime. Res64: 5E4048968A9F46E9 Time : 0.0 sec. user=mdettweiler [2016-09-22 08:16:12] 641*2^1440446-1 is not prime. Res64: D5149B3D63EEDF64 Time : 0.0 sec. user=mdettweiler [2016-09-22 08:16:13] 815*2^1440446-1 is not prime. Res64: D22C8AA43B8B3CA0 Time : 0.0 sec. user=mdettweiler [2016-09-22 08:25:36] 661*2^1440447-1 is not prime. Res64: A0100C3F352258CF Time : 0.0 sec. user=mdettweiler [2016-09-22 08:25:36] 703*2^1440447-1 is not prime. Res64: 9890BC2FB2544A48 Time : 0.0 sec. user=mdettweiler [2016-09-22 08:25:37] 705*2^1440447-1 is not prime. Res64: 5D35BE7657717187 Time : 0.0 sec. user=mdettweiler [2016-09-22 08:25:37] 831*2^1440447-1 is not prime. Res64: 55A3A905E3E28DB6 Time : 0.0 sec. user=mdettweiler [2016-09-22 08:25:37] 873*2^1440447-1 is not prime. Res64: 6AC1D649C1C97A4D Time : 0.0 sec. user=mdettweiler [2016-09-22 08:33:23] 955*2^1440447-1 is not prime. Res64: 613FE6912D42ED68 Time : 0.0 sec. user=mdettweiler [2016-09-22 08:33:23] 603*2^1440448-1 is not prime. Res64: 8D36B540C3CE5258 Time : 0.0 sec. user=mdettweiler [2016-09-22 08:33:24] 825*2^1440448-1 is not prime. Res64: 1782F4D36DC5E66A Time : 0.0 sec. user=mdettweiler [2016-09-22 08:33:24] 833*2^1440448-1 is not prime. Res64: 09F7B4FF1EC07D07 Time : 0.0 sec. user=mdettweiler [2016-09-22 08:33:24] 839*2^1440448-1 is not prime. Res64: 57537EBA2C7B6748 Time : 0.0 sec. user=mdettweiler [2016-09-22 08:34:41] 887*2^1440448-1 is not prime. Res64: 92CE83D1EC0E07E1 Time : 0.0 sec. user=mdettweiler [2016-09-22 08:34:41] 899*2^1440448-1 is not prime. Res64: 4978052734B1BFBA Time : 0.0 sec. user=mdettweiler [2016-09-22 08:34:42] 909*2^1440448-1 is not prime. Res64: B89B02500645E278 Time : 0.0 sec. user=mdettweiler [2016-09-22 08:34:42] 929*2^1440448-1 is not prime. Res64: 74D68F08FC88DEAC Time : 0.0 sec. user=mdettweiler [2016-09-22 08:34:42] 933*2^1440448-1 is not prime. Res64: C76E457A5FAB00BF Time : 0.0 sec. user=mdettweiler [2016-09-22 09:01:16] 989*2^1440448-1 is not prime. Res64: DF503AAF6219DE5B Time : 0.0 sec. user=mdettweiler [2016-09-22 09:01:17] 637*2^1440449-1 is not prime. Res64: 7AF8EED0801FDDE2 Time : 0.0 sec. user=mdettweiler [2016-09-22 09:01:18] 727*2^1440449-1 is not prime. Res64: 743F2C7A78E12537 Time : 0.0 sec. user=mdettweiler [2016-09-22 09:01:19] 735*2^1440449-1 is not prime. Res64: 7F0187EE9BF5B510 Time : 0.0 sec. user=mdettweiler [2016-09-22 09:01:20] 861*2^1440449-1 is not prime. Res64: 769BCA231C1C6167 Time : 0.0 sec. user=mdettweiler [2016-09-22 09:10:50] 985*2^1440449-1 is not prime. Res64: 68D257961DA4DC6A Time : 0.0 sec. user=mdettweiler [2016-09-22 09:10:50] 825*2^1440450-1 is not prime. Res64: F7706C812301B26B Time : 0.0 sec. user=mdettweiler [2016-09-22 09:10:51] 843*2^1440450-1 is not prime. Res64: EDBBA3CCD608D3E7 Time : 0.0 sec. user=mdettweiler [2016-09-22 09:10:51] 861*2^1440450-1 is not prime. Res64: FB0EB6D3268B8FAE Time : 0.0 sec. user=mdettweiler [2016-09-22 09:10:51] 867*2^1440450-1 is not prime. Res64: 3476FFD0E1756F45 Time : 0.0 sec. user=mdettweiler [2016-09-22 09:18:20] 957*2^1440450-1 is not prime. Res64: 67984807228A88AF Time : 0.0 sec. user=mdettweiler [2016-09-22 09:18:21] 1001*2^1440450-1 is not prime. Res64: 2ADC3DCB7232FC77 Time : 0.0 sec. user=mdettweiler [2016-09-22 09:18:21] 609*2^1440451-1 is not prime. Res64: 4E343A292CC493AF Time : 0.0 sec. user=mdettweiler [2016-09-22 09:18:21] 693*2^1440451-1 is not prime. Res64: 703B7AF71154F734 Time : 0.0 sec. user=mdettweiler [2016-09-22 09:18:22] 709*2^1440451-1 is not prime. Res64: 73F3947C632E16B6 Time : 0.0 sec. user=mdettweiler [2016-09-22 09:19:45] 819*2^1440451-1 is not prime. Res64: 9A3152EF26E39B1C Time : 0.0 sec. user=mdettweiler [2016-09-22 09:19:46] 855*2^1440451-1 is not prime. Res64: 2E640B5E8FE78A25 Time : 0.0 sec. user=mdettweiler [2016-09-22 09:19:47] 925*2^1440451-1 is not prime. Res64: 06D1950E94FF3747 Time : 0.0 sec. user=mdettweiler [2016-09-22 09:19:48] 605*2^1440452-1 is not prime. Res64: 202362AE167D640A Time : 0.0 sec. user=mdettweiler [2016-09-22 09:19:49] 635*2^1440452-1 is not prime. Res64: 4CB076A0D20BC19D Time : 0.0 sec. user=mdettweiler [2016-09-22 09:47:00] 683*2^1440452-1 is not prime. Res64: 4469CB8E1F02C7BD Time : 0.0 sec. user=mdettweiler [2016-09-22 09:47:01] 735*2^1440452-1 is not prime. Res64: 143096BEAF17DE03 Time : 0.0 sec. user=mdettweiler [2016-09-22 09:47:01] 777*2^1440452-1 is not prime. Res64: EF503662DC4A2774 Time : 0.0 sec. user=mdettweiler [2016-09-22 09:47:01] 691*2^1440453-1 is not prime. Res64: 5C4F45BE7B092A86 Time : 0.0 sec. user=mdettweiler [2016-09-22 09:47:02] 759*2^1440453-1 is not prime. Res64: 8B6B8DECEB4B46B8 Time : 0.0 sec. user=mdettweiler [2016-09-22 09:56:33] 765*2^1440453-1 is not prime. Res64: 4B1D05581BB0D307 Time : 0.0 sec. user=mdettweiler [2016-09-22 09:56:33] 787*2^1440453-1 is not prime. Res64: D2CD6D5A02482B19 Time : 0.0 sec. user=mdettweiler [2016-09-22 09:56:33] 811*2^1440453-1 is not prime. Res64: D1B7BDBFBA6C5E82 Time : 0.0 sec. user=mdettweiler [2016-09-22 09:56:34] 819*2^1440453-1 is not prime. Res64: FB448DAD7131687C Time : 0.0 sec. user=mdettweiler [2016-09-22 09:56:34] 835*2^1440453-1 is not prime. Res64: E3CC386594BAB3B2 Time : 0.0 sec. user=mdettweiler [2016-09-22 10:04:00] 901*2^1440453-1 is not prime. Res64: A27C8A55534680CF Time : 0.0 sec. user=mdettweiler [2016-09-22 10:04:02] 949*2^1440453-1 is not prime. Res64: 327F449E17F84415 Time : 0.0 sec. user=mdettweiler [2016-09-22 10:04:03] 605*2^1440454-1 is not prime. Res64: D3822FF9423D07C4 Time : 0.0 sec. user=mdettweiler [2016-09-22 10:04:04] 681*2^1440454-1 is not prime. Res64: E523482FCBA453B9 Time : 0.0 sec. user=mdettweiler [2016-09-22 10:04:04] 773*2^1440454-1 is not prime. Res64: 738B338E4BAB8265 Time : 0.0 sec. user=mdettweiler [2016-09-22 10:05:37] 791*2^1440454-1 is not prime. Res64: F58F0564C890AC09 Time : 0.0 sec. user=mdettweiler [2016-09-22 10:05:39] 815*2^1440454-1 is not prime. Res64: BF35530CF73A072E Time : 0.0 sec. user=mdettweiler [2016-09-22 10:05:40] 827*2^1440454-1 is not prime. Res64: DE2B2841B3F9CA85 Time : 0.0 sec. user=mdettweiler [2016-09-22 10:05:42] 917*2^1440454-1 is not prime. Res64: A8540B6BA18FF373 Time : 0.0 sec. user=mdettweiler [2016-09-22 10:05:43] 601*2^1440455-1 is not prime. Res64: EE74D9B6D07BFC53 Time : 0.0 sec. user=mdettweiler [2016-09-22 10:33:18] 645*2^1440455-1 is not prime. Res64: 0A0C616775110EAE Time : 0.0 sec. user=mdettweiler [2016-09-22 10:33:18] 771*2^1440455-1 is not prime. Res64: 840450F9949CDDAF Time : 0.0 sec. user=mdettweiler [2016-09-22 10:33:19] 789*2^1440455-1 is not prime. Res64: 0FF76CAC2AF25B46 Time : 0.0 sec. user=mdettweiler [2016-09-22 10:33:19] 883*2^1440455-1 is not prime. Res64: 0CE7F2D7F45CCEA7 Time : 0.0 sec. user=mdettweiler [2016-09-22 10:33:19] 949*2^1440455-1 is not prime. Res64: F673CC8160F06C55 Time : 0.0 sec. user=mdettweiler [2016-09-22 10:43:46] 979*2^1440455-1 is not prime. Res64: 81BF07866E8FF638 Time : 0.0 sec. user=mdettweiler [2016-09-22 10:43:47] 985*2^1440455-1 is not prime. Res64: 3883EE4DECA4D3BF Time : 0.0 sec. user=mdettweiler [2016-09-22 10:43:47] 635*2^1440456-1 is not prime. Res64: 278A7D51A88C4833 Time : 0.0 sec. user=mdettweiler [2016-09-22 10:43:47] 705*2^1440456-1 is not prime. Res64: A5677087A04610C5 Time : 0.0 sec. user=mdettweiler [2016-09-22 10:43:47] 735*2^1440456-1 is not prime. Res64: 7E8AFDBC9EFA4B88 Time : 0.0 sec. user=mdettweiler [2016-09-22 10:52:27] 765*2^1440456-1 is not prime. Res64: EE0B09909F0BFDAB Time : 0.0 sec. user=mdettweiler [2016-09-22 10:52:27] 867*2^1440456-1 is not prime. Res64: 20439C26A19E4F91 Time : 0.0 sec. user=mdettweiler [2016-09-22 10:52:28] 933*2^1440456-1 is not prime. Res64: A23799B037FF1B54 Time : 0.0 sec. user=mdettweiler [2016-09-22 10:52:28] 607*2^1440457-1 is not prime. Res64: DBE4CF0C30033CBD Time : 0.0 sec. user=mdettweiler [2016-09-22 10:52:28] 819*2^1440457-1 is not prime. Res64: 269ED1A2FB4FDECB Time : 0.0 sec. user=mdettweiler [2016-09-22 10:54:02] 831*2^1440457-1 is not prime. Res64: 8864DC7232C788F5 Time : 0.0 sec. user=mdettweiler [2016-09-22 10:54:02] 835*2^1440457-1 is not prime. Res64: 5EBDA966D07AAFE0 Time : 0.0 sec. user=mdettweiler [2016-09-22 10:54:03] 847*2^1440457-1 is not prime. Res64: B03D1A98A61219E1 Time : 0.0 sec. user=mdettweiler [2016-09-22 10:54:04] 919*2^1440457-1 is not prime. Res64: 6BAC9B35F1294090 Time : 0.0 sec. user=mdettweiler [2016-09-22 10:54:04] 731*2^1440458-1 is not prime. Res64: DF3241C1AFECFB80 Time : 0.0 sec. user=mdettweiler [2016-09-22 11:21:23] 753*2^1440458-1 is not prime. Res64: D896498B496E6AF2 Time : 0.0 sec. user=mdettweiler [2016-09-22 11:21:23] 755*2^1440458-1 is not prime. Res64: F2CD54BFBBBE87DE Time : 0.0 sec. user=mdettweiler [2016-09-22 11:21:24] 797*2^1440458-1 is not prime. Res64: 126F0D144CD41820 Time : 0.0 sec. user=mdettweiler [2016-09-22 11:21:24] 857*2^1440458-1 is not prime. Res64: 0D8D058AB4E603E0 Time : 0.0 sec. user=mdettweiler [2016-09-22 11:21:24] 867*2^1440458-1 is not prime. Res64: 9A82092B2C311D54 Time : 0.0 sec. user=mdettweiler [2016-09-22 11:30:56] 923*2^1440458-1 is not prime. Res64: BCBC86B86D479549 Time : 0.0 sec. user=mdettweiler [2016-09-22 11:30:57] 971*2^1440458-1 is not prime. Res64: 6D6516283D9F88FA Time : 0.0 sec. user=mdettweiler [2016-09-22 11:30:57] 709*2^1440459-1 is not prime. Res64: C0837601B8152F1A Time : 0.0 sec. user=mdettweiler [2016-09-22 11:30:58] 741*2^1440459-1 is not prime. Res64: BC23618893A31750 Time : 0.0 sec. user=mdettweiler [2016-09-22 11:30:58] 751*2^1440459-1 is not prime. Res64: 8CBD673277D33F22 Time : 0.0 sec. user=mdettweiler [2016-09-22 11:51:00] 699*2^1440460-1 is not prime. Res64: 2AB36CCB001AE946 Time : 0.0 sec. user=mdettweiler [2016-09-22 11:51:00] 707*2^1440460-1 is not prime. Res64: 560A0162A76A94FA Time : 0.0 sec. user=mdettweiler [2016-09-22 11:51:01] 717*2^1440460-1 is not prime. Res64: D77CF22A5BE63E72 Time : 0.0 sec. user=mdettweiler [2016-09-22 11:51:01] 827*2^1440460-1 is not prime. Res64: 64E5FECDFEDFC803 Time : 0.0 sec. user=mdettweiler [2016-09-22 11:51:02] 843*2^1440460-1 is not prime. Res64: DA0BF2B2A748434E Time : 0.0 sec. user=mdettweiler [2016-09-22 11:51:09] 789*2^1440459-1 is not prime. Res64: 9AC998D58C206032 Time : 0.0 sec. user=mdettweiler [2016-09-22 11:51:09] 895*2^1440459-1 is not prime. Res64: 1BB5E5F634516EB8 Time : 0.0 sec. user=mdettweiler [2016-09-22 11:51:10] 951*2^1440459-1 is not prime. Res64: 28ED72BCB2C4BDCD Time : 0.0 sec. user=mdettweiler [2016-09-22 11:51:10] 635*2^1440460-1 is not prime. Res64: 6DB9B7E7155CEF6A Time : 0.0 sec. user=mdettweiler [2016-09-22 11:51:11] 687*2^1440460-1 is not prime. Res64: 70FE04043F30418E Time : 0.0 sec. user=mdettweiler [2016-09-22 12:18:29] 909*2^1440460-1 is not prime. Res64: A668D25E1BEA3948 Time : 0.0 sec. user=mdettweiler [2016-09-22 12:18:30] 685*2^1440461-1 is not prime. Res64: E2AD15732C55E2D5 Time : 0.0 sec. user=mdettweiler [2016-09-22 12:18:30] 777*2^1440461-1 is not prime. Res64: E897DF1C91D1993C Time : 0.0 sec. user=mdettweiler [2016-09-22 12:18:31] 805*2^1440461-1 is not prime. Res64: 9306279B7C718AB1 Time : 0.0 sec. user=mdettweiler [2016-09-22 12:18:31] 819*2^1440461-1 is not prime. Res64: 39973C60430D5135 Time : 0.0 sec. user=mdettweiler [2016-09-22 12:30:47] 937*2^1440461-1 is not prime. Res64: D1EDDF2FDF7B713E Time : 0.0 sec. user=mdettweiler [2016-09-22 12:30:48] 621*2^1440462-1 is not prime. Res64: 857412F19095C312 Time : 0.0 sec. user=mdettweiler [2016-09-22 12:30:49] 713*2^1440462-1 is not prime. Res64: 547E7ADE3EB9819C Time : 0.0 sec. user=mdettweiler [2016-09-22 12:30:49] 797*2^1440462-1 is not prime. Res64: 356F16D08A50FAED Time : 0.0 sec. user=mdettweiler [2016-09-22 12:30:50] 807*2^1440462-1 is not prime. Res64: 9599AD8F0F0A111C Time : 0.0 sec. user=mdettweiler [2016-09-22 12:39:42] 917*2^1440462-1 is not prime. Res64: C740B44EB9047416 Time : 0.0 sec. user=mdettweiler [2016-09-22 12:39:43] 977*2^1440462-1 is not prime. Res64: EF6A698AA2E3B563 Time : 0.0 sec. user=mdettweiler [2016-09-22 12:39:43] 663*2^1440463-1 is not prime. Res64: 28B0FD6D0E8920B2 Time : 0.0 sec. user=mdettweiler [2016-09-22 12:39:44] 723*2^1440463-1 is not prime. Res64: 96782A5BD20FF319 Time : 0.0 sec. user=mdettweiler [2016-09-22 12:39:44] 745*2^1440463-1 is not prime. Res64: 29F9B3D3BA8229F4 Time : 0.0 sec. user=mdettweiler [2016-09-22 12:39:47] 751*2^1440463-1 is not prime. Res64: F8EB7780581AD5C2 Time : 0.0 sec. user=mdettweiler [2016-09-22 12:39:48] 813*2^1440463-1 is not prime. Res64: 2D1686A63C77F6E7 Time : 0.0 sec. user=mdettweiler [2016-09-22 12:39:48] 831*2^1440463-1 is not prime. Res64: 87579792A5E4415C Time : 0.0 sec. user=mdettweiler [2016-09-22 12:39:48] 885*2^1440463-1 is not prime. Res64: C1CEDAA7BDAABD22 Time : 0.0 sec. user=mdettweiler [2016-09-22 12:39:49] 915*2^1440463-1 is not prime. Res64: 3EB21D954405960F Time : 0.0 sec. user=mdettweiler [2016-09-22 13:15:51] 609*2^1440465-1 is not prime. Res64: F22958D5D6909110 Time : 0.0 sec. user=mdettweiler [2016-09-22 13:15:52] 721*2^1440465-1 is not prime. Res64: DCBF5256B50208E0 Time : 0.0 sec. user=mdettweiler [2016-09-22 13:15:52] 739*2^1440465-1 is not prime. Res64: 502B0A444CAA9F45 Time : 0.0 sec. user=mdettweiler [2016-09-22 13:15:53] 777*2^1440465-1 is not prime. Res64: 82FA8A99CBB47D9F Time : 0.0 sec. user=mdettweiler [2016-09-22 13:15:53] 885*2^1440465-1 is not prime. Res64: 9C17D9DCF0AB0BDD Time : 0.0 sec. user=mdettweiler [2016-09-22 14:04:56] 957*2^1440466-1 is not prime. Res64: C5FE3CCC26706A4E Time : 0.0 sec. user=mdettweiler [2016-09-22 14:04:57] 633*2^1440467-1 is not prime. Res64: 2D0789D6A7CE2DB0 Time : 0.0 sec. user=mdettweiler [2016-09-22 14:04:58] 673*2^1440467-1 is not prime. Res64: F115EA1A0E315779 Time : 0.0 sec. user=mdettweiler [2016-09-22 14:04:59] 703*2^1440467-1 is not prime. Res64: FB9CE49CFDB1C444 Time : 0.0 sec. user=mdettweiler [2016-09-22 14:05:00] 733*2^1440467-1 is not prime. Res64: A954ABF197BE3C61 Time : 0.0 sec. user=mdettweiler [2016-09-22 14:55:08] 735*2^1440467-1 is not prime. Res64: 0E481BDB56BD7BB0 Time : 0.0 sec. user=mdettweiler [2016-09-22 14:55:08] 825*2^1440467-1 is not prime. Res64: FF1B3BCD4051336C Time : 0.0 sec. user=mdettweiler [2016-09-22 14:55:08] 955*2^1440467-1 is not prime. Res64: 2951C9421F6751F5 Time : 0.0 sec. user=mdettweiler [2016-09-22 14:55:09] 979*2^1440467-1 is not prime. Res64: 0F1231240EAE1DA9 Time : 0.0 sec. user=mdettweiler [2016-09-22 14:55:09] 605*2^1440468-1 is not prime. Res64: 5AAFB2B9213BA110 Time : 0.0 sec. user=mdettweiler [2016-09-22 15:44:34] 657*2^1440468-1 is not prime. Res64: C47DE7B6D135AB87 Time : 0.0 sec. user=mdettweiler [2016-09-22 15:44:35] 735*2^1440468-1 is not prime. Res64: 0C0CC2505D7644AB Time : 0.0 sec. user=mdettweiler [2016-09-22 15:44:35] 737*2^1440468-1 is not prime. Res64: 00E9FF75136959FE Time : 0.0 sec. user=mdettweiler [2016-09-22 15:44:35] 767*2^1440468-1 is not prime. Res64: EAA32AFC4D522E39 Time : 0.0 sec. user=mdettweiler [2016-09-22 15:44:36] 987*2^1440468-1 is not prime. Res64: 3487062848E3A1B7 Time : 0.0 sec. user=mdettweiler [2016-09-22 16:34:41] 639*2^1440469-1 is not prime. Res64: 48F201BF1B55CA1B Time : 0.0 sec. user=mdettweiler [2016-09-22 16:34:42] 825*2^1440469-1 is not prime. Res64: 11A2E0E9EEDA84B4 Time : 0.0 sec. user=mdettweiler [2016-09-22 16:34:42] 877*2^1440469-1 is not prime. Res64: F2647267B75C986B Time : 0.0 sec. user=mdettweiler [2016-09-22 16:34:42] 895*2^1440469-1 is not prime. Res64: 6C3861121B5209AE Time : 0.0 sec. user=mdettweiler [2016-09-22 16:34:43] 931*2^1440469-1 is not prime. Res64: 2D4BB6A78B936CE5 Time : 0.0 sec. user=mdettweiler [2016-09-22 17:30:48] 663*2^1440470-1 is not prime. Res64: 89F1C42EC765DEAE Time : 0.0 sec. user=mdettweiler [2016-09-22 17:30:49] 741*2^1440470-1 is not prime. Res64: A8CB4E94B5639901 Time : 0.0 sec. user=mdettweiler [2016-09-22 17:30:49] 791*2^1440470-1 is not prime. Res64: F06FAC81C0C69BA5 Time : 0.0 sec. user=mdettweiler [2016-09-22 17:30:50] 827*2^1440470-1 is not prime. Res64: 146E0AF9602DBBF0 Time : 0.0 sec. user=mdettweiler [2016-09-22 17:30:50] 851*2^1440470-1 is not prime. Res64: E46A441B116ED145 Time : 0.0 sec. user=mdettweiler [2016-09-22 17:44:55] 933*2^1440463-1 is not prime. Res64: B5C37E0B370BCFF9 Time : 0.0 sec. user=mdettweiler [2016-09-22 17:44:55] 943*2^1440463-1 is not prime. Res64: E4EEBC17CA30BEA7 Time : 0.0 sec. user=mdettweiler [2016-09-22 17:44:55] 855*2^1440464-1 is not prime. Res64: F60492EF23B29D46 Time : 0.0 sec. user=mdettweiler [2016-09-22 17:44:56] 875*2^1440464-1 is not prime. Res64: 717F8F7B728436F9 Time : 0.0 sec. user=mdettweiler [2016-09-22 17:44:56] 929*2^1440464-1 is not prime. Res64: CAF05AF0CAD9B281 Time : 0.0 sec. user=mdettweiler [2016-09-22 18:00:50] 969*2^1440465-1 is not prime. Res64: 3BA40EFDD14985D8 Time : 0.0 sec. user=mdettweiler [2016-09-22 18:00:51] 603*2^1440466-1 is not prime. Res64: 1397BE50954E2EDD Time : 0.0 sec. user=mdettweiler [2016-09-22 18:00:53] 677*2^1440466-1 is not prime. Res64: 596F5E1568C62D4B Time : 0.0 sec. user=mdettweiler [2016-09-22 18:00:54] 723*2^1440466-1 is not prime. Res64: 09DE12B44D01D2B3 Time : 0.0 sec. user=mdettweiler [2016-09-22 18:00:55] 741*2^1440466-1 is not prime. Res64: 7BAA602B7B0D7A76 Time : 0.0 sec. user=mdettweiler [2016-09-22 18:09:54] 765*2^1440466-1 is not prime. Res64: A3564583D7D7D575 Time : 0.0 sec. user=mdettweiler [2016-09-22 18:09:55] 785*2^1440466-1 is not prime. Res64: 8C6FB1EB8251D1A0 Time : 0.0 sec. user=mdettweiler [2016-09-22 18:09:55] 861*2^1440466-1 is not prime. Res64: 0920D0AA97B4DFB4 Time : 0.0 sec. user=mdettweiler [2016-09-22 18:09:55] 873*2^1440466-1 is not prime. Res64: AFED387B8A73D4A6 Time : 0.0 sec. user=mdettweiler [2016-09-22 18:09:56] 917*2^1440466-1 is not prime. Res64: 2D73BA9F8F1C2C4A Time : 0.0 sec. user=mdettweiler [2016-09-22 18:18:20] 613*2^1440471-1 is not prime. Res64: E26FC18323CD9A13 Time : 0.0 sec. user=mdettweiler [2016-09-22 18:18:21] 703*2^1440471-1 is not prime. Res64: 2AB72D6858484B87 Time : 0.0 sec. user=mdettweiler [2016-09-22 18:18:22] 793*2^1440471-1 is not prime. Res64: D37B39D2CD552FE8 Time : 0.0 sec. user=mdettweiler [2016-09-22 18:18:22] 861*2^1440471-1 is not prime. Res64: 187839EB48D5E84F Time : 0.0 sec. user=mdettweiler [2016-09-22 18:18:23] 873*2^1440471-1 is not prime. Res64: B725BB811B03539E Time : 0.0 sec. user=mdettweiler [2016-09-22 18:31:19] 921*2^1440471-1 is not prime. Res64: FB0A09563E11F637 Time : 0.0 sec. user=mdettweiler [2016-09-22 18:31:19] 933*2^1440471-1 is not prime. Res64: EA2CBBAB7C132F15 Time : 0.0 sec. user=mdettweiler [2016-09-22 18:31:19] 955*2^1440471-1 is not prime. Res64: 9A77FE602B675FEE Time : 0.0 sec. user=mdettweiler [2016-09-22 18:31:20] 635*2^1440472-1 is not prime. Res64: 120C10C18230D1D7 Time : 0.0 sec. user=mdettweiler [2016-09-22 18:31:20] 675*2^1440472-1 is not prime. Res64: 4F1D21882C3A1BCE Time : 0.0 sec. user=mdettweiler [2016-09-22 18:46:04] 819*2^1440472-1 is not prime. Res64: EA0AEE7789B7AC98 Time : 0.0 sec. user=mdettweiler [2016-09-22 18:46:04] 843*2^1440472-1 is not prime. Res64: 42716E5815FD9528 Time : 0.0 sec. user=mdettweiler [2016-09-22 18:46:04] 855*2^1440472-1 is not prime. Res64: EF9D50F6D34BC939 Time : 0.0 sec. user=mdettweiler [2016-09-22 18:46:05] 869*2^1440472-1 is not prime. Res64: 4E908856CAF34636 Time : 0.0 sec. user=mdettweiler [2016-09-22 18:46:05] 917*2^1440472-1 is not prime. Res64: 534180616D3FA661 Time : 0.0 sec. user=mdettweiler [2016-09-22 18:54:52] 691*2^1440473-1 is not prime. Res64: D7472AF28F81DF0F Time : 0.0 sec. user=mdettweiler [2016-09-22 18:54:52] 715*2^1440473-1 is not prime. Res64: 1C921EC9332006D0 Time : 0.0 sec. user=mdettweiler [2016-09-22 18:54:52] 775*2^1440473-1 is not prime. Res64: B50C797454B70249 Time : 0.0 sec. user=mdettweiler [2016-09-22 18:54:53] 861*2^1440473-1 is not prime. Res64: 5F1B9A648EA5E2F0 Time : 0.0 sec. user=mdettweiler [2016-09-22 18:54:53] 615*2^1440474-1 is not prime. Res64: 38A5F67FDE279623 Time : 0.0 sec. user=mdettweiler [2016-09-22 19:03:23] 635*2^1440474-1 is not prime. Res64: 379CFB6C8266CD12 Time : 0.0 sec. user=mdettweiler [2016-09-22 19:03:24] 671*2^1440474-1 is not prime. Res64: A54348D88988B4B6 Time : 0.0 sec. user=mdettweiler [2016-09-22 19:03:25] 725*2^1440474-1 is not prime. Res64: 25EBE5F1F1AE58ED Time : 0.0 sec. user=mdettweiler [2016-09-22 19:03:25] 731*2^1440474-1 is not prime. Res64: F5EF2D54D7C289C2 Time : 0.0 sec. user=mdettweiler [2016-09-22 19:03:26] 767*2^1440474-1 is not prime. Res64: CC61D960ED552A98 Time : 0.0 sec. user=mdettweiler [2016-09-22 19:16:33] 783*2^1440474-1 is not prime. Res64: BAE9C64304496855 Time : 0.0 sec. user=mdettweiler [2016-09-22 19:16:34] 791*2^1440474-1 is not prime. Res64: CAF25B26C48629C5 Time : 0.0 sec. user=mdettweiler [2016-09-22 19:16:34] 833*2^1440474-1 is not prime. Res64: 22AE9F0BB2DEF967 Time : 0.0 sec. user=mdettweiler [2016-09-22 19:16:34] 887*2^1440474-1 is not prime. Res64: 08B8158D8CC41C8B Time : 0.0 sec. user=mdettweiler [2016-09-22 19:16:34] 915*2^1440474-1 is not prime. Res64: D06E937724AFBAE7 Time : 0.0 sec. user=mdettweiler [2016-09-22 19:32:57] 633*2^1440475-1 is not prime. Res64: D370B9F2CC8BC2DD Time : 0.0 sec. user=mdettweiler [2016-09-22 19:32:58] 723*2^1440475-1 is not prime. Res64: AF77C4E10A1C8A00 Time : 0.0 sec. user=mdettweiler [2016-09-22 19:32:58] 759*2^1440475-1 is not prime. Res64: 3D73B87BBF1FDA05 Time : 0.0 sec. user=mdettweiler [2016-09-22 19:32:58] 765*2^1440475-1 is not prime. Res64: 647E64E0F6672CDD Time : 0.0 sec. user=mdettweiler [2016-09-22 19:32:58] 771*2^1440475-1 is not prime. Res64: EE39F81846ABD272 Time : 0.0 sec. user=mdettweiler [2016-09-22 19:42:08] 849*2^1440475-1 is not prime. Res64: 908251BA44A1A009 Time : 0.0 sec. user=mdettweiler [2016-09-22 19:42:08] 961*2^1440475-1 is not prime. Res64: E4FA6CA45E041A9E Time : 0.0 sec. user=mdettweiler [2016-09-22 19:42:08] 603*2^1440476-1 is not prime. Res64: 90701FF3005368EE Time : 0.0 sec. user=mdettweiler [2016-09-22 19:42:08] 719*2^1440476-1 is not prime. Res64: 532BA69F13AE92BE Time : 0.0 sec. user=mdettweiler [2016-09-22 19:42:09] 735*2^1440476-1 is not prime. Res64: D6478FEDE2D80D97 Time : 0.0 sec. user=mdettweiler [2016-09-22 19:51:00] 839*2^1440476-1 is not prime. Res64: 04800EECAE2D5AC7 Time : 0.0 sec. user=mdettweiler [2016-09-22 19:51:01] 843*2^1440476-1 is not prime. Res64: 3A0CAFC5A5148B10 Time : 0.0 sec. user=mdettweiler [2016-09-22 19:51:01] 857*2^1440476-1 is not prime. Res64: 4E5D8775C473FF6E Time : 0.0 sec. user=mdettweiler [2016-09-22 19:51:01] 923*2^1440476-1 is not prime. Res64: 2A5FC758B8417AAF Time : 0.0 sec. user=mdettweiler [2016-09-22 19:51:02] 963*2^1440476-1 is not prime. Res64: 3987F91D7F573A4F Time : 0.0 sec. user=mdettweiler [2016-09-22 20:05:33] 983*2^1440476-1 is not prime. Res64: 2F235CC9C164EE15 Time : 0.0 sec. user=mdettweiler [2016-09-22 20:05:36] 999*2^1440476-1 is not prime. Res64: DC70BA4E5B54F30C Time : 0.0 sec. user=mdettweiler [2016-09-22 20:05:38] 601*2^1440477-1 is not prime. Res64: 413C3994342C3446 Time : 0.0 sec. user=mdettweiler [2016-09-22 20:05:39] 669*2^1440477-1 is not prime. Res64: D15A423520DB5BA9 Time : 0.0 sec. user=mdettweiler [2016-09-22 20:05:40] 819*2^1440477-1 is not prime. Res64: ED48EA65A1C0FEAA Time : 0.0 sec. user=mdettweiler [2016-09-22 20:22:28] 937*2^1440477-1 is not prime. Res64: E4EE98963DFD4DD8 Time : 0.0 sec. user=mdettweiler [2016-09-22 20:22:28] 681*2^1440478-1 is not prime. Res64: BB05B8DE876FE790 Time : 0.0 sec. user=mdettweiler [2016-09-22 20:22:29] 773*2^1440478-1 is not prime. Res64: 80FE68059097FCED Time : 0.0 sec. user=mdettweiler [2016-09-22 20:22:29] 827*2^1440478-1 is not prime. Res64: 24D376A48644DDD1 Time : 0.0 sec. user=mdettweiler [2016-09-22 20:22:29] 831*2^1440478-1 is not prime. Res64: 35CD5AD23E8D8613 Time : 0.0 sec. user=mdettweiler [2016-09-22 20:31:33] 915*2^1440478-1 is not prime. Res64: E6D38D800CAE5B85 Time : 0.0 sec. user=mdettweiler [2016-09-22 20:31:34] 993*2^1440478-1 is not prime. Res64: 0882D2A3DD05BC64 Time : 0.0 sec. user=mdettweiler [2016-09-22 20:31:34] 645*2^1440479-1 is not prime. Res64: DFFAF7A16AF40720 Time : 0.0 sec. user=mdettweiler [2016-09-22 20:31:34] 663*2^1440479-1 is not prime. Res64: 9DF84F8D3365CC01 Time : 0.0 sec. user=mdettweiler [2016-09-22 20:31:35] 669*2^1440479-1 is not prime. Res64: FF5EB48A81C3D1AB Time : 0.0 sec. user=mdettweiler [2016-09-22 20:40:05] 693*2^1440479-1 is not prime. Res64: 84F69B501B8B96B5 Time : 0.0 sec. user=mdettweiler [2016-09-22 20:40:05] 703*2^1440479-1 is not prime. Res64: B3E6E2ADCBDEF295 Time : 0.0 sec. user=mdettweiler [2016-09-22 20:40:05] 789*2^1440479-1 is not prime. Res64: 494A525B2858CA75 Time : 0.0 sec. user=mdettweiler [2016-09-22 20:40:06] 799*2^1440479-1 is not prime. Res64: BFB4834A04BBDB73 Time : 0.0 sec. user=mdettweiler [2016-09-22 20:40:06] 859*2^1440479-1 is not prime. Res64: B7E03BC8D6F2CBB2 Time : 0.0 sec. user=mdettweiler [2016-09-22 20:53:47] 879*2^1440479-1 is not prime. Res64: 351731CD116BE3AE Time : 0.0 sec. user=mdettweiler [2016-09-22 20:53:47] 737*2^1440480-1 is not prime. Res64: FEF8408BDE2D7D6D Time : 0.0 sec. user=mdettweiler [2016-09-22 20:53:48] 999*2^1440480-1 is not prime. Res64: A93E6B1C80A54C25 Time : 0.0 sec. user=mdettweiler [2016-09-22 20:53:48] 607*2^1440481-1 is not prime. Res64: 4CDA73A4E05E1FF8 Time : 0.0 sec. user=mdettweiler [2016-09-22 20:53:49] 691*2^1440481-1 is not prime. Res64: BF202F1682CEBE7C Time : 0.0 sec. user=mdettweiler [2016-09-22 21:08:16] 727*2^1440481-1 is not prime. Res64: E3F906E76CD7F2D4 Time : 0.0 sec. user=mdettweiler [2016-09-22 21:08:17] 769*2^1440481-1 is not prime. Res64: 63FB4356EB1EAAF5 Time : 0.0 sec. user=mdettweiler [2016-09-22 21:08:17] 937*2^1440481-1 is not prime. Res64: 314436A4BCD55769 Time : 0.0 sec. user=mdettweiler [2016-09-22 21:08:18] 951*2^1440481-1 is not prime. Res64: 612D8C9028938E81 Time : 0.0 sec. user=mdettweiler [2016-09-22 21:08:18] 975*2^1440481-1 is not prime. Res64: A010714AD44D515A Time : 0.0 sec. user=mdettweiler [2016-09-22 21:16:35] 753*2^1440482-1 is not prime. Res64: CC7A4FBC5D5B1DDD Time : 0.0 sec. user=mdettweiler [2016-09-22 21:16:36] 815*2^1440482-1 is not prime. Res64: 79AA8F011E6DDFB0 Time : 0.0 sec. user=mdettweiler [2016-09-22 21:16:37] 643*2^1440483-1 is not prime. Res64: 453FCCBB220D2127 Time : 0.0 sec. user=mdettweiler [2016-09-22 21:16:37] 765*2^1440483-1 is not prime. Res64: 1A2762F803F6D750 Time : 0.0 sec. user=mdettweiler [2016-09-22 21:16:38] 801*2^1440483-1 is not prime. Res64: B3DC082D28E66FAD Time : 0.0 sec. user=mdettweiler [2016-09-22 21:25:17] 835*2^1440483-1 is not prime. Res64: C9B61D13728B603B Time : 0.0 sec. user=mdettweiler [2016-09-22 21:25:17] 913*2^1440483-1 is not prime. Res64: 6841AB5B2468BAF3 Time : 0.0 sec. user=mdettweiler [2016-09-22 21:25:18] 985*2^1440483-1 is not prime. Res64: CF20E1F6C4573F0C Time : 0.0 sec. user=mdettweiler [2016-09-22 21:25:18] 615*2^1440484-1 is not prime. Res64: 059E1CFA2F40513D Time : 0.0 sec. user=mdettweiler [2016-09-22 21:25:19] 635*2^1440484-1 is not prime. Res64: 97F525039CDB40D8 Time : 0.0 sec. user=mdettweiler [2016-09-22 21:38:34] 663*2^1440484-1 is not prime. Res64: 7A2617A622F93B48 Time : 0.0 sec. user=mdettweiler [2016-09-22 21:38:35] 705*2^1440484-1 is not prime. Res64: 8776C87D827D0B5D Time : 0.0 sec. user=mdettweiler [2016-09-22 21:38:35] 825*2^1440484-1 is not prime. Res64: 0F9378ED7CCE1F40 Time : 0.0 sec. user=mdettweiler [2016-09-22 21:38:36] 899*2^1440484-1 is not prime. Res64: 6841F61DAE244872 Time : 0.0 sec. user=mdettweiler [2016-09-22 21:38:36] 969*2^1440484-1 is not prime. Res64: CB822580A31ED498 Time : 0.0 sec. user=mdettweiler [2016-09-22 21:53:04] 989*2^1440484-1 is not prime. Res64: C73095DE19D9BC31 Time : 0.0 sec. user=mdettweiler [2016-09-22 21:53:05] 651*2^1440485-1 is not prime. Res64: 2F5EA8CE60F97523 Time : 0.0 sec. user=mdettweiler [2016-09-22 21:53:05] 685*2^1440485-1 is not prime. Res64: 9F0C03083AD58D2A Time : 0.0 sec. user=mdettweiler [2016-09-22 21:53:06] 699*2^1440485-1 is not prime. Res64: DBAE076A9D6CA8CE Time : 0.0 sec. user=mdettweiler [2016-09-22 21:53:06] 727*2^1440485-1 is not prime. Res64: 133F53F62791B354 Time : 0.0 sec. user=mdettweiler [2016-09-22 22:01:26] 759*2^1440485-1 is not prime. Res64: 906D50FF9DF8F180 Time : 0.0 sec. user=mdettweiler [2016-09-22 22:01:27] 865*2^1440485-1 is not prime. Res64: 827EBE3AF911B3AD Time : 0.0 sec. user=mdettweiler [2016-09-22 22:01:27] 611*2^1440486-1 is not prime. Res64: 718464B397595D1D Time : 0.0 sec. user=mdettweiler [2016-09-22 22:01:28] 741*2^1440486-1 is not prime. Res64: A15529260A3C0708 Time : 0.0 sec. user=mdettweiler [2016-09-22 22:01:29] 777*2^1440486-1 is not prime. Res64: 1776D9C2D720AC02 Time : 0.0 sec. user=mdettweiler [2016-09-22 22:10:06] 851*2^1440486-1 is not prime. Res64: DCB503E36042D446 Time : 0.0 sec. user=mdettweiler [2016-09-22 22:10:06] 873*2^1440486-1 is not prime. Res64: 5D82D3699739EFC7 Time : 0.0 sec. user=mdettweiler [2016-09-22 22:10:07] 971*2^1440486-1 is not prime. Res64: 3DEA2A43496B1FFD Time : 0.0 sec. user=mdettweiler [2016-09-22 22:10:07] 975*2^1440486-1 is not prime. Res64: 1C15A4F42E075EDE Time : 0.0 sec. user=mdettweiler [2016-09-22 22:10:08] 603*2^1440487-1 is not prime. Res64: CDFD5C03E15EAEAA Time : 0.0 sec. user=mdettweiler [2016-09-22 22:23:21] 615*2^1440487-1 is not prime. Res64: 74162D98E6E28F82 Time : 0.0 sec. user=mdettweiler [2016-09-22 22:23:22] 673*2^1440487-1 is not prime. Res64: 06AD899E597E57BD Time : 0.0 sec. user=mdettweiler [2016-09-22 22:23:22] 693*2^1440487-1 is not prime. Res64: 4D516BC372E14245 Time : 0.0 sec. user=mdettweiler [2016-09-22 22:23:23] 715*2^1440487-1 is not prime. Res64: 3949033F35F04F8F Time : 0.0 sec. user=mdettweiler [2016-09-22 22:23:23] 909*2^1440487-1 is not prime. Res64: 7B55230DA3EFA673 Time : 0.0 sec. user=mdettweiler [2016-09-22 22:37:58] 633*2^1440488-1 is not prime. Res64: 23E99CE575EBA18F Time : 0.0 sec. user=mdettweiler [2016-09-22 22:37:58] 665*2^1440488-1 is not prime. Res64: 47A0A6765B27DFC0 Time : 0.0 sec. user=mdettweiler [2016-09-22 22:37:58] 867*2^1440488-1 is not prime. Res64: 4D1CBF85C4E24C4D Time : 0.0 sec. user=mdettweiler [2016-09-22 22:37:59] 893*2^1440488-1 is not prime. Res64: 571FD708867AF697 Time : 0.0 sec. user=mdettweiler [2016-09-22 22:37:59] 957*2^1440488-1 is not prime. Res64: B9A67C6DAE411C2A Time : 0.0 sec. user=mdettweiler [2016-09-22 22:46:22] 959*2^1440488-1 is not prime. Res64: D327C17A57242414 Time : 0.0 sec. user=mdettweiler [2016-09-22 22:46:22] 675*2^1440489-1 is not prime. Res64: DFBB8EC3553E0D9D Time : 0.0 sec. user=mdettweiler [2016-09-22 22:46:23] 709*2^1440489-1 is not prime. Res64: FD4CB1F5BFF653AE Time : 0.0 sec. user=mdettweiler [2016-09-22 22:46:23] 765*2^1440489-1 is not prime. Res64: E00D2A8AF47D3C1D Time : 0.0 sec. user=mdettweiler [2016-09-22 22:46:24] 795*2^1440489-1 is not prime. Res64: 8CA0964EE6073DFB Time : 0.0 sec. user=mdettweiler [2016-09-22 22:55:24] 807*2^1440489-1 is not prime. Res64: 3E7BD25FDE8F6079 Time : 0.0 sec. user=mdettweiler [2016-09-22 22:55:25] 919*2^1440489-1 is not prime. Res64: F2DFF1D04B57AF78 Time : 0.0 sec. user=mdettweiler [2016-09-22 22:55:25] 951*2^1440489-1 is not prime. Res64: 857B7BAF675A3126 Time : 0.0 sec. user=mdettweiler [2016-09-22 22:55:25] 979*2^1440489-1 is not prime. Res64: 3F030085BFF79CD7 Time : 0.0 sec. user=mdettweiler [2016-09-22 22:55:26] 623*2^1440490-1 is not prime. Res64: 438FDE6AF1DF44E5 Time : 0.0 sec. user=mdettweiler [2016-09-22 23:08:33] 645*2^1440490-1 is not prime. Res64: 974C54AABFF6BE71 Time : 0.0 sec. user=mdettweiler [2016-09-22 23:08:34] 665*2^1440490-1 is not prime. Res64: E3EF598BD3AC9CE6 Time : 0.0 sec. user=mdettweiler [2016-09-22 23:08:34] 687*2^1440490-1 is not prime. Res64: 24917EEEC7038AA8 Time : 0.0 sec. user=mdettweiler [2016-09-22 23:08:34] 765*2^1440490-1 is not prime. Res64: 08BD9CB6992907D8 Time : 0.0 sec. user=mdettweiler [2016-09-22 23:08:35] 801*2^1440490-1 is not prime. Res64: F813A78740588003 Time : 0.0 sec. user=mdettweiler [2016-09-22 23:22:54] 915*2^1440490-1 is not prime. Res64: 3CF30C4F349088E2 Time : 0.0 sec. user=mdettweiler [2016-09-22 23:22:55] 917*2^1440490-1 is not prime. Res64: 78233D93CEA60AE2 Time : 0.0 sec. user=mdettweiler [2016-09-22 23:22:56] 933*2^1440490-1 is not prime. Res64: 5890D868574EC6C7 Time : 0.0 sec. user=mdettweiler [2016-09-22 23:22:56] 619*2^1440491-1 is not prime. Res64: 8DCD3ACD452816AB Time : 0.0 sec. user=mdettweiler [2016-09-22 23:22:57] 621*2^1440491-1 is not prime. Res64: F6F5FFDF5F160F19 Time : 0.0 sec. user=mdettweiler [2016-09-22 23:31:06] 805*2^1440491-1 is not prime. Res64: F890978756258FFD Time : 0.0 sec. user=mdettweiler [2016-09-22 23:31:06] 879*2^1440491-1 is not prime. Res64: AEEFAA0EB13C5806 Time : 0.0 sec. user=mdettweiler [2016-09-22 23:31:06] 913*2^1440491-1 is not prime. Res64: 85B88E5C7E508B45 Time : 0.0 sec. user=mdettweiler [2016-09-22 23:31:07] 979*2^1440491-1 is not prime. Res64: 8E9FD7291802ECE5 Time : 0.0 sec. user=mdettweiler [2016-09-22 23:31:07] 605*2^1440492-1 is not prime. Res64: 2F30A9B638A0ACAB Time : 0.0 sec. user=mdettweiler [2016-09-22 23:40:04] 669*2^1440492-1 is not prime. Res64: 03835FCB5318C597 Time : 0.0 sec. user=mdettweiler [2016-09-22 23:40:05] 675*2^1440492-1 is not prime. Res64: 053BFBD212C57D90 Time : 0.0 sec. user=mdettweiler [2016-09-22 23:40:05] 765*2^1440492-1 is not prime. Res64: D1A30A0C87BACED5 Time : 0.0 sec. user=mdettweiler [2016-09-22 23:40:05] 899*2^1440492-1 is not prime. Res64: D50FFCBFDA8233B3 Time : 0.0 sec. user=mdettweiler [2016-09-22 23:40:06] 691*2^1440493-1 is not prime. Res64: 76749ED4EF07C819 Time : 0.0 sec. user=mdettweiler [2016-09-22 23:53:16] 745*2^1440493-1 is not prime. Res64: 76BE77C90F38BA6F Time : 0.0 sec. user=mdettweiler [2016-09-22 23:53:16] 757*2^1440493-1 is not prime. Res64: A2A427CA878DA66A Time : 0.0 sec. user=mdettweiler [2016-09-22 23:53:17] 877*2^1440493-1 is not prime. Res64: 032BB884D306891E Time : 0.0 sec. user=mdettweiler [2016-09-22 23:53:17] 635*2^1440494-1 is not prime. Res64: 52C9FFB12B2C20E8 Time : 0.0 sec. user=mdettweiler [2016-09-22 23:53:17] 677*2^1440494-1 is not prime. Res64: 9E0A2A57E10991C3 Time : 0.0 sec.