user=mdettweiler [2015-02-02 00:08:58] 741*2^1390131-1 is not prime. Res64: D99F9F99DA80D69C Time : 0.0 sec. user=mdettweiler [2015-02-02 00:08:59] 751*2^1390131-1 is not prime. Res64: 938F29F73562C3B0 Time : 0.0 sec. user=mdettweiler [2015-02-02 00:09:47] 879*2^1390131-1 is not prime. Res64: AA622458310DCA4A Time : 0.0 sec. user=mdettweiler [2015-02-02 00:09:47] 777*2^1390132-1 is not prime. Res64: CFC060573E2B3A1B Time : 0.0 sec. user=mdettweiler [2015-02-02 00:13:39] 987*2^1390132-1 is not prime. Res64: EE95D6619A41B6DA Time : 0.0 sec. user=mdettweiler [2015-02-02 00:13:40] 989*2^1390132-1 is not prime. Res64: F9F98DE2890A8858 Time : 0.0 sec. user=mdettweiler [2015-02-02 00:16:14] 729*2^1390133-1 is not prime. Res64: 4CAB0F43C23649AD Time : 0.0 sec. user=mdettweiler [2015-02-02 00:16:14] 771*2^1390133-1 is not prime. Res64: 5A8451706EAC2FF8 Time : 0.0 sec. user=mdettweiler [2015-02-02 00:35:07] 795*2^1390133-1 is not prime. Res64: B60C6B21C1541425 Time : 0.0 sec. user=mdettweiler [2015-02-02 00:35:07] 811*2^1390133-1 is not prime. Res64: AC9B0AD13757FD66 Time : 0.0 sec. user=mdettweiler [2015-02-02 00:35:51] 897*2^1390133-1 is not prime. Res64: F894E8ECDA779B56 Time : 0.0 sec. user=mdettweiler [2015-02-02 00:35:51] 937*2^1390133-1 is not prime. Res64: ED6BBF528D67E6A8 Time : 0.0 sec. user=mdettweiler [2015-02-02 00:39:40] 657*2^1390134-1 is not prime. Res64: B54984300E6CDAB9 Time : 0.0 sec. user=mdettweiler [2015-02-02 00:39:40] 677*2^1390134-1 is not prime. Res64: 1636CDE85C0A3023 Time : 0.0 sec. user=mdettweiler [2015-02-02 00:42:26] 711*2^1390134-1 is not prime. Res64: 32FDE4E8280447FA Time : 0.0 sec. user=mdettweiler [2015-02-02 00:42:26] 807*2^1390134-1 is not prime. Res64: B2F23B2190074F4D Time : 0.0 sec. user=mdettweiler [2015-02-02 01:01:04] 609*2^1390135-1 is not prime. Res64: ED1C8DBBEFE84726 Time : 0.0 sec. user=mdettweiler [2015-02-02 01:01:05] 649*2^1390135-1 is not prime. Res64: 361934928BA103D2 Time : 0.0 sec. user=mdettweiler [2015-02-02 01:01:59] 843*2^1390135-1 is not prime. Res64: 4598A3097E3B3EDE Time : 0.0 sec. user=mdettweiler [2015-02-02 01:01:59] 885*2^1390135-1 is not prime. Res64: CBD560E42338BB97 Time : 0.0 sec. user=mdettweiler [2015-02-02 01:05:36] 979*2^1390135-1 is not prime. Res64: 8F3D58B7153D623A Time : 0.0 sec. user=mdettweiler [2015-02-02 01:05:37] 615*2^1390136-1 is not prime. Res64: 50B0E58C8AB275A9 Time : 0.0 sec. user=mdettweiler [2015-02-02 01:08:32] 657*2^1390136-1 is not prime. Res64: 66118E4F4217F89B Time : 0.0 sec. user=mdettweiler [2015-02-02 01:08:33] 677*2^1390136-1 is not prime. Res64: 3453B1DFD5B2859C Time : 0.0 sec. user=mdettweiler [2015-02-02 01:27:22] 717*2^1390136-1 is not prime. Res64: 7B92008B1DB2E322 Time : 0.0 sec. user=mdettweiler [2015-02-02 01:27:23] 743*2^1390136-1 is not prime. Res64: 7D38EF15235FDC1E Time : 0.0 sec. user=mdettweiler [2015-02-02 01:27:53] 803*2^1390136-1 is not prime. Res64: E5B6C61193487577 Time : 0.0 sec. user=mdettweiler [2015-02-02 01:27:54] 839*2^1390136-1 is not prime. Res64: 9A39B15C989DAD7F Time : 0.0 sec. user=mdettweiler [2015-02-02 01:31:31] 857*2^1390136-1 is not prime. Res64: 0E0456511A362AFD Time : 0.0 sec. user=mdettweiler [2015-02-02 01:31:32] 627*2^1390137-1 is not prime. Res64: BFD9EE5328C4BBE8 Time : 0.0 sec. user=mdettweiler [2015-02-02 01:34:32] 667*2^1390137-1 is not prime. Res64: D5D8814A94853273 Time : 0.0 sec. user=mdettweiler [2015-02-02 01:34:32] 669*2^1390137-1 is not prime. Res64: B337192E91352100 Time : 0.0 sec. user=mdettweiler [2015-02-02 01:53:43] 685*2^1390137-1 is not prime. Res64: 7CD1641493AC67B8 Time : 0.0 sec. user=mdettweiler [2015-02-02 01:53:43] 691*2^1390137-1 is not prime. Res64: 9633DA83AAB49D8C Time : 0.0 sec. user=mdettweiler [2015-02-02 01:53:48] 807*2^1390137-1 is not prime. Res64: EEE561B7BE76F030 Time : 0.0 sec. user=mdettweiler [2015-02-02 01:53:49] 819*2^1390137-1 is not prime. Res64: C4D69BB0A5EEB230 Time : 0.0 sec. user=mdettweiler [2015-02-02 01:57:37] 847*2^1390137-1 is not prime. Res64: D013C7A2C955FC8F Time : 0.0 sec. user=mdettweiler [2015-02-02 01:57:37] 861*2^1390137-1 is not prime. Res64: 412A051BF4EBD8ED Time : 0.0 sec. user=mdettweiler [2015-02-02 02:00:29] 885*2^1390137-1 is not prime. Res64: 4B4C338026937D7C Time : 0.0 sec. user=mdettweiler [2015-02-02 02:00:30] 915*2^1390137-1 is not prime. Res64: 66C8E11DE8093696 Time : 0.0 sec. user=mdettweiler [2015-02-02 02:19:44] 923*2^1390138-1 is not prime. Res64: 3A0B0B15DA03A36C Time : 0.0 sec. user=mdettweiler [2015-02-02 02:19:45] 933*2^1390138-1 is not prime. Res64: EA3ECF7BCAD41CCD Time : 0.0 sec. user=mdettweiler [2015-02-02 02:19:50] 755*2^1390138-1 is not prime. Res64: 0E686EAB79091D89 Time : 0.0 sec. user=mdettweiler [2015-02-02 02:19:50] 803*2^1390138-1 is not prime. Res64: 555D8CAD64DFBBB8 Time : 0.0 sec. user=mdettweiler [2015-02-02 02:23:33] 951*2^1390138-1 is not prime. Res64: 036F3CD04812BD73 Time : 0.0 sec. user=mdettweiler [2015-02-02 02:23:34] 655*2^1390139-1 is not prime. Res64: 80C7D947ADD17AED Time : 0.0 sec. user=mdettweiler [2015-02-02 02:26:30] 703*2^1390139-1 is not prime. Res64: 27AB9683DEC1E084 Time : 0.0 sec. user=mdettweiler [2015-02-02 02:26:31] 745*2^1390139-1 is not prime. Res64: A4DED0D8567FDD19 Time : 0.0 sec. user=mdettweiler [2015-02-02 02:45:40] 759*2^1390139-1 is not prime. Res64: B893FC8F314170DE Time : 0.0 sec. user=mdettweiler [2015-02-02 02:45:40] 771*2^1390139-1 is not prime. Res64: DE493AA329A5F1DB Time : 0.0 sec. user=mdettweiler [2015-02-02 02:45:59] 801*2^1390139-1 is not prime. Res64: 83135909DD35916C Time : 0.0 sec. user=mdettweiler [2015-02-02 02:46:00] 843*2^1390139-1 is not prime. Res64: B2CBCEE1271F35A2 Time : 0.0 sec. user=mdettweiler [2015-02-02 02:49:34] 949*2^1390139-1 is not prime. Res64: C02C2817772BDA51 Time : 0.0 sec. user=mdettweiler [2015-02-02 02:49:35] 867*2^1390140-1 is not prime. Res64: 54AEBF057F8B3EC1 Time : 0.0 sec. user=mdettweiler [2015-02-02 02:52:38] 959*2^1390140-1 is not prime. Res64: 2FEF67F3C28326D9 Time : 0.0 sec. user=mdettweiler [2015-02-02 02:52:39] 741*2^1390141-1 is not prime. Res64: AF2EA8C2F940168A Time : 0.0 sec. user=mdettweiler [2015-02-02 03:12:21] 829*2^1390141-1 is not prime. Res64: 6190F7C2165BE396 Time : 0.0 sec. user=mdettweiler [2015-02-02 03:12:21] 967*2^1390141-1 is not prime. Res64: 5119F37C05FFE4C6 Time : 0.0 sec. user=mdettweiler [2015-02-02 03:12:27] 603*2^1390142-1 is not prime. Res64: A5881C26CBBB5638 Time : 0.0 sec. user=mdettweiler [2015-02-02 03:12:28] 677*2^1390142-1 is not prime. Res64: 84F0E8A12886E6C8 Time : 0.0 sec. user=mdettweiler [2015-02-02 03:16:40] 761*2^1390142-1 is not prime. Res64: 89FC808B1707CDE9 Time : 0.0 sec. user=mdettweiler [2015-02-02 03:16:41] 813*2^1390142-1 is not prime. Res64: F07CC1446CB7BB31 Time : 0.0 sec. user=mdettweiler [2015-02-02 03:19:48] 815*2^1390142-1 is not prime. Res64: D78D02B6719DB89D Time : 0.0 sec. user=mdettweiler [2015-02-02 03:19:49] 831*2^1390142-1 is not prime. Res64: 5FDD96DD8FC3EC72 Time : 0.0 sec. user=mdettweiler [2015-02-02 03:38:30] 843*2^1390142-1 is not prime. Res64: 4A1CCF799282C9FC Time : 0.0 sec. user=mdettweiler [2015-02-02 03:38:31] 875*2^1390142-1 is not prime. Res64: 2F0360EFD608E476 Time : 0.0 sec. user=mdettweiler [2015-02-02 03:38:33] 935*2^1390142-1 is not prime. Res64: A4B11934B496CD76 Time : 0.0 sec. user=mdettweiler [2015-02-02 03:38:35] 705*2^1390143-1 is not prime. Res64: 0BD85363EC773D96 Time : 0.0 sec. user=mdettweiler [2015-02-02 03:42:41] 805*2^1390143-1 is not prime. Res64: D8F40BCE26A2F21A Time : 0.0 sec. user=mdettweiler [2015-02-02 03:42:43] 873*2^1390143-1 is not prime. Res64: FC4671414A9D63C8 Time : 0.0 sec. user=mdettweiler [2015-02-02 03:45:43] 933*2^1390143-1 is not prime. Res64: 4C94F659393F3D8A Time : 0.0 sec. user=mdettweiler [2015-02-02 03:45:44] 951*2^1390143-1 is not prime. Res64: 3A1044C0347A36E1 Time : 0.0 sec. user=mdettweiler [2015-02-02 04:05:02] 623*2^1390144-1 is not prime. Res64: DD0A5FD743F497A4 Time : 0.0 sec. user=mdettweiler [2015-02-02 04:05:04] 657*2^1390144-1 is not prime. Res64: B4BAD4067CE99A57 Time : 0.0 sec. user=mdettweiler [2015-02-02 04:05:06] 985*2^1390143-1 is not prime. Res64: 939E1CBB3802DA5D Time : 0.0 sec. user=mdettweiler [2015-02-02 04:05:08] 605*2^1390144-1 is not prime. Res64: 84131DD145C2E7F8 Time : 0.0 sec. user=mdettweiler [2015-02-02 04:08:47] 677*2^1390144-1 is not prime. Res64: CB2B1AF62BBB40FA Time : 0.0 sec. user=mdettweiler [2015-02-02 04:08:47] 719*2^1390144-1 is not prime. Res64: D081ABBA07020A7D Time : 0.0 sec. user=mdettweiler [2015-02-02 04:11:41] 855*2^1390144-1 is not prime. Res64: A93CA6A33BE1894C Time : 0.0 sec. user=mdettweiler [2015-02-02 04:11:42] 887*2^1390144-1 is not prime. Res64: F29EF2007DB932E6 Time : 0.0 sec. user=mdettweiler [2015-02-02 04:31:32] 909*2^1390144-1 is not prime. Res64: CC30A60AC8819289 Time : 0.0 sec. user=mdettweiler [2015-02-02 04:31:32] 601*2^1390145-1 is not prime. Res64: 4A48D51BD7757702 Time : 0.0 sec. user=mdettweiler [2015-02-02 04:31:35] 955*2^1390145-1 is not prime. Res64: CDE6213091155604 Time : 0.0 sec. user=mdettweiler [2015-02-02 04:31:36] 979*2^1390145-1 is not prime. Res64: 18955E67A8A6B04C Time : 0.0 sec. user=mdettweiler [2015-02-02 04:34:48] 815*2^1390146-1 is not prime. Res64: 5B1919C14CD13F86 Time : 0.0 sec. user=mdettweiler [2015-02-02 04:34:48] 833*2^1390146-1 is not prime. Res64: C6C30112CDEE251F Time : 0.0 sec. user=mdettweiler [2015-02-02 04:37:45] 941*2^1390146-1 is not prime. Res64: CA4156CF1DE3F305 Time : 0.0 sec. user=mdettweiler [2015-02-02 04:37:45] 963*2^1390146-1 is not prime. Res64: F31EF1759D66E3EC Time : 0.0 sec. user=mdettweiler [2015-02-02 04:57:33] 621*2^1390147-1 is not prime. Res64: 5722109E7AEC7651 Time : 0.0 sec. user=mdettweiler [2015-02-02 04:57:34] 633*2^1390147-1 is not prime. Res64: 6BDF65E5BC6F7C5F Time : 0.0 sec. user=mdettweiler [2015-02-02 04:57:35] 971*2^1390146-1 is not prime. Res64: 8CF1A7826F168080 Time : 0.0 sec. user=mdettweiler [2015-02-02 04:57:35] 615*2^1390147-1 is not prime. Res64: E834FF7AA9C51B91 Time : 0.0 sec. user=mdettweiler [2015-02-02 05:00:51] 819*2^1390147-1 is not prime. Res64: ED9A7D332B0D58D7 Time : 0.0 sec. user=mdettweiler [2015-02-02 05:00:52] 931*2^1390147-1 is not prime. Res64: 114A3241A23CC44A Time : 0.0 sec. user=mdettweiler [2015-02-02 05:03:51] 773*2^1390148-1 is not prime. Res64: 3596AB3C3D4498A6 Time : 0.0 sec. user=mdettweiler [2015-02-02 05:03:52] 885*2^1390148-1 is not prime. Res64: A87EF006F31EC67C Time : 0.0 sec. user=mdettweiler [2015-02-02 05:23:31] 987*2^1390148-1 is not prime. Res64: F0C4DB129D41CC12 Time : 0.0 sec. user=mdettweiler [2015-02-02 05:23:31] 675*2^1390149-1 is not prime. Res64: 258B396BDA8E29E5 Time : 0.0 sec. user=mdettweiler [2015-02-02 05:23:41] 963*2^1390148-1 is not prime. Res64: 71CB1FBEEE3866BB Time : 0.0 sec. user=mdettweiler [2015-02-02 05:23:41] 969*2^1390148-1 is not prime. Res64: 5323AAD4D045AEF5 Time : 0.0 sec. user=mdettweiler [2015-02-02 05:26:53] 769*2^1390149-1 is not prime. Res64: B0114B2D18160F74 Time : 0.0 sec. user=mdettweiler [2015-02-02 05:26:53] 927*2^1390149-1 is not prime. Res64: 70BB6DC86D744CF4 Time : 0.0 sec. user=mdettweiler [2015-02-02 05:29:57] 951*2^1390149-1 is not prime. Res64: 7D6A8A1E6F26002C Time : 0.0 sec. user=mdettweiler [2015-02-02 05:29:57] 955*2^1390149-1 is not prime. Res64: E5B646954AE672EF Time : 0.0 sec. user=mdettweiler [2015-02-02 05:49:28] 961*2^1390149-1 is not prime. Res64: CDCAF79EEE91D82B Time : 0.0 sec. user=mdettweiler [2015-02-02 05:49:28] 603*2^1390150-1 is not prime. Res64: 290B6B5D887D1CFB Time : 0.0 sec. user=mdettweiler [2015-02-02 05:49:39] 653*2^1390150-1 is not prime. Res64: 778F99A4C7D3FB43 Time : 0.0 sec. user=mdettweiler [2015-02-02 05:49:40] 741*2^1390150-1 is not prime. Res64: 2AEC8D090414BEB5 Time : 0.0 sec. user=mdettweiler [2015-02-02 05:52:51] 755*2^1390150-1 is not prime. Res64: BFFB20D217AD53D7 Time : 0.0 sec. user=mdettweiler [2015-02-02 05:52:52] 821*2^1390150-1 is not prime. Res64: 520643B172A01CFE Time : 0.0 sec. user=mdettweiler [2015-02-02 05:56:01] 857*2^1390150-1 is not prime. Res64: ABA768FC985089E4 Time : 0.0 sec. user=mdettweiler [2015-02-02 05:56:01] 917*2^1390150-1 is not prime. Res64: 1946E4F52E9403C7 Time : 0.0 sec. user=mdettweiler [2015-02-02 06:15:30] 945*2^1390150-1 is not prime. Res64: 66167B782F5ECC21 Time : 0.0 sec. user=mdettweiler [2015-02-02 06:15:31] 951*2^1390150-1 is not prime. Res64: D7BDC0F1412D6B63 Time : 0.0 sec. user=mdettweiler [2015-02-02 06:15:41] 685*2^1390151-1 is not prime. Res64: 0CED5F0EA9C235AD Time : 0.0 sec. user=mdettweiler [2015-02-02 06:15:41] 741*2^1390151-1 is not prime. Res64: 164124C74644E907 Time : 0.0 sec. user=mdettweiler [2015-02-02 06:18:48] 943*2^1390151-1 is not prime. Res64: BC3F2E843598A931 Time : 0.0 sec. user=mdettweiler [2015-02-02 06:18:48] 981*2^1390151-1 is not prime. Res64: 5F3958A1610ADBEE Time : 0.0 sec. user=mdettweiler [2015-02-02 06:22:03] 991*2^1390151-1 is not prime. Res64: 0B34BDCE14BF17D1 Time : 0.0 sec. user=mdettweiler [2015-02-02 06:22:04] 779*2^1390152-1 is not prime. Res64: 0CF80EB245FFA56D Time : 0.0 sec. user=mdettweiler [2015-02-02 06:41:27] 687*2^1390153-1 is not prime. Res64: 2FE1F147FC93E1FC Time : 0.0 sec. user=mdettweiler [2015-02-02 06:41:27] 807*2^1390153-1 is not prime. Res64: 60358FC5871F8340 Time : 0.0 sec. user=mdettweiler [2015-02-02 06:41:45] 895*2^1390153-1 is not prime. Res64: 552DFD4627B15519 Time : 0.0 sec. user=mdettweiler [2015-02-02 06:41:45] 791*2^1390154-1 is not prime. Res64: 7C423491AA03BC5A Time : 0.0 sec. user=mdettweiler [2015-02-02 06:44:44] 837*2^1390154-1 is not prime. Res64: 40CAA359F7620844 Time : 0.0 sec. user=mdettweiler [2015-02-02 06:44:44] 851*2^1390154-1 is not prime. Res64: DC395372443FF07B Time : 0.0 sec. user=mdettweiler [2015-02-02 06:48:11] 857*2^1390154-1 is not prime. Res64: 39E592B2B36EAED0 Time : 0.0 sec. user=mdettweiler [2015-02-02 06:48:11] 917*2^1390154-1 is not prime. Res64: BAA3AB3801A9ED82 Time : 0.0 sec. user=mdettweiler [2015-02-02 07:07:27] 923*2^1390154-1 is not prime. Res64: A3A4ACC3C5C27193 Time : 0.0 sec. user=mdettweiler [2015-02-02 07:07:27] 945*2^1390154-1 is not prime. Res64: 293C258B24CC3326 Time : 0.0 sec. user=mdettweiler [2015-02-02 07:07:42] 609*2^1390155-1 is not prime. Res64: 222AFEFB80FFA3EB Time : 0.0 sec. user=mdettweiler [2015-02-02 07:07:43] 663*2^1390155-1 is not prime. Res64: 8BB334E49E8E3812 Time : 0.0 sec. user=mdettweiler [2015-02-02 07:10:39] 805*2^1390155-1 is not prime. Res64: C29E5AAF06F1A67C Time : 0.0 sec. user=mdettweiler [2015-02-02 07:10:40] 823*2^1390155-1 is not prime. Res64: 73456494BC357643 Time : 0.0 sec. user=mdettweiler [2015-02-02 07:14:10] 853*2^1390155-1 is not prime. Res64: 6326CD3C9250FA12 Time : 0.0 sec. user=mdettweiler [2015-02-02 07:14:11] 861*2^1390155-1 is not prime. Res64: 58A4D4CF1B25DCC1 Time : 0.0 sec. user=mdettweiler [2015-02-02 07:33:24] 603*2^1390156-1 is not prime. Res64: 23C5042CA1FF2B2B Time : 0.0 sec. user=mdettweiler [2015-02-02 07:33:24] 723*2^1390156-1 is not prime. Res64: CF96B8C0EB8367F8 Time : 0.0 sec. user=mdettweiler [2015-02-02 07:33:41] 749*2^1390156-1 is not prime. Res64: 7B6985B76B3D0CAA Time : 0.0 sec. user=mdettweiler [2015-02-02 07:33:42] 803*2^1390156-1 is not prime. Res64: A8BCF828AFCA4460 Time : 0.0 sec. user=mdettweiler [2015-02-02 07:36:37] 899*2^1390156-1 is not prime. Res64: 5F2528F871580B82 Time : 0.0 sec. user=mdettweiler [2015-02-02 07:36:37] 957*2^1390156-1 is not prime. Res64: 0BD11C777760EDC0 Time : 0.0 sec. user=mdettweiler [2015-02-02 07:40:05] 987*2^1390156-1 is not prime. Res64: F64806F4CD747CC4 Time : 0.0 sec. user=mdettweiler [2015-02-02 07:40:06] 651*2^1390157-1 is not prime. Res64: 464D86CCB7074909 Time : 0.0 sec. user=mdettweiler [2015-02-02 07:59:23] 729*2^1390157-1 is not prime. Res64: 53F3B20DBE303D83 Time : 0.0 sec. user=mdettweiler [2015-02-02 07:59:23] 759*2^1390157-1 is not prime. Res64: 59A42C17A2D7944A Time : 0.0 sec. user=mdettweiler [2015-02-02 07:59:40] 801*2^1390157-1 is not prime. Res64: 5D2BAF45E739463F Time : 0.0 sec. user=mdettweiler [2015-02-02 07:59:40] 825*2^1390157-1 is not prime. Res64: 1A195DE1704B59E1 Time : 0.0 sec. user=mdettweiler [2015-02-02 08:02:38] 901*2^1390157-1 is not prime. Res64: A11574B39632C69A Time : 0.0 sec. user=mdettweiler [2015-02-02 08:02:39] 621*2^1390158-1 is not prime. Res64: F1CB7042CE10CA2E Time : 0.0 sec. user=mdettweiler [2015-02-02 08:06:03] 681*2^1390158-1 is not prime. Res64: A6CA7796F54BA749 Time : 0.0 sec. user=mdettweiler [2015-02-02 08:06:04] 963*2^1390158-1 is not prime. Res64: 22EB2C37C48A369E Time : 0.0 sec. user=mdettweiler [2015-02-02 08:25:21] 759*2^1390159-1 is not prime. Res64: 8C942ACF2EF2CDED Time : 0.0 sec. user=mdettweiler [2015-02-02 08:25:21] 763*2^1390159-1 is not prime. Res64: CE877B7E02B63D3B Time : 0.0 sec. user=mdettweiler [2015-02-02 08:25:36] 829*2^1390159-1 is not prime. Res64: 60E8467CF1605A20 Time : 0.0 sec. user=mdettweiler [2015-02-02 08:25:37] 889*2^1390159-1 is not prime. Res64: 57E2F47457BB3245 Time : 0.0 sec. user=mdettweiler [2015-02-02 08:28:52] 895*2^1390159-1 is not prime. Res64: 9E563EE930D0657E Time : 0.0 sec. user=mdettweiler [2015-02-02 08:28:52] 973*2^1390159-1 is not prime. Res64: 3007C3830FB60487 Time : 0.0 sec. user=mdettweiler [2015-02-02 08:32:03] 735*2^1390160-1 is not prime. Res64: D239CC55CBB34F48 Time : 0.0 sec. user=mdettweiler [2015-02-02 08:32:04] 923*2^1390160-1 is not prime. Res64: 3A9C8A8F74A85EDE Time : 0.0 sec. user=juhehe [2015-02-02 08:37:54] 663*2^1390159-1 is not prime. Res64: 3518415B6DE72D9F Time : 0.0 sec. user=mdettweiler [2015-02-02 08:51:24] 717*2^1390161-1 is not prime. Res64: E8CEE88FD37DB8D4 Time : 0.0 sec. user=mdettweiler [2015-02-02 08:51:24] 835*2^1390161-1 is not prime. Res64: AA5B3AE4306359CB Time : 0.0 sec. user=mdettweiler [2015-02-02 08:51:41] 849*2^1390161-1 is not prime. Res64: 0F16E2A6ED0A0A4B Time : 0.0 sec. user=mdettweiler [2015-02-02 08:51:41] 861*2^1390161-1 is not prime. Res64: D40B4D49D6ADC453 Time : 0.0 sec. user=mdettweiler [2015-02-02 08:54:57] 871*2^1390161-1 is not prime. Res64: 4B4DB3834CC13AD6 Time : 0.0 sec. user=mdettweiler [2015-02-02 08:54:57] 885*2^1390161-1 is not prime. Res64: F53A0A0C305A7852 Time : 0.0 sec. user=mdettweiler [2015-02-02 08:58:08] 909*2^1390161-1 is not prime. Res64: 294269FDBE453E56 Time : 0.0 sec. user=mdettweiler [2015-02-02 08:58:09] 991*2^1390161-1 is not prime. Res64: 8FA60B14A5AF7514 Time : 0.0 sec. user=mdettweiler [2015-02-02 09:17:18] 701*2^1390162-1 is not prime. Res64: BB817C40A6A98F21 Time : 0.0 sec. user=mdettweiler [2015-02-02 09:17:19] 743*2^1390162-1 is not prime. Res64: D782E1D227C7F051 Time : 0.0 sec. user=mdettweiler [2015-02-02 09:17:49] 827*2^1390162-1 is not prime. Res64: FC9ACF2BDAE7F772 Time : 0.0 sec. user=mdettweiler [2015-02-02 09:17:50] 831*2^1390162-1 is not prime. Res64: 216A5EB2BA6FB56E Time : 0.0 sec. user=mdettweiler [2015-02-02 09:20:55] 833*2^1390162-1 is not prime. Res64: 87C2DFFA830D7162 Time : 0.0 sec. user=mdettweiler [2015-02-02 09:20:55] 873*2^1390162-1 is not prime. Res64: E112B3861335C058 Time : 0.0 sec. user=mdettweiler [2015-02-02 09:24:18] 603*2^1390163-1 is not prime. Res64: BB0F8FC6D2A8E2BA Time : 0.0 sec. user=mdettweiler [2015-02-02 09:24:18] 675*2^1390163-1 is not prime. Res64: 8299619B523F1283 Time : 0.0 sec. user=mdettweiler [2015-02-02 09:43:20] 745*2^1390163-1 is not prime. Res64: 0BEEB0C4978D1CF0 Time : 0.0 sec. user=mdettweiler [2015-02-02 09:43:21] 759*2^1390163-1 is not prime. Res64: 207ECC71CC47863B Time : 0.0 sec. user=mdettweiler [2015-02-02 09:43:50] 855*2^1390163-1 is not prime. Res64: CA2DAD5A4FA678E8 Time : 0.0 sec. user=mdettweiler [2015-02-02 09:43:51] 859*2^1390163-1 is not prime. Res64: 341C335C6F00BA87 Time : 0.0 sec. user=mdettweiler [2015-02-02 09:46:52] 871*2^1390163-1 is not prime. Res64: E013F66F22FB7181 Time : 0.0 sec. user=mdettweiler [2015-02-02 09:46:53] 943*2^1390163-1 is not prime. Res64: 52A388C9FDEEF786 Time : 0.0 sec. user=mdettweiler [2015-02-02 09:50:17] 955*2^1390163-1 is not prime. Res64: 7659504BD6594D71 Time : 0.0 sec. user=mdettweiler [2015-02-02 09:50:17] 627*2^1390164-1 is not prime. Res64: 5A849AB80C7388B2 Time : 0.0 sec. user=mdettweiler [2015-02-02 10:09:20] 795*2^1390164-1 is not prime. Res64: 82B8E0EE271E55DE Time : 0.0 sec. user=mdettweiler [2015-02-02 10:09:20] 903*2^1390164-1 is not prime. Res64: 115BFC4ABAACD113 Time : 0.0 sec. user=mdettweiler [2015-02-02 10:09:47] 905*2^1390164-1 is not prime. Res64: C3180DD3A23DC821 Time : 0.0 sec. user=mdettweiler [2015-02-02 10:09:47] 909*2^1390164-1 is not prime. Res64: DB2C225A9183FBA7 Time : 0.0 sec. user=mdettweiler [2015-02-02 10:13:02] 915*2^1390164-1 is not prime. Res64: B659440979CF2C83 Time : 0.0 sec. user=mdettweiler [2015-02-02 10:13:02] 927*2^1390164-1 is not prime. Res64: 238428A52B71B299 Time : 0.0 sec. user=mdettweiler [2015-02-02 10:16:15] 649*2^1390165-1 is not prime. Res64: A323D62FA4E50F42 Time : 0.0 sec. user=mdettweiler [2015-02-02 10:16:15] 675*2^1390165-1 is not prime. Res64: A01C50C657FD9BA6 Time : 0.0 sec. user=mdettweiler [2015-02-02 10:35:16] 789*2^1390165-1 is not prime. Res64: 47935005B7D8971D Time : 0.0 sec. user=mdettweiler [2015-02-02 10:35:16] 861*2^1390165-1 is not prime. Res64: 788D4B25DACF2997 Time : 0.0 sec. user=mdettweiler [2015-02-02 10:35:46] 897*2^1390165-1 is not prime. Res64: E21B01663E2F04D1 Time : 0.0 sec. user=mdettweiler [2015-02-02 10:35:47] 925*2^1390165-1 is not prime. Res64: FC4901B58187276B Time : 0.0 sec. user=mdettweiler [2015-02-02 10:39:05] 957*2^1390165-1 is not prime. Res64: 26A14FD560FA3BDB Time : 0.0 sec. user=mdettweiler [2015-02-02 10:39:05] 997*2^1390165-1 is not prime. Res64: 44D830F364E73FF9 Time : 0.0 sec. user=mdettweiler [2015-02-02 10:42:14] 677*2^1390166-1 is not prime. Res64: FE4F5D8FD01435A2 Time : 0.0 sec. user=mdettweiler [2015-02-02 10:42:14] 741*2^1390166-1 is not prime. Res64: 04A7B14E3758CE3B Time : 0.0 sec. user=mdettweiler [2015-02-02 11:01:10] 971*2^1390166-1 is not prime. Res64: DA7DEA97EE79F896 Time : 0.0 sec. user=mdettweiler [2015-02-02 11:01:12] 675*2^1390167-1 is not prime. Res64: D778BFBF9B132FDD Time : 0.0 sec. user=mdettweiler [2015-02-02 11:01:44] 825*2^1390167-1 is not prime. Res64: A43CB29F571504D6 Time : 0.0 sec. user=mdettweiler [2015-02-02 11:01:45] 829*2^1390167-1 is not prime. Res64: E851FCBC63FBF0B4 Time : 0.0 sec. user=mdettweiler [2015-02-02 11:05:02] 861*2^1390167-1 is not prime. Res64: F55B9D051DCB671A Time : 0.0 sec. user=mdettweiler [2015-02-02 11:05:04] 879*2^1390167-1 is not prime. Res64: 98FCFD93E07DEEB5 Time : 0.0 sec. user=mdettweiler [2015-02-02 11:08:09] 639*2^1390168-1 is not prime. Res64: 49014ECCB3AE0E31 Time : 0.0 sec. user=mdettweiler [2015-02-02 11:08:09] 677*2^1390168-1 is not prime. Res64: F9325A50F589F021 Time : 0.0 sec. user=mdettweiler [2015-02-02 11:27:20] 887*2^1390168-1 is not prime. Res64: C8FBF912346F8AF1 Time : 0.0 sec. user=mdettweiler [2015-02-02 11:27:20] 933*2^1390168-1 is not prime. Res64: 51B5108C407F3D85 Time : 0.0 sec. user=mdettweiler [2015-02-02 11:27:47] 637*2^1390169-1 is not prime. Res64: 556F759CAD824706 Time : 0.0 sec. user=mdettweiler [2015-02-02 11:27:48] 685*2^1390169-1 is not prime. Res64: 22A65FB94C708A28 Time : 0.0 sec. user=mdettweiler [2015-02-02 11:31:08] 735*2^1390169-1 is not prime. Res64: 1301CB593AF5BBC6 Time : 0.0 sec. user=mdettweiler [2015-02-02 11:31:09] 867*2^1390169-1 is not prime. Res64: 94E6FB74A909278D Time : 0.0 sec. user=mdettweiler [2015-02-02 11:34:07] 647*2^1390170-1 is not prime. Res64: CA72C1F1CB353CB0 Time : 0.0 sec. user=mdettweiler [2015-02-02 11:34:07] 681*2^1390170-1 is not prime. Res64: 91556281EF6BBF27 Time : 0.0 sec. user=mdettweiler [2015-02-02 11:53:17] 905*2^1390170-1 is not prime. Res64: EB6D544E4C7E6112 Time : 0.0 sec. user=mdettweiler [2015-02-02 11:53:17] 917*2^1390170-1 is not prime. Res64: 008A1C3AFB02CE36 Time : 0.0 sec. user=mdettweiler [2015-02-02 11:53:44] 679*2^1390171-1 is not prime. Res64: 53D4839B6517FA1F Time : 0.0 sec. user=mdettweiler [2015-02-02 11:53:44] 723*2^1390171-1 is not prime. Res64: A1B20DD8DA5C2C33 Time : 0.0 sec. user=mdettweiler [2015-02-02 11:57:08] 801*2^1390171-1 is not prime. Res64: 8352181AF27BD277 Time : 0.0 sec. user=mdettweiler [2015-02-02 11:57:08] 813*2^1390171-1 is not prime. Res64: 228BA82937B25E75 Time : 0.0 sec. user=mdettweiler [2015-02-02 11:59:59] 975*2^1390171-1 is not prime. Res64: E6B9B4EC6670B961 Time : 0.0 sec. user=mdettweiler [2015-02-02 12:00:00] 633*2^1390172-1 is not prime. Res64: 4E0C37F42C59B740 Time : 0.0 sec. user=mdettweiler [2015-02-02 12:19:17] 683*2^1390172-1 is not prime. Res64: C6F826F32313347A Time : 0.0 sec. user=mdettweiler [2015-02-02 12:19:17] 687*2^1390172-1 is not prime. Res64: 1C04E682204CBDEE Time : 0.0 sec. user=mdettweiler [2015-02-02 12:19:41] 935*2^1390172-1 is not prime. Res64: F84DE59B7594BE3E Time : 0.0 sec. user=mdettweiler [2015-02-02 12:19:42] 963*2^1390172-1 is not prime. Res64: 7CD10DBD2A0D116F Time : 0.0 sec. user=mdettweiler [2015-02-02 12:23:07] 649*2^1390173-1 is not prime. Res64: 9EF24BDA15DB4E71 Time : 0.0 sec. user=mdettweiler [2015-02-02 12:23:07] 651*2^1390173-1 is not prime. Res64: 8F96571DAD123DF8 Time : 0.0 sec. user=mdettweiler [2015-02-02 12:25:55] 745*2^1390173-1 is not prime. Res64: A86635803432A1E6 Time : 0.0 sec. user=mdettweiler [2015-02-02 12:25:55] 781*2^1390173-1 is not prime. Res64: 42B939C5A8F354C4 Time : 0.0 sec. user=mdettweiler [2015-02-02 12:45:24] 835*2^1390173-1 is not prime. Res64: F0FF7CF1ED062250 Time : 0.0 sec. user=mdettweiler [2015-02-02 12:45:24] 937*2^1390173-1 is not prime. Res64: 0410FA4DB6FE93E8 Time : 0.0 sec. user=mdettweiler [2015-02-02 12:45:40] 951*2^1390173-1 is not prime. Res64: 5432ED31B6788813 Time : 0.0 sec. user=mdettweiler [2015-02-02 12:45:41] 969*2^1390173-1 is not prime. Res64: 6AB71379BE2E5979 Time : 0.0 sec. user=mdettweiler [2015-02-02 12:49:06] 985*2^1390173-1 is not prime. Res64: 9809107746D11766 Time : 0.0 sec. user=mdettweiler [2015-02-02 12:49:07] 663*2^1390174-1 is not prime. Res64: 405AD99939A436F3 Time : 0.0 sec. user=mdettweiler [2015-02-02 12:51:52] 887*2^1390174-1 is not prime. Res64: BD88BB2FF54A56DE Time : 0.0 sec. user=mdettweiler [2015-02-02 12:51:53] 891*2^1390174-1 is not prime. Res64: 6E5132D46F82DAED Time : 0.0 sec. user=mdettweiler [2015-02-02 13:11:29] 923*2^1390174-1 is not prime. Res64: 8FC65E03E47E3424 Time : 0.0 sec. user=mdettweiler [2015-02-02 13:11:30] 975*2^1390174-1 is not prime. Res64: 080475FBD53BB19F Time : 0.0 sec. user=mdettweiler [2015-02-02 13:11:45] 987*2^1390174-1 is not prime. Res64: 323CF9238739A18D Time : 0.0 sec. user=mdettweiler [2015-02-02 13:11:46] 679*2^1390175-1 is not prime. Res64: D956525D17FD2D1F Time : 0.0 sec. user=mdettweiler [2015-02-02 13:15:10] 739*2^1390175-1 is not prime. Res64: 469A106618E527CB Time : 0.0 sec. user=mdettweiler [2015-02-02 13:15:10] 825*2^1390175-1 is not prime. Res64: 3878890C52E58004 Time : 0.0 sec. user=mdettweiler [2015-02-02 13:17:57] 829*2^1390175-1 is not prime. Res64: 6B2F67A26AACBF60 Time : 0.0 sec. user=mdettweiler [2015-02-02 13:17:58] 979*2^1390175-1 is not prime. Res64: 4F97CAC7DF2371E6 Time : 0.0 sec. user=mdettweiler [2015-02-02 13:39:23] 893*2^1390176-1 is not prime. Res64: F062881EC56AAAA0 Time : 0.0 sec. user=mdettweiler [2015-02-02 13:39:24] 899*2^1390176-1 is not prime. Res64: A44D54AA43C66234 Time : 0.0 sec. user=mdettweiler [2015-02-02 13:39:48] 707*2^1390176-1 is not prime. Res64: 30657C7602C6E131 Time : 0.0 sec. user=mdettweiler [2015-02-02 13:39:49] 843*2^1390176-1 is not prime. Res64: CEE1027872C079B9 Time : 0.0 sec. user=mdettweiler [2015-02-02 13:43:11] 969*2^1390176-1 is not prime. Res64: 228DFABEA88D0162 Time : 0.0 sec. user=mdettweiler [2015-02-02 13:43:12] 999*2^1390176-1 is not prime. Res64: 2212DE9528190ECA Time : 0.0 sec. user=mdettweiler [2015-02-02 13:45:37] 645*2^1390177-1 is not prime. Res64: 1264ABD4B8E0CC20 Time : 0.0 sec. user=mdettweiler [2015-02-02 13:45:37] 649*2^1390177-1 is not prime. Res64: 21FA6F308553BD16 Time : 0.0 sec. user=mdettweiler [2015-02-02 14:06:12] 741*2^1390177-1 is not prime. Res64: DD21BB1A1CB66EA7 Time : 0.0 sec. user=mdettweiler [2015-02-02 14:06:13] 777*2^1390177-1 is not prime. Res64: 64C57FB5641FB712 Time : 0.0 sec. user=mdettweiler [2015-02-02 14:06:54] 807*2^1390177-1 is not prime. Res64: F03FC46C77673013 Time : 0.0 sec. user=mdettweiler [2015-02-02 14:06:55] 817*2^1390177-1 is not prime. Res64: 7E0D462816398BA2 Time : 0.0 sec. user=mdettweiler [2015-02-02 14:10:04] 849*2^1390177-1 is not prime. Res64: 82554DE494D10FFD Time : 0.0 sec. user=mdettweiler [2015-02-02 14:10:04] 915*2^1390177-1 is not prime. Res64: 41B956858C0F6AB3 Time : 0.0 sec. user=mdettweiler [2015-02-02 14:12:29] 623*2^1390178-1 is not prime. Res64: 9258EC415740D5BC Time : 0.0 sec. user=mdettweiler [2015-02-02 14:12:30] 827*2^1390178-1 is not prime. Res64: 55056AC79531AF67 Time : 0.0 sec. user=mdettweiler [2015-02-02 14:33:11] 857*2^1390178-1 is not prime. Res64: E725275A8599BF96 Time : 0.0 sec. user=mdettweiler [2015-02-02 14:33:12] 887*2^1390178-1 is not prime. Res64: D06EAE362EB9E089 Time : 0.0 sec. user=mdettweiler [2015-02-02 14:33:38] 923*2^1390178-1 is not prime. Res64: 999A27DE9534BD42 Time : 0.0 sec. user=mdettweiler [2015-02-02 14:33:38] 963*2^1390178-1 is not prime. Res64: 3A6868337BE8B46A Time : 0.0 sec. user=mdettweiler [2015-02-02 14:36:47] 977*2^1390178-1 is not prime. Res64: 2DAEBC1ECDAA9885 Time : 0.0 sec. user=mdettweiler [2015-02-02 14:36:47] 613*2^1390179-1 is not prime. Res64: 941B3D56E2BD16AD Time : 0.0 sec. user=mdettweiler [2015-02-02 14:39:14] 793*2^1390179-1 is not prime. Res64: 01583DECA21A287C Time : 0.0 sec. user=mdettweiler [2015-02-02 14:39:14] 825*2^1390179-1 is not prime. Res64: 6D3FF12026EF3BEB Time : 0.0 sec. user=mdettweiler [2015-02-02 15:01:41] 919*2^1390179-1 is not prime. Res64: 3F1941108AB56123 Time : 0.0 sec. user=mdettweiler [2015-02-02 15:01:43] 609*2^1390180-1 is not prime. Res64: A7124800B2233543 Time : 0.0 sec. user=mdettweiler [2015-02-02 15:02:08] 615*2^1390180-1 is not prime. Res64: CE30D8D2480BEAC0 Time : 0.0 sec. user=mdettweiler [2015-02-02 15:02:09] 677*2^1390180-1 is not prime. Res64: 85FE0BB9B1F61954 Time : 0.0 sec. user=mdettweiler [2015-02-02 15:05:28] 827*2^1390180-1 is not prime. Res64: 993540D9C50B40E5 Time : 0.0 sec. user=mdettweiler [2015-02-02 15:05:30] 885*2^1390180-1 is not prime. Res64: 8C2970A05812C818 Time : 0.0 sec. user=mdettweiler [2015-02-02 15:07:44] 957*2^1390180-1 is not prime. Res64: CD8205B9FA7B68F3 Time : 0.0 sec. user=mdettweiler [2015-02-02 15:07:45] 983*2^1390180-1 is not prime. Res64: 239A558A16BE166D Time : 0.0 sec. user=mdettweiler [2015-02-02 15:27:51] 989*2^1390180-1 is not prime. Res64: 3663146C86A1A7A3 Time : 0.0 sec. user=mdettweiler [2015-02-02 15:27:51] 715*2^1390181-1 is not prime. Res64: 8B9BE93C4D1D8E8A Time : 0.0 sec. user=mdettweiler [2015-02-02 15:28:10] 781*2^1390181-1 is not prime. Res64: 1AF276DBB6F3FE95 Time : 0.0 sec. user=mdettweiler [2015-02-02 15:28:11] 987*2^1390181-1 is not prime. Res64: 3A22B161151F5FE7 Time : 0.0 sec. user=mdettweiler [2015-02-02 15:31:31] 635*2^1390182-1 is not prime. Res64: 64AA5686834A0A05 Time : 0.0 sec. user=mdettweiler [2015-02-02 15:31:31] 625*2^1390183-1 is not prime. Res64: DF2C858D551F6E0F Time : 0.0 sec. user=mdettweiler [2015-02-02 15:33:44] 639*2^1390183-1 is not prime. Res64: 9E8A721F7F4D1FBF Time : 0.0 sec. user=mdettweiler [2015-02-02 15:33:44] 673*2^1390183-1 is not prime. Res64: 400BFD18EFECDDEC Time : 0.0 sec. user=mdettweiler [2015-02-02 15:53:56] 811*2^1390183-1 is not prime. Res64: BFDE70EF6C7F537C Time : 0.0 sec. user=mdettweiler [2015-02-02 15:53:56] 675*2^1390184-1 is not prime. Res64: 5D2FB54F637AE1B8 Time : 0.0 sec. user=mdettweiler [2015-02-02 15:54:17] 683*2^1390184-1 is not prime. Res64: 5E4D817CB22C8889 Time : 0.0 sec. user=mdettweiler [2015-02-02 15:54:18] 773*2^1390184-1 is not prime. Res64: 76F086C7B624FD02 Time : 0.0 sec. user=mdettweiler [2015-02-02 15:57:31] 857*2^1390184-1 is not prime. Res64: BCBE3372B7AB8F0C Time : 0.0 sec. user=mdettweiler [2015-02-02 15:57:31] 897*2^1390184-1 is not prime. Res64: C8EFD8434980CDD3 Time : 0.0 sec. user=mdettweiler [2015-02-02 15:59:43] 927*2^1390184-1 is not prime. Res64: C1791F70040287DA Time : 0.0 sec. user=mdettweiler [2015-02-02 15:59:43] 935*2^1390184-1 is not prime. Res64: D4B2DFB50B0D42DF Time : 0.0 sec. user=mdettweiler [2015-02-02 16:19:52] 657*2^1390185-1 is not prime. Res64: 21964CB6201AC058 Time : 0.0 sec. user=mdettweiler [2015-02-02 16:19:52] 691*2^1390185-1 is not prime. Res64: 7D0E8B9C72CF8E1C Time : 0.0 sec. user=mdettweiler [2015-02-02 16:20:14] 699*2^1390185-1 is not prime. Res64: 80A06B0A2C73EDC0 Time : 0.0 sec. user=mdettweiler [2015-02-02 16:20:14] 727*2^1390185-1 is not prime. Res64: 85800C486C074A88 Time : 0.0 sec. user=mdettweiler [2015-02-02 16:23:27] 735*2^1390185-1 is not prime. Res64: B09547827CBEE56A Time : 0.0 sec. user=mdettweiler [2015-02-02 16:23:28] 765*2^1390185-1 is not prime. Res64: 74EF0234B06088F1 Time : 0.0 sec. user=mdettweiler [2015-02-02 16:25:37] 861*2^1390185-1 is not prime. Res64: 28E6FB3F169563F6 Time : 0.0 sec. user=mdettweiler [2015-02-02 16:25:38] 969*2^1390185-1 is not prime. Res64: 6EAF3F868F412B88 Time : 0.0 sec. user=mdettweiler [2015-02-02 16:45:59] 975*2^1390185-1 is not prime. Res64: 2842ABD34E48E817 Time : 0.0 sec. user=mdettweiler [2015-02-02 16:45:59] 999*2^1390185-1 is not prime. Res64: 52A3FA22B1A68D89 Time : 0.0 sec. user=mdettweiler [2015-02-02 16:46:24] 611*2^1390186-1 is not prime. Res64: 1A0117A823F52C68 Time : 0.0 sec. user=mdettweiler [2015-02-02 16:46:24] 657*2^1390186-1 is not prime. Res64: 30082DBB5B9574FE Time : 0.0 sec. user=mdettweiler [2015-02-02 16:49:33] 723*2^1390186-1 is not prime. Res64: 875052CCB5E1E594 Time : 0.0 sec. user=mdettweiler [2015-02-02 16:49:33] 741*2^1390186-1 is not prime. Res64: 83062EF0EBB91164 Time : 0.0 sec. user=mdettweiler [2015-02-02 16:51:47] 755*2^1390186-1 is not prime. Res64: 8E528012A2F4BA50 Time : 0.0 sec. user=mdettweiler [2015-02-02 16:51:47] 855*2^1390186-1 is not prime. Res64: B3C1B7026E77E5AA Time : 0.0 sec. user=mdettweiler [2015-02-02 17:15:44] 655*2^1390187-1 is not prime. Res64: 0485B489098AFCA3 Time : 0.0 sec. user=mdettweiler [2015-02-02 17:15:44] 673*2^1390187-1 is not prime. Res64: 1FF8F8BB266DE9D9 Time : 0.0 sec. user=mdettweiler [2015-02-02 17:16:40] 887*2^1390186-1 is not prime. Res64: A4A85C6B2A9DAC48 Time : 0.0 sec. user=mdettweiler [2015-02-02 17:16:40] 987*2^1390186-1 is not prime. Res64: 8FD04F2DEB7EB7A3 Time : 0.0 sec. user=mdettweiler [2015-02-02 17:19:09] 735*2^1390187-1 is not prime. Res64: 2C070FB1823C384B Time : 0.0 sec. user=mdettweiler [2015-02-02 17:19:09] 633*2^1390188-1 is not prime. Res64: 127E9B263224FA11 Time : 0.0 sec. user=mdettweiler [2015-02-02 17:21:57] 683*2^1390188-1 is not prime. Res64: A80D83D8728F63A6 Time : 0.0 sec. user=mdettweiler [2015-02-02 17:21:57] 689*2^1390188-1 is not prime. Res64: F2889726D20674C3 Time : 0.0 sec. user=mdettweiler [2015-02-02 17:44:27] 725*2^1390188-1 is not prime. Res64: 742E88DAEB3F19D3 Time : 0.0 sec. user=mdettweiler [2015-02-02 17:44:27] 947*2^1390188-1 is not prime. Res64: BA2E22E82FDD728E Time : 0.0 sec. user=mdettweiler [2015-02-02 17:45:40] 667*2^1390189-1 is not prime. Res64: 14EBF412637F6A73 Time : 0.0 sec. user=mdettweiler [2015-02-02 17:45:40] 861*2^1390189-1 is not prime. Res64: 11908A23A1FFCF4E Time : 0.0 sec. user=mdettweiler [2015-02-02 17:48:28] 627*2^1390190-1 is not prime. Res64: BE24BA562A8A91BA Time : 0.0 sec. user=mdettweiler [2015-02-02 17:48:28] 741*2^1390190-1 is not prime. Res64: 5AEC5DA20EBDD523 Time : 0.0 sec. user=mdettweiler [2015-02-02 17:52:06] 767*2^1390190-1 is not prime. Res64: 09D9464498963951 Time : 0.0 sec. user=mdettweiler [2015-02-02 17:52:07] 785*2^1390190-1 is not prime. Res64: F3CE699DF76E258A Time : 0.0 sec. user=mdettweiler [2015-02-02 18:16:13] 831*2^1390190-1 is not prime. Res64: 19EAE50009596506 Time : 0.0 sec. user=mdettweiler [2015-02-02 18:16:13] 619*2^1390191-1 is not prime. Res64: FDA94001A7493701 Time : 0.0 sec. user=mdettweiler [2015-02-02 18:18:18] 735*2^1390191-1 is not prime. Res64: 30A3978C2766A99B Time : 0.0 sec. user=mdettweiler [2015-02-02 18:18:18] 741*2^1390191-1 is not prime. Res64: 6D6BF10D5475F8AF Time : 0.0 sec. user=mdettweiler [2015-02-02 18:20:54] 745*2^1390191-1 is not prime. Res64: DC47B1613552F0E1 Time : 0.0 sec. user=mdettweiler [2015-02-02 18:20:54] 775*2^1390191-1 is not prime. Res64: 11A03F0AA1365DE3 Time : 0.0 sec. user=mdettweiler [2015-02-02 18:24:21] 859*2^1390191-1 is not prime. Res64: 08C871D7457C2F9F Time : 0.0 sec. user=mdettweiler [2015-02-02 18:24:21] 885*2^1390191-1 is not prime. Res64: 86F61FA576106D5A Time : 0.0 sec. user=mdettweiler [2015-02-02 18:46:24] 629*2^1390192-1 is not prime. Res64: 0667B29F6D301129 Time : 0.0 sec. user=mdettweiler [2015-02-02 18:46:24] 635*2^1390192-1 is not prime. Res64: 1BA5A2B6F27E3ED7 Time : 0.0 sec. user=mdettweiler [2015-02-02 18:48:37] 717*2^1390192-1 is not prime. Res64: F31D9241288F32C8 Time : 0.0 sec. user=mdettweiler [2015-02-02 18:48:37] 719*2^1390192-1 is not prime. Res64: C905973461201FAA Time : 0.0 sec. user=mdettweiler [2015-02-02 18:51:00] 747*2^1390192-1 is not prime. Res64: 819BE086FEBA0DF2 Time : 0.0 sec. user=mdettweiler [2015-02-02 18:51:01] 765*2^1390192-1 is not prime. Res64: 92191D5070B7B456 Time : 0.0 sec. user=mdettweiler [2015-02-02 18:53:47] 797*2^1390192-1 is not prime. Res64: 23DF8E9772CA521C Time : 0.0 sec. user=mdettweiler [2015-02-02 18:53:48] 827*2^1390192-1 is not prime. Res64: DCE8220D82C028E1 Time : 0.0 sec. user=mdettweiler [2015-02-02 19:12:53] 843*2^1390192-1 is not prime. Res64: 595DFDA63F206524 Time : 0.0 sec. user=mdettweiler [2015-02-02 19:12:54] 903*2^1390192-1 is not prime. Res64: F73A3A4077CBC075 Time : 0.0 sec. user=mdettweiler [2015-02-02 19:15:05] 631*2^1390193-1 is not prime. Res64: B8BCA7D82D2B3830 Time : 0.0 sec. user=mdettweiler [2015-02-02 19:15:06] 691*2^1390193-1 is not prime. Res64: 5B1EEF7566707B51 Time : 0.0 sec. user=mdettweiler [2015-02-02 19:17:21] 741*2^1390193-1 is not prime. Res64: 6F791BA2A8FF453D Time : 0.0 sec. user=mdettweiler [2015-02-02 19:17:22] 831*2^1390193-1 is not prime. Res64: EFA0738EDF4CAA87 Time : 0.0 sec. user=mdettweiler [2015-02-02 19:19:53] 847*2^1390193-1 is not prime. Res64: A78020FD29B5A819 Time : 0.0 sec. user=mdettweiler [2015-02-02 19:19:53] 987*2^1390193-1 is not prime. Res64: A4B567627A30AD26 Time : 0.0 sec. user=mdettweiler [2015-02-02 19:38:56] 611*2^1390194-1 is not prime. Res64: 060F162D43D8ED8E Time : 0.0 sec. user=mdettweiler [2015-02-02 19:38:57] 621*2^1390194-1 is not prime. Res64: DF4C01649D734D7E Time : 0.0 sec. user=mdettweiler [2015-02-02 19:41:03] 681*2^1390194-1 is not prime. Res64: 911E79C4F3E49E93 Time : 0.0 sec. user=mdettweiler [2015-02-02 19:41:03] 717*2^1390194-1 is not prime. Res64: F4DF102B8697F691 Time : 0.0 sec. user=mdettweiler [2015-02-02 19:43:24] 737*2^1390194-1 is not prime. Res64: BF79C59AB9A734DE Time : 0.0 sec. user=mdettweiler [2015-02-02 19:43:24] 861*2^1390194-1 is not prime. Res64: 41CA168B4B09C8D6 Time : 0.0 sec. user=mdettweiler [2015-02-02 19:45:56] 927*2^1390194-1 is not prime. Res64: 52EC16D84FCA2411 Time : 0.0 sec. user=mdettweiler [2015-02-02 19:45:57] 945*2^1390194-1 is not prime. Res64: A73A7950B6A8B204 Time : 0.0 sec. user=mdettweiler [2015-02-02 20:04:55] 639*2^1390195-1 is not prime. Res64: E893CAA23E3F125F Time : 0.0 sec. user=mdettweiler [2015-02-02 20:04:56] 679*2^1390195-1 is not prime. Res64: 14D5AC38B7494D0A Time : 0.0 sec. user=mdettweiler [2015-02-02 20:07:07] 685*2^1390195-1 is not prime. Res64: 0CCDEB2A0A46E515 Time : 0.0 sec. user=mdettweiler [2015-02-02 20:07:07] 693*2^1390195-1 is not prime. Res64: E2531ADD05C8D8BD Time : 0.0 sec. user=mdettweiler [2015-02-02 20:09:25] 819*2^1390195-1 is not prime. Res64: 700A9359A9AD1EDD Time : 0.0 sec. user=mdettweiler [2015-02-02 20:09:25] 861*2^1390195-1 is not prime. Res64: B2C9257BDEAC8D16 Time : 0.0 sec. user=mdettweiler [2015-02-02 20:11:59] 915*2^1390195-1 is not prime. Res64: FFBD80C8B9FD80F2 Time : 0.0 sec. user=mdettweiler [2015-02-02 20:11:59] 925*2^1390195-1 is not prime. Res64: BCF7B77C4FDF8EA5 Time : 0.0 sec. user=mdettweiler [2015-02-02 20:30:57] 951*2^1390195-1 is not prime. Res64: 6F9F4126DBBECAF5 Time : 0.0 sec. user=mdettweiler [2015-02-02 20:30:57] 707*2^1390196-1 is not prime. Res64: CBB068AE287835A0 Time : 0.0 sec. user=mdettweiler [2015-02-02 20:33:05] 825*2^1390196-1 is not prime. Res64: 773B7A57FDCF475E Time : 0.0 sec. user=mdettweiler [2015-02-02 20:33:06] 867*2^1390196-1 is not prime. Res64: E623A503A39BC7F1 Time : 0.0 sec. user=mdettweiler [2015-02-02 20:35:24] 945*2^1390196-1 is not prime. Res64: 4364C589A6518A3D Time : 0.0 sec. user=mdettweiler [2015-02-02 20:35:24] 987*2^1390196-1 is not prime. Res64: FDAC0E1046F1D337 Time : 0.0 sec. user=mdettweiler [2015-02-02 20:38:03] 717*2^1390197-1 is not prime. Res64: DCA2B235D56ADCA7 Time : 0.0 sec. user=mdettweiler [2015-02-02 20:38:03] 847*2^1390197-1 is not prime. Res64: 7C78CDBAC6B26395 Time : 0.0 sec. user=mdettweiler [2015-02-02 20:56:59] 871*2^1390197-1 is not prime. Res64: 5B859643219F3186 Time : 0.0 sec. user=mdettweiler [2015-02-02 20:57:00] 891*2^1390197-1 is not prime. Res64: 17AFD613D340B9C9 Time : 0.0 sec. user=mdettweiler [2015-02-02 20:58:59] 945*2^1390197-1 is not prime. Res64: 6D3782D9F84118B8 Time : 0.0 sec. user=mdettweiler [2015-02-02 20:58:59] 611*2^1390198-1 is not prime. Res64: 8EB6B86633A053D2 Time : 0.0 sec. user=mdettweiler [2015-02-02 21:01:26] 623*2^1390198-1 is not prime. Res64: A39C4ACAF0FA2EAC Time : 0.0 sec. user=mdettweiler [2015-02-02 21:01:27] 651*2^1390198-1 is not prime. Res64: 992AD7EC3008C309 Time : 0.0 sec. user=mdettweiler [2015-02-02 21:04:02] 657*2^1390198-1 is not prime. Res64: D51642255E40A39E Time : 0.0 sec. user=mdettweiler [2015-02-02 21:04:03] 681*2^1390198-1 is not prime. Res64: 2A2EC414A7980191 Time : 0.0 sec. user=mdettweiler [2015-02-02 21:22:56] 713*2^1390198-1 is not prime. Res64: 0B93D219229E5E96 Time : 0.0 sec. user=mdettweiler [2015-02-02 21:22:56] 737*2^1390198-1 is not prime. Res64: E56A27E8AED7A90A Time : 0.0 sec. user=mdettweiler [2015-02-02 21:24:54] 773*2^1390198-1 is not prime. Res64: 2BB11F8FEE7761AF Time : 0.0 sec. user=mdettweiler [2015-02-02 21:24:54] 777*2^1390198-1 is not prime. Res64: 367F1233C27FB89C Time : 0.0 sec. user=mdettweiler [2015-02-02 21:27:22] 791*2^1390198-1 is not prime. Res64: 970EC69E9D65A5BF Time : 0.0 sec. user=mdettweiler [2015-02-02 21:27:23] 813*2^1390198-1 is not prime. Res64: 24950865756C68D5 Time : 0.0 sec. user=mdettweiler [2015-02-02 21:30:07] 833*2^1390198-1 is not prime. Res64: E8DFB47C074CACAE Time : 0.0 sec. user=mdettweiler [2015-02-02 21:30:07] 941*2^1390198-1 is not prime. Res64: C40B1268D23F52F2 Time : 0.0 sec. user=mdettweiler [2015-02-02 21:48:56] 663*2^1390199-1 is not prime. Res64: 4A482136F8BA276C Time : 0.0 sec. user=mdettweiler [2015-02-02 21:48:56] 685*2^1390199-1 is not prime. Res64: 0282992ACD556D46 Time : 0.0 sec. user=mdettweiler [2015-02-02 21:50:51] 811*2^1390199-1 is not prime. Res64: 9D3F75DFD5D85896 Time : 0.0 sec. user=mdettweiler [2015-02-02 21:50:51] 973*2^1390199-1 is not prime. Res64: B5C9EE3FAD2998D1 Time : 0.0 sec. user=mdettweiler [2015-02-02 21:53:22] 629*2^1390200-1 is not prime. Res64: 9E7CCAAF5BDE2797 Time : 0.0 sec. user=mdettweiler [2015-02-02 21:53:22] 699*2^1390200-1 is not prime. Res64: D67B092CDE336E0B Time : 0.0 sec. user=mdettweiler [2015-02-02 21:56:03] 735*2^1390200-1 is not prime. Res64: 25D23792361D79CB Time : 0.0 sec. user=mdettweiler [2015-02-02 21:56:03] 867*2^1390200-1 is not prime. Res64: B3893AB716DF71B3 Time : 0.0 sec. user=mdettweiler [2015-02-02 22:14:51] 801*2^1390201-1 is not prime. Res64: CF81D80E05862133 Time : 0.0 sec. user=mdettweiler [2015-02-02 22:14:52] 867*2^1390201-1 is not prime. Res64: F036A9226543B201 Time : 0.0 sec. user=mdettweiler [2015-02-02 22:16:48] 987*2^1390201-1 is not prime. Res64: 47DBCBA3B34295E3 Time : 0.0 sec. user=mdettweiler [2015-02-02 22:16:49] 627*2^1390202-1 is not prime. Res64: 3DF0953684947448 Time : 0.0 sec. user=juhehe [2015-02-02 22:19:20] 639*2^1390201-1 is not prime. Res64: 0B46CFD0EC0E992C Time : 0.0 sec. user=mdettweiler [2015-02-02 22:19:25] 677*2^1390202-1 is not prime. Res64: 12BF38E008FE3996 Time : 0.0 sec. user=mdettweiler [2015-02-02 22:19:25] 843*2^1390202-1 is not prime. Res64: EEC8B154779683CD Time : 0.0 sec. user=mdettweiler [2015-02-02 22:22:11] 857*2^1390202-1 is not prime. Res64: 6E1DD5B9FACFA94D Time : 0.0 sec. user=mdettweiler [2015-02-02 22:22:11] 867*2^1390202-1 is not prime. Res64: 670143CA0D23C08B Time : 0.0 sec. user=mdettweiler [2015-02-02 22:40:53] 917*2^1390202-1 is not prime. Res64: AD5FB3EC0DDD78CB Time : 0.0 sec. user=mdettweiler [2015-02-02 22:40:54] 923*2^1390202-1 is not prime. Res64: A9BBEE411D7BD859 Time : 0.0 sec. user=mdettweiler [2015-02-02 22:42:44] 953*2^1390202-1 is not prime. Res64: 64A808FC16BDA20D Time : 0.0 sec. user=mdettweiler [2015-02-02 22:42:44] 619*2^1390203-1 is not prime. Res64: C7BDAFD4605B7DE9 Time : 0.0 sec. user=mdettweiler [2015-02-02 22:45:54] 663*2^1390203-1 is not prime. Res64: C568C5A1AD15F711 Time : 0.0 sec. user=mdettweiler [2015-02-02 22:45:54] 723*2^1390203-1 is not prime. Res64: F42695FD98A6B489 Time : 0.0 sec. user=mdettweiler [2015-02-02 22:49:45] 783*2^1390203-1 is not prime. Res64: 21478A31D5F6E88D Time : 0.0 sec. user=mdettweiler [2015-02-02 22:49:45] 793*2^1390203-1 is not prime. Res64: E25916B88643A3E5 Time : 0.0 sec. user=mdettweiler [2015-02-02 23:13:08] 871*2^1390203-1 is not prime. Res64: F35F76F18A6417F3 Time : 0.0 sec. user=mdettweiler [2015-02-02 23:13:09] 891*2^1390203-1 is not prime. Res64: 007C25F932D0A050 Time : 0.0 sec. user=mdettweiler [2015-02-02 23:15:04] 943*2^1390203-1 is not prime. Res64: 9BEF7EBE732CB120 Time : 0.0 sec. user=mdettweiler [2015-02-02 23:15:04] 609*2^1390204-1 is not prime. Res64: C18A1B6C4F0435A9 Time : 0.0 sec. user=mdettweiler [2015-02-02 23:17:57] 705*2^1390204-1 is not prime. Res64: D84017A4562745EB Time : 0.0 sec. user=mdettweiler [2015-02-02 23:17:57] 755*2^1390204-1 is not prime. Res64: 10A39C083A5F295A Time : 0.0 sec. user=mdettweiler [2015-02-02 23:20:24] 787*2^1390205-1 is not prime. Res64: 81B2E68858754ED5 Time : 0.0 sec. user=mdettweiler [2015-02-02 23:20:24] 925*2^1390205-1 is not prime. Res64: FA75914581C30E70 Time : 0.0 sec. user=mdettweiler [2015-02-02 23:44:38] 635*2^1390206-1 is not prime. Res64: 5681B1F30B953D79 Time : 0.0 sec. user=mdettweiler [2015-02-02 23:44:39] 671*2^1390206-1 is not prime. Res64: ADA928A2A689F4E7 Time : 0.0 sec. user=mdettweiler [2015-02-02 23:48:03] 711*2^1390206-1 is not prime. Res64: F5E70A3052AA825E Time : 0.0 sec. user=mdettweiler [2015-02-02 23:48:03] 723*2^1390206-1 is not prime. Res64: F97627B0EEE7F4BC Time : 0.0 sec. user=mdettweiler [2015-02-02 23:52:40] 747*2^1390206-1 is not prime. Res64: 15D47FC84BFC2C9C Time : 0.0 sec. user=mdettweiler [2015-02-02 23:52:40] 821*2^1390206-1 is not prime. Res64: FA8EF7BFFC246F82 Time : 0.0 sec. user=mdettweiler [2015-02-02 23:57:09] 861*2^1390206-1 is not prime. Res64: 02D31F797D91395E Time : 0.0 sec. user=mdettweiler [2015-02-02 23:57:09] 917*2^1390206-1 is not prime. Res64: 49DBD84848AE3B5C Time : 0.0 sec.