user=mdettweiler [2016-11-13 00:18:58] 737*2^1445652-1 is not prime. Res64: AC140E546CC68FD5 Time : 0.0 sec. user=mdettweiler [2016-11-13 00:18:59] 749*2^1445652-1 is not prime. Res64: 0EBE4A21AAA9D73A Time : 0.0 sec. user=mdettweiler [2016-11-13 00:18:59] 809*2^1445652-1 is not prime. Res64: FE09CF97B30BF432 Time : 0.0 sec. user=mdettweiler [2016-11-13 00:19:00] 825*2^1445652-1 is not prime. Res64: 2032FA7D340BD02C Time : 0.0 sec. user=mdettweiler [2016-11-13 00:19:01] 857*2^1445652-1 is not prime. Res64: 77FD13FF78AA05B4 Time : 0.0 sec. user=mdettweiler [2016-11-13 00:21:58] 863*2^1445652-1 is not prime. Res64: 9218C79D4C3D0B2B Time : 0.0 sec. user=mdettweiler [2016-11-13 00:21:59] 879*2^1445652-1 is not prime. Res64: 19F8CED309CB2548 Time : 0.0 sec. user=mdettweiler [2016-11-13 00:21:59] 957*2^1445652-1 is not prime. Res64: 3B40DA4B23013D52 Time : 0.0 sec. user=mdettweiler [2016-11-13 00:22:00] 977*2^1445652-1 is not prime. Res64: 350B45B139EC828D Time : 0.0 sec. user=mdettweiler [2016-11-13 00:22:00] 983*2^1445652-1 is not prime. Res64: 2D4175F5B87AA5BA Time : 0.0 sec. user=mdettweiler [2016-11-13 00:26:12] 681*2^1445653-1 is not prime. Res64: 19F9C4ADEC656B01 Time : 0.0 sec. user=mdettweiler [2016-11-13 00:26:13] 715*2^1445653-1 is not prime. Res64: B99ADDAABB0DD26C Time : 0.0 sec. user=mdettweiler [2016-11-13 00:26:14] 855*2^1445653-1 is not prime. Res64: 02DC760BCF434066 Time : 0.0 sec. user=mdettweiler [2016-11-13 00:26:14] 951*2^1445653-1 is not prime. Res64: 5E8B877B476B7054 Time : 0.0 sec. user=mdettweiler [2016-11-13 00:26:15] 999*2^1445653-1 is not prime. Res64: 451428B7B8BE3B56 Time : 0.0 sec. user=mdettweiler [2016-11-13 00:26:16] 605*2^1445654-1 is not prime. Res64: F559B7EBBA546943 Time : 0.0 sec. user=mdettweiler [2016-11-13 00:26:16] 675*2^1445654-1 is not prime. Res64: 2C96C5A89478662B Time : 0.0 sec. user=mdettweiler [2016-11-13 00:26:17] 755*2^1445654-1 is not prime. Res64: A91645CE96AE20C6 Time : 0.0 sec. user=mdettweiler [2016-11-13 00:26:17] 833*2^1445654-1 is not prime. Res64: 26CF8440E13BAEFA Time : 0.0 sec. user=mdettweiler [2016-11-13 00:26:18] 897*2^1445654-1 is not prime. Res64: DC5323097690694E Time : 0.0 sec. user=mdettweiler [2016-11-13 01:03:58] 923*2^1445654-1 is not prime. Res64: 49867E09A546A94E Time : 0.0 sec. user=mdettweiler [2016-11-13 01:03:59] 945*2^1445654-1 is not prime. Res64: 8E041596C1E4CFE7 Time : 0.0 sec. user=mdettweiler [2016-11-13 01:04:00] 625*2^1445655-1 is not prime. Res64: 4CB6726DCAE54550 Time : 0.0 sec. user=mdettweiler [2016-11-13 01:04:01] 675*2^1445655-1 is not prime. Res64: 312959521CB03829 Time : 0.0 sec. user=mdettweiler [2016-11-13 01:04:02] 793*2^1445655-1 is not prime. Res64: 7EC0B99577E86831 Time : 0.0 sec. user=mdettweiler [2016-11-13 01:06:56] 823*2^1445655-1 is not prime. Res64: 7761C1664F5D8F5B Time : 0.0 sec. user=mdettweiler [2016-11-13 01:06:58] 831*2^1445655-1 is not prime. Res64: 2446C77ECEF7748D Time : 0.0 sec. user=mdettweiler [2016-11-13 01:06:59] 873*2^1445655-1 is not prime. Res64: 33CE58E440FE76ED Time : 0.0 sec. user=mdettweiler [2016-11-13 01:07:00] 891*2^1445655-1 is not prime. Res64: D9AC3058C7DEBDEE Time : 0.0 sec. user=mdettweiler [2016-11-13 01:07:02] 919*2^1445655-1 is not prime. Res64: 27FE2403F54D463F Time : 0.0 sec. user=mdettweiler [2016-11-13 01:11:03] 723*2^1445656-1 is not prime. Res64: 7D8B5934D08B4F0D Time : 0.0 sec. user=mdettweiler [2016-11-13 01:11:03] 933*2^1445655-1 is not prime. Res64: 38EE5A339591AB47 Time : 0.0 sec. user=mdettweiler [2016-11-13 01:11:03] 759*2^1445656-1 is not prime. Res64: 6E81426B0BF1E0AB Time : 0.0 sec. user=mdettweiler [2016-11-13 01:11:03] 999*2^1445655-1 is not prime. Res64: 1EF60AA505605E5D Time : 0.0 sec. user=mdettweiler [2016-11-13 01:11:04] 803*2^1445656-1 is not prime. Res64: 7ADB94F59DB7EF5B Time : 0.0 sec. user=mdettweiler [2016-11-13 01:11:04] 623*2^1445656-1 is not prime. Res64: 2449949B638BD07F Time : 0.0 sec. user=mdettweiler [2016-11-13 01:11:04] 887*2^1445656-1 is not prime. Res64: B0BB3F7EFD719B28 Time : 0.0 sec. user=mdettweiler [2016-11-13 01:11:05] 629*2^1445656-1 is not prime. Res64: 9CE4A95195E57DC0 Time : 0.0 sec. user=mdettweiler [2016-11-13 01:11:05] 933*2^1445656-1 is not prime. Res64: AFAD8FB40E177A35 Time : 0.0 sec. user=mdettweiler [2016-11-13 01:11:05] 639*2^1445656-1 is not prime. Res64: 72B034AAC7ED9C11 Time : 0.0 sec. user=mdettweiler [2016-11-13 01:49:00] 675*2^1445657-1 is not prime. Res64: A01D7854FF70F98E Time : 0.0 sec. user=mdettweiler [2016-11-13 01:49:00] 697*2^1445657-1 is not prime. Res64: E3A87343CA716E54 Time : 0.0 sec. user=mdettweiler [2016-11-13 01:49:01] 717*2^1445657-1 is not prime. Res64: D410E984600061F2 Time : 0.0 sec. user=mdettweiler [2016-11-13 01:49:01] 729*2^1445657-1 is not prime. Res64: 4F23EDCCC3E88EC3 Time : 0.0 sec. user=mdettweiler [2016-11-13 01:49:02] 909*2^1445657-1 is not prime. Res64: D917B877006C077E Time : 0.0 sec. user=mdettweiler [2016-11-13 01:51:56] 957*2^1445657-1 is not prime. Res64: DEAA50F161610F65 Time : 0.0 sec. user=mdettweiler [2016-11-13 01:51:57] 985*2^1445657-1 is not prime. Res64: EBB5F78A0995CCA8 Time : 0.0 sec. user=mdettweiler [2016-11-13 01:51:57] 621*2^1445658-1 is not prime. Res64: 0B46F8A6BDD2D45D Time : 0.0 sec. user=mdettweiler [2016-11-13 01:51:58] 633*2^1445658-1 is not prime. Res64: 43A316A827529293 Time : 0.0 sec. user=mdettweiler [2016-11-13 01:51:59] 713*2^1445658-1 is not prime. Res64: 9EBF2D745BD7D129 Time : 0.0 sec. user=mdettweiler [2016-11-13 01:55:47] 803*2^1445658-1 is not prime. Res64: 7B15DB396FCEEBC4 Time : 0.0 sec. user=mdettweiler [2016-11-13 01:55:48] 875*2^1445658-1 is not prime. Res64: 507869A3B950E559 Time : 0.0 sec. user=mdettweiler [2016-11-13 01:55:48] 887*2^1445658-1 is not prime. Res64: E9085385237DA346 Time : 0.0 sec. user=mdettweiler [2016-11-13 01:55:48] 893*2^1445658-1 is not prime. Res64: 9BF0C93E09EC1ECD Time : 0.0 sec. user=mdettweiler [2016-11-13 01:55:49] 963*2^1445658-1 is not prime. Res64: 4A271CD4F7C11A7B Time : 0.0 sec. user=mdettweiler [2016-11-13 01:55:54] 601*2^1445659-1 is not prime. Res64: ED506C316D9D0A33 Time : 0.0 sec. user=mdettweiler [2016-11-13 01:55:54] 645*2^1445659-1 is not prime. Res64: F66863E5011658C9 Time : 0.0 sec. user=mdettweiler [2016-11-13 01:55:55] 703*2^1445659-1 is not prime. Res64: A17166F116C07B22 Time : 0.0 sec. user=mdettweiler [2016-11-13 01:55:55] 723*2^1445659-1 is not prime. Res64: E9A7757D7FBEDC21 Time : 0.0 sec. user=mdettweiler [2016-11-13 01:55:56] 735*2^1445659-1 is not prime. Res64: 5AEA0796B0ECDCD2 Time : 0.0 sec. user=mdettweiler [2016-11-13 02:33:46] 751*2^1445659-1 is not prime. Res64: 8BEF16E793520156 Time : 0.0 sec. user=mdettweiler [2016-11-13 02:33:48] 765*2^1445659-1 is not prime. Res64: 914C8F3874CAC276 Time : 0.0 sec. user=mdettweiler [2016-11-13 02:33:48] 943*2^1445659-1 is not prime. Res64: 40E55837D83854E8 Time : 0.0 sec. user=mdettweiler [2016-11-13 02:33:49] 675*2^1445660-1 is not prime. Res64: E3275E1DCA25CFC2 Time : 0.0 sec. user=mdettweiler [2016-11-13 02:33:50] 687*2^1445660-1 is not prime. Res64: AC26A5AAF7F47F42 Time : 0.0 sec. user=mdettweiler [2016-11-13 02:36:51] 725*2^1445660-1 is not prime. Res64: 44480A0CD63EFA38 Time : 0.0 sec. user=mdettweiler [2016-11-13 02:36:52] 839*2^1445660-1 is not prime. Res64: 24C7702BBEED9466 Time : 0.0 sec. user=mdettweiler [2016-11-13 02:36:52] 879*2^1445660-1 is not prime. Res64: 37DD731EB654A56E Time : 0.0 sec. user=mdettweiler [2016-11-13 02:36:52] 909*2^1445660-1 is not prime. Res64: 1E9F614AD24B316A Time : 0.0 sec. user=mdettweiler [2016-11-13 02:36:53] 983*2^1445660-1 is not prime. Res64: FA26045CF49681B0 Time : 0.0 sec. user=mdettweiler [2016-11-13 02:40:34] 751*2^1445661-1 is not prime. Res64: 0AF440A3288D6D04 Time : 0.0 sec. user=mdettweiler [2016-11-13 02:40:34] 895*2^1445661-1 is not prime. Res64: D9758FA465C76596 Time : 0.0 sec. user=mdettweiler [2016-11-13 02:40:35] 785*2^1445662-1 is not prime. Res64: 4723A44662D5B70C Time : 0.0 sec. user=mdettweiler [2016-11-13 02:40:35] 857*2^1445662-1 is not prime. Res64: F37A6083AEC81994 Time : 0.0 sec. user=mdettweiler [2016-11-13 02:40:36] 941*2^1445662-1 is not prime. Res64: 7F4D876E3F0C73B7 Time : 0.0 sec. user=mdettweiler [2016-11-13 02:40:43] 951*2^1445662-1 is not prime. Res64: 3C855336D4B9E012 Time : 0.0 sec. user=mdettweiler [2016-11-13 02:40:44] 609*2^1445663-1 is not prime. Res64: B0E2005896655BE3 Time : 0.0 sec. user=mdettweiler [2016-11-13 02:40:45] 643*2^1445663-1 is not prime. Res64: 68308621CF531A9B Time : 0.0 sec. user=mdettweiler [2016-11-13 02:40:46] 729*2^1445663-1 is not prime. Res64: 3A0C4A4877F06AF7 Time : 0.0 sec. user=mdettweiler [2016-11-13 02:40:46] 753*2^1445663-1 is not prime. Res64: B0069A7AD43359B2 Time : 0.0 sec. user=mdettweiler [2016-11-13 03:19:58] 811*2^1445663-1 is not prime. Res64: EDE8DAC95D93D74C Time : 0.0 sec. user=mdettweiler [2016-11-13 03:19:59] 609*2^1445664-1 is not prime. Res64: 86D8A1E37EC7AAE6 Time : 0.0 sec. user=mdettweiler [2016-11-13 03:20:00] 657*2^1445664-1 is not prime. Res64: 2050AC144383DC49 Time : 0.0 sec. user=mdettweiler [2016-11-13 03:20:00] 663*2^1445664-1 is not prime. Res64: 5CF51B959AFAFEC1 Time : 0.0 sec. user=mdettweiler [2016-11-13 03:20:00] 693*2^1445664-1 is not prime. Res64: 63E4636492F87DF9 Time : 0.0 sec. user=mdettweiler [2016-11-13 03:22:53] 719*2^1445664-1 is not prime. Res64: 012FFDB6A85DF12B Time : 0.0 sec. user=mdettweiler [2016-11-13 03:22:53] 725*2^1445664-1 is not prime. Res64: E3679F3482DD29A0 Time : 0.0 sec. user=mdettweiler [2016-11-13 03:22:54] 929*2^1445664-1 is not prime. Res64: F91AC1A072D0D4E9 Time : 0.0 sec. user=mdettweiler [2016-11-13 03:22:54] 619*2^1445665-1 is not prime. Res64: BC5D797122387073 Time : 0.0 sec. user=mdettweiler [2016-11-13 03:22:54] 705*2^1445665-1 is not prime. Res64: B34F00447E49FB4E Time : 0.0 sec. user=mdettweiler [2016-11-13 03:26:45] 805*2^1445665-1 is not prime. Res64: 65B00EA4ED082A79 Time : 0.0 sec. user=mdettweiler [2016-11-13 03:26:46] 915*2^1445665-1 is not prime. Res64: 3E70D5065413FC16 Time : 0.0 sec. user=mdettweiler [2016-11-13 03:26:47] 951*2^1445665-1 is not prime. Res64: 9D21A85C32D3A350 Time : 0.0 sec. user=mdettweiler [2016-11-13 03:26:48] 675*2^1445666-1 is not prime. Res64: 73996104177262AC Time : 0.0 sec. user=mdettweiler [2016-11-13 03:26:49] 677*2^1445666-1 is not prime. Res64: 336EE52032C29529 Time : 0.0 sec. user=mdettweiler [2016-11-13 03:26:51] 717*2^1445665-1 is not prime. Res64: 51550CFD9405BC34 Time : 0.0 sec. user=mdettweiler [2016-11-13 03:26:52] 727*2^1445665-1 is not prime. Res64: 25D3B644A0CD551C Time : 0.0 sec. user=mdettweiler [2016-11-13 03:26:53] 729*2^1445665-1 is not prime. Res64: 35D9B065C03F642E Time : 0.0 sec. user=mdettweiler [2016-11-13 03:26:54] 777*2^1445665-1 is not prime. Res64: 044F4B74B136DBD1 Time : 0.0 sec. user=mdettweiler [2016-11-13 03:26:56] 789*2^1445665-1 is not prime. Res64: 98815DE49B581CAF Time : 0.0 sec. user=mdettweiler [2016-11-13 04:05:12] 713*2^1445666-1 is not prime. Res64: EBA98DDD661B59DB Time : 0.0 sec. user=mdettweiler [2016-11-13 04:08:23] 873*2^1445666-1 is not prime. Res64: 2D9BEDB5D1AC4709 Time : 0.0 sec. user=mdettweiler [2016-11-13 04:12:28] 621*2^1445669-1 is not prime. Res64: 843800CD7832FEE1 Time : 0.0 sec. user=mdettweiler [2016-11-13 04:12:31] 631*2^1445669-1 is not prime. Res64: 67A71B52717E567A Time : 0.0 sec. user=mdettweiler [2016-11-13 04:12:37] 655*2^1445669-1 is not prime. Res64: 90A332405F84FA7C Time : 0.0 sec. user=mdettweiler [2016-11-13 04:12:39] 605*2^1445668-1 is not prime. Res64: 81314F6E068696AF Time : 0.0 sec. user=mdettweiler [2016-11-13 04:12:43] 729*2^1445669-1 is not prime. Res64: D8F4A1397AA5B79B Time : 0.0 sec. user=mdettweiler [2016-11-13 04:12:46] 623*2^1445668-1 is not prime. Res64: 7D56BD319E7E1660 Time : 0.0 sec. user=mdettweiler [2016-11-13 04:12:49] 837*2^1445669-1 is not prime. Res64: A20239725B4F19D2 Time : 0.0 sec. user=mdettweiler [2016-11-13 04:12:52] 687*2^1445668-1 is not prime. Res64: 2F6DC55AD5DA6702 Time : 0.0 sec. user=mdettweiler [2016-11-13 04:12:56] 797*2^1445668-1 is not prime. Res64: B54C3C675788454F Time : 0.0 sec. user=mdettweiler [2016-11-13 04:12:59] 969*2^1445668-1 is not prime. Res64: 483FF2A8331D5696 Time : 0.0 sec. user=mdettweiler [2016-11-13 05:00:46] 657*2^1445670-1 is not prime. Res64: 1F7F4084C5070C01 Time : 0.0 sec. user=mdettweiler [2016-11-13 05:00:48] 755*2^1445670-1 is not prime. Res64: 6B268990B2869A23 Time : 0.0 sec. user=mdettweiler [2016-11-13 05:00:50] 773*2^1445670-1 is not prime. Res64: 966ECFBDD5555101 Time : 0.0 sec. user=mdettweiler [2016-11-13 05:00:51] 801*2^1445670-1 is not prime. Res64: 23238D22950D4F5E Time : 0.0 sec. user=mdettweiler [2016-11-13 05:00:52] 821*2^1445670-1 is not prime. Res64: 6BCA5CE0C610869B Time : 0.0 sec. user=mdettweiler [2016-11-13 05:00:53] 867*2^1445670-1 is not prime. Res64: FCA09648D677384A Time : 0.0 sec. user=mdettweiler [2016-11-13 05:00:54] 885*2^1445670-1 is not prime. Res64: 3DEB502DD38B720C Time : 0.0 sec. user=mdettweiler [2016-11-13 05:00:56] 927*2^1445670-1 is not prime. Res64: 43FC67CE1764F696 Time : 0.0 sec. user=mdettweiler [2016-11-13 05:00:56] 1001*2^1445670-1 is not prime. Res64: 5EA0A58BDA970D3A Time : 0.0 sec. user=mdettweiler [2016-11-13 05:00:57] 625*2^1445671-1 is not prime. Res64: AD757819D1485B6C Time : 0.0 sec. user=mdettweiler [2016-11-13 05:48:03] 709*2^1445671-1 is not prime. Res64: 336A1C702AA10CDD Time : 0.0 sec. user=mdettweiler [2016-11-13 05:48:04] 883*2^1445671-1 is not prime. Res64: DA9B20727A8AB7D7 Time : 0.0 sec. user=mdettweiler [2016-11-13 05:48:04] 951*2^1445671-1 is not prime. Res64: 4C6A77D5945284AC Time : 0.0 sec. user=mdettweiler [2016-11-13 05:48:05] 999*2^1445671-1 is not prime. Res64: 980BD4B442112DD2 Time : 0.0 sec. user=mdettweiler [2016-11-13 05:48:05] 605*2^1445672-1 is not prime. Res64: 8C5A70E870FFA8A7 Time : 0.0 sec. user=mdettweiler [2016-11-13 05:48:05] 867*2^1445672-1 is not prime. Res64: EC40E483912F1AF7 Time : 0.0 sec. user=mdettweiler [2016-11-13 05:48:06] 903*2^1445672-1 is not prime. Res64: 954E37FDEAE09C85 Time : 0.0 sec. user=mdettweiler [2016-11-13 05:48:06] 929*2^1445672-1 is not prime. Res64: 6FA1ABDEA4AF168A Time : 0.0 sec. user=mdettweiler [2016-11-13 05:48:06] 739*2^1445673-1 is not prime. Res64: 4BE321389C03D11B Time : 0.0 sec. user=mdettweiler [2016-11-13 05:48:07] 769*2^1445673-1 is not prime. Res64: CBF7307A1691B579 Time : 0.0 sec. user=mdettweiler [2016-11-13 06:35:51] 969*2^1445673-1 is not prime. Res64: 1668B17AE3854FC6 Time : 0.0 sec. user=mdettweiler [2016-11-13 06:35:51] 999*2^1445673-1 is not prime. Res64: 4203FBC96278D4F2 Time : 0.0 sec. user=mdettweiler [2016-11-13 06:35:52] 923*2^1445674-1 is not prime. Res64: 323F101405DC9617 Time : 0.0 sec. user=mdettweiler [2016-11-13 06:35:52] 643*2^1445675-1 is not prime. Res64: A57E35C83F53694C Time : 0.0 sec. user=mdettweiler [2016-11-13 06:35:53] 775*2^1445675-1 is not prime. Res64: E1863915F65F0336 Time : 0.0 sec. user=mdettweiler [2016-11-13 06:36:02] 909*2^1445675-1 is not prime. Res64: E59E6E6530A108FC Time : 0.0 sec. user=mdettweiler [2016-11-13 06:36:02] 913*2^1445675-1 is not prime. Res64: 168FE67AD968F8EE Time : 0.0 sec. user=mdettweiler [2016-11-13 06:36:03] 689*2^1445676-1 is not prime. Res64: 26B101E44D4C062A Time : 0.0 sec. user=mdettweiler [2016-11-13 06:36:03] 723*2^1445676-1 is not prime. Res64: 712267FD864F2A71 Time : 0.0 sec. user=mdettweiler [2016-11-13 06:36:03] 839*2^1445676-1 is not prime. Res64: 67A63CA3DA39E82A Time : 0.0 sec. user=mdettweiler [2016-11-13 07:14:52] 783*2^1445666-1 is not prime. Res64: 1A551E9CC46AF5B9 Time : 0.0 sec. user=mdettweiler [2016-11-13 07:14:53] 815*2^1445666-1 is not prime. Res64: 8E2187EEAD6A000E Time : 0.0 sec. user=mdettweiler [2016-11-13 07:14:53] 827*2^1445666-1 is not prime. Res64: 4A0418D6AF91BEAF Time : 0.0 sec. user=mdettweiler [2016-11-13 07:14:53] 837*2^1445666-1 is not prime. Res64: 730C032FDAD167C8 Time : 0.0 sec. user=mdettweiler [2016-11-13 07:23:44] 905*2^1445676-1 is not prime. Res64: C856739BE4530159 Time : 0.0 sec. user=mdettweiler [2016-11-13 07:23:44] 615*2^1445677-1 is not prime. Res64: 0183D40A272BD992 Time : 0.0 sec. user=mdettweiler [2016-11-13 07:23:44] 651*2^1445677-1 is not prime. Res64: 3A28F57EFF4174C9 Time : 0.0 sec. user=mdettweiler [2016-11-13 07:23:45] 729*2^1445677-1 is not prime. Res64: A7DD31580AB94B43 Time : 0.0 sec. user=mdettweiler [2016-11-13 07:23:45] 939*2^1445677-1 is not prime. Res64: E5F5B98338F061E8 Time : 0.0 sec. user=mdettweiler [2016-11-13 07:23:57] 671*2^1445678-1 is not prime. Res64: 8E0B9B05B67DCEED Time : 0.0 sec. user=mdettweiler [2016-11-13 07:23:57] 867*2^1445678-1 is not prime. Res64: CCCD311F01901773 Time : 0.0 sec. user=mdettweiler [2016-11-13 07:23:58] 875*2^1445678-1 is not prime. Res64: 48B3114D649960F5 Time : 0.0 sec. user=mdettweiler [2016-11-13 07:23:58] 625*2^1445679-1 is not prime. Res64: 1B2A17557E676467 Time : 0.0 sec. user=mdettweiler [2016-11-13 07:23:59] 709*2^1445679-1 is not prime. Res64: B8CE0319F78F2FE6 Time : 0.0 sec. user=mdettweiler [2016-11-13 08:00:48] 735*2^1445679-1 is not prime. Res64: A6249ED6A3FDD010 Time : 0.0 sec. user=mdettweiler [2016-11-13 08:00:49] 843*2^1445679-1 is not prime. Res64: 91E6DA597F65E645 Time : 0.0 sec. user=mdettweiler [2016-11-13 08:00:50] 913*2^1445679-1 is not prime. Res64: B25C1F93F9DCB4CA Time : 0.0 sec. user=mdettweiler [2016-11-13 08:00:51] 623*2^1445680-1 is not prime. Res64: AAB8E4724FFB9ABC Time : 0.0 sec. user=mdettweiler [2016-11-13 08:00:53] 635*2^1445680-1 is not prime. Res64: D98047D36923A03F Time : 0.0 sec. user=mdettweiler [2016-11-13 08:09:20] 887*2^1445680-1 is not prime. Res64: A8D19D6BD469BE6E Time : 0.0 sec. user=mdettweiler [2016-11-13 08:09:21] 897*2^1445680-1 is not prime. Res64: 1DDD63D7234AD866 Time : 0.0 sec. user=mdettweiler [2016-11-13 08:09:21] 899*2^1445680-1 is not prime. Res64: 729FE8E6E3868B7C Time : 0.0 sec. user=mdettweiler [2016-11-13 08:09:22] 929*2^1445680-1 is not prime. Res64: B79B9C9DB92C411F Time : 0.0 sec. user=mdettweiler [2016-11-13 08:09:22] 975*2^1445680-1 is not prime. Res64: AEE18FBB4F8D651D Time : 0.0 sec. user=mdettweiler [2016-11-13 08:09:48] 619*2^1445681-1 is not prime. Res64: 1572B10FE15961DC Time : 0.0 sec. user=mdettweiler [2016-11-13 08:09:48] 747*2^1445681-1 is not prime. Res64: 22B14F80E034DFF0 Time : 0.0 sec. user=mdettweiler [2016-11-13 08:09:48] 633*2^1445682-1 is not prime. Res64: FE84D8F78FDD9F44 Time : 0.0 sec. user=mdettweiler [2016-11-13 08:09:49] 681*2^1445682-1 is not prime. Res64: A401998055123081 Time : 0.0 sec. user=mdettweiler [2016-11-13 08:09:49] 801*2^1445682-1 is not prime. Res64: 728394D3B13C8CF9 Time : 0.0 sec. user=mdettweiler [2016-11-13 08:47:01] 815*2^1445682-1 is not prime. Res64: CAE056177E3DE972 Time : 0.0 sec. user=mdettweiler [2016-11-13 08:47:01] 875*2^1445682-1 is not prime. Res64: 713DB9F3F16E1DBD Time : 0.0 sec. user=mdettweiler [2016-11-13 08:47:02] 977*2^1445682-1 is not prime. Res64: 8162ABB7F63698F9 Time : 0.0 sec. user=mdettweiler [2016-11-13 08:47:02] 983*2^1445682-1 is not prime. Res64: 24CB5300D0A083AE Time : 0.0 sec. user=mdettweiler [2016-11-13 08:47:03] 609*2^1445683-1 is not prime. Res64: B43B716EF73A730C Time : 0.0 sec. user=mdettweiler [2016-11-13 08:52:52] 651*2^1445667-1 is not prime. Res64: 7BA0E9B496E4E565 Time : 0.0 sec. user=mdettweiler [2016-11-13 08:52:53] 909*2^1445667-1 is not prime. Res64: 5BFA36D7CF7D54AD Time : 0.0 sec. user=mdettweiler [2016-11-13 08:52:53] 955*2^1445667-1 is not prime. Res64: C0EBB0ECFA9543FA Time : 0.0 sec. user=mdettweiler [2016-11-13 08:52:53] 985*2^1445667-1 is not prime. Res64: 464F47CF85652ABA Time : 0.0 sec. user=mdettweiler [2016-11-13 08:55:47] 639*2^1445683-1 is not prime. Res64: 50371199E7698539 Time : 0.0 sec. user=mdettweiler [2016-11-13 08:55:48] 751*2^1445683-1 is not prime. Res64: 6D41D891756FE0E7 Time : 0.0 sec. user=mdettweiler [2016-11-13 08:55:48] 895*2^1445683-1 is not prime. Res64: 9A9F3A9740D3AFFE Time : 0.0 sec. user=mdettweiler [2016-11-13 08:55:49] 999*2^1445683-1 is not prime. Res64: 439523EA419F8FC1 Time : 0.0 sec. user=mdettweiler [2016-11-13 08:55:49] 635*2^1445684-1 is not prime. Res64: 75BB5419E8254F07 Time : 0.0 sec. user=mdettweiler [2016-11-13 08:55:52] 803*2^1445684-1 is not prime. Res64: A53EB17A1E431572 Time : 0.0 sec. user=mdettweiler [2016-11-13 08:55:52] 843*2^1445684-1 is not prime. Res64: B74ADC5178798EB3 Time : 0.0 sec. user=mdettweiler [2016-11-13 08:55:53] 903*2^1445684-1 is not prime. Res64: 59CC0BD010DCEED9 Time : 0.0 sec. user=mdettweiler [2016-11-13 08:55:53] 995*2^1445684-1 is not prime. Res64: 25FB9053C23A65C7 Time : 0.0 sec. user=mdettweiler [2016-11-13 08:55:54] 675*2^1445685-1 is not prime. Res64: 51932BC728C9A447 Time : 0.0 sec. user=mdettweiler [2016-11-13 09:31:53] 691*2^1445685-1 is not prime. Res64: C9635513CE84394F Time : 0.0 sec. user=mdettweiler [2016-11-13 09:31:54] 717*2^1445685-1 is not prime. Res64: 4F0D43CE456B7EB4 Time : 0.0 sec. user=mdettweiler [2016-11-13 09:31:54] 735*2^1445685-1 is not prime. Res64: C38CB75CEDD2F503 Time : 0.0 sec. user=mdettweiler [2016-11-13 09:31:54] 741*2^1445685-1 is not prime. Res64: 24AFAD92AB4C8FAC Time : 0.0 sec. user=mdettweiler [2016-11-13 09:31:55] 759*2^1445685-1 is not prime. Res64: E5352F848C429508 Time : 0.0 sec. user=mdettweiler [2016-11-13 09:37:28] 861*2^1445685-1 is not prime. Res64: 69570C7651C0F2F5 Time : 0.0 sec. user=mdettweiler [2016-11-13 09:37:28] 871*2^1445685-1 is not prime. Res64: 612CF7FB703BE50A Time : 0.0 sec. user=mdettweiler [2016-11-13 09:37:29] 895*2^1445685-1 is not prime. Res64: AF0F920C05725588 Time : 0.0 sec. user=mdettweiler [2016-11-13 09:37:29] 919*2^1445685-1 is not prime. Res64: F175C83C94FE6169 Time : 0.0 sec. user=mdettweiler [2016-11-13 09:37:29] 921*2^1445685-1 is not prime. Res64: E6D9262FC74C468D Time : 0.0 sec. user=mdettweiler [2016-11-13 09:40:38] 949*2^1445685-1 is not prime. Res64: 86A7A0CC2952D868 Time : 0.0 sec. user=mdettweiler [2016-11-13 09:40:39] 651*2^1445686-1 is not prime. Res64: D11B18C78388E002 Time : 0.0 sec. user=mdettweiler [2016-11-13 09:40:39] 747*2^1445686-1 is not prime. Res64: FEFCD42BB79BE9AB Time : 0.0 sec. user=mdettweiler [2016-11-13 09:40:40] 857*2^1445686-1 is not prime. Res64: FD7007BE12EA9334 Time : 0.0 sec. user=mdettweiler [2016-11-13 09:40:40] 957*2^1445686-1 is not prime. Res64: 755A3E49B2261C76 Time : 0.0 sec. user=mdettweiler [2016-11-13 09:40:43] 965*2^1445686-1 is not prime. Res64: 3BADD79C7FA6C081 Time : 0.0 sec. user=mdettweiler [2016-11-13 09:40:43] 971*2^1445686-1 is not prime. Res64: 65766820CDD1BD3D Time : 0.0 sec. user=mdettweiler [2016-11-13 09:40:43] 983*2^1445686-1 is not prime. Res64: F8E420FC2C1AC35F Time : 0.0 sec. user=mdettweiler [2016-11-13 09:40:44] 615*2^1445687-1 is not prime. Res64: E3E9519A82BDB7A1 Time : 0.0 sec. user=mdettweiler [2016-11-13 09:40:44] 619*2^1445687-1 is not prime. Res64: 2EE82D8286D0E1EB Time : 0.0 sec. user=mdettweiler [2016-11-13 10:16:38] 643*2^1445687-1 is not prime. Res64: E0B8DF85E90366F0 Time : 0.0 sec. user=mdettweiler [2016-11-13 10:16:39] 645*2^1445687-1 is not prime. Res64: 68AF164ED692EB36 Time : 0.0 sec. user=mdettweiler [2016-11-13 10:16:39] 673*2^1445687-1 is not prime. Res64: 82353B9A67D99DA0 Time : 0.0 sec. user=mdettweiler [2016-11-13 10:16:40] 703*2^1445687-1 is not prime. Res64: B21860C2941968A3 Time : 0.0 sec. user=mdettweiler [2016-11-13 10:16:40] 639*2^1445688-1 is not prime. Res64: 5B3055A731BA65D6 Time : 0.0 sec. user=mdettweiler [2016-11-13 10:22:19] 657*2^1445688-1 is not prime. Res64: 7670A88FC53D797B Time : 0.0 sec. user=mdettweiler [2016-11-13 10:22:19] 683*2^1445688-1 is not prime. Res64: E72E823C92A05B00 Time : 0.0 sec. user=mdettweiler [2016-11-13 10:22:20] 707*2^1445688-1 is not prime. Res64: 219B82976588A2C1 Time : 0.0 sec. user=mdettweiler [2016-11-13 10:22:20] 777*2^1445688-1 is not prime. Res64: 56A13FC8E36AD44C Time : 0.0 sec. user=mdettweiler [2016-11-13 10:22:21] 879*2^1445688-1 is not prime. Res64: 912428C270DDB519 Time : 0.0 sec. user=mdettweiler [2016-11-13 10:25:34] 945*2^1445688-1 is not prime. Res64: 46A5353D61B6BCA6 Time : 0.0 sec. user=mdettweiler [2016-11-13 10:25:34] 705*2^1445689-1 is not prime. Res64: C591673084AD349E Time : 0.0 sec. user=mdettweiler [2016-11-13 10:25:34] 747*2^1445689-1 is not prime. Res64: B605B06B7D097C1F Time : 0.0 sec. user=mdettweiler [2016-11-13 10:25:35] 885*2^1445689-1 is not prime. Res64: E5CC1F2DEE81E885 Time : 0.0 sec. user=mdettweiler [2016-11-13 10:25:35] 605*2^1445690-1 is not prime. Res64: 570E41DDEFC6FEAE Time : 0.0 sec. user=mdettweiler [2016-11-13 10:25:48] 675*2^1445690-1 is not prime. Res64: B21D67B1A88F5952 Time : 0.0 sec. user=mdettweiler [2016-11-13 10:25:48] 767*2^1445690-1 is not prime. Res64: 6D8A0CC8A5A8848E Time : 0.0 sec. user=mdettweiler [2016-11-13 10:25:49] 783*2^1445690-1 is not prime. Res64: 25D316E426A17B15 Time : 0.0 sec. user=mdettweiler [2016-11-13 10:25:49] 813*2^1445690-1 is not prime. Res64: 6F58E40B3C04CA42 Time : 0.0 sec. user=mdettweiler [2016-11-13 10:25:49] 885*2^1445690-1 is not prime. Res64: 67B30455FDEBE564 Time : 0.0 sec. user=mdettweiler [2016-11-13 11:01:43] 615*2^1445691-1 is not prime. Res64: E4E83B54D6D6A70F Time : 0.0 sec. user=mdettweiler [2016-11-13 11:01:45] 709*2^1445691-1 is not prime. Res64: 051CF05FDAE39476 Time : 0.0 sec. user=mdettweiler [2016-11-13 11:01:46] 895*2^1445691-1 is not prime. Res64: 7A1C3B0C46867A04 Time : 0.0 sec. user=mdettweiler [2016-11-13 11:01:47] 647*2^1445692-1 is not prime. Res64: 61F5668CB969CB10 Time : 0.0 sec. user=mdettweiler [2016-11-13 11:01:48] 687*2^1445692-1 is not prime. Res64: B04F08FA9944594F Time : 0.0 sec. user=mdettweiler [2016-11-13 11:07:07] 843*2^1445692-1 is not prime. Res64: F94F5C4066677F97 Time : 0.0 sec. user=mdettweiler [2016-11-13 11:07:08] 873*2^1445692-1 is not prime. Res64: 608D79762019A5EF Time : 0.0 sec. user=mdettweiler [2016-11-13 11:07:09] 957*2^1445692-1 is not prime. Res64: 8808040F1F7A6B85 Time : 0.0 sec. user=mdettweiler [2016-11-13 11:07:09] 999*2^1445692-1 is not prime. Res64: C8CBF82F604E2037 Time : 0.0 sec. user=mdettweiler [2016-11-13 11:07:10] 615*2^1445693-1 is not prime. Res64: AFAE1BD26979DBEE Time : 0.0 sec. user=mdettweiler [2016-11-13 11:49:32] 1001*2^1445694-1 is not prime. Res64: 35398C9F7AAB4F13 Time : 0.0 sec. user=mdettweiler [2016-11-13 11:49:33] 603*2^1445695-1 is not prime. Res64: 510073C8B30FB55B Time : 0.0 sec. user=mdettweiler [2016-11-13 11:49:33] 709*2^1445695-1 is not prime. Res64: DEADFB76C37B347A Time : 0.0 sec. user=mdettweiler [2016-11-13 11:49:34] 751*2^1445695-1 is not prime. Res64: 2FD20E1CA102911E Time : 0.0 sec. user=mdettweiler [2016-11-13 11:49:34] 759*2^1445695-1 is not prime. Res64: 8B4AA7602AD774E2 Time : 0.0 sec. user=mdettweiler [2016-11-13 11:54:52] 885*2^1445695-1 is not prime. Res64: E9B0B3976C8C7834 Time : 0.0 sec. user=mdettweiler [2016-11-13 11:54:53] 951*2^1445695-1 is not prime. Res64: CE2AB3943B0B07D5 Time : 0.0 sec. user=mdettweiler [2016-11-13 11:54:53] 633*2^1445696-1 is not prime. Res64: 578E2778C1CBCF25 Time : 0.0 sec. user=mdettweiler [2016-11-13 11:54:53] 747*2^1445696-1 is not prime. Res64: 69A0CEBACF04DFE3 Time : 0.0 sec. user=mdettweiler [2016-11-13 11:54:54] 857*2^1445696-1 is not prime. Res64: 94D67046AB258485 Time : 0.0 sec. user=mdettweiler [2016-11-13 12:38:09] 873*2^1445696-1 is not prime. Res64: BC9FD9FAE45906C0 Time : 0.0 sec. user=mdettweiler [2016-11-13 12:38:09] 875*2^1445696-1 is not prime. Res64: D796CBC6BAEF2A1C Time : 0.0 sec. user=mdettweiler [2016-11-13 12:38:10] 983*2^1445696-1 is not prime. Res64: 5216C8F6DD313D59 Time : 0.0 sec. user=mdettweiler [2016-11-13 12:38:10] 615*2^1445697-1 is not prime. Res64: 518CFEAA2BD012D3 Time : 0.0 sec. user=mdettweiler [2016-11-13 12:38:11] 625*2^1445697-1 is not prime. Res64: E6B4ED536A285EB2 Time : 0.0 sec. user=mdettweiler [2016-11-13 12:43:06] 649*2^1445697-1 is not prime. Res64: 2AEF76A02A5324EF Time : 0.0 sec. user=mdettweiler [2016-11-13 12:43:06] 681*2^1445697-1 is not prime. Res64: BD2D17D9A98E9DF1 Time : 0.0 sec. user=mdettweiler [2016-11-13 12:43:07] 747*2^1445697-1 is not prime. Res64: 3C659C3669A23BD7 Time : 0.0 sec. user=mdettweiler [2016-11-13 12:43:07] 751*2^1445697-1 is not prime. Res64: BBFA6CC50106F25C Time : 0.0 sec. user=mdettweiler [2016-11-13 12:43:07] 819*2^1445697-1 is not prime. Res64: 56DB6BB6692AE7AA Time : 0.0 sec. user=mdettweiler [2016-11-13 13:27:12] 847*2^1445697-1 is not prime. Res64: 21E770EF7F31FE30 Time : 0.0 sec. user=mdettweiler [2016-11-13 13:27:13] 915*2^1445697-1 is not prime. Res64: 380F2E49A59084D1 Time : 0.0 sec. user=mdettweiler [2016-11-13 13:27:13] 663*2^1445698-1 is not prime. Res64: 48C2B48554C196A9 Time : 0.0 sec. user=mdettweiler [2016-11-13 13:27:14] 705*2^1445698-1 is not prime. Res64: 521DDA2514205C21 Time : 0.0 sec. user=mdettweiler [2016-11-13 13:27:14] 777*2^1445698-1 is not prime. Res64: C60DFF85B3EC06EE Time : 0.0 sec. user=mdettweiler [2016-11-13 13:31:37] 827*2^1445698-1 is not prime. Res64: 97F28A74D769A61A Time : 0.0 sec. user=mdettweiler [2016-11-13 13:31:37] 831*2^1445698-1 is not prime. Res64: C10E3428468B16D8 Time : 0.0 sec. user=mdettweiler [2016-11-13 13:31:37] 915*2^1445698-1 is not prime. Res64: ED136F94202E15ED Time : 0.0 sec. user=mdettweiler [2016-11-13 13:31:38] 933*2^1445698-1 is not prime. Res64: 978F08018D8D92BF Time : 0.0 sec. user=mdettweiler [2016-11-13 13:31:38] 693*2^1445699-1 is not prime. Res64: 4765111B1C160D9C Time : 0.0 sec. user=mdettweiler [2016-11-13 14:16:09] 955*2^1445699-1 is not prime. Res64: A2D5E820FD54D424 Time : 0.0 sec. user=mdettweiler [2016-11-13 14:16:10] 985*2^1445699-1 is not prime. Res64: 81708D840A929F63 Time : 0.0 sec. user=mdettweiler [2016-11-13 14:16:10] 991*2^1445699-1 is not prime. Res64: 3DFDCCE8F69EC9DE Time : 0.0 sec. user=mdettweiler [2016-11-13 14:16:11] 999*2^1445699-1 is not prime. Res64: BD08FFACEC1AFB74 Time : 0.0 sec. user=mdettweiler [2016-11-13 14:16:12] 609*2^1445700-1 is not prime. Res64: CE261F7ACA93F15D Time : 0.0 sec. user=mdettweiler [2016-11-13 14:20:09] 725*2^1445700-1 is not prime. Res64: 30917380966E1A4E Time : 0.0 sec. user=mdettweiler [2016-11-13 14:20:10] 765*2^1445700-1 is not prime. Res64: 8554C75E79A687A0 Time : 0.0 sec. user=mdettweiler [2016-11-13 14:20:11] 773*2^1445700-1 is not prime. Res64: DF19444954E43751 Time : 0.0 sec. user=mdettweiler [2016-11-13 14:20:12] 789*2^1445700-1 is not prime. Res64: A5B3F168AC6A42DA Time : 0.0 sec. user=mdettweiler [2016-11-13 14:20:13] 929*2^1445700-1 is not prime. Res64: 20417519068BD8DB Time : 0.0 sec. user=mdettweiler [2016-11-13 15:05:11] 965*2^1445700-1 is not prime. Res64: 258C821325A89853 Time : 0.0 sec. user=mdettweiler [2016-11-13 15:05:13] 975*2^1445700-1 is not prime. Res64: 0FD1B7DFBB5A8AE2 Time : 0.0 sec. user=mdettweiler [2016-11-13 15:05:14] 615*2^1445701-1 is not prime. Res64: 8AF35EE26FDED587 Time : 0.0 sec. user=mdettweiler [2016-11-13 15:05:14] 951*2^1445701-1 is not prime. Res64: E4FCB97B3DD13CC6 Time : 0.0 sec. user=mdettweiler [2016-11-13 15:05:15] 675*2^1445702-1 is not prime. Res64: FEA9F0F6D62D9A4B Time : 0.0 sec. user=mdettweiler [2016-11-13 15:09:05] 785*2^1445702-1 is not prime. Res64: 9E719AA96CC8C002 Time : 0.0 sec. user=mdettweiler [2016-11-13 15:09:05] 797*2^1445702-1 is not prime. Res64: 6F548D90138FCEFB Time : 0.0 sec. user=mdettweiler [2016-11-13 15:09:06] 801*2^1445702-1 is not prime. Res64: 9D695EAD93AB08B4 Time : 0.0 sec. user=mdettweiler [2016-11-13 15:09:06] 963*2^1445702-1 is not prime. Res64: 22E135E76A12E55E Time : 0.0 sec. user=mdettweiler [2016-11-13 15:09:06] 669*2^1445703-1 is not prime. Res64: 9A5F92AFB8F5B1D4 Time : 0.0 sec. user=mdettweiler [2016-11-13 15:54:10] 793*2^1445703-1 is not prime. Res64: 3C8D8524EF79590D Time : 0.0 sec. user=mdettweiler [2016-11-13 15:54:10] 795*2^1445703-1 is not prime. Res64: 92EEA90F3D189247 Time : 0.0 sec. user=mdettweiler [2016-11-13 15:54:10] 805*2^1445703-1 is not prime. Res64: FDC192E9F7C0CA9C Time : 0.0 sec. user=mdettweiler [2016-11-13 15:54:11] 873*2^1445703-1 is not prime. Res64: 9AB890B6689CE29F Time : 0.0 sec. user=mdettweiler [2016-11-13 15:54:11] 891*2^1445703-1 is not prime. Res64: A3279353B822AFBE Time : 0.0 sec. user=mdettweiler [2016-11-13 15:57:26] 617*2^1445704-1 is not prime. Res64: 864BCFDE9C54F05D Time : 0.0 sec. user=mdettweiler [2016-11-13 15:57:26] 687*2^1445704-1 is not prime. Res64: FAA4C94226A8CB2A Time : 0.0 sec. user=mdettweiler [2016-11-13 15:57:26] 947*2^1445704-1 is not prime. Res64: 50C1B4F3D576645A Time : 0.0 sec. user=mdettweiler [2016-11-13 15:57:27] 965*2^1445704-1 is not prime. Res64: 053FED8BAC6F4553 Time : 0.0 sec. user=mdettweiler [2016-11-13 15:57:27] 969*2^1445704-1 is not prime. Res64: A0816BAEE77A0B3D Time : 0.0 sec. user=mdettweiler [2016-11-13 16:42:58] 645*2^1445705-1 is not prime. Res64: A2FF61048CD99451 Time : 0.0 sec. user=mdettweiler [2016-11-13 16:42:59] 679*2^1445705-1 is not prime. Res64: D998F737DE7EB211 Time : 0.0 sec. user=mdettweiler [2016-11-13 16:42:59] 717*2^1445705-1 is not prime. Res64: 32D0A97137E19F8A Time : 0.0 sec. user=mdettweiler [2016-11-13 16:42:59] 787*2^1445705-1 is not prime. Res64: 5D942656BA0FE5FA Time : 0.0 sec. user=mdettweiler [2016-11-13 16:43:00] 847*2^1445705-1 is not prime. Res64: 2681376EE5092874 Time : 0.0 sec. user=mdettweiler [2016-11-13 16:46:01] 871*2^1445705-1 is not prime. Res64: F49CCB8D9B1CF572 Time : 0.0 sec. user=mdettweiler [2016-11-13 16:46:01] 907*2^1445705-1 is not prime. Res64: C4BB5594A88D8ED3 Time : 0.0 sec. user=mdettweiler [2016-11-13 16:46:02] 909*2^1445705-1 is not prime. Res64: 2B9265C6BAA8C185 Time : 0.0 sec. user=mdettweiler [2016-11-13 16:46:02] 939*2^1445705-1 is not prime. Res64: 1309FCE67916A2E2 Time : 0.0 sec. user=mdettweiler [2016-11-13 16:46:02] 741*2^1445706-1 is not prime. Res64: 9099BD8BAFDB9C23 Time : 0.0 sec. user=mdettweiler [2016-11-13 17:35:29] 807*2^1445706-1 is not prime. Res64: 2ABB5A71B7AA1B93 Time : 0.0 sec. user=mdettweiler [2016-11-13 17:35:29] 821*2^1445706-1 is not prime. Res64: 99A184F82689D756 Time : 0.0 sec. user=mdettweiler [2016-11-13 17:35:30] 881*2^1445706-1 is not prime. Res64: DDA8977A83756301 Time : 0.0 sec. user=mdettweiler [2016-11-13 17:35:30] 923*2^1445706-1 is not prime. Res64: 58E5D58433100155 Time : 0.0 sec. user=mdettweiler [2016-11-13 17:35:30] 645*2^1445707-1 is not prime. Res64: 9E615F3554B38F7A Time : 0.0 sec. user=mdettweiler [2016-11-13 17:38:04] 703*2^1445707-1 is not prime. Res64: 1CC17123272799EB Time : 0.0 sec. user=mdettweiler [2016-11-13 17:38:04] 849*2^1445707-1 is not prime. Res64: 73B14883CFE69664 Time : 0.0 sec. user=mdettweiler [2016-11-13 17:38:04] 873*2^1445707-1 is not prime. Res64: 5585F06AA90097B9 Time : 0.0 sec. user=mdettweiler [2016-11-13 17:38:05] 915*2^1445707-1 is not prime. Res64: 1B54BCBE63A2D8C0 Time : 0.0 sec. user=mdettweiler [2016-11-13 17:38:05] 985*2^1445707-1 is not prime. Res64: D0CC798E6DEFEF69 Time : 0.0 sec. user=mdettweiler [2016-11-13 18:23:59] 617*2^1445708-1 is not prime. Res64: 409FB98E6342A493 Time : 0.0 sec. user=mdettweiler [2016-11-13 18:23:59] 725*2^1445708-1 is not prime. Res64: F804778373E8BCFF Time : 0.0 sec. user=mdettweiler [2016-11-13 18:24:00] 767*2^1445708-1 is not prime. Res64: 5FC71A4D575F40A5 Time : 0.0 sec. user=mdettweiler [2016-11-13 18:24:00] 845*2^1445708-1 is not prime. Res64: 0DBB4DC01053D5BC Time : 0.0 sec. user=mdettweiler [2016-11-13 18:24:00] 957*2^1445708-1 is not prime. Res64: 642B5EA40E0A6D8C Time : 0.0 sec. user=mdettweiler [2016-11-13 18:26:27] 977*2^1445708-1 is not prime. Res64: 73105FBF3E471ADC Time : 0.0 sec. user=mdettweiler [2016-11-13 18:26:28] 625*2^1445709-1 is not prime. Res64: E8058FB0A48CBEAE Time : 0.0 sec. user=mdettweiler [2016-11-13 18:26:29] 627*2^1445709-1 is not prime. Res64: 6CD3B170948F4539 Time : 0.0 sec. user=mdettweiler [2016-11-13 18:26:29] 741*2^1445709-1 is not prime. Res64: 41A3DB2677433651 Time : 0.0 sec. user=mdettweiler [2016-11-13 18:26:30] 769*2^1445709-1 is not prime. Res64: 07700834D57AB8CD Time : 0.0 sec. user=mdettweiler [2016-11-13 19:12:44] 795*2^1445709-1 is not prime. Res64: 9FDFFAFBA80B8D87 Time : 0.0 sec. user=mdettweiler [2016-11-13 19:12:44] 987*2^1445709-1 is not prime. Res64: 9E3B5259C4E6F34B Time : 0.0 sec. user=mdettweiler [2016-11-13 19:12:45] 657*2^1445710-1 is not prime. Res64: D65F8037618A0293 Time : 0.0 sec. user=mdettweiler [2016-11-13 19:12:45] 687*2^1445710-1 is not prime. Res64: AC7486F0FD2E4E1A Time : 0.0 sec. user=mdettweiler [2016-11-13 19:12:46] 773*2^1445710-1 is not prime. Res64: CE79E7AB8C8AE029 Time : 0.0 sec. user=mdettweiler [2016-11-13 19:15:09] 791*2^1445710-1 is not prime. Res64: 191458BE82139D22 Time : 0.0 sec. user=mdettweiler [2016-11-13 19:15:09] 821*2^1445710-1 is not prime. Res64: 0822D1B757E8CECD Time : 0.0 sec. user=mdettweiler [2016-11-13 19:15:09] 825*2^1445710-1 is not prime. Res64: 3E013D9C2F08F184 Time : 0.0 sec. user=mdettweiler [2016-11-13 19:15:10] 843*2^1445710-1 is not prime. Res64: DED2B041926290FA Time : 0.0 sec. user=mdettweiler [2016-11-13 19:15:10] 941*2^1445710-1 is not prime. Res64: 5ADE71284F2D0FAA Time : 0.0 sec. user=mdettweiler [2016-11-13 20:01:41] 609*2^1445711-1 is not prime. Res64: 3E40E02E2DFAF62B Time : 0.0 sec. user=mdettweiler [2016-11-13 20:01:42] 843*2^1445711-1 is not prime. Res64: 175C5BC95C542C9D Time : 0.0 sec. user=mdettweiler [2016-11-13 20:01:43] 669*2^1445712-1 is not prime. Res64: 136A98001E4E00E2 Time : 0.0 sec. user=mdettweiler [2016-11-13 20:01:44] 759*2^1445712-1 is not prime. Res64: 726FC355895821ED Time : 0.0 sec. user=mdettweiler [2016-11-13 20:01:45] 899*2^1445712-1 is not prime. Res64: 3DAC795B2C719AF9 Time : 0.0 sec. user=mdettweiler [2016-11-13 20:04:09] 769*2^1445713-1 is not prime. Res64: 9FCCBB826F68F705 Time : 0.0 sec. user=mdettweiler [2016-11-13 20:04:10] 855*2^1445713-1 is not prime. Res64: CE688F21C95A5664 Time : 0.0 sec. user=mdettweiler [2016-11-13 20:04:11] 897*2^1445713-1 is not prime. Res64: 4663909036496790 Time : 0.0 sec. user=mdettweiler [2016-11-13 20:04:12] 939*2^1445713-1 is not prime. Res64: B855B9F067ABE306 Time : 0.0 sec. user=mdettweiler [2016-11-13 20:04:13] 645*2^1445714-1 is not prime. Res64: 099F8638FCAFDC9E Time : 0.0 sec. user=mdettweiler [2016-11-13 20:18:06] 627*2^1445693-1 is not prime. Res64: FEF63DD2395D148D Time : 0.0 sec. user=mdettweiler [2016-11-13 20:18:07] 807*2^1445694-1 is not prime. Res64: CCB9A423E2BDC794 Time : 0.0 sec. user=mdettweiler [2016-11-13 20:18:09] 833*2^1445694-1 is not prime. Res64: 41324C7C4B3BCAF1 Time : 0.0 sec. user=mdettweiler [2016-11-13 20:18:09] 741*2^1445693-1 is not prime. Res64: 149D342E29C77D2B Time : 0.0 sec. user=mdettweiler [2016-11-13 20:18:10] 887*2^1445694-1 is not prime. Res64: A88AFF23A93F2CB3 Time : 0.0 sec. user=mdettweiler [2016-11-13 20:18:10] 805*2^1445693-1 is not prime. Res64: D89A839EB56FFF74 Time : 0.0 sec. user=mdettweiler [2016-11-13 20:18:10] 917*2^1445694-1 is not prime. Res64: D76BF40BD1505499 Time : 0.0 sec. user=mdettweiler [2016-11-13 20:18:11] 859*2^1445693-1 is not prime. Res64: 055EA7CBABE94FD6 Time : 0.0 sec. user=mdettweiler [2016-11-13 20:18:11] 947*2^1445694-1 is not prime. Res64: 6B2022BD9641D6AF Time : 0.0 sec. user=mdettweiler [2016-11-13 20:18:11] 987*2^1445693-1 is not prime. Res64: 6603379137306F26 Time : 0.0 sec. user=mdettweiler [2016-11-13 20:48:50] 657*2^1445714-1 is not prime. Res64: 77BDB1416BE5912E Time : 0.0 sec. user=mdettweiler [2016-11-13 20:48:51] 743*2^1445714-1 is not prime. Res64: 7CF373CBC9F990A6 Time : 0.0 sec. user=mdettweiler [2016-11-13 20:48:51] 785*2^1445714-1 is not prime. Res64: 7684FF07CBA33610 Time : 0.0 sec. user=mdettweiler [2016-11-13 20:48:52] 861*2^1445714-1 is not prime. Res64: 67C25DE8F45DEC8D Time : 0.0 sec. user=mdettweiler [2016-11-13 20:48:52] 887*2^1445714-1 is not prime. Res64: C0B3C6A3EE4A2CF0 Time : 0.0 sec. user=mdettweiler [2016-11-13 20:50:54] 957*2^1445714-1 is not prime. Res64: 787B925FAB3F69A1 Time : 0.0 sec. user=mdettweiler [2016-11-13 20:50:54] 609*2^1445715-1 is not prime. Res64: C1F3038BEE0C437C Time : 0.0 sec. user=mdettweiler [2016-11-13 20:50:55] 643*2^1445715-1 is not prime. Res64: AC5F8EB595E38ED4 Time : 0.0 sec. user=mdettweiler [2016-11-13 20:50:55] 651*2^1445715-1 is not prime. Res64: 2745747EB41028DA Time : 0.0 sec. user=mdettweiler [2016-11-13 20:50:56] 699*2^1445715-1 is not prime. Res64: 3EDF33CAB8D39A0E Time : 0.0 sec. user=mdettweiler [2016-11-13 21:03:59] 969*2^1445715-1 is not prime. Res64: 3F1AFC178EEFCB29 Time : 0.0 sec. user=mdettweiler [2016-11-13 21:04:03] 699*2^1445716-1 is not prime. Res64: DE125BFD32C2DD0F Time : 0.0 sec. user=mdettweiler [2016-11-13 21:04:06] 705*2^1445716-1 is not prime. Res64: EA41EDCFC859F680 Time : 0.0 sec. user=mdettweiler [2016-11-13 21:04:07] 707*2^1445716-1 is not prime. Res64: CD619BE32DB8BE41 Time : 0.0 sec. user=mdettweiler [2016-11-13 21:04:08] 789*2^1445715-1 is not prime. Res64: 9CDA3A55B5BAED80 Time : 0.0 sec. user=mdettweiler [2016-11-13 21:04:09] 765*2^1445716-1 is not prime. Res64: 70595CB084E0A92C Time : 0.0 sec. user=mdettweiler [2016-11-13 21:04:10] 793*2^1445715-1 is not prime. Res64: D7E053D4F44E711C Time : 0.0 sec. user=mdettweiler [2016-11-13 21:04:12] 823*2^1445715-1 is not prime. Res64: E30AF78C2515CAAA Time : 0.0 sec. user=mdettweiler [2016-11-13 21:04:15] 825*2^1445715-1 is not prime. Res64: 54229E07101F7EBC Time : 0.0 sec. user=mdettweiler [2016-11-13 21:04:16] 871*2^1445715-1 is not prime. Res64: 5F9EC603E5431D35 Time : 0.0 sec. user=mdettweiler [2016-11-13 21:36:20] 785*2^1445716-1 is not prime. Res64: C9D7CC62E34F1419 Time : 0.0 sec. user=mdettweiler [2016-11-13 21:36:20] 873*2^1445716-1 is not prime. Res64: B22DA2224D9CD855 Time : 0.0 sec. user=mdettweiler [2016-11-13 21:36:21] 897*2^1445716-1 is not prime. Res64: 7992C90A36D4E01A Time : 0.0 sec. user=mdettweiler [2016-11-13 21:36:22] 649*2^1445717-1 is not prime. Res64: EACA5461BD8CB34E Time : 0.0 sec. user=mdettweiler [2016-11-13 21:36:22] 697*2^1445717-1 is not prime. Res64: 3244EA86EB8D7D98 Time : 0.0 sec. user=mdettweiler [2016-11-13 21:38:06] 781*2^1445717-1 is not prime. Res64: 94BAE4738E37FA7A Time : 0.0 sec. user=mdettweiler [2016-11-13 21:38:06] 801*2^1445717-1 is not prime. Res64: 5E88242691FBA502 Time : 0.0 sec. user=mdettweiler [2016-11-13 21:38:07] 819*2^1445717-1 is not prime. Res64: A4F52CE2DCA8B06A Time : 0.0 sec. user=mdettweiler [2016-11-13 21:38:07] 867*2^1445717-1 is not prime. Res64: 3296DFB01729CEB3 Time : 0.0 sec. user=mdettweiler [2016-11-13 21:38:07] 605*2^1445718-1 is not prime. Res64: EF7F5448D44D9D4B Time : 0.0 sec. user=mdettweiler [2016-11-13 21:51:32] 815*2^1445718-1 is not prime. Res64: 8F8C4694565368C0 Time : 0.0 sec. user=mdettweiler [2016-11-13 21:51:33] 861*2^1445718-1 is not prime. Res64: 67ABB67993FAC601 Time : 0.0 sec. user=mdettweiler [2016-11-13 21:51:34] 663*2^1445718-1 is not prime. Res64: 9DDDE1DDDF462962 Time : 0.0 sec. user=mdettweiler [2016-11-13 21:51:34] 875*2^1445718-1 is not prime. Res64: AED7C07D3A929EFD Time : 0.0 sec. user=mdettweiler [2016-11-13 21:51:34] 665*2^1445718-1 is not prime. Res64: DD2BED1F30FD0EC7 Time : 0.0 sec. user=mdettweiler [2016-11-13 21:51:34] 921*2^1445718-1 is not prime. Res64: A29A39EA988B4536 Time : 0.0 sec. user=mdettweiler [2016-11-13 21:51:35] 671*2^1445718-1 is not prime. Res64: E4CE3EB2CBDDA4C1 Time : 0.0 sec. user=mdettweiler [2016-11-13 21:51:35] 977*2^1445718-1 is not prime. Res64: 9C584FAF6320F731 Time : 0.0 sec. user=mdettweiler [2016-11-13 21:51:36] 683*2^1445718-1 is not prime. Res64: EB2850FFF2AB2F37 Time : 0.0 sec. user=mdettweiler [2016-11-13 21:51:36] 707*2^1445718-1 is not prime. Res64: 8B68DCE9D07A96E5 Time : 0.0 sec. user=mdettweiler [2016-11-13 22:21:42] 615*2^1445719-1 is not prime. Res64: C27C208C7C5BA4F3 Time : 0.0 sec. user=mdettweiler [2016-11-13 22:21:43] 693*2^1445719-1 is not prime. Res64: 97327828381618E4 Time : 0.0 sec. user=mdettweiler [2016-11-13 22:21:44] 765*2^1445719-1 is not prime. Res64: A4B4B5970B258FD5 Time : 0.0 sec. user=mdettweiler [2016-11-13 22:21:44] 913*2^1445719-1 is not prime. Res64: BA0A449710A226FB Time : 0.0 sec. user=mdettweiler [2016-11-13 22:21:44] 933*2^1445719-1 is not prime. Res64: 8A746BB8CE6BEEFE Time : 0.0 sec. user=mdettweiler [2016-11-13 22:23:23] 975*2^1445719-1 is not prime. Res64: 26FE60576696B7E1 Time : 0.0 sec. user=mdettweiler [2016-11-13 22:23:24] 663*2^1445720-1 is not prime. Res64: 3D78D24A2D6868C9 Time : 0.0 sec. user=mdettweiler [2016-11-13 22:23:24] 713*2^1445720-1 is not prime. Res64: 3E3DBD24CEF77837 Time : 0.0 sec. user=mdettweiler [2016-11-13 22:23:25] 717*2^1445720-1 is not prime. Res64: C24BEF5974119B33 Time : 0.0 sec. user=mdettweiler [2016-11-13 22:23:25] 789*2^1445720-1 is not prime. Res64: 54FF0E78C9F22C23 Time : 0.0 sec. user=mdettweiler [2016-11-13 22:36:38] 995*2^1445720-1 is not prime. Res64: B177B35BC0A0FBD1 Time : 0.0 sec. user=mdettweiler [2016-11-13 22:36:38] 657*2^1445721-1 is not prime. Res64: 975F81486C4B19AF Time : 0.0 sec. user=mdettweiler [2016-11-13 22:36:39] 781*2^1445721-1 is not prime. Res64: 1F2D479BDD30FC17 Time : 0.0 sec. user=mdettweiler [2016-11-13 22:36:40] 829*2^1445721-1 is not prime. Res64: 8EB5111D0C1BC984 Time : 0.0 sec. user=mdettweiler [2016-11-13 22:36:41] 621*2^1445722-1 is not prime. Res64: D3057A34CC1EE668 Time : 0.0 sec. user=mdettweiler [2016-11-13 22:36:41] 803*2^1445720-1 is not prime. Res64: AE1A0C0CBB0A12BB Time : 0.0 sec. user=mdettweiler [2016-11-13 22:36:42] 839*2^1445720-1 is not prime. Res64: 17C109F73B0D6A79 Time : 0.0 sec. user=mdettweiler [2016-11-13 22:36:43] 875*2^1445720-1 is not prime. Res64: F4AA0EBA447EDED2 Time : 0.0 sec. user=mdettweiler [2016-11-13 22:36:43] 927*2^1445720-1 is not prime. Res64: 13CB236470D21EE8 Time : 0.0 sec. user=mdettweiler [2016-11-13 22:36:43] 977*2^1445720-1 is not prime. Res64: C39A692BF4EE3DD9 Time : 0.0 sec. user=mdettweiler [2016-11-13 23:07:10] 681*2^1445722-1 is not prime. Res64: 906096C8ABBBE6B7 Time : 0.0 sec. user=mdettweiler [2016-11-13 23:07:11] 717*2^1445722-1 is not prime. Res64: 8DE72BC7E40729A7 Time : 0.0 sec. user=mdettweiler [2016-11-13 23:07:12] 741*2^1445722-1 is not prime. Res64: 44EBAB7F07500F8F Time : 0.0 sec. user=mdettweiler [2016-11-13 23:07:12] 743*2^1445722-1 is not prime. Res64: 8CF2C5840A89EDC1 Time : 0.0 sec. user=mdettweiler [2016-11-13 23:07:13] 825*2^1445722-1 is not prime. Res64: 18A8AE39545BE613 Time : 0.0 sec. user=mdettweiler [2016-11-13 23:08:52] 833*2^1445722-1 is not prime. Res64: F478FAF358BAD0FB Time : 0.0 sec. user=mdettweiler [2016-11-13 23:08:52] 983*2^1445722-1 is not prime. Res64: 7600539C0C669ED0 Time : 0.0 sec. user=mdettweiler [2016-11-13 23:08:53] 603*2^1445723-1 is not prime. Res64: 317A9D66D1924AE7 Time : 0.0 sec. user=mdettweiler [2016-11-13 23:08:54] 621*2^1445723-1 is not prime. Res64: F59695DA25502E82 Time : 0.0 sec. user=mdettweiler [2016-11-13 23:08:55] 675*2^1445723-1 is not prime. Res64: E0C24A7D6A9F3BE1 Time : 0.0 sec. user=mdettweiler [2016-11-13 23:21:57] 699*2^1445723-1 is not prime. Res64: EB9FA006B3C67A08 Time : 0.0 sec. user=mdettweiler [2016-11-13 23:21:58] 753*2^1445723-1 is not prime. Res64: 0D16AAE0AB597046 Time : 0.0 sec. user=mdettweiler [2016-11-13 23:21:59] 969*2^1445723-1 is not prime. Res64: 9300012E574B38EB Time : 0.0 sec. user=mdettweiler [2016-11-13 23:21:59] 981*2^1445723-1 is not prime. Res64: F0EB6DE93262E6EA Time : 0.0 sec. user=mdettweiler [2016-11-13 23:22:00] 737*2^1445724-1 is not prime. Res64: B255C50930980904 Time : 0.0 sec. user=mdettweiler [2016-11-13 23:22:09] 795*2^1445724-1 is not prime. Res64: 3D4B2FF467DD04B8 Time : 0.0 sec. user=mdettweiler [2016-11-13 23:22:10] 825*2^1445724-1 is not prime. Res64: 74BE2D5ABBC3D701 Time : 0.0 sec. user=mdettweiler [2016-11-13 23:22:10] 975*2^1445724-1 is not prime. Res64: 342ECD16A8B1742C Time : 0.0 sec. user=mdettweiler [2016-11-13 23:22:10] 993*2^1445724-1 is not prime. Res64: E85B37F4795266EE Time : 0.0 sec. user=mdettweiler [2016-11-13 23:22:11] 625*2^1445725-1 is not prime. Res64: 70635DAC0724840A Time : 0.0 sec. user=mdettweiler [2016-11-13 23:52:08] 661*2^1445725-1 is not prime. Res64: 924D6552B1CE0585 Time : 0.0 sec. user=mdettweiler [2016-11-13 23:52:08] 741*2^1445725-1 is not prime. Res64: 0E57C2DC029DB951 Time : 0.0 sec. user=mdettweiler [2016-11-13 23:52:09] 771*2^1445725-1 is not prime. Res64: E09DD6E3831A406A Time : 0.0 sec. user=mdettweiler [2016-11-13 23:52:09] 799*2^1445725-1 is not prime. Res64: DBA63CA850A3A6DD Time : 0.0 sec. user=mdettweiler [2016-11-13 23:52:10] 871*2^1445725-1 is not prime. Res64: 5A6838704F781324 Time : 0.0 sec. user=mdettweiler [2016-11-13 23:53:45] 677*2^1445726-1 is not prime. Res64: DF03804EF7B7E861 Time : 0.0 sec. user=mdettweiler [2016-11-13 23:53:46] 693*2^1445726-1 is not prime. Res64: D54F55BB3B499F2D Time : 0.0 sec. user=mdettweiler [2016-11-13 23:53:46] 707*2^1445726-1 is not prime. Res64: 4B804F1DDFA6482B Time : 0.0 sec. user=mdettweiler [2016-11-13 23:53:47] 741*2^1445726-1 is not prime. Res64: E4BF1FE76F0E7590 Time : 0.0 sec. user=mdettweiler [2016-11-13 23:53:48] 873*2^1445726-1 is not prime. Res64: 289F4FE2225B083A Time : 0.0 sec.