user=mdettweiler [2018-11-26 00:06:41] 699*2^1532256-1 is not prime. Res64: E04EAFE415D00621 Time : 0.0 sec. user=mdettweiler [2018-11-26 00:06:42] 839*2^1532256-1 is not prime. Res64: 2284761E5B31333B Time : 0.0 sec. user=mdettweiler [2018-11-26 00:06:43] 845*2^1532256-1 is not prime. Res64: A878D5755523B867 Time : 0.0 sec. user=mdettweiler [2018-11-26 00:06:43] 873*2^1532256-1 is not prime. Res64: 5377264BF30B786A Time : 0.0 sec. user=mdettweiler [2018-11-26 00:06:44] 917*2^1532256-1 is not prime. Res64: 9952F0C4D2F84EF8 Time : 0.0 sec. user=mdettweiler [2018-11-26 00:40:15] 645*2^1532257-1 is not prime. Res64: FD86723771A35605 Time : 0.0 sec. user=mdettweiler [2018-11-26 00:40:15] 667*2^1532257-1 is not prime. Res64: 93E1E949A818F3E6 Time : 0.0 sec. user=mdettweiler [2018-11-26 00:40:16] 685*2^1532257-1 is not prime. Res64: 8AA31DF2D3DFC18B Time : 0.0 sec. user=mdettweiler [2018-11-26 00:40:16] 801*2^1532257-1 is not prime. Res64: DC5B05D8C9CDF147 Time : 0.0 sec. user=mdettweiler [2018-11-26 00:40:16] 805*2^1532257-1 is not prime. Res64: 1EC82080B502DA33 Time : 0.0 sec. user=mdettweiler [2018-11-26 00:51:58] 633*2^1532258-1 is not prime. Res64: F2F4AEE4AE4553BB Time : 0.0 sec. user=mdettweiler [2018-11-26 00:51:58] 683*2^1532258-1 is not prime. Res64: FB785D39D6CCBF66 Time : 0.0 sec. user=mdettweiler [2018-11-26 00:51:59] 743*2^1532258-1 is not prime. Res64: 9B199010EBB13FBB Time : 0.0 sec. user=mdettweiler [2018-11-26 00:51:59] 747*2^1532258-1 is not prime. Res64: D8DB78496D2E4E62 Time : 0.0 sec. user=mdettweiler [2018-11-26 00:51:59] 813*2^1532258-1 is not prime. Res64: 4AAB889C54FA3858 Time : 0.0 sec. user=mdettweiler [2018-11-26 00:52:03] 831*2^1532257-1 is not prime. Res64: D8F5ABC73E75E278 Time : 0.0 sec. user=mdettweiler [2018-11-26 00:52:04] 841*2^1532257-1 is not prime. Res64: 8AD6D4FB086E164A Time : 0.0 sec. user=mdettweiler [2018-11-26 00:52:04] 867*2^1532257-1 is not prime. Res64: 51628FB657481281 Time : 0.0 sec. user=mdettweiler [2018-11-26 00:52:04] 885*2^1532257-1 is not prime. Res64: 0C864757288FD3D2 Time : 0.0 sec. user=mdettweiler [2018-11-26 00:52:05] 997*2^1532257-1 is not prime. Res64: 12B764C29B65598C Time : 0.0 sec. user=mdettweiler [2018-11-26 00:58:03] 825*2^1532258-1 is not prime. Res64: FA1FC6940ACB9542 Time : 0.0 sec. user=mdettweiler [2018-11-26 00:58:04] 837*2^1532258-1 is not prime. Res64: E50A06CB5F8CD716 Time : 0.0 sec. user=mdettweiler [2018-11-26 00:58:04] 843*2^1532258-1 is not prime. Res64: A0E545FA71406AD8 Time : 0.0 sec. user=mdettweiler [2018-11-26 00:58:04] 911*2^1532258-1 is not prime. Res64: 605041B7F4A61390 Time : 0.0 sec. user=mdettweiler [2018-11-26 00:58:05] 945*2^1532258-1 is not prime. Res64: 3F94D159EF530135 Time : 0.0 sec. user=mdettweiler [2018-11-26 01:31:35] 963*2^1532258-1 is not prime. Res64: E5D540D9B07CE43A Time : 0.0 sec. user=mdettweiler [2018-11-26 01:31:35] 993*2^1532258-1 is not prime. Res64: DE0A14688CA69AA0 Time : 0.0 sec. user=mdettweiler [2018-11-26 01:31:36] 675*2^1532259-1 is not prime. Res64: 33525ECE2EE1C571 Time : 0.0 sec. user=mdettweiler [2018-11-26 01:31:36] 679*2^1532259-1 is not prime. Res64: A9BF572E4CD25433 Time : 0.0 sec. user=mdettweiler [2018-11-26 01:31:37] 769*2^1532259-1 is not prime. Res64: 0FB6D556DC649D49 Time : 0.0 sec. user=mdettweiler [2018-11-26 01:43:31] 891*2^1532259-1 is not prime. Res64: AB4B22A62F0A10A4 Time : 0.0 sec. user=mdettweiler [2018-11-26 01:43:31] 975*2^1532259-1 is not prime. Res64: 0E3366F506EEB020 Time : 0.0 sec. user=mdettweiler [2018-11-26 01:43:33] 609*2^1532260-1 is not prime. Res64: 922C3DAC72325532 Time : 0.0 sec. user=mdettweiler [2018-11-26 01:43:33] 689*2^1532260-1 is not prime. Res64: 7998BE0AD4D2F74C Time : 0.0 sec. user=mdettweiler [2018-11-26 01:43:34] 773*2^1532260-1 is not prime. Res64: 1838F1B847C7564C Time : 0.0 sec. user=mdettweiler [2018-11-26 01:43:42] 873*2^1532260-1 is not prime. Res64: E9D1E985C2CEC40B Time : 0.0 sec. user=mdettweiler [2018-11-26 01:43:43] 897*2^1532260-1 is not prime. Res64: B057DE4C6F6DFB5A Time : 0.0 sec. user=mdettweiler [2018-11-26 01:43:44] 983*2^1532260-1 is not prime. Res64: 015C35A412500384 Time : 0.0 sec. user=mdettweiler [2018-11-26 01:43:45] 989*2^1532260-1 is not prime. Res64: 71024B96F64EE7F4 Time : 0.0 sec. user=mdettweiler [2018-11-26 01:43:47] 607*2^1532261-1 is not prime. Res64: B2931CCF1A7920DA Time : 0.0 sec. user=mdettweiler [2018-11-26 01:49:38] 615*2^1532261-1 is not prime. Res64: 24A28DB9A3E6B452 Time : 0.0 sec. user=mdettweiler [2018-11-26 01:49:38] 741*2^1532261-1 is not prime. Res64: 9801BD4A5E0671AC Time : 0.0 sec. user=mdettweiler [2018-11-26 01:49:39] 745*2^1532261-1 is not prime. Res64: DE0F34568AB9FE72 Time : 0.0 sec. user=mdettweiler [2018-11-26 01:49:40] 861*2^1532261-1 is not prime. Res64: 13AEC039B291558B Time : 0.0 sec. user=mdettweiler [2018-11-26 01:49:40] 901*2^1532261-1 is not prime. Res64: 0895CE51CD830D77 Time : 0.0 sec. user=mdettweiler [2018-11-26 02:26:47] 937*2^1532261-1 is not prime. Res64: 9A4F62F714B49666 Time : 0.0 sec. user=mdettweiler [2018-11-26 02:26:49] 611*2^1532262-1 is not prime. Res64: 2CDAD135B31ED934 Time : 0.0 sec. user=mdettweiler [2018-11-26 02:26:49] 747*2^1532262-1 is not prime. Res64: AAE5CE628AC7FC7E Time : 0.0 sec. user=mdettweiler [2018-11-26 02:26:50] 765*2^1532262-1 is not prime. Res64: EE5F6FE84D02DD14 Time : 0.0 sec. user=mdettweiler [2018-11-26 02:26:50] 801*2^1532262-1 is not prime. Res64: 9C091ADDF85B7A2D Time : 0.0 sec. user=mdettweiler [2018-11-26 02:37:43] 885*2^1532262-1 is not prime. Res64: 40B25F4CD3B8C1E7 Time : 0.0 sec. user=mdettweiler [2018-11-26 02:37:44] 917*2^1532262-1 is not prime. Res64: 78FB507EF2748197 Time : 0.0 sec. user=mdettweiler [2018-11-26 02:37:44] 1001*2^1532262-1 is not prime. Res64: 0ACC4904EBDEEC8F Time : 0.0 sec. user=mdettweiler [2018-11-26 02:37:45] 603*2^1532263-1 is not prime. Res64: F0E8845985CC1F7B Time : 0.0 sec. user=mdettweiler [2018-11-26 02:37:45] 723*2^1532263-1 is not prime. Res64: 23314544B8154BAF Time : 0.0 sec. user=mdettweiler [2018-11-26 02:38:42] 745*2^1532263-1 is not prime. Res64: 05AE2D2808633489 Time : 0.0 sec. user=mdettweiler [2018-11-26 02:38:42] 853*2^1532263-1 is not prime. Res64: BF4CDAD8CACC8BCB Time : 0.0 sec. user=mdettweiler [2018-11-26 02:38:42] 855*2^1532263-1 is not prime. Res64: D3844700218F9C53 Time : 0.0 sec. user=mdettweiler [2018-11-26 02:38:43] 871*2^1532263-1 is not prime. Res64: A089A5EF58EF6D19 Time : 0.0 sec. user=mdettweiler [2018-11-26 02:38:43] 915*2^1532263-1 is not prime. Res64: 8DD213C27C0C2D46 Time : 0.0 sec. user=mdettweiler [2018-11-26 02:54:33] 699*2^1532264-1 is not prime. Res64: C42662E9C6D69597 Time : 0.0 sec. user=mdettweiler [2018-11-26 02:54:33] 917*2^1532264-1 is not prime. Res64: B1F59874AE889E97 Time : 0.0 sec. user=mdettweiler [2018-11-26 02:54:34] 945*2^1532264-1 is not prime. Res64: 2BF283F455E6C0A4 Time : 0.0 sec. user=mdettweiler [2018-11-26 02:54:34] 957*2^1532264-1 is not prime. Res64: 084B411EF97CF198 Time : 0.0 sec. user=mdettweiler [2018-11-26 02:54:35] 969*2^1532264-1 is not prime. Res64: 4366CFBE8E4AF9B4 Time : 0.0 sec. user=mdettweiler [2018-11-26 03:27:35] 995*2^1532264-1 is not prime. Res64: 2E05B2BE7BB098D9 Time : 0.0 sec. user=mdettweiler [2018-11-26 03:27:36] 657*2^1532265-1 is not prime. Res64: 8CF3EEBA46C4A4F9 Time : 0.0 sec. user=mdettweiler [2018-11-26 03:27:37] 669*2^1532265-1 is not prime. Res64: F7392831EAAF4D42 Time : 0.0 sec. user=mdettweiler [2018-11-26 03:27:39] 721*2^1532265-1 is not prime. Res64: E4AE0ED3B8C9B453 Time : 0.0 sec. user=mdettweiler [2018-11-26 03:27:40] 651*2^1532266-1 is not prime. Res64: 586D21C77F57FC64 Time : 0.0 sec. user=mdettweiler [2018-11-26 03:33:37] 841*2^1532267-1 is not prime. Res64: 68880A1123332372 Time : 0.0 sec. user=mdettweiler [2018-11-26 03:33:38] 861*2^1532267-1 is not prime. Res64: 00B8C7C6E9DB6114 Time : 0.0 sec. user=mdettweiler [2018-11-26 03:33:39] 889*2^1532267-1 is not prime. Res64: 5E399014D120C691 Time : 0.0 sec. user=mdettweiler [2018-11-26 03:33:39] 949*2^1532267-1 is not prime. Res64: 33FE59F26EB5E1CA Time : 0.0 sec. user=mdettweiler [2018-11-26 03:33:40] 981*2^1532267-1 is not prime. Res64: 677FAFA234B3A672 Time : 0.0 sec. user=mdettweiler [2018-11-26 03:35:31] 653*2^1532266-1 is not prime. Res64: C8CE1806AD77671E Time : 0.0 sec. user=mdettweiler [2018-11-26 03:35:33] 657*2^1532266-1 is not prime. Res64: C2278753DEEEDEFA Time : 0.0 sec. user=mdettweiler [2018-11-26 03:35:35] 713*2^1532266-1 is not prime. Res64: 4AFFBC86FC52147C Time : 0.0 sec. user=mdettweiler [2018-11-26 03:35:35] 975*2^1532266-1 is not prime. Res64: 1E104DC8258FC9A7 Time : 0.0 sec. user=mdettweiler [2018-11-26 03:35:36] 987*2^1532266-1 is not prime. Res64: CC02EB093D685A96 Time : 0.0 sec. user=mdettweiler [2018-11-26 03:50:48] 985*2^1532267-1 is not prime. Res64: 1C2E612F92F417EA Time : 0.0 sec. user=mdettweiler [2018-11-26 03:50:49] 665*2^1532268-1 is not prime. Res64: EE96E88BCCB36120 Time : 0.0 sec. user=mdettweiler [2018-11-26 03:50:51] 707*2^1532268-1 is not prime. Res64: 153A636A3B3E21E5 Time : 0.0 sec. user=mdettweiler [2018-11-26 03:50:53] 749*2^1532268-1 is not prime. Res64: 22019F6062AA4946 Time : 0.0 sec. user=mdettweiler [2018-11-26 03:50:54] 803*2^1532268-1 is not prime. Res64: 75CF3C9250DF981C Time : 0.0 sec. user=mdettweiler [2018-11-26 04:21:00] 843*2^1532268-1 is not prime. Res64: C59C327EB7664B73 Time : 0.0 sec. user=mdettweiler [2018-11-26 04:21:03] 845*2^1532268-1 is not prime. Res64: FC8B377E0DBD5B05 Time : 0.0 sec. user=mdettweiler [2018-11-26 04:21:05] 879*2^1532268-1 is not prime. Res64: 01B5A914AA45A069 Time : 0.0 sec. user=mdettweiler [2018-11-26 04:21:06] 957*2^1532268-1 is not prime. Res64: 025EAB2BA917D2F2 Time : 0.0 sec. user=mdettweiler [2018-11-26 04:21:08] 615*2^1532269-1 is not prime. Res64: 3AA6E0B355FDFE8A Time : 0.0 sec. user=mdettweiler [2018-11-26 04:26:07] 699*2^1532269-1 is not prime. Res64: 803C59599FAC493F Time : 0.0 sec. user=mdettweiler [2018-11-26 04:26:08] 925*2^1532269-1 is not prime. Res64: 85E9BDC4BE40F5F2 Time : 0.0 sec. user=mdettweiler [2018-11-26 04:26:10] 955*2^1532269-1 is not prime. Res64: 3FC41C43470A3A0C Time : 0.0 sec. user=mdettweiler [2018-11-26 04:26:12] 645*2^1532270-1 is not prime. Res64: D8D2E5BCCD194096 Time : 0.0 sec. user=mdettweiler [2018-11-26 04:26:13] 741*2^1532270-1 is not prime. Res64: DA5C2CB1853FC7BF Time : 0.0 sec. user=mdettweiler [2018-11-26 04:28:00] 767*2^1532270-1 is not prime. Res64: EE11AAF19B4BC464 Time : 0.0 sec. user=mdettweiler [2018-11-26 04:28:02] 867*2^1532270-1 is not prime. Res64: 1C7C05F66565B621 Time : 0.0 sec. user=mdettweiler [2018-11-26 04:28:03] 941*2^1532270-1 is not prime. Res64: 572BBF07ED0A391D Time : 0.0 sec. user=mdettweiler [2018-11-26 04:28:04] 775*2^1532271-1 is not prime. Res64: BAF97C3D9E524DC5 Time : 0.0 sec. user=mdettweiler [2018-11-26 04:28:04] 805*2^1532271-1 is not prime. Res64: D25FE6D25C8998C9 Time : 0.0 sec. user=mdettweiler [2018-11-26 04:43:13] 955*2^1532271-1 is not prime. Res64: ABE0C03168612489 Time : 0.0 sec. user=mdettweiler [2018-11-26 04:43:14] 961*2^1532271-1 is not prime. Res64: 7699B6715C397A4C Time : 0.0 sec. user=mdettweiler [2018-11-26 04:43:14] 653*2^1532272-1 is not prime. Res64: F14744A56523C993 Time : 0.0 sec. user=mdettweiler [2018-11-26 04:43:15] 657*2^1532272-1 is not prime. Res64: A8B6D1072C8A0357 Time : 0.0 sec. user=mdettweiler [2018-11-26 04:43:15] 695*2^1532272-1 is not prime. Res64: 8A5EF53A5110C46B Time : 0.0 sec. user=mdettweiler [2018-11-26 05:12:51] 903*2^1532272-1 is not prime. Res64: 21F2D03A031971E0 Time : 0.0 sec. user=mdettweiler [2018-11-26 05:12:53] 965*2^1532272-1 is not prime. Res64: 3E645DD7AA81D5F5 Time : 0.0 sec. user=mdettweiler [2018-11-26 05:12:55] 995*2^1532272-1 is not prime. Res64: DAE4B8F45B87A746 Time : 0.0 sec. user=mdettweiler [2018-11-26 05:12:56] 615*2^1532273-1 is not prime. Res64: 574FE4F531E621A0 Time : 0.0 sec. user=mdettweiler [2018-11-26 05:12:59] 669*2^1532273-1 is not prime. Res64: 7FBADF037752F360 Time : 0.0 sec. user=mdettweiler [2018-11-26 05:17:49] 675*2^1532273-1 is not prime. Res64: 3242F15C83BDB796 Time : 0.0 sec. user=mdettweiler [2018-11-26 05:17:50] 847*2^1532273-1 is not prime. Res64: CD3D068F0F2AAD03 Time : 0.0 sec. user=mdettweiler [2018-11-26 05:17:51] 951*2^1532273-1 is not prime. Res64: 567CF349D60044D7 Time : 0.0 sec. user=mdettweiler [2018-11-26 05:17:51] 969*2^1532273-1 is not prime. Res64: 245FE67BFF9DAC3E Time : 0.0 sec. user=mdettweiler [2018-11-26 05:17:53] 765*2^1532274-1 is not prime. Res64: 4986C2E82B9AD231 Time : 0.0 sec. user=mdettweiler [2018-11-26 05:19:32] 791*2^1532274-1 is not prime. Res64: 828968683DA7C844 Time : 0.0 sec. user=mdettweiler [2018-11-26 05:19:32] 815*2^1532274-1 is not prime. Res64: 431AC79A87B384D7 Time : 0.0 sec. user=mdettweiler [2018-11-26 05:19:33] 887*2^1532274-1 is not prime. Res64: 93B7F6CF2338270C Time : 0.0 sec. user=mdettweiler [2018-11-26 05:19:33] 893*2^1532274-1 is not prime. Res64: BB5AE4D6F1B34F8F Time : 0.0 sec. user=mdettweiler [2018-11-26 05:19:34] 789*2^1532275-1 is not prime. Res64: 9105FE09579106EB Time : 0.0 sec. user=mdettweiler [2018-11-26 05:34:51] 843*2^1532275-1 is not prime. Res64: 040ACE93F74CC234 Time : 0.0 sec. user=mdettweiler [2018-11-26 05:34:51] 861*2^1532275-1 is not prime. Res64: 310F489F06CBDB8C Time : 0.0 sec. user=mdettweiler [2018-11-26 05:34:52] 891*2^1532275-1 is not prime. Res64: 6160FD6FC5DE0C47 Time : 0.0 sec. user=mdettweiler [2018-11-26 05:34:52] 925*2^1532275-1 is not prime. Res64: 93CB0B2FBA27CB56 Time : 0.0 sec. user=mdettweiler [2018-11-26 05:34:52] 979*2^1532275-1 is not prime. Res64: 284D4F9046A7C72E Time : 0.0 sec. user=mdettweiler [2018-11-26 06:06:43] 603*2^1532276-1 is not prime. Res64: 1418107DA2299871 Time : 0.0 sec. user=mdettweiler [2018-11-26 06:06:47] 615*2^1532276-1 is not prime. Res64: E6365F3D4EECF754 Time : 0.0 sec. user=mdettweiler [2018-11-26 06:06:49] 633*2^1532276-1 is not prime. Res64: CE1AFC7C58724EC6 Time : 0.0 sec. user=mdettweiler [2018-11-26 06:06:52] 669*2^1532276-1 is not prime. Res64: 00B413EE64081F9A Time : 0.0 sec. user=mdettweiler [2018-11-26 06:06:53] 693*2^1532276-1 is not prime. Res64: 49355AEFAD25B0AE Time : 0.0 sec. user=mdettweiler [2018-11-26 06:10:32] 999*2^1532275-1 is not prime. Res64: B53F9DC73BC9D58A Time : 0.0 sec. user=mdettweiler [2018-11-26 06:10:35] 725*2^1532276-1 is not prime. Res64: BEB0795918940935 Time : 0.0 sec. user=mdettweiler [2018-11-26 06:10:36] 759*2^1532276-1 is not prime. Res64: 77B8C4B21E24BB37 Time : 0.0 sec. user=mdettweiler [2018-11-26 06:10:38] 773*2^1532276-1 is not prime. Res64: 86F32BA1E5A13EB4 Time : 0.0 sec. user=mdettweiler [2018-11-26 06:10:42] 785*2^1532276-1 is not prime. Res64: 72B0EDADE9F6EEE2 Time : 0.0 sec. user=mdettweiler [2018-11-26 06:12:26] 843*2^1532276-1 is not prime. Res64: 438A15C3F878EB6D Time : 0.0 sec. user=mdettweiler [2018-11-26 06:12:28] 999*2^1532276-1 is not prime. Res64: BCB6CED872CA5F61 Time : 0.0 sec. user=mdettweiler [2018-11-26 06:12:29] 819*2^1532277-1 is not prime. Res64: 953BEDBCFF5B9276 Time : 0.0 sec. user=mdettweiler [2018-11-26 06:12:30] 859*2^1532277-1 is not prime. Res64: AD87C474B2EBAEE4 Time : 0.0 sec. user=mdettweiler [2018-11-26 06:12:32] 605*2^1532278-1 is not prime. Res64: 147484189139F84A Time : 0.0 sec. user=mdettweiler [2018-11-26 06:27:33] 755*2^1532278-1 is not prime. Res64: 421404825DAF41C1 Time : 0.0 sec. user=mdettweiler [2018-11-26 06:27:33] 981*2^1532278-1 is not prime. Res64: 6BAA934EB95A1761 Time : 0.0 sec. user=mdettweiler [2018-11-26 06:27:33] 729*2^1532279-1 is not prime. Res64: 8039CB77A47569D9 Time : 0.0 sec. user=mdettweiler [2018-11-26 06:27:34] 759*2^1532279-1 is not prime. Res64: 07D5230FBCBB4F38 Time : 0.0 sec. user=mdettweiler [2018-11-26 06:27:34] 819*2^1532279-1 is not prime. Res64: 24649C529913AED1 Time : 0.0 sec. user=mdettweiler [2018-11-26 06:59:29] 861*2^1532279-1 is not prime. Res64: DA0FC0B10F789F57 Time : 0.0 sec. user=mdettweiler [2018-11-26 06:59:30] 885*2^1532279-1 is not prime. Res64: 1A8FC7527FB50F49 Time : 0.0 sec. user=mdettweiler [2018-11-26 06:59:30] 943*2^1532279-1 is not prime. Res64: 467348CAEE789917 Time : 0.0 sec. user=mdettweiler [2018-11-26 06:59:30] 693*2^1532280-1 is not prime. Res64: 1A29EECE832A93A2 Time : 0.0 sec. user=mdettweiler [2018-11-26 06:59:31] 863*2^1532280-1 is not prime. Res64: 61EF66110AAF08E9 Time : 0.0 sec. user=mdettweiler [2018-11-26 07:03:03] 899*2^1532280-1 is not prime. Res64: E96F911951A81109 Time : 0.0 sec. user=mdettweiler [2018-11-26 07:03:05] 927*2^1532280-1 is not prime. Res64: 0CF0D69D49394BA7 Time : 0.0 sec. user=mdettweiler [2018-11-26 07:03:07] 945*2^1532280-1 is not prime. Res64: 1CF2288913C15CFE Time : 0.0 sec. user=mdettweiler [2018-11-26 07:03:09] 975*2^1532280-1 is not prime. Res64: F0953A99DAF3FB22 Time : 0.0 sec. user=mdettweiler [2018-11-26 07:03:10] 717*2^1532281-1 is not prime. Res64: 059AE3DB080D26F7 Time : 0.0 sec. user=mdettweiler [2018-11-26 07:04:28] 731*2^1532282-1 is not prime. Res64: B1CD4AF500C7952D Time : 0.0 sec. user=mdettweiler [2018-11-26 07:04:29] 771*2^1532282-1 is not prime. Res64: 73767417CDE17680 Time : 0.0 sec. user=mdettweiler [2018-11-26 07:04:30] 843*2^1532282-1 is not prime. Res64: 4B2FF445C95A56F2 Time : 0.0 sec. user=mdettweiler [2018-11-26 07:04:30] 903*2^1532282-1 is not prime. Res64: 83293550D3B34AEC Time : 0.0 sec. user=mdettweiler [2018-11-26 07:04:31] 915*2^1532282-1 is not prime. Res64: 807F3F27695B86CD Time : 0.0 sec. user=mdettweiler [2018-11-26 07:20:29] 705*2^1532283-1 is not prime. Res64: 95FF2F979B791057 Time : 0.0 sec. user=mdettweiler [2018-11-26 07:20:29] 835*2^1532283-1 is not prime. Res64: 3717FA2B88955064 Time : 0.0 sec. user=mdettweiler [2018-11-26 07:20:29] 859*2^1532283-1 is not prime. Res64: 48AC34E20474CE62 Time : 0.0 sec. user=mdettweiler [2018-11-26 07:20:30] 895*2^1532283-1 is not prime. Res64: E74928DBEB83B5A5 Time : 0.0 sec. user=mdettweiler [2018-11-26 07:20:30] 985*2^1532283-1 is not prime. Res64: 299A56F76A272911 Time : 0.0 sec. user=mdettweiler [2018-11-26 07:52:48] 609*2^1532284-1 is not prime. Res64: 6A6EDE5C9EA783A9 Time : 0.0 sec. user=mdettweiler [2018-11-26 07:52:48] 615*2^1532284-1 is not prime. Res64: 716EEC8A8489E850 Time : 0.0 sec. user=mdettweiler [2018-11-26 07:52:49] 665*2^1532284-1 is not prime. Res64: B9124BF10FEB61BE Time : 0.0 sec. user=mdettweiler [2018-11-26 07:52:49] 675*2^1532284-1 is not prime. Res64: 8C8A6D35212560EC Time : 0.0 sec. user=mdettweiler [2018-11-26 07:52:49] 717*2^1532284-1 is not prime. Res64: 85C52EF39B1728D9 Time : 0.0 sec. user=mdettweiler [2018-11-26 07:58:58] 723*2^1532284-1 is not prime. Res64: AEA9196FCA5C012A Time : 0.0 sec. user=mdettweiler [2018-11-26 07:58:58] 803*2^1532284-1 is not prime. Res64: C67003A1C3F87548 Time : 0.0 sec. user=mdettweiler [2018-11-26 07:58:58] 863*2^1532284-1 is not prime. Res64: 3B4D47167EE7CCE7 Time : 0.0 sec. user=mdettweiler [2018-11-26 07:58:59] 983*2^1532284-1 is not prime. Res64: 8EC5E0DC236078DC Time : 0.0 sec. user=mdettweiler [2018-11-26 07:58:59] 601*2^1532285-1 is not prime. Res64: E6AD38B676AFFEC6 Time : 0.0 sec. user=mdettweiler [2018-11-26 07:59:43] 655*2^1532285-1 is not prime. Res64: 5571DFF684C9E99C Time : 0.0 sec. user=mdettweiler [2018-11-26 07:59:43] 669*2^1532285-1 is not prime. Res64: 15D26619B7C5A567 Time : 0.0 sec. user=mdettweiler [2018-11-26 07:59:43] 685*2^1532285-1 is not prime. Res64: BD89F5D39E02A672 Time : 0.0 sec. user=mdettweiler [2018-11-26 07:59:44] 831*2^1532285-1 is not prime. Res64: D4B24DAD07194113 Time : 0.0 sec. user=mdettweiler [2018-11-26 07:59:44] 937*2^1532285-1 is not prime. Res64: 1D6807D7D7A38568 Time : 0.0 sec. user=mdettweiler [2018-11-26 08:15:07] 619*2^1532285-1 is not prime. Res64: D527BDCC470B38C6 Time : 0.0 sec. user=mdettweiler [2018-11-26 08:15:07] 705*2^1532286-1 is not prime. Res64: 6E49AEED5D55E76E Time : 0.0 sec. user=mdettweiler [2018-11-26 08:15:08] 713*2^1532286-1 is not prime. Res64: 67CBE9C2852A6136 Time : 0.0 sec. user=mdettweiler [2018-11-26 08:15:08] 717*2^1532286-1 is not prime. Res64: E55AEC3DF2765218 Time : 0.0 sec. user=mdettweiler [2018-11-26 08:15:08] 795*2^1532286-1 is not prime. Res64: 40592B5532DCF402 Time : 0.0 sec. user=mdettweiler [2018-11-26 08:47:52] 807*2^1532286-1 is not prime. Res64: D991F8EFDE7F8599 Time : 0.0 sec. user=mdettweiler [2018-11-26 08:47:53] 851*2^1532286-1 is not prime. Res64: 89928BE44DEBEB99 Time : 0.0 sec. user=mdettweiler [2018-11-26 08:47:53] 873*2^1532286-1 is not prime. Res64: 6B68E1981B0F6F89 Time : 0.0 sec. user=mdettweiler [2018-11-26 08:47:53] 893*2^1532286-1 is not prime. Res64: AB90CD2440915FC7 Time : 0.0 sec. user=mdettweiler [2018-11-26 08:47:54] 945*2^1532286-1 is not prime. Res64: 427082249E75883D Time : 0.0 sec. user=mdettweiler [2018-11-26 08:53:27] 985*2^1532287-1 is not prime. Res64: D059728B2F93B0A7 Time : 0.0 sec. user=mdettweiler [2018-11-26 08:53:27] 677*2^1532288-1 is not prime. Res64: FF1879B8364F5BF3 Time : 0.0 sec. user=mdettweiler [2018-11-26 08:53:28] 687*2^1532288-1 is not prime. Res64: 8526E37481B4BB63 Time : 0.0 sec. user=mdettweiler [2018-11-26 08:53:28] 789*2^1532288-1 is not prime. Res64: 957FFE88FAB0716E Time : 0.0 sec. user=mdettweiler [2018-11-26 08:53:29] 825*2^1532288-1 is not prime. Res64: 520B87329ABB50ED Time : 0.0 sec. user=mdettweiler [2018-11-26 08:56:43] 651*2^1532287-1 is not prime. Res64: 44B4C79411E6C076 Time : 0.0 sec. user=mdettweiler [2018-11-26 08:56:44] 673*2^1532287-1 is not prime. Res64: 2DFBEB5652B1FFE7 Time : 0.0 sec. user=mdettweiler [2018-11-26 08:56:44] 793*2^1532287-1 is not prime. Res64: EEFE5272ADABA9A9 Time : 0.0 sec. user=mdettweiler [2018-11-26 08:56:45] 961*2^1532287-1 is not prime. Res64: 19DDBE59A7A03BCB Time : 0.0 sec. user=mdettweiler [2018-11-26 08:56:45] 973*2^1532287-1 is not prime. Res64: AD552F3FC6BA3F8C Time : 0.0 sec. user=mdettweiler [2018-11-26 09:07:45] 839*2^1532288-1 is not prime. Res64: 413FFDD96AA016B6 Time : 0.0 sec. user=mdettweiler [2018-11-26 09:07:45] 845*2^1532288-1 is not prime. Res64: 8CD0E3132A484A5A Time : 0.0 sec. user=mdettweiler [2018-11-26 09:07:46] 969*2^1532288-1 is not prime. Res64: A4BDCFB5F919621E Time : 0.0 sec. user=mdettweiler [2018-11-26 09:07:46] 977*2^1532288-1 is not prime. Res64: A61130590D254AB1 Time : 0.0 sec. user=mdettweiler [2018-11-26 09:07:46] 667*2^1532289-1 is not prime. Res64: 4EBF01CEB30855BE Time : 0.0 sec. user=mdettweiler [2018-11-26 09:40:28] 745*2^1532289-1 is not prime. Res64: 79111744BCB4EFD0 Time : 0.0 sec. user=mdettweiler [2018-11-26 09:40:28] 789*2^1532289-1 is not prime. Res64: EF782DB69746ABB5 Time : 0.0 sec. user=mdettweiler [2018-11-26 09:40:29] 919*2^1532289-1 is not prime. Res64: 247235FEFA16F1FB Time : 0.0 sec. user=mdettweiler [2018-11-26 09:40:29] 955*2^1532289-1 is not prime. Res64: 49CFFA71E716B86C Time : 0.0 sec. user=mdettweiler [2018-11-26 09:40:30] 645*2^1532290-1 is not prime. Res64: 2C10C16A96CF051D Time : 0.0 sec. user=mdettweiler [2018-11-26 09:47:20] 651*2^1532290-1 is not prime. Res64: 095321FE87507F8D Time : 0.0 sec. user=mdettweiler [2018-11-26 09:47:20] 675*2^1532290-1 is not prime. Res64: 3B72F4A3A0F619D2 Time : 0.0 sec. user=mdettweiler [2018-11-26 09:47:21] 681*2^1532290-1 is not prime. Res64: AA9D5CBB592AB323 Time : 0.0 sec. user=mdettweiler [2018-11-26 09:47:22] 687*2^1532290-1 is not prime. Res64: 7618F481D8ABEA7F Time : 0.0 sec. user=mdettweiler [2018-11-26 09:47:22] 801*2^1532290-1 is not prime. Res64: 58B1B55A8CB5A325 Time : 0.0 sec. user=mdettweiler [2018-11-26 09:51:28] 827*2^1532290-1 is not prime. Res64: F0395D3CE8C78E2C Time : 0.0 sec. user=mdettweiler [2018-11-26 09:51:28] 833*2^1532290-1 is not prime. Res64: BF8D3678A4612D95 Time : 0.0 sec. user=mdettweiler [2018-11-26 09:51:28] 845*2^1532290-1 is not prime. Res64: 8AF0277A0D199409 Time : 0.0 sec. user=mdettweiler [2018-11-26 09:51:28] 917*2^1532290-1 is not prime. Res64: 170B381729F99596 Time : 0.0 sec. user=mdettweiler [2018-11-26 09:51:29] 945*2^1532290-1 is not prime. Res64: A5FDACDCCE32C88B Time : 0.0 sec. user=mdettweiler [2018-11-26 10:00:46] 669*2^1532291-1 is not prime. Res64: 25A0C34FA4C36BBD Time : 0.0 sec. user=mdettweiler [2018-11-26 10:00:48] 703*2^1532291-1 is not prime. Res64: 628772A70621B8F6 Time : 0.0 sec. user=mdettweiler [2018-11-26 10:00:49] 711*2^1532291-1 is not prime. Res64: 4627A027E233CB67 Time : 0.0 sec. user=mdettweiler [2018-11-26 10:00:50] 733*2^1532291-1 is not prime. Res64: 83EB70F05D65C7A1 Time : 0.0 sec. user=mdettweiler [2018-11-26 10:00:52] 841*2^1532291-1 is not prime. Res64: E652A580450649F1 Time : 0.0 sec. user=mdettweiler [2018-11-26 10:32:15] 901*2^1532291-1 is not prime. Res64: 46122582F50298F2 Time : 0.0 sec. user=mdettweiler [2018-11-26 10:32:16] 669*2^1532292-1 is not prime. Res64: EFC16D2F199A7A7C Time : 0.0 sec. user=mdettweiler [2018-11-26 10:32:16] 725*2^1532292-1 is not prime. Res64: 9275198EA25B9B67 Time : 0.0 sec. user=mdettweiler [2018-11-26 10:32:17] 767*2^1532292-1 is not prime. Res64: 6B82E2A1408AACF7 Time : 0.0 sec. user=mdettweiler [2018-11-26 10:32:17] 825*2^1532292-1 is not prime. Res64: 257EB5D2F34FE588 Time : 0.0 sec. user=mdettweiler [2018-11-26 10:39:40] 915*2^1532292-1 is not prime. Res64: C0D1B30058D54A2D Time : 0.0 sec. user=mdettweiler [2018-11-26 10:39:40] 975*2^1532292-1 is not prime. Res64: 9592EF157E06FB00 Time : 0.0 sec. user=mdettweiler [2018-11-26 10:39:41] 609*2^1532293-1 is not prime. Res64: 8E196C6A58EF7C82 Time : 0.0 sec. user=mdettweiler [2018-11-26 10:39:41] 619*2^1532293-1 is not prime. Res64: F2CBA74C4E29968B Time : 0.0 sec. user=mdettweiler [2018-11-26 10:39:41] 895*2^1532293-1 is not prime. Res64: 7A662E1E32762B82 Time : 0.0 sec. user=mdettweiler [2018-11-26 10:43:34] 897*2^1532293-1 is not prime. Res64: E1235371FD2BE141 Time : 0.0 sec. user=mdettweiler [2018-11-26 10:43:35] 955*2^1532293-1 is not prime. Res64: DC1335A646EFAB05 Time : 0.0 sec. user=mdettweiler [2018-11-26 10:43:36] 605*2^1532294-1 is not prime. Res64: 00AE6CFB74785928 Time : 0.0 sec. user=mdettweiler [2018-11-26 10:43:37] 651*2^1532294-1 is not prime. Res64: 3406934C42D5A1C9 Time : 0.0 sec. user=mdettweiler [2018-11-26 10:43:38] 657*2^1532294-1 is not prime. Res64: FECCE730A74E35BB Time : 0.0 sec. user=mdettweiler [2018-11-26 10:52:42] 707*2^1532294-1 is not prime. Res64: DF261D8E0A14D9A7 Time : 0.0 sec. user=mdettweiler [2018-11-26 10:52:43] 743*2^1532294-1 is not prime. Res64: A69A0C23C6CEF021 Time : 0.0 sec. user=mdettweiler [2018-11-26 10:52:43] 917*2^1532294-1 is not prime. Res64: FD103DE1D6AEC164 Time : 0.0 sec. user=mdettweiler [2018-11-26 10:52:43] 965*2^1532294-1 is not prime. Res64: 344B1514ED8813CB Time : 0.0 sec. user=mdettweiler [2018-11-26 10:52:43] 1001*2^1532294-1 is not prime. Res64: 81F24C3A1FA228A2 Time : 0.0 sec. user=mdettweiler [2018-11-26 11:23:38] 601*2^1532295-1 is not prime. Res64: 7BA3237F35AF321D Time : 0.0 sec. user=mdettweiler [2018-11-26 11:23:39] 663*2^1532295-1 is not prime. Res64: A8B626E61E03A649 Time : 0.0 sec. user=mdettweiler [2018-11-26 11:23:39] 691*2^1532295-1 is not prime. Res64: 6FA53AF15FBF237F Time : 0.0 sec. user=mdettweiler [2018-11-26 11:23:39] 709*2^1532295-1 is not prime. Res64: 9C9D902BB721C189 Time : 0.0 sec. user=mdettweiler [2018-11-26 11:23:40] 789*2^1532295-1 is not prime. Res64: F700CDB72CACF4D7 Time : 0.0 sec. user=mdettweiler [2018-11-26 11:31:17] 793*2^1532295-1 is not prime. Res64: 22E2DBDA81D58994 Time : 0.0 sec. user=mdettweiler [2018-11-26 11:31:18] 891*2^1532295-1 is not prime. Res64: D4A0D5948860DE86 Time : 0.0 sec. user=mdettweiler [2018-11-26 11:31:19] 755*2^1532296-1 is not prime. Res64: 18FE622823C6F1A4 Time : 0.0 sec. user=mdettweiler [2018-11-26 11:31:19] 825*2^1532296-1 is not prime. Res64: DC5D110F305417B7 Time : 0.0 sec. user=mdettweiler [2018-11-26 11:31:19] 839*2^1532296-1 is not prime. Res64: 70C9736D08CE6BF4 Time : 0.0 sec. user=mdettweiler [2018-11-26 11:35:30] 855*2^1532296-1 is not prime. Res64: 1D1585440684F0DC Time : 0.0 sec. user=mdettweiler [2018-11-26 11:35:31] 873*2^1532296-1 is not prime. Res64: 684EE32F746A2D08 Time : 0.0 sec. user=mdettweiler [2018-11-26 11:35:31] 899*2^1532296-1 is not prime. Res64: 79201C72CAABB5D6 Time : 0.0 sec. user=mdettweiler [2018-11-26 11:35:31] 957*2^1532296-1 is not prime. Res64: 385BA9C6E3455D76 Time : 0.0 sec. user=mdettweiler [2018-11-26 11:35:32] 983*2^1532296-1 is not prime. Res64: A4CBEB444645F33A Time : 0.0 sec. user=mdettweiler [2018-11-26 11:44:18] 993*2^1532296-1 is not prime. Res64: E9B6BC7C571A1E34 Time : 0.0 sec. user=mdettweiler [2018-11-26 11:44:19] 615*2^1532297-1 is not prime. Res64: 6E1682AB102EEA3F Time : 0.0 sec. user=mdettweiler [2018-11-26 11:44:19] 627*2^1532297-1 is not prime. Res64: DB3B884DEF0B253C Time : 0.0 sec. user=mdettweiler [2018-11-26 11:44:19] 727*2^1532297-1 is not prime. Res64: 9037C96225EA3C44 Time : 0.0 sec. user=mdettweiler [2018-11-26 11:44:20] 741*2^1532297-1 is not prime. Res64: AE3206B7CFF93E79 Time : 0.0 sec. user=mdettweiler [2018-11-26 12:16:05] 865*2^1532297-1 is not prime. Res64: AE309C3738EC26A3 Time : 0.0 sec. user=mdettweiler [2018-11-26 12:16:05] 879*2^1532297-1 is not prime. Res64: B43EF6D28D8DDAD5 Time : 0.0 sec. user=mdettweiler [2018-11-26 12:16:06] 939*2^1532297-1 is not prime. Res64: 9AC1CFF8A28EC0E1 Time : 0.0 sec. user=mdettweiler [2018-11-26 12:16:06] 681*2^1532298-1 is not prime. Res64: B62A4E2DE0FBAD83 Time : 0.0 sec. user=mdettweiler [2018-11-26 12:16:07] 695*2^1532298-1 is not prime. Res64: 9965B4158F1CDAE9 Time : 0.0 sec. user=mdettweiler [2018-11-26 12:24:34] 707*2^1532298-1 is not prime. Res64: 232207FC11B0A20B Time : 0.0 sec. user=mdettweiler [2018-11-26 12:24:34] 731*2^1532298-1 is not prime. Res64: EAA039CCD0CA0B3A Time : 0.0 sec. user=mdettweiler [2018-11-26 12:24:34] 797*2^1532298-1 is not prime. Res64: C114B36AC916D020 Time : 0.0 sec. user=mdettweiler [2018-11-26 12:24:34] 815*2^1532298-1 is not prime. Res64: 5B7ED04601B1ED8F Time : 0.0 sec. user=mdettweiler [2018-11-26 12:24:35] 971*2^1532298-1 is not prime. Res64: AF42CA86F089B70A Time : 0.0 sec. user=mdettweiler [2018-11-26 12:29:20] 1001*2^1532298-1 is not prime. Res64: 39A66AE20CFF6521 Time : 0.0 sec. user=mdettweiler [2018-11-26 12:29:20] 741*2^1532299-1 is not prime. Res64: 4451C6DAD1140106 Time : 0.0 sec. user=mdettweiler [2018-11-26 12:29:20] 913*2^1532299-1 is not prime. Res64: 2609931708FC6F65 Time : 0.0 sec. user=mdettweiler [2018-11-26 12:29:20] 939*2^1532299-1 is not prime. Res64: 86D517B273662E37 Time : 0.0 sec. user=mdettweiler [2018-11-26 12:29:21] 665*2^1532300-1 is not prime. Res64: 05CE3CC941FE0EC7 Time : 0.0 sec. user=mdettweiler [2018-11-26 12:36:42] 743*2^1532300-1 is not prime. Res64: 62010786CC929070 Time : 0.0 sec. user=mdettweiler [2018-11-26 12:36:43] 927*2^1532300-1 is not prime. Res64: DC13A85CE6DADC5E Time : 0.0 sec. user=mdettweiler [2018-11-26 12:36:43] 609*2^1532301-1 is not prime. Res64: 8C0D11631E53BFBD Time : 0.0 sec. user=mdettweiler [2018-11-26 12:36:45] 615*2^1532301-1 is not prime. Res64: C351365F5B8DB3EC Time : 0.0 sec. user=mdettweiler [2018-11-26 12:36:45] 849*2^1532301-1 is not prime. Res64: B60145DC4C73E78F Time : 0.0 sec. user=mdettweiler [2018-11-26 13:09:07] 865*2^1532301-1 is not prime. Res64: EA56ED414E20F26D Time : 0.0 sec. user=mdettweiler [2018-11-26 13:09:07] 877*2^1532301-1 is not prime. Res64: 5C397E206C08F819 Time : 0.0 sec. user=mdettweiler [2018-11-26 13:09:07] 951*2^1532301-1 is not prime. Res64: BB551550B6A538BA Time : 0.0 sec. user=mdettweiler [2018-11-26 13:09:08] 997*2^1532301-1 is not prime. Res64: 1416B302AE5A8E9F Time : 0.0 sec. user=mdettweiler [2018-11-26 13:09:08] 611*2^1532302-1 is not prime. Res64: 98F58C863E7E2F71 Time : 0.0 sec. user=mdettweiler [2018-11-26 13:21:06] 653*2^1532302-1 is not prime. Res64: C69BB53396C73785 Time : 0.0 sec. user=mdettweiler [2018-11-26 13:21:06] 717*2^1532302-1 is not prime. Res64: C967E6CA0016CAE3 Time : 0.0 sec. user=mdettweiler [2018-11-26 13:21:07] 791*2^1532302-1 is not prime. Res64: B698882096A2A4AC Time : 0.0 sec. user=mdettweiler [2018-11-26 13:21:07] 867*2^1532302-1 is not prime. Res64: D010FB7A12B17F0A Time : 0.0 sec. user=mdettweiler [2018-11-26 13:21:07] 881*2^1532302-1 is not prime. Res64: BDA9B6ED74F41B34 Time : 0.0 sec. user=mdettweiler [2018-11-26 13:22:42] 917*2^1532302-1 is not prime. Res64: A12CD005B65962F0 Time : 0.0 sec. user=mdettweiler [2018-11-26 13:22:43] 947*2^1532302-1 is not prime. Res64: FCAAE07C4A933CB1 Time : 0.0 sec. user=mdettweiler [2018-11-26 13:22:43] 965*2^1532302-1 is not prime. Res64: 2624831F88B727E9 Time : 0.0 sec. user=mdettweiler [2018-11-26 13:22:44] 1001*2^1532302-1 is not prime. Res64: 757CB1BADB81B100 Time : 0.0 sec. user=mdettweiler [2018-11-26 13:22:45] 603*2^1532303-1 is not prime. Res64: 2FBE5F97D75C7CE7 Time : 0.0 sec. user=mdettweiler [2018-11-26 13:29:43] 775*2^1532303-1 is not prime. Res64: 8DB46384C5BEDAF9 Time : 0.0 sec. user=mdettweiler [2018-11-26 13:29:44] 871*2^1532303-1 is not prime. Res64: 05D9DA558B74C60A Time : 0.0 sec. user=mdettweiler [2018-11-26 13:29:44] 789*2^1532304-1 is not prime. Res64: 61DDEF7EF26C1903 Time : 0.0 sec. user=mdettweiler [2018-11-26 13:29:44] 975*2^1532304-1 is not prime. Res64: 9DECF044A383BBCA Time : 0.0 sec. user=mdettweiler [2018-11-26 13:29:45] 983*2^1532304-1 is not prime. Res64: 99CAEFCF540AD9A7 Time : 0.0 sec. user=mdettweiler [2018-11-26 14:04:51] 993*2^1532304-1 is not prime. Res64: E252284100E3082D Time : 0.0 sec. user=mdettweiler [2018-11-26 14:04:53] 649*2^1532305-1 is not prime. Res64: 0152F56D1308F2A4 Time : 0.0 sec. user=mdettweiler [2018-11-26 14:04:53] 847*2^1532305-1 is not prime. Res64: 6F8A90CA44D4216F Time : 0.0 sec. user=mdettweiler [2018-11-26 14:04:54] 861*2^1532305-1 is not prime. Res64: BDA568C37C5944B9 Time : 0.0 sec. user=mdettweiler [2018-11-26 14:04:54] 987*2^1532305-1 is not prime. Res64: 4898EB31AD3BB0DB Time : 0.0 sec. user=mdettweiler [2018-11-26 14:15:24] 617*2^1532306-1 is not prime. Res64: CE0138B2DE9E669E Time : 0.0 sec. user=mdettweiler [2018-11-26 14:15:25] 645*2^1532306-1 is not prime. Res64: A8A3AD6C2FBEFF3A Time : 0.0 sec. user=mdettweiler [2018-11-26 14:15:26] 675*2^1532306-1 is not prime. Res64: C6B4D240013C2947 Time : 0.0 sec. user=mdettweiler [2018-11-26 14:15:26] 735*2^1532306-1 is not prime. Res64: 597CE5688DE3333D Time : 0.0 sec. user=mdettweiler [2018-11-26 14:15:27] 831*2^1532306-1 is not prime. Res64: 2F96FED40D68F350 Time : 0.0 sec. user=mdettweiler [2018-11-26 14:15:31] 935*2^1532306-1 is not prime. Res64: 5C306E1E6EF2DF22 Time : 0.0 sec. user=mdettweiler [2018-11-26 14:15:32] 685*2^1532307-1 is not prime. Res64: 1BED13CED723C704 Time : 0.0 sec. user=mdettweiler [2018-11-26 14:15:32] 705*2^1532307-1 is not prime. Res64: 7EC64BB50CF795CF Time : 0.0 sec. user=mdettweiler [2018-11-26 14:15:33] 711*2^1532307-1 is not prime. Res64: 249326FFEA40B6C3 Time : 0.0 sec. user=mdettweiler [2018-11-26 14:15:34] 735*2^1532307-1 is not prime. Res64: 386825EBCDE5AD31 Time : 0.0 sec. user=mdettweiler [2018-11-26 14:23:05] 843*2^1532307-1 is not prime. Res64: 2C3225B39B4ADB0B Time : 0.0 sec. user=mdettweiler [2018-11-26 14:23:05] 919*2^1532307-1 is not prime. Res64: 27C5B3C3B3FD0A35 Time : 0.0 sec. user=mdettweiler [2018-11-26 14:23:06] 951*2^1532307-1 is not prime. Res64: E61D263D9B20ACEB Time : 0.0 sec. user=mdettweiler [2018-11-26 14:23:06] 723*2^1532308-1 is not prime. Res64: 55727F61A815E6D0 Time : 0.0 sec. user=mdettweiler [2018-11-26 14:23:06] 909*2^1532308-1 is not prime. Res64: C964F7D7F460DB15 Time : 0.0 sec. user=mdettweiler [2018-11-26 14:57:40] 933*2^1532308-1 is not prime. Res64: 97BB9E0F77C9B0E9 Time : 0.0 sec. user=mdettweiler [2018-11-26 14:57:40] 989*2^1532308-1 is not prime. Res64: AC08CAF8FB2CDCB6 Time : 0.0 sec. user=mdettweiler [2018-11-26 14:57:40] 691*2^1532309-1 is not prime. Res64: B7010AB5A9A13B18 Time : 0.0 sec. user=mdettweiler [2018-11-26 14:57:41] 789*2^1532309-1 is not prime. Res64: F73C66D4497E2D18 Time : 0.0 sec. user=mdettweiler [2018-11-26 14:57:41] 897*2^1532309-1 is not prime. Res64: F918515FA306D784 Time : 0.0 sec. user=mdettweiler [2018-11-26 15:07:58] 949*2^1532309-1 is not prime. Res64: 2D0BF44032D649A6 Time : 0.0 sec. user=mdettweiler [2018-11-26 15:08:00] 951*2^1532309-1 is not prime. Res64: E692860305FAAAF2 Time : 0.0 sec. user=mdettweiler [2018-11-26 15:08:01] 765*2^1532310-1 is not prime. Res64: 7AC0A9BF7C11CE78 Time : 0.0 sec. user=mdettweiler [2018-11-26 15:08:02] 801*2^1532310-1 is not prime. Res64: 5DD6189A50D51E67 Time : 0.0 sec. user=mdettweiler [2018-11-26 15:08:03] 861*2^1532310-1 is not prime. Res64: ECB01D8D43675F18 Time : 0.0 sec. user=mdettweiler [2018-11-26 15:08:39] 651*2^1532311-1 is not prime. Res64: 663A6FDF15FF9EB3 Time : 0.0 sec. user=mdettweiler [2018-11-26 15:08:39] 673*2^1532311-1 is not prime. Res64: BE81EC7532966103 Time : 0.0 sec. user=mdettweiler [2018-11-26 15:08:41] 705*2^1532311-1 is not prime. Res64: E11A11A4236073F0 Time : 0.0 sec. user=mdettweiler [2018-11-26 15:08:41] 741*2^1532311-1 is not prime. Res64: 9F65CFB68D9F4D5C Time : 0.0 sec. user=mdettweiler [2018-11-26 15:08:42] 811*2^1532311-1 is not prime. Res64: AFC81388B11B0CE0 Time : 0.0 sec. user=mdettweiler [2018-11-26 15:16:05] 841*2^1532311-1 is not prime. Res64: 5BA082C790364BAD Time : 0.0 sec. user=mdettweiler [2018-11-26 15:16:06] 883*2^1532311-1 is not prime. Res64: F28A709A86AE603E Time : 0.0 sec. user=mdettweiler [2018-11-26 15:16:06] 675*2^1532312-1 is not prime. Res64: BB798D6CD916C853 Time : 0.0 sec. user=mdettweiler [2018-11-26 15:16:06] 687*2^1532312-1 is not prime. Res64: 6B0C1DA3C87673ED Time : 0.0 sec. user=mdettweiler [2018-11-26 15:16:06] 855*2^1532312-1 is not prime. Res64: 8DEEF5E312D05600 Time : 0.0 sec. user=mdettweiler [2018-11-26 15:49:14] 899*2^1532312-1 is not prime. Res64: 95273A00534F51FF Time : 0.0 sec. user=mdettweiler [2018-11-26 15:49:14] 977*2^1532312-1 is not prime. Res64: E21132C939969E4B Time : 0.0 sec. user=mdettweiler [2018-11-26 15:49:14] 983*2^1532312-1 is not prime. Res64: 674250D785720EE1 Time : 0.0 sec. user=mdettweiler [2018-11-26 15:49:15] 681*2^1532313-1 is not prime. Res64: 63620FDB849CEEAE Time : 0.0 sec. user=mdettweiler [2018-11-26 15:49:15] 741*2^1532313-1 is not prime. Res64: CE6C0703F634E731 Time : 0.0 sec. user=mdettweiler [2018-11-26 15:59:59] 751*2^1532313-1 is not prime. Res64: DC24BA3D5CBA0C24 Time : 0.0 sec. user=mdettweiler [2018-11-26 16:00:00] 919*2^1532313-1 is not prime. Res64: 82C356321431E601 Time : 0.0 sec. user=mdettweiler [2018-11-26 16:00:00] 747*2^1532314-1 is not prime. Res64: 871EB0A16421586F Time : 0.0 sec. user=mdettweiler [2018-11-26 16:00:00] 765*2^1532314-1 is not prime. Res64: 37CE525F7EBA20D5 Time : 0.0 sec. user=mdettweiler [2018-11-26 16:00:01] 815*2^1532314-1 is not prime. Res64: DA88A0A55AC076E6 Time : 0.0 sec. user=mdettweiler [2018-11-26 16:00:57] 1001*2^1532314-1 is not prime. Res64: 88D76720B7BDD4BB Time : 0.0 sec. user=mdettweiler [2018-11-26 16:00:58] 645*2^1532315-1 is not prime. Res64: 2E926D2CF951F7CA Time : 0.0 sec. user=mdettweiler [2018-11-26 16:00:59] 663*2^1532315-1 is not prime. Res64: B8B90D50773230C1 Time : 0.0 sec. user=mdettweiler [2018-11-26 16:01:00] 859*2^1532315-1 is not prime. Res64: 04B14C264CCF3C9E Time : 0.0 sec. user=mdettweiler [2018-11-26 16:01:00] 963*2^1532315-1 is not prime. Res64: 6F0D5AAAF33FC177 Time : 0.0 sec. user=mdettweiler [2018-11-26 16:07:51] 981*2^1532315-1 is not prime. Res64: 45C65641A0BC8F1D Time : 0.0 sec. user=mdettweiler [2018-11-26 16:07:52] 627*2^1532316-1 is not prime. Res64: DCA6C94D5F59A316 Time : 0.0 sec. user=mdettweiler [2018-11-26 16:07:53] 693*2^1532316-1 is not prime. Res64: 255080BCE9134158 Time : 0.0 sec. user=mdettweiler [2018-11-26 16:07:54] 707*2^1532316-1 is not prime. Res64: C13EAC7004A261FA Time : 0.0 sec. user=mdettweiler [2018-11-26 16:07:55] 737*2^1532316-1 is not prime. Res64: 6B7DAFC2507AA164 Time : 0.0 sec. user=mdettweiler [2018-11-26 16:42:01] 809*2^1532316-1 is not prime. Res64: D7929ACD72463CE7 Time : 0.0 sec. user=mdettweiler [2018-11-26 16:42:01] 873*2^1532316-1 is not prime. Res64: 70CA1F692FDFC54D Time : 0.0 sec. user=mdettweiler [2018-11-26 16:42:02] 609*2^1532317-1 is not prime. Res64: D332C4817D20BFCE Time : 0.0 sec. user=mdettweiler [2018-11-26 16:42:02] 729*2^1532317-1 is not prime. Res64: 275541084646B098 Time : 0.0 sec. user=mdettweiler [2018-11-26 16:42:02] 747*2^1532317-1 is not prime. Res64: 2B5ED4DD0D61D1AC Time : 0.0 sec. user=mdettweiler [2018-11-26 16:56:29] 771*2^1532317-1 is not prime. Res64: 38FA2E289D0173CA Time : 0.0 sec. user=mdettweiler [2018-11-26 16:56:29] 777*2^1532317-1 is not prime. Res64: AD57377112A72E30 Time : 0.0 sec. user=mdettweiler [2018-11-26 16:56:30] 825*2^1532317-1 is not prime. Res64: 407983C20B0663DB Time : 0.0 sec. user=mdettweiler [2018-11-26 16:56:30] 831*2^1532317-1 is not prime. Res64: 624842D8FBBD20A9 Time : 0.0 sec. user=mdettweiler [2018-11-26 16:56:30] 889*2^1532317-1 is not prime. Res64: 5F220935E4680622 Time : 0.0 sec. user=mdettweiler [2018-11-26 16:57:00] 937*2^1532317-1 is not prime. Res64: 191D446253BC08E7 Time : 0.0 sec. user=mdettweiler [2018-11-26 16:57:00] 945*2^1532317-1 is not prime. Res64: 238EA1B2EF987496 Time : 0.0 sec. user=mdettweiler [2018-11-26 16:57:00] 671*2^1532318-1 is not prime. Res64: 6DB763CCC7CC0798 Time : 0.0 sec. user=mdettweiler [2018-11-26 16:57:01] 677*2^1532318-1 is not prime. Res64: 3B87E227F9736880 Time : 0.0 sec. user=mdettweiler [2018-11-26 16:57:01] 771*2^1532318-1 is not prime. Res64: 1AD55445FBDA011E Time : 0.0 sec. user=mdettweiler [2018-11-26 17:07:45] 843*2^1532318-1 is not prime. Res64: FD97977D442DF9C2 Time : 0.0 sec. user=mdettweiler [2018-11-26 17:07:46] 885*2^1532318-1 is not prime. Res64: 57535EEB8260FD7B Time : 0.0 sec. user=mdettweiler [2018-11-26 17:07:46] 915*2^1532318-1 is not prime. Res64: 3B9F9052FA2F1CF1 Time : 0.0 sec. user=mdettweiler [2018-11-26 17:07:47] 923*2^1532318-1 is not prime. Res64: 51AEFA576CD4DDF4 Time : 0.0 sec. user=mdettweiler [2018-11-26 17:07:48] 945*2^1532318-1 is not prime. Res64: 6045E4997D759D78 Time : 0.0 sec. user=mdettweiler [2018-11-26 17:40:20] 661*2^1532319-1 is not prime. Res64: 334B884918F904D5 Time : 0.0 sec. user=mdettweiler [2018-11-26 17:40:21] 669*2^1532319-1 is not prime. Res64: 393D5BC12FAF1CD9 Time : 0.0 sec. user=mdettweiler [2018-11-26 17:40:22] 703*2^1532319-1 is not prime. Res64: CD3BD96863821643 Time : 0.0 sec. user=mdettweiler [2018-11-26 17:40:22] 829*2^1532319-1 is not prime. Res64: 309276B5BDD14131 Time : 0.0 sec. user=mdettweiler [2018-11-26 17:40:23] 603*2^1532320-1 is not prime. Res64: 43E5AB32D381D20A Time : 0.0 sec. user=mdettweiler [2018-11-26 17:51:44] 629*2^1532320-1 is not prime. Res64: 39417B6FE319A990 Time : 0.0 sec. user=mdettweiler [2018-11-26 17:51:44] 663*2^1532320-1 is not prime. Res64: C20D83423028AAF8 Time : 0.0 sec. user=mdettweiler [2018-11-26 17:51:44] 719*2^1532320-1 is not prime. Res64: 9B657B7B2FC9A83E Time : 0.0 sec. user=mdettweiler [2018-11-26 17:51:45] 785*2^1532320-1 is not prime. Res64: 887D8B33D86E6F2A Time : 0.0 sec. user=mdettweiler [2018-11-26 17:51:45] 825*2^1532320-1 is not prime. Res64: 6C2707912AB990CF Time : 0.0 sec. user=mdettweiler [2018-11-26 17:52:29] 857*2^1532320-1 is not prime. Res64: D920D2EC4E106957 Time : 0.0 sec. user=mdettweiler [2018-11-26 17:52:30] 873*2^1532320-1 is not prime. Res64: 9E7C94A8179BE523 Time : 0.0 sec. user=mdettweiler [2018-11-26 17:52:30] 887*2^1532320-1 is not prime. Res64: F0A4EF083DAD08A4 Time : 0.0 sec. user=mdettweiler [2018-11-26 17:52:30] 957*2^1532320-1 is not prime. Res64: 035A29014CDFAA19 Time : 0.0 sec. user=mdettweiler [2018-11-26 17:52:30] 959*2^1532320-1 is not prime. Res64: 25FE6C9E405B5BCA Time : 0.0 sec. user=mdettweiler [2018-11-26 18:02:36] 989*2^1532320-1 is not prime. Res64: FE2607C775CC9E9B Time : 0.0 sec. user=mdettweiler [2018-11-26 18:02:38] 631*2^1532321-1 is not prime. Res64: 7EAED46BBF9EBD67 Time : 0.0 sec. user=mdettweiler [2018-11-26 18:02:39] 829*2^1532321-1 is not prime. Res64: 4EBB7A0B464EB1DD Time : 0.0 sec. user=mdettweiler [2018-11-26 18:02:40] 967*2^1532321-1 is not prime. Res64: 921E19C204845F35 Time : 0.0 sec. user=mdettweiler [2018-11-26 18:02:41] 611*2^1532322-1 is not prime. Res64: 3EAEE3182DEBEC96 Time : 0.0 sec. user=mdettweiler [2018-11-26 18:35:41] 657*2^1532322-1 is not prime. Res64: A45F9E0CB58E11DD Time : 0.0 sec. user=mdettweiler [2018-11-26 18:35:41] 705*2^1532322-1 is not prime. Res64: 23C960FC79F03FB0 Time : 0.0 sec. user=mdettweiler [2018-11-26 18:35:42] 735*2^1532322-1 is not prime. Res64: BA93477D0C5665CF Time : 0.0 sec. user=mdettweiler [2018-11-26 18:35:42] 747*2^1532322-1 is not prime. Res64: ADDB53EEC3591ECE Time : 0.0 sec. user=mdettweiler [2018-11-26 18:35:42] 803*2^1532322-1 is not prime. Res64: C4BB0A66DA000D40 Time : 0.0 sec. user=mdettweiler [2018-11-26 18:48:45] 673*2^1532323-1 is not prime. Res64: F19589499C8011CA Time : 0.0 sec. user=mdettweiler [2018-11-26 18:48:46] 819*2^1532323-1 is not prime. Res64: 632E77E42745FFC1 Time : 0.0 sec. user=mdettweiler [2018-11-26 18:48:46] 885*2^1532323-1 is not prime. Res64: 7A8B8844027D9ADA Time : 0.0 sec. user=mdettweiler [2018-11-26 18:48:47] 615*2^1532324-1 is not prime. Res64: 9CBB1DCB7752777C Time : 0.0 sec. user=mdettweiler [2018-11-26 18:48:48] 629*2^1532324-1 is not prime. Res64: 7E2DC0F5468390A5 Time : 0.0 sec. user=mdettweiler [2018-11-26 18:48:51] 821*2^1532322-1 is not prime. Res64: 5599DBD852BE17E5 Time : 0.0 sec. user=mdettweiler [2018-11-26 18:48:51] 903*2^1532322-1 is not prime. Res64: 3B6A5736A2BB66A3 Time : 0.0 sec. user=mdettweiler [2018-11-26 18:48:52] 977*2^1532322-1 is not prime. Res64: 09DAEBD2C88CBEC3 Time : 0.0 sec. user=mdettweiler [2018-11-26 18:48:52] 609*2^1532323-1 is not prime. Res64: BC35ADF5120E3D52 Time : 0.0 sec. user=mdettweiler [2018-11-26 18:48:54] 619*2^1532323-1 is not prime. Res64: CAB9F15D3D649E67 Time : 0.0 sec. user=mdettweiler [2018-11-26 18:58:20] 677*2^1532324-1 is not prime. Res64: CD4A6D00A22408CC Time : 0.0 sec. user=mdettweiler [2018-11-26 18:58:20] 717*2^1532324-1 is not prime. Res64: 971A26A90D1F68B4 Time : 0.0 sec. user=mdettweiler [2018-11-26 18:58:21] 743*2^1532324-1 is not prime. Res64: 047DAC6C92E5153F Time : 0.0 sec. user=mdettweiler [2018-11-26 18:58:21] 753*2^1532324-1 is not prime. Res64: 0823CD10724F4178 Time : 0.0 sec. user=mdettweiler [2018-11-26 18:58:21] 825*2^1532324-1 is not prime. Res64: FE462F00720E5095 Time : 0.0 sec. user=mdettweiler [2018-11-26 19:30:47] 855*2^1532324-1 is not prime. Res64: 0CCEF01E4D23A29D Time : 0.0 sec. user=mdettweiler [2018-11-26 19:30:48] 873*2^1532324-1 is not prime. Res64: 6AAE35B6730FBD51 Time : 0.0 sec. user=mdettweiler [2018-11-26 19:30:48] 909*2^1532324-1 is not prime. Res64: 62EB59C8C69B2EAD Time : 0.0 sec. user=mdettweiler [2018-11-26 19:30:48] 929*2^1532324-1 is not prime. Res64: 6411B1AED1754FE7 Time : 0.0 sec. user=mdettweiler [2018-11-26 19:30:48] 953*2^1532324-1 is not prime. Res64: FE57994F6E59E4AB Time : 0.0 sec. user=mdettweiler [2018-11-26 19:44:58] 975*2^1532325-1 is not prime. Res64: 787F72C269D8A5B0 Time : 0.0 sec. user=mdettweiler [2018-11-26 19:44:58] 635*2^1532326-1 is not prime. Res64: 0DD5094478FF1572 Time : 0.0 sec. user=mdettweiler [2018-11-26 19:44:59] 705*2^1532326-1 is not prime. Res64: C62F24B3324ADC6E Time : 0.0 sec. user=mdettweiler [2018-11-26 19:44:59] 717*2^1532326-1 is not prime. Res64: 37CAB9BDFE473115 Time : 0.0 sec. user=mdettweiler [2018-11-26 19:44:59] 743*2^1532326-1 is not prime. Res64: 1EF7DF9B77240C90 Time : 0.0 sec. user=mdettweiler [2018-11-26 19:51:53] 735*2^1532325-1 is not prime. Res64: 6B9F32B074E1AB4D Time : 0.0 sec. user=mdettweiler [2018-11-26 19:51:55] 751*2^1532325-1 is not prime. Res64: A7323E3FC75E89D7 Time : 0.0 sec. user=mdettweiler [2018-11-26 19:51:55] 759*2^1532325-1 is not prime. Res64: CB68B57A61C2EACC Time : 0.0 sec. user=mdettweiler [2018-11-26 19:51:56] 777*2^1532325-1 is not prime. Res64: 68BFB8742A86AF94 Time : 0.0 sec. user=mdettweiler [2018-11-26 19:51:57] 847*2^1532325-1 is not prime. Res64: B0DB4AEF8261CB62 Time : 0.0 sec. user=mdettweiler [2018-11-26 19:58:45] 813*2^1532326-1 is not prime. Res64: B9DA991592169D68 Time : 0.0 sec. user=mdettweiler [2018-11-26 19:58:46] 857*2^1532326-1 is not prime. Res64: CA9D50D55FB03A16 Time : 0.0 sec. user=mdettweiler [2018-11-26 19:58:46] 923*2^1532326-1 is not prime. Res64: 51CDB8CAB4B573D3 Time : 0.0 sec. user=mdettweiler [2018-11-26 19:58:46] 621*2^1532327-1 is not prime. Res64: 34F1B5FF3D58F069 Time : 0.0 sec. user=mdettweiler [2018-11-26 19:58:47] 841*2^1532327-1 is not prime. Res64: ADCD0BA30F6D2DDA Time : 0.0 sec. user=mdettweiler [2018-11-26 20:38:34] 625*2^1532329-1 is not prime. Res64: B64B7F834B663682 Time : 0.0 sec. user=mdettweiler [2018-11-26 20:38:35] 721*2^1532329-1 is not prime. Res64: ABE2B6DA59B526D1 Time : 0.0 sec. user=mdettweiler [2018-11-26 20:38:35] 789*2^1532329-1 is not prime. Res64: D0F797B09D53354C Time : 0.0 sec. user=mdettweiler [2018-11-26 20:38:36] 835*2^1532329-1 is not prime. Res64: 14391EEB7861D289 Time : 0.0 sec. user=mdettweiler [2018-11-26 20:38:36] 855*2^1532329-1 is not prime. Res64: 00C1CBC3F9F2B96F Time : 0.0 sec. user=mdettweiler [2018-11-26 20:44:07] 973*2^1532327-1 is not prime. Res64: A4028BD9E8EB850A Time : 0.0 sec. user=mdettweiler [2018-11-26 20:44:07] 735*2^1532328-1 is not prime. Res64: FB6F41156B1FCD90 Time : 0.0 sec. user=mdettweiler [2018-11-26 20:44:08] 753*2^1532328-1 is not prime. Res64: 23723BE84558C853 Time : 0.0 sec. user=mdettweiler [2018-11-26 20:44:08] 879*2^1532328-1 is not prime. Res64: 4990EDEF4D608265 Time : 0.0 sec. user=mdettweiler [2018-11-26 20:44:08] 601*2^1532329-1 is not prime. Res64: 9B11305D30C5945E Time : 0.0 sec. user=mdettweiler [2018-11-26 20:48:14] 939*2^1532329-1 is not prime. Res64: 89983ED9192E8EA9 Time : 0.0 sec. user=mdettweiler [2018-11-26 20:48:15] 711*2^1532330-1 is not prime. Res64: 8BA498054A411861 Time : 0.0 sec. user=mdettweiler [2018-11-26 20:48:15] 731*2^1532330-1 is not prime. Res64: E796091383B63C39 Time : 0.0 sec. user=mdettweiler [2018-11-26 20:48:16] 741*2^1532331-1 is not prime. Res64: 9B7BE30B8AEE84A1 Time : 0.0 sec. user=mdettweiler [2018-11-26 20:48:16] 775*2^1532331-1 is not prime. Res64: 3C5EFAA85D9E61C3 Time : 0.0 sec. user=mdettweiler [2018-11-26 20:52:03] 793*2^1532331-1 is not prime. Res64: 47FCA7F5F481A3F6 Time : 0.0 sec. user=mdettweiler [2018-11-26 20:52:03] 717*2^1532332-1 is not prime. Res64: 0731177B8476C732 Time : 0.0 sec. user=mdettweiler [2018-11-26 20:52:04] 833*2^1532332-1 is not prime. Res64: 6BE19EFD3FE36D5C Time : 0.0 sec. user=mdettweiler [2018-11-26 20:52:04] 863*2^1532332-1 is not prime. Res64: 51258C4BDFF2DB8E Time : 0.0 sec. user=mdettweiler [2018-11-26 20:52:04] 975*2^1532332-1 is not prime. Res64: 6A096CA35FFB3812 Time : 0.0 sec. user=mdettweiler [2018-11-26 21:35:51] 615*2^1532333-1 is not prime. Res64: E176A09A9A75968D Time : 0.0 sec. user=mdettweiler [2018-11-26 21:35:52] 649*2^1532333-1 is not prime. Res64: 109DBCE6698850AE Time : 0.0 sec. user=mdettweiler [2018-11-26 21:35:52] 669*2^1532333-1 is not prime. Res64: A7D62E8146A271A7 Time : 0.0 sec. user=mdettweiler [2018-11-26 21:35:52] 699*2^1532333-1 is not prime. Res64: DA0A4DD311FD9241 Time : 0.0 sec. user=mdettweiler [2018-11-26 21:35:53] 747*2^1532333-1 is not prime. Res64: FBC10C839D9E0DC7 Time : 0.0 sec. user=mdettweiler [2018-11-26 21:40:50] 819*2^1532333-1 is not prime. Res64: A8D6B6665B6C4A7F Time : 0.0 sec. user=mdettweiler [2018-11-26 21:40:51] 847*2^1532333-1 is not prime. Res64: EA7BF4DC06E4ABBC Time : 0.0 sec. user=mdettweiler [2018-11-26 21:40:51] 871*2^1532333-1 is not prime. Res64: FB9795A4E089994F Time : 0.0 sec. user=mdettweiler [2018-11-26 21:40:52] 885*2^1532333-1 is not prime. Res64: 880714871554F267 Time : 0.0 sec. user=mdettweiler [2018-11-26 21:40:52] 889*2^1532333-1 is not prime. Res64: 24A5BF7035717DF6 Time : 0.0 sec. user=mdettweiler [2018-11-26 21:50:38] 707*2^1532334-1 is not prime. Res64: C30B5DC3CCB8865F Time : 0.0 sec. user=mdettweiler [2018-11-26 21:50:38] 747*2^1532334-1 is not prime. Res64: D6793DD8E8036AC9 Time : 0.0 sec. user=mdettweiler [2018-11-26 21:50:38] 795*2^1532334-1 is not prime. Res64: B421F823989AA797 Time : 0.0 sec. user=mdettweiler [2018-11-26 21:50:39] 873*2^1532334-1 is not prime. Res64: 7970D65D3E72B2CB Time : 0.0 sec. user=mdettweiler [2018-11-26 21:50:39] 893*2^1532334-1 is not prime. Res64: 78742D105494698E Time : 0.0 sec. user=mdettweiler [2018-11-26 22:07:27] 941*2^1532334-1 is not prime. Res64: BED9F1660F2684C3 Time : 0.0 sec. user=mdettweiler [2018-11-26 22:07:29] 993*2^1532334-1 is not prime. Res64: 7A7E0387D67DD518 Time : 0.0 sec. user=mdettweiler [2018-11-26 22:07:31] 913*2^1532335-1 is not prime. Res64: BE4ECFEE2B7F02A0 Time : 0.0 sec. user=mdettweiler [2018-11-26 22:07:32] 939*2^1532335-1 is not prime. Res64: 2192CF0E347CFB13 Time : 0.0 sec. user=mdettweiler [2018-11-26 22:07:34] 985*2^1532335-1 is not prime. Res64: D9593C17A997B3FA Time : 0.0 sec. user=mdettweiler [2018-11-26 22:44:58] 633*2^1532336-1 is not prime. Res64: CE9D2579E651EA25 Time : 0.0 sec. user=mdettweiler [2018-11-26 22:44:59] 635*2^1532336-1 is not prime. Res64: 6FBE609509C1BF85 Time : 0.0 sec. user=mdettweiler [2018-11-26 22:45:00] 869*2^1532336-1 is not prime. Res64: 8FB8E384C2D927B6 Time : 0.0 sec. user=mdettweiler [2018-11-26 22:45:01] 935*2^1532336-1 is not prime. Res64: EFF0CE3371E1ABD3 Time : 0.0 sec. user=mdettweiler [2018-11-26 22:45:03] 607*2^1532337-1 is not prime. Res64: A39D9F9427406481 Time : 0.0 sec. user=mdettweiler [2018-11-26 22:51:48] 695*2^1532338-1 is not prime. Res64: F810FD43CCA7DA77 Time : 0.0 sec. user=mdettweiler [2018-11-26 22:51:48] 765*2^1532338-1 is not prime. Res64: E44165BF8CA59CB9 Time : 0.0 sec. user=mdettweiler [2018-11-26 22:51:49] 663*2^1532339-1 is not prime. Res64: 930441FB832406BA Time : 0.0 sec. user=mdettweiler [2018-11-26 22:51:49] 841*2^1532339-1 is not prime. Res64: C7278BE6C154501F Time : 0.0 sec. user=mdettweiler [2018-11-26 22:51:49] 885*2^1532339-1 is not prime. Res64: B361CDF41677C908 Time : 0.0 sec. user=mdettweiler [2018-11-26 23:11:52] 649*2^1532337-1 is not prime. Res64: 3C551566887070B0 Time : 0.0 sec. user=mdettweiler [2018-11-26 23:11:56] 669*2^1532337-1 is not prime. Res64: D5E239A1F63E1467 Time : 0.0 sec. user=mdettweiler [2018-11-26 23:11:59] 955*2^1532337-1 is not prime. Res64: FE19EFDBE5A44FB3 Time : 0.0 sec. user=mdettweiler [2018-11-26 23:12:00] 997*2^1532337-1 is not prime. Res64: 1D0B718369250F72 Time : 0.0 sec. user=mdettweiler [2018-11-26 23:12:01] 621*2^1532338-1 is not prime. Res64: 1C8A8EA103EC6E5C Time : 0.0 sec. user=mdettweiler [2018-11-26 23:16:55] 903*2^1532339-1 is not prime. Res64: EC464AFAB71E7545 Time : 0.0 sec. user=mdettweiler [2018-11-26 23:16:56] 973*2^1532339-1 is not prime. Res64: B49501444D689C30 Time : 0.0 sec. user=mdettweiler [2018-11-26 23:16:57] 623*2^1532340-1 is not prime. Res64: 7BC2FB627AF61D62 Time : 0.0 sec. user=mdettweiler [2018-11-26 23:16:57] 737*2^1532340-1 is not prime. Res64: E9B7FC02F8A75BC3 Time : 0.0 sec. user=mdettweiler [2018-11-26 23:16:58] 765*2^1532340-1 is not prime. Res64: F9B56EC33447D94B Time : 0.0 sec.