user=mdettweiler [2019-12-24 00:02:01] 867*2^1551750-1 is not prime. Res64: 0E4A3436C7FEA08B Time : 0.0 sec. user=mdettweiler [2019-12-24 00:02:02] 873*2^1551750-1 is not prime. Res64: 77AD73125FFD5CF9 Time : 0.0 sec. user=mdettweiler [2019-12-24 00:02:04] 941*2^1551750-1 is not prime. Res64: 50F7A980CCE12C2C Time : 0.0 sec. user=mdettweiler [2019-12-24 00:02:05] 951*2^1551750-1 is not prime. Res64: 8E54D739022A3B53 Time : 0.0 sec. user=mdettweiler [2019-12-24 00:02:06] 965*2^1551750-1 is not prime. Res64: D1C49D7F03D01EAA Time : 0.0 sec. user=mdettweiler [2019-12-24 00:55:53] 977*2^1551750-1 is not prime. Res64: BA6E26D61A7B544E Time : 0.0 sec. user=mdettweiler [2019-12-24 00:55:54] 735*2^1551751-1 is not prime. Res64: DF558178CC4C4C24 Time : 0.0 sec. user=mdettweiler [2019-12-24 00:55:55] 741*2^1551751-1 is not prime. Res64: C92DE46FBE2CE156 Time : 0.0 sec. user=mdettweiler [2019-12-24 00:55:56] 855*2^1551751-1 is not prime. Res64: 574652AAF86DDFE3 Time : 0.0 sec. user=mdettweiler [2019-12-24 00:55:57] 859*2^1551751-1 is not prime. Res64: A3983BEABC9530C3 Time : 0.0 sec. user=mdettweiler [2019-12-24 01:49:42] 871*2^1551751-1 is not prime. Res64: B1A79C17D58E9DF6 Time : 0.0 sec. user=mdettweiler [2019-12-24 01:49:44] 885*2^1551751-1 is not prime. Res64: 2D1BCD373D6D85CF Time : 0.0 sec. user=mdettweiler [2019-12-24 01:49:45] 909*2^1551751-1 is not prime. Res64: 79B65BC0D505E9CB Time : 0.0 sec. user=mdettweiler [2019-12-24 01:49:46] 999*2^1551751-1 is not prime. Res64: 1ED1C6E2EFEF7A66 Time : 0.0 sec. user=mdettweiler [2019-12-24 01:49:47] 629*2^1551752-1 is not prime. Res64: 16229D291383178B Time : 0.0 sec. user=mdettweiler [2019-12-24 02:18:01] 795*2^1551744-1 is not prime. Res64: EF5FE34DCEA9B50C Time : 0.0 sec. user=mdettweiler [2019-12-24 02:18:04] 809*2^1551744-1 is not prime. Res64: 794165691A7117CF Time : 0.0 sec. user=mdettweiler [2019-12-24 02:18:06] 645*2^1551745-1 is not prime. Res64: E8D052020686A30A Time : 0.0 sec. user=mdettweiler [2019-12-24 02:42:02] 669*2^1551752-1 is not prime. Res64: A0B6CFDB229BBB25 Time : 0.0 sec. user=mdettweiler [2019-12-24 02:42:07] 683*2^1551752-1 is not prime. Res64: B621FD234B15B2E2 Time : 0.0 sec. user=mdettweiler [2019-12-24 02:42:11] 693*2^1551752-1 is not prime. Res64: B479EBCD9186DFAB Time : 0.0 sec. user=mdettweiler [2019-12-24 02:42:16] 797*2^1551752-1 is not prime. Res64: C33E0BC3C130123E Time : 0.0 sec. user=mdettweiler [2019-12-24 02:42:19] 857*2^1551752-1 is not prime. Res64: ED44B5C085DFE2A2 Time : 0.0 sec. user=mdettweiler [2019-12-24 03:12:12] 875*2^1551752-1 is not prime. Res64: A3358529C29D5ABF Time : 0.0 sec. user=mdettweiler [2019-12-24 03:12:14] 983*2^1551752-1 is not prime. Res64: B29443D049560A6D Time : 0.0 sec. user=mdettweiler [2019-12-24 03:12:15] 691*2^1551753-1 is not prime. Res64: E1B5711423D571E4 Time : 0.0 sec. user=mdettweiler [2019-12-24 03:12:16] 739*2^1551753-1 is not prime. Res64: FA131329054F6C2B Time : 0.0 sec. user=mdettweiler [2019-12-24 03:12:17] 819*2^1551753-1 is not prime. Res64: C09A4D9A91CF7A8E Time : 0.0 sec. user=mdettweiler [2019-12-24 03:35:39] 611*2^1551754-1 is not prime. Res64: E8E792022C78DBA9 Time : 0.0 sec. user=mdettweiler [2019-12-24 03:35:46] 723*2^1551754-1 is not prime. Res64: 36135B0CC0F21ECF Time : 0.0 sec. user=mdettweiler [2019-12-24 03:35:49] 773*2^1551754-1 is not prime. Res64: A995EEAE7478D288 Time : 0.0 sec. user=mdettweiler [2019-12-24 03:35:55] 941*2^1551754-1 is not prime. Res64: 50123C9671905D90 Time : 0.0 sec. user=mdettweiler [2019-12-24 03:35:59] 645*2^1551755-1 is not prime. Res64: 855F22A0426FCCF1 Time : 0.0 sec. user=mdettweiler [2019-12-24 04:03:47] 655*2^1551755-1 is not prime. Res64: E0107DA7FA1E4CBA Time : 0.0 sec. user=mdettweiler [2019-12-24 04:03:54] 705*2^1551755-1 is not prime. Res64: 43F162578F123074 Time : 0.0 sec. user=mdettweiler [2019-12-24 04:04:00] 733*2^1551755-1 is not prime. Res64: 2CAC7FC64668E351 Time : 0.0 sec. user=mdettweiler [2019-12-24 04:04:08] 753*2^1551755-1 is not prime. Res64: 70438130D9934D5F Time : 0.0 sec. user=mdettweiler [2019-12-24 04:04:16] 801*2^1551755-1 is not prime. Res64: 8E13E535D18298AD Time : 0.0 sec. user=mdettweiler [2019-12-24 04:25:23] 615*2^1551757-1 is not prime. Res64: 216B4C4D98502F88 Time : 0.0 sec. user=mdettweiler [2019-12-24 04:27:51] 675*2^1551749-1 is not prime. Res64: E8C90CD505EE3CEF Time : 0.0 sec. user=mdettweiler [2019-12-24 04:27:56] 781*2^1551749-1 is not prime. Res64: 809E98AD07EE27C3 Time : 0.0 sec. user=mdettweiler [2019-12-24 04:27:59] 979*2^1551749-1 is not prime. Res64: 317A1D528F113D59 Time : 0.0 sec. user=mdettweiler [2019-12-24 04:28:03] 987*2^1551749-1 is not prime. Res64: 4FA77B5DAE0BCF69 Time : 0.0 sec. user=mdettweiler [2019-12-24 04:30:33] 819*2^1551755-1 is not prime. Res64: 3C5C67289527CAFC Time : 0.0 sec. user=mdettweiler [2019-12-24 04:30:37] 885*2^1551755-1 is not prime. Res64: 9E559C08479A1C9F Time : 0.0 sec. user=mdettweiler [2019-12-24 04:30:44] 889*2^1551755-1 is not prime. Res64: 8F473918AC7DE03F Time : 0.0 sec. user=mdettweiler [2019-12-24 04:30:46] 909*2^1551755-1 is not prime. Res64: 3E1E732A68304F08 Time : 0.0 sec. user=mdettweiler [2019-12-24 04:30:49] 943*2^1551755-1 is not prime. Res64: 45176302EEFA9D5A Time : 0.0 sec. user=mdettweiler [2019-12-24 04:57:31] 633*2^1551756-1 is not prime. Res64: 1D92A8E774CFFD1A Time : 0.0 sec. user=mdettweiler [2019-12-24 04:57:38] 719*2^1551756-1 is not prime. Res64: 0EDB439A1F4F69B0 Time : 0.0 sec. user=mdettweiler [2019-12-24 04:57:41] 783*2^1551756-1 is not prime. Res64: 35A013A72295CBA5 Time : 0.0 sec. user=mdettweiler [2019-12-24 04:57:44] 837*2^1551756-1 is not prime. Res64: 323C37EF3646E930 Time : 0.0 sec. user=mdettweiler [2019-12-24 04:57:48] 903*2^1551756-1 is not prime. Res64: BF63C4CDA6B3FCA0 Time : 0.0 sec. user=mdettweiler [2019-12-24 05:20:06] 759*2^1551757-1 is not prime. Res64: 5445994C49A0B5B0 Time : 0.0 sec. user=mdettweiler [2019-12-24 05:20:07] 775*2^1551757-1 is not prime. Res64: 44099F9CF0F5714E Time : 0.0 sec. user=mdettweiler [2019-12-24 05:20:07] 683*2^1551758-1 is not prime. Res64: 52C683AC873B6A1E Time : 0.0 sec. user=mdettweiler [2019-12-24 05:20:08] 755*2^1551758-1 is not prime. Res64: B1859BEC89F2D51D Time : 0.0 sec. user=mdettweiler [2019-12-24 05:20:09] 797*2^1551758-1 is not prime. Res64: 48D548F91C4CF92A Time : 0.0 sec. user=mdettweiler [2019-12-24 05:22:02] 923*2^1551758-1 is not prime. Res64: CE86B682EE795AF3 Time : 0.0 sec. user=mdettweiler [2019-12-24 05:22:03] 619*2^1551759-1 is not prime. Res64: 1DC7B559091FB06B Time : 0.0 sec. user=mdettweiler [2019-12-24 05:22:04] 625*2^1551759-1 is not prime. Res64: A9730592005DB7EE Time : 0.0 sec. user=mdettweiler [2019-12-24 05:22:04] 735*2^1551759-1 is not prime. Res64: 4E69B32F12CE4750 Time : 0.0 sec. user=mdettweiler [2019-12-24 05:22:05] 745*2^1551759-1 is not prime. Res64: D2CDCA243DB96442 Time : 0.0 sec. user=mdettweiler [2019-12-24 05:51:38] 885*2^1551759-1 is not prime. Res64: 775F2379E8D5C7CE Time : 0.0 sec. user=mdettweiler [2019-12-24 05:51:39] 975*2^1551759-1 is not prime. Res64: D536FA297F80BCF6 Time : 0.0 sec. user=mdettweiler [2019-12-24 05:51:40] 605*2^1551760-1 is not prime. Res64: 9B9679D08F471879 Time : 0.0 sec. user=mdettweiler [2019-12-24 05:51:41] 635*2^1551760-1 is not prime. Res64: F639CF809F34FCA3 Time : 0.0 sec. user=mdettweiler [2019-12-24 05:51:42] 687*2^1551760-1 is not prime. Res64: 9230634EF60CE857 Time : 0.0 sec. user=mdettweiler [2019-12-24 06:13:20] 715*2^1551761-1 is not prime. Res64: 4E0FF29C0228D7C4 Time : 0.0 sec. user=mdettweiler [2019-12-24 06:13:26] 705*2^1551762-1 is not prime. Res64: 01B92AB39017BC4F Time : 0.0 sec. user=mdettweiler [2019-12-24 06:13:30] 711*2^1551762-1 is not prime. Res64: 459755F573779F50 Time : 0.0 sec. user=mdettweiler [2019-12-24 06:13:34] 717*2^1551762-1 is not prime. Res64: 82BFA33241F82C85 Time : 0.0 sec. user=mdettweiler [2019-12-24 06:13:37] 791*2^1551762-1 is not prime. Res64: D229CEA23E0E3DD9 Time : 0.0 sec. user=mdettweiler [2019-12-24 06:15:48] 839*2^1551760-1 is not prime. Res64: EC9EFBF7CB66A428 Time : 0.0 sec. user=mdettweiler [2019-12-24 06:15:49] 933*2^1551760-1 is not prime. Res64: 11FBA4DBB7EBBD45 Time : 0.0 sec. user=mdettweiler [2019-12-24 06:15:50] 939*2^1551760-1 is not prime. Res64: 1841197C8AA9A741 Time : 0.0 sec. user=mdettweiler [2019-12-24 06:15:51] 975*2^1551760-1 is not prime. Res64: 989CBB070548B407 Time : 0.0 sec. user=mdettweiler [2019-12-24 06:15:52] 989*2^1551760-1 is not prime. Res64: 24BCD51884F24DD6 Time : 0.0 sec. user=mdettweiler [2019-12-24 06:44:36] 915*2^1551762-1 is not prime. Res64: 35E338261EDA2E3D Time : 0.0 sec. user=mdettweiler [2019-12-24 06:44:37] 1001*2^1551762-1 is not prime. Res64: FC352F139058AD6C Time : 0.0 sec. user=mdettweiler [2019-12-24 06:44:38] 685*2^1551763-1 is not prime. Res64: A0513E6F72D1A666 Time : 0.0 sec. user=mdettweiler [2019-12-24 06:44:38] 699*2^1551763-1 is not prime. Res64: EB72D652DF57F136 Time : 0.0 sec. user=mdettweiler [2019-12-24 06:44:39] 835*2^1551763-1 is not prime. Res64: 9187EEF623B13D7D Time : 0.0 sec. user=mdettweiler [2019-12-24 07:05:41] 885*2^1551763-1 is not prime. Res64: 5C3C93035B0C1443 Time : 0.0 sec. user=mdettweiler [2019-12-24 07:05:48] 605*2^1551764-1 is not prime. Res64: 6DFEE859744789AC Time : 0.0 sec. user=mdettweiler [2019-12-24 07:05:51] 665*2^1551764-1 is not prime. Res64: 6EDBDD9715FC61B7 Time : 0.0 sec. user=mdettweiler [2019-12-24 07:05:55] 683*2^1551764-1 is not prime. Res64: B683E2D15430231D Time : 0.0 sec. user=mdettweiler [2019-12-24 07:05:59] 719*2^1551764-1 is not prime. Res64: 973E5658F5DDA988 Time : 0.0 sec. user=mdettweiler [2019-12-24 07:06:26] 877*2^1551765-1 is not prime. Res64: EE493E00DECF74D6 Time : 0.0 sec. user=mdettweiler [2019-12-24 07:18:01] 825*2^1551764-1 is not prime. Res64: 8260371CD66B50E1 Time : 0.0 sec. user=mdettweiler [2019-12-24 07:18:02] 855*2^1551764-1 is not prime. Res64: AD19F887616A4C73 Time : 0.0 sec. user=mdettweiler [2019-12-24 07:18:03] 893*2^1551764-1 is not prime. Res64: 4D8F71845F36B2AB Time : 0.0 sec. user=mdettweiler [2019-12-24 07:18:03] 923*2^1551764-1 is not prime. Res64: 0E6AE4D13FD95B39 Time : 0.0 sec. user=mdettweiler [2019-12-24 07:18:04] 957*2^1551764-1 is not prime. Res64: 3E6EE7874D581B32 Time : 0.0 sec. user=mdettweiler [2019-12-24 07:37:45] 959*2^1551764-1 is not prime. Res64: B861A14C7B1C4D56 Time : 0.0 sec. user=mdettweiler [2019-12-24 07:37:47] 679*2^1551765-1 is not prime. Res64: 48D4C6CD657FB5C2 Time : 0.0 sec. user=mdettweiler [2019-12-24 07:37:48] 741*2^1551765-1 is not prime. Res64: 7DD97D18E41F7A12 Time : 0.0 sec. user=mdettweiler [2019-12-24 07:37:48] 789*2^1551765-1 is not prime. Res64: 00A0C6F7E86C047A Time : 0.0 sec. user=mdettweiler [2019-12-24 07:37:49] 817*2^1551765-1 is not prime. Res64: 9DA7DA47C8C96402 Time : 0.0 sec. user=mdettweiler [2019-12-24 07:55:19] 707*2^1551768-1 is not prime. Res64: 3EA8EB8E7EB0A0CD Time : 0.0 sec. user=mdettweiler [2019-12-24 08:00:51] 949*2^1551765-1 is not prime. Res64: C36536C8FAB92C41 Time : 0.0 sec. user=mdettweiler [2019-12-24 08:00:55] 997*2^1551765-1 is not prime. Res64: BA423CF023534013 Time : 0.0 sec. user=mdettweiler [2019-12-24 08:00:58] 617*2^1551766-1 is not prime. Res64: 7200BCEC1D3C740F Time : 0.0 sec. user=mdettweiler [2019-12-24 08:01:04] 651*2^1551766-1 is not prime. Res64: C622D3DFAE408275 Time : 0.0 sec. user=mdettweiler [2019-12-24 08:01:08] 705*2^1551766-1 is not prime. Res64: 7E7A1F9CB3CFF084 Time : 0.0 sec. user=mdettweiler [2019-12-24 08:09:30] 755*2^1551766-1 is not prime. Res64: CBD89A47AF081252 Time : 0.0 sec. user=mdettweiler [2019-12-24 08:09:35] 843*2^1551766-1 is not prime. Res64: 679A99EFDA15BD50 Time : 0.0 sec. user=mdettweiler [2019-12-24 08:09:39] 615*2^1551767-1 is not prime. Res64: DADDAD3312D872D9 Time : 0.0 sec. user=mdettweiler [2019-12-24 08:09:43] 619*2^1551767-1 is not prime. Res64: 9584B68A3A04D695 Time : 0.0 sec. user=mdettweiler [2019-12-24 08:09:48] 621*2^1551767-1 is not prime. Res64: 20A6C89EAB6F7D74 Time : 0.0 sec. user=mdettweiler [2019-12-24 08:29:04] 633*2^1551767-1 is not prime. Res64: 60094637BD7DE211 Time : 0.0 sec. user=mdettweiler [2019-12-24 08:29:05] 705*2^1551767-1 is not prime. Res64: 54A33E44909292A0 Time : 0.0 sec. user=mdettweiler [2019-12-24 08:29:06] 735*2^1551767-1 is not prime. Res64: 2FC01A9F4B7338C0 Time : 0.0 sec. user=mdettweiler [2019-12-24 08:29:06] 635*2^1551768-1 is not prime. Res64: 86C79A9287D0997A Time : 0.0 sec. user=mdettweiler [2019-12-24 08:29:07] 683*2^1551768-1 is not prime. Res64: 55EC2D11AE471C4E Time : 0.0 sec. user=mdettweiler [2019-12-24 08:55:01] 737*2^1551768-1 is not prime. Res64: F4D309B9E67AAF47 Time : 0.0 sec. user=mdettweiler [2019-12-24 08:55:02] 789*2^1551768-1 is not prime. Res64: D0D147F0508EF30D Time : 0.0 sec. user=mdettweiler [2019-12-24 08:55:03] 959*2^1551768-1 is not prime. Res64: 2AC7CDD03481784B Time : 0.0 sec. user=mdettweiler [2019-12-24 08:55:03] 615*2^1551769-1 is not prime. Res64: 2E28EE2734E9CA11 Time : 0.0 sec. user=mdettweiler [2019-12-24 08:55:04] 799*2^1551769-1 is not prime. Res64: 71E987A871BB581A Time : 0.0 sec. user=mdettweiler [2019-12-24 09:04:32] 817*2^1551769-1 is not prime. Res64: 36D8920FF60A9DDC Time : 0.0 sec. user=mdettweiler [2019-12-24 09:04:35] 855*2^1551769-1 is not prime. Res64: B5059D528C2C289E Time : 0.0 sec. user=mdettweiler [2019-12-24 09:04:37] 877*2^1551769-1 is not prime. Res64: 19610C03A8609790 Time : 0.0 sec. user=mdettweiler [2019-12-24 09:04:39] 987*2^1551769-1 is not prime. Res64: 29615FA5E7DC36BA Time : 0.0 sec. user=mdettweiler [2019-12-24 09:04:41] 731*2^1551770-1 is not prime. Res64: 76657991DC49F452 Time : 0.0 sec. user=mdettweiler [2019-12-24 09:21:21] 773*2^1551770-1 is not prime. Res64: 29A01547AFD9BD0B Time : 0.0 sec. user=mdettweiler [2019-12-24 09:21:22] 791*2^1551770-1 is not prime. Res64: 60B12CDB508DB2EB Time : 0.0 sec. user=mdettweiler [2019-12-24 09:21:23] 797*2^1551770-1 is not prime. Res64: CC548576D849F8F4 Time : 0.0 sec. user=mdettweiler [2019-12-24 09:21:23] 857*2^1551770-1 is not prime. Res64: 5DD3CA856638B08F Time : 0.0 sec. user=mdettweiler [2019-12-24 09:21:24] 861*2^1551770-1 is not prime. Res64: D67AD34DEC687B47 Time : 0.0 sec. user=mdettweiler [2019-12-24 09:47:03] 887*2^1551770-1 is not prime. Res64: 833F7F45A9A71497 Time : 0.0 sec. user=mdettweiler [2019-12-24 09:47:04] 639*2^1551771-1 is not prime. Res64: 4B9E6751C6F87D21 Time : 0.0 sec. user=mdettweiler [2019-12-24 09:47:05] 669*2^1551771-1 is not prime. Res64: 6EAD1A755A2674A9 Time : 0.0 sec. user=mdettweiler [2019-12-24 09:47:06] 849*2^1551771-1 is not prime. Res64: C49BE1937EDEDAEE Time : 0.0 sec. user=mdettweiler [2019-12-24 09:47:07] 859*2^1551771-1 is not prime. Res64: 1C9547E72EBBAC78 Time : 0.0 sec. user=mdettweiler [2019-12-24 09:58:17] 879*2^1551771-1 is not prime. Res64: 3E2BB3A67C650BE1 Time : 0.0 sec. user=mdettweiler [2019-12-24 09:58:17] 999*2^1551771-1 is not prime. Res64: 2A65A62223F60716 Time : 0.0 sec. user=mdettweiler [2019-12-24 09:58:18] 653*2^1551772-1 is not prime. Res64: 59440E7EB682D094 Time : 0.0 sec. user=mdettweiler [2019-12-24 09:58:18] 665*2^1551772-1 is not prime. Res64: 73CBD5AC6364D7BD Time : 0.0 sec. user=mdettweiler [2019-12-24 09:58:19] 803*2^1551772-1 is not prime. Res64: 7DD0151562918B14 Time : 0.0 sec. user=mdettweiler [2019-12-24 10:12:57] 873*2^1551772-1 is not prime. Res64: E8F6C4E190810D30 Time : 0.0 sec. user=mdettweiler [2019-12-24 10:12:58] 875*2^1551772-1 is not prime. Res64: 98F04E4C0FAAD505 Time : 0.0 sec. user=mdettweiler [2019-12-24 10:12:58] 651*2^1551773-1 is not prime. Res64: E5A4B723B2E95A8D Time : 0.0 sec. user=mdettweiler [2019-12-24 10:12:59] 669*2^1551773-1 is not prime. Res64: C85832E2127257BE Time : 0.0 sec. user=mdettweiler [2019-12-24 10:13:00] 675*2^1551773-1 is not prime. Res64: CA3E569568D4942B Time : 0.0 sec. user=mdettweiler [2019-12-24 10:39:10] 735*2^1551773-1 is not prime. Res64: AFC9CBEA83F839B4 Time : 0.0 sec. user=mdettweiler [2019-12-24 10:39:11] 775*2^1551773-1 is not prime. Res64: D8D122F8B4B6EF64 Time : 0.0 sec. user=mdettweiler [2019-12-24 10:39:12] 867*2^1551773-1 is not prime. Res64: CA1EBA0D2179F47C Time : 0.0 sec. user=mdettweiler [2019-12-24 10:39:12] 871*2^1551773-1 is not prime. Res64: 8DC756885E27A257 Time : 0.0 sec. user=mdettweiler [2019-12-24 10:39:13] 915*2^1551773-1 is not prime. Res64: 50500A562225A5A3 Time : 0.0 sec. user=mdettweiler [2019-12-24 10:50:36] 937*2^1551773-1 is not prime. Res64: 070721C02A467DD5 Time : 0.0 sec. user=mdettweiler [2019-12-24 10:50:38] 605*2^1551774-1 is not prime. Res64: 318FE8F5368781D6 Time : 0.0 sec. user=mdettweiler [2019-12-24 10:50:39] 621*2^1551774-1 is not prime. Res64: C35D0AD9D4920EA7 Time : 0.0 sec. user=mdettweiler [2019-12-24 10:50:40] 705*2^1551774-1 is not prime. Res64: BADE66E1D2A63290 Time : 0.0 sec. user=mdettweiler [2019-12-24 10:50:41] 711*2^1551774-1 is not prime. Res64: 0FF65593F423EBED Time : 0.0 sec. user=mdettweiler [2019-12-24 11:04:37] 725*2^1551774-1 is not prime. Res64: 143E545AEF2E8B25 Time : 0.0 sec. user=mdettweiler [2019-12-24 11:04:39] 783*2^1551774-1 is not prime. Res64: 578524E365C92337 Time : 0.0 sec. user=mdettweiler [2019-12-24 11:04:40] 797*2^1551774-1 is not prime. Res64: 2E0D3A2C0B66FB59 Time : 0.0 sec. user=mdettweiler [2019-12-24 11:04:42] 863*2^1551774-1 is not prime. Res64: 34DBDDA37C1DC7B2 Time : 0.0 sec. user=mdettweiler [2019-12-24 11:04:44] 651*2^1551775-1 is not prime. Res64: 8355D6AC324A6A4D Time : 0.0 sec. user=mdettweiler [2019-12-24 11:30:18] 673*2^1551775-1 is not prime. Res64: C0747948566303C0 Time : 0.0 sec. user=mdettweiler [2019-12-24 11:30:19] 723*2^1551775-1 is not prime. Res64: BD7D9C3C3BBB2415 Time : 0.0 sec. user=mdettweiler [2019-12-24 11:30:20] 751*2^1551775-1 is not prime. Res64: 149E6AC2838BE8C4 Time : 0.0 sec. user=mdettweiler [2019-12-24 11:30:20] 763*2^1551775-1 is not prime. Res64: BD253D457F28F9A4 Time : 0.0 sec. user=mdettweiler [2019-12-24 11:30:21] 765*2^1551775-1 is not prime. Res64: 92DF987F0DA4D661 Time : 0.0 sec. user=mdettweiler [2019-12-24 11:41:30] 997*2^1551777-1 is not prime. Res64: 788CE26ED71C3B72 Time : 0.0 sec. user=mdettweiler [2019-12-24 11:46:20] 819*2^1551775-1 is not prime. Res64: E6A04CE69A688D76 Time : 0.0 sec. user=mdettweiler [2019-12-24 11:46:20] 871*2^1551775-1 is not prime. Res64: 477CF8A6FE4FFA24 Time : 0.0 sec. user=mdettweiler [2019-12-24 11:46:21] 973*2^1551775-1 is not prime. Res64: C0111E809CD3A192 Time : 0.0 sec. user=mdettweiler [2019-12-24 11:46:21] 985*2^1551775-1 is not prime. Res64: 56694F51724B6750 Time : 0.0 sec. user=mdettweiler [2019-12-24 11:46:22] 999*2^1551775-1 is not prime. Res64: CC9193DE4E493191 Time : 0.0 sec. user=mdettweiler [2019-12-24 11:57:05] 689*2^1551776-1 is not prime. Res64: 53A7148F670151BF Time : 0.0 sec. user=mdettweiler [2019-12-24 11:57:06] 693*2^1551776-1 is not prime. Res64: E3A43843A059410A Time : 0.0 sec. user=mdettweiler [2019-12-24 11:57:08] 869*2^1551776-1 is not prime. Res64: FDA53C2E8B8C9A35 Time : 0.0 sec. user=mdettweiler [2019-12-24 11:57:09] 879*2^1551776-1 is not prime. Res64: F2FAD4ECA5ECB8EC Time : 0.0 sec. user=mdettweiler [2019-12-24 11:57:10] 917*2^1551776-1 is not prime. Res64: 4B494FBF379CD012 Time : 0.0 sec. user=mdettweiler [2019-12-24 12:25:10] 831*2^1551777-1 is not prime. Res64: 64E7624759769320 Time : 0.0 sec. user=mdettweiler [2019-12-24 12:25:11] 865*2^1551777-1 is not prime. Res64: 156933C071BCF5FC Time : 0.0 sec. user=mdettweiler [2019-12-24 12:25:12] 915*2^1551777-1 is not prime. Res64: D6C06226B30C78B9 Time : 0.0 sec. user=mdettweiler [2019-12-24 12:25:13] 985*2^1551777-1 is not prime. Res64: 2438FE3E8D770A49 Time : 0.0 sec. user=mdettweiler [2019-12-24 12:25:13] 991*2^1551777-1 is not prime. Res64: 9BEF09379A9D5489 Time : 0.0 sec. user=mdettweiler [2019-12-24 12:37:37] 687*2^1551778-1 is not prime. Res64: 0E30F733903CB7DD Time : 0.0 sec. user=mdettweiler [2019-12-24 12:37:38] 695*2^1551778-1 is not prime. Res64: EE347E9B27EE3809 Time : 0.0 sec. user=mdettweiler [2019-12-24 12:37:39] 755*2^1551778-1 is not prime. Res64: 728CD58B1DD3EA37 Time : 0.0 sec. user=mdettweiler [2019-12-24 12:37:39] 777*2^1551778-1 is not prime. Res64: FCA04DD5F839CC45 Time : 0.0 sec. user=mdettweiler [2019-12-24 12:37:40] 857*2^1551778-1 is not prime. Res64: C7C77F60E1AA5BA6 Time : 0.0 sec. user=mdettweiler [2019-12-24 12:50:46] 867*2^1551778-1 is not prime. Res64: BFA8AA84BA36DB35 Time : 0.0 sec. user=mdettweiler [2019-12-24 12:50:46] 891*2^1551778-1 is not prime. Res64: C2E40581FC67332B Time : 0.0 sec. user=mdettweiler [2019-12-24 12:50:47] 923*2^1551778-1 is not prime. Res64: 48DAE8DC77C18FF4 Time : 0.0 sec. user=mdettweiler [2019-12-24 12:50:47] 1001*2^1551778-1 is not prime. Res64: 00E3422D844CD303 Time : 0.0 sec. user=mdettweiler [2019-12-24 12:50:48] 643*2^1551779-1 is not prime. Res64: 5484DBF709518CB7 Time : 0.0 sec. user=mdettweiler [2019-12-24 13:16:24] 645*2^1551779-1 is not prime. Res64: 1D43B36A8CE58AF6 Time : 0.0 sec. user=mdettweiler [2019-12-24 13:16:25] 685*2^1551779-1 is not prime. Res64: EC46E49E0B7FEDE9 Time : 0.0 sec. user=mdettweiler [2019-12-24 13:16:26] 693*2^1551779-1 is not prime. Res64: 99DC947AD797BFE5 Time : 0.0 sec. user=mdettweiler [2019-12-24 13:16:26] 711*2^1551779-1 is not prime. Res64: 59AB81C41356140B Time : 0.0 sec. user=mdettweiler [2019-12-24 13:16:27] 735*2^1551779-1 is not prime. Res64: 753FE1AA8F2A7E86 Time : 0.0 sec. user=mdettweiler [2019-12-24 13:30:26] 801*2^1551779-1 is not prime. Res64: A523E9D6B55F3108 Time : 0.0 sec. user=mdettweiler [2019-12-24 13:45:17] 943*2^1551779-1 is not prime. Res64: 15AF18F008E11BD7 Time : 0.0 sec. user=mdettweiler [2019-12-24 13:45:18] 979*2^1551779-1 is not prime. Res64: 56C71FFEF6546E43 Time : 0.0 sec. user=mdettweiler [2019-12-24 13:45:18] 627*2^1551780-1 is not prime. Res64: 82FC909A186A32B0 Time : 0.0 sec. user=mdettweiler [2019-12-24 13:45:19] 665*2^1551780-1 is not prime. Res64: A96C02C57EFBF0EC Time : 0.0 sec. user=mdettweiler [2019-12-24 13:45:20] 693*2^1551780-1 is not prime. Res64: 3B31BF38CA4F786A Time : 0.0 sec. user=mdettweiler [2019-12-24 14:10:06] 699*2^1551780-1 is not prime. Res64: E9AAD1275F712947 Time : 0.0 sec. user=mdettweiler [2019-12-24 14:10:12] 779*2^1551780-1 is not prime. Res64: FD2F8B3F66BA00F9 Time : 0.0 sec. user=mdettweiler [2019-12-24 14:10:15] 825*2^1551780-1 is not prime. Res64: 92EF6177C10B75B0 Time : 0.0 sec. user=mdettweiler [2019-12-24 14:10:18] 857*2^1551780-1 is not prime. Res64: 3B5349506D945BAE Time : 0.0 sec. user=mdettweiler [2019-12-24 14:10:21] 905*2^1551780-1 is not prime. Res64: 5A9AFA025A5A98AB Time : 0.0 sec. user=mdettweiler [2019-12-24 14:38:23] 909*2^1551780-1 is not prime. Res64: 75AD641F024FA207 Time : 0.0 sec. user=mdettweiler [2019-12-24 14:38:24] 625*2^1551781-1 is not prime. Res64: 3D915D9B022D6CFB Time : 0.0 sec. user=mdettweiler [2019-12-24 14:38:26] 639*2^1551781-1 is not prime. Res64: CFFD8D0911B6326D Time : 0.0 sec. user=mdettweiler [2019-12-24 14:38:27] 861*2^1551781-1 is not prime. Res64: C834F3003576BC92 Time : 0.0 sec. user=mdettweiler [2019-12-24 14:38:28] 871*2^1551781-1 is not prime. Res64: 365C01354F7E62E1 Time : 0.0 sec. user=mdettweiler [2019-12-24 15:03:00] 683*2^1551782-1 is not prime. Res64: 9B3AFCB94F1DA082 Time : 0.0 sec. user=mdettweiler [2019-12-24 15:03:03] 761*2^1551782-1 is not prime. Res64: C7FC78035E8F0B74 Time : 0.0 sec. user=mdettweiler [2019-12-24 15:03:06] 815*2^1551782-1 is not prime. Res64: 17E3B67022FECDED Time : 0.0 sec. user=mdettweiler [2019-12-24 15:03:09] 843*2^1551782-1 is not prime. Res64: 8D21836C3816F8EC Time : 0.0 sec. user=mdettweiler [2019-12-24 15:03:11] 921*2^1551782-1 is not prime. Res64: 26E3F9F67E77AEE5 Time : 0.0 sec. user=mdettweiler [2019-12-24 15:32:12] 951*2^1551782-1 is not prime. Res64: 23643CA102E7063B Time : 0.0 sec. user=mdettweiler [2019-12-24 15:32:13] 685*2^1551783-1 is not prime. Res64: 0644D72177631B35 Time : 0.0 sec. user=mdettweiler [2019-12-24 15:32:14] 819*2^1551783-1 is not prime. Res64: C81A74ED3B48CA2A Time : 0.0 sec. user=mdettweiler [2019-12-24 15:32:14] 891*2^1551783-1 is not prime. Res64: F83928C0F2192583 Time : 0.0 sec. user=mdettweiler [2019-12-24 15:32:15] 919*2^1551783-1 is not prime. Res64: FF0B96B1469DD151 Time : 0.0 sec. user=mdettweiler [2019-12-24 15:56:30] 985*2^1551783-1 is not prime. Res64: 0CE2BB949FDEBDCE Time : 0.0 sec. user=mdettweiler [2019-12-24 15:56:31] 605*2^1551784-1 is not prime. Res64: C40ADFC2E0C59DE4 Time : 0.0 sec. user=mdettweiler [2019-12-24 15:56:32] 663*2^1551784-1 is not prime. Res64: A48D3C1F899B3634 Time : 0.0 sec. user=mdettweiler [2019-12-24 15:56:32] 687*2^1551784-1 is not prime. Res64: 9DF3DC58683CF5B2 Time : 0.0 sec. user=mdettweiler [2019-12-24 15:56:33] 707*2^1551784-1 is not prime. Res64: 8E5218154AA6A180 Time : 0.0 sec. user=mdettweiler [2019-12-24 16:25:28] 719*2^1551784-1 is not prime. Res64: 142051C9D298DB4B Time : 0.0 sec. user=mdettweiler [2019-12-24 16:25:29] 765*2^1551784-1 is not prime. Res64: 92CE1DABF9F43DE5 Time : 0.0 sec. user=mdettweiler [2019-12-24 16:25:30] 825*2^1551784-1 is not prime. Res64: FCA0963C08209786 Time : 0.0 sec. user=mdettweiler [2019-12-24 16:25:31] 917*2^1551784-1 is not prime. Res64: 30B52B0CF8A2DAFF Time : 0.0 sec. user=mdettweiler [2019-12-24 16:25:32] 959*2^1551784-1 is not prime. Res64: B391D278BC447AEF Time : 0.0 sec. user=mdettweiler [2019-12-24 16:50:56] 711*2^1551785-1 is not prime. Res64: EC0682DC7B2DA96C Time : 0.0 sec. user=mdettweiler [2019-12-24 16:50:57] 777*2^1551785-1 is not prime. Res64: 0B0DA6BFA39F84A6 Time : 0.0 sec. user=mdettweiler [2019-12-24 16:50:58] 925*2^1551785-1 is not prime. Res64: CD191D881AAB81ED Time : 0.0 sec. user=mdettweiler [2019-12-24 16:50:59] 939*2^1551785-1 is not prime. Res64: 26B4630FC58CC035 Time : 0.0 sec. user=mdettweiler [2019-12-24 16:50:59] 949*2^1551785-1 is not prime. Res64: 1C1B6B055D6039DD Time : 0.0 sec. user=mdettweiler [2019-12-24 17:19:18] 627*2^1551786-1 is not prime. Res64: F0D9FF8870476DD6 Time : 0.0 sec. user=mdettweiler [2019-12-24 17:19:19] 815*2^1551786-1 is not prime. Res64: 41CE3CB573BAA2CE Time : 0.0 sec. user=mdettweiler [2019-12-24 17:19:19] 873*2^1551786-1 is not prime. Res64: E932EB75BF9E81AB Time : 0.0 sec. user=mdettweiler [2019-12-24 17:19:20] 881*2^1551786-1 is not prime. Res64: 6E8EBEC84EB6B47C Time : 0.0 sec. user=mdettweiler [2019-12-24 17:19:21] 945*2^1551786-1 is not prime. Res64: 2348CEDF7F0019CC Time : 0.0 sec. user=mdettweiler [2019-12-24 17:42:39] 621*2^1551787-1 is not prime. Res64: A5CC21F20F44845A Time : 0.0 sec. user=mdettweiler [2019-12-24 17:42:40] 741*2^1551787-1 is not prime. Res64: 180B8616F01C59ED Time : 0.0 sec. user=mdettweiler [2019-12-24 17:42:41] 687*2^1551788-1 is not prime. Res64: A2022AF2C2E59FF5 Time : 0.0 sec. user=mdettweiler [2019-12-24 17:42:42] 725*2^1551788-1 is not prime. Res64: F0BD4D5AA14BA488 Time : 0.0 sec. user=mdettweiler [2019-12-24 17:42:43] 819*2^1551788-1 is not prime. Res64: 40C291855A7CC89E Time : 0.0 sec. user=mdettweiler [2019-12-24 17:58:46] 811*2^1551779-1 is not prime. Res64: 729AC7EA4C11AE64 Time : 0.0 sec. user=mdettweiler [2019-12-24 17:58:46] 823*2^1551779-1 is not prime. Res64: 6FD8FB90443E0742 Time : 0.0 sec. user=mdettweiler [2019-12-24 17:58:47] 843*2^1551779-1 is not prime. Res64: 3A7311B874F7708A Time : 0.0 sec. user=mdettweiler [2019-12-24 17:58:47] 859*2^1551779-1 is not prime. Res64: 2E905861E33D2471 Time : 0.0 sec. user=mdettweiler [2019-12-24 18:12:19] 621*2^1551789-1 is not prime. Res64: D80010E804E594A6 Time : 0.0 sec. user=mdettweiler [2019-12-24 18:12:20] 655*2^1551789-1 is not prime. Res64: 4865988CCDEAEFC8 Time : 0.0 sec. user=mdettweiler [2019-12-24 18:12:21] 907*2^1551789-1 is not prime. Res64: BDA1D1113C0B601A Time : 0.0 sec. user=mdettweiler [2019-12-24 18:12:22] 969*2^1551789-1 is not prime. Res64: 7F8A56CAEB27EF04 Time : 0.0 sec. user=mdettweiler [2019-12-24 18:12:23] 657*2^1551790-1 is not prime. Res64: 413D7240EE69097B Time : 0.0 sec. user=mdettweiler [2019-12-24 18:35:05] 663*2^1551790-1 is not prime. Res64: 194A2F22B4342994 Time : 0.0 sec. user=mdettweiler [2019-12-24 18:35:06] 825*2^1551790-1 is not prime. Res64: 44B28C33635890DE Time : 0.0 sec. user=mdettweiler [2019-12-24 18:35:07] 897*2^1551790-1 is not prime. Res64: 39153BC548B730E0 Time : 0.0 sec. user=mdettweiler [2019-12-24 18:35:09] 621*2^1551791-1 is not prime. Res64: 1F803D623EB5E7F4 Time : 0.0 sec. user=mdettweiler [2019-12-24 18:35:13] 745*2^1551791-1 is not prime. Res64: 5DC5E81B2B2B190E Time : 0.0 sec. user=mdettweiler [2019-12-24 18:52:36] 813*2^1551791-1 is not prime. Res64: D906144A03DE679A Time : 0.0 sec. user=mdettweiler [2019-12-24 18:52:37] 921*2^1551791-1 is not prime. Res64: 90F9A0A893D8B9B3 Time : 0.0 sec. user=mdettweiler [2019-12-24 18:52:38] 993*2^1551791-1 is not prime. Res64: 5B329054ACD8FE3A Time : 0.0 sec. user=mdettweiler [2019-12-24 18:52:39] 669*2^1551792-1 is not prime. Res64: D3777C487EA4276E Time : 0.0 sec. user=mdettweiler [2019-12-24 18:52:40] 765*2^1551792-1 is not prime. Res64: 7937E8C7576E3FA0 Time : 0.0 sec. user=mdettweiler [2019-12-24 19:05:44] 873*2^1551792-1 is not prime. Res64: 8A63C4374C8160B5 Time : 0.0 sec. user=mdettweiler [2019-12-24 19:05:47] 947*2^1551792-1 is not prime. Res64: A35A6001670A0C8C Time : 0.0 sec. user=mdettweiler [2019-12-24 19:05:51] 681*2^1551793-1 is not prime. Res64: 9A45845AA66FF580 Time : 0.0 sec. user=mdettweiler [2019-12-24 19:05:55] 715*2^1551793-1 is not prime. Res64: AAAC70FA4EEB892F Time : 0.0 sec. user=mdettweiler [2019-12-24 19:05:58] 747*2^1551793-1 is not prime. Res64: 86BA4B50A5299E70 Time : 0.0 sec. user=mdettweiler [2019-12-24 19:27:02] 765*2^1551793-1 is not prime. Res64: FB1F0FFF9EDC312C Time : 0.0 sec. user=mdettweiler [2019-12-24 19:27:03] 789*2^1551793-1 is not prime. Res64: 493077DE947BA547 Time : 0.0 sec. user=mdettweiler [2019-12-24 19:27:04] 877*2^1551793-1 is not prime. Res64: 2656295C8CB1EEDB Time : 0.0 sec. user=mdettweiler [2019-12-24 19:27:05] 651*2^1551794-1 is not prime. Res64: 3C8D724316177160 Time : 0.0 sec. user=mdettweiler [2019-12-24 19:27:06] 743*2^1551794-1 is not prime. Res64: 73FF442D9F69C507 Time : 0.0 sec. user=mdettweiler [2019-12-24 19:36:19] 847*2^1551797-1 is not prime. Res64: 4B6BB6287277C54F Time : 0.0 sec. user=mdettweiler [2019-12-24 19:45:52] 755*2^1551794-1 is not prime. Res64: C4B23D1F09B33E45 Time : 0.0 sec. user=mdettweiler [2019-12-24 19:45:53] 813*2^1551794-1 is not prime. Res64: 1A1D4A7C2B41BFDE Time : 0.0 sec. user=mdettweiler [2019-12-24 19:45:54] 851*2^1551794-1 is not prime. Res64: EB90018F8438E815 Time : 0.0 sec. user=mdettweiler [2019-12-24 19:45:54] 921*2^1551794-1 is not prime. Res64: 9D7D13315F5BEEC3 Time : 0.0 sec. user=mdettweiler [2019-12-24 19:45:55] 941*2^1551794-1 is not prime. Res64: D3093D5746B6C4DD Time : 0.0 sec. user=mdettweiler [2019-12-24 19:58:27] 643*2^1551795-1 is not prime. Res64: D5AF8952A575C377 Time : 0.0 sec. user=mdettweiler [2019-12-24 19:58:28] 741*2^1551795-1 is not prime. Res64: 1B6D1285DC5AF027 Time : 0.0 sec. user=mdettweiler [2019-12-24 19:58:29] 775*2^1551795-1 is not prime. Res64: 64C65E8137957297 Time : 0.0 sec. user=mdettweiler [2019-12-24 19:58:30] 951*2^1551795-1 is not prime. Res64: 960EC5F4DB629118 Time : 0.0 sec. user=mdettweiler [2019-12-24 19:58:31] 647*2^1551796-1 is not prime. Res64: 6B72E6F0E95817B8 Time : 0.0 sec. user=mdettweiler [2019-12-24 20:19:49] 975*2^1551796-1 is not prime. Res64: BDFDA816519AF4E6 Time : 0.0 sec. user=mdettweiler [2019-12-24 20:19:50] 601*2^1551797-1 is not prime. Res64: CB1042506EECBC35 Time : 0.0 sec. user=mdettweiler [2019-12-24 20:19:51] 607*2^1551797-1 is not prime. Res64: 2877DC3BC474F440 Time : 0.0 sec. user=mdettweiler [2019-12-24 20:19:52] 771*2^1551797-1 is not prime. Res64: C7D05ABB328A870D Time : 0.0 sec. user=mdettweiler [2019-12-24 20:19:53] 831*2^1551797-1 is not prime. Res64: 0A79A7DAA05B6BB0 Time : 0.0 sec. user=mdettweiler [2019-12-24 20:37:29] 879*2^1551797-1 is not prime. Res64: 49631DF890D7BB34 Time : 0.0 sec. user=mdettweiler [2019-12-24 20:37:30] 657*2^1551798-1 is not prime. Res64: F81AE0D2A6BE6A64 Time : 0.0 sec. user=mdettweiler [2019-12-24 20:37:32] 681*2^1551798-1 is not prime. Res64: D64B00C2D9B1C8AB Time : 0.0 sec. user=mdettweiler [2019-12-24 20:37:32] 705*2^1551798-1 is not prime. Res64: 3A8E7C74E3322B1A Time : 0.0 sec. user=mdettweiler [2019-12-24 20:37:33] 881*2^1551798-1 is not prime. Res64: 42FDEB542323E964 Time : 0.0 sec. user=mdettweiler [2019-12-24 20:50:20] 915*2^1551798-1 is not prime. Res64: 958D93ACFA191919 Time : 0.0 sec. user=mdettweiler [2019-12-24 20:50:21] 633*2^1551799-1 is not prime. Res64: 8B69287CCD22D186 Time : 0.0 sec. user=mdettweiler [2019-12-24 20:50:22] 741*2^1551799-1 is not prime. Res64: 9C622C877ED6213A Time : 0.0 sec. user=mdettweiler [2019-12-24 20:50:23] 843*2^1551799-1 is not prime. Res64: 98264EB8A4FE0C16 Time : 0.0 sec. user=mdettweiler [2019-12-24 20:50:24] 859*2^1551799-1 is not prime. Res64: 7AD3DE4F04073156 Time : 0.0 sec. user=mdettweiler [2019-12-24 21:15:24] 909*2^1551799-1 is not prime. Res64: 52F6CDAD7F05BA2F Time : 0.0 sec. user=mdettweiler [2019-12-24 21:15:26] 939*2^1551799-1 is not prime. Res64: DEB747B7BA2B7990 Time : 0.0 sec. user=mdettweiler [2019-12-24 21:15:27] 969*2^1551799-1 is not prime. Res64: B359AE28BD1605CE Time : 0.0 sec. user=mdettweiler [2019-12-24 21:15:28] 985*2^1551799-1 is not prime. Res64: D45D761DD531BE33 Time : 0.0 sec. user=mdettweiler [2019-12-24 21:15:29] 615*2^1551800-1 is not prime. Res64: 3C2C81F35BF1874F Time : 0.0 sec. user=mdettweiler [2019-12-24 21:29:30] 795*2^1551800-1 is not prime. Res64: 12479D247DE78E2F Time : 0.0 sec. user=mdettweiler [2019-12-24 21:29:32] 855*2^1551800-1 is not prime. Res64: D8B973DFD0540CF1 Time : 0.0 sec. user=mdettweiler [2019-12-24 21:29:33] 923*2^1551800-1 is not prime. Res64: 56366C2E89387567 Time : 0.0 sec. user=mdettweiler [2019-12-24 21:29:34] 661*2^1551801-1 is not prime. Res64: C9E6A71523A5C168 Time : 0.0 sec. user=mdettweiler [2019-12-24 21:29:35] 711*2^1551801-1 is not prime. Res64: C0834A13E75D8D9E Time : 0.0 sec. user=mdettweiler [2019-12-24 21:42:16] 727*2^1551801-1 is not prime. Res64: 3459075C2FC001B0 Time : 0.0 sec. user=mdettweiler [2019-12-24 21:42:17] 735*2^1551801-1 is not prime. Res64: 0093006E01145EDA Time : 0.0 sec. user=mdettweiler [2019-12-24 21:42:18] 807*2^1551801-1 is not prime. Res64: 47206045E5EB91BD Time : 0.0 sec. user=mdettweiler [2019-12-24 21:42:18] 865*2^1551801-1 is not prime. Res64: CD14B9E1E58A4375 Time : 0.0 sec. user=mdettweiler [2019-12-24 21:42:19] 889*2^1551801-1 is not prime. Res64: EBC9B1399E6548E9 Time : 0.0 sec. user=mdettweiler [2019-12-24 22:09:49] 921*2^1551801-1 is not prime. Res64: 0C6A9869EFE82760 Time : 0.0 sec. user=mdettweiler [2019-12-24 22:09:53] 969*2^1551801-1 is not prime. Res64: C76E0072D5D28B56 Time : 0.0 sec. user=mdettweiler [2019-12-24 22:09:56] 987*2^1551801-1 is not prime. Res64: 785D21897DB81F7C Time : 0.0 sec. user=mdettweiler [2019-12-24 22:09:59] 611*2^1551802-1 is not prime. Res64: 830446C41050B28E Time : 0.0 sec. user=mdettweiler [2019-12-24 22:10:02] 723*2^1551802-1 is not prime. Res64: 4054BC935E257017 Time : 0.0 sec. user=mdettweiler [2019-12-24 22:21:23] 821*2^1551802-1 is not prime. Res64: 238B23609EA30246 Time : 0.0 sec. user=mdettweiler [2019-12-24 22:21:24] 923*2^1551802-1 is not prime. Res64: E3866F471C1D2EB1 Time : 0.0 sec. user=mdettweiler [2019-12-24 22:21:25] 643*2^1551803-1 is not prime. Res64: 7B06480DE692748F Time : 0.0 sec. user=mdettweiler [2019-12-24 22:21:26] 685*2^1551803-1 is not prime. Res64: 1E1F933BEEB8C657 Time : 0.0 sec. user=mdettweiler [2019-12-24 22:21:26] 693*2^1551803-1 is not prime. Res64: 962608DD32BB4908 Time : 0.0 sec. user=mdettweiler [2019-12-24 22:35:42] 781*2^1551803-1 is not prime. Res64: ACC1958BCB7212C8 Time : 0.0 sec. user=mdettweiler [2019-12-24 22:35:43] 825*2^1551803-1 is not prime. Res64: BDB73379CD13C311 Time : 0.0 sec. user=mdettweiler [2019-12-24 22:35:43] 853*2^1551803-1 is not prime. Res64: 5152A2065AE48C4C Time : 0.0 sec. user=mdettweiler [2019-12-24 22:35:44] 861*2^1551803-1 is not prime. Res64: 1DC69C18BA32282C Time : 0.0 sec. user=mdettweiler [2019-12-24 22:35:45] 939*2^1551803-1 is not prime. Res64: 176EC450B16A1418 Time : 0.0 sec. user=mdettweiler [2019-12-24 23:04:06] 945*2^1551803-1 is not prime. Res64: 12516D12353CA2AD Time : 0.0 sec. user=mdettweiler [2019-12-24 23:04:10] 609*2^1551804-1 is not prime. Res64: 6659412BFEBDE4E9 Time : 0.0 sec. user=mdettweiler [2019-12-24 23:04:14] 635*2^1551804-1 is not prime. Res64: 1FD4D15840778CCC Time : 0.0 sec. user=mdettweiler [2019-12-24 23:04:18] 689*2^1551804-1 is not prime. Res64: 70E07E484EA7B13F Time : 0.0 sec. user=mdettweiler [2019-12-24 23:04:22] 983*2^1551804-1 is not prime. Res64: 2600807A590E3E96 Time : 0.0 sec. user=mdettweiler [2019-12-24 23:13:08] 645*2^1551805-1 is not prime. Res64: E5A724F9F5A44849 Time : 0.0 sec. user=mdettweiler [2019-12-24 23:13:12] 741*2^1551805-1 is not prime. Res64: 5D5D2E678E34843B Time : 0.0 sec. user=mdettweiler [2019-12-24 23:13:15] 759*2^1551805-1 is not prime. Res64: 382E1770A36F8EA1 Time : 0.0 sec. user=mdettweiler [2019-12-24 23:13:18] 819*2^1551805-1 is not prime. Res64: 5A6936E38F043B73 Time : 0.0 sec. user=mdettweiler [2019-12-24 23:13:27] 861*2^1551805-1 is not prime. Res64: BFE38504AF2BA090 Time : 0.0 sec. user=mdettweiler [2019-12-24 23:28:23] 955*2^1551805-1 is not prime. Res64: 1357CF4C0D5BFBFE Time : 0.0 sec. user=mdettweiler [2019-12-24 23:28:25] 603*2^1551806-1 is not prime. Res64: 64BA6F3389F32F33 Time : 0.0 sec. user=mdettweiler [2019-12-24 23:28:25] 741*2^1551806-1 is not prime. Res64: 0B7BC7F72BC506CA Time : 0.0 sec. user=mdettweiler [2019-12-24 23:28:26] 747*2^1551806-1 is not prime. Res64: 073D699821E0723F Time : 0.0 sec. user=mdettweiler [2019-12-24 23:28:27] 825*2^1551806-1 is not prime. Res64: E64304BB3BADB229 Time : 0.0 sec. user=mdettweiler [2019-12-24 23:59:17] 903*2^1551806-1 is not prime. Res64: 7148F3E7573A2516 Time : 0.0 sec. user=mdettweiler [2019-12-24 23:59:18] 917*2^1551806-1 is not prime. Res64: BAC775858187A6A9 Time : 0.0 sec. user=mdettweiler [2019-12-24 23:59:19] 921*2^1551806-1 is not prime. Res64: 96040932B4E26ABB Time : 0.0 sec. user=mdettweiler [2019-12-24 23:59:20] 957*2^1551806-1 is not prime. Res64: 419A3DFDF0881D3A Time : 0.0 sec. user=mdettweiler [2019-12-24 23:59:21] 609*2^1551807-1 is not prime. Res64: B30D769F2645205F Time : 0.0 sec.