user=mdettweiler [2016-06-16 00:05:24] 915*2^1432512-1 is not prime. Res64: DE877B853F3DE5BD Time : 0.0 sec. user=mdettweiler [2016-06-16 00:05:26] 935*2^1432512-1 is not prime. Res64: 2F5B23610E5988BA Time : 0.0 sec. user=mdettweiler [2016-06-16 00:05:27] 715*2^1432513-1 is not prime. Res64: 82AF6484CCD688B5 Time : 0.0 sec. user=mdettweiler [2016-06-16 00:05:27] 817*2^1432513-1 is not prime. Res64: EE905F5399D2DE72 Time : 0.0 sec. user=mdettweiler [2016-06-16 00:05:28] 605*2^1432514-1 is not prime. Res64: B8A0DBE9A72A46CD Time : 0.0 sec. user=mdettweiler [2016-06-16 00:10:37] 615*2^1432514-1 is not prime. Res64: AE62CA3FC3F9F7FB Time : 0.0 sec. user=mdettweiler [2016-06-16 00:10:37] 671*2^1432514-1 is not prime. Res64: 118A5C7D34AA08A4 Time : 0.0 sec. user=mdettweiler [2016-06-16 00:10:38] 675*2^1432514-1 is not prime. Res64: 93EB8BBBD4FE8DE8 Time : 0.0 sec. user=mdettweiler [2016-06-16 00:10:38] 755*2^1432514-1 is not prime. Res64: B929633A8352992A Time : 0.0 sec. user=mdettweiler [2016-06-16 00:10:39] 887*2^1432514-1 is not prime. Res64: D491FEABC19431ED Time : 0.0 sec. user=mdettweiler [2016-06-16 00:10:44] 903*2^1432514-1 is not prime. Res64: 1ADDF17D75B8E2E6 Time : 0.0 sec. user=mdettweiler [2016-06-16 00:10:44] 981*2^1432514-1 is not prime. Res64: 6FA63D2ED3E85E8F Time : 0.0 sec. user=mdettweiler [2016-06-16 00:10:44] 983*2^1432514-1 is not prime. Res64: 5C126B9ACA0437E0 Time : 0.0 sec. user=mdettweiler [2016-06-16 00:10:45] 651*2^1432515-1 is not prime. Res64: 1F3D833958F13D80 Time : 0.0 sec. user=mdettweiler [2016-06-16 00:10:45] 669*2^1432515-1 is not prime. Res64: 8BD267A71DB65C72 Time : 0.0 sec. user=mdettweiler [2016-06-16 00:21:10] 723*2^1432515-1 is not prime. Res64: 6C4E3C6DB2442091 Time : 0.0 sec. user=mdettweiler [2016-06-16 00:21:10] 781*2^1432515-1 is not prime. Res64: 2EA5313DB51770BD Time : 0.0 sec. user=mdettweiler [2016-06-16 00:21:11] 783*2^1432515-1 is not prime. Res64: 615BA37C722AD723 Time : 0.0 sec. user=mdettweiler [2016-06-16 00:21:11] 819*2^1432515-1 is not prime. Res64: 7B316042697CF055 Time : 0.0 sec. user=mdettweiler [2016-06-16 00:21:11] 891*2^1432515-1 is not prime. Res64: E7DDD035C915FBE9 Time : 0.0 sec. user=mdettweiler [2016-06-16 00:50:38] 903*2^1432515-1 is not prime. Res64: FB8C793AEE0EC462 Time : 0.0 sec. user=mdettweiler [2016-06-16 00:50:38] 961*2^1432515-1 is not prime. Res64: EED0444A71CE54BA Time : 0.0 sec. user=mdettweiler [2016-06-16 00:50:38] 973*2^1432515-1 is not prime. Res64: D1ABEB5C1F35E472 Time : 0.0 sec. user=mdettweiler [2016-06-16 00:50:39] 749*2^1432516-1 is not prime. Res64: 375ED87A992E90E9 Time : 0.0 sec. user=mdettweiler [2016-06-16 00:50:39] 759*2^1432516-1 is not prime. Res64: D378D8EB6A635D06 Time : 0.0 sec. user=mdettweiler [2016-06-16 00:55:21] 777*2^1432517-1 is not prime. Res64: 9DDC8B6D177D37AE Time : 0.0 sec. user=mdettweiler [2016-06-16 00:55:21] 781*2^1432517-1 is not prime. Res64: CD4E27D19A5E98C1 Time : 0.0 sec. user=mdettweiler [2016-06-16 00:55:21] 795*2^1432517-1 is not prime. Res64: 18E2ADFB4992F769 Time : 0.0 sec. user=mdettweiler [2016-06-16 00:55:22] 981*2^1432517-1 is not prime. Res64: D8D9CB10D6BFCCA0 Time : 0.0 sec. user=mdettweiler [2016-06-16 00:55:22] 997*2^1432517-1 is not prime. Res64: 1F95B7D81B49FEFE Time : 0.0 sec. user=mdettweiler [2016-06-16 00:55:25] 845*2^1432516-1 is not prime. Res64: DF45FBA59653B905 Time : 0.0 sec. user=mdettweiler [2016-06-16 00:55:26] 857*2^1432516-1 is not prime. Res64: CE9CB7D8888522BF Time : 0.0 sec. user=mdettweiler [2016-06-16 00:55:26] 897*2^1432516-1 is not prime. Res64: D6C06C14ADBC35CA Time : 0.0 sec. user=mdettweiler [2016-06-16 00:55:26] 933*2^1432516-1 is not prime. Res64: A8D68DC69B04E4F3 Time : 0.0 sec. user=mdettweiler [2016-06-16 00:55:27] 769*2^1432517-1 is not prime. Res64: 2BC809698C7B1EAB Time : 0.0 sec. user=mdettweiler [2016-06-16 01:05:54] 765*2^1432518-1 is not prime. Res64: C2FEBA96E4ECA493 Time : 0.0 sec. user=mdettweiler [2016-06-16 01:05:55] 801*2^1432518-1 is not prime. Res64: 01D34AEFF8B7FF23 Time : 0.0 sec. user=mdettweiler [2016-06-16 01:05:56] 815*2^1432518-1 is not prime. Res64: BFB6A1A37B791D49 Time : 0.0 sec. user=mdettweiler [2016-06-16 01:05:57] 863*2^1432518-1 is not prime. Res64: 27C06F81726F1103 Time : 0.0 sec. user=mdettweiler [2016-06-16 01:05:57] 867*2^1432518-1 is not prime. Res64: 2C937889B7256872 Time : 0.0 sec. user=mdettweiler [2016-06-16 01:35:19] 875*2^1432518-1 is not prime. Res64: B799F793EA2361BB Time : 0.0 sec. user=mdettweiler [2016-06-16 01:35:19] 893*2^1432518-1 is not prime. Res64: 017513F041F6AFCE Time : 0.0 sec. user=mdettweiler [2016-06-16 01:35:19] 951*2^1432518-1 is not prime. Res64: 038B0B577C8BF334 Time : 0.0 sec. user=mdettweiler [2016-06-16 01:35:20] 977*2^1432518-1 is not prime. Res64: 54628F5BE524F0A8 Time : 0.0 sec. user=mdettweiler [2016-06-16 01:35:20] 621*2^1432519-1 is not prime. Res64: 64A36D85B75ED7E0 Time : 0.0 sec. user=mdettweiler [2016-06-16 01:40:11] 931*2^1432519-1 is not prime. Res64: 3BD7EA4776620A24 Time : 0.0 sec. user=mdettweiler [2016-06-16 01:40:11] 675*2^1432520-1 is not prime. Res64: BC130BB8E58C1907 Time : 0.0 sec. user=mdettweiler [2016-06-16 01:40:12] 813*2^1432520-1 is not prime. Res64: 5E758DFCCEC32A20 Time : 0.0 sec. user=mdettweiler [2016-06-16 01:40:12] 843*2^1432520-1 is not prime. Res64: 47DE603143932AF3 Time : 0.0 sec. user=mdettweiler [2016-06-16 01:40:12] 717*2^1432521-1 is not prime. Res64: 74658BCFE7F8968E Time : 0.0 sec. user=mdettweiler [2016-06-16 01:40:13] 633*2^1432519-1 is not prime. Res64: 895984A6E57B28EE Time : 0.0 sec. user=mdettweiler [2016-06-16 01:40:13] 771*2^1432519-1 is not prime. Res64: FCC74E3619FA69D6 Time : 0.0 sec. user=mdettweiler [2016-06-16 01:40:13] 793*2^1432519-1 is not prime. Res64: 1A8DD5B02C5F5193 Time : 0.0 sec. user=mdettweiler [2016-06-16 01:40:14] 831*2^1432519-1 is not prime. Res64: 7C1FACE7DE7BF053 Time : 0.0 sec. user=mdettweiler [2016-06-16 01:40:14] 913*2^1432519-1 is not prime. Res64: 53DBC308E2852678 Time : 0.0 sec. user=mdettweiler [2016-06-16 01:50:54] 849*2^1432521-1 is not prime. Res64: C0CB332041A34112 Time : 0.0 sec. user=mdettweiler [2016-06-16 01:50:55] 885*2^1432521-1 is not prime. Res64: 2DE1A7DACB4441F1 Time : 0.0 sec. user=mdettweiler [2016-06-16 01:50:55] 783*2^1432523-1 is not prime. Res64: 5CFCD43A7EB9A52A Time : 0.0 sec. user=mdettweiler [2016-06-16 01:50:55] 825*2^1432523-1 is not prime. Res64: C532E5EFBABE0A8C Time : 0.0 sec. user=mdettweiler [2016-06-16 01:50:56] 943*2^1432523-1 is not prime. Res64: 9BAB0585EB3C819B Time : 0.0 sec. user=mdettweiler [2016-06-16 02:19:58] 949*2^1432523-1 is not prime. Res64: 03A108561B087D70 Time : 0.0 sec. user=mdettweiler [2016-06-16 02:19:59] 963*2^1432523-1 is not prime. Res64: 3CF7F5BE56406356 Time : 0.0 sec. user=mdettweiler [2016-06-16 02:19:59] 605*2^1432524-1 is not prime. Res64: 720FE1F61B75D8DB Time : 0.0 sec. user=mdettweiler [2016-06-16 02:20:00] 665*2^1432524-1 is not prime. Res64: 5C61D8EF0DB02414 Time : 0.0 sec. user=mdettweiler [2016-06-16 02:20:00] 675*2^1432524-1 is not prime. Res64: 8639CAA4FA04DD0D Time : 0.0 sec. user=mdettweiler [2016-06-16 02:24:47] 707*2^1432524-1 is not prime. Res64: 25406D5638EA9457 Time : 0.0 sec. user=mdettweiler [2016-06-16 02:24:48] 753*2^1432524-1 is not prime. Res64: 04370514B5F27E4D Time : 0.0 sec. user=mdettweiler [2016-06-16 02:24:48] 783*2^1432524-1 is not prime. Res64: E475F5F9AEF5CBA1 Time : 0.0 sec. user=mdettweiler [2016-06-16 02:24:48] 825*2^1432524-1 is not prime. Res64: 748DDDFC2E03DBB6 Time : 0.0 sec. user=mdettweiler [2016-06-16 02:24:49] 837*2^1432524-1 is not prime. Res64: CFB4C2C62CC9955E Time : 0.0 sec. user=mdettweiler [2016-06-16 02:24:59] 927*2^1432524-1 is not prime. Res64: BC1274A04D5F2DB2 Time : 0.0 sec. user=mdettweiler [2016-06-16 02:25:00] 969*2^1432524-1 is not prime. Res64: 6DC72FC11587B7B5 Time : 0.0 sec. user=mdettweiler [2016-06-16 02:25:00] 675*2^1432525-1 is not prime. Res64: 5D0398CB76E11EF5 Time : 0.0 sec. user=mdettweiler [2016-06-16 02:25:00] 847*2^1432525-1 is not prime. Res64: EB76AE05C4901055 Time : 0.0 sec. user=mdettweiler [2016-06-16 02:25:01] 877*2^1432525-1 is not prime. Res64: 3A5F4C9D35E07B75 Time : 0.0 sec. user=mdettweiler [2016-06-16 02:35:38] 895*2^1432525-1 is not prime. Res64: CCFB8C871CF9F283 Time : 0.0 sec. user=mdettweiler [2016-06-16 02:35:38] 915*2^1432525-1 is not prime. Res64: 5E2D606C2A84A957 Time : 0.0 sec. user=mdettweiler [2016-06-16 02:35:39] 939*2^1432525-1 is not prime. Res64: B32C4E3BA7A878CE Time : 0.0 sec. user=mdettweiler [2016-06-16 02:35:39] 957*2^1432525-1 is not prime. Res64: 901D2E96364EAD3A Time : 0.0 sec. user=mdettweiler [2016-06-16 02:35:40] 603*2^1432526-1 is not prime. Res64: B9A1C953C61DAD55 Time : 0.0 sec. user=mdettweiler [2016-06-16 03:04:47] 651*2^1432526-1 is not prime. Res64: 654E4A6E80DA35C1 Time : 0.0 sec. user=mdettweiler [2016-06-16 03:04:48] 743*2^1432526-1 is not prime. Res64: B8B36A1D60695E20 Time : 0.0 sec. user=mdettweiler [2016-06-16 03:04:49] 831*2^1432526-1 is not prime. Res64: FBFC4F39FCF9B117 Time : 0.0 sec. user=mdettweiler [2016-06-16 03:04:50] 851*2^1432526-1 is not prime. Res64: C195D16CE634C908 Time : 0.0 sec. user=mdettweiler [2016-06-16 03:04:51] 873*2^1432526-1 is not prime. Res64: 60589FA1E81F2519 Time : 0.0 sec. user=mdettweiler [2016-06-16 03:09:32] 903*2^1432526-1 is not prime. Res64: 9A9895A2C843C841 Time : 0.0 sec. user=mdettweiler [2016-06-16 03:09:33] 917*2^1432526-1 is not prime. Res64: 472DEA05BBEE080A Time : 0.0 sec. user=mdettweiler [2016-06-16 03:09:33] 945*2^1432526-1 is not prime. Res64: AE9B6B970731ECF8 Time : 0.0 sec. user=mdettweiler [2016-06-16 03:09:34] 601*2^1432527-1 is not prime. Res64: A7B9D4366A8050E6 Time : 0.0 sec. user=mdettweiler [2016-06-16 03:09:34] 609*2^1432527-1 is not prime. Res64: 0A314CAEA90EDDFA Time : 0.0 sec. user=mdettweiler [2016-06-16 03:09:53] 669*2^1432527-1 is not prime. Res64: 0F7408159F8BC064 Time : 0.0 sec. user=mdettweiler [2016-06-16 03:09:53] 693*2^1432527-1 is not prime. Res64: C9DB013CC32458CC Time : 0.0 sec. user=mdettweiler [2016-06-16 03:09:53] 703*2^1432527-1 is not prime. Res64: 4758DA9051A63C4E Time : 0.0 sec. user=mdettweiler [2016-06-16 03:09:54] 819*2^1432527-1 is not prime. Res64: 621F9DE9E602A379 Time : 0.0 sec. user=mdettweiler [2016-06-16 03:09:54] 873*2^1432527-1 is not prime. Res64: 2B9A8D96A18072F2 Time : 0.0 sec. user=mdettweiler [2016-06-16 03:20:33] 895*2^1432527-1 is not prime. Res64: D22563A696EA2AA9 Time : 0.0 sec. user=mdettweiler [2016-06-16 03:20:34] 919*2^1432527-1 is not prime. Res64: DADC004B2CD45DE1 Time : 0.0 sec. user=mdettweiler [2016-06-16 03:20:34] 963*2^1432527-1 is not prime. Res64: F09E951554D3A22B Time : 0.0 sec. user=mdettweiler [2016-06-16 03:20:35] 603*2^1432528-1 is not prime. Res64: ED1071BD4AF6FF98 Time : 0.0 sec. user=mdettweiler [2016-06-16 03:20:35] 605*2^1432528-1 is not prime. Res64: 33997A456099A7F9 Time : 0.0 sec. user=mdettweiler [2016-06-16 03:51:12] 615*2^1432528-1 is not prime. Res64: BCFDB53DB27F12B6 Time : 0.0 sec. user=mdettweiler [2016-06-16 03:51:12] 629*2^1432528-1 is not prime. Res64: E46B68100B07F4CB Time : 0.0 sec. user=mdettweiler [2016-06-16 03:51:13] 645*2^1432528-1 is not prime. Res64: 84EFD799E269262F Time : 0.0 sec. user=mdettweiler [2016-06-16 03:51:15] 705*2^1432528-1 is not prime. Res64: D0607A6B809FBA52 Time : 0.0 sec. user=mdettweiler [2016-06-16 03:51:16] 755*2^1432528-1 is not prime. Res64: 703A4CD10E5EB3E7 Time : 0.0 sec. user=mdettweiler [2016-06-16 03:55:18] 839*2^1432528-1 is not prime. Res64: D6B3A02E9D907535 Time : 0.0 sec. user=mdettweiler [2016-06-16 03:55:18] 869*2^1432528-1 is not prime. Res64: 0DABAA4F549A14F0 Time : 0.0 sec. user=mdettweiler [2016-06-16 03:55:19] 729*2^1432529-1 is not prime. Res64: FADF65FC4531279F Time : 0.0 sec. user=mdettweiler [2016-06-16 03:55:19] 759*2^1432529-1 is not prime. Res64: EF4DD9814FD3B414 Time : 0.0 sec. user=mdettweiler [2016-06-16 03:55:20] 847*2^1432529-1 is not prime. Res64: A4E0B315E9E2C714 Time : 0.0 sec. user=mdettweiler [2016-06-16 03:55:45] 885*2^1432529-1 is not prime. Res64: 7C85D57AE5564443 Time : 0.0 sec. user=mdettweiler [2016-06-16 03:55:45] 967*2^1432529-1 is not prime. Res64: 9A9180E5232333DC Time : 0.0 sec. user=mdettweiler [2016-06-16 03:55:45] 893*2^1432530-1 is not prime. Res64: F0BED2A81A20314E Time : 0.0 sec. user=mdettweiler [2016-06-16 03:55:46] 945*2^1432530-1 is not prime. Res64: E22E85FEFE672968 Time : 0.0 sec. user=mdettweiler [2016-06-16 03:55:46] 645*2^1432531-1 is not prime. Res64: 372E9C2B0768BC2E Time : 0.0 sec. user=mdettweiler [2016-06-16 04:06:18] 759*2^1432531-1 is not prime. Res64: 6EDF411DE95935D8 Time : 0.0 sec. user=mdettweiler [2016-06-16 04:06:19] 871*2^1432531-1 is not prime. Res64: EF6EE064C2621B22 Time : 0.0 sec. user=mdettweiler [2016-06-16 04:06:20] 925*2^1432531-1 is not prime. Res64: F5888D0C4872FF3F Time : 0.0 sec. user=mdettweiler [2016-06-16 04:06:21] 973*2^1432531-1 is not prime. Res64: CE43F57AD06B2251 Time : 0.0 sec. user=mdettweiler [2016-06-16 04:06:22] 945*2^1432532-1 is not prime. Res64: 02F959BC99746441 Time : 0.0 sec. user=mdettweiler [2016-06-16 04:36:16] 983*2^1432532-1 is not prime. Res64: 4801984A3F87EA88 Time : 0.0 sec. user=mdettweiler [2016-06-16 04:36:17] 607*2^1432533-1 is not prime. Res64: C5C1AE71C4E4834E Time : 0.0 sec. user=mdettweiler [2016-06-16 04:36:17] 679*2^1432533-1 is not prime. Res64: F475DD20EFCC0096 Time : 0.0 sec. user=mdettweiler [2016-06-16 04:36:17] 741*2^1432533-1 is not prime. Res64: 937F2C52743D7E67 Time : 0.0 sec. user=mdettweiler [2016-06-16 04:36:18] 945*2^1432533-1 is not prime. Res64: 50505C0056F07BB2 Time : 0.0 sec. user=mdettweiler [2016-06-16 04:39:59] 783*2^1432534-1 is not prime. Res64: 726CF5AAB6654347 Time : 0.0 sec. user=mdettweiler [2016-06-16 04:40:00] 813*2^1432534-1 is not prime. Res64: 4B8E55C87170E655 Time : 0.0 sec. user=mdettweiler [2016-06-16 04:40:00] 965*2^1432534-1 is not prime. Res64: 25CD7D38ABD99FE5 Time : 0.0 sec. user=mdettweiler [2016-06-16 04:40:01] 651*2^1432535-1 is not prime. Res64: EB1C9817D4A80DF8 Time : 0.0 sec. user=mdettweiler [2016-06-16 04:40:01] 693*2^1432535-1 is not prime. Res64: 3A8E6EEF05BDE84B Time : 0.0 sec. user=mdettweiler [2016-06-16 04:40:34] 859*2^1432535-1 is not prime. Res64: 92EE87C568D1FDF3 Time : 0.0 sec. user=mdettweiler [2016-06-16 04:40:35] 909*2^1432535-1 is not prime. Res64: 2A391682C0271CF6 Time : 0.0 sec. user=mdettweiler [2016-06-16 04:40:35] 719*2^1432536-1 is not prime. Res64: 54400C57582D662E Time : 0.0 sec. user=mdettweiler [2016-06-16 04:40:35] 765*2^1432536-1 is not prime. Res64: 4E1649EE4F3B8F36 Time : 0.0 sec. user=mdettweiler [2016-06-16 04:40:36] 773*2^1432536-1 is not prime. Res64: 9519171048C75F1F Time : 0.0 sec. user=mdettweiler [2016-06-16 04:51:10] 815*2^1432536-1 is not prime. Res64: 503B2E99A292B28E Time : 0.0 sec. user=mdettweiler [2016-06-16 04:51:10] 839*2^1432536-1 is not prime. Res64: BF4EB3BF4ED8BF96 Time : 0.0 sec. user=mdettweiler [2016-06-16 04:51:10] 845*2^1432536-1 is not prime. Res64: 3E6ADAB3F1B89894 Time : 0.0 sec. user=mdettweiler [2016-06-16 04:51:11] 867*2^1432536-1 is not prime. Res64: 0F38EE1654C923A3 Time : 0.0 sec. user=mdettweiler [2016-06-16 04:51:11] 993*2^1432536-1 is not prime. Res64: F290899511CD91E0 Time : 0.0 sec. user=mdettweiler [2016-06-16 05:20:58] 649*2^1432537-1 is not prime. Res64: F8306FCAF45F7407 Time : 0.0 sec. user=mdettweiler [2016-06-16 05:20:59] 685*2^1432537-1 is not prime. Res64: 373535A900F7E675 Time : 0.0 sec. user=mdettweiler [2016-06-16 05:20:59] 691*2^1432537-1 is not prime. Res64: C96BBDBCFE160729 Time : 0.0 sec. user=mdettweiler [2016-06-16 05:21:00] 741*2^1432537-1 is not prime. Res64: 6620EBDB038CA526 Time : 0.0 sec. user=mdettweiler [2016-06-16 05:21:00] 847*2^1432537-1 is not prime. Res64: 8A8A8781DA2189EF Time : 0.0 sec. user=mdettweiler [2016-06-16 05:24:54] 937*2^1432537-1 is not prime. Res64: 74C3FAE62626E48F Time : 0.0 sec. user=mdettweiler [2016-06-16 05:24:55] 955*2^1432537-1 is not prime. Res64: E0A27DB58B04000E Time : 0.0 sec. user=mdettweiler [2016-06-16 05:24:55] 981*2^1432537-1 is not prime. Res64: 81EFD5B6A2646474 Time : 0.0 sec. user=mdettweiler [2016-06-16 05:24:56] 633*2^1432538-1 is not prime. Res64: D13DFDA5E730690F Time : 0.0 sec. user=mdettweiler [2016-06-16 05:24:56] 635*2^1432538-1 is not prime. Res64: E0DF66E28A498537 Time : 0.0 sec. user=mdettweiler [2016-06-16 05:25:32] 641*2^1432538-1 is not prime. Res64: 290042AE799B673A Time : 0.0 sec. user=mdettweiler [2016-06-16 05:25:33] 657*2^1432538-1 is not prime. Res64: AAD6EB407BA5ACE7 Time : 0.0 sec. user=mdettweiler [2016-06-16 05:25:33] 683*2^1432538-1 is not prime. Res64: C35A96CEFB9820BD Time : 0.0 sec. user=mdettweiler [2016-06-16 05:25:33] 713*2^1432538-1 is not prime. Res64: 4FD8B4CB2D323B77 Time : 0.0 sec. user=mdettweiler [2016-06-16 05:25:34] 861*2^1432538-1 is not prime. Res64: 8E6C27329227F33B Time : 0.0 sec. user=mdettweiler [2016-06-16 05:36:01] 875*2^1432538-1 is not prime. Res64: 090B63EA734D13CB Time : 0.0 sec. user=mdettweiler [2016-06-16 05:36:02] 887*2^1432538-1 is not prime. Res64: 11889EC3368BEA3A Time : 0.0 sec. user=mdettweiler [2016-06-16 05:36:02] 1001*2^1432538-1 is not prime. Res64: 9F7C2F31403EB701 Time : 0.0 sec. user=mdettweiler [2016-06-16 05:36:02] 711*2^1432539-1 is not prime. Res64: 416DBB74F53A1328 Time : 0.0 sec. user=mdettweiler [2016-06-16 05:36:03] 751*2^1432539-1 is not prime. Res64: 5671F8414967932D Time : 0.0 sec. user=mdettweiler [2016-06-16 06:05:54] 769*2^1432539-1 is not prime. Res64: 3FF503B930A57D1E Time : 0.0 sec. user=mdettweiler [2016-06-16 06:05:55] 861*2^1432539-1 is not prime. Res64: 81DC604319ACC7EE Time : 0.0 sec. user=mdettweiler [2016-06-16 06:05:56] 879*2^1432539-1 is not prime. Res64: ADB7E83CC443A6A7 Time : 0.0 sec. user=mdettweiler [2016-06-16 06:05:57] 895*2^1432539-1 is not prime. Res64: 8B84D997764F21FA Time : 0.0 sec. user=mdettweiler [2016-06-16 06:05:59] 913*2^1432539-1 is not prime. Res64: 1DEC1B1431A84C1F Time : 0.0 sec. user=mdettweiler [2016-06-16 06:09:50] 635*2^1432540-1 is not prime. Res64: E8D2394301EB24E8 Time : 0.0 sec. user=mdettweiler [2016-06-16 06:09:51] 647*2^1432540-1 is not prime. Res64: 75E4004C7AE96B46 Time : 0.0 sec. user=mdettweiler [2016-06-16 06:09:51] 677*2^1432540-1 is not prime. Res64: A53CD03C0A7EF6B5 Time : 0.0 sec. user=mdettweiler [2016-06-16 06:09:52] 695*2^1432540-1 is not prime. Res64: 043A5466C8C14E3C Time : 0.0 sec. user=mdettweiler [2016-06-16 06:09:52] 707*2^1432540-1 is not prime. Res64: 41CEBE931CC3D3E5 Time : 0.0 sec. user=mdettweiler [2016-06-16 06:10:20] 717*2^1432540-1 is not prime. Res64: B445D3CA933E161D Time : 0.0 sec. user=mdettweiler [2016-06-16 06:10:20] 755*2^1432540-1 is not prime. Res64: FC568773C93396D1 Time : 0.0 sec. user=mdettweiler [2016-06-16 06:10:20] 777*2^1432540-1 is not prime. Res64: B0D19FD3106D4EE8 Time : 0.0 sec. user=mdettweiler [2016-06-16 06:10:21] 813*2^1432540-1 is not prime. Res64: 50BBB3C51D922D74 Time : 0.0 sec. user=mdettweiler [2016-06-16 06:10:21] 833*2^1432540-1 is not prime. Res64: E183DEF4EA11E4D8 Time : 0.0 sec. user=mdettweiler [2016-06-16 06:20:54] 905*2^1432540-1 is not prime. Res64: 557DCF0E36A1E3F8 Time : 0.0 sec. user=mdettweiler [2016-06-16 06:20:54] 607*2^1432541-1 is not prime. Res64: E88FF59AF565A12A Time : 0.0 sec. user=mdettweiler [2016-06-16 06:20:55] 631*2^1432541-1 is not prime. Res64: 4E59277229B18BEF Time : 0.0 sec. user=mdettweiler [2016-06-16 06:20:55] 675*2^1432541-1 is not prime. Res64: 59A7C2EE2E341633 Time : 0.0 sec. user=mdettweiler [2016-06-16 06:20:55] 777*2^1432541-1 is not prime. Res64: 75391905DCA33437 Time : 0.0 sec. user=mdettweiler [2016-06-16 06:51:05] 781*2^1432541-1 is not prime. Res64: 1FF1700554F19A9D Time : 0.0 sec. user=mdettweiler [2016-06-16 06:51:06] 795*2^1432541-1 is not prime. Res64: 1B51D3C142E187C3 Time : 0.0 sec. user=mdettweiler [2016-06-16 06:51:06] 879*2^1432541-1 is not prime. Res64: 1E0B4224F85B37B9 Time : 0.0 sec. user=mdettweiler [2016-06-16 06:51:06] 889*2^1432541-1 is not prime. Res64: 48502DF8BDF5801B Time : 0.0 sec. user=mdettweiler [2016-06-16 06:51:07] 635*2^1432542-1 is not prime. Res64: 3381CB0A155C0CBC Time : 0.0 sec. user=mdettweiler [2016-06-16 06:54:28] 683*2^1432542-1 is not prime. Res64: D6EE520F71CEBA72 Time : 0.0 sec. user=mdettweiler [2016-06-16 06:54:28] 821*2^1432542-1 is not prime. Res64: 1A0868CDB6B1796C Time : 0.0 sec. user=mdettweiler [2016-06-16 06:54:29] 833*2^1432542-1 is not prime. Res64: 0918AF8BA6AEF9AD Time : 0.0 sec. user=mdettweiler [2016-06-16 06:54:29] 885*2^1432542-1 is not prime. Res64: 821237C8CA373061 Time : 0.0 sec. user=mdettweiler [2016-06-16 06:54:30] 893*2^1432542-1 is not prime. Res64: E92846CEA9336B31 Time : 0.0 sec. user=mdettweiler [2016-06-16 06:55:10] 941*2^1432542-1 is not prime. Res64: 5C90DF39ADA5E772 Time : 0.0 sec. user=mdettweiler [2016-06-16 06:55:11] 685*2^1432543-1 is not prime. Res64: 5F46B1B39AAB28AF Time : 0.0 sec. user=mdettweiler [2016-06-16 06:55:11] 703*2^1432543-1 is not prime. Res64: 903E11F440FF17DD Time : 0.0 sec. user=mdettweiler [2016-06-16 06:55:11] 723*2^1432543-1 is not prime. Res64: 8E0F2E354FB0EEA7 Time : 0.0 sec. user=mdettweiler [2016-06-16 06:55:12] 789*2^1432543-1 is not prime. Res64: C42666E28FB01214 Time : 0.0 sec. user=mdettweiler [2016-06-16 07:05:40] 819*2^1432543-1 is not prime. Res64: 0870680799E8E503 Time : 0.0 sec. user=mdettweiler [2016-06-16 07:05:42] 831*2^1432543-1 is not prime. Res64: 0063252335B94EAF Time : 0.0 sec. user=mdettweiler [2016-06-16 07:05:43] 885*2^1432543-1 is not prime. Res64: 10CA0FE6D96F8C39 Time : 0.0 sec. user=mdettweiler [2016-06-16 07:05:44] 615*2^1432544-1 is not prime. Res64: 27F6CD368538F77D Time : 0.0 sec. user=mdettweiler [2016-06-16 07:05:45] 687*2^1432544-1 is not prime. Res64: 60E904A9FE1EF0EF Time : 0.0 sec. user=mdettweiler [2016-06-16 07:36:07] 747*2^1432544-1 is not prime. Res64: 1F2EC3627B072440 Time : 0.0 sec. user=mdettweiler [2016-06-16 07:36:08] 753*2^1432544-1 is not prime. Res64: C7A2F21E1646181A Time : 0.0 sec. user=mdettweiler [2016-06-16 07:36:08] 759*2^1432544-1 is not prime. Res64: 48D852C547335718 Time : 0.0 sec. user=mdettweiler [2016-06-16 07:36:08] 857*2^1432544-1 is not prime. Res64: 66E405F42AE28964 Time : 0.0 sec. user=mdettweiler [2016-06-16 07:36:09] 875*2^1432544-1 is not prime. Res64: 25FF2A94BC7AEDFA Time : 0.0 sec. user=mdettweiler [2016-06-16 07:39:19] 899*2^1432544-1 is not prime. Res64: F96AF759F674D20A Time : 0.0 sec. user=mdettweiler [2016-06-16 07:39:20] 639*2^1432545-1 is not prime. Res64: EC13546254EAEDCD Time : 0.0 sec. user=mdettweiler [2016-06-16 07:39:20] 649*2^1432545-1 is not prime. Res64: ACBF88FEFEB442FE Time : 0.0 sec. user=mdettweiler [2016-06-16 07:39:21] 699*2^1432545-1 is not prime. Res64: 412871652C80D194 Time : 0.0 sec. user=mdettweiler [2016-06-16 07:39:21] 741*2^1432545-1 is not prime. Res64: E830F017F94AF26F Time : 0.0 sec. user=mdettweiler [2016-06-16 07:39:48] 837*2^1432545-1 is not prime. Res64: 5D7AA705551BB1A6 Time : 0.0 sec. user=mdettweiler [2016-06-16 07:39:48] 885*2^1432545-1 is not prime. Res64: A2828EB237E8E37F Time : 0.0 sec. user=mdettweiler [2016-06-16 07:39:48] 889*2^1432545-1 is not prime. Res64: BDE50BE03AFFEAA7 Time : 0.0 sec. user=mdettweiler [2016-06-16 07:39:49] 915*2^1432545-1 is not prime. Res64: 26C48026CB475F80 Time : 0.0 sec. user=mdettweiler [2016-06-16 07:39:49] 937*2^1432545-1 is not prime. Res64: B069C63DB323F727 Time : 0.0 sec. user=mdettweiler [2016-06-16 07:50:44] 611*2^1432546-1 is not prime. Res64: A75FC4A6575054E2 Time : 0.0 sec. user=mdettweiler [2016-06-16 07:50:44] 735*2^1432546-1 is not prime. Res64: 7A22E62C29BD29C8 Time : 0.0 sec. user=mdettweiler [2016-06-16 07:50:44] 765*2^1432546-1 is not prime. Res64: DE9A32A4939BC069 Time : 0.0 sec. user=mdettweiler [2016-06-16 07:50:45] 803*2^1432546-1 is not prime. Res64: 94284647B2011880 Time : 0.0 sec. user=mdettweiler [2016-06-16 07:50:45] 843*2^1432546-1 is not prime. Res64: 58D5572A558B116A Time : 0.0 sec. user=mdettweiler [2016-06-16 08:20:57] 947*2^1432546-1 is not prime. Res64: 037F43001E52A223 Time : 0.0 sec. user=mdettweiler [2016-06-16 08:20:57] 993*2^1432546-1 is not prime. Res64: EB5E2E204BAEF319 Time : 0.0 sec. user=mdettweiler [2016-06-16 08:20:57] 603*2^1432547-1 is not prime. Res64: 132FF6E41569BB62 Time : 0.0 sec. user=mdettweiler [2016-06-16 08:20:58] 669*2^1432547-1 is not prime. Res64: 968A594BFA792B9D Time : 0.0 sec. user=mdettweiler [2016-06-16 08:20:58] 703*2^1432547-1 is not prime. Res64: DF142F076C771790 Time : 0.0 sec. user=mdettweiler [2016-06-16 08:24:08] 813*2^1432547-1 is not prime. Res64: D58D7B76D483CD14 Time : 0.0 sec. user=mdettweiler [2016-06-16 08:24:08] 823*2^1432547-1 is not prime. Res64: 9ED3DD4C9D7338F4 Time : 0.0 sec. user=mdettweiler [2016-06-16 08:24:09] 843*2^1432547-1 is not prime. Res64: 51FF2A9BCED39B35 Time : 0.0 sec. user=mdettweiler [2016-06-16 08:24:09] 859*2^1432547-1 is not prime. Res64: 839E1FAEA390B9AC Time : 0.0 sec. user=mdettweiler [2016-06-16 08:24:09] 913*2^1432547-1 is not prime. Res64: 32EFD6168D94255E Time : 0.0 sec. user=mdettweiler [2016-06-16 08:24:46] 981*2^1432547-1 is not prime. Res64: C544470BD47B4922 Time : 0.0 sec. user=mdettweiler [2016-06-16 08:24:47] 657*2^1432548-1 is not prime. Res64: 131DE3AD8B91CAD3 Time : 0.0 sec. user=mdettweiler [2016-06-16 08:24:47] 689*2^1432548-1 is not prime. Res64: 92213F4309A9DDD9 Time : 0.0 sec. user=mdettweiler [2016-06-16 08:24:48] 765*2^1432548-1 is not prime. Res64: CD930C1AEC639F7A Time : 0.0 sec. user=mdettweiler [2016-06-16 08:24:48] 767*2^1432548-1 is not prime. Res64: 2F773F678B66A6B5 Time : 0.0 sec. user=mdettweiler [2016-06-16 08:35:35] 789*2^1432548-1 is not prime. Res64: C86A90CDE33EA26F Time : 0.0 sec. user=mdettweiler [2016-06-16 08:35:36] 809*2^1432548-1 is not prime. Res64: 1C53C90A33B0BB15 Time : 0.0 sec. user=mdettweiler [2016-06-16 08:35:36] 839*2^1432548-1 is not prime. Res64: A1373FF549480FA4 Time : 0.0 sec. user=mdettweiler [2016-06-16 08:35:37] 619*2^1432549-1 is not prime. Res64: 00633D64770D042D Time : 0.0 sec. user=mdettweiler [2016-06-16 08:35:37] 799*2^1432549-1 is not prime. Res64: A708D9B183FFFFBF Time : 0.0 sec. user=mdettweiler [2016-06-16 09:05:55] 895*2^1432549-1 is not prime. Res64: 315FFF2FB25C4C77 Time : 0.0 sec. user=mdettweiler [2016-06-16 09:05:56] 945*2^1432549-1 is not prime. Res64: 4D04F34EB0BB8B37 Time : 0.0 sec. user=mdettweiler [2016-06-16 09:05:57] 985*2^1432549-1 is not prime. Res64: 5D69B6A998B5EC1C Time : 0.0 sec. user=mdettweiler [2016-06-16 09:05:58] 645*2^1432550-1 is not prime. Res64: CAE512EB7F60DB67 Time : 0.0 sec. user=mdettweiler [2016-06-16 09:06:00] 801*2^1432550-1 is not prime. Res64: ACD45BCA4AA22E27 Time : 0.0 sec. user=mdettweiler [2016-06-16 09:08:49] 827*2^1432550-1 is not prime. Res64: 93A3E9FB862AEB22 Time : 0.0 sec. user=mdettweiler [2016-06-16 09:08:49] 857*2^1432550-1 is not prime. Res64: FE4135C6C80C4FCD Time : 0.0 sec. user=mdettweiler [2016-06-16 09:08:50] 887*2^1432550-1 is not prime. Res64: 2A85C7611C499ECD Time : 0.0 sec. user=mdettweiler [2016-06-16 09:08:50] 923*2^1432550-1 is not prime. Res64: BFEBCEA586434041 Time : 0.0 sec. user=mdettweiler [2016-06-16 09:08:51] 957*2^1432550-1 is not prime. Res64: 13232B712D3181DB Time : 0.0 sec. user=mdettweiler [2016-06-16 09:09:42] 981*2^1432550-1 is not prime. Res64: 46F17961D2D15522 Time : 0.0 sec. user=mdettweiler [2016-06-16 09:09:42] 651*2^1432551-1 is not prime. Res64: 1006F55A101D8A5C Time : 0.0 sec. user=mdettweiler [2016-06-16 09:09:42] 745*2^1432551-1 is not prime. Res64: 6D9C7626EA42190D Time : 0.0 sec. user=mdettweiler [2016-06-16 09:09:43] 871*2^1432551-1 is not prime. Res64: 42DB67839565C006 Time : 0.0 sec. user=mdettweiler [2016-06-16 09:09:43] 961*2^1432551-1 is not prime. Res64: 87F4EE0B2854AB82 Time : 0.0 sec. user=mdettweiler [2016-06-16 09:20:16] 969*2^1432551-1 is not prime. Res64: 98873B6B5C6A1E44 Time : 0.0 sec. user=mdettweiler [2016-06-16 09:20:16] 603*2^1432552-1 is not prime. Res64: 1E786E57625842D1 Time : 0.0 sec. user=mdettweiler [2016-06-16 09:20:17] 605*2^1432552-1 is not prime. Res64: B8936A79342A1E27 Time : 0.0 sec. user=mdettweiler [2016-06-16 09:20:17] 617*2^1432552-1 is not prime. Res64: 600E26FF4B345E56 Time : 0.0 sec. user=mdettweiler [2016-06-16 09:20:18] 623*2^1432552-1 is not prime. Res64: DFCEDA4DD6C2FA70 Time : 0.0 sec. user=mdettweiler [2016-06-16 09:50:55] 743*2^1432552-1 is not prime. Res64: 7A1AE61F0D6C61A3 Time : 0.0 sec. user=mdettweiler [2016-06-16 09:50:55] 827*2^1432552-1 is not prime. Res64: E353F72FBA07848A Time : 0.0 sec. user=mdettweiler [2016-06-16 09:50:55] 923*2^1432552-1 is not prime. Res64: 004533B69212DFA9 Time : 0.0 sec. user=mdettweiler [2016-06-16 09:50:56] 983*2^1432552-1 is not prime. Res64: 50FAB97E8738A617 Time : 0.0 sec. user=mdettweiler [2016-06-16 09:50:56] 691*2^1432553-1 is not prime. Res64: BD0ED710B8A305DF Time : 0.0 sec. user=mdettweiler [2016-06-16 09:53:31] 699*2^1432553-1 is not prime. Res64: 2AAFFD0813774618 Time : 0.0 sec. user=mdettweiler [2016-06-16 09:53:31] 735*2^1432553-1 is not prime. Res64: 2C3CCB4CEDFB126E Time : 0.0 sec. user=mdettweiler [2016-06-16 09:53:31] 889*2^1432553-1 is not prime. Res64: 994BF2AB90D16434 Time : 0.0 sec. user=mdettweiler [2016-06-16 09:53:32] 925*2^1432553-1 is not prime. Res64: 0DB395D382E48279 Time : 0.0 sec. user=mdettweiler [2016-06-16 09:53:32] 949*2^1432553-1 is not prime. Res64: C1F8A65926D04A01 Time : 0.0 sec. user=mdettweiler [2016-06-16 09:54:22] 981*2^1432553-1 is not prime. Res64: ED91665046CE303F Time : 0.0 sec. user=mdettweiler [2016-06-16 09:54:22] 615*2^1432554-1 is not prime. Res64: 32814A904F4418A2 Time : 0.0 sec. user=mdettweiler [2016-06-16 09:54:23] 641*2^1432554-1 is not prime. Res64: 446F0A2448648581 Time : 0.0 sec. user=mdettweiler [2016-06-16 09:54:23] 747*2^1432554-1 is not prime. Res64: 9F7481363EA65D18 Time : 0.0 sec. user=mdettweiler [2016-06-16 09:54:24] 803*2^1432554-1 is not prime. Res64: 7F4027191D75F41D Time : 0.0 sec. user=mdettweiler [2016-06-16 10:05:05] 915*2^1432554-1 is not prime. Res64: 47541EFEAAC6804F Time : 0.0 sec. user=mdettweiler [2016-06-16 10:05:06] 941*2^1432554-1 is not prime. Res64: 73F75C9F5E24BF72 Time : 0.0 sec. user=mdettweiler [2016-06-16 10:05:07] 993*2^1432554-1 is not prime. Res64: 75288061A9FAEC06 Time : 0.0 sec. user=mdettweiler [2016-06-16 10:05:08] 735*2^1432555-1 is not prime. Res64: 51138BD816C9329D Time : 0.0 sec. user=mdettweiler [2016-06-16 10:05:09] 759*2^1432555-1 is not prime. Res64: 3C17783CB29E272B Time : 0.0 sec. user=mdettweiler [2016-06-16 10:35:27] 873*2^1432555-1 is not prime. Res64: 21BE3D924D31B65F Time : 0.0 sec. user=mdettweiler [2016-06-16 10:35:27] 915*2^1432555-1 is not prime. Res64: 2EC6184A6D5F19D1 Time : 0.0 sec. user=mdettweiler [2016-06-16 10:35:28] 951*2^1432555-1 is not prime. Res64: 9BAB37F46A5C2F84 Time : 0.0 sec. user=mdettweiler [2016-06-16 10:35:28] 999*2^1432555-1 is not prime. Res64: 17C7E2E1DE83747C Time : 0.0 sec. user=mdettweiler [2016-06-16 10:35:28] 617*2^1432556-1 is not prime. Res64: C7D3C70AA1CECC4F Time : 0.0 sec. user=mdettweiler [2016-06-16 10:38:07] 717*2^1432556-1 is not prime. Res64: 5EA667DF826BFDF3 Time : 0.0 sec. user=mdettweiler [2016-06-16 10:38:07] 719*2^1432556-1 is not prime. Res64: AA88D777A341B27E Time : 0.0 sec. user=mdettweiler [2016-06-16 10:38:07] 839*2^1432556-1 is not prime. Res64: 1FB7FBBA8103F86C Time : 0.0 sec. user=mdettweiler [2016-06-16 10:38:08] 935*2^1432556-1 is not prime. Res64: FDFCDD7E83D3F8A4 Time : 0.0 sec. user=mdettweiler [2016-06-16 10:38:08] 953*2^1432556-1 is not prime. Res64: 0D0CAC449160C04A Time : 0.0 sec. user=mdettweiler [2016-06-16 10:38:54] 983*2^1432556-1 is not prime. Res64: 42D14DD91A58A7CD Time : 0.0 sec. user=mdettweiler [2016-06-16 10:38:54] 627*2^1432557-1 is not prime. Res64: 23286E7B161A501C Time : 0.0 sec. user=mdettweiler [2016-06-16 10:38:54] 649*2^1432557-1 is not prime. Res64: AA89AA3A42BF7816 Time : 0.0 sec. user=mdettweiler [2016-06-16 10:38:55] 669*2^1432557-1 is not prime. Res64: D8DA9D7B69235356 Time : 0.0 sec. user=mdettweiler [2016-06-16 10:38:55] 769*2^1432557-1 is not prime. Res64: 3ECC5CABC875E13D Time : 0.0 sec. user=mdettweiler [2016-06-16 10:50:03] 647*2^1432558-1 is not prime. Res64: 0848BD27A3C71D11 Time : 0.0 sec. user=mdettweiler [2016-06-16 10:50:03] 773*2^1432558-1 is not prime. Res64: 32B0E5D974C4529C Time : 0.0 sec. user=mdettweiler [2016-06-16 10:50:03] 815*2^1432558-1 is not prime. Res64: D5302F9664DAD11A Time : 0.0 sec. user=mdettweiler [2016-06-16 10:50:04] 915*2^1432558-1 is not prime. Res64: 2F77AFEF97EAA2D8 Time : 0.0 sec. user=mdettweiler [2016-06-16 10:50:04] 923*2^1432558-1 is not prime. Res64: 5F5C2C3537F679D5 Time : 0.0 sec. user=mdettweiler [2016-06-16 11:20:28] 951*2^1432558-1 is not prime. Res64: 7EEBEC6B8A302EBC Time : 0.0 sec. user=mdettweiler [2016-06-16 11:20:28] 1001*2^1432558-1 is not prime. Res64: 9BB86A2960B412B2 Time : 0.0 sec. user=mdettweiler [2016-06-16 11:20:29] 619*2^1432559-1 is not prime. Res64: 50CA7115B8B27F43 Time : 0.0 sec. user=mdettweiler [2016-06-16 11:20:29] 669*2^1432559-1 is not prime. Res64: 4FB6E796457DF497 Time : 0.0 sec. user=mdettweiler [2016-06-16 11:20:30] 685*2^1432559-1 is not prime. Res64: 84C84B40C3F57D55 Time : 0.0 sec. user=mdettweiler [2016-06-16 11:22:48] 693*2^1432559-1 is not prime. Res64: EB3C16A45705A57C Time : 0.0 sec. user=mdettweiler [2016-06-16 11:22:49] 741*2^1432559-1 is not prime. Res64: 221DCC91A0457CDF Time : 0.0 sec. user=mdettweiler [2016-06-16 11:22:49] 753*2^1432559-1 is not prime. Res64: 76B572A1757CA53A Time : 0.0 sec. user=mdettweiler [2016-06-16 11:22:49] 789*2^1432559-1 is not prime. Res64: A6AF072EAE63A8DE Time : 0.0 sec. user=mdettweiler [2016-06-16 11:22:50] 859*2^1432559-1 is not prime. Res64: AC2CDC5D95275C5C Time : 0.0 sec. user=mdettweiler [2016-06-16 11:23:44] 865*2^1432559-1 is not prime. Res64: 3F95E5E3CECE9B40 Time : 0.0 sec. user=mdettweiler [2016-06-16 11:23:44] 939*2^1432559-1 is not prime. Res64: 3FCC332AD4B49FF4 Time : 0.0 sec. user=mdettweiler [2016-06-16 11:23:44] 991*2^1432559-1 is not prime. Res64: 8B0E2B0EA5622F30 Time : 0.0 sec. user=mdettweiler [2016-06-16 11:23:45] 633*2^1432560-1 is not prime. Res64: 179F748080877D78 Time : 0.0 sec. user=mdettweiler [2016-06-16 11:23:45] 845*2^1432560-1 is not prime. Res64: F726C541570AEACC Time : 0.0 sec. user=mdettweiler [2016-06-16 11:35:05] 887*2^1432560-1 is not prime. Res64: E4D1C8EA3C6D408C Time : 0.0 sec. user=mdettweiler [2016-06-16 11:35:05] 893*2^1432560-1 is not prime. Res64: 1A5B1A20E3191209 Time : 0.0 sec. user=mdettweiler [2016-06-16 11:35:05] 933*2^1432560-1 is not prime. Res64: C6EAD21649A451B9 Time : 0.0 sec. user=mdettweiler [2016-06-16 11:35:06] 601*2^1432561-1 is not prime. Res64: E14A872733543484 Time : 0.0 sec. user=mdettweiler [2016-06-16 11:35:06] 691*2^1432561-1 is not prime. Res64: 93AD1A2C1A4BFB3E Time : 0.0 sec. user=mdettweiler [2016-06-16 12:05:17] 701*2^1432562-1 is not prime. Res64: 8DE0CDA94E206357 Time : 0.0 sec. user=mdettweiler [2016-06-16 12:05:20] 921*2^1432562-1 is not prime. Res64: A1FB8BC6750615A0 Time : 0.0 sec. user=mdettweiler [2016-06-16 12:05:22] 951*2^1432562-1 is not prime. Res64: A20C7618C22A0BCB Time : 0.0 sec. user=mdettweiler [2016-06-16 12:05:23] 1001*2^1432562-1 is not prime. Res64: 033E009E65EE8C7C Time : 0.0 sec. user=mdettweiler [2016-06-16 12:05:25] 625*2^1432563-1 is not prime. Res64: FF9FECCE284C7A42 Time : 0.0 sec. user=mdettweiler [2016-06-16 12:07:36] 639*2^1432563-1 is not prime. Res64: 2B3C21C9E8576778 Time : 0.0 sec. user=mdettweiler [2016-06-16 12:07:36] 663*2^1432563-1 is not prime. Res64: 78EE51D9309BE211 Time : 0.0 sec. user=mdettweiler [2016-06-16 12:07:37] 721*2^1432563-1 is not prime. Res64: 9ACCDE186FD62C83 Time : 0.0 sec. user=mdettweiler [2016-06-16 12:07:37] 805*2^1432563-1 is not prime. Res64: 801A98B66CE5C9BD Time : 0.0 sec. user=mdettweiler [2016-06-16 12:07:38] 859*2^1432563-1 is not prime. Res64: C8293D0C72F1B1F5 Time : 0.0 sec. user=mdettweiler [2016-06-16 12:08:23] 945*2^1432563-1 is not prime. Res64: 7590833883D92A11 Time : 0.0 sec. user=mdettweiler [2016-06-16 12:08:23] 963*2^1432563-1 is not prime. Res64: 7BF3F07643CE49E5 Time : 0.0 sec. user=mdettweiler [2016-06-16 12:08:23] 969*2^1432563-1 is not prime. Res64: 229026EB9CAD14BC Time : 0.0 sec. user=mdettweiler [2016-06-16 12:08:24] 623*2^1432564-1 is not prime. Res64: A554A0EB25249087 Time : 0.0 sec. user=mdettweiler [2016-06-16 12:08:24] 719*2^1432564-1 is not prime. Res64: 5F9A553A8657C940 Time : 0.0 sec. user=mdettweiler [2016-06-16 12:19:49] 765*2^1432564-1 is not prime. Res64: 814D440276EF1DDF Time : 0.0 sec. user=mdettweiler [2016-06-16 12:19:50] 803*2^1432564-1 is not prime. Res64: 9CC63632E73B811F Time : 0.0 sec. user=mdettweiler [2016-06-16 12:19:50] 825*2^1432564-1 is not prime. Res64: 33797283D42596B1 Time : 0.0 sec. user=mdettweiler [2016-06-16 12:19:51] 843*2^1432564-1 is not prime. Res64: B1F75559419D6E8B Time : 0.0 sec. user=mdettweiler [2016-06-16 12:19:51] 989*2^1432564-1 is not prime. Res64: 6DE458D5B69E3E79 Time : 0.0 sec. user=mdettweiler [2016-06-16 12:50:35] 657*2^1432565-1 is not prime. Res64: CB19D4B81AB2B0F1 Time : 0.0 sec. user=mdettweiler [2016-06-16 12:50:36] 715*2^1432565-1 is not prime. Res64: 9759607AC9E6EAB8 Time : 0.0 sec. user=mdettweiler [2016-06-16 12:50:36] 727*2^1432565-1 is not prime. Res64: 98CD95414B823D63 Time : 0.0 sec. user=mdettweiler [2016-06-16 12:50:37] 795*2^1432565-1 is not prime. Res64: 26E25051A136BA0A Time : 0.0 sec. user=mdettweiler [2016-06-16 12:50:37] 915*2^1432565-1 is not prime. Res64: 851B559E1BFC6564 Time : 0.0 sec. user=mdettweiler [2016-06-16 12:52:25] 927*2^1432565-1 is not prime. Res64: 75BF472F491C764A Time : 0.0 sec. user=mdettweiler [2016-06-16 12:52:26] 991*2^1432565-1 is not prime. Res64: 1750EC9FEE698EDF Time : 0.0 sec. user=mdettweiler [2016-06-16 12:52:26] 635*2^1432566-1 is not prime. Res64: B657587AAE4CCEA8 Time : 0.0 sec. user=mdettweiler [2016-06-16 12:52:26] 671*2^1432566-1 is not prime. Res64: DCB04E0DFBFEA158 Time : 0.0 sec. user=mdettweiler [2016-06-16 12:52:27] 707*2^1432566-1 is not prime. Res64: 9745494E672F321C Time : 0.0 sec. user=mdettweiler [2016-06-16 12:53:20] 713*2^1432566-1 is not prime. Res64: 9CA95279CF80EC93 Time : 0.0 sec. user=mdettweiler [2016-06-16 12:53:20] 795*2^1432566-1 is not prime. Res64: AD930734C24E8405 Time : 0.0 sec. user=mdettweiler [2016-06-16 12:53:21] 821*2^1432566-1 is not prime. Res64: 53AF0A560158998C Time : 0.0 sec. user=mdettweiler [2016-06-16 12:53:21] 825*2^1432566-1 is not prime. Res64: CD7CBC1756AFF9F2 Time : 0.0 sec. user=mdettweiler [2016-06-16 12:53:21] 833*2^1432566-1 is not prime. Res64: E2B76B2FA839D5BE Time : 0.0 sec. user=mdettweiler [2016-06-16 13:04:42] 903*2^1432566-1 is not prime. Res64: 77BB3F54891FAACA Time : 0.0 sec. user=mdettweiler [2016-06-16 13:04:44] 945*2^1432566-1 is not prime. Res64: 360A4122BFE1FBAA Time : 0.0 sec. user=mdettweiler [2016-06-16 13:04:44] 609*2^1432567-1 is not prime. Res64: E531674C431A4613 Time : 0.0 sec. user=mdettweiler [2016-06-16 13:04:45] 681*2^1432567-1 is not prime. Res64: 2D0C5DF534B16552 Time : 0.0 sec. user=mdettweiler [2016-06-16 13:04:46] 693*2^1432567-1 is not prime. Res64: FB673C528A24E395 Time : 0.0 sec. user=mdettweiler [2016-06-16 13:35:23] 729*2^1432567-1 is not prime. Res64: A42FEE5DD74440F3 Time : 0.0 sec. user=mdettweiler [2016-06-16 13:35:24] 871*2^1432567-1 is not prime. Res64: 573BECA969C52C24 Time : 0.0 sec. user=mdettweiler [2016-06-16 13:35:24] 883*2^1432567-1 is not prime. Res64: C36CD69A00E23FA2 Time : 0.0 sec. user=mdettweiler [2016-06-16 13:35:25] 961*2^1432567-1 is not prime. Res64: F826854C59AB6E8B Time : 0.0 sec. user=mdettweiler [2016-06-16 13:35:25] 663*2^1432568-1 is not prime. Res64: 3113EC7FBF0523E5 Time : 0.0 sec. user=mdettweiler [2016-06-16 13:37:22] 699*2^1432568-1 is not prime. Res64: AC70A5524B8D2B9F Time : 0.0 sec. user=mdettweiler [2016-06-16 13:37:22] 753*2^1432568-1 is not prime. Res64: 70EE7D8830B690E9 Time : 0.0 sec. user=mdettweiler [2016-06-16 13:37:23] 797*2^1432568-1 is not prime. Res64: 5B73C55799FA48AF Time : 0.0 sec. user=mdettweiler [2016-06-16 13:37:23] 813*2^1432568-1 is not prime. Res64: 2E463B1E5E1A7D53 Time : 0.0 sec. user=mdettweiler [2016-06-16 13:37:23] 839*2^1432568-1 is not prime. Res64: 658D8C6FEB5AB61B Time : 0.0 sec. user=mdettweiler [2016-06-16 13:38:18] 935*2^1432568-1 is not prime. Res64: 2586B74A5D2E1294 Time : 0.0 sec. user=mdettweiler [2016-06-16 13:38:19] 969*2^1432568-1 is not prime. Res64: 71DCB60723346947 Time : 0.0 sec. user=mdettweiler [2016-06-16 13:38:19] 625*2^1432569-1 is not prime. Res64: 70E5140E3F81A585 Time : 0.0 sec. user=mdettweiler [2016-06-16 13:38:19] 669*2^1432569-1 is not prime. Res64: A9D470635D648929 Time : 0.0 sec. user=mdettweiler [2016-06-16 13:38:20] 759*2^1432569-1 is not prime. Res64: E1EC98A6A0B977A0 Time : 0.0 sec. user=mdettweiler [2016-06-16 13:49:44] 817*2^1432569-1 is not prime. Res64: 13E8D41C6106BB1E Time : 0.0 sec. user=mdettweiler [2016-06-16 13:49:44] 847*2^1432569-1 is not prime. Res64: FA369D62E9191CD2 Time : 0.0 sec. user=mdettweiler [2016-06-16 13:49:45] 919*2^1432569-1 is not prime. Res64: 4C2F4A993D95C699 Time : 0.0 sec. user=mdettweiler [2016-06-16 13:49:45] 921*2^1432569-1 is not prime. Res64: 33FEEB9C6F2E960F Time : 0.0 sec. user=mdettweiler [2016-06-16 13:49:46] 603*2^1432570-1 is not prime. Res64: D8D9C750EDF4D22B Time : 0.0 sec. user=mdettweiler [2016-06-16 14:20:16] 657*2^1432570-1 is not prime. Res64: 31D691283C636730 Time : 0.0 sec. user=mdettweiler [2016-06-16 14:20:17] 687*2^1432570-1 is not prime. Res64: 015D7D9BA0B5A8D4 Time : 0.0 sec. user=mdettweiler [2016-06-16 14:20:17] 713*2^1432570-1 is not prime. Res64: 8C722AF7FC1234BF Time : 0.0 sec. user=mdettweiler [2016-06-16 14:20:18] 755*2^1432570-1 is not prime. Res64: 7F3AE72475FF3200 Time : 0.0 sec. user=mdettweiler [2016-06-16 14:20:18] 733*2^1432571-1 is not prime. Res64: 27F1DED4138EDFA4 Time : 0.0 sec. user=mdettweiler [2016-06-16 14:22:26] 735*2^1432571-1 is not prime. Res64: 74790B53F0F32FDB Time : 0.0 sec. user=mdettweiler [2016-06-16 14:22:26] 745*2^1432571-1 is not prime. Res64: 4020FD6333438B93 Time : 0.0 sec. user=mdettweiler [2016-06-16 14:22:27] 789*2^1432571-1 is not prime. Res64: 1BDD1F5D75EA605F Time : 0.0 sec. user=mdettweiler [2016-06-16 14:22:27] 843*2^1432571-1 is not prime. Res64: 0403ADE125205B43 Time : 0.0 sec. user=mdettweiler [2016-06-16 14:22:27] 931*2^1432571-1 is not prime. Res64: E26324B3CBB6C854 Time : 0.0 sec. user=mdettweiler [2016-06-16 14:23:02] 949*2^1432571-1 is not prime. Res64: EE398FE15577B5C3 Time : 0.0 sec. user=mdettweiler [2016-06-16 14:23:03] 647*2^1432572-1 is not prime. Res64: D23E4A5DE6D737F1 Time : 0.0 sec. user=mdettweiler [2016-06-16 14:23:03] 683*2^1432572-1 is not prime. Res64: 3EBA33B4DA420EF3 Time : 0.0 sec. user=mdettweiler [2016-06-16 14:23:03] 765*2^1432572-1 is not prime. Res64: 477C62BFE407BE57 Time : 0.0 sec. user=mdettweiler [2016-06-16 14:23:04] 779*2^1432572-1 is not prime. Res64: 6E92259BCBFF99F7 Time : 0.0 sec. user=mdettweiler [2016-06-16 14:34:28] 797*2^1432572-1 is not prime. Res64: 7737C92ADE17654A Time : 0.0 sec. user=mdettweiler [2016-06-16 14:34:28] 875*2^1432572-1 is not prime. Res64: A7F025F36E59293D Time : 0.0 sec. user=mdettweiler [2016-06-16 14:34:29] 933*2^1432572-1 is not prime. Res64: E233B2FE637B7FE3 Time : 0.0 sec. user=mdettweiler [2016-06-16 14:34:29] 965*2^1432572-1 is not prime. Res64: 7E1156BF2FCBFA2E Time : 0.0 sec. user=mdettweiler [2016-06-16 14:34:30] 729*2^1432573-1 is not prime. Res64: E9F5D2D1BD72227F Time : 0.0 sec. user=mdettweiler [2016-06-16 15:05:10] 757*2^1432573-1 is not prime. Res64: 7F4371CE210D0F21 Time : 0.0 sec. user=mdettweiler [2016-06-16 15:05:12] 819*2^1432573-1 is not prime. Res64: 98A426911BCA72B0 Time : 0.0 sec. user=mdettweiler [2016-06-16 15:05:13] 897*2^1432573-1 is not prime. Res64: F65D2AA2B378F291 Time : 0.0 sec. user=mdettweiler [2016-06-16 15:05:14] 955*2^1432573-1 is not prime. Res64: EB2F1C9EB2E3F563 Time : 0.0 sec. user=mdettweiler [2016-06-16 15:05:15] 957*2^1432573-1 is not prime. Res64: 07DD3908335C0CBF Time : 0.0 sec. user=mdettweiler [2016-06-16 15:07:28] 961*2^1432573-1 is not prime. Res64: 4DCB33EAE85E17BF Time : 0.0 sec. user=mdettweiler [2016-06-16 15:07:28] 755*2^1432574-1 is not prime. Res64: 011B16073BDA44EE Time : 0.0 sec. user=mdettweiler [2016-06-16 15:07:29] 773*2^1432574-1 is not prime. Res64: 867B21BFC307A70A Time : 0.0 sec. user=mdettweiler [2016-06-16 15:07:29] 831*2^1432574-1 is not prime. Res64: 55ADD57D3FDC1072 Time : 0.0 sec. user=mdettweiler [2016-06-16 15:07:30] 945*2^1432574-1 is not prime. Res64: 4D3EA1A930F9C26F Time : 0.0 sec. user=mdettweiler [2016-06-16 15:07:59] 981*2^1432574-1 is not prime. Res64: 8866F2DE77D480B4 Time : 0.0 sec. user=mdettweiler [2016-06-16 15:08:00] 993*2^1432574-1 is not prime. Res64: 96A6131FEB72666B Time : 0.0 sec. user=mdettweiler [2016-06-16 15:08:00] 649*2^1432575-1 is not prime. Res64: 716F996E3E504DE9 Time : 0.0 sec. user=mdettweiler [2016-06-16 15:08:00] 895*2^1432575-1 is not prime. Res64: 4511D16D538E0C7F Time : 0.0 sec. user=mdettweiler [2016-06-16 15:08:01] 951*2^1432575-1 is not prime. Res64: 9C12B2218A84AF67 Time : 0.0 sec. user=mdettweiler [2016-06-16 15:19:19] 839*2^1432576-1 is not prime. Res64: F4180A60672BACA3 Time : 0.0 sec. user=mdettweiler [2016-06-16 15:19:20] 849*2^1432576-1 is not prime. Res64: A958E5C9BB6E4DE6 Time : 0.0 sec. user=mdettweiler [2016-06-16 15:19:20] 855*2^1432576-1 is not prime. Res64: FFEBF9FCF17ED5D6 Time : 0.0 sec. user=mdettweiler [2016-06-16 15:19:21] 965*2^1432576-1 is not prime. Res64: CDE20C554D3A537C Time : 0.0 sec. user=mdettweiler [2016-06-16 15:19:21] 969*2^1432576-1 is not prime. Res64: D8FB1685F2B93DEA Time : 0.0 sec. user=mdettweiler [2016-06-16 15:50:29] 649*2^1432577-1 is not prime. Res64: 065E45702CFA13B0 Time : 0.0 sec. user=mdettweiler [2016-06-16 15:50:30] 685*2^1432577-1 is not prime. Res64: 53846FCB5A22C95B Time : 0.0 sec. user=mdettweiler [2016-06-16 15:50:30] 727*2^1432577-1 is not prime. Res64: 5058955DE94E9EAA Time : 0.0 sec. user=mdettweiler [2016-06-16 15:50:31] 741*2^1432577-1 is not prime. Res64: 4B28C2676C6ED0E7 Time : 0.0 sec. user=mdettweiler [2016-06-16 15:50:31] 747*2^1432577-1 is not prime. Res64: 1EB876C15B41E634 Time : 0.0 sec. user=mdettweiler [2016-06-16 15:52:28] 759*2^1432577-1 is not prime. Res64: 682D04047302624B Time : 0.0 sec. user=mdettweiler [2016-06-16 15:52:28] 795*2^1432577-1 is not prime. Res64: F6CB0A3A8FDBDFB0 Time : 0.0 sec. user=mdettweiler [2016-06-16 15:52:28] 901*2^1432577-1 is not prime. Res64: 1200F754BD9B641D Time : 0.0 sec. user=mdettweiler [2016-06-16 15:52:29] 985*2^1432577-1 is not prime. Res64: 3A1BB6A66563D811 Time : 0.0 sec. user=mdettweiler [2016-06-16 15:52:29] 765*2^1432578-1 is not prime. Res64: 6965035D471AC99E Time : 0.0 sec. user=mdettweiler [2016-06-16 15:52:57] 791*2^1432578-1 is not prime. Res64: F6A07C1451A3E726 Time : 0.0 sec. user=mdettweiler [2016-06-16 15:52:58] 801*2^1432578-1 is not prime. Res64: 85CA6BF719089AC1 Time : 0.0 sec. user=mdettweiler [2016-06-16 15:52:58] 945*2^1432578-1 is not prime. Res64: 2EC718A2EFFC196F Time : 0.0 sec. user=mdettweiler [2016-06-16 15:52:58] 971*2^1432578-1 is not prime. Res64: D78374F8890CCF8B Time : 0.0 sec. user=mdettweiler [2016-06-16 15:52:59] 603*2^1432579-1 is not prime. Res64: 414C65B23427C7A2 Time : 0.0 sec. user=mdettweiler [2016-06-16 16:04:47] 625*2^1432579-1 is not prime. Res64: B84A7427CFB11A02 Time : 0.0 sec. user=mdettweiler [2016-06-16 16:04:48] 649*2^1432579-1 is not prime. Res64: 40A88E79769CDF52 Time : 0.0 sec. user=mdettweiler [2016-06-16 16:04:49] 723*2^1432579-1 is not prime. Res64: 778D312CDEBCFFD9 Time : 0.0 sec. user=mdettweiler [2016-06-16 16:04:49] 813*2^1432579-1 is not prime. Res64: 6F8DC344768ACBD0 Time : 0.0 sec. user=mdettweiler [2016-06-16 16:04:51] 859*2^1432579-1 is not prime. Res64: B3392C01D18CC2DA Time : 0.0 sec. user=mdettweiler [2016-06-16 16:35:34] 885*2^1432579-1 is not prime. Res64: C6955646E140B886 Time : 0.0 sec. user=mdettweiler [2016-06-16 16:35:35] 895*2^1432579-1 is not prime. Res64: 477CF128593271FD Time : 0.0 sec. user=mdettweiler [2016-06-16 16:35:35] 951*2^1432579-1 is not prime. Res64: B455018C7F8E7CED Time : 0.0 sec. user=mdettweiler [2016-06-16 16:35:36] 993*2^1432579-1 is not prime. Res64: E70B0F0057352FC6 Time : 0.0 sec. user=mdettweiler [2016-06-16 16:35:36] 743*2^1432580-1 is not prime. Res64: 69F50569AA5C1375 Time : 0.0 sec. user=mdettweiler [2016-06-16 16:37:30] 753*2^1432580-1 is not prime. Res64: C393CFAF329079C1 Time : 0.0 sec. user=mdettweiler [2016-06-16 16:37:30] 759*2^1432580-1 is not prime. Res64: 7945FA5D80F06E9E Time : 0.0 sec. user=mdettweiler [2016-06-16 16:37:31] 855*2^1432580-1 is not prime. Res64: 325D755FF90357AF Time : 0.0 sec. user=mdettweiler [2016-06-16 16:37:31] 879*2^1432580-1 is not prime. Res64: 4C0D2AA470E58DB7 Time : 0.0 sec. user=mdettweiler [2016-06-16 16:37:31] 897*2^1432580-1 is not prime. Res64: 0EAF2DD86A6ED57C Time : 0.0 sec. user=mdettweiler [2016-06-16 16:37:59] 899*2^1432580-1 is not prime. Res64: F46A0267D433FBB8 Time : 0.0 sec. user=mdettweiler [2016-06-16 16:38:00] 923*2^1432580-1 is not prime. Res64: B7D8C68CA49DE1AB Time : 0.0 sec. user=mdettweiler [2016-06-16 16:38:00] 959*2^1432580-1 is not prime. Res64: 0A35D24067F1D4C0 Time : 0.0 sec. user=mdettweiler [2016-06-16 16:38:00] 983*2^1432580-1 is not prime. Res64: 65CFE2CB13183074 Time : 0.0 sec. user=mdettweiler [2016-06-16 16:38:01] 747*2^1432581-1 is not prime. Res64: 7DCDFA492254E6A0 Time : 0.0 sec. user=mdettweiler [2016-06-16 16:50:06] 751*2^1432581-1 is not prime. Res64: 9521442679B6F3BF Time : 0.0 sec. user=mdettweiler [2016-06-16 16:50:06] 885*2^1432581-1 is not prime. Res64: F892899219A97892 Time : 0.0 sec. user=mdettweiler [2016-06-16 16:50:07] 951*2^1432581-1 is not prime. Res64: 2EA945E6C7101AF7 Time : 0.0 sec. user=mdettweiler [2016-06-16 16:50:07] 651*2^1432582-1 is not prime. Res64: F068B8AF7C350CB8 Time : 0.0 sec. user=mdettweiler [2016-06-16 16:50:07] 671*2^1432582-1 is not prime. Res64: 706DA3569667B48C Time : 0.0 sec. user=mdettweiler [2016-06-16 17:23:08] 731*2^1432582-1 is not prime. Res64: 64D2E2891B334C3B Time : 0.0 sec. user=mdettweiler [2016-06-16 17:23:09] 815*2^1432582-1 is not prime. Res64: FDB7E230F85BCC10 Time : 0.0 sec. user=mdettweiler [2016-06-16 17:23:09] 867*2^1432582-1 is not prime. Res64: F1FB72A874F22FB0 Time : 0.0 sec. user=mdettweiler [2016-06-16 17:23:09] 941*2^1432582-1 is not prime. Res64: 148A0F3EA0F41C9A Time : 0.0 sec. user=mdettweiler [2016-06-16 17:23:10] 955*2^1432583-1 is not prime. Res64: 53D15CEB9142D7F4 Time : 0.0 sec. user=mdettweiler [2016-06-16 17:25:03] 991*2^1432583-1 is not prime. Res64: F59673FDBEC50330 Time : 0.0 sec. user=mdettweiler [2016-06-16 17:25:04] 689*2^1432584-1 is not prime. Res64: A6CC511BFDFE49BF Time : 0.0 sec. user=mdettweiler [2016-06-16 17:25:04] 759*2^1432584-1 is not prime. Res64: 7411842A5DC0350B Time : 0.0 sec. user=mdettweiler [2016-06-16 17:25:04] 765*2^1432584-1 is not prime. Res64: 28DA453670651FCB Time : 0.0 sec. user=mdettweiler [2016-06-16 17:25:04] 789*2^1432584-1 is not prime. Res64: 407F741C4941AD90 Time : 0.0 sec. user=mdettweiler [2016-06-16 17:25:47] 917*2^1432584-1 is not prime. Res64: 4F095F5B196A8505 Time : 0.0 sec. user=mdettweiler [2016-06-16 17:25:47] 651*2^1432585-1 is not prime. Res64: 86FDAB9101F94ADC Time : 0.0 sec. user=mdettweiler [2016-06-16 17:25:47] 741*2^1432585-1 is not prime. Res64: 97406F8EF323EB2A Time : 0.0 sec. user=mdettweiler [2016-06-16 17:25:48] 805*2^1432585-1 is not prime. Res64: 407C366A7A035511 Time : 0.0 sec. user=mdettweiler [2016-06-16 17:25:48] 885*2^1432585-1 is not prime. Res64: 167FAA61963A4FE2 Time : 0.0 sec. user=mdettweiler [2016-06-16 17:37:57] 889*2^1432585-1 is not prime. Res64: BC31679D1E364B2A Time : 0.0 sec. user=mdettweiler [2016-06-16 17:37:57] 641*2^1432586-1 is not prime. Res64: 2F3F993896CD4D1F Time : 0.0 sec. user=mdettweiler [2016-06-16 17:37:58] 875*2^1432586-1 is not prime. Res64: E5F5A75D1F033775 Time : 0.0 sec. user=mdettweiler [2016-06-16 17:37:58] 921*2^1432586-1 is not prime. Res64: 0006AB0AB696696B Time : 0.0 sec. user=mdettweiler [2016-06-16 17:37:58] 705*2^1432587-1 is not prime. Res64: 15981489B2A67409 Time : 0.0 sec. user=mdettweiler [2016-06-16 18:10:50] 793*2^1432587-1 is not prime. Res64: EDF76A46A05C8AE8 Time : 0.0 sec. user=mdettweiler [2016-06-16 18:10:51] 795*2^1432587-1 is not prime. Res64: 4EA66885D1736F0A Time : 0.0 sec. user=mdettweiler [2016-06-16 18:10:53] 871*2^1432587-1 is not prime. Res64: 94CD6346EDA53413 Time : 0.0 sec. user=mdettweiler [2016-06-16 18:10:54] 961*2^1432587-1 is not prime. Res64: FA39C97D8036BB41 Time : 0.0 sec. user=mdettweiler [2016-06-16 18:10:55] 603*2^1432588-1 is not prime. Res64: 6744D47A336BAAE7 Time : 0.0 sec. user=mdettweiler [2016-06-16 18:12:41] 687*2^1432588-1 is not prime. Res64: 852BB4717B4D7587 Time : 0.0 sec. user=mdettweiler [2016-06-16 18:12:42] 705*2^1432588-1 is not prime. Res64: 73D151B9177243CB Time : 0.0 sec. user=mdettweiler [2016-06-16 18:12:42] 783*2^1432588-1 is not prime. Res64: FDC68950CB7B2179 Time : 0.0 sec. user=mdettweiler [2016-06-16 18:12:42] 825*2^1432588-1 is not prime. Res64: 917BD3CBF3817703 Time : 0.0 sec. user=mdettweiler [2016-06-16 18:12:42] 621*2^1432589-1 is not prime. Res64: 32E623C64A864B50 Time : 0.0 sec. user=mdettweiler [2016-06-16 18:12:44] 627*2^1432589-1 is not prime. Res64: 5F045DAAAEA1D0F6 Time : 0.0 sec. user=mdettweiler [2016-06-16 18:12:45] 631*2^1432589-1 is not prime. Res64: 73A4AC10564DE682 Time : 0.0 sec. user=mdettweiler [2016-06-16 18:12:45] 697*2^1432589-1 is not prime. Res64: 7698BC4ADE9CC187 Time : 0.0 sec. user=mdettweiler [2016-06-16 18:12:45] 769*2^1432589-1 is not prime. Res64: 54A422F1DF395CAF Time : 0.0 sec. user=mdettweiler [2016-06-16 18:12:45] 969*2^1432589-1 is not prime. Res64: EDFCD5E47B58F7AF Time : 0.0 sec. user=mdettweiler [2016-06-16 18:26:21] 651*2^1432590-1 is not prime. Res64: D63B1EC8737B769E Time : 0.0 sec. user=mdettweiler [2016-06-16 18:26:22] 717*2^1432590-1 is not prime. Res64: DCC90C98A0221B0B Time : 0.0 sec. user=mdettweiler [2016-06-16 18:26:22] 875*2^1432590-1 is not prime. Res64: B18A70E011CAFA10 Time : 0.0 sec. user=mdettweiler [2016-06-16 18:26:22] 625*2^1432591-1 is not prime. Res64: 84131DA853148301 Time : 0.0 sec. user=mdettweiler [2016-06-16 18:26:23] 645*2^1432591-1 is not prime. Res64: A3F41E4DFAF97B55 Time : 0.0 sec. user=mdettweiler [2016-06-16 18:56:17] 705*2^1432591-1 is not prime. Res64: 10C117D8C261E090 Time : 0.0 sec. user=mdettweiler [2016-06-16 18:56:18] 735*2^1432591-1 is not prime. Res64: BFD4416488D12708 Time : 0.0 sec. user=mdettweiler [2016-06-16 18:56:18] 783*2^1432591-1 is not prime. Res64: 9FC8BB402B8A9D7D Time : 0.0 sec. user=mdettweiler [2016-06-16 18:56:18] 829*2^1432591-1 is not prime. Res64: CA456748B2B3DEA8 Time : 0.0 sec. user=mdettweiler [2016-06-16 18:56:19] 841*2^1432591-1 is not prime. Res64: 5395B8CD7C071361 Time : 0.0 sec. user=mdettweiler [2016-06-16 18:57:53] 849*2^1432591-1 is not prime. Res64: B05BCFCC3E470846 Time : 0.0 sec. user=mdettweiler [2016-06-16 18:57:53] 855*2^1432591-1 is not prime. Res64: DD430D12196A3CDE Time : 0.0 sec. user=mdettweiler [2016-06-16 18:57:53] 859*2^1432591-1 is not prime. Res64: 304382B4DF90A2CE Time : 0.0 sec. user=mdettweiler [2016-06-16 18:57:53] 609*2^1432592-1 is not prime. Res64: 752E267C3E214332 Time : 0.0 sec. user=mdettweiler [2016-06-16 18:57:54] 871*2^1432591-1 is not prime. Res64: 9413D8BA00C911B6 Time : 0.0 sec. user=mdettweiler [2016-06-16 18:57:54] 617*2^1432592-1 is not prime. Res64: 74F9C1080781EED5 Time : 0.0 sec. user=mdettweiler [2016-06-16 18:57:54] 939*2^1432591-1 is not prime. Res64: EF71EF413A5A6942 Time : 0.0 sec. user=mdettweiler [2016-06-16 18:57:54] 675*2^1432592-1 is not prime. Res64: 0E27E9906BE0EA88 Time : 0.0 sec. user=mdettweiler [2016-06-16 18:57:54] 767*2^1432592-1 is not prime. Res64: 78D0E5DBABBD395D Time : 0.0 sec. user=mdettweiler [2016-06-16 18:57:55] 899*2^1432592-1 is not prime. Res64: DDA9AF938ECE6114 Time : 0.0 sec. user=mdettweiler [2016-06-16 19:10:59] 615*2^1432593-1 is not prime. Res64: 962B5DB23156B320 Time : 0.0 sec. user=mdettweiler [2016-06-16 19:11:00] 627*2^1432593-1 is not prime. Res64: 2DC7F969371BC876 Time : 0.0 sec. user=mdettweiler [2016-06-16 19:11:01] 669*2^1432593-1 is not prime. Res64: FD0F7BBDFE65DBC4 Time : 0.0 sec. user=mdettweiler [2016-06-16 19:11:01] 795*2^1432593-1 is not prime. Res64: 883F76D768CC0D30 Time : 0.0 sec. user=mdettweiler [2016-06-16 19:11:02] 945*2^1432593-1 is not prime. Res64: 15484C2ED095DD24 Time : 0.0 sec. user=juhehe [2016-06-16 19:12:23] 633*2^1432594-1 is not prime. Res64: FFD6DB9CEE642215 Time : 0.0 sec. user=mdettweiler [2016-06-16 19:40:49] 677*2^1432594-1 is not prime. Res64: 75693DCD60BCF593 Time : 0.0 sec. user=mdettweiler [2016-06-16 19:40:49] 783*2^1432594-1 is not prime. Res64: BD5B6B143F9B95D9 Time : 0.0 sec. user=mdettweiler [2016-06-16 19:40:50] 827*2^1432594-1 is not prime. Res64: 367A5EC47816E34B Time : 0.0 sec. user=mdettweiler [2016-06-16 19:40:50] 861*2^1432594-1 is not prime. Res64: 0A3B6CCB56C845FB Time : 0.0 sec. user=mdettweiler [2016-06-16 19:40:50] 987*2^1432594-1 is not prime. Res64: A4C81DF91E309D94 Time : 0.0 sec. user=mdettweiler [2016-06-16 19:42:18] 643*2^1432595-1 is not prime. Res64: 6379A0992582F69F Time : 0.0 sec. user=mdettweiler [2016-06-16 19:42:19] 645*2^1432595-1 is not prime. Res64: D7D5DFF682234552 Time : 0.0 sec. user=mdettweiler [2016-06-16 19:42:19] 663*2^1432595-1 is not prime. Res64: 8D0F64D05A601DE6 Time : 0.0 sec. user=mdettweiler [2016-06-16 19:42:20] 759*2^1432595-1 is not prime. Res64: 7C4256698EDD4C34 Time : 0.0 sec. user=mdettweiler [2016-06-16 19:42:20] 829*2^1432595-1 is not prime. Res64: 18C3CE80BEB1D037 Time : 0.0 sec. user=mdettweiler [2016-06-16 19:42:26] 841*2^1432595-1 is not prime. Res64: 9351FFD52A907CD0 Time : 0.0 sec. user=mdettweiler [2016-06-16 19:42:26] 855*2^1432595-1 is not prime. Res64: 4CE74512580DD1AF Time : 0.0 sec. user=mdettweiler [2016-06-16 19:42:27] 909*2^1432595-1 is not prime. Res64: A033CAEE3C0B5C5C Time : 0.0 sec. user=mdettweiler [2016-06-16 19:42:27] 921*2^1432595-1 is not prime. Res64: 3385C4CEC2FA221D Time : 0.0 sec. user=mdettweiler [2016-06-16 19:42:27] 693*2^1432596-1 is not prime. Res64: 4E7560BBD8C07CB6 Time : 0.0 sec. user=mdettweiler [2016-06-16 19:55:40] 779*2^1432596-1 is not prime. Res64: DD821B18D2404898 Time : 0.0 sec. user=mdettweiler [2016-06-16 19:55:40] 837*2^1432596-1 is not prime. Res64: 1A2013F617960DF4 Time : 0.0 sec. user=mdettweiler [2016-06-16 19:55:41] 987*2^1432596-1 is not prime. Res64: CA29F0288E5BABF2 Time : 0.0 sec. user=mdettweiler [2016-06-16 19:55:41] 717*2^1432597-1 is not prime. Res64: 3E8C0F823BA12B85 Time : 0.0 sec. user=mdettweiler [2016-06-16 19:55:41] 729*2^1432597-1 is not prime. Res64: 025936B8EEFEB02D Time : 0.0 sec. user=mdettweiler [2016-06-16 20:25:23] 799*2^1432597-1 is not prime. Res64: B1EA44509013E2D0 Time : 0.0 sec. user=mdettweiler [2016-06-16 20:25:23] 931*2^1432597-1 is not prime. Res64: 290F069903B5EE8D Time : 0.0 sec. user=mdettweiler [2016-06-16 20:25:24] 677*2^1432598-1 is not prime. Res64: B5076A6939744CBC Time : 0.0 sec. user=mdettweiler [2016-06-16 20:25:25] 813*2^1432598-1 is not prime. Res64: D9113E06C6DB3FDD Time : 0.0 sec. user=mdettweiler [2016-06-16 20:25:26] 887*2^1432598-1 is not prime. Res64: 5674E762DD027982 Time : 0.0 sec. user=mdettweiler [2016-06-16 20:26:52] 945*2^1432598-1 is not prime. Res64: 49FD274B01629C2C Time : 0.0 sec. user=mdettweiler [2016-06-16 20:26:53] 649*2^1432599-1 is not prime. Res64: 890FCDA2DD5180FB Time : 0.0 sec. user=mdettweiler [2016-06-16 20:26:53] 745*2^1432599-1 is not prime. Res64: A1EEF142099653A9 Time : 0.0 sec. user=mdettweiler [2016-06-16 20:26:53] 795*2^1432599-1 is not prime. Res64: 9C4351942D6236B4 Time : 0.0 sec. user=mdettweiler [2016-06-16 20:26:54] 823*2^1432599-1 is not prime. Res64: 04BC33A7A5C63C33 Time : 0.0 sec. user=mdettweiler [2016-06-16 20:27:06] 861*2^1432599-1 is not prime. Res64: 81BE133334BE80C6 Time : 0.0 sec. user=mdettweiler [2016-06-16 20:27:06] 865*2^1432599-1 is not prime. Res64: 64B10ABBA43E7988 Time : 0.0 sec. user=mdettweiler [2016-06-16 20:27:06] 885*2^1432599-1 is not prime. Res64: AEFDA208E09D17F3 Time : 0.0 sec. user=mdettweiler [2016-06-16 20:27:07] 891*2^1432599-1 is not prime. Res64: 76A32D6F6671705A Time : 0.0 sec. user=mdettweiler [2016-06-16 20:27:07] 663*2^1432600-1 is not prime. Res64: 5EF69D6E85E79A51 Time : 0.0 sec. user=mdettweiler [2016-06-16 20:40:27] 839*2^1432600-1 is not prime. Res64: 0F4752C7725AF241 Time : 0.0 sec. user=mdettweiler [2016-06-16 20:40:27] 601*2^1432601-1 is not prime. Res64: 2E1A4AE3306036AC Time : 0.0 sec. user=mdettweiler [2016-06-16 20:40:27] 649*2^1432601-1 is not prime. Res64: A248559439E9E1D1 Time : 0.0 sec. user=mdettweiler [2016-06-16 20:40:28] 727*2^1432601-1 is not prime. Res64: 6091164A567DEF8B Time : 0.0 sec. user=mdettweiler [2016-06-16 20:40:28] 789*2^1432601-1 is not prime. Res64: 3169CD174069A240 Time : 0.0 sec. user=mdettweiler [2016-06-16 21:10:02] 949*2^1432601-1 is not prime. Res64: AB7D119D84D7F65F Time : 0.0 sec. user=mdettweiler [2016-06-16 21:10:02] 627*2^1432602-1 is not prime. Res64: A1A879AAA41C2804 Time : 0.0 sec. user=mdettweiler [2016-06-16 21:10:03] 755*2^1432602-1 is not prime. Res64: 342DA0A70C0BA753 Time : 0.0 sec. user=mdettweiler [2016-06-16 21:10:03] 885*2^1432602-1 is not prime. Res64: 62067589C724A7EB Time : 0.0 sec. user=mdettweiler [2016-06-16 21:10:04] 891*2^1432602-1 is not prime. Res64: FD0ED44E3DE177CE Time : 0.0 sec. user=mdettweiler [2016-06-16 21:11:29] 873*2^1432603-1 is not prime. Res64: 82CA30D6E0E7EC44 Time : 0.0 sec. user=mdettweiler [2016-06-16 21:11:30] 663*2^1432603-1 is not prime. Res64: 9D297DC79E849C66 Time : 0.0 sec. user=mdettweiler [2016-06-16 21:11:30] 895*2^1432603-1 is not prime. Res64: 6F3BEFDCB65423C7 Time : 0.0 sec. user=mdettweiler [2016-06-16 21:11:30] 769*2^1432603-1 is not prime. Res64: AF4C629E1FD162AC Time : 0.0 sec. user=mdettweiler [2016-06-16 21:11:30] 951*2^1432603-1 is not prime. Res64: 5A22CA0E54B897DA Time : 0.0 sec. user=mdettweiler [2016-06-16 21:11:31] 819*2^1432603-1 is not prime. Res64: CDFAC16693757139 Time : 0.0 sec. user=mdettweiler [2016-06-16 21:11:31] 635*2^1432604-1 is not prime. Res64: E65E5C57274EBA6B Time : 0.0 sec. user=mdettweiler [2016-06-16 21:11:31] 859*2^1432603-1 is not prime. Res64: C604B5097C40A5DB Time : 0.0 sec. user=mdettweiler [2016-06-16 21:11:31] 665*2^1432604-1 is not prime. Res64: 17A4A7EA7FE490F2 Time : 0.0 sec. user=mdettweiler [2016-06-16 21:11:32] 861*2^1432603-1 is not prime. Res64: D21F537ACA3F8C8E Time : 0.0 sec. user=mdettweiler [2016-06-16 21:24:58] 717*2^1432604-1 is not prime. Res64: 38F33B4FB530FB6F Time : 0.0 sec. user=mdettweiler [2016-06-16 21:24:59] 719*2^1432604-1 is not prime. Res64: B942817C086DCC11 Time : 0.0 sec. user=mdettweiler [2016-06-16 21:24:59] 885*2^1432604-1 is not prime. Res64: A4DDFF15DE228631 Time : 0.0 sec. user=mdettweiler [2016-06-16 21:25:00] 691*2^1432605-1 is not prime. Res64: 5F4DE70A046E07B1 Time : 0.0 sec. user=mdettweiler [2016-06-16 21:25:00] 825*2^1432605-1 is not prime. Res64: 92A151C2EE04F219 Time : 0.0 sec. user=juhehe [2016-06-16 21:53:48] 859*2^1432605-1 is not prime. Res64: 5406A6C13A91DE9C Time : 0.0 sec. user=mdettweiler [2016-06-16 21:55:15] 915*2^1432605-1 is not prime. Res64: EFCAB564FCA54C4A Time : 0.0 sec. user=mdettweiler [2016-06-16 21:55:15] 645*2^1432606-1 is not prime. Res64: 56F4088253CFA13D Time : 0.0 sec. user=mdettweiler [2016-06-16 21:55:16] 741*2^1432606-1 is not prime. Res64: 9825789AD59C47BB Time : 0.0 sec. user=mdettweiler [2016-06-16 21:55:16] 833*2^1432606-1 is not prime. Res64: EBF771301A4AA4B3 Time : 0.0 sec. user=mdettweiler [2016-06-16 21:55:17] 887*2^1432606-1 is not prime. Res64: 6EBA7D5C5501AC46 Time : 0.0 sec. user=mdettweiler [2016-06-16 21:56:34] 651*2^1432607-1 is not prime. Res64: 28A8B34DBE5CA529 Time : 0.0 sec. user=mdettweiler [2016-06-16 21:56:35] 661*2^1432607-1 is not prime. Res64: 3AA220236BCBC43C Time : 0.0 sec. user=mdettweiler [2016-06-16 21:56:35] 805*2^1432607-1 is not prime. Res64: F6945A46ECDE4D09 Time : 0.0 sec. user=mdettweiler [2016-06-16 21:56:36] 825*2^1432607-1 is not prime. Res64: FF225227BAC1DDCC Time : 0.0 sec. user=mdettweiler [2016-06-16 21:56:36] 627*2^1432608-1 is not prime. Res64: 2194C83706CCDB1F Time : 0.0 sec. user=mdettweiler [2016-06-16 21:56:36] 843*2^1432607-1 is not prime. Res64: 7FF6959408EFD668 Time : 0.0 sec. user=mdettweiler [2016-06-16 21:56:36] 825*2^1432608-1 is not prime. Res64: 8F17D0B65A291981 Time : 0.0 sec. user=mdettweiler [2016-06-16 21:56:36] 879*2^1432608-1 is not prime. Res64: 2CB026494E97591C Time : 0.0 sec. user=mdettweiler [2016-06-16 21:56:37] 691*2^1432609-1 is not prime. Res64: 7A432F4C89526900 Time : 0.0 sec. user=mdettweiler [2016-06-16 21:56:37] 829*2^1432609-1 is not prime. Res64: 7650D957F62C484E Time : 0.0 sec. user=mdettweiler [2016-06-16 22:10:26] 831*2^1432609-1 is not prime. Res64: 25E45A9BC4BEB3A1 Time : 0.0 sec. user=mdettweiler [2016-06-16 22:10:27] 987*2^1432609-1 is not prime. Res64: DB61C0D10E7BA1B3 Time : 0.0 sec. user=mdettweiler [2016-06-16 22:10:27] 605*2^1432610-1 is not prime. Res64: 04B083732DAEE1DE Time : 0.0 sec. user=mdettweiler [2016-06-16 22:10:28] 627*2^1432610-1 is not prime. Res64: 19F381877520BFDD Time : 0.0 sec. user=mdettweiler [2016-06-16 22:10:28] 633*2^1432610-1 is not prime. Res64: 818879EAD736872E Time : 0.0 sec. user=mdettweiler [2016-06-16 22:39:58] 641*2^1432610-1 is not prime. Res64: 7001218281976894 Time : 0.0 sec. user=mdettweiler [2016-06-16 22:39:58] 665*2^1432610-1 is not prime. Res64: 2BCD8F799286A381 Time : 0.0 sec. user=mdettweiler [2016-06-16 22:39:58] 675*2^1432610-1 is not prime. Res64: 97844C08864496A3 Time : 0.0 sec. user=mdettweiler [2016-06-16 22:39:59] 797*2^1432610-1 is not prime. Res64: 9BE1B3220F0DB099 Time : 0.0 sec. user=mdettweiler [2016-06-16 22:39:59] 833*2^1432610-1 is not prime. Res64: 16499E2CEBCEDDF2 Time : 0.0 sec. user=mdettweiler [2016-06-16 22:41:20] 867*2^1432610-1 is not prime. Res64: 563740A73C30EB6F Time : 0.0 sec. user=mdettweiler [2016-06-16 22:41:20] 643*2^1432611-1 is not prime. Res64: 869458C94D66041E Time : 0.0 sec. user=mdettweiler [2016-06-16 22:41:20] 709*2^1432611-1 is not prime. Res64: BD4A7F4B3D7B1E07 Time : 0.0 sec. user=mdettweiler [2016-06-16 22:41:22] 745*2^1432611-1 is not prime. Res64: 5450DCA7E3635981 Time : 0.0 sec. user=mdettweiler [2016-06-16 22:41:22] 825*2^1432611-1 is not prime. Res64: 9ACBBC3F6C7BA60D Time : 0.0 sec. user=mdettweiler [2016-06-16 22:41:23] 885*2^1432611-1 is not prime. Res64: 1EAEA1A40AFCA2CD Time : 0.0 sec. user=mdettweiler [2016-06-16 22:41:24] 909*2^1432611-1 is not prime. Res64: 22410167AC90921D Time : 0.0 sec. user=mdettweiler [2016-06-16 22:41:24] 921*2^1432611-1 is not prime. Res64: AE8819E02805CEA5 Time : 0.0 sec. user=mdettweiler [2016-06-16 22:41:25] 603*2^1432612-1 is not prime. Res64: 77824036E6ED5E8C Time : 0.0 sec. user=mdettweiler [2016-06-16 22:41:25] 689*2^1432612-1 is not prime. Res64: 007211FBF425CB01 Time : 0.0 sec. user=mdettweiler [2016-06-16 22:55:02] 719*2^1432612-1 is not prime. Res64: 822C2F9E8FC5F529 Time : 0.0 sec. user=mdettweiler [2016-06-16 22:55:02] 765*2^1432612-1 is not prime. Res64: D8F3064A67C9D78E Time : 0.0 sec. user=mdettweiler [2016-06-16 22:55:03] 857*2^1432612-1 is not prime. Res64: 97D4C19DA284942B Time : 0.0 sec. user=mdettweiler [2016-06-16 22:55:03] 875*2^1432612-1 is not prime. Res64: 51E81B4CC0E7A283 Time : 0.0 sec. user=mdettweiler [2016-06-16 22:55:03] 899*2^1432612-1 is not prime. Res64: DD5936376104FC30 Time : 0.0 sec. user=mdettweiler [2016-06-16 23:24:49] 909*2^1432612-1 is not prime. Res64: E91A1D7B010309D0 Time : 0.0 sec. user=mdettweiler [2016-06-16 23:24:49] 939*2^1432612-1 is not prime. Res64: F4481A7D9C5260A6 Time : 0.0 sec. user=mdettweiler [2016-06-16 23:24:50] 965*2^1432612-1 is not prime. Res64: FADD621CE25E820C Time : 0.0 sec. user=mdettweiler [2016-06-16 23:24:50] 995*2^1432612-1 is not prime. Res64: 889E5A9E9728E5CC Time : 0.0 sec. user=mdettweiler [2016-06-16 23:24:50] 649*2^1432613-1 is not prime. Res64: A9E040B1A0DCDEEF Time : 0.0 sec. user=mdettweiler [2016-06-16 23:26:09] 691*2^1432613-1 is not prime. Res64: 10A08DCB9D2B8904 Time : 0.0 sec. user=mdettweiler [2016-06-16 23:26:10] 735*2^1432613-1 is not prime. Res64: 3DC6A91DCBD4E600 Time : 0.0 sec. user=mdettweiler [2016-06-16 23:26:10] 829*2^1432613-1 is not prime. Res64: D0886F83C8E88D7E Time : 0.0 sec. user=mdettweiler [2016-06-16 23:26:10] 949*2^1432613-1 is not prime. Res64: 515511D1EC8C745D Time : 0.0 sec. user=mdettweiler [2016-06-16 23:26:11] 985*2^1432613-1 is not prime. Res64: 9172BE2174CD4E25 Time : 0.0 sec. user=mdettweiler [2016-06-16 23:26:12] 641*2^1432614-1 is not prime. Res64: 031E018B398B692E Time : 0.0 sec. user=mdettweiler [2016-06-16 23:26:13] 741*2^1432614-1 is not prime. Res64: 058BD5B8F6DA660C Time : 0.0 sec. user=mdettweiler [2016-06-16 23:26:13] 863*2^1432614-1 is not prime. Res64: 4DBFB72B34BDD09B Time : 0.0 sec. user=mdettweiler [2016-06-16 23:26:13] 893*2^1432614-1 is not prime. Res64: 1325E6DE1C7E5BB8 Time : 0.0 sec. user=mdettweiler [2016-06-16 23:26:14] 965*2^1432614-1 is not prime. Res64: C91BB52CF6D6AC62 Time : 0.0 sec. user=mdettweiler [2016-06-16 23:39:34] 975*2^1432614-1 is not prime. Res64: C2B9AB7C0AD8E538 Time : 0.0 sec. user=mdettweiler [2016-06-16 23:39:34] 609*2^1432615-1 is not prime. Res64: 5565ECFAF805D478 Time : 0.0 sec. user=mdettweiler [2016-06-16 23:39:35] 679*2^1432615-1 is not prime. Res64: 1F34E5976F840243 Time : 0.0 sec. user=mdettweiler [2016-06-16 23:39:35] 805*2^1432615-1 is not prime. Res64: 0BCE4752CE337E96 Time : 0.0 sec. user=mdettweiler [2016-06-16 23:39:35] 829*2^1432615-1 is not prime. Res64: C87BB5FA3199DBB2 Time : 0.0 sec.