user=mdettweiler [2016-01-10 00:07:07] 861*2^1418950-1 is not prime. Res64: 5C014847FDFB20B7 Time : 0.0 sec. user=mdettweiler [2016-01-10 00:07:08] 863*2^1418950-1 is not prime. Res64: 637A63C7AE8BD361 Time : 0.0 sec. user=mdettweiler [2016-01-10 00:07:14] 873*2^1418950-1 is not prime. Res64: 8BC462A3B16C4EF3 Time : 0.0 sec. user=mdettweiler [2016-01-10 00:07:16] 951*2^1418950-1 is not prime. Res64: 458BC8AC039E0C68 Time : 0.0 sec. user=mdettweiler [2016-01-10 00:24:57] 651*2^1418951-1 is not prime. Res64: 21192AB5D19063A5 Time : 0.0 sec. user=mdettweiler [2016-01-10 00:24:57] 673*2^1418951-1 is not prime. Res64: F584BD9E43A7B0D3 Time : 0.0 sec. user=mdettweiler [2016-01-10 00:24:58] 859*2^1418951-1 is not prime. Res64: 38A73AE92A231D87 Time : 0.0 sec. user=mdettweiler [2016-01-10 00:24:58] 955*2^1418951-1 is not prime. Res64: 53EAE398DF1E2C5D Time : 0.0 sec. user=mdettweiler [2016-01-10 00:42:31] 627*2^1418952-1 is not prime. Res64: 850DDE48C2A03723 Time : 0.0 sec. user=mdettweiler [2016-01-10 00:42:32] 759*2^1418952-1 is not prime. Res64: C1F8DBBA9CF95A63 Time : 0.0 sec. user=mdettweiler [2016-01-10 00:42:33] 837*2^1418952-1 is not prime. Res64: 06AC961A51B83F5D Time : 0.0 sec. user=mdettweiler [2016-01-10 00:42:33] 863*2^1418952-1 is not prime. Res64: C863E6AF83F33242 Time : 0.0 sec. user=mdettweiler [2016-01-10 01:00:05] 875*2^1418952-1 is not prime. Res64: 9A4C0A55C3991AA0 Time : 0.0 sec. user=mdettweiler [2016-01-10 01:00:06] 893*2^1418952-1 is not prime. Res64: 72F4956E4E3C9025 Time : 0.0 sec. user=mdettweiler [2016-01-10 01:00:06] 909*2^1418952-1 is not prime. Res64: 3E1A5327351BD529 Time : 0.0 sec. user=mdettweiler [2016-01-10 01:00:06] 983*2^1418952-1 is not prime. Res64: 70016C0F71B4F94D Time : 0.0 sec. user=mdettweiler [2016-01-10 01:17:40] 807*2^1418953-1 is not prime. Res64: 5E3D6C1761495294 Time : 0.0 sec. user=mdettweiler [2016-01-10 01:17:40] 751*2^1418953-1 is not prime. Res64: E3CAA775C460A0B7 Time : 0.0 sec. user=mdettweiler [2016-01-10 01:17:41] 877*2^1418953-1 is not prime. Res64: CB49B89EBA55A9C4 Time : 0.0 sec. user=mdettweiler [2016-01-10 01:17:41] 665*2^1418954-1 is not prime. Res64: 91CB24E879EE3F75 Time : 0.0 sec. user=mdettweiler [2016-01-10 01:35:16] 707*2^1418954-1 is not prime. Res64: D274ED5C4C7D63CD Time : 0.0 sec. user=mdettweiler [2016-01-10 01:35:16] 767*2^1418954-1 is not prime. Res64: 546203BAFA6AB698 Time : 0.0 sec. user=mdettweiler [2016-01-10 01:35:16] 797*2^1418954-1 is not prime. Res64: 0AA91E492AB0B128 Time : 0.0 sec. user=mdettweiler [2016-01-10 01:35:17] 887*2^1418954-1 is not prime. Res64: 8FAB9BE75FDBBFC0 Time : 0.0 sec. user=mdettweiler [2016-01-10 01:52:52] 1001*2^1418954-1 is not prime. Res64: 160B37C97A9D71E8 Time : 0.0 sec. user=mdettweiler [2016-01-10 01:52:52] 917*2^1418954-1 is not prime. Res64: 2688E4D7964C0C62 Time : 0.0 sec. user=mdettweiler [2016-01-10 01:52:52] 663*2^1418955-1 is not prime. Res64: 5B3463FEE9F11AC5 Time : 0.0 sec. user=mdettweiler [2016-01-10 01:52:52] 941*2^1418954-1 is not prime. Res64: 1CDC75429BF54D04 Time : 0.0 sec. user=mdettweiler [2016-01-10 02:10:27] 675*2^1418955-1 is not prime. Res64: 303499284461A3E2 Time : 0.0 sec. user=mdettweiler [2016-01-10 02:10:27] 783*2^1418955-1 is not prime. Res64: C6588B6ED81267E2 Time : 0.0 sec. user=mdettweiler [2016-01-10 02:10:27] 699*2^1418955-1 is not prime. Res64: 85BA2E587956A88B Time : 0.0 sec. user=mdettweiler [2016-01-10 02:10:27] 623*2^1418956-1 is not prime. Res64: CDE8E987E3B1DD2D Time : 0.0 sec. user=mdettweiler [2016-01-10 02:28:02] 647*2^1418956-1 is not prime. Res64: 4002542093D6068D Time : 0.0 sec. user=mdettweiler [2016-01-10 02:28:03] 825*2^1418956-1 is not prime. Res64: 4FB1EF263AAECB87 Time : 0.0 sec. user=mdettweiler [2016-01-10 02:28:03] 909*2^1418956-1 is not prime. Res64: C14A5BCF8DDB3536 Time : 0.0 sec. user=mdettweiler [2016-01-10 02:28:04] 631*2^1418957-1 is not prime. Res64: BF57F3700FF9D61A Time : 0.0 sec. user=mdettweiler [2016-01-10 02:45:40] 829*2^1418957-1 is not prime. Res64: F3DA1CE37A38F605 Time : 0.0 sec. user=mdettweiler [2016-01-10 02:45:41] 847*2^1418957-1 is not prime. Res64: 1BB22CFB71C804C8 Time : 0.0 sec. user=mdettweiler [2016-01-10 02:45:42] 655*2^1418957-1 is not prime. Res64: 849C5F2387AF206E Time : 0.0 sec. user=mdettweiler [2016-01-10 02:45:42] 747*2^1418957-1 is not prime. Res64: D908A44E0AD241B4 Time : 0.0 sec. user=mdettweiler [2016-01-10 03:03:18] 621*2^1418958-1 is not prime. Res64: 393D79241CEFCC7D Time : 0.0 sec. user=mdettweiler [2016-01-10 03:03:19] 867*2^1418957-1 is not prime. Res64: 926BEC48229ED6DD Time : 0.0 sec. user=mdettweiler [2016-01-10 03:03:20] 635*2^1418958-1 is not prime. Res64: DAE2481691FF9D30 Time : 0.0 sec. user=mdettweiler [2016-01-10 03:03:20] 889*2^1418957-1 is not prime. Res64: D574ACEBCF6E7F43 Time : 0.0 sec. user=mdettweiler [2016-01-10 03:21:08] 671*2^1418958-1 is not prime. Res64: 6BD0A4DBE4FE0D08 Time : 0.0 sec. user=mdettweiler [2016-01-10 03:21:09] 681*2^1418958-1 is not prime. Res64: 9FA91A2A3A902696 Time : 0.0 sec. user=mdettweiler [2016-01-10 03:21:10] 683*2^1418958-1 is not prime. Res64: D3F0F19267DA20F1 Time : 0.0 sec. user=mdettweiler [2016-01-10 03:21:11] 707*2^1418958-1 is not prime. Res64: 94D1FEF1A31EDA59 Time : 0.0 sec. user=mdettweiler [2016-01-10 03:38:45] 633*2^1418959-1 is not prime. Res64: 68EF4BCE51933C63 Time : 0.0 sec. user=mdettweiler [2016-01-10 03:38:45] 971*2^1418958-1 is not prime. Res64: 1315A6882C854EBA Time : 0.0 sec. user=mdettweiler [2016-01-10 03:38:46] 661*2^1418959-1 is not prime. Res64: A4919EEA601138D3 Time : 0.0 sec. user=mdettweiler [2016-01-10 03:38:47] 977*2^1418958-1 is not prime. Res64: E801CA25BA2B0D3C Time : 0.0 sec. user=mdettweiler [2016-01-10 03:56:42] 735*2^1418959-1 is not prime. Res64: C0F84321692B055D Time : 0.0 sec. user=mdettweiler [2016-01-10 03:56:42] 925*2^1418959-1 is not prime. Res64: 3588D11C7BE94E29 Time : 0.0 sec. user=mdettweiler [2016-01-10 03:56:43] 771*2^1418959-1 is not prime. Res64: F28AA27C3D0FD36F Time : 0.0 sec. user=mdettweiler [2016-01-10 03:56:44] 975*2^1418959-1 is not prime. Res64: 79A9C7F896197051 Time : 0.0 sec. user=mdettweiler [2016-01-10 04:14:39] 633*2^1418960-1 is not prime. Res64: 7460D0677ED3F24F Time : 0.0 sec. user=mdettweiler [2016-01-10 04:14:40] 747*2^1418960-1 is not prime. Res64: 6CE3DFAE539D478C Time : 0.0 sec. user=mdettweiler [2016-01-10 04:14:40] 645*2^1418960-1 is not prime. Res64: C028E92BA518A88E Time : 0.0 sec. user=mdettweiler [2016-01-10 04:14:41] 753*2^1418960-1 is not prime. Res64: 426D6097563F7A92 Time : 0.0 sec. user=mdettweiler [2016-01-10 04:32:35] 825*2^1418960-1 is not prime. Res64: 5D53DE2C54063973 Time : 0.0 sec. user=mdettweiler [2016-01-10 04:32:36] 833*2^1418960-1 is not prime. Res64: 557B2F7DB16ADA07 Time : 0.0 sec. user=mdettweiler [2016-01-10 04:32:38] 909*2^1418960-1 is not prime. Res64: 8373DE36173379B2 Time : 0.0 sec. user=mdettweiler [2016-01-10 04:32:38] 959*2^1418960-1 is not prime. Res64: CE7D009E38A2F20D Time : 0.0 sec. user=mdettweiler [2016-01-10 04:50:20] 983*2^1418960-1 is not prime. Res64: 11ED8CF86E70136F Time : 0.0 sec. user=mdettweiler [2016-01-10 04:50:21] 781*2^1418961-1 is not prime. Res64: A001B48D8BAFEE41 Time : 0.0 sec. user=mdettweiler [2016-01-10 04:50:21] 625*2^1418961-1 is not prime. Res64: 71C7B55C689096AB Time : 0.0 sec. user=mdettweiler [2016-01-10 04:50:22] 877*2^1418961-1 is not prime. Res64: E069181E2C06C9C9 Time : 0.0 sec. user=mdettweiler [2016-01-10 05:08:06] 843*2^1418962-1 is not prime. Res64: AB77F7EBDAC79AB0 Time : 0.0 sec. user=mdettweiler [2016-01-10 05:08:07] 657*2^1418962-1 is not prime. Res64: 904C65C600C9DCE5 Time : 0.0 sec. user=mdettweiler [2016-01-10 05:08:08] 603*2^1418963-1 is not prime. Res64: 2C7F53EEFD1EBD9F Time : 0.0 sec. user=mdettweiler [2016-01-10 05:08:08] 813*2^1418962-1 is not prime. Res64: F3CFFF6C727C9203 Time : 0.0 sec. user=mdettweiler [2016-01-10 05:25:52] 643*2^1418963-1 is not prime. Res64: 00B35673EC8DB65A Time : 0.0 sec. user=mdettweiler [2016-01-10 05:25:53] 735*2^1418963-1 is not prime. Res64: 9F5BA1A82C5DE375 Time : 0.0 sec. user=mdettweiler [2016-01-10 05:25:53] 705*2^1418963-1 is not prime. Res64: 397478F7C1AAB5E5 Time : 0.0 sec. user=mdettweiler [2016-01-10 05:25:54] 627*2^1418964-1 is not prime. Res64: BDEDE09D12E3AA41 Time : 0.0 sec. user=mdettweiler [2016-01-10 05:43:33] 875*2^1418964-1 is not prime. Res64: 6FCBD753D1F77AF6 Time : 0.0 sec. user=mdettweiler [2016-01-10 05:43:34] 609*2^1418965-1 is not prime. Res64: 570B69E1F0014ADA Time : 0.0 sec. user=mdettweiler [2016-01-10 05:43:34] 945*2^1418964-1 is not prime. Res64: AA322FB90C37CC38 Time : 0.0 sec. user=mdettweiler [2016-01-10 05:43:35] 831*2^1418965-1 is not prime. Res64: 863E33A91BF9C6C9 Time : 0.0 sec. user=mdettweiler [2016-01-10 06:01:15] 915*2^1418965-1 is not prime. Res64: A54A7A67D82E9DFA Time : 0.0 sec. user=mdettweiler [2016-01-10 06:01:17] 987*2^1418965-1 is not prime. Res64: 8F979C121C9DBEFD Time : 0.0 sec. user=mdettweiler [2016-01-10 06:01:18] 627*2^1418966-1 is not prime. Res64: C55E33698AF31143 Time : 0.0 sec. user=mdettweiler [2016-01-10 06:01:20] 713*2^1418966-1 is not prime. Res64: 921AF484F051F221 Time : 0.0 sec. user=mdettweiler [2016-01-10 06:19:11] 953*2^1418966-1 is not prime. Res64: 8D7942F2E77CBB90 Time : 0.0 sec. user=mdettweiler [2016-01-10 06:19:11] 843*2^1418966-1 is not prime. Res64: 7BC9BEE3BD7D56F0 Time : 0.0 sec. user=mdettweiler [2016-01-10 06:19:12] 957*2^1418966-1 is not prime. Res64: CA22122EF32E2CBC Time : 0.0 sec. user=mdettweiler [2016-01-10 06:19:12] 911*2^1418966-1 is not prime. Res64: 9A047FA93E82E656 Time : 0.0 sec. user=mdettweiler [2016-01-10 06:36:55] 633*2^1418967-1 is not prime. Res64: 4DF1623A93F008FE Time : 0.0 sec. user=mdettweiler [2016-01-10 06:36:56] 781*2^1418967-1 is not prime. Res64: D5A451D3807712DF Time : 0.0 sec. user=mdettweiler [2016-01-10 06:36:56] 885*2^1418967-1 is not prime. Res64: 37A782E072BD80E6 Time : 0.0 sec. user=mdettweiler [2016-01-10 06:36:57] 895*2^1418967-1 is not prime. Res64: B2346E214EAC2E7B Time : 0.0 sec. user=mdettweiler [2016-01-10 06:54:39] 933*2^1418967-1 is not prime. Res64: 389FDE5D5A89B3CB Time : 0.0 sec. user=mdettweiler [2016-01-10 06:54:39] 955*2^1418967-1 is not prime. Res64: AB299529977830F2 Time : 0.0 sec. user=mdettweiler [2016-01-10 06:54:41] 623*2^1418968-1 is not prime. Res64: 95540D655305E393 Time : 0.0 sec. user=mdettweiler [2016-01-10 06:54:42] 755*2^1418968-1 is not prime. Res64: 29BE1623E1E4E126 Time : 0.0 sec. user=mdettweiler [2016-01-10 07:12:21] 765*2^1418968-1 is not prime. Res64: 61A3E7662E543AB1 Time : 0.0 sec. user=mdettweiler [2016-01-10 07:12:21] 933*2^1418968-1 is not prime. Res64: 96CDAF22DC86CCC5 Time : 0.0 sec. user=mdettweiler [2016-01-10 07:12:22] 813*2^1418968-1 is not prime. Res64: 00C8444CFF862360 Time : 0.0 sec. user=mdettweiler [2016-01-10 07:12:22] 685*2^1418969-1 is not prime. Res64: 887A4D0A9796E531 Time : 0.0 sec. user=mdettweiler [2016-01-10 07:30:08] 837*2^1418969-1 is not prime. Res64: 6928DA1EC88DD360 Time : 0.0 sec. user=mdettweiler [2016-01-10 07:30:09] 699*2^1418969-1 is not prime. Res64: 3F45929D49DB7298 Time : 0.0 sec. user=mdettweiler [2016-01-10 07:30:09] 861*2^1418969-1 is not prime. Res64: F3E2ADC4EC202C53 Time : 0.0 sec. user=mdettweiler [2016-01-10 07:30:10] 727*2^1418969-1 is not prime. Res64: F65D86D68B5A0924 Time : 0.0 sec. user=mdettweiler [2016-01-10 07:47:52] 777*2^1418970-1 is not prime. Res64: 373BBED14C8FF37A Time : 0.0 sec. user=mdettweiler [2016-01-10 07:47:53] 885*2^1418970-1 is not prime. Res64: 38B5C86AFD33DB0B Time : 0.0 sec. user=mdettweiler [2016-01-10 07:47:55] 939*2^1418969-1 is not prime. Res64: D74B20B65DD56F17 Time : 0.0 sec. user=mdettweiler [2016-01-10 07:47:56] 681*2^1418970-1 is not prime. Res64: 4F0040EE4F5C8028 Time : 0.0 sec. user=mdettweiler [2016-01-10 08:05:35] 887*2^1418970-1 is not prime. Res64: 69E5F8114ADC2996 Time : 0.0 sec. user=mdettweiler [2016-01-10 08:05:35] 951*2^1418970-1 is not prime. Res64: AC25F3567A476CEC Time : 0.0 sec. user=mdettweiler [2016-01-10 08:05:38] 917*2^1418970-1 is not prime. Res64: 9ED58DE729FB1F1F Time : 0.0 sec. user=mdettweiler [2016-01-10 08:05:39] 603*2^1418971-1 is not prime. Res64: 3EE789C03E849CD1 Time : 0.0 sec. user=mdettweiler [2016-01-10 08:23:30] 993*2^1418971-1 is not prime. Res64: 849625345636AB2F Time : 0.0 sec. user=mdettweiler [2016-01-10 08:23:31] 741*2^1418971-1 is not prime. Res64: FD335E1B67A9B373 Time : 0.0 sec. user=mdettweiler [2016-01-10 08:23:31] 615*2^1418972-1 is not prime. Res64: 04FB030418428113 Time : 0.0 sec. user=mdettweiler [2016-01-10 08:23:32] 769*2^1418971-1 is not prime. Res64: F99F8EA80955779B Time : 0.0 sec. user=mdettweiler [2016-01-10 08:41:11] 615*2^1418973-1 is not prime. Res64: 1E34CA1739D64F6D Time : 0.0 sec. user=mdettweiler [2016-01-10 08:41:12] 639*2^1418973-1 is not prime. Res64: 2D2665510352F2A7 Time : 0.0 sec. user=mdettweiler [2016-01-10 08:41:12] 977*2^1418972-1 is not prime. Res64: 50E8143255B3F20B Time : 0.0 sec. user=mdettweiler [2016-01-10 08:41:13] 983*2^1418972-1 is not prime. Res64: 481F940E3FEC7CED Time : 0.0 sec. user=mdettweiler [2016-01-10 08:58:54] 691*2^1418973-1 is not prime. Res64: 094861373BE71819 Time : 0.0 sec. user=mdettweiler [2016-01-10 08:58:55] 847*2^1418973-1 is not prime. Res64: 4D21DB4CA6D85030 Time : 0.0 sec. user=mdettweiler [2016-01-10 08:58:56] 867*2^1418973-1 is not prime. Res64: 9BD0D8E2D65A2A35 Time : 0.0 sec. user=mdettweiler [2016-01-10 08:58:57] 985*2^1418973-1 is not prime. Res64: 50BE309761E0AE0A Time : 0.0 sec. user=mdettweiler [2016-01-10 09:16:38] 671*2^1418974-1 is not prime. Res64: 45FC22AF5CF40983 Time : 0.0 sec. user=mdettweiler [2016-01-10 09:16:39] 687*2^1418974-1 is not prime. Res64: BBD76EDE3B8A3B1D Time : 0.0 sec. user=mdettweiler [2016-01-10 09:16:40] 987*2^1418973-1 is not prime. Res64: 1E12D2DD7694A051 Time : 0.0 sec. user=mdettweiler [2016-01-10 09:16:42] 657*2^1418974-1 is not prime. Res64: 8C25DF723B846A7F Time : 0.0 sec. user=mdettweiler [2016-01-10 09:34:22] 717*2^1418974-1 is not prime. Res64: EECBE1F5D8537323 Time : 0.0 sec. user=mdettweiler [2016-01-10 09:34:23] 945*2^1418974-1 is not prime. Res64: 399FD071560596C3 Time : 0.0 sec. user=mdettweiler [2016-01-10 09:34:23] 917*2^1418974-1 is not prime. Res64: 01117CA9033C6319 Time : 0.0 sec. user=mdettweiler [2016-01-10 09:34:24] 957*2^1418974-1 is not prime. Res64: 51403B5DAB132BCD Time : 0.0 sec. user=mdettweiler [2016-01-10 09:52:04] 603*2^1418975-1 is not prime. Res64: B549637470C418AE Time : 0.0 sec. user=mdettweiler [2016-01-10 09:52:04] 685*2^1418975-1 is not prime. Res64: 4128CDD9A045D25A Time : 0.0 sec. user=mdettweiler [2016-01-10 09:52:04] 645*2^1418975-1 is not prime. Res64: E484F42CA23639F3 Time : 0.0 sec. user=mdettweiler [2016-01-10 09:52:05] 825*2^1418975-1 is not prime. Res64: A80E4F829C594940 Time : 0.0 sec. user=mdettweiler [2016-01-10 10:09:38] 979*2^1418975-1 is not prime. Res64: 7B5EF009B11F2015 Time : 0.0 sec. user=mdettweiler [2016-01-10 10:09:39] 689*2^1418976-1 is not prime. Res64: 41E243770F959CE0 Time : 0.0 sec. user=mdettweiler [2016-01-10 10:09:39] 719*2^1418976-1 is not prime. Res64: 64708981F612B9EC Time : 0.0 sec. user=mdettweiler [2016-01-10 10:09:40] 839*2^1418976-1 is not prime. Res64: DCB468A6579DE44D Time : 0.0 sec. user=mdettweiler [2016-01-10 10:27:35] 817*2^1418977-1 is not prime. Res64: 07626D6356AF7E1B Time : 0.0 sec. user=mdettweiler [2016-01-10 10:27:35] 847*2^1418977-1 is not prime. Res64: 6A860A4689DDA1DD Time : 0.0 sec. user=mdettweiler [2016-01-10 10:27:38] 969*2^1418976-1 is not prime. Res64: 89C0C3E113C61FAD Time : 0.0 sec. user=mdettweiler [2016-01-10 10:27:38] 729*2^1418977-1 is not prime. Res64: 750A878634DCEFB3 Time : 0.0 sec. user=mdettweiler [2016-01-10 10:45:08] 849*2^1418977-1 is not prime. Res64: 5B586D8BD1E189ED Time : 0.0 sec. user=mdettweiler [2016-01-10 10:45:08] 885*2^1418977-1 is not prime. Res64: 77243ACE01B7C5FA Time : 0.0 sec. user=mdettweiler [2016-01-10 10:45:10] 605*2^1418978-1 is not prime. Res64: C11662CEE827E662 Time : 0.0 sec. user=mdettweiler [2016-01-10 10:45:10] 771*2^1418978-1 is not prime. Res64: E3F8582EC235EBAE Time : 0.0 sec. user=mdettweiler [2016-01-10 11:02:42] 815*2^1418978-1 is not prime. Res64: DD310DE38AF8FA05 Time : 0.0 sec. user=mdettweiler [2016-01-10 11:02:43] 825*2^1418978-1 is not prime. Res64: 381AAC888667FF27 Time : 0.0 sec. user=mdettweiler [2016-01-10 11:02:44] 837*2^1418978-1 is not prime. Res64: BC94136DCAF6A4BB Time : 0.0 sec. user=mdettweiler [2016-01-10 11:02:44] 887*2^1418978-1 is not prime. Res64: F2CFB33EF43B71AA Time : 0.0 sec. user=mdettweiler [2016-01-10 11:20:34] 915*2^1418978-1 is not prime. Res64: 7CE49839142A35E9 Time : 0.0 sec. user=mdettweiler [2016-01-10 11:20:35] 987*2^1418978-1 is not prime. Res64: B481A98A197C3884 Time : 0.0 sec. user=mdettweiler [2016-01-10 11:20:35] 935*2^1418978-1 is not prime. Res64: 522FB3129BA60BEA Time : 0.0 sec. user=mdettweiler [2016-01-10 11:20:35] 615*2^1418979-1 is not prime. Res64: 696DEF75D3A72517 Time : 0.0 sec. user=mdettweiler [2016-01-10 11:38:07] 619*2^1418979-1 is not prime. Res64: 68B4028165F5F0DF Time : 0.0 sec. user=mdettweiler [2016-01-10 11:38:07] 735*2^1418979-1 is not prime. Res64: 587B1F3DDE446657 Time : 0.0 sec. user=mdettweiler [2016-01-10 11:38:07] 793*2^1418979-1 is not prime. Res64: 088D03C3954A3042 Time : 0.0 sec. user=mdettweiler [2016-01-10 11:38:08] 795*2^1418979-1 is not prime. Res64: 8A56B7083BFC7BEE Time : 0.0 sec. user=mdettweiler [2016-01-10 11:55:41] 973*2^1418979-1 is not prime. Res64: 7EA7759EF6769615 Time : 0.0 sec. user=mdettweiler [2016-01-10 11:55:42] 675*2^1418980-1 is not prime. Res64: 00427308EF112A70 Time : 0.0 sec. user=mdettweiler [2016-01-10 11:55:42] 895*2^1418979-1 is not prime. Res64: 85401E02D9B82E38 Time : 0.0 sec. user=mdettweiler [2016-01-10 11:55:42] 903*2^1418979-1 is not prime. Res64: 73090493EDE295F2 Time : 0.0 sec. user=mdettweiler [2016-01-10 12:13:14] 695*2^1418980-1 is not prime. Res64: 1F013A65A2B665A5 Time : 0.0 sec. user=mdettweiler [2016-01-10 12:13:14] 923*2^1418980-1 is not prime. Res64: 993461E7FB670069 Time : 0.0 sec. user=mdettweiler [2016-01-10 12:13:15] 959*2^1418980-1 is not prime. Res64: F790A15A064CFCE9 Time : 0.0 sec. user=mdettweiler [2016-01-10 12:13:15] 813*2^1418980-1 is not prime. Res64: D96B7F96E2DA46CC Time : 0.0 sec. user=mdettweiler [2016-01-10 12:30:50] 715*2^1418981-1 is not prime. Res64: 63D4E4C06BDD8ED4 Time : 0.0 sec. user=mdettweiler [2016-01-10 12:30:50] 775*2^1418981-1 is not prime. Res64: F3BC6D39256B314E Time : 0.0 sec. user=mdettweiler [2016-01-10 12:30:50] 745*2^1418981-1 is not prime. Res64: F938B03C669B4EFA Time : 0.0 sec. user=mdettweiler [2016-01-10 12:30:51] 859*2^1418981-1 is not prime. Res64: 63D3812F17ED6C44 Time : 0.0 sec. user=mdettweiler [2016-01-10 12:48:25] 939*2^1418981-1 is not prime. Res64: 0B7BF09720DC2222 Time : 0.0 sec. user=mdettweiler [2016-01-10 12:48:25] 621*2^1418982-1 is not prime. Res64: 8A1F60004546FA0B Time : 0.0 sec. user=mdettweiler [2016-01-10 12:48:25] 949*2^1418981-1 is not prime. Res64: 28161C329088B708 Time : 0.0 sec. user=mdettweiler [2016-01-10 12:48:25] 681*2^1418982-1 is not prime. Res64: 5D084E838C10210C Time : 0.0 sec. user=mdettweiler [2016-01-10 13:05:59] 737*2^1418982-1 is not prime. Res64: 3F579C72E211EF61 Time : 0.0 sec. user=mdettweiler [2016-01-10 13:06:00] 693*2^1418982-1 is not prime. Res64: 52511C91C8F3DDF4 Time : 0.0 sec. user=mdettweiler [2016-01-10 13:06:01] 791*2^1418982-1 is not prime. Res64: 3CE20AAD05DBD041 Time : 0.0 sec. user=mdettweiler [2016-01-10 13:06:03] 723*2^1418982-1 is not prime. Res64: 7FD22DC3FF50901C Time : 0.0 sec. user=mdettweiler [2016-01-10 13:23:55] 649*2^1418983-1 is not prime. Res64: A55FF7A8D2DE6E1B Time : 0.0 sec. user=mdettweiler [2016-01-10 13:23:56] 873*2^1418983-1 is not prime. Res64: E24E5A9585BA305D Time : 0.0 sec. user=mdettweiler [2016-01-10 13:23:56] 985*2^1418983-1 is not prime. Res64: 4D6DFBC344CF75EF Time : 0.0 sec. user=mdettweiler [2016-01-10 13:23:56] 993*2^1418983-1 is not prime. Res64: B3BE72F036674320 Time : 0.0 sec. user=mdettweiler [2016-01-10 13:41:28] 687*2^1418984-1 is not prime. Res64: 1D7521C5D20AB9FD Time : 0.0 sec. user=mdettweiler [2016-01-10 13:41:28] 999*2^1418983-1 is not prime. Res64: B318596640DADF7E Time : 0.0 sec. user=mdettweiler [2016-01-10 13:41:28] 743*2^1418984-1 is not prime. Res64: F687B0C756E7DB2B Time : 0.0 sec. user=mdettweiler [2016-01-10 13:41:29] 609*2^1418984-1 is not prime. Res64: 39538E53D4D4C0FD Time : 0.0 sec. user=mdettweiler [2016-01-10 13:59:01] 903*2^1418984-1 is not prime. Res64: AB604C12E1128305 Time : 0.0 sec. user=mdettweiler [2016-01-10 13:59:02] 917*2^1418984-1 is not prime. Res64: 496BA60C2A2F3B9C Time : 0.0 sec. user=mdettweiler [2016-01-10 13:59:02] 759*2^1418984-1 is not prime. Res64: ABBE8585E76E9E3A Time : 0.0 sec. user=mdettweiler [2016-01-10 13:59:02] 819*2^1418984-1 is not prime. Res64: 379B664940913E6A Time : 0.0 sec. user=mdettweiler [2016-01-10 14:16:38] 993*2^1418984-1 is not prime. Res64: 6D4AFC32973CE0EB Time : 0.0 sec. user=mdettweiler [2016-01-10 14:16:38] 927*2^1418984-1 is not prime. Res64: 821BCDF49A318F53 Time : 0.0 sec. user=mdettweiler [2016-01-10 14:16:38] 627*2^1418985-1 is not prime. Res64: 415AFC55D9DC1792 Time : 0.0 sec. user=mdettweiler [2016-01-10 14:16:38] 969*2^1418984-1 is not prime. Res64: E9368386B4867A82 Time : 0.0 sec. user=mdettweiler [2016-01-10 14:34:18] 837*2^1418985-1 is not prime. Res64: B16CBD1116BA428E Time : 0.0 sec. user=mdettweiler [2016-01-10 14:34:19] 889*2^1418985-1 is not prime. Res64: 105243C0A9A85E2F Time : 0.0 sec. user=mdettweiler [2016-01-10 14:34:19] 909*2^1418985-1 is not prime. Res64: 67CC2275D21B1891 Time : 0.0 sec. user=mdettweiler [2016-01-10 14:34:20] 991*2^1418985-1 is not prime. Res64: 2D6B42312E9C5661 Time : 0.0 sec. user=mdettweiler [2016-01-10 14:52:10] 623*2^1418986-1 is not prime. Res64: 0A03B8290541D1BE Time : 0.0 sec. user=mdettweiler [2016-01-10 14:52:10] 651*2^1418986-1 is not prime. Res64: 065C4239DD5F9320 Time : 0.0 sec. user=mdettweiler [2016-01-10 14:52:12] 653*2^1418986-1 is not prime. Res64: 042A669758DC87A4 Time : 0.0 sec. user=mdettweiler [2016-01-10 14:52:12] 741*2^1418986-1 is not prime. Res64: 617FF7723D5A4F7A Time : 0.0 sec. user=mdettweiler [2016-01-10 15:10:04] 825*2^1418986-1 is not prime. Res64: 942A3F9C3C61F682 Time : 0.0 sec. user=mdettweiler [2016-01-10 15:10:05] 857*2^1418986-1 is not prime. Res64: BFB44861EB674787 Time : 0.0 sec. user=mdettweiler [2016-01-10 15:10:06] 945*2^1418986-1 is not prime. Res64: 43864611087885FA Time : 0.0 sec. user=mdettweiler [2016-01-10 15:10:07] 633*2^1418987-1 is not prime. Res64: 47E36EBC229CFA83 Time : 0.0 sec. user=mdettweiler [2016-01-10 15:29:28] 669*2^1418987-1 is not prime. Res64: 1706F9BF138A91CC Time : 0.0 sec. user=mdettweiler [2016-01-10 15:29:28] 879*2^1418987-1 is not prime. Res64: B008BE795582EF02 Time : 0.0 sec. user=mdettweiler [2016-01-10 15:29:28] 885*2^1418987-1 is not prime. Res64: 229D8AF131965301 Time : 0.0 sec. user=mdettweiler [2016-01-10 15:29:28] 843*2^1418987-1 is not prime. Res64: 31A3531B12D7CE4C Time : 0.0 sec. user=mdettweiler [2016-01-10 15:47:23] 985*2^1418987-1 is not prime. Res64: E1BCDA8480C77036 Time : 0.0 sec. user=mdettweiler [2016-01-10 15:47:23] 605*2^1418988-1 is not prime. Res64: 0ABE40F5B6F5F6CF Time : 0.0 sec. user=mdettweiler [2016-01-10 15:47:24] 797*2^1418988-1 is not prime. Res64: F67FB79715A222EA Time : 0.0 sec. user=mdettweiler [2016-01-10 15:47:25] 819*2^1418988-1 is not prime. Res64: C857009B9BE37927 Time : 0.0 sec. user=mdettweiler [2016-01-10 16:05:01] 837*2^1418988-1 is not prime. Res64: EC97C480FF61A425 Time : 0.0 sec. user=mdettweiler [2016-01-10 16:05:03] 625*2^1418989-1 is not prime. Res64: 1A2713018629F44C Time : 0.0 sec. user=mdettweiler [2016-01-10 16:05:04] 609*2^1418989-1 is not prime. Res64: AABEE7BC387016DE Time : 0.0 sec. user=mdettweiler [2016-01-10 16:05:05] 699*2^1418989-1 is not prime. Res64: DADCD2AEC2B0AAC4 Time : 0.0 sec. user=mdettweiler [2016-01-10 19:23:20] 751*2^1418989-1 is not prime. Res64: 1CEF71164F498859 Time : 0.0 sec. user=mdettweiler [2016-01-10 19:23:21] 979*2^1418989-1 is not prime. Res64: 0306F5DD171F9178 Time : 0.0 sec. user=mdettweiler [2016-01-10 19:23:21] 799*2^1418989-1 is not prime. Res64: 69A1D0AA9D85FD95 Time : 0.0 sec. user=mdettweiler [2016-01-10 19:23:22] 615*2^1418990-1 is not prime. Res64: 601440C4AC5117AF Time : 0.0 sec. user=mdettweiler [2016-01-10 19:41:22] 741*2^1418990-1 is not prime. Res64: 1A36533ECB04E6CF Time : 0.0 sec. user=mdettweiler [2016-01-10 19:41:22] 753*2^1418990-1 is not prime. Res64: 3ED26DD4F5A1DA43 Time : 0.0 sec. user=mdettweiler [2016-01-10 19:41:24] 827*2^1418990-1 is not prime. Res64: 1800DE26979A6B50 Time : 0.0 sec. user=mdettweiler [2016-01-10 19:41:24] 857*2^1418990-1 is not prime. Res64: 1089F1DBEAFD8E0E Time : 0.0 sec. user=mdettweiler [2016-01-10 19:41:25] 651*2^1418990-1 is not prime. Res64: 2C465134D9E01C5B Time : 0.0 sec. user=mdettweiler [2016-01-10 19:41:26] 731*2^1418990-1 is not prime. Res64: E65E0BB26625C12C Time : 0.0 sec. user=mdettweiler [2016-01-10 19:59:22] 915*2^1418990-1 is not prime. Res64: 0E26885A183AC7BB Time : 0.0 sec. user=mdettweiler [2016-01-10 19:59:22] 927*2^1418990-1 is not prime. Res64: C1F3C66721FEE758 Time : 0.0 sec. user=mdettweiler [2016-01-10 19:59:24] 941*2^1418990-1 is not prime. Res64: 102EB896E0922B48 Time : 0.0 sec. user=mdettweiler [2016-01-10 19:59:24] 953*2^1418990-1 is not prime. Res64: D4A1F41D69425EB4 Time : 0.0 sec. user=mdettweiler [2016-01-10 19:59:25] 625*2^1418991-1 is not prime. Res64: 0E416CF0492BAD51 Time : 0.0 sec. user=mdettweiler [2016-01-10 19:59:26] 895*2^1418991-1 is not prime. Res64: 8EBCC2A6BFCF8463 Time : 0.0 sec. user=mdettweiler [2016-01-10 20:17:00] 931*2^1418991-1 is not prime. Res64: DC7E8C062C58CFF3 Time : 0.0 sec. user=mdettweiler [2016-01-10 20:17:01] 961*2^1418991-1 is not prime. Res64: E26BC1BCE43D4999 Time : 0.0 sec. user=mdettweiler [2016-01-10 20:17:03] 779*2^1418992-1 is not prime. Res64: 4B7509421DE7996F Time : 0.0 sec. user=mdettweiler [2016-01-10 20:17:04] 869*2^1418992-1 is not prime. Res64: 5CEA5181E44BF28B Time : 0.0 sec. user=mdettweiler [2016-01-10 20:17:04] 819*2^1418992-1 is not prime. Res64: 60ED01F3192F8726 Time : 0.0 sec. user=mdettweiler [2016-01-10 20:17:04] 873*2^1418992-1 is not prime. Res64: C3265062642A923D Time : 0.0 sec. user=mdettweiler [2016-01-10 20:34:40] 631*2^1418993-1 is not prime. Res64: 6400692976E28ACD Time : 0.0 sec. user=mdettweiler [2016-01-10 20:34:40] 627*2^1418994-1 is not prime. Res64: 76047B6AF9582F1A Time : 0.0 sec. user=mdettweiler [2016-01-10 20:34:40] 637*2^1418993-1 is not prime. Res64: DFF80A2D52DD370B Time : 0.0 sec. user=mdettweiler [2016-01-10 20:34:41] 633*2^1418994-1 is not prime. Res64: B4E4945EE3E93E02 Time : 0.0 sec. user=mdettweiler [2016-01-10 20:34:41] 771*2^1418993-1 is not prime. Res64: A1A5F92D77BF95F1 Time : 0.0 sec. user=mdettweiler [2016-01-10 20:34:41] 885*2^1418993-1 is not prime. Res64: DD6DFBEE6DB02C49 Time : 0.0 sec. user=mdettweiler [2016-01-10 20:52:36] 709*2^1418995-1 is not prime. Res64: 401236F28304E6A6 Time : 0.0 sec. user=mdettweiler [2016-01-10 20:52:37] 735*2^1418995-1 is not prime. Res64: 560D6675C8EB0E0C Time : 0.0 sec. user=mdettweiler [2016-01-10 20:52:37] 893*2^1418994-1 is not prime. Res64: 7B590D7C777ABE5E Time : 0.0 sec. user=mdettweiler [2016-01-10 20:52:37] 639*2^1418995-1 is not prime. Res64: 129E08FFC7246745 Time : 0.0 sec. user=mdettweiler [2016-01-10 20:52:38] 705*2^1418994-1 is not prime. Res64: F219B14AD0BDE6E0 Time : 0.0 sec. user=mdettweiler [2016-01-10 20:52:38] 797*2^1418994-1 is not prime. Res64: DD3EBFA994E6785E Time : 0.0 sec. user=mdettweiler [2016-01-10 21:10:14] 827*2^1418996-1 is not prime. Res64: 4067E607C8148439 Time : 0.0 sec. user=mdettweiler [2016-01-10 21:10:15] 833*2^1418996-1 is not prime. Res64: DBE9CDFF6425179F Time : 0.0 sec. user=mdettweiler [2016-01-10 21:10:16] 925*2^1418995-1 is not prime. Res64: B8D546A867D09E3D Time : 0.0 sec. user=mdettweiler [2016-01-10 21:10:17] 789*2^1418996-1 is not prime. Res64: 56252B554A2B2341 Time : 0.0 sec. user=mdettweiler [2016-01-10 21:10:17] 633*2^1418996-1 is not prime. Res64: E1F6197533BF7A08 Time : 0.0 sec. user=mdettweiler [2016-01-10 21:10:18] 813*2^1418996-1 is not prime. Res64: 2700E126279F4A62 Time : 0.0 sec. user=mdettweiler [2016-01-10 21:28:02] 855*2^1418996-1 is not prime. Res64: 9B73D2CB68900376 Time : 0.0 sec. user=mdettweiler [2016-01-10 21:28:02] 987*2^1418996-1 is not prime. Res64: 32F1EB1D8F7C7C8B Time : 0.0 sec. user=mdettweiler [2016-01-10 21:28:03] 957*2^1418996-1 is not prime. Res64: 42E662D1F03C0853 Time : 0.0 sec. user=mdettweiler [2016-01-10 21:28:03] 999*2^1418996-1 is not prime. Res64: AE4E01B61AB912C0 Time : 0.0 sec. user=mdettweiler [2016-01-10 21:28:04] 651*2^1418997-1 is not prime. Res64: C787C82021A2E1FD Time : 0.0 sec. user=mdettweiler [2016-01-10 21:28:05] 655*2^1418997-1 is not prime. Res64: 8452CABD0721AD1A Time : 0.0 sec. user=mdettweiler [2016-01-10 21:45:44] 711*2^1418997-1 is not prime. Res64: C1B498704EC6AF56 Time : 0.0 sec. user=mdettweiler [2016-01-10 21:45:44] 751*2^1418997-1 is not prime. Res64: 6E91E96B2A4B007A Time : 0.0 sec. user=mdettweiler [2016-01-10 21:45:44] 871*2^1418997-1 is not prime. Res64: ACB99A9821E609B1 Time : 0.0 sec. user=mdettweiler [2016-01-10 21:45:45] 817*2^1418997-1 is not prime. Res64: 85EBFED7A6D6A2B4 Time : 0.0 sec. user=mdettweiler [2016-01-10 21:45:45] 927*2^1418997-1 is not prime. Res64: EF20B6C094F65845 Time : 0.0 sec. user=mdettweiler [2016-01-10 21:45:45] 717*2^1418997-1 is not prime. Res64: B84C04EC5BFBB925 Time : 0.0 sec. user=mdettweiler [2016-01-10 22:03:27] 911*2^1418998-1 is not prime. Res64: 56EB38E14E1A83D9 Time : 0.0 sec. user=mdettweiler [2016-01-10 22:03:27] 737*2^1418998-1 is not prime. Res64: C7CFA738A3F8D78B Time : 0.0 sec. user=mdettweiler [2016-01-10 22:03:30] 825*2^1418998-1 is not prime. Res64: 5AC24C7159C1DFF1 Time : 0.0 sec. user=mdettweiler [2016-01-10 22:03:31] 815*2^1418998-1 is not prime. Res64: 294D8F9129E8BFAF Time : 0.0 sec. user=mdettweiler [2016-01-10 22:03:31] 933*2^1418998-1 is not prime. Res64: 4637F78177B0313F Time : 0.0 sec. user=mdettweiler [2016-01-10 22:03:32] 857*2^1418998-1 is not prime. Res64: 22EB4E42A1819157 Time : 0.0 sec. user=mdettweiler [2016-01-10 22:21:35] 945*2^1418998-1 is not prime. Res64: 955ADC00ED3309B7 Time : 0.0 sec. user=mdettweiler [2016-01-10 22:21:36] 655*2^1418999-1 is not prime. Res64: BE5FAB81F44D0F3C Time : 0.0 sec. user=mdettweiler [2016-01-10 22:21:36] 995*2^1418998-1 is not prime. Res64: A8829400F2E168E5 Time : 0.0 sec. user=mdettweiler [2016-01-10 22:21:36] 633*2^1418999-1 is not prime. Res64: 41DBC187A8E59720 Time : 0.0 sec. user=mdettweiler [2016-01-10 22:21:36] 693*2^1418999-1 is not prime. Res64: 6C688B56BA8676F2 Time : 0.0 sec. user=mdettweiler [2016-01-10 22:21:37] 735*2^1418999-1 is not prime. Res64: 99755BD8F87A00E9 Time : 0.0 sec. user=mdettweiler [2016-01-10 22:39:10] 607*2^1419001-1 is not prime. Res64: EEF2E9809E0A1E6C Time : 0.0 sec. user=mdettweiler [2016-01-10 22:39:11] 649*2^1419001-1 is not prime. Res64: 4144E06EEFE22083 Time : 0.0 sec. user=mdettweiler [2016-01-10 22:39:11] 885*2^1418999-1 is not prime. Res64: FFA4C5B761444008 Time : 0.0 sec. user=mdettweiler [2016-01-10 22:39:12] 909*2^1418999-1 is not prime. Res64: 5F1D89518CA55E17 Time : 0.0 sec. user=mdettweiler [2016-01-10 22:39:12] 931*2^1418999-1 is not prime. Res64: 5D1EA4FFCFDCA021 Time : 0.0 sec. user=mdettweiler [2016-01-10 22:39:12] 929*2^1419000-1 is not prime. Res64: FEC7A8CEB2D4BD81 Time : 0.0 sec. user=mdettweiler [2016-01-10 22:56:41] 675*2^1419001-1 is not prime. Res64: D1F8268B8BDAA952 Time : 0.0 sec. user=mdettweiler [2016-01-10 22:56:42] 801*2^1419002-1 is not prime. Res64: FD2E8F13B4BA02D1 Time : 0.0 sec. user=mdettweiler [2016-01-10 22:56:42] 931*2^1419001-1 is not prime. Res64: B0A7F395C8ECAC62 Time : 0.0 sec. user=mdettweiler [2016-01-10 22:56:42] 867*2^1419002-1 is not prime. Res64: 44E81491E5F69DAD Time : 0.0 sec. user=mdettweiler [2016-01-10 22:56:42] 957*2^1419001-1 is not prime. Res64: F5E6BEAC985BA8F1 Time : 0.0 sec. user=mdettweiler [2016-01-10 22:56:43] 981*2^1419001-1 is not prime. Res64: 6A2B987836B631B7 Time : 0.0 sec. user=mdettweiler [2016-01-10 23:14:11] 885*2^1419002-1 is not prime. Res64: 63EC09056AFCBC47 Time : 0.0 sec. user=mdettweiler [2016-01-10 23:14:12] 945*2^1419002-1 is not prime. Res64: 068C37F3F889186C Time : 0.0 sec. user=mdettweiler [2016-01-10 23:14:12] 675*2^1419003-1 is not prime. Res64: 06942966E74D8D8B Time : 0.0 sec. user=mdettweiler [2016-01-10 23:14:12] 963*2^1419002-1 is not prime. Res64: E617E3C2FF85BE5B Time : 0.0 sec. user=mdettweiler [2016-01-10 23:14:13] 765*2^1419003-1 is not prime. Res64: B6A170873B45ECC8 Time : 0.0 sec. user=mdettweiler [2016-01-10 23:14:14] 977*2^1419002-1 is not prime. Res64: CAA50C02542DF2BE Time : 0.0 sec. user=mdettweiler [2016-01-10 23:31:51] 901*2^1419003-1 is not prime. Res64: DF048F4C19060F54 Time : 0.0 sec. user=mdettweiler [2016-01-10 23:31:51] 615*2^1419004-1 is not prime. Res64: 70BA85BE5F4365AD Time : 0.0 sec. user=mdettweiler [2016-01-10 23:31:53] 723*2^1419004-1 is not prime. Res64: 0BCD0729D4C4E3FF Time : 0.0 sec. user=mdettweiler [2016-01-10 23:31:54] 803*2^1419004-1 is not prime. Res64: 8A899261400DB6B1 Time : 0.0 sec. user=mdettweiler [2016-01-10 23:31:54] 629*2^1419004-1 is not prime. Res64: 48B616A820A486DA Time : 0.0 sec. user=mdettweiler [2016-01-10 23:31:54] 819*2^1419004-1 is not prime. Res64: FC7D3922C698258E Time : 0.0 sec. user=mdettweiler [2016-01-10 23:49:23] 651*2^1419005-1 is not prime. Res64: DAFE23C66B3C2BD1 Time : 0.0 sec. user=mdettweiler [2016-01-10 23:49:23] 729*2^1419005-1 is not prime. Res64: 9CAD29F3E7431F81 Time : 0.0 sec. user=mdettweiler [2016-01-10 23:49:23] 801*2^1419005-1 is not prime. Res64: C9D8B7BCFCC0CF1B Time : 0.0 sec. user=mdettweiler [2016-01-10 23:49:24] 837*2^1419005-1 is not prime. Res64: 3BE5FBAF029AF1D7 Time : 0.0 sec. user=mdettweiler [2016-01-10 23:49:24] 873*2^1419004-1 is not prime. Res64: F02D233A62F50EC9 Time : 0.0 sec. user=mdettweiler [2016-01-10 23:49:25] 875*2^1419004-1 is not prime. Res64: 7F0D56928E0C7D77 Time : 0.0 sec.