user=mdettweiler [2017-05-06 00:04:56] 771*2^1453171-1 is not prime. Res64: BE58305E7A833DB8 Time : 0.0 sec. user=mdettweiler [2017-05-06 00:04:58] 829*2^1453171-1 is not prime. Res64: D356F8BBA383A0E7 Time : 0.0 sec. user=mdettweiler [2017-05-06 00:05:00] 951*2^1453171-1 is not prime. Res64: 2C5EED22F9B1FEC6 Time : 0.0 sec. user=mdettweiler [2017-05-06 00:05:02] 889*2^1453171-1 is not prime. Res64: B6DD4D702B1FFF6B Time : 0.0 sec. user=mdettweiler [2017-05-06 00:05:02] 993*2^1453171-1 is not prime. Res64: 93475D6E22379A21 Time : 0.0 sec. user=mdettweiler [2017-05-06 00:05:04] 675*2^1453172-1 is not prime. Res64: 0BE8A661B4E5C448 Time : 0.0 sec. user=mdettweiler [2017-05-06 00:05:05] 909*2^1453171-1 is not prime. Res64: 0D7664AB984E26EC Time : 0.0 sec. user=mdettweiler [2017-05-06 00:05:06] 693*2^1453172-1 is not prime. Res64: A01734063347A6D3 Time : 0.0 sec. user=mdettweiler [2017-05-06 00:05:08] 931*2^1453171-1 is not prime. Res64: 21E9A0B09AC79B0F Time : 0.0 sec. user=mdettweiler [2017-05-06 00:05:09] 749*2^1453172-1 is not prime. Res64: E30CCA6873432A50 Time : 0.0 sec. user=mdettweiler [2017-05-06 00:50:01] 873*2^1453172-1 is not prime. Res64: 8DADFEC4AF15C7E0 Time : 0.0 sec. user=mdettweiler [2017-05-06 00:50:01] 879*2^1453172-1 is not prime. Res64: 81AFE9D71BD7EF87 Time : 0.0 sec. user=mdettweiler [2017-05-06 00:50:02] 935*2^1453172-1 is not prime. Res64: 89E5AD5371FFDAE0 Time : 0.0 sec. user=mdettweiler [2017-05-06 00:50:02] 615*2^1453173-1 is not prime. Res64: 7FA4905EA5B1CE1D Time : 0.0 sec. user=mdettweiler [2017-05-06 00:50:02] 759*2^1453173-1 is not prime. Res64: 4F74D0286F4F0E85 Time : 0.0 sec. user=mdettweiler [2017-05-06 00:50:05] 889*2^1453173-1 is not prime. Res64: 752B4632A7A2A660 Time : 0.0 sec. user=mdettweiler [2017-05-06 00:50:05] 937*2^1453173-1 is not prime. Res64: 7B78FA902FA3C3D8 Time : 0.0 sec. user=mdettweiler [2017-05-06 00:50:06] 945*2^1453173-1 is not prime. Res64: 1A87FD77BA9C0A3F Time : 0.0 sec. user=mdettweiler [2017-05-06 00:50:06] 979*2^1453173-1 is not prime. Res64: 376EF7CA805D25EB Time : 0.0 sec. user=mdettweiler [2017-05-06 00:50:07] 737*2^1453174-1 is not prime. Res64: 67450E269B9C2C6E Time : 0.0 sec. user=mdettweiler [2017-05-06 01:34:33] 887*2^1453174-1 is not prime. Res64: 820D73C6BEE7A2AB Time : 0.0 sec. user=mdettweiler [2017-05-06 01:34:34] 603*2^1453175-1 is not prime. Res64: 718584C2F7A35C95 Time : 0.0 sec. user=mdettweiler [2017-05-06 01:34:34] 609*2^1453175-1 is not prime. Res64: 9C1AA0901A89B135 Time : 0.0 sec. user=mdettweiler [2017-05-06 01:34:35] 721*2^1453175-1 is not prime. Res64: 56DBDB81677DCB7F Time : 0.0 sec. user=mdettweiler [2017-05-06 01:34:35] 799*2^1453175-1 is not prime. Res64: 761DD905EAE27DDE Time : 0.0 sec. user=mdettweiler [2017-05-06 01:34:37] 825*2^1453175-1 is not prime. Res64: 61EC2D9494331139 Time : 0.0 sec. user=mdettweiler [2017-05-06 01:34:38] 865*2^1453175-1 is not prime. Res64: 3773C8A44CBE40F7 Time : 0.0 sec. user=mdettweiler [2017-05-06 01:34:38] 969*2^1453175-1 is not prime. Res64: C68322D4217DB545 Time : 0.0 sec. user=mdettweiler [2017-05-06 01:34:39] 615*2^1453176-1 is not prime. Res64: F63ED708816EAA98 Time : 0.0 sec. user=mdettweiler [2017-05-06 01:34:39] 639*2^1453176-1 is not prime. Res64: 49B4F55B6DC50EF8 Time : 0.0 sec. user=juhehe [2017-05-06 01:38:18] 657*2^1453176-1 is not prime. Res64: 044AD0BE4DA97C71 Time : 0.0 sec. user=mdettweiler [2017-05-06 02:19:07] 693*2^1453176-1 is not prime. Res64: 62C16FADDC47CC99 Time : 0.0 sec. user=mdettweiler [2017-05-06 02:19:08] 699*2^1453176-1 is not prime. Res64: 1BD20D61D428071E Time : 0.0 sec. user=mdettweiler [2017-05-06 02:19:08] 707*2^1453176-1 is not prime. Res64: C635FF8410DED639 Time : 0.0 sec. user=mdettweiler [2017-05-06 02:19:09] 905*2^1453176-1 is not prime. Res64: 44ED2270E9A0E5DB Time : 0.0 sec. user=mdettweiler [2017-05-06 02:19:09] 975*2^1453176-1 is not prime. Res64: 03717896789AB8DF Time : 0.0 sec. user=mdettweiler [2017-05-06 02:19:10] 729*2^1453177-1 is not prime. Res64: BC1082EA7A1A6620 Time : 0.0 sec. user=mdettweiler [2017-05-06 02:19:10] 807*2^1453177-1 is not prime. Res64: 149716B65899D829 Time : 0.0 sec. user=mdettweiler [2017-05-06 02:19:11] 889*2^1453177-1 is not prime. Res64: FCE1B475E2239E9A Time : 0.0 sec. user=mdettweiler [2017-05-06 02:19:11] 915*2^1453178-1 is not prime. Res64: 0964D435B9BD4337 Time : 0.0 sec. user=mdettweiler [2017-05-06 02:19:12] 927*2^1453178-1 is not prime. Res64: DEFBB25EACF4649A Time : 0.0 sec. user=mdettweiler [2017-05-06 03:03:59] 915*2^1453180-1 is not prime. Res64: 723B6BD217F06FAB Time : 0.0 sec. user=mdettweiler [2017-05-06 03:03:59] 609*2^1453179-1 is not prime. Res64: 0F0EF3746B7503F8 Time : 0.0 sec. user=mdettweiler [2017-05-06 03:04:02] 619*2^1453181-1 is not prime. Res64: D78EF4503043B295 Time : 0.0 sec. user=mdettweiler [2017-05-06 03:04:04] 669*2^1453181-1 is not prime. Res64: A2D52F9DA86F734E Time : 0.0 sec. user=mdettweiler [2017-05-06 03:04:04] 669*2^1453179-1 is not prime. Res64: 1C1282D247A7D50D Time : 0.0 sec. user=mdettweiler [2017-05-06 03:04:05] 691*2^1453181-1 is not prime. Res64: 8FDACC6E6774B981 Time : 0.0 sec. user=mdettweiler [2017-05-06 03:04:06] 801*2^1453179-1 is not prime. Res64: C624D9C213CE301F Time : 0.0 sec. user=mdettweiler [2017-05-06 03:04:07] 717*2^1453181-1 is not prime. Res64: 4824CBACF326FA6A Time : 0.0 sec. user=mdettweiler [2017-05-06 03:04:09] 843*2^1453179-1 is not prime. Res64: 1ED3059496500247 Time : 0.0 sec. user=mdettweiler [2017-05-06 03:04:11] 887*2^1453180-1 is not prime. Res64: CBA151270EDB9155 Time : 0.0 sec. user=juhehe [2017-05-06 03:07:56] 727*2^1453181-1 is not prime. Res64: A8553C9DFA4240FA Time : 0.0 sec. user=mdettweiler [2017-05-06 03:49:00] 747*2^1453181-1 is not prime. Res64: B589E2B468BF8A61 Time : 0.0 sec. user=mdettweiler [2017-05-06 03:49:02] 781*2^1453181-1 is not prime. Res64: 6A1EBB948E1A7FE6 Time : 0.0 sec. user=mdettweiler [2017-05-06 03:49:03] 825*2^1453181-1 is not prime. Res64: DE3E00002FECC7A7 Time : 0.0 sec. user=mdettweiler [2017-05-06 03:49:04] 797*2^1453182-1 is not prime. Res64: 7B06AB9EE9407E42 Time : 0.0 sec. user=mdettweiler [2017-05-06 03:49:05] 681*2^1453182-1 is not prime. Res64: 60210C94F610C585 Time : 0.0 sec. user=mdettweiler [2017-05-06 03:49:07] 807*2^1453182-1 is not prime. Res64: EF92227CA46BD8B9 Time : 0.0 sec. user=mdettweiler [2017-05-06 03:49:07] 741*2^1453182-1 is not prime. Res64: D419FFC19AF27268 Time : 0.0 sec. user=mdettweiler [2017-05-06 03:49:09] 891*2^1453182-1 is not prime. Res64: 5764726166B9A7B9 Time : 0.0 sec. user=mdettweiler [2017-05-06 03:49:11] 893*2^1453182-1 is not prime. Res64: CEBA4592B8EF823F Time : 0.0 sec. user=mdettweiler [2017-05-06 03:49:13] 983*2^1453182-1 is not prime. Res64: 2FFE875A1334F3B1 Time : 0.0 sec. user=mdettweiler [2017-05-06 04:33:55] 693*2^1453183-1 is not prime. Res64: 46CE2C98E90D35C7 Time : 0.0 sec. user=mdettweiler [2017-05-06 04:33:55] 741*2^1453183-1 is not prime. Res64: 0539330D8DD928CF Time : 0.0 sec. user=mdettweiler [2017-05-06 04:33:56] 789*2^1453183-1 is not prime. Res64: A404998943C41CFE Time : 0.0 sec. user=mdettweiler [2017-05-06 04:33:56] 831*2^1453183-1 is not prime. Res64: 6FBA021DE049BFD7 Time : 0.0 sec. user=mdettweiler [2017-05-06 04:33:57] 913*2^1453183-1 is not prime. Res64: E928F11710EA9625 Time : 0.0 sec. user=mdettweiler [2017-05-06 04:33:57] 873*2^1453183-1 is not prime. Res64: A564E48E144B7D6C Time : 0.0 sec. user=mdettweiler [2017-05-06 04:33:57] 933*2^1453183-1 is not prime. Res64: 7DA717B3A9C2A7D3 Time : 0.0 sec. user=mdettweiler [2017-05-06 04:33:57] 747*2^1453184-1 is not prime. Res64: 88DB07BD571501D9 Time : 0.0 sec. user=mdettweiler [2017-05-06 04:33:58] 843*2^1453184-1 is not prime. Res64: 5C48EC267DB40DA5 Time : 0.0 sec. user=mdettweiler [2017-05-06 04:33:58] 957*2^1453184-1 is not prime. Res64: 175207B755F89DF4 Time : 0.0 sec. user=mdettweiler [2017-05-06 05:18:27] 623*2^1453186-1 is not prime. Res64: 347011828A06432C Time : 0.0 sec. user=mdettweiler [2017-05-06 05:18:27] 657*2^1453185-1 is not prime. Res64: 88B40341489F53B5 Time : 0.0 sec. user=mdettweiler [2017-05-06 05:18:27] 633*2^1453186-1 is not prime. Res64: C2D5D1FEAE4097C2 Time : 0.0 sec. user=mdettweiler [2017-05-06 05:18:27] 741*2^1453185-1 is not prime. Res64: 302210979AA0E061 Time : 0.0 sec. user=mdettweiler [2017-05-06 05:18:28] 653*2^1453186-1 is not prime. Res64: C5E5728EE1651EB8 Time : 0.0 sec. user=mdettweiler [2017-05-06 05:18:28] 831*2^1453185-1 is not prime. Res64: 34F0FF278B9996BD Time : 0.0 sec. user=mdettweiler [2017-05-06 05:18:28] 701*2^1453186-1 is not prime. Res64: 2DF06BC4FFBB91C9 Time : 0.0 sec. user=mdettweiler [2017-05-06 05:18:28] 909*2^1453185-1 is not prime. Res64: 8BFE4EDF75DA77C8 Time : 0.0 sec. user=mdettweiler [2017-05-06 05:18:29] 735*2^1453186-1 is not prime. Res64: 276A82AEF314BFE8 Time : 0.0 sec. user=mdettweiler [2017-05-06 05:18:29] 999*2^1453185-1 is not prime. Res64: EF4BB6459131DCD3 Time : 0.0 sec. user=juhehe [2017-05-06 05:22:51] 747*2^1453186-1 is not prime. Res64: C26516075C526761 Time : 0.0 sec. user=mdettweiler [2017-05-06 06:03:01] 755*2^1453186-1 is not prime. Res64: 6CFA486EED038EFC Time : 0.0 sec. user=mdettweiler [2017-05-06 06:03:02] 933*2^1453186-1 is not prime. Res64: 81F6008CD4179840 Time : 0.0 sec. user=mdettweiler [2017-05-06 06:03:03] 821*2^1453186-1 is not prime. Res64: 23BCA1B3AF61AAEA Time : 0.0 sec. user=mdettweiler [2017-05-06 06:03:04] 987*2^1453186-1 is not prime. Res64: 6749652513C75C9B Time : 0.0 sec. user=mdettweiler [2017-05-06 06:03:05] 843*2^1453186-1 is not prime. Res64: FFB354397058005C Time : 0.0 sec. user=mdettweiler [2017-05-06 06:03:07] 619*2^1453187-1 is not prime. Res64: F0F77939F492D6B9 Time : 0.0 sec. user=mdettweiler [2017-05-06 06:03:08] 881*2^1453186-1 is not prime. Res64: 419247464B57B666 Time : 0.0 sec. user=mdettweiler [2017-05-06 06:03:09] 663*2^1453187-1 is not prime. Res64: 38009C33DDA7DEF6 Time : 0.0 sec. user=mdettweiler [2017-05-06 06:03:10] 923*2^1453186-1 is not prime. Res64: 86F653EEE1182A8D Time : 0.0 sec. user=mdettweiler [2017-05-06 06:03:10] 693*2^1453187-1 is not prime. Res64: C1435FBB3600E8EE Time : 0.0 sec. user=mdettweiler [2017-05-06 06:48:19] 801*2^1453187-1 is not prime. Res64: B2B9C3961B421DD2 Time : 0.0 sec. user=mdettweiler [2017-05-06 06:48:19] 813*2^1453187-1 is not prime. Res64: 4D9A75B39AAE5FF0 Time : 0.0 sec. user=mdettweiler [2017-05-06 06:48:20] 861*2^1453187-1 is not prime. Res64: 0C374CE89F7BB24F Time : 0.0 sec. user=mdettweiler [2017-05-06 06:48:20] 985*2^1453187-1 is not prime. Res64: 9949A8C05CBB8D51 Time : 0.0 sec. user=mdettweiler [2017-05-06 06:48:20] 949*2^1453187-1 is not prime. Res64: 7AF448305D555E8A Time : 0.0 sec. user=mdettweiler [2017-05-06 06:48:21] 999*2^1453187-1 is not prime. Res64: 75AEDD3CBAFC2B18 Time : 0.0 sec. user=mdettweiler [2017-05-06 06:48:21] 979*2^1453187-1 is not prime. Res64: 163B5F718BD81ADA Time : 0.0 sec. user=mdettweiler [2017-05-06 06:48:22] 669*2^1453188-1 is not prime. Res64: D8F0D345AED4BD39 Time : 0.0 sec. user=mdettweiler [2017-05-06 06:48:23] 723*2^1453188-1 is not prime. Res64: 5BA08B2C4AF39E57 Time : 0.0 sec. user=mdettweiler [2017-05-06 06:48:25] 753*2^1453188-1 is not prime. Res64: 27CEBBFA672683EF Time : 0.0 sec. user=mdettweiler [2017-05-06 07:32:58] 909*2^1453188-1 is not prime. Res64: 663D77E8956AE25F Time : 0.0 sec. user=mdettweiler [2017-05-06 07:32:58] 929*2^1453188-1 is not prime. Res64: AD7CF709AEFC1E41 Time : 0.0 sec. user=mdettweiler [2017-05-06 07:32:58] 667*2^1453189-1 is not prime. Res64: 5F1B402586EC3BA2 Time : 0.0 sec. user=mdettweiler [2017-05-06 07:32:58] 947*2^1453188-1 is not prime. Res64: 59D9A463DC09D302 Time : 0.0 sec. user=mdettweiler [2017-05-06 07:32:59] 691*2^1453189-1 is not prime. Res64: 1B0FDB95F5267721 Time : 0.0 sec. user=mdettweiler [2017-05-06 07:32:59] 959*2^1453188-1 is not prime. Res64: 0E6C8E6959E73D3C Time : 0.0 sec. user=mdettweiler [2017-05-06 07:32:59] 649*2^1453189-1 is not prime. Res64: 6C9C6E5D4480C338 Time : 0.0 sec. user=mdettweiler [2017-05-06 07:33:00] 751*2^1453189-1 is not prime. Res64: E9DD8224488083D6 Time : 0.0 sec. user=mdettweiler [2017-05-06 07:33:00] 799*2^1453189-1 is not prime. Res64: 05ABD86F4D0D7523 Time : 0.0 sec. user=mdettweiler [2017-05-06 07:33:00] 831*2^1453189-1 is not prime. Res64: FDA3F379B24540CA Time : 0.0 sec. user=juhehe [2017-05-06 07:38:02] 885*2^1453189-1 is not prime. Res64: 6CDF96E30FD08698 Time : 0.0 sec. user=mdettweiler [2017-05-06 08:17:31] 671*2^1453190-1 is not prime. Res64: 6F6078EA8B1EC6F2 Time : 0.0 sec. user=mdettweiler [2017-05-06 08:17:32] 957*2^1453189-1 is not prime. Res64: CD02EC91FB549BCC Time : 0.0 sec. user=mdettweiler [2017-05-06 08:17:32] 791*2^1453190-1 is not prime. Res64: 6369434E1CCD5CAF Time : 0.0 sec. user=mdettweiler [2017-05-06 08:17:32] 961*2^1453189-1 is not prime. Res64: DE356BF6C0A492E3 Time : 0.0 sec. user=mdettweiler [2017-05-06 08:17:33] 893*2^1453190-1 is not prime. Res64: 07215B9C9127EFB7 Time : 0.0 sec. user=mdettweiler [2017-05-06 08:17:33] 985*2^1453189-1 is not prime. Res64: 25568D693E67E889 Time : 0.0 sec. user=mdettweiler [2017-05-06 08:17:33] 915*2^1453190-1 is not prime. Res64: 078B3C955ACA911D Time : 0.0 sec. user=mdettweiler [2017-05-06 08:17:34] 641*2^1453190-1 is not prime. Res64: DE1329D43A37021B Time : 0.0 sec. user=mdettweiler [2017-05-06 08:17:34] 649*2^1453191-1 is not prime. Res64: 7B096313024DBF80 Time : 0.0 sec. user=mdettweiler [2017-05-06 08:17:34] 665*2^1453190-1 is not prime. Res64: 11808CDDD3951F1C Time : 0.0 sec. user=mdettweiler [2017-05-06 09:02:10] 827*2^1453192-1 is not prime. Res64: F0ED425E81090856 Time : 0.0 sec. user=mdettweiler [2017-05-06 09:02:11] 675*2^1453191-1 is not prime. Res64: 13CABC36FA86780F Time : 0.0 sec. user=mdettweiler [2017-05-06 09:02:12] 875*2^1453192-1 is not prime. Res64: 9670463B88D8F4E5 Time : 0.0 sec. user=mdettweiler [2017-05-06 09:02:13] 861*2^1453191-1 is not prime. Res64: F37A04CF58557EB3 Time : 0.0 sec. user=mdettweiler [2017-05-06 09:02:14] 999*2^1453192-1 is not prime. Res64: 5D82D0D602170C76 Time : 0.0 sec. user=mdettweiler [2017-05-06 09:02:14] 653*2^1453192-1 is not prime. Res64: 48027489AE1D070C Time : 0.0 sec. user=mdettweiler [2017-05-06 09:02:15] 675*2^1453192-1 is not prime. Res64: D709C20245CBAF71 Time : 0.0 sec. user=mdettweiler [2017-05-06 09:02:15] 649*2^1453193-1 is not prime. Res64: 0C263EB5C724642F Time : 0.0 sec. user=mdettweiler [2017-05-06 09:02:16] 747*2^1453192-1 is not prime. Res64: 7BAF571845A57D5F Time : 0.0 sec. user=mdettweiler [2017-05-06 09:02:17] 691*2^1453193-1 is not prime. Res64: 4C026459E48FC519 Time : 0.0 sec. user=mdettweiler [2017-05-06 09:47:23] 699*2^1453193-1 is not prime. Res64: DE22425A29E01944 Time : 0.0 sec. user=mdettweiler [2017-05-06 09:47:24] 721*2^1453193-1 is not prime. Res64: 0BCA6CD447A70523 Time : 0.0 sec. user=mdettweiler [2017-05-06 09:47:24] 633*2^1453194-1 is not prime. Res64: 5DC0DC87C1C4D6EF Time : 0.0 sec. user=mdettweiler [2017-05-06 09:47:24] 771*2^1453193-1 is not prime. Res64: 525829355B2851FD Time : 0.0 sec. user=mdettweiler [2017-05-06 09:47:24] 663*2^1453194-1 is not prime. Res64: 67194A4F9DCFE222 Time : 0.0 sec. user=mdettweiler [2017-05-06 09:47:25] 677*2^1453194-1 is not prime. Res64: 6229A15150D7470D Time : 0.0 sec. user=mdettweiler [2017-05-06 09:47:25] 605*2^1453194-1 is not prime. Res64: B9ECDF6936F154D8 Time : 0.0 sec. user=mdettweiler [2017-05-06 09:47:26] 717*2^1453194-1 is not prime. Res64: C28D82A81698FD5C Time : 0.0 sec. user=mdettweiler [2017-05-06 09:47:26] 945*2^1453194-1 is not prime. Res64: DFEEDADCA0C46406 Time : 0.0 sec. user=mdettweiler [2017-05-06 09:47:26] 861*2^1453194-1 is not prime. Res64: F632C2EAC1EB393A Time : 0.0 sec. user=juhehe [2017-05-06 09:53:09] 993*2^1453194-1 is not prime. Res64: 1ACE70C6055B8D95 Time : 0.0 sec. user=mdettweiler [2017-05-06 10:31:57] 619*2^1453195-1 is not prime. Res64: 8750A4C9DF454F97 Time : 0.0 sec. user=mdettweiler [2017-05-06 10:31:57] 645*2^1453195-1 is not prime. Res64: 2A01177129F4921A Time : 0.0 sec. user=mdettweiler [2017-05-06 10:31:58] 663*2^1453195-1 is not prime. Res64: 51EB9915B8D6D065 Time : 0.0 sec. user=mdettweiler [2017-05-06 10:31:58] 685*2^1453195-1 is not prime. Res64: DA85B9DB13EA38F3 Time : 0.0 sec. user=mdettweiler [2017-05-06 10:31:58] 915*2^1453195-1 is not prime. Res64: 6DB0DFFDA7321858 Time : 0.0 sec. user=mdettweiler [2017-05-06 10:31:59] 735*2^1453195-1 is not prime. Res64: 9FCF223C0F447C67 Time : 0.0 sec. user=mdettweiler [2017-05-06 10:31:59] 951*2^1453195-1 is not prime. Res64: 0BD68A86EF450CA7 Time : 0.0 sec. user=mdettweiler [2017-05-06 10:31:59] 961*2^1453195-1 is not prime. Res64: F0012DDAD85DAB4B Time : 0.0 sec. user=mdettweiler [2017-05-06 10:32:00] 985*2^1453195-1 is not prime. Res64: 4E2EAD4E297B01B2 Time : 0.0 sec. user=mdettweiler [2017-05-06 10:32:00] 633*2^1453196-1 is not prime. Res64: 0D54ED75C9035F65 Time : 0.0 sec. user=mdettweiler [2017-05-06 11:16:30] 693*2^1453196-1 is not prime. Res64: 21705554A899D992 Time : 0.0 sec. user=mdettweiler [2017-05-06 11:16:30] 743*2^1453196-1 is not prime. Res64: 78B9A1194B10BAF7 Time : 0.0 sec. user=mdettweiler [2017-05-06 11:16:31] 759*2^1453196-1 is not prime. Res64: 6994700029F992D2 Time : 0.0 sec. user=mdettweiler [2017-05-06 11:16:31] 945*2^1453196-1 is not prime. Res64: D91DC26C84AAEB20 Time : 0.0 sec. user=mdettweiler [2017-05-06 11:16:31] 873*2^1453196-1 is not prime. Res64: 1E61CE6DD6E9804C Time : 0.0 sec. user=mdettweiler [2017-05-06 11:16:32] 957*2^1453196-1 is not prime. Res64: 7157FEA8CF490ACE Time : 0.0 sec. user=mdettweiler [2017-05-06 11:16:32] 923*2^1453196-1 is not prime. Res64: 6BE569A50B6934CC Time : 0.0 sec. user=mdettweiler [2017-05-06 11:16:33] 969*2^1453196-1 is not prime. Res64: E7FDC621A2864A8E Time : 0.0 sec. user=mdettweiler [2017-05-06 11:16:33] 983*2^1453196-1 is not prime. Res64: B2793F026DD293E9 Time : 0.0 sec. user=mdettweiler [2017-05-06 11:16:34] 649*2^1453197-1 is not prime. Res64: 42B4879DD38B9FA6 Time : 0.0 sec. user=mdettweiler [2017-05-06 12:01:20] 961*2^1453197-1 is not prime. Res64: 63D8D41418BC697C Time : 0.0 sec. user=mdettweiler [2017-05-06 12:01:21] 699*2^1453197-1 is not prime. Res64: EA6ECC7462B90AC7 Time : 0.0 sec. user=mdettweiler [2017-05-06 12:01:22] 711*2^1453197-1 is not prime. Res64: 9DDB6D39AB081485 Time : 0.0 sec. user=mdettweiler [2017-05-06 12:01:22] 603*2^1453198-1 is not prime. Res64: 9F544F61A75ADC47 Time : 0.0 sec. user=mdettweiler [2017-05-06 12:01:23] 751*2^1453197-1 is not prime. Res64: 681D60BEC7C86EAE Time : 0.0 sec. user=mdettweiler [2017-05-06 12:01:24] 731*2^1453198-1 is not prime. Res64: 33F6F0F63B1E787A Time : 0.0 sec. user=mdettweiler [2017-05-06 12:01:24] 819*2^1453197-1 is not prime. Res64: 8072815BB7B682FE Time : 0.0 sec. user=mdettweiler [2017-05-06 12:01:25] 737*2^1453198-1 is not prime. Res64: 12D4C6246935D05D Time : 0.0 sec. user=mdettweiler [2017-05-06 12:01:25] 927*2^1453197-1 is not prime. Res64: E94B9DCF60FB5CAB Time : 0.0 sec. user=mdettweiler [2017-05-06 12:01:26] 801*2^1453198-1 is not prime. Res64: 0B1353AC4E282512 Time : 0.0 sec. user=juhehe [2017-05-06 12:08:18] 813*2^1453198-1 is not prime. Res64: 50AAF0E12A419100 Time : 0.0 sec. user=mdettweiler [2017-05-06 12:46:01] 855*2^1453198-1 is not prime. Res64: 0C5E4B37A81084B0 Time : 0.0 sec. user=mdettweiler [2017-05-06 12:46:02] 857*2^1453198-1 is not prime. Res64: 8AF3ACDEB52FFB0D Time : 0.0 sec. user=mdettweiler [2017-05-06 12:46:02] 923*2^1453198-1 is not prime. Res64: E6798F9B7A042FD6 Time : 0.0 sec. user=mdettweiler [2017-05-06 12:46:03] 705*2^1453199-1 is not prime. Res64: A43118D483FCBA87 Time : 0.0 sec. user=mdettweiler [2017-05-06 12:46:03] 831*2^1453199-1 is not prime. Res64: 57B9914F22B4BECA Time : 0.0 sec. user=mdettweiler [2017-05-06 12:46:03] 861*2^1453199-1 is not prime. Res64: D9A7E7B47C834FA7 Time : 0.0 sec. user=mdettweiler [2017-05-06 12:46:04] 711*2^1453199-1 is not prime. Res64: 74B11B215A9CE5A8 Time : 0.0 sec. user=mdettweiler [2017-05-06 12:46:04] 909*2^1453199-1 is not prime. Res64: 9BD93CB792CB531D Time : 0.0 sec. user=mdettweiler [2017-05-06 12:46:04] 931*2^1453199-1 is not prime. Res64: 464DD2D1009B2347 Time : 0.0 sec. user=mdettweiler [2017-05-06 12:46:05] 943*2^1453199-1 is not prime. Res64: 167C901699CA7E9C Time : 0.0 sec. user=mdettweiler [2017-05-06 13:30:35] 949*2^1453199-1 is not prime. Res64: 1918A14F2217ED7B Time : 0.0 sec. user=mdettweiler [2017-05-06 13:30:36] 955*2^1453199-1 is not prime. Res64: 06677C71B9B611E8 Time : 0.0 sec. user=mdettweiler [2017-05-06 13:30:36] 985*2^1453199-1 is not prime. Res64: 046D42F32EF1BF33 Time : 0.0 sec. user=mdettweiler [2017-05-06 13:30:37] 609*2^1453200-1 is not prime. Res64: 16BA00EEEF85C3BF Time : 0.0 sec. user=mdettweiler [2017-05-06 13:30:37] 713*2^1453200-1 is not prime. Res64: 9FDD956E6715294F Time : 0.0 sec. user=mdettweiler [2017-05-06 13:30:37] 693*2^1453200-1 is not prime. Res64: 4CDCC23F3E3570A8 Time : 0.0 sec. user=mdettweiler [2017-05-06 13:30:38] 825*2^1453200-1 is not prime. Res64: F120A75C2CCE3EEB Time : 0.0 sec. user=mdettweiler [2017-05-06 13:30:38] 867*2^1453200-1 is not prime. Res64: 326075C485B27638 Time : 0.0 sec. user=mdettweiler [2017-05-06 13:30:39] 879*2^1453200-1 is not prime. Res64: 72A71EEE5B0EA776 Time : 0.0 sec. user=mdettweiler [2017-05-06 13:30:39] 681*2^1453201-1 is not prime. Res64: E0B57475B6F3818A Time : 0.0 sec. user=mdettweiler [2017-05-06 14:15:11] 777*2^1453201-1 is not prime. Res64: B9BE16080D78F711 Time : 0.0 sec. user=mdettweiler [2017-05-06 14:15:11] 633*2^1453202-1 is not prime. Res64: 84272BCB90D5D8F2 Time : 0.0 sec. user=mdettweiler [2017-05-06 14:15:11] 847*2^1453201-1 is not prime. Res64: 1384DDE3316BE0F4 Time : 0.0 sec. user=mdettweiler [2017-05-06 14:15:12] 665*2^1453202-1 is not prime. Res64: 9961849D5C2D8345 Time : 0.0 sec. user=mdettweiler [2017-05-06 14:15:12] 931*2^1453201-1 is not prime. Res64: 25896F42AD9D9602 Time : 0.0 sec. user=mdettweiler [2017-05-06 14:15:12] 705*2^1453202-1 is not prime. Res64: FF047648FF80A9C0 Time : 0.0 sec. user=mdettweiler [2017-05-06 14:15:12] 939*2^1453201-1 is not prime. Res64: 6B857D9E926316C3 Time : 0.0 sec. user=mdettweiler [2017-05-06 14:15:13] 615*2^1453202-1 is not prime. Res64: B4830C518F478152 Time : 0.0 sec. user=mdettweiler [2017-05-06 14:15:13] 713*2^1453202-1 is not prime. Res64: C94BE77E27806D46 Time : 0.0 sec. user=mdettweiler [2017-05-06 14:15:13] 857*2^1453202-1 is not prime. Res64: AA91C78E8F88A7D9 Time : 0.0 sec. user=juhehe [2017-05-06 14:23:34] 893*2^1453202-1 is not prime. Res64: A6C72F88D0AFB295 Time : 0.0 sec. user=mdettweiler [2017-05-06 14:59:44] 853*2^1453203-1 is not prime. Res64: B3B098B98E5454D5 Time : 0.0 sec. user=mdettweiler [2017-05-06 14:59:44] 977*2^1453202-1 is not prime. Res64: 07AF425384F9CCE2 Time : 0.0 sec. user=mdettweiler [2017-05-06 14:59:44] 895*2^1453203-1 is not prime. Res64: 04BACBA12797A49E Time : 0.0 sec. user=mdettweiler [2017-05-06 14:59:44] 609*2^1453203-1 is not prime. Res64: 3C2BF7F879A0C6B6 Time : 0.0 sec. user=mdettweiler [2017-05-06 14:59:45] 943*2^1453203-1 is not prime. Res64: 90B63316BD5394CF Time : 0.0 sec. user=mdettweiler [2017-05-06 14:59:45] 709*2^1453203-1 is not prime. Res64: 48138C5D507A788F Time : 0.0 sec. user=mdettweiler [2017-05-06 14:59:45] 945*2^1453203-1 is not prime. Res64: 9B1AE2220E7D57B7 Time : 0.0 sec. user=mdettweiler [2017-05-06 14:59:45] 819*2^1453203-1 is not prime. Res64: A58665FA4DF38BAC Time : 0.0 sec. user=mdettweiler [2017-05-06 14:59:46] 951*2^1453203-1 is not prime. Res64: 3B4184668F4E402C Time : 0.0 sec. user=mdettweiler [2017-05-06 14:59:46] 825*2^1453203-1 is not prime. Res64: 4EF65AA4A445C4A9 Time : 0.0 sec. user=odicin [2017-05-06 15:34:04] 771*2^1453205-1 is not prime. Res64: 5C71833586F96528 Time : 0.0 sec. user=mdettweiler [2017-05-06 15:44:19] 953*2^1453204-1 is not prime. Res64: 7B367C0D80DD3950 Time : 0.0 sec. user=mdettweiler [2017-05-06 15:44:20] 991*2^1453203-1 is not prime. Res64: 77DFF67A0C5F13F8 Time : 0.0 sec. user=mdettweiler [2017-05-06 15:44:20] 989*2^1453204-1 is not prime. Res64: 94B2F79374C4018A Time : 0.0 sec. user=mdettweiler [2017-05-06 15:44:20] 609*2^1453204-1 is not prime. Res64: 30947E735812522D Time : 0.0 sec. user=mdettweiler [2017-05-06 15:44:21] 601*2^1453205-1 is not prime. Res64: 78DD175CAE260BA6 Time : 0.0 sec. user=mdettweiler [2017-05-06 15:44:21] 677*2^1453204-1 is not prime. Res64: 50C552DF7BEB5DA2 Time : 0.0 sec. user=mdettweiler [2017-05-06 15:44:22] 669*2^1453205-1 is not prime. Res64: A788AAEC9EE3AE66 Time : 0.0 sec. user=mdettweiler [2017-05-06 15:44:22] 705*2^1453204-1 is not prime. Res64: 05FAB689C7C1DDD6 Time : 0.0 sec. user=mdettweiler [2017-05-06 15:44:23] 675*2^1453205-1 is not prime. Res64: 825F59A5783B6D98 Time : 0.0 sec. user=mdettweiler [2017-05-06 15:44:23] 819*2^1453204-1 is not prime. Res64: 628A3D28FA2985B7 Time : 0.0 sec. user=mdettweiler [2017-05-06 16:28:52] 915*2^1453205-1 is not prime. Res64: 736EDB7C8CF7CAC8 Time : 0.0 sec. user=mdettweiler [2017-05-06 16:28:53] 937*2^1453205-1 is not prime. Res64: E9EC8D21C639CA5C Time : 0.0 sec. user=mdettweiler [2017-05-06 16:28:53] 627*2^1453206-1 is not prime. Res64: 545B13F765BDC224 Time : 0.0 sec. user=mdettweiler [2017-05-06 16:28:54] 641*2^1453206-1 is not prime. Res64: BB7D5C3895106E90 Time : 0.0 sec. user=mdettweiler [2017-05-06 16:28:54] 677*2^1453206-1 is not prime. Res64: C11704E8F0ED3015 Time : 0.0 sec. user=mdettweiler [2017-05-06 16:28:57] 695*2^1453206-1 is not prime. Res64: 532C92EECCAE1E01 Time : 0.0 sec. user=mdettweiler [2017-05-06 16:28:57] 725*2^1453206-1 is not prime. Res64: 67CC957C9B216910 Time : 0.0 sec. user=mdettweiler [2017-05-06 16:28:57] 741*2^1453206-1 is not prime. Res64: 6D57CF9099DE6A02 Time : 0.0 sec. user=mdettweiler [2017-05-06 16:28:58] 783*2^1453206-1 is not prime. Res64: 9903024346EEB313 Time : 0.0 sec. user=mdettweiler [2017-05-06 16:28:58] 861*2^1453206-1 is not prime. Res64: 611A7D8F679BD997 Time : 0.0 sec. user=juhehe [2017-05-06 16:38:45] 873*2^1453206-1 is not prime. Res64: 544F32CC21A759DE Time : 0.0 sec. user=mdettweiler [2017-05-06 17:13:28] 945*2^1453206-1 is not prime. Res64: 15547506D29568DF Time : 0.0 sec. user=mdettweiler [2017-05-06 17:13:28] 901*2^1453207-1 is not prime. Res64: F826DDB41E3C677B Time : 0.0 sec. user=mdettweiler [2017-05-06 17:13:29] 993*2^1453206-1 is not prime. Res64: 32572ACE3196B51F Time : 0.0 sec. user=mdettweiler [2017-05-06 17:13:29] 975*2^1453207-1 is not prime. Res64: 6BD5246104D56CF1 Time : 0.0 sec. user=mdettweiler [2017-05-06 17:13:29] 645*2^1453207-1 is not prime. Res64: A178B775181E99C6 Time : 0.0 sec. user=mdettweiler [2017-05-06 17:13:29] 617*2^1453208-1 is not prime. Res64: AC13900C43393247 Time : 0.0 sec. user=mdettweiler [2017-05-06 17:13:30] 819*2^1453207-1 is not prime. Res64: DAC22710720E88D4 Time : 0.0 sec. user=mdettweiler [2017-05-06 17:13:30] 825*2^1453208-1 is not prime. Res64: D6CD1C1EB9D8BAB7 Time : 0.0 sec. user=mdettweiler [2017-05-06 17:13:30] 841*2^1453207-1 is not prime. Res64: 31080751E7B1D7E9 Time : 0.0 sec. user=mdettweiler [2017-05-06 17:13:31] 959*2^1453208-1 is not prime. Res64: 408B5A1892D17C18 Time : 0.0 sec. user=juhehe [2017-05-06 17:33:45] 995*2^1453208-1 is not prime. Res64: 4F46190A1DF37381 Time : 0.0 sec. user=mdettweiler [2017-05-06 17:58:05] 741*2^1453209-1 is not prime. Res64: 76F114E84F71FC7E Time : 0.0 sec. user=mdettweiler [2017-05-06 17:58:05] 861*2^1453209-1 is not prime. Res64: AAE1E8A301FFA892 Time : 0.0 sec. user=mdettweiler [2017-05-06 17:58:06] 885*2^1453209-1 is not prime. Res64: 7B9A5943C3C08475 Time : 0.0 sec. user=mdettweiler [2017-05-06 17:58:06] 895*2^1453209-1 is not prime. Res64: 6E279A560460D40C Time : 0.0 sec. user=mdettweiler [2017-05-06 17:58:06] 951*2^1453209-1 is not prime. Res64: CF39A04D76F411A9 Time : 0.0 sec. user=mdettweiler [2017-05-06 17:58:06] 603*2^1453210-1 is not prime. Res64: 27EE4387F5B020CF Time : 0.0 sec. user=mdettweiler [2017-05-06 17:58:07] 647*2^1453210-1 is not prime. Res64: 897AE6FB4D0717BB Time : 0.0 sec. user=mdettweiler [2017-05-06 17:58:07] 765*2^1453210-1 is not prime. Res64: DC7EC22CAE257DB4 Time : 0.0 sec. user=mdettweiler [2017-05-06 17:58:08] 777*2^1453210-1 is not prime. Res64: C1ECD10916D0E257 Time : 0.0 sec. user=mdettweiler [2017-05-06 17:58:08] 867*2^1453210-1 is not prime. Res64: 427A05A55768534E Time : 0.0 sec. user=juhehe [2017-05-06 17:58:53] 923*2^1453210-1 is not prime. Res64: D7B0E9611C426FD1 Time : 0.0 sec. user=juhehe [2017-05-06 18:12:28] 933*2^1453210-1 is not prime. Res64: 43EF325D8CACDA29 Time : 0.0 sec. user=mdettweiler [2017-05-06 18:42:35] 669*2^1453211-1 is not prime. Res64: 8D46B5A96C4E6E1A Time : 0.0 sec. user=mdettweiler [2017-05-06 18:42:36] 735*2^1453211-1 is not prime. Res64: A69543F5120F3E9C Time : 0.0 sec. user=mdettweiler [2017-05-06 18:42:36] 741*2^1453211-1 is not prime. Res64: 1F9BD675C5C4940A Time : 0.0 sec. user=mdettweiler [2017-05-06 18:42:37] 913*2^1453211-1 is not prime. Res64: 6C2694297BE290D3 Time : 0.0 sec. user=mdettweiler [2017-05-06 18:42:37] 979*2^1453211-1 is not prime. Res64: 6157DA5DC8EC2615 Time : 0.0 sec. user=mdettweiler [2017-05-06 18:42:41] 737*2^1453212-1 is not prime. Res64: A5C72F45AC8CB511 Time : 0.0 sec. user=mdettweiler [2017-05-06 18:42:41] 819*2^1453212-1 is not prime. Res64: 64CCFFD99AD4B51E Time : 0.0 sec. user=mdettweiler [2017-05-06 18:42:42] 983*2^1453212-1 is not prime. Res64: 17271A085521AEAF Time : 0.0 sec. user=mdettweiler [2017-05-06 18:42:42] 729*2^1453213-1 is not prime. Res64: 2E3094F0BF9ADBB8 Time : 0.0 sec. user=mdettweiler [2017-05-06 18:42:42] 741*2^1453213-1 is not prime. Res64: 5C6D62DC7A58DB82 Time : 0.0 sec. user=mdettweiler [2017-05-06 19:27:08] 835*2^1453213-1 is not prime. Res64: 2113DEDAC2AD31FA Time : 0.0 sec. user=mdettweiler [2017-05-06 19:27:09] 895*2^1453213-1 is not prime. Res64: 7053DF3BC1482D9F Time : 0.0 sec. user=mdettweiler [2017-05-06 19:27:09] 623*2^1453214-1 is not prime. Res64: 01EC092FD36A49D2 Time : 0.0 sec. user=mdettweiler [2017-05-06 19:27:10] 671*2^1453214-1 is not prime. Res64: 2F85E5B485021AD3 Time : 0.0 sec. user=mdettweiler [2017-05-06 19:27:10] 705*2^1453214-1 is not prime. Res64: FF7DAB8F1AA75006 Time : 0.0 sec. user=mdettweiler [2017-05-06 19:27:13] 755*2^1453214-1 is not prime. Res64: 9B2EDC7AD3B367C5 Time : 0.0 sec. user=mdettweiler [2017-05-06 19:27:13] 825*2^1453214-1 is not prime. Res64: D504524B9A78B3C2 Time : 0.0 sec. user=mdettweiler [2017-05-06 19:27:14] 827*2^1453214-1 is not prime. Res64: 1966F59110DE0E7E Time : 0.0 sec. user=mdettweiler [2017-05-06 19:27:14] 897*2^1453214-1 is not prime. Res64: 8AA1E65439D5F4BE Time : 0.0 sec. user=mdettweiler [2017-05-06 19:27:15] 921*2^1453214-1 is not prime. Res64: 7F621347B7008D10 Time : 0.0 sec. user=juhehe [2017-05-06 19:58:59] 1001*2^1453214-1 is not prime. Res64: C9FA992A0A592097 Time : 0.0 sec. user=mdettweiler [2017-05-06 20:11:42] 763*2^1453215-1 is not prime. Res64: 0AA5531BDDD282B1 Time : 0.0 sec. user=mdettweiler [2017-05-06 20:11:43] 819*2^1453215-1 is not prime. Res64: E48282CBB8B88DAA Time : 0.0 sec. user=mdettweiler [2017-05-06 20:11:44] 859*2^1453215-1 is not prime. Res64: BFFBB294CD94CBD2 Time : 0.0 sec. user=mdettweiler [2017-05-06 20:11:44] 921*2^1453215-1 is not prime. Res64: 2F895FD005188757 Time : 0.0 sec. user=mdettweiler [2017-05-06 20:11:45] 949*2^1453215-1 is not prime. Res64: 0E92B3F506CA528E Time : 0.0 sec. user=mdettweiler [2017-05-06 20:11:47] 963*2^1453215-1 is not prime. Res64: C1CDEC13895CCD38 Time : 0.0 sec. user=mdettweiler [2017-05-06 20:11:48] 973*2^1453215-1 is not prime. Res64: BAB3FF7E589BB466 Time : 0.0 sec. user=mdettweiler [2017-05-06 20:11:48] 735*2^1453216-1 is not prime. Res64: E915581C6D39F19D Time : 0.0 sec. user=mdettweiler [2017-05-06 20:11:49] 803*2^1453216-1 is not prime. Res64: 926AB3573AA25657 Time : 0.0 sec. user=mdettweiler [2017-05-06 20:11:49] 855*2^1453216-1 is not prime. Res64: AE7CF916543D292D Time : 0.0 sec. user=mdettweiler [2017-05-06 20:56:17] 875*2^1453216-1 is not prime. Res64: 5B9EBD997456AC03 Time : 0.0 sec. user=mdettweiler [2017-05-06 20:56:18] 615*2^1453217-1 is not prime. Res64: 313FD23AC9AA17C8 Time : 0.0 sec. user=mdettweiler [2017-05-06 20:56:18] 619*2^1453217-1 is not prime. Res64: DD719AC894A82C4D Time : 0.0 sec. user=mdettweiler [2017-05-06 20:56:19] 669*2^1453217-1 is not prime. Res64: D1DC9352A915FBC0 Time : 0.0 sec. user=mdettweiler [2017-05-06 20:56:19] 741*2^1453217-1 is not prime. Res64: 41E1683EB8DEE6BF Time : 0.0 sec. user=mdettweiler [2017-05-06 20:56:20] 831*2^1453217-1 is not prime. Res64: F5BC379F274286C6 Time : 0.0 sec. user=mdettweiler [2017-05-06 20:56:21] 861*2^1453217-1 is not prime. Res64: E41AEE71A2D279EB Time : 0.0 sec. user=mdettweiler [2017-05-06 20:56:21] 901*2^1453217-1 is not prime. Res64: 80B33DBF35E20015 Time : 0.0 sec. user=mdettweiler [2017-05-06 20:56:22] 641*2^1453218-1 is not prime. Res64: 0EF521968B62E57A Time : 0.0 sec. user=mdettweiler [2017-05-06 20:56:22] 737*2^1453218-1 is not prime. Res64: 1C3708A5EC7D2036 Time : 0.0 sec. user=mdettweiler [2017-05-06 21:40:50] 993*2^1453218-1 is not prime. Res64: 184D464799A71B84 Time : 0.0 sec. user=mdettweiler [2017-05-06 21:40:50] 603*2^1453219-1 is not prime. Res64: 0BFABDD86471ACB4 Time : 0.0 sec. user=mdettweiler [2017-05-06 21:40:51] 645*2^1453219-1 is not prime. Res64: BB2DBDAC0726A431 Time : 0.0 sec. user=mdettweiler [2017-05-06 21:40:51] 765*2^1453219-1 is not prime. Res64: 04A943F6D4325A7A Time : 0.0 sec. user=mdettweiler [2017-05-06 21:40:51] 769*2^1453219-1 is not prime. Res64: BA81EE7F2415663A Time : 0.0 sec. user=mdettweiler [2017-05-06 21:40:53] 793*2^1453219-1 is not prime. Res64: 0BEF280C32F5D812 Time : 0.0 sec. user=mdettweiler [2017-05-06 21:40:53] 843*2^1453219-1 is not prime. Res64: D560BBA9BAE273DC Time : 0.0 sec. user=mdettweiler [2017-05-06 21:40:53] 861*2^1453219-1 is not prime. Res64: C1C73D3EEE35F7DE Time : 0.0 sec. user=mdettweiler [2017-05-06 21:40:54] 919*2^1453219-1 is not prime. Res64: DAFA8FB9EF660C93 Time : 0.0 sec. user=mdettweiler [2017-05-06 21:40:54] 931*2^1453219-1 is not prime. Res64: 73B2C51A0CBB755B Time : 0.0 sec. user=juhehe [2017-05-06 21:58:33] 677*2^1453220-1 is not prime. Res64: 77AB4345B7B12B39 Time : 0.0 sec. user=mdettweiler [2017-05-06 22:25:26] 717*2^1453220-1 is not prime. Res64: 029128B69E734271 Time : 0.0 sec. user=mdettweiler [2017-05-06 22:25:26] 767*2^1453220-1 is not prime. Res64: 995D3C923ECD368D Time : 0.0 sec. user=mdettweiler [2017-05-06 22:25:27] 893*2^1453220-1 is not prime. Res64: 46D17FF67B8C6E17 Time : 0.0 sec. user=mdettweiler [2017-05-06 22:25:27] 915*2^1453220-1 is not prime. Res64: 7CE2F74DE8D62A83 Time : 0.0 sec. user=mdettweiler [2017-05-06 22:25:28] 957*2^1453220-1 is not prime. Res64: DBAEAB5DD5CBF149 Time : 0.0 sec. user=mdettweiler [2017-05-06 22:25:28] 727*2^1453221-1 is not prime. Res64: 86C379B3D2A5684D Time : 0.0 sec. user=mdettweiler [2017-05-06 22:25:28] 747*2^1453221-1 is not prime. Res64: 0AE1F800E5DC71E7 Time : 0.0 sec. user=mdettweiler [2017-05-06 22:25:29] 781*2^1453221-1 is not prime. Res64: 819221DE1D05B91D Time : 0.0 sec. user=mdettweiler [2017-05-06 22:25:29] 889*2^1453221-1 is not prime. Res64: 13D99621384A4468 Time : 0.0 sec. user=mdettweiler [2017-05-06 22:25:30] 975*2^1453221-1 is not prime. Res64: EB3BEEE265EEC0CE Time : 0.0 sec. user=mdettweiler [2017-05-06 23:10:00] 681*2^1453222-1 is not prime. Res64: 11FF8AA27612316B Time : 0.0 sec. user=mdettweiler [2017-05-06 23:10:01] 945*2^1453222-1 is not prime. Res64: CB382C99E85B3A81 Time : 0.0 sec. user=mdettweiler [2017-05-06 23:10:01] 633*2^1453223-1 is not prime. Res64: C81247C686769E7A Time : 0.0 sec. user=mdettweiler [2017-05-06 23:10:01] 861*2^1453223-1 is not prime. Res64: E5E7D73E23356733 Time : 0.0 sec. user=mdettweiler [2017-05-06 23:10:02] 675*2^1453223-1 is not prime. Res64: AA6B541C6591889A Time : 0.0 sec. user=mdettweiler [2017-05-06 23:10:02] 915*2^1453223-1 is not prime. Res64: D0C740D7F2D9C68C Time : 0.0 sec. user=mdettweiler [2017-05-06 23:10:03] 813*2^1453223-1 is not prime. Res64: 0C6F0E844AC226DA Time : 0.0 sec. user=mdettweiler [2017-05-06 23:10:03] 717*2^1453224-1 is not prime. Res64: DA76E0D8F5CF615B Time : 0.0 sec. user=mdettweiler [2017-05-06 23:10:03] 795*2^1453224-1 is not prime. Res64: 8B132D39EA149520 Time : 0.0 sec. user=mdettweiler [2017-05-06 23:10:04] 815*2^1453224-1 is not prime. Res64: 353C35547001C5FC Time : 0.0 sec. user=mdettweiler [2017-05-06 23:54:36] 685*2^1453225-1 is not prime. Res64: F4A172C47BF6E59B Time : 0.0 sec. user=mdettweiler [2017-05-06 23:54:36] 909*2^1453224-1 is not prime. Res64: F968AD3A56715B23 Time : 0.0 sec. user=mdettweiler [2017-05-06 23:54:36] 691*2^1453225-1 is not prime. Res64: E7CB51B5354B7BBC Time : 0.0 sec. user=mdettweiler [2017-05-06 23:54:37] 927*2^1453224-1 is not prime. Res64: 830B9CA2C4A7DABB Time : 0.0 sec. user=mdettweiler [2017-05-06 23:54:37] 715*2^1453225-1 is not prime. Res64: 2224F465931ED4E7 Time : 0.0 sec. user=mdettweiler [2017-05-06 23:54:37] 993*2^1453224-1 is not prime. Res64: BF4A989451A8CF7D Time : 0.0 sec. user=mdettweiler [2017-05-06 23:54:37] 867*2^1453225-1 is not prime. Res64: A9C7D36D5F44D913 Time : 0.0 sec. user=mdettweiler [2017-05-06 23:54:37] 607*2^1453225-1 is not prime. Res64: A82D3A5D91BD0CD1 Time : 0.0 sec. user=mdettweiler [2017-05-06 23:54:37] 909*2^1453225-1 is not prime. Res64: 6BF7B37C73FC7E1C Time : 0.0 sec. user=mdettweiler [2017-05-06 23:54:38] 651*2^1453225-1 is not prime. Res64: 453DC839C669DC39 Time : 0.0 sec. user=juhehe [2017-05-06 23:58:05] 743*2^1453226-1 is not prime. Res64: 79FC7F134AD2F488 Time : 0.0 sec.