user=mdettweiler [2015-08-13 00:01:31] 691*2^1406161-1 is not prime. Res64: 56EDD75BDA48EBC7 Time : 0.0 sec. user=mdettweiler [2015-08-13 00:01:31] 747*2^1406161-1 is not prime. Res64: B9518FAE6FF0C742 Time : 0.0 sec. user=mdettweiler [2015-08-13 00:23:43] 807*2^1406161-1 is not prime. Res64: 4A9ECE3DB46B6B1C Time : 0.0 sec. user=mdettweiler [2015-08-13 00:23:44] 909*2^1406161-1 is not prime. Res64: BF8F2B485F71361E Time : 0.0 sec. user=mdettweiler [2015-08-13 00:24:11] 999*2^1406161-1 is not prime. Res64: B155C78B57E2A570 Time : 0.0 sec. user=mdettweiler [2015-08-13 00:24:11] 633*2^1406162-1 is not prime. Res64: A825D951A05F907A Time : 0.0 sec. user=mdettweiler [2015-08-13 00:38:08] 999*2^1406140-1 is not prime. Res64: 26C8CD702EED3919 Time : 0.0 sec. user=mdettweiler [2015-08-13 00:38:08] 607*2^1406141-1 is not prime. Res64: 6633A10EE11A7DDB Time : 0.0 sec. user=mdettweiler [2015-08-13 00:40:56] 915*2^1406140-1 is not prime. Res64: 6FE82B1A5E090331 Time : 0.0 sec. user=mdettweiler [2015-08-13 00:40:57] 933*2^1406140-1 is not prime. Res64: E436E7186A41F450 Time : 0.0 sec. user=mdettweiler [2015-08-13 00:44:15] 741*2^1406162-1 is not prime. Res64: E6FE577EA35E880C Time : 0.0 sec. user=mdettweiler [2015-08-13 00:44:16] 755*2^1406162-1 is not prime. Res64: 79981BE26DABC247 Time : 0.0 sec. user=mdettweiler [2015-08-13 00:45:19] 767*2^1406162-1 is not prime. Res64: 62BCC7AF741C34C9 Time : 0.0 sec. user=mdettweiler [2015-08-13 00:45:19] 791*2^1406162-1 is not prime. Res64: 94333FEA859E1333 Time : 0.0 sec. user=mdettweiler [2015-08-13 00:57:05] 885*2^1406162-1 is not prime. Res64: 006DFDDA70B00DF8 Time : 0.0 sec. user=mdettweiler [2015-08-13 00:57:05] 1001*2^1406162-1 is not prime. Res64: C5CE9A979EDD549F Time : 0.0 sec. user=mdettweiler [2015-08-13 00:59:46] 781*2^1406163-1 is not prime. Res64: FBF0CB904C6C97CF Time : 0.0 sec. user=mdettweiler [2015-08-13 00:59:47] 609*2^1406164-1 is not prime. Res64: 1E0C647C9A829D03 Time : 0.0 sec. user=mdettweiler [2015-08-13 01:03:24] 677*2^1406164-1 is not prime. Res64: 386C1A05602BE124 Time : 0.0 sec. user=mdettweiler [2015-08-13 01:03:25] 765*2^1406164-1 is not prime. Res64: 75880B34DE136D7E Time : 0.0 sec. user=mdettweiler [2015-08-13 01:04:22] 923*2^1406164-1 is not prime. Res64: E1E6BBAC529ACD11 Time : 0.0 sec. user=mdettweiler [2015-08-13 01:04:23] 607*2^1406165-1 is not prime. Res64: F833E6A3B76BF024 Time : 0.0 sec. user=mdettweiler [2015-08-13 01:15:53] 655*2^1406165-1 is not prime. Res64: BBAB847EA4DB7809 Time : 0.0 sec. user=mdettweiler [2015-08-13 01:15:54] 615*2^1406166-1 is not prime. Res64: A5B1A01DB180DB4C Time : 0.0 sec. user=mdettweiler [2015-08-13 01:18:26] 747*2^1406166-1 is not prime. Res64: D8B574DFA6127834 Time : 0.0 sec. user=mdettweiler [2015-08-13 01:18:26] 945*2^1406166-1 is not prime. Res64: 58148DD551DE47F9 Time : 0.0 sec. user=mdettweiler [2015-08-13 01:22:08] 615*2^1406167-1 is not prime. Res64: 455D6D56AF2D3B47 Time : 0.0 sec. user=mdettweiler [2015-08-13 01:22:09] 729*2^1406167-1 is not prime. Res64: 6609DE4604E9931D Time : 0.0 sec. user=mdettweiler [2015-08-13 01:23:18] 741*2^1406167-1 is not prime. Res64: 916DF96675AFDB3A Time : 0.0 sec. user=mdettweiler [2015-08-13 01:23:18] 819*2^1406167-1 is not prime. Res64: 22720AC48B05D681 Time : 0.0 sec. user=mdettweiler [2015-08-13 01:34:57] 831*2^1406167-1 is not prime. Res64: 6FDB6183532AC06F Time : 0.0 sec. user=mdettweiler [2015-08-13 01:34:57] 975*2^1406167-1 is not prime. Res64: A2EFA890DCA9BDDA Time : 0.0 sec. user=mdettweiler [2015-08-13 01:37:31] 669*2^1406168-1 is not prime. Res64: 8A27F9C0C476F2EC Time : 0.0 sec. user=mdettweiler [2015-08-13 01:37:31] 837*2^1406168-1 is not prime. Res64: 62DB6CA5E93CC3B0 Time : 0.0 sec. user=mdettweiler [2015-08-13 01:41:04] 845*2^1406168-1 is not prime. Res64: 2AD4D3CE8E946034 Time : 0.0 sec. user=mdettweiler [2015-08-13 01:41:04] 879*2^1406168-1 is not prime. Res64: E882B668B36DCFCD Time : 0.0 sec. user=mdettweiler [2015-08-13 01:42:15] 625*2^1406169-1 is not prime. Res64: 8DE380300D15CF80 Time : 0.0 sec. user=mdettweiler [2015-08-13 01:42:16] 679*2^1406169-1 is not prime. Res64: 734A503DC4A99258 Time : 0.0 sec. user=mdettweiler [2015-08-13 01:53:47] 765*2^1406169-1 is not prime. Res64: 72FD1D77CCF4127F Time : 0.0 sec. user=mdettweiler [2015-08-13 01:53:47] 807*2^1406169-1 is not prime. Res64: ACD0E9E1A3A56530 Time : 0.0 sec. user=mdettweiler [2015-08-13 01:56:20] 829*2^1406169-1 is not prime. Res64: 6E868CDA91A54327 Time : 0.0 sec. user=mdettweiler [2015-08-13 01:56:20] 847*2^1406169-1 is not prime. Res64: 07A7A90D6C5845A0 Time : 0.0 sec. user=mdettweiler [2015-08-13 01:59:46] 675*2^1406170-1 is not prime. Res64: 4786E01DB3C5F388 Time : 0.0 sec. user=mdettweiler [2015-08-13 01:59:47] 701*2^1406170-1 is not prime. Res64: 4981D247015EFE3F Time : 0.0 sec. user=mdettweiler [2015-08-13 02:01:00] 717*2^1406170-1 is not prime. Res64: C33C3FA6A223A8D0 Time : 0.0 sec. user=mdettweiler [2015-08-13 02:01:01] 783*2^1406170-1 is not prime. Res64: 35351DD654172E40 Time : 0.0 sec. user=mdettweiler [2015-08-13 02:12:32] 915*2^1406170-1 is not prime. Res64: ACA74CB9B6B3E582 Time : 0.0 sec. user=mdettweiler [2015-08-13 02:12:32] 651*2^1406171-1 is not prime. Res64: 3428188A3D5CE482 Time : 0.0 sec. user=mdettweiler [2015-08-13 02:14:59] 885*2^1406171-1 is not prime. Res64: 256EF8A965B4BC67 Time : 0.0 sec. user=mdettweiler [2015-08-13 02:14:59] 889*2^1406171-1 is not prime. Res64: 943D5915AFAFCC99 Time : 0.0 sec. user=S_K_ [2015-08-13 02:15:26] 997*2^1406169-1 is not prime. Res64: 607E41F6AF18EECC Time : 0.0 sec. user=mdettweiler [2015-08-13 02:18:12] 969*2^1406171-1 is not prime. Res64: 132D8F05DE50AFE0 Time : 0.0 sec. user=mdettweiler [2015-08-13 02:18:12] 635*2^1406172-1 is not prime. Res64: 5AA5FFB17F8133F0 Time : 0.0 sec. user=mdettweiler [2015-08-13 02:19:20] 695*2^1406172-1 is not prime. Res64: D591212FF7105E0A Time : 0.0 sec. user=mdettweiler [2015-08-13 02:19:20] 765*2^1406172-1 is not prime. Res64: 6AC0D1338CC5F48A Time : 0.0 sec. user=mdettweiler [2015-08-13 02:30:45] 923*2^1406172-1 is not prime. Res64: 2F05D2464BC87BAD Time : 0.0 sec. user=mdettweiler [2015-08-13 02:30:45] 721*2^1406173-1 is not prime. Res64: FB85553D37B0E344 Time : 0.0 sec. user=mdettweiler [2015-08-13 02:33:11] 847*2^1406173-1 is not prime. Res64: 71A9CCEC73485789 Time : 0.0 sec. user=mdettweiler [2015-08-13 02:33:12] 675*2^1406174-1 is not prime. Res64: C6A3E24A531AC894 Time : 0.0 sec. user=mdettweiler [2015-08-13 02:36:21] 731*2^1406174-1 is not prime. Res64: EF64F6D580E17B72 Time : 0.0 sec. user=mdettweiler [2015-08-13 02:36:21] 825*2^1406174-1 is not prime. Res64: 4AEF6319E2097843 Time : 0.0 sec. user=mdettweiler [2015-08-13 02:37:46] 831*2^1406174-1 is not prime. Res64: EDC35C7E9A74EC04 Time : 0.0 sec. user=mdettweiler [2015-08-13 02:37:47] 897*2^1406174-1 is not prime. Res64: 39E3C246D063B464 Time : 0.0 sec. user=mdettweiler [2015-08-13 02:49:20] 613*2^1406175-1 is not prime. Res64: 32D6B1B8EA5F3F23 Time : 0.0 sec. user=mdettweiler [2015-08-13 02:49:21] 793*2^1406175-1 is not prime. Res64: 03D420048A671EB9 Time : 0.0 sec. user=mdettweiler [2015-08-13 02:51:34] 921*2^1406175-1 is not prime. Res64: 9897D3191C1ACBD4 Time : 0.0 sec. user=mdettweiler [2015-08-13 02:51:34] 677*2^1406176-1 is not prime. Res64: D5A2993D5EB54CAD Time : 0.0 sec. user=mdettweiler [2015-08-13 02:54:42] 693*2^1406176-1 is not prime. Res64: DCD13C35A3276C13 Time : 0.0 sec. user=mdettweiler [2015-08-13 02:54:42] 723*2^1406176-1 is not prime. Res64: 0FAA589F9387D19C Time : 0.0 sec. user=mdettweiler [2015-08-13 02:56:27] 755*2^1406176-1 is not prime. Res64: 2B6DDA729B64D8D4 Time : 0.0 sec. user=mdettweiler [2015-08-13 02:56:27] 975*2^1406176-1 is not prime. Res64: DB201067C36B7122 Time : 0.0 sec. user=mdettweiler [2015-08-13 03:07:52] 619*2^1406177-1 is not prime. Res64: 4CED7048C8ACE8EB Time : 0.0 sec. user=mdettweiler [2015-08-13 03:07:52] 631*2^1406177-1 is not prime. Res64: 8153DEE019458F47 Time : 0.0 sec. user=mdettweiler [2015-08-13 03:09:56] 675*2^1406177-1 is not prime. Res64: 60E19365C2ED01B1 Time : 0.0 sec. user=mdettweiler [2015-08-13 03:09:56] 691*2^1406177-1 is not prime. Res64: 6A02F6F9A845B6D4 Time : 0.0 sec. user=mdettweiler [2015-08-13 03:13:03] 909*2^1406177-1 is not prime. Res64: 3CE6F0FF7C299C7B Time : 0.0 sec. user=mdettweiler [2015-08-13 03:13:03] 945*2^1406177-1 is not prime. Res64: 7388E726BB9DA2C2 Time : 0.0 sec. user=mdettweiler [2015-08-13 03:15:09] 955*2^1406177-1 is not prime. Res64: DA4EE536C50569E1 Time : 0.0 sec. user=mdettweiler [2015-08-13 03:15:09] 633*2^1406178-1 is not prime. Res64: D62E8557403C4393 Time : 0.0 sec. user=mdettweiler [2015-08-13 03:26:34] 941*2^1406178-1 is not prime. Res64: 03FFECA3E073581F Time : 0.0 sec. user=mdettweiler [2015-08-13 03:26:35] 603*2^1406179-1 is not prime. Res64: AA644A1A8DAD8D05 Time : 0.0 sec. user=mdettweiler [2015-08-13 03:28:24] 633*2^1406179-1 is not prime. Res64: 65D21EC79FCA268D Time : 0.0 sec. user=mdettweiler [2015-08-13 03:28:26] 735*2^1406179-1 is not prime. Res64: 3EDBB72776F29F19 Time : 0.0 sec. user=mdettweiler [2015-08-13 03:31:32] 741*2^1406179-1 is not prime. Res64: 9860BDE8F6FD0F2E Time : 0.0 sec. user=mdettweiler [2015-08-13 03:31:33] 629*2^1406180-1 is not prime. Res64: A007A99F56EE66E7 Time : 0.0 sec. user=mdettweiler [2015-08-13 03:33:39] 725*2^1406180-1 is not prime. Res64: B81F9C94FB38BD7B Time : 0.0 sec. user=mdettweiler [2015-08-13 03:33:40] 735*2^1406180-1 is not prime. Res64: D9266E4D9BFB95A7 Time : 0.0 sec. user=mdettweiler [2015-08-13 03:44:39] 795*2^1406180-1 is not prime. Res64: 19A9225AE06E3C00 Time : 0.0 sec. user=mdettweiler [2015-08-13 03:44:40] 813*2^1406180-1 is not prime. Res64: 5D37828D4B52659D Time : 0.0 sec. user=mdettweiler [2015-08-13 03:46:32] 843*2^1406180-1 is not prime. Res64: 0FAA1F6DF84E5B59 Time : 0.0 sec. user=mdettweiler [2015-08-13 03:46:33] 959*2^1406180-1 is not prime. Res64: AF77580EB7CE5BAF Time : 0.0 sec. user=mdettweiler [2015-08-13 03:49:25] 607*2^1406181-1 is not prime. Res64: B6535DF2329100AE Time : 0.0 sec. user=mdettweiler [2015-08-13 03:49:26] 625*2^1406181-1 is not prime. Res64: EF39B4FD4B026D40 Time : 0.0 sec. user=mdettweiler [2015-08-13 03:51:30] 651*2^1406181-1 is not prime. Res64: 272BA91068F25CA2 Time : 0.0 sec. user=mdettweiler [2015-08-13 03:51:30] 711*2^1406181-1 is not prime. Res64: 44B2B3BB4B1AADE7 Time : 0.0 sec. user=mdettweiler [2015-08-13 04:02:26] 751*2^1406181-1 is not prime. Res64: 3FA6FAE9EACF83F7 Time : 0.0 sec. user=mdettweiler [2015-08-13 04:02:27] 847*2^1406181-1 is not prime. Res64: FA81FEA7850EB26D Time : 0.0 sec. user=mdettweiler [2015-08-13 04:04:16] 861*2^1406181-1 is not prime. Res64: F22EEB86C6709090 Time : 0.0 sec. user=mdettweiler [2015-08-13 04:04:17] 871*2^1406181-1 is not prime. Res64: 2FAEBDF996D29B30 Time : 0.0 sec. user=mdettweiler [2015-08-13 04:07:19] 885*2^1406181-1 is not prime. Res64: C61CAAB6A1F0C96A Time : 0.0 sec. user=mdettweiler [2015-08-13 04:07:20] 901*2^1406181-1 is not prime. Res64: 454E5784B7D13C56 Time : 0.0 sec. user=mdettweiler [2015-08-13 04:09:30] 927*2^1406181-1 is not prime. Res64: 5B639E917021D07C Time : 0.0 sec. user=mdettweiler [2015-08-13 04:09:31] 949*2^1406181-1 is not prime. Res64: DBB67F7127C0E4CF Time : 0.0 sec. user=mdettweiler [2015-08-13 04:20:36] 657*2^1406182-1 is not prime. Res64: E2B4671776A97D44 Time : 0.0 sec. user=mdettweiler [2015-08-13 04:20:36] 705*2^1406182-1 is not prime. Res64: 50A5900940929AAA Time : 0.0 sec. user=mdettweiler [2015-08-13 04:22:37] 741*2^1406182-1 is not prime. Res64: 648EF55F4977CB81 Time : 0.0 sec. user=mdettweiler [2015-08-13 04:22:38] 801*2^1406182-1 is not prime. Res64: C856B94A00A0D972 Time : 0.0 sec. user=mdettweiler [2015-08-13 04:25:45] 833*2^1406182-1 is not prime. Res64: 09BC09E2F444E7AA Time : 0.0 sec. user=mdettweiler [2015-08-13 04:25:46] 947*2^1406182-1 is not prime. Res64: E931539444F2D0D3 Time : 0.0 sec. user=mdettweiler [2015-08-13 04:28:03] 669*2^1406183-1 is not prime. Res64: 126C68F640C4442C Time : 0.0 sec. user=mdettweiler [2015-08-13 04:28:04] 739*2^1406183-1 is not prime. Res64: 7724485454BB9C7F Time : 0.0 sec. user=mdettweiler [2015-08-13 04:39:11] 775*2^1406183-1 is not prime. Res64: 9F6D886F4BB8C2B6 Time : 0.0 sec. user=mdettweiler [2015-08-13 04:39:11] 985*2^1406183-1 is not prime. Res64: CE8C1202FFE9AC6E Time : 0.0 sec. user=mdettweiler [2015-08-13 04:41:03] 615*2^1406184-1 is not prime. Res64: 95ACC2DA1EB83539 Time : 0.0 sec. user=mdettweiler [2015-08-13 04:41:03] 675*2^1406184-1 is not prime. Res64: 2DF2E0DD5EDF2907 Time : 0.0 sec. user=mdettweiler [2015-08-13 04:43:27] 689*2^1406184-1 is not prime. Res64: 304DD50E430A9E91 Time : 0.0 sec. user=mdettweiler [2015-08-13 04:43:27] 737*2^1406184-1 is not prime. Res64: FC2A01EA26DF55E0 Time : 0.0 sec. user=mdettweiler [2015-08-13 04:45:44] 767*2^1406184-1 is not prime. Res64: DCB4F9038E32D331 Time : 0.0 sec. user=mdettweiler [2015-08-13 04:45:45] 825*2^1406184-1 is not prime. Res64: 5C8583F536CBF91F Time : 0.0 sec. user=mdettweiler [2015-08-13 04:56:47] 873*2^1406184-1 is not prime. Res64: F6F6D7720D81EEDC Time : 0.0 sec. user=mdettweiler [2015-08-13 04:56:47] 929*2^1406184-1 is not prime. Res64: 60C66D664A262F57 Time : 0.0 sec. user=mdettweiler [2015-08-13 04:58:42] 667*2^1406185-1 is not prime. Res64: 2631E4C3CE328CF7 Time : 0.0 sec. user=mdettweiler [2015-08-13 04:58:43] 687*2^1406185-1 is not prime. Res64: 92D00A4118D322DE Time : 0.0 sec. user=mdettweiler [2015-08-13 05:01:15] 819*2^1406185-1 is not prime. Res64: F4D30ACDA0D50031 Time : 0.0 sec. user=mdettweiler [2015-08-13 05:01:15] 847*2^1406185-1 is not prime. Res64: 5CC70C88DDF1F988 Time : 0.0 sec. user=mdettweiler [2015-08-13 05:03:32] 867*2^1406185-1 is not prime. Res64: 13D85A943F079971 Time : 0.0 sec. user=mdettweiler [2015-08-13 05:03:34] 937*2^1406185-1 is not prime. Res64: CC1D0D7D32AE899C Time : 0.0 sec. user=mdettweiler [2015-08-13 05:14:22] 985*2^1406185-1 is not prime. Res64: 2081DE4B6914994A Time : 0.0 sec. user=mdettweiler [2015-08-13 05:14:23] 705*2^1406186-1 is not prime. Res64: A1B4074DEF2B7669 Time : 0.0 sec. user=mdettweiler [2015-08-13 05:16:20] 747*2^1406186-1 is not prime. Res64: FBDEB8F8122F8000 Time : 0.0 sec. user=mdettweiler [2015-08-13 05:16:20] 857*2^1406186-1 is not prime. Res64: 743A29C1358DBE67 Time : 0.0 sec. user=mdettweiler [2015-08-13 05:18:56] 911*2^1406186-1 is not prime. Res64: 6757756B281FF02B Time : 0.0 sec. user=mdettweiler [2015-08-13 05:18:57] 923*2^1406186-1 is not prime. Res64: F61B247966EE710B Time : 0.0 sec. user=mdettweiler [2015-08-13 05:21:14] 615*2^1406187-1 is not prime. Res64: 3D8EB5738411E1CB Time : 0.0 sec. user=mdettweiler [2015-08-13 05:21:15] 703*2^1406187-1 is not prime. Res64: 2081869F4CD366AF Time : 0.0 sec. user=mdettweiler [2015-08-13 05:31:57] 739*2^1406187-1 is not prime. Res64: 0E36BC58F17C06A8 Time : 0.0 sec. user=mdettweiler [2015-08-13 05:31:58] 829*2^1406187-1 is not prime. Res64: 402F515EC58432D0 Time : 0.0 sec. user=mdettweiler [2015-08-13 05:34:00] 849*2^1406187-1 is not prime. Res64: 751D39004B3DDA83 Time : 0.0 sec. user=mdettweiler [2015-08-13 05:34:00] 871*2^1406187-1 is not prime. Res64: 4BE87DC0E488BE0A Time : 0.0 sec. user=mdettweiler [2015-08-13 05:36:32] 931*2^1406187-1 is not prime. Res64: 0400C478C5733A33 Time : 0.0 sec. user=mdettweiler [2015-08-13 05:36:32] 615*2^1406188-1 is not prime. Res64: 9DC9FE624239D3F8 Time : 0.0 sec. user=mdettweiler [2015-08-13 05:38:47] 723*2^1406188-1 is not prime. Res64: 81FBECB2C22DC21B Time : 0.0 sec. user=mdettweiler [2015-08-13 05:38:48] 975*2^1406188-1 is not prime. Res64: 2FE974C648EC52EA Time : 0.0 sec. user=mdettweiler [2015-08-13 05:49:36] 999*2^1406188-1 is not prime. Res64: 3A835CE0C17B2C52 Time : 0.0 sec. user=mdettweiler [2015-08-13 05:49:36] 889*2^1406189-1 is not prime. Res64: 429EFFFF08B01EF4 Time : 0.0 sec. user=mdettweiler [2015-08-13 05:51:37] 657*2^1406190-1 is not prime. Res64: 4FD10A71EB7D8797 Time : 0.0 sec. user=mdettweiler [2015-08-13 05:51:37] 783*2^1406190-1 is not prime. Res64: 7AA0714922B08D10 Time : 0.0 sec. user=mdettweiler [2015-08-13 05:54:07] 791*2^1406190-1 is not prime. Res64: 7AEBE52796F82D2E Time : 0.0 sec. user=mdettweiler [2015-08-13 05:54:07] 873*2^1406190-1 is not prime. Res64: 96120DDCF9234A5B Time : 0.0 sec. user=mdettweiler [2015-08-13 05:56:23] 891*2^1406190-1 is not prime. Res64: B5D5E2DB1C0958BC Time : 0.0 sec. user=mdettweiler [2015-08-13 05:56:23] 751*2^1406191-1 is not prime. Res64: 2895D7A803021761 Time : 0.0 sec. user=mdettweiler [2015-08-13 06:07:20] 775*2^1406191-1 is not prime. Res64: 49E149901952140B Time : 0.0 sec. user=mdettweiler [2015-08-13 06:07:21] 855*2^1406191-1 is not prime. Res64: B4EBD87C3140C6ED Time : 0.0 sec. user=mdettweiler [2015-08-13 06:09:19] 861*2^1406191-1 is not prime. Res64: 5D0355C3B97A1B4D Time : 0.0 sec. user=mdettweiler [2015-08-13 06:09:19] 993*2^1406191-1 is not prime. Res64: 62733358FD0B6576 Time : 0.0 sec. user=mdettweiler [2015-08-13 06:11:43] 603*2^1406192-1 is not prime. Res64: 9C60044182BA441E Time : 0.0 sec. user=mdettweiler [2015-08-13 06:11:43] 633*2^1406192-1 is not prime. Res64: B7D745AE5913E11F Time : 0.0 sec. user=mdettweiler [2015-08-13 06:13:58] 713*2^1406192-1 is not prime. Res64: 25F24E0755483CEC Time : 0.0 sec. user=mdettweiler [2015-08-13 06:13:59] 767*2^1406192-1 is not prime. Res64: FBB6C8D8B190ADE9 Time : 0.0 sec. user=mdettweiler [2015-08-13 06:25:07] 827*2^1406192-1 is not prime. Res64: 4918EFBEF0D82985 Time : 0.0 sec. user=mdettweiler [2015-08-13 06:25:08] 945*2^1406192-1 is not prime. Res64: 48848249EDDA0EBB Time : 0.0 sec. user=mdettweiler [2015-08-13 06:26:54] 999*2^1406192-1 is not prime. Res64: 99D68E30AE972CDC Time : 0.0 sec. user=mdettweiler [2015-08-13 06:26:55] 657*2^1406193-1 is not prime. Res64: 0B7E0EABE5132CAA Time : 0.0 sec. user=mdettweiler [2015-08-13 06:29:22] 679*2^1406193-1 is not prime. Res64: B006D4116851AB0F Time : 0.0 sec. user=mdettweiler [2015-08-13 06:29:23] 759*2^1406193-1 is not prime. Res64: 1218999C6AD3C19A Time : 0.0 sec. user=mdettweiler [2015-08-13 06:31:34] 819*2^1406193-1 is not prime. Res64: 5F6A1B6DD51D7985 Time : 0.0 sec. user=mdettweiler [2015-08-13 06:31:35] 877*2^1406193-1 is not prime. Res64: 2620F9C312D35CB1 Time : 0.0 sec. user=mdettweiler [2015-08-13 06:42:48] 969*2^1406193-1 is not prime. Res64: 3F4F0EF3051BBECF Time : 0.0 sec. user=mdettweiler [2015-08-13 06:42:48] 999*2^1406193-1 is not prime. Res64: 482D8349D49B9013 Time : 0.0 sec. user=mdettweiler [2015-08-13 06:44:26] 605*2^1406194-1 is not prime. Res64: CBDD9A100BAB5E9C Time : 0.0 sec. user=mdettweiler [2015-08-13 06:44:27] 611*2^1406194-1 is not prime. Res64: F6622B9215108597 Time : 0.0 sec. user=mdettweiler [2015-08-13 06:47:00] 623*2^1406194-1 is not prime. Res64: EE9D8A7C6A3B93A0 Time : 0.0 sec. user=mdettweiler [2015-08-13 06:47:01] 651*2^1406194-1 is not prime. Res64: EBB2CA3228569088 Time : 0.0 sec. user=mdettweiler [2015-08-13 06:49:06] 773*2^1406194-1 is not prime. Res64: A7D02D71B0AE8BD4 Time : 0.0 sec. user=mdettweiler [2015-08-13 06:49:06] 825*2^1406194-1 is not prime. Res64: 2B720FDA486A848A Time : 0.0 sec. user=mdettweiler [2015-08-13 07:00:23] 827*2^1406194-1 is not prime. Res64: 361E96857341F573 Time : 0.0 sec. user=mdettweiler [2015-08-13 07:00:24] 881*2^1406194-1 is not prime. Res64: B40B5E432614C2EC Time : 0.0 sec. user=mdettweiler [2015-08-13 07:02:03] 885*2^1406194-1 is not prime. Res64: 12B5B901DF7E3BD4 Time : 0.0 sec. user=mdettweiler [2015-08-13 07:02:04] 951*2^1406194-1 is not prime. Res64: F6932C49751051B5 Time : 0.0 sec. user=mdettweiler [2015-08-13 07:04:38] 981*2^1406194-1 is not prime. Res64: 7D82B76A9039D7AC Time : 0.0 sec. user=mdettweiler [2015-08-13 07:04:39] 649*2^1406195-1 is not prime. Res64: 327D4BD9D5F79488 Time : 0.0 sec. user=mdettweiler [2015-08-13 07:06:47] 693*2^1406195-1 is not prime. Res64: DF376159B8D44005 Time : 0.0 sec. user=mdettweiler [2015-08-13 07:06:47] 735*2^1406195-1 is not prime. Res64: A59BC1A9FE227295 Time : 0.0 sec. user=mdettweiler [2015-08-13 07:17:59] 823*2^1406195-1 is not prime. Res64: 48D8831C0449AC63 Time : 0.0 sec. user=mdettweiler [2015-08-13 07:17:59] 855*2^1406195-1 is not prime. Res64: 91A5434B516FAC56 Time : 0.0 sec. user=mdettweiler [2015-08-13 07:19:51] 913*2^1406195-1 is not prime. Res64: 99492E37575BE1F2 Time : 0.0 sec. user=mdettweiler [2015-08-13 07:19:51] 915*2^1406195-1 is not prime. Res64: 653344A3F535C7AD Time : 0.0 sec. user=mdettweiler [2015-08-13 07:22:38] 963*2^1406195-1 is not prime. Res64: FF852076D7F60A08 Time : 0.0 sec. user=mdettweiler [2015-08-13 07:22:38] 999*2^1406195-1 is not prime. Res64: C2B85FCC7469E1EB Time : 0.0 sec. user=mdettweiler [2015-08-13 07:24:32] 635*2^1406196-1 is not prime. Res64: 02E3340FA6AB54E1 Time : 0.0 sec. user=mdettweiler [2015-08-13 07:24:32] 695*2^1406196-1 is not prime. Res64: 24DE4BC1D253C3D9 Time : 0.0 sec. user=mdettweiler [2015-08-13 07:35:40] 725*2^1406196-1 is not prime. Res64: 2AEEBBCCD5BA4339 Time : 0.0 sec. user=mdettweiler [2015-08-13 07:35:41] 839*2^1406196-1 is not prime. Res64: 72E2C36769EF0377 Time : 0.0 sec. user=mdettweiler [2015-08-13 07:37:34] 879*2^1406196-1 is not prime. Res64: 57D92A22DCD91F8A Time : 0.0 sec. user=mdettweiler [2015-08-13 07:37:34] 899*2^1406196-1 is not prime. Res64: F54985E1A88F854C Time : 0.0 sec. user=mdettweiler [2015-08-13 07:40:21] 975*2^1406196-1 is not prime. Res64: 9B75BEEC8009FBDD Time : 0.0 sec. user=mdettweiler [2015-08-13 07:40:21] 987*2^1406196-1 is not prime. Res64: FE26D8EF6DA4D7DB Time : 0.0 sec. user=mdettweiler [2015-08-13 07:42:13] 993*2^1406196-1 is not prime. Res64: E82E46E4D9A71184 Time : 0.0 sec. user=mdettweiler [2015-08-13 07:42:13] 639*2^1406197-1 is not prime. Res64: 7205D9C05DF0C202 Time : 0.0 sec. user=mdettweiler [2015-08-13 07:53:18] 717*2^1406197-1 is not prime. Res64: B277C29C8392B04A Time : 0.0 sec. user=mdettweiler [2015-08-13 07:53:19] 825*2^1406197-1 is not prime. Res64: B4C8D9431EC44A57 Time : 0.0 sec. user=mdettweiler [2015-08-13 07:55:08] 829*2^1406197-1 is not prime. Res64: EB67EBB1CA35A3EE Time : 0.0 sec. user=mdettweiler [2015-08-13 07:55:08] 831*2^1406197-1 is not prime. Res64: 5813225251ABF874 Time : 0.0 sec. user=mdettweiler [2015-08-13 07:57:53] 915*2^1406197-1 is not prime. Res64: 0D02FB536FD40F93 Time : 0.0 sec. user=mdettweiler [2015-08-13 07:57:53] 975*2^1406197-1 is not prime. Res64: 26057027EECEA346 Time : 0.0 sec. user=mdettweiler [2015-08-13 07:59:56] 617*2^1406198-1 is not prime. Res64: D5AC6854BE024FCE Time : 0.0 sec. user=mdettweiler [2015-08-13 07:59:56] 623*2^1406198-1 is not prime. Res64: CB635A6ABB11E10E Time : 0.0 sec. user=mdettweiler [2015-08-13 08:10:55] 641*2^1406198-1 is not prime. Res64: 7B3AFBE79E1B7F04 Time : 0.0 sec. user=mdettweiler [2015-08-13 08:10:55] 693*2^1406198-1 is not prime. Res64: C6F19BECC7F80A99 Time : 0.0 sec. user=mdettweiler [2015-08-13 08:12:47] 795*2^1406198-1 is not prime. Res64: 4DAB66092C36FA41 Time : 0.0 sec. user=mdettweiler [2015-08-13 08:12:48] 887*2^1406198-1 is not prime. Res64: D845D4763B1C0A72 Time : 0.0 sec. user=mdettweiler [2015-08-13 08:15:41] 649*2^1406199-1 is not prime. Res64: DF38D134A61E5BBD Time : 0.0 sec. user=mdettweiler [2015-08-13 08:15:41] 675*2^1406199-1 is not prime. Res64: C04344DF58BC7766 Time : 0.0 sec. user=mdettweiler [2015-08-13 08:17:33] 711*2^1406199-1 is not prime. Res64: A49B85941B86E51D Time : 0.0 sec. user=mdettweiler [2015-08-13 08:17:34] 955*2^1406199-1 is not prime. Res64: 99CE6B002D0C7BD4 Time : 0.0 sec. user=mdettweiler [2015-08-13 08:28:46] 961*2^1406199-1 is not prime. Res64: D92FF403DF0F1AF8 Time : 0.0 sec. user=mdettweiler [2015-08-13 08:28:46] 623*2^1406200-1 is not prime. Res64: 192C7DBB6702261D Time : 0.0 sec. user=mdettweiler [2015-08-13 08:30:27] 645*2^1406200-1 is not prime. Res64: 5EC37A58E646592E Time : 0.0 sec. user=mdettweiler [2015-08-13 08:30:27] 677*2^1406200-1 is not prime. Res64: 09D359617133FF52 Time : 0.0 sec. user=mdettweiler [2015-08-13 08:33:17] 695*2^1406200-1 is not prime. Res64: C23B71644DC987BB Time : 0.0 sec. user=mdettweiler [2015-08-13 08:33:17] 707*2^1406200-1 is not prime. Res64: 5BC7B0F50BA0EEF9 Time : 0.0 sec. user=mdettweiler [2015-08-13 08:35:08] 873*2^1406200-1 is not prime. Res64: F5FCC0714E69D085 Time : 0.0 sec. user=mdettweiler [2015-08-13 08:35:09] 995*2^1406200-1 is not prime. Res64: 34F5076569AC478D Time : 0.0 sec. user=mdettweiler [2015-08-13 08:46:24] 615*2^1406201-1 is not prime. Res64: BFC3B03007B489C5 Time : 0.0 sec. user=mdettweiler [2015-08-13 08:46:25] 711*2^1406201-1 is not prime. Res64: 331725579824B6B7 Time : 0.0 sec. user=mdettweiler [2015-08-13 08:48:08] 741*2^1406201-1 is not prime. Res64: 4A155690F4145A29 Time : 0.0 sec. user=mdettweiler [2015-08-13 08:48:09] 671*2^1406202-1 is not prime. Res64: 5EAA939D242827D6 Time : 0.0 sec. user=mdettweiler [2015-08-13 08:50:57] 681*2^1406202-1 is not prime. Res64: 58E83E7D29F0DCF0 Time : 0.0 sec. user=mdettweiler [2015-08-13 08:50:58] 711*2^1406202-1 is not prime. Res64: 752A63DBDC63148B Time : 0.0 sec. user=mdettweiler [2015-08-13 08:52:48] 725*2^1406202-1 is not prime. Res64: 2DF4A6FFB4F7C36C Time : 0.0 sec. user=mdettweiler [2015-08-13 08:52:49] 731*2^1406202-1 is not prime. Res64: E3720B1B804F5328 Time : 0.0 sec. user=mdettweiler [2015-08-13 09:04:03] 765*2^1406202-1 is not prime. Res64: CAEE5A5F0A8B8DD5 Time : 0.0 sec. user=mdettweiler [2015-08-13 09:04:05] 797*2^1406202-1 is not prime. Res64: AA77260F2610B922 Time : 0.0 sec. user=mdettweiler [2015-08-13 09:05:51] 801*2^1406202-1 is not prime. Res64: D4299FBEA71B8CA6 Time : 0.0 sec. user=mdettweiler [2015-08-13 09:05:53] 873*2^1406202-1 is not prime. Res64: AA3CA7AEAC580EA7 Time : 0.0 sec. user=mdettweiler [2015-08-13 09:08:33] 917*2^1406202-1 is not prime. Res64: 5A0670F3BFC87AFF Time : 0.0 sec. user=mdettweiler [2015-08-13 09:08:34] 945*2^1406202-1 is not prime. Res64: EC51F19F537BE4D6 Time : 0.0 sec. user=mdettweiler [2015-08-13 09:10:24] 977*2^1406202-1 is not prime. Res64: 85A4A17858760699 Time : 0.0 sec. user=mdettweiler [2015-08-13 09:10:24] 983*2^1406202-1 is not prime. Res64: 6A873D9C42726242 Time : 0.0 sec. user=mdettweiler [2015-08-13 09:22:03] 615*2^1406203-1 is not prime. Res64: EB3C14A9A6B78F25 Time : 0.0 sec. user=mdettweiler [2015-08-13 09:22:03] 663*2^1406203-1 is not prime. Res64: 737D865A2A0691C1 Time : 0.0 sec. user=mdettweiler [2015-08-13 09:23:45] 703*2^1406203-1 is not prime. Res64: DD90975DAD0A8DA9 Time : 0.0 sec. user=mdettweiler [2015-08-13 09:23:45] 901*2^1406203-1 is not prime. Res64: 86F93829905A353D Time : 0.0 sec. user=mdettweiler [2015-08-13 09:26:15] 969*2^1406203-1 is not prime. Res64: C3C7A29A1AF9776C Time : 0.0 sec. user=mdettweiler [2015-08-13 09:26:15] 605*2^1406204-1 is not prime. Res64: F52DD97C87B91C0F Time : 0.0 sec. user=mdettweiler [2015-08-13 09:28:27] 609*2^1406204-1 is not prime. Res64: 8B9AFE446C5DEA3F Time : 0.0 sec. user=mdettweiler [2015-08-13 09:28:27] 665*2^1406204-1 is not prime. Res64: FD9D42ED1B9985E7 Time : 0.0 sec. user=mdettweiler [2015-08-13 09:39:38] 749*2^1406204-1 is not prime. Res64: 28CA1FE210A1150D Time : 0.0 sec. user=mdettweiler [2015-08-13 09:39:38] 873*2^1406204-1 is not prime. Res64: 4156DD1B9AA22A6B Time : 0.0 sec. user=mdettweiler [2015-08-13 09:41:17] 897*2^1406204-1 is not prime. Res64: 1012E720CF54E228 Time : 0.0 sec. user=mdettweiler [2015-08-13 09:41:17] 923*2^1406204-1 is not prime. Res64: 3D130617F03EE5DD Time : 0.0 sec. user=mdettweiler [2015-08-13 09:43:49] 741*2^1406205-1 is not prime. Res64: F72FEB24C6C5FAF6 Time : 0.0 sec. user=mdettweiler [2015-08-13 09:43:49] 847*2^1406205-1 is not prime. Res64: BFDBAED3DC5E5A86 Time : 0.0 sec. user=mdettweiler [2015-08-13 09:45:59] 889*2^1406205-1 is not prime. Res64: 81FBE36A9CF1AD54 Time : 0.0 sec. user=mdettweiler [2015-08-13 09:45:59] 651*2^1406206-1 is not prime. Res64: E96A97E6846C764B Time : 0.0 sec. user=mdettweiler [2015-08-13 09:57:10] 813*2^1406206-1 is not prime. Res64: F2F7BE1AE81018A7 Time : 0.0 sec. user=mdettweiler [2015-08-13 09:57:10] 815*2^1406206-1 is not prime. Res64: 598383D45C15907A Time : 0.0 sec. user=mdettweiler [2015-08-13 09:58:49] 861*2^1406206-1 is not prime. Res64: FFB04DD316DA71E7 Time : 0.0 sec. user=mdettweiler [2015-08-13 09:58:49] 881*2^1406206-1 is not prime. Res64: E1AFDB04FC624514 Time : 0.0 sec. user=mdettweiler [2015-08-13 10:01:23] 941*2^1406206-1 is not prime. Res64: 6CDFC1C8E3E4D5C2 Time : 0.0 sec. user=mdettweiler [2015-08-13 10:01:23] 673*2^1406207-1 is not prime. Res64: 60EB3B51727F6BD7 Time : 0.0 sec. user=mdettweiler [2015-08-13 10:03:36] 729*2^1406207-1 is not prime. Res64: BA54F79AC63FD78D Time : 0.0 sec. user=mdettweiler [2015-08-13 10:03:37] 861*2^1406207-1 is not prime. Res64: 5CF46662388F71E6 Time : 0.0 sec. user=mdettweiler [2015-08-13 10:14:54] 991*2^1406207-1 is not prime. Res64: FC6701B96EF85AFA Time : 0.0 sec. user=mdettweiler [2015-08-13 10:14:55] 629*2^1406208-1 is not prime. Res64: D682119B57719510 Time : 0.0 sec. user=mdettweiler [2015-08-13 10:16:36] 663*2^1406208-1 is not prime. Res64: 008C8ABC048EB4C7 Time : 0.0 sec. user=mdettweiler [2015-08-13 10:16:37] 705*2^1406208-1 is not prime. Res64: 502AD9B2A7CAE63A Time : 0.0 sec. user=mdettweiler [2015-08-13 10:18:59] 707*2^1406208-1 is not prime. Res64: A4F442A0CA149F30 Time : 0.0 sec. user=mdettweiler [2015-08-13 10:19:00] 849*2^1406208-1 is not prime. Res64: 1EF51B0E039686ED Time : 0.0 sec. user=mdettweiler [2015-08-13 10:21:26] 915*2^1406208-1 is not prime. Res64: A0B11C2FDAAF6D2A Time : 0.0 sec. user=mdettweiler [2015-08-13 10:21:26] 945*2^1406208-1 is not prime. Res64: 8F76EAE95697BD37 Time : 0.0 sec. user=mdettweiler [2015-08-13 10:33:10] 977*2^1406208-1 is not prime. Res64: DC924670FD23E0BC Time : 0.0 sec. user=mdettweiler [2015-08-13 10:33:11] 609*2^1406209-1 is not prime. Res64: D752820E32CA94D1 Time : 0.0 sec. user=mdettweiler [2015-08-13 10:34:26] 661*2^1406209-1 is not prime. Res64: 03D6731D3B92BABB Time : 0.0 sec. user=mdettweiler [2015-08-13 10:34:27] 753*2^1406210-1 is not prime. Res64: 6500F39AE9DB648D Time : 0.0 sec. user=mdettweiler [2015-08-13 10:36:51] 825*2^1406210-1 is not prime. Res64: 958595BB74CC99EE Time : 0.0 sec. user=mdettweiler [2015-08-13 10:36:51] 643*2^1406211-1 is not prime. Res64: 56734D5867C48B6C Time : 0.0 sec. user=mdettweiler [2015-08-13 10:39:23] 669*2^1406211-1 is not prime. Res64: 8C6B73A396B9B4D6 Time : 0.0 sec. user=mdettweiler [2015-08-13 10:39:24] 685*2^1406211-1 is not prime. Res64: 11238DE56842C078 Time : 0.0 sec. user=mdettweiler [2015-08-13 10:50:47] 753*2^1406211-1 is not prime. Res64: 9D2A07919BA10312 Time : 0.0 sec. user=mdettweiler [2015-08-13 10:50:48] 879*2^1406211-1 is not prime. Res64: D90AB8653B9B7996 Time : 0.0 sec. user=mdettweiler [2015-08-13 10:52:07] 629*2^1406212-1 is not prime. Res64: 6598AE93003868E5 Time : 0.0 sec. user=mdettweiler [2015-08-13 10:52:07] 647*2^1406212-1 is not prime. Res64: A258B4A751BB46BC Time : 0.0 sec. user=mdettweiler [2015-08-13 10:54:25] 693*2^1406212-1 is not prime. Res64: B94443690B2CF00A Time : 0.0 sec. user=mdettweiler [2015-08-13 10:54:26] 855*2^1406212-1 is not prime. Res64: 75FD1BBEA6A3093F Time : 0.0 sec. user=mdettweiler [2015-08-13 10:57:04] 657*2^1406213-1 is not prime. Res64: 691B55CB7D8AD43B Time : 0.0 sec. user=mdettweiler [2015-08-13 10:57:04] 679*2^1406213-1 is not prime. Res64: 3A255F288480EBD8 Time : 0.0 sec. user=mdettweiler [2015-08-13 11:08:25] 685*2^1406213-1 is not prime. Res64: 58B5C130F3949424 Time : 0.0 sec. user=mdettweiler [2015-08-13 11:08:26] 795*2^1406213-1 is not prime. Res64: 81E9FD95063F8E7A Time : 0.0 sec. user=mdettweiler [2015-08-13 11:09:46] 831*2^1406213-1 is not prime. Res64: 9E440E9DF5FCF6D9 Time : 0.0 sec. user=mdettweiler [2015-08-13 11:09:46] 855*2^1406213-1 is not prime. Res64: 65B1052EA6129D46 Time : 0.0 sec. user=mdettweiler [2015-08-13 11:12:09] 871*2^1406213-1 is not prime. Res64: 157F8C216138AFAD Time : 0.0 sec. user=mdettweiler [2015-08-13 11:12:10] 915*2^1406213-1 is not prime. Res64: B1C820E42AC3BFF4 Time : 0.0 sec. user=mdettweiler [2015-08-13 11:14:52] 651*2^1406214-1 is not prime. Res64: B16807E692D919F4 Time : 0.0 sec. user=mdettweiler [2015-08-13 11:14:53] 711*2^1406214-1 is not prime. Res64: 2914E46260B09263 Time : 0.0 sec. user=mdettweiler [2015-08-13 11:26:04] 737*2^1406214-1 is not prime. Res64: C698515673EF1C96 Time : 0.0 sec. user=mdettweiler [2015-08-13 11:26:04] 741*2^1406214-1 is not prime. Res64: 4B86B9E7AAE7F3BE Time : 0.0 sec. user=mdettweiler [2015-08-13 11:27:29] 833*2^1406214-1 is not prime. Res64: 28856A1DB400E4DD Time : 0.0 sec. user=mdettweiler [2015-08-13 11:27:29] 971*2^1406214-1 is not prime. Res64: 0A2EAA44731F444F Time : 0.0 sec. user=mdettweiler [2015-08-13 11:29:46] 601*2^1406215-1 is not prime. Res64: C395F66F96D14BE6 Time : 0.0 sec. user=mdettweiler [2015-08-13 11:29:47] 625*2^1406215-1 is not prime. Res64: 552B3861BEAD34EF Time : 0.0 sec. user=mdettweiler [2015-08-13 11:32:30] 735*2^1406215-1 is not prime. Res64: D708451BC928B35E Time : 0.0 sec. user=mdettweiler [2015-08-13 11:32:30] 765*2^1406215-1 is not prime. Res64: 646C9384B6FF3D1F Time : 0.0 sec. user=mdettweiler [2015-08-13 11:43:38] 775*2^1406215-1 is not prime. Res64: 9E921805D611EF30 Time : 0.0 sec. user=mdettweiler [2015-08-13 11:43:39] 853*2^1406215-1 is not prime. Res64: 64449E8CE8020692 Time : 0.0 sec. user=mdettweiler [2015-08-13 11:45:06] 861*2^1406215-1 is not prime. Res64: 42E3A4173B45A13D Time : 0.0 sec. user=mdettweiler [2015-08-13 11:45:07] 895*2^1406215-1 is not prime. Res64: 1A17CF51F19AD868 Time : 0.0 sec. user=mdettweiler [2015-08-13 11:47:24] 985*2^1406215-1 is not prime. Res64: 8D78E64FE7FDE933 Time : 0.0 sec. user=mdettweiler [2015-08-13 11:47:24] 623*2^1406216-1 is not prime. Res64: 1A77AC2CF53AD39E Time : 0.0 sec. user=mdettweiler [2015-08-13 11:50:05] 629*2^1406216-1 is not prime. Res64: 4EEAE5AF0ECC3808 Time : 0.0 sec. user=mdettweiler [2015-08-13 11:50:05] 633*2^1406216-1 is not prime. Res64: D042F0309B0A6125 Time : 0.0 sec. user=mdettweiler [2015-08-13 12:01:17] 635*2^1406216-1 is not prime. Res64: 4A18629E8C4DF3BC Time : 0.0 sec. user=mdettweiler [2015-08-13 12:01:18] 677*2^1406216-1 is not prime. Res64: 77A749E470ABA6D4 Time : 0.0 sec. user=mdettweiler [2015-08-13 12:02:44] 725*2^1406216-1 is not prime. Res64: C7CC50896A32D85D Time : 0.0 sec. user=mdettweiler [2015-08-13 12:02:45] 759*2^1406216-1 is not prime. Res64: 3778353154CA7513 Time : 0.0 sec. user=mdettweiler [2015-08-13 12:05:09] 837*2^1406216-1 is not prime. Res64: 97233687B15B476B Time : 0.0 sec. user=mdettweiler [2015-08-13 12:05:10] 903*2^1406216-1 is not prime. Res64: 3A4126FFCE879B57 Time : 0.0 sec. user=mdettweiler [2015-08-13 12:07:47] 923*2^1406216-1 is not prime. Res64: C86BCF9195BEC37F Time : 0.0 sec. user=mdettweiler [2015-08-13 12:07:47] 739*2^1406217-1 is not prime. Res64: 4BF85762623D49BA Time : 0.0 sec. user=mdettweiler [2015-08-13 12:19:02] 819*2^1406217-1 is not prime. Res64: 8C14352C7ACD4A8D Time : 0.0 sec. user=mdettweiler [2015-08-13 12:19:03] 835*2^1406217-1 is not prime. Res64: 7EDB614B04EAEA2B Time : 0.0 sec. user=mdettweiler [2015-08-13 12:20:22] 871*2^1406217-1 is not prime. Res64: BC72E5685CDE3435 Time : 0.0 sec. user=mdettweiler [2015-08-13 12:20:23] 895*2^1406217-1 is not prime. Res64: 6355F3B6BDE79A73 Time : 0.0 sec. user=mdettweiler [2015-08-13 12:22:50] 949*2^1406217-1 is not prime. Res64: 1C82C2BE232AAF69 Time : 0.0 sec. user=mdettweiler [2015-08-13 12:22:50] 979*2^1406217-1 is not prime. Res64: 1198A69E1C2CB67B Time : 0.0 sec. user=mdettweiler [2015-08-13 12:25:23] 603*2^1406218-1 is not prime. Res64: D216820C11FFEF3E Time : 0.0 sec. user=mdettweiler [2015-08-13 12:25:24] 647*2^1406218-1 is not prime. Res64: 4D6AE4BEE14758EA Time : 0.0 sec. user=mdettweiler [2015-08-13 12:36:43] 651*2^1406218-1 is not prime. Res64: D7E657FC4D4D1E48 Time : 0.0 sec. user=mdettweiler [2015-08-13 12:36:44] 923*2^1406218-1 is not prime. Res64: 0ACC07B5B4EE24FF Time : 0.0 sec. user=mdettweiler [2015-08-13 12:38:00] 941*2^1406218-1 is not prime. Res64: 5DBDFA3D1357B3BB Time : 0.0 sec. user=mdettweiler [2015-08-13 12:38:00] 945*2^1406218-1 is not prime. Res64: 47F561E4B7E966B1 Time : 0.0 sec. user=mdettweiler [2015-08-13 12:40:24] 601*2^1406219-1 is not prime. Res64: ED877CB1FD39903B Time : 0.0 sec. user=mdettweiler [2015-08-13 12:40:25] 645*2^1406219-1 is not prime. Res64: 34CC68BA83A1919F Time : 0.0 sec. user=mdettweiler [2015-08-13 12:42:58] 753*2^1406219-1 is not prime. Res64: 044B37D250467723 Time : 0.0 sec. user=mdettweiler [2015-08-13 12:42:58] 921*2^1406219-1 is not prime. Res64: D65E9FC2764FBF20 Time : 0.0 sec. user=mdettweiler [2015-08-13 12:54:21] 949*2^1406219-1 is not prime. Res64: 70E722E0C46DC5DF Time : 0.0 sec. user=mdettweiler [2015-08-13 12:54:21] 767*2^1406220-1 is not prime. Res64: 3E89E467D998EBF7 Time : 0.0 sec. user=mdettweiler [2015-08-13 12:55:33] 843*2^1406220-1 is not prime. Res64: CADB4B28218CD608 Time : 0.0 sec. user=mdettweiler [2015-08-13 12:55:33] 845*2^1406220-1 is not prime. Res64: 20BC9ACEF5DCDDD4 Time : 0.0 sec. user=mdettweiler [2015-08-13 12:58:00] 863*2^1406220-1 is not prime. Res64: 1200AB80CE9BA81A Time : 0.0 sec. user=mdettweiler [2015-08-13 12:58:00] 975*2^1406220-1 is not prime. Res64: BE722623F5AD85C1 Time : 0.0 sec. user=mdettweiler [2015-08-13 13:00:32] 983*2^1406220-1 is not prime. Res64: D785D28EF0353BA8 Time : 0.0 sec. user=mdettweiler [2015-08-13 13:00:33] 987*2^1406220-1 is not prime. Res64: 3560325BE70006B6 Time : 0.0 sec. user=mdettweiler [2015-08-13 13:12:03] 745*2^1406221-1 is not prime. Res64: 189C82E8705A79C6 Time : 0.0 sec. user=mdettweiler [2015-08-13 13:12:04] 751*2^1406221-1 is not prime. Res64: B5158ADF6F0DECB0 Time : 0.0 sec. user=mdettweiler [2015-08-13 13:13:08] 861*2^1406221-1 is not prime. Res64: 48AB4E0D321BC1A6 Time : 0.0 sec. user=mdettweiler [2015-08-13 13:13:09] 979*2^1406221-1 is not prime. Res64: 0AC9DC7C1EC938E3 Time : 0.0 sec. user=mdettweiler [2015-08-13 13:15:38] 997*2^1406221-1 is not prime. Res64: AEB8DC54FEBD1856 Time : 0.0 sec. user=mdettweiler [2015-08-13 13:15:38] 615*2^1406222-1 is not prime. Res64: CF5DBB8634C3385C Time : 0.0 sec. user=mdettweiler [2015-08-13 13:18:12] 683*2^1406222-1 is not prime. Res64: DF778F78FD54E94B Time : 0.0 sec. user=mdettweiler [2015-08-13 13:18:12] 741*2^1406222-1 is not prime. Res64: 2FED1915C1B4E946 Time : 0.0 sec. user=mdettweiler [2015-08-13 13:29:46] 767*2^1406222-1 is not prime. Res64: D01648A334476416 Time : 0.0 sec. user=mdettweiler [2015-08-13 13:29:47] 785*2^1406222-1 is not prime. Res64: D0321DEB64BC075A Time : 0.0 sec. user=mdettweiler [2015-08-13 13:30:51] 813*2^1406222-1 is not prime. Res64: 4FCB4F5B2F403480 Time : 0.0 sec. user=mdettweiler [2015-08-13 13:30:51] 873*2^1406222-1 is not prime. Res64: 46A25787B1D3B023 Time : 0.0 sec. user=mdettweiler [2015-08-13 13:33:17] 735*2^1406223-1 is not prime. Res64: 48D124AA03176632 Time : 0.0 sec. user=mdettweiler [2015-08-13 13:33:18] 745*2^1406223-1 is not prime. Res64: D57616A46FAD06AD Time : 0.0 sec. user=mdettweiler [2015-08-13 13:35:58] 751*2^1406223-1 is not prime. Res64: 85C2B1D67D545646 Time : 0.0 sec. user=mdettweiler [2015-08-13 13:35:58] 861*2^1406223-1 is not prime. Res64: 8FAF5CD0D7A808AE Time : 0.0 sec. user=mdettweiler [2015-08-13 13:47:30] 891*2^1406223-1 is not prime. Res64: D2542A42BC64E22C Time : 0.0 sec. user=mdettweiler [2015-08-13 13:47:31] 973*2^1406223-1 is not prime. Res64: 4B8D3F7A5575A99D Time : 0.0 sec. user=mdettweiler [2015-08-13 13:48:29] 635*2^1406224-1 is not prime. Res64: 1F0EFABD9AFA31EC Time : 0.0 sec. user=mdettweiler [2015-08-13 13:48:30] 645*2^1406224-1 is not prime. Res64: BAA78D657910BD7D Time : 0.0 sec. user=mdettweiler [2015-08-13 13:50:59] 707*2^1406224-1 is not prime. Res64: FC37E38DE0CBDFD0 Time : 0.0 sec. user=mdettweiler [2015-08-13 13:51:00] 723*2^1406224-1 is not prime. Res64: 4138104F10900A90 Time : 0.0 sec. user=mdettweiler [2015-08-13 13:53:38] 765*2^1406224-1 is not prime. Res64: 001FA0E70BD1E2B2 Time : 0.0 sec. user=mdettweiler [2015-08-13 13:53:38] 813*2^1406224-1 is not prime. Res64: 85A64A451BFBFEAD Time : 0.0 sec. user=mdettweiler [2015-08-13 14:05:11] 873*2^1406224-1 is not prime. Res64: 765025A81C0D4CCD Time : 0.0 sec. user=mdettweiler [2015-08-13 14:05:12] 927*2^1406224-1 is not prime. Res64: 763096406FAE01B2 Time : 0.0 sec. user=mdettweiler [2015-08-13 14:06:38] 669*2^1406225-1 is not prime. Res64: AC5081B237F17922 Time : 0.0 sec. user=mdettweiler [2015-08-13 14:06:38] 781*2^1406225-1 is not prime. Res64: 44CDCF6C1709BA9E Time : 0.0 sec. user=mdettweiler [2015-08-13 14:08:45] 711*2^1406226-1 is not prime. Res64: A46B2CD13A5795A5 Time : 0.0 sec. user=mdettweiler [2015-08-13 14:08:45] 725*2^1406226-1 is not prime. Res64: 30A556C95E717A96 Time : 0.0 sec. user=mdettweiler [2015-08-13 14:11:18] 737*2^1406226-1 is not prime. Res64: C01F93F583D77F85 Time : 0.0 sec. user=mdettweiler [2015-08-13 14:11:19] 801*2^1406226-1 is not prime. Res64: DB748FE8616832DD Time : 0.0 sec. user=mdettweiler [2015-08-13 14:22:59] 821*2^1406226-1 is not prime. Res64: 034CF003A088171A Time : 0.0 sec. user=mdettweiler [2015-08-13 14:22:59] 875*2^1406226-1 is not prime. Res64: 11EAB5CFFC49854E Time : 0.0 sec. user=mdettweiler [2015-08-13 14:24:22] 993*2^1406226-1 is not prime. Res64: C6B7885E0940B677 Time : 0.0 sec. user=mdettweiler [2015-08-13 14:24:22] 619*2^1406227-1 is not prime. Res64: C09540CD0915B08F Time : 0.0 sec. user=mdettweiler [2015-08-13 14:26:24] 663*2^1406227-1 is not prime. Res64: 2134ED548B514CB1 Time : 0.0 sec. user=mdettweiler [2015-08-13 14:26:25] 705*2^1406227-1 is not prime. Res64: EDAA300E96BD5743 Time : 0.0 sec. user=mdettweiler [2015-08-13 14:28:51] 889*2^1406227-1 is not prime. Res64: D8CF3799DE68DCE8 Time : 0.0 sec. user=mdettweiler [2015-08-13 14:28:51] 915*2^1406227-1 is not prime. Res64: 28A80F798C13B905 Time : 0.0 sec. user=mdettweiler [2015-08-13 14:40:37] 617*2^1406228-1 is not prime. Res64: 1CC34B9EBDE4EE6C Time : 0.0 sec. user=mdettweiler [2015-08-13 14:40:37] 759*2^1406228-1 is not prime. Res64: 710322F9FEDC5224 Time : 0.0 sec. user=mdettweiler [2015-08-13 14:41:57] 897*2^1406228-1 is not prime. Res64: 57C82343F6AE97BA Time : 0.0 sec. user=mdettweiler [2015-08-13 14:41:57] 963*2^1406228-1 is not prime. Res64: 97E5E0B636977738 Time : 0.0 sec. user=mdettweiler [2015-08-13 14:44:00] 977*2^1406228-1 is not prime. Res64: B647D3077765989D Time : 0.0 sec. user=mdettweiler [2015-08-13 14:44:00] 995*2^1406228-1 is not prime. Res64: C063C87A6B7C0E27 Time : 0.0 sec. user=mdettweiler [2015-08-13 14:46:29] 685*2^1406229-1 is not prime. Res64: 97D1A8A2E81507DE Time : 0.0 sec. user=mdettweiler [2015-08-13 14:46:30] 709*2^1406229-1 is not prime. Res64: 5F3B0F516F2C0565 Time : 0.0 sec. user=mdettweiler [2015-08-13 14:58:14] 765*2^1406229-1 is not prime. Res64: FF1D8F45758D3B99 Time : 0.0 sec. user=mdettweiler [2015-08-13 14:58:14] 877*2^1406229-1 is not prime. Res64: 97B872AB0BAE0856 Time : 0.0 sec. user=mdettweiler [2015-08-13 14:59:39] 919*2^1406229-1 is not prime. Res64: 4C1A34B49C9DBEE5 Time : 0.0 sec. user=mdettweiler [2015-08-13 14:59:40] 743*2^1406230-1 is not prime. Res64: 16C6E94E3881F812 Time : 0.0 sec. user=mdettweiler [2015-08-13 15:01:44] 791*2^1406230-1 is not prime. Res64: 0DD5F686FEBB23AC Time : 0.0 sec. user=mdettweiler [2015-08-13 15:01:46] 827*2^1406230-1 is not prime. Res64: 95E38B54E7595797 Time : 0.0 sec. user=mdettweiler [2015-08-13 15:04:22] 833*2^1406230-1 is not prime. Res64: 6B9CF61B2CE3CC36 Time : 0.0 sec. user=mdettweiler [2015-08-13 15:04:24] 873*2^1406230-1 is not prime. Res64: 6E900165A6BFCEF8 Time : 0.0 sec. user=mdettweiler [2015-08-13 15:15:59] 885*2^1406230-1 is not prime. Res64: DA86A52ACE02B109 Time : 0.0 sec. user=mdettweiler [2015-08-13 15:15:59] 941*2^1406230-1 is not prime. Res64: 985EE2CD1808802C Time : 0.0 sec. user=mdettweiler [2015-08-13 15:17:15] 619*2^1406231-1 is not prime. Res64: EAE9E32CCB488800 Time : 0.0 sec. user=mdettweiler [2015-08-13 15:17:15] 763*2^1406231-1 is not prime. Res64: 1B050C531A34F71E Time : 0.0 sec. user=mdettweiler [2015-08-13 15:19:41] 775*2^1406231-1 is not prime. Res64: 0D0A7EAA77CF05E0 Time : 0.0 sec. user=mdettweiler [2015-08-13 15:19:41] 823*2^1406231-1 is not prime. Res64: 5F7BD098CE239412 Time : 0.0 sec. user=mdettweiler [2015-08-13 15:22:05] 829*2^1406231-1 is not prime. Res64: 1618FD8B4ACE9934 Time : 0.0 sec. user=mdettweiler [2015-08-13 15:22:06] 879*2^1406231-1 is not prime. Res64: E443636F01E058C1 Time : 0.0 sec. user=mdettweiler [2015-08-13 15:33:44] 945*2^1406231-1 is not prime. Res64: 454926519717018A Time : 0.0 sec. user=mdettweiler [2015-08-13 15:33:45] 615*2^1406232-1 is not prime. Res64: 3CA9D52C2CAC9792 Time : 0.0 sec. user=mdettweiler [2015-08-13 15:35:02] 669*2^1406232-1 is not prime. Res64: A1521DDAEEE1777A Time : 0.0 sec. user=mdettweiler [2015-08-13 15:35:03] 857*2^1406232-1 is not prime. Res64: 26E6D5700EFB909F Time : 0.0 sec. user=mdettweiler [2015-08-13 15:38:11] 863*2^1406232-1 is not prime. Res64: C7186F521FDAF8C2 Time : 0.0 sec. user=mdettweiler [2015-08-13 15:38:11] 899*2^1406232-1 is not prime. Res64: 7960966005794186 Time : 0.0 sec. user=mdettweiler [2015-08-13 15:40:00] 915*2^1406232-1 is not prime. Res64: 0460F1FB6E0FC060 Time : 0.0 sec. user=mdettweiler [2015-08-13 15:40:00] 977*2^1406232-1 is not prime. Res64: FABA1CAE410601B0 Time : 0.0 sec. user=mdettweiler [2015-08-13 15:51:22] 615*2^1406233-1 is not prime. Res64: 508B41C7DDF7AC7D Time : 0.0 sec. user=mdettweiler [2015-08-13 15:51:22] 681*2^1406233-1 is not prime. Res64: 2C480F42B9523A65 Time : 0.0 sec. user=mdettweiler [2015-08-13 15:52:44] 747*2^1406233-1 is not prime. Res64: D7826C5D4838E63E Time : 0.0 sec. user=mdettweiler [2015-08-13 15:52:44] 765*2^1406233-1 is not prime. Res64: CC77A717D3E9D31B Time : 0.0 sec. user=mdettweiler [2015-08-13 15:55:46] 817*2^1406233-1 is not prime. Res64: 3D9CC5D1D74DF50C Time : 0.0 sec. user=mdettweiler [2015-08-13 15:55:46] 849*2^1406233-1 is not prime. Res64: 3D5E91CEAB12066A Time : 0.0 sec. user=mdettweiler [2015-08-13 15:57:38] 901*2^1406233-1 is not prime. Res64: 81873C006D4B4A9C Time : 0.0 sec. user=mdettweiler [2015-08-13 15:57:39] 919*2^1406233-1 is not prime. Res64: BBEEFAD1CDDDD9C7 Time : 0.0 sec. user=mdettweiler [2015-08-13 16:09:11] 605*2^1406234-1 is not prime. Res64: 1F04CB2397A5A119 Time : 0.0 sec. user=mdettweiler [2015-08-13 16:09:11] 635*2^1406234-1 is not prime. Res64: 5855A79F16A96F6E Time : 0.0 sec. user=mdettweiler [2015-08-13 16:10:29] 701*2^1406234-1 is not prime. Res64: 2C22E25BD05F323B Time : 0.0 sec. user=mdettweiler [2015-08-13 16:10:29] 773*2^1406234-1 is not prime. Res64: 941F2E386462854B Time : 0.0 sec. user=mdettweiler [2015-08-13 16:13:35] 783*2^1406234-1 is not prime. Res64: 001162D93AC1334F Time : 0.0 sec. user=mdettweiler [2015-08-13 16:13:36] 813*2^1406234-1 is not prime. Res64: 1595A5FED8CBBCD8 Time : 0.0 sec. user=mdettweiler [2015-08-13 16:15:18] 875*2^1406234-1 is not prime. Res64: 86848EEE798BA8D3 Time : 0.0 sec. user=mdettweiler [2015-08-13 16:15:18] 903*2^1406234-1 is not prime. Res64: BC2BC09835CE6EA4 Time : 0.0 sec. user=mdettweiler [2015-08-13 16:27:05] 957*2^1406234-1 is not prime. Res64: 0A8F12E60D8175F1 Time : 0.0 sec. user=mdettweiler [2015-08-13 16:27:06] 709*2^1406235-1 is not prime. Res64: CA3882504950CF03 Time : 0.0 sec. user=mdettweiler [2015-08-13 16:28:10] 739*2^1406235-1 is not prime. Res64: 54E0DAF09BECAE07 Time : 0.0 sec. user=mdettweiler [2015-08-13 16:28:10] 775*2^1406235-1 is not prime. Res64: E564D70AD88D0F58 Time : 0.0 sec. user=mdettweiler [2015-08-13 16:31:10] 805*2^1406235-1 is not prime. Res64: 494B5E6BCBDDAE6B Time : 0.0 sec. user=mdettweiler [2015-08-13 16:31:11] 825*2^1406235-1 is not prime. Res64: 833836AF0AFFF72C Time : 0.0 sec. user=mdettweiler [2015-08-13 16:32:56] 919*2^1406235-1 is not prime. Res64: B8445201EB1FC270 Time : 0.0 sec. user=mdettweiler [2015-08-13 16:32:56] 955*2^1406235-1 is not prime. Res64: 5436D651972B7221 Time : 0.0 sec. user=mdettweiler [2015-08-13 16:44:39] 969*2^1406235-1 is not prime. Res64: D34871F037B255BB Time : 0.0 sec. user=mdettweiler [2015-08-13 16:44:39] 705*2^1406236-1 is not prime. Res64: FA50139E733417E9 Time : 0.0 sec. user=mdettweiler [2015-08-13 16:45:51] 723*2^1406236-1 is not prime. Res64: F062459EAF86BC3F Time : 0.0 sec. user=mdettweiler [2015-08-13 16:45:51] 773*2^1406236-1 is not prime. Res64: B59C92353D93556B Time : 0.0 sec. user=mdettweiler [2015-08-13 16:48:45] 843*2^1406236-1 is not prime. Res64: 974FCDFD90F39D50 Time : 0.0 sec. user=mdettweiler [2015-08-13 16:48:45] 993*2^1406236-1 is not prime. Res64: D1DA24787A5899DF Time : 0.0 sec. user=mdettweiler [2015-08-13 16:50:36] 607*2^1406237-1 is not prime. Res64: 5E0AEF2F2498EE23 Time : 0.0 sec. user=mdettweiler [2015-08-13 16:50:37] 717*2^1406237-1 is not prime. Res64: E255CDDAE886BF4D Time : 0.0 sec. user=mdettweiler [2015-08-13 17:02:24] 759*2^1406237-1 is not prime. Res64: 499580625174032A Time : 0.0 sec. user=mdettweiler [2015-08-13 17:02:25] 901*2^1406237-1 is not prime. Res64: A5FE1D4D1FD22A4C Time : 0.0 sec. user=mdettweiler [2015-08-13 17:03:40] 927*2^1406237-1 is not prime. Res64: 12C4E0D9D2578ECE Time : 0.0 sec. user=mdettweiler [2015-08-13 17:03:42] 955*2^1406237-1 is not prime. Res64: BDDC978C09887311 Time : 0.0 sec. user=mdettweiler [2015-08-13 17:06:39] 705*2^1406238-1 is not prime. Res64: 54A651F8D4A699E3 Time : 0.0 sec. user=mdettweiler [2015-08-13 17:06:40] 725*2^1406238-1 is not prime. Res64: D80A87204B8087F1 Time : 0.0 sec. user=mdettweiler [2015-08-13 17:08:34] 921*2^1406238-1 is not prime. Res64: 6E7F744BCD04EBBE Time : 0.0 sec. user=mdettweiler [2015-08-13 17:08:34] 663*2^1406239-1 is not prime. Res64: E223544163BEB009 Time : 0.0 sec. user=S_K_ [2015-08-13 17:14:23] 741*2^1406237-1 is not prime. Res64: ED4FAAF9BA63A429 Time : 0.0 sec. user=mdettweiler [2015-08-13 17:20:21] 675*2^1406239-1 is not prime. Res64: F45EA3DD8C38EB34 Time : 0.0 sec. user=mdettweiler [2015-08-13 17:20:21] 769*2^1406239-1 is not prime. Res64: FA260082BCC205A4 Time : 0.0 sec. user=mdettweiler [2015-08-13 17:21:42] 829*2^1406239-1 is not prime. Res64: 9EE742C61521D0EA Time : 0.0 sec. user=mdettweiler [2015-08-13 17:21:42] 843*2^1406239-1 is not prime. Res64: 3E80BAD3D4AC3A09 Time : 0.0 sec. user=mdettweiler [2015-08-13 17:24:39] 859*2^1406239-1 is not prime. Res64: BE5EDE1F76307770 Time : 0.0 sec. user=mdettweiler [2015-08-13 17:24:39] 827*2^1406240-1 is not prime. Res64: 634BD3BD1CF3DDF4 Time : 0.0 sec. user=mdettweiler [2015-08-13 17:26:30] 649*2^1406241-1 is not prime. Res64: E00FAA7915B2FDE6 Time : 0.0 sec. user=mdettweiler [2015-08-13 17:26:30] 745*2^1406241-1 is not prime. Res64: 811A9932E80CE0B8 Time : 0.0 sec. user=mdettweiler [2015-08-13 17:38:05] 885*2^1406241-1 is not prime. Res64: C45E5DE97DFD7D1F Time : 0.0 sec. user=mdettweiler [2015-08-13 17:38:05] 969*2^1406241-1 is not prime. Res64: 69F6DC38858CC7DA Time : 0.0 sec. user=mdettweiler [2015-08-13 17:39:29] 645*2^1406242-1 is not prime. Res64: 8351BD0A4E6ACD64 Time : 0.0 sec. user=mdettweiler [2015-08-13 17:39:29] 657*2^1406242-1 is not prime. Res64: F3106E1AC5A9F0F0 Time : 0.0 sec. user=mdettweiler [2015-08-13 17:42:18] 677*2^1406242-1 is not prime. Res64: ACD4D7AF30095727 Time : 0.0 sec. user=mdettweiler [2015-08-13 17:42:19] 747*2^1406242-1 is not prime. Res64: 46127E2067EE3DEB Time : 0.0 sec. user=mdettweiler [2015-08-13 17:44:09] 803*2^1406242-1 is not prime. Res64: EBFB342CCBF9EBE7 Time : 0.0 sec. user=mdettweiler [2015-08-13 17:44:09] 915*2^1406242-1 is not prime. Res64: 6F1FBE4562DCA5C4 Time : 0.0 sec. user=S_K_ [2015-08-13 17:48:56] 805*2^1406241-1 is not prime. Res64: F0E04FD1B5985C06 Time : 0.0 sec. user=mdettweiler [2015-08-13 17:55:44] 633*2^1406243-1 is not prime. Res64: 83A765F5A481105D Time : 0.0 sec. user=mdettweiler [2015-08-13 17:55:44] 675*2^1406243-1 is not prime. Res64: B4DB664F5D639EF3 Time : 0.0 sec. user=mdettweiler [2015-08-13 17:57:17] 715*2^1406243-1 is not prime. Res64: FC00586A844861E7 Time : 0.0 sec. user=mdettweiler [2015-08-13 17:57:17] 823*2^1406243-1 is not prime. Res64: 030B1170388E0B1E Time : 0.0 sec. user=mdettweiler [2015-08-13 17:59:53] 825*2^1406243-1 is not prime. Res64: 1D2B459E8FC4F346 Time : 0.0 sec. user=mdettweiler [2015-08-13 17:59:53] 861*2^1406243-1 is not prime. Res64: 103A6C123CD2FE81 Time : 0.0 sec. user=mdettweiler [2015-08-13 18:01:45] 939*2^1406243-1 is not prime. Res64: 840A8C0CC01A2001 Time : 0.0 sec. user=mdettweiler [2015-08-13 18:01:46] 985*2^1406243-1 is not prime. Res64: 635CA6D627B466C4 Time : 0.0 sec. user=mdettweiler [2015-08-13 18:13:23] 759*2^1406244-1 is not prime. Res64: FE04DF337DEF7C15 Time : 0.0 sec. user=mdettweiler [2015-08-13 18:13:23] 809*2^1406244-1 is not prime. Res64: CB14B72D67E8DA28 Time : 0.0 sec. user=mdettweiler [2015-08-13 18:14:56] 857*2^1406244-1 is not prime. Res64: 5C75D888DA587031 Time : 0.0 sec. user=mdettweiler [2015-08-13 18:14:56] 909*2^1406244-1 is not prime. Res64: 7A52B65DE5B2AF61 Time : 0.0 sec. user=mdettweiler [2015-08-13 18:17:27] 789*2^1406245-1 is not prime. Res64: 6C1579C62FDD590F Time : 0.0 sec. user=mdettweiler [2015-08-13 18:17:27] 799*2^1406245-1 is not prime. Res64: 50DEF16CDFD02182 Time : 0.0 sec. user=mdettweiler [2015-08-13 18:19:19] 957*2^1406245-1 is not prime. Res64: D2C768CA54ECA591 Time : 0.0 sec. user=mdettweiler [2015-08-13 18:19:20] 985*2^1406245-1 is not prime. Res64: 5C5B146786C490A5 Time : 0.0 sec. user=S_K_ [2015-08-13 18:23:24] 609*2^1406244-1 is not prime. Res64: 030DCEAC2A37C2C2 Time : 0.0 sec. user=mdettweiler [2015-08-13 18:31:02] 987*2^1406245-1 is not prime. Res64: 5544FD3C881E174E Time : 0.0 sec. user=mdettweiler [2015-08-13 18:31:02] 615*2^1406246-1 is not prime. Res64: 8331B6EFF1629318 Time : 0.0 sec. user=mdettweiler [2015-08-13 18:32:34] 645*2^1406246-1 is not prime. Res64: B09B5947AED34F94 Time : 0.0 sec. user=mdettweiler [2015-08-13 18:32:34] 675*2^1406246-1 is not prime. Res64: 0B5D97742E108E89 Time : 0.0 sec. user=mdettweiler [2015-08-13 18:35:06] 717*2^1406246-1 is not prime. Res64: A5707A87774F280B Time : 0.0 sec. user=mdettweiler [2015-08-13 18:35:06] 743*2^1406246-1 is not prime. Res64: F692FF28C7185E6A Time : 0.0 sec. user=mdettweiler [2015-08-13 18:37:00] 801*2^1406246-1 is not prime. Res64: 8A44275F1AC811D2 Time : 0.0 sec. user=mdettweiler [2015-08-13 18:37:01] 815*2^1406246-1 is not prime. Res64: 2F25AE7C90391F73 Time : 0.0 sec. user=mdettweiler [2015-08-13 18:48:37] 831*2^1406246-1 is not prime. Res64: F12AC805060B031C Time : 0.0 sec. user=mdettweiler [2015-08-13 18:48:38] 843*2^1406246-1 is not prime. Res64: 85A4D0B6DFCE02A0 Time : 0.0 sec. user=mdettweiler [2015-08-13 18:50:05] 1001*2^1406246-1 is not prime. Res64: A546A9183E5A735E Time : 0.0 sec. user=mdettweiler [2015-08-13 18:50:05] 619*2^1406247-1 is not prime. Res64: 1DCF7F43E2CC3617 Time : 0.0 sec. user=mdettweiler [2015-08-13 18:52:39] 735*2^1406247-1 is not prime. Res64: 3FC58EF53491B76F Time : 0.0 sec. user=mdettweiler [2015-08-13 18:52:39] 919*2^1406247-1 is not prime. Res64: 81D0C9C6CCB02337 Time : 0.0 sec. user=mdettweiler [2015-08-13 18:54:38] 689*2^1406248-1 is not prime. Res64: D65DB116799D0E01 Time : 0.0 sec. user=mdettweiler [2015-08-13 18:54:38] 695*2^1406248-1 is not prime. Res64: B8B25635DB83FB65 Time : 0.0 sec. user=mdettweiler [2015-08-13 19:06:23] 743*2^1406248-1 is not prime. Res64: 8FDC6DD6FC5177DC Time : 0.0 sec. user=mdettweiler [2015-08-13 19:06:24] 923*2^1406248-1 is not prime. Res64: AB7335967643C351 Time : 0.0 sec. user=mdettweiler [2015-08-13 19:07:58] 615*2^1406249-1 is not prime. Res64: 2EA7731012E47F13 Time : 0.0 sec. user=mdettweiler [2015-08-13 19:07:58] 729*2^1406249-1 is not prime. Res64: CCC2D440B765920A Time : 0.0 sec. user=mdettweiler [2015-08-13 19:10:22] 747*2^1406249-1 is not prime. Res64: 521B78A8B8F4ACB8 Time : 0.0 sec. user=mdettweiler [2015-08-13 19:10:23] 759*2^1406249-1 is not prime. Res64: 9E9899AB9CFEA217 Time : 0.0 sec. user=mdettweiler [2015-08-13 19:12:19] 795*2^1406249-1 is not prime. Res64: D9431847A9B068A5 Time : 0.0 sec. user=mdettweiler [2015-08-13 19:12:19] 879*2^1406249-1 is not prime. Res64: 49641853F33981F8 Time : 0.0 sec. user=mdettweiler [2015-08-13 19:24:14] 949*2^1406249-1 is not prime. Res64: 880612BB10EBBCF6 Time : 0.0 sec. user=mdettweiler [2015-08-13 19:24:14] 707*2^1406250-1 is not prime. Res64: 176379714BB33328 Time : 0.0 sec. user=mdettweiler [2015-08-13 19:25:41] 777*2^1406250-1 is not prime. Res64: D0E46238F2D7A53E Time : 0.0 sec. user=mdettweiler [2015-08-13 19:25:41] 867*2^1406250-1 is not prime. Res64: 8F7101433B3FAAA2 Time : 0.0 sec. user=mdettweiler [2015-08-13 19:28:12] 963*2^1406250-1 is not prime. Res64: E62E402F2E9A5063 Time : 0.0 sec. user=mdettweiler [2015-08-13 19:28:12] 977*2^1406250-1 is not prime. Res64: 379688577CBADAF3 Time : 0.0 sec. user=mdettweiler [2015-08-13 19:30:08] 681*2^1406251-1 is not prime. Res64: FB50099B97D46C84 Time : 0.0 sec. user=mdettweiler [2015-08-13 19:30:08] 685*2^1406251-1 is not prime. Res64: BAFFCE42EF77FC08 Time : 0.0 sec. user=mdettweiler [2015-08-13 19:42:50] 709*2^1406251-1 is not prime. Res64: 31F6FAEA886935CF Time : 0.0 sec. user=mdettweiler [2015-08-13 19:42:50] 849*2^1406251-1 is not prime. Res64: 7B84907161979387 Time : 0.0 sec. user=mdettweiler [2015-08-13 19:44:27] 951*2^1406251-1 is not prime. Res64: 6525EE979579B68E Time : 0.0 sec. user=mdettweiler [2015-08-13 19:44:27] 975*2^1406251-1 is not prime. Res64: 3695CA3B2156ADC6 Time : 0.0 sec. user=mdettweiler [2015-08-13 19:47:05] 609*2^1406252-1 is not prime. Res64: F121EF02D48A1EB9 Time : 0.0 sec. user=mdettweiler [2015-08-13 19:47:05] 657*2^1406252-1 is not prime. Res64: 1F484BFA51EE30B1 Time : 0.0 sec. user=mdettweiler [2015-08-13 19:49:31] 767*2^1406252-1 is not prime. Res64: 9A9A0F0454B8DC2C Time : 0.0 sec. user=mdettweiler [2015-08-13 19:49:32] 819*2^1406252-1 is not prime. Res64: E5FEB3E66CBBF21D Time : 0.0 sec. user=mdettweiler [2015-08-13 20:01:47] 903*2^1406252-1 is not prime. Res64: 763A6E28BFA9BD80 Time : 0.0 sec. user=mdettweiler [2015-08-13 20:01:48] 741*2^1406253-1 is not prime. Res64: 84FD47A1E292E021 Time : 0.0 sec. user=mdettweiler [2015-08-13 20:03:12] 835*2^1406253-1 is not prime. Res64: 7A790C88225E6159 Time : 0.0 sec. user=mdettweiler [2015-08-13 20:03:14] 877*2^1406253-1 is not prime. Res64: 02A03DEF0C5C3006 Time : 0.0 sec. user=mdettweiler [2015-08-13 20:05:37] 937*2^1406253-1 is not prime. Res64: 077D73534A9625FE Time : 0.0 sec. user=mdettweiler [2015-08-13 20:05:38] 657*2^1406254-1 is not prime. Res64: AA19C626AE92F287 Time : 0.0 sec. user=mdettweiler [2015-08-13 20:07:45] 663*2^1406254-1 is not prime. Res64: 0CB3C654DA9B6C41 Time : 0.0 sec. user=mdettweiler [2015-08-13 20:07:48] 783*2^1406254-1 is not prime. Res64: BAA6180D2E0FB8C3 Time : 0.0 sec. user=mdettweiler [2015-08-13 20:20:48] 791*2^1406254-1 is not prime. Res64: 4469D81BFA858706 Time : 0.0 sec. user=mdettweiler [2015-08-13 20:20:48] 897*2^1406254-1 is not prime. Res64: ABFE6FFE24DD681E Time : 0.0 sec. user=mdettweiler [2015-08-13 20:22:22] 903*2^1406254-1 is not prime. Res64: C31639389D050B5E Time : 0.0 sec. user=mdettweiler [2015-08-13 20:22:22] 965*2^1406254-1 is not prime. Res64: E12DCF5E73C6CF0A Time : 0.0 sec. user=mdettweiler [2015-08-13 20:24:23] 971*2^1406254-1 is not prime. Res64: 55B2703443ACB3C0 Time : 0.0 sec. user=mdettweiler [2015-08-13 20:24:23] 799*2^1406255-1 is not prime. Res64: 27F8923C546F5044 Time : 0.0 sec. user=mdettweiler [2015-08-13 20:26:43] 921*2^1406255-1 is not prime. Res64: 84B5397033693869 Time : 0.0 sec. user=mdettweiler [2015-08-13 20:26:44] 981*2^1406255-1 is not prime. Res64: ACB0E7CD4AAD4237 Time : 0.0 sec. user=mdettweiler [2015-08-13 20:39:54] 669*2^1406256-1 is not prime. Res64: 0B606044AEFEFC87 Time : 0.0 sec. user=mdettweiler [2015-08-13 20:39:54] 689*2^1406256-1 is not prime. Res64: 71FD872DFA11269E Time : 0.0 sec. user=mdettweiler [2015-08-13 20:41:23] 815*2^1406256-1 is not prime. Res64: A0B2D7CE15BB2291 Time : 0.0 sec. user=mdettweiler [2015-08-13 20:41:24] 609*2^1406257-1 is not prime. Res64: B5550224DF19D19B Time : 0.0 sec. user=mdettweiler [2015-08-13 20:43:28] 625*2^1406257-1 is not prime. Res64: 5DECFC962B5E8428 Time : 0.0 sec. user=mdettweiler [2015-08-13 20:43:29] 847*2^1406257-1 is not prime. Res64: 30B3E49F0CF8E8AA Time : 0.0 sec. user=mdettweiler [2015-08-13 20:45:50] 861*2^1406257-1 is not prime. Res64: E47572BD9FDAD066 Time : 0.0 sec. user=mdettweiler [2015-08-13 20:45:50] 967*2^1406257-1 is not prime. Res64: A351F8D2CA561D4A Time : 0.0 sec. user=S_K_ [2015-08-13 20:46:32] 827*2^1406246-1 is not prime. Res64: 63CB21C75237678B Time : 0.0 sec. user=mdettweiler [2015-08-13 20:58:31] 997*2^1406257-1 is not prime. Res64: 167B1A236CD6C823 Time : 0.0 sec. user=mdettweiler [2015-08-13 20:58:31] 837*2^1406258-1 is not prime. Res64: 853EC66E8B4A8626 Time : 0.0 sec. user=mdettweiler [2015-08-13 21:00:00] 857*2^1406258-1 is not prime. Res64: 9C97FB46D96E6B2F Time : 0.0 sec. user=mdettweiler [2015-08-13 21:00:00] 613*2^1406259-1 is not prime. Res64: EFD822D5A531E4D4 Time : 0.0 sec. user=mdettweiler [2015-08-13 21:01:55] 639*2^1406259-1 is not prime. Res64: D8B5005B7CFA5C62 Time : 0.0 sec. user=mdettweiler [2015-08-13 21:01:56] 751*2^1406259-1 is not prime. Res64: 59B83391DED9A636 Time : 0.0 sec. user=mdettweiler [2015-08-13 21:04:29] 853*2^1406259-1 is not prime. Res64: 527411F8DABAEDED Time : 0.0 sec. user=mdettweiler [2015-08-13 21:04:30] 909*2^1406259-1 is not prime. Res64: ECC068B3A2257CC3 Time : 0.0 sec. user=mdettweiler [2015-08-13 21:17:39] 975*2^1406259-1 is not prime. Res64: 49E480A01DA995D3 Time : 0.0 sec. user=mdettweiler [2015-08-13 21:17:40] 689*2^1406260-1 is not prime. Res64: B10EC388B425A985 Time : 0.0 sec. user=mdettweiler [2015-08-13 21:18:50] 735*2^1406260-1 is not prime. Res64: BD82BB2FAD17006E Time : 0.0 sec. user=mdettweiler [2015-08-13 21:18:50] 825*2^1406260-1 is not prime. Res64: 1D815B8F994F7397 Time : 0.0 sec. user=mdettweiler [2015-08-13 21:20:38] 827*2^1406260-1 is not prime. Res64: B835F4B34B7863FF Time : 0.0 sec. user=mdettweiler [2015-08-13 21:20:39] 923*2^1406260-1 is not prime. Res64: 6609902BED4F8930 Time : 0.0 sec. user=mdettweiler [2015-08-13 21:23:53] 933*2^1406260-1 is not prime. Res64: 688708028FD74527 Time : 0.0 sec. user=mdettweiler [2015-08-13 21:23:53] 989*2^1406260-1 is not prime. Res64: B32944BB000D4F8C Time : 0.0 sec. user=mdettweiler [2015-08-13 21:36:38] 631*2^1406261-1 is not prime. Res64: 8E1486CC8AF25FFD Time : 0.0 sec. user=mdettweiler [2015-08-13 21:36:38] 645*2^1406261-1 is not prime. Res64: EA2A318F0CF47010 Time : 0.0 sec. user=mdettweiler [2015-08-13 21:37:59] 829*2^1406261-1 is not prime. Res64: D7C64D4C25539A19 Time : 0.0 sec. user=mdettweiler [2015-08-13 21:37:59] 855*2^1406261-1 is not prime. Res64: 8791F650D6D506CA Time : 0.0 sec. user=mdettweiler [2015-08-13 21:39:34] 889*2^1406261-1 is not prime. Res64: 7E1E274728A8F994 Time : 0.0 sec. user=mdettweiler [2015-08-13 21:39:34] 711*2^1406262-1 is not prime. Res64: 85FB7145A46B8584 Time : 0.0 sec. user=mdettweiler [2015-08-13 21:42:44] 725*2^1406262-1 is not prime. Res64: 40EFBB0737CB9A3A Time : 0.0 sec. user=mdettweiler [2015-08-13 21:42:44] 747*2^1406262-1 is not prime. Res64: 535A14C511EF1A24 Time : 0.0 sec. user=mdettweiler [2015-08-13 21:55:23] 825*2^1406262-1 is not prime. Res64: 3CEB14514C48376E Time : 0.0 sec. user=mdettweiler [2015-08-13 21:55:23] 833*2^1406262-1 is not prime. Res64: 8643273087C75AE1 Time : 0.0 sec. user=mdettweiler [2015-08-13 21:56:35] 977*2^1406262-1 is not prime. Res64: 473157DE5DCE3BE8 Time : 0.0 sec. user=mdettweiler [2015-08-13 21:56:35] 1001*2^1406262-1 is not prime. Res64: E65BC74941BA3C42 Time : 0.0 sec. user=mdettweiler [2015-08-13 21:58:00] 885*2^1406263-1 is not prime. Res64: E4868F29F927D204 Time : 0.0 sec. user=mdettweiler [2015-08-13 21:58:00] 609*2^1406264-1 is not prime. Res64: 0BF0E2505BA6D7A9 Time : 0.0 sec. user=mdettweiler [2015-08-13 22:01:24] 753*2^1406264-1 is not prime. Res64: 85E53EA45CC06268 Time : 0.0 sec. user=mdettweiler [2015-08-13 22:01:25] 789*2^1406264-1 is not prime. Res64: 5D40947BAE5FF8FC Time : 0.0 sec. user=mdettweiler [2015-08-13 22:13:58] 869*2^1406264-1 is not prime. Res64: CE4BFC539EAFC65A Time : 0.0 sec. user=mdettweiler [2015-08-13 22:13:59] 935*2^1406264-1 is not prime. Res64: 5DF96BC81DB964B1 Time : 0.0 sec. user=mdettweiler [2015-08-13 22:15:10] 945*2^1406264-1 is not prime. Res64: 43680725288F5C15 Time : 0.0 sec. user=mdettweiler [2015-08-13 22:15:10] 837*2^1406265-1 is not prime. Res64: AC82F3687A5C6167 Time : 0.0 sec. user=mdettweiler [2015-08-13 22:16:46] 849*2^1406265-1 is not prime. Res64: 68D8FAEAF4E05506 Time : 0.0 sec. user=mdettweiler [2015-08-13 22:16:46] 949*2^1406265-1 is not prime. Res64: 8C2B50A92E7E4C18 Time : 0.0 sec. user=mdettweiler [2015-08-13 22:20:12] 951*2^1406265-1 is not prime. Res64: 0A091583189D15A2 Time : 0.0 sec. user=mdettweiler [2015-08-13 22:20:13] 955*2^1406265-1 is not prime. Res64: 280A6A4F8F159BBC Time : 0.0 sec. user=mdettweiler [2015-08-13 22:32:03] 975*2^1406265-1 is not prime. Res64: 3AF1591ECB98A166 Time : 0.0 sec. user=mdettweiler [2015-08-13 22:32:04] 635*2^1406266-1 is not prime. Res64: 4D9B00C2814CE583 Time : 0.0 sec. user=mdettweiler [2015-08-13 22:33:22] 645*2^1406266-1 is not prime. Res64: 2C8F435C78681CEC Time : 0.0 sec. user=mdettweiler [2015-08-13 22:33:22] 651*2^1406266-1 is not prime. Res64: 5A30F03318718D97 Time : 0.0 sec. user=mdettweiler [2015-08-13 22:34:48] 695*2^1406266-1 is not prime. Res64: 56F0E080FE8AEE60 Time : 0.0 sec. user=mdettweiler [2015-08-13 22:34:48] 701*2^1406266-1 is not prime. Res64: C1098233A95C587E Time : 0.0 sec. user=mdettweiler [2015-08-13 22:38:13] 815*2^1406266-1 is not prime. Res64: AB31EADC3705D67B Time : 0.0 sec. user=mdettweiler [2015-08-13 22:38:14] 917*2^1406266-1 is not prime. Res64: 5CEC6888C82A1D41 Time : 0.0 sec. user=mdettweiler [2015-08-13 22:50:07] 945*2^1406266-1 is not prime. Res64: A321170F757FB224 Time : 0.0 sec. user=mdettweiler [2015-08-13 22:50:08] 987*2^1406266-1 is not prime. Res64: 89E1C3B020D0A1D3 Time : 0.0 sec. user=mdettweiler [2015-08-13 22:51:35] 601*2^1406267-1 is not prime. Res64: AF5FF081D1D9C1E1 Time : 0.0 sec. user=mdettweiler [2015-08-13 22:51:35] 633*2^1406267-1 is not prime. Res64: 10F62D3F6FEDF725 Time : 0.0 sec. user=mdettweiler [2015-08-13 22:53:02] 669*2^1406267-1 is not prime. Res64: 1BF3F7A5DB02F902 Time : 0.0 sec. user=mdettweiler [2015-08-13 22:53:02] 703*2^1406267-1 is not prime. Res64: 53546F78E597A8C7 Time : 0.0 sec. user=mdettweiler [2015-08-13 22:56:12] 841*2^1406267-1 is not prime. Res64: D4FDF7847414A8E7 Time : 0.0 sec. user=mdettweiler [2015-08-13 22:56:12] 871*2^1406267-1 is not prime. Res64: 3BF247F2A4ADEF40 Time : 0.0 sec. user=mdettweiler [2015-08-13 23:08:04] 939*2^1406267-1 is not prime. Res64: AAB7859952DF7A8B Time : 0.0 sec. user=mdettweiler [2015-08-13 23:08:05] 945*2^1406267-1 is not prime. Res64: 16E6E05473B75289 Time : 0.0 sec. user=mdettweiler [2015-08-13 23:09:30] 663*2^1406268-1 is not prime. Res64: B3801B895C52A03D Time : 0.0 sec. user=mdettweiler [2015-08-13 23:09:30] 705*2^1406268-1 is not prime. Res64: 381BC04E7E606940 Time : 0.0 sec. user=mdettweiler [2015-08-13 23:10:51] 737*2^1406268-1 is not prime. Res64: E20E122E9815C11A Time : 0.0 sec. user=mdettweiler [2015-08-13 23:10:51] 765*2^1406268-1 is not prime. Res64: D3589DA70F0ABB51 Time : 0.0 sec. user=mdettweiler [2015-08-13 23:14:07] 777*2^1406268-1 is not prime. Res64: EF7F781404D61BB1 Time : 0.0 sec. user=mdettweiler [2015-08-13 23:14:08] 783*2^1406268-1 is not prime. Res64: 4B6754076FA366E0 Time : 0.0 sec. user=mdettweiler [2015-08-13 23:28:31] 809*2^1406268-1 is not prime. Res64: 39D334B8D104A409 Time : 0.0 sec. user=mdettweiler [2015-08-13 23:28:31] 957*2^1406268-1 is not prime. Res64: 083AF643B1FE79DB Time : 0.0 sec. user=mdettweiler [2015-08-13 23:29:26] 721*2^1406269-1 is not prime. Res64: AB0C6FB69F22588E Time : 0.0 sec. user=mdettweiler [2015-08-13 23:29:26] 769*2^1406269-1 is not prime. Res64: B1C6FA9BC85F5D84 Time : 0.0 sec. user=mdettweiler [2015-08-13 23:31:15] 955*2^1406269-1 is not prime. Res64: A5197EBB63AC3030 Time : 0.0 sec. user=mdettweiler [2015-08-13 23:31:16] 987*2^1406269-1 is not prime. Res64: C908673D843ED084 Time : 0.0 sec. user=mdettweiler [2015-08-13 23:34:25] 615*2^1406270-1 is not prime. Res64: 459984B8A497D74C Time : 0.0 sec. user=mdettweiler [2015-08-13 23:34:25] 677*2^1406270-1 is not prime. Res64: CD54DB09DE23022B Time : 0.0 sec. user=mdettweiler [2015-08-13 23:46:40] 687*2^1406270-1 is not prime. Res64: B469DC142FAE6DB5 Time : 0.0 sec. user=mdettweiler [2015-08-13 23:46:40] 743*2^1406270-1 is not prime. Res64: EB9A472204EC40B8 Time : 0.0 sec. user=mdettweiler [2015-08-13 23:47:30] 761*2^1406270-1 is not prime. Res64: 77FB81D7F5F5EBB4 Time : 0.0 sec. user=mdettweiler [2015-08-13 23:47:30] 773*2^1406270-1 is not prime. Res64: B83D90E053EF01EE Time : 0.0 sec. user=mdettweiler [2015-08-13 23:49:34] 831*2^1406270-1 is not prime. Res64: 1A6424143CF38949 Time : 0.0 sec. user=mdettweiler [2015-08-13 23:49:34] 915*2^1406270-1 is not prime. Res64: 6E3DB403A374C628 Time : 0.0 sec. user=mdettweiler [2015-08-13 23:52:36] 923*2^1406270-1 is not prime. Res64: 3AED564901A94A4F Time : 0.0 sec. user=mdettweiler [2015-08-13 23:52:37] 965*2^1406270-1 is not prime. Res64: 0C3BC55A73D5A983 Time : 0.0 sec.