user=mdettweiler [2018-08-11 00:15:13] 657*2^1520973-1 is not prime. Res64: 427BA282BDC4CF53 Time : 0.0 sec. user=mdettweiler [2018-08-11 00:15:14] 727*2^1520973-1 is not prime. Res64: F52B42CB46FDD609 Time : 0.0 sec. user=mdettweiler [2018-08-11 00:15:14] 751*2^1520973-1 is not prime. Res64: 1D1EA0885708CD34 Time : 0.0 sec. user=mdettweiler [2018-08-11 00:15:15] 769*2^1520973-1 is not prime. Res64: 46D391E0D13B2EC7 Time : 0.0 sec. user=mdettweiler [2018-08-11 00:15:15] 805*2^1520973-1 is not prime. Res64: 67DFB8218A5C604A Time : 0.0 sec. user=mdettweiler [2018-08-11 00:39:37] 829*2^1520973-1 is not prime. Res64: 70E1F9A6001545EF Time : 0.0 sec. user=mdettweiler [2018-08-11 00:39:37] 919*2^1520973-1 is not prime. Res64: CCD405B685CE4819 Time : 0.0 sec. user=mdettweiler [2018-08-11 00:39:38] 999*2^1520973-1 is not prime. Res64: 9EF4A750AE8BF7EE Time : 0.0 sec. user=mdettweiler [2018-08-11 00:39:38] 663*2^1520974-1 is not prime. Res64: 02D322B4C4DFE62E Time : 0.0 sec. user=mdettweiler [2018-08-11 00:39:38] 707*2^1520974-1 is not prime. Res64: 1E5C53E452103840 Time : 0.0 sec. user=mdettweiler [2018-08-11 00:51:26] 755*2^1520974-1 is not prime. Res64: B67523C31B55B3E5 Time : 0.0 sec. user=mdettweiler [2018-08-11 00:51:26] 765*2^1520974-1 is not prime. Res64: CE686D97B06BA3DB Time : 0.0 sec. user=mdettweiler [2018-08-11 00:51:26] 815*2^1520974-1 is not prime. Res64: 96747990EAC5DB6D Time : 0.0 sec. user=mdettweiler [2018-08-11 00:51:27] 915*2^1520974-1 is not prime. Res64: 693ECB5ACF0E96C5 Time : 0.0 sec. user=mdettweiler [2018-08-11 00:51:27] 917*2^1520974-1 is not prime. Res64: B26FD51F977CDA4C Time : 0.0 sec. user=mdettweiler [2018-08-11 00:51:35] 923*2^1520974-1 is not prime. Res64: 401FC50920BC1981 Time : 0.0 sec. user=mdettweiler [2018-08-11 00:51:36] 987*2^1520974-1 is not prime. Res64: F228B7575289A8BF Time : 0.0 sec. user=mdettweiler [2018-08-11 00:51:36] 1001*2^1520974-1 is not prime. Res64: A3E1C021AEC8D602 Time : 0.0 sec. user=mdettweiler [2018-08-11 00:51:36] 693*2^1520975-1 is not prime. Res64: 30156EA5A183DE98 Time : 0.0 sec. user=mdettweiler [2018-08-11 00:51:37] 771*2^1520975-1 is not prime. Res64: C7AF95C82F79B54C Time : 0.0 sec. user=mdettweiler [2018-08-11 01:06:08] 969*2^1520975-1 is not prime. Res64: 54953B3CF70EC012 Time : 0.0 sec. user=mdettweiler [2018-08-11 01:06:10] 991*2^1520975-1 is not prime. Res64: DF96188BB2C7FADC Time : 0.0 sec. user=mdettweiler [2018-08-11 01:06:10] 657*2^1520976-1 is not prime. Res64: 55580AD08F358B46 Time : 0.0 sec. user=mdettweiler [2018-08-11 01:06:11] 735*2^1520976-1 is not prime. Res64: 2FF2DC624C6E1ABE Time : 0.0 sec. user=mdettweiler [2018-08-11 01:06:11] 773*2^1520976-1 is not prime. Res64: 4725C3C0D5942E15 Time : 0.0 sec. user=mdettweiler [2018-08-11 01:30:27] 849*2^1520976-1 is not prime. Res64: F688BDB23166A8E2 Time : 0.0 sec. user=mdettweiler [2018-08-11 01:30:28] 905*2^1520976-1 is not prime. Res64: 626125A3BD6C2856 Time : 0.0 sec. user=mdettweiler [2018-08-11 01:30:29] 999*2^1520976-1 is not prime. Res64: B700DFA3ACD0026D Time : 0.0 sec. user=mdettweiler [2018-08-11 01:30:30] 609*2^1520977-1 is not prime. Res64: 1255DFB3058501D0 Time : 0.0 sec. user=mdettweiler [2018-08-11 01:30:31] 771*2^1520977-1 is not prime. Res64: CAC1E2ED06A93D42 Time : 0.0 sec. user=mdettweiler [2018-08-11 01:42:05] 841*2^1520977-1 is not prime. Res64: 317CD3F0EA117BA1 Time : 0.0 sec. user=mdettweiler [2018-08-11 01:42:05] 885*2^1520977-1 is not prime. Res64: B98D94CBBD2E86E6 Time : 0.0 sec. user=mdettweiler [2018-08-11 01:42:06] 901*2^1520977-1 is not prime. Res64: 8A17576AC0332FDB Time : 0.0 sec. user=mdettweiler [2018-08-11 01:42:06] 939*2^1520977-1 is not prime. Res64: 05235BBAC188164A Time : 0.0 sec. user=mdettweiler [2018-08-11 01:42:07] 617*2^1520978-1 is not prime. Res64: 09ED4C54C542B7F1 Time : 0.0 sec. user=mdettweiler [2018-08-11 01:42:36] 671*2^1520978-1 is not prime. Res64: 101D63BC0BEA3508 Time : 0.0 sec. user=mdettweiler [2018-08-11 01:42:37] 711*2^1520978-1 is not prime. Res64: 421F06B14FDEB1B8 Time : 0.0 sec. user=mdettweiler [2018-08-11 01:42:37] 743*2^1520978-1 is not prime. Res64: B0EB7CFB30C3B8F3 Time : 0.0 sec. user=mdettweiler [2018-08-11 01:42:38] 755*2^1520978-1 is not prime. Res64: E80CD013A536521E Time : 0.0 sec. user=mdettweiler [2018-08-11 01:42:38] 771*2^1520978-1 is not prime. Res64: EE5E9FB806BE62DA Time : 0.0 sec. user=mdettweiler [2018-08-11 01:57:11] 861*2^1520978-1 is not prime. Res64: 049FCA2B4C2A8166 Time : 0.0 sec. user=mdettweiler [2018-08-11 01:57:12] 619*2^1520979-1 is not prime. Res64: 1AF3C4FC801D0E82 Time : 0.0 sec. user=mdettweiler [2018-08-11 01:57:12] 795*2^1520979-1 is not prime. Res64: F2A0D860CF5A9D5A Time : 0.0 sec. user=mdettweiler [2018-08-11 01:57:13] 823*2^1520979-1 is not prime. Res64: 09F68FE67011DCCA Time : 0.0 sec. user=mdettweiler [2018-08-11 01:57:13] 909*2^1520979-1 is not prime. Res64: 2CCED4EB276FD7CD Time : 0.0 sec. user=mdettweiler [2018-08-11 02:21:23] 931*2^1520979-1 is not prime. Res64: 9156685580C1F3AF Time : 0.0 sec. user=mdettweiler [2018-08-11 02:21:24] 955*2^1520979-1 is not prime. Res64: 3B282BE4D0B40C23 Time : 0.0 sec. user=mdettweiler [2018-08-11 02:21:24] 785*2^1520980-1 is not prime. Res64: 2573CFB8F50FFBAD Time : 0.0 sec. user=mdettweiler [2018-08-11 02:21:25] 833*2^1520980-1 is not prime. Res64: 68341092383E01E9 Time : 0.0 sec. user=mdettweiler [2018-08-11 02:21:25] 873*2^1520980-1 is not prime. Res64: FD9F266D4ABCE5B8 Time : 0.0 sec. user=mdettweiler [2018-08-11 02:33:00] 983*2^1520980-1 is not prime. Res64: C2C2E48D93F3955D Time : 0.0 sec. user=mdettweiler [2018-08-11 02:33:01] 615*2^1520981-1 is not prime. Res64: AF80F95EC1EBF28E Time : 0.0 sec. user=mdettweiler [2018-08-11 02:33:02] 631*2^1520981-1 is not prime. Res64: 8F8669007B68651F Time : 0.0 sec. user=mdettweiler [2018-08-11 02:33:02] 649*2^1520981-1 is not prime. Res64: 1A89F516E0438CBB Time : 0.0 sec. user=mdettweiler [2018-08-11 02:33:03] 651*2^1520981-1 is not prime. Res64: 801545C866355CA9 Time : 0.0 sec. user=mdettweiler [2018-08-11 02:33:32] 711*2^1520981-1 is not prime. Res64: 664947CBB4A91C24 Time : 0.0 sec. user=mdettweiler [2018-08-11 02:33:32] 735*2^1520981-1 is not prime. Res64: 9136641ABA8A9D52 Time : 0.0 sec. user=mdettweiler [2018-08-11 02:33:33] 801*2^1520981-1 is not prime. Res64: 3A90669DA250DA1B Time : 0.0 sec. user=mdettweiler [2018-08-11 02:33:33] 811*2^1520981-1 is not prime. Res64: C4719A5C1D7D0A87 Time : 0.0 sec. user=mdettweiler [2018-08-11 02:33:33] 987*2^1520981-1 is not prime. Res64: 96AC7B7567589D1A Time : 0.0 sec. user=mdettweiler [2018-08-11 02:49:22] 683*2^1520982-1 is not prime. Res64: 2F1A4512BF344448 Time : 0.0 sec. user=mdettweiler [2018-08-11 02:49:22] 711*2^1520982-1 is not prime. Res64: ADD4A8054A2C6E9E Time : 0.0 sec. user=mdettweiler [2018-08-11 02:49:22] 713*2^1520982-1 is not prime. Res64: 3634653C8F88B43C Time : 0.0 sec. user=mdettweiler [2018-08-11 02:49:23] 821*2^1520982-1 is not prime. Res64: D25279CB05ED78E1 Time : 0.0 sec. user=mdettweiler [2018-08-11 02:49:23] 619*2^1520983-1 is not prime. Res64: 63B3E20636FB892B Time : 0.0 sec. user=mdettweiler [2018-08-11 03:13:39] 729*2^1520983-1 is not prime. Res64: F7F2A3D33D4605A0 Time : 0.0 sec. user=mdettweiler [2018-08-11 03:13:39] 861*2^1520983-1 is not prime. Res64: 4C6C54181F46F813 Time : 0.0 sec. user=mdettweiler [2018-08-11 03:13:39] 951*2^1520983-1 is not prime. Res64: 7CFF6DC961E4DBA3 Time : 0.0 sec. user=mdettweiler [2018-08-11 03:13:40] 999*2^1520983-1 is not prime. Res64: F885A5CFAA7EAA0A Time : 0.0 sec. user=mdettweiler [2018-08-11 03:13:40] 617*2^1520984-1 is not prime. Res64: 98ED97CB88E2918E Time : 0.0 sec. user=mdettweiler [2018-08-11 03:25:14] 663*2^1520984-1 is not prime. Res64: EE78D2438BC60493 Time : 0.0 sec. user=mdettweiler [2018-08-11 03:25:15] 825*2^1520984-1 is not prime. Res64: 353AEB3556CF3246 Time : 0.0 sec. user=mdettweiler [2018-08-11 03:25:15] 855*2^1520984-1 is not prime. Res64: FE38D13332A4172F Time : 0.0 sec. user=mdettweiler [2018-08-11 03:25:16] 945*2^1520984-1 is not prime. Res64: 69AC45F29E1E3BEF Time : 0.0 sec. user=mdettweiler [2018-08-11 03:25:16] 611*2^1520986-1 is not prime. Res64: D2BE1A6927720313 Time : 0.0 sec. user=mdettweiler [2018-08-11 03:25:32] 651*2^1520986-1 is not prime. Res64: 53DF5C1C79AE2BC9 Time : 0.0 sec. user=mdettweiler [2018-08-11 03:25:33] 657*2^1520986-1 is not prime. Res64: 14EE26577D7F972E Time : 0.0 sec. user=mdettweiler [2018-08-11 03:25:34] 825*2^1520986-1 is not prime. Res64: 8F114DDA1FE38FB8 Time : 0.0 sec. user=mdettweiler [2018-08-11 03:25:34] 843*2^1520986-1 is not prime. Res64: 5B359F6A74A543B6 Time : 0.0 sec. user=mdettweiler [2018-08-11 03:25:35] 917*2^1520986-1 is not prime. Res64: AAF93A365AE7827D Time : 0.0 sec. user=mdettweiler [2018-08-11 03:40:34] 957*2^1520986-1 is not prime. Res64: BEECE4B6C44675BA Time : 0.0 sec. user=mdettweiler [2018-08-11 03:40:35] 675*2^1520987-1 is not prime. Res64: A02C56F32C4192B8 Time : 0.0 sec. user=mdettweiler [2018-08-11 03:40:36] 705*2^1520987-1 is not prime. Res64: 267C23E3DC53566D Time : 0.0 sec. user=mdettweiler [2018-08-11 03:40:37] 859*2^1520987-1 is not prime. Res64: 9E61F7D2AE21DED8 Time : 0.0 sec. user=mdettweiler [2018-08-11 03:40:39] 973*2^1520987-1 is not prime. Res64: 8E823CB8CC1AA4F3 Time : 0.0 sec. user=mdettweiler [2018-08-11 04:04:33] 979*2^1520987-1 is not prime. Res64: 77E4A5FB305C5FAB Time : 0.0 sec. user=mdettweiler [2018-08-11 04:04:36] 633*2^1520988-1 is not prime. Res64: C97F4DC2CCBAF9CE Time : 0.0 sec. user=mdettweiler [2018-08-11 04:04:37] 647*2^1520988-1 is not prime. Res64: 11E27FAC50646D01 Time : 0.0 sec. user=mdettweiler [2018-08-11 04:04:40] 837*2^1520988-1 is not prime. Res64: 2A4217BE7C27BA32 Time : 0.0 sec. user=mdettweiler [2018-08-11 04:04:43] 977*2^1520988-1 is not prime. Res64: BF6933E2C0F8832F Time : 0.0 sec. user=mdettweiler [2018-08-11 04:16:37] 621*2^1520989-1 is not prime. Res64: 70A60BB7423AA66A Time : 0.0 sec. user=mdettweiler [2018-08-11 04:16:38] 649*2^1520989-1 is not prime. Res64: 1E8FE2D895CC6C05 Time : 0.0 sec. user=mdettweiler [2018-08-11 04:16:38] 729*2^1520989-1 is not prime. Res64: AE3BC1B328BF70DB Time : 0.0 sec. user=mdettweiler [2018-08-11 04:16:39] 741*2^1520989-1 is not prime. Res64: E11B216D46C8CC2C Time : 0.0 sec. user=mdettweiler [2018-08-11 04:16:39] 771*2^1520989-1 is not prime. Res64: 145E5BC5A1AE7334 Time : 0.0 sec. user=mdettweiler [2018-08-11 04:16:44] 817*2^1520989-1 is not prime. Res64: 166A3C51D7136800 Time : 0.0 sec. user=mdettweiler [2018-08-11 04:16:45] 831*2^1520989-1 is not prime. Res64: E8C8D3EEA49CC50C Time : 0.0 sec. user=mdettweiler [2018-08-11 04:16:46] 867*2^1520989-1 is not prime. Res64: 5256FA969181B0FF Time : 0.0 sec. user=mdettweiler [2018-08-11 04:16:46] 999*2^1520989-1 is not prime. Res64: FF49CE0ED02F6BC5 Time : 0.0 sec. user=mdettweiler [2018-08-11 04:16:46] 801*2^1520990-1 is not prime. Res64: 13EF9B946C1FFE60 Time : 0.0 sec. user=mdettweiler [2018-08-11 04:32:32] 827*2^1520990-1 is not prime. Res64: D2A0E1F19A1EB378 Time : 0.0 sec. user=mdettweiler [2018-08-11 04:32:32] 833*2^1520990-1 is not prime. Res64: 788633D421A1DA1F Time : 0.0 sec. user=mdettweiler [2018-08-11 04:32:33] 875*2^1520990-1 is not prime. Res64: EF424CC4DAE8DAB4 Time : 0.0 sec. user=mdettweiler [2018-08-11 04:32:33] 885*2^1520990-1 is not prime. Res64: D2D691B3075C12B8 Time : 0.0 sec. user=mdettweiler [2018-08-11 04:32:34] 887*2^1520990-1 is not prime. Res64: E396AF1BA039F74E Time : 0.0 sec. user=mdettweiler [2018-08-11 04:56:47] 965*2^1520990-1 is not prime. Res64: E7821E713A81E52C Time : 0.0 sec. user=mdettweiler [2018-08-11 04:56:48] 775*2^1520991-1 is not prime. Res64: 7E910CC1ABC64517 Time : 0.0 sec. user=mdettweiler [2018-08-11 04:56:48] 805*2^1520991-1 is not prime. Res64: F38CDE797DFFBD27 Time : 0.0 sec. user=mdettweiler [2018-08-11 04:56:49] 879*2^1520991-1 is not prime. Res64: 52B3158F02D1B5A0 Time : 0.0 sec. user=mdettweiler [2018-08-11 04:56:49] 909*2^1520991-1 is not prime. Res64: E03CBAD389A14695 Time : 0.0 sec. user=mdettweiler [2018-08-11 05:07:07] 603*2^1520992-1 is not prime. Res64: D202653E20784BB5 Time : 0.0 sec. user=mdettweiler [2018-08-11 05:07:09] 675*2^1520992-1 is not prime. Res64: CF02A03E137C1903 Time : 0.0 sec. user=mdettweiler [2018-08-11 05:07:11] 705*2^1520992-1 is not prime. Res64: 0AF0DA9D4B9ADA02 Time : 0.0 sec. user=mdettweiler [2018-08-11 05:07:11] 743*2^1520992-1 is not prime. Res64: 9228DC7EB400F7A6 Time : 0.0 sec. user=mdettweiler [2018-08-11 05:07:12] 863*2^1520992-1 is not prime. Res64: 3F145E91851C7258 Time : 0.0 sec. user=mdettweiler [2018-08-11 05:07:44] 929*2^1520992-1 is not prime. Res64: 0AF322EC9FB0D101 Time : 0.0 sec. user=mdettweiler [2018-08-11 05:07:45] 939*2^1520992-1 is not prime. Res64: 01BCF65FC25125C0 Time : 0.0 sec. user=mdettweiler [2018-08-11 05:07:47] 615*2^1520993-1 is not prime. Res64: C9347DD96A953446 Time : 0.0 sec. user=mdettweiler [2018-08-11 05:07:48] 631*2^1520993-1 is not prime. Res64: FDE8711DAFD87ACE Time : 0.0 sec. user=mdettweiler [2018-08-11 05:07:49] 637*2^1520993-1 is not prime. Res64: 149E7CFC1C412691 Time : 0.0 sec. user=mdettweiler [2018-08-11 05:23:25] 675*2^1520993-1 is not prime. Res64: F149A63E0F3A31E3 Time : 0.0 sec. user=mdettweiler [2018-08-11 05:23:26] 691*2^1520993-1 is not prime. Res64: D82950FE2F9A986A Time : 0.0 sec. user=mdettweiler [2018-08-11 05:23:26] 787*2^1520993-1 is not prime. Res64: 491FB082C2EDDC8C Time : 0.0 sec. user=mdettweiler [2018-08-11 05:23:26] 819*2^1520993-1 is not prime. Res64: 1679F0F0FAF707F6 Time : 0.0 sec. user=mdettweiler [2018-08-11 05:23:27] 829*2^1520993-1 is not prime. Res64: 77E2169E57BF31D1 Time : 0.0 sec. user=mdettweiler [2018-08-11 05:47:48] 861*2^1520993-1 is not prime. Res64: C24654C54D5AECF3 Time : 0.0 sec. user=mdettweiler [2018-08-11 05:47:48] 889*2^1520993-1 is not prime. Res64: 6255F7D3E6B41061 Time : 0.0 sec. user=mdettweiler [2018-08-11 05:47:48] 949*2^1520993-1 is not prime. Res64: 399A1BD03E3292A9 Time : 0.0 sec. user=mdettweiler [2018-08-11 05:47:49] 987*2^1520993-1 is not prime. Res64: 622383F187EA5944 Time : 0.0 sec. user=mdettweiler [2018-08-11 05:47:49] 991*2^1520993-1 is not prime. Res64: 7D73AFA27273B162 Time : 0.0 sec. user=mdettweiler [2018-08-11 05:58:19] 725*2^1520994-1 is not prime. Res64: B4E79D6F47F7177D Time : 0.0 sec. user=mdettweiler [2018-08-11 05:58:20] 645*2^1520995-1 is not prime. Res64: 7C3DFA38CD8DE0E0 Time : 0.0 sec. user=mdettweiler [2018-08-11 05:58:20] 843*2^1520995-1 is not prime. Res64: A421EACD0E2377AC Time : 0.0 sec. user=mdettweiler [2018-08-11 05:58:21] 873*2^1520995-1 is not prime. Res64: CAFEF48919CE6F18 Time : 0.0 sec. user=mdettweiler [2018-08-11 05:58:21] 885*2^1520995-1 is not prime. Res64: 5A1F0A61D36FFABB Time : 0.0 sec. user=mdettweiler [2018-08-11 05:58:59] 913*2^1520995-1 is not prime. Res64: 55D67551DEAB4F42 Time : 0.0 sec. user=mdettweiler [2018-08-11 05:59:00] 951*2^1520995-1 is not prime. Res64: 862EFE5D1FD2EA2B Time : 0.0 sec. user=mdettweiler [2018-08-11 05:59:00] 789*2^1520996-1 is not prime. Res64: 1E833839075331F9 Time : 0.0 sec. user=mdettweiler [2018-08-11 05:59:00] 927*2^1520996-1 is not prime. Res64: 3170666EAA240C6D Time : 0.0 sec. user=mdettweiler [2018-08-11 05:59:01] 957*2^1520996-1 is not prime. Res64: 5C492994D161662F Time : 0.0 sec. user=mdettweiler [2018-08-11 06:14:29] 963*2^1520996-1 is not prime. Res64: 6EA4817276213985 Time : 0.0 sec. user=mdettweiler [2018-08-11 06:14:30] 987*2^1520996-1 is not prime. Res64: D58185EADB775FB1 Time : 0.0 sec. user=mdettweiler [2018-08-11 06:14:30] 621*2^1520997-1 is not prime. Res64: 548F2F37295C1E64 Time : 0.0 sec. user=mdettweiler [2018-08-11 06:14:31] 625*2^1520997-1 is not prime. Res64: 0E4F57DE11DFF2A1 Time : 0.0 sec. user=mdettweiler [2018-08-11 06:14:31] 649*2^1520997-1 is not prime. Res64: 7C49D508EFAE516A Time : 0.0 sec. user=mdettweiler [2018-08-11 06:39:02] 651*2^1520997-1 is not prime. Res64: 74872196BE19A940 Time : 0.0 sec. user=mdettweiler [2018-08-11 06:39:02] 747*2^1520997-1 is not prime. Res64: 68E6D8B947B1067F Time : 0.0 sec. user=mdettweiler [2018-08-11 06:39:03] 819*2^1520997-1 is not prime. Res64: C7D73EECDACB775C Time : 0.0 sec. user=mdettweiler [2018-08-11 06:39:03] 831*2^1520997-1 is not prime. Res64: 75101C5D9FCE007E Time : 0.0 sec. user=mdettweiler [2018-08-11 06:39:03] 847*2^1520997-1 is not prime. Res64: 82D51C12BC084916 Time : 0.0 sec. user=mdettweiler [2018-08-11 06:49:14] 861*2^1520997-1 is not prime. Res64: 2B5799163966A90F Time : 0.0 sec. user=mdettweiler [2018-08-11 06:49:15] 891*2^1520997-1 is not prime. Res64: DCFAFCF68B9B305C Time : 0.0 sec. user=mdettweiler [2018-08-11 06:49:15] 979*2^1520997-1 is not prime. Res64: 430C133AB442D75F Time : 0.0 sec. user=mdettweiler [2018-08-11 06:49:16] 671*2^1520998-1 is not prime. Res64: B4F129BE3A5DBDC9 Time : 0.0 sec. user=mdettweiler [2018-08-11 06:49:16] 713*2^1520998-1 is not prime. Res64: B37823D9D65FF6F6 Time : 0.0 sec. user=mdettweiler [2018-08-11 06:49:55] 743*2^1520998-1 is not prime. Res64: 3B79754A4ACB1D75 Time : 0.0 sec. user=mdettweiler [2018-08-11 06:49:55] 815*2^1520998-1 is not prime. Res64: 56328595B29BECA1 Time : 0.0 sec. user=mdettweiler [2018-08-11 06:49:55] 669*2^1520999-1 is not prime. Res64: 82CA276CF97BF9DC Time : 0.0 sec. user=mdettweiler [2018-08-11 06:49:56] 883*2^1520999-1 is not prime. Res64: 3AB3A8AF6E3642D4 Time : 0.0 sec. user=mdettweiler [2018-08-11 06:49:56] 885*2^1520999-1 is not prime. Res64: D5AA5E94B18CCB6B Time : 0.0 sec. user=mdettweiler [2018-08-11 07:06:27] 991*2^1520999-1 is not prime. Res64: 6F0DA5E2E4F23B11 Time : 0.0 sec. user=mdettweiler [2018-08-11 07:06:28] 993*2^1520999-1 is not prime. Res64: 12104DC655BF1D0B Time : 0.0 sec. user=mdettweiler [2018-08-11 07:06:29] 635*2^1521000-1 is not prime. Res64: 62A0E58F446D1682 Time : 0.0 sec. user=mdettweiler [2018-08-11 07:06:29] 717*2^1521000-1 is not prime. Res64: 4C20F3947066EB03 Time : 0.0 sec. user=mdettweiler [2018-08-11 07:06:30] 737*2^1521000-1 is not prime. Res64: 0AE566CCC772D94D Time : 0.0 sec. user=mdettweiler [2018-08-11 07:30:43] 759*2^1521000-1 is not prime. Res64: C7EDC224762D9B7A Time : 0.0 sec. user=mdettweiler [2018-08-11 07:30:43] 825*2^1521000-1 is not prime. Res64: F7713591E16C8F8E Time : 0.0 sec. user=mdettweiler [2018-08-11 07:30:44] 843*2^1521000-1 is not prime. Res64: 724F126D7A679113 Time : 0.0 sec. user=mdettweiler [2018-08-11 07:30:44] 899*2^1521000-1 is not prime. Res64: F724F0D78A1D91AE Time : 0.0 sec. user=mdettweiler [2018-08-11 07:30:44] 933*2^1521000-1 is not prime. Res64: 86B2FCDC0081CE75 Time : 0.0 sec. user=mdettweiler [2018-08-11 07:41:19] 833*2^1521002-1 is not prime. Res64: 4F754BB4756EBF73 Time : 0.0 sec. user=mdettweiler [2018-08-11 07:41:20] 875*2^1521002-1 is not prime. Res64: 5DDA9B5047546BA9 Time : 0.0 sec. user=mdettweiler [2018-08-11 07:41:20] 609*2^1521003-1 is not prime. Res64: 157298459CB464FD Time : 0.0 sec. user=mdettweiler [2018-08-11 07:41:21] 685*2^1521003-1 is not prime. Res64: D9B10FE12079AF5D Time : 0.0 sec. user=mdettweiler [2018-08-11 07:41:21] 723*2^1521003-1 is not prime. Res64: 95817E406DABF142 Time : 0.0 sec. user=mdettweiler [2018-08-11 07:42:16] 777*2^1521001-1 is not prime. Res64: 1EAD848BD61FD180 Time : 0.0 sec. user=mdettweiler [2018-08-11 07:42:16] 945*2^1521001-1 is not prime. Res64: A49D1C2ED12C0AB2 Time : 0.0 sec. user=mdettweiler [2018-08-11 07:42:17] 957*2^1521001-1 is not prime. Res64: 1CD87C4C549524A7 Time : 0.0 sec. user=mdettweiler [2018-08-11 07:42:17] 671*2^1521002-1 is not prime. Res64: 32CB72126195781B Time : 0.0 sec. user=mdettweiler [2018-08-11 07:42:17] 815*2^1521002-1 is not prime. Res64: 6367668F8603A3B9 Time : 0.0 sec. user=mdettweiler [2018-08-11 07:58:57] 795*2^1521003-1 is not prime. Res64: 4489A6FC96BFEC66 Time : 0.0 sec. user=mdettweiler [2018-08-11 07:58:57] 801*2^1521003-1 is not prime. Res64: B7D90FF9DDDABB2B Time : 0.0 sec. user=mdettweiler [2018-08-11 07:58:58] 605*2^1521004-1 is not prime. Res64: DC1F4B8F9FCD59B2 Time : 0.0 sec. user=mdettweiler [2018-08-11 07:58:58] 615*2^1521004-1 is not prime. Res64: 288429CA539E41D0 Time : 0.0 sec. user=mdettweiler [2018-08-11 07:58:58] 687*2^1521004-1 is not prime. Res64: 4A1CC81EF165E5E5 Time : 0.0 sec. user=mdettweiler [2018-08-11 08:22:09] 773*2^1521004-1 is not prime. Res64: DD98A25E7A6B0ACD Time : 0.0 sec. user=mdettweiler [2018-08-11 08:22:10] 783*2^1521004-1 is not prime. Res64: CE62EA10800C0169 Time : 0.0 sec. user=mdettweiler [2018-08-11 08:22:10] 855*2^1521004-1 is not prime. Res64: CBD9396F45BE06AE Time : 0.0 sec. user=mdettweiler [2018-08-11 08:22:10] 929*2^1521004-1 is not prime. Res64: 454E22B47D4E9204 Time : 0.0 sec. user=mdettweiler [2018-08-11 08:22:11] 645*2^1521005-1 is not prime. Res64: ABA3EBB84695624B Time : 0.0 sec. user=mdettweiler [2018-08-11 08:32:50] 699*2^1521005-1 is not prime. Res64: C2D1CDEF96814C1C Time : 0.0 sec. user=mdettweiler [2018-08-11 08:32:50] 759*2^1521005-1 is not prime. Res64: 225D51C6AFB27FF2 Time : 0.0 sec. user=mdettweiler [2018-08-11 08:32:50] 825*2^1521005-1 is not prime. Res64: D737BBD1EB56BF03 Time : 0.0 sec. user=mdettweiler [2018-08-11 08:32:51] 837*2^1521005-1 is not prime. Res64: BC3B01B5969ED375 Time : 0.0 sec. user=mdettweiler [2018-08-11 08:32:51] 847*2^1521005-1 is not prime. Res64: 74ADB08C2C8C7C48 Time : 0.0 sec. user=mdettweiler [2018-08-11 08:33:49] 871*2^1521005-1 is not prime. Res64: 19DBCF7AFED40E50 Time : 0.0 sec. user=mdettweiler [2018-08-11 08:33:49] 955*2^1521005-1 is not prime. Res64: E61027CBA233C1B4 Time : 0.0 sec. user=mdettweiler [2018-08-11 08:33:49] 985*2^1521005-1 is not prime. Res64: 275840F37FF64BFD Time : 0.0 sec. user=mdettweiler [2018-08-11 08:33:50] 987*2^1521005-1 is not prime. Res64: 06204A18B589FF45 Time : 0.0 sec. user=mdettweiler [2018-08-11 08:33:50] 641*2^1521006-1 is not prime. Res64: 225E4CABD84EAA9B Time : 0.0 sec. user=mdettweiler [2018-08-11 08:49:54] 725*2^1521006-1 is not prime. Res64: FDB3976FD744D309 Time : 0.0 sec. user=mdettweiler [2018-08-11 08:49:55] 767*2^1521006-1 is not prime. Res64: 2D2FB9752E1E2DA6 Time : 0.0 sec. user=mdettweiler [2018-08-11 08:49:55] 867*2^1521006-1 is not prime. Res64: 5D932946892D18BE Time : 0.0 sec. user=mdettweiler [2018-08-11 08:49:55] 893*2^1521006-1 is not prime. Res64: CC834E2E7A7DFE1F Time : 0.0 sec. user=mdettweiler [2018-08-11 08:49:56] 945*2^1521006-1 is not prime. Res64: B9C1A111A58907A3 Time : 0.0 sec. user=mdettweiler [2018-08-11 09:13:14] 1001*2^1521006-1 is not prime. Res64: 2BA42A26E7029158 Time : 0.0 sec. user=mdettweiler [2018-08-11 09:13:14] 615*2^1521007-1 is not prime. Res64: F52B773E3DDE7890 Time : 0.0 sec. user=mdettweiler [2018-08-11 09:13:15] 673*2^1521007-1 is not prime. Res64: AFBC90BFFAB49EF6 Time : 0.0 sec. user=mdettweiler [2018-08-11 09:13:15] 685*2^1521007-1 is not prime. Res64: 5E062DB47772BB6D Time : 0.0 sec. user=mdettweiler [2018-08-11 09:13:16] 735*2^1521007-1 is not prime. Res64: 12927360FE58AC47 Time : 0.0 sec. user=mdettweiler [2018-08-11 09:24:05] 759*2^1521007-1 is not prime. Res64: 7ABC74638D3E9C88 Time : 0.0 sec. user=mdettweiler [2018-08-11 09:24:06] 763*2^1521007-1 is not prime. Res64: 497FBAC89A179635 Time : 0.0 sec. user=mdettweiler [2018-08-11 09:24:06] 829*2^1521007-1 is not prime. Res64: C942C1B246CC5E25 Time : 0.0 sec. user=mdettweiler [2018-08-11 09:24:06] 883*2^1521007-1 is not prime. Res64: 7A6A70ABAFED6BE8 Time : 0.0 sec. user=mdettweiler [2018-08-11 09:24:07] 901*2^1521007-1 is not prime. Res64: 17AA8A87DE42F603 Time : 0.0 sec. user=mdettweiler [2018-08-11 09:24:34] 913*2^1521007-1 is not prime. Res64: C04FC99015F5ECE2 Time : 0.0 sec. user=mdettweiler [2018-08-11 09:24:34] 931*2^1521007-1 is not prime. Res64: 13AE12BD34D5EA9F Time : 0.0 sec. user=mdettweiler [2018-08-11 09:24:35] 945*2^1521007-1 is not prime. Res64: 05D643DD272654C8 Time : 0.0 sec. user=mdettweiler [2018-08-11 09:24:35] 961*2^1521007-1 is not prime. Res64: 32FD3D34B9BFF3B6 Time : 0.0 sec. user=mdettweiler [2018-08-11 09:24:35] 975*2^1521007-1 is not prime. Res64: 0C4DAEC307D2E178 Time : 0.0 sec. user=mdettweiler [2018-08-11 09:41:04] 753*2^1521008-1 is not prime. Res64: 6FC8D32D662DC323 Time : 0.0 sec. user=mdettweiler [2018-08-11 09:41:04] 797*2^1521008-1 is not prime. Res64: 9A5176D7025198F6 Time : 0.0 sec. user=mdettweiler [2018-08-11 09:41:04] 867*2^1521008-1 is not prime. Res64: 46867DCCC2BC3DDE Time : 0.0 sec. user=mdettweiler [2018-08-11 09:41:05] 893*2^1521008-1 is not prime. Res64: 2CEDB3073D9A1384 Time : 0.0 sec. user=mdettweiler [2018-08-11 09:41:05] 935*2^1521008-1 is not prime. Res64: F52926048ACBFDAC Time : 0.0 sec. user=mdettweiler [2018-08-11 10:04:55] 889*2^1521009-1 is not prime. Res64: 824C51EE8AAEA817 Time : 0.0 sec. user=mdettweiler [2018-08-11 10:04:56] 735*2^1521010-1 is not prime. Res64: 7F9DCCE6A59483CD Time : 0.0 sec. user=mdettweiler [2018-08-11 10:04:57] 741*2^1521010-1 is not prime. Res64: C79A1C322E627FAD Time : 0.0 sec. user=mdettweiler [2018-08-11 10:04:58] 755*2^1521010-1 is not prime. Res64: 8C2B98420F54CC2F Time : 0.0 sec. user=mdettweiler [2018-08-11 10:04:59] 827*2^1521010-1 is not prime. Res64: 1B61EB158D46A8A9 Time : 0.0 sec. user=mdettweiler [2018-08-11 10:15:53] 909*2^1521011-1 is not prime. Res64: 692B50FA29BE045B Time : 0.0 sec. user=mdettweiler [2018-08-11 10:15:54] 969*2^1521011-1 is not prime. Res64: 0C4386CA343A4102 Time : 0.0 sec. user=mdettweiler [2018-08-11 10:15:54] 979*2^1521011-1 is not prime. Res64: 5956EE38CA771C81 Time : 0.0 sec. user=mdettweiler [2018-08-11 10:15:55] 981*2^1521011-1 is not prime. Res64: 5CA807A6FD39C867 Time : 0.0 sec. user=mdettweiler [2018-08-11 10:15:56] 861*2^1521010-1 is not prime. Res64: 5CA5222F7FC07154 Time : 0.0 sec. user=mdettweiler [2018-08-11 10:15:56] 605*2^1521012-1 is not prime. Res64: F7FB0F57DC811C4E Time : 0.0 sec. user=mdettweiler [2018-08-11 10:15:56] 957*2^1521010-1 is not prime. Res64: 4CC453DF587F9256 Time : 0.0 sec. user=mdettweiler [2018-08-11 10:15:57] 651*2^1521011-1 is not prime. Res64: 3F641ABF73FA343A Time : 0.0 sec. user=mdettweiler [2018-08-11 10:15:58] 745*2^1521011-1 is not prime. Res64: A1DE70C9409F83FC Time : 0.0 sec. user=mdettweiler [2018-08-11 10:16:00] 889*2^1521011-1 is not prime. Res64: B100C096175408EC Time : 0.0 sec. user=mdettweiler [2018-08-11 10:33:53] 657*2^1521012-1 is not prime. Res64: BBDBEFC0407EAE47 Time : 0.0 sec. user=mdettweiler [2018-08-11 10:33:53] 665*2^1521012-1 is not prime. Res64: FA85A1EF3E0FFFAB Time : 0.0 sec. user=mdettweiler [2018-08-11 10:33:53] 689*2^1521012-1 is not prime. Res64: 52DB14C3E02ACFD9 Time : 0.0 sec. user=mdettweiler [2018-08-11 10:33:54] 695*2^1521012-1 is not prime. Res64: F5440FF56A38214D Time : 0.0 sec. user=mdettweiler [2018-08-11 10:33:54] 737*2^1521012-1 is not prime. Res64: A4673913617AA4DD Time : 0.0 sec. user=mdettweiler [2018-08-11 10:57:43] 749*2^1521012-1 is not prime. Res64: E3A8515FD15927C5 Time : 0.0 sec. user=mdettweiler [2018-08-11 10:57:43] 753*2^1521012-1 is not prime. Res64: 9AC656CCA52DA4EB Time : 0.0 sec. user=mdettweiler [2018-08-11 10:57:44] 765*2^1521012-1 is not prime. Res64: 3602F08AB3400BB4 Time : 0.0 sec. user=mdettweiler [2018-08-11 10:57:44] 777*2^1521012-1 is not prime. Res64: E59954709647B29C Time : 0.0 sec. user=mdettweiler [2018-08-11 10:57:45] 819*2^1521012-1 is not prime. Res64: 6DB77AE7D52CE9B5 Time : 0.0 sec. user=mdettweiler [2018-08-11 11:06:58] 825*2^1521012-1 is not prime. Res64: 923E09E184FECB52 Time : 0.0 sec. user=mdettweiler [2018-08-11 11:06:59] 837*2^1521012-1 is not prime. Res64: E9219F9E0F4304BE Time : 0.0 sec. user=mdettweiler [2018-08-11 11:06:59] 887*2^1521012-1 is not prime. Res64: B8569BF94CCDA829 Time : 0.0 sec. user=mdettweiler [2018-08-11 11:07:00] 893*2^1521012-1 is not prime. Res64: 40519943D1F64450 Time : 0.0 sec. user=mdettweiler [2018-08-11 11:07:01] 987*2^1521012-1 is not prime. Res64: BC2B24066FD6AE4F Time : 0.0 sec. user=mdettweiler [2018-08-11 11:07:18] 681*2^1521013-1 is not prime. Res64: 589E739306EF63E0 Time : 0.0 sec. user=mdettweiler [2018-08-11 11:07:18] 769*2^1521013-1 is not prime. Res64: BF9EAD28A558E61B Time : 0.0 sec. user=mdettweiler [2018-08-11 11:07:19] 889*2^1521013-1 is not prime. Res64: 6A870BE963E4CC8A Time : 0.0 sec. user=mdettweiler [2018-08-11 11:07:19] 999*2^1521013-1 is not prime. Res64: D598CA2CC1A18CF9 Time : 0.0 sec. user=mdettweiler [2018-08-11 11:07:20] 627*2^1521014-1 is not prime. Res64: F2E164F7FB2FD4FF Time : 0.0 sec. user=mdettweiler [2018-08-11 11:25:51] 665*2^1521014-1 is not prime. Res64: E33807A418FC2453 Time : 0.0 sec. user=mdettweiler [2018-08-11 11:25:51] 741*2^1521014-1 is not prime. Res64: 1E2F09B9F41F164C Time : 0.0 sec. user=mdettweiler [2018-08-11 11:25:51] 753*2^1521014-1 is not prime. Res64: BD2087568699875C Time : 0.0 sec. user=mdettweiler [2018-08-11 11:25:52] 873*2^1521014-1 is not prime. Res64: 67984FFF227E3C29 Time : 0.0 sec. user=mdettweiler [2018-08-11 11:25:52] 885*2^1521014-1 is not prime. Res64: E20E74CAE51C25EF Time : 0.0 sec. user=mdettweiler [2018-08-11 11:48:50] 971*2^1521014-1 is not prime. Res64: DE6412E632CE07A4 Time : 0.0 sec. user=mdettweiler [2018-08-11 11:48:51] 651*2^1521015-1 is not prime. Res64: 420CE9DDB8AEF47E Time : 0.0 sec. user=mdettweiler [2018-08-11 11:48:51] 783*2^1521015-1 is not prime. Res64: C0E88C7FBF5C8A3E Time : 0.0 sec. user=mdettweiler [2018-08-11 11:48:52] 829*2^1521015-1 is not prime. Res64: 0B7D57D8E660D5B1 Time : 0.0 sec. user=mdettweiler [2018-08-11 11:48:52] 853*2^1521015-1 is not prime. Res64: 519BF611F04F1B86 Time : 0.0 sec. user=mdettweiler [2018-08-11 11:58:12] 913*2^1521015-1 is not prime. Res64: 7CC4B50584A6E8AA Time : 0.0 sec. user=mdettweiler [2018-08-11 11:58:13] 961*2^1521015-1 is not prime. Res64: D8A31A4234CE9F47 Time : 0.0 sec. user=mdettweiler [2018-08-11 11:58:13] 803*2^1521016-1 is not prime. Res64: E4113E546B940DD5 Time : 0.0 sec. user=mdettweiler [2018-08-11 11:58:14] 923*2^1521016-1 is not prime. Res64: E8B6F4EE2ED9D1D3 Time : 0.0 sec. user=mdettweiler [2018-08-11 11:58:14] 969*2^1521016-1 is not prime. Res64: 7AC1FD6DDB644493 Time : 0.0 sec. user=mdettweiler [2018-08-11 11:58:28] 983*2^1521016-1 is not prime. Res64: 9043FC6FF4E98F68 Time : 0.0 sec. user=mdettweiler [2018-08-11 11:58:29] 619*2^1521017-1 is not prime. Res64: E90AE07039C2CA7D Time : 0.0 sec. user=mdettweiler [2018-08-11 11:58:29] 697*2^1521017-1 is not prime. Res64: BA901266A34F103F Time : 0.0 sec. user=mdettweiler [2018-08-11 11:58:29] 727*2^1521017-1 is not prime. Res64: 64639A65E5E1D7A0 Time : 0.0 sec. user=mdettweiler [2018-08-11 11:58:30] 937*2^1521017-1 is not prime. Res64: 0C543335AD664591 Time : 0.0 sec. user=mdettweiler [2018-08-11 12:17:07] 945*2^1521017-1 is not prime. Res64: 9F64E9BB5F339CE7 Time : 0.0 sec. user=mdettweiler [2018-08-11 12:17:07] 949*2^1521017-1 is not prime. Res64: 52C7B0E2F1677DC5 Time : 0.0 sec. user=mdettweiler [2018-08-11 12:17:08] 981*2^1521017-1 is not prime. Res64: 4F977161380CAF50 Time : 0.0 sec. user=mdettweiler [2018-08-11 12:17:08] 627*2^1521018-1 is not prime. Res64: 0530DF3B8FD8A42B Time : 0.0 sec. user=mdettweiler [2018-08-11 12:17:09] 651*2^1521018-1 is not prime. Res64: 83A2BCE1EDD2B3E1 Time : 0.0 sec. user=mdettweiler [2018-08-11 12:39:47] 671*2^1521018-1 is not prime. Res64: DD137FB21A4EC405 Time : 0.0 sec. user=mdettweiler [2018-08-11 12:39:48] 713*2^1521018-1 is not prime. Res64: F66AA6466674C3D7 Time : 0.0 sec. user=mdettweiler [2018-08-11 12:39:48] 755*2^1521018-1 is not prime. Res64: 18BC567629806337 Time : 0.0 sec. user=mdettweiler [2018-08-11 12:39:48] 765*2^1521018-1 is not prime. Res64: 9A0919F3E4B68B7E Time : 0.0 sec. user=mdettweiler [2018-08-11 12:39:49] 767*2^1521018-1 is not prime. Res64: F1D398D67A866864 Time : 0.0 sec. user=mdettweiler [2018-08-11 12:49:14] 815*2^1521018-1 is not prime. Res64: 43B5AF0FC2204A25 Time : 0.0 sec. user=mdettweiler [2018-08-11 12:49:14] 867*2^1521018-1 is not prime. Res64: 87E1E2DB5A4644E5 Time : 0.0 sec. user=mdettweiler [2018-08-11 12:49:14] 881*2^1521018-1 is not prime. Res64: A229E24860221D22 Time : 0.0 sec. user=mdettweiler [2018-08-11 12:49:15] 885*2^1521018-1 is not prime. Res64: 31A949818D704D86 Time : 0.0 sec. user=mdettweiler [2018-08-11 12:49:15] 975*2^1521018-1 is not prime. Res64: 5A2CCE6650680182 Time : 0.0 sec. user=mdettweiler [2018-08-11 12:49:53] 977*2^1521018-1 is not prime. Res64: 2B85539191A13F4C Time : 0.0 sec. user=mdettweiler [2018-08-11 12:49:54] 993*2^1521018-1 is not prime. Res64: CC22ED3460789200 Time : 0.0 sec. user=mdettweiler [2018-08-11 12:49:54] 609*2^1521019-1 is not prime. Res64: 6D6AD9173DC1FC56 Time : 0.0 sec. user=mdettweiler [2018-08-11 12:49:55] 615*2^1521019-1 is not prime. Res64: DD0F33FAE0038AEB Time : 0.0 sec. user=mdettweiler [2018-08-11 12:49:55] 625*2^1521019-1 is not prime. Res64: BD13E923FDD5D93D Time : 0.0 sec. user=mdettweiler [2018-08-11 13:08:18] 663*2^1521019-1 is not prime. Res64: DA9E37EA8C07CA05 Time : 0.0 sec. user=mdettweiler [2018-08-11 13:08:26] 691*2^1521019-1 is not prime. Res64: 9D04F89FCB407BD7 Time : 0.0 sec. user=mdettweiler [2018-08-11 13:08:26] 693*2^1521019-1 is not prime. Res64: B0320CA1033564AC Time : 0.0 sec. user=mdettweiler [2018-08-11 13:08:27] 745*2^1521019-1 is not prime. Res64: 72BF1BBA2E8F9BF6 Time : 0.0 sec. user=mdettweiler [2018-08-11 13:08:28] 771*2^1521019-1 is not prime. Res64: 0851EE6E048DBD38 Time : 0.0 sec. user=mdettweiler [2018-08-11 13:30:40] 813*2^1521019-1 is not prime. Res64: 1F5D8C319174865E Time : 0.0 sec. user=mdettweiler [2018-08-11 13:30:40] 861*2^1521019-1 is not prime. Res64: 16898A24E3D62B64 Time : 0.0 sec. user=mdettweiler [2018-08-11 13:30:40] 873*2^1521019-1 is not prime. Res64: 808B4DF1D70B3FA8 Time : 0.0 sec. user=mdettweiler [2018-08-11 13:30:41] 885*2^1521019-1 is not prime. Res64: CF0DB09CA3B2289A Time : 0.0 sec. user=mdettweiler [2018-08-11 13:30:41] 925*2^1521019-1 is not prime. Res64: 9A01317D39FC7710 Time : 0.0 sec. user=mdettweiler [2018-08-11 13:40:01] 609*2^1521020-1 is not prime. Res64: 4E00B457F0CE252D Time : 0.0 sec. user=mdettweiler [2018-08-11 13:40:02] 665*2^1521020-1 is not prime. Res64: E28A44161F096502 Time : 0.0 sec. user=mdettweiler [2018-08-11 13:40:02] 677*2^1521020-1 is not prime. Res64: FB38F0FFF6B4D3F4 Time : 0.0 sec. user=mdettweiler [2018-08-11 13:40:02] 707*2^1521020-1 is not prime. Res64: BEF1F88536D81420 Time : 0.0 sec. user=mdettweiler [2018-08-11 13:40:03] 719*2^1521020-1 is not prime. Res64: B1E34ED0FCB3C686 Time : 0.0 sec. user=mdettweiler [2018-08-11 13:40:40] 789*2^1521020-1 is not prime. Res64: F4B10644330890AF Time : 0.0 sec. user=mdettweiler [2018-08-11 13:40:40] 797*2^1521020-1 is not prime. Res64: C4B62CB337A70981 Time : 0.0 sec. user=mdettweiler [2018-08-11 13:40:41] 845*2^1521020-1 is not prime. Res64: 63DC7EBCCD63BE29 Time : 0.0 sec. user=mdettweiler [2018-08-11 13:40:41] 893*2^1521020-1 is not prime. Res64: 1F86BF2043BF2859 Time : 0.0 sec. user=mdettweiler [2018-08-11 13:40:41] 607*2^1521021-1 is not prime. Res64: A03E6F430456FD24 Time : 0.0 sec. user=mdettweiler [2018-08-11 13:59:35] 627*2^1521021-1 is not prime. Res64: A3B07A3733E682B8 Time : 0.0 sec. user=mdettweiler [2018-08-11 13:59:35] 741*2^1521021-1 is not prime. Res64: 3DE4B28EA8A23823 Time : 0.0 sec. user=mdettweiler [2018-08-11 13:59:35] 811*2^1521021-1 is not prime. Res64: 67CAAE48FBBECDC5 Time : 0.0 sec. user=mdettweiler [2018-08-11 13:59:36] 865*2^1521021-1 is not prime. Res64: E2FDB6F16BCECF75 Time : 0.0 sec. user=mdettweiler [2018-08-11 13:59:36] 895*2^1521021-1 is not prime. Res64: BEE5B06613429CBA Time : 0.0 sec. user=mdettweiler [2018-08-11 14:21:21] 921*2^1521021-1 is not prime. Res64: 6C89E5C107365611 Time : 0.0 sec. user=mdettweiler [2018-08-11 14:21:21] 955*2^1521021-1 is not prime. Res64: 580FFDFAF3344845 Time : 0.0 sec. user=mdettweiler [2018-08-11 14:21:22] 999*2^1521021-1 is not prime. Res64: F41A13CEDB7A0927 Time : 0.0 sec. user=mdettweiler [2018-08-11 14:21:22] 603*2^1521022-1 is not prime. Res64: FBBE345C9BEBCEC5 Time : 0.0 sec. user=mdettweiler [2018-08-11 14:21:23] 651*2^1521022-1 is not prime. Res64: 176B288FED4ED1F3 Time : 0.0 sec. user=mdettweiler [2018-08-11 14:30:56] 705*2^1521022-1 is not prime. Res64: C8D97AD19F00076C Time : 0.0 sec. user=mdettweiler [2018-08-11 14:30:57] 723*2^1521022-1 is not prime. Res64: 7612D423FA7414A9 Time : 0.0 sec. user=mdettweiler [2018-08-11 14:30:57] 743*2^1521022-1 is not prime. Res64: 255C61A7AF107876 Time : 0.0 sec. user=mdettweiler [2018-08-11 14:30:57] 777*2^1521022-1 is not prime. Res64: 8653274F4900C644 Time : 0.0 sec. user=mdettweiler [2018-08-11 14:30:58] 791*2^1521022-1 is not prime. Res64: 0A9F043E2B70E17F Time : 0.0 sec. user=mdettweiler [2018-08-11 14:31:56] 867*2^1521022-1 is not prime. Res64: F6B907F229BBCA84 Time : 0.0 sec. user=mdettweiler [2018-08-11 14:31:56] 873*2^1521022-1 is not prime. Res64: 6A8A527D7F9433E5 Time : 0.0 sec. user=mdettweiler [2018-08-11 14:31:57] 897*2^1521022-1 is not prime. Res64: 20DABD898A81C001 Time : 0.0 sec. user=mdettweiler [2018-08-11 14:31:57] 911*2^1521022-1 is not prime. Res64: 630833E329B11154 Time : 0.0 sec. user=mdettweiler [2018-08-11 14:31:57] 915*2^1521022-1 is not prime. Res64: 849B3CF4AAA3BB8A Time : 0.0 sec. user=mdettweiler [2018-08-11 14:51:03] 923*2^1521022-1 is not prime. Res64: E8DCA0F13D462DC1 Time : 0.0 sec. user=mdettweiler [2018-08-11 14:51:04] 615*2^1521023-1 is not prime. Res64: EED6D7E0B6BB329A Time : 0.0 sec. user=mdettweiler [2018-08-11 14:51:04] 661*2^1521023-1 is not prime. Res64: A463E6BB466DE6B7 Time : 0.0 sec. user=mdettweiler [2018-08-11 14:51:05] 789*2^1521023-1 is not prime. Res64: 56D14E97481A7A77 Time : 0.0 sec. user=mdettweiler [2018-08-11 14:51:05] 861*2^1521023-1 is not prime. Res64: 3DBBF60EA20C42FD Time : 0.0 sec. user=mdettweiler [2018-08-11 15:12:19] 879*2^1521023-1 is not prime. Res64: 35D8CFDF68EDA2D9 Time : 0.0 sec. user=mdettweiler [2018-08-11 15:12:19] 895*2^1521023-1 is not prime. Res64: BF0FD6D8EFB09BEF Time : 0.0 sec. user=mdettweiler [2018-08-11 15:12:20] 949*2^1521023-1 is not prime. Res64: A3F9B94CD9809287 Time : 0.0 sec. user=mdettweiler [2018-08-11 15:12:20] 675*2^1521024-1 is not prime. Res64: EE99E0C1BA4A196B Time : 0.0 sec. user=mdettweiler [2018-08-11 15:12:21] 723*2^1521024-1 is not prime. Res64: 5188DBAD4E6DC468 Time : 0.0 sec. user=mdettweiler [2018-08-11 15:22:04] 747*2^1521024-1 is not prime. Res64: 98EC97CEA6A5B8F6 Time : 0.0 sec. user=mdettweiler [2018-08-11 15:22:04] 837*2^1521024-1 is not prime. Res64: 29D97314128E6C24 Time : 0.0 sec. user=mdettweiler [2018-08-11 15:22:05] 857*2^1521024-1 is not prime. Res64: 6A37DD70498490A1 Time : 0.0 sec. user=mdettweiler [2018-08-11 15:22:05] 909*2^1521024-1 is not prime. Res64: 7B4C4D354E3810B4 Time : 0.0 sec. user=mdettweiler [2018-08-11 15:22:05] 625*2^1521025-1 is not prime. Res64: BE1BD41497ECD6A3 Time : 0.0 sec. user=mdettweiler [2018-08-11 15:23:19] 675*2^1521025-1 is not prime. Res64: E5BD3853DB0F75FD Time : 0.0 sec. user=mdettweiler [2018-08-11 15:23:20] 717*2^1521025-1 is not prime. Res64: C8CA34C634926489 Time : 0.0 sec. user=mdettweiler [2018-08-11 15:23:20] 721*2^1521025-1 is not prime. Res64: 0DA7A4699AEAE344 Time : 0.0 sec. user=mdettweiler [2018-08-11 15:23:21] 729*2^1521025-1 is not prime. Res64: AB348EC2463C2132 Time : 0.0 sec. user=mdettweiler [2018-08-11 15:23:21] 741*2^1521025-1 is not prime. Res64: 15CD72EE91DEDC3D Time : 0.0 sec. user=mdettweiler [2018-08-11 15:42:28] 765*2^1521025-1 is not prime. Res64: F43392493E2568A4 Time : 0.0 sec. user=mdettweiler [2018-08-11 15:42:29] 789*2^1521025-1 is not prime. Res64: 2CD5296A3110E958 Time : 0.0 sec. user=mdettweiler [2018-08-11 15:42:29] 819*2^1521025-1 is not prime. Res64: 6F8C37FC5B25FF32 Time : 0.0 sec. user=mdettweiler [2018-08-11 15:42:30] 871*2^1521025-1 is not prime. Res64: 02C224FA77CDAD41 Time : 0.0 sec. user=mdettweiler [2018-08-11 15:42:30] 919*2^1521025-1 is not prime. Res64: D4D9151536E1D840 Time : 0.0 sec. user=mdettweiler [2018-08-11 16:03:21] 641*2^1521026-1 is not prime. Res64: EA76576873C8E0D9 Time : 0.0 sec. user=mdettweiler [2018-08-11 16:03:23] 683*2^1521026-1 is not prime. Res64: 2321CA111B321D29 Time : 0.0 sec. user=mdettweiler [2018-08-11 16:03:23] 735*2^1521026-1 is not prime. Res64: CED5062E7C3C2A3E Time : 0.0 sec. user=mdettweiler [2018-08-11 16:03:24] 785*2^1521026-1 is not prime. Res64: E9FEB9CCC3865694 Time : 0.0 sec. user=mdettweiler [2018-08-11 16:03:25] 893*2^1521026-1 is not prime. Res64: 66553E2F5E37A176 Time : 0.0 sec. user=mdettweiler [2018-08-11 16:14:00] 981*2^1521026-1 is not prime. Res64: 3D31913A645882AF Time : 0.0 sec. user=mdettweiler [2018-08-11 16:14:01] 625*2^1521027-1 is not prime. Res64: 4E0FE50AFB17A90F Time : 0.0 sec. user=mdettweiler [2018-08-11 16:14:01] 669*2^1521027-1 is not prime. Res64: 9F937E931DD41048 Time : 0.0 sec. user=mdettweiler [2018-08-11 16:14:01] 735*2^1521027-1 is not prime. Res64: 5F7FBDD6B2CDB46A Time : 0.0 sec. user=mdettweiler [2018-08-11 16:14:02] 793*2^1521027-1 is not prime. Res64: 98F211ABE4267E34 Time : 0.0 sec. user=mdettweiler [2018-08-11 16:15:01] 795*2^1521027-1 is not prime. Res64: CD54383C10EF6D2B Time : 0.0 sec. user=mdettweiler [2018-08-11 16:15:02] 885*2^1521027-1 is not prime. Res64: 2811A3245750E633 Time : 0.0 sec. user=mdettweiler [2018-08-11 16:15:03] 951*2^1521027-1 is not prime. Res64: 2B3C507C4A7E8B26 Time : 0.0 sec. user=mdettweiler [2018-08-11 16:15:03] 999*2^1521027-1 is not prime. Res64: 6F269F0A75B4EB43 Time : 0.0 sec. user=mdettweiler [2018-08-11 16:15:04] 623*2^1521028-1 is not prime. Res64: 629B74B2B7678AA5 Time : 0.0 sec. user=mdettweiler [2018-08-11 16:34:28] 665*2^1521028-1 is not prime. Res64: 93C45DE3636369A7 Time : 0.0 sec. user=mdettweiler [2018-08-11 16:34:29] 699*2^1521028-1 is not prime. Res64: 9C89E656A07DF338 Time : 0.0 sec. user=mdettweiler [2018-08-11 16:34:29] 765*2^1521028-1 is not prime. Res64: F7798BE723B9F753 Time : 0.0 sec. user=mdettweiler [2018-08-11 16:34:29] 783*2^1521028-1 is not prime. Res64: DA35FAE0D6D9B8E4 Time : 0.0 sec. user=mdettweiler [2018-08-11 16:34:30] 905*2^1521028-1 is not prime. Res64: 48865BDBE1C39140 Time : 0.0 sec. user=mdettweiler [2018-08-11 16:56:29] 947*2^1521028-1 is not prime. Res64: 34D0364F4F28E646 Time : 0.0 sec. user=mdettweiler [2018-08-11 16:56:30] 989*2^1521028-1 is not prime. Res64: 2832E3158186C65C Time : 0.0 sec. user=mdettweiler [2018-08-11 16:56:30] 631*2^1521029-1 is not prime. Res64: BD2DC3B13F78D8B8 Time : 0.0 sec. user=mdettweiler [2018-08-11 16:56:30] 691*2^1521029-1 is not prime. Res64: C6D493EE07FDAFD9 Time : 0.0 sec. user=mdettweiler [2018-08-11 16:56:31] 721*2^1521029-1 is not prime. Res64: 53CF806FE3F56A8E Time : 0.0 sec. user=mdettweiler [2018-08-11 17:06:22] 741*2^1521030-1 is not prime. Res64: 5E41918CFE79040D Time : 0.0 sec. user=mdettweiler [2018-08-11 17:06:24] 755*2^1521030-1 is not prime. Res64: 040A98F0168D693F Time : 0.0 sec. user=mdettweiler [2018-08-11 17:06:25] 773*2^1521030-1 is not prime. Res64: 5218037BF14E960B Time : 0.0 sec. user=mdettweiler [2018-08-11 17:06:26] 797*2^1521030-1 is not prime. Res64: 39C625F83418DE8F Time : 0.0 sec. user=mdettweiler [2018-08-11 17:06:29] 1001*2^1521030-1 is not prime. Res64: F6B124FFAF1CCABD Time : 0.0 sec. user=mdettweiler [2018-08-11 17:07:36] 889*2^1521029-1 is not prime. Res64: 4E974756072D7AAD Time : 0.0 sec. user=mdettweiler [2018-08-11 17:07:39] 949*2^1521029-1 is not prime. Res64: 5BCB0B51ADB2D1A0 Time : 0.0 sec. user=mdettweiler [2018-08-11 17:07:42] 647*2^1521030-1 is not prime. Res64: 989DD9C780DD2276 Time : 0.0 sec. user=mdettweiler [2018-08-11 17:07:45] 717*2^1521030-1 is not prime. Res64: 148016DB6E9CD7E5 Time : 0.0 sec. user=mdettweiler [2018-08-11 17:07:48] 723*2^1521030-1 is not prime. Res64: 738DCA81990EA0A5 Time : 0.0 sec. user=mdettweiler [2018-08-11 17:25:36] 709*2^1521031-1 is not prime. Res64: 83F96C92AF1E8D53 Time : 0.0 sec. user=mdettweiler [2018-08-11 17:25:36] 819*2^1521031-1 is not prime. Res64: 828CA4B5BD13687E Time : 0.0 sec. user=mdettweiler [2018-08-11 17:25:37] 829*2^1521031-1 is not prime. Res64: 602781535784FAF1 Time : 0.0 sec. user=mdettweiler [2018-08-11 17:25:37] 889*2^1521031-1 is not prime. Res64: 2F9D097593FC1F73 Time : 0.0 sec. user=mdettweiler [2018-08-11 17:25:37] 931*2^1521031-1 is not prime. Res64: 76C445478BD84337 Time : 0.0 sec. user=mdettweiler [2018-08-11 17:47:24] 943*2^1521031-1 is not prime. Res64: 69744C6D9A1B2DA2 Time : 0.0 sec. user=mdettweiler [2018-08-11 17:47:25] 979*2^1521031-1 is not prime. Res64: 9CC67BE69F129495 Time : 0.0 sec. user=mdettweiler [2018-08-11 17:47:25] 603*2^1521032-1 is not prime. Res64: AB1C4FE26248162B Time : 0.0 sec. user=mdettweiler [2018-08-11 17:47:26] 615*2^1521032-1 is not prime. Res64: BA9F054C13E05D48 Time : 0.0 sec. user=mdettweiler [2018-08-11 17:47:26] 623*2^1521032-1 is not prime. Res64: EABDCCEA8028596A Time : 0.0 sec. user=mdettweiler [2018-08-11 17:58:23] 629*2^1521032-1 is not prime. Res64: 1EDC8E51C762FCB4 Time : 0.0 sec. user=mdettweiler [2018-08-11 17:58:24] 633*2^1521032-1 is not prime. Res64: 2882F8414D75917F Time : 0.0 sec. user=mdettweiler [2018-08-11 17:58:24] 917*2^1521032-1 is not prime. Res64: 48B6826832CBF8F4 Time : 0.0 sec. user=mdettweiler [2018-08-11 17:58:24] 923*2^1521032-1 is not prime. Res64: D31A363C8E651DE4 Time : 0.0 sec. user=mdettweiler [2018-08-11 17:58:25] 781*2^1521033-1 is not prime. Res64: 2E437F3DD621CC1A Time : 0.0 sec. user=mdettweiler [2018-08-11 17:58:50] 819*2^1521033-1 is not prime. Res64: 1F53B6C602E72EF4 Time : 0.0 sec. user=mdettweiler [2018-08-11 17:58:50] 919*2^1521033-1 is not prime. Res64: 09CBC314BF7A2CA2 Time : 0.0 sec. user=mdettweiler [2018-08-11 17:58:50] 955*2^1521033-1 is not prime. Res64: 0A4E49DCD61ECF49 Time : 0.0 sec. user=mdettweiler [2018-08-11 17:58:50] 623*2^1521034-1 is not prime. Res64: C4E3C1878A481422 Time : 0.0 sec. user=mdettweiler [2018-08-11 17:58:51] 663*2^1521034-1 is not prime. Res64: 48743031001EFDBE Time : 0.0 sec. user=mdettweiler [2018-08-11 18:19:45] 675*2^1521034-1 is not prime. Res64: D5999BFFA283B3DA Time : 0.0 sec. user=mdettweiler [2018-08-11 18:19:46] 731*2^1521034-1 is not prime. Res64: 727E9796C0C41516 Time : 0.0 sec. user=mdettweiler [2018-08-11 18:19:46] 755*2^1521034-1 is not prime. Res64: C268BF90E7C218CA Time : 0.0 sec. user=mdettweiler [2018-08-11 18:19:47] 831*2^1521034-1 is not prime. Res64: 86D87B796F01C9FB Time : 0.0 sec. user=mdettweiler [2018-08-11 18:19:47] 923*2^1521034-1 is not prime. Res64: CD815F0E74D8CA62 Time : 0.0 sec. user=mdettweiler [2018-08-11 18:43:03] 971*2^1521034-1 is not prime. Res64: E7C73891B702033A Time : 0.0 sec. user=mdettweiler [2018-08-11 18:43:03] 601*2^1521035-1 is not prime. Res64: D10233714464792A Time : 0.0 sec. user=mdettweiler [2018-08-11 18:43:04] 619*2^1521035-1 is not prime. Res64: FDCE1D06C0C1AEFF Time : 0.0 sec. user=mdettweiler [2018-08-11 18:43:04] 645*2^1521035-1 is not prime. Res64: 1F9BD6AE5B320067 Time : 0.0 sec. user=mdettweiler [2018-08-11 18:43:04] 735*2^1521035-1 is not prime. Res64: DCF8B721C13F75A1 Time : 0.0 sec. user=mdettweiler [2018-08-11 18:54:22] 789*2^1521035-1 is not prime. Res64: 706E9FB73353499F Time : 0.0 sec. user=mdettweiler [2018-08-11 18:54:23] 799*2^1521035-1 is not prime. Res64: BA09AD6E57B278A2 Time : 0.0 sec. user=mdettweiler [2018-08-11 18:54:23] 909*2^1521035-1 is not prime. Res64: AEE02EE57236BE19 Time : 0.0 sec. user=mdettweiler [2018-08-11 18:54:23] 939*2^1521035-1 is not prime. Res64: 14B92BA5E0BF2B40 Time : 0.0 sec. user=mdettweiler [2018-08-11 18:54:24] 623*2^1521036-1 is not prime. Res64: BD7DA72854B03BE0 Time : 0.0 sec. user=mdettweiler [2018-08-11 18:54:31] 683*2^1521036-1 is not prime. Res64: 9B437A5AC88DEB90 Time : 0.0 sec. user=mdettweiler [2018-08-11 18:54:31] 619*2^1521037-1 is not prime. Res64: F4A7164AD7EBCBA6 Time : 0.0 sec. user=mdettweiler [2018-08-11 18:54:32] 667*2^1521037-1 is not prime. Res64: 0DAF69C19BC99E51 Time : 0.0 sec. user=mdettweiler [2018-08-11 18:54:32] 769*2^1521037-1 is not prime. Res64: 33D69DE76268CCBC Time : 0.0 sec. user=mdettweiler [2018-08-11 18:54:33] 871*2^1521037-1 is not prime. Res64: B39A29CF4EF749BD Time : 0.0 sec. user=mdettweiler [2018-08-11 19:12:49] 939*2^1521037-1 is not prime. Res64: E12F84360277B356 Time : 0.0 sec. user=mdettweiler [2018-08-11 19:12:50] 997*2^1521037-1 is not prime. Res64: F6AE2F7A9D27C4DD Time : 0.0 sec. user=mdettweiler [2018-08-11 19:12:50] 645*2^1521038-1 is not prime. Res64: 59C04D69CC36C91A Time : 0.0 sec. user=mdettweiler [2018-08-11 19:12:51] 885*2^1521038-1 is not prime. Res64: C3EB2C355623ACD8 Time : 0.0 sec. user=mdettweiler [2018-08-11 19:12:51] 897*2^1521038-1 is not prime. Res64: 7642D98A1D0F1B56 Time : 0.0 sec. user=mdettweiler [2018-08-11 19:33:49] 987*2^1521038-1 is not prime. Res64: 2679BC76B4124624 Time : 0.0 sec. user=mdettweiler [2018-08-11 19:33:49] 615*2^1521039-1 is not prime. Res64: 27C06AAD991E9750 Time : 0.0 sec. user=mdettweiler [2018-08-11 19:33:50] 669*2^1521039-1 is not prime. Res64: 5A9CDF6BEA85A7E2 Time : 0.0 sec. user=mdettweiler [2018-08-11 19:33:50] 751*2^1521039-1 is not prime. Res64: 48323B07D896C322 Time : 0.0 sec. user=mdettweiler [2018-08-11 19:33:50] 843*2^1521039-1 is not prime. Res64: DF5C5091213C0429 Time : 0.0 sec. user=mdettweiler [2018-08-11 19:45:02] 999*2^1521039-1 is not prime. Res64: 509787BD4072790D Time : 0.0 sec. user=mdettweiler [2018-08-11 19:45:02] 695*2^1521040-1 is not prime. Res64: F8770EE81B8C5DFF Time : 0.0 sec. user=mdettweiler [2018-08-11 19:45:03] 819*2^1521040-1 is not prime. Res64: B08300E63D0A960E Time : 0.0 sec. user=mdettweiler [2018-08-11 19:45:03] 983*2^1521040-1 is not prime. Res64: B1908F3078A692C1 Time : 0.0 sec. user=mdettweiler [2018-08-11 19:45:04] 989*2^1521040-1 is not prime. Res64: 3C25B5EF15D2BF2B Time : 0.0 sec. user=mdettweiler [2018-08-11 19:45:15] 999*2^1521040-1 is not prime. Res64: B42CEE056E79D7D7 Time : 0.0 sec. user=mdettweiler [2018-08-11 19:45:15] 615*2^1521041-1 is not prime. Res64: 13B8017E59698800 Time : 0.0 sec. user=mdettweiler [2018-08-11 19:45:16] 679*2^1521041-1 is not prime. Res64: BFF913E00B1083E5 Time : 0.0 sec. user=mdettweiler [2018-08-11 19:45:16] 769*2^1521041-1 is not prime. Res64: 458CF449B3A93DDE Time : 0.0 sec. user=mdettweiler [2018-08-11 19:45:16] 805*2^1521041-1 is not prime. Res64: 22735B0E6B49A84E Time : 0.0 sec. user=mdettweiler [2018-08-11 20:06:16] 931*2^1521041-1 is not prime. Res64: 46B838DEB9A5B14D Time : 0.0 sec. user=mdettweiler [2018-08-11 20:06:19] 967*2^1521041-1 is not prime. Res64: 74B7DDCE70BF568F Time : 0.0 sec. user=mdettweiler [2018-08-11 20:06:22] 987*2^1521041-1 is not prime. Res64: 02768B70C1447E62 Time : 0.0 sec. user=mdettweiler [2018-08-11 20:06:24] 711*2^1521042-1 is not prime. Res64: 135DC986B8EB3572 Time : 0.0 sec. user=mdettweiler [2018-08-11 20:06:27] 723*2^1521042-1 is not prime. Res64: 4CB9519E2C2CEEC8 Time : 0.0 sec. user=mdettweiler [2018-08-11 20:27:18] 725*2^1521042-1 is not prime. Res64: 5BF682EAE393E2D1 Time : 0.0 sec. user=mdettweiler [2018-08-11 20:27:18] 755*2^1521042-1 is not prime. Res64: 8332274D70270141 Time : 0.0 sec. user=mdettweiler [2018-08-11 20:27:19] 777*2^1521042-1 is not prime. Res64: BA1F9BB66EDE9833 Time : 0.0 sec. user=mdettweiler [2018-08-11 20:27:19] 797*2^1521042-1 is not prime. Res64: C88301B55686814B Time : 0.0 sec. user=mdettweiler [2018-08-11 20:27:19] 801*2^1521042-1 is not prime. Res64: A7521AF0E2CE466A Time : 0.0 sec. user=mdettweiler [2018-08-11 20:37:24] 789*2^1521043-1 is not prime. Res64: B48720CA7354247C Time : 0.0 sec. user=mdettweiler [2018-08-11 20:37:24] 861*2^1521043-1 is not prime. Res64: 935B15D1FEE40067 Time : 0.0 sec. user=mdettweiler [2018-08-11 20:37:25] 925*2^1521043-1 is not prime. Res64: 0B65E56A0F2144A6 Time : 0.0 sec. user=mdettweiler [2018-08-11 20:37:25] 617*2^1521044-1 is not prime. Res64: 707AF04CAAFD680B Time : 0.0 sec. user=mdettweiler [2018-08-11 20:37:25] 927*2^1521044-1 is not prime. Res64: DEF0029E6945B9D8 Time : 0.0 sec. user=mdettweiler [2018-08-11 20:39:31] 977*2^1521042-1 is not prime. Res64: 500172B8D6928450 Time : 0.0 sec. user=mdettweiler [2018-08-11 20:39:32] 983*2^1521042-1 is not prime. Res64: 2C5098E9D3ECAF1D Time : 0.0 sec. user=mdettweiler [2018-08-11 20:39:32] 679*2^1521043-1 is not prime. Res64: A998A3DC03E2122F Time : 0.0 sec. user=mdettweiler [2018-08-11 20:39:33] 691*2^1521043-1 is not prime. Res64: DCD90FFA5EA918E0 Time : 0.0 sec. user=mdettweiler [2018-08-11 20:39:33] 741*2^1521043-1 is not prime. Res64: FEC44EBA9D87A7CC Time : 0.0 sec. user=mdettweiler [2018-08-11 20:59:31] 969*2^1521044-1 is not prime. Res64: 9206FCD691D11381 Time : 0.0 sec. user=mdettweiler [2018-08-11 20:59:31] 995*2^1521044-1 is not prime. Res64: E65CC6ACF0EE32E4 Time : 0.0 sec. user=mdettweiler [2018-08-11 20:59:31] 657*2^1521045-1 is not prime. Res64: 6EDC649CD11D202E Time : 0.0 sec. user=mdettweiler [2018-08-11 20:59:32] 741*2^1521045-1 is not prime. Res64: 3429DC797C207EC3 Time : 0.0 sec. user=mdettweiler [2018-08-11 20:59:32] 861*2^1521045-1 is not prime. Res64: 8107AD2E6D9D3CED Time : 0.0 sec. user=mdettweiler [2018-08-11 21:27:06] 919*2^1521045-1 is not prime. Res64: 0C14E1041C626F59 Time : 0.0 sec. user=mdettweiler [2018-08-11 21:27:06] 951*2^1521045-1 is not prime. Res64: D967E7B0365A002D Time : 0.0 sec. user=mdettweiler [2018-08-11 21:27:06] 979*2^1521045-1 is not prime. Res64: 77FC6E6D207F07D5 Time : 0.0 sec. user=mdettweiler [2018-08-11 21:27:07] 997*2^1521045-1 is not prime. Res64: 1B8ADFE2680523D4 Time : 0.0 sec. user=mdettweiler [2018-08-11 21:27:07] 611*2^1521046-1 is not prime. Res64: FBB0E82C1215C744 Time : 0.0 sec. user=mdettweiler [2018-08-11 21:38:51] 645*2^1521046-1 is not prime. Res64: 5635BE65619CD49C Time : 0.0 sec. user=mdettweiler [2018-08-11 21:38:52] 705*2^1521046-1 is not prime. Res64: 5A15C84F922A0091 Time : 0.0 sec. user=mdettweiler [2018-08-11 21:38:52] 723*2^1521046-1 is not prime. Res64: 33A5C4269D7A92A5 Time : 0.0 sec. user=mdettweiler [2018-08-11 21:38:52] 917*2^1521046-1 is not prime. Res64: 4DBEBAE51B3DC738 Time : 0.0 sec. user=mdettweiler [2018-08-11 21:38:53] 705*2^1521047-1 is not prime. Res64: 4EEF3884F192AD17 Time : 0.0 sec. user=mdettweiler [2018-08-11 21:41:45] 819*2^1521047-1 is not prime. Res64: 1D038DE7915AE5B1 Time : 0.0 sec. user=mdettweiler [2018-08-11 21:41:45] 843*2^1521047-1 is not prime. Res64: 64E16817DF6E9650 Time : 0.0 sec. user=mdettweiler [2018-08-11 21:41:45] 913*2^1521047-1 is not prime. Res64: A7541C3727E7ABF9 Time : 0.0 sec. user=mdettweiler [2018-08-11 21:41:46] 993*2^1521047-1 is not prime. Res64: 2AD1947B6E7C6264 Time : 0.0 sec. user=mdettweiler [2018-08-11 21:41:46] 635*2^1521048-1 is not prime. Res64: BD4AD2D2EF06EEA6 Time : 0.0 sec. user=mdettweiler [2018-08-11 21:55:06] 707*2^1521048-1 is not prime. Res64: E56408BB056C805E Time : 0.0 sec. user=mdettweiler [2018-08-11 21:55:06] 765*2^1521048-1 is not prime. Res64: 577D296F1A31F38E Time : 0.0 sec. user=mdettweiler [2018-08-11 21:55:07] 795*2^1521048-1 is not prime. Res64: 7AE187FEB90BC024 Time : 0.0 sec. user=mdettweiler [2018-08-11 21:55:07] 837*2^1521048-1 is not prime. Res64: A11E288886CAC742 Time : 0.0 sec. user=mdettweiler [2018-08-11 21:55:07] 839*2^1521048-1 is not prime. Res64: 284A3F7B10ABEC06 Time : 0.0 sec. user=mdettweiler [2018-08-11 22:31:29] 879*2^1521048-1 is not prime. Res64: BF97BDFF9DC61F39 Time : 0.0 sec. user=mdettweiler [2018-08-11 22:31:29] 923*2^1521048-1 is not prime. Res64: 31FA2B825F495927 Time : 0.0 sec. user=mdettweiler [2018-08-11 22:31:30] 927*2^1521048-1 is not prime. Res64: 9C83953CBE7E5C42 Time : 0.0 sec. user=mdettweiler [2018-08-11 22:31:30] 625*2^1521049-1 is not prime. Res64: 7270867F0AA0A94B Time : 0.0 sec. user=mdettweiler [2018-08-11 22:31:30] 771*2^1521049-1 is not prime. Res64: 76E918FAE4042BB0 Time : 0.0 sec. user=mdettweiler [2018-08-11 22:43:38] 919*2^1521049-1 is not prime. Res64: 8E147DA02012F288 Time : 0.0 sec. user=mdettweiler [2018-08-11 22:43:39] 951*2^1521049-1 is not prime. Res64: BD70CA57EA0CC503 Time : 0.0 sec. user=mdettweiler [2018-08-11 22:43:39] 623*2^1521050-1 is not prime. Res64: D306F49C72D6D891 Time : 0.0 sec. user=mdettweiler [2018-08-11 22:43:39] 651*2^1521050-1 is not prime. Res64: E4A19981A8AB1348 Time : 0.0 sec. user=mdettweiler [2018-08-11 22:43:40] 675*2^1521050-1 is not prime. Res64: 6D9637BD9941964C Time : 0.0 sec. user=mdettweiler [2018-08-11 22:46:26] 713*2^1521050-1 is not prime. Res64: 184B691D0DE91A4C Time : 0.0 sec. user=mdettweiler [2018-08-11 22:46:26] 857*2^1521050-1 is not prime. Res64: 9767E5A85CFC2F05 Time : 0.0 sec. user=mdettweiler [2018-08-11 22:46:26] 893*2^1521050-1 is not prime. Res64: 97D5BA9CC18A5142 Time : 0.0 sec. user=mdettweiler [2018-08-11 22:46:27] 921*2^1521050-1 is not prime. Res64: 0AA55C47AF7B3029 Time : 0.0 sec. user=mdettweiler [2018-08-11 22:46:27] 953*2^1521050-1 is not prime. Res64: 48FD8EC7196DB902 Time : 0.0 sec. user=mdettweiler [2018-08-11 22:54:26] 619*2^1521051-1 is not prime. Res64: D23663CD5D1B00EA Time : 0.0 sec. user=mdettweiler [2018-08-11 22:54:26] 669*2^1521051-1 is not prime. Res64: 7EB02B3FCD09C93C Time : 0.0 sec. user=mdettweiler [2018-08-11 22:54:27] 819*2^1521051-1 is not prime. Res64: 2800E81CA844B7F3 Time : 0.0 sec. user=mdettweiler [2018-08-11 22:54:27] 909*2^1521051-1 is not prime. Res64: A59A6BDD661693FF Time : 0.0 sec. user=mdettweiler [2018-08-11 22:54:27] 819*2^1521052-1 is not prime. Res64: 50F26A4E0741DDD9 Time : 0.0 sec. user=mdettweiler [2018-08-11 23:32:03] 855*2^1521052-1 is not prime. Res64: 9865F0E5591E361C Time : 0.0 sec. user=mdettweiler [2018-08-11 23:32:04] 857*2^1521052-1 is not prime. Res64: ABE0DC215970BFC5 Time : 0.0 sec. user=mdettweiler [2018-08-11 23:32:04] 887*2^1521052-1 is not prime. Res64: D4C475578826FFD0 Time : 0.0 sec. user=mdettweiler [2018-08-11 23:32:05] 697*2^1521053-1 is not prime. Res64: 615255B973D0F91C Time : 0.0 sec. user=mdettweiler [2018-08-11 23:32:05] 747*2^1521053-1 is not prime. Res64: 8F3EA9AC15F6A823 Time : 0.0 sec. user=mdettweiler [2018-08-11 23:38:13] 915*2^1521053-1 is not prime. Res64: 6F47F08FFEB22D3E Time : 0.0 sec. user=mdettweiler [2018-08-11 23:38:14] 969*2^1521053-1 is not prime. Res64: 99567C894A5B9248 Time : 0.0 sec. user=mdettweiler [2018-08-11 23:38:14] 987*2^1521053-1 is not prime. Res64: 84D7C82035850D0F Time : 0.0 sec. user=mdettweiler [2018-08-11 23:38:15] 991*2^1521053-1 is not prime. Res64: A29F90C6CD33C856 Time : 0.0 sec. user=mdettweiler [2018-08-11 23:38:15] 711*2^1521054-1 is not prime. Res64: 87B2BFCF5BDA2993 Time : 0.0 sec. user=mdettweiler [2018-08-11 23:43:55] 927*2^1521054-1 is not prime. Res64: 53321394F4DC6578 Time : 0.0 sec. user=mdettweiler [2018-08-11 23:43:55] 947*2^1521054-1 is not prime. Res64: 80E3231A158B5813 Time : 0.0 sec. user=mdettweiler [2018-08-11 23:43:55] 993*2^1521054-1 is not prime. Res64: CDE1CA1C731C5585 Time : 0.0 sec. user=mdettweiler [2018-08-11 23:43:56] 645*2^1521055-1 is not prime. Res64: DF2C144F58863FAD Time : 0.0 sec. user=mdettweiler [2018-08-11 23:43:56] 759*2^1521055-1 is not prime. Res64: B3CAA770D02C32AC Time : 0.0 sec. user=mdettweiler [2018-08-11 23:48:11] 873*2^1521055-1 is not prime. Res64: C27F286B705D3B15 Time : 0.0 sec. user=mdettweiler [2018-08-11 23:48:11] 961*2^1521055-1 is not prime. Res64: 9594CD69EE8ADAAD Time : 0.0 sec. user=mdettweiler [2018-08-11 23:48:12] 683*2^1521056-1 is not prime. Res64: F628D52208087EB9 Time : 0.0 sec. user=mdettweiler [2018-08-11 23:48:12] 869*2^1521056-1 is not prime. Res64: C1DDE2DCA49C3347 Time : 0.0 sec. user=mdettweiler [2018-08-11 23:48:12] 875*2^1521056-1 is not prime. Res64: B45628093E8FD87D Time : 0.0 sec.