user=mdettweiler [2016-03-31 00:04:45] 875*2^1424858-1 is not prime. Res64: CFB5554D84808466 Time : 0.0 sec. user=mdettweiler [2016-03-31 00:04:46] 893*2^1424858-1 is not prime. Res64: E5CF358295BD950F Time : 0.0 sec. user=mdettweiler [2016-03-31 00:04:47] 915*2^1424858-1 is not prime. Res64: 61A49F12B764FB3F Time : 0.0 sec. user=mdettweiler [2016-03-31 00:04:47] 921*2^1424858-1 is not prime. Res64: 7AADF811953A8587 Time : 0.0 sec. user=mdettweiler [2016-03-31 00:04:48] 601*2^1424859-1 is not prime. Res64: C33383470541456F Time : 0.0 sec. user=mdettweiler [2016-03-31 00:21:22] 703*2^1424859-1 is not prime. Res64: 090FC46D83AEA3E2 Time : 0.0 sec. user=mdettweiler [2016-03-31 00:21:22] 709*2^1424859-1 is not prime. Res64: EF0427198504726F Time : 0.0 sec. user=mdettweiler [2016-03-31 00:21:22] 723*2^1424859-1 is not prime. Res64: 33773DC17CA4CF9C Time : 0.0 sec. user=mdettweiler [2016-03-31 00:21:23] 745*2^1424859-1 is not prime. Res64: C4DD878C90701696 Time : 0.0 sec. user=mdettweiler [2016-03-31 00:21:23] 753*2^1424859-1 is not prime. Res64: AF7E97846956FDA1 Time : 0.0 sec. user=mdettweiler [2016-03-31 00:28:23] 829*2^1424859-1 is not prime. Res64: 15CD95258A405391 Time : 0.0 sec. user=mdettweiler [2016-03-31 00:28:23] 647*2^1424860-1 is not prime. Res64: E3D65BD66155CF74 Time : 0.0 sec. user=mdettweiler [2016-03-31 00:28:24] 665*2^1424860-1 is not prime. Res64: 1512DE8EBCAF47E7 Time : 0.0 sec. user=mdettweiler [2016-03-31 00:28:24] 909*2^1424860-1 is not prime. Res64: 4FF7F6D696F3F522 Time : 0.0 sec. user=mdettweiler [2016-03-31 00:28:25] 927*2^1424860-1 is not prime. Res64: 193E8DCCAD4DFD7B Time : 0.0 sec. user=mdettweiler [2016-03-31 00:41:10] 957*2^1424860-1 is not prime. Res64: E24C07A4D3C6A040 Time : 0.0 sec. user=mdettweiler [2016-03-31 00:41:11] 959*2^1424860-1 is not prime. Res64: 82291E89D1760C15 Time : 0.0 sec. user=mdettweiler [2016-03-31 00:41:11] 615*2^1424861-1 is not prime. Res64: 9BEC8B439B372580 Time : 0.0 sec. user=mdettweiler [2016-03-31 00:41:11] 645*2^1424861-1 is not prime. Res64: 21A4F6B6DED25DFC Time : 0.0 sec. user=mdettweiler [2016-03-31 00:41:12] 711*2^1424861-1 is not prime. Res64: D1CC7806F5116606 Time : 0.0 sec. user=mdettweiler [2016-03-31 00:49:37] 745*2^1424861-1 is not prime. Res64: 566BA87E69AD9D33 Time : 0.0 sec. user=mdettweiler [2016-03-31 00:49:37] 795*2^1424861-1 is not prime. Res64: 233CCC9F6FB56E1B Time : 0.0 sec. user=mdettweiler [2016-03-31 00:49:37] 811*2^1424861-1 is not prime. Res64: 97E67268A0ACDD20 Time : 0.0 sec. user=mdettweiler [2016-03-31 00:49:38] 937*2^1424861-1 is not prime. Res64: 5C8D88315B349F39 Time : 0.0 sec. user=mdettweiler [2016-03-31 00:49:38] 677*2^1424862-1 is not prime. Res64: 76369B75B59106CA Time : 0.0 sec. user=mdettweiler [2016-03-31 01:05:57] 683*2^1424862-1 is not prime. Res64: C93C3DDE4669DE1D Time : 0.0 sec. user=mdettweiler [2016-03-31 01:06:02] 833*2^1424862-1 is not prime. Res64: E70550BCDAC32B78 Time : 0.0 sec. user=mdettweiler [2016-03-31 01:06:04] 957*2^1424862-1 is not prime. Res64: 564C9C88B7E77619 Time : 0.0 sec. user=mdettweiler [2016-03-31 01:06:06] 963*2^1424862-1 is not prime. Res64: DBE33C623C03E458 Time : 0.0 sec. user=mdettweiler [2016-03-31 01:06:08] 975*2^1424862-1 is not prime. Res64: 0A104ABAA7CF89D9 Time : 0.0 sec. user=mdettweiler [2016-03-31 01:13:12] 619*2^1424863-1 is not prime. Res64: A788FAA868B6BC85 Time : 0.0 sec. user=mdettweiler [2016-03-31 01:13:12] 633*2^1424863-1 is not prime. Res64: 150A8579E178C0A1 Time : 0.0 sec. user=mdettweiler [2016-03-31 01:13:12] 663*2^1424863-1 is not prime. Res64: 3C443435D61034CA Time : 0.0 sec. user=mdettweiler [2016-03-31 01:13:13] 681*2^1424863-1 is not prime. Res64: 478512A739D4EA22 Time : 0.0 sec. user=mdettweiler [2016-03-31 01:13:13] 703*2^1424863-1 is not prime. Res64: 88D47514B40665FA Time : 0.0 sec. user=mdettweiler [2016-03-31 01:25:59] 763*2^1424863-1 is not prime. Res64: 06208422D937DDF2 Time : 0.0 sec. user=mdettweiler [2016-03-31 01:26:00] 813*2^1424863-1 is not prime. Res64: 256D171FD1A73A7A Time : 0.0 sec. user=mdettweiler [2016-03-31 01:26:01] 849*2^1424863-1 is not prime. Res64: AB7AF8F775E1F5AD Time : 0.0 sec. user=mdettweiler [2016-03-31 01:26:02] 939*2^1424863-1 is not prime. Res64: 8BE3D0318A238AFA Time : 0.0 sec. user=mdettweiler [2016-03-31 01:26:03] 945*2^1424863-1 is not prime. Res64: 6A844FF76D5A6526 Time : 0.0 sec. user=mdettweiler [2016-03-31 01:34:20] 753*2^1424864-1 is not prime. Res64: 2823D0FC672E60E6 Time : 0.0 sec. user=mdettweiler [2016-03-31 01:34:20] 893*2^1424864-1 is not prime. Res64: 2F14DE8456C8755F Time : 0.0 sec. user=mdettweiler [2016-03-31 01:34:21] 903*2^1424864-1 is not prime. Res64: 4304DC9037C46F05 Time : 0.0 sec. user=mdettweiler [2016-03-31 01:34:21] 691*2^1424865-1 is not prime. Res64: 13E4C96E531F4871 Time : 0.0 sec. user=mdettweiler [2016-03-31 01:34:22] 727*2^1424865-1 is not prime. Res64: 59A4D2500A90DF0B Time : 0.0 sec. user=mdettweiler [2016-03-31 01:51:22] 739*2^1424865-1 is not prime. Res64: E028F692A1C73192 Time : 0.0 sec. user=mdettweiler [2016-03-31 01:51:23] 781*2^1424865-1 is not prime. Res64: ECD11769E91F3D17 Time : 0.0 sec. user=mdettweiler [2016-03-31 01:51:23] 795*2^1424865-1 is not prime. Res64: 77ECFA705310B83E Time : 0.0 sec. user=mdettweiler [2016-03-31 01:51:23] 849*2^1424865-1 is not prime. Res64: 2F59ADC9456F79C6 Time : 0.0 sec. user=mdettweiler [2016-03-31 01:51:24] 617*2^1424866-1 is not prime. Res64: 0A9DB3270B9B140F Time : 0.0 sec. user=mdettweiler [2016-03-31 01:57:46] 653*2^1424866-1 is not prime. Res64: 4815A203047A8FA1 Time : 0.0 sec. user=mdettweiler [2016-03-31 01:57:46] 657*2^1424866-1 is not prime. Res64: 3AF3EB3AE5CFAF83 Time : 0.0 sec. user=mdettweiler [2016-03-31 01:57:47] 723*2^1424866-1 is not prime. Res64: 67B412C67B60BC92 Time : 0.0 sec. user=mdettweiler [2016-03-31 01:57:47] 933*2^1424866-1 is not prime. Res64: 002F819EB3222B44 Time : 0.0 sec. user=mdettweiler [2016-03-31 01:57:48] 609*2^1424867-1 is not prime. Res64: 9AD645243573A48E Time : 0.0 sec. user=mdettweiler [2016-03-31 02:11:09] 699*2^1424867-1 is not prime. Res64: 45ABAC238B24920B Time : 0.0 sec. user=mdettweiler [2016-03-31 02:11:10] 705*2^1424867-1 is not prime. Res64: 42FBA319F9E835A6 Time : 0.0 sec. user=mdettweiler [2016-03-31 02:11:10] 711*2^1424867-1 is not prime. Res64: 65C2C6C57F4C4F6F Time : 0.0 sec. user=mdettweiler [2016-03-31 02:11:10] 759*2^1424867-1 is not prime. Res64: 6B549949C66B126A Time : 0.0 sec. user=mdettweiler [2016-03-31 02:11:11] 859*2^1424867-1 is not prime. Res64: 2D0DD4181A93A5F1 Time : 0.0 sec. user=mdettweiler [2016-03-31 02:19:12] 861*2^1424867-1 is not prime. Res64: 5B9C224F8EA1CDA8 Time : 0.0 sec. user=mdettweiler [2016-03-31 02:19:12] 871*2^1424867-1 is not prime. Res64: 31F13D7FB8D40AE1 Time : 0.0 sec. user=mdettweiler [2016-03-31 02:19:13] 949*2^1424867-1 is not prime. Res64: AB91D3B41191B72C Time : 0.0 sec. user=mdettweiler [2016-03-31 02:19:13] 955*2^1424867-1 is not prime. Res64: CE0D2B6CC6220A36 Time : 0.0 sec. user=mdettweiler [2016-03-31 02:19:14] 689*2^1424868-1 is not prime. Res64: 3B84F083BA7892B3 Time : 0.0 sec. user=mdettweiler [2016-03-31 02:36:21] 759*2^1424868-1 is not prime. Res64: 0BC5C121F94878DB Time : 0.0 sec. user=mdettweiler [2016-03-31 02:36:21] 765*2^1424868-1 is not prime. Res64: A0B14CD8F510BA30 Time : 0.0 sec. user=mdettweiler [2016-03-31 02:36:22] 767*2^1424868-1 is not prime. Res64: FF979D1217102ABF Time : 0.0 sec. user=mdettweiler [2016-03-31 02:36:22] 789*2^1424868-1 is not prime. Res64: A78CD018F1C02059 Time : 0.0 sec. user=mdettweiler [2016-03-31 02:36:23] 819*2^1424868-1 is not prime. Res64: 9502095E66F7058B Time : 0.0 sec. user=mdettweiler [2016-03-31 02:42:21] 837*2^1424868-1 is not prime. Res64: 1A379BC85B37FCB1 Time : 0.0 sec. user=mdettweiler [2016-03-31 02:42:22] 947*2^1424868-1 is not prime. Res64: 7D0DDA9F360EBB50 Time : 0.0 sec. user=mdettweiler [2016-03-31 02:42:22] 687*2^1424869-1 is not prime. Res64: ED1E25FBD7EB407D Time : 0.0 sec. user=mdettweiler [2016-03-31 02:42:23] 799*2^1424869-1 is not prime. Res64: 9EC3D96464D9226E Time : 0.0 sec. user=mdettweiler [2016-03-31 02:42:23] 861*2^1424869-1 is not prime. Res64: 0F6D5DA922E51124 Time : 0.0 sec. user=mdettweiler [2016-03-31 02:55:52] 931*2^1424869-1 is not prime. Res64: 9614BD614F45F395 Time : 0.0 sec. user=mdettweiler [2016-03-31 02:55:52] 687*2^1424870-1 is not prime. Res64: 854D7BDD671E433A Time : 0.0 sec. user=mdettweiler [2016-03-31 02:55:53] 785*2^1424870-1 is not prime. Res64: 9FF51EF30FAA18EC Time : 0.0 sec. user=mdettweiler [2016-03-31 02:55:53] 797*2^1424870-1 is not prime. Res64: 44D279D9CC34E0C4 Time : 0.0 sec. user=mdettweiler [2016-03-31 02:55:53] 833*2^1424870-1 is not prime. Res64: A646A29797DDBAC7 Time : 0.0 sec. user=mdettweiler [2016-03-31 03:03:57] 851*2^1424870-1 is not prime. Res64: A0ACDF1D3152B12B Time : 0.0 sec. user=mdettweiler [2016-03-31 03:03:59] 897*2^1424870-1 is not prime. Res64: 0ACA085327C59B1A Time : 0.0 sec. user=mdettweiler [2016-03-31 03:04:00] 953*2^1424870-1 is not prime. Res64: F6CB193F5478D6B0 Time : 0.0 sec. user=mdettweiler [2016-03-31 03:04:01] 643*2^1424871-1 is not prime. Res64: CA3C57F4E63590A2 Time : 0.0 sec. user=mdettweiler [2016-03-31 03:04:03] 705*2^1424871-1 is not prime. Res64: FF196927EA3A3304 Time : 0.0 sec. user=mdettweiler [2016-03-31 03:21:08] 793*2^1424871-1 is not prime. Res64: B496FC789344C85D Time : 0.0 sec. user=mdettweiler [2016-03-31 03:21:09] 805*2^1424871-1 is not prime. Res64: 67D7F2D58A844774 Time : 0.0 sec. user=mdettweiler [2016-03-31 03:21:09] 931*2^1424871-1 is not prime. Res64: 3EBAC75A8E4164B9 Time : 0.0 sec. user=mdettweiler [2016-03-31 03:21:09] 943*2^1424871-1 is not prime. Res64: 185B81AE14B8D71F Time : 0.0 sec. user=mdettweiler [2016-03-31 03:21:10] 657*2^1424872-1 is not prime. Res64: 3D30B9D417FF043B Time : 0.0 sec. user=mdettweiler [2016-03-31 03:22:29] 645*2^1424875-1 is not prime. Res64: 50DC3A2B15F2362E Time : 0.0 sec. user=mdettweiler [2016-03-31 03:22:39] 649*2^1424875-1 is not prime. Res64: E644CA6EF99B646F Time : 0.0 sec. user=mdettweiler [2016-03-31 03:22:39] 819*2^1424875-1 is not prime. Res64: 7B57360E67C1D433 Time : 0.0 sec. user=mdettweiler [2016-03-31 03:27:05] 695*2^1424872-1 is not prime. Res64: 6E8E5E847CC5CE38 Time : 0.0 sec. user=mdettweiler [2016-03-31 03:27:06] 779*2^1424872-1 is not prime. Res64: 25E6CA567A25977B Time : 0.0 sec. user=mdettweiler [2016-03-31 03:27:07] 849*2^1424872-1 is not prime. Res64: C3A2A690A4A56997 Time : 0.0 sec. user=mdettweiler [2016-03-31 03:27:07] 869*2^1424872-1 is not prime. Res64: A348CB18332FF806 Time : 0.0 sec. user=mdettweiler [2016-03-31 03:27:08] 899*2^1424872-1 is not prime. Res64: 33946B3B90C75378 Time : 0.0 sec. user=mdettweiler [2016-03-31 03:40:39] 957*2^1424872-1 is not prime. Res64: 8E9F3AA6731DCF2F Time : 0.0 sec. user=mdettweiler [2016-03-31 03:40:41] 627*2^1424873-1 is not prime. Res64: 5C2FCC7D304F1BCD Time : 0.0 sec. user=mdettweiler [2016-03-31 03:40:42] 637*2^1424873-1 is not prime. Res64: 1EC47CDAB33D82FD Time : 0.0 sec. user=mdettweiler [2016-03-31 03:40:43] 855*2^1424873-1 is not prime. Res64: 79784A2F800BC2DC Time : 0.0 sec. user=mdettweiler [2016-03-31 03:40:44] 879*2^1424873-1 is not prime. Res64: 6E444A8AC5AAA109 Time : 0.0 sec. user=mdettweiler [2016-03-31 03:48:51] 725*2^1424874-1 is not prime. Res64: A66773B1DE770157 Time : 0.0 sec. user=mdettweiler [2016-03-31 03:48:51] 731*2^1424874-1 is not prime. Res64: D3997A09FD180E6C Time : 0.0 sec. user=mdettweiler [2016-03-31 03:48:52] 741*2^1424874-1 is not prime. Res64: 5D66F9B84EB68241 Time : 0.0 sec. user=mdettweiler [2016-03-31 03:48:54] 773*2^1424874-1 is not prime. Res64: 65BDDDA41A4274B6 Time : 0.0 sec. user=mdettweiler [2016-03-31 03:48:56] 945*2^1424874-1 is not prime. Res64: 2690EEDED29D40A7 Time : 0.0 sec. user=mdettweiler [2016-03-31 03:58:23] 993*2^1424878-1 is not prime. Res64: D590188C3AF3AC03 Time : 0.0 sec. user=mdettweiler [2016-03-31 04:06:06] 889*2^1424875-1 is not prime. Res64: 45A3961D67F1DD1D Time : 0.0 sec. user=mdettweiler [2016-03-31 04:06:07] 633*2^1424876-1 is not prime. Res64: C1377E08D78AEDD5 Time : 0.0 sec. user=mdettweiler [2016-03-31 04:06:08] 657*2^1424876-1 is not prime. Res64: 1A9771BE560A131D Time : 0.0 sec. user=mdettweiler [2016-03-31 04:06:09] 743*2^1424876-1 is not prime. Res64: DEC5849FDDCC2FCD Time : 0.0 sec. user=mdettweiler [2016-03-31 04:06:09] 789*2^1424876-1 is not prime. Res64: 3428F270FBB9C8D8 Time : 0.0 sec. user=mdettweiler [2016-03-31 04:11:44] 875*2^1424876-1 is not prime. Res64: E2E79423D0BF9B12 Time : 0.0 sec. user=mdettweiler [2016-03-31 04:11:45] 649*2^1424877-1 is not prime. Res64: D98FE1C9DB1E3581 Time : 0.0 sec. user=mdettweiler [2016-03-31 04:11:46] 829*2^1424877-1 is not prime. Res64: 7DA31B569E09E779 Time : 0.0 sec. user=mdettweiler [2016-03-31 04:11:46] 835*2^1424877-1 is not prime. Res64: C88532E23043BEDB Time : 0.0 sec. user=mdettweiler [2016-03-31 04:11:47] 847*2^1424877-1 is not prime. Res64: FA91340B1F245AF1 Time : 0.0 sec. user=mdettweiler [2016-03-31 04:25:37] 927*2^1424877-1 is not prime. Res64: ABDCEBC996653619 Time : 0.0 sec. user=mdettweiler [2016-03-31 04:25:38] 945*2^1424877-1 is not prime. Res64: AD0F9AE38D59A2C4 Time : 0.0 sec. user=mdettweiler [2016-03-31 04:25:38] 949*2^1424877-1 is not prime. Res64: 0A1EDCE71E165EEC Time : 0.0 sec. user=mdettweiler [2016-03-31 04:25:38] 961*2^1424877-1 is not prime. Res64: AF13B8BC8ED174F4 Time : 0.0 sec. user=mdettweiler [2016-03-31 04:25:39] 663*2^1424878-1 is not prime. Res64: 87C556D648D2B829 Time : 0.0 sec. user=mdettweiler [2016-03-31 04:33:47] 745*2^1424881-1 is not prime. Res64: D492C8F2826584C7 Time : 0.0 sec. user=mdettweiler [2016-03-31 04:34:00] 723*2^1424878-1 is not prime. Res64: FB6096C4759468B6 Time : 0.0 sec. user=mdettweiler [2016-03-31 04:34:01] 737*2^1424878-1 is not prime. Res64: C1A38AE0170A7C8D Time : 0.0 sec. user=mdettweiler [2016-03-31 04:34:01] 801*2^1424878-1 is not prime. Res64: 6A39FABFEEAC9A6B Time : 0.0 sec. user=mdettweiler [2016-03-31 04:34:01] 843*2^1424878-1 is not prime. Res64: BC3D099940DD9D01 Time : 0.0 sec. user=mdettweiler [2016-03-31 04:34:02] 957*2^1424878-1 is not prime. Res64: DBBC9DBCE1DDA6EF Time : 0.0 sec. user=mdettweiler [2016-03-31 04:51:03] 745*2^1424879-1 is not prime. Res64: 1FDBFCEBEA49F6D4 Time : 0.0 sec. user=mdettweiler [2016-03-31 04:51:03] 775*2^1424879-1 is not prime. Res64: 9BB73122FE5913FD Time : 0.0 sec. user=mdettweiler [2016-03-31 04:51:03] 789*2^1424879-1 is not prime. Res64: 5E5F454C275BEAF2 Time : 0.0 sec. user=mdettweiler [2016-03-31 04:51:04] 909*2^1424879-1 is not prime. Res64: 5B0A4FF6D87CC0C1 Time : 0.0 sec. user=mdettweiler [2016-03-31 04:51:04] 969*2^1424879-1 is not prime. Res64: 3D4F9E76D36D32DD Time : 0.0 sec. user=mdettweiler [2016-03-31 04:51:08] 819*2^1424883-1 is not prime. Res64: A684838EBD185198 Time : 0.0 sec. user=mdettweiler [2016-03-31 04:51:36] 921*2^1424883-1 is not prime. Res64: 7303AA0CB203D2E1 Time : 0.0 sec. user=mdettweiler [2016-03-31 04:51:52] 895*2^1424883-1 is not prime. Res64: 9AA728CA4EF13C76 Time : 0.0 sec. user=mdettweiler [2016-03-31 04:56:28] 707*2^1424880-1 is not prime. Res64: CE54A309F821AEE5 Time : 0.0 sec. user=mdettweiler [2016-03-31 04:56:28] 843*2^1424880-1 is not prime. Res64: 399B646D53B2BB92 Time : 0.0 sec. user=mdettweiler [2016-03-31 04:56:29] 879*2^1424880-1 is not prime. Res64: AD38FA78546A2066 Time : 0.0 sec. user=mdettweiler [2016-03-31 04:56:29] 905*2^1424880-1 is not prime. Res64: A1F52FBDEF08FD35 Time : 0.0 sec. user=mdettweiler [2016-03-31 04:56:30] 959*2^1424880-1 is not prime. Res64: 408EF05B25B6A595 Time : 0.0 sec. user=mdettweiler [2016-03-31 05:04:32] 727*2^1424885-1 is not prime. Res64: 483ABD10BD83392D Time : 0.0 sec. user=mdettweiler [2016-03-31 05:09:36] 771*2^1424885-1 is not prime. Res64: 4FF55F60E2D5C0E9 Time : 0.0 sec. user=mdettweiler [2016-03-31 05:11:15] 819*2^1424881-1 is not prime. Res64: 9E9012E3ACC2091F Time : 0.0 sec. user=mdettweiler [2016-03-31 05:11:15] 925*2^1424881-1 is not prime. Res64: A74D76D2DEF317E7 Time : 0.0 sec. user=mdettweiler [2016-03-31 05:11:15] 711*2^1424882-1 is not prime. Res64: 30F7CFE1655C64AF Time : 0.0 sec. user=mdettweiler [2016-03-31 05:11:16] 771*2^1424882-1 is not prime. Res64: 3A69A9800C15F200 Time : 0.0 sec. user=mdettweiler [2016-03-31 05:11:16] 791*2^1424882-1 is not prime. Res64: 36BCD5B2292272C1 Time : 0.0 sec. user=mdettweiler [2016-03-31 05:19:26] 797*2^1424882-1 is not prime. Res64: 36A22DB79C48AB32 Time : 0.0 sec. user=mdettweiler [2016-03-31 05:19:27] 893*2^1424882-1 is not prime. Res64: C479CC5B07493ED0 Time : 0.0 sec. user=mdettweiler [2016-03-31 05:19:27] 1001*2^1424882-1 is not prime. Res64: 43A1930DA9920301 Time : 0.0 sec. user=mdettweiler [2016-03-31 05:19:27] 745*2^1424883-1 is not prime. Res64: 9B2DFECBBE45C432 Time : 0.0 sec. user=mdettweiler [2016-03-31 05:19:28] 765*2^1424883-1 is not prime. Res64: 1053F5C4E983B7CF Time : 0.0 sec. user=mdettweiler [2016-03-31 05:37:21] 961*2^1424883-1 is not prime. Res64: 37D97F58A10DE95C Time : 0.0 sec. user=mdettweiler [2016-03-31 05:37:21] 963*2^1424883-1 is not prime. Res64: 7FED1C5E8C194AB4 Time : 0.0 sec. user=mdettweiler [2016-03-31 05:37:21] 617*2^1424884-1 is not prime. Res64: 614F31D7A34B359C Time : 0.0 sec. user=mdettweiler [2016-03-31 05:37:22] 705*2^1424884-1 is not prime. Res64: 7F9DE6EF5BFB6263 Time : 0.0 sec. user=mdettweiler [2016-03-31 05:37:22] 743*2^1424884-1 is not prime. Res64: 6613134DB8019B7F Time : 0.0 sec. user=mdettweiler [2016-03-31 05:41:46] 813*2^1424884-1 is not prime. Res64: 1AD1DD6E8319EB72 Time : 0.0 sec. user=mdettweiler [2016-03-31 05:41:46] 993*2^1424884-1 is not prime. Res64: 8336CBCDEF3EE02F Time : 0.0 sec. user=mdettweiler [2016-03-31 05:41:47] 995*2^1424884-1 is not prime. Res64: A4993E209A16E525 Time : 0.0 sec. user=mdettweiler [2016-03-31 05:41:47] 607*2^1424885-1 is not prime. Res64: 5D166ED288D364B7 Time : 0.0 sec. user=mdettweiler [2016-03-31 05:41:47] 675*2^1424885-1 is not prime. Res64: 64F5B7166009257E Time : 0.0 sec. user=mdettweiler [2016-03-31 05:55:58] 787*2^1424885-1 is not prime. Res64: FC5C404C945A0F99 Time : 0.0 sec. user=mdettweiler [2016-03-31 05:55:58] 847*2^1424885-1 is not prime. Res64: BF7E3E427534CE82 Time : 0.0 sec. user=mdettweiler [2016-03-31 05:55:59] 871*2^1424885-1 is not prime. Res64: 1202C35B293FC890 Time : 0.0 sec. user=mdettweiler [2016-03-31 05:55:59] 979*2^1424885-1 is not prime. Res64: A58BBD08CD255F97 Time : 0.0 sec. user=mdettweiler [2016-03-31 05:56:01] 611*2^1424886-1 is not prime. Res64: C105BDD12928AC03 Time : 0.0 sec. user=mdettweiler [2016-03-31 06:01:40] 927*2^1424888-1 is not prime. Res64: 9072A9E0D42CE880 Time : 0.0 sec. user=mdettweiler [2016-03-31 06:04:08] 741*2^1424886-1 is not prime. Res64: F14BE8CFF92C28F0 Time : 0.0 sec. user=mdettweiler [2016-03-31 06:04:09] 755*2^1424886-1 is not prime. Res64: C8A792082EA19005 Time : 0.0 sec. user=mdettweiler [2016-03-31 06:04:10] 783*2^1424886-1 is not prime. Res64: 8FD5DC706151B0C2 Time : 0.0 sec. user=mdettweiler [2016-03-31 06:04:11] 843*2^1424886-1 is not prime. Res64: 491E47F45F082F14 Time : 0.0 sec. user=mdettweiler [2016-03-31 06:04:12] 861*2^1424886-1 is not prime. Res64: 1AA326697821E51C Time : 0.0 sec. user=mdettweiler [2016-03-31 06:26:44] 725*2^1424888-1 is not prime. Res64: 279B3FC6CF9FA9DC Time : 0.0 sec. user=mdettweiler [2016-03-31 06:41:44] 945*2^1424888-1 is not prime. Res64: 7B98227AA58A3A73 Time : 0.0 sec. user=mdettweiler [2016-03-31 06:41:44] 995*2^1424888-1 is not prime. Res64: 96ADEF2FF955F620 Time : 0.0 sec. user=mdettweiler [2016-03-31 06:41:45] 685*2^1424889-1 is not prime. Res64: 7957D5ED85652FE5 Time : 0.0 sec. user=mdettweiler [2016-03-31 06:41:45] 781*2^1424889-1 is not prime. Res64: 4D318FAB36F08CFC Time : 0.0 sec. user=mdettweiler [2016-03-31 06:41:46] 909*2^1424889-1 is not prime. Res64: C9B76D9ED2387109 Time : 0.0 sec. user=mdettweiler [2016-03-31 06:50:12] 951*2^1424889-1 is not prime. Res64: 9E8B6EB6D40EED91 Time : 0.0 sec. user=mdettweiler [2016-03-31 06:50:12] 955*2^1424889-1 is not prime. Res64: F19C416F2577DB9B Time : 0.0 sec. user=mdettweiler [2016-03-31 06:50:13] 645*2^1424890-1 is not prime. Res64: DB835D53B5C20221 Time : 0.0 sec. user=mdettweiler [2016-03-31 06:50:13] 647*2^1424890-1 is not prime. Res64: 10C1B972E4DDAED1 Time : 0.0 sec. user=mdettweiler [2016-03-31 06:50:13] 755*2^1424890-1 is not prime. Res64: 056ADA492A735C49 Time : 0.0 sec. user=mdettweiler [2016-03-31 06:54:46] 859*2^1424891-1 is not prime. Res64: 1C74F95D7F17B2D3 Time : 0.0 sec. user=mdettweiler [2016-03-31 07:29:08] 825*2^1424890-1 is not prime. Res64: 297148CA6FEC75B3 Time : 0.0 sec. user=mdettweiler [2016-03-31 07:29:08] 885*2^1424890-1 is not prime. Res64: 1D4EC246A0FA38DA Time : 0.0 sec. user=mdettweiler [2016-03-31 07:29:08] 621*2^1424891-1 is not prime. Res64: 6ABE3D668522A623 Time : 0.0 sec. user=mdettweiler [2016-03-31 07:29:09] 789*2^1424891-1 is not prime. Res64: E4E7EAC5965B74CA Time : 0.0 sec. user=mdettweiler [2016-03-31 07:29:09] 841*2^1424891-1 is not prime. Res64: F7BCD2563FDE3AFE Time : 0.0 sec. user=mdettweiler [2016-03-31 07:37:12] 999*2^1424891-1 is not prime. Res64: 613A90DE11607D33 Time : 0.0 sec. user=mdettweiler [2016-03-31 07:37:12] 717*2^1424892-1 is not prime. Res64: 9FDD7744DBB45E75 Time : 0.0 sec. user=mdettweiler [2016-03-31 07:37:12] 719*2^1424892-1 is not prime. Res64: CDC93F66394035A1 Time : 0.0 sec. user=mdettweiler [2016-03-31 07:37:13] 737*2^1424892-1 is not prime. Res64: 520082C72268C438 Time : 0.0 sec. user=mdettweiler [2016-03-31 07:37:13] 765*2^1424892-1 is not prime. Res64: BFF6DEAB3E2A1B8D Time : 0.0 sec. user=mdettweiler [2016-03-31 07:47:45] 903*2^1424894-1 is not prime. Res64: B19EC14055F3CFDA Time : 0.0 sec. user=mdettweiler [2016-03-31 08:12:23] 873*2^1424886-1 is not prime. Res64: 453AC762CCD2ED68 Time : 0.0 sec. user=mdettweiler [2016-03-31 08:12:23] 633*2^1424887-1 is not prime. Res64: 14234B5BF45A1768 Time : 0.0 sec. user=mdettweiler [2016-03-31 08:12:24] 693*2^1424887-1 is not prime. Res64: 9A04541F767D9763 Time : 0.0 sec. user=mdettweiler [2016-03-31 08:12:24] 883*2^1424887-1 is not prime. Res64: C088C31FF53D4EED Time : 0.0 sec. user=mdettweiler [2016-03-31 08:12:25] 669*2^1424888-1 is not prime. Res64: B294C1F2ED924C06 Time : 0.0 sec. user=mdettweiler [2016-03-31 08:16:03] 983*2^1424892-1 is not prime. Res64: C909B5C2D4C00780 Time : 0.0 sec. user=mdettweiler [2016-03-31 08:16:04] 609*2^1424893-1 is not prime. Res64: F22D85DE10E46997 Time : 0.0 sec. user=mdettweiler [2016-03-31 08:16:04] 789*2^1424893-1 is not prime. Res64: A5931B84410C5528 Time : 0.0 sec. user=mdettweiler [2016-03-31 08:16:04] 919*2^1424893-1 is not prime. Res64: 2330A13180CF3423 Time : 0.0 sec. user=mdettweiler [2016-03-31 08:16:05] 927*2^1424893-1 is not prime. Res64: 58ED4D6800510D54 Time : 0.0 sec. user=mdettweiler [2016-03-31 08:22:34] 735*2^1424888-1 is not prime. Res64: 0F1328C291B0FBF3 Time : 0.0 sec. user=mdettweiler [2016-03-31 08:22:34] 743*2^1424888-1 is not prime. Res64: 472957A5707567B5 Time : 0.0 sec. user=mdettweiler [2016-03-31 08:22:35] 845*2^1424888-1 is not prime. Res64: 3A75B566583209E4 Time : 0.0 sec. user=mdettweiler [2016-03-31 08:22:35] 875*2^1424888-1 is not prime. Res64: 6201F59E9FE1E16B Time : 0.0 sec. user=mdettweiler [2016-03-31 08:23:44] 641*2^1424894-1 is not prime. Res64: 111189E5E98058D7 Time : 0.0 sec. user=mdettweiler [2016-03-31 08:23:45] 705*2^1424894-1 is not prime. Res64: A3069A70F0471B33 Time : 0.0 sec. user=mdettweiler [2016-03-31 08:23:45] 707*2^1424894-1 is not prime. Res64: 962E5F010B69BF66 Time : 0.0 sec. user=mdettweiler [2016-03-31 08:23:46] 753*2^1424894-1 is not prime. Res64: 2AB325EAD35AD8A8 Time : 0.0 sec. user=mdettweiler [2016-03-31 08:23:46] 791*2^1424894-1 is not prime. Res64: 2B5221301506ED6A Time : 0.0 sec. user=mdettweiler [2016-03-31 08:57:33] 981*2^1424894-1 is not prime. Res64: 75CDD6613B09CB3B Time : 0.0 sec. user=mdettweiler [2016-03-31 08:57:33] 709*2^1424895-1 is not prime. Res64: E32D5BCBC802F39F Time : 0.0 sec. user=mdettweiler [2016-03-31 08:57:34] 859*2^1424895-1 is not prime. Res64: 4E681ECBD0973398 Time : 0.0 sec. user=mdettweiler [2016-03-31 08:57:34] 885*2^1424895-1 is not prime. Res64: FF5FA5979E185EA0 Time : 0.0 sec. user=mdettweiler [2016-03-31 08:57:34] 909*2^1424895-1 is not prime. Res64: 6A6089D9DA9544EC Time : 0.0 sec. user=mdettweiler [2016-03-31 08:57:45] 843*2^1424898-1 is not prime. Res64: 013D974457803A2D Time : 0.0 sec. user=mdettweiler [2016-03-31 09:01:04] 919*2^1424895-1 is not prime. Res64: 41973F51F4D054DE Time : 0.0 sec. user=mdettweiler [2016-03-31 09:01:05] 955*2^1424895-1 is not prime. Res64: 8897C3873D796514 Time : 0.0 sec. user=mdettweiler [2016-03-31 09:01:05] 985*2^1424895-1 is not prime. Res64: 471A34ED4EF36D74 Time : 0.0 sec. user=mdettweiler [2016-03-31 09:01:06] 657*2^1424896-1 is not prime. Res64: F07E68FA8F2845CC Time : 0.0 sec. user=mdettweiler [2016-03-31 09:01:07] 675*2^1424896-1 is not prime. Res64: 8D8C0FFB4D8304FC Time : 0.0 sec. user=mdettweiler [2016-03-31 09:07:07] 843*2^1424896-1 is not prime. Res64: D32A15BC3A4C5EFD Time : 0.0 sec. user=mdettweiler [2016-03-31 09:07:07] 845*2^1424896-1 is not prime. Res64: 19492AFA7FC122FD Time : 0.0 sec. user=mdettweiler [2016-03-31 09:07:08] 939*2^1424896-1 is not prime. Res64: 1F48B94548D14388 Time : 0.0 sec. user=mdettweiler [2016-03-31 09:07:08] 631*2^1424897-1 is not prime. Res64: 309659D988F7D7B1 Time : 0.0 sec. user=mdettweiler [2016-03-31 09:07:09] 637*2^1424897-1 is not prime. Res64: EB8CAAF7B0EFE2C7 Time : 0.0 sec. user=mdettweiler [2016-03-31 09:08:40] 649*2^1424897-1 is not prime. Res64: 97FAC23F395500B1 Time : 0.0 sec. user=mdettweiler [2016-03-31 09:08:40] 795*2^1424897-1 is not prime. Res64: 0CD1A59F369FC1FB Time : 0.0 sec. user=mdettweiler [2016-03-31 09:08:40] 901*2^1424897-1 is not prime. Res64: 8C510D94AD10D046 Time : 0.0 sec. user=mdettweiler [2016-03-31 09:08:41] 737*2^1424898-1 is not prime. Res64: 6DA9670D616EC595 Time : 0.0 sec. user=mdettweiler [2016-03-31 09:08:41] 777*2^1424898-1 is not prime. Res64: 2C652AFBC0C7F288 Time : 0.0 sec. user=mdettweiler [2016-03-31 09:33:56] 621*2^1424902-1 is not prime. Res64: 33A9C6C49295430F Time : 0.0 sec. user=mdettweiler [2016-03-31 09:42:37] 993*2^1424898-1 is not prime. Res64: 4E5E36F04A47EAAE Time : 0.0 sec. user=mdettweiler [2016-03-31 09:42:38] 1001*2^1424898-1 is not prime. Res64: 551B2BAB118B95CE Time : 0.0 sec. user=mdettweiler [2016-03-31 09:42:38] 619*2^1424899-1 is not prime. Res64: E348C66FAC02D967 Time : 0.0 sec. user=mdettweiler [2016-03-31 09:42:39] 625*2^1424899-1 is not prime. Res64: 53A5AC3FE6D59AD5 Time : 0.0 sec. user=mdettweiler [2016-03-31 09:42:39] 705*2^1424899-1 is not prime. Res64: EE00DF80444E6767 Time : 0.0 sec. user=mdettweiler [2016-03-31 09:46:04] 895*2^1424899-1 is not prime. Res64: 0A75CD94C5593731 Time : 0.0 sec. user=mdettweiler [2016-03-31 09:46:04] 909*2^1424899-1 is not prime. Res64: C2A9B1BAE8568C96 Time : 0.0 sec. user=mdettweiler [2016-03-31 09:46:05] 753*2^1424900-1 is not prime. Res64: 81AFEC630545DB98 Time : 0.0 sec. user=mdettweiler [2016-03-31 09:46:05] 813*2^1424900-1 is not prime. Res64: 357433FED3FE8CA4 Time : 0.0 sec. user=mdettweiler [2016-03-31 09:46:05] 819*2^1424900-1 is not prime. Res64: A6275C7F0E9D7347 Time : 0.0 sec. user=mdettweiler [2016-03-31 09:51:42] 957*2^1424900-1 is not prime. Res64: 193313BCE129928E Time : 0.0 sec. user=mdettweiler [2016-03-31 09:51:42] 977*2^1424900-1 is not prime. Res64: 3A27AEE713B10510 Time : 0.0 sec. user=mdettweiler [2016-03-31 09:51:43] 607*2^1424901-1 is not prime. Res64: 83D8D918DCAACB91 Time : 0.0 sec. user=mdettweiler [2016-03-31 09:51:43] 669*2^1424901-1 is not prime. Res64: 4DD62180A89EA0ED Time : 0.0 sec. user=mdettweiler [2016-03-31 09:51:44] 781*2^1424901-1 is not prime. Res64: 446A4A49A170E6B1 Time : 0.0 sec. user=mdettweiler [2016-03-31 09:53:30] 811*2^1424901-1 is not prime. Res64: CE3A5C059388F8FB Time : 0.0 sec. user=mdettweiler [2016-03-31 09:53:30] 847*2^1424901-1 is not prime. Res64: 45971C6A802DAA04 Time : 0.0 sec. user=mdettweiler [2016-03-31 09:53:31] 861*2^1424901-1 is not prime. Res64: D4F438223A8A5277 Time : 0.0 sec. user=mdettweiler [2016-03-31 09:53:31] 885*2^1424901-1 is not prime. Res64: A1960E805B83F655 Time : 0.0 sec. user=mdettweiler [2016-03-31 09:53:32] 999*2^1424901-1 is not prime. Res64: 5E094F60C70C6B42 Time : 0.0 sec. user=mdettweiler [2016-03-31 10:27:21] 863*2^1424902-1 is not prime. Res64: 0DE79539F798F132 Time : 0.0 sec. user=mdettweiler [2016-03-31 10:27:21] 915*2^1424902-1 is not prime. Res64: 9AC4230EA0B4115D Time : 0.0 sec. user=mdettweiler [2016-03-31 10:27:22] 609*2^1424903-1 is not prime. Res64: 6F7A4B5BD15DB006 Time : 0.0 sec. user=mdettweiler [2016-03-31 10:27:22] 663*2^1424903-1 is not prime. Res64: BF18AAE27F698D83 Time : 0.0 sec. user=mdettweiler [2016-03-31 10:27:23] 705*2^1424903-1 is not prime. Res64: E3ADF0846E2E0FD8 Time : 0.0 sec. user=mdettweiler [2016-03-31 10:30:58] 853*2^1424903-1 is not prime. Res64: 4F08C4AEA81A3E7A Time : 0.0 sec. user=mdettweiler [2016-03-31 10:30:58] 921*2^1424903-1 is not prime. Res64: 9878AEE518763315 Time : 0.0 sec. user=mdettweiler [2016-03-31 10:30:59] 963*2^1424903-1 is not prime. Res64: BC9713CE804C11B3 Time : 0.0 sec. user=mdettweiler [2016-03-31 10:30:59] 973*2^1424903-1 is not prime. Res64: 8FE49D5ED4F35E8C Time : 0.0 sec. user=mdettweiler [2016-03-31 10:31:00] 635*2^1424904-1 is not prime. Res64: 3705FF6DA28FF6A7 Time : 0.0 sec. user=mdettweiler [2016-03-31 10:36:19] 689*2^1424904-1 is not prime. Res64: 905A3CB52AE7D408 Time : 0.0 sec. user=mdettweiler [2016-03-31 10:36:19] 693*2^1424904-1 is not prime. Res64: AF5FEB269113C731 Time : 0.0 sec. user=mdettweiler [2016-03-31 10:36:19] 719*2^1424904-1 is not prime. Res64: 0755F11D3324080A Time : 0.0 sec. user=mdettweiler [2016-03-31 10:36:20] 899*2^1424904-1 is not prime. Res64: EC769D952931E7CC Time : 0.0 sec. user=mdettweiler [2016-03-31 10:36:20] 909*2^1424904-1 is not prime. Res64: C1A7F1D30D03B600 Time : 0.0 sec. user=mdettweiler [2016-03-31 10:38:17] 609*2^1424905-1 is not prime. Res64: 07484943892DB99A Time : 0.0 sec. user=mdettweiler [2016-03-31 10:38:18] 691*2^1424905-1 is not prime. Res64: 2A86223CECEAEF2E Time : 0.0 sec. user=mdettweiler [2016-03-31 10:38:18] 721*2^1424905-1 is not prime. Res64: B82EDD0B7EAD9567 Time : 0.0 sec. user=mdettweiler [2016-03-31 10:38:19] 801*2^1424905-1 is not prime. Res64: B15E81D42D1648CD Time : 0.0 sec. user=mdettweiler [2016-03-31 10:38:19] 847*2^1424905-1 is not prime. Res64: 34514606FD5ADC1D Time : 0.0 sec. user=mdettweiler [2016-03-31 11:12:16] 861*2^1424905-1 is not prime. Res64: DD5D38F430E12D26 Time : 0.0 sec. user=mdettweiler [2016-03-31 11:12:17] 895*2^1424905-1 is not prime. Res64: D1F9404A50EAD085 Time : 0.0 sec. user=mdettweiler [2016-03-31 11:12:17] 987*2^1424905-1 is not prime. Res64: 3D8B6D10F070B841 Time : 0.0 sec. user=mdettweiler [2016-03-31 11:12:18] 997*2^1424905-1 is not prime. Res64: EEAD93CB59B7789F Time : 0.0 sec. user=mdettweiler [2016-03-31 11:12:18] 707*2^1424906-1 is not prime. Res64: D96B661541CB66B4 Time : 0.0 sec. user=mdettweiler [2016-03-31 11:15:44] 825*2^1424906-1 is not prime. Res64: C05D5EF7D31CC36F Time : 0.0 sec. user=mdettweiler [2016-03-31 11:15:44] 609*2^1424907-1 is not prime. Res64: 5B07A3112C0D5B95 Time : 0.0 sec. user=mdettweiler [2016-03-31 11:15:44] 651*2^1424907-1 is not prime. Res64: 6BB9FF0BA71E8FEE Time : 0.0 sec. user=mdettweiler [2016-03-31 11:15:45] 675*2^1424907-1 is not prime. Res64: D0370732028F1F10 Time : 0.0 sec. user=mdettweiler [2016-03-31 11:15:45] 781*2^1424907-1 is not prime. Res64: 290F372A3BF9C968 Time : 0.0 sec. user=mdettweiler [2016-03-31 11:20:54] 849*2^1424907-1 is not prime. Res64: 768C4BD0A6771EF3 Time : 0.0 sec. user=mdettweiler [2016-03-31 11:20:54] 871*2^1424907-1 is not prime. Res64: 62553542291A1B19 Time : 0.0 sec. user=mdettweiler [2016-03-31 11:20:55] 909*2^1424907-1 is not prime. Res64: 6EAB3760FB428447 Time : 0.0 sec. user=mdettweiler [2016-03-31 11:20:55] 945*2^1424907-1 is not prime. Res64: 47B79E06E9DA3814 Time : 0.0 sec. user=mdettweiler [2016-03-31 11:20:55] 963*2^1424907-1 is not prime. Res64: 3F8C8AD1BD26DD99 Time : 0.0 sec. user=mdettweiler [2016-03-31 11:23:10] 603*2^1424908-1 is not prime. Res64: 88F3D29F72202C8C Time : 0.0 sec. user=mdettweiler [2016-03-31 11:23:10] 635*2^1424908-1 is not prime. Res64: 18E023CAC2E08DE0 Time : 0.0 sec. user=mdettweiler [2016-03-31 11:23:11] 695*2^1424908-1 is not prime. Res64: A2605F999609943D Time : 0.0 sec. user=mdettweiler [2016-03-31 11:23:11] 813*2^1424908-1 is not prime. Res64: 01DA364F81AE9226 Time : 0.0 sec. user=mdettweiler [2016-03-31 11:23:12] 825*2^1424908-1 is not prime. Res64: 58DAFC68C20852EC Time : 0.0 sec. user=mdettweiler [2016-03-31 11:57:24] 833*2^1424908-1 is not prime. Res64: 9E955CFB95EEE506 Time : 0.0 sec. user=mdettweiler [2016-03-31 11:57:25] 897*2^1424908-1 is not prime. Res64: 14BC6501D44307DF Time : 0.0 sec. user=mdettweiler [2016-03-31 11:57:25] 915*2^1424908-1 is not prime. Res64: E1B2B2944C372EDE Time : 0.0 sec. user=mdettweiler [2016-03-31 11:57:26] 969*2^1424908-1 is not prime. Res64: 24DCFF1B882F1E35 Time : 0.0 sec. user=mdettweiler [2016-03-31 11:57:26] 619*2^1424909-1 is not prime. Res64: 037E302CF23FDB5C Time : 0.0 sec. user=mdettweiler [2016-03-31 12:00:36] 645*2^1424909-1 is not prime. Res64: 5CAD0D883EB7DC34 Time : 0.0 sec. user=mdettweiler [2016-03-31 12:00:37] 729*2^1424909-1 is not prime. Res64: D09379BCFE6D3A85 Time : 0.0 sec. user=mdettweiler [2016-03-31 12:00:38] 861*2^1424909-1 is not prime. Res64: B80973B7B841BDCF Time : 0.0 sec. user=mdettweiler [2016-03-31 12:00:38] 897*2^1424909-1 is not prime. Res64: 6E1317FD3ACFFD9D Time : 0.0 sec. user=mdettweiler [2016-03-31 12:00:39] 635*2^1424910-1 is not prime. Res64: 1F52C136A4AA73E8 Time : 0.0 sec. user=mdettweiler [2016-03-31 12:05:28] 641*2^1424910-1 is not prime. Res64: 837F142D0010954D Time : 0.0 sec. user=mdettweiler [2016-03-31 12:05:29] 657*2^1424910-1 is not prime. Res64: 7EC0456AFA7EF5D9 Time : 0.0 sec. user=mdettweiler [2016-03-31 12:05:30] 765*2^1424910-1 is not prime. Res64: ADECCDA44D76ED12 Time : 0.0 sec. user=mdettweiler [2016-03-31 12:05:31] 861*2^1424910-1 is not prime. Res64: 74ADBC3878A6F691 Time : 0.0 sec. user=mdettweiler [2016-03-31 12:05:33] 875*2^1424910-1 is not prime. Res64: 517B27871DE90C04 Time : 0.0 sec. user=mdettweiler [2016-03-31 12:08:00] 927*2^1424910-1 is not prime. Res64: F3CBBE1814C78862 Time : 0.0 sec. user=mdettweiler [2016-03-31 12:08:00] 941*2^1424910-1 is not prime. Res64: 854775916ACAEE7F Time : 0.0 sec. user=mdettweiler [2016-03-31 12:08:01] 945*2^1424910-1 is not prime. Res64: 3A96D9F08CB9E1E1 Time : 0.0 sec. user=mdettweiler [2016-03-31 12:08:01] 951*2^1424910-1 is not prime. Res64: EFDD758EBD02DD0D Time : 0.0 sec. user=mdettweiler [2016-03-31 12:08:01] 619*2^1424911-1 is not prime. Res64: 6C3E38222626C892 Time : 0.0 sec. user=mdettweiler [2016-03-31 12:42:28] 663*2^1424911-1 is not prime. Res64: 4D6F8354E3D5D506 Time : 0.0 sec. user=mdettweiler [2016-03-31 12:42:29] 723*2^1424911-1 is not prime. Res64: 1F43ED7ADBA906DA Time : 0.0 sec. user=mdettweiler [2016-03-31 12:42:29] 759*2^1424911-1 is not prime. Res64: D9457F78E46F4B5F Time : 0.0 sec. user=mdettweiler [2016-03-31 12:42:29] 951*2^1424911-1 is not prime. Res64: 99D8B5E75E58EE1E Time : 0.0 sec. user=mdettweiler [2016-03-31 12:42:30] 969*2^1424911-1 is not prime. Res64: A67A476DC07D0918 Time : 0.0 sec. user=mdettweiler [2016-03-31 12:45:42] 617*2^1424912-1 is not prime. Res64: BBE77BB4B69F799F Time : 0.0 sec. user=mdettweiler [2016-03-31 12:45:43] 935*2^1424912-1 is not prime. Res64: 98F2E81A030799DD Time : 0.0 sec. user=mdettweiler [2016-03-31 12:45:43] 639*2^1424913-1 is not prime. Res64: 1B27F590C5EF7E9B Time : 0.0 sec. user=mdettweiler [2016-03-31 12:45:43] 681*2^1424913-1 is not prime. Res64: 93AD0518CE96317A Time : 0.0 sec. user=mdettweiler [2016-03-31 12:45:44] 781*2^1424913-1 is not prime. Res64: B5BD334C911AF385 Time : 0.0 sec. user=mdettweiler [2016-03-31 12:50:20] 847*2^1424913-1 is not prime. Res64: 77207E4E24C2378E Time : 0.0 sec. user=mdettweiler [2016-03-31 12:50:20] 871*2^1424913-1 is not prime. Res64: E39E3ED31376FB52 Time : 0.0 sec. user=mdettweiler [2016-03-31 12:50:21] 671*2^1424914-1 is not prime. Res64: 8AF5421805DB439D Time : 0.0 sec. user=mdettweiler [2016-03-31 12:50:21] 675*2^1424914-1 is not prime. Res64: 67E12268E57E87CE Time : 0.0 sec. user=mdettweiler [2016-03-31 12:50:22] 741*2^1424914-1 is not prime. Res64: 53172EC1E831F3F7 Time : 0.0 sec. user=mdettweiler [2016-03-31 12:52:56] 785*2^1424914-1 is not prime. Res64: 86A927061AFB03D1 Time : 0.0 sec. user=mdettweiler [2016-03-31 12:52:56] 803*2^1424914-1 is not prime. Res64: EC3F0EC731FEB988 Time : 0.0 sec. user=mdettweiler [2016-03-31 12:52:56] 887*2^1424914-1 is not prime. Res64: 776660C13EDA6F67 Time : 0.0 sec. user=mdettweiler [2016-03-31 12:52:57] 947*2^1424914-1 is not prime. Res64: 8A7BAC39B183EDDB Time : 0.0 sec. user=mdettweiler [2016-03-31 12:52:57] 993*2^1424914-1 is not prime. Res64: 47D81BEB7132054C Time : 0.0 sec. user=mdettweiler [2016-03-31 13:28:32] 603*2^1424915-1 is not prime. Res64: F5DE74337D9F1F0C Time : 0.0 sec. user=mdettweiler [2016-03-31 13:28:33] 999*2^1424915-1 is not prime. Res64: 0F230BAEEDC2464D Time : 0.0 sec. user=mdettweiler [2016-03-31 13:28:33] 639*2^1424916-1 is not prime. Res64: CB13AF20F6EFEB6E Time : 0.0 sec. user=mdettweiler [2016-03-31 13:28:34] 669*2^1424916-1 is not prime. Res64: F8B42CCFCC72EDF2 Time : 0.0 sec. user=mdettweiler [2016-03-31 13:28:34] 689*2^1424916-1 is not prime. Res64: 0819593999E9B5E4 Time : 0.0 sec. user=mdettweiler [2016-03-31 13:31:47] 843*2^1424916-1 is not prime. Res64: B5A161DA08B767C4 Time : 0.0 sec. user=mdettweiler [2016-03-31 13:31:48] 887*2^1424916-1 is not prime. Res64: A7BF2DCD3389F482 Time : 0.0 sec. user=mdettweiler [2016-03-31 13:31:48] 923*2^1424916-1 is not prime. Res64: 2BFCCE9C493D4A0C Time : 0.0 sec. user=mdettweiler [2016-03-31 13:31:48] 987*2^1424916-1 is not prime. Res64: 3964927210E120C9 Time : 0.0 sec. user=mdettweiler [2016-03-31 13:31:48] 859*2^1424917-1 is not prime. Res64: DD971A75A3A7A938 Time : 0.0 sec. user=mdettweiler [2016-03-31 13:36:05] 603*2^1424918-1 is not prime. Res64: 5E73985269129706 Time : 0.0 sec. user=mdettweiler [2016-03-31 13:36:06] 623*2^1424918-1 is not prime. Res64: ECC5E3A1E4900760 Time : 0.0 sec. user=mdettweiler [2016-03-31 13:36:06] 677*2^1424918-1 is not prime. Res64: 97B3AA8849B99A2A Time : 0.0 sec. user=mdettweiler [2016-03-31 13:36:06] 687*2^1424918-1 is not prime. Res64: 8348316F0AF32BAC Time : 0.0 sec. user=mdettweiler [2016-03-31 13:36:06] 747*2^1424918-1 is not prime. Res64: 1F5A2B3F0D5012CC Time : 0.0 sec. user=mdettweiler [2016-03-31 13:38:52] 761*2^1424918-1 is not prime. Res64: DA5EE42915943654 Time : 0.0 sec. user=mdettweiler [2016-03-31 13:38:53] 843*2^1424918-1 is not prime. Res64: 27C3AFC23FFD08C8 Time : 0.0 sec. user=mdettweiler [2016-03-31 13:38:53] 885*2^1424918-1 is not prime. Res64: 573895ECDC20596F Time : 0.0 sec. user=mdettweiler [2016-03-31 13:38:53] 935*2^1424918-1 is not prime. Res64: 797E568A8202F428 Time : 0.0 sec. user=mdettweiler [2016-03-31 13:38:53] 957*2^1424918-1 is not prime. Res64: 655CB829B564AC91 Time : 0.0 sec. user=mdettweiler [2016-03-31 13:39:18] 693*2^1424919-1 is not prime. Res64: 90167C2DDEDC1604 Time : 0.0 sec. user=mdettweiler [2016-03-31 14:14:46] 963*2^1424918-1 is not prime. Res64: A47FF8435BBC2A0E Time : 0.0 sec. user=mdettweiler [2016-03-31 14:14:46] 977*2^1424918-1 is not prime. Res64: F9A91701B24D45C2 Time : 0.0 sec. user=mdettweiler [2016-03-31 14:14:46] 987*2^1424918-1 is not prime. Res64: 5EEB33B797D2C89E Time : 0.0 sec. user=mdettweiler [2016-03-31 14:14:46] 613*2^1424919-1 is not prime. Res64: 9F2BB67553BD13D5 Time : 0.0 sec. user=mdettweiler [2016-03-31 14:14:47] 685*2^1424919-1 is not prime. Res64: 3E9B9DA65AD57557 Time : 0.0 sec. user=mdettweiler [2016-03-31 14:17:50] 741*2^1424919-1 is not prime. Res64: A404F4D803506EB0 Time : 0.0 sec. user=mdettweiler [2016-03-31 14:17:50] 831*2^1424919-1 is not prime. Res64: AF317AC21A5DCCC2 Time : 0.0 sec. user=mdettweiler [2016-03-31 14:17:50] 859*2^1424919-1 is not prime. Res64: 7B6719EE331F3FD8 Time : 0.0 sec. user=mdettweiler [2016-03-31 14:17:51] 879*2^1424919-1 is not prime. Res64: C29366A20FF5DB5A Time : 0.0 sec. user=mdettweiler [2016-03-31 14:17:51] 921*2^1424919-1 is not prime. Res64: CD2A38D566083094 Time : 0.0 sec. user=mdettweiler [2016-03-31 14:22:01] 961*2^1424919-1 is not prime. Res64: 93F20E0608A61698 Time : 0.0 sec. user=mdettweiler [2016-03-31 14:22:01] 969*2^1424919-1 is not prime. Res64: A7F29B851764AFAA Time : 0.0 sec. user=mdettweiler [2016-03-31 14:22:01] 833*2^1424920-1 is not prime. Res64: 77E31D3971E35B8C Time : 0.0 sec. user=mdettweiler [2016-03-31 14:22:01] 849*2^1424920-1 is not prime. Res64: DF974DC84594D025 Time : 0.0 sec. user=mdettweiler [2016-03-31 14:22:02] 863*2^1424920-1 is not prime. Res64: 7DF3DEBB51E27CB2 Time : 0.0 sec. user=mdettweiler [2016-03-31 14:25:02] 927*2^1424920-1 is not prime. Res64: EBB28700E97427C4 Time : 0.0 sec. user=mdettweiler [2016-03-31 14:25:03] 627*2^1424921-1 is not prime. Res64: C53238CF2DE3D1DE Time : 0.0 sec. user=mdettweiler [2016-03-31 14:25:03] 741*2^1424921-1 is not prime. Res64: D176B17C35261930 Time : 0.0 sec. user=mdettweiler [2016-03-31 14:25:03] 745*2^1424921-1 is not prime. Res64: 29B327427A0C3236 Time : 0.0 sec. user=mdettweiler [2016-03-31 14:25:03] 867*2^1424921-1 is not prime. Res64: A50938C2F06E1846 Time : 0.0 sec. user=mdettweiler [2016-03-31 14:49:57] 725*2^1424924-1 is not prime. Res64: C5F104345A2DBDC8 Time : 0.0 sec. user=mdettweiler [2016-03-31 15:01:25] 889*2^1424921-1 is not prime. Res64: 76723564A54A0F7F Time : 0.0 sec. user=mdettweiler [2016-03-31 15:01:26] 939*2^1424921-1 is not prime. Res64: BB29FE887687FAD3 Time : 0.0 sec. user=mdettweiler [2016-03-31 15:01:27] 957*2^1424921-1 is not prime. Res64: DF4ED8A9256D99AF Time : 0.0 sec. user=mdettweiler [2016-03-31 15:01:27] 635*2^1424922-1 is not prime. Res64: 93674813BC73AA3D Time : 0.0 sec. user=mdettweiler [2016-03-31 15:01:28] 765*2^1424922-1 is not prime. Res64: 7E25DA977E243D71 Time : 0.0 sec. user=mdettweiler [2016-03-31 15:04:18] 801*2^1424922-1 is not prime. Res64: A6167AF4284DA96B Time : 0.0 sec. user=mdettweiler [2016-03-31 15:04:20] 807*2^1424922-1 is not prime. Res64: 83AB0AAF08DEC102 Time : 0.0 sec. user=mdettweiler [2016-03-31 15:04:20] 867*2^1424922-1 is not prime. Res64: 85FF089088C4FB40 Time : 0.0 sec. user=mdettweiler [2016-03-31 15:04:21] 893*2^1424922-1 is not prime. Res64: 75ACE0670EF1164B Time : 0.0 sec. user=mdettweiler [2016-03-31 15:04:22] 915*2^1424922-1 is not prime. Res64: 77B1E9D07A9734D7 Time : 0.0 sec. user=mdettweiler [2016-03-31 15:08:24] 945*2^1424922-1 is not prime. Res64: 4B36A5E8AABEE222 Time : 0.0 sec. user=mdettweiler [2016-03-31 15:08:25] 615*2^1424923-1 is not prime. Res64: 88D99680B875C4BD Time : 0.0 sec. user=mdettweiler [2016-03-31 15:08:27] 679*2^1424923-1 is not prime. Res64: 9B059462CA4D9385 Time : 0.0 sec. user=mdettweiler [2016-03-31 15:08:29] 691*2^1424923-1 is not prime. Res64: EDBF8AA177752394 Time : 0.0 sec. user=mdettweiler [2016-03-31 15:08:31] 751*2^1424923-1 is not prime. Res64: 217EA5C5633A0754 Time : 0.0 sec. user=mdettweiler [2016-03-31 15:12:20] 859*2^1424923-1 is not prime. Res64: A96C99EC36ED38AE Time : 0.0 sec. user=mdettweiler [2016-03-31 15:12:21] 883*2^1424923-1 is not prime. Res64: D4A2638A767F4750 Time : 0.0 sec. user=mdettweiler [2016-03-31 15:12:21] 885*2^1424923-1 is not prime. Res64: 724ABD27F9EF71CD Time : 0.0 sec. user=mdettweiler [2016-03-31 15:12:21] 913*2^1424923-1 is not prime. Res64: 62A22E5DD2B1BFFA Time : 0.0 sec. user=mdettweiler [2016-03-31 15:12:22] 993*2^1424923-1 is not prime. Res64: 1E0B216F99B21834 Time : 0.0 sec. user=mdettweiler [2016-03-31 15:21:27] 829*2^1424923-1 is not prime. Res64: D706FF34B87FD2F1 Time : 0.0 sec. user=mdettweiler [2016-03-31 15:42:24] 909*2^1424927-1 is not prime. Res64: 532229E4B37E0249 Time : 0.0 sec. user=mdettweiler [2016-03-31 15:54:47] 767*2^1424924-1 is not prime. Res64: DB1FBBFA44CFD349 Time : 0.0 sec. user=mdettweiler [2016-03-31 15:54:47] 819*2^1424924-1 is not prime. Res64: 06000F3DAFBC0C55 Time : 0.0 sec. user=mdettweiler [2016-03-31 15:54:47] 993*2^1424924-1 is not prime. Res64: 011A5C4BC6F8968E Time : 0.0 sec. user=mdettweiler [2016-03-31 15:54:48] 787*2^1424925-1 is not prime. Res64: D766942EA5109A02 Time : 0.0 sec. user=mdettweiler [2016-03-31 15:54:48] 825*2^1424925-1 is not prime. Res64: 1D58C6464F1B255F Time : 0.0 sec. user=mdettweiler [2016-03-31 15:57:24] 889*2^1424925-1 is not prime. Res64: 0E503568B531E4BC Time : 0.0 sec. user=mdettweiler [2016-03-31 15:57:24] 915*2^1424925-1 is not prime. Res64: E380DC9AF9C4292C Time : 0.0 sec. user=mdettweiler [2016-03-31 15:57:24] 997*2^1424925-1 is not prime. Res64: D3DE32BF630979ED Time : 0.0 sec. user=mdettweiler [2016-03-31 15:57:24] 603*2^1424926-1 is not prime. Res64: E500CBCB328E9174 Time : 0.0 sec. user=mdettweiler [2016-03-31 15:57:25] 611*2^1424926-1 is not prime. Res64: 1458EEA3942ED27C Time : 0.0 sec. user=mdettweiler [2016-03-31 16:02:22] 695*2^1424926-1 is not prime. Res64: 41E0B9F2A0D94287 Time : 0.0 sec. user=mdettweiler [2016-03-31 16:02:24] 713*2^1424926-1 is not prime. Res64: 311D0E0180D94C5B Time : 0.0 sec. user=mdettweiler [2016-03-31 16:02:24] 755*2^1424926-1 is not prime. Res64: 4C23D2AC3A11AEB9 Time : 0.0 sec. user=mdettweiler [2016-03-31 16:02:25] 857*2^1424926-1 is not prime. Res64: 15CF35B4AB6A997E Time : 0.0 sec. user=mdettweiler [2016-03-31 16:02:26] 897*2^1424926-1 is not prime. Res64: CA3B9F363B73C4F9 Time : 0.0 sec. user=mdettweiler [2016-03-31 16:06:02] 615*2^1424927-1 is not prime. Res64: 8A57109CFC39435D Time : 0.0 sec. user=mdettweiler [2016-03-31 16:06:03] 693*2^1424927-1 is not prime. Res64: D8CF9B5297780265 Time : 0.0 sec. user=mdettweiler [2016-03-31 16:06:04] 729*2^1424927-1 is not prime. Res64: 0527E958C22B90D3 Time : 0.0 sec. user=mdettweiler [2016-03-31 16:06:06] 813*2^1424927-1 is not prime. Res64: 9B9AE281B54937E9 Time : 0.0 sec. user=mdettweiler [2016-03-31 16:06:07] 861*2^1424927-1 is not prime. Res64: 6092DB9D9F2AC9DE Time : 0.0 sec. user=mdettweiler [2016-03-31 16:45:35] 939*2^1424927-1 is not prime. Res64: CDCA1214A2276E35 Time : 0.0 sec. user=mdettweiler [2016-03-31 16:45:35] 991*2^1424927-1 is not prime. Res64: 433185973CBC44FF Time : 0.0 sec. user=mdettweiler [2016-03-31 16:45:35] 705*2^1424928-1 is not prime. Res64: AAB6D2DC92A69F7B Time : 0.0 sec. user=mdettweiler [2016-03-31 16:45:35] 759*2^1424928-1 is not prime. Res64: BAA72E15D07B3F8E Time : 0.0 sec. user=mdettweiler [2016-03-31 16:45:36] 789*2^1424928-1 is not prime. Res64: 4D05FCB406143FDA Time : 0.0 sec. user=mdettweiler [2016-03-31 16:47:53] 977*2^1424928-1 is not prime. Res64: D927364BD02F9108 Time : 0.0 sec. user=mdettweiler [2016-03-31 16:47:53] 993*2^1424928-1 is not prime. Res64: AC544AE7B40CE275 Time : 0.0 sec. user=mdettweiler [2016-03-31 16:47:54] 615*2^1424929-1 is not prime. Res64: E78E4D9BC4131925 Time : 0.0 sec. user=mdettweiler [2016-03-31 16:47:54] 765*2^1424929-1 is not prime. Res64: 87396AD5A1368B8C Time : 0.0 sec. user=mdettweiler [2016-03-31 16:47:54] 769*2^1424929-1 is not prime. Res64: 484ABC5672DD70E8 Time : 0.0 sec. user=mdettweiler [2016-03-31 16:52:00] 877*2^1424929-1 is not prime. Res64: 46213B6BFB0A3BCA Time : 0.0 sec. user=mdettweiler [2016-03-31 16:52:00] 897*2^1424929-1 is not prime. Res64: A02E17DB9017B3EC Time : 0.0 sec. user=mdettweiler [2016-03-31 16:52:01] 951*2^1424929-1 is not prime. Res64: 02F54868DABDFE70 Time : 0.0 sec. user=mdettweiler [2016-03-31 16:52:01] 957*2^1424929-1 is not prime. Res64: 30B083E748501616 Time : 0.0 sec. user=mdettweiler [2016-03-31 16:52:01] 657*2^1424930-1 is not prime. Res64: 8702F74A4A802C12 Time : 0.0 sec. user=mdettweiler [2016-03-31 16:54:40] 671*2^1424930-1 is not prime. Res64: 01FE1EB79DF2C670 Time : 0.0 sec. user=mdettweiler [2016-03-31 16:54:40] 677*2^1424930-1 is not prime. Res64: 690B51A2160949D4 Time : 0.0 sec. user=mdettweiler [2016-03-31 16:54:40] 753*2^1424930-1 is not prime. Res64: 01B7890D083E3BB5 Time : 0.0 sec. user=mdettweiler [2016-03-31 16:54:40] 831*2^1424930-1 is not prime. Res64: D4613E92D202957E Time : 0.0 sec. user=mdettweiler [2016-03-31 16:54:41] 843*2^1424930-1 is not prime. Res64: F43CF7A02D86C2BD Time : 0.0 sec. user=mdettweiler [2016-03-31 17:32:13] 927*2^1424930-1 is not prime. Res64: 005B44B7AB4BD31E Time : 0.0 sec. user=mdettweiler [2016-03-31 17:32:13] 945*2^1424930-1 is not prime. Res64: 504A124190EBD6D1 Time : 0.0 sec. user=mdettweiler [2016-03-31 17:32:13] 613*2^1424931-1 is not prime. Res64: F283A3EDAB12F42C Time : 0.0 sec. user=mdettweiler [2016-03-31 17:32:14] 703*2^1424931-1 is not prime. Res64: 1DFB1C17B216C1B9 Time : 0.0 sec. user=mdettweiler [2016-03-31 17:32:14] 735*2^1424931-1 is not prime. Res64: 060D7C64CDFF5B38 Time : 0.0 sec. user=mdettweiler [2016-03-31 17:34:47] 961*2^1424931-1 is not prime. Res64: 9BB451F1605B840F Time : 0.0 sec. user=mdettweiler [2016-03-31 17:34:48] 675*2^1424932-1 is not prime. Res64: CDFCDE35F2A8CF76 Time : 0.0 sec. user=mdettweiler [2016-03-31 17:34:48] 723*2^1424932-1 is not prime. Res64: F4A3A3D33967796E Time : 0.0 sec. user=mdettweiler [2016-03-31 17:34:48] 749*2^1424932-1 is not prime. Res64: E58C55670BC8B8DA Time : 0.0 sec. user=mdettweiler [2016-03-31 17:34:48] 947*2^1424932-1 is not prime. Res64: 136F304BB70F38D2 Time : 0.0 sec. user=mdettweiler [2016-03-31 17:39:25] 983*2^1424932-1 is not prime. Res64: 82C239AE24FCD13C Time : 0.0 sec. user=mdettweiler [2016-03-31 17:39:25] 679*2^1424933-1 is not prime. Res64: CE39969BAFC2E32D Time : 0.0 sec. user=mdettweiler [2016-03-31 17:39:25] 727*2^1424933-1 is not prime. Res64: 7EB57C46AC9CD270 Time : 0.0 sec. user=mdettweiler [2016-03-31 17:39:25] 735*2^1424933-1 is not prime. Res64: 3587CCBAB30A1C86 Time : 0.0 sec. user=mdettweiler [2016-03-31 17:39:26] 663*2^1424934-1 is not prime. Res64: 8C311D65E18CF19B Time : 0.0 sec. user=mdettweiler [2016-03-31 17:41:56] 681*2^1424934-1 is not prime. Res64: 9CAE79923AC5ECF1 Time : 0.0 sec. user=mdettweiler [2016-03-31 17:41:56] 683*2^1424934-1 is not prime. Res64: D1870A7D6F4A40F4 Time : 0.0 sec. user=mdettweiler [2016-03-31 17:41:57] 765*2^1424934-1 is not prime. Res64: 04B885191F8813F1 Time : 0.0 sec. user=mdettweiler [2016-03-31 17:41:57] 797*2^1424934-1 is not prime. Res64: 5175794A703A5AE9 Time : 0.0 sec. user=mdettweiler [2016-03-31 17:41:57] 825*2^1424934-1 is not prime. Res64: C31A13C654E9788B Time : 0.0 sec. user=mdettweiler [2016-03-31 18:19:49] 923*2^1424934-1 is not prime. Res64: A064C5B019275C23 Time : 0.0 sec. user=mdettweiler [2016-03-31 18:19:50] 685*2^1424935-1 is not prime. Res64: 7B88C1E101FA3E6E Time : 0.0 sec. user=mdettweiler [2016-03-31 18:19:50] 723*2^1424935-1 is not prime. Res64: 69C75FA1AE78E013 Time : 0.0 sec. user=mdettweiler [2016-03-31 18:19:51] 759*2^1424935-1 is not prime. Res64: 896A1D8D3FE04F03 Time : 0.0 sec. user=mdettweiler [2016-03-31 18:19:51] 859*2^1424935-1 is not prime. Res64: E99B1F484A41FD1B Time : 0.0 sec. user=mdettweiler [2016-03-31 18:22:25] 719*2^1424936-1 is not prime. Res64: 67FA20B6414D6AAA Time : 0.0 sec. user=mdettweiler [2016-03-31 18:22:25] 855*2^1424936-1 is not prime. Res64: 08C2DA11387286D8 Time : 0.0 sec. user=mdettweiler [2016-03-31 18:22:26] 963*2^1424936-1 is not prime. Res64: 6B9350F9D2BFB46F Time : 0.0 sec. user=mdettweiler [2016-03-31 18:22:26] 661*2^1424937-1 is not prime. Res64: BF60EC6ADF10D3E1 Time : 0.0 sec. user=mdettweiler [2016-03-31 18:22:26] 699*2^1424937-1 is not prime. Res64: 3EE49633D6D6955C Time : 0.0 sec. user=mdettweiler [2016-03-31 18:26:18] 727*2^1424937-1 is not prime. Res64: EEEF6893658D7FC1 Time : 0.0 sec. user=mdettweiler [2016-03-31 18:26:18] 741*2^1424937-1 is not prime. Res64: A8EE878BEE7C8DDA Time : 0.0 sec. user=mdettweiler [2016-03-31 18:26:19] 737*2^1424938-1 is not prime. Res64: 76A6186C53BC6E6F Time : 0.0 sec. user=mdettweiler [2016-03-31 18:26:19] 755*2^1424938-1 is not prime. Res64: 201DF1A98AADF954 Time : 0.0 sec. user=mdettweiler [2016-03-31 18:26:19] 827*2^1424938-1 is not prime. Res64: 8E3DAB64CB6AA3E4 Time : 0.0 sec. user=mdettweiler [2016-03-31 18:28:42] 843*2^1424938-1 is not prime. Res64: 769A47C1B335EEF1 Time : 0.0 sec. user=mdettweiler [2016-03-31 18:28:43] 891*2^1424938-1 is not prime. Res64: 6D3DD1659B07283B Time : 0.0 sec. user=mdettweiler [2016-03-31 18:28:43] 971*2^1424938-1 is not prime. Res64: DD866D1DAE33EB45 Time : 0.0 sec. user=mdettweiler [2016-03-31 18:28:43] 633*2^1424939-1 is not prime. Res64: 77223C692ECC023D Time : 0.0 sec. user=mdettweiler [2016-03-31 18:28:44] 733*2^1424939-1 is not prime. Res64: 2EF8CFFD15D69D15 Time : 0.0 sec. user=mdettweiler [2016-03-31 19:05:02] 741*2^1424939-1 is not prime. Res64: 01E8115CC16ACD8E Time : 0.0 sec. user=mdettweiler [2016-03-31 19:05:03] 771*2^1424939-1 is not prime. Res64: 2B131E9056B45735 Time : 0.0 sec. user=mdettweiler [2016-03-31 19:05:04] 811*2^1424939-1 is not prime. Res64: 9478722F702AB0A2 Time : 0.0 sec. user=mdettweiler [2016-03-31 19:05:05] 843*2^1424939-1 is not prime. Res64: A55CBDD6CC613D7B Time : 0.0 sec. user=mdettweiler [2016-03-31 19:05:06] 973*2^1424939-1 is not prime. Res64: 0028E5C8A85963CD Time : 0.0 sec. user=mdettweiler [2016-03-31 19:07:33] 993*2^1424939-1 is not prime. Res64: F729C81D5B5818A0 Time : 0.0 sec. user=mdettweiler [2016-03-31 19:07:34] 623*2^1424940-1 is not prime. Res64: 22DA87716F879C02 Time : 0.0 sec. user=mdettweiler [2016-03-31 19:07:34] 627*2^1424940-1 is not prime. Res64: BEC4D2D7E647BB5B Time : 0.0 sec. user=mdettweiler [2016-03-31 19:07:35] 629*2^1424940-1 is not prime. Res64: C373629ADF6E65CA Time : 0.0 sec. user=mdettweiler [2016-03-31 19:07:35] 867*2^1424940-1 is not prime. Res64: D0630681432C765F Time : 0.0 sec. user=mdettweiler [2016-03-31 19:11:36] 873*2^1424940-1 is not prime. Res64: 2A4CF0E6425700CA Time : 0.0 sec. user=mdettweiler [2016-03-31 19:11:36] 893*2^1424940-1 is not prime. Res64: DE51EACCB449CA0A Time : 0.0 sec. user=mdettweiler [2016-03-31 19:11:37] 915*2^1424940-1 is not prime. Res64: DE465A70DA483D7B Time : 0.0 sec. user=mdettweiler [2016-03-31 19:11:37] 983*2^1424940-1 is not prime. Res64: 1AF7314BBC72DCDB Time : 0.0 sec. user=mdettweiler [2016-03-31 19:11:38] 645*2^1424941-1 is not prime. Res64: 4B2621A36D56EA60 Time : 0.0 sec. user=mdettweiler [2016-03-31 19:13:54] 649*2^1424941-1 is not prime. Res64: 37341B78C80EF4E0 Time : 0.0 sec. user=mdettweiler [2016-03-31 19:13:54] 741*2^1424941-1 is not prime. Res64: C5514EF45CDF875F Time : 0.0 sec. user=mdettweiler [2016-03-31 19:13:55] 777*2^1424941-1 is not prime. Res64: F780709953B080EB Time : 0.0 sec. user=mdettweiler [2016-03-31 19:13:55] 811*2^1424941-1 is not prime. Res64: 82BB040A29334DA8 Time : 0.0 sec. user=mdettweiler [2016-03-31 19:13:55] 825*2^1424941-1 is not prime. Res64: 75425104301C928D Time : 0.0 sec. user=mdettweiler [2016-03-31 19:14:14] 635*2^1424942-1 is not prime. Res64: EC6D464622E702AE Time : 0.0 sec. user=mdettweiler [2016-03-31 19:31:55] 645*2^1424944-1 is not prime. Res64: A5B319885BFAA81B Time : 0.0 sec. user=mdettweiler [2016-03-31 19:50:16] 867*2^1424941-1 is not prime. Res64: D2B1A84F0C61E215 Time : 0.0 sec. user=mdettweiler [2016-03-31 19:50:16] 871*2^1424941-1 is not prime. Res64: 55FC8A3B3CB42448 Time : 0.0 sec. user=mdettweiler [2016-03-31 19:50:17] 957*2^1424941-1 is not prime. Res64: 91931A229350BA4F Time : 0.0 sec. user=mdettweiler [2016-03-31 19:50:17] 961*2^1424941-1 is not prime. Res64: 42F858D83177A8E5 Time : 0.0 sec. user=mdettweiler [2016-03-31 19:50:17] 987*2^1424941-1 is not prime. Res64: 6599A87D5DA9B68B Time : 0.0 sec. user=mdettweiler [2016-03-31 19:52:45] 675*2^1424942-1 is not prime. Res64: 2342F9D047AD1440 Time : 0.0 sec. user=mdettweiler [2016-03-31 19:52:45] 711*2^1424942-1 is not prime. Res64: 7A3BE21FCA77FFF1 Time : 0.0 sec. user=mdettweiler [2016-03-31 19:52:46] 755*2^1424942-1 is not prime. Res64: 5B5881B88056E96D Time : 0.0 sec. user=mdettweiler [2016-03-31 19:52:46] 827*2^1424942-1 is not prime. Res64: 07462D30CD20960A Time : 0.0 sec. user=mdettweiler [2016-03-31 19:52:46] 911*2^1424942-1 is not prime. Res64: 060E518004295674 Time : 0.0 sec. user=mdettweiler [2016-03-31 19:56:44] 921*2^1424942-1 is not prime. Res64: 01F473B2DA223F2E Time : 0.0 sec. user=mdettweiler [2016-03-31 19:56:45] 923*2^1424942-1 is not prime. Res64: 434724D9B5FD9F46 Time : 0.0 sec. user=mdettweiler [2016-03-31 19:56:45] 609*2^1424943-1 is not prime. Res64: 6007AA909EA3F1AC Time : 0.0 sec. user=mdettweiler [2016-03-31 19:56:45] 703*2^1424943-1 is not prime. Res64: 1E98676D13CD6E8C Time : 0.0 sec. user=mdettweiler [2016-03-31 19:56:46] 705*2^1424943-1 is not prime. Res64: 574930F1236BB8F1 Time : 0.0 sec. user=mdettweiler [2016-03-31 19:59:04] 723*2^1424943-1 is not prime. Res64: C988CA87FDCCD967 Time : 0.0 sec. user=mdettweiler [2016-03-31 19:59:05] 765*2^1424943-1 is not prime. Res64: FD17DB2B32B6CA17 Time : 0.0 sec. user=mdettweiler [2016-03-31 19:59:05] 783*2^1424943-1 is not prime. Res64: 4ACCD437BDCFBB20 Time : 0.0 sec. user=mdettweiler [2016-03-31 19:59:05] 871*2^1424943-1 is not prime. Res64: 351961AA2C7E63AA Time : 0.0 sec. user=mdettweiler [2016-03-31 19:59:06] 629*2^1424944-1 is not prime. Res64: 4ECF5E05FA68177A Time : 0.0 sec. user=mdettweiler [2016-03-31 20:35:10] 707*2^1424944-1 is not prime. Res64: 8BA653B97D1CCDB9 Time : 0.0 sec. user=mdettweiler [2016-03-31 20:35:10] 765*2^1424944-1 is not prime. Res64: CAE79395CE4FDE6E Time : 0.0 sec. user=mdettweiler [2016-03-31 20:35:11] 903*2^1424944-1 is not prime. Res64: F87276B35A62C8F6 Time : 0.0 sec. user=mdettweiler [2016-03-31 20:35:11] 601*2^1424945-1 is not prime. Res64: DF2AF83FBC8C8C44 Time : 0.0 sec. user=mdettweiler [2016-03-31 20:35:11] 697*2^1424945-1 is not prime. Res64: 8B134F6E16A25447 Time : 0.0 sec. user=mdettweiler [2016-03-31 20:37:47] 735*2^1424945-1 is not prime. Res64: 550054C42E02B0A7 Time : 0.0 sec. user=mdettweiler [2016-03-31 20:37:47] 819*2^1424945-1 is not prime. Res64: 108F3B8BACB66CE5 Time : 0.0 sec. user=mdettweiler [2016-03-31 20:37:48] 861*2^1424945-1 is not prime. Res64: 8E76167AD8A8C8A8 Time : 0.0 sec. user=mdettweiler [2016-03-31 20:37:48] 871*2^1424945-1 is not prime. Res64: B03D615FDB4E378C Time : 0.0 sec. user=mdettweiler [2016-03-31 20:37:49] 909*2^1424945-1 is not prime. Res64: 7B618C9807F247C7 Time : 0.0 sec. user=mdettweiler [2016-03-31 20:41:41] 925*2^1424945-1 is not prime. Res64: C83A2935861B6BED Time : 0.0 sec. user=mdettweiler [2016-03-31 20:41:42] 627*2^1424946-1 is not prime. Res64: C41327F527E4035A Time : 0.0 sec. user=mdettweiler [2016-03-31 20:41:42] 683*2^1424946-1 is not prime. Res64: 03DA5E788BB8B2DF Time : 0.0 sec. user=mdettweiler [2016-03-31 20:41:43] 713*2^1424946-1 is not prime. Res64: FB0421D862E47A45 Time : 0.0 sec. user=mdettweiler [2016-03-31 20:41:43] 801*2^1424946-1 is not prime. Res64: C8F46EBE73F6EDF6 Time : 0.0 sec. user=mdettweiler [2016-03-31 20:44:04] 875*2^1424946-1 is not prime. Res64: 124CFF8E98DA1D39 Time : 0.0 sec. user=mdettweiler [2016-03-31 20:44:04] 905*2^1424946-1 is not prime. Res64: 256810D279A7CE77 Time : 0.0 sec. user=mdettweiler [2016-03-31 20:44:04] 933*2^1424946-1 is not prime. Res64: 1726E85046E6AB49 Time : 0.0 sec. user=mdettweiler [2016-03-31 20:44:05] 685*2^1424947-1 is not prime. Res64: 039C6CDB5B6799A6 Time : 0.0 sec. user=mdettweiler [2016-03-31 20:44:05] 915*2^1424947-1 is not prime. Res64: 08020F750CB7A00D Time : 0.0 sec. user=mdettweiler [2016-03-31 21:20:16] 931*2^1424947-1 is not prime. Res64: 6A5BAFC0D1906803 Time : 0.0 sec. user=mdettweiler [2016-03-31 21:20:17] 827*2^1424948-1 is not prime. Res64: 5DF532886303AC35 Time : 0.0 sec. user=mdettweiler [2016-03-31 21:20:17] 621*2^1424949-1 is not prime. Res64: CD9D961CDFAC1252 Time : 0.0 sec. user=mdettweiler [2016-03-31 21:20:18] 669*2^1424949-1 is not prime. Res64: 3A1AF3A34EE4B743 Time : 0.0 sec. user=mdettweiler [2016-03-31 21:20:18] 727*2^1424949-1 is not prime. Res64: 58E964C0F87EC0F0 Time : 0.0 sec. user=mdettweiler [2016-03-31 21:23:05] 741*2^1424949-1 is not prime. Res64: 0A839B10D35112A8 Time : 0.0 sec. user=mdettweiler [2016-03-31 21:23:05] 877*2^1424949-1 is not prime. Res64: 8F9EDBBFEF139694 Time : 0.0 sec. user=mdettweiler [2016-03-31 21:23:06] 927*2^1424949-1 is not prime. Res64: 9173DA27F565CC5A Time : 0.0 sec. user=mdettweiler [2016-03-31 21:23:06] 951*2^1424949-1 is not prime. Res64: 8D1F46EC3CCE41B8 Time : 0.0 sec. user=mdettweiler [2016-03-31 21:23:07] 611*2^1424950-1 is not prime. Res64: 3A69501D9D2F0D8A Time : 0.0 sec. user=mdettweiler [2016-03-31 21:26:58] 645*2^1424950-1 is not prime. Res64: 2DAF967035160FFF Time : 0.0 sec. user=mdettweiler [2016-03-31 21:26:59] 653*2^1424950-1 is not prime. Res64: C7D2759D30562D7F Time : 0.0 sec. user=mdettweiler [2016-03-31 21:26:59] 657*2^1424950-1 is not prime. Res64: C883D1BB2959BD4C Time : 0.0 sec. user=mdettweiler [2016-03-31 21:26:59] 717*2^1424950-1 is not prime. Res64: 98069623005622FB Time : 0.0 sec. user=mdettweiler [2016-03-31 21:27:00] 741*2^1424950-1 is not prime. Res64: 430F1EFDEDA95ADD Time : 0.0 sec. user=mdettweiler [2016-03-31 21:29:13] 873*2^1424950-1 is not prime. Res64: 32532A4135BA5644 Time : 0.0 sec. user=mdettweiler [2016-03-31 21:29:13] 1001*2^1424950-1 is not prime. Res64: AA8C7800791308FB Time : 0.0 sec. user=mdettweiler [2016-03-31 21:29:14] 601*2^1424951-1 is not prime. Res64: B7A6934940877A20 Time : 0.0 sec. user=mdettweiler [2016-03-31 21:29:14] 745*2^1424951-1 is not prime. Res64: E9A15C0F424B5D0C Time : 0.0 sec. user=mdettweiler [2016-03-31 21:29:15] 763*2^1424951-1 is not prime. Res64: 64CDF5D0AC2C8A2B Time : 0.0 sec. user=mdettweiler [2016-03-31 22:05:24] 813*2^1424951-1 is not prime. Res64: A0B24A93542D43A4 Time : 0.0 sec. user=mdettweiler [2016-03-31 22:05:25] 855*2^1424951-1 is not prime. Res64: 4A3289A635FAF39E Time : 0.0 sec. user=mdettweiler [2016-03-31 22:05:27] 955*2^1424951-1 is not prime. Res64: B740C838181BBFB0 Time : 0.0 sec. user=mdettweiler [2016-03-31 22:05:28] 669*2^1424952-1 is not prime. Res64: D2E44BA079327589 Time : 0.0 sec. user=mdettweiler [2016-03-31 22:05:29] 683*2^1424952-1 is not prime. Res64: 0B32A92CC5D87933 Time : 0.0 sec. user=mdettweiler [2016-03-31 22:08:17] 693*2^1424952-1 is not prime. Res64: 5BA70688B4107080 Time : 0.0 sec. user=mdettweiler [2016-03-31 22:08:18] 767*2^1424952-1 is not prime. Res64: 3E915E02E00BDCD5 Time : 0.0 sec. user=mdettweiler [2016-03-31 22:08:19] 945*2^1424952-1 is not prime. Res64: C6F6B9D61AD4D5E7 Time : 0.0 sec. user=mdettweiler [2016-03-31 22:08:19] 805*2^1424953-1 is not prime. Res64: 4B79EA5B43D3E6FE Time : 0.0 sec. user=mdettweiler [2016-03-31 22:08:20] 817*2^1424953-1 is not prime. Res64: BF338046A47F8EC6 Time : 0.0 sec. user=mdettweiler [2016-03-31 22:11:58] 945*2^1424953-1 is not prime. Res64: 1423163B345A4793 Time : 0.0 sec. user=mdettweiler [2016-03-31 22:11:58] 955*2^1424953-1 is not prime. Res64: 25A9E9C6E0D85614 Time : 0.0 sec. user=mdettweiler [2016-03-31 22:11:59] 615*2^1424954-1 is not prime. Res64: EADE177A150FDF5C Time : 0.0 sec. user=mdettweiler [2016-03-31 22:11:59] 633*2^1424954-1 is not prime. Res64: 88237D2D6CD1CF60 Time : 0.0 sec. user=mdettweiler [2016-03-31 22:12:00] 755*2^1424954-1 is not prime. Res64: B49CF78CC39877C3 Time : 0.0 sec. user=mdettweiler [2016-03-31 22:14:29] 833*2^1424954-1 is not prime. Res64: 71D916E879BB0AE1 Time : 0.0 sec. user=mdettweiler [2016-03-31 22:14:29] 887*2^1424954-1 is not prime. Res64: 66D002F31240E2CD Time : 0.0 sec. user=mdettweiler [2016-03-31 22:14:30] 915*2^1424954-1 is not prime. Res64: 5BFDC9F8B7C26A6E Time : 0.0 sec. user=mdettweiler [2016-03-31 22:14:31] 801*2^1424955-1 is not prime. Res64: 490BBE65900F32D4 Time : 0.0 sec. user=mdettweiler [2016-03-31 22:14:31] 861*2^1424955-1 is not prime. Res64: D94B67410B7A590B Time : 0.0 sec. user=mdettweiler [2016-03-31 22:51:29] 895*2^1424955-1 is not prime. Res64: E8422E3B0F4572E1 Time : 0.0 sec. user=mdettweiler [2016-03-31 22:51:29] 963*2^1424955-1 is not prime. Res64: B5D8E92511B06434 Time : 0.0 sec. user=mdettweiler [2016-03-31 22:51:29] 647*2^1424956-1 is not prime. Res64: 701795D0A47C4CD7 Time : 0.0 sec. user=mdettweiler [2016-03-31 22:51:29] 927*2^1424956-1 is not prime. Res64: A92E5D8DD29C0024 Time : 0.0 sec. user=mdettweiler [2016-03-31 22:51:30] 933*2^1424956-1 is not prime. Res64: C4C28032971195F9 Time : 0.0 sec. user=mdettweiler [2016-03-31 22:54:21] 939*2^1424956-1 is not prime. Res64: 4AFE16BE0B59F47D Time : 0.0 sec. user=mdettweiler [2016-03-31 22:54:22] 601*2^1424957-1 is not prime. Res64: F613179F1B688205 Time : 0.0 sec. user=mdettweiler [2016-03-31 22:54:22] 645*2^1424957-1 is not prime. Res64: E582D46CE1B90D1F Time : 0.0 sec. user=mdettweiler [2016-03-31 22:54:22] 669*2^1424957-1 is not prime. Res64: C9BC0858369F3A95 Time : 0.0 sec. user=mdettweiler [2016-03-31 22:54:23] 691*2^1424957-1 is not prime. Res64: 753EF6DA0708390D Time : 0.0 sec. user=mdettweiler [2016-03-31 22:58:34] 829*2^1424957-1 is not prime. Res64: 65FFBC5B083DDD4D Time : 0.0 sec. user=mdettweiler [2016-03-31 22:58:35] 831*2^1424957-1 is not prime. Res64: 3A0AC141DB81999D Time : 0.0 sec. user=mdettweiler [2016-03-31 22:58:35] 885*2^1424957-1 is not prime. Res64: 536355ACFC7F980C Time : 0.0 sec. user=mdettweiler [2016-03-31 22:58:36] 949*2^1424957-1 is not prime. Res64: E67FA502185FDBDA Time : 0.0 sec. user=mdettweiler [2016-03-31 22:58:36] 979*2^1424957-1 is not prime. Res64: 72897477ED050E85 Time : 0.0 sec. user=mdettweiler [2016-03-31 23:02:05] 951*2^1424958-1 is not prime. Res64: 43BCD30342395409 Time : 0.0 sec. user=mdettweiler [2016-03-31 23:02:06] 615*2^1424959-1 is not prime. Res64: DFF6A47B586A0BD3 Time : 0.0 sec. user=mdettweiler [2016-03-31 23:02:07] 765*2^1424959-1 is not prime. Res64: 67AF14103FC9AADB Time : 0.0 sec. user=mdettweiler [2016-03-31 23:02:08] 793*2^1424959-1 is not prime. Res64: DDF5DBE5AC50B28A Time : 0.0 sec. user=mdettweiler [2016-03-31 23:02:08] 831*2^1424959-1 is not prime. Res64: AE770FA84E956864 Time : 0.0 sec. user=mdettweiler [2016-03-31 23:39:24] 853*2^1424959-1 is not prime. Res64: B53C051A25D56CB1 Time : 0.0 sec. user=mdettweiler [2016-03-31 23:39:24] 855*2^1424959-1 is not prime. Res64: 4F237A58F847CEE1 Time : 0.0 sec. user=mdettweiler [2016-03-31 23:39:24] 931*2^1424959-1 is not prime. Res64: C309C4A98FD209F7 Time : 0.0 sec. user=mdettweiler [2016-03-31 23:39:25] 999*2^1424959-1 is not prime. Res64: F3048D78F369116B Time : 0.0 sec. user=mdettweiler [2016-03-31 23:39:25] 609*2^1424960-1 is not prime. Res64: 7B63C62061C5D587 Time : 0.0 sec. user=mdettweiler [2016-03-31 23:41:25] 629*2^1424960-1 is not prime. Res64: 47DA34DF6E02CF57 Time : 0.0 sec. user=mdettweiler [2016-03-31 23:41:25] 713*2^1424960-1 is not prime. Res64: 5339E3DC7206A8C2 Time : 0.0 sec. user=mdettweiler [2016-03-31 23:41:25] 785*2^1424960-1 is not prime. Res64: 5831A06401344F1A Time : 0.0 sec. user=mdettweiler [2016-03-31 23:41:26] 843*2^1424960-1 is not prime. Res64: 7FC0CD77FC25B22E Time : 0.0 sec. user=mdettweiler [2016-03-31 23:41:26] 959*2^1424960-1 is not prime. Res64: 09F6805A65D01B18 Time : 0.0 sec. user=mdettweiler [2016-03-31 23:44:50] 977*2^1424960-1 is not prime. Res64: 19C44CDD2B725239 Time : 0.0 sec. user=mdettweiler [2016-03-31 23:44:50] 639*2^1424961-1 is not prime. Res64: 7DD42E7A8544255A Time : 0.0 sec. user=mdettweiler [2016-03-31 23:44:50] 657*2^1424961-1 is not prime. Res64: 9AC828D342E63D60 Time : 0.0 sec. user=mdettweiler [2016-03-31 23:44:51] 741*2^1424961-1 is not prime. Res64: 928466872D4371B3 Time : 0.0 sec. user=mdettweiler [2016-03-31 23:44:51] 811*2^1424961-1 is not prime. Res64: 8DEFBF54871F6884 Time : 0.0 sec. user=mdettweiler [2016-03-31 23:47:32] 901*2^1424961-1 is not prime. Res64: A89F5D6F95E66325 Time : 0.0 sec. user=mdettweiler [2016-03-31 23:47:33] 951*2^1424961-1 is not prime. Res64: 5368EF18BA07BCDD Time : 0.0 sec. user=mdettweiler [2016-03-31 23:47:33] 969*2^1424961-1 is not prime. Res64: 7063AFF5DF34DCBF Time : 0.0 sec. user=mdettweiler [2016-03-31 23:47:34] 701*2^1424962-1 is not prime. Res64: 383888A8F5FDDB40 Time : 0.0 sec. user=mdettweiler [2016-03-31 23:47:34] 705*2^1424962-1 is not prime. Res64: 2196227B75772107 Time : 0.0 sec.