user=mdettweiler [2018-06-20 00:02:45] 741*2^1513830-1 is not prime. Res64: 238BF7EC713939EE Time : 0.0 sec. user=mdettweiler [2018-06-20 00:02:49] 765*2^1513830-1 is not prime. Res64: F8895B8D77F600D5 Time : 0.0 sec. user=mdettweiler [2018-06-20 00:02:51] 773*2^1513830-1 is not prime. Res64: 2F3FAB59A7D0E922 Time : 0.0 sec. user=mdettweiler [2018-06-20 00:02:53] 795*2^1513830-1 is not prime. Res64: F5CFC6E21C13AD8E Time : 0.0 sec. user=mdettweiler [2018-06-20 00:02:54] 801*2^1513830-1 is not prime. Res64: 3A8EF2B954CC363B Time : 0.0 sec. user=mdettweiler [2018-06-20 00:12:11] 861*2^1513830-1 is not prime. Res64: 38F87D858D66FDD8 Time : 0.0 sec. user=mdettweiler [2018-06-20 00:12:13] 917*2^1513830-1 is not prime. Res64: 05EC3AF290ACF25F Time : 0.0 sec. user=mdettweiler [2018-06-20 00:12:14] 625*2^1513831-1 is not prime. Res64: 5DC31B9F434CBF47 Time : 0.0 sec. user=mdettweiler [2018-06-20 00:12:16] 705*2^1513831-1 is not prime. Res64: F9611E5EA29FB2FD Time : 0.0 sec. user=mdettweiler [2018-06-20 00:12:17] 759*2^1513831-1 is not prime. Res64: A7052D743BB5A9E6 Time : 0.0 sec. user=mdettweiler [2018-06-20 00:33:46] 763*2^1513831-1 is not prime. Res64: CBE1DFD200C8F36C Time : 0.0 sec. user=mdettweiler [2018-06-20 00:33:46] 771*2^1513831-1 is not prime. Res64: B5D4CC1B1A818D87 Time : 0.0 sec. user=mdettweiler [2018-06-20 00:33:46] 793*2^1513831-1 is not prime. Res64: 7204DC32DAF6FAFA Time : 0.0 sec. user=mdettweiler [2018-06-20 00:33:47] 855*2^1513831-1 is not prime. Res64: 7F1D0C7D1ED594E5 Time : 0.0 sec. user=mdettweiler [2018-06-20 00:33:47] 871*2^1513831-1 is not prime. Res64: 6692E83BA2C2F2DE Time : 0.0 sec. user=juhehe [2018-06-20 00:46:52] 895*2^1513831-1 is not prime. Res64: 9CE523FBFE2B60B5 Time : 0.0 sec. user=mdettweiler [2018-06-20 00:55:20] 753*2^1513832-1 is not prime. Res64: 4B6207322FC03709 Time : 0.0 sec. user=mdettweiler [2018-06-20 00:55:21] 879*2^1513832-1 is not prime. Res64: 465B9B780158D592 Time : 0.0 sec. user=mdettweiler [2018-06-20 00:55:21] 899*2^1513832-1 is not prime. Res64: 5D05475CFE837481 Time : 0.0 sec. user=mdettweiler [2018-06-20 00:55:21] 917*2^1513832-1 is not prime. Res64: E8982B1F891E513A Time : 0.0 sec. user=mdettweiler [2018-06-20 00:55:22] 977*2^1513832-1 is not prime. Res64: 00C985579BFE33EA Time : 0.0 sec. user=mdettweiler [2018-06-20 01:04:20] 609*2^1513833-1 is not prime. Res64: 8BC2349C8FE775A8 Time : 0.0 sec. user=mdettweiler [2018-06-20 01:04:21] 675*2^1513833-1 is not prime. Res64: 907483875D047F46 Time : 0.0 sec. user=mdettweiler [2018-06-20 01:04:22] 691*2^1513833-1 is not prime. Res64: BCA2328CA2FCD1A9 Time : 0.0 sec. user=mdettweiler [2018-06-20 01:04:24] 807*2^1513833-1 is not prime. Res64: AD573E01AB0D9F42 Time : 0.0 sec. user=mdettweiler [2018-06-20 01:04:25] 919*2^1513833-1 is not prime. Res64: F03369C892D3165C Time : 0.0 sec. user=mdettweiler [2018-06-20 01:25:46] 937*2^1513833-1 is not prime. Res64: 9EB9C02FF6EAB34B Time : 0.0 sec. user=mdettweiler [2018-06-20 01:25:47] 969*2^1513833-1 is not prime. Res64: 535C7EAFE34D1D10 Time : 0.0 sec. user=mdettweiler [2018-06-20 01:25:48] 651*2^1513834-1 is not prime. Res64: 4BF361EA29978F8A Time : 0.0 sec. user=mdettweiler [2018-06-20 01:25:49] 681*2^1513834-1 is not prime. Res64: 9799F28250196251 Time : 0.0 sec. user=mdettweiler [2018-06-20 01:25:49] 857*2^1513834-1 is not prime. Res64: A6CF903AA02946E2 Time : 0.0 sec. user=mdettweiler [2018-06-20 01:46:33] 651*2^1513835-1 is not prime. Res64: 4222ED79DE1CFCEE Time : 0.0 sec. user=mdettweiler [2018-06-20 01:46:34] 669*2^1513835-1 is not prime. Res64: 41B37E3477190417 Time : 0.0 sec. user=mdettweiler [2018-06-20 01:46:34] 715*2^1513835-1 is not prime. Res64: 2DAC0A62B4332DBA Time : 0.0 sec. user=mdettweiler [2018-06-20 01:46:35] 909*2^1513835-1 is not prime. Res64: D7EF6DA03D7EFFDB Time : 0.0 sec. user=mdettweiler [2018-06-20 01:46:36] 943*2^1513835-1 is not prime. Res64: 7A180409F5E22061 Time : 0.0 sec. user=mdettweiler [2018-06-20 01:55:21] 623*2^1513836-1 is not prime. Res64: 0F76A2738ADC1A29 Time : 0.0 sec. user=mdettweiler [2018-06-20 01:55:22] 783*2^1513836-1 is not prime. Res64: A35C33BF0290313D Time : 0.0 sec. user=mdettweiler [2018-06-20 01:55:22] 845*2^1513836-1 is not prime. Res64: 3AA6E4281B30D7AD Time : 0.0 sec. user=mdettweiler [2018-06-20 01:55:23] 857*2^1513836-1 is not prime. Res64: 3CC25F8D340F1BCA Time : 0.0 sec. user=mdettweiler [2018-06-20 01:55:23] 899*2^1513836-1 is not prime. Res64: 527CF00F8C29E8D3 Time : 0.0 sec. user=mdettweiler [2018-06-20 02:18:07] 945*2^1513836-1 is not prime. Res64: AFEA17F9F9771E0C Time : 0.0 sec. user=mdettweiler [2018-06-20 02:18:07] 687*2^1513837-1 is not prime. Res64: E55F9D286DF8FE2E Time : 0.0 sec. user=mdettweiler [2018-06-20 02:18:08] 747*2^1513837-1 is not prime. Res64: 7F4B4F36962D994A Time : 0.0 sec. user=mdettweiler [2018-06-20 02:18:08] 777*2^1513837-1 is not prime. Res64: 6F8B2ADAFE6F1882 Time : 0.0 sec. user=mdettweiler [2018-06-20 02:18:09] 919*2^1513837-1 is not prime. Res64: 0FD6BB20AF2D1827 Time : 0.0 sec. user=juhehe [2018-06-20 02:19:58] 939*2^1513837-1 is not prime. Res64: 6BC2DE8BA1589F5B Time : 0.0 sec. user=mdettweiler [2018-06-20 02:39:04] 693*2^1513838-1 is not prime. Res64: FA16980FE04AB07A Time : 0.0 sec. user=mdettweiler [2018-06-20 02:39:04] 707*2^1513838-1 is not prime. Res64: 12EDC95BD3C29DA5 Time : 0.0 sec. user=mdettweiler [2018-06-20 02:39:05] 755*2^1513838-1 is not prime. Res64: B93995CE3FD11063 Time : 0.0 sec. user=mdettweiler [2018-06-20 02:39:05] 761*2^1513838-1 is not prime. Res64: F1E5DC76EF64CB40 Time : 0.0 sec. user=mdettweiler [2018-06-20 02:39:06] 893*2^1513838-1 is not prime. Res64: 53223FADD95C92A9 Time : 0.0 sec. user=mdettweiler [2018-06-20 02:48:53] 963*2^1513838-1 is not prime. Res64: F87359683B93EC21 Time : 0.0 sec. user=mdettweiler [2018-06-20 02:48:54] 775*2^1513839-1 is not prime. Res64: 4E44D9928CF0506C Time : 0.0 sec. user=mdettweiler [2018-06-20 02:48:54] 853*2^1513839-1 is not prime. Res64: 3334E4D677B545A0 Time : 0.0 sec. user=mdettweiler [2018-06-20 02:48:55] 861*2^1513839-1 is not prime. Res64: A5B6DCDE7298234C Time : 0.0 sec. user=mdettweiler [2018-06-20 02:48:55] 629*2^1513840-1 is not prime. Res64: B64B454EED3AB3AF Time : 0.0 sec. user=mdettweiler [2018-06-20 03:10:10] 803*2^1513840-1 is not prime. Res64: EEA6A770D4F57D63 Time : 0.0 sec. user=mdettweiler [2018-06-20 03:10:10] 627*2^1513841-1 is not prime. Res64: 5B4C82821F0C2CA6 Time : 0.0 sec. user=mdettweiler [2018-06-20 03:10:11] 657*2^1513841-1 is not prime. Res64: E0B3C19D70386F6D Time : 0.0 sec. user=mdettweiler [2018-06-20 03:10:11] 697*2^1513841-1 is not prime. Res64: 52CED9D07F0A026B Time : 0.0 sec. user=mdettweiler [2018-06-20 03:10:12] 769*2^1513841-1 is not prime. Res64: AC446DC22AFD69E6 Time : 0.0 sec. user=mdettweiler [2018-06-20 03:20:56] 847*2^1513829-1 is not prime. Res64: 723C8587328C3474 Time : 0.0 sec. user=mdettweiler [2018-06-20 03:20:57] 997*2^1513829-1 is not prime. Res64: 560AF2AFF0E65037 Time : 0.0 sec. user=mdettweiler [2018-06-20 03:20:58] 611*2^1513830-1 is not prime. Res64: ACB572B7C34D1188 Time : 0.0 sec. user=mdettweiler [2018-06-20 03:20:58] 647*2^1513830-1 is not prime. Res64: 589B211FE4BBD6D7 Time : 0.0 sec. user=mdettweiler [2018-06-20 03:20:58] 717*2^1513830-1 is not prime. Res64: 64FE80A845BF0E4E Time : 0.0 sec. user=mdettweiler [2018-06-20 03:31:13] 735*2^1513842-1 is not prime. Res64: BD4CD0BC2C48CDAE Time : 0.0 sec. user=mdettweiler [2018-06-20 03:31:16] 807*2^1513842-1 is not prime. Res64: 1B2ED7761066CC8D Time : 0.0 sec. user=mdettweiler [2018-06-20 03:31:20] 821*2^1513842-1 is not prime. Res64: 2AF1BA0BF09E56FD Time : 0.0 sec. user=mdettweiler [2018-06-20 03:31:23] 941*2^1513842-1 is not prime. Res64: BEC1A76F3961D55E Time : 0.0 sec. user=mdettweiler [2018-06-20 03:31:26] 603*2^1513843-1 is not prime. Res64: F02979B7DFF78AB7 Time : 0.0 sec. user=mdettweiler [2018-06-20 03:39:27] 615*2^1513843-1 is not prime. Res64: 54FAD694F0930469 Time : 0.0 sec. user=mdettweiler [2018-06-20 03:39:28] 625*2^1513843-1 is not prime. Res64: A3C13EFBDAF06CC2 Time : 0.0 sec. user=mdettweiler [2018-06-20 03:39:30] 723*2^1513843-1 is not prime. Res64: 03A8387F97A6785A Time : 0.0 sec. user=mdettweiler [2018-06-20 03:39:31] 735*2^1513843-1 is not prime. Res64: 9EA29C77C8FD7337 Time : 0.0 sec. user=mdettweiler [2018-06-20 03:39:32] 883*2^1513843-1 is not prime. Res64: DEC5120E2CDF87E8 Time : 0.0 sec. user=mdettweiler [2018-06-20 03:59:41] 891*2^1513843-1 is not prime. Res64: A93411745DAB48AA Time : 0.0 sec. user=mdettweiler [2018-06-20 03:59:42] 945*2^1513843-1 is not prime. Res64: FAD7FA3D4E9CAAB3 Time : 0.0 sec. user=mdettweiler [2018-06-20 03:59:43] 605*2^1513844-1 is not prime. Res64: D08A1BF09974C579 Time : 0.0 sec. user=mdettweiler [2018-06-20 03:59:44] 609*2^1513844-1 is not prime. Res64: 0C8B059BE25DC70C Time : 0.0 sec. user=mdettweiler [2018-06-20 03:59:44] 617*2^1513844-1 is not prime. Res64: DB4E685082F8CE24 Time : 0.0 sec. user=mdettweiler [2018-06-20 04:11:32] 707*2^1513844-1 is not prime. Res64: DF31C7C63B3C3E70 Time : 0.0 sec. user=mdettweiler [2018-06-20 04:11:36] 753*2^1513844-1 is not prime. Res64: 64FA49DC5F243872 Time : 0.0 sec. user=mdettweiler [2018-06-20 04:11:42] 795*2^1513844-1 is not prime. Res64: 3A29D2F1F7C85D5C Time : 0.0 sec. user=mdettweiler [2018-06-20 04:11:45] 803*2^1513844-1 is not prime. Res64: E7244761DC158A0E Time : 0.0 sec. user=mdettweiler [2018-06-20 04:11:49] 819*2^1513844-1 is not prime. Res64: 17FDDC29E27DC28E Time : 0.0 sec. user=mdettweiler [2018-06-20 04:22:19] 935*2^1513844-1 is not prime. Res64: 0B89E0560EFDEF90 Time : 0.0 sec. user=mdettweiler [2018-06-20 04:22:20] 627*2^1513845-1 is not prime. Res64: E8B0F2C7A2797267 Time : 0.0 sec. user=mdettweiler [2018-06-20 04:22:21] 717*2^1513845-1 is not prime. Res64: 8E0BE21E5FE88EC0 Time : 0.0 sec. user=mdettweiler [2018-06-20 04:22:22] 781*2^1513845-1 is not prime. Res64: 38B272014E54B5E8 Time : 0.0 sec. user=mdettweiler [2018-06-20 04:22:22] 837*2^1513845-1 is not prime. Res64: F2C66435ADF542CF Time : 0.0 sec. user=mdettweiler [2018-06-20 04:30:27] 847*2^1513845-1 is not prime. Res64: FA0102E74486EAEB Time : 0.0 sec. user=mdettweiler [2018-06-20 04:30:27] 999*2^1513845-1 is not prime. Res64: 0D44C727E109576D Time : 0.0 sec. user=mdettweiler [2018-06-20 04:30:28] 645*2^1513846-1 is not prime. Res64: F09CAC99DBACA3F7 Time : 0.0 sec. user=mdettweiler [2018-06-20 04:30:30] 777*2^1513846-1 is not prime. Res64: 400E4081BA6FC253 Time : 0.0 sec. user=mdettweiler [2018-06-20 04:30:31] 843*2^1513846-1 is not prime. Res64: C8F1D5BC0F558477 Time : 0.0 sec. user=juhehe [2018-06-20 04:40:22] 945*2^1513846-1 is not prime. Res64: D8298F62C8584444 Time : 0.0 sec. user=mdettweiler [2018-06-20 04:49:31] 975*2^1513846-1 is not prime. Res64: 0F5441AE49F402A0 Time : 0.0 sec. user=mdettweiler [2018-06-20 04:49:33] 987*2^1513846-1 is not prime. Res64: CDFFEBB0473A0903 Time : 0.0 sec. user=mdettweiler [2018-06-20 04:49:34] 1001*2^1513846-1 is not prime. Res64: 2627EC9D8132A633 Time : 0.0 sec. user=mdettweiler [2018-06-20 04:49:34] 655*2^1513847-1 is not prime. Res64: B353BA7EAE74A554 Time : 0.0 sec. user=mdettweiler [2018-06-20 04:49:35] 661*2^1513847-1 is not prime. Res64: A7499717C21CF0EA Time : 0.0 sec. user=mdettweiler [2018-06-20 05:03:40] 693*2^1513847-1 is not prime. Res64: B3914AD0208ADFCA Time : 0.0 sec. user=mdettweiler [2018-06-20 05:03:41] 729*2^1513847-1 is not prime. Res64: E1121B5C124C7249 Time : 0.0 sec. user=mdettweiler [2018-06-20 05:03:42] 735*2^1513847-1 is not prime. Res64: 2E3DB0ECB1BE8472 Time : 0.0 sec. user=mdettweiler [2018-06-20 05:03:44] 799*2^1513847-1 is not prime. Res64: 7B571E05A9CB6432 Time : 0.0 sec. user=mdettweiler [2018-06-20 05:03:46] 885*2^1513847-1 is not prime. Res64: 6A0B96B63EFEAF59 Time : 0.0 sec. user=mdettweiler [2018-06-20 05:13:37] 939*2^1513847-1 is not prime. Res64: E5ED7D03B3527C5D Time : 0.0 sec. user=mdettweiler [2018-06-20 05:13:39] 949*2^1513847-1 is not prime. Res64: 4DBF8A1D9EBEDE77 Time : 0.0 sec. user=mdettweiler [2018-06-20 05:13:40] 737*2^1513848-1 is not prime. Res64: 0645D24CE69E53E4 Time : 0.0 sec. user=mdettweiler [2018-06-20 05:13:41] 751*2^1513849-1 is not prime. Res64: 3B5107B4D4C6BB02 Time : 0.0 sec. user=mdettweiler [2018-06-20 05:13:42] 789*2^1513849-1 is not prime. Res64: BAF2EB2DFC483DF9 Time : 0.0 sec. user=mdettweiler [2018-06-20 05:21:18] 799*2^1513849-1 is not prime. Res64: BB084D76087C5628 Time : 0.0 sec. user=mdettweiler [2018-06-20 05:21:18] 897*2^1513849-1 is not prime. Res64: A258AAA1028DAABD Time : 0.0 sec. user=mdettweiler [2018-06-20 05:21:19] 975*2^1513849-1 is not prime. Res64: 64610B5C39463D9C Time : 0.0 sec. user=mdettweiler [2018-06-20 05:21:20] 997*2^1513849-1 is not prime. Res64: 024DD5425E0EDA98 Time : 0.0 sec. user=mdettweiler [2018-06-20 05:21:20] 641*2^1513850-1 is not prime. Res64: 0E8E0A6BB10E42EC Time : 0.0 sec. user=mdettweiler [2018-06-20 05:39:29] 651*2^1513850-1 is not prime. Res64: 650C36BD798145E9 Time : 0.0 sec. user=mdettweiler [2018-06-20 05:39:30] 657*2^1513850-1 is not prime. Res64: 8D33B56FB2A45E1F Time : 0.0 sec. user=mdettweiler [2018-06-20 05:39:31] 717*2^1513850-1 is not prime. Res64: 6CD0160B20944924 Time : 0.0 sec. user=mdettweiler [2018-06-20 05:39:31] 797*2^1513850-1 is not prime. Res64: E919EB457B75539F Time : 0.0 sec. user=mdettweiler [2018-06-20 05:39:33] 801*2^1513850-1 is not prime. Res64: 847A93925F638F29 Time : 0.0 sec. user=mdettweiler [2018-06-20 05:55:12] 851*2^1513850-1 is not prime. Res64: FB6851D12570B652 Time : 0.0 sec. user=mdettweiler [2018-06-20 05:55:13] 857*2^1513850-1 is not prime. Res64: 4CEBC3E59BCA0C63 Time : 0.0 sec. user=mdettweiler [2018-06-20 05:55:14] 875*2^1513850-1 is not prime. Res64: 66AD6DD134260539 Time : 0.0 sec. user=mdettweiler [2018-06-20 05:55:14] 945*2^1513850-1 is not prime. Res64: A16935BD31501BCC Time : 0.0 sec. user=mdettweiler [2018-06-20 05:55:14] 995*2^1513850-1 is not prime. Res64: 4B8E4B1B1BF9D32F Time : 0.0 sec. user=mdettweiler [2018-06-20 06:04:40] 739*2^1513851-1 is not prime. Res64: 78547C3DF42DAB02 Time : 0.0 sec. user=mdettweiler [2018-06-20 06:04:42] 793*2^1513851-1 is not prime. Res64: 0CC05DC5EEC5F1FF Time : 0.0 sec. user=mdettweiler [2018-06-20 06:04:43] 819*2^1513851-1 is not prime. Res64: 309847532E2AD392 Time : 0.0 sec. user=mdettweiler [2018-06-20 06:04:44] 945*2^1513851-1 is not prime. Res64: 33C4DD0051755321 Time : 0.0 sec. user=mdettweiler [2018-06-20 06:04:45] 639*2^1513852-1 is not prime. Res64: 7FC72AB2C75FE254 Time : 0.0 sec. user=mdettweiler [2018-06-20 06:12:04] 749*2^1513852-1 is not prime. Res64: EE8764D9948FBD2B Time : 0.0 sec. user=mdettweiler [2018-06-20 06:12:04] 777*2^1513852-1 is not prime. Res64: F186DEB1D3EC89D3 Time : 0.0 sec. user=mdettweiler [2018-06-20 06:12:05] 779*2^1513852-1 is not prime. Res64: A4DBC41F045572B0 Time : 0.0 sec. user=mdettweiler [2018-06-20 06:12:05] 785*2^1513852-1 is not prime. Res64: E91B47E351738CB2 Time : 0.0 sec. user=mdettweiler [2018-06-20 06:12:05] 825*2^1513852-1 is not prime. Res64: DB597E89735B8C24 Time : 0.0 sec. user=mdettweiler [2018-06-20 06:29:52] 843*2^1513852-1 is not prime. Res64: 68DC1DAD4C98CF7D Time : 0.0 sec. user=mdettweiler [2018-06-20 06:29:52] 875*2^1513852-1 is not prime. Res64: FAD6BA23B58688D5 Time : 0.0 sec. user=mdettweiler [2018-06-20 06:29:53] 615*2^1513853-1 is not prime. Res64: C0D14428E268129B Time : 0.0 sec. user=mdettweiler [2018-06-20 06:29:53] 679*2^1513853-1 is not prime. Res64: 86FAF07063818DDC Time : 0.0 sec. user=mdettweiler [2018-06-20 06:29:53] 715*2^1513853-1 is not prime. Res64: 2F13FFD7B8CF0E6B Time : 0.0 sec. user=mdettweiler [2018-06-20 06:45:07] 861*2^1513853-1 is not prime. Res64: F1AEE99EC282EBB4 Time : 0.0 sec. user=mdettweiler [2018-06-20 06:45:07] 955*2^1513853-1 is not prime. Res64: CB98FC078FFBC1C2 Time : 0.0 sec. user=mdettweiler [2018-06-20 06:45:08] 981*2^1513853-1 is not prime. Res64: A69DD7213F31A476 Time : 0.0 sec. user=mdettweiler [2018-06-20 06:45:08] 615*2^1513854-1 is not prime. Res64: 578A0EE7110D2F1D Time : 0.0 sec. user=mdettweiler [2018-06-20 06:45:08] 635*2^1513854-1 is not prime. Res64: 84D88F1497AF7AAB Time : 0.0 sec. user=mdettweiler [2018-06-20 06:56:01] 681*2^1513854-1 is not prime. Res64: DA7BB8B6E4B8D3AD Time : 0.0 sec. user=mdettweiler [2018-06-20 06:56:02] 741*2^1513854-1 is not prime. Res64: 70F1FE473B7E33E2 Time : 0.0 sec. user=mdettweiler [2018-06-20 06:56:02] 795*2^1513854-1 is not prime. Res64: 0769D95425C544A6 Time : 0.0 sec. user=mdettweiler [2018-06-20 06:56:02] 833*2^1513854-1 is not prime. Res64: 1092AF559C5352E1 Time : 0.0 sec. user=mdettweiler [2018-06-20 06:56:03] 685*2^1513855-1 is not prime. Res64: 8F296E0651F89026 Time : 0.0 sec. user=juhehe [2018-06-20 07:00:31] 871*2^1513855-1 is not prime. Res64: 4A1D2DE78C010F45 Time : 0.0 sec. user=mdettweiler [2018-06-20 07:02:48] 715*2^1513855-1 is not prime. Res64: F1267D59C07F1888 Time : 0.0 sec. user=mdettweiler [2018-06-20 07:02:49] 735*2^1513855-1 is not prime. Res64: 1FD32AC7B644F95B Time : 0.0 sec. user=mdettweiler [2018-06-20 07:02:50] 805*2^1513855-1 is not prime. Res64: 76E03EC49C207096 Time : 0.0 sec. user=mdettweiler [2018-06-20 07:02:50] 841*2^1513855-1 is not prime. Res64: 5FACB5CA727504BD Time : 0.0 sec. user=mdettweiler [2018-06-20 07:02:51] 861*2^1513855-1 is not prime. Res64: 149587418E55CC0D Time : 0.0 sec. user=mdettweiler [2018-06-20 07:20:18] 873*2^1513855-1 is not prime. Res64: 3C4227DB69D2F032 Time : 0.0 sec. user=mdettweiler [2018-06-20 07:20:18] 969*2^1513855-1 is not prime. Res64: 31372298978E979C Time : 0.0 sec. user=mdettweiler [2018-06-20 07:20:19] 813*2^1513856-1 is not prime. Res64: FBDE276F01C9D872 Time : 0.0 sec. user=mdettweiler [2018-06-20 07:20:19] 957*2^1513856-1 is not prime. Res64: FA3FA3166140024B Time : 0.0 sec. user=mdettweiler [2018-06-20 07:20:20] 649*2^1513857-1 is not prime. Res64: 15E7B03A76389670 Time : 0.0 sec. user=mdettweiler [2018-06-20 07:35:46] 691*2^1513857-1 is not prime. Res64: 2BF70C2BFA60E6FE Time : 0.0 sec. user=mdettweiler [2018-06-20 07:35:47] 805*2^1513857-1 is not prime. Res64: D1821CB1CE4A3C4A Time : 0.0 sec. user=mdettweiler [2018-06-20 07:35:47] 871*2^1513857-1 is not prime. Res64: C3FC4ACB6B3BF480 Time : 0.0 sec. user=mdettweiler [2018-06-20 07:35:48] 889*2^1513857-1 is not prime. Res64: C4E78C585017F8A4 Time : 0.0 sec. user=mdettweiler [2018-06-20 07:35:48] 937*2^1513857-1 is not prime. Res64: A9EB82042E78BB36 Time : 0.0 sec. user=mdettweiler [2018-06-20 07:46:10] 949*2^1513857-1 is not prime. Res64: FA5E7A2054717437 Time : 0.0 sec. user=mdettweiler [2018-06-20 07:46:11] 611*2^1513858-1 is not prime. Res64: 63E6F9576D0D01E4 Time : 0.0 sec. user=mdettweiler [2018-06-20 07:46:11] 681*2^1513858-1 is not prime. Res64: A4B8DA7BAE79B67E Time : 0.0 sec. user=mdettweiler [2018-06-20 07:46:11] 843*2^1513858-1 is not prime. Res64: F1DB60A5CA22A2E6 Time : 0.0 sec. user=mdettweiler [2018-06-20 07:46:12] 887*2^1513858-1 is not prime. Res64: 2A2AEE4214FF57B1 Time : 0.0 sec. user=mdettweiler [2018-06-20 07:52:37] 971*2^1513858-1 is not prime. Res64: C22F8AE02E793028 Time : 0.0 sec. user=mdettweiler [2018-06-20 07:52:38] 615*2^1513859-1 is not prime. Res64: A60CBFE247841568 Time : 0.0 sec. user=mdettweiler [2018-06-20 07:52:38] 621*2^1513859-1 is not prime. Res64: C6BB37A474EE1034 Time : 0.0 sec. user=mdettweiler [2018-06-20 07:52:39] 841*2^1513859-1 is not prime. Res64: 6FB776A9A5E84356 Time : 0.0 sec. user=mdettweiler [2018-06-20 07:52:39] 921*2^1513859-1 is not prime. Res64: F8B8F3553A2042ED Time : 0.0 sec. user=mdettweiler [2018-06-20 08:10:44] 647*2^1513860-1 is not prime. Res64: 54719EC8242E410A Time : 0.0 sec. user=mdettweiler [2018-06-20 08:10:44] 689*2^1513860-1 is not prime. Res64: 141EB9B864546AB7 Time : 0.0 sec. user=mdettweiler [2018-06-20 08:10:45] 693*2^1513860-1 is not prime. Res64: 11F8767D63F05A6A Time : 0.0 sec. user=mdettweiler [2018-06-20 08:10:45] 825*2^1513860-1 is not prime. Res64: 59942B9B7D799F84 Time : 0.0 sec. user=mdettweiler [2018-06-20 08:10:46] 871*2^1513861-1 is not prime. Res64: FD5D1B011C83064C Time : 0.0 sec. user=mdettweiler [2018-06-20 08:26:23] 945*2^1513861-1 is not prime. Res64: DCA90ED3D1B5BFA5 Time : 0.0 sec. user=mdettweiler [2018-06-20 08:26:23] 961*2^1513861-1 is not prime. Res64: D0FA34970E757EF1 Time : 0.0 sec. user=mdettweiler [2018-06-20 08:26:23] 665*2^1513862-1 is not prime. Res64: 0A590BC3E31A8B84 Time : 0.0 sec. user=mdettweiler [2018-06-20 08:26:24] 675*2^1513862-1 is not prime. Res64: 40A83AD3D8A3C73A Time : 0.0 sec. user=mdettweiler [2018-06-20 08:26:24] 693*2^1513862-1 is not prime. Res64: 1893C59410CDEF51 Time : 0.0 sec. user=mdettweiler [2018-06-20 08:36:48] 741*2^1513862-1 is not prime. Res64: BAB27BAA96B13E43 Time : 0.0 sec. user=mdettweiler [2018-06-20 08:36:48] 755*2^1513862-1 is not prime. Res64: 7589C41DF1E81E28 Time : 0.0 sec. user=mdettweiler [2018-06-20 08:36:49] 761*2^1513862-1 is not prime. Res64: 964C83474CA26FD2 Time : 0.0 sec. user=mdettweiler [2018-06-20 08:36:49] 825*2^1513862-1 is not prime. Res64: 0A5C6F1F5B543631 Time : 0.0 sec. user=mdettweiler [2018-06-20 08:36:49] 935*2^1513862-1 is not prime. Res64: 3C54763FF4409CE8 Time : 0.0 sec. user=mdettweiler [2018-06-20 08:43:21] 703*2^1513863-1 is not prime. Res64: A91496183310E6B1 Time : 0.0 sec. user=mdettweiler [2018-06-20 08:43:21] 765*2^1513863-1 is not prime. Res64: D767324BE1FBBB13 Time : 0.0 sec. user=mdettweiler [2018-06-20 08:43:22] 829*2^1513863-1 is not prime. Res64: 0113DB6B4F4FAF31 Time : 0.0 sec. user=mdettweiler [2018-06-20 08:43:22] 871*2^1513863-1 is not prime. Res64: E77FA6409E4048B4 Time : 0.0 sec. user=mdettweiler [2018-06-20 08:43:22] 901*2^1513863-1 is not prime. Res64: AC6398B356B23CAF Time : 0.0 sec. user=mdettweiler [2018-06-20 09:00:54] 969*2^1513863-1 is not prime. Res64: 7CABB4BD0112C69B Time : 0.0 sec. user=mdettweiler [2018-06-20 09:00:56] 609*2^1513864-1 is not prime. Res64: BFAF5B8DA99727D3 Time : 0.0 sec. user=mdettweiler [2018-06-20 09:00:57] 657*2^1513864-1 is not prime. Res64: D33EE5B6418BEB17 Time : 0.0 sec. user=mdettweiler [2018-06-20 09:00:59] 741*2^1513865-1 is not prime. Res64: EE709115400FA7D8 Time : 0.0 sec. user=mdettweiler [2018-06-20 09:01:00] 787*2^1513865-1 is not prime. Res64: 4C1DAA95DBC8C728 Time : 0.0 sec. user=mdettweiler [2018-06-20 09:17:15] 925*2^1513865-1 is not prime. Res64: 6F55342CCA031C85 Time : 0.0 sec. user=mdettweiler [2018-06-20 09:17:15] 939*2^1513865-1 is not prime. Res64: 73744EB64DC8C90B Time : 0.0 sec. user=mdettweiler [2018-06-20 09:17:15] 957*2^1513865-1 is not prime. Res64: 36AD6D74ACC7787B Time : 0.0 sec. user=mdettweiler [2018-06-20 09:17:16] 683*2^1513866-1 is not prime. Res64: B02EE0AFD5ACB35A Time : 0.0 sec. user=mdettweiler [2018-06-20 09:17:16] 713*2^1513866-1 is not prime. Res64: 8AD6357111526DC2 Time : 0.0 sec. user=juhehe [2018-06-20 09:21:04] 815*2^1513866-1 is not prime. Res64: 424CA1C187BC737A Time : 0.0 sec. user=mdettweiler [2018-06-20 09:27:27] 873*2^1513866-1 is not prime. Res64: BC994F87A0876DC4 Time : 0.0 sec. user=mdettweiler [2018-06-20 09:27:28] 917*2^1513866-1 is not prime. Res64: 7FD53DFF30070471 Time : 0.0 sec. user=mdettweiler [2018-06-20 09:27:28] 921*2^1513866-1 is not prime. Res64: 63A639C54509BB60 Time : 0.0 sec. user=mdettweiler [2018-06-20 09:27:28] 603*2^1513867-1 is not prime. Res64: F9D42EC7C42AFAAB Time : 0.0 sec. user=mdettweiler [2018-06-20 09:27:29] 681*2^1513867-1 is not prime. Res64: 84C6159CAB5ECD55 Time : 0.0 sec. user=mdettweiler [2018-06-20 09:34:36] 691*2^1513867-1 is not prime. Res64: 634BD35BD7FCD367 Time : 0.0 sec. user=mdettweiler [2018-06-20 09:34:36] 805*2^1513867-1 is not prime. Res64: 8023BA162DCA634E Time : 0.0 sec. user=mdettweiler [2018-06-20 09:34:36] 873*2^1513867-1 is not prime. Res64: 52A56D226167D0A9 Time : 0.0 sec. user=mdettweiler [2018-06-20 09:34:37] 885*2^1513867-1 is not prime. Res64: 1C99DF23886F271A Time : 0.0 sec. user=mdettweiler [2018-06-20 09:34:37] 901*2^1513867-1 is not prime. Res64: 3AC1B0AB8757817B Time : 0.0 sec. user=mdettweiler [2018-06-20 09:56:20] 909*2^1513867-1 is not prime. Res64: 99CC79839FD571E0 Time : 0.0 sec. user=mdettweiler [2018-06-20 09:56:20] 913*2^1513867-1 is not prime. Res64: B55AF6BFFB784CEA Time : 0.0 sec. user=mdettweiler [2018-06-20 09:56:20] 945*2^1513867-1 is not prime. Res64: BAD355B446DF1DAF Time : 0.0 sec. user=mdettweiler [2018-06-20 09:56:21] 979*2^1513867-1 is not prime. Res64: 0F4BC14E06DB2441 Time : 0.0 sec. user=mdettweiler [2018-06-20 09:56:21] 699*2^1513868-1 is not prime. Res64: D8550DEA17DA0F7E Time : 0.0 sec. user=mdettweiler [2018-06-20 10:13:36] 885*2^1513868-1 is not prime. Res64: 38B6104413D1111F Time : 0.0 sec. user=mdettweiler [2018-06-20 10:13:36] 897*2^1513868-1 is not prime. Res64: 4D9BE644329DB9C2 Time : 0.0 sec. user=mdettweiler [2018-06-20 10:13:37] 915*2^1513868-1 is not prime. Res64: 2B025C3E8CA8531B Time : 0.0 sec. user=mdettweiler [2018-06-20 10:13:37] 927*2^1513868-1 is not prime. Res64: D502AACD67F412E8 Time : 0.0 sec. user=mdettweiler [2018-06-20 10:13:37] 625*2^1513869-1 is not prime. Res64: 2A339171BFCFEA50 Time : 0.0 sec. user=mdettweiler [2018-06-20 10:23:57] 721*2^1513869-1 is not prime. Res64: BF8D435F55686FED Time : 0.0 sec. user=mdettweiler [2018-06-20 10:23:57] 765*2^1513869-1 is not prime. Res64: EBF45680B3B325A5 Time : 0.0 sec. user=mdettweiler [2018-06-20 10:23:58] 769*2^1513869-1 is not prime. Res64: 1F135A359067920F Time : 0.0 sec. user=mdettweiler [2018-06-20 10:23:58] 891*2^1513869-1 is not prime. Res64: 1157374E483BB96C Time : 0.0 sec. user=mdettweiler [2018-06-20 10:23:58] 895*2^1513869-1 is not prime. Res64: DD5007DAE3D1F195 Time : 0.0 sec. user=mdettweiler [2018-06-20 10:31:55] 987*2^1513869-1 is not prime. Res64: 06A2E0F0ECC87EC5 Time : 0.0 sec. user=mdettweiler [2018-06-20 10:31:55] 717*2^1513870-1 is not prime. Res64: B9ED21E6CFEA053E Time : 0.0 sec. user=mdettweiler [2018-06-20 10:31:56] 723*2^1513870-1 is not prime. Res64: F84428AD962B15C1 Time : 0.0 sec. user=mdettweiler [2018-06-20 10:31:56] 765*2^1513870-1 is not prime. Res64: 7F91965F0C8BEF7D Time : 0.0 sec. user=mdettweiler [2018-06-20 10:31:56] 777*2^1513870-1 is not prime. Res64: 62886EB5A5D6178B Time : 0.0 sec. user=mdettweiler [2018-06-20 10:48:16] 845*2^1513870-1 is not prime. Res64: DAEF0615D97EE5C9 Time : 0.0 sec. user=mdettweiler [2018-06-20 10:48:17] 885*2^1513870-1 is not prime. Res64: FDCB475881EC1D73 Time : 0.0 sec. user=mdettweiler [2018-06-20 10:48:17] 957*2^1513870-1 is not prime. Res64: BB06DD1D6565A7F3 Time : 0.0 sec. user=mdettweiler [2018-06-20 10:48:17] 995*2^1513870-1 is not prime. Res64: E2E77BDBD0737FE2 Time : 0.0 sec. user=mdettweiler [2018-06-20 10:48:18] 645*2^1513871-1 is not prime. Res64: BE179B06DB2A31AC Time : 0.0 sec. user=mdettweiler [2018-06-20 11:04:44] 711*2^1513871-1 is not prime. Res64: 24D431C87C4ED8D5 Time : 0.0 sec. user=mdettweiler [2018-06-20 11:04:46] 813*2^1513871-1 is not prime. Res64: 10917EA524AB778C Time : 0.0 sec. user=mdettweiler [2018-06-20 11:04:47] 829*2^1513871-1 is not prime. Res64: 59E95B82A518DBCC Time : 0.0 sec. user=mdettweiler [2018-06-20 11:04:48] 955*2^1513871-1 is not prime. Res64: AC4B9606B067C001 Time : 0.0 sec. user=mdettweiler [2018-06-20 11:04:49] 737*2^1513872-1 is not prime. Res64: 9E3EF2CDA88AF43D Time : 0.0 sec. user=mdettweiler [2018-06-20 11:14:28] 753*2^1513872-1 is not prime. Res64: 727134E36AC3572C Time : 0.0 sec. user=mdettweiler [2018-06-20 11:14:28] 893*2^1513872-1 is not prime. Res64: 0947AAEC5E34AE9A Time : 0.0 sec. user=mdettweiler [2018-06-20 11:14:29] 947*2^1513872-1 is not prime. Res64: A5FF7C08474680CD Time : 0.0 sec. user=mdettweiler [2018-06-20 11:14:29] 607*2^1513873-1 is not prime. Res64: 07A5D5E505540F4D Time : 0.0 sec. user=mdettweiler [2018-06-20 11:14:29] 741*2^1513873-1 is not prime. Res64: 7AD2CA61E7C45464 Time : 0.0 sec. user=mdettweiler [2018-06-20 11:22:34] 765*2^1513873-1 is not prime. Res64: 720BC20224ABEEFA Time : 0.0 sec. user=mdettweiler [2018-06-20 11:22:34] 775*2^1513873-1 is not prime. Res64: 71EAB6757F139A63 Time : 0.0 sec. user=mdettweiler [2018-06-20 11:22:35] 937*2^1513873-1 is not prime. Res64: 8B2CA40D3B05B269 Time : 0.0 sec. user=mdettweiler [2018-06-20 11:22:35] 957*2^1513873-1 is not prime. Res64: 70530CDECC0E7152 Time : 0.0 sec. user=mdettweiler [2018-06-20 11:22:36] 605*2^1513874-1 is not prime. Res64: 70723C306B0EB380 Time : 0.0 sec. user=mdettweiler [2018-06-20 11:39:14] 641*2^1513874-1 is not prime. Res64: 8822B660CFF640CA Time : 0.0 sec. user=mdettweiler [2018-06-20 11:39:14] 701*2^1513874-1 is not prime. Res64: 5A80AFDC61C8E0E1 Time : 0.0 sec. user=mdettweiler [2018-06-20 11:39:15] 675*2^1513875-1 is not prime. Res64: D8FFB9AD3FDEF8CE Time : 0.0 sec. user=mdettweiler [2018-06-20 11:39:15] 699*2^1513875-1 is not prime. Res64: D6F75959A50C3943 Time : 0.0 sec. user=mdettweiler [2018-06-20 11:39:15] 711*2^1513875-1 is not prime. Res64: 3574C20851311EF7 Time : 0.0 sec. user=juhehe [2018-06-20 11:40:54] 765*2^1513875-1 is not prime. Res64: 16C0314918718128 Time : 0.0 sec. user=mdettweiler [2018-06-20 11:56:46] 805*2^1513875-1 is not prime. Res64: 700EA45B6C8A85FA Time : 0.0 sec. user=mdettweiler [2018-06-20 11:56:46] 895*2^1513875-1 is not prime. Res64: 8FC88672C30B14D6 Time : 0.0 sec. user=mdettweiler [2018-06-20 11:56:46] 979*2^1513875-1 is not prime. Res64: B08FC4FA5A1CC3C7 Time : 0.0 sec. user=mdettweiler [2018-06-20 11:56:47] 707*2^1513876-1 is not prime. Res64: 41AE460AB159D9A8 Time : 0.0 sec. user=mdettweiler [2018-06-20 11:56:47] 773*2^1513876-1 is not prime. Res64: A020A831CC91EEEF Time : 0.0 sec. user=mdettweiler [2018-06-20 12:05:31] 933*2^1513876-1 is not prime. Res64: 26E2578C0684C590 Time : 0.0 sec. user=mdettweiler [2018-06-20 12:05:32] 717*2^1513877-1 is not prime. Res64: 4EEFFE528746DC66 Time : 0.0 sec. user=mdettweiler [2018-06-20 12:05:34] 759*2^1513877-1 is not prime. Res64: 594684E5E4CEA28A Time : 0.0 sec. user=mdettweiler [2018-06-20 12:05:36] 777*2^1513877-1 is not prime. Res64: FD8551640C5E630B Time : 0.0 sec. user=mdettweiler [2018-06-20 12:05:38] 621*2^1513878-1 is not prime. Res64: 1C468013B2A01078 Time : 0.0 sec. user=mdettweiler [2018-06-20 12:14:32] 627*2^1513878-1 is not prime. Res64: 0A96D7335ABA31D8 Time : 0.0 sec. user=mdettweiler [2018-06-20 12:14:32] 641*2^1513878-1 is not prime. Res64: C1E7675362CEF5A4 Time : 0.0 sec. user=mdettweiler [2018-06-20 12:14:33] 755*2^1513878-1 is not prime. Res64: DFC8BB6F91E03219 Time : 0.0 sec. user=mdettweiler [2018-06-20 12:14:33] 761*2^1513878-1 is not prime. Res64: 1F2010B581F5A23B Time : 0.0 sec. user=mdettweiler [2018-06-20 12:14:34] 861*2^1513878-1 is not prime. Res64: 0957D6E693593823 Time : 0.0 sec. user=mdettweiler [2018-06-20 12:32:52] 927*2^1513878-1 is not prime. Res64: 67A4157CBFDCF89B Time : 0.0 sec. user=mdettweiler [2018-06-20 12:32:53] 663*2^1513879-1 is not prime. Res64: 4536004279B36417 Time : 0.0 sec. user=mdettweiler [2018-06-20 12:32:53] 735*2^1513879-1 is not prime. Res64: D5578BAC5E7C551E Time : 0.0 sec. user=mdettweiler [2018-06-20 12:32:54] 793*2^1513879-1 is not prime. Res64: 2D562784EE7BB1F3 Time : 0.0 sec. user=mdettweiler [2018-06-20 12:32:54] 829*2^1513879-1 is not prime. Res64: 6C84BDE205D0D8F2 Time : 0.0 sec. user=mdettweiler [2018-06-20 12:50:22] 883*2^1513879-1 is not prime. Res64: B30F2EC647C64245 Time : 0.0 sec. user=mdettweiler [2018-06-20 12:50:22] 609*2^1513880-1 is not prime. Res64: 65DCE8DEF60C8B7E Time : 0.0 sec. user=mdettweiler [2018-06-20 12:50:22] 635*2^1513880-1 is not prime. Res64: 1A86C622741BC1A4 Time : 0.0 sec. user=mdettweiler [2018-06-20 12:50:23] 665*2^1513880-1 is not prime. Res64: 1D4B6396FB7C9CE0 Time : 0.0 sec. user=mdettweiler [2018-06-20 12:50:23] 675*2^1513880-1 is not prime. Res64: FC880C1C7222FEC6 Time : 0.0 sec. user=mdettweiler [2018-06-20 13:00:41] 735*2^1513880-1 is not prime. Res64: A41960FFE342F436 Time : 0.0 sec. user=mdettweiler [2018-06-20 13:00:42] 785*2^1513880-1 is not prime. Res64: 3D86A5D4B4953BBE Time : 0.0 sec. user=mdettweiler [2018-06-20 13:00:43] 917*2^1513880-1 is not prime. Res64: F6D1AD9F3F4784B0 Time : 0.0 sec. user=mdettweiler [2018-06-20 13:00:44] 627*2^1513881-1 is not prime. Res64: B0EE6486B477B0A0 Time : 0.0 sec. user=mdettweiler [2018-06-20 13:00:45] 829*2^1513881-1 is not prime. Res64: 5ECDB2EAFE2A37FB Time : 0.0 sec. user=mdettweiler [2018-06-20 13:09:19] 901*2^1513881-1 is not prime. Res64: B7248E44409022BB Time : 0.0 sec. user=mdettweiler [2018-06-20 13:09:21] 997*2^1513881-1 is not prime. Res64: 817E70D417ECEBA0 Time : 0.0 sec. user=mdettweiler [2018-06-20 13:09:23] 645*2^1513882-1 is not prime. Res64: E94914F4C9A36310 Time : 0.0 sec. user=mdettweiler [2018-06-20 13:09:26] 675*2^1513882-1 is not prime. Res64: 1F6DDE9B31E87B29 Time : 0.0 sec. user=mdettweiler [2018-06-20 13:09:28] 723*2^1513882-1 is not prime. Res64: 031E7217648E9292 Time : 0.0 sec. user=juhehe [2018-06-20 13:13:57] 833*2^1513882-1 is not prime. Res64: 6A44FDAFDFF96778 Time : 0.0 sec. user=mdettweiler [2018-06-20 13:24:33] 621*2^1513883-1 is not prime. Res64: B984D2E7483B2445 Time : 0.0 sec. user=mdettweiler [2018-06-20 13:24:34] 673*2^1513883-1 is not prime. Res64: F8972DFF994FA45A Time : 0.0 sec. user=mdettweiler [2018-06-20 13:24:34] 699*2^1513883-1 is not prime. Res64: 3EC3A74C7FB68CBA Time : 0.0 sec. user=mdettweiler [2018-06-20 13:24:35] 745*2^1513883-1 is not prime. Res64: D4BCA7D7A1DA3BE9 Time : 0.0 sec. user=mdettweiler [2018-06-20 13:24:35] 781*2^1513883-1 is not prime. Res64: ADA69D442562F25D Time : 0.0 sec. user=mdettweiler [2018-06-20 13:40:49] 811*2^1513883-1 is not prime. Res64: 3ACF6C4BB7B39076 Time : 0.0 sec. user=mdettweiler [2018-06-20 13:40:49] 819*2^1513883-1 is not prime. Res64: 4C5925254F4D3F91 Time : 0.0 sec. user=mdettweiler [2018-06-20 13:40:50] 823*2^1513883-1 is not prime. Res64: 9B2659B71DF0CE41 Time : 0.0 sec. user=mdettweiler [2018-06-20 13:40:50] 895*2^1513883-1 is not prime. Res64: 8C6D635C2A9F233C Time : 0.0 sec. user=mdettweiler [2018-06-20 13:40:51] 921*2^1513883-1 is not prime. Res64: BD55B2F1B7768B8D Time : 0.0 sec. user=mdettweiler [2018-06-20 13:51:00] 973*2^1513883-1 is not prime. Res64: 881C394B2817DF83 Time : 0.0 sec. user=mdettweiler [2018-06-20 13:51:00] 773*2^1513884-1 is not prime. Res64: FFB39130B7B54548 Time : 0.0 sec. user=mdettweiler [2018-06-20 13:51:01] 905*2^1513884-1 is not prime. Res64: 54FCF7F17AFC5F17 Time : 0.0 sec. user=mdettweiler [2018-06-20 13:51:01] 923*2^1513884-1 is not prime. Res64: 11A3FEB99658D84C Time : 0.0 sec. user=mdettweiler [2018-06-20 13:51:01] 607*2^1513885-1 is not prime. Res64: 85C9F39BEDE2825C Time : 0.0 sec. user=mdettweiler [2018-06-20 14:01:16] 679*2^1513885-1 is not prime. Res64: 9FEC725F07D19693 Time : 0.0 sec. user=mdettweiler [2018-06-20 14:01:18] 741*2^1513885-1 is not prime. Res64: 2A760830646532A0 Time : 0.0 sec. user=mdettweiler [2018-06-20 14:01:20] 777*2^1513885-1 is not prime. Res64: B4B0CE5BFC06AF82 Time : 0.0 sec. user=mdettweiler [2018-06-20 14:01:22] 987*2^1513885-1 is not prime. Res64: B7CAA5EB36506541 Time : 0.0 sec. user=mdettweiler [2018-06-20 14:01:23] 997*2^1513885-1 is not prime. Res64: AFCC19A148A7FC98 Time : 0.0 sec. user=mdettweiler [2018-06-20 14:14:48] 717*2^1513886-1 is not prime. Res64: B9183E929587E6E8 Time : 0.0 sec. user=mdettweiler [2018-06-20 14:14:49] 785*2^1513886-1 is not prime. Res64: 443BAC6F221468D5 Time : 0.0 sec. user=mdettweiler [2018-06-20 14:14:49] 917*2^1513886-1 is not prime. Res64: 656B7258ED60A2FB Time : 0.0 sec. user=mdettweiler [2018-06-20 14:14:50] 963*2^1513886-1 is not prime. Res64: 4F3B4A60C3445589 Time : 0.0 sec. user=mdettweiler [2018-06-20 14:14:51] 651*2^1513887-1 is not prime. Res64: 66D21874FDFD7186 Time : 0.0 sec. user=mdettweiler [2018-06-20 14:31:07] 831*2^1513887-1 is not prime. Res64: 989BF4EE9D120A7A Time : 0.0 sec. user=mdettweiler [2018-06-20 14:31:07] 871*2^1513887-1 is not prime. Res64: A37A34D1E6736D36 Time : 0.0 sec. user=mdettweiler [2018-06-20 14:31:07] 945*2^1513887-1 is not prime. Res64: 0E01926EBFDB4343 Time : 0.0 sec. user=mdettweiler [2018-06-20 14:31:08] 951*2^1513887-1 is not prime. Res64: 6F2950C4D4027DA7 Time : 0.0 sec. user=mdettweiler [2018-06-20 14:31:08] 645*2^1513888-1 is not prime. Res64: 526E53ABB42E88F7 Time : 0.0 sec. user=mdettweiler [2018-06-20 14:40:51] 657*2^1513888-1 is not prime. Res64: 51C1F61A6DA44E86 Time : 0.0 sec. user=mdettweiler [2018-06-20 14:40:51] 665*2^1513888-1 is not prime. Res64: A30D61FDE7948C86 Time : 0.0 sec. user=mdettweiler [2018-06-20 14:40:51] 689*2^1513888-1 is not prime. Res64: 2EC4067F5D150DE7 Time : 0.0 sec. user=mdettweiler [2018-06-20 14:40:52] 803*2^1513888-1 is not prime. Res64: C4681E79E5903BCF Time : 0.0 sec. user=mdettweiler [2018-06-20 14:40:52] 863*2^1513888-1 is not prime. Res64: 26180B4961F73088 Time : 0.0 sec. user=mdettweiler [2018-06-20 14:51:31] 999*2^1513888-1 is not prime. Res64: 7A3BC8FA2DEBFFDB Time : 0.0 sec. user=mdettweiler [2018-06-20 14:51:32] 631*2^1513889-1 is not prime. Res64: D686D35130314809 Time : 0.0 sec. user=mdettweiler [2018-06-20 14:51:32] 795*2^1513889-1 is not prime. Res64: 7AD0B02382E6FB08 Time : 0.0 sec. user=mdettweiler [2018-06-20 14:51:33] 799*2^1513889-1 is not prime. Res64: 43F7E9AA011DBCE2 Time : 0.0 sec. user=mdettweiler [2018-06-20 14:51:33] 967*2^1513889-1 is not prime. Res64: C7C8913733FECFDD Time : 0.0 sec. user=mdettweiler [2018-06-20 15:05:14] 627*2^1513890-1 is not prime. Res64: F53FA294A1968398 Time : 0.0 sec. user=mdettweiler [2018-06-20 15:05:17] 681*2^1513890-1 is not prime. Res64: 879958CB6CCBD47C Time : 0.0 sec. user=mdettweiler [2018-06-20 15:05:19] 725*2^1513890-1 is not prime. Res64: 5F5413B1F17A775F Time : 0.0 sec. user=mdettweiler [2018-06-20 15:05:22] 747*2^1513890-1 is not prime. Res64: F4CEB6190BB923A2 Time : 0.0 sec. user=mdettweiler [2018-06-20 15:05:24] 767*2^1513890-1 is not prime. Res64: C21EBEC7332CE90D Time : 0.0 sec. user=mdettweiler [2018-06-20 15:21:16] 791*2^1513890-1 is not prime. Res64: C9B66CB65AC6C16E Time : 0.0 sec. user=mdettweiler [2018-06-20 15:21:17] 873*2^1513890-1 is not prime. Res64: E9ECD1B8F584EC0B Time : 0.0 sec. user=mdettweiler [2018-06-20 15:21:19] 921*2^1513890-1 is not prime. Res64: D44F10F99B54CD62 Time : 0.0 sec. user=mdettweiler [2018-06-20 15:21:20] 649*2^1513891-1 is not prime. Res64: C1D1769E0097294D Time : 0.0 sec. user=mdettweiler [2018-06-20 15:21:21] 733*2^1513891-1 is not prime. Res64: DE5E903388508312 Time : 0.0 sec. user=juhehe [2018-06-20 15:29:42] 665*2^1513892-1 is not prime. Res64: D865304A2E699D2F Time : 0.0 sec. user=mdettweiler [2018-06-20 15:30:30] 849*2^1513891-1 is not prime. Res64: 92A6571CA8E2C0F0 Time : 0.0 sec. user=mdettweiler [2018-06-20 15:30:31] 885*2^1513891-1 is not prime. Res64: CC5F171CDBDB9085 Time : 0.0 sec. user=mdettweiler [2018-06-20 15:30:31] 975*2^1513891-1 is not prime. Res64: AE34F061CA5C2725 Time : 0.0 sec. user=mdettweiler [2018-06-20 15:30:32] 617*2^1513892-1 is not prime. Res64: BAF8FFBB315EE87E Time : 0.0 sec. user=mdettweiler [2018-06-20 15:30:32] 633*2^1513892-1 is not prime. Res64: C1C625AE50D87712 Time : 0.0 sec. user=mdettweiler [2018-06-20 15:42:08] 677*2^1513892-1 is not prime. Res64: ADDDE0E7D5BA832A Time : 0.0 sec. user=mdettweiler [2018-06-20 15:42:08] 873*2^1513892-1 is not prime. Res64: 4972A561EA464321 Time : 0.0 sec. user=mdettweiler [2018-06-20 15:42:09] 903*2^1513892-1 is not prime. Res64: C69181F90C229487 Time : 0.0 sec. user=mdettweiler [2018-06-20 15:42:09] 621*2^1513893-1 is not prime. Res64: 503642512B4A207C Time : 0.0 sec. user=mdettweiler [2018-06-20 15:42:10] 679*2^1513893-1 is not prime. Res64: 9D2911B1F8C1E7B8 Time : 0.0 sec. user=mdettweiler [2018-06-20 16:03:39] 789*2^1513893-1 is not prime. Res64: E1B42D1501CEE0B3 Time : 0.0 sec. user=mdettweiler [2018-06-20 16:03:41] 849*2^1513893-1 is not prime. Res64: 61A1EDFE90DED0A7 Time : 0.0 sec. user=mdettweiler [2018-06-20 16:03:43] 921*2^1513893-1 is not prime. Res64: 6B7474ABB9F0922C Time : 0.0 sec. user=mdettweiler [2018-06-20 16:03:45] 621*2^1513894-1 is not prime. Res64: B203ACD8AB54A587 Time : 0.0 sec. user=mdettweiler [2018-06-20 16:03:46] 681*2^1513894-1 is not prime. Res64: 60DE76A832572326 Time : 0.0 sec. user=mdettweiler [2018-06-20 16:15:21] 669*2^1513895-1 is not prime. Res64: B7CAFAD19B80B258 Time : 0.0 sec. user=mdettweiler [2018-06-20 16:15:21] 675*2^1513895-1 is not prime. Res64: 4A11CCA8F967D0C1 Time : 0.0 sec. user=mdettweiler [2018-06-20 16:15:22] 913*2^1513895-1 is not prime. Res64: 3DC2D66BE71242BA Time : 0.0 sec. user=mdettweiler [2018-06-20 16:15:22] 973*2^1513895-1 is not prime. Res64: 351B056EB6401FA9 Time : 0.0 sec. user=mdettweiler [2018-06-20 16:15:23] 979*2^1513895-1 is not prime. Res64: 26BDFDEF1FB39D30 Time : 0.0 sec. user=mdettweiler [2018-06-20 16:24:35] 705*2^1513896-1 is not prime. Res64: 27777BAD6B95E3FC Time : 0.0 sec. user=mdettweiler [2018-06-20 16:24:35] 737*2^1513896-1 is not prime. Res64: 11B7B241AD211E40 Time : 0.0 sec. user=mdettweiler [2018-06-20 16:24:36] 765*2^1513896-1 is not prime. Res64: 32210730EF96D1B0 Time : 0.0 sec. user=mdettweiler [2018-06-20 16:24:36] 825*2^1513896-1 is not prime. Res64: AF25430AD7034E5C Time : 0.0 sec. user=mdettweiler [2018-06-20 16:24:37] 887*2^1513896-1 is not prime. Res64: 4FDDEAC8B9410C11 Time : 0.0 sec. user=mdettweiler [2018-06-20 16:35:26] 903*2^1513896-1 is not prime. Res64: 5B62274F891D1937 Time : 0.0 sec. user=mdettweiler [2018-06-20 16:35:27] 615*2^1513897-1 is not prime. Res64: 1F10B9F1676C56D4 Time : 0.0 sec. user=mdettweiler [2018-06-20 16:35:27] 625*2^1513897-1 is not prime. Res64: 3CDE5AAE74604F4E Time : 0.0 sec. user=mdettweiler [2018-06-20 16:35:27] 667*2^1513897-1 is not prime. Res64: DAD7F265C809BE00 Time : 0.0 sec. user=mdettweiler [2018-06-20 16:35:28] 675*2^1513897-1 is not prime. Res64: E7FAC443B949E885 Time : 0.0 sec. user=mdettweiler [2018-06-20 16:54:59] 741*2^1513897-1 is not prime. Res64: 429B750C18845321 Time : 0.0 sec. user=mdettweiler [2018-06-20 16:55:00] 777*2^1513897-1 is not prime. Res64: 52388734C4E0D47D Time : 0.0 sec. user=mdettweiler [2018-06-20 16:55:00] 817*2^1513897-1 is not prime. Res64: 88B2E7D156EB01B5 Time : 0.0 sec. user=mdettweiler [2018-06-20 16:55:01] 931*2^1513897-1 is not prime. Res64: 8524A3028DDC0C19 Time : 0.0 sec. user=mdettweiler [2018-06-20 16:55:01] 955*2^1513897-1 is not prime. Res64: 7C51BAF1DA263CA8 Time : 0.0 sec. user=mdettweiler [2018-06-20 17:05:41] 979*2^1513897-1 is not prime. Res64: 18FA1E57A96B62E4 Time : 0.0 sec. user=mdettweiler [2018-06-20 17:05:43] 635*2^1513898-1 is not prime. Res64: 6790138B24D1E861 Time : 0.0 sec. user=mdettweiler [2018-06-20 17:05:44] 791*2^1513898-1 is not prime. Res64: AC8F639DADFF7C07 Time : 0.0 sec. user=mdettweiler [2018-06-20 17:05:45] 837*2^1513898-1 is not prime. Res64: 5DFBBBDB374C86C3 Time : 0.0 sec. user=mdettweiler [2018-06-20 17:05:47] 679*2^1513899-1 is not prime. Res64: 0D50946C2EE595FA Time : 0.0 sec. user=mdettweiler [2018-06-20 17:14:56] 769*2^1513899-1 is not prime. Res64: B3252C8E65DF77E5 Time : 0.0 sec. user=mdettweiler [2018-06-20 17:14:56] 795*2^1513899-1 is not prime. Res64: 7FB8FE331E928A00 Time : 0.0 sec. user=mdettweiler [2018-06-20 17:14:57] 829*2^1513899-1 is not prime. Res64: B6F5F5B098800BC5 Time : 0.0 sec. user=mdettweiler [2018-06-20 17:14:57] 975*2^1513899-1 is not prime. Res64: BC0F20CE6663B093 Time : 0.0 sec. user=mdettweiler [2018-06-20 17:14:58] 629*2^1513900-1 is not prime. Res64: BED42ABA055D2103 Time : 0.0 sec. user=mdettweiler [2018-06-20 17:25:49] 735*2^1513900-1 is not prime. Res64: 145699D683707C35 Time : 0.0 sec. user=mdettweiler [2018-06-20 17:25:50] 783*2^1513900-1 is not prime. Res64: E20C19BE9E3D3E8E Time : 0.0 sec. user=mdettweiler [2018-06-20 17:25:50] 631*2^1513901-1 is not prime. Res64: FA474CD46396F495 Time : 0.0 sec. user=mdettweiler [2018-06-20 17:25:50] 727*2^1513901-1 is not prime. Res64: 068536F6C8D582AF Time : 0.0 sec. user=mdettweiler [2018-06-20 17:25:51] 745*2^1513901-1 is not prime. Res64: 3818525211542D61 Time : 0.0 sec. user=mdettweiler [2018-06-20 17:45:36] 987*2^1513901-1 is not prime. Res64: B989D00710AB5CB4 Time : 0.0 sec. user=mdettweiler [2018-06-20 17:45:36] 677*2^1513902-1 is not prime. Res64: C03A655C8DEF3A9B Time : 0.0 sec. user=mdettweiler [2018-06-20 17:45:36] 681*2^1513902-1 is not prime. Res64: 30C8AE099391571E Time : 0.0 sec. user=mdettweiler [2018-06-20 17:45:37] 797*2^1513902-1 is not prime. Res64: EBC55FEDFAC9DC58 Time : 0.0 sec. user=mdettweiler [2018-06-20 17:45:37] 807*2^1513902-1 is not prime. Res64: A389DBC96037ACA7 Time : 0.0 sec. user=mdettweiler [2018-06-20 17:56:07] 863*2^1513902-1 is not prime. Res64: CF96F84A7B5C7002 Time : 0.0 sec. user=mdettweiler [2018-06-20 17:56:08] 885*2^1513902-1 is not prime. Res64: A0BCF1DAF20B8513 Time : 0.0 sec. user=mdettweiler [2018-06-20 17:56:08] 917*2^1513902-1 is not prime. Res64: 2390B01DC26053F4 Time : 0.0 sec. user=mdettweiler [2018-06-20 17:56:08] 639*2^1513903-1 is not prime. Res64: E97B09927BFEFCE3 Time : 0.0 sec. user=mdettweiler [2018-06-20 17:56:09] 649*2^1513903-1 is not prime. Res64: 4E6D807B9FDA1178 Time : 0.0 sec. user=juhehe [2018-06-20 17:57:18] 635*2^1513904-1 is not prime. Res64: 42D3A478EBD269F0 Time : 0.0 sec. user=mdettweiler [2018-06-20 18:05:42] 679*2^1513903-1 is not prime. Res64: 884E59CA062BF081 Time : 0.0 sec. user=mdettweiler [2018-06-20 18:05:45] 895*2^1513903-1 is not prime. Res64: 6FFFDF8E2ADEBB29 Time : 0.0 sec. user=mdettweiler [2018-06-20 18:05:46] 933*2^1513903-1 is not prime. Res64: 5A1D54DA962FFE46 Time : 0.0 sec. user=mdettweiler [2018-06-20 18:05:47] 945*2^1513903-1 is not prime. Res64: CBF2A9B184D37054 Time : 0.0 sec. user=mdettweiler [2018-06-20 18:05:49] 961*2^1513903-1 is not prime. Res64: E17CDCD092D93074 Time : 0.0 sec. user=mdettweiler [2018-06-20 18:15:29] 743*2^1513904-1 is not prime. Res64: 929E9FCF564DB419 Time : 0.0 sec. user=mdettweiler [2018-06-20 18:15:30] 825*2^1513904-1 is not prime. Res64: F4921831CB6A27EF Time : 0.0 sec. user=mdettweiler [2018-06-20 18:15:30] 873*2^1513904-1 is not prime. Res64: F27DB5A9EE401D65 Time : 0.0 sec. user=mdettweiler [2018-06-20 18:15:30] 625*2^1513905-1 is not prime. Res64: 890433FE8A303846 Time : 0.0 sec. user=mdettweiler [2018-06-20 18:15:31] 657*2^1513905-1 is not prime. Res64: DCA6423F3E43412B Time : 0.0 sec. user=mdettweiler [2018-06-20 18:35:58] 741*2^1513905-1 is not prime. Res64: 4A2085A88B539F0B Time : 0.0 sec. user=mdettweiler [2018-06-20 18:35:58] 837*2^1513905-1 is not prime. Res64: 35B66B9B082F3917 Time : 0.0 sec. user=mdettweiler [2018-06-20 18:35:58] 849*2^1513905-1 is not prime. Res64: 7C17DB391385D92F Time : 0.0 sec. user=mdettweiler [2018-06-20 18:35:59] 915*2^1513905-1 is not prime. Res64: EDED2B6B7483150C Time : 0.0 sec. user=mdettweiler [2018-06-20 18:35:59] 949*2^1513905-1 is not prime. Res64: C76D0CFAC078D8DB Time : 0.0 sec. user=mdettweiler [2018-06-20 18:46:03] 955*2^1513905-1 is not prime. Res64: BE12AF605D94ED59 Time : 0.0 sec. user=mdettweiler [2018-06-20 18:46:03] 647*2^1513906-1 is not prime. Res64: B203C967F8C5ED4A Time : 0.0 sec. user=mdettweiler [2018-06-20 18:46:04] 657*2^1513906-1 is not prime. Res64: 088A87A17BF3A1AB Time : 0.0 sec. user=mdettweiler [2018-06-20 18:46:04] 713*2^1513906-1 is not prime. Res64: 531166A4EB0B51F0 Time : 0.0 sec. user=mdettweiler [2018-06-20 18:46:04] 801*2^1513906-1 is not prime. Res64: 2382E27422748EB8 Time : 0.0 sec. user=mdettweiler [2018-06-20 18:56:15] 857*2^1513906-1 is not prime. Res64: 859D2C0C2C4A2956 Time : 0.0 sec. user=mdettweiler [2018-06-20 18:56:16] 867*2^1513906-1 is not prime. Res64: 4E6BADFF6343F8B1 Time : 0.0 sec. user=mdettweiler [2018-06-20 18:56:16] 911*2^1513906-1 is not prime. Res64: D10EB1967BC36F9E Time : 0.0 sec. user=mdettweiler [2018-06-20 18:56:17] 603*2^1513907-1 is not prime. Res64: 4D6DF9259CD6775E Time : 0.0 sec. user=mdettweiler [2018-06-20 18:56:17] 693*2^1513907-1 is not prime. Res64: EF3D8EE038A36F6C Time : 0.0 sec. user=mdettweiler [2018-06-20 19:05:58] 889*2^1513907-1 is not prime. Res64: 8BF9FDE32486B099 Time : 0.0 sec. user=mdettweiler [2018-06-20 19:06:00] 979*2^1513907-1 is not prime. Res64: 7665615457059521 Time : 0.0 sec. user=mdettweiler [2018-06-20 19:06:01] 985*2^1513907-1 is not prime. Res64: E3A296BDD9316179 Time : 0.0 sec. user=mdettweiler [2018-06-20 19:06:02] 695*2^1513908-1 is not prime. Res64: 728FDA76A7CBABBB Time : 0.0 sec. user=mdettweiler [2018-06-20 19:06:02] 699*2^1513908-1 is not prime. Res64: 3049C8693CEFEF1A Time : 0.0 sec. user=mdettweiler [2018-06-20 19:26:20] 725*2^1513908-1 is not prime. Res64: 706D8A07F6E81D43 Time : 0.0 sec. user=mdettweiler [2018-06-20 19:26:20] 767*2^1513908-1 is not prime. Res64: 771C6BABEFCBD767 Time : 0.0 sec. user=mdettweiler [2018-06-20 19:26:20] 845*2^1513908-1 is not prime. Res64: 11D3B6BFADA52D52 Time : 0.0 sec. user=mdettweiler [2018-06-20 19:26:21] 867*2^1513908-1 is not prime. Res64: 406665AADCECC7DE Time : 0.0 sec. user=mdettweiler [2018-06-20 19:26:21] 667*2^1513909-1 is not prime. Res64: 9D8032799D96A8B4 Time : 0.0 sec. user=juhehe [2018-06-20 19:30:04] 681*2^1513909-1 is not prime. Res64: F44FC91F29BFB611 Time : 0.0 sec. user=mdettweiler [2018-06-20 19:36:07] 925*2^1513909-1 is not prime. Res64: 8F5F3CB649117592 Time : 0.0 sec. user=mdettweiler [2018-06-20 19:36:08] 987*2^1513909-1 is not prime. Res64: F6EE6C656FD45E25 Time : 0.0 sec. user=mdettweiler [2018-06-20 19:36:08] 635*2^1513910-1 is not prime. Res64: 8C0AA0A64705EB1B Time : 0.0 sec. user=mdettweiler [2018-06-20 19:36:09] 707*2^1513910-1 is not prime. Res64: 6D6052C2BC183303 Time : 0.0 sec. user=mdettweiler [2018-06-20 19:36:09] 773*2^1513910-1 is not prime. Res64: E06C4EB8530F432D Time : 0.0 sec. user=mdettweiler [2018-06-20 19:46:11] 797*2^1513910-1 is not prime. Res64: 0D1EC61777770312 Time : 0.0 sec. user=mdettweiler [2018-06-20 19:46:11] 813*2^1513910-1 is not prime. Res64: 72B2DE25EBADCB1F Time : 0.0 sec. user=mdettweiler [2018-06-20 19:46:12] 897*2^1513910-1 is not prime. Res64: F0B9AEF90A5FBE66 Time : 0.0 sec. user=mdettweiler [2018-06-20 19:46:12] 619*2^1513911-1 is not prime. Res64: 6347AACD442BFC48 Time : 0.0 sec. user=mdettweiler [2018-06-20 19:46:12] 651*2^1513911-1 is not prime. Res64: 4A45D08208C3C224 Time : 0.0 sec. user=mdettweiler [2018-06-20 19:57:13] 735*2^1513911-1 is not prime. Res64: BE2A6B2AECD2A531 Time : 0.0 sec. user=mdettweiler [2018-06-20 19:57:13] 781*2^1513911-1 is not prime. Res64: 82922CB7BEFF1B7A Time : 0.0 sec. user=mdettweiler [2018-06-20 19:57:13] 949*2^1513911-1 is not prime. Res64: 5365DD8390421EA5 Time : 0.0 sec. user=mdettweiler [2018-06-20 19:57:14] 951*2^1513911-1 is not prime. Res64: 9305CC1B341CF31A Time : 0.0 sec. user=mdettweiler [2018-06-20 19:57:14] 999*2^1513911-1 is not prime. Res64: AA3E51A0755A4516 Time : 0.0 sec. user=mdettweiler [2018-06-20 20:16:38] 605*2^1513912-1 is not prime. Res64: BF176A313588724E Time : 0.0 sec. user=mdettweiler [2018-06-20 20:16:39] 819*2^1513912-1 is not prime. Res64: E7396DD2CBBF69DB Time : 0.0 sec. user=mdettweiler [2018-06-20 20:16:39] 669*2^1513913-1 is not prime. Res64: AC8A75CCCEAE4F0B Time : 0.0 sec. user=mdettweiler [2018-06-20 20:16:40] 715*2^1513913-1 is not prime. Res64: 5DBEA5DE464B385D Time : 0.0 sec. user=mdettweiler [2018-06-20 20:16:40] 735*2^1513913-1 is not prime. Res64: 05A58F7616F4DD7E Time : 0.0 sec. user=mdettweiler [2018-06-20 20:26:41] 745*2^1513913-1 is not prime. Res64: 9C8F758DB5CA9F2D Time : 0.0 sec. user=mdettweiler [2018-06-20 20:26:42] 747*2^1513913-1 is not prime. Res64: C42530450A0DEF2F Time : 0.0 sec. user=mdettweiler [2018-06-20 20:26:43] 805*2^1513913-1 is not prime. Res64: 9465C9F3AC73BDCF Time : 0.0 sec. user=mdettweiler [2018-06-20 20:26:43] 861*2^1513913-1 is not prime. Res64: 421B93C00E0B2DA1 Time : 0.0 sec. user=mdettweiler [2018-06-20 20:26:44] 981*2^1513913-1 is not prime. Res64: FFCAF6AA85EA9444 Time : 0.0 sec. user=mdettweiler [2018-06-20 20:36:31] 621*2^1513914-1 is not prime. Res64: 607B321ACB77E976 Time : 0.0 sec. user=mdettweiler [2018-06-20 20:36:31] 671*2^1513914-1 is not prime. Res64: C6790770E40BCF64 Time : 0.0 sec. user=mdettweiler [2018-06-20 20:36:31] 707*2^1513914-1 is not prime. Res64: A739C8BDD8C599E8 Time : 0.0 sec. user=mdettweiler [2018-06-20 20:36:32] 815*2^1513914-1 is not prime. Res64: 5713F7256F78E4F1 Time : 0.0 sec. user=mdettweiler [2018-06-20 20:36:32] 951*2^1513914-1 is not prime. Res64: 9E1829C3E780654D Time : 0.0 sec. user=mdettweiler [2018-06-20 20:47:41] 633*2^1513915-1 is not prime. Res64: 21472F53B2332803 Time : 0.0 sec. user=mdettweiler [2018-06-20 20:47:42] 679*2^1513915-1 is not prime. Res64: 03B86290CC444533 Time : 0.0 sec. user=mdettweiler [2018-06-20 20:47:42] 735*2^1513915-1 is not prime. Res64: F87278271B7AD0DA Time : 0.0 sec. user=mdettweiler [2018-06-20 20:47:42] 841*2^1513915-1 is not prime. Res64: 37C1ED865DED7F45 Time : 0.0 sec. user=mdettweiler [2018-06-20 20:47:43] 861*2^1513915-1 is not prime. Res64: 663BA655FCA9AC6E Time : 0.0 sec. user=mdettweiler [2018-06-20 21:07:04] 617*2^1513916-1 is not prime. Res64: EA2A314B30E9BF21 Time : 0.0 sec. user=mdettweiler [2018-06-20 21:07:06] 759*2^1513916-1 is not prime. Res64: D2FFF0FD58F42A9E Time : 0.0 sec. user=mdettweiler [2018-06-20 21:07:07] 825*2^1513916-1 is not prime. Res64: 091EFB4E086956BC Time : 0.0 sec. user=mdettweiler [2018-06-20 21:07:08] 727*2^1513917-1 is not prime. Res64: BA4AB8E4E0C80144 Time : 0.0 sec. user=mdettweiler [2018-06-20 21:07:09] 735*2^1513917-1 is not prime. Res64: BC3A80E38BC7997B Time : 0.0 sec. user=mdettweiler [2018-06-20 21:17:03] 831*2^1513917-1 is not prime. Res64: E162170585677D0C Time : 0.0 sec. user=mdettweiler [2018-06-20 21:17:03] 837*2^1513917-1 is not prime. Res64: 71DA2B79FB048313 Time : 0.0 sec. user=mdettweiler [2018-06-20 21:17:04] 871*2^1513917-1 is not prime. Res64: 728A9B84CE7F536C Time : 0.0 sec. user=mdettweiler [2018-06-20 21:17:04] 889*2^1513917-1 is not prime. Res64: 690C6FD6F4191F27 Time : 0.0 sec. user=mdettweiler [2018-06-20 21:17:04] 635*2^1513918-1 is not prime. Res64: AA2C70528652946D Time : 0.0 sec. user=mdettweiler [2018-06-20 21:27:11] 773*2^1513918-1 is not prime. Res64: 35D1B637873B653B Time : 0.0 sec. user=mdettweiler [2018-06-20 21:27:11] 815*2^1513918-1 is not prime. Res64: 31965DAAE74C47CD Time : 0.0 sec. user=mdettweiler [2018-06-20 21:27:12] 833*2^1513918-1 is not prime. Res64: 4C809C5C647E797F Time : 0.0 sec. user=mdettweiler [2018-06-20 21:27:12] 885*2^1513918-1 is not prime. Res64: A8D59C96C4A27347 Time : 0.0 sec. user=mdettweiler [2018-06-20 21:27:13] 711*2^1513919-1 is not prime. Res64: 2D7D209E7A040C92 Time : 0.0 sec. user=mdettweiler [2018-06-20 21:38:23] 843*2^1513919-1 is not prime. Res64: C2446D441DC51BD1 Time : 0.0 sec. user=mdettweiler [2018-06-20 21:38:23] 859*2^1513919-1 is not prime. Res64: 33C7E783853C0981 Time : 0.0 sec. user=mdettweiler [2018-06-20 21:38:24] 943*2^1513919-1 is not prime. Res64: 0E481892C95FA84A Time : 0.0 sec. user=mdettweiler [2018-06-20 21:38:24] 949*2^1513919-1 is not prime. Res64: 3C81114E092AFBB9 Time : 0.0 sec. user=mdettweiler [2018-06-20 21:38:25] 993*2^1513919-1 is not prime. Res64: A3EC106E6A3C8BC7 Time : 0.0 sec. user=juhehe [2018-06-20 21:51:12] 797*2^1513920-1 is not prime. Res64: 39B86A1B0EB6EBA2 Time : 0.0 sec. user=mdettweiler [2018-06-20 21:57:01] 825*2^1513920-1 is not prime. Res64: 6215841DDE2E3FCA Time : 0.0 sec. user=mdettweiler [2018-06-20 21:57:01] 649*2^1513921-1 is not prime. Res64: 5E090C51E15DA686 Time : 0.0 sec. user=mdettweiler [2018-06-20 21:57:02] 855*2^1513921-1 is not prime. Res64: B4BF6321C26F9C3B Time : 0.0 sec. user=mdettweiler [2018-06-20 21:57:02] 615*2^1513922-1 is not prime. Res64: 47B44A1A9F47482B Time : 0.0 sec. user=mdettweiler [2018-06-20 21:57:02] 683*2^1513922-1 is not prime. Res64: D8E44ADEE08986FE Time : 0.0 sec. user=mdettweiler [2018-06-20 22:07:45] 731*2^1513922-1 is not prime. Res64: DBE8BC630DBF8E85 Time : 0.0 sec. user=mdettweiler [2018-06-20 22:07:46] 741*2^1513922-1 is not prime. Res64: 74CEFEFB5E3EE782 Time : 0.0 sec. user=mdettweiler [2018-06-20 22:07:47] 887*2^1513922-1 is not prime. Res64: CAE1E6B02F0E6338 Time : 0.0 sec. user=mdettweiler [2018-06-20 22:07:47] 903*2^1513922-1 is not prime. Res64: C94D8EA228A8893F Time : 0.0 sec. user=mdettweiler [2018-06-20 22:07:48] 699*2^1513923-1 is not prime. Res64: 1A517105E32E8809 Time : 0.0 sec. user=mdettweiler [2018-06-20 22:17:47] 753*2^1513923-1 is not prime. Res64: EEA7585F51C8DAB9 Time : 0.0 sec. user=mdettweiler [2018-06-20 22:17:47] 805*2^1513923-1 is not prime. Res64: 17E45B3C2BF9FF54 Time : 0.0 sec. user=mdettweiler [2018-06-20 22:17:48] 853*2^1513923-1 is not prime. Res64: D18EDEC6FDDCF9C3 Time : 0.0 sec. user=mdettweiler [2018-06-20 22:17:48] 885*2^1513923-1 is not prime. Res64: D36E8C061AB8A864 Time : 0.0 sec. user=mdettweiler [2018-06-20 22:17:48] 919*2^1513923-1 is not prime. Res64: D1A8C5847BD63C1B Time : 0.0 sec. user=mdettweiler [2018-06-20 22:28:36] 943*2^1513923-1 is not prime. Res64: 2836AB3673B8F6F9 Time : 0.0 sec. user=mdettweiler [2018-06-20 22:28:36] 963*2^1513923-1 is not prime. Res64: EBEFA23B0B2CF351 Time : 0.0 sec. user=mdettweiler [2018-06-20 22:28:37] 969*2^1513923-1 is not prime. Res64: BD8F748364288CC6 Time : 0.0 sec. user=mdettweiler [2018-06-20 22:28:37] 623*2^1513924-1 is not prime. Res64: D5FAE3BAE8BBA8EA Time : 0.0 sec. user=mdettweiler [2018-06-20 22:28:38] 677*2^1513924-1 is not prime. Res64: 72D9524F51FB3606 Time : 0.0 sec. user=mdettweiler [2018-06-20 22:47:21] 855*2^1513924-1 is not prime. Res64: 279131D3B0639439 Time : 0.0 sec. user=mdettweiler [2018-06-20 22:47:21] 899*2^1513924-1 is not prime. Res64: BBCC551F32B872DE Time : 0.0 sec. user=mdettweiler [2018-06-20 22:47:21] 975*2^1513924-1 is not prime. Res64: DCDC8C04FD5DCFA9 Time : 0.0 sec. user=mdettweiler [2018-06-20 22:47:22] 619*2^1513925-1 is not prime. Res64: 674FC6B0E49A464A Time : 0.0 sec. user=mdettweiler [2018-06-20 22:47:22] 645*2^1513925-1 is not prime. Res64: DA8D1710FF9B13D1 Time : 0.0 sec. user=mdettweiler [2018-06-20 23:00:35] 759*2^1513925-1 is not prime. Res64: E9D83DF42AC788E2 Time : 0.0 sec. user=mdettweiler [2018-06-20 23:00:36] 777*2^1513925-1 is not prime. Res64: A73D29A8BA2E84C8 Time : 0.0 sec. user=mdettweiler [2018-06-20 23:00:38] 799*2^1513925-1 is not prime. Res64: 10A84798FA32EEA8 Time : 0.0 sec. user=mdettweiler [2018-06-20 23:00:38] 801*2^1513925-1 is not prime. Res64: 8874CCDADEE14CA5 Time : 0.0 sec. user=mdettweiler [2018-06-20 23:00:40] 811*2^1513925-1 is not prime. Res64: C823DF6F4500906A Time : 0.0 sec. user=mdettweiler [2018-06-20 23:11:23] 831*2^1513925-1 is not prime. Res64: E9CDF5EE77AE3EDE Time : 0.0 sec. user=mdettweiler [2018-06-20 23:11:25] 871*2^1513925-1 is not prime. Res64: 3340A76032BD08BE Time : 0.0 sec. user=mdettweiler [2018-06-20 23:11:26] 707*2^1513926-1 is not prime. Res64: 40C291DB2E47A9B2 Time : 0.0 sec. user=mdettweiler [2018-06-20 23:11:27] 711*2^1513926-1 is not prime. Res64: B9B598231B1A0A7D Time : 0.0 sec. user=mdettweiler [2018-06-20 23:11:28] 747*2^1513926-1 is not prime. Res64: 7FCDFD5F4B4C9FA9 Time : 0.0 sec. user=mdettweiler [2018-06-20 23:21:40] 801*2^1513926-1 is not prime. Res64: 8D608264BF7DFA18 Time : 0.0 sec. user=mdettweiler [2018-06-20 23:21:40] 843*2^1513926-1 is not prime. Res64: 91896CE58FEDAD93 Time : 0.0 sec. user=mdettweiler [2018-06-20 23:21:41] 891*2^1513926-1 is not prime. Res64: A578E0C7CBC8404D Time : 0.0 sec. user=mdettweiler [2018-06-20 23:21:41] 917*2^1513926-1 is not prime. Res64: 6F3D19378F98237A Time : 0.0 sec. user=mdettweiler [2018-06-20 23:21:42] 619*2^1513927-1 is not prime. Res64: 64F8989C51AC1733 Time : 0.0 sec. user=mdettweiler [2018-06-20 23:40:11] 703*2^1513927-1 is not prime. Res64: 0F7907EE4F82432C Time : 0.0 sec. user=mdettweiler [2018-06-20 23:40:12] 829*2^1513927-1 is not prime. Res64: 25C1D373BB1E2502 Time : 0.0 sec. user=mdettweiler [2018-06-20 23:40:12] 603*2^1513928-1 is not prime. Res64: 7C8AB3090095F94D Time : 0.0 sec. user=mdettweiler [2018-06-20 23:40:13] 633*2^1513928-1 is not prime. Res64: 0EC93C00E4D52E6D Time : 0.0 sec. user=mdettweiler [2018-06-20 23:40:13] 663*2^1513928-1 is not prime. Res64: A51D4CD504E2B8E0 Time : 0.0 sec. user=mdettweiler [2018-06-20 23:52:42] 837*2^1513928-1 is not prime. Res64: 2E20F49E734138DA Time : 0.0 sec. user=mdettweiler [2018-06-20 23:52:43] 929*2^1513928-1 is not prime. Res64: 7F7184B163845EEE Time : 0.0 sec. user=mdettweiler [2018-06-20 23:52:43] 999*2^1513928-1 is not prime. Res64: DAAB22369C1FFBDE Time : 0.0 sec. user=mdettweiler [2018-06-20 23:52:43] 609*2^1513929-1 is not prime. Res64: 202A7DB6C9F4C460 Time : 0.0 sec. user=mdettweiler [2018-06-20 23:52:44] 781*2^1513929-1 is not prime. Res64: 2D723951A1A139F4 Time : 0.0 sec.