user=mdettweiler [2018-08-22 00:19:41] 909*2^1521971-1 is not prime. Res64: 764664D8AA614FC5 Time : 0.0 sec. user=mdettweiler [2018-08-22 00:19:41] 913*2^1521971-1 is not prime. Res64: DA315BFC0CAB1AC9 Time : 0.0 sec. user=mdettweiler [2018-08-22 00:19:41] 931*2^1521971-1 is not prime. Res64: B691C5FB6510A3A1 Time : 0.0 sec. user=mdettweiler [2018-08-22 00:19:42] 999*2^1521971-1 is not prime. Res64: 2CC6880FA81A45CA Time : 0.0 sec. user=mdettweiler [2018-08-22 00:19:42] 627*2^1521972-1 is not prime. Res64: C74A44F7AA98C5AD Time : 0.0 sec. user=mdettweiler [2018-08-22 00:25:46] 693*2^1521972-1 is not prime. Res64: 61E2404A9BDB1C47 Time : 0.0 sec. user=mdettweiler [2018-08-22 00:25:46] 959*2^1521972-1 is not prime. Res64: D283535103BA0AC3 Time : 0.0 sec. user=mdettweiler [2018-08-22 00:25:47] 615*2^1521973-1 is not prime. Res64: 75F285FB27516515 Time : 0.0 sec. user=mdettweiler [2018-08-22 00:25:47] 625*2^1521973-1 is not prime. Res64: BF92E755F2111E47 Time : 0.0 sec. user=mdettweiler [2018-08-22 00:25:48] 729*2^1521973-1 is not prime. Res64: AF0ED07AE440ABC9 Time : 0.0 sec. user=mdettweiler [2018-08-22 00:26:02] 831*2^1521973-1 is not prime. Res64: E6B004D98D333B66 Time : 0.0 sec. user=mdettweiler [2018-08-22 00:26:02] 895*2^1521973-1 is not prime. Res64: 8A0F0828A750768A Time : 0.0 sec. user=mdettweiler [2018-08-22 00:26:03] 987*2^1521973-1 is not prime. Res64: 3B1680F4341BD5F3 Time : 0.0 sec. user=mdettweiler [2018-08-22 00:26:03] 623*2^1521974-1 is not prime. Res64: E9312AD08CA6826C Time : 0.0 sec. user=mdettweiler [2018-08-22 00:26:04] 687*2^1521974-1 is not prime. Res64: 9C7B8E3AF0C40A23 Time : 0.0 sec. user=mdettweiler [2018-08-22 00:30:59] 773*2^1521974-1 is not prime. Res64: BDE24E9E036E9AE2 Time : 0.0 sec. user=mdettweiler [2018-08-22 00:30:59] 813*2^1521974-1 is not prime. Res64: 95D2C2A9A25FE99D Time : 0.0 sec. user=mdettweiler [2018-08-22 00:31:00] 857*2^1521974-1 is not prime. Res64: 51C038867E7F5471 Time : 0.0 sec. user=mdettweiler [2018-08-22 00:31:00] 651*2^1521975-1 is not prime. Res64: 5F9DF89E2447A25B Time : 0.0 sec. user=mdettweiler [2018-08-22 00:31:00] 693*2^1521975-1 is not prime. Res64: 07021E418715025E Time : 0.0 sec. user=mdettweiler [2018-08-22 01:16:00] 781*2^1521975-1 is not prime. Res64: 536852936235946F Time : 0.0 sec. user=mdettweiler [2018-08-22 01:16:00] 793*2^1521975-1 is not prime. Res64: F7CDC143E4E047F5 Time : 0.0 sec. user=mdettweiler [2018-08-22 01:16:01] 963*2^1521975-1 is not prime. Res64: FE32F60B9E9B865D Time : 0.0 sec. user=mdettweiler [2018-08-22 01:16:01] 695*2^1521976-1 is not prime. Res64: 93F8407D054DADA0 Time : 0.0 sec. user=mdettweiler [2018-08-22 01:16:02] 707*2^1521976-1 is not prime. Res64: 1ABCAC0694C90761 Time : 0.0 sec. user=mdettweiler [2018-08-22 01:17:31] 717*2^1521977-1 is not prime. Res64: 784D1B157F6F335C Time : 0.0 sec. user=mdettweiler [2018-08-22 01:17:31] 729*2^1521977-1 is not prime. Res64: A1034420D23A1887 Time : 0.0 sec. user=mdettweiler [2018-08-22 01:17:32] 841*2^1521977-1 is not prime. Res64: 82CAA7332DCA929E Time : 0.0 sec. user=mdettweiler [2018-08-22 01:17:32] 885*2^1521977-1 is not prime. Res64: 9BBDF679689A3B8D Time : 0.0 sec. user=mdettweiler [2018-08-22 01:17:33] 755*2^1521978-1 is not prime. Res64: 621141E9C18170FA Time : 0.0 sec. user=mdettweiler [2018-08-22 01:17:33] 803*2^1521976-1 is not prime. Res64: F485654EB445B041 Time : 0.0 sec. user=mdettweiler [2018-08-22 01:17:34] 839*2^1521976-1 is not prime. Res64: 79F5706A924C981D Time : 0.0 sec. user=mdettweiler [2018-08-22 01:17:34] 903*2^1521976-1 is not prime. Res64: 793B97F7DD6B1B3E Time : 0.0 sec. user=mdettweiler [2018-08-22 01:17:35] 927*2^1521976-1 is not prime. Res64: 4884BA8E57DDFFA2 Time : 0.0 sec. user=mdettweiler [2018-08-22 01:17:35] 669*2^1521977-1 is not prime. Res64: A2B96EAC25FFF7E9 Time : 0.0 sec. user=mdettweiler [2018-08-22 01:22:15] 797*2^1521978-1 is not prime. Res64: 92DC2316113AA198 Time : 0.0 sec. user=mdettweiler [2018-08-22 01:22:15] 843*2^1521978-1 is not prime. Res64: D9C88878F5398560 Time : 0.0 sec. user=mdettweiler [2018-08-22 01:22:16] 875*2^1521978-1 is not prime. Res64: F3F2551826E0FE48 Time : 0.0 sec. user=mdettweiler [2018-08-22 01:22:16] 645*2^1521979-1 is not prime. Res64: 4471ACCCEFC9AF9E Time : 0.0 sec. user=mdettweiler [2018-08-22 01:22:17] 735*2^1521979-1 is not prime. Res64: A358BFABBAEEECF4 Time : 0.0 sec. user=mdettweiler [2018-08-22 02:06:57] 769*2^1521979-1 is not prime. Res64: FB0118FD231D21A6 Time : 0.0 sec. user=mdettweiler [2018-08-22 02:07:05] 811*2^1521979-1 is not prime. Res64: 8BF2973C9E1B27D4 Time : 0.0 sec. user=mdettweiler [2018-08-22 02:07:07] 885*2^1521979-1 is not prime. Res64: 9A305466C95A7CB8 Time : 0.0 sec. user=mdettweiler [2018-08-22 02:07:09] 919*2^1521979-1 is not prime. Res64: CDAD42A14FAC0647 Time : 0.0 sec. user=mdettweiler [2018-08-22 02:07:12] 647*2^1521980-1 is not prime. Res64: 11121EAFB1C4B017 Time : 0.0 sec. user=mdettweiler [2018-08-22 02:08:16] 901*2^1521981-1 is not prime. Res64: D9F676DAE1AE7DC7 Time : 0.0 sec. user=mdettweiler [2018-08-22 02:08:18] 951*2^1521981-1 is not prime. Res64: 2238E9B7BB967C73 Time : 0.0 sec. user=mdettweiler [2018-08-22 02:08:18] 681*2^1521982-1 is not prime. Res64: 265306A42F7FD2D3 Time : 0.0 sec. user=mdettweiler [2018-08-22 02:08:19] 785*2^1521982-1 is not prime. Res64: 23A1EDBFD04F2185 Time : 0.0 sec. user=mdettweiler [2018-08-22 02:08:20] 917*2^1521982-1 is not prime. Res64: A7E2228D383A17DD Time : 0.0 sec. user=mdettweiler [2018-08-22 02:08:24] 725*2^1521980-1 is not prime. Res64: 48AFA96F982C777E Time : 0.0 sec. user=mdettweiler [2018-08-22 02:08:26] 875*2^1521980-1 is not prime. Res64: 3E1719FB44D41132 Time : 0.0 sec. user=mdettweiler [2018-08-22 02:08:27] 977*2^1521980-1 is not prime. Res64: D33EE318C71554B5 Time : 0.0 sec. user=mdettweiler [2018-08-22 02:08:28] 741*2^1521981-1 is not prime. Res64: 6CDF2F7CD1D39844 Time : 0.0 sec. user=mdettweiler [2018-08-22 02:08:29] 859*2^1521981-1 is not prime. Res64: B3288C3E9FF3E923 Time : 0.0 sec. user=mdettweiler [2018-08-22 02:13:20] 923*2^1521982-1 is not prime. Res64: 2B2BFF1EB130D8C6 Time : 0.0 sec. user=mdettweiler [2018-08-22 02:13:20] 879*2^1521983-1 is not prime. Res64: 2F67053387E3EA81 Time : 0.0 sec. user=mdettweiler [2018-08-22 02:13:20] 991*2^1521983-1 is not prime. Res64: 9957AC8C3DF5ADDB Time : 0.0 sec. user=mdettweiler [2018-08-22 02:13:21] 609*2^1521984-1 is not prime. Res64: 3793493FD551C3A2 Time : 0.0 sec. user=mdettweiler [2018-08-22 02:13:21] 665*2^1521984-1 is not prime. Res64: 70DC1EF73718C602 Time : 0.0 sec. user=mdettweiler [2018-08-22 03:00:06] 717*2^1521984-1 is not prime. Res64: 004758704DC769A4 Time : 0.0 sec. user=mdettweiler [2018-08-22 03:00:06] 803*2^1521984-1 is not prime. Res64: 1B93144AF402CED6 Time : 0.0 sec. user=mdettweiler [2018-08-22 03:00:07] 809*2^1521984-1 is not prime. Res64: 1C067051C6B7E372 Time : 0.0 sec. user=mdettweiler [2018-08-22 03:00:07] 899*2^1521984-1 is not prime. Res64: 8711F04EB47526FF Time : 0.0 sec. user=mdettweiler [2018-08-22 03:00:07] 775*2^1521985-1 is not prime. Res64: 8EC4CBB9E1E763D3 Time : 0.0 sec. user=mdettweiler [2018-08-22 03:00:21] 919*2^1521985-1 is not prime. Res64: 31C22D328A39C681 Time : 0.0 sec. user=mdettweiler [2018-08-22 03:00:25] 957*2^1521985-1 is not prime. Res64: 455F0049135C6CDE Time : 0.0 sec. user=mdettweiler [2018-08-22 03:00:27] 767*2^1521986-1 is not prime. Res64: 4EC85D7BB10CCBF7 Time : 0.0 sec. user=mdettweiler [2018-08-22 03:00:28] 875*2^1521986-1 is not prime. Res64: 33468F9833A89A54 Time : 0.0 sec. user=mdettweiler [2018-08-22 03:00:30] 921*2^1521986-1 is not prime. Res64: 38B1FFFE4A295DA2 Time : 0.0 sec. user=mdettweiler [2018-08-22 03:00:31] 1001*2^1521986-1 is not prime. Res64: EBFBEF78D89AA459 Time : 0.0 sec. user=mdettweiler [2018-08-22 03:00:35] 703*2^1521987-1 is not prime. Res64: 00F36E36625058D1 Time : 0.0 sec. user=mdettweiler [2018-08-22 03:00:38] 617*2^1521988-1 is not prime. Res64: 602554BE8186C372 Time : 0.0 sec. user=mdettweiler [2018-08-22 03:00:41] 665*2^1521988-1 is not prime. Res64: DF00A6B9B7391C5F Time : 0.0 sec. user=mdettweiler [2018-08-22 03:00:43] 765*2^1521988-1 is not prime. Res64: 6620192DAEC32857 Time : 0.0 sec. user=mdettweiler [2018-08-22 03:05:17] 777*2^1521988-1 is not prime. Res64: 02B64F5A1326BFE8 Time : 0.0 sec. user=mdettweiler [2018-08-22 03:05:18] 803*2^1521988-1 is not prime. Res64: CAC5AD28C20FE3AF Time : 0.0 sec. user=mdettweiler [2018-08-22 03:05:20] 855*2^1521988-1 is not prime. Res64: 9D1E7F49B9ECE932 Time : 0.0 sec. user=mdettweiler [2018-08-22 03:05:21] 915*2^1521988-1 is not prime. Res64: 79804A736B1E2E01 Time : 0.0 sec. user=mdettweiler [2018-08-22 03:05:22] 685*2^1521989-1 is not prime. Res64: AD36D9A2958889D0 Time : 0.0 sec. user=mdettweiler [2018-08-22 03:51:29] 745*2^1521989-1 is not prime. Res64: 951FEE1D70F51554 Time : 0.0 sec. user=mdettweiler [2018-08-22 03:51:30] 771*2^1521989-1 is not prime. Res64: D06A711B03E87B24 Time : 0.0 sec. user=mdettweiler [2018-08-22 03:51:31] 799*2^1521989-1 is not prime. Res64: 1CEFD62AF3734492 Time : 0.0 sec. user=mdettweiler [2018-08-22 03:51:31] 847*2^1521989-1 is not prime. Res64: 6596F272DA0535A1 Time : 0.0 sec. user=mdettweiler [2018-08-22 03:51:32] 939*2^1521989-1 is not prime. Res64: 905821A5D769D2A7 Time : 0.0 sec. user=mdettweiler [2018-08-22 03:51:33] 691*2^1521989-1 is not prime. Res64: 5EC928FBD75F5F71 Time : 0.0 sec. user=mdettweiler [2018-08-22 03:51:34] 741*2^1521989-1 is not prime. Res64: 6D3F20486042DF06 Time : 0.0 sec. user=mdettweiler [2018-08-22 03:51:35] 635*2^1521990-1 is not prime. Res64: 9A0F8DC7BEC391F1 Time : 0.0 sec. user=mdettweiler [2018-08-22 03:51:36] 641*2^1521990-1 is not prime. Res64: C81A9E759D7F332A Time : 0.0 sec. user=mdettweiler [2018-08-22 03:51:37] 725*2^1521990-1 is not prime. Res64: B42F4FAA9FA30C7F Time : 0.0 sec. user=mdettweiler [2018-08-22 03:51:39] 747*2^1521990-1 is not prime. Res64: 1C3422CF4D741987 Time : 0.0 sec. user=mdettweiler [2018-08-22 03:51:41] 783*2^1521990-1 is not prime. Res64: 5EC223800AEF5E8C Time : 0.0 sec. user=mdettweiler [2018-08-22 03:51:42] 797*2^1521990-1 is not prime. Res64: CB8D43BDA668A216 Time : 0.0 sec. user=mdettweiler [2018-08-22 03:51:42] 843*2^1521990-1 is not prime. Res64: 405559D99D11BCA4 Time : 0.0 sec. user=mdettweiler [2018-08-22 03:51:44] 873*2^1521990-1 is not prime. Res64: 77B210C610EB6F87 Time : 0.0 sec. user=mdettweiler [2018-08-22 03:56:03] 921*2^1521990-1 is not prime. Res64: FE99C2E4302A24F9 Time : 0.0 sec. user=mdettweiler [2018-08-22 03:56:04] 957*2^1521990-1 is not prime. Res64: 9A49C8CA28560130 Time : 0.0 sec. user=mdettweiler [2018-08-22 03:56:05] 741*2^1521991-1 is not prime. Res64: 438DF895D9C2A0A1 Time : 0.0 sec. user=mdettweiler [2018-08-22 03:56:06] 841*2^1521991-1 is not prime. Res64: F6E52840B1B560B2 Time : 0.0 sec. user=mdettweiler [2018-08-22 03:56:06] 861*2^1521991-1 is not prime. Res64: 9892A456992E8F8D Time : 0.0 sec. user=mdettweiler [2018-08-22 04:42:28] 909*2^1521991-1 is not prime. Res64: 0B15B42A41B98D80 Time : 0.0 sec. user=mdettweiler [2018-08-22 04:42:29] 975*2^1521991-1 is not prime. Res64: 2D67E2A8C1439165 Time : 0.0 sec. user=mdettweiler [2018-08-22 04:42:30] 605*2^1521992-1 is not prime. Res64: 7E89F60AE00DD13B Time : 0.0 sec. user=mdettweiler [2018-08-22 04:42:31] 813*2^1521992-1 is not prime. Res64: 75F9A37AABBA7DBA Time : 0.0 sec. user=mdettweiler [2018-08-22 04:42:31] 815*2^1521992-1 is not prime. Res64: 1E4B5632A4C296C4 Time : 0.0 sec. user=mdettweiler [2018-08-22 04:42:31] 837*2^1521992-1 is not prime. Res64: 3A4623AB7666562C Time : 0.0 sec. user=mdettweiler [2018-08-22 04:42:32] 867*2^1521992-1 is not prime. Res64: 1E0D4998D78D95B1 Time : 0.0 sec. user=mdettweiler [2018-08-22 04:42:32] 873*2^1521992-1 is not prime. Res64: 5781801D7393FFDB Time : 0.0 sec. user=mdettweiler [2018-08-22 04:42:33] 875*2^1521992-1 is not prime. Res64: A05E11C8E62EAE55 Time : 0.0 sec. user=mdettweiler [2018-08-22 04:42:33] 957*2^1521992-1 is not prime. Res64: CDE0B9B3B6546330 Time : 0.0 sec. user=mdettweiler [2018-08-22 04:42:43] 625*2^1521993-1 is not prime. Res64: 3845AA4CAC9EEA58 Time : 0.0 sec. user=mdettweiler [2018-08-22 04:42:45] 885*2^1521993-1 is not prime. Res64: B5144E4B15835810 Time : 0.0 sec. user=mdettweiler [2018-08-22 04:42:45] 915*2^1521993-1 is not prime. Res64: 0672B0B557517A61 Time : 0.0 sec. user=mdettweiler [2018-08-22 04:42:46] 617*2^1521994-1 is not prime. Res64: A94D5FDF9956D8C2 Time : 0.0 sec. user=mdettweiler [2018-08-22 04:42:47] 645*2^1521994-1 is not prime. Res64: 5001598FACD464B1 Time : 0.0 sec. user=mdettweiler [2018-08-22 04:47:01] 651*2^1521994-1 is not prime. Res64: 55DBDAEE7BE0A066 Time : 0.0 sec. user=mdettweiler [2018-08-22 04:47:01] 825*2^1521994-1 is not prime. Res64: 480B0611E27049E8 Time : 0.0 sec. user=mdettweiler [2018-08-22 04:47:01] 833*2^1521994-1 is not prime. Res64: AD5DD0DD955415F9 Time : 0.0 sec. user=mdettweiler [2018-08-22 04:47:02] 915*2^1521994-1 is not prime. Res64: 3331A27CF1F55ED5 Time : 0.0 sec. user=mdettweiler [2018-08-22 04:47:02] 917*2^1521994-1 is not prime. Res64: DDA4E12A4E518922 Time : 0.0 sec. user=mdettweiler [2018-08-22 05:33:10] 969*2^1521995-1 is not prime. Res64: 60AB60F602865DE6 Time : 0.0 sec. user=mdettweiler [2018-08-22 05:33:11] 629*2^1521996-1 is not prime. Res64: 6BA7E70B88A818EF Time : 0.0 sec. user=mdettweiler [2018-08-22 05:33:11] 783*2^1521996-1 is not prime. Res64: 4CCC5352FC4FC0B4 Time : 0.0 sec. user=mdettweiler [2018-08-22 05:33:12] 607*2^1521997-1 is not prime. Res64: E55EAEC972A3EE92 Time : 0.0 sec. user=mdettweiler [2018-08-22 05:33:12] 615*2^1521997-1 is not prime. Res64: 64EE8D186BD40A20 Time : 0.0 sec. user=mdettweiler [2018-08-22 05:33:23] 639*2^1521997-1 is not prime. Res64: E0152B4F4F3E30D1 Time : 0.0 sec. user=mdettweiler [2018-08-22 05:33:23] 717*2^1521997-1 is not prime. Res64: 7348123C9B07ADFF Time : 0.0 sec. user=mdettweiler [2018-08-22 05:33:24] 817*2^1521997-1 is not prime. Res64: BC76E1E2AA4EE034 Time : 0.0 sec. user=mdettweiler [2018-08-22 05:33:24] 829*2^1521997-1 is not prime. Res64: 45A8B7DE6B7DE2C3 Time : 0.0 sec. user=mdettweiler [2018-08-22 05:33:25] 847*2^1521997-1 is not prime. Res64: C81094C06CF006AE Time : 0.0 sec. user=mdettweiler [2018-08-22 05:33:28] 619*2^1521995-1 is not prime. Res64: 74442770CA579A84 Time : 0.0 sec. user=mdettweiler [2018-08-22 05:33:29] 643*2^1521995-1 is not prime. Res64: 14DE86191FC5C0DC Time : 0.0 sec. user=mdettweiler [2018-08-22 05:33:29] 699*2^1521995-1 is not prime. Res64: BE7233F5B3BA5396 Time : 0.0 sec. user=mdettweiler [2018-08-22 05:33:30] 775*2^1521995-1 is not prime. Res64: 5F3CE2AFE3F0D329 Time : 0.0 sec. user=mdettweiler [2018-08-22 05:33:31] 963*2^1521995-1 is not prime. Res64: 8C4668ED71546627 Time : 0.0 sec. user=mdettweiler [2018-08-22 05:37:44] 859*2^1521997-1 is not prime. Res64: E80E8BD59A35789A Time : 0.0 sec. user=mdettweiler [2018-08-22 05:37:44] 773*2^1521998-1 is not prime. Res64: FB0FD6F355BEC77E Time : 0.0 sec. user=mdettweiler [2018-08-22 05:37:45] 813*2^1521998-1 is not prime. Res64: 07556C69A343CA10 Time : 0.0 sec. user=mdettweiler [2018-08-22 05:37:45] 857*2^1521998-1 is not prime. Res64: 8E45E0F22E3E56AD Time : 0.0 sec. user=mdettweiler [2018-08-22 05:37:46] 867*2^1521998-1 is not prime. Res64: 4491C3F4E6949024 Time : 0.0 sec. user=mdettweiler [2018-08-22 06:24:02] 843*2^1521999-1 is not prime. Res64: D46499451D489671 Time : 0.0 sec. user=mdettweiler [2018-08-22 06:24:02] 861*2^1521999-1 is not prime. Res64: 93A3BA050FCDD724 Time : 0.0 sec. user=mdettweiler [2018-08-22 06:24:03] 891*2^1521999-1 is not prime. Res64: 0C2939C156B6706D Time : 0.0 sec. user=mdettweiler [2018-08-22 06:24:03] 933*2^1521999-1 is not prime. Res64: 7652D15631A355BF Time : 0.0 sec. user=mdettweiler [2018-08-22 06:24:03] 961*2^1521999-1 is not prime. Res64: 7B9C6267E70D9564 Time : 0.0 sec. user=mdettweiler [2018-08-22 06:24:07] 627*2^1522001-1 is not prime. Res64: A065A5A16726289B Time : 0.0 sec. user=mdettweiler [2018-08-22 06:24:07] 651*2^1522001-1 is not prime. Res64: 2B563D570C98F349 Time : 0.0 sec. user=mdettweiler [2018-08-22 06:24:08] 715*2^1522001-1 is not prime. Res64: E2D5A1AD952E138C Time : 0.0 sec. user=mdettweiler [2018-08-22 06:24:08] 795*2^1522001-1 is not prime. Res64: DCFECFDC4753A4DC Time : 0.0 sec. user=mdettweiler [2018-08-22 06:24:08] 635*2^1522002-1 is not prime. Res64: 6EC681A99ABD4359 Time : 0.0 sec. user=mdettweiler [2018-08-22 06:24:23] 985*2^1521999-1 is not prime. Res64: 1A2DE83F2380B10E Time : 0.0 sec. user=mdettweiler [2018-08-22 06:24:23] 991*2^1521999-1 is not prime. Res64: 1523CF73D76B6D27 Time : 0.0 sec. user=mdettweiler [2018-08-22 06:24:24] 603*2^1522000-1 is not prime. Res64: EBD2A9DECFD14098 Time : 0.0 sec. user=mdettweiler [2018-08-22 06:24:24] 623*2^1522000-1 is not prime. Res64: 0D1B3BFB7D90FAF5 Time : 0.0 sec. user=mdettweiler [2018-08-22 06:24:25] 719*2^1522000-1 is not prime. Res64: 59B7BE99E4353E48 Time : 0.0 sec. user=mdettweiler [2018-08-22 06:28:57] 737*2^1522002-1 is not prime. Res64: D24551BF3F0E81D3 Time : 0.0 sec. user=mdettweiler [2018-08-22 06:28:57] 801*2^1522002-1 is not prime. Res64: A89C43EB7312E25A Time : 0.0 sec. user=mdettweiler [2018-08-22 06:28:57] 873*2^1522002-1 is not prime. Res64: 2FF7B73FB10B6532 Time : 0.0 sec. user=mdettweiler [2018-08-22 06:28:58] 903*2^1522002-1 is not prime. Res64: 2F71CCE05164E128 Time : 0.0 sec. user=mdettweiler [2018-08-22 06:28:58] 1001*2^1522002-1 is not prime. Res64: E05E15D7A40D5432 Time : 0.0 sec. user=mdettweiler [2018-08-22 07:14:34] 659*2^1522004-1 is not prime. Res64: BF2FD9B3196E0F54 Time : 0.0 sec. user=mdettweiler [2018-08-22 07:14:35] 665*2^1522004-1 is not prime. Res64: 49FAB3BBE15209CF Time : 0.0 sec. user=mdettweiler [2018-08-22 07:14:36] 675*2^1522004-1 is not prime. Res64: D32F7F6795806E5D Time : 0.0 sec. user=mdettweiler [2018-08-22 07:14:37] 689*2^1522004-1 is not prime. Res64: FB94CAB161ADE522 Time : 0.0 sec. user=mdettweiler [2018-08-22 07:14:38] 837*2^1522004-1 is not prime. Res64: 8DBE95608CF01F7B Time : 0.0 sec. user=mdettweiler [2018-08-22 07:14:48] 703*2^1522003-1 is not prime. Res64: 364DB9FE67C09F61 Time : 0.0 sec. user=mdettweiler [2018-08-22 07:14:49] 819*2^1522003-1 is not prime. Res64: EE353297D585C6C1 Time : 0.0 sec. user=mdettweiler [2018-08-22 07:14:50] 891*2^1522003-1 is not prime. Res64: 9ED9688EE2004BC0 Time : 0.0 sec. user=mdettweiler [2018-08-22 07:14:52] 951*2^1522003-1 is not prime. Res64: D5FC512E30EEF385 Time : 0.0 sec. user=mdettweiler [2018-08-22 07:14:53] 617*2^1522004-1 is not prime. Res64: 5485955FA38D122E Time : 0.0 sec. user=mdettweiler [2018-08-22 07:14:57] 855*2^1522004-1 is not prime. Res64: 1BB166BD3CB7BD95 Time : 0.0 sec. user=mdettweiler [2018-08-22 07:14:58] 915*2^1522004-1 is not prime. Res64: 80A7BEB82105F72F Time : 0.0 sec. user=mdettweiler [2018-08-22 07:15:00] 935*2^1522004-1 is not prime. Res64: 80A7753609907AB3 Time : 0.0 sec. user=mdettweiler [2018-08-22 07:15:01] 639*2^1522005-1 is not prime. Res64: 4291CAE5D11591E0 Time : 0.0 sec. user=mdettweiler [2018-08-22 07:15:04] 685*2^1522005-1 is not prime. Res64: A724580128E5901D Time : 0.0 sec. user=mdettweiler [2018-08-22 07:19:29] 691*2^1522005-1 is not prime. Res64: 0CD3AE83E68979E6 Time : 0.0 sec. user=mdettweiler [2018-08-22 07:19:30] 877*2^1522005-1 is not prime. Res64: 91EABA162746763A Time : 0.0 sec. user=mdettweiler [2018-08-22 07:19:30] 885*2^1522005-1 is not prime. Res64: 831E71EF4F04C1C4 Time : 0.0 sec. user=mdettweiler [2018-08-22 07:19:31] 891*2^1522005-1 is not prime. Res64: 2D0E44398C620FC0 Time : 0.0 sec. user=mdettweiler [2018-08-22 07:19:31] 961*2^1522005-1 is not prime. Res64: 0B100B420E14D29B Time : 0.0 sec. user=mdettweiler [2018-08-22 08:06:08] 655*2^1522007-1 is not prime. Res64: 763C684E5BBC99D1 Time : 0.0 sec. user=mdettweiler [2018-08-22 08:06:10] 661*2^1522007-1 is not prime. Res64: 52C59F5712E6AEE9 Time : 0.0 sec. user=mdettweiler [2018-08-22 08:06:11] 673*2^1522007-1 is not prime. Res64: F90485EA9E38F578 Time : 0.0 sec. user=mdettweiler [2018-08-22 08:06:11] 703*2^1522007-1 is not prime. Res64: B0C25D372DC45F1A Time : 0.0 sec. user=mdettweiler [2018-08-22 08:06:12] 711*2^1522007-1 is not prime. Res64: 2386122CFAC156AB Time : 0.0 sec. user=mdettweiler [2018-08-22 08:06:15] 623*2^1522006-1 is not prime. Res64: FDE04946DC3202BE Time : 0.0 sec. user=mdettweiler [2018-08-22 08:06:16] 663*2^1522006-1 is not prime. Res64: F4ECE7AF19430784 Time : 0.0 sec. user=mdettweiler [2018-08-22 08:06:16] 713*2^1522006-1 is not prime. Res64: AC365E6BDF0C4B04 Time : 0.0 sec. user=mdettweiler [2018-08-22 08:06:16] 741*2^1522006-1 is not prime. Res64: 2BD1E5A05F589C32 Time : 0.0 sec. user=mdettweiler [2018-08-22 08:06:17] 911*2^1522006-1 is not prime. Res64: CE243AB1CC4046BE Time : 0.0 sec. user=mdettweiler [2018-08-22 08:06:18] 729*2^1522007-1 is not prime. Res64: EA8186AD80E8CF5A Time : 0.0 sec. user=mdettweiler [2018-08-22 08:06:19] 813*2^1522007-1 is not prime. Res64: E5D85258C75D623D Time : 0.0 sec. user=mdettweiler [2018-08-22 08:06:19] 829*2^1522007-1 is not prime. Res64: 1DF96E8C835951A5 Time : 0.0 sec. user=mdettweiler [2018-08-22 08:06:20] 865*2^1522007-1 is not prime. Res64: 44DAF7B08942C92D Time : 0.0 sec. user=mdettweiler [2018-08-22 08:06:20] 993*2^1522007-1 is not prime. Res64: 1ED98B8BF295F9F0 Time : 0.0 sec. user=mdettweiler [2018-08-22 08:11:23] 707*2^1522008-1 is not prime. Res64: F40EB52179E2C886 Time : 0.0 sec. user=mdettweiler [2018-08-22 08:11:24] 753*2^1522008-1 is not prime. Res64: 3453D8BDD1167519 Time : 0.0 sec. user=mdettweiler [2018-08-22 08:11:24] 773*2^1522008-1 is not prime. Res64: 99569AC31CA9DA8C Time : 0.0 sec. user=mdettweiler [2018-08-22 08:11:25] 899*2^1522008-1 is not prime. Res64: 53105CCDA84C5106 Time : 0.0 sec. user=mdettweiler [2018-08-22 08:11:25] 923*2^1522008-1 is not prime. Res64: 285CF7F61A1D3448 Time : 0.0 sec. user=mdettweiler [2018-08-22 08:57:59] 765*2^1522009-1 is not prime. Res64: 5A43C3FAE3283C61 Time : 0.0 sec. user=mdettweiler [2018-08-22 08:57:59] 769*2^1522009-1 is not prime. Res64: C7D20F7DB32F1DD4 Time : 0.0 sec. user=mdettweiler [2018-08-22 08:58:00] 861*2^1522009-1 is not prime. Res64: ED5062608C2AAECC Time : 0.0 sec. user=mdettweiler [2018-08-22 08:58:00] 867*2^1522009-1 is not prime. Res64: 21311C1EC561C9CC Time : 0.0 sec. user=mdettweiler [2018-08-22 08:58:00] 985*2^1522009-1 is not prime. Res64: F4F11923642A9379 Time : 0.0 sec. user=mdettweiler [2018-08-22 08:58:09] 641*2^1522010-1 is not prime. Res64: 7036074A23366442 Time : 0.0 sec. user=mdettweiler [2018-08-22 08:58:09] 665*2^1522010-1 is not prime. Res64: AD5F71291DA44D27 Time : 0.0 sec. user=mdettweiler [2018-08-22 08:58:10] 675*2^1522010-1 is not prime. Res64: CBEBFAC4E102239C Time : 0.0 sec. user=mdettweiler [2018-08-22 08:58:10] 735*2^1522010-1 is not prime. Res64: 4CE645FBF484A569 Time : 0.0 sec. user=mdettweiler [2018-08-22 08:58:10] 875*2^1522010-1 is not prime. Res64: D33AE6E5893C2BF0 Time : 0.0 sec. user=mdettweiler [2018-08-22 08:58:20] 975*2^1522008-1 is not prime. Res64: E4A550A8FD5D3E8A Time : 0.0 sec. user=mdettweiler [2018-08-22 08:58:20] 601*2^1522009-1 is not prime. Res64: 06069E0786BC7E5E Time : 0.0 sec. user=mdettweiler [2018-08-22 08:58:20] 649*2^1522009-1 is not prime. Res64: 70EE81BFC8C973FE Time : 0.0 sec. user=mdettweiler [2018-08-22 08:58:21] 691*2^1522009-1 is not prime. Res64: 4FCA8996B806FD16 Time : 0.0 sec. user=mdettweiler [2018-08-22 08:58:21] 721*2^1522009-1 is not prime. Res64: D3C7A0F042F23D8D Time : 0.0 sec. user=mdettweiler [2018-08-22 09:03:31] 945*2^1522010-1 is not prime. Res64: 32B608E8437DC8DE Time : 0.0 sec. user=mdettweiler [2018-08-22 09:03:31] 615*2^1522011-1 is not prime. Res64: 1B788C5ED156E041 Time : 0.0 sec. user=mdettweiler [2018-08-22 09:03:32] 781*2^1522011-1 is not prime. Res64: 4EFDD8A5E1E02A31 Time : 0.0 sec. user=mdettweiler [2018-08-22 09:03:33] 789*2^1522011-1 is not prime. Res64: 8453D4407D226551 Time : 0.0 sec. user=mdettweiler [2018-08-22 09:03:34] 795*2^1522011-1 is not prime. Res64: BF6F77071902E8C7 Time : 0.0 sec. user=mdettweiler [2018-08-22 09:49:36] 755*2^1522012-1 is not prime. Res64: D91A315C3A3757E6 Time : 0.0 sec. user=mdettweiler [2018-08-22 09:49:36] 797*2^1522012-1 is not prime. Res64: 9761B6CA334174C1 Time : 0.0 sec. user=mdettweiler [2018-08-22 09:49:37] 827*2^1522012-1 is not prime. Res64: A52CFBBA5BE63BBF Time : 0.0 sec. user=mdettweiler [2018-08-22 09:49:37] 857*2^1522012-1 is not prime. Res64: 365CDA019E3C0F16 Time : 0.0 sec. user=mdettweiler [2018-08-22 09:49:38] 903*2^1522012-1 is not prime. Res64: 3E534AEE39825A35 Time : 0.0 sec. user=mdettweiler [2018-08-22 09:49:48] 805*2^1522011-1 is not prime. Res64: 70454DE023F6F624 Time : 0.0 sec. user=mdettweiler [2018-08-22 09:49:48] 961*2^1522011-1 is not prime. Res64: 284D7AFD64A1D71B Time : 0.0 sec. user=mdettweiler [2018-08-22 09:49:48] 973*2^1522011-1 is not prime. Res64: 0D6702EDF966299A Time : 0.0 sec. user=mdettweiler [2018-08-22 09:49:49] 979*2^1522011-1 is not prime. Res64: 95734DA7B079EC0D Time : 0.0 sec. user=mdettweiler [2018-08-22 09:49:49] 603*2^1522012-1 is not prime. Res64: AA4072F86E446B91 Time : 0.0 sec. user=mdettweiler [2018-08-22 09:49:56] 915*2^1522012-1 is not prime. Res64: 17960E37373F22B2 Time : 0.0 sec. user=mdettweiler [2018-08-22 09:49:57] 995*2^1522012-1 is not prime. Res64: 045FA2388072E6BD Time : 0.0 sec. user=mdettweiler [2018-08-22 09:49:57] 615*2^1522013-1 is not prime. Res64: E6CC84C3FD23C16E Time : 0.0 sec. user=mdettweiler [2018-08-22 09:49:57] 697*2^1522013-1 is not prime. Res64: 093A0048D875D882 Time : 0.0 sec. user=mdettweiler [2018-08-22 09:49:58] 735*2^1522013-1 is not prime. Res64: F2B67AF64F6EB5D6 Time : 0.0 sec. user=mdettweiler [2018-08-22 09:58:01] 769*2^1522013-1 is not prime. Res64: 6CA8C076ED89F1E1 Time : 0.0 sec. user=mdettweiler [2018-08-22 09:58:01] 957*2^1522013-1 is not prime. Res64: 8BF3B57FD4302867 Time : 0.0 sec. user=mdettweiler [2018-08-22 09:58:01] 967*2^1522013-1 is not prime. Res64: 719036420FF03E05 Time : 0.0 sec. user=mdettweiler [2018-08-22 09:58:02] 985*2^1522013-1 is not prime. Res64: 032C75ECC9978794 Time : 0.0 sec. user=mdettweiler [2018-08-22 09:58:02] 987*2^1522013-1 is not prime. Res64: 7EA62310894E4E25 Time : 0.0 sec. user=mdettweiler [2018-08-22 10:40:27] 621*2^1522014-1 is not prime. Res64: 5667D4ED7B16F08E Time : 0.0 sec. user=mdettweiler [2018-08-22 10:40:27] 651*2^1522014-1 is not prime. Res64: A79EB65CAE007D68 Time : 0.0 sec. user=mdettweiler [2018-08-22 10:40:28] 725*2^1522014-1 is not prime. Res64: 522D930BFA6D8C81 Time : 0.0 sec. user=mdettweiler [2018-08-22 10:40:28] 731*2^1522014-1 is not prime. Res64: F99EE4C53C23EE29 Time : 0.0 sec. user=mdettweiler [2018-08-22 10:40:28] 747*2^1522014-1 is not prime. Res64: F4D0F5B06BF8275F Time : 0.0 sec. user=mdettweiler [2018-08-22 10:40:36] 767*2^1522014-1 is not prime. Res64: A33A5E059C30D4B1 Time : 0.0 sec. user=mdettweiler [2018-08-22 10:40:37] 863*2^1522014-1 is not prime. Res64: 49E0CD7F63FC4E62 Time : 0.0 sec. user=mdettweiler [2018-08-22 10:40:37] 903*2^1522014-1 is not prime. Res64: B926757A98773B83 Time : 0.0 sec. user=mdettweiler [2018-08-22 10:40:37] 927*2^1522014-1 is not prime. Res64: D9437D45292FCB66 Time : 0.0 sec. user=mdettweiler [2018-08-22 10:40:38] 983*2^1522014-1 is not prime. Res64: 52FE764A51439E2F Time : 0.0 sec. user=mdettweiler [2018-08-22 10:41:03] 1001*2^1522014-1 is not prime. Res64: 14AF3B82CEB22732 Time : 0.0 sec. user=mdettweiler [2018-08-22 10:41:03] 619*2^1522015-1 is not prime. Res64: D960EB7EC9933C6C Time : 0.0 sec. user=mdettweiler [2018-08-22 10:41:03] 649*2^1522015-1 is not prime. Res64: 056EDBF10332F1FC Time : 0.0 sec. user=mdettweiler [2018-08-22 10:41:04] 663*2^1522015-1 is not prime. Res64: 6E2B5329FF671E4B Time : 0.0 sec. user=mdettweiler [2018-08-22 10:41:04] 925*2^1522015-1 is not prime. Res64: D9FED34F195401AD Time : 0.0 sec. user=mdettweiler [2018-08-22 10:48:53] 617*2^1522016-1 is not prime. Res64: FBA328E6235F284E Time : 0.0 sec. user=mdettweiler [2018-08-22 10:48:53] 629*2^1522016-1 is not prime. Res64: 16DCBE896CDA0531 Time : 0.0 sec. user=mdettweiler [2018-08-22 10:48:53] 635*2^1522016-1 is not prime. Res64: FEB798429BB35346 Time : 0.0 sec. user=mdettweiler [2018-08-22 10:48:54] 669*2^1522016-1 is not prime. Res64: 970CBAA317783EE1 Time : 0.0 sec. user=mdettweiler [2018-08-22 10:48:54] 693*2^1522016-1 is not prime. Res64: 374D12F036F935FD Time : 0.0 sec. user=mdettweiler [2018-08-22 11:31:41] 767*2^1522016-1 is not prime. Res64: 01FA329195F9FEE3 Time : 0.0 sec. user=mdettweiler [2018-08-22 11:31:41] 803*2^1522016-1 is not prime. Res64: AFB5C09A3693E77E Time : 0.0 sec. user=mdettweiler [2018-08-22 11:31:42] 867*2^1522016-1 is not prime. Res64: F3DA3A316A5C392D Time : 0.0 sec. user=mdettweiler [2018-08-22 11:31:42] 897*2^1522016-1 is not prime. Res64: 4183008A57BCBABC Time : 0.0 sec. user=mdettweiler [2018-08-22 11:31:42] 993*2^1522016-1 is not prime. Res64: F0C6F9116312ED8F Time : 0.0 sec. user=mdettweiler [2018-08-22 11:31:51] 615*2^1522017-1 is not prime. Res64: 542BD9FBE5991D3C Time : 0.0 sec. user=mdettweiler [2018-08-22 11:31:52] 651*2^1522017-1 is not prime. Res64: A9BAAB357FF689DD Time : 0.0 sec. user=mdettweiler [2018-08-22 11:31:52] 717*2^1522017-1 is not prime. Res64: 5B5EB0A6A94F0B89 Time : 0.0 sec. user=mdettweiler [2018-08-22 11:31:53] 739*2^1522017-1 is not prime. Res64: 5B46BBDDC05EDFCF Time : 0.0 sec. user=mdettweiler [2018-08-22 11:31:53] 831*2^1522017-1 is not prime. Res64: 259037C7075855A4 Time : 0.0 sec. user=mdettweiler [2018-08-22 11:32:33] 955*2^1522017-1 is not prime. Res64: 2BFDE1DE16AE2D01 Time : 0.0 sec. user=mdettweiler [2018-08-22 11:32:33] 985*2^1522017-1 is not prime. Res64: 0D4C2D3422A28E7F Time : 0.0 sec. user=mdettweiler [2018-08-22 11:32:33] 991*2^1522017-1 is not prime. Res64: 87A19C2120B5C5C0 Time : 0.0 sec. user=mdettweiler [2018-08-22 11:32:34] 997*2^1522017-1 is not prime. Res64: C9FD6C127382F037 Time : 0.0 sec. user=mdettweiler [2018-08-22 11:32:34] 635*2^1522018-1 is not prime. Res64: 9A4A86AC24B106DC Time : 0.0 sec. user=mdettweiler [2018-08-22 11:41:38] 663*2^1522018-1 is not prime. Res64: 59359FC3C483DA89 Time : 0.0 sec. user=mdettweiler [2018-08-22 11:41:39] 695*2^1522018-1 is not prime. Res64: F72E94C6FB598C27 Time : 0.0 sec. user=mdettweiler [2018-08-22 11:41:39] 713*2^1522018-1 is not prime. Res64: 5810A5E50499B039 Time : 0.0 sec. user=mdettweiler [2018-08-22 11:41:39] 981*2^1522018-1 is not prime. Res64: 37B2F451C0290051 Time : 0.0 sec. user=mdettweiler [2018-08-22 11:41:40] 987*2^1522018-1 is not prime. Res64: C6B684551A91C3C7 Time : 0.0 sec. user=mdettweiler [2018-08-22 12:22:22] 995*2^1522018-1 is not prime. Res64: 5B36F5B40D47A33A Time : 0.0 sec. user=mdettweiler [2018-08-22 12:22:23] 601*2^1522019-1 is not prime. Res64: 57FE2D3CB796250F Time : 0.0 sec. user=mdettweiler [2018-08-22 12:22:23] 633*2^1522019-1 is not prime. Res64: 637EDF77F8CB7387 Time : 0.0 sec. user=mdettweiler [2018-08-22 12:22:23] 643*2^1522019-1 is not prime. Res64: 9E9DC54566C4E339 Time : 0.0 sec. user=mdettweiler [2018-08-22 12:22:24] 655*2^1522019-1 is not prime. Res64: 44DAAC479B252BE5 Time : 0.0 sec. user=mdettweiler [2018-08-22 12:22:34] 813*2^1522019-1 is not prime. Res64: 1F71ADE0091F5BA0 Time : 0.0 sec. user=mdettweiler [2018-08-22 12:22:34] 829*2^1522019-1 is not prime. Res64: 6589FF9A6155197D Time : 0.0 sec. user=mdettweiler [2018-08-22 12:22:34] 885*2^1522019-1 is not prime. Res64: 35ED85F2E814C643 Time : 0.0 sec. user=mdettweiler [2018-08-22 12:22:35] 895*2^1522019-1 is not prime. Res64: 4E4578B81326FA84 Time : 0.0 sec. user=mdettweiler [2018-08-22 12:22:35] 969*2^1522019-1 is not prime. Res64: FF75F33FF0E75CB3 Time : 0.0 sec. user=mdettweiler [2018-08-22 12:23:09] 609*2^1522020-1 is not prime. Res64: 8E3CCCB091C7BEB9 Time : 0.0 sec. user=mdettweiler [2018-08-22 12:23:10] 779*2^1522020-1 is not prime. Res64: 5E88C471DD0E8B78 Time : 0.0 sec. user=mdettweiler [2018-08-22 12:23:10] 789*2^1522020-1 is not prime. Res64: 0522619B8855C893 Time : 0.0 sec. user=mdettweiler [2018-08-22 12:23:11] 825*2^1522020-1 is not prime. Res64: 92FD34FDC38A1A8F Time : 0.0 sec. user=mdettweiler [2018-08-22 12:23:11] 873*2^1522020-1 is not prime. Res64: 68173A28B2722EF5 Time : 0.0 sec. user=mdettweiler [2018-08-22 12:32:20] 875*2^1522020-1 is not prime. Res64: DD48CE89317F226A Time : 0.0 sec. user=mdettweiler [2018-08-22 12:32:21] 893*2^1522020-1 is not prime. Res64: 93E04169A52AF518 Time : 0.0 sec. user=mdettweiler [2018-08-22 12:32:21] 927*2^1522020-1 is not prime. Res64: DFCA7EE0CEE303C4 Time : 0.0 sec. user=mdettweiler [2018-08-22 12:32:21] 975*2^1522020-1 is not prime. Res64: BA44954B2D7A6473 Time : 0.0 sec. user=mdettweiler [2018-08-22 12:32:22] 619*2^1522021-1 is not prime. Res64: 64592633F503EDAB Time : 0.0 sec. user=mdettweiler [2018-08-22 13:16:00] 873*2^1522022-1 is not prime. Res64: 14F4987C5C608F7B Time : 0.0 sec. user=mdettweiler [2018-08-22 13:16:01] 911*2^1522022-1 is not prime. Res64: B6EC9909DBB04A7C Time : 0.0 sec. user=mdettweiler [2018-08-22 13:16:01] 945*2^1522022-1 is not prime. Res64: 23382D52F909364F Time : 0.0 sec. user=mdettweiler [2018-08-22 13:16:02] 963*2^1522022-1 is not prime. Res64: 0074129C6D5CC264 Time : 0.0 sec. user=mdettweiler [2018-08-22 13:16:02] 987*2^1522022-1 is not prime. Res64: 9F4B83D153859067 Time : 0.0 sec. user=mdettweiler [2018-08-22 13:31:02] 949*2^1522023-1 is not prime. Res64: A1F2E7F5940BFEEF Time : 0.0 sec. user=mdettweiler [2018-08-22 13:31:03] 963*2^1522023-1 is not prime. Res64: 926E031B6A319A4F Time : 0.0 sec. user=mdettweiler [2018-08-22 13:31:03] 985*2^1522023-1 is not prime. Res64: B0C382A58E705182 Time : 0.0 sec. user=mdettweiler [2018-08-22 13:31:04] 623*2^1522024-1 is not prime. Res64: 1D70D5D310FA8656 Time : 0.0 sec. user=mdettweiler [2018-08-22 13:31:04] 747*2^1522024-1 is not prime. Res64: 307884A822AFF483 Time : 0.0 sec. user=mdettweiler [2018-08-22 15:00:45] 765*2^1522024-1 is not prime. Res64: F216A5607EFF6CD7 Time : 0.0 sec. user=mdettweiler [2018-08-22 15:00:46] 819*2^1522024-1 is not prime. Res64: 5114FF413D452CC7 Time : 0.0 sec. user=mdettweiler [2018-08-22 15:00:47] 873*2^1522024-1 is not prime. Res64: EE1D1532BF37912C Time : 0.0 sec. user=mdettweiler [2018-08-22 15:00:48] 965*2^1522024-1 is not prime. Res64: D6C127CF2D0B39FB Time : 0.0 sec. user=mdettweiler [2018-08-22 15:00:48] 729*2^1522025-1 is not prime. Res64: 7B6A617D9A657163 Time : 0.0 sec. user=mdettweiler [2018-08-22 16:08:40] 861*2^1522025-1 is not prime. Res64: D77405FB94F32051 Time : 0.0 sec. user=mdettweiler [2018-08-22 16:08:41] 867*2^1522025-1 is not prime. Res64: 9929406DAE304EB4 Time : 0.0 sec. user=mdettweiler [2018-08-22 16:08:41] 955*2^1522025-1 is not prime. Res64: 30883F8763858381 Time : 0.0 sec. user=mdettweiler [2018-08-22 16:08:42] 677*2^1522026-1 is not prime. Res64: CAB54C1779C85FA5 Time : 0.0 sec. user=mdettweiler [2018-08-22 16:08:42] 707*2^1522026-1 is not prime. Res64: E5B8E070D6A09F72 Time : 0.0 sec. user=mdettweiler [2018-08-22 17:22:07] 711*2^1522026-1 is not prime. Res64: 5DA9897603113178 Time : 0.0 sec. user=mdettweiler [2018-08-22 17:22:08] 765*2^1522026-1 is not prime. Res64: F5B799C08B2CDEAC Time : 0.0 sec. user=mdettweiler [2018-08-22 17:22:08] 933*2^1522026-1 is not prime. Res64: 1A34ABD62A872AF4 Time : 0.0 sec. user=mdettweiler [2018-08-22 17:22:09] 983*2^1522026-1 is not prime. Res64: 4669130203F80697 Time : 0.0 sec. user=mdettweiler [2018-08-22 17:22:09] 681*2^1522027-1 is not prime. Res64: 625582792489AB9F Time : 0.0 sec. user=mdettweiler [2018-08-22 18:21:41] 691*2^1522027-1 is not prime. Res64: 497825B263CB3588 Time : 0.0 sec. user=mdettweiler [2018-08-22 18:21:41] 693*2^1522027-1 is not prime. Res64: 3D6CB77B749A8192 Time : 0.0 sec. user=mdettweiler [2018-08-22 18:21:42] 769*2^1522027-1 is not prime. Res64: C07E1F40E425C82A Time : 0.0 sec. user=mdettweiler [2018-08-22 18:21:42] 775*2^1522027-1 is not prime. Res64: C36562EAC9AC5F89 Time : 0.0 sec. user=mdettweiler [2018-08-22 18:21:42] 945*2^1522027-1 is not prime. Res64: C69706E33E8495B7 Time : 0.0 sec. user=mdettweiler [2018-08-22 19:19:31] 633*2^1522028-1 is not prime. Res64: 7F0C7898ACCD6B82 Time : 0.0 sec. user=mdettweiler [2018-08-22 19:19:32] 635*2^1522028-1 is not prime. Res64: B91DD5D06D23C10F Time : 0.0 sec. user=mdettweiler [2018-08-22 19:19:32] 699*2^1522028-1 is not prime. Res64: AD9D13AB104399EC Time : 0.0 sec. user=mdettweiler [2018-08-22 19:19:33] 707*2^1522028-1 is not prime. Res64: 5440215B935DDF8D Time : 0.0 sec. user=mdettweiler [2018-08-22 19:19:33] 753*2^1522028-1 is not prime. Res64: 22FD1BFB447FC59D Time : 0.0 sec. user=mdettweiler [2018-08-22 20:16:03] 755*2^1522028-1 is not prime. Res64: 5FBB79CF24F0C108 Time : 0.0 sec. user=mdettweiler [2018-08-22 20:16:03] 797*2^1522028-1 is not prime. Res64: 97A7B911AE1FECB4 Time : 0.0 sec. user=mdettweiler [2018-08-22 20:16:04] 825*2^1522028-1 is not prime. Res64: 1562BD3B835BB1B1 Time : 0.0 sec. user=mdettweiler [2018-08-22 20:16:04] 923*2^1522028-1 is not prime. Res64: 68842830129B10F8 Time : 0.0 sec. user=mdettweiler [2018-08-22 20:16:05] 987*2^1522028-1 is not prime. Res64: 4395A91D3671EE58 Time : 0.0 sec. user=mdettweiler [2018-08-22 21:12:04] 621*2^1522029-1 is not prime. Res64: 2F7098178FF950A4 Time : 0.0 sec. user=mdettweiler [2018-08-22 21:12:04] 649*2^1522029-1 is not prime. Res64: 56000FC84CAE8D2F Time : 0.0 sec. user=mdettweiler [2018-08-22 21:12:05] 655*2^1522029-1 is not prime. Res64: F21A78B77A7748E8 Time : 0.0 sec. user=mdettweiler [2018-08-22 21:12:05] 667*2^1522029-1 is not prime. Res64: 9B01753ACD2D7B1A Time : 0.0 sec. user=mdettweiler [2018-08-22 21:12:06] 675*2^1522029-1 is not prime. Res64: 9EC00BF52D34C8E5 Time : 0.0 sec. user=mdettweiler [2018-08-22 21:12:35] 619*2^1522023-1 is not prime. Res64: D7B773A60D5B27BE Time : 0.0 sec. user=mdettweiler [2018-08-22 21:12:35] 703*2^1522023-1 is not prime. Res64: CE459894323EA660 Time : 0.0 sec. user=mdettweiler [2018-08-22 21:12:36] 751*2^1522023-1 is not prime. Res64: CA3B7E90601D08D3 Time : 0.0 sec. user=mdettweiler [2018-08-22 21:12:37] 795*2^1522023-1 is not prime. Res64: B67554F043EF921F Time : 0.0 sec. user=mdettweiler [2018-08-22 21:12:37] 849*2^1522023-1 is not prime. Res64: 2D4B655809A79329 Time : 0.0 sec. user=mdettweiler [2018-08-22 21:29:53] 777*2^1522021-1 is not prime. Res64: 4F76727F410CE23A Time : 0.0 sec. user=mdettweiler [2018-08-22 21:29:54] 805*2^1522021-1 is not prime. Res64: 6690BC6F768BE565 Time : 0.0 sec. user=mdettweiler [2018-08-22 21:29:54] 955*2^1522021-1 is not prime. Res64: B876F7CE11696304 Time : 0.0 sec. user=mdettweiler [2018-08-22 21:29:55] 645*2^1522022-1 is not prime. Res64: 2F636358CCD6A73F Time : 0.0 sec. user=mdettweiler [2018-08-22 21:29:55] 711*2^1522022-1 is not prime. Res64: 29BCED564045A6C7 Time : 0.0 sec. user=mdettweiler [2018-08-22 21:44:20] 747*2^1522029-1 is not prime. Res64: 57851FACD24835CB Time : 0.0 sec. user=mdettweiler [2018-08-22 21:44:20] 795*2^1522029-1 is not prime. Res64: 7348B829A43C104D Time : 0.0 sec. user=mdettweiler [2018-08-22 21:44:21] 945*2^1522029-1 is not prime. Res64: F3C46289C2CE720F Time : 0.0 sec. user=mdettweiler [2018-08-22 21:44:21] 975*2^1522029-1 is not prime. Res64: EBC66F2A015D93C7 Time : 0.0 sec. user=mdettweiler [2018-08-22 21:44:21] 603*2^1522030-1 is not prime. Res64: 6E93B2EF162B0926 Time : 0.0 sec. user=mdettweiler [2018-08-22 22:03:08] 623*2^1522030-1 is not prime. Res64: 62E3A4F741B5E6AF Time : 0.0 sec. user=mdettweiler [2018-08-22 22:03:10] 723*2^1522030-1 is not prime. Res64: 8A112C9E8E8A8689 Time : 0.0 sec. user=mdettweiler [2018-08-22 22:03:12] 821*2^1522030-1 is not prime. Res64: 006741158D82708A Time : 0.0 sec. user=mdettweiler [2018-08-22 22:03:13] 945*2^1522030-1 is not prime. Res64: 9A9A1DCFF822C108 Time : 0.0 sec. user=mdettweiler [2018-08-22 22:03:15] 759*2^1522031-1 is not prime. Res64: FC4F9B78502C9B1B Time : 0.0 sec. user=mdettweiler [2018-08-22 22:03:40] 813*2^1522031-1 is not prime. Res64: 3575D90BC8C1F619 Time : 0.0 sec. user=mdettweiler [2018-08-22 22:03:41] 855*2^1522031-1 is not prime. Res64: F13A5585CCDE26DF Time : 0.0 sec. user=mdettweiler [2018-08-22 22:03:42] 871*2^1522031-1 is not prime. Res64: AB9260AF60EB469E Time : 0.0 sec. user=mdettweiler [2018-08-22 22:03:43] 885*2^1522031-1 is not prime. Res64: 122BA260CE3982BA Time : 0.0 sec. user=mdettweiler [2018-08-22 22:03:44] 943*2^1522031-1 is not prime. Res64: 40122808B9A056A9 Time : 0.0 sec. user=mdettweiler [2018-08-22 22:20:44] 979*2^1522031-1 is not prime. Res64: BF928B53CC81D85C Time : 0.0 sec. user=mdettweiler [2018-08-22 22:20:44] 993*2^1522031-1 is not prime. Res64: FE8BE27C4F942AC6 Time : 0.0 sec. user=mdettweiler [2018-08-22 22:20:44] 747*2^1522032-1 is not prime. Res64: 3872B46AF5E09435 Time : 0.0 sec. user=mdettweiler [2018-08-22 22:20:45] 843*2^1522032-1 is not prime. Res64: 3C8F5A49FC2D9F65 Time : 0.0 sec. user=mdettweiler [2018-08-22 22:20:45] 863*2^1522032-1 is not prime. Res64: FA67B3C4D4F34D15 Time : 0.0 sec. user=mdettweiler [2018-08-22 22:35:12] 899*2^1522032-1 is not prime. Res64: 62D329E0FD8F2897 Time : 0.0 sec. user=mdettweiler [2018-08-22 22:35:13] 977*2^1522032-1 is not prime. Res64: 6DF1E8C8A1DA3CD7 Time : 0.0 sec. user=mdettweiler [2018-08-22 22:35:13] 619*2^1522033-1 is not prime. Res64: 6A1223D1FE0C83B1 Time : 0.0 sec. user=mdettweiler [2018-08-22 22:35:13] 691*2^1522033-1 is not prime. Res64: 2DEB087840EDDCD0 Time : 0.0 sec. user=mdettweiler [2018-08-22 22:35:14] 769*2^1522033-1 is not prime. Res64: 9C10B73FA087472B Time : 0.0 sec. user=mdettweiler [2018-08-22 22:54:24] 877*2^1522033-1 is not prime. Res64: C75612523D11B547 Time : 0.0 sec. user=mdettweiler [2018-08-22 22:54:25] 895*2^1522033-1 is not prime. Res64: DB2DD6E27CBC4C01 Time : 0.0 sec. user=mdettweiler [2018-08-22 22:54:25] 981*2^1522033-1 is not prime. Res64: 16E2760A073C00E9 Time : 0.0 sec. user=mdettweiler [2018-08-22 22:54:25] 677*2^1522034-1 is not prime. Res64: 28B3A7180C96839E Time : 0.0 sec. user=mdettweiler [2018-08-22 22:54:26] 743*2^1522034-1 is not prime. Res64: B5E05570A6712EF7 Time : 0.0 sec. user=mdettweiler [2018-08-22 22:54:35] 783*2^1522034-1 is not prime. Res64: 48AF0B37BFDE2B1A Time : 0.0 sec. user=mdettweiler [2018-08-22 22:54:35] 851*2^1522034-1 is not prime. Res64: B3E15907203381B0 Time : 0.0 sec. user=mdettweiler [2018-08-22 22:54:36] 927*2^1522034-1 is not prime. Res64: 25C0D683E46D221A Time : 0.0 sec. user=mdettweiler [2018-08-22 22:54:36] 945*2^1522034-1 is not prime. Res64: 56D2DE1E993C70ED Time : 0.0 sec. user=mdettweiler [2018-08-22 22:54:36] 633*2^1522035-1 is not prime. Res64: 8E3E552D27397609 Time : 0.0 sec. user=mdettweiler [2018-08-22 23:12:15] 793*2^1522035-1 is not prime. Res64: 022CF5AC79F50A07 Time : 0.0 sec. user=mdettweiler [2018-08-22 23:12:16] 885*2^1522035-1 is not prime. Res64: 7E7DC5F5A33CB336 Time : 0.0 sec. user=mdettweiler [2018-08-22 23:12:16] 999*2^1522035-1 is not prime. Res64: 3D724399154877DD Time : 0.0 sec. user=mdettweiler [2018-08-22 23:12:17] 653*2^1522036-1 is not prime. Res64: 6ECC17F79704F960 Time : 0.0 sec. user=mdettweiler [2018-08-22 23:12:17] 723*2^1522036-1 is not prime. Res64: F3B900142610EA4F Time : 0.0 sec. user=mdettweiler [2018-08-22 23:26:24] 777*2^1522036-1 is not prime. Res64: C6B07874339427E4 Time : 0.0 sec. user=mdettweiler [2018-08-22 23:26:24] 813*2^1522036-1 is not prime. Res64: 200D87C609FFE266 Time : 0.0 sec. user=mdettweiler [2018-08-22 23:26:24] 909*2^1522036-1 is not prime. Res64: 34FE7687B2560DC2 Time : 0.0 sec. user=mdettweiler [2018-08-22 23:26:25] 999*2^1522036-1 is not prime. Res64: ED8959BFA194EFC4 Time : 0.0 sec. user=mdettweiler [2018-08-22 23:26:25] 601*2^1522037-1 is not prime. Res64: BB5553C170A5FAB0 Time : 0.0 sec. user=mdettweiler [2018-08-22 23:46:01] 627*2^1522037-1 is not prime. Res64: 326C1ABC3FA37EB8 Time : 0.0 sec. user=mdettweiler [2018-08-22 23:46:02] 669*2^1522037-1 is not prime. Res64: 0D676325A29DB7F9 Time : 0.0 sec. user=mdettweiler [2018-08-22 23:46:02] 715*2^1522037-1 is not prime. Res64: CA090FA502608706 Time : 0.0 sec. user=mdettweiler [2018-08-22 23:46:02] 837*2^1522037-1 is not prime. Res64: 29BBBF4EB5045429 Time : 0.0 sec. user=mdettweiler [2018-08-22 23:46:03] 865*2^1522037-1 is not prime. Res64: F5D2E23317AE1064 Time : 0.0 sec. user=mdettweiler [2018-08-22 23:46:07] 949*2^1522037-1 is not prime. Res64: C2438D2FC6B711C8 Time : 0.0 sec. user=mdettweiler [2018-08-22 23:46:08] 981*2^1522037-1 is not prime. Res64: 0988B843AD2F941C Time : 0.0 sec. user=mdettweiler [2018-08-22 23:46:08] 985*2^1522037-1 is not prime. Res64: B1E5A78D9302F977 Time : 0.0 sec. user=mdettweiler [2018-08-22 23:46:09] 657*2^1522038-1 is not prime. Res64: B01E48F8B8710C8A Time : 0.0 sec. user=mdettweiler [2018-08-22 23:46:09] 707*2^1522038-1 is not prime. Res64: 0C268735907BF0CF Time : 0.0 sec.