user=mdettweiler [2015-11-23 00:09:33] 871*2^1415807-1 is not prime. Res64: 91A706A96384F883 Time : 0.0 sec. user=mdettweiler [2015-11-23 00:09:34] 615*2^1415808-1 is not prime. Res64: B2DA51DF7AAC7FC1 Time : 0.0 sec. user=mdettweiler [2015-11-23 00:09:42] 747*2^1415808-1 is not prime. Res64: F7A4FD3AAC3E9697 Time : 0.0 sec. user=mdettweiler [2015-11-23 00:09:43] 753*2^1415808-1 is not prime. Res64: FAC6346920E974A1 Time : 0.0 sec. user=mdettweiler [2015-11-23 00:16:11] 789*2^1415808-1 is not prime. Res64: F91B202BA7C6D1FC Time : 0.0 sec. user=mdettweiler [2015-11-23 00:16:11] 843*2^1415808-1 is not prime. Res64: 977147ACD7558CD0 Time : 0.0 sec. user=mdettweiler [2015-11-23 00:17:45] 905*2^1415808-1 is not prime. Res64: 31A65C70CBA2545B Time : 0.0 sec. user=mdettweiler [2015-11-23 00:17:46] 927*2^1415808-1 is not prime. Res64: 1A9B70373E4F57BC Time : 0.0 sec. user=mdettweiler [2015-11-23 00:27:46] 769*2^1415809-1 is not prime. Res64: 7B6FAC6A51389AAD Time : 0.0 sec. user=mdettweiler [2015-11-23 00:27:46] 829*2^1415809-1 is not prime. Res64: 26C6EAE71083A0DA Time : 0.0 sec. user=mdettweiler [2015-11-23 00:27:50] 721*2^1415809-1 is not prime. Res64: 07D10685323FA8F1 Time : 0.0 sec. user=mdettweiler [2015-11-23 00:27:51] 741*2^1415809-1 is not prime. Res64: 77AF5C60683DAA80 Time : 0.0 sec. user=mdettweiler [2015-11-23 00:34:35] 831*2^1415809-1 is not prime. Res64: BCFDC74A5EF70FA6 Time : 0.0 sec. user=mdettweiler [2015-11-23 00:34:36] 835*2^1415809-1 is not prime. Res64: EA45DD164DD85FCC Time : 0.0 sec. user=mdettweiler [2015-11-23 00:36:05] 951*2^1415809-1 is not prime. Res64: E16FE56FCA6FA126 Time : 0.0 sec. user=mdettweiler [2015-11-23 00:36:06] 641*2^1415810-1 is not prime. Res64: E33EBE8FBB57E7AE Time : 0.0 sec. user=mdettweiler [2015-11-23 00:46:37] 931*2^1415811-1 is not prime. Res64: CAD8ABD919D6310C Time : 0.0 sec. user=mdettweiler [2015-11-23 00:46:39] 945*2^1415811-1 is not prime. Res64: 084D7D6E7F52626A Time : 0.0 sec. user=mdettweiler [2015-11-23 00:46:46] 827*2^1415810-1 is not prime. Res64: 4173C1D58DBCD0E1 Time : 0.0 sec. user=mdettweiler [2015-11-23 00:46:47] 957*2^1415810-1 is not prime. Res64: 46A6795F14A2B487 Time : 0.0 sec. user=mdettweiler [2015-11-23 00:53:47] 975*2^1415811-1 is not prime. Res64: 13E07C30596FBD43 Time : 0.0 sec. user=mdettweiler [2015-11-23 00:53:48] 605*2^1415812-1 is not prime. Res64: 6C7EE05370E69FDD Time : 0.0 sec. user=mdettweiler [2015-11-23 00:55:39] 653*2^1415812-1 is not prime. Res64: 94F4A1C163C44DB8 Time : 0.0 sec. user=mdettweiler [2015-11-23 00:55:39] 657*2^1415812-1 is not prime. Res64: 4600B866D77AE4E7 Time : 0.0 sec. user=mdettweiler [2015-11-23 01:06:12] 803*2^1415812-1 is not prime. Res64: 9320257AA77592DA Time : 0.0 sec. user=mdettweiler [2015-11-23 01:06:13] 965*2^1415812-1 is not prime. Res64: 19138ACA88114AAE Time : 0.0 sec. user=mdettweiler [2015-11-23 01:06:14] 607*2^1415813-1 is not prime. Res64: 6999875C7C901884 Time : 0.0 sec. user=mdettweiler [2015-11-23 01:06:14] 715*2^1415813-1 is not prime. Res64: 294A52358755F0B6 Time : 0.0 sec. user=mdettweiler [2015-11-23 01:12:54] 939*2^1415813-1 is not prime. Res64: F16F6E47E633F5F5 Time : 0.0 sec. user=mdettweiler [2015-11-23 01:12:54] 979*2^1415813-1 is not prime. Res64: 6C0081065B4E3C14 Time : 0.0 sec. user=mdettweiler [2015-11-23 01:14:23] 641*2^1415814-1 is not prime. Res64: C27D451430EC7D6B Time : 0.0 sec. user=mdettweiler [2015-11-23 01:14:23] 707*2^1415814-1 is not prime. Res64: 017C2E9C9FE0602E Time : 0.0 sec. user=mdettweiler [2015-11-23 01:24:24] 773*2^1415814-1 is not prime. Res64: 8E83AE5631CD67FD Time : 0.0 sec. user=mdettweiler [2015-11-23 01:24:25] 951*2^1415814-1 is not prime. Res64: 53F05419968DA63C Time : 0.0 sec. user=mdettweiler [2015-11-23 01:24:25] 947*2^1415814-1 is not prime. Res64: 685BE42CBFC7A192 Time : 0.0 sec. user=mdettweiler [2015-11-23 01:24:25] 663*2^1415815-1 is not prime. Res64: 9C43167B06D8B8A2 Time : 0.0 sec. user=mdettweiler [2015-11-23 01:30:55] 741*2^1415815-1 is not prime. Res64: 21AA70463B78EFCC Time : 0.0 sec. user=mdettweiler [2015-11-23 01:30:56] 789*2^1415815-1 is not prime. Res64: A7F2CFB77EDBA066 Time : 0.0 sec. user=mdettweiler [2015-11-23 01:32:27] 819*2^1415815-1 is not prime. Res64: 190A196C033DE174 Time : 0.0 sec. user=mdettweiler [2015-11-23 01:32:27] 951*2^1415815-1 is not prime. Res64: 113BFA7AE9BEDB5E Time : 0.0 sec. user=mdettweiler [2015-11-23 01:42:25] 615*2^1415816-1 is not prime. Res64: 9B71E96928DB407E Time : 0.0 sec. user=mdettweiler [2015-11-23 01:42:25] 635*2^1415816-1 is not prime. Res64: 1B81824917055683 Time : 0.0 sec. user=mdettweiler [2015-11-23 01:42:33] 693*2^1415816-1 is not prime. Res64: 135E5F00484591DD Time : 0.0 sec. user=mdettweiler [2015-11-23 01:42:33] 827*2^1415816-1 is not prime. Res64: 085855113420AE8F Time : 0.0 sec. user=mdettweiler [2015-11-23 01:49:24] 867*2^1415816-1 is not prime. Res64: 3D11CF6166C26854 Time : 0.0 sec. user=mdettweiler [2015-11-23 01:49:25] 993*2^1415816-1 is not prime. Res64: F6CDE510EEE6FF31 Time : 0.0 sec. user=mdettweiler [2015-11-23 01:51:20] 615*2^1415817-1 is not prime. Res64: 91013F1301DF1C91 Time : 0.0 sec. user=mdettweiler [2015-11-23 01:51:21] 681*2^1415817-1 is not prime. Res64: F134960A349C87B2 Time : 0.0 sec. user=mdettweiler [2015-11-23 02:00:57] 699*2^1415817-1 is not prime. Res64: E79C3FFA87C8A25C Time : 0.0 sec. user=mdettweiler [2015-11-23 02:00:58] 735*2^1415817-1 is not prime. Res64: FA94171277982155 Time : 0.0 sec. user=mdettweiler [2015-11-23 02:01:40] 861*2^1415817-1 is not prime. Res64: 897207E2C511A8EE Time : 0.0 sec. user=mdettweiler [2015-11-23 02:01:41] 901*2^1415817-1 is not prime. Res64: 84000E115687357B Time : 0.0 sec. user=mdettweiler [2015-11-23 02:07:37] 909*2^1415817-1 is not prime. Res64: A22923FA6469A118 Time : 0.0 sec. user=mdettweiler [2015-11-23 02:07:38] 945*2^1415817-1 is not prime. Res64: F8F3C37E8006AE64 Time : 0.0 sec. user=mdettweiler [2015-11-23 02:09:33] 623*2^1415818-1 is not prime. Res64: D78AC8A07E436BF2 Time : 0.0 sec. user=mdettweiler [2015-11-23 02:09:34] 633*2^1415818-1 is not prime. Res64: 58D7441DE861985B Time : 0.0 sec. user=mdettweiler [2015-11-23 02:18:59] 665*2^1415818-1 is not prime. Res64: 711D4774157E4B54 Time : 0.0 sec. user=mdettweiler [2015-11-23 02:19:00] 695*2^1415818-1 is not prime. Res64: B5057B38A5F4252A Time : 0.0 sec. user=mdettweiler [2015-11-23 02:19:44] 705*2^1415818-1 is not prime. Res64: 91A88555C38393CE Time : 0.0 sec. user=mdettweiler [2015-11-23 02:19:44] 747*2^1415818-1 is not prime. Res64: 9BB2EA783A5165F7 Time : 0.0 sec. user=mdettweiler [2015-11-23 02:25:53] 755*2^1415818-1 is not prime. Res64: 5C7B82A6DC25249E Time : 0.0 sec. user=mdettweiler [2015-11-23 02:25:54] 601*2^1415819-1 is not prime. Res64: 23A851C006BFA331 Time : 0.0 sec. user=mdettweiler [2015-11-23 02:27:40] 615*2^1415819-1 is not prime. Res64: 58F8C00CEBDD5523 Time : 0.0 sec. user=mdettweiler [2015-11-23 02:27:41] 619*2^1415819-1 is not prime. Res64: E2EB6EEA545E993C Time : 0.0 sec. user=mdettweiler [2015-11-23 02:37:05] 999*2^1415819-1 is not prime. Res64: 830CAAE4B598DEBA Time : 0.0 sec. user=mdettweiler [2015-11-23 02:37:05] 779*2^1415820-1 is not prime. Res64: F5F1D66800830176 Time : 0.0 sec. user=mdettweiler [2015-11-23 02:37:55] 875*2^1415820-1 is not prime. Res64: D095AFF83B2F7396 Time : 0.0 sec. user=mdettweiler [2015-11-23 02:37:55] 887*2^1415820-1 is not prime. Res64: CB152C76E0816123 Time : 0.0 sec. user=mdettweiler [2015-11-23 02:44:05] 933*2^1415820-1 is not prime. Res64: A49039014303FF86 Time : 0.0 sec. user=mdettweiler [2015-11-23 02:44:06] 685*2^1415821-1 is not prime. Res64: 65E1C34E826800A4 Time : 0.0 sec. user=mdettweiler [2015-11-23 02:45:55] 757*2^1415821-1 is not prime. Res64: 425E30E7567826EF Time : 0.0 sec. user=mdettweiler [2015-11-23 02:45:55] 801*2^1415821-1 is not prime. Res64: 8608853EC4F58914 Time : 0.0 sec. user=mdettweiler [2015-11-23 02:55:02] 931*2^1415821-1 is not prime. Res64: C04B021A5EF70FEB Time : 0.0 sec. user=mdettweiler [2015-11-23 02:55:02] 997*2^1415821-1 is not prime. Res64: CBF746505E74FF61 Time : 0.0 sec. user=mdettweiler [2015-11-23 02:56:01] 743*2^1415822-1 is not prime. Res64: 41BDF1469BEFFE05 Time : 0.0 sec. user=mdettweiler [2015-11-23 02:56:02] 801*2^1415822-1 is not prime. Res64: 3C6FBA99C6C33072 Time : 0.0 sec. user=mdettweiler [2015-11-23 03:02:07] 825*2^1415822-1 is not prime. Res64: FA799A8C360ABA08 Time : 0.0 sec. user=mdettweiler [2015-11-23 03:02:07] 795*2^1415823-1 is not prime. Res64: B4EB06862015F818 Time : 0.0 sec. user=mdettweiler [2015-11-23 03:04:05] 891*2^1415823-1 is not prime. Res64: 0F6165E09885EC3D Time : 0.0 sec. user=mdettweiler [2015-11-23 03:04:07] 605*2^1415824-1 is not prime. Res64: 5207EBE312E98233 Time : 0.0 sec. user=mdettweiler [2015-11-23 03:13:24] 663*2^1415824-1 is not prime. Res64: 421EB9B17F250600 Time : 0.0 sec. user=mdettweiler [2015-11-23 03:13:24] 827*2^1415824-1 is not prime. Res64: 3295E0D08BCEE697 Time : 0.0 sec. user=mdettweiler [2015-11-23 03:14:19] 833*2^1415824-1 is not prime. Res64: 9EF9623738C21783 Time : 0.0 sec. user=mdettweiler [2015-11-23 03:14:19] 863*2^1415824-1 is not prime. Res64: 2AC1A07D520491D6 Time : 0.0 sec. user=mdettweiler [2015-11-23 03:21:02] 887*2^1415824-1 is not prime. Res64: 24EE6D53D9A1BFE9 Time : 0.0 sec. user=mdettweiler [2015-11-23 03:21:02] 917*2^1415824-1 is not prime. Res64: 86C277F7EC5C4750 Time : 0.0 sec. user=mdettweiler [2015-11-23 03:22:59] 929*2^1415824-1 is not prime. Res64: 47E82EA6406139E9 Time : 0.0 sec. user=mdettweiler [2015-11-23 03:22:59] 721*2^1415825-1 is not prime. Res64: 432837D7404129EF Time : 0.0 sec. user=mdettweiler [2015-11-23 03:32:44] 837*2^1415825-1 is not prime. Res64: 6E2DE3F27C5DE14A Time : 0.0 sec. user=mdettweiler [2015-11-23 03:32:45] 897*2^1415825-1 is not prime. Res64: 18D71767A4C7BDD1 Time : 0.0 sec. user=mdettweiler [2015-11-23 03:32:51] 987*2^1415825-1 is not prime. Res64: B54D8B4BAE68793D Time : 0.0 sec. user=mdettweiler [2015-11-23 03:32:53] 991*2^1415825-1 is not prime. Res64: 071045EC297B3905 Time : 0.0 sec. user=mdettweiler [2015-11-23 03:39:18] 641*2^1415826-1 is not prime. Res64: B00A8D75980D42F9 Time : 0.0 sec. user=mdettweiler [2015-11-23 03:39:19] 711*2^1415826-1 is not prime. Res64: 108C62E4E93A6DA4 Time : 0.0 sec. user=mdettweiler [2015-11-23 03:41:11] 735*2^1415826-1 is not prime. Res64: B219EE6BDA514AB6 Time : 0.0 sec. user=mdettweiler [2015-11-23 03:41:12] 767*2^1415826-1 is not prime. Res64: 22FECF19C3210EB6 Time : 0.0 sec. user=mdettweiler [2015-11-23 03:51:10] 881*2^1415826-1 is not prime. Res64: 44C3D5DC7728EFCD Time : 0.0 sec. user=mdettweiler [2015-11-23 03:51:13] 609*2^1415827-1 is not prime. Res64: 9BD78F34B15DC5FC Time : 0.0 sec. user=mdettweiler [2015-11-23 03:51:20] 783*2^1415826-1 is not prime. Res64: D885163AA0479246 Time : 0.0 sec. user=mdettweiler [2015-11-23 03:51:25] 833*2^1415826-1 is not prime. Res64: 1FCE2CB5A60EBCCB Time : 0.0 sec. user=mdettweiler [2015-11-23 03:57:33] 649*2^1415827-1 is not prime. Res64: 3CFE3C87E0961622 Time : 0.0 sec. user=mdettweiler [2015-11-23 03:57:33] 685*2^1415827-1 is not prime. Res64: 0FA16E8858D8653C Time : 0.0 sec. user=mdettweiler [2015-11-23 03:59:28] 693*2^1415827-1 is not prime. Res64: 23E93FA95C190119 Time : 0.0 sec. user=mdettweiler [2015-11-23 03:59:28] 735*2^1415827-1 is not prime. Res64: 318BC021EF8A0A2D Time : 0.0 sec. user=mdettweiler [2015-11-23 04:09:51] 793*2^1415827-1 is not prime. Res64: 6AEB5DB04C68F8FE Time : 0.0 sec. user=mdettweiler [2015-11-23 04:09:52] 835*2^1415827-1 is not prime. Res64: E6C8FCC9FC1362C8 Time : 0.0 sec. user=mdettweiler [2015-11-23 04:10:00] 759*2^1415827-1 is not prime. Res64: 360FCAC7D1368548 Time : 0.0 sec. user=mdettweiler [2015-11-23 04:10:01] 765*2^1415827-1 is not prime. Res64: 36EDE2FF85FC9C44 Time : 0.0 sec. user=mdettweiler [2015-11-23 04:15:39] 615*2^1415828-1 is not prime. Res64: 87BA3678CDEB755B Time : 0.0 sec. user=mdettweiler [2015-11-23 04:15:39] 617*2^1415828-1 is not prime. Res64: 78C76CCD5B9FB2CF Time : 0.0 sec. user=mdettweiler [2015-11-23 04:17:36] 633*2^1415828-1 is not prime. Res64: 0A2CE21C5677FF58 Time : 0.0 sec. user=mdettweiler [2015-11-23 04:17:36] 665*2^1415828-1 is not prime. Res64: F203C55B53C37543 Time : 0.0 sec. user=mdettweiler [2015-11-23 04:27:50] 827*2^1415828-1 is not prime. Res64: 1B77B5E24CA037C2 Time : 0.0 sec. user=mdettweiler [2015-11-23 04:27:50] 833*2^1415828-1 is not prime. Res64: DE47A8ED379B3194 Time : 0.0 sec. user=mdettweiler [2015-11-23 04:28:07] 837*2^1415828-1 is not prime. Res64: C7103850959A37A9 Time : 0.0 sec. user=mdettweiler [2015-11-23 04:28:07] 685*2^1415829-1 is not prime. Res64: 75CE37C1FF24873C Time : 0.0 sec. user=mdettweiler [2015-11-23 04:33:42] 747*2^1415829-1 is not prime. Res64: BEE73E719A101AD0 Time : 0.0 sec. user=mdettweiler [2015-11-23 04:33:42] 765*2^1415829-1 is not prime. Res64: D896DBB26C6B9587 Time : 0.0 sec. user=mdettweiler [2015-11-23 04:35:43] 817*2^1415829-1 is not prime. Res64: 4E9F865016B40975 Time : 0.0 sec. user=mdettweiler [2015-11-23 04:35:43] 889*2^1415829-1 is not prime. Res64: 095CE3EC64A7D7FA Time : 0.0 sec. user=mdettweiler [2015-11-23 04:45:49] 907*2^1415829-1 is not prime. Res64: 61200B8F2EEEC3AE Time : 0.0 sec. user=mdettweiler [2015-11-23 04:45:49] 603*2^1415830-1 is not prime. Res64: 3AC5DAEB8A144304 Time : 0.0 sec. user=mdettweiler [2015-11-23 04:46:11] 651*2^1415831-1 is not prime. Res64: A25865CB6A790F4A Time : 0.0 sec. user=mdettweiler [2015-11-23 04:46:11] 675*2^1415831-1 is not prime. Res64: BA672318331FCC33 Time : 0.0 sec. user=mdettweiler [2015-11-23 04:51:47] 679*2^1415831-1 is not prime. Res64: 8F42546AB7C157E1 Time : 0.0 sec. user=mdettweiler [2015-11-23 04:51:48] 759*2^1415831-1 is not prime. Res64: B9DA08BAB1264F0B Time : 0.0 sec. user=mdettweiler [2015-11-23 04:53:48] 843*2^1415831-1 is not prime. Res64: CADA7C4EBB74A147 Time : 0.0 sec. user=mdettweiler [2015-11-23 04:53:48] 865*2^1415831-1 is not prime. Res64: 00C20B5CB84775A0 Time : 0.0 sec. user=mdettweiler [2015-11-23 05:03:48] 883*2^1415831-1 is not prime. Res64: 72478C65B271718A Time : 0.0 sec. user=mdettweiler [2015-11-23 05:03:49] 955*2^1415831-1 is not prime. Res64: A3FE80B810725BDF Time : 0.0 sec. user=mdettweiler [2015-11-23 05:04:12] 627*2^1415832-1 is not prime. Res64: FFC5165FD627DB14 Time : 0.0 sec. user=mdettweiler [2015-11-23 05:04:13] 777*2^1415832-1 is not prime. Res64: 8EEBBDD35D2807E5 Time : 0.0 sec. user=mdettweiler [2015-11-23 05:10:02] 947*2^1415832-1 is not prime. Res64: 5A497516BE8CD9D9 Time : 0.0 sec. user=mdettweiler [2015-11-23 05:10:03] 975*2^1415832-1 is not prime. Res64: 8CCC6803ED2F7360 Time : 0.0 sec. user=mdettweiler [2015-11-23 05:12:00] 729*2^1415833-1 is not prime. Res64: F9835A1556B4E0FE Time : 0.0 sec. user=mdettweiler [2015-11-23 05:12:00] 747*2^1415833-1 is not prime. Res64: 442F62ACA88847FB Time : 0.0 sec. user=mdettweiler [2015-11-23 05:21:54] 805*2^1415833-1 is not prime. Res64: 3EBE6F95C54E4155 Time : 0.0 sec. user=mdettweiler [2015-11-23 05:21:55] 605*2^1415834-1 is not prime. Res64: CD7085C44BE9C85E Time : 0.0 sec. user=mdettweiler [2015-11-23 05:22:20] 657*2^1415834-1 is not prime. Res64: 2C37B33F12811931 Time : 0.0 sec. user=mdettweiler [2015-11-23 05:22:20] 707*2^1415834-1 is not prime. Res64: CA7FCC1A66BACA75 Time : 0.0 sec. user=mdettweiler [2015-11-23 05:28:09] 731*2^1415834-1 is not prime. Res64: 7FE193796A756DF5 Time : 0.0 sec. user=mdettweiler [2015-11-23 05:28:10] 773*2^1415834-1 is not prime. Res64: 985786752AA4F449 Time : 0.0 sec. user=mdettweiler [2015-11-23 05:30:00] 953*2^1415834-1 is not prime. Res64: 2086366350F3773A Time : 0.0 sec. user=mdettweiler [2015-11-23 05:30:00] 1001*2^1415834-1 is not prime. Res64: DA68735FB7F9F21D Time : 0.0 sec. user=mdettweiler [2015-11-23 05:39:53] 675*2^1415835-1 is not prime. Res64: 4DB4D4D1209D3363 Time : 0.0 sec. user=mdettweiler [2015-11-23 05:39:53] 679*2^1415835-1 is not prime. Res64: DC813BE497CDF456 Time : 0.0 sec. user=mdettweiler [2015-11-23 05:40:22] 711*2^1415835-1 is not prime. Res64: 34B492B1C150A98E Time : 0.0 sec. user=mdettweiler [2015-11-23 05:40:22] 795*2^1415835-1 is not prime. Res64: C080DAA99368D795 Time : 0.0 sec. user=mdettweiler [2015-11-23 05:46:09] 909*2^1415835-1 is not prime. Res64: 894AA7CC8773E5E4 Time : 0.0 sec. user=mdettweiler [2015-11-23 05:46:09] 979*2^1415835-1 is not prime. Res64: ED5820D80259156D Time : 0.0 sec. user=mdettweiler [2015-11-23 05:48:04] 999*2^1415835-1 is not prime. Res64: 6588E53DBA07680E Time : 0.0 sec. user=mdettweiler [2015-11-23 05:48:05] 975*2^1415836-1 is not prime. Res64: 3C0DE7C099939E30 Time : 0.0 sec. user=mdettweiler [2015-11-23 05:57:57] 989*2^1415836-1 is not prime. Res64: 315FBEC058B011C3 Time : 0.0 sec. user=mdettweiler [2015-11-23 05:57:58] 729*2^1415837-1 is not prime. Res64: 1748B3A91CD5D014 Time : 0.0 sec. user=mdettweiler [2015-11-23 05:58:20] 735*2^1415837-1 is not prime. Res64: A2FD03C137E4660F Time : 0.0 sec. user=mdettweiler [2015-11-23 05:58:20] 861*2^1415837-1 is not prime. Res64: 4A181B7F694A4138 Time : 0.0 sec. user=mdettweiler [2015-11-23 06:04:13] 981*2^1415837-1 is not prime. Res64: 8FD994F31A31EFDC Time : 0.0 sec. user=mdettweiler [2015-11-23 06:04:14] 621*2^1415838-1 is not prime. Res64: 4D9BC25810F08C31 Time : 0.0 sec. user=mdettweiler [2015-11-23 06:06:06] 627*2^1415838-1 is not prime. Res64: D55C4D0FAA5381A4 Time : 0.0 sec. user=mdettweiler [2015-11-23 06:06:07] 711*2^1415838-1 is not prime. Res64: 22C8FE352026EB4E Time : 0.0 sec. user=mdettweiler [2015-11-23 06:15:52] 731*2^1415838-1 is not prime. Res64: 9957D068EF4DD662 Time : 0.0 sec. user=mdettweiler [2015-11-23 06:15:52] 795*2^1415838-1 is not prime. Res64: 2A9B94F13AF299B3 Time : 0.0 sec. user=mdettweiler [2015-11-23 06:16:27] 977*2^1415838-1 is not prime. Res64: 7BFA82DF30DC5D83 Time : 0.0 sec. user=mdettweiler [2015-11-23 06:16:27] 601*2^1415839-1 is not prime. Res64: EB42B529EDED43F5 Time : 0.0 sec. user=mdettweiler [2015-11-23 06:22:28] 619*2^1415839-1 is not prime. Res64: 00D1F1B52E6DE11C Time : 0.0 sec. user=mdettweiler [2015-11-23 06:22:29] 633*2^1415839-1 is not prime. Res64: A3F50E9D1F57D775 Time : 0.0 sec. user=mdettweiler [2015-11-23 06:24:12] 709*2^1415839-1 is not prime. Res64: 79FB9B166DA1DE68 Time : 0.0 sec. user=mdettweiler [2015-11-23 06:24:13] 771*2^1415839-1 is not prime. Res64: 4B91D3213C508E7D Time : 0.0 sec. user=mdettweiler [2015-11-23 06:34:06] 829*2^1415839-1 is not prime. Res64: 7B3FDF536AE45D3D Time : 0.0 sec. user=mdettweiler [2015-11-23 06:34:06] 909*2^1415839-1 is not prime. Res64: 3D5074761E6FB0EF Time : 0.0 sec. user=mdettweiler [2015-11-23 06:34:25] 933*2^1415839-1 is not prime. Res64: 1E49E65AB3DC3DDB Time : 0.0 sec. user=mdettweiler [2015-11-23 06:34:26] 939*2^1415839-1 is not prime. Res64: 2865447EEF4E8E2B Time : 0.0 sec. user=mdettweiler [2015-11-23 06:40:29] 973*2^1415839-1 is not prime. Res64: A5FAD7C049CAC62E Time : 0.0 sec. user=mdettweiler [2015-11-23 06:40:30] 615*2^1415840-1 is not prime. Res64: 9012EDC0EBDFAE06 Time : 0.0 sec. user=mdettweiler [2015-11-23 06:42:15] 699*2^1415840-1 is not prime. Res64: EE062D946532DF3A Time : 0.0 sec. user=mdettweiler [2015-11-23 06:42:16] 743*2^1415840-1 is not prime. Res64: B8A58B044C685170 Time : 0.0 sec. user=mdettweiler [2015-11-23 06:52:07] 839*2^1415840-1 is not prime. Res64: 2FC13D3BB00CB80E Time : 0.0 sec. user=mdettweiler [2015-11-23 06:52:07] 893*2^1415840-1 is not prime. Res64: CF340B2C8DD15C3C Time : 0.0 sec. user=mdettweiler [2015-11-23 06:52:36] 727*2^1415841-1 is not prime. Res64: C5E3D4EF955EA2BC Time : 0.0 sec. user=mdettweiler [2015-11-23 06:52:36] 741*2^1415841-1 is not prime. Res64: 6E74702E68A7F0B4 Time : 0.0 sec. user=mdettweiler [2015-11-23 06:58:27] 865*2^1415841-1 is not prime. Res64: 63593532DE7BE03A Time : 0.0 sec. user=mdettweiler [2015-11-23 06:58:27] 889*2^1415841-1 is not prime. Res64: 4CCF7CA774910CB5 Time : 0.0 sec. user=mdettweiler [2015-11-23 07:00:23] 997*2^1415841-1 is not prime. Res64: 65F036D3B3E9CD50 Time : 0.0 sec. user=mdettweiler [2015-11-23 07:00:25] 617*2^1415842-1 is not prime. Res64: 76234198196BDE6E Time : 0.0 sec. user=mdettweiler [2015-11-23 07:10:13] 665*2^1415842-1 is not prime. Res64: 2CD4DFF77CCD4433 Time : 0.0 sec. user=mdettweiler [2015-11-23 07:10:14] 957*2^1415842-1 is not prime. Res64: 454AFD3DDBE98D41 Time : 0.0 sec. user=mdettweiler [2015-11-23 07:10:29] 609*2^1415843-1 is not prime. Res64: FA128DD0C10DFCB6 Time : 0.0 sec. user=mdettweiler [2015-11-23 07:10:30] 675*2^1415843-1 is not prime. Res64: 4CC51A47F0BCF47C Time : 0.0 sec. user=mdettweiler [2015-11-23 07:16:32] 861*2^1415843-1 is not prime. Res64: 535A2784BFF6981D Time : 0.0 sec. user=mdettweiler [2015-11-23 07:16:33] 871*2^1415843-1 is not prime. Res64: 7E9E57FA55F19029 Time : 0.0 sec. user=mdettweiler [2015-11-23 07:18:35] 963*2^1415843-1 is not prime. Res64: EAFCB416CE1B898D Time : 0.0 sec. user=mdettweiler [2015-11-23 07:18:35] 969*2^1415843-1 is not prime. Res64: 03E90FE6E40CB3DD Time : 0.0 sec. user=mdettweiler [2015-11-23 07:28:35] 981*2^1415843-1 is not prime. Res64: 4964EB0033C494B3 Time : 0.0 sec. user=mdettweiler [2015-11-23 07:28:36] 985*2^1415843-1 is not prime. Res64: 3682A29FAC70159F Time : 0.0 sec. user=mdettweiler [2015-11-23 07:28:58] 615*2^1415844-1 is not prime. Res64: 356D315A1181EA2F Time : 0.0 sec. user=mdettweiler [2015-11-23 07:28:59] 623*2^1415844-1 is not prime. Res64: 3B30BEEB173B0011 Time : 0.0 sec. user=mdettweiler [2015-11-23 07:35:06] 717*2^1415844-1 is not prime. Res64: 4CD20C4B9E57E658 Time : 0.0 sec. user=mdettweiler [2015-11-23 07:35:07] 607*2^1415845-1 is not prime. Res64: 854148E31E428FF4 Time : 0.0 sec. user=mdettweiler [2015-11-23 07:37:08] 925*2^1415845-1 is not prime. Res64: 856A9769C75DA4D1 Time : 0.0 sec. user=mdettweiler [2015-11-23 07:37:09] 641*2^1415846-1 is not prime. Res64: 638725BEBCAEAEE6 Time : 0.0 sec. user=mdettweiler [2015-11-23 07:46:47] 675*2^1415846-1 is not prime. Res64: 4CC6E8934037EC2C Time : 0.0 sec. user=mdettweiler [2015-11-23 07:46:47] 773*2^1415846-1 is not prime. Res64: 1D97AE6CC345FBBC Time : 0.0 sec. user=mdettweiler [2015-11-23 07:47:12] 765*2^1415847-1 is not prime. Res64: 8E83DCABCD10CF50 Time : 0.0 sec. user=mdettweiler [2015-11-23 07:47:13] 861*2^1415847-1 is not prime. Res64: A2919D3D95774917 Time : 0.0 sec. user=mdettweiler [2015-11-23 07:53:23] 615*2^1415848-1 is not prime. Res64: BDD8A4AF7407A35F Time : 0.0 sec. user=mdettweiler [2015-11-23 07:53:24] 657*2^1415848-1 is not prime. Res64: 27A1B5292A40C786 Time : 0.0 sec. user=mdettweiler [2015-11-23 07:55:24] 677*2^1415848-1 is not prime. Res64: AFCA0A9BDC3C1C32 Time : 0.0 sec. user=mdettweiler [2015-11-23 07:55:25] 845*2^1415848-1 is not prime. Res64: F52CF9E4261B3CDC Time : 0.0 sec. user=mdettweiler [2015-11-23 08:05:04] 933*2^1415848-1 is not prime. Res64: 2406FC0281037C4F Time : 0.0 sec. user=mdettweiler [2015-11-23 08:05:06] 959*2^1415848-1 is not prime. Res64: 10776172F81BFF05 Time : 0.0 sec. user=mdettweiler [2015-11-23 08:05:25] 675*2^1415849-1 is not prime. Res64: 849963A7A3182234 Time : 0.0 sec. user=mdettweiler [2015-11-23 08:05:27] 747*2^1415849-1 is not prime. Res64: D6FAB463C57ACA53 Time : 0.0 sec. user=mdettweiler [2015-11-23 08:11:37] 939*2^1415849-1 is not prime. Res64: E9CDAF38E3CE3A29 Time : 0.0 sec. user=mdettweiler [2015-11-23 08:11:38] 985*2^1415849-1 is not prime. Res64: A446A6F45CAFEE51 Time : 0.0 sec. user=mdettweiler [2015-11-23 08:13:37] 873*2^1415850-1 is not prime. Res64: 1E4DCF155AA80DC7 Time : 0.0 sec. user=mdettweiler [2015-11-23 08:13:39] 673*2^1415851-1 is not prime. Res64: 76A1DCFB5DD798EE Time : 0.0 sec. user=mdettweiler [2015-11-23 08:23:16] 703*2^1415851-1 is not prime. Res64: 9A7912B2DD3509CE Time : 0.0 sec. user=mdettweiler [2015-11-23 08:23:17] 723*2^1415851-1 is not prime. Res64: B8A27FEB51CF55C5 Time : 0.0 sec. user=mdettweiler [2015-11-23 08:23:43] 843*2^1415851-1 is not prime. Res64: 8796B31B2EBC0144 Time : 0.0 sec. user=mdettweiler [2015-11-23 08:23:44] 861*2^1415851-1 is not prime. Res64: 9E6E6C5A6334A20E Time : 0.0 sec. user=mdettweiler [2015-11-23 08:29:43] 623*2^1415852-1 is not prime. Res64: 7C2893A8E5C7ACB6 Time : 0.0 sec. user=mdettweiler [2015-11-23 08:29:44] 755*2^1415852-1 is not prime. Res64: D4F338BD47FF6E7B Time : 0.0 sec. user=mdettweiler [2015-11-23 08:31:51] 767*2^1415852-1 is not prime. Res64: 2672E834594226EF Time : 0.0 sec. user=mdettweiler [2015-11-23 08:31:52] 813*2^1415852-1 is not prime. Res64: 8204EEE75C49E3CA Time : 0.0 sec. user=mdettweiler [2015-11-23 08:41:41] 857*2^1415852-1 is not prime. Res64: FF336969406EE02E Time : 0.0 sec. user=mdettweiler [2015-11-23 08:41:42] 879*2^1415852-1 is not prime. Res64: D5D47F1A71AFEC30 Time : 0.0 sec. user=mdettweiler [2015-11-23 08:41:54] 923*2^1415852-1 is not prime. Res64: 511326856EB295C2 Time : 0.0 sec. user=mdettweiler [2015-11-23 08:41:55] 963*2^1415852-1 is not prime. Res64: 2D14D45E433DF29D Time : 0.0 sec. user=mdettweiler [2015-11-23 08:47:56] 679*2^1415853-1 is not prime. Res64: 8AF3C072BFD99126 Time : 0.0 sec. user=mdettweiler [2015-11-23 08:47:57] 861*2^1415853-1 is not prime. Res64: 3A1E7B6A6D96D598 Time : 0.0 sec. user=mdettweiler [2015-11-23 08:50:03] 937*2^1415853-1 is not prime. Res64: D12AAA8164F39B74 Time : 0.0 sec. user=mdettweiler [2015-11-23 08:50:04] 813*2^1415854-1 is not prime. Res64: 4122C7975812CDC8 Time : 0.0 sec. user=mdettweiler [2015-11-23 08:59:57] 669*2^1415855-1 is not prime. Res64: 1B49A0556FDE19CA Time : 0.0 sec. user=mdettweiler [2015-11-23 08:59:57] 831*2^1415854-1 is not prime. Res64: 583FF27A761CBB3B Time : 0.0 sec. user=mdettweiler [2015-11-23 08:59:57] 735*2^1415855-1 is not prime. Res64: 1AD4F9959706FECC Time : 0.0 sec. user=mdettweiler [2015-11-23 08:59:57] 903*2^1415854-1 is not prime. Res64: 05F941C731F0D477 Time : 0.0 sec. user=mdettweiler [2015-11-23 09:06:09] 775*2^1415855-1 is not prime. Res64: 671901CEFD3C59EE Time : 0.0 sec. user=mdettweiler [2015-11-23 09:06:13] 705*2^1415856-1 is not prime. Res64: 8F43E5CB1B58EB3A Time : 0.0 sec. user=mdettweiler [2015-11-23 09:08:13] 609*2^1415857-1 is not prime. Res64: 0EC8AF0B034B3C40 Time : 0.0 sec. user=mdettweiler [2015-11-23 09:08:16] 639*2^1415857-1 is not prime. Res64: 9F7D7820F41D9E9E Time : 0.0 sec. user=mdettweiler [2015-11-23 09:18:03] 685*2^1415857-1 is not prime. Res64: 273C9B664DD74E7D Time : 0.0 sec. user=mdettweiler [2015-11-23 09:18:04] 691*2^1415857-1 is not prime. Res64: 879C9A83BCDAFA0E Time : 0.0 sec. user=mdettweiler [2015-11-23 09:18:05] 727*2^1415857-1 is not prime. Res64: 1C0EE0101B23CEE0 Time : 0.0 sec. user=mdettweiler [2015-11-23 09:18:05] 861*2^1415857-1 is not prime. Res64: A615D57A2E2A39EB Time : 0.0 sec. user=mdettweiler [2015-11-23 09:24:56] 937*2^1415857-1 is not prime. Res64: 7CF0C431D10C5427 Time : 0.0 sec. user=mdettweiler [2015-11-23 09:24:57] 955*2^1415857-1 is not prime. Res64: 240CD01596DDDA76 Time : 0.0 sec. user=mdettweiler [2015-11-23 09:26:39] 979*2^1415857-1 is not prime. Res64: 31F8E56707F09340 Time : 0.0 sec. user=mdettweiler [2015-11-23 09:26:40] 603*2^1415858-1 is not prime. Res64: E3ABD6623AA07C52 Time : 0.0 sec. user=mdettweiler [2015-11-23 09:36:15] 735*2^1415858-1 is not prime. Res64: E7050D8255E044A5 Time : 0.0 sec. user=mdettweiler [2015-11-23 09:36:16] 773*2^1415858-1 is not prime. Res64: 1FB99A81CC3CAFD9 Time : 0.0 sec. user=mdettweiler [2015-11-23 09:36:17] 617*2^1415858-1 is not prime. Res64: 14C048D3CF9603ED Time : 0.0 sec. user=mdettweiler [2015-11-23 09:36:18] 713*2^1415858-1 is not prime. Res64: E984141D874D8CA3 Time : 0.0 sec. user=mdettweiler [2015-11-23 09:43:12] 797*2^1415858-1 is not prime. Res64: 57F60D8140235A85 Time : 0.0 sec. user=mdettweiler [2015-11-23 09:43:13] 923*2^1415858-1 is not prime. Res64: 85358A02FF842B91 Time : 0.0 sec. user=mdettweiler [2015-11-23 09:44:54] 995*2^1415858-1 is not prime. Res64: 1232F13F7D7E5321 Time : 0.0 sec. user=mdettweiler [2015-11-23 09:44:56] 625*2^1415859-1 is not prime. Res64: B7AE2ED6BA69DD43 Time : 0.0 sec. user=mdettweiler [2015-11-23 09:54:24] 753*2^1415859-1 is not prime. Res64: 6F4CD659B8691EC8 Time : 0.0 sec. user=mdettweiler [2015-11-23 09:54:25] 629*2^1415860-1 is not prime. Res64: 0C9A40AEB89648A1 Time : 0.0 sec. user=mdettweiler [2015-11-23 09:54:42] 635*2^1415860-1 is not prime. Res64: 74D7FE3490F65666 Time : 0.0 sec. user=mdettweiler [2015-11-23 09:54:43] 677*2^1415860-1 is not prime. Res64: F069133DE5F2F3AE Time : 0.0 sec. user=mdettweiler [2015-11-23 10:01:37] 777*2^1415860-1 is not prime. Res64: 46A9C268ECA92301 Time : 0.0 sec. user=mdettweiler [2015-11-23 10:01:38] 845*2^1415860-1 is not prime. Res64: DBD154F71D71F13B Time : 0.0 sec. user=mdettweiler [2015-11-23 10:03:12] 905*2^1415860-1 is not prime. Res64: 937E222F4C295276 Time : 0.0 sec. user=mdettweiler [2015-11-23 10:03:13] 957*2^1415860-1 is not prime. Res64: 22EBAD785B839FD6 Time : 0.0 sec. user=mdettweiler [2015-11-23 10:12:29] 619*2^1415861-1 is not prime. Res64: EE2B4B82D975C216 Time : 0.0 sec. user=mdettweiler [2015-11-23 10:12:29] 669*2^1415861-1 is not prime. Res64: 00C1FC1153DD2E70 Time : 0.0 sec. user=mdettweiler [2015-11-23 10:12:47] 691*2^1415861-1 is not prime. Res64: 803261424BD7AA0A Time : 0.0 sec. user=mdettweiler [2015-11-23 10:12:48] 715*2^1415861-1 is not prime. Res64: 192A81639F5CDA8E Time : 0.0 sec. user=mdettweiler [2015-11-23 10:19:51] 931*2^1415861-1 is not prime. Res64: CE35EECBDA12A0ED Time : 0.0 sec. user=mdettweiler [2015-11-23 10:19:51] 937*2^1415861-1 is not prime. Res64: 8126C1C988A94AFD Time : 0.0 sec. user=mdettweiler [2015-11-23 10:21:49] 949*2^1415861-1 is not prime. Res64: 1EE06043F798C1DB Time : 0.0 sec. user=mdettweiler [2015-11-23 10:21:49] 981*2^1415861-1 is not prime. Res64: DACAE8B022632E0D Time : 0.0 sec. user=mdettweiler [2015-11-23 10:30:52] 705*2^1415862-1 is not prime. Res64: 6EF4DDEAA814535A Time : 0.0 sec. user=mdettweiler [2015-11-23 10:30:53] 711*2^1415862-1 is not prime. Res64: F0416C0457488668 Time : 0.0 sec. user=mdettweiler [2015-11-23 10:38:15] 717*2^1415862-1 is not prime. Res64: 0145F8E2CD807F58 Time : 0.0 sec. user=mdettweiler [2015-11-23 10:38:15] 867*2^1415862-1 is not prime. Res64: 36AF496AEFE918F6 Time : 0.0 sec. user=mdettweiler [2015-11-23 10:40:05] 917*2^1415862-1 is not prime. Res64: 1315EE9B1AE52C23 Time : 0.0 sec. user=mdettweiler [2015-11-23 10:40:06] 975*2^1415862-1 is not prime. Res64: 22BD9289EA2D9077 Time : 0.0 sec. user=mdettweiler [2015-11-23 10:49:16] 977*2^1415862-1 is not prime. Res64: 5C49B371FE8461FB Time : 0.0 sec. user=mdettweiler [2015-11-23 10:49:16] 871*2^1415863-1 is not prime. Res64: 17A85CA6AF5464C5 Time : 0.0 sec. user=mdettweiler [2015-11-23 10:56:42] 915*2^1415863-1 is not prime. Res64: A73CD3DC959C4096 Time : 0.0 sec. user=mdettweiler [2015-11-23 10:56:42] 951*2^1415863-1 is not prime. Res64: F24A77A9109AF4A0 Time : 0.0 sec. user=mdettweiler [2015-11-23 10:58:44] 617*2^1415864-1 is not prime. Res64: 63EC5BE4373FFCAC Time : 0.0 sec. user=mdettweiler [2015-11-23 10:58:44] 923*2^1415864-1 is not prime. Res64: 53F537655F05B8FD Time : 0.0 sec. user=mdettweiler [2015-11-23 11:07:34] 983*2^1415864-1 is not prime. Res64: 14170A38784FA085 Time : 0.0 sec. user=mdettweiler [2015-11-23 11:07:35] 649*2^1415865-1 is not prime. Res64: CB794E730757360A Time : 0.0 sec. user=mdettweiler [2015-11-23 11:15:13] 751*2^1415865-1 is not prime. Res64: D22AFD5C2A0FD987 Time : 0.0 sec. user=mdettweiler [2015-11-23 11:15:13] 787*2^1415865-1 is not prime. Res64: D7D816B1D7061B57 Time : 0.0 sec. user=mdettweiler [2015-11-23 11:17:12] 817*2^1415865-1 is not prime. Res64: 19785BFD4584EA48 Time : 0.0 sec. user=mdettweiler [2015-11-23 11:17:12] 861*2^1415865-1 is not prime. Res64: 938114C5852BA9AA Time : 0.0 sec. user=mdettweiler [2015-11-23 11:26:11] 909*2^1415865-1 is not prime. Res64: 3A402C78A5018142 Time : 0.0 sec. user=mdettweiler [2015-11-23 11:26:11] 611*2^1415866-1 is not prime. Res64: 052ACFA90E590A2E Time : 0.0 sec. user=mdettweiler [2015-11-23 11:33:48] 717*2^1415866-1 is not prime. Res64: B5B8FD317699B403 Time : 0.0 sec. user=mdettweiler [2015-11-23 11:33:49] 609*2^1415867-1 is not prime. Res64: DD24C0DDB6DE9DF3 Time : 0.0 sec. user=mdettweiler [2015-11-23 11:35:42] 619*2^1415867-1 is not prime. Res64: 82B8C5F22D50AECB Time : 0.0 sec. user=mdettweiler [2015-11-23 11:35:42] 651*2^1415867-1 is not prime. Res64: DCCBFDB3506FBDED Time : 0.0 sec. user=mdettweiler [2015-11-23 11:44:29] 741*2^1415867-1 is not prime. Res64: 44A2FF386F573631 Time : 0.0 sec. user=mdettweiler [2015-11-23 11:44:30] 841*2^1415867-1 is not prime. Res64: C7EE8B45EF4F68E2 Time : 0.0 sec. user=mdettweiler [2015-11-23 11:46:22] 611*2^1415862-1 is not prime. Res64: 44DAEAEE021BDE3D Time : 0.0 sec. user=mdettweiler [2015-11-23 11:46:23] 627*2^1415862-1 is not prime. Res64: E2FBF4D159FA9A75 Time : 0.0 sec. user=mdettweiler [2015-11-23 11:52:02] 883*2^1415867-1 is not prime. Res64: 0CE98F83FCB90A8A Time : 0.0 sec. user=mdettweiler [2015-11-23 11:52:02] 955*2^1415867-1 is not prime. Res64: 951E4FEAA61CF3DE Time : 0.0 sec. user=mdettweiler [2015-11-23 11:54:02] 605*2^1415868-1 is not prime. Res64: 880069EB3C04589C Time : 0.0 sec. user=mdettweiler [2015-11-23 11:54:03] 699*2^1415868-1 is not prime. Res64: DBC246D2EF8681E0 Time : 0.0 sec. user=mdettweiler [2015-11-23 12:02:53] 777*2^1415868-1 is not prime. Res64: 993C69858F52463D Time : 0.0 sec. user=mdettweiler [2015-11-23 12:02:54] 789*2^1415868-1 is not prime. Res64: 3E8A22DC66A39E62 Time : 0.0 sec. user=mdettweiler [2015-11-23 12:04:48] 819*2^1415868-1 is not prime. Res64: AE42ED0D5B87E329 Time : 0.0 sec. user=mdettweiler [2015-11-23 12:04:50] 893*2^1415868-1 is not prime. Res64: 575EC2EE88886C03 Time : 0.0 sec. user=mdettweiler [2015-11-23 12:10:38] 929*2^1415868-1 is not prime. Res64: 92B05A7F8613DA8F Time : 0.0 sec. user=mdettweiler [2015-11-23 12:10:39] 759*2^1415869-1 is not prime. Res64: 6364DEA4E2146320 Time : 0.0 sec. user=mdettweiler [2015-11-23 12:12:38] 771*2^1415869-1 is not prime. Res64: 2DE991BB7DE36C47 Time : 0.0 sec. user=mdettweiler [2015-11-23 12:12:38] 789*2^1415869-1 is not prime. Res64: 6201C99569180BD0 Time : 0.0 sec. user=mdettweiler [2015-11-23 12:22:03] 817*2^1415869-1 is not prime. Res64: B8A3678AA2915E1D Time : 0.0 sec. user=mdettweiler [2015-11-23 12:22:04] 801*2^1415870-1 is not prime. Res64: C13ED9856A914FCC Time : 0.0 sec. user=mdettweiler [2015-11-23 12:23:46] 893*2^1415870-1 is not prime. Res64: 174C1DC2DD95BE61 Time : 0.0 sec. user=mdettweiler [2015-11-23 12:23:46] 941*2^1415870-1 is not prime. Res64: 0718F10F962776C5 Time : 0.0 sec. user=mdettweiler [2015-11-23 12:30:01] 945*2^1415870-1 is not prime. Res64: 2E6532F308B7FB3D Time : 0.0 sec. user=mdettweiler [2015-11-23 12:30:01] 615*2^1415871-1 is not prime. Res64: C10672FCCACD4273 Time : 0.0 sec. user=mdettweiler [2015-11-23 12:32:16] 909*2^1415871-1 is not prime. Res64: F3969A3CD44C7968 Time : 0.0 sec. user=mdettweiler [2015-11-23 12:32:16] 951*2^1415871-1 is not prime. Res64: 881FAE24FCF35AEC Time : 0.0 sec. user=mdettweiler [2015-11-23 12:41:07] 723*2^1415872-1 is not prime. Res64: E09AD32E4D7DC8EA Time : 0.0 sec. user=mdettweiler [2015-11-23 12:41:07] 777*2^1415872-1 is not prime. Res64: 82385B64D5DDE463 Time : 0.0 sec. user=mdettweiler [2015-11-23 12:43:09] 849*2^1415872-1 is not prime. Res64: E8C803C178D016CA Time : 0.0 sec. user=mdettweiler [2015-11-23 12:43:09] 923*2^1415872-1 is not prime. Res64: 8EB3892A840274BC Time : 0.0 sec. user=mdettweiler [2015-11-23 12:50:53] 627*2^1415873-1 is not prime. Res64: 22073EE701771EAD Time : 0.0 sec. user=mdettweiler [2015-11-23 12:50:54] 649*2^1415873-1 is not prime. Res64: 215A185978D31EF3 Time : 0.0 sec. user=mdettweiler [2015-11-23 12:53:15] 697*2^1415873-1 is not prime. Res64: DF5B8DD9168BAE8A Time : 0.0 sec. user=mdettweiler [2015-11-23 12:53:15] 769*2^1415873-1 is not prime. Res64: 9820D00B7DA1002B Time : 0.0 sec. user=mdettweiler [2015-11-23 13:02:58] 937*2^1415873-1 is not prime. Res64: 861C32032E0BD73B Time : 0.0 sec. user=mdettweiler [2015-11-23 13:03:00] 723*2^1415874-1 is not prime. Res64: 8A2067272D179F48 Time : 0.0 sec. user=mdettweiler [2015-11-23 13:11:18] 905*2^1415874-1 is not prime. Res64: 035C8B31A2C0B5DB Time : 0.0 sec. user=mdettweiler [2015-11-23 13:11:18] 951*2^1415874-1 is not prime. Res64: 2550B877F8D93B0D Time : 0.0 sec. user=mdettweiler [2015-11-23 13:13:03] 693*2^1415875-1 is not prime. Res64: 92BF1D3F7B2F53BB Time : 0.0 sec. user=mdettweiler [2015-11-23 13:13:04] 765*2^1415875-1 is not prime. Res64: E115866CCE82E880 Time : 0.0 sec. user=mdettweiler [2015-11-23 13:22:10] 771*2^1415875-1 is not prime. Res64: 1EF047B067EB1C7A Time : 0.0 sec. user=mdettweiler [2015-11-23 13:22:10] 659*2^1415876-1 is not prime. Res64: D69A92B94FF3F544 Time : 0.0 sec. user=mdettweiler [2015-11-23 13:29:59] 743*2^1415876-1 is not prime. Res64: 2909009291507806 Time : 0.0 sec. user=mdettweiler [2015-11-23 13:29:59] 759*2^1415876-1 is not prime. Res64: B33881BF7EF5961F Time : 0.0 sec. user=mdettweiler [2015-11-23 13:31:52] 789*2^1415876-1 is not prime. Res64: 95AFB84C5BD09046 Time : 0.0 sec. user=mdettweiler [2015-11-23 13:31:53] 903*2^1415876-1 is not prime. Res64: 5F5ED810F61B037B Time : 0.0 sec. user=mdettweiler [2015-11-23 13:40:58] 945*2^1415876-1 is not prime. Res64: E019A383B1526392 Time : 0.0 sec. user=mdettweiler [2015-11-23 13:40:58] 627*2^1415877-1 is not prime. Res64: 2B76BFCA0A483667 Time : 0.0 sec. user=mdettweiler [2015-11-23 13:48:29] 717*2^1415877-1 is not prime. Res64: 5AADC7F85ABEACF3 Time : 0.0 sec. user=mdettweiler [2015-11-23 13:48:29] 751*2^1415877-1 is not prime. Res64: C3ABF2B435E6C009 Time : 0.0 sec. user=mdettweiler [2015-11-23 13:50:11] 835*2^1415877-1 is not prime. Res64: E8796C60A10FC3BF Time : 0.0 sec. user=mdettweiler [2015-11-23 13:50:11] 871*2^1415877-1 is not prime. Res64: D643588ADB8B66A2 Time : 0.0 sec. user=mdettweiler [2015-11-23 13:59:23] 605*2^1415878-1 is not prime. Res64: 39DE17F898349F93 Time : 0.0 sec. user=mdettweiler [2015-11-23 13:59:24] 681*2^1415878-1 is not prime. Res64: FFCC5332FBEF92AB Time : 0.0 sec. user=mdettweiler [2015-11-23 14:06:53] 911*2^1415878-1 is not prime. Res64: 9701296505A07C44 Time : 0.0 sec. user=mdettweiler [2015-11-23 14:06:55] 933*2^1415878-1 is not prime. Res64: C5C3E20B3669B2F2 Time : 0.0 sec. user=mdettweiler [2015-11-23 14:08:54] 663*2^1415879-1 is not prime. Res64: 80A9FEC8F6B073A6 Time : 0.0 sec. user=mdettweiler [2015-11-23 14:08:54] 721*2^1415879-1 is not prime. Res64: DCAD2DE7BEA2817F Time : 0.0 sec. user=mdettweiler [2015-11-23 14:18:21] 753*2^1415879-1 is not prime. Res64: 72B3806A6CD6D339 Time : 0.0 sec. user=mdettweiler [2015-11-23 14:18:22] 627*2^1415880-1 is not prime. Res64: 0145846BFAE5A0FE Time : 0.0 sec. user=mdettweiler [2015-11-23 14:26:29] 759*2^1415880-1 is not prime. Res64: B8B616AE4914D4E8 Time : 0.0 sec. user=mdettweiler [2015-11-23 14:26:29] 945*2^1415880-1 is not prime. Res64: 0C8BD20F09446680 Time : 0.0 sec. user=mdettweiler [2015-11-23 14:28:09] 625*2^1415881-1 is not prime. Res64: BB3202CA7D8B4639 Time : 0.0 sec. user=mdettweiler [2015-11-23 14:28:09] 645*2^1415881-1 is not prime. Res64: FEF4DE85E7EFEF7D Time : 0.0 sec. user=mdettweiler [2015-11-23 14:30:08] 737*2^1415874-1 is not prime. Res64: ED6D24AA809F68B0 Time : 0.0 sec. user=mdettweiler [2015-11-23 14:30:09] 873*2^1415874-1 is not prime. Res64: B200D55C5F23E4C6 Time : 0.0 sec. user=mdettweiler [2015-11-23 14:36:47] 771*2^1415881-1 is not prime. Res64: BFA7668E77448AB2 Time : 0.0 sec. user=mdettweiler [2015-11-23 14:36:47] 775*2^1415881-1 is not prime. Res64: 7C294B5D26FD50EC Time : 0.0 sec. user=mdettweiler [2015-11-23 14:44:37] 855*2^1415881-1 is not prime. Res64: 79065B4A9F8EE0EC Time : 0.0 sec. user=mdettweiler [2015-11-23 14:44:38] 895*2^1415881-1 is not prime. Res64: DB46AC7A29579B79 Time : 0.0 sec. user=mdettweiler [2015-11-23 14:46:16] 937*2^1415881-1 is not prime. Res64: C01A236038364F58 Time : 0.0 sec. user=mdettweiler [2015-11-23 14:46:16] 997*2^1415881-1 is not prime. Res64: 95CD24F579EE2864 Time : 0.0 sec. user=mdettweiler [2015-11-23 14:48:18] 617*2^1415882-1 is not prime. Res64: 1EAA9AA45D7C5BA8 Time : 0.0 sec. user=mdettweiler [2015-11-23 14:48:18] 677*2^1415882-1 is not prime. Res64: 677D6CF441BFA9D7 Time : 0.0 sec. user=mdettweiler [2015-11-23 14:54:54] 771*2^1415882-1 is not prime. Res64: 6929DB47C4250683 Time : 0.0 sec. user=mdettweiler [2015-11-23 14:54:54] 885*2^1415882-1 is not prime. Res64: 5AD743697FB57987 Time : 0.0 sec. user=mdettweiler [2015-11-23 15:02:47] 915*2^1415882-1 is not prime. Res64: D92C963142EAF68D Time : 0.0 sec. user=mdettweiler [2015-11-23 15:02:48] 935*2^1415882-1 is not prime. Res64: 4CAD926667FEA5BA Time : 0.0 sec. user=mdettweiler [2015-11-23 15:04:24] 1001*2^1415882-1 is not prime. Res64: B4EE6DA6CEB524CB Time : 0.0 sec. user=mdettweiler [2015-11-23 15:04:25] 615*2^1415883-1 is not prime. Res64: 0EB90A1F305663D5 Time : 0.0 sec. user=mdettweiler [2015-11-23 15:06:29] 765*2^1415883-1 is not prime. Res64: 10798BC0A2C4D915 Time : 0.0 sec. user=mdettweiler [2015-11-23 15:06:30] 783*2^1415883-1 is not prime. Res64: 9C0E1178DD6BF5AB Time : 0.0 sec. user=mdettweiler [2015-11-23 15:12:59] 793*2^1415883-1 is not prime. Res64: CFEDD2145510E91A Time : 0.0 sec. user=mdettweiler [2015-11-23 15:12:59] 825*2^1415883-1 is not prime. Res64: 27D4B5DDD89235B5 Time : 0.0 sec. user=mdettweiler [2015-11-23 15:21:06] 849*2^1415883-1 is not prime. Res64: 852A6B9638D2B2AE Time : 0.0 sec. user=mdettweiler [2015-11-23 15:21:07] 873*2^1415883-1 is not prime. Res64: 162FB7494D4070E3 Time : 0.0 sec. user=mdettweiler [2015-11-23 15:22:25] 963*2^1415883-1 is not prime. Res64: 799F4114013C7E01 Time : 0.0 sec. user=mdettweiler [2015-11-23 15:22:25] 985*2^1415883-1 is not prime. Res64: 503A9B33BA97B35C Time : 0.0 sec. user=mdettweiler [2015-11-23 15:24:27] 707*2^1415884-1 is not prime. Res64: 015C83A9676FACDD Time : 0.0 sec. user=mdettweiler [2015-11-23 15:24:27] 833*2^1415884-1 is not prime. Res64: A98090ECE2D9AC31 Time : 0.0 sec. user=mdettweiler [2015-11-23 15:30:56] 873*2^1415884-1 is not prime. Res64: 0146A5FE5E7CC461 Time : 0.0 sec. user=mdettweiler [2015-11-23 15:30:56] 927*2^1415884-1 is not prime. Res64: 832D92CC5A449F19 Time : 0.0 sec. user=mdettweiler [2015-11-23 15:39:11] 983*2^1415884-1 is not prime. Res64: AB56278E602455CF Time : 0.0 sec. user=mdettweiler [2015-11-23 15:39:12] 989*2^1415884-1 is not prime. Res64: 057D3AAFA43A3F78 Time : 0.0 sec. user=mdettweiler [2015-11-23 15:40:33] 995*2^1415884-1 is not prime. Res64: 91268C6CC563A3E2 Time : 0.0 sec. user=mdettweiler [2015-11-23 15:40:34] 607*2^1415885-1 is not prime. Res64: C7C35ADFC18AF86A Time : 0.0 sec. user=mdettweiler [2015-11-23 15:42:34] 619*2^1415885-1 is not prime. Res64: 918CB6DC95540954 Time : 0.0 sec. user=mdettweiler [2015-11-23 15:42:35] 645*2^1415885-1 is not prime. Res64: AA63CC802A3DD40F Time : 0.0 sec. user=mdettweiler [2015-11-23 15:48:52] 657*2^1415885-1 is not prime. Res64: B17A98432FB6916C Time : 0.0 sec. user=mdettweiler [2015-11-23 15:48:52] 699*2^1415885-1 is not prime. Res64: 469FCBCA78BB72CF Time : 0.0 sec. user=mdettweiler [2015-11-23 15:57:12] 811*2^1415885-1 is not prime. Res64: DB8FE42A4115640F Time : 0.0 sec. user=mdettweiler [2015-11-23 15:57:13] 847*2^1415885-1 is not prime. Res64: F44D2EFF633223F1 Time : 0.0 sec. user=mdettweiler [2015-11-23 15:58:40] 861*2^1415885-1 is not prime. Res64: 0B36576CC572D160 Time : 0.0 sec. user=mdettweiler [2015-11-23 15:58:41] 937*2^1415885-1 is not prime. Res64: 7A47D1C0FC5F3EF8 Time : 0.0 sec. user=mdettweiler [2015-11-23 16:00:36] 627*2^1415886-1 is not prime. Res64: 8DBEFB54A83513E5 Time : 0.0 sec. user=mdettweiler [2015-11-23 16:00:37] 641*2^1415886-1 is not prime. Res64: FD19D40A40CA07FA Time : 0.0 sec. user=mdettweiler [2015-11-23 16:06:53] 765*2^1415886-1 is not prime. Res64: 13554F60998944E6 Time : 0.0 sec. user=mdettweiler [2015-11-23 16:06:53] 783*2^1415886-1 is not prime. Res64: 822267B965D5A473 Time : 0.0 sec. user=mdettweiler [2015-11-23 16:15:12] 673*2^1415887-1 is not prime. Res64: F4B107D3781743D8 Time : 0.0 sec. user=mdettweiler [2015-11-23 16:15:13] 675*2^1415887-1 is not prime. Res64: 916A6B2D0545860D Time : 0.0 sec. user=mdettweiler [2015-11-23 16:16:48] 705*2^1415887-1 is not prime. Res64: BF84E021763DFB62 Time : 0.0 sec. user=mdettweiler [2015-11-23 16:16:49] 751*2^1415887-1 is not prime. Res64: 578CA8C7A749F4C3 Time : 0.0 sec. user=mdettweiler [2015-11-23 16:18:38] 763*2^1415887-1 is not prime. Res64: D974E6E804A49883 Time : 0.0 sec. user=mdettweiler [2015-11-23 16:18:38] 765*2^1415887-1 is not prime. Res64: DD80B69604E93CAE Time : 0.0 sec. user=mdettweiler [2015-11-23 16:24:57] 831*2^1415887-1 is not prime. Res64: 2FE91CAAC9400191 Time : 0.0 sec. user=mdettweiler [2015-11-23 16:24:57] 873*2^1415887-1 is not prime. Res64: 29AB9EA23C82914D Time : 0.0 sec. user=mdettweiler [2015-11-23 16:33:14] 885*2^1415887-1 is not prime. Res64: D359CA2C3AB39143 Time : 0.0 sec. user=mdettweiler [2015-11-23 16:33:15] 635*2^1415888-1 is not prime. Res64: B4F0B00F35C1017E Time : 0.0 sec. user=mdettweiler [2015-11-23 16:34:56] 699*2^1415888-1 is not prime. Res64: 93E2FA87E50B34C7 Time : 0.0 sec. user=mdettweiler [2015-11-23 16:34:56] 753*2^1415888-1 is not prime. Res64: B0F5A35844D2EFE8 Time : 0.0 sec. user=mdettweiler [2015-11-23 16:36:39] 759*2^1415888-1 is not prime. Res64: 335A5C66ECE23B4D Time : 0.0 sec. user=mdettweiler [2015-11-23 16:36:39] 773*2^1415888-1 is not prime. Res64: 9EAC765B9C781BFD Time : 0.0 sec. user=mdettweiler [2015-11-23 16:42:58] 813*2^1415888-1 is not prime. Res64: 73C7A456CB5BB2C0 Time : 0.0 sec. user=mdettweiler [2015-11-23 16:42:58] 875*2^1415888-1 is not prime. Res64: FA5ABAD0A24A6971 Time : 0.0 sec. user=mdettweiler [2015-11-23 16:51:16] 999*2^1415888-1 is not prime. Res64: A40B17504BACB55A Time : 0.0 sec. user=mdettweiler [2015-11-23 16:51:16] 615*2^1415889-1 is not prime. Res64: F4F86EF29262E7C8 Time : 0.0 sec. user=mdettweiler [2015-11-23 16:53:02] 675*2^1415889-1 is not prime. Res64: 255EFB252320BE8D Time : 0.0 sec. user=mdettweiler [2015-11-23 16:53:02] 635*2^1415890-1 is not prime. Res64: 169F19EFC5B2BE30 Time : 0.0 sec. user=mdettweiler [2015-11-23 16:54:39] 671*2^1415890-1 is not prime. Res64: 254B218B02A2F718 Time : 0.0 sec. user=mdettweiler [2015-11-23 16:54:39] 675*2^1415890-1 is not prime. Res64: 2A6EEC43B654872C Time : 0.0 sec. user=mdettweiler [2015-11-23 17:00:53] 791*2^1415890-1 is not prime. Res64: AFA4C8179B8DF4F2 Time : 0.0 sec. user=mdettweiler [2015-11-23 17:00:54] 933*2^1415890-1 is not prime. Res64: 66A21162767C88F7 Time : 0.0 sec. user=mdettweiler [2015-11-23 17:09:08] 941*2^1415890-1 is not prime. Res64: 334183F9F5BAF6E7 Time : 0.0 sec. user=mdettweiler [2015-11-23 17:09:09] 685*2^1415891-1 is not prime. Res64: CAF0562D3A3BCD7E Time : 0.0 sec. user=mdettweiler [2015-11-23 17:11:12] 715*2^1415891-1 is not prime. Res64: 6D7FBD2C60131CAE Time : 0.0 sec. user=mdettweiler [2015-11-23 17:11:12] 627*2^1415892-1 is not prime. Res64: F543B4F78BA011FF Time : 0.0 sec. user=mdettweiler [2015-11-23 17:12:32] 683*2^1415892-1 is not prime. Res64: 9D673FB6B4209632 Time : 0.0 sec. user=mdettweiler [2015-11-23 17:12:32] 749*2^1415892-1 is not prime. Res64: 9CAF78A8298632F7 Time : 0.0 sec. user=mdettweiler [2015-11-23 17:19:00] 759*2^1415892-1 is not prime. Res64: 50B41CDC111AA9AB Time : 0.0 sec. user=mdettweiler [2015-11-23 17:19:00] 863*2^1415892-1 is not prime. Res64: C96EBFBD5F63AAA5 Time : 0.0 sec. user=mdettweiler [2015-11-23 17:27:08] 829*2^1415893-1 is not prime. Res64: 0D83D071492E558C Time : 0.0 sec. user=mdettweiler [2015-11-23 17:27:08] 885*2^1415893-1 is not prime. Res64: 4B8AB6883077CD30 Time : 0.0 sec. user=mdettweiler [2015-11-23 17:29:15] 651*2^1415894-1 is not prime. Res64: 01FE6C59E130E4B7 Time : 0.0 sec. user=mdettweiler [2015-11-23 17:29:16] 693*2^1415894-1 is not prime. Res64: 3E507A0D2CF4BDAB Time : 0.0 sec. user=mdettweiler [2015-11-23 17:30:28] 743*2^1415894-1 is not prime. Res64: 1359EA740994083F Time : 0.0 sec. user=mdettweiler [2015-11-23 17:30:28] 873*2^1415894-1 is not prime. Res64: 430DE9DD0D636E28 Time : 0.0 sec. user=mdettweiler [2015-11-23 17:37:04] 903*2^1415894-1 is not prime. Res64: 559C5D2F667F451C Time : 0.0 sec. user=mdettweiler [2015-11-23 17:37:05] 669*2^1415895-1 is not prime. Res64: D259FF15EA089992 Time : 0.0 sec. user=mdettweiler [2015-11-23 17:45:19] 793*2^1415895-1 is not prime. Res64: 92611544BB5450AD Time : 0.0 sec. user=mdettweiler [2015-11-23 17:45:19] 823*2^1415895-1 is not prime. Res64: BBE2A829B187631A Time : 0.0 sec. user=mdettweiler [2015-11-23 17:47:21] 873*2^1415895-1 is not prime. Res64: A9B60F7341F55B19 Time : 0.0 sec. user=mdettweiler [2015-11-23 17:47:21] 921*2^1415895-1 is not prime. Res64: 420DEF70D1C0C0CD Time : 0.0 sec. user=mdettweiler [2015-11-23 17:48:33] 609*2^1415896-1 is not prime. Res64: 791F812CB1C64C31 Time : 0.0 sec. user=mdettweiler [2015-11-23 17:48:33] 615*2^1415896-1 is not prime. Res64: E16C72AC1E78675B Time : 0.0 sec. user=mdettweiler [2015-11-23 17:55:06] 677*2^1415896-1 is not prime. Res64: 1608DCCE90A941E5 Time : 0.0 sec. user=mdettweiler [2015-11-23 17:55:06] 689*2^1415896-1 is not prime. Res64: 6009F012AF3608AE Time : 0.0 sec. user=mdettweiler [2015-11-23 18:03:19] 719*2^1415896-1 is not prime. Res64: 1A9427EEB3A44C52 Time : 0.0 sec. user=mdettweiler [2015-11-23 18:03:21] 813*2^1415896-1 is not prime. Res64: D5FAD920D514C352 Time : 0.0 sec. user=mdettweiler [2015-11-23 18:05:23] 849*2^1415896-1 is not prime. Res64: B8B507EA5B0F063D Time : 0.0 sec. user=mdettweiler [2015-11-23 18:05:24] 645*2^1415897-1 is not prime. Res64: EF984268D95C8BCE Time : 0.0 sec. user=mdettweiler [2015-11-23 18:06:34] 651*2^1415897-1 is not prime. Res64: AC85166E68B1BA82 Time : 0.0 sec. user=mdettweiler [2015-11-23 18:06:34] 747*2^1415897-1 is not prime. Res64: 97F2DB63A026B728 Time : 0.0 sec. user=mdettweiler [2015-11-23 18:13:13] 831*2^1415897-1 is not prime. Res64: 3DC5F168767D5BEF Time : 0.0 sec. user=mdettweiler [2015-11-23 18:13:13] 1001*2^1415898-1 is not prime. Res64: 352106301D895944 Time : 0.0 sec. user=mdettweiler [2015-11-23 18:21:25] 631*2^1415899-1 is not prime. Res64: CA51AF1014519DEB Time : 0.0 sec. user=mdettweiler [2015-11-23 18:21:26] 645*2^1415899-1 is not prime. Res64: FFD7402D9BF47FAB Time : 0.0 sec. user=mdettweiler [2015-11-23 18:23:23] 765*2^1415899-1 is not prime. Res64: 337465813ECCC1C6 Time : 0.0 sec. user=mdettweiler [2015-11-23 18:23:23] 841*2^1415899-1 is not prime. Res64: D91E462303462988 Time : 0.0 sec. user=mdettweiler [2015-11-23 18:24:38] 855*2^1415899-1 is not prime. Res64: 7FF37E911972FA15 Time : 0.0 sec. user=mdettweiler [2015-11-23 18:24:38] 925*2^1415899-1 is not prime. Res64: 98B1D0B63CEFE70D Time : 0.0 sec. user=mdettweiler [2015-11-23 18:31:14] 633*2^1415900-1 is not prime. Res64: CCCC49B0BAA6BDA7 Time : 0.0 sec. user=mdettweiler [2015-11-23 18:31:15] 717*2^1415900-1 is not prime. Res64: A0DC3CF937A4DA0B Time : 0.0 sec. user=mdettweiler [2015-11-23 18:39:33] 935*2^1415900-1 is not prime. Res64: 05C62BADEEF3051F Time : 0.0 sec. user=mdettweiler [2015-11-23 18:39:33] 963*2^1415900-1 is not prime. Res64: 6F359751804C9C53 Time : 0.0 sec. user=mdettweiler [2015-11-23 18:41:24] 607*2^1415901-1 is not prime. Res64: F9F4A75CF1184FBB Time : 0.0 sec. user=mdettweiler [2015-11-23 18:41:25] 649*2^1415901-1 is not prime. Res64: 4295642D5BABD52C Time : 0.0 sec. user=mdettweiler [2015-11-23 18:42:40] 651*2^1415901-1 is not prime. Res64: 4293A5AA851ED9CB Time : 0.0 sec. user=mdettweiler [2015-11-23 18:42:40] 717*2^1415901-1 is not prime. Res64: 8F4C6C2F1593E19C Time : 0.0 sec. user=mdettweiler [2015-11-23 18:49:17] 623*2^1415902-1 is not prime. Res64: 68488AD7A0E92CC3 Time : 0.0 sec. user=mdettweiler [2015-11-23 18:49:17] 653*2^1415902-1 is not prime. Res64: A3345AB5A36EB9D9 Time : 0.0 sec. user=mdettweiler [2015-11-23 18:57:31] 741*2^1415902-1 is not prime. Res64: 49C0977A152A0D91 Time : 0.0 sec. user=mdettweiler [2015-11-23 18:57:32] 791*2^1415902-1 is not prime. Res64: B06AC688FE9F69E6 Time : 0.0 sec. user=mdettweiler [2015-11-23 18:59:33] 885*2^1415902-1 is not prime. Res64: 07D24F76D0FE443A Time : 0.0 sec. user=mdettweiler [2015-11-23 18:59:33] 603*2^1415903-1 is not prime. Res64: 62F89D472E3CAE61 Time : 0.0 sec. user=mdettweiler [2015-11-23 19:00:42] 661*2^1415903-1 is not prime. Res64: 8764DABB3E6AB04F Time : 0.0 sec. user=mdettweiler [2015-11-23 19:00:43] 853*2^1415903-1 is not prime. Res64: 224B9BEA6560B778 Time : 0.0 sec. user=mdettweiler [2015-11-23 19:07:19] 855*2^1415903-1 is not prime. Res64: FBD54D72F8A1F2F0 Time : 0.0 sec. user=mdettweiler [2015-11-23 19:07:19] 945*2^1415903-1 is not prime. Res64: 1AA1EB78FBA6BB55 Time : 0.0 sec. user=mdettweiler [2015-11-23 19:15:42] 609*2^1415904-1 is not prime. Res64: C1E5CD642B389F92 Time : 0.0 sec. user=mdettweiler [2015-11-23 19:15:43] 623*2^1415904-1 is not prime. Res64: 2CB094DCED3A36B2 Time : 0.0 sec. user=mdettweiler [2015-11-23 19:17:35] 719*2^1415904-1 is not prime. Res64: 917E0830ECD1A576 Time : 0.0 sec. user=mdettweiler [2015-11-23 19:17:36] 725*2^1415904-1 is not prime. Res64: FFE99FF9803075BA Time : 0.0 sec. user=mdettweiler [2015-11-23 19:18:46] 747*2^1415904-1 is not prime. Res64: 905AB2C73D7AF78E Time : 0.0 sec. user=mdettweiler [2015-11-23 19:18:46] 753*2^1415904-1 is not prime. Res64: 32DDE3A39A589BD0 Time : 0.0 sec. user=mdettweiler [2015-11-23 19:25:21] 767*2^1415904-1 is not prime. Res64: 73FACC72206A0A27 Time : 0.0 sec. user=mdettweiler [2015-11-23 19:25:21] 795*2^1415904-1 is not prime. Res64: 5EEE47DE631F90CE Time : 0.0 sec. user=mdettweiler [2015-11-23 19:34:03] 843*2^1415904-1 is not prime. Res64: 679AF3D1871A521B Time : 0.0 sec. user=mdettweiler [2015-11-23 19:34:03] 887*2^1415904-1 is not prime. Res64: 986C056ABCF5F8E3 Time : 0.0 sec. user=mdettweiler [2015-11-23 19:35:43] 915*2^1415904-1 is not prime. Res64: BE6779E02F9F9429 Time : 0.0 sec. user=mdettweiler [2015-11-23 19:35:43] 685*2^1415905-1 is not prime. Res64: 94F7C34F250909BF Time : 0.0 sec. user=mdettweiler [2015-11-23 19:36:41] 765*2^1415905-1 is not prime. Res64: 27BEFC24B990CCFB Time : 0.0 sec. user=mdettweiler [2015-11-23 19:36:42] 789*2^1415905-1 is not prime. Res64: 6A7269DCE34F097F Time : 0.0 sec. user=mdettweiler [2015-11-23 19:43:22] 847*2^1415905-1 is not prime. Res64: DF83B910F22AF1D9 Time : 0.0 sec. user=mdettweiler [2015-11-23 19:43:22] 861*2^1415905-1 is not prime. Res64: 4BBD3CBEE0A342B3 Time : 0.0 sec. user=mdettweiler [2015-11-23 19:52:03] 951*2^1415905-1 is not prime. Res64: EC9AB252EBDFFA9F Time : 0.0 sec. user=mdettweiler [2015-11-23 19:52:04] 985*2^1415905-1 is not prime. Res64: B6FC171AF4D682DA Time : 0.0 sec. user=mdettweiler [2015-11-23 19:53:55] 615*2^1415906-1 is not prime. Res64: 7902D82297292768 Time : 0.0 sec. user=mdettweiler [2015-11-23 19:53:55] 755*2^1415906-1 is not prime. Res64: 65F63F6B9ADC8E98 Time : 0.0 sec. user=mdettweiler [2015-11-23 19:54:39] 827*2^1415906-1 is not prime. Res64: BFA7169D3DC2BF03 Time : 0.0 sec. user=mdettweiler [2015-11-23 19:54:39] 851*2^1415906-1 is not prime. Res64: 109DEC5BEB7DEACD Time : 0.0 sec. user=mdettweiler [2015-11-23 20:01:28] 909*2^1415907-1 is not prime. Res64: F0E2925298D6DD7C Time : 0.0 sec. user=mdettweiler [2015-11-23 20:01:29] 657*2^1415908-1 is not prime. Res64: A334AF45646F899E Time : 0.0 sec. user=mdettweiler [2015-11-23 20:09:57] 695*2^1415908-1 is not prime. Res64: 7D263E94B158BA61 Time : 0.0 sec. user=mdettweiler [2015-11-23 20:09:57] 705*2^1415908-1 is not prime. Res64: DA4A57AB236B636F Time : 0.0 sec. user=mdettweiler [2015-11-23 20:11:54] 887*2^1415908-1 is not prime. Res64: C1AB499BD372F2DC Time : 0.0 sec. user=mdettweiler [2015-11-23 20:11:54] 923*2^1415908-1 is not prime. Res64: 95248497F0ADB93C Time : 0.0 sec. user=mdettweiler [2015-11-23 20:12:46] 987*2^1415908-1 is not prime. Res64: C9CA4FB90A519744 Time : 0.0 sec. user=mdettweiler [2015-11-23 20:12:47] 615*2^1415909-1 is not prime. Res64: CD6544B2698531F0 Time : 0.0 sec. user=mdettweiler [2015-11-23 20:19:35] 655*2^1415909-1 is not prime. Res64: 54FDBB7EE1AF1E5F Time : 0.0 sec. user=mdettweiler [2015-11-23 20:19:35] 711*2^1415909-1 is not prime. Res64: 0E08271B0FCA497F Time : 0.0 sec. user=mdettweiler [2015-11-23 20:27:56] 759*2^1415909-1 is not prime. Res64: C35AB877B6E60B78 Time : 0.0 sec. user=mdettweiler [2015-11-23 20:27:57] 781*2^1415909-1 is not prime. Res64: F25CAFB6A1722BD8 Time : 0.0 sec. user=mdettweiler [2015-11-23 20:30:01] 847*2^1415909-1 is not prime. Res64: F5DE171DF3928CFA Time : 0.0 sec. user=mdettweiler [2015-11-23 20:30:02] 879*2^1415909-1 is not prime. Res64: EACBC4DC15544067 Time : 0.0 sec. user=mdettweiler [2015-11-23 20:30:51] 925*2^1415909-1 is not prime. Res64: F71B6C3A97264C74 Time : 0.0 sec. user=mdettweiler [2015-11-23 20:30:51] 969*2^1415909-1 is not prime. Res64: 168865EA50398267 Time : 0.0 sec. user=mdettweiler [2015-11-23 20:37:42] 611*2^1415910-1 is not prime. Res64: 09D63B537BE72E6F Time : 0.0 sec. user=mdettweiler [2015-11-23 20:37:43] 641*2^1415910-1 is not prime. Res64: E23C7B127444DFE8 Time : 0.0 sec. user=mdettweiler [2015-11-23 20:46:04] 845*2^1415910-1 is not prime. Res64: 54CB6D250BC56DB6 Time : 0.0 sec. user=mdettweiler [2015-11-23 20:46:04] 917*2^1415910-1 is not prime. Res64: D6A4503458B46C11 Time : 0.0 sec. user=mdettweiler [2015-11-23 20:48:11] 927*2^1415910-1 is not prime. Res64: F35C05D4A907E642 Time : 0.0 sec. user=mdettweiler [2015-11-23 20:48:12] 951*2^1415910-1 is not prime. Res64: 42601E1826746A86 Time : 0.0 sec. user=mdettweiler [2015-11-23 20:49:09] 649*2^1415911-1 is not prime. Res64: 232EAEFBFCD8FD60 Time : 0.0 sec. user=mdettweiler [2015-11-23 20:49:10] 651*2^1415911-1 is not prime. Res64: CC76FDDD50E5FFF9 Time : 0.0 sec. user=mdettweiler [2015-11-23 20:55:51] 805*2^1415911-1 is not prime. Res64: 28176336A45D94F6 Time : 0.0 sec. user=mdettweiler [2015-11-23 20:55:51] 841*2^1415911-1 is not prime. Res64: 50F511E0D6A5EDAD Time : 0.0 sec. user=mdettweiler [2015-11-23 21:04:16] 895*2^1415911-1 is not prime. Res64: C2E91C56226963E0 Time : 0.0 sec. user=mdettweiler [2015-11-23 21:04:17] 939*2^1415911-1 is not prime. Res64: F0BB72D4E0E8BAFE Time : 0.0 sec. user=mdettweiler [2015-11-23 21:06:16] 951*2^1415911-1 is not prime. Res64: AE49959D6B255BC9 Time : 0.0 sec. user=mdettweiler [2015-11-23 21:06:17] 993*2^1415911-1 is not prime. Res64: 22F667C7C9D30018 Time : 0.0 sec. user=mdettweiler [2015-11-23 21:07:18] 635*2^1415912-1 is not prime. Res64: C6E56906FEB7F23E Time : 0.0 sec. user=mdettweiler [2015-11-23 21:07:19] 725*2^1415912-1 is not prime. Res64: E49305ABAC67AE39 Time : 0.0 sec. user=mdettweiler [2015-11-23 21:13:53] 963*2^1415912-1 is not prime. Res64: D670C288A6FED961 Time : 0.0 sec. user=mdettweiler [2015-11-23 21:13:54] 769*2^1415913-1 is not prime. Res64: FA7B610B46039A66 Time : 0.0 sec. user=mdettweiler [2015-11-23 21:22:25] 805*2^1415913-1 is not prime. Res64: 8A054168FA279B49 Time : 0.0 sec. user=mdettweiler [2015-11-23 21:22:26] 807*2^1415913-1 is not prime. Res64: 8567E3915A1EEF10 Time : 0.0 sec. user=mdettweiler [2015-11-23 21:24:24] 837*2^1415913-1 is not prime. Res64: B9429BD9DEF10F0C Time : 0.0 sec. user=mdettweiler [2015-11-23 21:24:24] 895*2^1415913-1 is not prime. Res64: 3FE9A7CD49540B57 Time : 0.0 sec. user=mdettweiler [2015-11-23 21:25:25] 945*2^1415913-1 is not prime. Res64: 0931310BD60B7A22 Time : 0.0 sec. user=mdettweiler [2015-11-23 21:25:25] 951*2^1415913-1 is not prime. Res64: EED5F4994B824723 Time : 0.0 sec. user=mdettweiler [2015-11-23 21:31:57] 617*2^1415914-1 is not prime. Res64: 1135313721AD098A Time : 0.0 sec. user=mdettweiler [2015-11-23 21:31:57] 681*2^1415914-1 is not prime. Res64: 758A0B73B3F7B94A Time : 0.0 sec. user=mdettweiler [2015-11-23 21:40:31] 705*2^1415914-1 is not prime. Res64: 9DCA50974FC037B8 Time : 0.0 sec. user=mdettweiler [2015-11-23 21:40:31] 887*2^1415914-1 is not prime. Res64: 74F4D1CED1DAC50C Time : 0.0 sec. user=mdettweiler [2015-11-23 21:42:29] 975*2^1415914-1 is not prime. Res64: 793A6C0530AAFBD4 Time : 0.0 sec. user=mdettweiler [2015-11-23 21:42:29] 981*2^1415914-1 is not prime. Res64: A9699BDFE842B6E2 Time : 0.0 sec. user=mdettweiler [2015-11-23 21:43:20] 633*2^1415915-1 is not prime. Res64: 2969C54DF84AF49D Time : 0.0 sec. user=mdettweiler [2015-11-23 21:43:20] 735*2^1415915-1 is not prime. Res64: B1DE1D9C2C428CEC Time : 0.0 sec. user=mdettweiler [2015-11-23 21:49:51] 753*2^1415915-1 is not prime. Res64: 92B9EB0C8B271E61 Time : 0.0 sec. user=mdettweiler [2015-11-23 21:49:51] 789*2^1415915-1 is not prime. Res64: 4102793CE244F6E0 Time : 0.0 sec. user=mdettweiler [2015-11-23 21:58:42] 841*2^1415915-1 is not prime. Res64: 386FFA694FFF0E7A Time : 0.0 sec. user=mdettweiler [2015-11-23 21:58:43] 909*2^1415915-1 is not prime. Res64: 37D201E8227A5BAD Time : 0.0 sec. user=mdettweiler [2015-11-23 22:00:27] 915*2^1415915-1 is not prime. Res64: 0C43D6BA91E9E23E Time : 0.0 sec. user=mdettweiler [2015-11-23 22:00:28] 979*2^1415915-1 is not prime. Res64: F236E556D016893D Time : 0.0 sec. user=mdettweiler [2015-11-23 22:01:21] 669*2^1415916-1 is not prime. Res64: 266E8F9C50D1EBB6 Time : 0.0 sec. user=mdettweiler [2015-11-23 22:01:23] 675*2^1415916-1 is not prime. Res64: 0387FAC8DB802984 Time : 0.0 sec. user=mdettweiler [2015-11-23 22:07:43] 803*2^1415916-1 is not prime. Res64: 6A6872A4B6DF8DF8 Time : 0.0 sec. user=mdettweiler [2015-11-23 22:07:43] 879*2^1415916-1 is not prime. Res64: B7FFF07DEA44EF37 Time : 0.0 sec. user=mdettweiler [2015-11-23 22:16:45] 905*2^1415916-1 is not prime. Res64: D7FE0ED476238E1F Time : 0.0 sec. user=mdettweiler [2015-11-23 22:16:46] 969*2^1415916-1 is not prime. Res64: 2BD15095CAF2513E Time : 0.0 sec. user=mdettweiler [2015-11-23 22:18:19] 601*2^1415917-1 is not prime. Res64: 0458CA0F44DF32B8 Time : 0.0 sec. user=mdettweiler [2015-11-23 22:18:20] 639*2^1415917-1 is not prime. Res64: 351CCF86596D02C3 Time : 0.0 sec. user=mdettweiler [2015-11-23 22:19:16] 715*2^1415917-1 is not prime. Res64: 4DC629033AE5DE87 Time : 0.0 sec. user=mdettweiler [2015-11-23 22:19:17] 849*2^1415917-1 is not prime. Res64: F0AC6C0305DD4872 Time : 0.0 sec. user=mdettweiler [2015-11-23 22:25:52] 885*2^1415917-1 is not prime. Res64: C8ED995BC043E548 Time : 0.0 sec. user=mdettweiler [2015-11-23 22:25:52] 939*2^1415917-1 is not prime. Res64: D35E91D61F605350 Time : 0.0 sec. user=mdettweiler [2015-11-23 22:34:38] 693*2^1415918-1 is not prime. Res64: 5DBA699FAFCB07CD Time : 0.0 sec. user=mdettweiler [2015-11-23 22:34:39] 711*2^1415918-1 is not prime. Res64: B83FE8377533487B Time : 0.0 sec. user=mdettweiler [2015-11-23 22:36:10] 713*2^1415918-1 is not prime. Res64: 8C89E9E7B012258C Time : 0.0 sec. user=mdettweiler [2015-11-23 22:36:10] 831*2^1415918-1 is not prime. Res64: 0BAFDA79C144EBFB Time : 0.0 sec. user=mdettweiler [2015-11-23 22:37:17] 921*2^1415918-1 is not prime. Res64: E35E474FF0E79AF0 Time : 0.0 sec. user=mdettweiler [2015-11-23 22:37:17] 935*2^1415918-1 is not prime. Res64: 4135504A34BF8901 Time : 0.0 sec. user=mdettweiler [2015-11-23 22:43:53] 971*2^1415918-1 is not prime. Res64: 1D776A9B85D3E571 Time : 0.0 sec. user=mdettweiler [2015-11-23 22:43:54] 1001*2^1415918-1 is not prime. Res64: 720DAD92DCF9A1F1 Time : 0.0 sec. user=mdettweiler [2015-11-23 22:52:35] 693*2^1415919-1 is not prime. Res64: 5BB66717D35CE2C4 Time : 0.0 sec. user=mdettweiler [2015-11-23 22:52:36] 741*2^1415919-1 is not prime. Res64: 7B6C519D71EA1A11 Time : 0.0 sec. user=mdettweiler [2015-11-23 22:54:19] 745*2^1415919-1 is not prime. Res64: C63A71941A2F5A74 Time : 0.0 sec. user=mdettweiler [2015-11-23 22:54:20] 605*2^1415920-1 is not prime. Res64: E29AF22556414C85 Time : 0.0 sec. user=mdettweiler [2015-11-23 22:55:22] 665*2^1415920-1 is not prime. Res64: FDC29671908444D2 Time : 0.0 sec. user=mdettweiler [2015-11-23 22:55:22] 717*2^1415920-1 is not prime. Res64: 8647373C6B1A1918 Time : 0.0 sec. user=mdettweiler [2015-11-23 23:01:53] 743*2^1415920-1 is not prime. Res64: 4195040F2F4D1BE3 Time : 0.0 sec. user=mdettweiler [2015-11-23 23:01:54] 843*2^1415920-1 is not prime. Res64: BF6E3218E0E657D2 Time : 0.0 sec. user=mdettweiler [2015-11-23 23:10:43] 845*2^1415920-1 is not prime. Res64: B0E1EE58ADDF99E6 Time : 0.0 sec. user=mdettweiler [2015-11-23 23:10:43] 855*2^1415920-1 is not prime. Res64: 46ECA4E884E15041 Time : 0.0 sec. user=mdettweiler [2015-11-23 23:12:25] 897*2^1415920-1 is not prime. Res64: D06DCFC0E535FAAE Time : 0.0 sec. user=mdettweiler [2015-11-23 23:12:26] 983*2^1415920-1 is not prime. Res64: F86BB07E587EF939 Time : 0.0 sec. user=mdettweiler [2015-11-23 23:13:27] 989*2^1415920-1 is not prime. Res64: F22BE8ED1F588851 Time : 0.0 sec. user=mdettweiler [2015-11-23 23:13:28] 615*2^1415921-1 is not prime. Res64: 728703EB0CFFD88F Time : 0.0 sec. user=mdettweiler [2015-11-23 23:20:12] 669*2^1415921-1 is not prime. Res64: 282F61076D5616D1 Time : 0.0 sec. user=mdettweiler [2015-11-23 23:20:12] 741*2^1415921-1 is not prime. Res64: 2CCA4994E6664811 Time : 0.0 sec. user=mdettweiler [2015-11-23 23:28:52] 781*2^1415921-1 is not prime. Res64: 5A477F22B856608B Time : 0.0 sec. user=mdettweiler [2015-11-23 23:28:52] 795*2^1415921-1 is not prime. Res64: F5A4A004D0F6BE7C Time : 0.0 sec. user=mdettweiler [2015-11-23 23:30:26] 865*2^1415921-1 is not prime. Res64: 952333A6F697D191 Time : 0.0 sec. user=mdettweiler [2015-11-23 23:30:26] 937*2^1415921-1 is not prime. Res64: CFC9B0C3E2E9A9A9 Time : 0.0 sec. user=mdettweiler [2015-11-23 23:31:35] 997*2^1415921-1 is not prime. Res64: 17F25EEF8A59EF68 Time : 0.0 sec. user=mdettweiler [2015-11-23 23:31:36] 767*2^1415922-1 is not prime. Res64: 4BE5366013AD346B Time : 0.0 sec. user=mdettweiler [2015-11-23 23:38:17] 917*2^1415922-1 is not prime. Res64: 3279F8A0F413A82A Time : 0.0 sec. user=mdettweiler [2015-11-23 23:38:17] 1001*2^1415922-1 is not prime. Res64: 1A2C52B8ECE8DD98 Time : 0.0 sec. user=mdettweiler [2015-11-23 23:46:48] 631*2^1415923-1 is not prime. Res64: A59B2EE99DAE45E1 Time : 0.0 sec. user=mdettweiler [2015-11-23 23:46:48] 673*2^1415923-1 is not prime. Res64: 0D508920AD04C7CA Time : 0.0 sec. user=mdettweiler [2015-11-23 23:48:21] 723*2^1415923-1 is not prime. Res64: DA3E23EF05C3ED43 Time : 0.0 sec. user=mdettweiler [2015-11-23 23:48:21] 745*2^1415923-1 is not prime. Res64: E72B86BD15E2B222 Time : 0.0 sec. user=mdettweiler [2015-11-23 23:49:38] 783*2^1415923-1 is not prime. Res64: D8AD98669716D413 Time : 0.0 sec. user=mdettweiler [2015-11-23 23:49:39] 793*2^1415923-1 is not prime. Res64: D20B8965D12AB1B9 Time : 0.0 sec. user=mdettweiler [2015-11-23 23:56:21] 913*2^1415923-1 is not prime. Res64: 97ABBA7E45D785E6 Time : 0.0 sec. user=mdettweiler [2015-11-23 23:56:21] 945*2^1415923-1 is not prime. Res64: D5023F6CF07D30CE Time : 0.0 sec.