user=juhehe [2017-05-01 00:06:33] 777*2^1452888-1 is not prime. Res64: F900E48086D4F0CB Time : 0.0 sec. user=mdettweiler [2017-05-01 00:23:38] 929*2^1452888-1 is not prime. Res64: D4313637ADCE7C22 Time : 0.0 sec. user=mdettweiler [2017-05-01 00:23:38] 933*2^1452888-1 is not prime. Res64: 425FEDCD1903C2AF Time : 0.0 sec. user=mdettweiler [2017-05-01 00:23:39] 959*2^1452888-1 is not prime. Res64: 256BF305153BFA07 Time : 0.0 sec. user=mdettweiler [2017-05-01 00:23:39] 601*2^1452889-1 is not prime. Res64: 1D69729F0F7CF066 Time : 0.0 sec. user=mdettweiler [2017-05-01 00:23:39] 649*2^1452889-1 is not prime. Res64: AC12D0B11B3F1270 Time : 0.0 sec. user=mdettweiler [2017-05-01 00:23:41] 687*2^1452889-1 is not prime. Res64: 2F40E4DF0B379387 Time : 0.0 sec. user=mdettweiler [2017-05-01 00:23:41] 895*2^1452889-1 is not prime. Res64: C9F49900D03F097D Time : 0.0 sec. user=mdettweiler [2017-05-01 00:23:42] 955*2^1452889-1 is not prime. Res64: 3D4BEE6C45ED0E85 Time : 0.0 sec. user=mdettweiler [2017-05-01 00:23:42] 987*2^1452889-1 is not prime. Res64: F0AD3FBA1B3E5945 Time : 0.0 sec. user=mdettweiler [2017-05-01 00:23:43] 701*2^1452890-1 is not prime. Res64: 1B21B6E9092B382A Time : 0.0 sec. user=mdettweiler [2017-05-01 01:08:07] 885*2^1452890-1 is not prime. Res64: D3C789B9B26EB935 Time : 0.0 sec. user=mdettweiler [2017-05-01 01:08:08] 995*2^1452890-1 is not prime. Res64: 1C0505B6E46147BF Time : 0.0 sec. user=mdettweiler [2017-05-01 01:08:08] 619*2^1452891-1 is not prime. Res64: EC1E9067095D6E7B Time : 0.0 sec. user=mdettweiler [2017-05-01 01:08:09] 769*2^1452891-1 is not prime. Res64: 72D417D9D978316C Time : 0.0 sec. user=mdettweiler [2017-05-01 01:08:09] 795*2^1452891-1 is not prime. Res64: 200BA5010D288F39 Time : 0.0 sec. user=mdettweiler [2017-05-01 01:08:13] 825*2^1452891-1 is not prime. Res64: 83264FA66E0C1422 Time : 0.0 sec. user=mdettweiler [2017-05-01 01:08:13] 945*2^1452891-1 is not prime. Res64: A36790E6B76EFF62 Time : 0.0 sec. user=mdettweiler [2017-05-01 01:08:15] 949*2^1452891-1 is not prime. Res64: 9B5B5DBFA00B40DA Time : 0.0 sec. user=mdettweiler [2017-05-01 01:08:16] 961*2^1452891-1 is not prime. Res64: 54A64998F53703C4 Time : 0.0 sec. user=mdettweiler [2017-05-01 01:08:16] 999*2^1452891-1 is not prime. Res64: 9DE3F6FA080CCBCA Time : 0.0 sec. user=juhehe [2017-05-01 01:24:34] 615*2^1452892-1 is not prime. Res64: 94587AE8EBBDC97A Time : 0.0 sec. user=mdettweiler [2017-05-01 01:52:42] 687*2^1452892-1 is not prime. Res64: 95CF482E0623903A Time : 0.0 sec. user=mdettweiler [2017-05-01 01:52:42] 705*2^1452892-1 is not prime. Res64: AFF4A9EB80E2A5DC Time : 0.0 sec. user=mdettweiler [2017-05-01 01:52:42] 843*2^1452892-1 is not prime. Res64: C33B6A35BA5B1B90 Time : 0.0 sec. user=mdettweiler [2017-05-01 01:52:42] 743*2^1452892-1 is not prime. Res64: 9ABE0AD5E54B7C84 Time : 0.0 sec. user=mdettweiler [2017-05-01 01:52:43] 903*2^1452892-1 is not prime. Res64: 97861A182F1F6187 Time : 0.0 sec. user=mdettweiler [2017-05-01 01:52:43] 749*2^1452892-1 is not prime. Res64: A5F1FF153ACC9642 Time : 0.0 sec. user=mdettweiler [2017-05-01 01:52:43] 923*2^1452892-1 is not prime. Res64: 9A7074756E0C815E Time : 0.0 sec. user=mdettweiler [2017-05-01 01:52:43] 797*2^1452892-1 is not prime. Res64: 8B625A8410EC38E8 Time : 0.0 sec. user=mdettweiler [2017-05-01 01:52:43] 989*2^1452892-1 is not prime. Res64: FE4D60088C2CAADF Time : 0.0 sec. user=mdettweiler [2017-05-01 01:52:44] 995*2^1452892-1 is not prime. Res64: 2F8FECDA3855F87D Time : 0.0 sec. user=juhehe [2017-05-01 02:03:28] 619*2^1452893-1 is not prime. Res64: 8CA0633663A79DDE Time : 0.0 sec. user=mdettweiler [2017-05-01 02:37:10] 663*2^1452894-1 is not prime. Res64: 6F75BFDE5B10A5BB Time : 0.0 sec. user=mdettweiler [2017-05-01 02:37:10] 621*2^1452893-1 is not prime. Res64: 36C28804A9BFF0EF Time : 0.0 sec. user=mdettweiler [2017-05-01 02:37:10] 755*2^1452894-1 is not prime. Res64: 8CD685C96B0A5879 Time : 0.0 sec. user=mdettweiler [2017-05-01 02:37:11] 631*2^1452893-1 is not prime. Res64: 5EA1F2D00DBF03B1 Time : 0.0 sec. user=mdettweiler [2017-05-01 02:37:11] 791*2^1452894-1 is not prime. Res64: 6DD2E66AF6A46EB9 Time : 0.0 sec. user=mdettweiler [2017-05-01 02:37:11] 847*2^1452893-1 is not prime. Res64: DE976ED35A91C9A7 Time : 0.0 sec. user=mdettweiler [2017-05-01 02:37:12] 815*2^1452894-1 is not prime. Res64: ED66775A1DDA21B8 Time : 0.0 sec. user=mdettweiler [2017-05-01 02:37:12] 981*2^1452893-1 is not prime. Res64: 4CB6289F25310D48 Time : 0.0 sec. user=mdettweiler [2017-05-01 02:37:12] 891*2^1452894-1 is not prime. Res64: 9741B16B51D56D8A Time : 0.0 sec. user=mdettweiler [2017-05-01 02:37:12] 635*2^1452894-1 is not prime. Res64: B1DA5EDD45F5939D Time : 0.0 sec. user=juhehe [2017-05-01 03:21:20] 677*2^1452896-1 is not prime. Res64: 0ED1544F50009E68 Time : 0.0 sec. user=mdettweiler [2017-05-01 03:21:52] 893*2^1452894-1 is not prime. Res64: 569115D84DBBB21C Time : 0.0 sec. user=mdettweiler [2017-05-01 03:21:52] 853*2^1452895-1 is not prime. Res64: 7134593735A4D6F2 Time : 0.0 sec. user=mdettweiler [2017-05-01 03:21:52] 927*2^1452894-1 is not prime. Res64: 877B74AA1E9152F8 Time : 0.0 sec. user=mdettweiler [2017-05-01 03:21:53] 891*2^1452895-1 is not prime. Res64: D3B9E83D8658EFEF Time : 0.0 sec. user=mdettweiler [2017-05-01 03:21:53] 723*2^1452895-1 is not prime. Res64: 80E09B2BC7CE4E35 Time : 0.0 sec. user=mdettweiler [2017-05-01 03:21:53] 913*2^1452895-1 is not prime. Res64: E804BFA54B8A1BAA Time : 0.0 sec. user=mdettweiler [2017-05-01 03:21:53] 735*2^1452895-1 is not prime. Res64: 2C61503839EFE116 Time : 0.0 sec. user=mdettweiler [2017-05-01 03:21:54] 999*2^1452895-1 is not prime. Res64: 3EEFAB12A521005C Time : 0.0 sec. user=mdettweiler [2017-05-01 03:21:54] 805*2^1452895-1 is not prime. Res64: A363B97E22344A45 Time : 0.0 sec. user=mdettweiler [2017-05-01 03:21:54] 675*2^1452896-1 is not prime. Res64: 3C1C1E9E1C2D51B8 Time : 0.0 sec. user=juhehe [2017-05-01 04:00:08] 689*2^1452896-1 is not prime. Res64: 7B45CE1E1677E13D Time : 0.0 sec. user=mdettweiler [2017-05-01 04:06:21] 755*2^1452896-1 is not prime. Res64: E766BA42C56B0487 Time : 0.0 sec. user=mdettweiler [2017-05-01 04:06:21] 963*2^1452896-1 is not prime. Res64: E83406A2ECE480E3 Time : 0.0 sec. user=mdettweiler [2017-05-01 04:06:22] 785*2^1452896-1 is not prime. Res64: DA907D28B3B57E21 Time : 0.0 sec. user=mdettweiler [2017-05-01 04:06:22] 769*2^1452897-1 is not prime. Res64: A138F26B1EAE8E3C Time : 0.0 sec. user=mdettweiler [2017-05-01 04:06:22] 825*2^1452896-1 is not prime. Res64: A3410D3BA314A5C9 Time : 0.0 sec. user=mdettweiler [2017-05-01 04:06:22] 781*2^1452897-1 is not prime. Res64: 85F6D40BA89CCE47 Time : 0.0 sec. user=mdettweiler [2017-05-01 04:06:23] 857*2^1452896-1 is not prime. Res64: 24EB822EED6C97CA Time : 0.0 sec. user=mdettweiler [2017-05-01 04:06:23] 817*2^1452897-1 is not prime. Res64: A96D6546EA66D08D Time : 0.0 sec. user=mdettweiler [2017-05-01 04:06:23] 879*2^1452896-1 is not prime. Res64: 2584A2986D738A09 Time : 0.0 sec. user=mdettweiler [2017-05-01 04:06:23] 885*2^1452897-1 is not prime. Res64: E1B5E17071067D52 Time : 0.0 sec. user=mdettweiler [2017-05-01 04:50:56] 671*2^1452898-1 is not prime. Res64: 8340AFAD645E94F2 Time : 0.0 sec. user=mdettweiler [2017-05-01 04:50:57] 713*2^1452898-1 is not prime. Res64: BA3B2B065B30EFBB Time : 0.0 sec. user=mdettweiler [2017-05-01 04:50:57] 723*2^1452898-1 is not prime. Res64: A5AC4B8910CE43A1 Time : 0.0 sec. user=mdettweiler [2017-05-01 04:50:57] 773*2^1452898-1 is not prime. Res64: E1C1BA5EB5868AD6 Time : 0.0 sec. user=mdettweiler [2017-05-01 04:50:58] 777*2^1452898-1 is not prime. Res64: 30C4B8B7EEA87BC4 Time : 0.0 sec. user=mdettweiler [2017-05-01 04:50:58] 889*2^1452897-1 is not prime. Res64: 4C22A432CE86B6D4 Time : 0.0 sec. user=mdettweiler [2017-05-01 04:50:59] 891*2^1452897-1 is not prime. Res64: 8132BD74DA3209A3 Time : 0.0 sec. user=mdettweiler [2017-05-01 04:50:59] 937*2^1452897-1 is not prime. Res64: 6EA7DC3D76C38A7D Time : 0.0 sec. user=mdettweiler [2017-05-01 04:50:59] 633*2^1452898-1 is not prime. Res64: A792A43E25B0156E Time : 0.0 sec. user=mdettweiler [2017-05-01 04:51:00] 657*2^1452898-1 is not prime. Res64: FC4876157BB869F2 Time : 0.0 sec. user=juhehe [2017-05-01 05:05:41] 825*2^1452898-1 is not prime. Res64: F9EC3E9735FC4F5E Time : 0.0 sec. user=juhehe [2017-05-01 05:18:04] 827*2^1452898-1 is not prime. Res64: 7C4249F846C4671A Time : 0.0 sec. user=mdettweiler [2017-05-01 05:35:25] 915*2^1452898-1 is not prime. Res64: 66E183F7948D2841 Time : 0.0 sec. user=mdettweiler [2017-05-01 05:35:25] 945*2^1452898-1 is not prime. Res64: 45F2381D7BB1B5F5 Time : 0.0 sec. user=mdettweiler [2017-05-01 05:35:26] 951*2^1452898-1 is not prime. Res64: C223F482D4C4677D Time : 0.0 sec. user=mdettweiler [2017-05-01 05:35:26] 971*2^1452898-1 is not prime. Res64: F2E66793E71DC523 Time : 0.0 sec. user=mdettweiler [2017-05-01 05:35:27] 711*2^1452899-1 is not prime. Res64: A3B860F0CFED7BD4 Time : 0.0 sec. user=mdettweiler [2017-05-01 05:35:27] 745*2^1452899-1 is not prime. Res64: B21631FAB343BD62 Time : 0.0 sec. user=mdettweiler [2017-05-01 05:35:28] 753*2^1452899-1 is not prime. Res64: 9E06F3EB5059FAFE Time : 0.0 sec. user=mdettweiler [2017-05-01 05:35:28] 819*2^1452899-1 is not prime. Res64: 87250026738BED7B Time : 0.0 sec. user=mdettweiler [2017-05-01 05:35:28] 693*2^1452900-1 is not prime. Res64: 0AD4E6215B99AF9F Time : 0.0 sec. user=mdettweiler [2017-05-01 05:35:29] 723*2^1452900-1 is not prime. Res64: A6134FB951657CCD Time : 0.0 sec. user=juhehe [2017-05-01 05:56:50] 839*2^1452900-1 is not prime. Res64: 2D9521DEE0E0AEB9 Time : 0.0 sec. user=mdettweiler [2017-05-01 06:19:54] 863*2^1452900-1 is not prime. Res64: FC183155120B9965 Time : 0.0 sec. user=mdettweiler [2017-05-01 06:19:54] 923*2^1452900-1 is not prime. Res64: 661AD905025E90A2 Time : 0.0 sec. user=mdettweiler [2017-05-01 06:19:55] 687*2^1452901-1 is not prime. Res64: 97EE4E9E73E3C7FF Time : 0.0 sec. user=mdettweiler [2017-05-01 06:19:55] 691*2^1452901-1 is not prime. Res64: 6E1A4EEF04086613 Time : 0.0 sec. user=mdettweiler [2017-05-01 06:19:55] 775*2^1452901-1 is not prime. Res64: 731D1A9D9210C1AD Time : 0.0 sec. user=mdettweiler [2017-05-01 06:19:56] 777*2^1452901-1 is not prime. Res64: 11260D840FEDEE9A Time : 0.0 sec. user=mdettweiler [2017-05-01 06:19:57] 799*2^1452901-1 is not prime. Res64: A87546C62475B20E Time : 0.0 sec. user=mdettweiler [2017-05-01 06:19:57] 817*2^1452901-1 is not prime. Res64: AD7DF89730AFC4E9 Time : 0.0 sec. user=mdettweiler [2017-05-01 06:19:57] 955*2^1452901-1 is not prime. Res64: B613C9C929134B53 Time : 0.0 sec. user=mdettweiler [2017-05-01 06:19:58] 987*2^1452901-1 is not prime. Res64: C8C2C0166A0B29A2 Time : 0.0 sec. user=mdettweiler [2017-05-01 07:04:23] 623*2^1452902-1 is not prime. Res64: EDF02C1794DB70D5 Time : 0.0 sec. user=mdettweiler [2017-05-01 07:04:25] 627*2^1452902-1 is not prime. Res64: 8EB2A4D706E280AD Time : 0.0 sec. user=mdettweiler [2017-05-01 07:04:26] 635*2^1452902-1 is not prime. Res64: 52F3B7F3EE8BDABA Time : 0.0 sec. user=mdettweiler [2017-05-01 07:04:28] 661*2^1452903-1 is not prime. Res64: 9EE47A1B1873A028 Time : 0.0 sec. user=mdettweiler [2017-05-01 07:04:29] 813*2^1452902-1 is not prime. Res64: 283923024FD150C4 Time : 0.0 sec. user=mdettweiler [2017-05-01 07:04:30] 685*2^1452903-1 is not prime. Res64: 0F6C47E9DDA342D6 Time : 0.0 sec. user=mdettweiler [2017-05-01 07:04:31] 943*2^1452903-1 is not prime. Res64: A2D52D3ABC2CDFEA Time : 0.0 sec. user=mdettweiler [2017-05-01 07:04:32] 615*2^1452903-1 is not prime. Res64: EA257337C212B14B Time : 0.0 sec. user=mdettweiler [2017-05-01 07:04:33] 665*2^1452904-1 is not prime. Res64: 4A1BC552EAC598FE Time : 0.0 sec. user=mdettweiler [2017-05-01 07:04:34] 695*2^1452904-1 is not prime. Res64: 8C959321C5F4D38B Time : 0.0 sec. user=mdettweiler [2017-05-01 07:49:58] 747*2^1452904-1 is not prime. Res64: E1CF858B58BA87D8 Time : 0.0 sec. user=mdettweiler [2017-05-01 07:49:58] 833*2^1452904-1 is not prime. Res64: 2003F6088149A71B Time : 0.0 sec. user=mdettweiler [2017-05-01 07:49:59] 875*2^1452904-1 is not prime. Res64: 5518E5C067737030 Time : 0.0 sec. user=mdettweiler [2017-05-01 07:49:59] 899*2^1452904-1 is not prime. Res64: FAE894C716547EC2 Time : 0.0 sec. user=mdettweiler [2017-05-01 07:49:59] 905*2^1452904-1 is not prime. Res64: 8A319E8B18313AE4 Time : 0.0 sec. user=mdettweiler [2017-05-01 07:50:02] 959*2^1452904-1 is not prime. Res64: 63E307C5CB937318 Time : 0.0 sec. user=mdettweiler [2017-05-01 07:50:03] 969*2^1452904-1 is not prime. Res64: FE9D2A7B6DC935A4 Time : 0.0 sec. user=mdettweiler [2017-05-01 07:50:03] 983*2^1452904-1 is not prime. Res64: B381DA5A60F11CC3 Time : 0.0 sec. user=mdettweiler [2017-05-01 07:50:04] 651*2^1452905-1 is not prime. Res64: 0ABC473C5326A21A Time : 0.0 sec. user=mdettweiler [2017-05-01 07:50:04] 669*2^1452905-1 is not prime. Res64: 23C75AA6480A7396 Time : 0.0 sec. user=mdettweiler [2017-05-01 08:34:32] 735*2^1452905-1 is not prime. Res64: DEE32840372B69B7 Time : 0.0 sec. user=mdettweiler [2017-05-01 08:34:33] 741*2^1452905-1 is not prime. Res64: DBAEF41DA7240752 Time : 0.0 sec. user=mdettweiler [2017-05-01 08:34:33] 777*2^1452905-1 is not prime. Res64: AB66445854A40552 Time : 0.0 sec. user=mdettweiler [2017-05-01 08:34:34] 861*2^1452905-1 is not prime. Res64: 83755680142327C4 Time : 0.0 sec. user=mdettweiler [2017-05-01 08:34:34] 907*2^1452905-1 is not prime. Res64: 785BD176FC687FA2 Time : 0.0 sec. user=mdettweiler [2017-05-01 08:34:37] 957*2^1452905-1 is not prime. Res64: 828D246EF8E1776F Time : 0.0 sec. user=mdettweiler [2017-05-01 08:34:37] 683*2^1452906-1 is not prime. Res64: 17DD13120CB046E5 Time : 0.0 sec. user=mdettweiler [2017-05-01 08:34:38] 843*2^1452906-1 is not prime. Res64: E33B3F148E6F3E23 Time : 0.0 sec. user=mdettweiler [2017-05-01 08:34:38] 867*2^1452906-1 is not prime. Res64: 358C84C7528A02DC Time : 0.0 sec. user=mdettweiler [2017-05-01 08:34:39] 631*2^1452907-1 is not prime. Res64: 79777D1D383D1E10 Time : 0.0 sec. user=mdettweiler [2017-05-01 09:19:02] 633*2^1452907-1 is not prime. Res64: E42C5A99C58A8026 Time : 0.0 sec. user=mdettweiler [2017-05-01 09:19:03] 651*2^1452907-1 is not prime. Res64: 50B39BF31094A485 Time : 0.0 sec. user=mdettweiler [2017-05-01 09:19:03] 741*2^1452907-1 is not prime. Res64: 2248E47467F764F6 Time : 0.0 sec. user=mdettweiler [2017-05-01 09:19:04] 819*2^1452907-1 is not prime. Res64: AA417D0F8D5119D3 Time : 0.0 sec. user=mdettweiler [2017-05-01 09:19:04] 873*2^1452907-1 is not prime. Res64: CA3EB183D3DF15B0 Time : 0.0 sec. user=mdettweiler [2017-05-01 09:19:10] 883*2^1452907-1 is not prime. Res64: 25F6410B634D5DBE Time : 0.0 sec. user=mdettweiler [2017-05-01 09:19:11] 975*2^1452907-1 is not prime. Res64: 9D4173BF54EEE0DA Time : 0.0 sec. user=mdettweiler [2017-05-01 09:19:11] 687*2^1452908-1 is not prime. Res64: CF9A46B7D1F9E766 Time : 0.0 sec. user=mdettweiler [2017-05-01 09:19:13] 735*2^1452908-1 is not prime. Res64: 460D9706291FD7D8 Time : 0.0 sec. user=mdettweiler [2017-05-01 09:19:13] 813*2^1452908-1 is not prime. Res64: 71D511D1C42E04C2 Time : 0.0 sec. user=mdettweiler [2017-05-01 10:03:34] 845*2^1452908-1 is not prime. Res64: 4603979C786EA4D8 Time : 0.0 sec. user=mdettweiler [2017-05-01 10:03:35] 855*2^1452908-1 is not prime. Res64: D9EBB4B3D908803B Time : 0.0 sec. user=mdettweiler [2017-05-01 10:03:36] 885*2^1452908-1 is not prime. Res64: CECF760AA92358F6 Time : 0.0 sec. user=mdettweiler [2017-05-01 10:03:38] 999*2^1452908-1 is not prime. Res64: 82F83C9A5D6907E9 Time : 0.0 sec. user=mdettweiler [2017-05-01 10:03:39] 625*2^1452909-1 is not prime. Res64: C7209DF36F638CD6 Time : 0.0 sec. user=mdettweiler [2017-05-01 10:03:44] 655*2^1452909-1 is not prime. Res64: 8BD0477193D4A58C Time : 0.0 sec. user=mdettweiler [2017-05-01 10:03:45] 691*2^1452909-1 is not prime. Res64: 017ED1D2A24DD9B4 Time : 0.0 sec. user=mdettweiler [2017-05-01 10:03:47] 759*2^1452909-1 is not prime. Res64: 818A17306B319907 Time : 0.0 sec. user=mdettweiler [2017-05-01 10:03:49] 789*2^1452909-1 is not prime. Res64: 61ED0C3CB9CA5469 Time : 0.0 sec. user=mdettweiler [2017-05-01 10:03:50] 949*2^1452909-1 is not prime. Res64: EDF878C1C1A7C0AD Time : 0.0 sec. user=mdettweiler [2017-05-01 10:48:35] 951*2^1452909-1 is not prime. Res64: AA82104D39BF69E3 Time : 0.0 sec. user=mdettweiler [2017-05-01 10:48:35] 961*2^1452909-1 is not prime. Res64: 6FC873053E9B21D0 Time : 0.0 sec. user=mdettweiler [2017-05-01 10:48:35] 999*2^1452909-1 is not prime. Res64: 7A53D8F4184E3E55 Time : 0.0 sec. user=mdettweiler [2017-05-01 10:48:36] 611*2^1452910-1 is not prime. Res64: 273960471C5D9C3B Time : 0.0 sec. user=mdettweiler [2017-05-01 10:48:36] 777*2^1452910-1 is not prime. Res64: BE25DDC6D605DDA9 Time : 0.0 sec. user=mdettweiler [2017-05-01 10:48:36] 665*2^1452910-1 is not prime. Res64: 7999E9B0CAEE129D Time : 0.0 sec. user=mdettweiler [2017-05-01 10:48:36] 827*2^1452910-1 is not prime. Res64: 6A40136415B9DA2B Time : 0.0 sec. user=mdettweiler [2017-05-01 10:48:37] 855*2^1452910-1 is not prime. Res64: 3114A2D78B60BEC6 Time : 0.0 sec. user=mdettweiler [2017-05-01 10:48:37] 923*2^1452910-1 is not prime. Res64: CED6AA65A809E5C0 Time : 0.0 sec. user=mdettweiler [2017-05-01 10:48:38] 945*2^1452910-1 is not prime. Res64: 306ED9151CB0EB4C Time : 0.0 sec. user=mdettweiler [2017-05-01 11:33:04] 957*2^1452910-1 is not prime. Res64: 3BAA1294B846D66B Time : 0.0 sec. user=mdettweiler [2017-05-01 11:33:04] 645*2^1452911-1 is not prime. Res64: 0C40F2287ED17F57 Time : 0.0 sec. user=mdettweiler [2017-05-01 11:33:04] 943*2^1452911-1 is not prime. Res64: A5F3DE99C869573B Time : 0.0 sec. user=mdettweiler [2017-05-01 11:33:05] 955*2^1452911-1 is not prime. Res64: 8FE9246AA7659759 Time : 0.0 sec. user=mdettweiler [2017-05-01 11:33:05] 661*2^1452911-1 is not prime. Res64: EAEC2F85F5E379B1 Time : 0.0 sec. user=mdettweiler [2017-05-01 11:33:05] 627*2^1452912-1 is not prime. Res64: 7B5BEAC3C572E653 Time : 0.0 sec. user=mdettweiler [2017-05-01 11:33:05] 789*2^1452911-1 is not prime. Res64: 1AB7FF5F58D1DE78 Time : 0.0 sec. user=mdettweiler [2017-05-01 11:33:06] 635*2^1452912-1 is not prime. Res64: 799F4E6914087B96 Time : 0.0 sec. user=mdettweiler [2017-05-01 11:33:06] 883*2^1452911-1 is not prime. Res64: 158E3BC6E9223498 Time : 0.0 sec. user=mdettweiler [2017-05-01 11:33:06] 699*2^1452912-1 is not prime. Res64: 004C67859FE0E716 Time : 0.0 sec. user=mdettweiler [2017-05-01 12:17:55] 759*2^1452912-1 is not prime. Res64: 2002E515572A823D Time : 0.0 sec. user=mdettweiler [2017-05-01 12:17:55] 909*2^1452912-1 is not prime. Res64: CE5B9FF911F34F77 Time : 0.0 sec. user=mdettweiler [2017-05-01 12:17:55] 975*2^1452912-1 is not prime. Res64: A963CFBCC3E1392C Time : 0.0 sec. user=mdettweiler [2017-05-01 12:17:56] 715*2^1452913-1 is not prime. Res64: 061097F6AD88254A Time : 0.0 sec. user=mdettweiler [2017-05-01 12:17:56] 639*2^1452913-1 is not prime. Res64: 47F96CEEDBF70043 Time : 0.0 sec. user=mdettweiler [2017-05-01 12:17:56] 741*2^1452913-1 is not prime. Res64: 61CD2187209E4102 Time : 0.0 sec. user=mdettweiler [2017-05-01 12:17:56] 685*2^1452913-1 is not prime. Res64: 0B1852DB688398FA Time : 0.0 sec. user=mdettweiler [2017-05-01 12:17:56] 745*2^1452913-1 is not prime. Res64: D41AE4D9AA6E7CF9 Time : 0.0 sec. user=mdettweiler [2017-05-01 12:17:56] 747*2^1452913-1 is not prime. Res64: 8031D0AD957F95EC Time : 0.0 sec. user=mdettweiler [2017-05-01 12:17:57] 765*2^1452913-1 is not prime. Res64: B45013A833DC6410 Time : 0.0 sec. user=juhehe [2017-05-01 12:34:37] 771*2^1452913-1 is not prime. Res64: 636B1989720CF93F Time : 0.0 sec. user=mdettweiler [2017-05-01 13:03:39] 641*2^1452914-1 is not prime. Res64: C4F5EFFA8E9F9512 Time : 0.0 sec. user=mdettweiler [2017-05-01 13:03:41] 651*2^1452914-1 is not prime. Res64: 92A3B307F387F599 Time : 0.0 sec. user=mdettweiler [2017-05-01 13:03:42] 687*2^1452914-1 is not prime. Res64: 599FA32517A4B342 Time : 0.0 sec. user=mdettweiler [2017-05-01 13:03:43] 835*2^1452913-1 is not prime. Res64: 21D4199E4DF6FF19 Time : 0.0 sec. user=mdettweiler [2017-05-01 13:03:44] 783*2^1452914-1 is not prime. Res64: 997787FF08FCFDD4 Time : 0.0 sec. user=mdettweiler [2017-05-01 13:03:45] 877*2^1452913-1 is not prime. Res64: 81583423B512B7EE Time : 0.0 sec. user=mdettweiler [2017-05-01 13:03:46] 813*2^1452914-1 is not prime. Res64: 87D01AE392EB2FA7 Time : 0.0 sec. user=mdettweiler [2017-05-01 13:03:47] 915*2^1452913-1 is not prime. Res64: 79B25E62520C6B50 Time : 0.0 sec. user=mdettweiler [2017-05-01 13:03:49] 925*2^1452913-1 is not prime. Res64: 412CC4E47188A68D Time : 0.0 sec. user=mdettweiler [2017-05-01 13:03:50] 939*2^1452913-1 is not prime. Res64: 01B3BD035C1065F0 Time : 0.0 sec. user=mdettweiler [2017-05-01 13:49:28] 833*2^1452914-1 is not prime. Res64: D131BFBC265DF4E9 Time : 0.0 sec. user=mdettweiler [2017-05-01 13:49:29] 927*2^1452914-1 is not prime. Res64: 05B386307775035A Time : 0.0 sec. user=mdettweiler [2017-05-01 13:49:29] 971*2^1452914-1 is not prime. Res64: 2910EB16F8E34226 Time : 0.0 sec. user=mdettweiler [2017-05-01 13:49:29] 609*2^1452915-1 is not prime. Res64: 307EBCADCA1E7C9F Time : 0.0 sec. user=mdettweiler [2017-05-01 13:49:29] 663*2^1452915-1 is not prime. Res64: BAA45FFFD92AC8C6 Time : 0.0 sec. user=mdettweiler [2017-05-01 13:49:30] 709*2^1452915-1 is not prime. Res64: C9319824FB44498D Time : 0.0 sec. user=mdettweiler [2017-05-01 13:49:31] 751*2^1452915-1 is not prime. Res64: 775024785184E5EC Time : 0.0 sec. user=mdettweiler [2017-05-01 13:49:31] 753*2^1452915-1 is not prime. Res64: F74F751391BE06F1 Time : 0.0 sec. user=mdettweiler [2017-05-01 13:49:31] 789*2^1452915-1 is not prime. Res64: AAAFAF6274695608 Time : 0.0 sec. user=mdettweiler [2017-05-01 13:49:32] 891*2^1452915-1 is not prime. Res64: 7CE0C7D4CA7AD7D1 Time : 0.0 sec. user=juhehe [2017-05-01 13:53:14] 943*2^1452915-1 is not prime. Res64: 9F23D2951A86BB31 Time : 0.0 sec. user=mdettweiler [2017-05-01 14:34:21] 973*2^1452915-1 is not prime. Res64: 02E8220E25C6E8E3 Time : 0.0 sec. user=mdettweiler [2017-05-01 14:34:22] 603*2^1452916-1 is not prime. Res64: F9E76DF566D60E34 Time : 0.0 sec. user=mdettweiler [2017-05-01 14:34:23] 719*2^1452916-1 is not prime. Res64: 8B4BB6C7C1A2F713 Time : 0.0 sec. user=mdettweiler [2017-05-01 14:34:23] 873*2^1452916-1 is not prime. Res64: 340F1CDEC22005A0 Time : 0.0 sec. user=mdettweiler [2017-05-01 14:34:24] 927*2^1452916-1 is not prime. Res64: F6B92C9CFC19B5E6 Time : 0.0 sec. user=mdettweiler [2017-05-01 14:34:24] 749*2^1452916-1 is not prime. Res64: 35244115D60B7127 Time : 0.0 sec. user=mdettweiler [2017-05-01 14:34:25] 615*2^1452917-1 is not prime. Res64: 0CF4E9F375053C7C Time : 0.0 sec. user=mdettweiler [2017-05-01 14:34:25] 843*2^1452916-1 is not prime. Res64: C00E4AE13EF66204 Time : 0.0 sec. user=mdettweiler [2017-05-01 14:34:25] 697*2^1452917-1 is not prime. Res64: 82B4189B0820EBE3 Time : 0.0 sec. user=mdettweiler [2017-05-01 14:34:26] 727*2^1452917-1 is not prime. Res64: 7D4B88EECBE89B3B Time : 0.0 sec. user=juhehe [2017-05-01 15:10:48] 735*2^1452917-1 is not prime. Res64: 760A32148D7EF533 Time : 0.0 sec. user=mdettweiler [2017-05-01 15:18:56] 847*2^1452917-1 is not prime. Res64: A1A18687BA895873 Time : 0.0 sec. user=mdettweiler [2017-05-01 15:18:56] 657*2^1452918-1 is not prime. Res64: 5CCDDBAB1D50CB4F Time : 0.0 sec. user=mdettweiler [2017-05-01 15:18:57] 859*2^1452917-1 is not prime. Res64: ECDA39FCF99C1E60 Time : 0.0 sec. user=mdettweiler [2017-05-01 15:18:57] 681*2^1452918-1 is not prime. Res64: 20FAA1ECAD720BA9 Time : 0.0 sec. user=mdettweiler [2017-05-01 15:18:57] 939*2^1452917-1 is not prime. Res64: A6B8BA66028F5102 Time : 0.0 sec. user=mdettweiler [2017-05-01 15:18:57] 755*2^1452918-1 is not prime. Res64: 70569C57F1ED194F Time : 0.0 sec. user=mdettweiler [2017-05-01 15:18:57] 955*2^1452917-1 is not prime. Res64: 2FB9BA9ADB05D2D4 Time : 0.0 sec. user=mdettweiler [2017-05-01 15:18:58] 765*2^1452918-1 is not prime. Res64: 39A3E8FFEC0991B8 Time : 0.0 sec. user=mdettweiler [2017-05-01 15:18:58] 635*2^1452918-1 is not prime. Res64: 10F12B1FBE3A9B65 Time : 0.0 sec. user=mdettweiler [2017-05-01 15:18:58] 791*2^1452918-1 is not prime. Res64: 928246579872EE12 Time : 0.0 sec. user=juhehe [2017-05-01 15:49:30] 833*2^1452918-1 is not prime. Res64: 453A00EB20E5975F Time : 0.0 sec. user=mdettweiler [2017-05-01 16:03:22] 923*2^1452918-1 is not prime. Res64: 572485D266A892E0 Time : 0.0 sec. user=mdettweiler [2017-05-01 16:03:23] 941*2^1452918-1 is not prime. Res64: 50643680AACC3591 Time : 0.0 sec. user=mdettweiler [2017-05-01 16:03:24] 971*2^1452918-1 is not prime. Res64: 24FAD29BF2C07DFE Time : 0.0 sec. user=mdettweiler [2017-05-01 16:03:24] 663*2^1452919-1 is not prime. Res64: 8302875E2F97AE7F Time : 0.0 sec. user=mdettweiler [2017-05-01 16:03:25] 601*2^1452919-1 is not prime. Res64: 8E0E5DA0DA4DCE37 Time : 0.0 sec. user=mdettweiler [2017-05-01 16:03:26] 619*2^1452919-1 is not prime. Res64: 08F3716CE100C3E4 Time : 0.0 sec. user=mdettweiler [2017-05-01 16:03:27] 709*2^1452919-1 is not prime. Res64: 0AC614867933B24D Time : 0.0 sec. user=mdettweiler [2017-05-01 16:03:28] 829*2^1452919-1 is not prime. Res64: 8CFD5C41A498AD10 Time : 0.0 sec. user=mdettweiler [2017-05-01 16:03:31] 841*2^1452919-1 is not prime. Res64: 3942C3F7EA2DB0BA Time : 0.0 sec. user=mdettweiler [2017-05-01 16:03:33] 855*2^1452919-1 is not prime. Res64: 778D5ACDD0E6A22A Time : 0.0 sec. user=mdettweiler [2017-05-01 16:48:10] 895*2^1452919-1 is not prime. Res64: 6D32401C348A158C Time : 0.0 sec. user=mdettweiler [2017-05-01 16:48:11] 961*2^1452919-1 is not prime. Res64: A03174CE0DB37DB7 Time : 0.0 sec. user=mdettweiler [2017-05-01 16:48:11] 969*2^1452919-1 is not prime. Res64: D92E18C315BEF18F Time : 0.0 sec. user=mdettweiler [2017-05-01 16:48:11] 979*2^1452919-1 is not prime. Res64: 78DDCC5570D532E0 Time : 0.0 sec. user=mdettweiler [2017-05-01 16:48:12] 687*2^1452920-1 is not prime. Res64: E74A3E097DD3BCB8 Time : 0.0 sec. user=mdettweiler [2017-05-01 16:48:13] 747*2^1452920-1 is not prime. Res64: F43FB5F37B985BD5 Time : 0.0 sec. user=mdettweiler [2017-05-01 16:48:13] 777*2^1452920-1 is not prime. Res64: DC62FFC7242EA53A Time : 0.0 sec. user=mdettweiler [2017-05-01 16:48:13] 789*2^1452920-1 is not prime. Res64: 6269C06CFB402C50 Time : 0.0 sec. user=mdettweiler [2017-05-01 16:48:14] 797*2^1452920-1 is not prime. Res64: B62D3B7CD4F1B3D4 Time : 0.0 sec. user=mdettweiler [2017-05-01 16:48:14] 803*2^1452920-1 is not prime. Res64: BAC894C5BD6518E6 Time : 0.0 sec. user=juhehe [2017-05-01 17:07:22] 957*2^1452920-1 is not prime. Res64: E3222A9AC7536B22 Time : 0.0 sec. user=mdettweiler [2017-05-01 17:32:35] 651*2^1452921-1 is not prime. Res64: 763E2DE50A5367B1 Time : 0.0 sec. user=mdettweiler [2017-05-01 17:32:35] 661*2^1452921-1 is not prime. Res64: F8D3983BC101C744 Time : 0.0 sec. user=mdettweiler [2017-05-01 17:32:36] 685*2^1452921-1 is not prime. Res64: 67995A3E902439A1 Time : 0.0 sec. user=mdettweiler [2017-05-01 17:32:36] 819*2^1452921-1 is not prime. Res64: 22C97A4599E72A60 Time : 0.0 sec. user=mdettweiler [2017-05-01 17:32:36] 867*2^1452921-1 is not prime. Res64: 82FAF38487F84DC4 Time : 0.0 sec. user=mdettweiler [2017-05-01 17:32:38] 921*2^1452921-1 is not prime. Res64: F41047739E851E41 Time : 0.0 sec. user=mdettweiler [2017-05-01 17:32:38] 999*2^1452921-1 is not prime. Res64: F02D261BC32E24D9 Time : 0.0 sec. user=mdettweiler [2017-05-01 17:32:39] 635*2^1452922-1 is not prime. Res64: 74EC6B1002A5EEB6 Time : 0.0 sec. user=mdettweiler [2017-05-01 17:32:39] 695*2^1452922-1 is not prime. Res64: D1BEFE3767ADF53E Time : 0.0 sec. user=mdettweiler [2017-05-01 17:32:40] 713*2^1452922-1 is not prime. Res64: CE6E516934321156 Time : 0.0 sec. user=juhehe [2017-05-01 17:46:26] 833*2^1452922-1 is not prime. Res64: 8DB2BE6045A4C592 Time : 0.0 sec. user=mdettweiler [2017-05-01 18:17:02] 885*2^1452922-1 is not prime. Res64: 5C4BF012EE454EEA Time : 0.0 sec. user=mdettweiler [2017-05-01 18:17:02] 609*2^1452923-1 is not prime. Res64: 8A25FE50C4F791BD Time : 0.0 sec. user=mdettweiler [2017-05-01 18:17:02] 693*2^1452923-1 is not prime. Res64: 5A390C1BDCA6D353 Time : 0.0 sec. user=mdettweiler [2017-05-01 18:17:03] 759*2^1452923-1 is not prime. Res64: CAE033EEC0BBAB5A Time : 0.0 sec. user=mdettweiler [2017-05-01 18:17:03] 871*2^1452923-1 is not prime. Res64: CBC7D57E84F30635 Time : 0.0 sec. user=mdettweiler [2017-05-01 18:17:03] 749*2^1452924-1 is not prime. Res64: CB35DE3C94B21C21 Time : 0.0 sec. user=mdettweiler [2017-05-01 18:17:04] 753*2^1452924-1 is not prime. Res64: DBCF068351E1A148 Time : 0.0 sec. user=mdettweiler [2017-05-01 18:17:04] 765*2^1452924-1 is not prime. Res64: 7B8B4D389E447CAE Time : 0.0 sec. user=mdettweiler [2017-05-01 18:17:05] 789*2^1452924-1 is not prime. Res64: 13D51FD660AD9CF9 Time : 0.0 sec. user=mdettweiler [2017-05-01 18:17:05] 983*2^1452924-1 is not prime. Res64: F5947651D0137397 Time : 0.0 sec. user=mdettweiler [2017-05-01 19:01:29] 601*2^1452925-1 is not prime. Res64: 0FAA26DACF0EC1C5 Time : 0.0 sec. user=mdettweiler [2017-05-01 19:01:30] 859*2^1452925-1 is not prime. Res64: 5B27014B64F2D551 Time : 0.0 sec. user=mdettweiler [2017-05-01 19:01:31] 667*2^1452925-1 is not prime. Res64: 876DFA8D46BB7C3D Time : 0.0 sec. user=mdettweiler [2017-05-01 19:01:33] 687*2^1452925-1 is not prime. Res64: 6A5AC54BC9ACC56E Time : 0.0 sec. user=mdettweiler [2017-05-01 19:01:34] 861*2^1452925-1 is not prime. Res64: FBA99320C490C149 Time : 0.0 sec. user=mdettweiler [2017-05-01 19:01:35] 691*2^1452925-1 is not prime. Res64: B1D565205962DA93 Time : 0.0 sec. user=mdettweiler [2017-05-01 19:01:36] 617*2^1452926-1 is not prime. Res64: 1D96A64433EF7CCB Time : 0.0 sec. user=mdettweiler [2017-05-01 19:01:37] 777*2^1452925-1 is not prime. Res64: 9D54805DEFECECCB Time : 0.0 sec. user=mdettweiler [2017-05-01 19:01:38] 677*2^1452926-1 is not prime. Res64: CC569C065EB0F444 Time : 0.0 sec. user=mdettweiler [2017-05-01 19:01:39] 743*2^1452926-1 is not prime. Res64: F4FEAE2F42B4FE7B Time : 0.0 sec. user=juhehe [2017-05-01 19:07:43] 861*2^1452926-1 is not prime. Res64: 1A519A5284DD0B9C Time : 0.0 sec. user=juhehe [2017-05-01 19:24:46] 921*2^1452926-1 is not prime. Res64: D66DBA386092140B Time : 0.0 sec. user=juhehe [2017-05-01 19:46:30] 863*2^1452928-1 is not prime. Res64: CD0E343F9411D12A Time : 0.0 sec. user=mdettweiler [2017-05-01 19:46:30] 945*2^1452926-1 is not prime. Res64: DC39C0C5567031F2 Time : 0.0 sec. user=mdettweiler [2017-05-01 19:46:31] 781*2^1452927-1 is not prime. Res64: 09A387371E088FAE Time : 0.0 sec. user=mdettweiler [2017-05-01 19:46:31] 823*2^1452927-1 is not prime. Res64: ABD4D905ECF3EEC0 Time : 0.0 sec. user=mdettweiler [2017-05-01 19:46:32] 861*2^1452927-1 is not prime. Res64: 903F93824E02FA45 Time : 0.0 sec. user=mdettweiler [2017-05-01 19:46:32] 901*2^1452927-1 is not prime. Res64: C806C725EB2D11C9 Time : 0.0 sec. user=mdettweiler [2017-05-01 19:46:33] 931*2^1452927-1 is not prime. Res64: C82BEB6289FA4142 Time : 0.0 sec. user=mdettweiler [2017-05-01 19:46:34] 979*2^1452927-1 is not prime. Res64: F2745DB172454784 Time : 0.0 sec. user=mdettweiler [2017-05-01 19:46:34] 639*2^1452928-1 is not prime. Res64: 8FE6E9316C8708DC Time : 0.0 sec. user=mdettweiler [2017-05-01 19:46:34] 813*2^1452928-1 is not prime. Res64: 8D4A55DA014DE61B Time : 0.0 sec. user=mdettweiler [2017-05-01 19:46:35] 855*2^1452928-1 is not prime. Res64: 7E94920DB17FF049 Time : 0.0 sec. user=mdettweiler [2017-05-01 20:30:56] 897*2^1452928-1 is not prime. Res64: 8931FAFE35A7A7D2 Time : 0.0 sec. user=mdettweiler [2017-05-01 20:30:56] 909*2^1452928-1 is not prime. Res64: 7B452C6282EA27EC Time : 0.0 sec. user=mdettweiler [2017-05-01 20:30:56] 645*2^1452929-1 is not prime. Res64: 39617FBAC6847602 Time : 0.0 sec. user=mdettweiler [2017-05-01 20:30:57] 691*2^1452929-1 is not prime. Res64: 835E652099030C22 Time : 0.0 sec. user=mdettweiler [2017-05-01 20:30:57] 771*2^1452929-1 is not prime. Res64: DE96B2EE8E0A6D09 Time : 0.0 sec. user=mdettweiler [2017-05-01 20:30:58] 889*2^1452929-1 is not prime. Res64: 0CDBF047A2C8B019 Time : 0.0 sec. user=mdettweiler [2017-05-01 20:30:59] 897*2^1452929-1 is not prime. Res64: 83C59867FFE33D1E Time : 0.0 sec. user=mdettweiler [2017-05-01 20:30:59] 635*2^1452930-1 is not prime. Res64: 114AE7577D30C268 Time : 0.0 sec. user=mdettweiler [2017-05-01 20:30:59] 711*2^1452930-1 is not prime. Res64: AEC567F9FF43F583 Time : 0.0 sec. user=mdettweiler [2017-05-01 20:31:00] 777*2^1452930-1 is not prime. Res64: 0FD7EB3B19662EBC Time : 0.0 sec. user=juhehe [2017-05-01 21:04:14] 783*2^1452930-1 is not prime. Res64: C856BCD5479433A6 Time : 0.0 sec. user=mdettweiler [2017-05-01 21:15:20] 801*2^1452930-1 is not prime. Res64: B86A42FE5EBD47AE Time : 0.0 sec. user=mdettweiler [2017-05-01 21:15:21] 803*2^1452930-1 is not prime. Res64: 63578DB06FAE36AB Time : 0.0 sec. user=mdettweiler [2017-05-01 21:15:21] 851*2^1452930-1 is not prime. Res64: 8947A79FA73ADE64 Time : 0.0 sec. user=mdettweiler [2017-05-01 21:15:22] 917*2^1452930-1 is not prime. Res64: 0E154D61448902D1 Time : 0.0 sec. user=mdettweiler [2017-05-01 21:15:22] 933*2^1452930-1 is not prime. Res64: 7D09968F9F8569B8 Time : 0.0 sec. user=mdettweiler [2017-05-01 21:15:23] 945*2^1452930-1 is not prime. Res64: 3F7F44DB735CD288 Time : 0.0 sec. user=mdettweiler [2017-05-01 21:15:23] 977*2^1452930-1 is not prime. Res64: EB8F4DE8297F5CC3 Time : 0.0 sec. user=mdettweiler [2017-05-01 21:15:24] 651*2^1452931-1 is not prime. Res64: 294ACB19D06A35C8 Time : 0.0 sec. user=mdettweiler [2017-05-01 21:15:25] 715*2^1452931-1 is not prime. Res64: F59999FA217A7DB1 Time : 0.0 sec. user=mdettweiler [2017-05-01 21:15:25] 805*2^1452931-1 is not prime. Res64: 5BAB4233954F6BBF Time : 0.0 sec. user=juhehe [2017-05-01 21:43:15] 843*2^1452931-1 is not prime. Res64: 0D4422ADED5F8E60 Time : 0.0 sec. user=mdettweiler [2017-05-01 21:59:49] 819*2^1452932-1 is not prime. Res64: 3563A05D3919EF13 Time : 0.0 sec. user=mdettweiler [2017-05-01 21:59:50] 899*2^1452932-1 is not prime. Res64: FB2EDC32BD97A504 Time : 0.0 sec. user=mdettweiler [2017-05-01 21:59:50] 995*2^1452932-1 is not prime. Res64: 6B947326697053A0 Time : 0.0 sec. user=mdettweiler [2017-05-01 21:59:51] 639*2^1452933-1 is not prime. Res64: B3E24E55060F3A8E Time : 0.0 sec. user=mdettweiler [2017-05-01 21:59:51] 691*2^1452933-1 is not prime. Res64: 220B1118C2163919 Time : 0.0 sec. user=mdettweiler [2017-05-01 21:59:52] 883*2^1452931-1 is not prime. Res64: 92FB623A34778763 Time : 0.0 sec. user=mdettweiler [2017-05-01 21:59:53] 939*2^1452931-1 is not prime. Res64: F65DE3607942C4A3 Time : 0.0 sec. user=mdettweiler [2017-05-01 21:59:53] 993*2^1452931-1 is not prime. Res64: FD5539EF36EE2673 Time : 0.0 sec. user=mdettweiler [2017-05-01 21:59:54] 665*2^1452932-1 is not prime. Res64: 60C76A42C438C812 Time : 0.0 sec. user=mdettweiler [2017-05-01 21:59:54] 749*2^1452932-1 is not prime. Res64: 4B5E43700AFE7581 Time : 0.0 sec. user=mdettweiler [2017-05-01 22:44:15] 889*2^1452933-1 is not prime. Res64: 29C9E162731FF85E Time : 0.0 sec. user=mdettweiler [2017-05-01 22:44:16] 915*2^1452933-1 is not prime. Res64: 0E5FBC460E3CD495 Time : 0.0 sec. user=mdettweiler [2017-05-01 22:44:16] 919*2^1452933-1 is not prime. Res64: DFBBB984C2601664 Time : 0.0 sec. user=mdettweiler [2017-05-01 22:44:16] 945*2^1452933-1 is not prime. Res64: 970C522E2095D438 Time : 0.0 sec. user=mdettweiler [2017-05-01 22:44:17] 951*2^1452933-1 is not prime. Res64: 832B4925FBE71B40 Time : 0.0 sec. user=mdettweiler [2017-05-01 22:44:18] 969*2^1452933-1 is not prime. Res64: B74FCDE5B09CCEB4 Time : 0.0 sec. user=mdettweiler [2017-05-01 22:44:19] 645*2^1452934-1 is not prime. Res64: ECAAE85788FC6978 Time : 0.0 sec. user=mdettweiler [2017-05-01 22:44:19] 651*2^1452934-1 is not prime. Res64: 703BEC97395DA032 Time : 0.0 sec. user=mdettweiler [2017-05-01 22:44:19] 723*2^1452934-1 is not prime. Res64: E97F4391A530594D Time : 0.0 sec. user=mdettweiler [2017-05-01 22:44:20] 815*2^1452934-1 is not prime. Res64: D22B7077265626E2 Time : 0.0 sec. user=juhehe [2017-05-01 23:00:56] 887*2^1452934-1 is not prime. Res64: 8856775629F17EE7 Time : 0.0 sec. user=mdettweiler [2017-05-01 23:28:40] 601*2^1452935-1 is not prime. Res64: 5ACB9C85262733A0 Time : 0.0 sec. user=mdettweiler [2017-05-01 23:28:41] 669*2^1452935-1 is not prime. Res64: 0511CC4543787B0D Time : 0.0 sec. user=mdettweiler [2017-05-01 23:28:41] 819*2^1452935-1 is not prime. Res64: FB8C42BAF87BAD2C Time : 0.0 sec. user=mdettweiler [2017-05-01 23:28:41] 823*2^1452935-1 is not prime. Res64: 316BA9A62E715E7A Time : 0.0 sec. user=mdettweiler [2017-05-01 23:28:42] 825*2^1452935-1 is not prime. Res64: CF66DB365BA4A206 Time : 0.0 sec. user=mdettweiler [2017-05-01 23:28:43] 861*2^1452935-1 is not prime. Res64: EDB25209DCE6C69A Time : 0.0 sec. user=mdettweiler [2017-05-01 23:28:43] 885*2^1452935-1 is not prime. Res64: 0A778B4DAB96BE44 Time : 0.0 sec. user=mdettweiler [2017-05-01 23:28:43] 623*2^1452936-1 is not prime. Res64: 1BA178BB7B8D5C58 Time : 0.0 sec. user=mdettweiler [2017-05-01 23:28:44] 675*2^1452936-1 is not prime. Res64: 217D1847B97E2721 Time : 0.0 sec. user=mdettweiler [2017-05-01 23:28:44] 773*2^1452936-1 is not prime. Res64: 7435C65E17A9BC5C Time : 0.0 sec. user=juhehe [2017-05-01 23:39:55] 803*2^1452936-1 is not prime. Res64: 875C4724AD336E37 Time : 0.0 sec.