user=mdettweiler [2020-07-26 00:05:51] 865*2^1563845-1 is not prime. Res64: 9C32A23B6EF8E8B0 Time : 0.0 sec. user=mdettweiler [2020-07-26 00:05:54] 885*2^1563845-1 is not prime. Res64: DA828FBADBB3AA99 Time : 0.0 sec. user=mdettweiler [2020-07-26 00:05:56] 969*2^1563845-1 is not prime. Res64: E31867114FC8E659 Time : 0.0 sec. user=mdettweiler [2020-07-26 00:05:58] 755*2^1563846-1 is not prime. Res64: BB4BFE24BD3E425C Time : 0.0 sec. user=mdettweiler [2020-07-26 00:05:59] 881*2^1563846-1 is not prime. Res64: A0B2A5990BEFD52B Time : 0.0 sec. user=mdettweiler [2020-07-26 00:14:43] 921*2^1563846-1 is not prime. Res64: EA43BFB445F2AF3F Time : 0.0 sec. user=mdettweiler [2020-07-26 00:14:44] 675*2^1563847-1 is not prime. Res64: 46E87724419DE84B Time : 0.0 sec. user=mdettweiler [2020-07-26 00:14:45] 873*2^1563847-1 is not prime. Res64: 061F4FA5AA849FE2 Time : 0.0 sec. user=mdettweiler [2020-07-26 00:14:45] 975*2^1563847-1 is not prime. Res64: 3DB065E21D5778EF Time : 0.0 sec. user=mdettweiler [2020-07-26 00:14:46] 993*2^1563847-1 is not prime. Res64: 2E85E7069C577A9F Time : 0.0 sec. user=mdettweiler [2020-07-26 00:42:43] 999*2^1563847-1 is not prime. Res64: B358F05F6BA7A93A Time : 0.0 sec. user=mdettweiler [2020-07-26 00:42:44] 753*2^1563848-1 is not prime. Res64: BDA0A83B39BAB4D5 Time : 0.0 sec. user=mdettweiler [2020-07-26 00:42:44] 869*2^1563848-1 is not prime. Res64: DDEA90E7904CFB23 Time : 0.0 sec. user=mdettweiler [2020-07-26 00:42:45] 899*2^1563848-1 is not prime. Res64: F4AC4A9BEBD9A3CA Time : 0.0 sec. user=mdettweiler [2020-07-26 00:42:45] 927*2^1563848-1 is not prime. Res64: 7C3B268E4B379939 Time : 0.0 sec. user=mdettweiler [2020-07-26 00:59:37] 637*2^1563849-1 is not prime. Res64: 52A9151565EFDA5A Time : 0.0 sec. user=mdettweiler [2020-07-26 00:59:38] 745*2^1563849-1 is not prime. Res64: 5FA8EA53AB7EFB4D Time : 0.0 sec. user=mdettweiler [2020-07-26 00:59:39] 895*2^1563849-1 is not prime. Res64: 301E4DFA275829E7 Time : 0.0 sec. user=mdettweiler [2020-07-26 00:59:40] 603*2^1563850-1 is not prime. Res64: 5241A948CCCD3AC5 Time : 0.0 sec. user=mdettweiler [2020-07-26 00:59:41] 675*2^1563850-1 is not prime. Res64: F21966A375732B09 Time : 0.0 sec. user=mdettweiler [2020-07-26 01:09:17] 791*2^1563850-1 is not prime. Res64: 380E64AA485FF97D Time : 0.0 sec. user=mdettweiler [2020-07-26 01:09:21] 619*2^1563851-1 is not prime. Res64: 4FE8575BB5B77A49 Time : 0.0 sec. user=mdettweiler [2020-07-26 01:09:24] 645*2^1563851-1 is not prime. Res64: 94C0E2B42C920541 Time : 0.0 sec. user=mdettweiler [2020-07-26 01:09:27] 819*2^1563851-1 is not prime. Res64: 254283D5FA64C190 Time : 0.0 sec. user=mdettweiler [2020-07-26 01:09:29] 885*2^1563851-1 is not prime. Res64: 2957461F8B5DDBBE Time : 0.0 sec. user=mdettweiler [2020-07-26 01:38:39] 889*2^1563851-1 is not prime. Res64: B1C1153497747F70 Time : 0.0 sec. user=mdettweiler [2020-07-26 01:38:40] 609*2^1563852-1 is not prime. Res64: 155B1E822F1659D1 Time : 0.0 sec. user=mdettweiler [2020-07-26 01:38:42] 765*2^1563852-1 is not prime. Res64: 41E58E0C59C7B6EB Time : 0.0 sec. user=mdettweiler [2020-07-26 01:38:44] 819*2^1563852-1 is not prime. Res64: DBE619C13B6F586E Time : 0.0 sec. user=mdettweiler [2020-07-26 01:38:45] 923*2^1563852-1 is not prime. Res64: 3B0544474B69FBC1 Time : 0.0 sec. user=mdettweiler [2020-07-26 01:54:48] 681*2^1563853-1 is not prime. Res64: C064F6589C037985 Time : 0.0 sec. user=mdettweiler [2020-07-26 01:54:51] 715*2^1563853-1 is not prime. Res64: 8D89BA5AEE2EBC59 Time : 0.0 sec. user=mdettweiler [2020-07-26 01:54:52] 751*2^1563853-1 is not prime. Res64: 223AAB3472E78ADF Time : 0.0 sec. user=mdettweiler [2020-07-26 01:54:53] 867*2^1563853-1 is not prime. Res64: 5287B0DCEEFF7647 Time : 0.0 sec. user=mdettweiler [2020-07-26 01:54:55] 901*2^1563853-1 is not prime. Res64: 286C8F01C6D0A3F8 Time : 0.0 sec. user=mdettweiler [2020-07-26 02:05:46] 957*2^1563853-1 is not prime. Res64: A8DF2800FAAC248A Time : 0.0 sec. user=mdettweiler [2020-07-26 02:05:56] 979*2^1563853-1 is not prime. Res64: D0AF865EFDB17321 Time : 0.0 sec. user=mdettweiler [2020-07-26 02:33:54] 953*2^1563854-1 is not prime. Res64: 222F589654D53A4C Time : 0.0 sec. user=mdettweiler [2020-07-26 02:49:52] 781*2^1563855-1 is not prime. Res64: 59D3D12D7F804382 Time : 0.0 sec. user=mdettweiler [2020-07-26 02:49:52] 861*2^1563855-1 is not prime. Res64: 948900BF9E031482 Time : 0.0 sec. user=mdettweiler [2020-07-26 02:49:53] 871*2^1563855-1 is not prime. Res64: 6146805C0CD8D768 Time : 0.0 sec. user=mdettweiler [2020-07-26 02:49:53] 623*2^1563856-1 is not prime. Res64: D74A4CE57DF2309E Time : 0.0 sec. user=mdettweiler [2020-07-26 02:49:54] 663*2^1563856-1 is not prime. Res64: C99560566A987E97 Time : 0.0 sec. user=mdettweiler [2020-07-26 03:49:00] 833*2^1563856-1 is not prime. Res64: 1E429492F1F849EB Time : 0.0 sec. user=mdettweiler [2020-07-26 03:49:02] 869*2^1563856-1 is not prime. Res64: 485131FAB962FE6C Time : 0.0 sec. user=mdettweiler [2020-07-26 03:49:03] 873*2^1563856-1 is not prime. Res64: C63A829EA227C405 Time : 0.0 sec. user=mdettweiler [2020-07-26 03:49:04] 903*2^1563856-1 is not prime. Res64: C563222059E8781A Time : 0.0 sec. user=mdettweiler [2020-07-26 03:49:06] 923*2^1563856-1 is not prime. Res64: 6BAB9E0C46DD09D8 Time : 0.0 sec. user=mdettweiler [2020-07-26 04:46:14] 969*2^1563856-1 is not prime. Res64: E5658FADF7337F4C Time : 0.0 sec. user=mdettweiler [2020-07-26 04:46:14] 669*2^1563857-1 is not prime. Res64: 2D07463AA15C8F24 Time : 0.0 sec. user=mdettweiler [2020-07-26 04:46:15] 675*2^1563857-1 is not prime. Res64: 357E990C86725640 Time : 0.0 sec. user=mdettweiler [2020-07-26 04:46:15] 915*2^1563857-1 is not prime. Res64: B12BE6FEEC71E295 Time : 0.0 sec. user=mdettweiler [2020-07-26 04:46:16] 957*2^1563857-1 is not prime. Res64: 3A16E0093FB3C985 Time : 0.0 sec. user=mdettweiler [2020-07-26 05:41:37] 657*2^1563858-1 is not prime. Res64: 762ECECCBBED5180 Time : 0.0 sec. user=mdettweiler [2020-07-26 05:41:37] 713*2^1563858-1 is not prime. Res64: 16277D86F512F7C4 Time : 0.0 sec. user=mdettweiler [2020-07-26 05:41:38] 777*2^1563858-1 is not prime. Res64: 23F03991FB7C7C00 Time : 0.0 sec. user=mdettweiler [2020-07-26 05:41:39] 821*2^1563858-1 is not prime. Res64: 3EDCB9158C5AD579 Time : 0.0 sec. user=mdettweiler [2020-07-26 05:41:39] 941*2^1563858-1 is not prime. Res64: FDCB407AB0921C07 Time : 0.0 sec. user=mdettweiler [2020-07-26 06:38:26] 769*2^1563859-1 is not prime. Res64: BA41C708D007515F Time : 0.0 sec. user=mdettweiler [2020-07-26 06:38:27] 771*2^1563859-1 is not prime. Res64: B296BB3F56AC619A Time : 0.0 sec. user=mdettweiler [2020-07-26 06:38:27] 811*2^1563859-1 is not prime. Res64: B50AFFD9178A4747 Time : 0.0 sec. user=mdettweiler [2020-07-26 06:38:28] 853*2^1563859-1 is not prime. Res64: 51A1740D97B7DC0F Time : 0.0 sec. user=mdettweiler [2020-07-26 06:38:29] 859*2^1563859-1 is not prime. Res64: A543BAD56CF73A15 Time : 0.0 sec. user=mdettweiler [2020-07-26 07:05:41] 635*2^1563854-1 is not prime. Res64: D89F0097F4BC317E Time : 0.0 sec. user=mdettweiler [2020-07-26 07:05:43] 755*2^1563854-1 is not prime. Res64: 1ED022BA76B50C26 Time : 0.0 sec. user=mdettweiler [2020-07-26 07:05:47] 897*2^1563854-1 is not prime. Res64: 34976EE2AB68A207 Time : 0.0 sec. user=mdettweiler [2020-07-26 07:34:26] 883*2^1563859-1 is not prime. Res64: BF20CEE8DC4883D2 Time : 0.0 sec. user=mdettweiler [2020-07-26 07:34:26] 931*2^1563859-1 is not prime. Res64: ECD6AA94E3F556B9 Time : 0.0 sec. user=mdettweiler [2020-07-26 07:34:27] 975*2^1563859-1 is not prime. Res64: 7C805E529E7777CB Time : 0.0 sec. user=mdettweiler [2020-07-26 07:34:28] 635*2^1563860-1 is not prime. Res64: A2BCD004D21C8E19 Time : 0.0 sec. user=mdettweiler [2020-07-26 07:34:28] 665*2^1563860-1 is not prime. Res64: 533C88FE54E1C60E Time : 0.0 sec. user=mdettweiler [2020-07-26 07:43:40] 971*2^1563854-1 is not prime. Res64: 0F194494E3F1F62C Time : 0.0 sec. user=mdettweiler [2020-07-26 07:43:41] 643*2^1563855-1 is not prime. Res64: 88C7FE926A569770 Time : 0.0 sec. user=mdettweiler [2020-07-26 07:43:42] 691*2^1563855-1 is not prime. Res64: 7AE0186D8E9AD46F Time : 0.0 sec. user=mdettweiler [2020-07-26 07:43:43] 765*2^1563855-1 is not prime. Res64: B8A44DD1344098B1 Time : 0.0 sec. user=mdettweiler [2020-07-26 08:02:29] 699*2^1563860-1 is not prime. Res64: 2994327DA5319E98 Time : 0.0 sec. user=mdettweiler [2020-07-26 08:02:32] 719*2^1563860-1 is not prime. Res64: EA90A3FC7A95B80A Time : 0.0 sec. user=mdettweiler [2020-07-26 08:02:34] 795*2^1563860-1 is not prime. Res64: EF6A6F8925095DFD Time : 0.0 sec. user=mdettweiler [2020-07-26 08:02:36] 797*2^1563860-1 is not prime. Res64: E3FFE0BB3C513710 Time : 0.0 sec. user=mdettweiler [2020-07-26 08:02:38] 923*2^1563860-1 is not prime. Res64: 180C91A18B234FF1 Time : 0.0 sec. user=mdettweiler [2020-07-26 08:30:34] 987*2^1563860-1 is not prime. Res64: 9A71ABAB72CA60E3 Time : 0.0 sec. user=mdettweiler [2020-07-26 08:30:35] 995*2^1563860-1 is not prime. Res64: 3F34FA76524E3F3F Time : 0.0 sec. user=mdettweiler [2020-07-26 08:30:35] 675*2^1563861-1 is not prime. Res64: D68CDA1A7042F908 Time : 0.0 sec. user=mdettweiler [2020-07-26 08:30:36] 781*2^1563861-1 is not prime. Res64: 99B8137F2CB8D7FB Time : 0.0 sec. user=mdettweiler [2020-07-26 08:30:37] 825*2^1563861-1 is not prime. Res64: 50BAB4CCEEFEE23A Time : 0.0 sec. user=mdettweiler [2020-07-26 08:36:48] 859*2^1563861-1 is not prime. Res64: 14FBE01964A8E931 Time : 0.0 sec. user=mdettweiler [2020-07-26 08:36:49] 603*2^1563862-1 is not prime. Res64: E1A51290627C7C53 Time : 0.0 sec. user=mdettweiler [2020-07-26 08:36:50] 635*2^1563862-1 is not prime. Res64: 2ABDCA99F83BCC01 Time : 0.0 sec. user=mdettweiler [2020-07-26 08:36:50] 657*2^1563862-1 is not prime. Res64: 79BF49CDCD32559B Time : 0.0 sec. user=mdettweiler [2020-07-26 08:36:51] 705*2^1563862-1 is not prime. Res64: CE1E391E81AAE284 Time : 0.0 sec. user=mdettweiler [2020-07-26 09:29:50] 983*2^1563862-1 is not prime. Res64: E68AA91CAF85088B Time : 0.0 sec. user=mdettweiler [2020-07-26 09:29:52] 633*2^1563863-1 is not prime. Res64: F32F49477CF94B7E Time : 0.0 sec. user=mdettweiler [2020-07-26 09:29:52] 705*2^1563863-1 is not prime. Res64: 021129C979D7A5C2 Time : 0.0 sec. user=mdettweiler [2020-07-26 09:29:53] 675*2^1563864-1 is not prime. Res64: BF5C3BE1887F4CDE Time : 0.0 sec. user=mdettweiler [2020-07-26 09:29:54] 707*2^1563864-1 is not prime. Res64: 7D104BFB93B465FA Time : 0.0 sec. user=mdettweiler [2020-07-26 09:45:15] 723*2^1563864-1 is not prime. Res64: 7DAF35887B29F90C Time : 0.0 sec. user=mdettweiler [2020-07-26 09:45:16] 843*2^1563864-1 is not prime. Res64: 1552B54E74BC066C Time : 0.0 sec. user=mdettweiler [2020-07-26 09:45:16] 849*2^1563864-1 is not prime. Res64: 7F31E6CB61BECADC Time : 0.0 sec. user=mdettweiler [2020-07-26 09:45:17] 887*2^1563864-1 is not prime. Res64: F84DE5215AFDF456 Time : 0.0 sec. user=mdettweiler [2020-07-26 09:45:18] 899*2^1563864-1 is not prime. Res64: 26143DD5ACBC2D80 Time : 0.0 sec. user=mdettweiler [2020-07-26 10:24:16] 959*2^1563864-1 is not prime. Res64: 78923A587F52C93E Time : 0.0 sec. user=mdettweiler [2020-07-26 10:24:17] 625*2^1563865-1 is not prime. Res64: 71CAF6353C0B59CE Time : 0.0 sec. user=mdettweiler [2020-07-26 10:24:17] 651*2^1563865-1 is not prime. Res64: E481828D2B7A6955 Time : 0.0 sec. user=mdettweiler [2020-07-26 10:24:18] 717*2^1563865-1 is not prime. Res64: 9A65343A9F704A72 Time : 0.0 sec. user=mdettweiler [2020-07-26 10:24:19] 721*2^1563865-1 is not prime. Res64: 40E4CA656C7B32CB Time : 0.0 sec. user=mdettweiler [2020-07-26 10:41:09] 777*2^1563865-1 is not prime. Res64: CA5B76F6CC627BEE Time : 0.0 sec. user=mdettweiler [2020-07-26 10:41:10] 841*2^1563865-1 is not prime. Res64: EE8F2F913C9C4EA0 Time : 0.0 sec. user=mdettweiler [2020-07-26 10:41:10] 981*2^1563865-1 is not prime. Res64: B8F1841EACD692E6 Time : 0.0 sec. user=mdettweiler [2020-07-26 10:41:11] 773*2^1563866-1 is not prime. Res64: 78E41EE798B340BE Time : 0.0 sec. user=mdettweiler [2020-07-26 10:41:12] 785*2^1563866-1 is not prime. Res64: 0F6B4F4C1969D5E6 Time : 0.0 sec. user=mdettweiler [2020-07-26 11:22:43] 831*2^1563866-1 is not prime. Res64: 950ABF5E58D5A8C4 Time : 0.0 sec. user=mdettweiler [2020-07-26 11:22:43] 873*2^1563866-1 is not prime. Res64: FE76B181309EC4EF Time : 0.0 sec. user=mdettweiler [2020-07-26 11:22:44] 917*2^1563866-1 is not prime. Res64: EAA638640300C38C Time : 0.0 sec. user=mdettweiler [2020-07-26 11:22:45] 923*2^1563866-1 is not prime. Res64: 8CF0675AA7D06D56 Time : 0.0 sec. user=mdettweiler [2020-07-26 11:22:46] 971*2^1563866-1 is not prime. Res64: 3DE46BF44FB3B02B Time : 0.0 sec. user=mdettweiler [2020-07-26 11:34:57] 699*2^1563867-1 is not prime. Res64: B5458772B3E8F1C2 Time : 0.0 sec. user=mdettweiler [2020-07-26 11:34:57] 711*2^1563867-1 is not prime. Res64: 13E9B94FD488F0CE Time : 0.0 sec. user=mdettweiler [2020-07-26 11:34:58] 735*2^1563867-1 is not prime. Res64: 16B6E150160DCA23 Time : 0.0 sec. user=mdettweiler [2020-07-26 11:34:58] 979*2^1563867-1 is not prime. Res64: 0578DDEB2C33412A Time : 0.0 sec. user=mdettweiler [2020-07-26 11:34:59] 755*2^1563868-1 is not prime. Res64: C39B7F068712D320 Time : 0.0 sec. user=mdettweiler [2020-07-26 12:19:43] 777*2^1563868-1 is not prime. Res64: FAFF8C61ECAE46BF Time : 0.0 sec. user=mdettweiler [2020-07-26 12:19:44] 797*2^1563868-1 is not prime. Res64: 74E27730D7565AAA Time : 0.0 sec. user=mdettweiler [2020-07-26 12:19:45] 887*2^1563868-1 is not prime. Res64: 7DAAC915181CAB2C Time : 0.0 sec. user=mdettweiler [2020-07-26 12:19:45] 975*2^1563868-1 is not prime. Res64: 75C40BB304F7F624 Time : 0.0 sec. user=mdettweiler [2020-07-26 12:19:46] 989*2^1563868-1 is not prime. Res64: 9A42C6B7468DB52A Time : 0.0 sec. user=mdettweiler [2020-07-26 12:29:27] 995*2^1563868-1 is not prime. Res64: 6A7B37A37E3FD0B2 Time : 0.0 sec. user=mdettweiler [2020-07-26 12:29:28] 627*2^1563869-1 is not prime. Res64: 39AEA384B6E947BE Time : 0.0 sec. user=mdettweiler [2020-07-26 12:29:30] 711*2^1563869-1 is not prime. Res64: 38C69FE93CE0F095 Time : 0.0 sec. user=mdettweiler [2020-07-26 12:29:31] 771*2^1563869-1 is not prime. Res64: 4E292B1F08B2A423 Time : 0.0 sec. user=mdettweiler [2020-07-26 12:29:33] 861*2^1563869-1 is not prime. Res64: 87DB1A99DB4F8B1B Time : 0.0 sec. user=mdettweiler [2020-07-26 13:16:45] 867*2^1563869-1 is not prime. Res64: 7BCED62F05225DE7 Time : 0.0 sec. user=mdettweiler [2020-07-26 13:16:46] 889*2^1563869-1 is not prime. Res64: 6CEAB680E8F732D1 Time : 0.0 sec. user=mdettweiler [2020-07-26 13:16:47] 957*2^1563869-1 is not prime. Res64: 2052A7A7D8A7F08B Time : 0.0 sec. user=mdettweiler [2020-07-26 13:16:48] 765*2^1563870-1 is not prime. Res64: 48618057525E7A97 Time : 0.0 sec. user=mdettweiler [2020-07-26 13:16:49] 801*2^1563870-1 is not prime. Res64: 3F2192ADA91F72BA Time : 0.0 sec. user=mdettweiler [2020-07-26 13:24:06] 963*2^1563870-1 is not prime. Res64: 3E04E04FD6B1FB36 Time : 0.0 sec. user=mdettweiler [2020-07-26 13:24:07] 1001*2^1563870-1 is not prime. Res64: CD226E44B922030C Time : 0.0 sec. user=mdettweiler [2020-07-26 13:24:08] 615*2^1563871-1 is not prime. Res64: B260F2B51AD0247E Time : 0.0 sec. user=mdettweiler [2020-07-26 13:24:09] 759*2^1563871-1 is not prime. Res64: D8C8A92169C69842 Time : 0.0 sec. user=mdettweiler [2020-07-26 13:24:09] 763*2^1563871-1 is not prime. Res64: BE46D9741C0C0D52 Time : 0.0 sec. user=mdettweiler [2020-07-26 14:11:17] 789*2^1563871-1 is not prime. Res64: BF40BA195EC509F8 Time : 0.0 sec. user=mdettweiler [2020-07-26 14:11:18] 819*2^1563871-1 is not prime. Res64: C10B65866B4E0DB7 Time : 0.0 sec. user=mdettweiler [2020-07-26 14:11:19] 951*2^1563871-1 is not prime. Res64: D6C239657B7D9371 Time : 0.0 sec. user=mdettweiler [2020-07-26 14:11:19] 617*2^1563872-1 is not prime. Res64: 8FF1887B9F169385 Time : 0.0 sec. user=mdettweiler [2020-07-26 14:11:20] 669*2^1563872-1 is not prime. Res64: 5662EB2C954F6E65 Time : 0.0 sec. user=mdettweiler [2020-07-26 14:18:42] 999*2^1563872-1 is not prime. Res64: 6CE03C170A0172C3 Time : 0.0 sec. user=mdettweiler [2020-07-26 14:18:42] 607*2^1563873-1 is not prime. Res64: 732EEA4ABBBB783F Time : 0.0 sec. user=mdettweiler [2020-07-26 14:18:43] 705*2^1563873-1 is not prime. Res64: 40ED183036B1C1EF Time : 0.0 sec. user=mdettweiler [2020-07-26 14:18:44] 721*2^1563873-1 is not prime. Res64: BBF5D3046CACB9E5 Time : 0.0 sec. user=mdettweiler [2020-07-26 14:18:45] 817*2^1563873-1 is not prime. Res64: ADF41EC68F2F2531 Time : 0.0 sec. user=mdettweiler [2020-07-26 15:08:03] 849*2^1563873-1 is not prime. Res64: EE76AA64A718B2A6 Time : 0.0 sec. user=mdettweiler [2020-07-26 15:08:07] 871*2^1563873-1 is not prime. Res64: B30957748F3F8ACA Time : 0.0 sec. user=mdettweiler [2020-07-26 15:08:10] 919*2^1563873-1 is not prime. Res64: 6B7DBCFE187634AF Time : 0.0 sec. user=mdettweiler [2020-07-26 15:08:13] 985*2^1563873-1 is not prime. Res64: 4069DCFA12C1EDD8 Time : 0.0 sec. user=mdettweiler [2020-07-26 15:08:16] 665*2^1563874-1 is not prime. Res64: B66CCE540826A4F4 Time : 0.0 sec. user=mdettweiler [2020-07-26 15:11:53] 731*2^1563874-1 is not prime. Res64: 4F303512188307FF Time : 0.0 sec. user=mdettweiler [2020-07-26 15:11:57] 785*2^1563874-1 is not prime. Res64: 7E237B7DBDCC168E Time : 0.0 sec. user=mdettweiler [2020-07-26 15:12:01] 957*2^1563874-1 is not prime. Res64: 0EDD7B7D2FD93F8B Time : 0.0 sec. user=mdettweiler [2020-07-26 15:12:05] 649*2^1563875-1 is not prime. Res64: E11FB7B23AC7CDDE Time : 0.0 sec. user=mdettweiler [2020-07-26 15:12:09] 663*2^1563875-1 is not prime. Res64: F75C0899D45FAAF0 Time : 0.0 sec. user=mdettweiler [2020-07-26 16:02:13] 733*2^1563875-1 is not prime. Res64: D5C5FB665C67DC2C Time : 0.0 sec. user=mdettweiler [2020-07-26 16:02:17] 771*2^1563875-1 is not prime. Res64: C040662B9D167C7E Time : 0.0 sec. user=mdettweiler [2020-07-26 16:02:22] 859*2^1563875-1 is not prime. Res64: 52D2158EB9C7DFD2 Time : 0.0 sec. user=mdettweiler [2020-07-26 16:02:25] 615*2^1563876-1 is not prime. Res64: 152276C8B0DD49E3 Time : 0.0 sec. user=mdettweiler [2020-07-26 16:02:28] 695*2^1563876-1 is not prime. Res64: 78DFF360F694A9CF Time : 0.0 sec. user=mdettweiler [2020-07-26 16:08:19] 645*2^1563877-1 is not prime. Res64: E2202245B77C1C4A Time : 0.0 sec. user=mdettweiler [2020-07-26 16:08:23] 777*2^1563877-1 is not prime. Res64: D64292C61BDF13BC Time : 0.0 sec. user=mdettweiler [2020-07-26 16:08:25] 799*2^1563877-1 is not prime. Res64: 82E3AC8CDD2E8EA1 Time : 0.0 sec. user=mdettweiler [2020-07-26 16:08:27] 825*2^1563877-1 is not prime. Res64: FD37615D500D3E01 Time : 0.0 sec. user=mdettweiler [2020-07-26 16:08:30] 897*2^1563877-1 is not prime. Res64: 3D27EE23261C1700 Time : 0.0 sec. user=mdettweiler [2020-07-26 16:57:08] 931*2^1563877-1 is not prime. Res64: 0FE85BC788B62E91 Time : 0.0 sec. user=mdettweiler [2020-07-26 16:57:09] 957*2^1563877-1 is not prime. Res64: 56EBD0614A3585AD Time : 0.0 sec. user=mdettweiler [2020-07-26 16:57:10] 605*2^1563878-1 is not prime. Res64: C50F19F168BBC754 Time : 0.0 sec. user=mdettweiler [2020-07-26 16:57:10] 635*2^1563878-1 is not prime. Res64: 50CDE6E3AA4567AE Time : 0.0 sec. user=mdettweiler [2020-07-26 16:57:11] 693*2^1563878-1 is not prime. Res64: 1474E12AC1A1CC20 Time : 0.0 sec. user=mdettweiler [2020-07-26 17:04:46] 705*2^1563878-1 is not prime. Res64: D508C5991DD555FF Time : 0.0 sec. user=mdettweiler [2020-07-26 17:04:48] 771*2^1563878-1 is not prime. Res64: D6AEEC1686A939B8 Time : 0.0 sec. user=mdettweiler [2020-07-26 17:04:50] 815*2^1563878-1 is not prime. Res64: FFA45589383B57D2 Time : 0.0 sec. user=mdettweiler [2020-07-26 17:04:52] 887*2^1563878-1 is not prime. Res64: 27E8BF3CA5DD3244 Time : 0.0 sec. user=mdettweiler [2020-07-26 17:04:53] 893*2^1563878-1 is not prime. Res64: 693C3EDFB1E8F88E Time : 0.0 sec. user=mdettweiler [2020-07-26 17:51:58] 915*2^1563878-1 is not prime. Res64: AEE31A7416E325DF Time : 0.0 sec. user=mdettweiler [2020-07-26 17:51:59] 923*2^1563878-1 is not prime. Res64: 45CE4DD9BC924E71 Time : 0.0 sec. user=mdettweiler [2020-07-26 17:52:00] 691*2^1563879-1 is not prime. Res64: D01E21346648A7D9 Time : 0.0 sec. user=mdettweiler [2020-07-26 17:52:00] 703*2^1563879-1 is not prime. Res64: 9E68213E5847DDC6 Time : 0.0 sec. user=mdettweiler [2020-07-26 17:52:01] 705*2^1563879-1 is not prime. Res64: 7240FD8568BB77F9 Time : 0.0 sec. user=mdettweiler [2020-07-26 18:00:32] 745*2^1563879-1 is not prime. Res64: 1CCF7A35FAA65A6F Time : 0.0 sec. user=mdettweiler [2020-07-26 18:00:35] 853*2^1563879-1 is not prime. Res64: 950ECB84FFC3E14E Time : 0.0 sec. user=mdettweiler [2020-07-26 18:00:37] 951*2^1563879-1 is not prime. Res64: 8C180B997E690D9A Time : 0.0 sec. user=mdettweiler [2020-07-26 18:00:39] 615*2^1563880-1 is not prime. Res64: 0ABAD4ECBA105161 Time : 0.0 sec. user=mdettweiler [2020-07-26 18:00:40] 927*2^1563880-1 is not prime. Res64: 378F3290B5F7F991 Time : 0.0 sec. user=mdettweiler [2020-07-26 18:45:48] 631*2^1563881-1 is not prime. Res64: EDC2D8B4A7BDB43A Time : 0.0 sec. user=mdettweiler [2020-07-26 18:45:49] 717*2^1563881-1 is not prime. Res64: 56B56FDCFFB2874B Time : 0.0 sec. user=mdettweiler [2020-07-26 18:45:50] 925*2^1563881-1 is not prime. Res64: 91A1AC377FB9943C Time : 0.0 sec. user=mdettweiler [2020-07-26 18:45:50] 615*2^1563882-1 is not prime. Res64: D740FD5D04DBD558 Time : 0.0 sec. user=mdettweiler [2020-07-26 18:45:51] 731*2^1563882-1 is not prime. Res64: 88F9498F01CD6632 Time : 0.0 sec. user=mdettweiler [2020-07-26 18:58:08] 837*2^1563882-1 is not prime. Res64: B7DBE70B758B9861 Time : 0.0 sec. user=mdettweiler [2020-07-26 18:58:09] 873*2^1563882-1 is not prime. Res64: 8053B8E1EB5EF871 Time : 0.0 sec. user=mdettweiler [2020-07-26 18:58:10] 941*2^1563882-1 is not prime. Res64: 2A1ACFD228657E77 Time : 0.0 sec. user=mdettweiler [2020-07-26 18:58:10] 945*2^1563882-1 is not prime. Res64: 10AD69427704B2B8 Time : 0.0 sec. user=mdettweiler [2020-07-26 18:58:11] 625*2^1563883-1 is not prime. Res64: 18B2A7B2A670B3DF Time : 0.0 sec. user=hwt [2020-07-26 19:38:47] 619*2^1563843-1 is not prime. Res64: EE55B925F7BCA5F0 Time : 0.0 sec. user=hwt [2020-07-26 19:38:48] 685*2^1563883-1 is not prime. Res64: 5613D89005175903 Time : 0.0 sec. user=mdettweiler [2020-07-26 19:39:50] 723*2^1563883-1 is not prime. Res64: B4C7B6CC5814DA29 Time : 0.0 sec. user=mdettweiler [2020-07-26 19:39:50] 751*2^1563883-1 is not prime. Res64: A4A20D53FE44B339 Time : 0.0 sec. user=mdettweiler [2020-07-26 19:39:51] 771*2^1563883-1 is not prime. Res64: 86D1DD7B5F34105D Time : 0.0 sec. user=mdettweiler [2020-07-26 19:39:52] 783*2^1563883-1 is not prime. Res64: B60C824E51566EC2 Time : 0.0 sec. user=mdettweiler [2020-07-26 19:39:53] 855*2^1563883-1 is not prime. Res64: 5EF9F0AE89073D1C Time : 0.0 sec. user=mdettweiler [2020-07-26 19:52:46] 609*2^1563884-1 is not prime. Res64: 8B2F838D4F87C3FA Time : 0.0 sec. user=mdettweiler [2020-07-26 19:52:46] 665*2^1563884-1 is not prime. Res64: 6A3D7192ABD45B35 Time : 0.0 sec. user=mdettweiler [2020-07-26 19:52:47] 675*2^1563884-1 is not prime. Res64: 3A5FF2A2838D4C76 Time : 0.0 sec. user=mdettweiler [2020-07-26 19:52:48] 825*2^1563884-1 is not prime. Res64: 21CBB023DC8AD1CC Time : 0.0 sec. user=mdettweiler [2020-07-26 19:52:48] 945*2^1563884-1 is not prime. Res64: 8A627ABDCD3E8899 Time : 0.0 sec. user=mdettweiler [2020-07-26 20:33:23] 957*2^1563884-1 is not prime. Res64: 03EDA8C585D62940 Time : 0.0 sec. user=mdettweiler [2020-07-26 20:33:23] 601*2^1563885-1 is not prime. Res64: DBADC86331DBF2D0 Time : 0.0 sec. user=mdettweiler [2020-07-26 20:33:24] 675*2^1563885-1 is not prime. Res64: 4D47C53ED3834879 Time : 0.0 sec. user=mdettweiler [2020-07-26 20:33:25] 679*2^1563885-1 is not prime. Res64: 09769862919E0657 Time : 0.0 sec. user=mdettweiler [2020-07-26 20:33:26] 685*2^1563885-1 is not prime. Res64: AB312EF31DDA60C6 Time : 0.0 sec. user=mdettweiler [2020-07-26 20:48:22] 789*2^1563885-1 is not prime. Res64: 8EF9FD7CF353DE22 Time : 0.0 sec. user=mdettweiler [2020-07-26 20:48:22] 825*2^1563885-1 is not prime. Res64: B829709ED721DDE9 Time : 0.0 sec. user=mdettweiler [2020-07-26 20:48:23] 889*2^1563885-1 is not prime. Res64: 0A85BACEB12AC3B9 Time : 0.0 sec. user=mdettweiler [2020-07-26 20:48:24] 919*2^1563885-1 is not prime. Res64: A8C7D56B2AF560A3 Time : 0.0 sec. user=mdettweiler [2020-07-26 20:48:24] 623*2^1563886-1 is not prime. Res64: B0EAB87D967FD5D1 Time : 0.0 sec. user=mdettweiler [2020-07-26 21:27:09] 705*2^1563886-1 is not prime. Res64: CBD11DE788F98106 Time : 0.0 sec. user=mdettweiler [2020-07-26 21:27:10] 755*2^1563886-1 is not prime. Res64: B104ECDD4DE6AC85 Time : 0.0 sec. user=mdettweiler [2020-07-26 21:27:10] 761*2^1563886-1 is not prime. Res64: D1E20DFBC6BBE741 Time : 0.0 sec. user=mdettweiler [2020-07-26 21:27:11] 773*2^1563886-1 is not prime. Res64: 66CD08ED79D249A4 Time : 0.0 sec. user=mdettweiler [2020-07-26 21:27:11] 897*2^1563886-1 is not prime. Res64: D7BF4B2481143BB1 Time : 0.0 sec. user=mdettweiler [2020-07-26 21:40:47] 661*2^1563887-1 is not prime. Res64: 4A5FA54416A855C6 Time : 0.0 sec. user=mdettweiler [2020-07-26 21:40:47] 669*2^1563887-1 is not prime. Res64: C6221987CAAA522A Time : 0.0 sec. user=mdettweiler [2020-07-26 21:40:48] 685*2^1563887-1 is not prime. Res64: 3BFE571B69AE6781 Time : 0.0 sec. user=mdettweiler [2020-07-26 21:40:49] 711*2^1563887-1 is not prime. Res64: 20E2A36482C4C032 Time : 0.0 sec. user=mdettweiler [2020-07-26 21:40:49] 735*2^1563887-1 is not prime. Res64: D8C0F5C04E9FB884 Time : 0.0 sec. user=mdettweiler [2020-07-26 22:22:00] 775*2^1563887-1 is not prime. Res64: D5AE4FB22EF48ED8 Time : 0.0 sec. user=mdettweiler [2020-07-26 22:22:01] 841*2^1563887-1 is not prime. Res64: CA00BB5F05118B14 Time : 0.0 sec. user=mdettweiler [2020-07-26 22:22:02] 915*2^1563887-1 is not prime. Res64: FA375C5B3F295192 Time : 0.0 sec. user=mdettweiler [2020-07-26 22:22:02] 705*2^1563888-1 is not prime. Res64: FEC21375C953DBC6 Time : 0.0 sec. user=mdettweiler [2020-07-26 22:22:03] 681*2^1563889-1 is not prime. Res64: F4CC5EC5EB813379 Time : 0.0 sec. user=mdettweiler [2020-07-26 22:36:20] 775*2^1563889-1 is not prime. Res64: 03ECFDF6AF96B5F0 Time : 0.0 sec. user=mdettweiler [2020-07-26 22:36:21] 861*2^1563889-1 is not prime. Res64: D272E3505324B28A Time : 0.0 sec. user=mdettweiler [2020-07-26 22:36:22] 895*2^1563889-1 is not prime. Res64: 2BF0E90590F6CBBC Time : 0.0 sec. user=mdettweiler [2020-07-26 22:36:23] 939*2^1563889-1 is not prime. Res64: 802D427716C63D50 Time : 0.0 sec. user=mdettweiler [2020-07-26 22:36:24] 633*2^1563890-1 is not prime. Res64: AD864609680EC988 Time : 0.0 sec. user=mdettweiler [2020-07-26 23:15:26] 665*2^1563890-1 is not prime. Res64: EB43C9A1F885A672 Time : 0.0 sec. user=mdettweiler [2020-07-26 23:15:27] 731*2^1563890-1 is not prime. Res64: 30DD885172A2D8FA Time : 0.0 sec. user=mdettweiler [2020-07-26 23:15:28] 735*2^1563890-1 is not prime. Res64: A768630C1C783BDD Time : 0.0 sec. user=mdettweiler [2020-07-26 23:15:29] 791*2^1563890-1 is not prime. Res64: 27AAA0C9377CE5A1 Time : 0.0 sec. user=mdettweiler [2020-07-26 23:15:29] 845*2^1563890-1 is not prime. Res64: 270E5B646EB79BD4 Time : 0.0 sec. user=mdettweiler [2020-07-26 23:33:03] 857*2^1563890-1 is not prime. Res64: 0BF8AAD66870DF2B Time : 0.0 sec. user=mdettweiler [2020-07-26 23:33:04] 861*2^1563890-1 is not prime. Res64: 3C6F9723F16775D8 Time : 0.0 sec. user=mdettweiler [2020-07-26 23:33:04] 885*2^1563890-1 is not prime. Res64: D6EE5283502EBDC1 Time : 0.0 sec. user=mdettweiler [2020-07-26 23:33:05] 921*2^1563890-1 is not prime. Res64: CDCC89BB6C2B1FFA Time : 0.0 sec. user=mdettweiler [2020-07-26 23:33:05] 609*2^1563891-1 is not prime. Res64: 75E4DCBB33FF6D7B Time : 0.0 sec.