user=mdettweiler [2018-04-16 00:25:32] 733*2^1507219-1 is not prime. Res64: 53AAA8D2B49295CC Time : 0.0 sec. user=mdettweiler [2018-04-16 00:25:32] 793*2^1507219-1 is not prime. Res64: E743F56D79FC54B5 Time : 0.0 sec. user=mdettweiler [2018-04-16 00:25:33] 925*2^1507219-1 is not prime. Res64: 2577C1139D16DCF2 Time : 0.0 sec. user=mdettweiler [2018-04-16 00:25:33] 969*2^1507219-1 is not prime. Res64: B334BAADCED1B778 Time : 0.0 sec. user=mdettweiler [2018-04-16 00:25:33] 615*2^1507220-1 is not prime. Res64: C6CC44A2146DFDF9 Time : 0.0 sec. user=mdettweiler [2018-04-16 00:28:29] 675*2^1507220-1 is not prime. Res64: F418F90EA7FD42B0 Time : 0.0 sec. user=mdettweiler [2018-04-16 00:28:30] 827*2^1507220-1 is not prime. Res64: FDBADC5C0DCB6EDB Time : 0.0 sec. user=mdettweiler [2018-04-16 00:28:30] 833*2^1507220-1 is not prime. Res64: DBD456CC7EDF8236 Time : 0.0 sec. user=mdettweiler [2018-04-16 00:28:31] 843*2^1507220-1 is not prime. Res64: 8FC3CFBB4D8EF9CF Time : 0.0 sec. user=mdettweiler [2018-04-16 00:28:31] 855*2^1507220-1 is not prime. Res64: 063A8B57BC67F150 Time : 0.0 sec. user=mdettweiler [2018-04-16 00:30:15] 885*2^1507220-1 is not prime. Res64: 7466CC7FE6B87DE4 Time : 0.0 sec. user=mdettweiler [2018-04-16 00:30:15] 899*2^1507220-1 is not prime. Res64: 401CA49440FDEF77 Time : 0.0 sec. user=mdettweiler [2018-04-16 00:30:16] 909*2^1507220-1 is not prime. Res64: 73B1FA5B3F7260DD Time : 0.0 sec. user=mdettweiler [2018-04-16 00:30:16] 959*2^1507220-1 is not prime. Res64: 0DD3154FB0014EC2 Time : 0.0 sec. user=mdettweiler [2018-04-16 00:30:17] 999*2^1507220-1 is not prime. Res64: 71BA5518440A9F9A Time : 0.0 sec. user=mdettweiler [2018-04-16 00:46:20] 639*2^1507221-1 is not prime. Res64: C8F5F6B4E9F5F567 Time : 0.0 sec. user=mdettweiler [2018-04-16 00:46:21] 651*2^1507221-1 is not prime. Res64: F0250F809423C9C7 Time : 0.0 sec. user=mdettweiler [2018-04-16 00:46:21] 685*2^1507221-1 is not prime. Res64: BF2F6CBB0ED725BF Time : 0.0 sec. user=mdettweiler [2018-04-16 00:46:22] 717*2^1507221-1 is not prime. Res64: 611E66E87EE2CC05 Time : 0.0 sec. user=mdettweiler [2018-04-16 00:46:22] 777*2^1507221-1 is not prime. Res64: E01D0FB35A10DB18 Time : 0.0 sec. user=mdettweiler [2018-04-16 01:16:00] 829*2^1507221-1 is not prime. Res64: BFCC6545B4D4DB2F Time : 0.0 sec. user=mdettweiler [2018-04-16 01:16:00] 991*2^1507221-1 is not prime. Res64: 636F03C3E83C77B4 Time : 0.0 sec. user=mdettweiler [2018-04-16 01:16:01] 647*2^1507222-1 is not prime. Res64: B146495305CFA453 Time : 0.0 sec. user=mdettweiler [2018-04-16 01:16:01] 761*2^1507222-1 is not prime. Res64: FCCD9C6BF8289ECC Time : 0.0 sec. user=mdettweiler [2018-04-16 01:16:02] 855*2^1507222-1 is not prime. Res64: 49A79BE3A6E7C540 Time : 0.0 sec. user=mdettweiler [2018-04-16 01:17:26] 881*2^1507222-1 is not prime. Res64: 4E396FF1288B199F Time : 0.0 sec. user=mdettweiler [2018-04-16 01:17:26] 609*2^1507223-1 is not prime. Res64: EDBAAF7801C85DDA Time : 0.0 sec. user=mdettweiler [2018-04-16 01:17:26] 615*2^1507223-1 is not prime. Res64: BAC5B8E19B143106 Time : 0.0 sec. user=mdettweiler [2018-04-16 01:17:27] 619*2^1507223-1 is not prime. Res64: F9D112FDB85CE4CE Time : 0.0 sec. user=mdettweiler [2018-04-16 01:17:27] 823*2^1507223-1 is not prime. Res64: A495D2924B9CBC62 Time : 0.0 sec. user=mdettweiler [2018-04-16 01:20:40] 885*2^1507223-1 is not prime. Res64: 54B45D542C384CB2 Time : 0.0 sec. user=mdettweiler [2018-04-16 01:20:40] 901*2^1507223-1 is not prime. Res64: E9BAD1AAF70FF7E9 Time : 0.0 sec. user=mdettweiler [2018-04-16 01:20:41] 963*2^1507223-1 is not prime. Res64: 29E381A44BA3C84B Time : 0.0 sec. user=mdettweiler [2018-04-16 01:20:41] 985*2^1507223-1 is not prime. Res64: 0F5FE0D3AC4FE5C9 Time : 0.0 sec. user=mdettweiler [2018-04-16 01:20:41] 707*2^1507224-1 is not prime. Res64: E3F81158D61A531F Time : 0.0 sec. user=mdettweiler [2018-04-16 01:36:24] 725*2^1507224-1 is not prime. Res64: E2C9F60B6C34E05A Time : 0.0 sec. user=mdettweiler [2018-04-16 01:36:25] 765*2^1507224-1 is not prime. Res64: ED832BE8712A2EFC Time : 0.0 sec. user=mdettweiler [2018-04-16 01:36:25] 789*2^1507224-1 is not prime. Res64: D4D2E0C8EAFC3CEC Time : 0.0 sec. user=mdettweiler [2018-04-16 01:36:26] 983*2^1507224-1 is not prime. Res64: 8DC7BA41B6B7A8A2 Time : 0.0 sec. user=mdettweiler [2018-04-16 01:36:27] 649*2^1507225-1 is not prime. Res64: 1F82F943B32C5C59 Time : 0.0 sec. user=mdettweiler [2018-04-16 02:06:42] 765*2^1507225-1 is not prime. Res64: E6E287296F3EE77E Time : 0.0 sec. user=mdettweiler [2018-04-16 02:06:46] 831*2^1507225-1 is not prime. Res64: F2C2EBB113117237 Time : 0.0 sec. user=mdettweiler [2018-04-16 02:06:48] 841*2^1507225-1 is not prime. Res64: EA0822AF7417CC56 Time : 0.0 sec. user=mdettweiler [2018-04-16 02:06:51] 877*2^1507225-1 is not prime. Res64: 7757BD3207D09F2F Time : 0.0 sec. user=mdettweiler [2018-04-16 02:06:54] 979*2^1507225-1 is not prime. Res64: 550817C0CF325A81 Time : 0.0 sec. user=mdettweiler [2018-04-16 02:07:10] 987*2^1507225-1 is not prime. Res64: 68CA0A7D898542EB Time : 0.0 sec. user=mdettweiler [2018-04-16 02:07:13] 999*2^1507225-1 is not prime. Res64: 98701323E0C17E3B Time : 0.0 sec. user=mdettweiler [2018-04-16 02:07:15] 635*2^1507226-1 is not prime. Res64: A5577DEFE9E3766F Time : 0.0 sec. user=mdettweiler [2018-04-16 02:07:16] 701*2^1507226-1 is not prime. Res64: 84CCE4DDABBAACB0 Time : 0.0 sec. user=mdettweiler [2018-04-16 02:07:19] 707*2^1507226-1 is not prime. Res64: C36A8594D5C473EA Time : 0.0 sec. user=mdettweiler [2018-04-16 02:11:14] 755*2^1507226-1 is not prime. Res64: E0630E5BBBBEC05B Time : 0.0 sec. user=mdettweiler [2018-04-16 02:11:14] 815*2^1507226-1 is not prime. Res64: 2DDC27B6F89C123A Time : 0.0 sec. user=mdettweiler [2018-04-16 02:11:14] 831*2^1507226-1 is not prime. Res64: FA2C7E7BF4E4D92F Time : 0.0 sec. user=mdettweiler [2018-04-16 02:11:15] 857*2^1507226-1 is not prime. Res64: E86EF54C079B80D0 Time : 0.0 sec. user=mdettweiler [2018-04-16 02:11:15] 887*2^1507226-1 is not prime. Res64: 5ADBE7EE96A7C210 Time : 0.0 sec. user=mdettweiler [2018-04-16 02:26:24] 1001*2^1507226-1 is not prime. Res64: 3786E21EE424B40C Time : 0.0 sec. user=mdettweiler [2018-04-16 02:26:25] 619*2^1507227-1 is not prime. Res64: DBD15CB39EEE355B Time : 0.0 sec. user=mdettweiler [2018-04-16 02:26:25] 735*2^1507227-1 is not prime. Res64: 036F7C419187990A Time : 0.0 sec. user=mdettweiler [2018-04-16 02:26:26] 829*2^1507227-1 is not prime. Res64: E7C7FC3C54642E0B Time : 0.0 sec. user=mdettweiler [2018-04-16 02:26:26] 677*2^1507228-1 is not prime. Res64: D7761CED9A915354 Time : 0.0 sec. user=mdettweiler [2018-04-16 02:59:16] 749*2^1507228-1 is not prime. Res64: D6BE8FF838FB20B4 Time : 0.0 sec. user=mdettweiler [2018-04-16 02:59:16] 729*2^1507229-1 is not prime. Res64: C042C74DDB89405D Time : 0.0 sec. user=mdettweiler [2018-04-16 02:59:17] 837*2^1507229-1 is not prime. Res64: CFA84DEDD645F780 Time : 0.0 sec. user=mdettweiler [2018-04-16 02:59:17] 907*2^1507229-1 is not prime. Res64: 5DD373EB46471ABA Time : 0.0 sec. user=mdettweiler [2018-04-16 02:59:17] 955*2^1507229-1 is not prime. Res64: 139E06C416FB699C Time : 0.0 sec. user=mdettweiler [2018-04-16 02:59:29] 777*2^1507228-1 is not prime. Res64: 2173F78EAF2F34CF Time : 0.0 sec. user=mdettweiler [2018-04-16 02:59:30] 825*2^1507228-1 is not prime. Res64: 0718FE6A8BA78019 Time : 0.0 sec. user=mdettweiler [2018-04-16 02:59:30] 855*2^1507228-1 is not prime. Res64: 948CDA390FF398E2 Time : 0.0 sec. user=mdettweiler [2018-04-16 02:59:31] 887*2^1507228-1 is not prime. Res64: C7E2BEAA27055B37 Time : 0.0 sec. user=mdettweiler [2018-04-16 02:59:31] 657*2^1507229-1 is not prime. Res64: F4B07C0331A42D8A Time : 0.0 sec. user=mdettweiler [2018-04-16 03:01:53] 615*2^1507230-1 is not prime. Res64: E69DA74269647989 Time : 0.0 sec. user=mdettweiler [2018-04-16 03:01:54] 671*2^1507230-1 is not prime. Res64: 73FADFCBC01538D9 Time : 0.0 sec. user=mdettweiler [2018-04-16 03:01:54] 725*2^1507230-1 is not prime. Res64: E85EA7B14ED2BBE3 Time : 0.0 sec. user=mdettweiler [2018-04-16 03:01:55] 825*2^1507230-1 is not prime. Res64: 4EF8679515AC7F4D Time : 0.0 sec. user=mdettweiler [2018-04-16 03:01:55] 971*2^1507230-1 is not prime. Res64: 81311AE8C1C4D102 Time : 0.0 sec. user=mdettweiler [2018-04-16 03:17:02] 601*2^1507231-1 is not prime. Res64: 16F9DC3857888607 Time : 0.0 sec. user=mdettweiler [2018-04-16 03:17:03] 663*2^1507231-1 is not prime. Res64: 25DCD277725363FD Time : 0.0 sec. user=mdettweiler [2018-04-16 03:17:03] 741*2^1507231-1 is not prime. Res64: 98583EF3C00683EA Time : 0.0 sec. user=mdettweiler [2018-04-16 03:17:04] 819*2^1507231-1 is not prime. Res64: 9047E8CFB3EE85DE Time : 0.0 sec. user=mdettweiler [2018-04-16 03:17:04] 855*2^1507231-1 is not prime. Res64: 842D41AE6B461CD6 Time : 0.0 sec. user=mdettweiler [2018-04-16 03:49:23] 885*2^1507231-1 is not prime. Res64: EAD45D97210387FB Time : 0.0 sec. user=mdettweiler [2018-04-16 03:49:24] 603*2^1507232-1 is not prime. Res64: F128AFECAEDCF24B Time : 0.0 sec. user=mdettweiler [2018-04-16 03:49:25] 605*2^1507232-1 is not prime. Res64: F622F6246FA6A724 Time : 0.0 sec. user=mdettweiler [2018-04-16 03:49:27] 623*2^1507232-1 is not prime. Res64: 6CC833D7047270F4 Time : 0.0 sec. user=mdettweiler [2018-04-16 03:49:28] 657*2^1507232-1 is not prime. Res64: 293089358BC54E5D Time : 0.0 sec. user=mdettweiler [2018-04-16 03:51:05] 699*2^1507232-1 is not prime. Res64: 2A789F5509987C56 Time : 0.0 sec. user=mdettweiler [2018-04-16 03:51:06] 755*2^1507232-1 is not prime. Res64: FBDE16002FAC8463 Time : 0.0 sec. user=mdettweiler [2018-04-16 03:51:07] 797*2^1507232-1 is not prime. Res64: 191E92750862C118 Time : 0.0 sec. user=mdettweiler [2018-04-16 03:51:08] 819*2^1507232-1 is not prime. Res64: FB762E03DFBE4FF4 Time : 0.0 sec. user=mdettweiler [2018-04-16 03:51:09] 843*2^1507232-1 is not prime. Res64: 27E7C61D6A8ED66C Time : 0.0 sec. user=mdettweiler [2018-04-16 03:52:29] 637*2^1507233-1 is not prime. Res64: 8D8A24C09AFFFEF1 Time : 0.0 sec. user=mdettweiler [2018-04-16 03:52:30] 685*2^1507233-1 is not prime. Res64: 046C8A1A2D1DF8F0 Time : 0.0 sec. user=mdettweiler [2018-04-16 03:52:31] 739*2^1507233-1 is not prime. Res64: 7312F75C6C9DB7EF Time : 0.0 sec. user=mdettweiler [2018-04-16 03:52:31] 657*2^1507234-1 is not prime. Res64: 99FBD6F17F64FD44 Time : 0.0 sec. user=mdettweiler [2018-04-16 03:52:32] 723*2^1507234-1 is not prime. Res64: F655F2C6B4790DB9 Time : 0.0 sec. user=mdettweiler [2018-04-16 04:09:09] 619*2^1507235-1 is not prime. Res64: 76F52D2A163AE633 Time : 0.0 sec. user=mdettweiler [2018-04-16 04:09:12] 643*2^1507235-1 is not prime. Res64: 504ED68B34F7BB50 Time : 0.0 sec. user=mdettweiler [2018-04-16 04:09:13] 735*2^1507235-1 is not prime. Res64: 2793A69058089EDE Time : 0.0 sec. user=mdettweiler [2018-04-16 04:09:14] 759*2^1507235-1 is not prime. Res64: ACA4DA48498F0906 Time : 0.0 sec. user=mdettweiler [2018-04-16 04:09:15] 799*2^1507235-1 is not prime. Res64: 12466FD5DBE50B3A Time : 0.0 sec. user=mdettweiler [2018-04-16 04:39:45] 635*2^1507236-1 is not prime. Res64: 482235704C89656F Time : 0.0 sec. user=mdettweiler [2018-04-16 04:39:46] 647*2^1507236-1 is not prime. Res64: 058703D842361393 Time : 0.0 sec. user=mdettweiler [2018-04-16 04:39:47] 789*2^1507236-1 is not prime. Res64: C3022342A7437D3E Time : 0.0 sec. user=mdettweiler [2018-04-16 04:39:47] 839*2^1507236-1 is not prime. Res64: 18AC9F72DDCAE053 Time : 0.0 sec. user=mdettweiler [2018-04-16 04:39:48] 909*2^1507236-1 is not prime. Res64: 29C75ED758B4619C Time : 0.0 sec. user=mdettweiler [2018-04-16 04:40:41] 945*2^1507236-1 is not prime. Res64: 7B770FE49051CE12 Time : 0.0 sec. user=mdettweiler [2018-04-16 04:40:41] 609*2^1507237-1 is not prime. Res64: 347545484BC1E57D Time : 0.0 sec. user=mdettweiler [2018-04-16 04:40:42] 685*2^1507237-1 is not prime. Res64: B6765DF9CE5009A9 Time : 0.0 sec. user=mdettweiler [2018-04-16 04:40:42] 717*2^1507237-1 is not prime. Res64: 575135656BF4CEFD Time : 0.0 sec. user=mdettweiler [2018-04-16 04:40:42] 757*2^1507237-1 is not prime. Res64: 5B405796DF7C432E Time : 0.0 sec. user=mdettweiler [2018-04-16 04:42:33] 819*2^1507237-1 is not prime. Res64: E014B68E8AFE600D Time : 0.0 sec. user=mdettweiler [2018-04-16 04:42:33] 861*2^1507237-1 is not prime. Res64: 1732E238610C9DE1 Time : 0.0 sec. user=mdettweiler [2018-04-16 04:42:34] 957*2^1507237-1 is not prime. Res64: 6018343A6064763B Time : 0.0 sec. user=mdettweiler [2018-04-16 04:42:34] 985*2^1507237-1 is not prime. Res64: C9DEE2B6B1F12755 Time : 0.0 sec. user=mdettweiler [2018-04-16 04:42:35] 605*2^1507238-1 is not prime. Res64: 0E407D40EABEFED1 Time : 0.0 sec. user=mdettweiler [2018-04-16 05:00:08] 743*2^1507238-1 is not prime. Res64: D1FB55DAC74A2702 Time : 0.0 sec. user=mdettweiler [2018-04-16 05:00:09] 747*2^1507238-1 is not prime. Res64: 9705343CE94DF81B Time : 0.0 sec. user=mdettweiler [2018-04-16 05:00:10] 801*2^1507238-1 is not prime. Res64: CB0A92CEE4D38131 Time : 0.0 sec. user=mdettweiler [2018-04-16 05:00:10] 941*2^1507238-1 is not prime. Res64: 35163CE22DE67BE0 Time : 0.0 sec. user=mdettweiler [2018-04-16 05:00:11] 663*2^1507239-1 is not prime. Res64: B164558A2CD73312 Time : 0.0 sec. user=mdettweiler [2018-04-16 05:29:53] 605*2^1507240-1 is not prime. Res64: 305498753B7A91A6 Time : 0.0 sec. user=mdettweiler [2018-04-16 05:29:54] 629*2^1507240-1 is not prime. Res64: F018D572D1752D86 Time : 0.0 sec. user=mdettweiler [2018-04-16 05:29:54] 645*2^1507240-1 is not prime. Res64: 764416D0592735B1 Time : 0.0 sec. user=mdettweiler [2018-04-16 05:29:55] 677*2^1507240-1 is not prime. Res64: B04EDDED94A50B3B Time : 0.0 sec. user=mdettweiler [2018-04-16 05:29:55] 785*2^1507240-1 is not prime. Res64: A1EAE92BF01FCB08 Time : 0.0 sec. user=mdettweiler [2018-04-16 05:30:39] 853*2^1507239-1 is not prime. Res64: 6F2EF12950AB316B Time : 0.0 sec. user=mdettweiler [2018-04-16 05:30:40] 943*2^1507239-1 is not prime. Res64: 515BC015F9061D22 Time : 0.0 sec. user=mdettweiler [2018-04-16 05:30:40] 955*2^1507239-1 is not prime. Res64: DED5047180974851 Time : 0.0 sec. user=mdettweiler [2018-04-16 05:30:40] 961*2^1507239-1 is not prime. Res64: B75AD8AA45DC8576 Time : 0.0 sec. user=mdettweiler [2018-04-16 05:30:41] 999*2^1507239-1 is not prime. Res64: 6AE9075A5533990B Time : 0.0 sec. user=mdettweiler [2018-04-16 05:33:31] 803*2^1507240-1 is not prime. Res64: ACEB458904F33893 Time : 0.0 sec. user=mdettweiler [2018-04-16 05:33:31] 819*2^1507240-1 is not prime. Res64: 4DFC2B6016CEBFA7 Time : 0.0 sec. user=mdettweiler [2018-04-16 05:33:32] 899*2^1507240-1 is not prime. Res64: E5D0E6CCAFF6D2EB Time : 0.0 sec. user=mdettweiler [2018-04-16 05:33:32] 915*2^1507240-1 is not prime. Res64: 93E16B62B2690418 Time : 0.0 sec. user=mdettweiler [2018-04-16 05:33:32] 975*2^1507240-1 is not prime. Res64: EC1C73042D741BC3 Time : 0.0 sec. user=mdettweiler [2018-04-16 05:49:47] 805*2^1507241-1 is not prime. Res64: D4E531E2F02BB56F Time : 0.0 sec. user=mdettweiler [2018-04-16 05:49:48] 951*2^1507241-1 is not prime. Res64: 13D619E6950F6611 Time : 0.0 sec. user=mdettweiler [2018-04-16 05:49:48] 611*2^1507242-1 is not prime. Res64: 8E082B1FF0443F48 Time : 0.0 sec. user=mdettweiler [2018-04-16 05:49:48] 621*2^1507242-1 is not prime. Res64: EA2D84E295C5A6FF Time : 0.0 sec. user=mdettweiler [2018-04-16 05:49:49] 633*2^1507242-1 is not prime. Res64: BD3EEC7A3299AB2C Time : 0.0 sec. user=mdettweiler [2018-04-16 06:20:45] 681*2^1507242-1 is not prime. Res64: CDC7EB29B92924A7 Time : 0.0 sec. user=mdettweiler [2018-04-16 06:20:45] 735*2^1507242-1 is not prime. Res64: 3A3B894B4A5674FB Time : 0.0 sec. user=mdettweiler [2018-04-16 06:20:46] 807*2^1507242-1 is not prime. Res64: 58B8A461B54FE20A Time : 0.0 sec. user=mdettweiler [2018-04-16 06:20:46] 815*2^1507242-1 is not prime. Res64: 5406F8B9D9C29B2D Time : 0.0 sec. user=mdettweiler [2018-04-16 06:20:47] 887*2^1507242-1 is not prime. Res64: 745744C2657081DE Time : 0.0 sec. user=mdettweiler [2018-04-16 06:21:03] 977*2^1507242-1 is not prime. Res64: ED4C86417AD5C9AA Time : 0.0 sec. user=mdettweiler [2018-04-16 06:21:03] 819*2^1507243-1 is not prime. Res64: CFC94F5DC41CEC2F Time : 0.0 sec. user=mdettweiler [2018-04-16 06:21:04] 889*2^1507243-1 is not prime. Res64: C2C30871C2401886 Time : 0.0 sec. user=mdettweiler [2018-04-16 06:21:04] 663*2^1507244-1 is not prime. Res64: B697C7E084880838 Time : 0.0 sec. user=mdettweiler [2018-04-16 06:21:05] 675*2^1507244-1 is not prime. Res64: BD0FD8CAE59E8099 Time : 0.0 sec. user=mdettweiler [2018-04-16 06:23:47] 683*2^1507244-1 is not prime. Res64: 7A3E04867FADFF5D Time : 0.0 sec. user=mdettweiler [2018-04-16 06:23:47] 759*2^1507244-1 is not prime. Res64: 7EFFFCCA3FA6D010 Time : 0.0 sec. user=mdettweiler [2018-04-16 06:23:47] 607*2^1507245-1 is not prime. Res64: 85DD715432831CA7 Time : 0.0 sec. user=mdettweiler [2018-04-16 06:23:48] 895*2^1507245-1 is not prime. Res64: 2C123BEE0E5BD452 Time : 0.0 sec. user=mdettweiler [2018-04-16 06:23:48] 955*2^1507245-1 is not prime. Res64: DCE35C3107D19BAB Time : 0.0 sec. user=mdettweiler [2018-04-16 06:43:12] 999*2^1507245-1 is not prime. Res64: 6DC02997C8DDD267 Time : 0.0 sec. user=mdettweiler [2018-04-16 06:43:12] 705*2^1507246-1 is not prime. Res64: E4D4DF1FC33EE063 Time : 0.0 sec. user=mdettweiler [2018-04-16 06:43:12] 737*2^1507246-1 is not prime. Res64: 8412A2FF39FB5DCD Time : 0.0 sec. user=mdettweiler [2018-04-16 06:43:13] 747*2^1507246-1 is not prime. Res64: E1952648143EB3A3 Time : 0.0 sec. user=mdettweiler [2018-04-16 06:43:13] 777*2^1507246-1 is not prime. Res64: D3F3ECF59FEEE11E Time : 0.0 sec. user=mdettweiler [2018-04-16 07:11:15] 833*2^1507246-1 is not prime. Res64: F9F4CDC0F0E3F17E Time : 0.0 sec. user=mdettweiler [2018-04-16 07:11:15] 857*2^1507246-1 is not prime. Res64: C9D4876B7215B103 Time : 0.0 sec. user=mdettweiler [2018-04-16 07:11:15] 911*2^1507246-1 is not prime. Res64: 8D6A9E03F65E024F Time : 0.0 sec. user=mdettweiler [2018-04-16 07:11:16] 957*2^1507246-1 is not prime. Res64: 5C23559B87A637E5 Time : 0.0 sec. user=mdettweiler [2018-04-16 07:11:16] 603*2^1507247-1 is not prime. Res64: BC143E4B8C871A10 Time : 0.0 sec. user=mdettweiler [2018-04-16 07:12:38] 673*2^1507247-1 is not prime. Res64: 6D0714BFE3C53485 Time : 0.0 sec. user=mdettweiler [2018-04-16 07:12:38] 729*2^1507247-1 is not prime. Res64: B311CE69AEB91221 Time : 0.0 sec. user=mdettweiler [2018-04-16 07:12:39] 979*2^1507247-1 is not prime. Res64: 69A3A0D3E2314B3D Time : 0.0 sec. user=mdettweiler [2018-04-16 07:12:39] 981*2^1507247-1 is not prime. Res64: F304E1767FB62BDC Time : 0.0 sec. user=mdettweiler [2018-04-16 07:12:40] 639*2^1507248-1 is not prime. Res64: C4C4D3B55CF6636D Time : 0.0 sec. user=mdettweiler [2018-04-16 07:13:49] 705*2^1507248-1 is not prime. Res64: 2843EEEA1BD79046 Time : 0.0 sec. user=mdettweiler [2018-04-16 07:13:50] 725*2^1507248-1 is not prime. Res64: BA65A5CE264B226F Time : 0.0 sec. user=mdettweiler [2018-04-16 07:13:50] 765*2^1507248-1 is not prime. Res64: 78010373A6A6F25D Time : 0.0 sec. user=mdettweiler [2018-04-16 07:13:51] 789*2^1507248-1 is not prime. Res64: 668F1186A2BFB068 Time : 0.0 sec. user=mdettweiler [2018-04-16 07:13:51] 839*2^1507248-1 is not prime. Res64: 5AC7E5F8ADFDA538 Time : 0.0 sec. user=mdettweiler [2018-04-16 07:33:23] 845*2^1507248-1 is not prime. Res64: CCBAA25EDF06A0B4 Time : 0.0 sec. user=mdettweiler [2018-04-16 07:33:23] 915*2^1507248-1 is not prime. Res64: 106BB44308B5FBDF Time : 0.0 sec. user=mdettweiler [2018-04-16 07:33:24] 923*2^1507248-1 is not prime. Res64: 258878F659CE6C21 Time : 0.0 sec. user=mdettweiler [2018-04-16 07:33:24] 679*2^1507249-1 is not prime. Res64: ABA8AF7B0A30CE47 Time : 0.0 sec. user=mdettweiler [2018-04-16 07:33:25] 747*2^1507249-1 is not prime. Res64: E5B0BB7D3F901D1D Time : 0.0 sec. user=mdettweiler [2018-04-16 08:02:15] 765*2^1507249-1 is not prime. Res64: C89AE5DAA30E5C98 Time : 0.0 sec. user=mdettweiler [2018-04-16 08:02:16] 819*2^1507249-1 is not prime. Res64: C55225CADC1FB3B7 Time : 0.0 sec. user=mdettweiler [2018-04-16 08:02:17] 829*2^1507249-1 is not prime. Res64: 9F24B54B44D3F190 Time : 0.0 sec. user=mdettweiler [2018-04-16 08:02:17] 831*2^1507249-1 is not prime. Res64: 71F2D1E12BF3BC2E Time : 0.0 sec. user=mdettweiler [2018-04-16 08:02:18] 797*2^1507250-1 is not prime. Res64: 33B41326B37850C9 Time : 0.0 sec. user=mdettweiler [2018-04-16 08:02:22] 995*2^1507250-1 is not prime. Res64: A447C9AF7DE1D9F3 Time : 0.0 sec. user=mdettweiler [2018-04-16 08:02:22] 621*2^1507251-1 is not prime. Res64: A0908E412587F179 Time : 0.0 sec. user=mdettweiler [2018-04-16 08:02:23] 669*2^1507251-1 is not prime. Res64: 491B430F2CDE6828 Time : 0.0 sec. user=mdettweiler [2018-04-16 08:02:24] 709*2^1507251-1 is not prime. Res64: 1F517763FBD8D1E8 Time : 0.0 sec. user=mdettweiler [2018-04-16 08:02:25] 781*2^1507251-1 is not prime. Res64: 646EA0FC017E5079 Time : 0.0 sec. user=mdettweiler [2018-04-16 08:03:19] 849*2^1507251-1 is not prime. Res64: 792CF7114F37B491 Time : 0.0 sec. user=mdettweiler [2018-04-16 08:03:19] 999*2^1507251-1 is not prime. Res64: 431916190244B98E Time : 0.0 sec. user=mdettweiler [2018-04-16 08:03:20] 657*2^1507252-1 is not prime. Res64: 49D501BC1F61E3BD Time : 0.0 sec. user=mdettweiler [2018-04-16 08:03:21] 693*2^1507252-1 is not prime. Res64: 7DB402FACC88A536 Time : 0.0 sec. user=mdettweiler [2018-04-16 08:03:21] 699*2^1507252-1 is not prime. Res64: 595A3364A34B1838 Time : 0.0 sec. user=mdettweiler [2018-04-16 08:22:48] 705*2^1507252-1 is not prime. Res64: 1DFC3737C1E8BAB9 Time : 0.0 sec. user=mdettweiler [2018-04-16 08:22:49] 777*2^1507252-1 is not prime. Res64: E7ADE395759A7111 Time : 0.0 sec. user=mdettweiler [2018-04-16 08:22:49] 995*2^1507252-1 is not prime. Res64: 4CF33FB597C651DF Time : 0.0 sec. user=mdettweiler [2018-04-16 08:22:49] 627*2^1507253-1 is not prime. Res64: 83BD4C1BD1367E8B Time : 0.0 sec. user=mdettweiler [2018-04-16 08:22:50] 631*2^1507253-1 is not prime. Res64: E3CF569D12D5EB18 Time : 0.0 sec. user=mdettweiler [2018-04-16 08:52:55] 859*2^1507253-1 is not prime. Res64: 97D1247D4960E542 Time : 0.0 sec. user=mdettweiler [2018-04-16 08:52:55] 889*2^1507253-1 is not prime. Res64: F69D27D74C59B255 Time : 0.0 sec. user=mdettweiler [2018-04-16 08:52:55] 927*2^1507253-1 is not prime. Res64: 7BB7748D3BDD2296 Time : 0.0 sec. user=mdettweiler [2018-04-16 08:52:56] 635*2^1507254-1 is not prime. Res64: 2F22D3D0BAE6E3E1 Time : 0.0 sec. user=mdettweiler [2018-04-16 08:52:56] 693*2^1507254-1 is not prime. Res64: 6E4CBB8BC1B22A8E Time : 0.0 sec. user=mdettweiler [2018-04-16 08:53:15] 715*2^1507253-1 is not prime. Res64: 9CB804673E97CB94 Time : 0.0 sec. user=mdettweiler [2018-04-16 08:53:16] 735*2^1507253-1 is not prime. Res64: 50D8DDBDD29846AE Time : 0.0 sec. user=mdettweiler [2018-04-16 08:53:16] 747*2^1507253-1 is not prime. Res64: BDAE51B909626474 Time : 0.0 sec. user=mdettweiler [2018-04-16 08:53:16] 805*2^1507253-1 is not prime. Res64: 2D90EA8363DF08C1 Time : 0.0 sec. user=mdettweiler [2018-04-16 08:53:17] 837*2^1507253-1 is not prime. Res64: 6EC9A70B4494051A Time : 0.0 sec. user=mdettweiler [2018-04-16 08:53:49] 875*2^1507254-1 is not prime. Res64: 12EF1E2528D73475 Time : 0.0 sec. user=mdettweiler [2018-04-16 08:53:49] 951*2^1507254-1 is not prime. Res64: FE963213A4C1F15E Time : 0.0 sec. user=mdettweiler [2018-04-16 08:53:49] 965*2^1507254-1 is not prime. Res64: 40853E4B8D5321A9 Time : 0.0 sec. user=mdettweiler [2018-04-16 08:53:50] 971*2^1507254-1 is not prime. Res64: 4EFEF5E0B33F7137 Time : 0.0 sec. user=mdettweiler [2018-04-16 08:53:50] 975*2^1507254-1 is not prime. Res64: 4F4892DA92654576 Time : 0.0 sec. user=mdettweiler [2018-04-16 09:12:28] 693*2^1507255-1 is not prime. Res64: 21EBA47F3CD49789 Time : 0.0 sec. user=mdettweiler [2018-04-16 09:12:29] 705*2^1507255-1 is not prime. Res64: 0B145C8ECCB2BDA1 Time : 0.0 sec. user=mdettweiler [2018-04-16 09:12:29] 715*2^1507255-1 is not prime. Res64: DDF28D6DBACC4850 Time : 0.0 sec. user=mdettweiler [2018-04-16 09:12:29] 805*2^1507255-1 is not prime. Res64: 9C99E03DCC50758B Time : 0.0 sec. user=mdettweiler [2018-04-16 09:12:30] 883*2^1507255-1 is not prime. Res64: 088E5D0C5E09F369 Time : 0.0 sec. user=mdettweiler [2018-04-16 09:43:05] 983*2^1507256-1 is not prime. Res64: CB4CD8F414570EDE Time : 0.0 sec. user=mdettweiler [2018-04-16 09:43:06] 639*2^1507257-1 is not prime. Res64: 5A6BC1D4FAD2C80D Time : 0.0 sec. user=mdettweiler [2018-04-16 09:43:06] 649*2^1507257-1 is not prime. Res64: 74F856EEC34E508D Time : 0.0 sec. user=mdettweiler [2018-04-16 09:43:06] 691*2^1507257-1 is not prime. Res64: BE533BE127CA4126 Time : 0.0 sec. user=mdettweiler [2018-04-16 09:43:07] 871*2^1507257-1 is not prime. Res64: 2E19158279B462F8 Time : 0.0 sec. user=mdettweiler [2018-04-16 09:43:15] 675*2^1507256-1 is not prime. Res64: 8941F8D927928BFD Time : 0.0 sec. user=mdettweiler [2018-04-16 09:43:15] 683*2^1507256-1 is not prime. Res64: 273571DEA72D5EF2 Time : 0.0 sec. user=mdettweiler [2018-04-16 09:43:15] 743*2^1507256-1 is not prime. Res64: 399394838D965E1A Time : 0.0 sec. user=mdettweiler [2018-04-16 09:43:16] 867*2^1507256-1 is not prime. Res64: 8B6512B688BF5D39 Time : 0.0 sec. user=mdettweiler [2018-04-16 09:43:16] 875*2^1507256-1 is not prime. Res64: 24E7C0F797063D7E Time : 0.0 sec. user=mdettweiler [2018-04-16 09:44:13] 889*2^1507257-1 is not prime. Res64: 00A7A60846BC7A7E Time : 0.0 sec. user=mdettweiler [2018-04-16 09:44:14] 633*2^1507258-1 is not prime. Res64: 8DA99981003CF291 Time : 0.0 sec. user=mdettweiler [2018-04-16 09:44:14] 791*2^1507258-1 is not prime. Res64: 7FB9D53CDB8C45FE Time : 0.0 sec. user=mdettweiler [2018-04-16 09:44:15] 815*2^1507258-1 is not prime. Res64: 94CB8FC937D94C10 Time : 0.0 sec. user=mdettweiler [2018-04-16 09:44:15] 923*2^1507258-1 is not prime. Res64: FFAAA50E772C1231 Time : 0.0 sec. user=mdettweiler [2018-04-16 10:02:21] 957*2^1507258-1 is not prime. Res64: 569D71A960CF5BE2 Time : 0.0 sec. user=mdettweiler [2018-04-16 10:02:22] 601*2^1507259-1 is not prime. Res64: 5158CF3CE73B05BA Time : 0.0 sec. user=mdettweiler [2018-04-16 10:02:23] 811*2^1507259-1 is not prime. Res64: 2D8906F9D9B7754D Time : 0.0 sec. user=mdettweiler [2018-04-16 10:02:23] 843*2^1507259-1 is not prime. Res64: F1A32962066B4536 Time : 0.0 sec. user=mdettweiler [2018-04-16 10:02:24] 693*2^1507260-1 is not prime. Res64: EB399573CF2AD9DD Time : 0.0 sec. user=mdettweiler [2018-04-16 10:33:19] 695*2^1507260-1 is not prime. Res64: 60122EDEF8092ED6 Time : 0.0 sec. user=mdettweiler [2018-04-16 10:33:19] 725*2^1507260-1 is not prime. Res64: 6FF30BD81D411B53 Time : 0.0 sec. user=mdettweiler [2018-04-16 10:33:19] 779*2^1507260-1 is not prime. Res64: 42D7EBA5ECC174CB Time : 0.0 sec. user=mdettweiler [2018-04-16 10:33:20] 789*2^1507260-1 is not prime. Res64: 604B71452E9B3172 Time : 0.0 sec. user=mdettweiler [2018-04-16 10:33:20] 819*2^1507260-1 is not prime. Res64: 09849931D7D27D56 Time : 0.0 sec. user=mdettweiler [2018-04-16 10:34:14] 845*2^1507260-1 is not prime. Res64: 88BC4C203E3A1FFB Time : 0.0 sec. user=mdettweiler [2018-04-16 10:34:15] 927*2^1507260-1 is not prime. Res64: 43233E481AB59773 Time : 0.0 sec. user=mdettweiler [2018-04-16 10:34:15] 929*2^1507260-1 is not prime. Res64: 08F3C8B47441F88C Time : 0.0 sec. user=mdettweiler [2018-04-16 10:34:16] 619*2^1507261-1 is not prime. Res64: AD7AE218CCFB6978 Time : 0.0 sec. user=mdettweiler [2018-04-16 10:34:16] 777*2^1507261-1 is not prime. Res64: A45650246E405632 Time : 0.0 sec. user=mdettweiler [2018-04-16 10:35:17] 957*2^1507261-1 is not prime. Res64: 5C3919A62B8D726F Time : 0.0 sec. user=mdettweiler [2018-04-16 10:35:17] 979*2^1507261-1 is not prime. Res64: 42B084331F18BB99 Time : 0.0 sec. user=mdettweiler [2018-04-16 10:35:17] 755*2^1507262-1 is not prime. Res64: 281235B8DA6564C0 Time : 0.0 sec. user=mdettweiler [2018-04-16 10:35:18] 771*2^1507262-1 is not prime. Res64: BD16DD1E70A1FA13 Time : 0.0 sec. user=mdettweiler [2018-04-16 10:35:18] 887*2^1507262-1 is not prime. Res64: 49821DEED7D0380B Time : 0.0 sec. user=mdettweiler [2018-04-16 10:52:29] 893*2^1507262-1 is not prime. Res64: 5EB7469D39008F52 Time : 0.0 sec. user=mdettweiler [2018-04-16 10:52:29] 915*2^1507262-1 is not prime. Res64: 1A32ED8338417D46 Time : 0.0 sec. user=mdettweiler [2018-04-16 10:52:30] 935*2^1507262-1 is not prime. Res64: F2BCA5E311D2A2B7 Time : 0.0 sec. user=mdettweiler [2018-04-16 10:52:30] 663*2^1507263-1 is not prime. Res64: 22894C4D731EBDD8 Time : 0.0 sec. user=mdettweiler [2018-04-16 10:52:30] 675*2^1507263-1 is not prime. Res64: B34FE84ED5B21F6C Time : 0.0 sec. user=mdettweiler [2018-04-16 11:24:09] 691*2^1507263-1 is not prime. Res64: 42A636865BFF7A7D Time : 0.0 sec. user=mdettweiler [2018-04-16 11:24:09] 693*2^1507263-1 is not prime. Res64: F1FF9608CE1C4D38 Time : 0.0 sec. user=mdettweiler [2018-04-16 11:24:09] 751*2^1507263-1 is not prime. Res64: 1E698A600EF55876 Time : 0.0 sec. user=mdettweiler [2018-04-16 11:24:10] 765*2^1507263-1 is not prime. Res64: 87C29CD84C846CBC Time : 0.0 sec. user=mdettweiler [2018-04-16 11:24:10] 789*2^1507263-1 is not prime. Res64: 4DAED1F9E3895D9C Time : 0.0 sec. user=mdettweiler [2018-04-16 11:25:09] 871*2^1507263-1 is not prime. Res64: F154FB1BB8B3F0BE Time : 0.0 sec. user=mdettweiler [2018-04-16 11:25:09] 933*2^1507263-1 is not prime. Res64: A1181445ECCA1497 Time : 0.0 sec. user=mdettweiler [2018-04-16 11:25:09] 985*2^1507263-1 is not prime. Res64: A9EF4E8FEF88EF52 Time : 0.0 sec. user=mdettweiler [2018-04-16 11:25:09] 657*2^1507264-1 is not prime. Res64: 62C496EBB842DC0F Time : 0.0 sec. user=mdettweiler [2018-04-16 11:25:10] 677*2^1507264-1 is not prime. Res64: 67D8BFF39CDB1C3D Time : 0.0 sec. user=mdettweiler [2018-04-16 11:25:57] 705*2^1507264-1 is not prime. Res64: 82C5DFB3A859024A Time : 0.0 sec. user=mdettweiler [2018-04-16 11:25:57] 887*2^1507264-1 is not prime. Res64: 6192F53D2E3FA032 Time : 0.0 sec. user=mdettweiler [2018-04-16 11:25:58] 917*2^1507264-1 is not prime. Res64: 1A62A3618240AB9B Time : 0.0 sec. user=mdettweiler [2018-04-16 11:25:58] 975*2^1507264-1 is not prime. Res64: 07744FE7AD5D8E17 Time : 0.0 sec. user=mdettweiler [2018-04-16 11:25:58] 649*2^1507265-1 is not prime. Res64: C2511EAB30634609 Time : 0.0 sec. user=mdettweiler [2018-04-16 11:44:37] 715*2^1507265-1 is not prime. Res64: 5E164893AADAB249 Time : 0.0 sec. user=mdettweiler [2018-04-16 11:44:37] 759*2^1507265-1 is not prime. Res64: 5DBB23F46A16F6E4 Time : 0.0 sec. user=mdettweiler [2018-04-16 11:44:37] 795*2^1507265-1 is not prime. Res64: BAA36880DD37F0C5 Time : 0.0 sec. user=mdettweiler [2018-04-16 11:44:38] 801*2^1507265-1 is not prime. Res64: 7320DBC734753D42 Time : 0.0 sec. user=mdettweiler [2018-04-16 11:44:38] 837*2^1507265-1 is not prime. Res64: D7A706BFABE0762E Time : 0.0 sec. user=mdettweiler [2018-04-16 12:17:39] 957*2^1507265-1 is not prime. Res64: AA876D721384B83A Time : 0.0 sec. user=mdettweiler [2018-04-16 12:17:40] 981*2^1507265-1 is not prime. Res64: 088F00945B724536 Time : 0.0 sec. user=mdettweiler [2018-04-16 12:17:40] 945*2^1507266-1 is not prime. Res64: F7B1916B741D85E8 Time : 0.0 sec. user=mdettweiler [2018-04-16 12:17:40] 767*2^1507266-1 is not prime. Res64: E5239394A70C9F69 Time : 0.0 sec. user=mdettweiler [2018-04-16 12:17:40] 685*2^1507267-1 is not prime. Res64: EA107583DA948A23 Time : 0.0 sec. user=mdettweiler [2018-04-16 12:17:40] 807*2^1507266-1 is not prime. Res64: C8DD40F9E9793AFE Time : 0.0 sec. user=mdettweiler [2018-04-16 12:17:41] 703*2^1507267-1 is not prime. Res64: 5423957C6052A7FD Time : 0.0 sec. user=mdettweiler [2018-04-16 12:17:41] 833*2^1507266-1 is not prime. Res64: 2C6D26FAF548C885 Time : 0.0 sec. user=mdettweiler [2018-04-16 12:17:41] 735*2^1507267-1 is not prime. Res64: 3E6FBD1CEB363AE0 Time : 0.0 sec. user=mdettweiler [2018-04-16 12:17:41] 741*2^1507267-1 is not prime. Res64: AB54C9E129B61ACF Time : 0.0 sec. user=mdettweiler [2018-04-16 12:18:11] 805*2^1507267-1 is not prime. Res64: 297012AF8DABF706 Time : 0.0 sec. user=mdettweiler [2018-04-16 12:18:12] 889*2^1507267-1 is not prime. Res64: 058C6E498C27B750 Time : 0.0 sec. user=mdettweiler [2018-04-16 12:18:12] 951*2^1507267-1 is not prime. Res64: AB049F470BE6A1AE Time : 0.0 sec. user=mdettweiler [2018-04-16 12:18:12] 633*2^1507268-1 is not prime. Res64: 8DCC72B58B9D70A4 Time : 0.0 sec. user=mdettweiler [2018-04-16 12:18:13] 699*2^1507268-1 is not prime. Res64: BFBB61990E92C256 Time : 0.0 sec. user=mdettweiler [2018-04-16 12:37:30] 735*2^1507268-1 is not prime. Res64: 0A09D8D9685277A2 Time : 0.0 sec. user=mdettweiler [2018-04-16 12:37:30] 797*2^1507268-1 is not prime. Res64: 1309123FC63258B6 Time : 0.0 sec. user=mdettweiler [2018-04-16 12:37:30] 935*2^1507268-1 is not prime. Res64: F97BA3E21B5EEFF8 Time : 0.0 sec. user=mdettweiler [2018-04-16 12:37:31] 953*2^1507268-1 is not prime. Res64: CD2F23247FF3C958 Time : 0.0 sec. user=mdettweiler [2018-04-16 12:37:31] 969*2^1507268-1 is not prime. Res64: 5D909DB4F637F19C Time : 0.0 sec. user=mdettweiler [2018-04-16 13:12:55] 919*2^1507269-1 is not prime. Res64: DC88D35D42353015 Time : 0.0 sec. user=mdettweiler [2018-04-16 13:12:56] 951*2^1507269-1 is not prime. Res64: 8471620C34A0F3F6 Time : 0.0 sec. user=mdettweiler [2018-04-16 13:12:57] 635*2^1507270-1 is not prime. Res64: AF01653680C3224F Time : 0.0 sec. user=mdettweiler [2018-04-16 13:12:57] 657*2^1507270-1 is not prime. Res64: 6339C4305F9CC546 Time : 0.0 sec. user=mdettweiler [2018-04-16 13:12:58] 821*2^1507270-1 is not prime. Res64: E1BC6AEDC4824E16 Time : 0.0 sec. user=mdettweiler [2018-04-16 13:13:05] 995*2^1507268-1 is not prime. Res64: 767A7B49BAA87434 Time : 0.0 sec. user=mdettweiler [2018-04-16 13:13:06] 669*2^1507269-1 is not prime. Res64: C6CA174E6ECFF6E2 Time : 0.0 sec. user=mdettweiler [2018-04-16 13:13:07] 691*2^1507269-1 is not prime. Res64: 6918B8AC7DF7459A Time : 0.0 sec. user=mdettweiler [2018-04-16 13:13:08] 765*2^1507269-1 is not prime. Res64: 1D1E6B4269A0A8B9 Time : 0.0 sec. user=mdettweiler [2018-04-16 13:13:08] 835*2^1507269-1 is not prime. Res64: 8397D602B88BF734 Time : 0.0 sec. user=mdettweiler [2018-04-16 13:13:16] 867*2^1507270-1 is not prime. Res64: 9F9C64CB36120DD1 Time : 0.0 sec. user=mdettweiler [2018-04-16 13:13:16] 891*2^1507270-1 is not prime. Res64: 8396DA93E0F4B1E2 Time : 0.0 sec. user=mdettweiler [2018-04-16 13:13:17] 995*2^1507270-1 is not prime. Res64: 1283CBF3B908CBB8 Time : 0.0 sec. user=mdettweiler [2018-04-16 13:13:17] 643*2^1507271-1 is not prime. Res64: 6441CE71E43253B6 Time : 0.0 sec. user=mdettweiler [2018-04-16 13:13:18] 883*2^1507271-1 is not prime. Res64: C96002CD4460CA1B Time : 0.0 sec. user=mdettweiler [2018-04-16 13:36:38] 797*2^1507272-1 is not prime. Res64: FE3A212D84C58DDF Time : 0.0 sec. user=mdettweiler [2018-04-16 13:36:39] 819*2^1507272-1 is not prime. Res64: 46157EE5B7596DBB Time : 0.0 sec. user=mdettweiler [2018-04-16 13:36:39] 873*2^1507272-1 is not prime. Res64: 6617ADECC2FEA60B Time : 0.0 sec. user=mdettweiler [2018-04-16 13:36:39] 879*2^1507272-1 is not prime. Res64: E19E0D26B30CBF9F Time : 0.0 sec. user=mdettweiler [2018-04-16 13:36:39] 945*2^1507272-1 is not prime. Res64: D6B889930A4E104F Time : 0.0 sec. user=mdettweiler [2018-04-16 14:08:32] 635*2^1507274-1 is not prime. Res64: 3AEE55A55212034A Time : 0.0 sec. user=mdettweiler [2018-04-16 14:08:33] 657*2^1507274-1 is not prime. Res64: 4AE1235219F42EC1 Time : 0.0 sec. user=mdettweiler [2018-04-16 14:08:33] 711*2^1507274-1 is not prime. Res64: 09528FCAFD37E4E7 Time : 0.0 sec. user=mdettweiler [2018-04-16 14:08:34] 743*2^1507274-1 is not prime. Res64: 01A6284FDDA1CFE6 Time : 0.0 sec. user=mdettweiler [2018-04-16 14:08:35] 755*2^1507274-1 is not prime. Res64: 39BA94E826BA9874 Time : 0.0 sec. user=mdettweiler [2018-04-16 14:08:51] 947*2^1507272-1 is not prime. Res64: C0A08FB4282C5000 Time : 0.0 sec. user=mdettweiler [2018-04-16 14:08:52] 691*2^1507273-1 is not prime. Res64: EAD60E66523FD149 Time : 0.0 sec. user=mdettweiler [2018-04-16 14:08:53] 721*2^1507273-1 is not prime. Res64: 7A6319649C44467C Time : 0.0 sec. user=mdettweiler [2018-04-16 14:08:53] 951*2^1507273-1 is not prime. Res64: 20BB2F4EB1B743E4 Time : 0.0 sec. user=mdettweiler [2018-04-16 14:08:54] 831*2^1507274-1 is not prime. Res64: 8EA6B9F910BA57D3 Time : 0.0 sec. user=mdettweiler [2018-04-16 14:09:31] 885*2^1507274-1 is not prime. Res64: 0A8A3CD930D56166 Time : 0.0 sec. user=mdettweiler [2018-04-16 14:09:31] 887*2^1507274-1 is not prime. Res64: 4AD429772EE5E3AC Time : 0.0 sec. user=mdettweiler [2018-04-16 14:09:32] 651*2^1507275-1 is not prime. Res64: CFAEA78791F0D585 Time : 0.0 sec. user=mdettweiler [2018-04-16 14:09:32] 775*2^1507275-1 is not prime. Res64: 1E82C565700478AB Time : 0.0 sec. user=mdettweiler [2018-04-16 14:09:32] 895*2^1507275-1 is not prime. Res64: C008C2E795D7DF3F Time : 0.0 sec. user=mdettweiler [2018-04-16 14:29:16] 903*2^1507275-1 is not prime. Res64: 318E210E40E6267B Time : 0.0 sec. user=mdettweiler [2018-04-16 14:29:17] 955*2^1507275-1 is not prime. Res64: 7D78FEB9E576B1F6 Time : 0.0 sec. user=mdettweiler [2018-04-16 14:29:17] 689*2^1507276-1 is not prime. Res64: AC63B666BB5952A1 Time : 0.0 sec. user=mdettweiler [2018-04-16 14:29:17] 705*2^1507276-1 is not prime. Res64: 64AFD18F6E43E504 Time : 0.0 sec. user=mdettweiler [2018-04-16 14:29:18] 717*2^1507276-1 is not prime. Res64: C8D2E02924AA439A Time : 0.0 sec. user=mdettweiler [2018-04-16 14:59:54] 621*2^1507278-1 is not prime. Res64: E0B3E4715D62112C Time : 0.0 sec. user=mdettweiler [2018-04-16 14:59:55] 677*2^1507278-1 is not prime. Res64: 9D6E91B26EEC1F24 Time : 0.0 sec. user=mdettweiler [2018-04-16 14:59:55] 755*2^1507278-1 is not prime. Res64: ADA2C6DB89945896 Time : 0.0 sec. user=mdettweiler [2018-04-16 14:59:56] 795*2^1507278-1 is not prime. Res64: 50BC818E16F7B29D Time : 0.0 sec. user=mdettweiler [2018-04-16 14:59:56] 875*2^1507278-1 is not prime. Res64: 1981BC1C95D65401 Time : 0.0 sec. user=mdettweiler [2018-04-16 15:00:18] 781*2^1507277-1 is not prime. Res64: 8BF5FF07BFAEA387 Time : 0.0 sec. user=mdettweiler [2018-04-16 15:00:20] 825*2^1507277-1 is not prime. Res64: C223F233BB9E0E5A Time : 0.0 sec. user=mdettweiler [2018-04-16 15:00:21] 859*2^1507277-1 is not prime. Res64: AB02074D65AFE602 Time : 0.0 sec. user=mdettweiler [2018-04-16 15:00:22] 955*2^1507277-1 is not prime. Res64: ADA69A00CBAC8CAC Time : 0.0 sec. user=mdettweiler [2018-04-16 15:00:23] 997*2^1507277-1 is not prime. Res64: 1EF2AE883A650E43 Time : 0.0 sec. user=mdettweiler [2018-04-16 15:00:29] 749*2^1507276-1 is not prime. Res64: 18E96BC338AEA708 Time : 0.0 sec. user=mdettweiler [2018-04-16 15:00:29] 875*2^1507276-1 is not prime. Res64: D8A7004843F42F55 Time : 0.0 sec. user=mdettweiler [2018-04-16 15:00:31] 923*2^1507276-1 is not prime. Res64: 92054A4B37BB1D45 Time : 0.0 sec. user=mdettweiler [2018-04-16 15:00:33] 987*2^1507276-1 is not prime. Res64: 5A683F2EC9FBCABA Time : 0.0 sec. user=mdettweiler [2018-04-16 15:00:35] 735*2^1507277-1 is not prime. Res64: BDF20D4594EC5343 Time : 0.0 sec. user=mdettweiler [2018-04-16 15:20:33] 933*2^1507278-1 is not prime. Res64: 82E74F12728ED566 Time : 0.0 sec. user=mdettweiler [2018-04-16 15:20:34] 975*2^1507278-1 is not prime. Res64: 37B2055DE8DE85D6 Time : 0.0 sec. user=mdettweiler [2018-04-16 15:20:34] 675*2^1507279-1 is not prime. Res64: B63965B3CA7EB72F Time : 0.0 sec. user=mdettweiler [2018-04-16 15:20:35] 913*2^1507279-1 is not prime. Res64: A310BB025FDE7CA1 Time : 0.0 sec. user=mdettweiler [2018-04-16 15:20:35] 931*2^1507279-1 is not prime. Res64: 47CE91ECBF133EB9 Time : 0.0 sec. user=mdettweiler [2018-04-16 15:49:25] 601*2^1507281-1 is not prime. Res64: 39C0DD17A072D687 Time : 0.0 sec. user=mdettweiler [2018-04-16 15:49:25] 627*2^1507281-1 is not prime. Res64: 179C6B3F16D44411 Time : 0.0 sec. user=mdettweiler [2018-04-16 15:49:26] 657*2^1507281-1 is not prime. Res64: 30F5713681A6EE26 Time : 0.0 sec. user=mdettweiler [2018-04-16 15:49:26] 691*2^1507281-1 is not prime. Res64: FCAEBD95C653AF69 Time : 0.0 sec. user=mdettweiler [2018-04-16 15:49:27] 717*2^1507281-1 is not prime. Res64: 1D9320B4182EEBE8 Time : 0.0 sec. user=mdettweiler [2018-04-16 15:50:50] 807*2^1507281-1 is not prime. Res64: 8FEF6D4CB7454B23 Time : 0.0 sec. user=mdettweiler [2018-04-16 15:50:50] 867*2^1507281-1 is not prime. Res64: 76242EC80154CF4E Time : 0.0 sec. user=mdettweiler [2018-04-16 15:50:51] 871*2^1507281-1 is not prime. Res64: 3F25365EA42D1BD6 Time : 0.0 sec. user=mdettweiler [2018-04-16 15:50:51] 999*2^1507281-1 is not prime. Res64: A2886FD7B13C0549 Time : 0.0 sec. user=mdettweiler [2018-04-16 15:50:52] 623*2^1507282-1 is not prime. Res64: 66185076B91E216C Time : 0.0 sec. user=mdettweiler [2018-04-16 15:51:02] 603*2^1507280-1 is not prime. Res64: 3552E588E9CD2515 Time : 0.0 sec. user=mdettweiler [2018-04-16 15:51:02] 713*2^1507280-1 is not prime. Res64: 8934E181ECE2B81A Time : 0.0 sec. user=mdettweiler [2018-04-16 15:51:03] 813*2^1507280-1 is not prime. Res64: 29F1CC7F74E15482 Time : 0.0 sec. user=mdettweiler [2018-04-16 15:51:03] 977*2^1507280-1 is not prime. Res64: 6603290A5441D2B2 Time : 0.0 sec. user=mdettweiler [2018-04-16 15:51:03] 995*2^1507280-1 is not prime. Res64: 35E1C81F52B70517 Time : 0.0 sec. user=mdettweiler [2018-04-16 16:12:25] 671*2^1507282-1 is not prime. Res64: 10981059FB4D2A91 Time : 0.0 sec. user=mdettweiler [2018-04-16 16:12:26] 765*2^1507282-1 is not prime. Res64: CBDEB1EBE94466F9 Time : 0.0 sec. user=mdettweiler [2018-04-16 16:12:26] 891*2^1507282-1 is not prime. Res64: 4E920FA654552F5C Time : 0.0 sec. user=mdettweiler [2018-04-16 16:12:27] 915*2^1507282-1 is not prime. Res64: 196B7EE9072BCC0F Time : 0.0 sec. user=mdettweiler [2018-04-16 16:12:27] 957*2^1507282-1 is not prime. Res64: 27F573C220AF03EC Time : 0.0 sec. user=mdettweiler [2018-04-16 16:40:49] 943*2^1507283-1 is not prime. Res64: 90DD54CC45A0619E Time : 0.0 sec. user=mdettweiler [2018-04-16 16:40:49] 635*2^1507284-1 is not prime. Res64: 03084FF833D2AC17 Time : 0.0 sec. user=mdettweiler [2018-04-16 16:40:50] 657*2^1507284-1 is not prime. Res64: 44E06B818B6B1ED2 Time : 0.0 sec. user=mdettweiler [2018-04-16 16:40:50] 695*2^1507284-1 is not prime. Res64: 61B0DC238A685226 Time : 0.0 sec. user=mdettweiler [2018-04-16 16:40:51] 803*2^1507284-1 is not prime. Res64: 7972996829C4587F Time : 0.0 sec. user=mdettweiler [2018-04-16 16:42:10] 619*2^1507283-1 is not prime. Res64: 626D506953CE3F7A Time : 0.0 sec. user=mdettweiler [2018-04-16 16:42:10] 649*2^1507283-1 is not prime. Res64: 20107B39947A365B Time : 0.0 sec. user=mdettweiler [2018-04-16 16:42:10] 715*2^1507283-1 is not prime. Res64: 0EDB9362582FFB7D Time : 0.0 sec. user=mdettweiler [2018-04-16 16:42:11] 775*2^1507283-1 is not prime. Res64: 5A80321587E15608 Time : 0.0 sec. user=mdettweiler [2018-04-16 16:42:11] 901*2^1507283-1 is not prime. Res64: EF0A4318BAADDBE2 Time : 0.0 sec. user=mdettweiler [2018-04-16 16:42:50] 661*2^1507285-1 is not prime. Res64: F4FA5DDDD20B8195 Time : 0.0 sec. user=mdettweiler [2018-04-16 16:42:50] 679*2^1507285-1 is not prime. Res64: 9887A57D068BBD12 Time : 0.0 sec. user=mdettweiler [2018-04-16 16:42:51] 687*2^1507285-1 is not prime. Res64: 554E9E2B53C5FFF8 Time : 0.0 sec. user=mdettweiler [2018-04-16 16:42:51] 691*2^1507285-1 is not prime. Res64: BD31E0BA73D7B5EF Time : 0.0 sec. user=mdettweiler [2018-04-16 16:42:52] 799*2^1507285-1 is not prime. Res64: 75D287527B827D98 Time : 0.0 sec. user=mdettweiler [2018-04-16 17:05:24] 825*2^1507285-1 is not prime. Res64: 1471F19C7DAC2D2A Time : 0.0 sec. user=mdettweiler [2018-04-16 17:05:26] 985*2^1507285-1 is not prime. Res64: 4B1BF75B8F997EFB Time : 0.0 sec. user=mdettweiler [2018-04-16 17:05:28] 663*2^1507286-1 is not prime. Res64: E765599F8280EE21 Time : 0.0 sec. user=mdettweiler [2018-04-16 17:05:29] 801*2^1507286-1 is not prime. Res64: 5BB59D32835DFACE Time : 0.0 sec. user=mdettweiler [2018-04-16 17:05:30] 815*2^1507286-1 is not prime. Res64: 6A820D2D0B9B2A68 Time : 0.0 sec. user=mdettweiler [2018-04-16 17:32:10] 843*2^1507286-1 is not prime. Res64: 82E21A37E68918F7 Time : 0.0 sec. user=mdettweiler [2018-04-16 17:32:10] 873*2^1507286-1 is not prime. Res64: 031D8F0414E73E1D Time : 0.0 sec. user=mdettweiler [2018-04-16 17:32:11] 935*2^1507286-1 is not prime. Res64: 614A5FCCDA7761E7 Time : 0.0 sec. user=mdettweiler [2018-04-16 17:32:11] 691*2^1507287-1 is not prime. Res64: 916D45DB4EE240F1 Time : 0.0 sec. user=mdettweiler [2018-04-16 17:32:11] 765*2^1507287-1 is not prime. Res64: D19D3276A66BBCD8 Time : 0.0 sec. user=mdettweiler [2018-04-16 17:32:38] 793*2^1507287-1 is not prime. Res64: 12BBD2D0584DCF57 Time : 0.0 sec. user=mdettweiler [2018-04-16 17:32:39] 885*2^1507287-1 is not prime. Res64: 5CA54FD0A427B2C5 Time : 0.0 sec. user=mdettweiler [2018-04-16 17:32:39] 979*2^1507287-1 is not prime. Res64: 84A1520C48BA6DBE Time : 0.0 sec. user=mdettweiler [2018-04-16 17:32:40] 991*2^1507287-1 is not prime. Res64: 9A5BA08354EE31D3 Time : 0.0 sec. user=mdettweiler [2018-04-16 17:32:40] 617*2^1507288-1 is not prime. Res64: 2C615157018A7EDA Time : 0.0 sec. user=mdettweiler [2018-04-16 17:33:40] 665*2^1507288-1 is not prime. Res64: 6A531EACFA058647 Time : 0.0 sec. user=mdettweiler [2018-04-16 17:33:40] 755*2^1507288-1 is not prime. Res64: D833070024396566 Time : 0.0 sec. user=mdettweiler [2018-04-16 17:33:40] 773*2^1507288-1 is not prime. Res64: 9A3E1E40C602E293 Time : 0.0 sec. user=mdettweiler [2018-04-16 17:33:41] 775*2^1507289-1 is not prime. Res64: 4150356EB25111E9 Time : 0.0 sec. user=mdettweiler [2018-04-16 17:33:41] 829*2^1507289-1 is not prime. Res64: C576ABB63605EF4A Time : 0.0 sec. user=mdettweiler [2018-04-16 17:57:35] 841*2^1507289-1 is not prime. Res64: 8C8309AC4722BBB8 Time : 0.0 sec. user=mdettweiler [2018-04-16 17:57:36] 641*2^1507290-1 is not prime. Res64: 77CCB02985C83785 Time : 0.0 sec. user=mdettweiler [2018-04-16 17:57:36] 681*2^1507290-1 is not prime. Res64: C91BB353BD3E6062 Time : 0.0 sec. user=mdettweiler [2018-04-16 17:57:37] 767*2^1507290-1 is not prime. Res64: 495C76492AC86A94 Time : 0.0 sec. user=mdettweiler [2018-04-16 17:57:37] 791*2^1507290-1 is not prime. Res64: 4D9D25916C736AA1 Time : 0.0 sec. user=mdettweiler [2018-04-16 18:23:16] 797*2^1507290-1 is not prime. Res64: 1A64A516CAAAE00D Time : 0.0 sec. user=mdettweiler [2018-04-16 18:23:17] 893*2^1507290-1 is not prime. Res64: 9B664356FABE3E06 Time : 0.0 sec. user=mdettweiler [2018-04-16 18:23:17] 927*2^1507290-1 is not prime. Res64: BAC72DCAAB3A2899 Time : 0.0 sec. user=mdettweiler [2018-04-16 18:23:18] 649*2^1507291-1 is not prime. Res64: F7FF44C32BE6F375 Time : 0.0 sec. user=mdettweiler [2018-04-16 18:23:18] 651*2^1507291-1 is not prime. Res64: 27515A2BEFB8C9A1 Time : 0.0 sec. user=mdettweiler [2018-04-16 18:23:46] 751*2^1507291-1 is not prime. Res64: DC1036EA3E9353E2 Time : 0.0 sec. user=mdettweiler [2018-04-16 18:23:46] 783*2^1507291-1 is not prime. Res64: D734ED49BDE0F0C5 Time : 0.0 sec. user=mdettweiler [2018-04-16 18:23:46] 793*2^1507291-1 is not prime. Res64: D61BDA5511BD94AE Time : 0.0 sec. user=mdettweiler [2018-04-16 18:23:47] 811*2^1507291-1 is not prime. Res64: 190B5F72B77E7CD3 Time : 0.0 sec. user=mdettweiler [2018-04-16 18:23:47] 913*2^1507291-1 is not prime. Res64: 1947E5B3737528C0 Time : 0.0 sec. user=mdettweiler [2018-04-16 18:23:49] 979*2^1507291-1 is not prime. Res64: 6D207AA3BC633AF6 Time : 0.0 sec. user=mdettweiler [2018-04-16 18:23:49] 993*2^1507291-1 is not prime. Res64: 7B3BC0EABFFDA929 Time : 0.0 sec. user=mdettweiler [2018-04-16 18:23:50] 605*2^1507292-1 is not prime. Res64: 5F0EDAFF3E1CE237 Time : 0.0 sec. user=mdettweiler [2018-04-16 18:23:50] 717*2^1507292-1 is not prime. Res64: F79AF3736CAB6A19 Time : 0.0 sec. user=mdettweiler [2018-04-16 18:23:51] 735*2^1507292-1 is not prime. Res64: 64C70542EF04C201 Time : 0.0 sec. user=mdettweiler [2018-04-16 18:51:08] 767*2^1507292-1 is not prime. Res64: B761C32BF79F908A Time : 0.0 sec. user=mdettweiler [2018-04-16 18:51:08] 803*2^1507292-1 is not prime. Res64: CDE1BA02C4E5F520 Time : 0.0 sec. user=mdettweiler [2018-04-16 18:51:08] 819*2^1507292-1 is not prime. Res64: 9B6E07505D95C928 Time : 0.0 sec. user=mdettweiler [2018-04-16 18:51:09] 867*2^1507292-1 is not prime. Res64: CD0B7ADB113EA551 Time : 0.0 sec. user=mdettweiler [2018-04-16 18:51:09] 983*2^1507292-1 is not prime. Res64: 5BBE151269C3AC2E Time : 0.0 sec. user=mdettweiler [2018-04-16 19:13:59] 955*2^1507293-1 is not prime. Res64: E0473ADBD19F645D Time : 0.0 sec. user=mdettweiler [2018-04-16 19:13:59] 605*2^1507294-1 is not prime. Res64: 9F5294504B2F7C55 Time : 0.0 sec. user=mdettweiler [2018-04-16 19:14:00] 657*2^1507294-1 is not prime. Res64: D8802954A5712B42 Time : 0.0 sec. user=mdettweiler [2018-04-16 19:14:01] 717*2^1507294-1 is not prime. Res64: FAEC8DBE038A4743 Time : 0.0 sec. user=mdettweiler [2018-04-16 19:14:02] 897*2^1507294-1 is not prime. Res64: 1561111E2C88336C Time : 0.0 sec. user=mdettweiler [2018-04-16 19:15:14] 947*2^1507294-1 is not prime. Res64: E48E140593DA02F6 Time : 0.0 sec. user=mdettweiler [2018-04-16 19:15:14] 655*2^1507295-1 is not prime. Res64: 04BC71E8FC47A577 Time : 0.0 sec. user=mdettweiler [2018-04-16 19:15:14] 685*2^1507295-1 is not prime. Res64: 2574D838F2D54BB3 Time : 0.0 sec. user=mdettweiler [2018-04-16 19:15:15] 759*2^1507295-1 is not prime. Res64: 0EEAD4221AA24BD6 Time : 0.0 sec. user=mdettweiler [2018-04-16 19:15:15] 913*2^1507295-1 is not prime. Res64: 7D22D79EBEC9DEDC Time : 0.0 sec. user=mdettweiler [2018-04-16 19:15:44] 995*2^1507292-1 is not prime. Res64: C218B6518B769E73 Time : 0.0 sec. user=mdettweiler [2018-04-16 19:15:44] 789*2^1507293-1 is not prime. Res64: 1D38AE1ABCEF9F6D Time : 0.0 sec. user=mdettweiler [2018-04-16 19:15:45] 819*2^1507293-1 is not prime. Res64: 330E02270C9D593C Time : 0.0 sec. user=mdettweiler [2018-04-16 19:15:45] 895*2^1507293-1 is not prime. Res64: B56CAA535F444830 Time : 0.0 sec. user=mdettweiler [2018-04-16 19:15:45] 919*2^1507293-1 is not prime. Res64: 65B4E4E56F0766CA Time : 0.0 sec. user=mdettweiler [2018-04-16 19:44:10] 949*2^1507295-1 is not prime. Res64: 405B9BD11D70E6A0 Time : 0.0 sec. user=mdettweiler [2018-04-16 19:44:10] 981*2^1507295-1 is not prime. Res64: 4F8D60DD2AB9C5BD Time : 0.0 sec. user=mdettweiler [2018-04-16 19:44:11] 627*2^1507296-1 is not prime. Res64: CFDA6750AC92800E Time : 0.0 sec. user=mdettweiler [2018-04-16 19:44:11] 657*2^1507296-1 is not prime. Res64: 0C1540CD49B9FB3C Time : 0.0 sec. user=mdettweiler [2018-04-16 19:44:11] 707*2^1507296-1 is not prime. Res64: CE226E512336044F Time : 0.0 sec. user=mdettweiler [2018-04-16 20:12:03] 675*2^1507297-1 is not prime. Res64: 5D01C739ABEB6A40 Time : 0.0 sec. user=mdettweiler [2018-04-16 20:12:04] 685*2^1507297-1 is not prime. Res64: A674E4970C62120D Time : 0.0 sec. user=mdettweiler [2018-04-16 20:12:06] 729*2^1507297-1 is not prime. Res64: 94E63597E06D361C Time : 0.0 sec. user=mdettweiler [2018-04-16 20:12:07] 915*2^1507297-1 is not prime. Res64: E8B07FA496FFBAE8 Time : 0.0 sec. user=mdettweiler [2018-04-16 20:12:09] 937*2^1507297-1 is not prime. Res64: A40A2EE3D6BD1CB6 Time : 0.0 sec. user=mdettweiler [2018-04-16 20:12:26] 735*2^1507296-1 is not prime. Res64: 106DBD974C691375 Time : 0.0 sec. user=mdettweiler [2018-04-16 20:12:28] 789*2^1507296-1 is not prime. Res64: 17DE865A933893AD Time : 0.0 sec. user=mdettweiler [2018-04-16 20:12:30] 837*2^1507296-1 is not prime. Res64: D7A4104179367B58 Time : 0.0 sec. user=mdettweiler [2018-04-16 20:12:32] 839*2^1507296-1 is not prime. Res64: 8F8EBCFD408F3D43 Time : 0.0 sec. user=mdettweiler [2018-04-16 20:12:32] 969*2^1507296-1 is not prime. Res64: 09BE5C11511A4E4D Time : 0.0 sec. user=mdettweiler [2018-04-16 20:13:23] 651*2^1507298-1 is not prime. Res64: 4ED2A7AA722F9375 Time : 0.0 sec. user=mdettweiler [2018-04-16 20:13:24] 671*2^1507298-1 is not prime. Res64: FF951D509ACF601B Time : 0.0 sec. user=mdettweiler [2018-04-16 20:13:24] 683*2^1507298-1 is not prime. Res64: 77C7AB0F6DFA877C Time : 0.0 sec. user=mdettweiler [2018-04-16 20:13:25] 753*2^1507298-1 is not prime. Res64: 45E571A04C87169C Time : 0.0 sec. user=mdettweiler [2018-04-16 20:13:25] 773*2^1507298-1 is not prime. Res64: F8D9CCBAB02066A7 Time : 0.0 sec. user=mdettweiler [2018-04-16 20:40:55] 815*2^1507298-1 is not prime. Res64: D34BB142045F4D2B Time : 0.0 sec. user=mdettweiler [2018-04-16 20:40:56] 861*2^1507298-1 is not prime. Res64: FAC59C4232788C1C Time : 0.0 sec. user=mdettweiler [2018-04-16 20:40:56] 963*2^1507298-1 is not prime. Res64: 934E67125DA345CA Time : 0.0 sec. user=mdettweiler [2018-04-16 20:40:56] 977*2^1507298-1 is not prime. Res64: 90C4041B4FEB6135 Time : 0.0 sec. user=mdettweiler [2018-04-16 20:40:57] 613*2^1507299-1 is not prime. Res64: 7F94FD3B9B96507C Time : 0.0 sec. user=mdettweiler [2018-04-16 21:02:35] 663*2^1507299-1 is not prime. Res64: FDE3A8C403774111 Time : 0.0 sec. user=mdettweiler [2018-04-16 21:02:36] 669*2^1507299-1 is not prime. Res64: 0083EDCE8980C7C2 Time : 0.0 sec. user=mdettweiler [2018-04-16 21:02:37] 685*2^1507299-1 is not prime. Res64: 849123840936CD2E Time : 0.0 sec. user=mdettweiler [2018-04-16 21:02:38] 703*2^1507299-1 is not prime. Res64: 5C1FD0D8E68DFA28 Time : 0.0 sec. user=mdettweiler [2018-04-16 21:02:39] 777*2^1507300-1 is not prime. Res64: E902839D59531959 Time : 0.0 sec. user=mdettweiler [2018-04-16 21:03:49] 745*2^1507299-1 is not prime. Res64: F522181DA0A807C4 Time : 0.0 sec. user=mdettweiler [2018-04-16 21:03:51] 859*2^1507299-1 is not prime. Res64: D825E3063D714A53 Time : 0.0 sec. user=mdettweiler [2018-04-16 21:03:53] 961*2^1507299-1 is not prime. Res64: E7C9D2A2F0742D6C Time : 0.0 sec. user=mdettweiler [2018-04-16 21:03:54] 975*2^1507299-1 is not prime. Res64: 9A009187C55600B7 Time : 0.0 sec. user=mdettweiler [2018-04-16 21:03:55] 985*2^1507299-1 is not prime. Res64: 459237A88A6B6989 Time : 0.0 sec. user=mdettweiler [2018-04-16 21:04:25] 819*2^1507300-1 is not prime. Res64: 22F77E4243B81CA1 Time : 0.0 sec. user=mdettweiler [2018-04-16 21:04:28] 825*2^1507300-1 is not prime. Res64: 0FE8E9C3A3725DF3 Time : 0.0 sec. user=mdettweiler [2018-04-16 21:04:32] 833*2^1507300-1 is not prime. Res64: 8493D9A8D11FE65E Time : 0.0 sec. user=mdettweiler [2018-04-16 21:04:33] 855*2^1507300-1 is not prime. Res64: 2234DEF48772A01D Time : 0.0 sec. user=mdettweiler [2018-04-16 21:04:36] 875*2^1507300-1 is not prime. Res64: C430DC1FD7DF27B9 Time : 0.0 sec. user=mdettweiler [2018-04-16 21:31:40] 965*2^1507300-1 is not prime. Res64: 1BCF9F7F20ACC766 Time : 0.0 sec. user=mdettweiler [2018-04-16 21:31:41] 715*2^1507301-1 is not prime. Res64: 43BCB0347C3C57F5 Time : 0.0 sec. user=mdettweiler [2018-04-16 21:31:41] 747*2^1507301-1 is not prime. Res64: 89ADE68CC2B02AF3 Time : 0.0 sec. user=mdettweiler [2018-04-16 21:31:41] 777*2^1507301-1 is not prime. Res64: 5DA0576421228D25 Time : 0.0 sec. user=mdettweiler [2018-04-16 21:31:42] 871*2^1507301-1 is not prime. Res64: 7184F9B33E947E54 Time : 0.0 sec. user=mdettweiler [2018-04-16 21:53:47] 991*2^1507301-1 is not prime. Res64: E5D1AD96D83E7A00 Time : 0.0 sec. user=mdettweiler [2018-04-16 21:53:48] 681*2^1507302-1 is not prime. Res64: 1056A1CF6B8F4F5A Time : 0.0 sec. user=mdettweiler [2018-04-16 21:53:48] 737*2^1507302-1 is not prime. Res64: AB9ED25EF44749EB Time : 0.0 sec. user=mdettweiler [2018-04-16 21:53:48] 741*2^1507302-1 is not prime. Res64: 3E495D7124904203 Time : 0.0 sec. user=mdettweiler [2018-04-16 21:53:49] 821*2^1507302-1 is not prime. Res64: AA8BBF7A368A6200 Time : 0.0 sec. user=mdettweiler [2018-04-16 21:54:01] 833*2^1507302-1 is not prime. Res64: 559084F9FA80EF57 Time : 0.0 sec. user=mdettweiler [2018-04-16 21:54:01] 975*2^1507302-1 is not prime. Res64: F705D33FBFC97B36 Time : 0.0 sec. user=mdettweiler [2018-04-16 21:54:02] 1001*2^1507302-1 is not prime. Res64: E64C12613A71ACE8 Time : 0.0 sec. user=mdettweiler [2018-04-16 21:54:02] 679*2^1507303-1 is not prime. Res64: 694D0DBBA9B19364 Time : 0.0 sec. user=mdettweiler [2018-04-16 21:54:03] 685*2^1507303-1 is not prime. Res64: 0AFB03B72A5BDEF3 Time : 0.0 sec. user=mdettweiler [2018-04-16 21:54:17] 741*2^1507303-1 is not prime. Res64: CA07C70177D541BD Time : 0.0 sec. user=mdettweiler [2018-04-16 21:54:17] 871*2^1507303-1 is not prime. Res64: 21F2B71D85FE5F13 Time : 0.0 sec. user=mdettweiler [2018-04-16 21:54:18] 615*2^1507304-1 is not prime. Res64: 321610EDFB957AFB Time : 0.0 sec. user=mdettweiler [2018-04-16 21:54:18] 657*2^1507304-1 is not prime. Res64: 33D221F676040588 Time : 0.0 sec. user=mdettweiler [2018-04-16 21:54:19] 659*2^1507304-1 is not prime. Res64: E58DA3C73E0EAD78 Time : 0.0 sec. user=mdettweiler [2018-04-16 22:23:02] 855*2^1507304-1 is not prime. Res64: 56A448AF889F7075 Time : 0.0 sec. user=mdettweiler [2018-04-16 22:23:03] 983*2^1507304-1 is not prime. Res64: 0CFF15BB6C802F2B Time : 0.0 sec. user=mdettweiler [2018-04-16 22:23:04] 781*2^1507305-1 is not prime. Res64: B030DB6272D7BF2A Time : 0.0 sec. user=mdettweiler [2018-04-16 22:23:04] 895*2^1507305-1 is not prime. Res64: 84524790FBA32A5E Time : 0.0 sec. user=mdettweiler [2018-04-16 22:23:05] 813*2^1507306-1 is not prime. Res64: A40483DB6D146870 Time : 0.0 sec. user=mdettweiler [2018-04-16 22:44:08] 933*2^1507306-1 is not prime. Res64: 136F346951B04746 Time : 0.0 sec. user=mdettweiler [2018-04-16 22:44:08] 957*2^1507306-1 is not prime. Res64: 6925CDB6A38B705A Time : 0.0 sec. user=mdettweiler [2018-04-16 22:44:09] 971*2^1507306-1 is not prime. Res64: 07E06D0F81C45ABE Time : 0.0 sec. user=mdettweiler [2018-04-16 22:44:09] 619*2^1507307-1 is not prime. Res64: 57819D369B6677A2 Time : 0.0 sec. user=mdettweiler [2018-04-16 22:44:09] 631*2^1507307-1 is not prime. Res64: E59748CD27632A1E Time : 0.0 sec. user=mdettweiler [2018-04-16 22:44:28] 703*2^1507307-1 is not prime. Res64: 0405EA5519CDA34E Time : 0.0 sec. user=mdettweiler [2018-04-16 22:44:29] 735*2^1507307-1 is not prime. Res64: 39BBAD620E1792A7 Time : 0.0 sec. user=mdettweiler [2018-04-16 22:44:29] 813*2^1507307-1 is not prime. Res64: 48E33E55B786069F Time : 0.0 sec. user=mdettweiler [2018-04-16 22:44:30] 883*2^1507307-1 is not prime. Res64: 217EB29799C9CEBB Time : 0.0 sec. user=mdettweiler [2018-04-16 22:44:30] 993*2^1507307-1 is not prime. Res64: F949A8011C5EAE9F Time : 0.0 sec. user=mdettweiler [2018-04-16 22:45:17] 749*2^1507308-1 is not prime. Res64: 44CCC0B4F73D6EAB Time : 0.0 sec. user=mdettweiler [2018-04-16 22:45:17] 773*2^1507308-1 is not prime. Res64: EB9585531B808EED Time : 0.0 sec. user=mdettweiler [2018-04-16 22:45:18] 843*2^1507308-1 is not prime. Res64: 9BEBE1580AFBAB8F Time : 0.0 sec. user=mdettweiler [2018-04-16 22:45:19] 959*2^1507308-1 is not prime. Res64: B95349DF0E6038C1 Time : 0.0 sec. user=mdettweiler [2018-04-16 22:45:19] 969*2^1507308-1 is not prime. Res64: BDEC53E853B61F21 Time : 0.0 sec. user=mdettweiler [2018-04-16 23:13:09] 975*2^1507308-1 is not prime. Res64: F96A194ABD4EB982 Time : 0.0 sec. user=mdettweiler [2018-04-16 23:13:11] 977*2^1507308-1 is not prime. Res64: C4927B9830FE867C Time : 0.0 sec. user=mdettweiler [2018-04-16 23:13:12] 615*2^1507309-1 is not prime. Res64: 26A7A31BEA4EA900 Time : 0.0 sec. user=mdettweiler [2018-04-16 23:13:13] 649*2^1507309-1 is not prime. Res64: 4BA13CEDE6D5885E Time : 0.0 sec. user=mdettweiler [2018-04-16 23:13:14] 729*2^1507309-1 is not prime. Res64: 093EB875DE20E86E Time : 0.0 sec. user=mdettweiler [2018-04-16 23:34:38] 741*2^1507309-1 is not prime. Res64: 3B5B04745D7F0CFA Time : 0.0 sec. user=mdettweiler [2018-04-16 23:34:39] 801*2^1507309-1 is not prime. Res64: F9B4690D61D58063 Time : 0.0 sec. user=mdettweiler [2018-04-16 23:34:39] 847*2^1507309-1 is not prime. Res64: 8CECB47F4C94D41C Time : 0.0 sec. user=mdettweiler [2018-04-16 23:34:40] 895*2^1507309-1 is not prime. Res64: ED8CD85E27FB06F5 Time : 0.0 sec. user=mdettweiler [2018-04-16 23:34:40] 931*2^1507309-1 is not prime. Res64: F21FA2620F9DDFF6 Time : 0.0 sec. user=mdettweiler [2018-04-16 23:34:47] 951*2^1507309-1 is not prime. Res64: D59965F7F45DC7DB Time : 0.0 sec. user=mdettweiler [2018-04-16 23:34:47] 957*2^1507309-1 is not prime. Res64: D65DF0C7903CE115 Time : 0.0 sec. user=mdettweiler [2018-04-16 23:34:48] 657*2^1507310-1 is not prime. Res64: 26B0233B6E351A65 Time : 0.0 sec. user=mdettweiler [2018-04-16 23:34:48] 741*2^1507310-1 is not prime. Res64: 3A7AFC4D826A32A8 Time : 0.0 sec. user=mdettweiler [2018-04-16 23:34:49] 743*2^1507310-1 is not prime. Res64: 644B80548F9DC749 Time : 0.0 sec. user=mdettweiler [2018-04-16 23:35:54] 791*2^1507310-1 is not prime. Res64: 5A5135B5ADA101CB Time : 0.0 sec. user=mdettweiler [2018-04-16 23:35:54] 813*2^1507310-1 is not prime. Res64: 4E5F8EDA240023AA Time : 0.0 sec. user=mdettweiler [2018-04-16 23:35:55] 825*2^1507310-1 is not prime. Res64: 7AFC86273AD36918 Time : 0.0 sec. user=mdettweiler [2018-04-16 23:35:55] 953*2^1507310-1 is not prime. Res64: 09389F222A17F1E3 Time : 0.0 sec. user=mdettweiler [2018-04-16 23:35:56] 643*2^1507311-1 is not prime. Res64: 61B0E5B18D76542C Time : 0.0 sec.