user=mdettweiler [2016-04-21 00:12:59] 887*2^1426854-1 is not prime. Res64: 248EB35FAA94485D Time : 0.0 sec. user=mdettweiler [2016-04-21 00:13:00] 975*2^1426854-1 is not prime. Res64: 4A39B51CAE8D6EDF Time : 0.0 sec. user=mdettweiler [2016-04-21 00:13:00] 625*2^1426855-1 is not prime. Res64: CB862E607700E201 Time : 0.0 sec. user=mdettweiler [2016-04-21 00:13:00] 819*2^1426855-1 is not prime. Res64: EC8FCF088DF8DE31 Time : 0.0 sec. user=mdettweiler [2016-04-21 00:13:01] 843*2^1426855-1 is not prime. Res64: 8652653CBDCDF77F Time : 0.0 sec. user=mdettweiler [2016-04-21 00:14:53] 885*2^1426855-1 is not prime. Res64: 17766629E03C519F Time : 0.0 sec. user=mdettweiler [2016-04-21 00:14:54] 933*2^1426855-1 is not prime. Res64: 44EB607DE08C0F38 Time : 0.0 sec. user=mdettweiler [2016-04-21 00:14:54] 609*2^1426856-1 is not prime. Res64: E5FB92933F8D04AC Time : 0.0 sec. user=mdettweiler [2016-04-21 00:14:54] 663*2^1426856-1 is not prime. Res64: 47D57FF3C701E230 Time : 0.0 sec. user=mdettweiler [2016-04-21 00:14:55] 725*2^1426856-1 is not prime. Res64: 4EDBB60BD795E2A9 Time : 0.0 sec. user=mdettweiler [2016-04-21 00:43:52] 681*2^1426857-1 is not prime. Res64: 8E829A2EB29B2AC4 Time : 0.0 sec. user=mdettweiler [2016-04-21 00:43:53] 751*2^1426857-1 is not prime. Res64: 76E6B69217CB452A Time : 0.0 sec. user=mdettweiler [2016-04-21 00:43:53] 765*2^1426857-1 is not prime. Res64: CA067A7CA90E6126 Time : 0.0 sec. user=mdettweiler [2016-04-21 00:43:54] 781*2^1426857-1 is not prime. Res64: 63577E11AE679EDC Time : 0.0 sec. user=mdettweiler [2016-04-21 00:43:54] 817*2^1426857-1 is not prime. Res64: B50012848C1D281A Time : 0.0 sec. user=mdettweiler [2016-04-21 00:43:59] 735*2^1426856-1 is not prime. Res64: 377AC9A8197EBDFD Time : 0.0 sec. user=mdettweiler [2016-04-21 00:44:00] 825*2^1426856-1 is not prime. Res64: 6FB70EDA79E64933 Time : 0.0 sec. user=mdettweiler [2016-04-21 00:44:00] 923*2^1426856-1 is not prime. Res64: 6502F8EF4C06A58C Time : 0.0 sec. user=mdettweiler [2016-04-21 00:44:00] 607*2^1426857-1 is not prime. Res64: C504B48979D70614 Time : 0.0 sec. user=mdettweiler [2016-04-21 00:44:01] 675*2^1426857-1 is not prime. Res64: BB1CEDCB915BE21F Time : 0.0 sec. user=mdettweiler [2016-04-21 00:58:03] 861*2^1426857-1 is not prime. Res64: 4A858AED35799243 Time : 0.0 sec. user=mdettweiler [2016-04-21 00:58:03] 865*2^1426857-1 is not prime. Res64: ADCB6C9D77F711DB Time : 0.0 sec. user=mdettweiler [2016-04-21 00:58:03] 867*2^1426857-1 is not prime. Res64: 52DF8E5B7201EA37 Time : 0.0 sec. user=mdettweiler [2016-04-21 00:58:04] 889*2^1426857-1 is not prime. Res64: E2E91B8061FFED8B Time : 0.0 sec. user=mdettweiler [2016-04-21 00:58:04] 919*2^1426857-1 is not prime. Res64: 1CEBD36ECE89CDB8 Time : 0.0 sec. user=mdettweiler [2016-04-21 00:59:51] 949*2^1426857-1 is not prime. Res64: 292F3DE5FC8FF103 Time : 0.0 sec. user=mdettweiler [2016-04-21 00:59:51] 603*2^1426858-1 is not prime. Res64: 09A86BE10B0DAB02 Time : 0.0 sec. user=mdettweiler [2016-04-21 00:59:51] 713*2^1426858-1 is not prime. Res64: 3C43B5770E9D6657 Time : 0.0 sec. user=mdettweiler [2016-04-21 00:59:52] 735*2^1426858-1 is not prime. Res64: EBB13F9215EA0844 Time : 0.0 sec. user=mdettweiler [2016-04-21 00:59:52] 777*2^1426858-1 is not prime. Res64: 325C3AF3D8EBD704 Time : 0.0 sec. user=mdettweiler [2016-04-21 01:28:45] 833*2^1426858-1 is not prime. Res64: BF1DC06BBAB8B10A Time : 0.0 sec. user=mdettweiler [2016-04-21 01:28:46] 881*2^1426858-1 is not prime. Res64: DC6009387DA80BFD Time : 0.0 sec. user=mdettweiler [2016-04-21 01:28:47] 609*2^1426859-1 is not prime. Res64: 6C20ABA2F33171D4 Time : 0.0 sec. user=mdettweiler [2016-04-21 01:28:48] 669*2^1426859-1 is not prime. Res64: 04148DE770A5A683 Time : 0.0 sec. user=mdettweiler [2016-04-21 01:28:49] 999*2^1426859-1 is not prime. Res64: C2B09DEFEB87492E Time : 0.0 sec. user=mdettweiler [2016-04-21 01:28:57] 633*2^1426860-1 is not prime. Res64: B435014970451FB7 Time : 0.0 sec. user=mdettweiler [2016-04-21 01:28:58] 675*2^1426860-1 is not prime. Res64: F445E02F28EB2E8B Time : 0.0 sec. user=mdettweiler [2016-04-21 01:28:59] 717*2^1426860-1 is not prime. Res64: 9B7898A614DCB481 Time : 0.0 sec. user=mdettweiler [2016-04-21 01:29:00] 803*2^1426860-1 is not prime. Res64: 81CEAD8B7CDEC1FA Time : 0.0 sec. user=mdettweiler [2016-04-21 01:29:01] 679*2^1426861-1 is not prime. Res64: F13C9321757C82DD Time : 0.0 sec. user=mdettweiler [2016-04-21 01:43:10] 829*2^1426861-1 is not prime. Res64: F1D1EDB04F77D756 Time : 0.0 sec. user=mdettweiler [2016-04-21 01:43:11] 871*2^1426861-1 is not prime. Res64: 717DA616B63F3CAB Time : 0.0 sec. user=mdettweiler [2016-04-21 01:43:11] 939*2^1426861-1 is not prime. Res64: 3F26AB2F00789FDD Time : 0.0 sec. user=mdettweiler [2016-04-21 01:43:12] 951*2^1426861-1 is not prime. Res64: 1964E47F2D74A49E Time : 0.0 sec. user=mdettweiler [2016-04-21 01:43:12] 623*2^1426862-1 is not prime. Res64: 915E6D30B38A1116 Time : 0.0 sec. user=mdettweiler [2016-04-21 01:45:02] 711*2^1426862-1 is not prime. Res64: 7948367D535DCF38 Time : 0.0 sec. user=mdettweiler [2016-04-21 01:45:02] 753*2^1426862-1 is not prime. Res64: BD0A683363DFC2C0 Time : 0.0 sec. user=mdettweiler [2016-04-21 01:45:03] 771*2^1426862-1 is not prime. Res64: F33B313F791A4971 Time : 0.0 sec. user=mdettweiler [2016-04-21 01:45:03] 945*2^1426862-1 is not prime. Res64: 5EF45530AD4C4D17 Time : 0.0 sec. user=mdettweiler [2016-04-21 01:45:04] 609*2^1426863-1 is not prime. Res64: 12595BB1A7D4C011 Time : 0.0 sec. user=mdettweiler [2016-04-21 02:14:10] 615*2^1426864-1 is not prime. Res64: 14D98E3BF9B1C77F Time : 0.0 sec. user=mdettweiler [2016-04-21 02:14:11] 645*2^1426864-1 is not prime. Res64: 8840588C6DEC773F Time : 0.0 sec. user=mdettweiler [2016-04-21 02:14:11] 693*2^1426864-1 is not prime. Res64: 1C82735FA6BE3F80 Time : 0.0 sec. user=mdettweiler [2016-04-21 02:14:12] 743*2^1426864-1 is not prime. Res64: 4B87BDCC21472665 Time : 0.0 sec. user=mdettweiler [2016-04-21 02:14:12] 873*2^1426864-1 is not prime. Res64: E2EF5C1639EB2A7B Time : 0.0 sec. user=mdettweiler [2016-04-21 02:14:17] 615*2^1426863-1 is not prime. Res64: 493CA8B8166D9459 Time : 0.0 sec. user=mdettweiler [2016-04-21 02:14:18] 703*2^1426863-1 is not prime. Res64: B43BFDE4C4E2B1EC Time : 0.0 sec. user=mdettweiler [2016-04-21 02:14:18] 781*2^1426863-1 is not prime. Res64: 82DD35C756000585 Time : 0.0 sec. user=mdettweiler [2016-04-21 02:14:19] 933*2^1426863-1 is not prime. Res64: B958C2CA0F7C63E1 Time : 0.0 sec. user=mdettweiler [2016-04-21 02:14:19] 955*2^1426863-1 is not prime. Res64: 470C22A9748F2342 Time : 0.0 sec. user=mdettweiler [2016-04-21 02:28:16] 875*2^1426864-1 is not prime. Res64: 0E0560811012CF64 Time : 0.0 sec. user=mdettweiler [2016-04-21 02:28:17] 917*2^1426864-1 is not prime. Res64: AF03E9B04A95F163 Time : 0.0 sec. user=mdettweiler [2016-04-21 02:28:18] 771*2^1426865-1 is not prime. Res64: 462257A71663BB8C Time : 0.0 sec. user=mdettweiler [2016-04-21 02:28:18] 831*2^1426865-1 is not prime. Res64: 19B96D70B51EBE97 Time : 0.0 sec. user=mdettweiler [2016-04-21 02:28:19] 837*2^1426865-1 is not prime. Res64: A7DF69789EC3D19A Time : 0.0 sec. user=mdettweiler [2016-04-21 02:30:05] 861*2^1426865-1 is not prime. Res64: ACD47322AFC185CD Time : 0.0 sec. user=mdettweiler [2016-04-21 02:30:10] 747*2^1426866-1 is not prime. Res64: A59877FAB249FB4D Time : 0.0 sec. user=mdettweiler [2016-04-21 02:30:11] 755*2^1426866-1 is not prime. Res64: 1EBDE3A43A76E92C Time : 0.0 sec. user=mdettweiler [2016-04-21 02:30:11] 837*2^1426866-1 is not prime. Res64: 24FE631840166520 Time : 0.0 sec. user=mdettweiler [2016-04-21 02:30:12] 933*2^1426866-1 is not prime. Res64: 6C07CF00ACEA8713 Time : 0.0 sec. user=mdettweiler [2016-04-21 02:59:13] 941*2^1426866-1 is not prime. Res64: E4FE6ECF441297F5 Time : 0.0 sec. user=mdettweiler [2016-04-21 02:59:13] 619*2^1426867-1 is not prime. Res64: 13DD6B51162F7EF7 Time : 0.0 sec. user=mdettweiler [2016-04-21 02:59:14] 945*2^1426866-1 is not prime. Res64: 9BAD640B96145B76 Time : 0.0 sec. user=mdettweiler [2016-04-21 02:59:14] 649*2^1426867-1 is not prime. Res64: 423C294E4FD23C25 Time : 0.0 sec. user=mdettweiler [2016-04-21 02:59:14] 603*2^1426867-1 is not prime. Res64: 7E4178D3AEAC924B Time : 0.0 sec. user=mdettweiler [2016-04-21 02:59:14] 675*2^1426867-1 is not prime. Res64: 6812D3121A47A03C Time : 0.0 sec. user=mdettweiler [2016-04-21 02:59:15] 609*2^1426867-1 is not prime. Res64: 4B74B5F5566D1C62 Time : 0.0 sec. user=mdettweiler [2016-04-21 02:59:15] 705*2^1426867-1 is not prime. Res64: 875BCA3358AA44AF Time : 0.0 sec. user=mdettweiler [2016-04-21 02:59:15] 615*2^1426867-1 is not prime. Res64: 190774A5A5166812 Time : 0.0 sec. user=mdettweiler [2016-04-21 02:59:16] 715*2^1426867-1 is not prime. Res64: A14D50D0F87F6C0E Time : 0.0 sec. user=mdettweiler [2016-04-21 03:13:19] 769*2^1426867-1 is not prime. Res64: FE587734A7222EDC Time : 0.0 sec. user=mdettweiler [2016-04-21 03:13:20] 805*2^1426867-1 is not prime. Res64: 31484DC83150C037 Time : 0.0 sec. user=mdettweiler [2016-04-21 03:13:20] 861*2^1426867-1 is not prime. Res64: E0BE9DEA43FFA7BB Time : 0.0 sec. user=mdettweiler [2016-04-21 03:13:21] 939*2^1426867-1 is not prime. Res64: E3F498F119B1843E Time : 0.0 sec. user=mdettweiler [2016-04-21 03:13:21] 735*2^1426868-1 is not prime. Res64: F1391A2A095CD7DE Time : 0.0 sec. user=mdettweiler [2016-04-21 03:15:20] 797*2^1426868-1 is not prime. Res64: 38C02903FDD4F9EC Time : 0.0 sec. user=mdettweiler [2016-04-21 03:15:20] 845*2^1426868-1 is not prime. Res64: E67CE8C02C0CA6EC Time : 0.0 sec. user=mdettweiler [2016-04-21 03:15:21] 649*2^1426869-1 is not prime. Res64: EB4B2BA0F565AE3A Time : 0.0 sec. user=mdettweiler [2016-04-21 03:15:21] 711*2^1426869-1 is not prime. Res64: C9E3DCA9E7F5D3D6 Time : 0.0 sec. user=mdettweiler [2016-04-21 03:15:22] 727*2^1426869-1 is not prime. Res64: 05E381ECB9DE8FEC Time : 0.0 sec. user=mdettweiler [2016-04-21 03:44:21] 837*2^1426869-1 is not prime. Res64: FCF380A326FCC8EB Time : 0.0 sec. user=mdettweiler [2016-04-21 03:44:24] 999*2^1426869-1 is not prime. Res64: 20C85A963D882DC3 Time : 0.0 sec. user=mdettweiler [2016-04-21 03:44:25] 665*2^1426870-1 is not prime. Res64: 707E033BE45D6A37 Time : 0.0 sec. user=mdettweiler [2016-04-21 03:44:28] 677*2^1426870-1 is not prime. Res64: 05A78C58DDB9258F Time : 0.0 sec. user=mdettweiler [2016-04-21 03:44:29] 801*2^1426870-1 is not prime. Res64: 8D08EB2EA5A763C8 Time : 0.0 sec. user=mdettweiler [2016-04-21 03:44:42] 861*2^1426870-1 is not prime. Res64: 9BFA80B5ED108752 Time : 0.0 sec. user=mdettweiler [2016-04-21 03:44:45] 609*2^1426871-1 is not prime. Res64: 458DF7C04F17E513 Time : 0.0 sec. user=mdettweiler [2016-04-21 03:44:46] 661*2^1426871-1 is not prime. Res64: 9468C778327B5BBF Time : 0.0 sec. user=mdettweiler [2016-04-21 03:44:50] 675*2^1426871-1 is not prime. Res64: 9874B5844B1A2EAD Time : 0.0 sec. user=mdettweiler [2016-04-21 03:44:51] 783*2^1426871-1 is not prime. Res64: 9A9C915738466176 Time : 0.0 sec. user=mdettweiler [2016-04-21 03:58:29] 819*2^1426871-1 is not prime. Res64: 2F19B92BF844937A Time : 0.0 sec. user=mdettweiler [2016-04-21 03:58:30] 913*2^1426871-1 is not prime. Res64: F13021D8DDDF6067 Time : 0.0 sec. user=mdettweiler [2016-04-21 03:58:30] 939*2^1426871-1 is not prime. Res64: EAFC3A591261505E Time : 0.0 sec. user=mdettweiler [2016-04-21 03:58:31] 675*2^1426872-1 is not prime. Res64: F8A3E5259B68CDC7 Time : 0.0 sec. user=mdettweiler [2016-04-21 03:58:31] 695*2^1426872-1 is not prime. Res64: A609123A1B5A0AAE Time : 0.0 sec. user=mdettweiler [2016-04-21 04:00:26] 737*2^1426872-1 is not prime. Res64: FBD314B2C9462E10 Time : 0.0 sec. user=mdettweiler [2016-04-21 04:00:27] 849*2^1426872-1 is not prime. Res64: CE21E48C9E575361 Time : 0.0 sec. user=mdettweiler [2016-04-21 04:00:28] 999*2^1426872-1 is not prime. Res64: 0F2BBF6FD34D208A Time : 0.0 sec. user=mdettweiler [2016-04-21 04:00:29] 685*2^1426873-1 is not prime. Res64: 223D4F8EFB8811A4 Time : 0.0 sec. user=mdettweiler [2016-04-21 04:00:30] 705*2^1426873-1 is not prime. Res64: 19E5BF90BE83ADE9 Time : 0.0 sec. user=mdettweiler [2016-04-21 04:30:43] 861*2^1426874-1 is not prime. Res64: 5060BA8C69EF18B3 Time : 0.0 sec. user=mdettweiler [2016-04-21 04:30:43] 917*2^1426874-1 is not prime. Res64: DB406BF90C0B5F51 Time : 0.0 sec. user=mdettweiler [2016-04-21 04:30:43] 921*2^1426874-1 is not prime. Res64: 79D4AF57983E9CCB Time : 0.0 sec. user=mdettweiler [2016-04-21 04:30:44] 927*2^1426874-1 is not prime. Res64: 7AC3387B541AF43E Time : 0.0 sec. user=mdettweiler [2016-04-21 04:30:44] 945*2^1426874-1 is not prime. Res64: 2F27B07BE9A4CC1C Time : 0.0 sec. user=mdettweiler [2016-04-21 04:30:58] 765*2^1426873-1 is not prime. Res64: 06A51A5017F6A19B Time : 0.0 sec. user=mdettweiler [2016-04-21 04:30:59] 789*2^1426873-1 is not prime. Res64: B8FAAD367D3655E8 Time : 0.0 sec. user=mdettweiler [2016-04-21 04:30:59] 633*2^1426874-1 is not prime. Res64: 5D2496A6DE0FE01B Time : 0.0 sec. user=mdettweiler [2016-04-21 04:30:59] 657*2^1426874-1 is not prime. Res64: 9944D357D617ECE7 Time : 0.0 sec. user=mdettweiler [2016-04-21 04:31:00] 677*2^1426874-1 is not prime. Res64: E68A0A7D30E01B67 Time : 0.0 sec. user=mdettweiler [2016-04-21 04:44:37] 971*2^1426874-1 is not prime. Res64: 1EE88BD2507BCF77 Time : 0.0 sec. user=mdettweiler [2016-04-21 04:44:37] 651*2^1426875-1 is not prime. Res64: E1D2F40D6671C0B3 Time : 0.0 sec. user=mdettweiler [2016-04-21 04:44:37] 663*2^1426875-1 is not prime. Res64: E2986D32E2496EC3 Time : 0.0 sec. user=mdettweiler [2016-04-21 04:44:38] 675*2^1426875-1 is not prime. Res64: BD206C23C288B318 Time : 0.0 sec. user=mdettweiler [2016-04-21 04:44:38] 705*2^1426875-1 is not prime. Res64: 6412D6BEDF38DB2E Time : 0.0 sec. user=mdettweiler [2016-04-21 04:46:14] 793*2^1426875-1 is not prime. Res64: C4E4CC3767AF54DD Time : 0.0 sec. user=mdettweiler [2016-04-21 04:46:15] 903*2^1426875-1 is not prime. Res64: 26540339F0CD878B Time : 0.0 sec. user=mdettweiler [2016-04-21 04:46:15] 647*2^1426876-1 is not prime. Res64: B96052A9AC517B97 Time : 0.0 sec. user=mdettweiler [2016-04-21 04:46:16] 777*2^1426876-1 is not prime. Res64: 391786F8DD87D4E2 Time : 0.0 sec. user=mdettweiler [2016-04-21 04:46:17] 855*2^1426876-1 is not prime. Res64: BDB44D2154A78751 Time : 0.0 sec. user=mdettweiler [2016-04-21 05:15:46] 909*2^1426876-1 is not prime. Res64: 9CAAD0012660654C Time : 0.0 sec. user=mdettweiler [2016-04-21 05:15:47] 615*2^1426877-1 is not prime. Res64: 81B041EBAA19BCBD Time : 0.0 sec. user=mdettweiler [2016-04-21 05:15:47] 685*2^1426877-1 is not prime. Res64: F7DA9D68AF1A3239 Time : 0.0 sec. user=mdettweiler [2016-04-21 05:15:48] 717*2^1426877-1 is not prime. Res64: 26D22B65439987B0 Time : 0.0 sec. user=mdettweiler [2016-04-21 05:15:48] 747*2^1426877-1 is not prime. Res64: FBFB0930D86EE0EF Time : 0.0 sec. user=mdettweiler [2016-04-21 05:15:55] 837*2^1426877-1 is not prime. Res64: 4C4DA59311224C46 Time : 0.0 sec. user=mdettweiler [2016-04-21 05:15:55] 889*2^1426877-1 is not prime. Res64: 3B8A9DBDD932A67E Time : 0.0 sec. user=mdettweiler [2016-04-21 05:15:55] 663*2^1426878-1 is not prime. Res64: E085D7CC21578D54 Time : 0.0 sec. user=mdettweiler [2016-04-21 05:15:56] 681*2^1426878-1 is not prime. Res64: A005DD3E20FAA34C Time : 0.0 sec. user=mdettweiler [2016-04-21 05:15:56] 791*2^1426878-1 is not prime. Res64: 94C88D641A39A4BB Time : 0.0 sec. user=mdettweiler [2016-04-21 05:29:38] 933*2^1426878-1 is not prime. Res64: 6973E2FE122FD5D3 Time : 0.0 sec. user=mdettweiler [2016-04-21 05:29:39] 971*2^1426878-1 is not prime. Res64: 75C53CFBD1BA02BB Time : 0.0 sec. user=mdettweiler [2016-04-21 05:29:39] 649*2^1426879-1 is not prime. Res64: 8371070E2A9B0BA4 Time : 0.0 sec. user=mdettweiler [2016-04-21 05:29:40] 763*2^1426879-1 is not prime. Res64: 778D5EC72F4CE5F1 Time : 0.0 sec. user=mdettweiler [2016-04-21 05:29:40] 765*2^1426879-1 is not prime. Res64: B8C6DCA55F78B0D8 Time : 0.0 sec. user=mdettweiler [2016-04-21 05:31:21] 771*2^1426879-1 is not prime. Res64: 7ADF2E662521FB00 Time : 0.0 sec. user=mdettweiler [2016-04-21 05:31:21] 829*2^1426879-1 is not prime. Res64: 915D85B64480B6FA Time : 0.0 sec. user=mdettweiler [2016-04-21 05:31:22] 985*2^1426879-1 is not prime. Res64: 8168C3419E27A3D2 Time : 0.0 sec. user=mdettweiler [2016-04-21 05:31:22] 753*2^1426880-1 is not prime. Res64: D8159119806665AC Time : 0.0 sec. user=mdettweiler [2016-04-21 05:31:22] 767*2^1426880-1 is not prime. Res64: 9440EC274FF9A7E6 Time : 0.0 sec. user=mdettweiler [2016-04-21 06:00:31] 797*2^1426880-1 is not prime. Res64: 896779BFF9A83974 Time : 0.0 sec. user=mdettweiler [2016-04-21 06:00:32] 833*2^1426880-1 is not prime. Res64: F0A3FE52E71D6E88 Time : 0.0 sec. user=mdettweiler [2016-04-21 06:00:33] 909*2^1426880-1 is not prime. Res64: 4A4498118D9E359D Time : 0.0 sec. user=mdettweiler [2016-04-21 06:00:34] 927*2^1426880-1 is not prime. Res64: 1985A28DFD6D39A2 Time : 0.0 sec. user=mdettweiler [2016-04-21 06:00:35] 977*2^1426880-1 is not prime. Res64: 31AE1A79FBCB8F07 Time : 0.0 sec. user=mdettweiler [2016-04-21 06:00:41] 679*2^1426881-1 is not prime. Res64: FF35B0F09720620A Time : 0.0 sec. user=mdettweiler [2016-04-21 06:00:41] 705*2^1426881-1 is not prime. Res64: 0D3181710B7533FF Time : 0.0 sec. user=mdettweiler [2016-04-21 06:00:42] 745*2^1426881-1 is not prime. Res64: 9286C096430D0865 Time : 0.0 sec. user=mdettweiler [2016-04-21 06:00:43] 895*2^1426881-1 is not prime. Res64: 2B77F891D0E7252F Time : 0.0 sec. user=mdettweiler [2016-04-21 06:00:43] 955*2^1426881-1 is not prime. Res64: 065FBCE29F9B8030 Time : 0.0 sec. user=mdettweiler [2016-04-21 06:14:40] 975*2^1426881-1 is not prime. Res64: ABB752B738BB9D1D Time : 0.0 sec. user=mdettweiler [2016-04-21 06:14:40] 997*2^1426881-1 is not prime. Res64: FF5D4E3A6B2C09BB Time : 0.0 sec. user=mdettweiler [2016-04-21 06:14:40] 635*2^1426882-1 is not prime. Res64: 7EECAD4031F79211 Time : 0.0 sec. user=mdettweiler [2016-04-21 06:14:41] 675*2^1426882-1 is not prime. Res64: D95CE1218572BF03 Time : 0.0 sec. user=mdettweiler [2016-04-21 06:14:41] 801*2^1426882-1 is not prime. Res64: 3796E211683365D1 Time : 0.0 sec. user=mdettweiler [2016-04-21 06:16:30] 813*2^1426882-1 is not prime. Res64: 28CE326765AA8091 Time : 0.0 sec. user=mdettweiler [2016-04-21 06:16:30] 815*2^1426882-1 is not prime. Res64: CF9015FC37BF80B0 Time : 0.0 sec. user=mdettweiler [2016-04-21 06:16:31] 923*2^1426882-1 is not prime. Res64: C7A2E5715D804317 Time : 0.0 sec. user=mdettweiler [2016-04-21 06:16:31] 609*2^1426883-1 is not prime. Res64: 9D8C8C6E8C2A9D3B Time : 0.0 sec. user=mdettweiler [2016-04-21 06:16:32] 631*2^1426883-1 is not prime. Res64: 05113B9D7AB7F13F Time : 0.0 sec. user=mdettweiler [2016-04-21 06:45:50] 773*2^1426884-1 is not prime. Res64: 12D29B8AAC7028D8 Time : 0.0 sec. user=mdettweiler [2016-04-21 06:45:50] 837*2^1426884-1 is not prime. Res64: 70EAB61818D05B99 Time : 0.0 sec. user=mdettweiler [2016-04-21 06:45:50] 843*2^1426884-1 is not prime. Res64: B0FD01DBF99151C5 Time : 0.0 sec. user=mdettweiler [2016-04-21 06:45:51] 873*2^1426884-1 is not prime. Res64: B28AA77ED213D307 Time : 0.0 sec. user=mdettweiler [2016-04-21 06:45:51] 965*2^1426884-1 is not prime. Res64: 26DC44717764BC24 Time : 0.0 sec. user=mdettweiler [2016-04-21 06:45:54] 675*2^1426883-1 is not prime. Res64: D7AD8743784B5CFB Time : 0.0 sec. user=mdettweiler [2016-04-21 06:45:54] 859*2^1426883-1 is not prime. Res64: E96A905568574BC8 Time : 0.0 sec. user=mdettweiler [2016-04-21 06:45:54] 871*2^1426883-1 is not prime. Res64: 7EB56BAA75C5E0D8 Time : 0.0 sec. user=mdettweiler [2016-04-21 06:45:55] 901*2^1426883-1 is not prime. Res64: BF665E15B7958F3F Time : 0.0 sec. user=mdettweiler [2016-04-21 06:45:55] 639*2^1426884-1 is not prime. Res64: AC24A4768966D142 Time : 0.0 sec. user=mdettweiler [2016-04-21 06:59:58] 721*2^1426885-1 is not prime. Res64: F5EB5339774DB967 Time : 0.0 sec. user=mdettweiler [2016-04-21 06:59:59] 765*2^1426885-1 is not prime. Res64: 9B012A32CBE95139 Time : 0.0 sec. user=mdettweiler [2016-04-21 06:59:59] 603*2^1426886-1 is not prime. Res64: 81B7D7BDDB3221D5 Time : 0.0 sec. user=mdettweiler [2016-04-21 06:59:59] 651*2^1426886-1 is not prime. Res64: 351AE85ACBA6A5FF Time : 0.0 sec. user=mdettweiler [2016-04-21 07:00:00] 657*2^1426886-1 is not prime. Res64: 7CEB4ABCC7D9C461 Time : 0.0 sec. user=mdettweiler [2016-04-21 07:01:25] 707*2^1426886-1 is not prime. Res64: 4A8ACA4E112EF5D8 Time : 0.0 sec. user=mdettweiler [2016-04-21 07:01:26] 813*2^1426886-1 is not prime. Res64: 4CE971F59A7CA6A3 Time : 0.0 sec. user=mdettweiler [2016-04-21 07:01:26] 897*2^1426886-1 is not prime. Res64: 7FB335637323B31F Time : 0.0 sec. user=mdettweiler [2016-04-21 07:01:27] 911*2^1426886-1 is not prime. Res64: 4005F2A8C5FD0FF4 Time : 0.0 sec. user=mdettweiler [2016-04-21 07:01:27] 685*2^1426887-1 is not prime. Res64: 404E7AEFBDC1D316 Time : 0.0 sec. user=mdettweiler [2016-04-21 07:30:43] 735*2^1426887-1 is not prime. Res64: 0B04A5EF50F9B521 Time : 0.0 sec. user=mdettweiler [2016-04-21 07:30:44] 861*2^1426887-1 is not prime. Res64: D17A5C1B7BA937E7 Time : 0.0 sec. user=mdettweiler [2016-04-21 07:30:44] 879*2^1426887-1 is not prime. Res64: 2710F814687EFC95 Time : 0.0 sec. user=mdettweiler [2016-04-21 07:30:44] 973*2^1426887-1 is not prime. Res64: D555D1CB2C3A2464 Time : 0.0 sec. user=mdettweiler [2016-04-21 07:30:45] 605*2^1426888-1 is not prime. Res64: 1444C48CA4467440 Time : 0.0 sec. user=mdettweiler [2016-04-21 07:30:53] 615*2^1426888-1 is not prime. Res64: 1CB89EB98C9280FF Time : 0.0 sec. user=mdettweiler [2016-04-21 07:30:54] 639*2^1426888-1 is not prime. Res64: 354C33F13AE43148 Time : 0.0 sec. user=mdettweiler [2016-04-21 07:30:54] 665*2^1426888-1 is not prime. Res64: 7303BFEEE8CF17D5 Time : 0.0 sec. user=mdettweiler [2016-04-21 07:30:54] 723*2^1426888-1 is not prime. Res64: 250EE7DC68B8AB48 Time : 0.0 sec. user=mdettweiler [2016-04-21 07:30:55] 797*2^1426888-1 is not prime. Res64: 609D1F1BBE4B883D Time : 0.0 sec. user=mdettweiler [2016-04-21 07:44:56] 803*2^1426888-1 is not prime. Res64: A935817BD7101DDD Time : 0.0 sec. user=mdettweiler [2016-04-21 07:44:57] 869*2^1426888-1 is not prime. Res64: A53E8694A7D11DE7 Time : 0.0 sec. user=mdettweiler [2016-04-21 07:44:57] 905*2^1426888-1 is not prime. Res64: D2033238D9B12ACE Time : 0.0 sec. user=mdettweiler [2016-04-21 07:44:57] 721*2^1426889-1 is not prime. Res64: AD57F800693DC2E4 Time : 0.0 sec. user=mdettweiler [2016-04-21 07:44:58] 955*2^1426889-1 is not prime. Res64: 933425FFD3264921 Time : 0.0 sec. user=mdettweiler [2016-04-21 07:46:31] 657*2^1426890-1 is not prime. Res64: FE6539DD4C1C1557 Time : 0.0 sec. user=mdettweiler [2016-04-21 07:46:31] 735*2^1426890-1 is not prime. Res64: 3201955B01CB72E0 Time : 0.0 sec. user=mdettweiler [2016-04-21 07:46:31] 851*2^1426890-1 is not prime. Res64: 7A4497EBF1EF4563 Time : 0.0 sec. user=mdettweiler [2016-04-21 07:46:32] 887*2^1426890-1 is not prime. Res64: 6BA515DFE65A55C1 Time : 0.0 sec. user=mdettweiler [2016-04-21 07:46:32] 951*2^1426890-1 is not prime. Res64: 5A1BF4F8FA720451 Time : 0.0 sec. user=mdettweiler [2016-04-21 08:15:54] 971*2^1426890-1 is not prime. Res64: D8A78266C7FB454E Time : 0.0 sec. user=mdettweiler [2016-04-21 08:15:55] 619*2^1426891-1 is not prime. Res64: B339D033A315F2E9 Time : 0.0 sec. user=mdettweiler [2016-04-21 08:15:55] 679*2^1426891-1 is not prime. Res64: DFEC07DD39154DB6 Time : 0.0 sec. user=mdettweiler [2016-04-21 08:15:56] 733*2^1426891-1 is not prime. Res64: 438000DAEA7469D5 Time : 0.0 sec. user=mdettweiler [2016-04-21 08:15:56] 855*2^1426891-1 is not prime. Res64: 4148A46A46E76794 Time : 0.0 sec. user=mdettweiler [2016-04-21 08:15:59] 961*2^1426891-1 is not prime. Res64: 900764CEFF8A7995 Time : 0.0 sec. user=mdettweiler [2016-04-21 08:15:59] 975*2^1426891-1 is not prime. Res64: D482144C93553A6A Time : 0.0 sec. user=mdettweiler [2016-04-21 08:16:00] 725*2^1426892-1 is not prime. Res64: C193B81219F5407B Time : 0.0 sec. user=mdettweiler [2016-04-21 08:16:00] 749*2^1426892-1 is not prime. Res64: 6DEDADD3C74209FD Time : 0.0 sec. user=mdettweiler [2016-04-21 08:16:01] 759*2^1426892-1 is not prime. Res64: B41C0C5FDE046028 Time : 0.0 sec. user=mdettweiler [2016-04-21 08:30:13] 797*2^1426892-1 is not prime. Res64: 88EC4C53AEBFF696 Time : 0.0 sec. user=mdettweiler [2016-04-21 08:30:13] 903*2^1426892-1 is not prime. Res64: C9FDFD81E3C314FE Time : 0.0 sec. user=mdettweiler [2016-04-21 08:30:14] 649*2^1426893-1 is not prime. Res64: D7D9DA221957A9E3 Time : 0.0 sec. user=mdettweiler [2016-04-21 08:30:14] 657*2^1426893-1 is not prime. Res64: D948F27F4627923A Time : 0.0 sec. user=mdettweiler [2016-04-21 08:30:15] 727*2^1426893-1 is not prime. Res64: 3CCF6C5C4B2205DD Time : 0.0 sec. user=mdettweiler [2016-04-21 08:31:47] 795*2^1426893-1 is not prime. Res64: 0927852259C16C39 Time : 0.0 sec. user=mdettweiler [2016-04-21 08:31:47] 867*2^1426893-1 is not prime. Res64: BC073EEC6C502DD9 Time : 0.0 sec. user=mdettweiler [2016-04-21 08:31:48] 915*2^1426893-1 is not prime. Res64: D7BD5CF8BDFA8113 Time : 0.0 sec. user=mdettweiler [2016-04-21 08:31:48] 951*2^1426893-1 is not prime. Res64: 125384378D6B5F75 Time : 0.0 sec. user=mdettweiler [2016-04-21 08:31:49] 961*2^1426893-1 is not prime. Res64: 4A779DD2FD0E72CB Time : 0.0 sec. user=mdettweiler [2016-04-21 09:00:57] 999*2^1426893-1 is not prime. Res64: 52CC7A449DE00F5F Time : 0.0 sec. user=mdettweiler [2016-04-21 09:00:57] 617*2^1426894-1 is not prime. Res64: E1AF6837D1D425E2 Time : 0.0 sec. user=mdettweiler [2016-04-21 09:00:58] 651*2^1426894-1 is not prime. Res64: D93880B2D68E7923 Time : 0.0 sec. user=mdettweiler [2016-04-21 09:00:59] 737*2^1426894-1 is not prime. Res64: EB785505452450BF Time : 0.0 sec. user=mdettweiler [2016-04-21 09:01:00] 669*2^1426895-1 is not prime. Res64: 2528331EBC250C8C Time : 0.0 sec. user=mdettweiler [2016-04-21 09:01:04] 685*2^1426895-1 is not prime. Res64: 420205BE12D9C631 Time : 0.0 sec. user=mdettweiler [2016-04-21 09:01:05] 871*2^1426895-1 is not prime. Res64: 1C5CE7ECFE3F8935 Time : 0.0 sec. user=mdettweiler [2016-04-21 09:01:05] 949*2^1426895-1 is not prime. Res64: 7EF7E3C343E11DF2 Time : 0.0 sec. user=mdettweiler [2016-04-21 09:01:06] 657*2^1426896-1 is not prime. Res64: 9DFFD4352A3369C7 Time : 0.0 sec. user=mdettweiler [2016-04-21 09:01:07] 765*2^1426896-1 is not prime. Res64: 8472654612B6E500 Time : 0.0 sec. user=mdettweiler [2016-04-21 09:15:22] 843*2^1426896-1 is not prime. Res64: 1DEA996AACDEBB25 Time : 0.0 sec. user=mdettweiler [2016-04-21 09:15:23] 845*2^1426896-1 is not prime. Res64: B6A360C4F6BFEAFC Time : 0.0 sec. user=mdettweiler [2016-04-21 09:15:23] 893*2^1426896-1 is not prime. Res64: 0D708FFDD7D6E7CD Time : 0.0 sec. user=mdettweiler [2016-04-21 09:15:23] 933*2^1426896-1 is not prime. Res64: 31B860BDA8689DAB Time : 0.0 sec. user=mdettweiler [2016-04-21 09:15:24] 727*2^1426897-1 is not prime. Res64: D53B5B07990CF379 Time : 0.0 sec. user=mdettweiler [2016-04-21 09:16:59] 741*2^1426897-1 is not prime. Res64: 136B7F4976B22B52 Time : 0.0 sec. user=mdettweiler [2016-04-21 09:17:00] 831*2^1426897-1 is not prime. Res64: AEDCB56568B02667 Time : 0.0 sec. user=mdettweiler [2016-04-21 09:17:00] 871*2^1426897-1 is not prime. Res64: 0E503FDFBD4D4E73 Time : 0.0 sec. user=mdettweiler [2016-04-21 09:17:00] 915*2^1426897-1 is not prime. Res64: BB34D2A4B0399150 Time : 0.0 sec. user=mdettweiler [2016-04-21 09:17:01] 941*2^1426898-1 is not prime. Res64: E3A6018D5C095B03 Time : 0.0 sec. user=mdettweiler [2016-04-21 09:45:56] 609*2^1426899-1 is not prime. Res64: 2AD68212FD9684B3 Time : 0.0 sec. user=mdettweiler [2016-04-21 09:45:56] 691*2^1426899-1 is not prime. Res64: B09C52E5B935F2C1 Time : 0.0 sec. user=mdettweiler [2016-04-21 09:45:56] 991*2^1426899-1 is not prime. Res64: E0A38CD5AAED5EE6 Time : 0.0 sec. user=mdettweiler [2016-04-21 09:45:57] 699*2^1426900-1 is not prime. Res64: ABC2EEB98A15088C Time : 0.0 sec. user=mdettweiler [2016-04-21 09:45:57] 833*2^1426900-1 is not prime. Res64: 1B0206D3F29A64FD Time : 0.0 sec. user=mdettweiler [2016-04-21 09:46:07] 855*2^1426900-1 is not prime. Res64: BC927F45FED40CDC Time : 0.0 sec. user=mdettweiler [2016-04-21 09:46:07] 863*2^1426900-1 is not prime. Res64: 053169DCFDB505CC Time : 0.0 sec. user=mdettweiler [2016-04-21 09:46:08] 887*2^1426900-1 is not prime. Res64: FCB4798CE4EE6092 Time : 0.0 sec. user=mdettweiler [2016-04-21 09:46:08] 987*2^1426901-1 is not prime. Res64: 6777663FB9ACD7FC Time : 0.0 sec. user=mdettweiler [2016-04-21 09:46:08] 997*2^1426901-1 is not prime. Res64: DBC130EC71EF00DC Time : 0.0 sec. user=mdettweiler [2016-04-21 10:00:29] 627*2^1426902-1 is not prime. Res64: C8AB09CEA89B483A Time : 0.0 sec. user=mdettweiler [2016-04-21 10:00:29] 647*2^1426902-1 is not prime. Res64: 649E713B57D684AB Time : 0.0 sec. user=mdettweiler [2016-04-21 10:00:30] 765*2^1426902-1 is not prime. Res64: 85C100999E21B939 Time : 0.0 sec. user=mdettweiler [2016-04-21 10:00:31] 893*2^1426902-1 is not prime. Res64: 69D631B16FDB993F Time : 0.0 sec. user=mdettweiler [2016-04-21 10:00:31] 709*2^1426903-1 is not prime. Res64: 27ED04F62D9055A2 Time : 0.0 sec. user=mdettweiler [2016-04-21 10:02:05] 729*2^1426903-1 is not prime. Res64: 61C5E6EA0D83A716 Time : 0.0 sec. user=mdettweiler [2016-04-21 10:02:06] 765*2^1426903-1 is not prime. Res64: ED06BF19026CC562 Time : 0.0 sec. user=mdettweiler [2016-04-21 10:02:06] 789*2^1426903-1 is not prime. Res64: F581C217153EFC78 Time : 0.0 sec. user=mdettweiler [2016-04-21 10:02:07] 933*2^1426903-1 is not prime. Res64: DD00E9D99850F3E8 Time : 0.0 sec. user=mdettweiler [2016-04-21 10:02:08] 617*2^1426904-1 is not prime. Res64: E6E9B0267C3BD6A4 Time : 0.0 sec. user=mdettweiler [2016-04-21 10:32:21] 635*2^1426904-1 is not prime. Res64: 0AE7F8ABFE6D3B5B Time : 0.0 sec. user=mdettweiler [2016-04-21 10:32:21] 609*2^1426905-1 is not prime. Res64: F77B8703C4FD4313 Time : 0.0 sec. user=mdettweiler [2016-04-21 10:32:21] 705*2^1426905-1 is not prime. Res64: BA107CC35740BB7D Time : 0.0 sec. user=mdettweiler [2016-04-21 10:32:22] 751*2^1426905-1 is not prime. Res64: 0B3C19D5D45CBD43 Time : 0.0 sec. user=mdettweiler [2016-04-21 10:32:22] 777*2^1426905-1 is not prime. Res64: 8CD2207901EF74B3 Time : 0.0 sec. user=mdettweiler [2016-04-21 10:32:39] 795*2^1426905-1 is not prime. Res64: 944767D081C67159 Time : 0.0 sec. user=mdettweiler [2016-04-21 10:32:39] 955*2^1426905-1 is not prime. Res64: 57E1DBA8690ADABB Time : 0.0 sec. user=mdettweiler [2016-04-21 10:32:40] 647*2^1426906-1 is not prime. Res64: 5F6D44FFBEE1CFEF Time : 0.0 sec. user=mdettweiler [2016-04-21 10:32:40] 701*2^1426906-1 is not prime. Res64: 068FCD9BFB1C6CD9 Time : 0.0 sec. user=mdettweiler [2016-04-21 10:32:41] 923*2^1426906-1 is not prime. Res64: 6E67CA632FFA816C Time : 0.0 sec. user=mdettweiler [2016-04-21 10:50:54] 619*2^1426907-1 is not prime. Res64: A844AA5156726787 Time : 0.0 sec. user=mdettweiler [2016-04-21 10:50:54] 633*2^1426907-1 is not prime. Res64: 2C842E8049F9C1E2 Time : 0.0 sec. user=mdettweiler [2016-04-21 10:50:54] 801*2^1426907-1 is not prime. Res64: 826C9EC9B29538BC Time : 0.0 sec. user=mdettweiler [2016-04-21 10:50:55] 879*2^1426907-1 is not prime. Res64: BB6F3FD976084068 Time : 0.0 sec. user=mdettweiler [2016-04-21 10:50:55] 885*2^1426907-1 is not prime. Res64: 39AAC5F502824295 Time : 0.0 sec. user=mdettweiler [2016-04-21 10:52:49] 915*2^1426907-1 is not prime. Res64: ADC635327782217B Time : 0.0 sec. user=mdettweiler [2016-04-21 10:52:50] 973*2^1426907-1 is not prime. Res64: C962E84E70657264 Time : 0.0 sec. user=mdettweiler [2016-04-21 10:52:50] 979*2^1426907-1 is not prime. Res64: 090FF0C13B66299C Time : 0.0 sec. user=mdettweiler [2016-04-21 10:52:50] 605*2^1426908-1 is not prime. Res64: EEA6F054522519EC Time : 0.0 sec. user=mdettweiler [2016-04-21 10:52:51] 723*2^1426908-1 is not prime. Res64: 7A2C336E1C8F7D00 Time : 0.0 sec. user=mdettweiler [2016-04-21 11:21:27] 737*2^1426908-1 is not prime. Res64: 9294BEEB8A8579E8 Time : 0.0 sec. user=mdettweiler [2016-04-21 11:21:28] 809*2^1426908-1 is not prime. Res64: 5A4EC6F79C99BD77 Time : 0.0 sec. user=mdettweiler [2016-04-21 11:21:28] 839*2^1426908-1 is not prime. Res64: C3A58388A95FB1BF Time : 0.0 sec. user=mdettweiler [2016-04-21 11:21:29] 615*2^1426909-1 is not prime. Res64: F4630FF69ADC3C87 Time : 0.0 sec. user=mdettweiler [2016-04-21 11:21:29] 721*2^1426909-1 is not prime. Res64: F7E2A47873DC399F Time : 0.0 sec. user=mdettweiler [2016-04-21 11:21:37] 817*2^1426909-1 is not prime. Res64: F9D676F3E5DCC187 Time : 0.0 sec. user=mdettweiler [2016-04-21 11:21:38] 867*2^1426909-1 is not prime. Res64: 90A16D2778764EC9 Time : 0.0 sec. user=mdettweiler [2016-04-21 11:21:39] 897*2^1426909-1 is not prime. Res64: D031F974572469EA Time : 0.0 sec. user=mdettweiler [2016-04-21 11:21:40] 951*2^1426909-1 is not prime. Res64: 4EFC40896B663251 Time : 0.0 sec. user=mdettweiler [2016-04-21 11:21:40] 975*2^1426909-1 is not prime. Res64: A0BA1F68D76E6C05 Time : 0.0 sec. user=mdettweiler [2016-04-21 11:36:06] 645*2^1426910-1 is not prime. Res64: 639F9A705E0FDCE7 Time : 0.0 sec. user=mdettweiler [2016-04-21 11:36:07] 711*2^1426910-1 is not prime. Res64: 949BCC01F7ACFDD5 Time : 0.0 sec. user=mdettweiler [2016-04-21 11:36:07] 791*2^1426910-1 is not prime. Res64: 6A571B89846657E4 Time : 0.0 sec. user=mdettweiler [2016-04-21 11:36:07] 827*2^1426910-1 is not prime. Res64: 98BF250855FF823E Time : 0.0 sec. user=mdettweiler [2016-04-21 11:36:08] 951*2^1426910-1 is not prime. Res64: 67C0505949F386F3 Time : 0.0 sec. user=mdettweiler [2016-04-21 11:38:03] 609*2^1426911-1 is not prime. Res64: 60858C1C1D306852 Time : 0.0 sec. user=mdettweiler [2016-04-21 11:38:03] 723*2^1426911-1 is not prime. Res64: 1DBC15EFA6E282DB Time : 0.0 sec. user=mdettweiler [2016-04-21 11:38:03] 873*2^1426911-1 is not prime. Res64: 6DF2A5C3915D4C3A Time : 0.0 sec. user=mdettweiler [2016-04-21 11:38:04] 879*2^1426911-1 is not prime. Res64: F60D9A85169F0336 Time : 0.0 sec. user=mdettweiler [2016-04-21 11:38:04] 885*2^1426911-1 is not prime. Res64: 5D6E2A778DF19061 Time : 0.0 sec. user=mdettweiler [2016-04-21 12:06:33] 605*2^1426912-1 is not prime. Res64: 1367AA05E0793149 Time : 0.0 sec. user=mdettweiler [2016-04-21 12:06:34] 645*2^1426912-1 is not prime. Res64: BF63F17DFC3E41EC Time : 0.0 sec. user=mdettweiler [2016-04-21 12:06:34] 675*2^1426912-1 is not prime. Res64: 62F191EC44F7F6B9 Time : 0.0 sec. user=mdettweiler [2016-04-21 12:06:34] 735*2^1426912-1 is not prime. Res64: D94D44781D4BBAA0 Time : 0.0 sec. user=mdettweiler [2016-04-21 12:06:35] 747*2^1426912-1 is not prime. Res64: C8B00F4C0589A3AD Time : 0.0 sec. user=mdettweiler [2016-04-21 12:06:35] 797*2^1426912-1 is not prime. Res64: 3E49A89DF3817D2C Time : 0.0 sec. user=mdettweiler [2016-04-21 12:06:35] 813*2^1426912-1 is not prime. Res64: 3BC097060A624EF4 Time : 0.0 sec. user=mdettweiler [2016-04-21 12:06:36] 843*2^1426912-1 is not prime. Res64: 441D7947FADF6822 Time : 0.0 sec. user=mdettweiler [2016-04-21 12:06:36] 909*2^1426912-1 is not prime. Res64: 8D055FAA12BD178C Time : 0.0 sec. user=mdettweiler [2016-04-21 12:06:37] 741*2^1426913-1 is not prime. Res64: 7364687F8744FB65 Time : 0.0 sec. user=mdettweiler [2016-04-21 12:21:09] 829*2^1426913-1 is not prime. Res64: 0E2963A6FFA7C123 Time : 0.0 sec. user=mdettweiler [2016-04-21 12:21:09] 901*2^1426913-1 is not prime. Res64: FF66D63DFC7817F5 Time : 0.0 sec. user=mdettweiler [2016-04-21 12:21:09] 671*2^1426914-1 is not prime. Res64: AB935BB5BE3869E6 Time : 0.0 sec. user=mdettweiler [2016-04-21 12:21:10] 737*2^1426914-1 is not prime. Res64: 3764BD920138ED0B Time : 0.0 sec. user=mdettweiler [2016-04-21 12:21:10] 803*2^1426914-1 is not prime. Res64: A3A34F404F934B4F Time : 0.0 sec. user=mdettweiler [2016-04-21 12:22:57] 851*2^1426914-1 is not prime. Res64: B6B122D06C237E64 Time : 0.0 sec. user=mdettweiler [2016-04-21 12:22:57] 873*2^1426914-1 is not prime. Res64: EB9A3176CAA7F625 Time : 0.0 sec. user=mdettweiler [2016-04-21 12:22:57] 633*2^1426915-1 is not prime. Res64: BB462EF93DAFC2D9 Time : 0.0 sec. user=mdettweiler [2016-04-21 12:22:58] 673*2^1426915-1 is not prime. Res64: 6D951CFC6519DB15 Time : 0.0 sec. user=mdettweiler [2016-04-21 12:22:58] 741*2^1426915-1 is not prime. Res64: 710FBFB8586C0CBE Time : 0.0 sec. user=mdettweiler [2016-04-21 12:51:34] 765*2^1426915-1 is not prime. Res64: 16EADC6C25155C27 Time : 0.0 sec. user=mdettweiler [2016-04-21 12:51:34] 793*2^1426915-1 is not prime. Res64: 8954383C9EEA6621 Time : 0.0 sec. user=mdettweiler [2016-04-21 12:51:34] 873*2^1426915-1 is not prime. Res64: 43270EC1C75EE6DF Time : 0.0 sec. user=mdettweiler [2016-04-21 12:51:35] 891*2^1426915-1 is not prime. Res64: E385CD9F768E8EF6 Time : 0.0 sec. user=mdettweiler [2016-04-21 12:51:35] 915*2^1426915-1 is not prime. Res64: 2209811C3CDC347E Time : 0.0 sec. user=mdettweiler [2016-04-21 12:51:37] 617*2^1426916-1 is not prime. Res64: 8FE89A8C7A3CDE5B Time : 0.0 sec. user=mdettweiler [2016-04-21 12:51:37] 635*2^1426916-1 is not prime. Res64: 3BB0BA6A2D95CDBE Time : 0.0 sec. user=mdettweiler [2016-04-21 12:51:38] 813*2^1426916-1 is not prime. Res64: 68B4E5B7BC681A2A Time : 0.0 sec. user=mdettweiler [2016-04-21 12:51:38] 927*2^1426916-1 is not prime. Res64: AC1C3F7C8E3F64AB Time : 0.0 sec. user=mdettweiler [2016-04-21 12:51:39] 765*2^1426917-1 is not prime. Res64: 910E0B790A2D0E2F Time : 0.0 sec. user=mdettweiler [2016-04-21 13:06:06] 777*2^1426917-1 is not prime. Res64: 8C34A74B9D54564B Time : 0.0 sec. user=mdettweiler [2016-04-21 13:06:06] 819*2^1426917-1 is not prime. Res64: A7547EA6181FD43D Time : 0.0 sec. user=mdettweiler [2016-04-21 13:06:07] 847*2^1426917-1 is not prime. Res64: 9DA7E2B38C7DE800 Time : 0.0 sec. user=mdettweiler [2016-04-21 13:06:07] 927*2^1426917-1 is not prime. Res64: B7FB390CBF715C9D Time : 0.0 sec. user=mdettweiler [2016-04-21 13:06:08] 937*2^1426917-1 is not prime. Res64: 4B3D97F332B862AC Time : 0.0 sec. user=mdettweiler [2016-04-21 13:08:05] 955*2^1426917-1 is not prime. Res64: 98C71CA915C98A7A Time : 0.0 sec. user=mdettweiler [2016-04-21 13:08:05] 991*2^1426917-1 is not prime. Res64: E98F32AD4F93922A Time : 0.0 sec. user=mdettweiler [2016-04-21 13:08:06] 603*2^1426918-1 is not prime. Res64: 5E3C4411E98F2F46 Time : 0.0 sec. user=mdettweiler [2016-04-21 13:08:07] 621*2^1426918-1 is not prime. Res64: 4B820C3980E21083 Time : 0.0 sec. user=mdettweiler [2016-04-21 13:08:07] 737*2^1426918-1 is not prime. Res64: B9683FA48FAF571A Time : 0.0 sec. user=mdettweiler [2016-04-21 13:36:40] 777*2^1426918-1 is not prime. Res64: 11F9B73B6704E5D5 Time : 0.0 sec. user=mdettweiler [2016-04-21 13:36:41] 815*2^1426918-1 is not prime. Res64: D6CBBE4B96EB9D2D Time : 0.0 sec. user=mdettweiler [2016-04-21 13:36:41] 827*2^1426918-1 is not prime. Res64: 15809154CA7D0479 Time : 0.0 sec. user=mdettweiler [2016-04-21 13:36:41] 891*2^1426918-1 is not prime. Res64: CEA905EA0D002401 Time : 0.0 sec. user=mdettweiler [2016-04-21 13:36:42] 971*2^1426918-1 is not prime. Res64: 5C57D202A2E8A2BB Time : 0.0 sec. user=mdettweiler [2016-04-21 13:36:47] 987*2^1426918-1 is not prime. Res64: 2B070D0CFA0BFCD6 Time : 0.0 sec. user=mdettweiler [2016-04-21 13:36:48] 771*2^1426919-1 is not prime. Res64: 618BF10DE83222FD Time : 0.0 sec. user=mdettweiler [2016-04-21 13:36:48] 841*2^1426919-1 is not prime. Res64: 69790FBB9F9A6891 Time : 0.0 sec. user=mdettweiler [2016-04-21 13:36:48] 885*2^1426919-1 is not prime. Res64: 2D8C29D3587D5948 Time : 0.0 sec. user=mdettweiler [2016-04-21 13:36:49] 999*2^1426919-1 is not prime. Res64: 001C73576762C808 Time : 0.0 sec. user=mdettweiler [2016-04-21 13:51:08] 689*2^1426920-1 is not prime. Res64: 964176F681579570 Time : 0.0 sec. user=mdettweiler [2016-04-21 13:51:08] 839*2^1426920-1 is not prime. Res64: F4F96614DF959234 Time : 0.0 sec. user=mdettweiler [2016-04-21 13:51:08] 927*2^1426920-1 is not prime. Res64: C037AECF573861C9 Time : 0.0 sec. user=mdettweiler [2016-04-21 13:51:09] 959*2^1426920-1 is not prime. Res64: 36787A7381AC0947 Time : 0.0 sec. user=mdettweiler [2016-04-21 13:51:09] 675*2^1426921-1 is not prime. Res64: 98BB9ADAA2BC471D Time : 0.0 sec. user=mdettweiler [2016-04-21 13:53:05] 687*2^1426921-1 is not prime. Res64: BE9305FC85042159 Time : 0.0 sec. user=mdettweiler [2016-04-21 13:53:06] 745*2^1426921-1 is not prime. Res64: DABDF6579C84417C Time : 0.0 sec. user=mdettweiler [2016-04-21 13:53:06] 855*2^1426921-1 is not prime. Res64: A878B86E5419F9B6 Time : 0.0 sec. user=mdettweiler [2016-04-21 13:53:06] 931*2^1426921-1 is not prime. Res64: 0AF3D2393D0F42E3 Time : 0.0 sec. user=mdettweiler [2016-04-21 13:53:07] 979*2^1426921-1 is not prime. Res64: 8E59827B782DF6F8 Time : 0.0 sec. user=mdettweiler [2016-04-21 14:21:37] 987*2^1426921-1 is not prime. Res64: 7AC84CFEFD0DB186 Time : 0.0 sec. user=mdettweiler [2016-04-21 14:21:38] 671*2^1426922-1 is not prime. Res64: B9BE7C592460676D Time : 0.0 sec. user=mdettweiler [2016-04-21 14:21:39] 713*2^1426922-1 is not prime. Res64: EE24A1EF4B329C43 Time : 0.0 sec. user=mdettweiler [2016-04-21 14:21:40] 791*2^1426922-1 is not prime. Res64: BECF40B4F47B179E Time : 0.0 sec. user=mdettweiler [2016-04-21 14:21:41] 843*2^1426922-1 is not prime. Res64: 2865F69C0B057E61 Time : 0.0 sec. user=mdettweiler [2016-04-21 14:21:46] 875*2^1426922-1 is not prime. Res64: 9EBCC599D1ED5241 Time : 0.0 sec. user=mdettweiler [2016-04-21 14:21:47] 887*2^1426922-1 is not prime. Res64: 7F3EBA34BF001942 Time : 0.0 sec. user=mdettweiler [2016-04-21 14:21:48] 923*2^1426922-1 is not prime. Res64: AB36536A978F4E44 Time : 0.0 sec. user=mdettweiler [2016-04-21 14:21:48] 935*2^1426922-1 is not prime. Res64: 3B7B495463B8AF03 Time : 0.0 sec. user=mdettweiler [2016-04-21 14:21:49] 963*2^1426922-1 is not prime. Res64: E120A88ED2BB0B08 Time : 0.0 sec. user=mdettweiler [2016-04-21 14:36:16] 609*2^1426923-1 is not prime. Res64: B6AC7F9ECA508CCE Time : 0.0 sec. user=mdettweiler [2016-04-21 14:36:17] 675*2^1426923-1 is not prime. Res64: 73BB008B256A78F6 Time : 0.0 sec. user=mdettweiler [2016-04-21 14:36:17] 685*2^1426923-1 is not prime. Res64: 88D70FCF3C3C7249 Time : 0.0 sec. user=mdettweiler [2016-04-21 14:36:18] 703*2^1426923-1 is not prime. Res64: 5F0CEA31D39B4DE7 Time : 0.0 sec. user=mdettweiler [2016-04-21 14:36:18] 783*2^1426923-1 is not prime. Res64: 548814A8482F0942 Time : 0.0 sec. user=mdettweiler [2016-04-21 14:38:03] 985*2^1426923-1 is not prime. Res64: 9ACE175375A459F0 Time : 0.0 sec. user=mdettweiler [2016-04-21 14:38:03] 635*2^1426924-1 is not prime. Res64: 69EFB0B64DCEC100 Time : 0.0 sec. user=mdettweiler [2016-04-21 14:38:04] 639*2^1426924-1 is not prime. Res64: A4E734719E390079 Time : 0.0 sec. user=mdettweiler [2016-04-21 14:38:04] 665*2^1426924-1 is not prime. Res64: 34446C3F8A8BAA80 Time : 0.0 sec. user=mdettweiler [2016-04-21 14:38:05] 855*2^1426924-1 is not prime. Res64: C48085B0C5E7C5F0 Time : 0.0 sec. user=mdettweiler [2016-04-21 15:06:43] 897*2^1426924-1 is not prime. Res64: AD43E7CA9878F7FB Time : 0.0 sec. user=mdettweiler [2016-04-21 15:06:44] 975*2^1426924-1 is not prime. Res64: 9DE14B86266D9E45 Time : 0.0 sec. user=mdettweiler [2016-04-21 15:06:44] 983*2^1426924-1 is not prime. Res64: 87C934E4AA918F55 Time : 0.0 sec. user=mdettweiler [2016-04-21 15:06:45] 989*2^1426924-1 is not prime. Res64: 5C306A2A02ECDAA8 Time : 0.0 sec. user=mdettweiler [2016-04-21 15:06:45] 655*2^1426925-1 is not prime. Res64: 3B87F667C30E7BD6 Time : 0.0 sec. user=mdettweiler [2016-04-21 15:06:47] 657*2^1426925-1 is not prime. Res64: 55E4E976563D459B Time : 0.0 sec. user=mdettweiler [2016-04-21 15:06:48] 825*2^1426925-1 is not prime. Res64: 993AA440C2D67155 Time : 0.0 sec. user=mdettweiler [2016-04-21 15:06:48] 925*2^1426925-1 is not prime. Res64: 3393F3E4ADA98C68 Time : 0.0 sec. user=mdettweiler [2016-04-21 15:06:49] 937*2^1426925-1 is not prime. Res64: 8CEF7114900881EF Time : 0.0 sec. user=mdettweiler [2016-04-21 15:06:49] 939*2^1426925-1 is not prime. Res64: 8A69AFA39824273D Time : 0.0 sec. user=mdettweiler [2016-04-21 15:21:15] 747*2^1426926-1 is not prime. Res64: 6826383E938612A6 Time : 0.0 sec. user=mdettweiler [2016-04-21 15:21:15] 887*2^1426926-1 is not prime. Res64: A0D9FA88C934F7F4 Time : 0.0 sec. user=mdettweiler [2016-04-21 15:21:16] 963*2^1426926-1 is not prime. Res64: B63846D1D8A378B2 Time : 0.0 sec. user=mdettweiler [2016-04-21 15:21:16] 983*2^1426926-1 is not prime. Res64: 2083718365A71515 Time : 0.0 sec. user=mdettweiler [2016-04-21 15:21:16] 619*2^1426927-1 is not prime. Res64: 2BBA75A92B23FEB0 Time : 0.0 sec. user=mdettweiler [2016-04-21 15:23:01] 685*2^1426927-1 is not prime. Res64: 0F6CAC1FA8ED14B7 Time : 0.0 sec. user=mdettweiler [2016-04-21 15:23:01] 769*2^1426927-1 is not prime. Res64: 1CCC16FFCEE4D7B6 Time : 0.0 sec. user=mdettweiler [2016-04-21 15:23:01] 829*2^1426927-1 is not prime. Res64: 59277A2DFD258AFC Time : 0.0 sec. user=mdettweiler [2016-04-21 15:23:02] 979*2^1426927-1 is not prime. Res64: 62B473C77A576D34 Time : 0.0 sec. user=mdettweiler [2016-04-21 15:23:02] 999*2^1426927-1 is not prime. Res64: 2AC9017E7E2B88E2 Time : 0.0 sec. user=mdettweiler [2016-04-21 15:51:50] 969*2^1426928-1 is not prime. Res64: CBF61636DF97E317 Time : 0.0 sec. user=mdettweiler [2016-04-21 15:51:51] 705*2^1426929-1 is not prime. Res64: 8A2AF1A0E7FFACDC Time : 0.0 sec. user=mdettweiler [2016-04-21 15:51:51] 759*2^1426929-1 is not prime. Res64: 184A24A9DF8229ED Time : 0.0 sec. user=mdettweiler [2016-04-21 15:51:51] 885*2^1426929-1 is not prime. Res64: 76125CDFBA8FCEEC Time : 0.0 sec. user=mdettweiler [2016-04-21 15:51:51] 979*2^1426929-1 is not prime. Res64: 93FD0DAE9A3EC9D9 Time : 0.0 sec. user=mdettweiler [2016-04-21 15:52:02] 725*2^1426928-1 is not prime. Res64: 8E74C8B9BC36D8A8 Time : 0.0 sec. user=mdettweiler [2016-04-21 15:52:02] 743*2^1426928-1 is not prime. Res64: 4BA7B701E73B691D Time : 0.0 sec. user=mdettweiler [2016-04-21 15:52:02] 747*2^1426928-1 is not prime. Res64: FEBA114677193EEB Time : 0.0 sec. user=mdettweiler [2016-04-21 15:52:03] 827*2^1426928-1 is not prime. Res64: CA54B710B2E5C000 Time : 0.0 sec. user=mdettweiler [2016-04-21 15:52:03] 915*2^1426928-1 is not prime. Res64: A285F280209D03CC Time : 0.0 sec. user=mdettweiler [2016-04-21 16:06:37] 611*2^1426930-1 is not prime. Res64: 7FC26816BF9A1B2B Time : 0.0 sec. user=mdettweiler [2016-04-21 16:06:38] 653*2^1426930-1 is not prime. Res64: F77BBDB095AAA75D Time : 0.0 sec. user=mdettweiler [2016-04-21 16:06:39] 675*2^1426930-1 is not prime. Res64: 0BB3E6D3DBF358E6 Time : 0.0 sec. user=mdettweiler [2016-04-21 16:06:40] 741*2^1426930-1 is not prime. Res64: 6F95CAA376BFC3DC Time : 0.0 sec. user=mdettweiler [2016-04-21 16:06:40] 867*2^1426930-1 is not prime. Res64: 7E74DEBA9D3A4A46 Time : 0.0 sec. user=mdettweiler [2016-04-21 16:08:18] 885*2^1426930-1 is not prime. Res64: 3FB03E714D7D7B76 Time : 0.0 sec. user=mdettweiler [2016-04-21 16:08:18] 891*2^1426930-1 is not prime. Res64: FC5AF09A8DA3364F Time : 0.0 sec. user=mdettweiler [2016-04-21 16:08:19] 675*2^1426931-1 is not prime. Res64: CCD165F6F5D40890 Time : 0.0 sec. user=mdettweiler [2016-04-21 16:08:20] 733*2^1426931-1 is not prime. Res64: 282838ED0C63FDBF Time : 0.0 sec. user=mdettweiler [2016-04-21 16:08:20] 825*2^1426931-1 is not prime. Res64: DA58A809B9721278 Time : 0.0 sec. user=mdettweiler [2016-04-21 16:36:56] 841*2^1426931-1 is not prime. Res64: E9FEE7B21AF8E2B6 Time : 0.0 sec. user=mdettweiler [2016-04-21 16:36:56] 859*2^1426931-1 is not prime. Res64: 47920BF7C91F8B15 Time : 0.0 sec. user=mdettweiler [2016-04-21 16:36:57] 883*2^1426931-1 is not prime. Res64: 0B8190605B35F073 Time : 0.0 sec. user=mdettweiler [2016-04-21 16:36:57] 993*2^1426931-1 is not prime. Res64: 5B129F613B43AC50 Time : 0.0 sec. user=mdettweiler [2016-04-21 16:36:58] 639*2^1426932-1 is not prime. Res64: B299DE947753E5AE Time : 0.0 sec. user=mdettweiler [2016-04-21 16:37:05] 803*2^1426932-1 is not prime. Res64: 02C2ACB0A5606CDE Time : 0.0 sec. user=mdettweiler [2016-04-21 16:37:06] 923*2^1426932-1 is not prime. Res64: 968FAF9E2BAB91EC Time : 0.0 sec. user=mdettweiler [2016-04-21 16:37:06] 639*2^1426933-1 is not prime. Res64: C1654410CE740336 Time : 0.0 sec. user=mdettweiler [2016-04-21 16:37:07] 651*2^1426933-1 is not prime. Res64: E82384DCCD64DCD1 Time : 0.0 sec. user=mdettweiler [2016-04-21 16:37:07] 775*2^1426933-1 is not prime. Res64: 66B10BA1BD7A2F2E Time : 0.0 sec. user=mdettweiler [2016-04-21 16:52:02] 901*2^1426933-1 is not prime. Res64: CF9CA5AE86A3098C Time : 0.0 sec. user=mdettweiler [2016-04-21 16:52:03] 939*2^1426933-1 is not prime. Res64: EDF5BAA5D04129E6 Time : 0.0 sec. user=mdettweiler [2016-04-21 16:52:03] 945*2^1426933-1 is not prime. Res64: AD51695AA6F42E5C Time : 0.0 sec. user=mdettweiler [2016-04-21 16:52:03] 961*2^1426933-1 is not prime. Res64: 74907692D1E9FCFC Time : 0.0 sec. user=mdettweiler [2016-04-21 16:52:04] 663*2^1426934-1 is not prime. Res64: F17B9603ABFDEC89 Time : 0.0 sec. user=mdettweiler [2016-04-21 16:53:34] 665*2^1426934-1 is not prime. Res64: DEFFE311B9A86FF2 Time : 0.0 sec. user=mdettweiler [2016-04-21 16:53:35] 687*2^1426934-1 is not prime. Res64: D8C588F0EB9161BB Time : 0.0 sec. user=mdettweiler [2016-04-21 16:53:35] 705*2^1426934-1 is not prime. Res64: E030577CBEC03B29 Time : 0.0 sec. user=mdettweiler [2016-04-21 16:53:35] 987*2^1426934-1 is not prime. Res64: FF4EE0E0A1B30911 Time : 0.0 sec. user=mdettweiler [2016-04-21 16:53:36] 633*2^1426935-1 is not prime. Res64: 7FD376ACF739962C Time : 0.0 sec. user=mdettweiler [2016-04-21 17:21:54] 781*2^1426935-1 is not prime. Res64: 58571ACE4D0C50E3 Time : 0.0 sec. user=mdettweiler [2016-04-21 17:21:54] 825*2^1426935-1 is not prime. Res64: F6A439DD866B23DD Time : 0.0 sec. user=mdettweiler [2016-04-21 17:21:55] 955*2^1426935-1 is not prime. Res64: A275E918FB813306 Time : 0.0 sec. user=mdettweiler [2016-04-21 17:21:56] 985*2^1426935-1 is not prime. Res64: 12FDC21CF2241E00 Time : 0.0 sec. user=mdettweiler [2016-04-21 17:21:57] 657*2^1426936-1 is not prime. Res64: 7A8669ECDB7554C0 Time : 0.0 sec. user=mdettweiler [2016-04-21 17:22:00] 675*2^1426936-1 is not prime. Res64: 80D7309DE3455FC1 Time : 0.0 sec. user=mdettweiler [2016-04-21 17:22:01] 677*2^1426936-1 is not prime. Res64: 0B6AC42C719678D2 Time : 0.0 sec. user=mdettweiler [2016-04-21 17:22:02] 779*2^1426936-1 is not prime. Res64: 397D8C78EF338E70 Time : 0.0 sec. user=mdettweiler [2016-04-21 17:22:03] 807*2^1426936-1 is not prime. Res64: F50531BBC5810538 Time : 0.0 sec. user=mdettweiler [2016-04-21 17:22:04] 825*2^1426936-1 is not prime. Res64: 5AB6865B4302CC13 Time : 0.0 sec. user=mdettweiler [2016-04-21 17:37:11] 843*2^1426936-1 is not prime. Res64: 0EF51A18464E6E60 Time : 0.0 sec. user=mdettweiler [2016-04-21 17:37:11] 957*2^1426936-1 is not prime. Res64: 78E9E36477B1C5B0 Time : 0.0 sec. user=mdettweiler [2016-04-21 17:37:12] 989*2^1426936-1 is not prime. Res64: 6FA52BA0BB07F841 Time : 0.0 sec. user=mdettweiler [2016-04-21 17:37:12] 993*2^1426936-1 is not prime. Res64: 3C701C3BCA5205F3 Time : 0.0 sec. user=mdettweiler [2016-04-21 17:37:12] 759*2^1426937-1 is not prime. Res64: 9B9EF8C76015E14E Time : 0.0 sec. user=mdettweiler [2016-04-21 17:38:51] 771*2^1426937-1 is not prime. Res64: DC00E721FB99DEBC Time : 0.0 sec. user=mdettweiler [2016-04-21 17:38:52] 931*2^1426937-1 is not prime. Res64: 517104393F068698 Time : 0.0 sec. user=mdettweiler [2016-04-21 17:38:52] 615*2^1426938-1 is not prime. Res64: 25EDC766467B1586 Time : 0.0 sec. user=mdettweiler [2016-04-21 17:38:52] 621*2^1426938-1 is not prime. Res64: 15DD2F03C5F2281F Time : 0.0 sec. user=mdettweiler [2016-04-21 17:38:53] 641*2^1426938-1 is not prime. Res64: E72AD2742449F593 Time : 0.0 sec. user=mdettweiler [2016-04-21 18:07:04] 671*2^1426938-1 is not prime. Res64: EA2A5F10D21AD75D Time : 0.0 sec. user=mdettweiler [2016-04-21 18:07:04] 887*2^1426938-1 is not prime. Res64: 13C0D5A297767747 Time : 0.0 sec. user=mdettweiler [2016-04-21 18:07:05] 927*2^1426938-1 is not prime. Res64: 95A19AFA03138937 Time : 0.0 sec. user=mdettweiler [2016-04-21 18:07:05] 951*2^1426938-1 is not prime. Res64: 3863DE9F0B5D8776 Time : 0.0 sec. user=mdettweiler [2016-04-21 18:07:06] 1001*2^1426938-1 is not prime. Res64: 5EC659D6AD3A8A90 Time : 0.0 sec. user=mdettweiler [2016-04-21 18:07:08] 709*2^1426939-1 is not prime. Res64: E7FEB8D3D1215AA2 Time : 0.0 sec. user=mdettweiler [2016-04-21 18:07:08] 735*2^1426939-1 is not prime. Res64: 97B0D17D16E54C26 Time : 0.0 sec. user=mdettweiler [2016-04-21 18:07:09] 741*2^1426939-1 is not prime. Res64: DDD4BD8BA9D2562A Time : 0.0 sec. user=mdettweiler [2016-04-21 18:07:09] 745*2^1426939-1 is not prime. Res64: AF2D2202343F1BEC Time : 0.0 sec. user=mdettweiler [2016-04-21 18:07:10] 751*2^1426939-1 is not prime. Res64: C711D8C3E01CE133 Time : 0.0 sec. user=mdettweiler [2016-04-21 18:22:13] 759*2^1426939-1 is not prime. Res64: DCF56C77FB8B3088 Time : 0.0 sec. user=mdettweiler [2016-04-21 18:22:14] 771*2^1426939-1 is not prime. Res64: CBA27218A9C7FB77 Time : 0.0 sec. user=mdettweiler [2016-04-21 18:22:14] 873*2^1426939-1 is not prime. Res64: FA6914A4A70A40F5 Time : 0.0 sec. user=mdettweiler [2016-04-21 18:22:15] 883*2^1426939-1 is not prime. Res64: B0756F055747A7D2 Time : 0.0 sec. user=mdettweiler [2016-04-21 18:22:15] 925*2^1426939-1 is not prime. Res64: E3FD1633C9B15D2F Time : 0.0 sec. user=mdettweiler [2016-04-21 18:23:58] 931*2^1426939-1 is not prime. Res64: 4E2CAB910D54DBFF Time : 0.0 sec. user=mdettweiler [2016-04-21 18:23:59] 943*2^1426939-1 is not prime. Res64: AC8A5AA6D3321189 Time : 0.0 sec. user=mdettweiler [2016-04-21 18:24:00] 961*2^1426939-1 is not prime. Res64: 237A85E1DF7E0424 Time : 0.0 sec. user=mdettweiler [2016-04-21 18:24:00] 603*2^1426940-1 is not prime. Res64: 21E1C95A34A9006D Time : 0.0 sec. user=mdettweiler [2016-04-21 18:24:01] 633*2^1426940-1 is not prime. Res64: 8B89A2CE4552F06D Time : 0.0 sec. user=mdettweiler [2016-04-21 18:52:09] 635*2^1426940-1 is not prime. Res64: FBAA640F44657923 Time : 0.0 sec. user=mdettweiler [2016-04-21 18:52:09] 707*2^1426940-1 is not prime. Res64: 3A025047678A7150 Time : 0.0 sec. user=mdettweiler [2016-04-21 18:52:09] 827*2^1426940-1 is not prime. Res64: A477F52EB739E8BD Time : 0.0 sec. user=mdettweiler [2016-04-21 18:52:10] 843*2^1426940-1 is not prime. Res64: 21E5FC2717BDFE59 Time : 0.0 sec. user=mdettweiler [2016-04-21 18:52:10] 893*2^1426940-1 is not prime. Res64: 98CD0317A2DC1F31 Time : 0.0 sec. user=mdettweiler [2016-04-21 18:52:22] 909*2^1426940-1 is not prime. Res64: 2B1287077A24F838 Time : 0.0 sec. user=mdettweiler [2016-04-21 18:52:22] 915*2^1426940-1 is not prime. Res64: 0DC60DCAB73F84F1 Time : 0.0 sec. user=mdettweiler [2016-04-21 18:52:22] 609*2^1426941-1 is not prime. Res64: 07228C8B7CA3A1E5 Time : 0.0 sec. user=mdettweiler [2016-04-21 18:52:23] 747*2^1426941-1 is not prime. Res64: AC98DFF807D53ABB Time : 0.0 sec. user=mdettweiler [2016-04-21 18:52:23] 865*2^1426941-1 is not prime. Res64: 338B211EC50D40BC Time : 0.0 sec. user=mdettweiler [2016-04-21 19:07:40] 937*2^1426941-1 is not prime. Res64: 2E97B516F037290E Time : 0.0 sec. user=mdettweiler [2016-04-21 19:07:41] 955*2^1426941-1 is not prime. Res64: E10F8F7DFED620F1 Time : 0.0 sec. user=mdettweiler [2016-04-21 19:07:42] 979*2^1426941-1 is not prime. Res64: 82CF0E06FFE0C63D Time : 0.0 sec. user=mdettweiler [2016-04-21 19:07:42] 999*2^1426941-1 is not prime. Res64: 92DC58B11ABF03F0 Time : 0.0 sec. user=mdettweiler [2016-04-21 19:07:43] 623*2^1426942-1 is not prime. Res64: 57D0771CCEE046B1 Time : 0.0 sec. user=mdettweiler [2016-04-21 19:09:01] 671*2^1426942-1 is not prime. Res64: 39BD1D561FE44227 Time : 0.0 sec. user=mdettweiler [2016-04-21 19:09:02] 723*2^1426942-1 is not prime. Res64: 599F6644261B22D7 Time : 0.0 sec. user=mdettweiler [2016-04-21 19:09:03] 747*2^1426942-1 is not prime. Res64: B93704823EA28C1E Time : 0.0 sec. user=mdettweiler [2016-04-21 19:09:04] 755*2^1426942-1 is not prime. Res64: 717550FF122CFA7F Time : 0.0 sec. user=mdettweiler [2016-04-21 19:09:04] 619*2^1426943-1 is not prime. Res64: 40D2A9BE3DCB3131 Time : 0.0 sec. user=mdettweiler [2016-04-21 19:37:08] 621*2^1426943-1 is not prime. Res64: FDE5CDBA9D6F6D35 Time : 0.0 sec. user=mdettweiler [2016-04-21 19:37:08] 721*2^1426943-1 is not prime. Res64: DAD657D03C3C5C3D Time : 0.0 sec. user=mdettweiler [2016-04-21 19:37:08] 739*2^1426943-1 is not prime. Res64: 31E442184C9B54AC Time : 0.0 sec. user=mdettweiler [2016-04-21 19:37:09] 663*2^1426944-1 is not prime. Res64: 85601A630337A466 Time : 0.0 sec. user=mdettweiler [2016-04-21 19:37:09] 705*2^1426944-1 is not prime. Res64: 5532A564396AA33D Time : 0.0 sec. user=mdettweiler [2016-04-21 19:37:18] 747*2^1426944-1 is not prime. Res64: B76246A991502817 Time : 0.0 sec. user=mdettweiler [2016-04-21 19:37:19] 753*2^1426944-1 is not prime. Res64: F915F5AE908B456E Time : 0.0 sec. user=mdettweiler [2016-04-21 19:37:19] 837*2^1426944-1 is not prime. Res64: CA30EE3DC954DE6C Time : 0.0 sec. user=mdettweiler [2016-04-21 19:37:19] 863*2^1426944-1 is not prime. Res64: B92F11013E589E0E Time : 0.0 sec. user=mdettweiler [2016-04-21 19:37:20] 873*2^1426944-1 is not prime. Res64: A1A0F83435B41BAC Time : 0.0 sec. user=mdettweiler [2016-04-21 19:52:46] 975*2^1426944-1 is not prime. Res64: 7CED4CADAFF70B01 Time : 0.0 sec. user=mdettweiler [2016-04-21 19:52:47] 649*2^1426945-1 is not prime. Res64: D21D4C65CC07C07A Time : 0.0 sec. user=mdettweiler [2016-04-21 19:52:47] 775*2^1426945-1 is not prime. Res64: 0D8876E47FBB6B8B Time : 0.0 sec. user=mdettweiler [2016-04-21 19:52:47] 641*2^1426946-1 is not prime. Res64: 8F9D90CACD6D39F6 Time : 0.0 sec. user=mdettweiler [2016-04-21 19:52:48] 755*2^1426946-1 is not prime. Res64: D26E14C05858F4D3 Time : 0.0 sec. user=mdettweiler [2016-04-21 19:54:12] 843*2^1426946-1 is not prime. Res64: 46A181CF66E5328F Time : 0.0 sec. user=mdettweiler [2016-04-21 19:54:13] 625*2^1426947-1 is not prime. Res64: 4C7B11B944C87F62 Time : 0.0 sec. user=mdettweiler [2016-04-21 19:54:13] 651*2^1426947-1 is not prime. Res64: 86484719AD3E852D Time : 0.0 sec. user=mdettweiler [2016-04-21 19:54:14] 669*2^1426947-1 is not prime. Res64: 129E0687267FBC2B Time : 0.0 sec. user=mdettweiler [2016-04-21 19:54:14] 741*2^1426947-1 is not prime. Res64: FF850594CC478CCE Time : 0.0 sec. user=mdettweiler [2016-04-21 20:22:07] 951*2^1426947-1 is not prime. Res64: D95AB19ECF483310 Time : 0.0 sec. user=mdettweiler [2016-04-21 20:22:08] 955*2^1426947-1 is not prime. Res64: 9413EEE45C73BC76 Time : 0.0 sec. user=mdettweiler [2016-04-21 20:22:09] 623*2^1426948-1 is not prime. Res64: FB0A89C837CD29F0 Time : 0.0 sec. user=mdettweiler [2016-04-21 20:22:09] 657*2^1426948-1 is not prime. Res64: 60363BBD3FE7E00E Time : 0.0 sec. user=mdettweiler [2016-04-21 20:22:10] 723*2^1426948-1 is not prime. Res64: 9FF454786BF6F0AF Time : 0.0 sec. user=mdettweiler [2016-04-21 20:22:24] 803*2^1426948-1 is not prime. Res64: 38FD6B0450998E79 Time : 0.0 sec. user=mdettweiler [2016-04-21 20:22:24] 845*2^1426948-1 is not prime. Res64: 9D450F987EED8F3E Time : 0.0 sec. user=mdettweiler [2016-04-21 20:22:25] 875*2^1426948-1 is not prime. Res64: 56DFDC17F72106CD Time : 0.0 sec. user=mdettweiler [2016-04-21 20:22:25] 645*2^1426949-1 is not prime. Res64: D7E397EE434F3EB7 Time : 0.0 sec. user=mdettweiler [2016-04-21 20:22:26] 675*2^1426949-1 is not prime. Res64: 18B1028102C6FBD9 Time : 0.0 sec. user=mdettweiler [2016-04-21 20:37:53] 685*2^1426949-1 is not prime. Res64: 1A2240D97FD43991 Time : 0.0 sec. user=mdettweiler [2016-04-21 20:37:53] 727*2^1426949-1 is not prime. Res64: 2AB5E8801A08684E Time : 0.0 sec. user=mdettweiler [2016-04-21 20:37:54] 787*2^1426949-1 is not prime. Res64: 6294164E4E462AD5 Time : 0.0 sec. user=mdettweiler [2016-04-21 20:37:54] 829*2^1426949-1 is not prime. Res64: E2D9E1F08EB95BE0 Time : 0.0 sec. user=mdettweiler [2016-04-21 20:37:54] 831*2^1426949-1 is not prime. Res64: F08CA277BBA8CB2E Time : 0.0 sec. user=mdettweiler [2016-04-21 20:39:18] 693*2^1426950-1 is not prime. Res64: 7845E116F5C791B9 Time : 0.0 sec. user=mdettweiler [2016-04-21 20:39:19] 783*2^1426950-1 is not prime. Res64: 0B0BA9DDDE2C3E18 Time : 0.0 sec. user=mdettweiler [2016-04-21 20:39:19] 791*2^1426950-1 is not prime. Res64: 76EB51ED393EBC94 Time : 0.0 sec. user=mdettweiler [2016-04-21 20:39:20] 893*2^1426950-1 is not prime. Res64: 6CD3D34B70347B06 Time : 0.0 sec. user=mdettweiler [2016-04-21 20:39:20] 921*2^1426950-1 is not prime. Res64: 3AD17B5B1FE166BB Time : 0.0 sec. user=mdettweiler [2016-04-21 21:07:57] 977*2^1426950-1 is not prime. Res64: 777239E81E584F64 Time : 0.0 sec. user=mdettweiler [2016-04-21 21:07:58] 617*2^1426952-1 is not prime. Res64: 0BB7C80011D5D420 Time : 0.0 sec. user=mdettweiler [2016-04-21 21:07:58] 633*2^1426952-1 is not prime. Res64: D8F8F78E2B741BC3 Time : 0.0 sec. user=mdettweiler [2016-04-21 21:07:59] 929*2^1426952-1 is not prime. Res64: A333217266BA35AD Time : 0.0 sec. user=mdettweiler [2016-04-21 21:07:59] 977*2^1426952-1 is not prime. Res64: 2800F8CC0B168C3F Time : 0.0 sec. user=mdettweiler [2016-04-21 21:08:09] 983*2^1426952-1 is not prime. Res64: CB6D28BEDF44B141 Time : 0.0 sec. user=mdettweiler [2016-04-21 21:08:09] 649*2^1426953-1 is not prime. Res64: 7ABC0F22A35F477B Time : 0.0 sec. user=mdettweiler [2016-04-21 21:08:10] 681*2^1426953-1 is not prime. Res64: 3C5AA27ADFAF4B21 Time : 0.0 sec. user=mdettweiler [2016-04-21 21:08:10] 901*2^1426953-1 is not prime. Res64: D3E9DC8F930EE0F8 Time : 0.0 sec. user=mdettweiler [2016-04-21 21:08:10] 915*2^1426953-1 is not prime. Res64: BED990FEA27A1039 Time : 0.0 sec. user=mdettweiler [2016-04-21 21:24:59] 955*2^1426953-1 is not prime. Res64: 4955ECE53986F821 Time : 0.0 sec. user=mdettweiler [2016-04-21 21:25:00] 611*2^1426954-1 is not prime. Res64: 614E28B9689833AF Time : 0.0 sec. user=mdettweiler [2016-04-21 21:25:00] 695*2^1426954-1 is not prime. Res64: FFEA0DCCD5E44586 Time : 0.0 sec. user=mdettweiler [2016-04-21 21:25:00] 815*2^1426954-1 is not prime. Res64: B79A772804CBDF91 Time : 0.0 sec. user=mdettweiler [2016-04-21 21:25:00] 887*2^1426954-1 is not prime. Res64: 233FF0AB6C3157BC Time : 0.0 sec. user=mdettweiler [2016-04-21 21:26:20] 945*2^1426954-1 is not prime. Res64: 12F59EC9D2F6A276 Time : 0.0 sec. user=mdettweiler [2016-04-21 21:26:20] 951*2^1426954-1 is not prime. Res64: 694D10A3707AC705 Time : 0.0 sec. user=mdettweiler [2016-04-21 21:26:20] 993*2^1426954-1 is not prime. Res64: 87194C15CAB87D7E Time : 0.0 sec. user=mdettweiler [2016-04-21 21:26:21] 609*2^1426955-1 is not prime. Res64: EC74EC047FBCA8C9 Time : 0.0 sec. user=mdettweiler [2016-04-21 21:26:21] 643*2^1426955-1 is not prime. Res64: EC0AD4948240F4BC Time : 0.0 sec. user=mdettweiler [2016-04-21 21:56:07] 639*2^1426956-1 is not prime. Res64: 50DED56A2A065E13 Time : 0.0 sec. user=mdettweiler [2016-04-21 21:56:07] 723*2^1426956-1 is not prime. Res64: 7D964984048C2621 Time : 0.0 sec. user=mdettweiler [2016-04-21 21:56:07] 735*2^1426956-1 is not prime. Res64: 7BDC8274EC572155 Time : 0.0 sec. user=mdettweiler [2016-04-21 21:56:08] 737*2^1426956-1 is not prime. Res64: C1833BCF971F7767 Time : 0.0 sec. user=mdettweiler [2016-04-21 21:56:08] 765*2^1426956-1 is not prime. Res64: 558DF0E738447B9C Time : 0.0 sec. user=mdettweiler [2016-04-21 21:56:09] 655*2^1426955-1 is not prime. Res64: 2E164CA2295D679A Time : 0.0 sec. user=mdettweiler [2016-04-21 21:56:09] 669*2^1426955-1 is not prime. Res64: 91ED1F0E2A15F55F Time : 0.0 sec. user=mdettweiler [2016-04-21 21:56:10] 693*2^1426955-1 is not prime. Res64: 68DD67DB5168F499 Time : 0.0 sec. user=mdettweiler [2016-04-21 21:56:10] 885*2^1426955-1 is not prime. Res64: 7ECA434539ECC9E7 Time : 0.0 sec. user=mdettweiler [2016-04-21 21:56:10] 895*2^1426955-1 is not prime. Res64: DA9C82CECB4948D3 Time : 0.0 sec. user=mdettweiler [2016-04-21 22:12:08] 777*2^1426956-1 is not prime. Res64: D48E56ADBBDCA7AD Time : 0.0 sec. user=mdettweiler [2016-04-21 22:12:08] 903*2^1426956-1 is not prime. Res64: CC421E82C67447CB Time : 0.0 sec. user=mdettweiler [2016-04-21 22:12:09] 609*2^1426957-1 is not prime. Res64: C41F4B080E8E0F49 Time : 0.0 sec. user=mdettweiler [2016-04-21 22:12:09] 967*2^1426957-1 is not prime. Res64: 273CC893F1C82D86 Time : 0.0 sec. user=mdettweiler [2016-04-21 22:12:10] 705*2^1426958-1 is not prime. Res64: 1113B785CBBC05F3 Time : 0.0 sec. user=mdettweiler [2016-04-21 22:12:53] 797*2^1426958-1 is not prime. Res64: D3406B9C5D78E4E6 Time : 0.0 sec. user=mdettweiler [2016-04-21 22:12:53] 861*2^1426958-1 is not prime. Res64: 0525575A4247EE22 Time : 0.0 sec. user=mdettweiler [2016-04-21 22:12:54] 921*2^1426958-1 is not prime. Res64: 86062F27F6866DE0 Time : 0.0 sec. user=mdettweiler [2016-04-21 22:12:54] 927*2^1426958-1 is not prime. Res64: FAE37F9D8637DC1C Time : 0.0 sec. user=mdettweiler [2016-04-21 22:12:55] 971*2^1426958-1 is not prime. Res64: A943AC59673E8AF3 Time : 0.0 sec. user=mdettweiler [2016-04-21 22:41:05] 795*2^1426959-1 is not prime. Res64: E53ACB72319A51EC Time : 0.0 sec. user=mdettweiler [2016-04-21 22:41:06] 829*2^1426959-1 is not prime. Res64: 97FC27E7C67AA70A Time : 0.0 sec. user=mdettweiler [2016-04-21 22:41:06] 991*2^1426959-1 is not prime. Res64: DBDD2C28B7E00094 Time : 0.0 sec. user=mdettweiler [2016-04-21 22:41:06] 653*2^1426960-1 is not prime. Res64: 23533D4AC1A4A9AE Time : 0.0 sec. user=mdettweiler [2016-04-21 22:41:07] 665*2^1426960-1 is not prime. Res64: 34BFA3D179724576 Time : 0.0 sec. user=mdettweiler [2016-04-21 22:41:17] 675*2^1426959-1 is not prime. Res64: 3682572A4A584DC4 Time : 0.0 sec. user=mdettweiler [2016-04-21 22:41:18] 691*2^1426959-1 is not prime. Res64: 96121EE4A56B1B09 Time : 0.0 sec. user=mdettweiler [2016-04-21 22:41:18] 705*2^1426959-1 is not prime. Res64: 95354EC0BA721A8A Time : 0.0 sec. user=mdettweiler [2016-04-21 22:41:19] 741*2^1426959-1 is not prime. Res64: 9A2D2DC0BEEAAA00 Time : 0.0 sec. user=mdettweiler [2016-04-21 22:41:19] 751*2^1426959-1 is not prime. Res64: 1F23AAB3CBA3847F Time : 0.0 sec. user=mdettweiler [2016-04-21 22:57:15] 759*2^1426960-1 is not prime. Res64: 3688227A8AD51F2F Time : 0.0 sec. user=mdettweiler [2016-04-21 22:57:16] 813*2^1426960-1 is not prime. Res64: 8F29D05F5EC65AE6 Time : 0.0 sec. user=mdettweiler [2016-04-21 22:57:16] 909*2^1426960-1 is not prime. Res64: 6B63E22351F12BCC Time : 0.0 sec. user=mdettweiler [2016-04-21 22:57:17] 917*2^1426960-1 is not prime. Res64: 1C992E6E9EF2FC1A Time : 0.0 sec. user=mdettweiler [2016-04-21 22:57:17] 607*2^1426961-1 is not prime. Res64: CDA0E4224DD841DD Time : 0.0 sec. user=mdettweiler [2016-04-21 22:57:53] 865*2^1426961-1 is not prime. Res64: 5AF06B8B8B14040A Time : 0.0 sec. user=mdettweiler [2016-04-21 22:57:53] 683*2^1426962-1 is not prime. Res64: 2EC4E4EADED74472 Time : 0.0 sec. user=mdettweiler [2016-04-21 22:57:53] 723*2^1426962-1 is not prime. Res64: F0260D55C60C8A3C Time : 0.0 sec. user=mdettweiler [2016-04-21 22:57:54] 725*2^1426962-1 is not prime. Res64: 834DB73188B39BC1 Time : 0.0 sec. user=mdettweiler [2016-04-21 22:57:54] 731*2^1426962-1 is not prime. Res64: 2943C5F54C3FA2AE Time : 0.0 sec. user=mdettweiler [2016-04-21 23:26:02] 807*2^1426962-1 is not prime. Res64: CBCF916DF58C3D42 Time : 0.0 sec. user=mdettweiler [2016-04-21 23:26:02] 875*2^1426962-1 is not prime. Res64: A5D5E8129C3ED0B4 Time : 0.0 sec. user=mdettweiler [2016-04-21 23:26:03] 941*2^1426962-1 is not prime. Res64: DFEEF06D468075CD Time : 0.0 sec. user=mdettweiler [2016-04-21 23:26:03] 977*2^1426962-1 is not prime. Res64: 1A4F2E534B27B860 Time : 0.0 sec. user=mdettweiler [2016-04-21 23:26:04] 649*2^1426963-1 is not prime. Res64: AEDC453B763922B5 Time : 0.0 sec. user=mdettweiler [2016-04-21 23:26:15] 693*2^1426963-1 is not prime. Res64: 8336953C5036E4FA Time : 0.0 sec. user=mdettweiler [2016-04-21 23:26:15] 703*2^1426963-1 is not prime. Res64: 15BE4C427B5FE523 Time : 0.0 sec. user=mdettweiler [2016-04-21 23:26:16] 775*2^1426963-1 is not prime. Res64: 500E8EFDD7B3C0AF Time : 0.0 sec. user=mdettweiler [2016-04-21 23:26:16] 805*2^1426963-1 is not prime. Res64: A305CB6DC5AF75D3 Time : 0.0 sec. user=mdettweiler [2016-04-21 23:26:17] 861*2^1426963-1 is not prime. Res64: 86A57D2C34D403BE Time : 0.0 sec. user=mdettweiler [2016-04-21 23:42:16] 871*2^1426963-1 is not prime. Res64: 0C95FE2753CF53A8 Time : 0.0 sec. user=mdettweiler [2016-04-21 23:42:16] 885*2^1426963-1 is not prime. Res64: 719A5F0FF787A1F6 Time : 0.0 sec. user=mdettweiler [2016-04-21 23:42:17] 985*2^1426963-1 is not prime. Res64: 352951116393ABF5 Time : 0.0 sec. user=mdettweiler [2016-04-21 23:42:17] 617*2^1426964-1 is not prime. Res64: 7E162FDC5497B571 Time : 0.0 sec. user=mdettweiler [2016-04-21 23:42:18] 635*2^1426964-1 is not prime. Res64: 35B3157D0AB05089 Time : 0.0 sec. user=mdettweiler [2016-04-21 23:42:57] 789*2^1426964-1 is not prime. Res64: 0639D223ABA2B03E Time : 0.0 sec. user=mdettweiler [2016-04-21 23:42:58] 837*2^1426964-1 is not prime. Res64: 25A5DD90A67B980A Time : 0.0 sec. user=mdettweiler [2016-04-21 23:42:58] 935*2^1426964-1 is not prime. Res64: 890D9C4C294FAC4C Time : 0.0 sec. user=mdettweiler [2016-04-21 23:42:59] 601*2^1426965-1 is not prime. Res64: ECF7735C345812F0 Time : 0.0 sec. user=mdettweiler [2016-04-21 23:42:59] 685*2^1426965-1 is not prime. Res64: 48AE07C7A8F838FB Time : 0.0 sec.