user=mdettweiler [2015-05-12 00:07:42] 949*2^1398815-1 is not prime. Res64: F14C0C026152B41D Time : 0.0 sec. user=mdettweiler [2015-05-12 00:07:43] 963*2^1398815-1 is not prime. Res64: FBAAE44B662229AA Time : 0.0 sec. user=mdettweiler [2015-05-12 00:15:23] 699*2^1398816-1 is not prime. Res64: A6D595F5BE58DE36 Time : 0.0 sec. user=mdettweiler [2015-05-12 00:15:24] 779*2^1398816-1 is not prime. Res64: 6C30F944356BB947 Time : 0.0 sec. user=mdettweiler [2015-05-12 00:15:31] 635*2^1398816-1 is not prime. Res64: FC10E643559697AB Time : 0.0 sec. user=mdettweiler [2015-05-12 00:15:31] 639*2^1398816-1 is not prime. Res64: 3992679666358985 Time : 0.0 sec. user=mdettweiler [2015-05-12 00:15:45] 803*2^1398816-1 is not prime. Res64: 30AC14076972F5B5 Time : 0.0 sec. user=mdettweiler [2015-05-12 00:15:46] 993*2^1398816-1 is not prime. Res64: 07E879F9EEFC8B4D Time : 0.0 sec. user=mdettweiler [2015-05-12 00:25:07] 639*2^1398817-1 is not prime. Res64: EDB202F83C15E30A Time : 0.0 sec. user=mdettweiler [2015-05-12 00:25:08] 747*2^1398817-1 is not prime. Res64: 059ADD75EA44AE15 Time : 0.0 sec. user=mdettweiler [2015-05-12 00:32:44] 777*2^1398817-1 is not prime. Res64: 48EF6E125A7A40A8 Time : 0.0 sec. user=mdettweiler [2015-05-12 00:32:44] 813*2^1398818-1 is not prime. Res64: C2C1B087D13C36CD Time : 0.0 sec. user=mdettweiler [2015-05-12 00:32:50] 861*2^1398818-1 is not prime. Res64: 9828C8A9498697CE Time : 0.0 sec. user=mdettweiler [2015-05-12 00:32:50] 875*2^1398818-1 is not prime. Res64: E23321D6F14C7A0C Time : 0.0 sec. user=mdettweiler [2015-05-12 00:33:03] 893*2^1398818-1 is not prime. Res64: FE576ED748982850 Time : 0.0 sec. user=mdettweiler [2015-05-12 00:33:03] 941*2^1398818-1 is not prime. Res64: FB93F9E23AFF0743 Time : 0.0 sec. user=mdettweiler [2015-05-12 00:42:33] 1001*2^1398818-1 is not prime. Res64: 7AC2B4A7FDAE7AD8 Time : 0.0 sec. user=mdettweiler [2015-05-12 00:42:34] 613*2^1398819-1 is not prime. Res64: 21F4087D398907D0 Time : 0.0 sec. user=mdettweiler [2015-05-12 00:50:10] 769*2^1398819-1 is not prime. Res64: 59F46A7686772758 Time : 0.0 sec. user=mdettweiler [2015-05-12 00:50:11] 605*2^1398820-1 is not prime. Res64: 5CDA69A5EF4F725E Time : 0.0 sec. user=mdettweiler [2015-05-12 00:50:18] 615*2^1398820-1 is not prime. Res64: 0EB6504FAE5F1021 Time : 0.0 sec. user=mdettweiler [2015-05-12 00:50:18] 653*2^1398820-1 is not prime. Res64: C0B8B6C4807792BE Time : 0.0 sec. user=mdettweiler [2015-05-12 00:50:28] 719*2^1398820-1 is not prime. Res64: 116688F1FEBF3F17 Time : 0.0 sec. user=mdettweiler [2015-05-12 00:50:28] 845*2^1398820-1 is not prime. Res64: 418A4EF4903177A0 Time : 0.0 sec. user=mdettweiler [2015-05-12 00:59:55] 757*2^1398821-1 is not prime. Res64: DA2143EB65B5B3B2 Time : 0.0 sec. user=mdettweiler [2015-05-12 00:59:56] 871*2^1398821-1 is not prime. Res64: 89D8CC49C9386A33 Time : 0.0 sec. user=mdettweiler [2015-05-12 01:07:28] 901*2^1398821-1 is not prime. Res64: 3D35B4F6CEB3DB2B Time : 0.0 sec. user=mdettweiler [2015-05-12 01:07:29] 615*2^1398822-1 is not prime. Res64: ED525B8FA3519C4A Time : 0.0 sec. user=mdettweiler [2015-05-12 01:07:34] 635*2^1398822-1 is not prime. Res64: 6BFC9A01F26A96ED Time : 0.0 sec. user=mdettweiler [2015-05-12 01:07:34] 681*2^1398822-1 is not prime. Res64: 8544BE71C986B669 Time : 0.0 sec. user=mdettweiler [2015-05-12 01:07:47] 693*2^1398822-1 is not prime. Res64: 4D6F9174EC2A26AD Time : 0.0 sec. user=mdettweiler [2015-05-12 01:07:48] 725*2^1398822-1 is not prime. Res64: B6008B6275ED899C Time : 0.0 sec. user=mdettweiler [2015-05-12 01:17:11] 625*2^1398823-1 is not prime. Res64: 5A050454B5B30B5A Time : 0.0 sec. user=mdettweiler [2015-05-12 01:17:11] 735*2^1398823-1 is not prime. Res64: 875082574D7B3D5E Time : 0.0 sec. user=mdettweiler [2015-05-12 01:24:52] 609*2^1398824-1 is not prime. Res64: 72568999E5560C5F Time : 0.0 sec. user=mdettweiler [2015-05-12 01:24:53] 615*2^1398824-1 is not prime. Res64: CC08AD5911FECFDC Time : 0.0 sec. user=mdettweiler [2015-05-12 01:25:00] 617*2^1398824-1 is not prime. Res64: 82E748AE730F9C21 Time : 0.0 sec. user=mdettweiler [2015-05-12 01:25:00] 935*2^1398824-1 is not prime. Res64: A4ADDC33DF74AEE7 Time : 0.0 sec. user=mdettweiler [2015-05-12 01:25:06] 959*2^1398824-1 is not prime. Res64: F1E1668AD22F0F33 Time : 0.0 sec. user=mdettweiler [2015-05-12 01:25:07] 837*2^1398825-1 is not prime. Res64: 97B26EDE5EA7E597 Time : 0.0 sec. user=mdettweiler [2015-05-12 01:34:33] 849*2^1398825-1 is not prime. Res64: 7B4E11A0DD111FA5 Time : 0.0 sec. user=mdettweiler [2015-05-12 01:34:33] 937*2^1398825-1 is not prime. Res64: C020B702524E9A93 Time : 0.0 sec. user=mdettweiler [2015-05-12 01:42:12] 623*2^1398826-1 is not prime. Res64: C9A84FAFC29CCB2E Time : 0.0 sec. user=mdettweiler [2015-05-12 01:42:12] 653*2^1398826-1 is not prime. Res64: 696F8958D1B5CF30 Time : 0.0 sec. user=mdettweiler [2015-05-12 01:42:26] 825*2^1398826-1 is not prime. Res64: 975C9F537C72366C Time : 0.0 sec. user=mdettweiler [2015-05-12 01:42:26] 855*2^1398826-1 is not prime. Res64: 8B68F0E1EE8E7973 Time : 0.0 sec. user=mdettweiler [2015-05-12 01:42:28] 993*2^1398826-1 is not prime. Res64: 056D5B2CDFECC36E Time : 0.0 sec. user=mdettweiler [2015-05-12 01:42:28] 615*2^1398827-1 is not prime. Res64: F0FE15C76C9DC1A0 Time : 0.0 sec. user=mdettweiler [2015-05-12 01:51:55] 621*2^1398827-1 is not prime. Res64: B6F0B7A4F5AE06EA Time : 0.0 sec. user=mdettweiler [2015-05-12 01:51:55] 645*2^1398827-1 is not prime. Res64: E55ADA1E6E689959 Time : 0.0 sec. user=mdettweiler [2015-05-12 01:59:29] 675*2^1398827-1 is not prime. Res64: 4B835E33C535D32A Time : 0.0 sec. user=mdettweiler [2015-05-12 01:59:30] 735*2^1398827-1 is not prime. Res64: 229F872655C7EC22 Time : 0.0 sec. user=mdettweiler [2015-05-12 01:59:41] 775*2^1398827-1 is not prime. Res64: 113B89EF7C7FC16D Time : 0.0 sec. user=mdettweiler [2015-05-12 01:59:41] 861*2^1398827-1 is not prime. Res64: 7FDF81C7A37B9FC8 Time : 0.0 sec. user=mdettweiler [2015-05-12 02:00:00] 895*2^1398827-1 is not prime. Res64: 6F2F03D39AC0F76B Time : 0.0 sec. user=mdettweiler [2015-05-12 02:00:00] 633*2^1398828-1 is not prime. Res64: 7246FCC69D49074D Time : 0.0 sec. user=mdettweiler [2015-05-12 02:09:12] 795*2^1398828-1 is not prime. Res64: 72825A4C3A3236F5 Time : 0.0 sec. user=mdettweiler [2015-05-12 02:09:14] 845*2^1398828-1 is not prime. Res64: AD775335D7B88832 Time : 0.0 sec. user=mdettweiler [2015-05-12 02:16:49] 909*2^1398828-1 is not prime. Res64: 0FAD4D73940CCFB8 Time : 0.0 sec. user=mdettweiler [2015-05-12 02:16:50] 927*2^1398828-1 is not prime. Res64: 30A26A7C30271960 Time : 0.0 sec. user=mdettweiler [2015-05-12 02:17:01] 681*2^1398829-1 is not prime. Res64: 598CD09B70626F46 Time : 0.0 sec. user=mdettweiler [2015-05-12 02:17:02] 759*2^1398829-1 is not prime. Res64: 8DFE44274D2752FF Time : 0.0 sec. user=mdettweiler [2015-05-12 02:17:21] 801*2^1398829-1 is not prime. Res64: 6F6D894ACCEC32C8 Time : 0.0 sec. user=mdettweiler [2015-05-12 02:17:22] 861*2^1398829-1 is not prime. Res64: 10CB26E7CDC3C314 Time : 0.0 sec. user=mdettweiler [2015-05-12 02:27:08] 999*2^1398829-1 is not prime. Res64: 6277F21451EB29EB Time : 0.0 sec. user=mdettweiler [2015-05-12 02:27:09] 615*2^1398830-1 is not prime. Res64: 014FCBA8A13BF742 Time : 0.0 sec. user=mdettweiler [2015-05-12 02:35:13] 851*2^1398830-1 is not prime. Res64: 454721F58A9AB513 Time : 0.0 sec. user=mdettweiler [2015-05-12 02:35:14] 911*2^1398830-1 is not prime. Res64: A02230AD44D2995F Time : 0.0 sec. user=mdettweiler [2015-05-12 02:35:22] 627*2^1398830-1 is not prime. Res64: C0AA742E5E7A2466 Time : 0.0 sec. user=mdettweiler [2015-05-12 02:35:23] 791*2^1398830-1 is not prime. Res64: 1E8AD6FC00A0AE27 Time : 0.0 sec. user=mdettweiler [2015-05-12 02:36:09] 935*2^1398830-1 is not prime. Res64: A5E8B349D7811C8E Time : 0.0 sec. user=mdettweiler [2015-05-12 02:36:10] 1001*2^1398830-1 is not prime. Res64: CD109E932B3028D5 Time : 0.0 sec. user=mdettweiler [2015-05-12 02:44:41] 703*2^1398831-1 is not prime. Res64: A780D137B60A318B Time : 0.0 sec. user=mdettweiler [2015-05-12 02:44:41] 739*2^1398831-1 is not prime. Res64: BC815C5991BB0B7F Time : 0.0 sec. user=mdettweiler [2015-05-12 02:52:35] 781*2^1398831-1 is not prime. Res64: 69BEBE12BF3C71F3 Time : 0.0 sec. user=mdettweiler [2015-05-12 02:52:36] 819*2^1398831-1 is not prime. Res64: 4AC22BB2901B9CBF Time : 0.0 sec. user=mdettweiler [2015-05-12 02:52:39] 885*2^1398831-1 is not prime. Res64: 102E635CD93EBBB8 Time : 0.0 sec. user=mdettweiler [2015-05-12 02:52:39] 895*2^1398831-1 is not prime. Res64: 6C130A62809BAD1B Time : 0.0 sec. user=mdettweiler [2015-05-12 02:53:30] 921*2^1398831-1 is not prime. Res64: 22B266F3D34F5EF7 Time : 0.0 sec. user=mdettweiler [2015-05-12 02:53:30] 975*2^1398831-1 is not prime. Res64: 3D0094DE43551FAB Time : 0.0 sec. user=mdettweiler [2015-05-12 03:02:02] 639*2^1398832-1 is not prime. Res64: 4DA125E594D1BAEC Time : 0.0 sec. user=mdettweiler [2015-05-12 03:02:03] 717*2^1398832-1 is not prime. Res64: 10BFD7D129E85E56 Time : 0.0 sec. user=mdettweiler [2015-05-12 03:09:52] 723*2^1398832-1 is not prime. Res64: F417776B459F2902 Time : 0.0 sec. user=mdettweiler [2015-05-12 03:09:53] 743*2^1398832-1 is not prime. Res64: C3FFEC0CB89430E1 Time : 0.0 sec. user=mdettweiler [2015-05-12 03:10:08] 849*2^1398832-1 is not prime. Res64: F3F0798138C38FCA Time : 0.0 sec. user=mdettweiler [2015-05-12 03:10:08] 651*2^1398833-1 is not prime. Res64: E17676EAD4A2005C Time : 0.0 sec. user=mdettweiler [2015-05-12 03:10:50] 871*2^1398833-1 is not prime. Res64: 26B4B2CCAF082712 Time : 0.0 sec. user=mdettweiler [2015-05-12 03:10:50] 879*2^1398833-1 is not prime. Res64: 9ABF7CA6DFC872AD Time : 0.0 sec. user=mdettweiler [2015-05-12 03:19:42] 897*2^1398833-1 is not prime. Res64: D9AA5CE45F3E6F51 Time : 0.0 sec. user=mdettweiler [2015-05-12 03:19:42] 987*2^1398833-1 is not prime. Res64: D1F4FB9B3FC0B8FD Time : 0.0 sec. user=mdettweiler [2015-05-12 03:27:29] 765*2^1398834-1 is not prime. Res64: 2EBE0D75F1DF0A36 Time : 0.0 sec. user=mdettweiler [2015-05-12 03:27:30] 903*2^1398834-1 is not prime. Res64: AE00CF2605AE48E9 Time : 0.0 sec. user=mdettweiler [2015-05-12 03:27:32] 605*2^1398834-1 is not prime. Res64: 1A565DBA88634370 Time : 0.0 sec. user=mdettweiler [2015-05-12 03:27:34] 621*2^1398834-1 is not prime. Res64: AABE300F04278397 Time : 0.0 sec. user=mdettweiler [2015-05-12 03:28:13] 975*2^1398834-1 is not prime. Res64: 0153666273369812 Time : 0.0 sec. user=mdettweiler [2015-05-12 03:28:14] 619*2^1398835-1 is not prime. Res64: 75B18F74FFD29E1A Time : 0.0 sec. user=mdettweiler [2015-05-12 03:37:01] 631*2^1398835-1 is not prime. Res64: EC3FE0CEAC533291 Time : 0.0 sec. user=mdettweiler [2015-05-12 03:37:03] 673*2^1398835-1 is not prime. Res64: 39968DF2D2827F51 Time : 0.0 sec. user=mdettweiler [2015-05-12 03:44:53] 693*2^1398835-1 is not prime. Res64: D81A0DD044F78206 Time : 0.0 sec. user=mdettweiler [2015-05-12 03:44:54] 765*2^1398835-1 is not prime. Res64: C626EA91EEC1448A Time : 0.0 sec. user=mdettweiler [2015-05-12 03:44:55] 853*2^1398835-1 is not prime. Res64: AC176BD66B667BC2 Time : 0.0 sec. user=mdettweiler [2015-05-12 03:44:56] 873*2^1398835-1 is not prime. Res64: E813C711535EEB43 Time : 0.0 sec. user=mdettweiler [2015-05-12 03:45:37] 951*2^1398835-1 is not prime. Res64: 6559F7BF56855FEA Time : 0.0 sec. user=mdettweiler [2015-05-12 03:45:38] 973*2^1398835-1 is not prime. Res64: 23445E53D45C8AC1 Time : 0.0 sec. user=mdettweiler [2015-05-12 03:54:35] 615*2^1398836-1 is not prime. Res64: A66E52F078C164D3 Time : 0.0 sec. user=mdettweiler [2015-05-12 03:54:35] 743*2^1398836-1 is not prime. Res64: BDDB743C6B338C80 Time : 0.0 sec. user=mdettweiler [2015-05-12 04:02:34] 661*2^1398837-1 is not prime. Res64: 13DA7B935E8C48E2 Time : 0.0 sec. user=mdettweiler [2015-05-12 04:02:36] 741*2^1398837-1 is not prime. Res64: 465BDAB081C5B8C9 Time : 0.0 sec. user=mdettweiler [2015-05-12 04:02:39] 843*2^1398836-1 is not prime. Res64: 1E3ED0818FCE564B Time : 0.0 sec. user=mdettweiler [2015-05-12 04:02:40] 649*2^1398837-1 is not prime. Res64: D8B021B0A1DA3872 Time : 0.0 sec. user=mdettweiler [2015-05-12 04:02:52] 759*2^1398837-1 is not prime. Res64: 607E053B9FE10EB8 Time : 0.0 sec. user=mdettweiler [2015-05-12 04:02:54] 769*2^1398837-1 is not prime. Res64: 10CCB126C90B2273 Time : 0.0 sec. user=mdettweiler [2015-05-12 04:11:56] 859*2^1398837-1 is not prime. Res64: 7E7C4B356052A6AC Time : 0.0 sec. user=mdettweiler [2015-05-12 04:11:56] 871*2^1398837-1 is not prime. Res64: 67A9FB2D498EBECA Time : 0.0 sec. user=mdettweiler [2015-05-12 04:20:25] 731*2^1398838-1 is not prime. Res64: 898791128C00B2A1 Time : 0.0 sec. user=mdettweiler [2015-05-12 04:20:26] 911*2^1398838-1 is not prime. Res64: 8E7C3ED73FE5A10A Time : 0.0 sec. user=mdettweiler [2015-05-12 04:20:41] 997*2^1398837-1 is not prime. Res64: 2676CB1F55ED37D1 Time : 0.0 sec. user=mdettweiler [2015-05-12 04:20:42] 645*2^1398839-1 is not prime. Res64: EC089F81BD8BFB18 Time : 0.0 sec. user=mdettweiler [2015-05-12 04:20:43] 645*2^1398838-1 is not prime. Res64: 1DFA672B76C1DCD2 Time : 0.0 sec. user=mdettweiler [2015-05-12 04:20:44] 705*2^1398838-1 is not prime. Res64: A0B26D9515A03397 Time : 0.0 sec. user=mdettweiler [2015-05-12 04:29:24] 685*2^1398839-1 is not prime. Res64: 2BC9A6022C9A4CFD Time : 0.0 sec. user=mdettweiler [2015-05-12 04:29:24] 775*2^1398839-1 is not prime. Res64: 8DD81CE77470236F Time : 0.0 sec. user=mdettweiler [2015-05-12 04:37:47] 979*2^1398839-1 is not prime. Res64: 41DA951F878558E0 Time : 0.0 sec. user=mdettweiler [2015-05-12 04:37:47] 623*2^1398840-1 is not prime. Res64: EA7D5851F7EF3C58 Time : 0.0 sec. user=mdettweiler [2015-05-12 04:38:03] 917*2^1398840-1 is not prime. Res64: 458790AEFAB0A677 Time : 0.0 sec. user=mdettweiler [2015-05-12 04:38:03] 817*2^1398841-1 is not prime. Res64: 1E9B41D817E300ED Time : 0.0 sec. user=mdettweiler [2015-05-12 04:38:12] 765*2^1398840-1 is not prime. Res64: 94173BDE7F284B74 Time : 0.0 sec. user=mdettweiler [2015-05-12 04:38:13] 843*2^1398840-1 is not prime. Res64: DC01CA61C7BE01A1 Time : 0.0 sec. user=mdettweiler [2015-05-12 04:46:50] 855*2^1398841-1 is not prime. Res64: 351C23B07C5B6959 Time : 0.0 sec. user=mdettweiler [2015-05-12 04:46:51] 861*2^1398841-1 is not prime. Res64: 19199E54C73C103D Time : 0.0 sec. user=mdettweiler [2015-05-12 04:55:16] 867*2^1398841-1 is not prime. Res64: AF2726D22E06E990 Time : 0.0 sec. user=mdettweiler [2015-05-12 04:55:16] 967*2^1398841-1 is not prime. Res64: AE363938D24BB536 Time : 0.0 sec. user=mdettweiler [2015-05-12 04:55:24] 997*2^1398841-1 is not prime. Res64: D64F957982FC879B Time : 0.0 sec. user=mdettweiler [2015-05-12 04:55:24] 627*2^1398842-1 is not prime. Res64: 3B04D90B678EF452 Time : 0.0 sec. user=mdettweiler [2015-05-12 04:55:32] 743*2^1398842-1 is not prime. Res64: 1487AFE5DDA6F6C6 Time : 0.0 sec. user=mdettweiler [2015-05-12 04:55:32] 983*2^1398842-1 is not prime. Res64: 7B3AA95553E5B1F2 Time : 0.0 sec. user=mdettweiler [2015-05-12 05:04:28] 1001*2^1398842-1 is not prime. Res64: 05A8BD88221A8F8D Time : 0.0 sec. user=mdettweiler [2015-05-12 05:04:29] 663*2^1398843-1 is not prime. Res64: 8F2DFD5D5D4A27FC Time : 0.0 sec. user=mdettweiler [2015-05-12 05:12:41] 679*2^1398843-1 is not prime. Res64: FF6B86678EDBA297 Time : 0.0 sec. user=mdettweiler [2015-05-12 05:12:42] 705*2^1398843-1 is not prime. Res64: 9C9A38604BE9FAFE Time : 0.0 sec. user=mdettweiler [2015-05-12 05:12:45] 753*2^1398843-1 is not prime. Res64: 716F2B240FA1E9CD Time : 0.0 sec. user=mdettweiler [2015-05-12 05:12:46] 765*2^1398843-1 is not prime. Res64: 48454F16E35D7E33 Time : 0.0 sec. user=mdettweiler [2015-05-12 05:13:26] 775*2^1398843-1 is not prime. Res64: 5316062369211454 Time : 0.0 sec. user=mdettweiler [2015-05-12 05:13:27] 789*2^1398843-1 is not prime. Res64: E9E5272AB53F9933 Time : 0.0 sec. user=mdettweiler [2015-05-12 05:21:55] 795*2^1398843-1 is not prime. Res64: 9A3DE146F3AFBAA8 Time : 0.0 sec. user=mdettweiler [2015-05-12 05:21:55] 943*2^1398843-1 is not prime. Res64: 9B02490D29C790E2 Time : 0.0 sec. user=mdettweiler [2015-05-12 05:30:08] 963*2^1398843-1 is not prime. Res64: 485F74006A10FB65 Time : 0.0 sec. user=mdettweiler [2015-05-12 05:30:08] 773*2^1398844-1 is not prime. Res64: 29D6ACA9F8F0C426 Time : 0.0 sec. user=mdettweiler [2015-05-12 05:30:11] 819*2^1398844-1 is not prime. Res64: 4A86F5E9F9BBF09C Time : 0.0 sec. user=mdettweiler [2015-05-12 05:30:11] 905*2^1398844-1 is not prime. Res64: 6E96C9CC720BF54B Time : 0.0 sec. user=mdettweiler [2015-05-12 05:31:02] 929*2^1398844-1 is not prime. Res64: D0A63F463251374D Time : 0.0 sec. user=mdettweiler [2015-05-12 05:31:03] 953*2^1398844-1 is not prime. Res64: C68EEC398E4EE205 Time : 0.0 sec. user=mdettweiler [2015-05-12 05:39:15] 619*2^1398845-1 is not prime. Res64: 0E024B80BDFFCA7A Time : 0.0 sec. user=mdettweiler [2015-05-12 05:39:15] 685*2^1398845-1 is not prime. Res64: A5B60C1792B7320F Time : 0.0 sec. user=mdettweiler [2015-05-12 05:47:26] 799*2^1398845-1 is not prime. Res64: 06DE5F9A47552F73 Time : 0.0 sec. user=mdettweiler [2015-05-12 05:47:26] 889*2^1398845-1 is not prime. Res64: 93BF549803B53774 Time : 0.0 sec. user=mdettweiler [2015-05-12 05:47:31] 697*2^1398845-1 is not prime. Res64: D1AC63E76CA39C54 Time : 0.0 sec. user=mdettweiler [2015-05-12 05:47:31] 727*2^1398845-1 is not prime. Res64: B02A5090BC2D20E3 Time : 0.0 sec. user=mdettweiler [2015-05-12 05:48:20] 985*2^1398845-1 is not prime. Res64: 79D601EFC2CBC4EE Time : 0.0 sec. user=mdettweiler [2015-05-12 05:48:20] 683*2^1398846-1 is not prime. Res64: F88909F0E44C64E8 Time : 0.0 sec. user=mdettweiler [2015-05-12 05:56:31] 777*2^1398846-1 is not prime. Res64: 8CF8A5EE9873B7B4 Time : 0.0 sec. user=mdettweiler [2015-05-12 05:56:31] 783*2^1398846-1 is not prime. Res64: 7CEEA9B0BA667341 Time : 0.0 sec. user=mdettweiler [2015-05-12 06:04:46] 917*2^1398846-1 is not prime. Res64: DF5743E870FFD347 Time : 0.0 sec. user=mdettweiler [2015-05-12 06:04:48] 819*2^1398847-1 is not prime. Res64: 077E51943296ABBD Time : 0.0 sec. user=mdettweiler [2015-05-12 06:04:49] 675*2^1398847-1 is not prime. Res64: 8003C681E814F03A Time : 0.0 sec. user=mdettweiler [2015-05-12 06:04:50] 841*2^1398847-1 is not prime. Res64: DE80523EE2DF1D75 Time : 0.0 sec. user=mdettweiler [2015-05-12 06:05:40] 871*2^1398847-1 is not prime. Res64: E102EB6DB934378B Time : 0.0 sec. user=mdettweiler [2015-05-12 06:05:41] 669*2^1398848-1 is not prime. Res64: 868C50D4583D7194 Time : 0.0 sec. user=mdettweiler [2015-05-12 06:13:49] 699*2^1398848-1 is not prime. Res64: 2612BADDF8F91C31 Time : 0.0 sec. user=mdettweiler [2015-05-12 06:13:49] 855*2^1398848-1 is not prime. Res64: E3AC692424EC1487 Time : 0.0 sec. user=mdettweiler [2015-05-12 06:22:36] 601*2^1398849-1 is not prime. Res64: 5622DBCCF69F6D96 Time : 0.0 sec. user=mdettweiler [2015-05-12 06:22:37] 657*2^1398849-1 is not prime. Res64: 85084857D781EE9C Time : 0.0 sec. user=mdettweiler [2015-05-12 06:22:44] 691*2^1398849-1 is not prime. Res64: E88FB530A2E09432 Time : 0.0 sec. user=mdettweiler [2015-05-12 06:22:44] 829*2^1398849-1 is not prime. Res64: 593B7628DD27194A Time : 0.0 sec. user=mdettweiler [2015-05-12 06:23:01] 867*2^1398849-1 is not prime. Res64: EE0382E61CD8CCC8 Time : 0.0 sec. user=mdettweiler [2015-05-12 06:23:01] 885*2^1398849-1 is not prime. Res64: 25D2B5FB16F61A1D Time : 0.0 sec. user=mdettweiler [2015-05-12 06:31:11] 951*2^1398849-1 is not prime. Res64: E61DABDEB6E352ED Time : 0.0 sec. user=mdettweiler [2015-05-12 06:31:12] 991*2^1398849-1 is not prime. Res64: 7FA2E97E924BE38C Time : 0.0 sec. user=juhehe [2015-05-12 06:31:35] 897*2^1398848-1 is not prime. Res64: CB1E8158D60C6331 Time : 0.0 sec. user=mdettweiler [2015-05-12 06:39:55] 657*2^1398850-1 is not prime. Res64: A8BC1F938931B553 Time : 0.0 sec. user=mdettweiler [2015-05-12 06:39:56] 687*2^1398850-1 is not prime. Res64: E2DFB326AA436421 Time : 0.0 sec. user=mdettweiler [2015-05-12 06:40:13] 701*2^1398850-1 is not prime. Res64: CF80AD6A92E743CB Time : 0.0 sec. user=mdettweiler [2015-05-12 06:40:14] 723*2^1398850-1 is not prime. Res64: 703FBE3F3E7D2534 Time : 0.0 sec. user=mdettweiler [2015-05-12 06:40:24] 803*2^1398850-1 is not prime. Res64: 09789F479B70766C Time : 0.0 sec. user=mdettweiler [2015-05-12 06:40:25] 933*2^1398850-1 is not prime. Res64: 8D5613B9CB1DA8FE Time : 0.0 sec. user=mdettweiler [2015-05-12 06:48:45] 951*2^1398850-1 is not prime. Res64: 9355F7AF507B582B Time : 0.0 sec. user=mdettweiler [2015-05-12 06:48:45] 987*2^1398850-1 is not prime. Res64: CD7114C0CE463656 Time : 0.0 sec. user=mdettweiler [2015-05-12 06:57:18] 675*2^1398851-1 is not prime. Res64: 8FB295D9270E0E6C Time : 0.0 sec. user=mdettweiler [2015-05-12 06:57:18] 685*2^1398851-1 is not prime. Res64: 62F1C842BCE7ED6C Time : 0.0 sec. user=mdettweiler [2015-05-12 06:57:38] 711*2^1398851-1 is not prime. Res64: 8E14CC58F2A8E7FB Time : 0.0 sec. user=mdettweiler [2015-05-12 06:57:39] 753*2^1398851-1 is not prime. Res64: 8218D1F784F7EC65 Time : 0.0 sec. user=mdettweiler [2015-05-12 06:57:58] 825*2^1398851-1 is not prime. Res64: FCF83FB773C64897 Time : 0.0 sec. user=mdettweiler [2015-05-12 06:57:58] 855*2^1398851-1 is not prime. Res64: A76365DD846A4D37 Time : 0.0 sec. user=mdettweiler [2015-05-12 07:06:34] 993*2^1398851-1 is not prime. Res64: 5C5B11C82A395320 Time : 0.0 sec. user=mdettweiler [2015-05-12 07:06:37] 999*2^1398851-1 is not prime. Res64: 7A98805F7EA15829 Time : 0.0 sec. user=mdettweiler [2015-05-12 07:14:37] 615*2^1398852-1 is not prime. Res64: 9845F963AA1855DB Time : 0.0 sec. user=mdettweiler [2015-05-12 07:14:38] 623*2^1398852-1 is not prime. Res64: 6A3A3D1C07D44351 Time : 0.0 sec. user=mdettweiler [2015-05-12 07:15:01] 635*2^1398852-1 is not prime. Res64: B618EC4F6C5237CC Time : 0.0 sec. user=mdettweiler [2015-05-12 07:15:02] 725*2^1398852-1 is not prime. Res64: 6BA8E4511C15F0CB Time : 0.0 sec. user=mdettweiler [2015-05-12 07:15:31] 753*2^1398852-1 is not prime. Res64: D0794F1FCC8A6FA8 Time : 0.0 sec. user=mdettweiler [2015-05-12 07:15:32] 765*2^1398852-1 is not prime. Res64: 5675244DF15EB567 Time : 0.0 sec. user=mdettweiler [2015-05-12 07:24:42] 809*2^1398852-1 is not prime. Res64: 482034B545190E62 Time : 0.0 sec. user=mdettweiler [2015-05-12 07:24:43] 893*2^1398852-1 is not prime. Res64: E68A63243CA8CACB Time : 0.0 sec. user=mdettweiler [2015-05-12 07:32:03] 899*2^1398852-1 is not prime. Res64: 2CC3D8EDDB99FDEC Time : 0.0 sec. user=mdettweiler [2015-05-12 07:32:04] 945*2^1398852-1 is not prime. Res64: 938DE3A2D1972C33 Time : 0.0 sec. user=mdettweiler [2015-05-12 07:32:36] 977*2^1398852-1 is not prime. Res64: 26479D180BC4DDEE Time : 0.0 sec. user=mdettweiler [2015-05-12 07:32:37] 983*2^1398852-1 is not prime. Res64: 32341299FD2146B9 Time : 0.0 sec. user=mdettweiler [2015-05-12 07:33:05] 729*2^1398853-1 is not prime. Res64: 17B421FEF8180D84 Time : 0.0 sec. user=mdettweiler [2015-05-12 07:33:05] 765*2^1398853-1 is not prime. Res64: 8751C3A0518ABDEC Time : 0.0 sec. user=mdettweiler [2015-05-12 07:42:12] 811*2^1398853-1 is not prime. Res64: 2BA20E2330F9D137 Time : 0.0 sec. user=mdettweiler [2015-05-12 07:42:13] 867*2^1398853-1 is not prime. Res64: A31847D82C2C55E3 Time : 0.0 sec. user=mdettweiler [2015-05-12 07:49:28] 957*2^1398853-1 is not prime. Res64: ECEC0E13EB7B6842 Time : 0.0 sec. user=mdettweiler [2015-05-12 07:49:28] 605*2^1398854-1 is not prime. Res64: 609E56F2C1DB9A56 Time : 0.0 sec. user=mdettweiler [2015-05-12 07:50:04] 671*2^1398854-1 is not prime. Res64: 5056A9D6DE403710 Time : 0.0 sec. user=mdettweiler [2015-05-12 07:50:05] 677*2^1398854-1 is not prime. Res64: E9D0B990CC946C71 Time : 0.0 sec. user=mdettweiler [2015-05-12 07:50:28] 693*2^1398854-1 is not prime. Res64: 1AF896B3B81F6F37 Time : 0.0 sec. user=mdettweiler [2015-05-12 07:50:29] 707*2^1398854-1 is not prime. Res64: B1B1D2E8A852765C Time : 0.0 sec. user=mdettweiler [2015-05-12 07:59:29] 717*2^1398854-1 is not prime. Res64: 3918A6C918F593ED Time : 0.0 sec. user=mdettweiler [2015-05-12 07:59:29] 741*2^1398854-1 is not prime. Res64: 2E7B3E8C82252748 Time : 0.0 sec. user=mdettweiler [2015-05-12 08:06:51] 887*2^1398854-1 is not prime. Res64: 0654450B3407F095 Time : 0.0 sec. user=mdettweiler [2015-05-12 08:06:52] 945*2^1398854-1 is not prime. Res64: E2D97C1094273FF1 Time : 0.0 sec. user=mdettweiler [2015-05-12 08:07:25] 987*2^1398854-1 is not prime. Res64: F2323B9A12AA2A94 Time : 0.0 sec. user=mdettweiler [2015-05-12 08:07:26] 693*2^1398855-1 is not prime. Res64: FB718229ABAD5BD6 Time : 0.0 sec. user=mdettweiler [2015-05-12 08:07:45] 781*2^1398855-1 is not prime. Res64: 192D6FFB704AEF97 Time : 0.0 sec. user=mdettweiler [2015-05-12 08:07:45] 805*2^1398855-1 is not prime. Res64: A4BFCB2818E00F09 Time : 0.0 sec. user=mdettweiler [2015-05-12 08:16:50] 861*2^1398855-1 is not prime. Res64: D69E6AD453213C99 Time : 0.0 sec. user=mdettweiler [2015-05-12 08:16:50] 895*2^1398855-1 is not prime. Res64: BCC4B33FCECE0849 Time : 0.0 sec. user=mdettweiler [2015-05-12 08:24:16] 645*2^1398856-1 is not prime. Res64: 100ADB5BB9641510 Time : 0.0 sec. user=mdettweiler [2015-05-12 08:24:16] 855*2^1398856-1 is not prime. Res64: F389606351122C89 Time : 0.0 sec. user=mdettweiler [2015-05-12 08:24:43] 857*2^1398856-1 is not prime. Res64: AEEA086674B08120 Time : 0.0 sec. user=mdettweiler [2015-05-12 08:24:43] 873*2^1398856-1 is not prime. Res64: 8AE72B21180F65BE Time : 0.0 sec. user=mdettweiler [2015-05-12 08:25:03] 903*2^1398856-1 is not prime. Res64: 632721EA8EE545F7 Time : 0.0 sec. user=mdettweiler [2015-05-12 08:25:03] 933*2^1398856-1 is not prime. Res64: FCE66C82A7ED83E0 Time : 0.0 sec. user=mdettweiler [2015-05-12 08:34:12] 993*2^1398856-1 is not prime. Res64: 435E4840A7D9C687 Time : 0.0 sec. user=mdettweiler [2015-05-12 08:34:12] 741*2^1398857-1 is not prime. Res64: F877BF23C155D3E2 Time : 0.0 sec. user=mdettweiler [2015-05-12 08:41:35] 861*2^1398857-1 is not prime. Res64: 50F210503AB1E8A1 Time : 0.0 sec. user=mdettweiler [2015-05-12 08:41:35] 945*2^1398857-1 is not prime. Res64: C84C623FEFE2ECE2 Time : 0.0 sec. user=mdettweiler [2015-05-12 08:42:06] 979*2^1398857-1 is not prime. Res64: A9E363EB80539C1F Time : 0.0 sec. user=mdettweiler [2015-05-12 08:42:06] 633*2^1398858-1 is not prime. Res64: 2A897AB0573AFE32 Time : 0.0 sec. user=mdettweiler [2015-05-12 08:42:21] 683*2^1398858-1 is not prime. Res64: 921FD5EB24698753 Time : 0.0 sec. user=mdettweiler [2015-05-12 08:42:21] 833*2^1398858-1 is not prime. Res64: E5756A2C7123C423 Time : 0.0 sec. user=mdettweiler [2015-05-12 08:51:49] 861*2^1398858-1 is not prime. Res64: 1E2445999ADBF39C Time : 0.0 sec. user=mdettweiler [2015-05-12 08:51:49] 881*2^1398858-1 is not prime. Res64: E1157788A54BC30C Time : 0.0 sec. user=mdettweiler [2015-05-12 08:59:21] 951*2^1398858-1 is not prime. Res64: 0FC99C587E048608 Time : 0.0 sec. user=mdettweiler [2015-05-12 08:59:21] 993*2^1398858-1 is not prime. Res64: 83AC9B1DC10DB005 Time : 0.0 sec. user=mdettweiler [2015-05-12 08:59:53] 615*2^1398859-1 is not prime. Res64: B65CE2D3EB134351 Time : 0.0 sec. user=mdettweiler [2015-05-12 08:59:53] 631*2^1398859-1 is not prime. Res64: EE0B3F92C232D01E Time : 0.0 sec. user=mdettweiler [2015-05-12 09:00:13] 681*2^1398859-1 is not prime. Res64: A5F7A8DCE94268E9 Time : 0.0 sec. user=mdettweiler [2015-05-12 09:00:13] 685*2^1398859-1 is not prime. Res64: 2C0DDF3C7A1FEBC9 Time : 0.0 sec. user=mdettweiler [2015-05-12 09:09:21] 709*2^1398859-1 is not prime. Res64: 9012F7393153BF2F Time : 0.0 sec. user=mdettweiler [2015-05-12 09:09:22] 741*2^1398859-1 is not prime. Res64: D64223BE193BF89C Time : 0.0 sec. user=mdettweiler [2015-05-12 09:16:53] 765*2^1398859-1 is not prime. Res64: 618E46451E3735F8 Time : 0.0 sec. user=mdettweiler [2015-05-12 09:16:54] 835*2^1398859-1 is not prime. Res64: AD50A297AEE8AB6C Time : 0.0 sec. user=mdettweiler [2015-05-12 09:17:29] 609*2^1398860-1 is not prime. Res64: D550FDF1AC1C9D3A Time : 0.0 sec. user=mdettweiler [2015-05-12 09:17:29] 635*2^1398860-1 is not prime. Res64: CE4A73871F971357 Time : 0.0 sec. user=mdettweiler [2015-05-12 09:17:46] 755*2^1398860-1 is not prime. Res64: 788CD8D7B238DC49 Time : 0.0 sec. user=mdettweiler [2015-05-12 09:17:47] 785*2^1398860-1 is not prime. Res64: DD9DD05B5BC39462 Time : 0.0 sec. user=mdettweiler [2015-05-12 09:27:05] 839*2^1398860-1 is not prime. Res64: A85DFF0B453E39A6 Time : 0.0 sec. user=mdettweiler [2015-05-12 09:27:06] 843*2^1398860-1 is not prime. Res64: 0B3770A77B365FF2 Time : 0.0 sec. user=mdettweiler [2015-05-12 09:34:28] 855*2^1398860-1 is not prime. Res64: C32851E9A989E8A3 Time : 0.0 sec. user=mdettweiler [2015-05-12 09:34:28] 875*2^1398860-1 is not prime. Res64: 6A264080CF240BB7 Time : 0.0 sec. user=mdettweiler [2015-05-12 09:34:53] 963*2^1398860-1 is not prime. Res64: 30F1567F36A20308 Time : 0.0 sec. user=mdettweiler [2015-05-12 09:34:53] 983*2^1398860-1 is not prime. Res64: 70D87802A43FCF88 Time : 0.0 sec. user=mdettweiler [2015-05-12 09:35:12] 649*2^1398861-1 is not prime. Res64: DCC8B3BF9DAAC09A Time : 0.0 sec. user=mdettweiler [2015-05-12 09:35:12] 747*2^1398861-1 is not prime. Res64: 177F1D8686499839 Time : 0.0 sec. user=mdettweiler [2015-05-12 09:44:35] 795*2^1398861-1 is not prime. Res64: 250E2E957FDEFB15 Time : 0.0 sec. user=mdettweiler [2015-05-12 09:44:35] 837*2^1398861-1 is not prime. Res64: C0D761F0CDF8F2FF Time : 0.0 sec. user=mdettweiler [2015-05-12 09:52:03] 871*2^1398861-1 is not prime. Res64: 9559AC6D84E0512D Time : 0.0 sec. user=mdettweiler [2015-05-12 09:52:03] 907*2^1398861-1 is not prime. Res64: A030AAE56BA61ED8 Time : 0.0 sec. user=mdettweiler [2015-05-12 09:52:25] 945*2^1398861-1 is not prime. Res64: 4E9EFCC36C2E083F Time : 0.0 sec. user=mdettweiler [2015-05-12 09:52:26] 975*2^1398861-1 is not prime. Res64: 2CEDEE02B349D8BF Time : 0.0 sec. user=mdettweiler [2015-05-12 09:52:40] 991*2^1398861-1 is not prime. Res64: 63632AFD23197A06 Time : 0.0 sec. user=mdettweiler [2015-05-12 09:52:40] 611*2^1398862-1 is not prime. Res64: CAA9829EA47B629C Time : 0.0 sec. user=mdettweiler [2015-05-12 10:02:09] 681*2^1398862-1 is not prime. Res64: 2B646569631AA9D0 Time : 0.0 sec. user=mdettweiler [2015-05-12 10:02:10] 705*2^1398862-1 is not prime. Res64: 4153F0AC23373D32 Time : 0.0 sec. user=mdettweiler [2015-05-12 10:09:25] 791*2^1398862-1 is not prime. Res64: A779E46111069914 Time : 0.0 sec. user=mdettweiler [2015-05-12 10:09:25] 827*2^1398862-1 is not prime. Res64: D2DD077571B50726 Time : 0.0 sec. user=mdettweiler [2015-05-12 10:09:56] 619*2^1398863-1 is not prime. Res64: 07C1088851224E82 Time : 0.0 sec. user=mdettweiler [2015-05-12 10:09:57] 621*2^1398863-1 is not prime. Res64: 3CADBA36C8184AB5 Time : 0.0 sec. user=mdettweiler [2015-05-12 10:10:03] 729*2^1398863-1 is not prime. Res64: 2A67F20DC8E07ACE Time : 0.0 sec. user=mdettweiler [2015-05-12 10:10:03] 789*2^1398863-1 is not prime. Res64: 3758EDA8D891DE67 Time : 0.0 sec. user=mdettweiler [2015-05-12 10:19:44] 823*2^1398863-1 is not prime. Res64: D01C50919ABC5CFA Time : 0.0 sec. user=mdettweiler [2015-05-12 10:19:45] 921*2^1398863-1 is not prime. Res64: 03DF5F22770E3098 Time : 0.0 sec. user=mdettweiler [2015-05-12 10:27:43] 665*2^1398864-1 is not prime. Res64: 661A8A0E9D975BA5 Time : 0.0 sec. user=mdettweiler [2015-05-12 10:27:44] 737*2^1398864-1 is not prime. Res64: 550E9EDDFA19E634 Time : 0.0 sec. user=mdettweiler [2015-05-12 10:28:07] 765*2^1398864-1 is not prime. Res64: 57A68EC1E55133A7 Time : 0.0 sec. user=mdettweiler [2015-05-12 10:28:08] 929*2^1398864-1 is not prime. Res64: 13A44EECE6C1BD60 Time : 0.0 sec. user=mdettweiler [2015-05-12 10:28:20] 969*2^1398864-1 is not prime. Res64: 22C31FFE7F032E6E Time : 0.0 sec. user=mdettweiler [2015-05-12 10:28:20] 679*2^1398865-1 is not prime. Res64: B34216D59A0A5541 Time : 0.0 sec. user=mdettweiler [2015-05-12 10:39:45] 705*2^1398865-1 is not prime. Res64: 7C31D0CD2990544F Time : 0.0 sec. user=mdettweiler [2015-05-12 10:39:45] 729*2^1398865-1 is not prime. Res64: 820DF0E236C3365F Time : 0.0 sec. user=mdettweiler [2015-05-12 10:49:21] 855*2^1398865-1 is not prime. Res64: 6BA9CC80A88B1F89 Time : 0.0 sec. user=mdettweiler [2015-05-12 10:49:22] 861*2^1398865-1 is not prime. Res64: AB7E18E37E670F66 Time : 0.0 sec. user=mdettweiler [2015-05-12 10:49:48] 909*2^1398865-1 is not prime. Res64: 1017FE65C9115206 Time : 0.0 sec. user=mdettweiler [2015-05-12 10:49:48] 641*2^1398866-1 is not prime. Res64: C1CA4B6ACC316F10 Time : 0.0 sec. user=mdettweiler [2015-05-12 10:49:49] 671*2^1398866-1 is not prime. Res64: 717A25815ABE63A3 Time : 0.0 sec. user=mdettweiler [2015-05-12 10:49:49] 785*2^1398866-1 is not prime. Res64: 57F6D0AC270E11BF Time : 0.0 sec. user=mdettweiler [2015-05-12 11:00:07] 815*2^1398866-1 is not prime. Res64: 3285D885B28E603C Time : 0.0 sec. user=mdettweiler [2015-05-12 11:00:07] 857*2^1398866-1 is not prime. Res64: 14F49D0B230F6C3C Time : 0.0 sec. user=mdettweiler [2015-05-12 11:08:38] 873*2^1398866-1 is not prime. Res64: B006882B80770481 Time : 0.0 sec. user=mdettweiler [2015-05-12 11:08:39] 917*2^1398866-1 is not prime. Res64: 8C96A5B113E22E6A Time : 0.0 sec. user=mdettweiler [2015-05-12 11:08:45] 953*2^1398866-1 is not prime. Res64: 1FC311D626BC541E Time : 0.0 sec. user=mdettweiler [2015-05-12 11:08:45] 981*2^1398866-1 is not prime. Res64: 2CE86344833D8933 Time : 0.0 sec. user=mdettweiler [2015-05-12 11:09:04] 601*2^1398867-1 is not prime. Res64: C716D40BBDA4677F Time : 0.0 sec. user=mdettweiler [2015-05-12 11:09:05] 615*2^1398867-1 is not prime. Res64: 3A2EBEB9F14A0385 Time : 0.0 sec. user=mdettweiler [2015-05-12 11:18:19] 619*2^1398867-1 is not prime. Res64: 0F9E15A24FADAB5A Time : 0.0 sec. user=mdettweiler [2015-05-12 11:18:19] 615*2^1398868-1 is not prime. Res64: C65D19AD0E6D693F Time : 0.0 sec. user=mdettweiler [2015-05-12 11:26:39] 629*2^1398868-1 is not prime. Res64: BA2440EFF5C0C4AD Time : 0.0 sec. user=mdettweiler [2015-05-12 11:26:39] 777*2^1398868-1 is not prime. Res64: E47CDCE23925389C Time : 0.0 sec. user=mdettweiler [2015-05-12 11:26:42] 923*2^1398868-1 is not prime. Res64: 5947FA211093C05B Time : 0.0 sec. user=mdettweiler [2015-05-12 11:26:42] 933*2^1398868-1 is not prime. Res64: E0D68E6E75252CE2 Time : 0.0 sec. user=mdettweiler [2015-05-12 11:27:02] 975*2^1398868-1 is not prime. Res64: 2DB1432C66C3909F Time : 0.0 sec. user=mdettweiler [2015-05-12 11:27:02] 697*2^1398869-1 is not prime. Res64: 35A1083327514BEA Time : 0.0 sec. user=mdettweiler [2015-05-12 11:35:56] 897*2^1398869-1 is not prime. Res64: 9B20277E6F678EF9 Time : 0.0 sec. user=mdettweiler [2015-05-12 11:35:57] 969*2^1398869-1 is not prime. Res64: 302A8BD1590A45E9 Time : 0.0 sec. user=mdettweiler [2015-05-12 11:44:10] 695*2^1398870-1 is not prime. Res64: B74E4B558F671968 Time : 0.0 sec. user=mdettweiler [2015-05-12 11:44:10] 755*2^1398870-1 is not prime. Res64: C41A4CE95E987511 Time : 0.0 sec. user=mdettweiler [2015-05-12 11:44:22] 651*2^1398870-1 is not prime. Res64: E0EBCA8ADB81EE5F Time : 0.0 sec. user=mdettweiler [2015-05-12 11:44:22] 693*2^1398870-1 is not prime. Res64: BDF74B450CB223FE Time : 0.0 sec. user=mdettweiler [2015-05-12 11:44:32] 945*2^1398870-1 is not prime. Res64: DD1F0D5E238B59B1 Time : 0.0 sec. user=mdettweiler [2015-05-12 11:44:32] 957*2^1398870-1 is not prime. Res64: EB7BDEBA60B5DA47 Time : 0.0 sec. user=mdettweiler [2015-05-12 11:54:06] 601*2^1398871-1 is not prime. Res64: 4983DBD74C9A4081 Time : 0.0 sec. user=mdettweiler [2015-05-12 11:54:07] 841*2^1398871-1 is not prime. Res64: 9953D5F295B882FD Time : 0.0 sec. user=mdettweiler [2015-05-12 12:02:17] 901*2^1398871-1 is not prime. Res64: 2121855125CA75BE Time : 0.0 sec. user=mdettweiler [2015-05-12 12:02:18] 603*2^1398872-1 is not prime. Res64: A4A66E3A55375BE4 Time : 0.0 sec. user=mdettweiler [2015-05-12 12:02:30] 615*2^1398872-1 is not prime. Res64: 54997AA5B23BBEF5 Time : 0.0 sec. user=mdettweiler [2015-05-12 12:02:32] 617*2^1398872-1 is not prime. Res64: 2A8FA4126F0DF359 Time : 0.0 sec. user=mdettweiler [2015-05-12 12:02:32] 629*2^1398872-1 is not prime. Res64: C8378864864FBF3B Time : 0.0 sec. user=mdettweiler [2015-05-12 12:02:34] 777*2^1398872-1 is not prime. Res64: 773277EED737AB42 Time : 0.0 sec. user=mdettweiler [2015-05-12 12:11:45] 915*2^1398872-1 is not prime. Res64: 8DB41F2694FCDB56 Time : 0.0 sec. user=mdettweiler [2015-05-12 12:11:45] 999*2^1398872-1 is not prime. Res64: F807C879E0B12DBF Time : 0.0 sec. user=mdettweiler [2015-05-12 12:20:03] 605*2^1398874-1 is not prime. Res64: 1BA3E69465F7C07C Time : 0.0 sec. user=mdettweiler [2015-05-12 12:20:03] 621*2^1398874-1 is not prime. Res64: FE958B74CB1B13A5 Time : 0.0 sec. user=mdettweiler [2015-05-12 12:20:04] 915*2^1398873-1 is not prime. Res64: 4A9A87B4D8D78FDE Time : 0.0 sec. user=mdettweiler [2015-05-12 12:20:04] 979*2^1398873-1 is not prime. Res64: 006E79A15BA33FAE Time : 0.0 sec. user=mdettweiler [2015-05-12 12:20:11] 669*2^1398873-1 is not prime. Res64: 3EFD907C7F664BFC Time : 0.0 sec. user=mdettweiler [2015-05-12 12:20:11] 781*2^1398873-1 is not prime. Res64: 6A887E1AAAEDA0BC Time : 0.0 sec. user=mdettweiler [2015-05-12 12:29:33] 675*2^1398874-1 is not prime. Res64: 5D90664CE9861F7A Time : 0.0 sec. user=mdettweiler [2015-05-12 12:29:33] 723*2^1398874-1 is not prime. Res64: D15DA2DE72634051 Time : 0.0 sec. user=mdettweiler [2015-05-12 12:37:53] 941*2^1398874-1 is not prime. Res64: E0F840040E68760A Time : 0.0 sec. user=mdettweiler [2015-05-12 12:37:54] 799*2^1398875-1 is not prime. Res64: 8167EF7F1883E1BD Time : 0.0 sec. user=mdettweiler [2015-05-12 12:37:57] 833*2^1398874-1 is not prime. Res64: F97E5A7ACA4AA077 Time : 0.0 sec. user=mdettweiler [2015-05-12 12:37:57] 891*2^1398874-1 is not prime. Res64: 7DB9D0BC04EE4E61 Time : 0.0 sec. user=mdettweiler [2015-05-12 12:38:07] 883*2^1398875-1 is not prime. Res64: 35016B1A707B7811 Time : 0.0 sec. user=mdettweiler [2015-05-12 12:38:07] 609*2^1398876-1 is not prime. Res64: 212E4E08DA4F83F1 Time : 0.0 sec. user=mdettweiler [2015-05-12 12:47:18] 725*2^1398876-1 is not prime. Res64: E2A96BE0F77EF6FA Time : 0.0 sec. user=mdettweiler [2015-05-12 12:47:18] 737*2^1398876-1 is not prime. Res64: 0234970142EAA804 Time : 0.0 sec. user=mdettweiler [2015-05-12 12:55:47] 779*2^1398876-1 is not prime. Res64: 888777A13BD6DD2C Time : 0.0 sec. user=mdettweiler [2015-05-12 12:55:48] 843*2^1398876-1 is not prime. Res64: 77BD8F5FB7FB1A3B Time : 0.0 sec. user=mdettweiler [2015-05-12 12:55:57] 873*2^1398876-1 is not prime. Res64: 977230FF2BD10F4C Time : 0.0 sec. user=mdettweiler [2015-05-12 12:55:58] 909*2^1398876-1 is not prime. Res64: 17227EB8C57D7E3F Time : 0.0 sec. user=mdettweiler [2015-05-12 12:56:01] 993*2^1398876-1 is not prime. Res64: 66FC6413A1FF0974 Time : 0.0 sec. user=mdettweiler [2015-05-12 12:56:02] 607*2^1398877-1 is not prime. Res64: A383C20C60C87932 Time : 0.0 sec. user=mdettweiler [2015-05-12 13:05:23] 609*2^1398877-1 is not prime. Res64: 1544E89415D5C083 Time : 0.0 sec. user=mdettweiler [2015-05-12 13:05:24] 717*2^1398877-1 is not prime. Res64: B39385549CD7A63E Time : 0.0 sec. user=mdettweiler [2015-05-12 13:13:42] 981*2^1398877-1 is not prime. Res64: 54C804177ADFDF65 Time : 0.0 sec. user=mdettweiler [2015-05-12 13:13:42] 605*2^1398878-1 is not prime. Res64: E2D7DCDAF1BB877A Time : 0.0 sec. user=mdettweiler [2015-05-12 13:13:43] 859*2^1398877-1 is not prime. Res64: 546A04C45DAE3054 Time : 0.0 sec. user=mdettweiler [2015-05-12 13:13:44] 885*2^1398877-1 is not prime. Res64: 4805C3C04D099614 Time : 0.0 sec. user=mdettweiler [2015-05-12 13:13:46] 939*2^1398877-1 is not prime. Res64: 2487DF48DA7B3F59 Time : 0.0 sec. user=mdettweiler [2015-05-12 13:13:46] 967*2^1398877-1 is not prime. Res64: A4C927C71F2A3595 Time : 0.0 sec. user=mdettweiler [2015-05-12 13:22:56] 623*2^1398878-1 is not prime. Res64: A2754C3F65214F3D Time : 0.0 sec. user=mdettweiler [2015-05-12 13:22:56] 641*2^1398878-1 is not prime. Res64: 4E7A0EE9BC3290FF Time : 0.0 sec. user=mdettweiler [2015-05-12 13:31:20] 875*2^1398878-1 is not prime. Res64: 0876017F7A82FE58 Time : 0.0 sec. user=mdettweiler [2015-05-12 13:31:20] 923*2^1398878-1 is not prime. Res64: 2C3B31272E7E65BF Time : 0.0 sec. user=mdettweiler [2015-05-12 13:31:24] 935*2^1398878-1 is not prime. Res64: 320484E5723957B6 Time : 0.0 sec. user=mdettweiler [2015-05-12 13:31:24] 601*2^1398879-1 is not prime. Res64: 91D9C36A76545C26 Time : 0.0 sec. user=mdettweiler [2015-05-12 13:31:26] 797*2^1398878-1 is not prime. Res64: AC85F27273A13E59 Time : 0.0 sec. user=mdettweiler [2015-05-12 13:31:27] 857*2^1398878-1 is not prime. Res64: 13655B950D99A6E4 Time : 0.0 sec. user=mdettweiler [2015-05-12 13:40:52] 703*2^1398879-1 is not prime. Res64: F0A0A7AF514A4975 Time : 0.0 sec. user=mdettweiler [2015-05-12 13:40:52] 709*2^1398879-1 is not prime. Res64: AB49AB590ECEB9EF Time : 0.0 sec. user=mdettweiler [2015-05-12 13:49:12] 885*2^1398879-1 is not prime. Res64: 28B3AA318DC5E042 Time : 0.0 sec. user=mdettweiler [2015-05-12 13:49:12] 913*2^1398879-1 is not prime. Res64: A946F71FF51E6B8B Time : 0.0 sec. user=mdettweiler [2015-05-12 13:49:19] 969*2^1398879-1 is not prime. Res64: B20A9BE6B00FF203 Time : 0.0 sec. user=mdettweiler [2015-05-12 13:49:19] 975*2^1398879-1 is not prime. Res64: E4E6F18F2A0466A7 Time : 0.0 sec. user=mdettweiler [2015-05-12 13:49:23] 609*2^1398880-1 is not prime. Res64: 8C3F80DC4ACB9BB6 Time : 0.0 sec. user=mdettweiler [2015-05-12 13:49:24] 717*2^1398880-1 is not prime. Res64: EC3B181E18C07046 Time : 0.0 sec. user=mdettweiler [2015-05-12 13:58:57] 743*2^1398880-1 is not prime. Res64: 22AAAA94D4598A48 Time : 0.0 sec. user=mdettweiler [2015-05-12 13:58:57] 825*2^1398880-1 is not prime. Res64: 4BD6CF5E47EBA0C0 Time : 0.0 sec. user=mdettweiler [2015-05-12 14:07:09] 855*2^1398880-1 is not prime. Res64: 0B0F05DDCC0A3DB3 Time : 0.0 sec. user=mdettweiler [2015-05-12 14:07:10] 917*2^1398880-1 is not prime. Res64: C6BAD9BDE0D3BE80 Time : 0.0 sec. user=mdettweiler [2015-05-12 14:07:13] 989*2^1398880-1 is not prime. Res64: F7C3FB0A84534690 Time : 0.0 sec. user=mdettweiler [2015-05-12 14:07:14] 607*2^1398881-1 is not prime. Res64: B7E1A17C11EF4ADD Time : 0.0 sec. user=mdettweiler [2015-05-12 14:07:15] 933*2^1398880-1 is not prime. Res64: B6F45AF9B4CE5574 Time : 0.0 sec. user=mdettweiler [2015-05-12 14:07:17] 957*2^1398880-1 is not prime. Res64: 920E075C483628AC Time : 0.0 sec. user=mdettweiler [2015-05-12 14:16:56] 649*2^1398881-1 is not prime. Res64: 8DD065B647A3B9DE Time : 0.0 sec. user=mdettweiler [2015-05-12 14:16:57] 697*2^1398881-1 is not prime. Res64: 2AEA23797A83CE81 Time : 0.0 sec. user=mdettweiler [2015-05-12 14:25:39] 799*2^1398881-1 is not prime. Res64: 6D10A9CC542B2745 Time : 0.0 sec. user=mdettweiler [2015-05-12 14:25:39] 855*2^1398881-1 is not prime. Res64: 7601E0D7BCF5BF3F Time : 0.0 sec. user=mdettweiler [2015-05-12 14:25:43] 819*2^1398881-1 is not prime. Res64: 3FE53B9932E4A725 Time : 0.0 sec. user=mdettweiler [2015-05-12 14:25:43] 865*2^1398881-1 is not prime. Res64: A7EF063707438766 Time : 0.0 sec. user=mdettweiler [2015-05-12 14:25:45] 717*2^1398882-1 is not prime. Res64: 3692E0A9CF48CE64 Time : 0.0 sec. user=mdettweiler [2015-05-12 14:25:46] 723*2^1398882-1 is not prime. Res64: FBAB405D385C9BC0 Time : 0.0 sec. user=mdettweiler [2015-05-12 14:34:57] 737*2^1398882-1 is not prime. Res64: B283C1B4C75568F9 Time : 0.0 sec. user=mdettweiler [2015-05-12 14:34:57] 825*2^1398882-1 is not prime. Res64: 2ECBF13664B8DEBC Time : 0.0 sec. user=mdettweiler [2015-05-12 14:43:35] 633*2^1398883-1 is not prime. Res64: C693A94EB29070AA Time : 0.0 sec. user=mdettweiler [2015-05-12 14:43:35] 699*2^1398883-1 is not prime. Res64: A398803C33C41AC3 Time : 0.0 sec. user=mdettweiler [2015-05-12 14:43:39] 775*2^1398883-1 is not prime. Res64: C60BB7622303F726 Time : 0.0 sec. user=mdettweiler [2015-05-12 14:43:40] 829*2^1398883-1 is not prime. Res64: 282CBEC066BA3EE5 Time : 0.0 sec. user=mdettweiler [2015-05-12 14:43:40] 833*2^1398882-1 is not prime. Res64: 1757FDC4EB3BCA06 Time : 0.0 sec. user=mdettweiler [2015-05-12 14:43:40] 615*2^1398883-1 is not prime. Res64: ED798583C731F33C Time : 0.0 sec. user=mdettweiler [2015-05-12 14:52:47] 609*2^1398884-1 is not prime. Res64: 0A7681F1E68185D7 Time : 0.0 sec. user=mdettweiler [2015-05-12 14:52:48] 759*2^1398884-1 is not prime. Res64: 0E3D31B539B2B749 Time : 0.0 sec. user=mdettweiler [2015-05-12 15:01:30] 959*2^1398884-1 is not prime. Res64: BC5D13BB3A012AF4 Time : 0.0 sec. user=mdettweiler [2015-05-12 15:01:31] 987*2^1398884-1 is not prime. Res64: 9E0EC57D3745F3AC Time : 0.0 sec. user=mdettweiler [2015-05-12 15:01:34] 773*2^1398884-1 is not prime. Res64: D95299DA63E1EF2F Time : 0.0 sec. user=mdettweiler [2015-05-12 15:01:35] 837*2^1398884-1 is not prime. Res64: 31631FD85C459D39 Time : 0.0 sec. user=mdettweiler [2015-05-12 15:01:40] 843*2^1398884-1 is not prime. Res64: 889E544588CC57B7 Time : 0.0 sec. user=mdettweiler [2015-05-12 15:01:41] 885*2^1398884-1 is not prime. Res64: 6781E6DEAB7D3ADE Time : 0.0 sec. user=mdettweiler [2015-05-12 15:10:35] 995*2^1398884-1 is not prime. Res64: 855F2F405127C309 Time : 0.0 sec. user=mdettweiler [2015-05-12 15:10:36] 625*2^1398885-1 is not prime. Res64: D725D38D526B879A Time : 0.0 sec. user=mdettweiler [2015-05-12 15:19:29] 861*2^1398885-1 is not prime. Res64: 2C92E399520E3D68 Time : 0.0 sec. user=mdettweiler [2015-05-12 15:19:29] 877*2^1398885-1 is not prime. Res64: AFBEDFA439635C9F Time : 0.0 sec. user=mdettweiler [2015-05-12 15:19:31] 649*2^1398885-1 is not prime. Res64: 1328A296B93C4B67 Time : 0.0 sec. user=mdettweiler [2015-05-12 15:19:32] 651*2^1398885-1 is not prime. Res64: A68486C523309CD4 Time : 0.0 sec. user=mdettweiler [2015-05-12 15:19:32] 759*2^1398885-1 is not prime. Res64: 83909CEB6021677A Time : 0.0 sec. user=mdettweiler [2015-05-12 15:19:33] 817*2^1398885-1 is not prime. Res64: 61D689E0C4433610 Time : 0.0 sec. user=mdettweiler [2015-05-12 15:28:32] 647*2^1398886-1 is not prime. Res64: AEB57EE5AD0E1F20 Time : 0.0 sec. user=mdettweiler [2015-05-12 15:28:33] 671*2^1398886-1 is not prime. Res64: F7C5B51BC34DAB24 Time : 0.0 sec. user=mdettweiler [2015-05-12 15:37:10] 903*2^1398886-1 is not prime. Res64: F2A3FCE254E2B569 Time : 0.0 sec. user=mdettweiler [2015-05-12 15:37:10] 941*2^1398886-1 is not prime. Res64: 63DE1B0FEE9689D9 Time : 0.0 sec. user=mdettweiler [2015-05-12 15:37:12] 677*2^1398886-1 is not prime. Res64: A6CB78F654809F64 Time : 0.0 sec. user=mdettweiler [2015-05-12 15:37:12] 713*2^1398886-1 is not prime. Res64: BA001DE3CB6BC7ED Time : 0.0 sec. user=mdettweiler [2015-05-12 15:37:16] 971*2^1398886-1 is not prime. Res64: 40E720CBFF613848 Time : 0.0 sec. user=mdettweiler [2015-05-12 15:37:16] 609*2^1398887-1 is not prime. Res64: B7552F84862AC48E Time : 0.0 sec. user=mdettweiler [2015-05-12 15:46:08] 615*2^1398887-1 is not prime. Res64: B8464BBD7B6F0052 Time : 0.0 sec. user=mdettweiler [2015-05-12 15:46:08] 619*2^1398887-1 is not prime. Res64: 3C004AD4F77DDA5C Time : 0.0 sec. user=mdettweiler [2015-05-12 15:54:43] 823*2^1398887-1 is not prime. Res64: 5F51F93115FDEE3E Time : 0.0 sec. user=mdettweiler [2015-05-12 15:54:43] 825*2^1398887-1 is not prime. Res64: 4E8CAD1FA78EF84C Time : 0.0 sec. user=mdettweiler [2015-05-12 15:54:50] 703*2^1398887-1 is not prime. Res64: 482D539E39D3BBCE Time : 0.0 sec. user=mdettweiler [2015-05-12 15:54:51] 799*2^1398887-1 is not prime. Res64: D584C03CD2755126 Time : 0.0 sec. user=mdettweiler [2015-05-12 15:54:51] 605*2^1398888-1 is not prime. Res64: 3E14466F205187F7 Time : 0.0 sec. user=mdettweiler [2015-05-12 15:54:51] 707*2^1398888-1 is not prime. Res64: F87F7EB7FC00555E Time : 0.0 sec. user=mdettweiler [2015-05-12 16:03:39] 713*2^1398888-1 is not prime. Res64: E36669EBE2A560D9 Time : 0.0 sec. user=mdettweiler [2015-05-12 16:03:39] 725*2^1398888-1 is not prime. Res64: 5FCF6E06E8F3C953 Time : 0.0 sec. user=mdettweiler [2015-05-12 16:12:22] 765*2^1398888-1 is not prime. Res64: 62C7E3C9DD3B9C07 Time : 0.0 sec. user=mdettweiler [2015-05-12 16:12:23] 843*2^1398888-1 is not prime. Res64: 47040486A4E568E7 Time : 0.0 sec. user=mdettweiler [2015-05-12 16:12:30] 879*2^1398888-1 is not prime. Res64: 0A37E24FC8FB3056 Time : 0.0 sec. user=mdettweiler [2015-05-12 16:12:30] 909*2^1398888-1 is not prime. Res64: 29FDF97BC4802962 Time : 0.0 sec. user=mdettweiler [2015-05-12 16:12:35] 945*2^1398888-1 is not prime. Res64: 22D188CAB5F6C27A Time : 0.0 sec. user=mdettweiler [2015-05-12 16:12:36] 681*2^1398889-1 is not prime. Res64: 50AA109967D9DCC5 Time : 0.0 sec. user=mdettweiler [2015-05-12 16:21:39] 811*2^1398889-1 is not prime. Res64: F7BBDCB7FC9AC725 Time : 0.0 sec. user=mdettweiler [2015-05-12 16:21:39] 861*2^1398889-1 is not prime. Res64: D11973A626DBB811 Time : 0.0 sec. user=mdettweiler [2015-05-12 16:29:50] 939*2^1398889-1 is not prime. Res64: 927F3C692B10ADEE Time : 0.0 sec. user=mdettweiler [2015-05-12 16:29:50] 957*2^1398889-1 is not prime. Res64: 6A146F35EC92BBEF Time : 0.0 sec. user=mdettweiler [2015-05-12 16:30:05] 999*2^1398889-1 is not prime. Res64: ADF584E7F7932E14 Time : 0.0 sec. user=mdettweiler [2015-05-12 16:30:06] 635*2^1398890-1 is not prime. Res64: B03EB39E3F6707E6 Time : 0.0 sec. user=mdettweiler [2015-05-12 16:30:09] 701*2^1398890-1 is not prime. Res64: 11CE0FEDF732A56A Time : 0.0 sec. user=mdettweiler [2015-05-12 16:30:09] 711*2^1398890-1 is not prime. Res64: 1A5537B692D7DAD6 Time : 0.0 sec. user=mdettweiler [2015-05-12 16:39:13] 921*2^1398890-1 is not prime. Res64: F2674A2B0F3F346D Time : 0.0 sec. user=mdettweiler [2015-05-12 16:39:14] 995*2^1398890-1 is not prime. Res64: 7C93B70F1218B770 Time : 0.0 sec. user=mdettweiler [2015-05-12 16:47:23] 615*2^1398891-1 is not prime. Res64: 430B5CC0A35CDC34 Time : 0.0 sec. user=mdettweiler [2015-05-12 16:47:23] 621*2^1398891-1 is not prime. Res64: 844C4983F73E7E6C Time : 0.0 sec. user=mdettweiler [2015-05-12 16:47:34] 651*2^1398891-1 is not prime. Res64: EFABD95A0F5EFEB3 Time : 0.0 sec. user=mdettweiler [2015-05-12 16:47:34] 711*2^1398891-1 is not prime. Res64: CE58C5EEA7AB1248 Time : 0.0 sec. user=mdettweiler [2015-05-12 16:47:51] 723*2^1398891-1 is not prime. Res64: 6A019964F3EAB2DE Time : 0.0 sec. user=mdettweiler [2015-05-12 16:47:52] 805*2^1398891-1 is not prime. Res64: 7C3ABC694EAD528C Time : 0.0 sec. user=mdettweiler [2015-05-12 16:56:46] 879*2^1398891-1 is not prime. Res64: 2FF9C4F5E7BA7BF8 Time : 0.0 sec. user=mdettweiler [2015-05-12 16:56:47] 617*2^1398892-1 is not prime. Res64: 10D4FA33F3289C81 Time : 0.0 sec. user=mdettweiler [2015-05-12 17:04:53] 695*2^1398892-1 is not prime. Res64: 7F96A08CCD5F8DC3 Time : 0.0 sec. user=mdettweiler [2015-05-12 17:04:56] 723*2^1398892-1 is not prime. Res64: AC191D72130C8430 Time : 0.0 sec. user=mdettweiler [2015-05-12 17:05:08] 765*2^1398892-1 is not prime. Res64: DDD1A1BA9859E969 Time : 0.0 sec. user=mdettweiler [2015-05-12 17:05:10] 903*2^1398892-1 is not prime. Res64: EFBE485E0C8C080D Time : 0.0 sec. user=mdettweiler [2015-05-12 17:05:25] 619*2^1398893-1 is not prime. Res64: FA782E030B4948C5 Time : 0.0 sec. user=mdettweiler [2015-05-12 17:05:26] 721*2^1398893-1 is not prime. Res64: ECC93C90B88D2676 Time : 0.0 sec. user=mdettweiler [2015-05-12 17:14:20] 811*2^1398893-1 is not prime. Res64: D119BF960E6A5C38 Time : 0.0 sec. user=mdettweiler [2015-05-12 17:14:20] 879*2^1398893-1 is not prime. Res64: AD80F992F9501077 Time : 0.0 sec. user=mdettweiler [2015-05-12 17:22:52] 965*2^1398894-1 is not prime. Res64: F6041D7A196335E4 Time : 0.0 sec. user=mdettweiler [2015-05-12 17:22:53] 679*2^1398895-1 is not prime. Res64: A591137357FC06A6 Time : 0.0 sec. user=mdettweiler [2015-05-12 17:22:55] 681*2^1398894-1 is not prime. Res64: A7F29E260BE32F5D Time : 0.0 sec. user=mdettweiler [2015-05-12 17:22:55] 893*2^1398894-1 is not prime. Res64: 7DD5D48B258116FD Time : 0.0 sec. user=mdettweiler [2015-05-12 17:23:00] 735*2^1398895-1 is not prime. Res64: 1746B0B0A2C89660 Time : 0.0 sec. user=mdettweiler [2015-05-12 17:23:00] 915*2^1398895-1 is not prime. Res64: A60A66FA55047D54 Time : 0.0 sec. user=mdettweiler [2015-05-12 17:31:57] 603*2^1398896-1 is not prime. Res64: C55EA779A458F834 Time : 0.0 sec. user=mdettweiler [2015-05-12 17:31:57] 683*2^1398896-1 is not prime. Res64: 6B12922A55141E91 Time : 0.0 sec. user=mdettweiler [2015-05-12 17:40:27] 895*2^1398897-1 is not prime. Res64: 407803B1980EDAE0 Time : 0.0 sec. user=mdettweiler [2015-05-12 17:40:28] 945*2^1398897-1 is not prime. Res64: 2ACFA5521C8D8350 Time : 0.0 sec. user=mdettweiler [2015-05-12 17:40:29] 897*2^1398896-1 is not prime. Res64: 8A7ACC5FF11E7867 Time : 0.0 sec. user=mdettweiler [2015-05-12 17:40:29] 699*2^1398897-1 is not prime. Res64: A0B6C4411644A7B2 Time : 0.0 sec. user=mdettweiler [2015-05-12 17:40:37] 999*2^1398897-1 is not prime. Res64: 5D27018D4ACDDC21 Time : 0.0 sec. user=mdettweiler [2015-05-12 17:40:37] 671*2^1398898-1 is not prime. Res64: 69991910811F2E1B Time : 0.0 sec. user=mdettweiler [2015-05-12 17:49:32] 695*2^1398898-1 is not prime. Res64: B67708425185CC0B Time : 0.0 sec. user=mdettweiler [2015-05-12 17:49:32] 765*2^1398898-1 is not prime. Res64: E4ED12615A98CB62 Time : 0.0 sec. user=juhehe [2015-05-12 17:50:04] 867*2^1398896-1 is not prime. Res64: 7E3DD2D6BF8D6663 Time : 0.0 sec. user=mdettweiler [2015-05-12 17:58:00] 801*2^1398898-1 is not prime. Res64: 55E5A62AD242CD97 Time : 0.0 sec. user=mdettweiler [2015-05-12 17:58:00] 827*2^1398898-1 is not prime. Res64: 26E8945F84D31980 Time : 0.0 sec. user=mdettweiler [2015-05-12 17:58:15] 923*2^1398898-1 is not prime. Res64: 86C4298372B10718 Time : 0.0 sec. user=mdettweiler [2015-05-12 17:58:16] 1001*2^1398898-1 is not prime. Res64: 5EBCEA934FCEF558 Time : 0.0 sec. user=mdettweiler [2015-05-12 17:58:16] 631*2^1398899-1 is not prime. Res64: 296D4A63801600D2 Time : 0.0 sec. user=mdettweiler [2015-05-12 17:58:16] 669*2^1398899-1 is not prime. Res64: A9DEAD77C9E3BA3D Time : 0.0 sec. user=mdettweiler [2015-05-12 18:07:04] 693*2^1398899-1 is not prime. Res64: DF8353E9D66511C5 Time : 0.0 sec. user=mdettweiler [2015-05-12 18:07:05] 705*2^1398899-1 is not prime. Res64: 7D5491FF5E4F7E39 Time : 0.0 sec. user=mdettweiler [2015-05-12 18:15:32] 735*2^1398899-1 is not prime. Res64: 5033190CB46F483A Time : 0.0 sec. user=mdettweiler [2015-05-12 18:15:33] 909*2^1398899-1 is not prime. Res64: 279D72B29B726424 Time : 0.0 sec. user=mdettweiler [2015-05-12 18:15:49] 949*2^1398899-1 is not prime. Res64: 42C16CFDA5601BC8 Time : 0.0 sec. user=mdettweiler [2015-05-12 18:15:50] 979*2^1398899-1 is not prime. Res64: 7E2C0CEB7BA6C5DC Time : 0.0 sec. user=mdettweiler [2015-05-12 18:15:55] 719*2^1398900-1 is not prime. Res64: B8110D700B09FC47 Time : 0.0 sec. user=mdettweiler [2015-05-12 18:15:55] 735*2^1398900-1 is not prime. Res64: 5A1F2637D3BFA169 Time : 0.0 sec. user=mdettweiler [2015-05-12 18:24:55] 825*2^1398900-1 is not prime. Res64: CE5DEB9AE7C72BF6 Time : 0.0 sec. user=mdettweiler [2015-05-12 18:24:55] 879*2^1398900-1 is not prime. Res64: 3C131E73358B1248 Time : 0.0 sec. user=mdettweiler [2015-05-12 18:33:14] 929*2^1398900-1 is not prime. Res64: C5603B0772A6F65A Time : 0.0 sec. user=mdettweiler [2015-05-12 18:33:14] 619*2^1398901-1 is not prime. Res64: E7A5586691E9B7DE Time : 0.0 sec. user=mdettweiler [2015-05-12 18:33:18] 691*2^1398901-1 is not prime. Res64: CE71C7A6DA3BD74D Time : 0.0 sec. user=mdettweiler [2015-05-12 18:33:18] 741*2^1398901-1 is not prime. Res64: 51238FB3A71F6C6F Time : 0.0 sec. user=mdettweiler [2015-05-12 18:33:27] 771*2^1398901-1 is not prime. Res64: 616A896AA474AFBC Time : 0.0 sec. user=mdettweiler [2015-05-12 18:33:27] 775*2^1398901-1 is not prime. Res64: 2861F0C2A7B2344B Time : 0.0 sec. user=mdettweiler [2015-05-12 18:42:25] 789*2^1398901-1 is not prime. Res64: 538A80F33D0BB803 Time : 0.0 sec. user=mdettweiler [2015-05-12 18:42:25] 829*2^1398901-1 is not prime. Res64: 260447C3246990B7 Time : 0.0 sec. user=mdettweiler [2015-05-12 18:50:43] 927*2^1398901-1 is not prime. Res64: 8A6CC6DC1C9EC865 Time : 0.0 sec. user=mdettweiler [2015-05-12 18:50:43] 951*2^1398901-1 is not prime. Res64: D1367403D26ACCC4 Time : 0.0 sec. user=mdettweiler [2015-05-12 18:50:48] 961*2^1398901-1 is not prime. Res64: 3582443213C8B544 Time : 0.0 sec. user=mdettweiler [2015-05-12 18:50:48] 617*2^1398902-1 is not prime. Res64: 41108102CCC32FBA Time : 0.0 sec. user=mdettweiler [2015-05-12 18:51:00] 683*2^1398902-1 is not prime. Res64: E4F760E0260A6B88 Time : 0.0 sec. user=mdettweiler [2015-05-12 18:51:00] 785*2^1398902-1 is not prime. Res64: 3D062F074B9C8D97 Time : 0.0 sec. user=mdettweiler [2015-05-12 18:59:56] 843*2^1398902-1 is not prime. Res64: 4DF220BF574DBB6B Time : 0.0 sec. user=mdettweiler [2015-05-12 18:59:57] 957*2^1398902-1 is not prime. Res64: 33836F4BA7013ECA Time : 0.0 sec. user=mdettweiler [2015-05-12 19:08:22] 675*2^1398903-1 is not prime. Res64: 0169E10A1A95D607 Time : 0.0 sec. user=mdettweiler [2015-05-12 19:08:23] 933*2^1398903-1 is not prime. Res64: 821807E279004F1E Time : 0.0 sec. user=mdettweiler [2015-05-12 19:08:25] 643*2^1398903-1 is not prime. Res64: 9C5BD12AA9603A3D Time : 0.0 sec. user=mdettweiler [2015-05-12 19:08:26] 649*2^1398903-1 is not prime. Res64: 6123F2AE636C04B7 Time : 0.0 sec. user=mdettweiler [2015-05-12 19:08:38] 969*2^1398903-1 is not prime. Res64: 6C9B8C38FC82208E Time : 0.0 sec. user=mdettweiler [2015-05-12 19:08:39] 711*2^1398905-1 is not prime. Res64: 34D961DB2086CB44 Time : 0.0 sec. user=mdettweiler [2015-05-12 19:17:32] 789*2^1398905-1 is not prime. Res64: E635ECA7BFF6620F Time : 0.0 sec. user=mdettweiler [2015-05-12 19:17:32] 915*2^1398905-1 is not prime. Res64: 6E7FB331EA41FBE6 Time : 0.0 sec. user=mdettweiler [2015-05-12 19:25:56] 707*2^1398906-1 is not prime. Res64: D0A6D749267A0F7E Time : 0.0 sec. user=mdettweiler [2015-05-12 19:25:56] 717*2^1398906-1 is not prime. Res64: 2935032D222848D3 Time : 0.0 sec. user=mdettweiler [2015-05-12 19:26:00] 937*2^1398905-1 is not prime. Res64: 32E173B4905D8A02 Time : 0.0 sec. user=mdettweiler [2015-05-12 19:26:00] 955*2^1398905-1 is not prime. Res64: 2E124A654964C19C Time : 0.0 sec. user=mdettweiler [2015-05-12 19:26:15] 783*2^1398906-1 is not prime. Res64: C5150CF6E6F9E5CE Time : 0.0 sec. user=mdettweiler [2015-05-12 19:26:15] 983*2^1398906-1 is not prime. Res64: 5A78AAA26083376D Time : 0.0 sec. user=mdettweiler [2015-05-12 19:35:05] 1001*2^1398906-1 is not prime. Res64: E222ABBF9DACF7AC Time : 0.0 sec. user=mdettweiler [2015-05-12 19:35:05] 615*2^1398907-1 is not prime. Res64: 56BF3449EE4ECA68 Time : 0.0 sec. user=mdettweiler [2015-05-12 19:43:33] 663*2^1398907-1 is not prime. Res64: E400AE84D54AD9BE Time : 0.0 sec. user=mdettweiler [2015-05-12 19:43:33] 829*2^1398907-1 is not prime. Res64: 2EB3B2230BE67251 Time : 0.0 sec. user=mdettweiler [2015-05-12 19:43:44] 849*2^1398907-1 is not prime. Res64: 7798BFB1C9F378C3 Time : 0.0 sec. user=mdettweiler [2015-05-12 19:43:45] 945*2^1398907-1 is not prime. Res64: 02AD63941C240459 Time : 0.0 sec. user=mdettweiler [2015-05-12 19:43:53] 633*2^1398908-1 is not prime. Res64: BF7378EF9F919EE0 Time : 0.0 sec. user=mdettweiler [2015-05-12 19:43:53] 669*2^1398908-1 is not prime. Res64: 967F7A3CDFA9B16B Time : 0.0 sec. user=mdettweiler [2015-05-12 19:52:41] 789*2^1398908-1 is not prime. Res64: 66EB3B78404909BD Time : 0.0 sec. user=mdettweiler [2015-05-12 19:52:42] 885*2^1398908-1 is not prime. Res64: 42B74C782F45370A Time : 0.0 sec. user=mdettweiler [2015-05-12 20:01:09] 977*2^1398908-1 is not prime. Res64: A8EA8F85709ADCB9 Time : 0.0 sec. user=mdettweiler [2015-05-12 20:01:09] 835*2^1398909-1 is not prime. Res64: D5DF8827AEE58E66 Time : 0.0 sec. user=mdettweiler [2015-05-12 20:01:14] 895*2^1398909-1 is not prime. Res64: 667264AAC006202E Time : 0.0 sec. user=mdettweiler [2015-05-12 20:01:17] 907*2^1398909-1 is not prime. Res64: 92EEBE0F358BE2DD Time : 0.0 sec. user=mdettweiler [2015-05-12 20:01:24] 825*2^1398910-1 is not prime. Res64: E56D5FB3FE230446 Time : 0.0 sec. user=mdettweiler [2015-05-12 20:01:25] 891*2^1398910-1 is not prime. Res64: 4D865A3ABA6E7BE3 Time : 0.0 sec. user=mdettweiler [2015-05-12 20:10:11] 951*2^1398910-1 is not prime. Res64: 2D068713615AC34E Time : 0.0 sec. user=mdettweiler [2015-05-12 20:10:11] 1001*2^1398910-1 is not prime. Res64: 9ED834B201DC1F6F Time : 0.0 sec. user=mdettweiler [2015-05-12 20:18:44] 663*2^1398911-1 is not prime. Res64: 784D645A410A4518 Time : 0.0 sec. user=mdettweiler [2015-05-12 20:18:45] 759*2^1398911-1 is not prime. Res64: 41D0AD5FCAAE5D15 Time : 0.0 sec. user=mdettweiler [2015-05-12 20:18:52] 883*2^1398911-1 is not prime. Res64: 0F635166190A7FBC Time : 0.0 sec. user=mdettweiler [2015-05-12 20:18:52] 909*2^1398911-1 is not prime. Res64: 8CACC563D4A228BA Time : 0.0 sec. user=mdettweiler [2015-05-12 20:19:10] 993*2^1398911-1 is not prime. Res64: F31BFE5D3F770049 Time : 0.0 sec. user=mdettweiler [2015-05-12 20:19:10] 999*2^1398911-1 is not prime. Res64: 660D000C904E78BE Time : 0.0 sec. user=mdettweiler [2015-05-12 20:27:52] 699*2^1398912-1 is not prime. Res64: 6DCE1B8641F9F0AB Time : 0.0 sec. user=mdettweiler [2015-05-12 20:27:53] 719*2^1398912-1 is not prime. Res64: F9AB4FEC9721AC67 Time : 0.0 sec. user=mdettweiler [2015-05-12 20:36:28] 797*2^1398912-1 is not prime. Res64: 786B90B885C59486 Time : 0.0 sec. user=mdettweiler [2015-05-12 20:36:28] 893*2^1398912-1 is not prime. Res64: 265EE2ED80C1BFB7 Time : 0.0 sec. user=mdettweiler [2015-05-12 20:36:33] 745*2^1398913-1 is not prime. Res64: 8CD594DB47C88C7D Time : 0.0 sec. user=mdettweiler [2015-05-12 20:36:33] 831*2^1398913-1 is not prime. Res64: 5F27D8891B526027 Time : 0.0 sec. user=mdettweiler [2015-05-12 20:36:55] 885*2^1398913-1 is not prime. Res64: 5D58ADADA802D19F Time : 0.0 sec. user=mdettweiler [2015-05-12 20:36:55] 705*2^1398914-1 is not prime. Res64: B1A8F23929192E52 Time : 0.0 sec. user=mdettweiler [2015-05-12 20:45:46] 743*2^1398914-1 is not prime. Res64: F302303839EBB077 Time : 0.0 sec. user=mdettweiler [2015-05-12 20:45:47] 957*2^1398914-1 is not prime. Res64: E0BC5828DBDBAE30 Time : 0.0 sec. user=mdettweiler [2015-05-12 20:54:18] 981*2^1398914-1 is not prime. Res64: B66CF98B9B84EA0C Time : 0.0 sec. user=mdettweiler [2015-05-12 20:54:18] 625*2^1398915-1 is not prime. Res64: 326C257842B52D2C Time : 0.0 sec. user=mdettweiler [2015-05-12 20:54:40] 699*2^1398915-1 is not prime. Res64: CD86EAA7CA2D8341 Time : 0.0 sec. user=mdettweiler [2015-05-12 20:54:40] 795*2^1398915-1 is not prime. Res64: D0A50D0A14B757CB Time : 0.0 sec. user=mdettweiler [2015-05-12 20:55:01] 801*2^1398915-1 is not prime. Res64: D84D28FD3EA77DD0 Time : 0.0 sec. user=mdettweiler [2015-05-12 20:55:01] 913*2^1398915-1 is not prime. Res64: 1209EB71F44DD2F7 Time : 0.0 sec. user=mdettweiler [2015-05-12 21:03:27] 943*2^1398915-1 is not prime. Res64: D4D2A78677F295AB Time : 0.0 sec. user=mdettweiler [2015-05-12 21:03:29] 963*2^1398915-1 is not prime. Res64: 5F267CAF7E33A572 Time : 0.0 sec. user=mdettweiler [2015-05-12 21:12:04] 973*2^1398915-1 is not prime. Res64: B9410959C60F484D Time : 0.0 sec. user=mdettweiler [2015-05-12 21:12:05] 653*2^1398916-1 is not prime. Res64: 1BAD848FAA9E1844 Time : 0.0 sec. user=mdettweiler [2015-05-12 21:12:32] 689*2^1398916-1 is not prime. Res64: 0585EA19226165A8 Time : 0.0 sec. user=mdettweiler [2015-05-12 21:12:33] 717*2^1398916-1 is not prime. Res64: 9341BC1255B79B29 Time : 0.0 sec. user=mdettweiler [2015-05-12 21:12:58] 759*2^1398916-1 is not prime. Res64: DD83CAAB46C479F6 Time : 0.0 sec. user=mdettweiler [2015-05-12 21:12:59] 669*2^1398917-1 is not prime. Res64: 84155552AEDE3DAD Time : 0.0 sec. user=mdettweiler [2015-05-12 21:21:24] 781*2^1398917-1 is not prime. Res64: 163524D9ACEA36AF Time : 0.0 sec. user=mdettweiler [2015-05-12 21:21:24] 795*2^1398917-1 is not prime. Res64: D187F086660F8572 Time : 0.0 sec. user=mdettweiler [2015-05-12 21:29:49] 949*2^1398917-1 is not prime. Res64: D6269016C0055E65 Time : 0.0 sec. user=mdettweiler [2015-05-12 21:29:49] 627*2^1398918-1 is not prime. Res64: 9D5C48AD0AB701C9 Time : 0.0 sec. user=mdettweiler [2015-05-12 21:30:26] 695*2^1398918-1 is not prime. Res64: 1D15CE8D654C1E6A Time : 0.0 sec. user=mdettweiler [2015-05-12 21:30:26] 707*2^1398918-1 is not prime. Res64: FE3B2AFB75B3B864 Time : 0.0 sec. user=mdettweiler [2015-05-12 21:31:01] 713*2^1398918-1 is not prime. Res64: 9A43CC2977633AE5 Time : 0.0 sec. user=mdettweiler [2015-05-12 21:31:01] 875*2^1398918-1 is not prime. Res64: BE5650F4CE675154 Time : 0.0 sec. user=mdettweiler [2015-05-12 21:39:03] 893*2^1398918-1 is not prime. Res64: 3719066C6DCBE700 Time : 0.0 sec. user=mdettweiler [2015-05-12 21:39:04] 945*2^1398918-1 is not prime. Res64: 65518222A28F4CAE Time : 0.0 sec. user=mdettweiler [2015-05-12 21:47:31] 977*2^1398918-1 is not prime. Res64: 531BA80DBBE23A01 Time : 0.0 sec. user=mdettweiler [2015-05-12 21:47:31] 993*2^1398918-1 is not prime. Res64: C4E8785E5C956923 Time : 0.0 sec. user=mdettweiler [2015-05-12 21:48:16] 603*2^1398919-1 is not prime. Res64: 1E034F7CF0DDF644 Time : 0.0 sec. user=mdettweiler [2015-05-12 21:48:16] 675*2^1398919-1 is not prime. Res64: BA1DD3BE6FD3991A Time : 0.0 sec. user=mdettweiler [2015-05-12 21:48:47] 771*2^1398919-1 is not prime. Res64: F57296347D286694 Time : 0.0 sec. user=mdettweiler [2015-05-12 21:48:47] 853*2^1398919-1 is not prime. Res64: BDE8BC8ABA269F6E Time : 0.0 sec. user=mdettweiler [2015-05-12 21:57:07] 993*2^1398919-1 is not prime. Res64: C4B56CA0896F37C9 Time : 0.0 sec. user=mdettweiler [2015-05-12 21:57:07] 603*2^1398920-1 is not prime. Res64: 58155798CA4AB986 Time : 0.0 sec. user=mdettweiler [2015-05-12 22:05:44] 687*2^1398920-1 is not prime. Res64: 1AD3EC43F43AF2EF Time : 0.0 sec. user=mdettweiler [2015-05-12 22:05:45] 773*2^1398920-1 is not prime. Res64: 26C475584D7F5C1F Time : 0.0 sec. user=mdettweiler [2015-05-12 22:06:28] 777*2^1398920-1 is not prime. Res64: A37E8F3782636AA5 Time : 0.0 sec. user=mdettweiler [2015-05-12 22:06:29] 803*2^1398920-1 is not prime. Res64: 155EE98D905BF68A Time : 0.0 sec. user=mdettweiler [2015-05-12 22:07:46] 839*2^1398920-1 is not prime. Res64: 2FA48298CA3C9CAA Time : 0.0 sec. user=mdettweiler [2015-05-12 22:07:47] 875*2^1398920-1 is not prime. Res64: 9E324BCF22FC365E Time : 0.0 sec. user=mdettweiler [2015-05-12 22:15:43] 879*2^1398920-1 is not prime. Res64: C2943949F58B149F Time : 0.0 sec. user=mdettweiler [2015-05-12 22:15:43] 899*2^1398920-1 is not prime. Res64: EA44CE6A5F8064E5 Time : 0.0 sec. user=mdettweiler [2015-05-12 22:24:06] 923*2^1398920-1 is not prime. Res64: 245A177D4DCF0D8C Time : 0.0 sec. user=mdettweiler [2015-05-12 22:24:06] 927*2^1398920-1 is not prime. Res64: 87B5927A5DCBDBB3 Time : 0.0 sec. user=mdettweiler [2015-05-12 22:25:12] 957*2^1398920-1 is not prime. Res64: 4E522F3EC4A09C8C Time : 0.0 sec. user=mdettweiler [2015-05-12 22:25:12] 661*2^1398921-1 is not prime. Res64: 76AF8673B4A1CB13 Time : 0.0 sec. user=mdettweiler [2015-05-12 22:26:26] 717*2^1398921-1 is not prime. Res64: 2CD471C0447062FA Time : 0.0 sec. user=mdettweiler [2015-05-12 22:26:26] 739*2^1398921-1 is not prime. Res64: 2651CA1E9D9BF6E4 Time : 0.0 sec. user=mdettweiler [2015-05-12 22:34:23] 745*2^1398921-1 is not prime. Res64: EB95436A2D9EE73F Time : 0.0 sec. user=mdettweiler [2015-05-12 22:34:23] 795*2^1398921-1 is not prime. Res64: 941CBEA137B3C76C Time : 0.0 sec. user=mdettweiler [2015-05-12 22:42:37] 909*2^1398921-1 is not prime. Res64: 0B081F8B5A900D5F Time : 0.0 sec. user=mdettweiler [2015-05-12 22:42:37] 979*2^1398921-1 is not prime. Res64: 989E87911A16CB4E Time : 0.0 sec. user=mdettweiler [2015-05-12 22:43:46] 997*2^1398921-1 is not prime. Res64: DAEC2C4131C7EDDE Time : 0.0 sec. user=mdettweiler [2015-05-12 22:43:46] 741*2^1398922-1 is not prime. Res64: 580D7B3F4B1AEC16 Time : 0.0 sec. user=mdettweiler [2015-05-12 22:45:09] 777*2^1398922-1 is not prime. Res64: 72A77885EEE9D76D Time : 0.0 sec. user=mdettweiler [2015-05-12 22:45:09] 831*2^1398922-1 is not prime. Res64: 4913FFD9DF14B04B Time : 0.0 sec. user=mdettweiler [2015-05-12 22:52:29] 885*2^1398922-1 is not prime. Res64: 4D6785426F729D70 Time : 0.0 sec. user=mdettweiler [2015-05-12 22:52:29] 891*2^1398922-1 is not prime. Res64: 1E02A8EF8D6D6703 Time : 0.0 sec. user=mdettweiler [2015-05-12 23:01:23] 923*2^1398922-1 is not prime. Res64: 4ED0AA04806B66CA Time : 0.0 sec. user=mdettweiler [2015-05-12 23:01:24] 945*2^1398922-1 is not prime. Res64: AF64D6D34AD37AF6 Time : 0.0 sec. user=mdettweiler [2015-05-12 23:02:45] 609*2^1398923-1 is not prime. Res64: DBC6D591B674B529 Time : 0.0 sec. user=mdettweiler [2015-05-12 23:02:46] 735*2^1398923-1 is not prime. Res64: CB0F7AD774FC9ED9 Time : 0.0 sec. user=mdettweiler [2015-05-12 23:03:40] 745*2^1398923-1 is not prime. Res64: D9E67470A1727648 Time : 0.0 sec. user=mdettweiler [2015-05-12 23:03:42] 859*2^1398923-1 is not prime. Res64: 0F6686BEB36A1797 Time : 0.0 sec. user=mdettweiler [2015-05-12 23:10:56] 871*2^1398923-1 is not prime. Res64: 1BB9192EEC07DEC7 Time : 0.0 sec. user=mdettweiler [2015-05-12 23:10:56] 915*2^1398923-1 is not prime. Res64: 94D4DD8E67D85920 Time : 0.0 sec. user=mdettweiler [2015-05-12 23:20:22] 921*2^1398923-1 is not prime. Res64: 542925E9D355948D Time : 0.0 sec. user=mdettweiler [2015-05-12 23:20:23] 981*2^1398923-1 is not prime. Res64: 8B813F4FCA753242 Time : 0.0 sec. user=mdettweiler [2015-05-12 23:22:01] 663*2^1398924-1 is not prime. Res64: A813D5F472FE7639 Time : 0.0 sec. user=mdettweiler [2015-05-12 23:22:02] 753*2^1398924-1 is not prime. Res64: 8B59F51C5F7B99B9 Time : 0.0 sec. user=mdettweiler [2015-05-12 23:22:08] 765*2^1398924-1 is not prime. Res64: DD3F25D07C4571A7 Time : 0.0 sec. user=mdettweiler [2015-05-12 23:22:08] 843*2^1398924-1 is not prime. Res64: 0888DE0D64B69725 Time : 0.0 sec. user=mdettweiler [2015-05-12 23:29:21] 969*2^1398924-1 is not prime. Res64: D4F2239693FCA9A6 Time : 0.0 sec. user=mdettweiler [2015-05-12 23:29:22] 601*2^1398925-1 is not prime. Res64: 07D88F87E72EDB99 Time : 0.0 sec. user=mdettweiler [2015-05-12 23:39:19] 717*2^1398925-1 is not prime. Res64: 2E56167CA4F85ECB Time : 0.0 sec. user=mdettweiler [2015-05-12 23:39:20] 811*2^1398925-1 is not prime. Res64: 05E3B716D2840E72 Time : 0.0 sec. user=mdettweiler [2015-05-12 23:40:31] 877*2^1398925-1 is not prime. Res64: 03D3B121C263C43E Time : 0.0 sec. user=mdettweiler [2015-05-12 23:40:31] 915*2^1398925-1 is not prime. Res64: 696949D86CD10E84 Time : 0.0 sec. user=mdettweiler [2015-05-12 23:41:09] 817*2^1398925-1 is not prime. Res64: D0D7A3F46000490F Time : 0.0 sec. user=mdettweiler [2015-05-12 23:41:10] 819*2^1398925-1 is not prime. Res64: 03B99F6B1EEBE25B Time : 0.0 sec. user=mdettweiler [2015-05-12 23:49:02] 951*2^1398925-1 is not prime. Res64: F29DF1B1C652026F Time : 0.0 sec. user=mdettweiler [2015-05-12 23:49:02] 999*2^1398925-1 is not prime. Res64: A5C955F4F6672259 Time : 0.0 sec. user=mdettweiler [2015-05-12 23:58:37] 743*2^1398926-1 is not prime. Res64: 7224953FDC394F47 Time : 0.0 sec. user=mdettweiler [2015-05-12 23:58:37] 873*2^1398926-1 is not prime. Res64: 80D678D39317E4B0 Time : 0.0 sec. user=mdettweiler [2015-05-13 00:00:02] 691*2^1398927-1 is not prime. Res64: 3C15ACEF07F03A27 Time : 0.0 sec. user=mdettweiler [2015-05-13 00:00:02] 859*2^1398927-1 is not prime. Res64: 290C3EFE710F49FF Time : 0.0 sec. user=mdettweiler [2015-05-13 00:00:16] 885*2^1398927-1 is not prime. Res64: 5D3CADBC87A3ED39 Time : 0.0 sec. user=mdettweiler [2015-05-13 00:00:16] 979*2^1398927-1 is not prime. Res64: 6E9AADD3D4A9798A Time : 0.0 sec.