user=mdettweiler [2016-02-09 00:05:41] 957*2^1421726-1 is not prime. Res64: BACB22F7A797AE23 Time : 0.0 sec. user=mdettweiler [2016-02-09 00:05:42] 971*2^1421726-1 is not prime. Res64: EB25EBE608E9567E Time : 0.0 sec. user=mdettweiler [2016-02-09 00:08:32] 643*2^1421727-1 is not prime. Res64: 40F161AE11E07E4A Time : 0.0 sec. user=mdettweiler [2016-02-09 00:08:32] 823*2^1421727-1 is not prime. Res64: 1F72AB551D4865A2 Time : 0.0 sec. user=mdettweiler [2016-02-09 00:15:23] 879*2^1421727-1 is not prime. Res64: 468ED17E586C1CF2 Time : 0.0 sec. user=mdettweiler [2016-02-09 00:15:23] 955*2^1421727-1 is not prime. Res64: 59B01CD6C0050315 Time : 0.0 sec. user=mdettweiler [2016-02-09 00:23:27] 961*2^1421727-1 is not prime. Res64: 72E7E29730F4BC21 Time : 0.0 sec. user=mdettweiler [2016-02-09 00:23:28] 985*2^1421727-1 is not prime. Res64: 12CC700296CA6800 Time : 0.0 sec. user=mdettweiler [2016-02-09 00:26:06] 663*2^1421728-1 is not prime. Res64: CB46B243413DB17A Time : 0.0 sec. user=mdettweiler [2016-02-09 00:26:06] 747*2^1421728-1 is not prime. Res64: 9B8FFA1A72DE4AA4 Time : 0.0 sec. user=mdettweiler [2016-02-09 00:32:56] 765*2^1421728-1 is not prime. Res64: 5C40DF4E09632638 Time : 0.0 sec. user=mdettweiler [2016-02-09 00:32:57] 803*2^1421728-1 is not prime. Res64: D514FA221483909C Time : 0.0 sec. user=mdettweiler [2016-02-09 00:41:02] 957*2^1421728-1 is not prime. Res64: 9138274F64543DDE Time : 0.0 sec. user=mdettweiler [2016-02-09 00:41:02] 645*2^1421729-1 is not prime. Res64: F00A879200EF6E35 Time : 0.0 sec. user=mdettweiler [2016-02-09 00:43:48] 649*2^1421729-1 is not prime. Res64: 0D7A70880D5CFBAD Time : 0.0 sec. user=mdettweiler [2016-02-09 00:43:48] 685*2^1421729-1 is not prime. Res64: 4ABD7AEF8C7DC862 Time : 0.0 sec. user=mdettweiler [2016-02-09 00:50:32] 741*2^1421729-1 is not prime. Res64: 6034FB5B706B9F93 Time : 0.0 sec. user=mdettweiler [2016-02-09 00:50:33] 787*2^1421729-1 is not prime. Res64: 25976A39B7091608 Time : 0.0 sec. user=mdettweiler [2016-02-09 00:58:35] 811*2^1421729-1 is not prime. Res64: D64BCBC8BC5AE7C4 Time : 0.0 sec. user=mdettweiler [2016-02-09 00:58:35] 855*2^1421729-1 is not prime. Res64: E0F88108EB51100D Time : 0.0 sec. user=mdettweiler [2016-02-09 01:01:19] 861*2^1421729-1 is not prime. Res64: CE7751668C7D4D4A Time : 0.0 sec. user=mdettweiler [2016-02-09 01:01:21] 949*2^1421729-1 is not prime. Res64: 3B280A5A24EAD5E8 Time : 0.0 sec. user=mdettweiler [2016-02-09 01:08:04] 777*2^1421730-1 is not prime. Res64: E2896DC675962381 Time : 0.0 sec. user=mdettweiler [2016-02-09 01:08:05] 851*2^1421730-1 is not prime. Res64: 84685F465F8BCB6E Time : 0.0 sec. user=mdettweiler [2016-02-09 01:16:08] 933*2^1421730-1 is not prime. Res64: 3F58711F4B7A6A35 Time : 0.0 sec. user=mdettweiler [2016-02-09 01:16:09] 679*2^1421731-1 is not prime. Res64: 88D01E33123DBD56 Time : 0.0 sec. user=mdettweiler [2016-02-09 01:18:55] 705*2^1421731-1 is not prime. Res64: 0ED523B434AFEC1B Time : 0.0 sec. user=mdettweiler [2016-02-09 01:18:56] 723*2^1421731-1 is not prime. Res64: 8AE5D70A061715C4 Time : 0.0 sec. user=mdettweiler [2016-02-09 01:25:41] 735*2^1421731-1 is not prime. Res64: CE910C15E6414F30 Time : 0.0 sec. user=mdettweiler [2016-02-09 01:25:43] 793*2^1421731-1 is not prime. Res64: 3EBDDAD2E267916B Time : 0.0 sec. user=mdettweiler [2016-02-09 01:33:44] 805*2^1421731-1 is not prime. Res64: CDD64FEE47DA97B6 Time : 0.0 sec. user=mdettweiler [2016-02-09 01:33:45] 889*2^1421731-1 is not prime. Res64: E6726911285607EC Time : 0.0 sec. user=mdettweiler [2016-02-09 01:36:30] 925*2^1421731-1 is not prime. Res64: F8C26250A20AE6BA Time : 0.0 sec. user=mdettweiler [2016-02-09 01:36:30] 603*2^1421732-1 is not prime. Res64: 970F97888CD56FAF Time : 0.0 sec. user=mdettweiler [2016-02-09 01:43:22] 605*2^1421732-1 is not prime. Res64: 91811FCED5141BAF Time : 0.0 sec. user=mdettweiler [2016-02-09 01:43:23] 617*2^1421732-1 is not prime. Res64: 0AC5C23D699B72CE Time : 0.0 sec. user=mdettweiler [2016-02-09 01:51:21] 623*2^1421732-1 is not prime. Res64: C80ED5EC9B3DBF29 Time : 0.0 sec. user=mdettweiler [2016-02-09 01:51:21] 735*2^1421732-1 is not prime. Res64: DD56931820950430 Time : 0.0 sec. user=mdettweiler [2016-02-09 01:54:03] 825*2^1421732-1 is not prime. Res64: E2072636BC024DF8 Time : 0.0 sec. user=mdettweiler [2016-02-09 01:54:03] 833*2^1421732-1 is not prime. Res64: 74BB888F20D01F0C Time : 0.0 sec. user=mdettweiler [2016-02-09 02:00:56] 855*2^1421732-1 is not prime. Res64: 97D84FD790E9989E Time : 0.0 sec. user=mdettweiler [2016-02-09 02:00:57] 867*2^1421732-1 is not prime. Res64: 1EDD7F2B79DCAD0F Time : 0.0 sec. user=mdettweiler [2016-02-09 02:08:59] 909*2^1421732-1 is not prime. Res64: 5C2945D6E7C7015C Time : 0.0 sec. user=mdettweiler [2016-02-09 02:09:00] 957*2^1421732-1 is not prime. Res64: DEFE0C41D78DB14B Time : 0.0 sec. user=mdettweiler [2016-02-09 02:11:40] 959*2^1421732-1 is not prime. Res64: 433FC6984E5882DF Time : 0.0 sec. user=mdettweiler [2016-02-09 02:11:41] 963*2^1421732-1 is not prime. Res64: 811EC9261938F59D Time : 0.0 sec. user=mdettweiler [2016-02-09 02:18:34] 669*2^1421733-1 is not prime. Res64: FACFF1ED416C111C Time : 0.0 sec. user=mdettweiler [2016-02-09 02:18:35] 681*2^1421733-1 is not prime. Res64: 4ACE3EAC807F78FA Time : 0.0 sec. user=mdettweiler [2016-02-09 02:26:43] 747*2^1421733-1 is not prime. Res64: 85595149CDE3FB77 Time : 0.0 sec. user=mdettweiler [2016-02-09 02:26:44] 919*2^1421733-1 is not prime. Res64: C884C07132A9808C Time : 0.0 sec. user=mdettweiler [2016-02-09 02:29:22] 951*2^1421733-1 is not prime. Res64: FEA1CE4B1B427AE7 Time : 0.0 sec. user=mdettweiler [2016-02-09 02:29:24] 987*2^1421733-1 is not prime. Res64: 3FDD3EA0B4A7E192 Time : 0.0 sec. user=mdettweiler [2016-02-09 02:36:15] 657*2^1421734-1 is not prime. Res64: F151D2A79672D6B9 Time : 0.0 sec. user=mdettweiler [2016-02-09 02:36:16] 827*2^1421734-1 is not prime. Res64: 0E8022749C177D29 Time : 0.0 sec. user=mdettweiler [2016-02-09 02:44:29] 897*2^1421734-1 is not prime. Res64: 4CAA710AD9F04821 Time : 0.0 sec. user=mdettweiler [2016-02-09 02:44:30] 917*2^1421734-1 is not prime. Res64: E38175A52921C815 Time : 0.0 sec. user=mdettweiler [2016-02-09 02:47:11] 661*2^1421735-1 is not prime. Res64: 51A3AAB20B9E8F26 Time : 0.0 sec. user=mdettweiler [2016-02-09 02:47:12] 715*2^1421735-1 is not prime. Res64: 1739F85A44F8A02D Time : 0.0 sec. user=mdettweiler [2016-02-09 02:53:58] 735*2^1421735-1 is not prime. Res64: 6A927614E5F69743 Time : 0.0 sec. user=mdettweiler [2016-02-09 02:53:59] 831*2^1421735-1 is not prime. Res64: E8BBEFA892F5ECA0 Time : 0.0 sec. user=mdettweiler [2016-02-09 03:02:12] 861*2^1421735-1 is not prime. Res64: 2D14FB03B00530B7 Time : 0.0 sec. user=mdettweiler [2016-02-09 03:02:14] 979*2^1421735-1 is not prime. Res64: D910474B5E5C9975 Time : 0.0 sec. user=mdettweiler [2016-02-09 03:04:54] 765*2^1421736-1 is not prime. Res64: 312C71B3CD88A4FF Time : 0.0 sec. user=mdettweiler [2016-02-09 03:04:56] 789*2^1421736-1 is not prime. Res64: 053DBC114F717474 Time : 0.0 sec. user=mdettweiler [2016-02-09 03:11:40] 843*2^1421736-1 is not prime. Res64: 5682C1CE2D45FA59 Time : 0.0 sec. user=mdettweiler [2016-02-09 03:11:42] 945*2^1421736-1 is not prime. Res64: BB09FA0CA6851085 Time : 0.0 sec. user=mdettweiler [2016-02-09 03:20:08] 639*2^1421737-1 is not prime. Res64: CB6C0A413DCB4E47 Time : 0.0 sec. user=mdettweiler [2016-02-09 03:20:09] 729*2^1421737-1 is not prime. Res64: 9AD9E3C8ED24DED2 Time : 0.0 sec. user=mdettweiler [2016-02-09 03:22:38] 897*2^1421737-1 is not prime. Res64: 441CCC476BDE0AB2 Time : 0.0 sec. user=mdettweiler [2016-02-09 03:22:39] 919*2^1421737-1 is not prime. Res64: 2044C0D556AFFCC3 Time : 0.0 sec. user=mdettweiler [2016-02-09 03:29:26] 957*2^1421737-1 is not prime. Res64: E4FF9A9B241CF6EF Time : 0.0 sec. user=mdettweiler [2016-02-09 03:29:27] 657*2^1421738-1 is not prime. Res64: 92F5A19CFA7D96C1 Time : 0.0 sec. user=mdettweiler [2016-02-09 03:37:51] 743*2^1421738-1 is not prime. Res64: 6B20DDEE54752A17 Time : 0.0 sec. user=mdettweiler [2016-02-09 03:37:54] 831*2^1421738-1 is not prime. Res64: 256BF54F7104E92F Time : 0.0 sec. user=mdettweiler [2016-02-09 03:40:18] 885*2^1421738-1 is not prime. Res64: 1482F851D3543E1F Time : 0.0 sec. user=mdettweiler [2016-02-09 03:40:20] 935*2^1421738-1 is not prime. Res64: 6B58F7F2E5607ED9 Time : 0.0 sec. user=mdettweiler [2016-02-09 03:47:24] 735*2^1421739-1 is not prime. Res64: BBD25901FC3FDD77 Time : 0.0 sec. user=mdettweiler [2016-02-09 03:47:26] 629*2^1421740-1 is not prime. Res64: 5ABC26E74661D5B7 Time : 0.0 sec. user=mdettweiler [2016-02-09 03:55:55] 647*2^1421740-1 is not prime. Res64: 8FC0EE13E290C3C7 Time : 0.0 sec. user=mdettweiler [2016-02-09 03:55:56] 765*2^1421740-1 is not prime. Res64: A914F04C13AB9A8C Time : 0.0 sec. user=mdettweiler [2016-02-09 03:58:07] 827*2^1421740-1 is not prime. Res64: 6E67E413660616A1 Time : 0.0 sec. user=mdettweiler [2016-02-09 03:58:08] 927*2^1421740-1 is not prime. Res64: 98B82DCA1D616130 Time : 0.0 sec. user=mdettweiler [2016-02-09 04:05:20] 631*2^1421741-1 is not prime. Res64: 4B787468353A8735 Time : 0.0 sec. user=mdettweiler [2016-02-09 04:05:23] 867*2^1421741-1 is not prime. Res64: 60EDA9C6C9A63405 Time : 0.0 sec. user=mdettweiler [2016-02-09 04:13:42] 981*2^1421741-1 is not prime. Res64: 953BD570265331FF Time : 0.0 sec. user=mdettweiler [2016-02-09 04:13:43] 997*2^1421741-1 is not prime. Res64: C4AED6AAB9AB9B7B Time : 0.0 sec. user=mdettweiler [2016-02-09 04:15:56] 665*2^1421742-1 is not prime. Res64: 842DE9117D99B32C Time : 0.0 sec. user=mdettweiler [2016-02-09 04:15:57] 717*2^1421742-1 is not prime. Res64: 9089EB02C4B3F4E2 Time : 0.0 sec. user=mdettweiler [2016-02-09 04:23:19] 725*2^1421742-1 is not prime. Res64: 0270532767D59E88 Time : 0.0 sec. user=mdettweiler [2016-02-09 04:23:20] 761*2^1421742-1 is not prime. Res64: 85293AF7D7648AED Time : 0.0 sec. user=mdettweiler [2016-02-09 04:31:29] 951*2^1421742-1 is not prime. Res64: 0B0E7AD4A6FD8521 Time : 0.0 sec. user=mdettweiler [2016-02-09 04:31:30] 619*2^1421743-1 is not prime. Res64: D23071B0D004B601 Time : 0.0 sec. user=mdettweiler [2016-02-09 04:33:44] 663*2^1421743-1 is not prime. Res64: 4ABA372BEAF956DE Time : 0.0 sec. user=mdettweiler [2016-02-09 04:33:45] 679*2^1421743-1 is not prime. Res64: 568717FB94F58097 Time : 0.0 sec. user=mdettweiler [2016-02-09 04:51:44] 939*2^1421743-1 is not prime. Res64: 8989934CFC83D420 Time : 0.0 sec. user=mdettweiler [2016-02-09 04:51:45] 999*2^1421743-1 is not prime. Res64: 0EDF86C320D6348D Time : 0.0 sec. user=mdettweiler [2016-02-09 05:10:08] 609*2^1421744-1 is not prime. Res64: 133781FA4EB047CB Time : 0.0 sec. user=mdettweiler [2016-02-09 05:10:09] 615*2^1421744-1 is not prime. Res64: DDD38AB81C29B215 Time : 0.0 sec. user=mdettweiler [2016-02-09 05:13:21] 829*2^1421743-1 is not prime. Res64: 8232EA00FF106BBA Time : 0.0 sec. user=mdettweiler [2016-02-09 05:13:21] 895*2^1421743-1 is not prime. Res64: E5913964D1867E43 Time : 0.0 sec. user=mdettweiler [2016-02-09 05:28:32] 759*2^1421744-1 is not prime. Res64: 98D9810A1D891FB1 Time : 0.0 sec. user=mdettweiler [2016-02-09 05:28:33] 825*2^1421744-1 is not prime. Res64: 204E756860348EDF Time : 0.0 sec. user=mdettweiler [2016-02-09 05:31:50] 843*2^1421744-1 is not prime. Res64: 1D005D3480E0A8F8 Time : 0.0 sec. user=mdettweiler [2016-02-09 05:31:50] 917*2^1421744-1 is not prime. Res64: 9C4889B239E49846 Time : 0.0 sec. user=mdettweiler [2016-02-09 05:46:50] 959*2^1421744-1 is not prime. Res64: 1807EE79100C5CC1 Time : 0.0 sec. user=mdettweiler [2016-02-09 05:46:51] 639*2^1421745-1 is not prime. Res64: D80721F76457F943 Time : 0.0 sec. user=mdettweiler [2016-02-09 05:50:14] 649*2^1421745-1 is not prime. Res64: 61331BD88010DF27 Time : 0.0 sec. user=mdettweiler [2016-02-09 05:50:15] 657*2^1421745-1 is not prime. Res64: 190CAB41FAA02EE5 Time : 0.0 sec. user=mdettweiler [2016-02-09 06:05:06] 727*2^1421745-1 is not prime. Res64: DE94A1EB85F58FC8 Time : 0.0 sec. user=mdettweiler [2016-02-09 06:05:08] 739*2^1421745-1 is not prime. Res64: D954035B35D80FB1 Time : 0.0 sec. user=mdettweiler [2016-02-09 06:08:41] 819*2^1421745-1 is not prime. Res64: 4EB8EDE54B986D36 Time : 0.0 sec. user=mdettweiler [2016-02-09 06:08:42] 831*2^1421745-1 is not prime. Res64: AF576E58203D4F9D Time : 0.0 sec. user=mdettweiler [2016-02-09 06:23:35] 867*2^1421745-1 is not prime. Res64: 729CC689DA38DE6F Time : 0.0 sec. user=mdettweiler [2016-02-09 06:23:37] 985*2^1421745-1 is not prime. Res64: 603AFDEAEEFA7CBC Time : 0.0 sec. user=mdettweiler [2016-02-09 06:26:59] 997*2^1421745-1 is not prime. Res64: D25E5C6CB1BA4B4A Time : 0.0 sec. user=mdettweiler [2016-02-09 06:27:00] 675*2^1421746-1 is not prime. Res64: 84A69ED911E0AE3D Time : 0.0 sec. user=mdettweiler [2016-02-09 06:41:51] 765*2^1421746-1 is not prime. Res64: 4889B62C729B0D3E Time : 0.0 sec. user=mdettweiler [2016-02-09 06:41:52] 777*2^1421746-1 is not prime. Res64: 8E3FD6BADB8ED95E Time : 0.0 sec. user=mdettweiler [2016-02-09 06:45:25] 957*2^1421746-1 is not prime. Res64: 5AA6E54913143A83 Time : 0.0 sec. user=mdettweiler [2016-02-09 06:45:26] 615*2^1421747-1 is not prime. Res64: EC6AC272142F181C Time : 0.0 sec. user=mdettweiler [2016-02-09 07:00:09] 645*2^1421747-1 is not prime. Res64: 774EEB89CEA134DB Time : 0.0 sec. user=mdettweiler [2016-02-09 07:00:11] 801*2^1421747-1 is not prime. Res64: A789542E45E5F9E5 Time : 0.0 sec. user=mdettweiler [2016-02-09 07:03:51] 825*2^1421747-1 is not prime. Res64: 79DBDBDA5C4E1370 Time : 0.0 sec. user=mdettweiler [2016-02-09 07:03:53] 903*2^1421747-1 is not prime. Res64: FA12ECC081AAAC20 Time : 0.0 sec. user=mdettweiler [2016-02-09 07:18:27] 909*2^1421747-1 is not prime. Res64: 410878BF93623B87 Time : 0.0 sec. user=mdettweiler [2016-02-09 07:18:28] 945*2^1421747-1 is not prime. Res64: 7136E24C6BA1253E Time : 0.0 sec. user=mdettweiler [2016-02-09 07:22:20] 665*2^1421748-1 is not prime. Res64: A742DE09B74B3F40 Time : 0.0 sec. user=mdettweiler [2016-02-09 07:22:21] 669*2^1421748-1 is not prime. Res64: 217B7C7DF674C4E6 Time : 0.0 sec. user=mdettweiler [2016-02-09 07:36:48] 887*2^1421748-1 is not prime. Res64: FD380B8360B0500C Time : 0.0 sec. user=mdettweiler [2016-02-09 07:36:50] 691*2^1421749-1 is not prime. Res64: 0CA5914EFFC145D2 Time : 0.0 sec. user=mdettweiler [2016-02-09 07:40:37] 835*2^1421749-1 is not prime. Res64: 20BD0293C854AC80 Time : 0.0 sec. user=mdettweiler [2016-02-09 07:40:38] 855*2^1421749-1 is not prime. Res64: 671EF0D226A99C2F Time : 0.0 sec. user=mdettweiler [2016-02-09 07:55:05] 861*2^1421749-1 is not prime. Res64: BF9B5A01E6CBE5BB Time : 0.0 sec. user=mdettweiler [2016-02-09 07:55:06] 867*2^1421749-1 is not prime. Res64: B9F515A3B5900FC2 Time : 0.0 sec. user=mdettweiler [2016-02-09 07:58:56] 987*2^1421749-1 is not prime. Res64: 851522131BD28059 Time : 0.0 sec. user=mdettweiler [2016-02-09 07:58:57] 741*2^1421750-1 is not prime. Res64: 9C251CDC0F089D25 Time : 0.0 sec. user=mdettweiler [2016-02-09 08:13:20] 885*2^1421750-1 is not prime. Res64: 427272F244D5CEBC Time : 0.0 sec. user=mdettweiler [2016-02-09 08:13:20] 893*2^1421750-1 is not prime. Res64: 41F209C491BE9F72 Time : 0.0 sec. user=mdettweiler [2016-02-09 08:17:11] 977*2^1421750-1 is not prime. Res64: 47A6ED657F9BA75A Time : 0.0 sec. user=mdettweiler [2016-02-09 08:17:12] 981*2^1421750-1 is not prime. Res64: EC03A83AD4C1F9A0 Time : 0.0 sec. user=mdettweiler [2016-02-09 08:31:44] 709*2^1421751-1 is not prime. Res64: A9827E230C05E374 Time : 0.0 sec. user=mdettweiler [2016-02-09 08:31:46] 885*2^1421751-1 is not prime. Res64: 19A208698BB5E173 Time : 0.0 sec. user=mdettweiler [2016-02-09 08:35:41] 979*2^1421751-1 is not prime. Res64: 6CA0BEFDC970AA7F Time : 0.0 sec. user=mdettweiler [2016-02-09 08:35:41] 645*2^1421752-1 is not prime. Res64: 6FDBDBCF111A9015 Time : 0.0 sec. user=mdettweiler [2016-02-09 08:50:03] 675*2^1421752-1 is not prime. Res64: BFEC8A48DEC2FA24 Time : 0.0 sec. user=mdettweiler [2016-02-09 08:50:04] 677*2^1421752-1 is not prime. Res64: D16C867CB3B2C548 Time : 0.0 sec. user=mdettweiler [2016-02-09 08:54:01] 983*2^1421752-1 is not prime. Res64: 45E6F0376B0FFD52 Time : 0.0 sec. user=mdettweiler [2016-02-09 08:54:02] 685*2^1421753-1 is not prime. Res64: C0751F3005386F29 Time : 0.0 sec. user=mdettweiler [2016-02-09 09:08:18] 705*2^1421753-1 is not prime. Res64: 6F718928D5CD3220 Time : 0.0 sec. user=mdettweiler [2016-02-09 09:08:20] 745*2^1421753-1 is not prime. Res64: EA56E35B8F09563F Time : 0.0 sec. user=mdettweiler [2016-02-09 09:12:21] 789*2^1421753-1 is not prime. Res64: 1714512F7A9581AF Time : 0.0 sec. user=mdettweiler [2016-02-09 09:12:21] 615*2^1421754-1 is not prime. Res64: 6F9734A606E35115 Time : 0.0 sec. user=mdettweiler [2016-02-09 09:26:39] 663*2^1421754-1 is not prime. Res64: 750A6333FAD00E29 Time : 0.0 sec. user=mdettweiler [2016-02-09 09:26:40] 683*2^1421754-1 is not prime. Res64: 0594D397362A761D Time : 0.0 sec. user=mdettweiler [2016-02-09 09:30:42] 707*2^1421754-1 is not prime. Res64: 47B9CD506760AE58 Time : 0.0 sec. user=mdettweiler [2016-02-09 09:30:43] 717*2^1421754-1 is not prime. Res64: BE1020BBBC992B77 Time : 0.0 sec. user=mdettweiler [2016-02-09 09:45:00] 773*2^1421754-1 is not prime. Res64: E3E644D1C4A732A5 Time : 0.0 sec. user=mdettweiler [2016-02-09 09:45:01] 783*2^1421754-1 is not prime. Res64: C832D4C278E40D95 Time : 0.0 sec. user=mdettweiler [2016-02-09 09:49:13] 851*2^1421754-1 is not prime. Res64: 07F1D05079C234E4 Time : 0.0 sec. user=mdettweiler [2016-02-09 09:49:14] 917*2^1421754-1 is not prime. Res64: D9EBD81820833A85 Time : 0.0 sec. user=mdettweiler [2016-02-09 10:03:18] 971*2^1421754-1 is not prime. Res64: C9B243EC371AD6FC Time : 0.0 sec. user=mdettweiler [2016-02-09 10:03:21] 983*2^1421754-1 is not prime. Res64: 1BB8348C34CDEDCF Time : 0.0 sec. user=mdettweiler [2016-02-09 10:07:33] 601*2^1421755-1 is not prime. Res64: BA1CB0A87FE69DE6 Time : 0.0 sec. user=mdettweiler [2016-02-09 10:07:34] 603*2^1421755-1 is not prime. Res64: 8E6EC6BF471EA647 Time : 0.0 sec. user=mdettweiler [2016-02-09 10:21:44] 663*2^1421755-1 is not prime. Res64: DD9703162147F9E8 Time : 0.0 sec. user=mdettweiler [2016-02-09 10:21:46] 709*2^1421755-1 is not prime. Res64: 67E8AE32005B9B36 Time : 0.0 sec. user=mdettweiler [2016-02-09 10:25:50] 859*2^1421755-1 is not prime. Res64: E272323F666C0CDE Time : 0.0 sec. user=mdettweiler [2016-02-09 10:25:51] 925*2^1421755-1 is not prime. Res64: 512DF8B5C8C20062 Time : 0.0 sec. user=mdettweiler [2016-02-09 10:40:00] 979*2^1421755-1 is not prime. Res64: 1EE6AAF941DDC064 Time : 0.0 sec. user=mdettweiler [2016-02-09 10:40:00] 623*2^1421756-1 is not prime. Res64: C1523D40D9F15E63 Time : 0.0 sec. user=mdettweiler [2016-02-09 10:44:08] 735*2^1421756-1 is not prime. Res64: 79A8DC96DD501FFE Time : 0.0 sec. user=mdettweiler [2016-02-09 10:44:08] 827*2^1421756-1 is not prime. Res64: E6E1E2A481ACFFDB Time : 0.0 sec. user=mdettweiler [2016-02-09 10:58:02] 839*2^1421756-1 is not prime. Res64: 41CAD55ACA93BAE9 Time : 0.0 sec. user=mdettweiler [2016-02-09 10:58:03] 923*2^1421756-1 is not prime. Res64: 472147D7A0B701F6 Time : 0.0 sec. user=mdettweiler [2016-02-09 11:02:21] 927*2^1421756-1 is not prime. Res64: 0C29BF79BE90718C Time : 0.0 sec. user=mdettweiler [2016-02-09 11:02:22] 945*2^1421756-1 is not prime. Res64: B8111BBD2F10B3F1 Time : 0.0 sec. user=mdettweiler [2016-02-09 11:16:14] 969*2^1421756-1 is not prime. Res64: 08F3E71EC9432795 Time : 0.0 sec. user=mdettweiler [2016-02-09 11:16:14] 983*2^1421756-1 is not prime. Res64: 9DA52DBA543F90EA Time : 0.0 sec. user=mdettweiler [2016-02-09 11:20:34] 621*2^1421757-1 is not prime. Res64: F33E23F03D2CF5A6 Time : 0.0 sec. user=mdettweiler [2016-02-09 11:20:34] 777*2^1421757-1 is not prime. Res64: 4D8F070DB4633477 Time : 0.0 sec. user=mdettweiler [2016-02-09 11:33:30] 789*2^1421743-1 is not prime. Res64: F5FEDF59673C4BF1 Time : 0.0 sec. user=mdettweiler [2016-02-09 11:33:31] 793*2^1421743-1 is not prime. Res64: 4D83B5D0A3FCCE2C Time : 0.0 sec. user=mdettweiler [2016-02-09 11:34:17] 825*2^1421757-1 is not prime. Res64: CF1DE799B1ED8DEF Time : 0.0 sec. user=mdettweiler [2016-02-09 11:34:17] 859*2^1421757-1 is not prime. Res64: 314D1E3FA8D09E5C Time : 0.0 sec. user=mdettweiler [2016-02-09 11:38:35] 891*2^1421757-1 is not prime. Res64: 03165B3CE00AD133 Time : 0.0 sec. user=mdettweiler [2016-02-09 11:38:36] 919*2^1421757-1 is not prime. Res64: 64F6CEA6BE251013 Time : 0.0 sec. user=mdettweiler [2016-02-09 11:51:04] 945*2^1421757-1 is not prime. Res64: BB6794481D769BB7 Time : 0.0 sec. user=mdettweiler [2016-02-09 11:51:05] 985*2^1421757-1 is not prime. Res64: 54CEBD4500ED0073 Time : 0.0 sec. user=mdettweiler [2016-02-09 11:51:48] 657*2^1421758-1 is not prime. Res64: FF351F601E47673B Time : 0.0 sec. user=mdettweiler [2016-02-09 11:51:49] 821*2^1421758-1 is not prime. Res64: 19B42A03656054BC Time : 0.0 sec. user=mdettweiler [2016-02-09 11:56:07] 833*2^1421758-1 is not prime. Res64: F4449F49829BF149 Time : 0.0 sec. user=mdettweiler [2016-02-09 11:56:07] 601*2^1421759-1 is not prime. Res64: E1CA6A8150C60D2F Time : 0.0 sec. user=mdettweiler [2016-02-09 12:08:35] 645*2^1421759-1 is not prime. Res64: 8FABE0FE3D3D4B40 Time : 0.0 sec. user=mdettweiler [2016-02-09 12:08:36] 661*2^1421759-1 is not prime. Res64: EBDEA51F6A338DBF Time : 0.0 sec. user=mdettweiler [2016-02-09 12:13:35] 729*2^1421759-1 is not prime. Res64: 505C7C69E1A66FE5 Time : 0.0 sec. user=mdettweiler [2016-02-09 12:13:36] 861*2^1421759-1 is not prime. Res64: 70A4814CC3B0BA9E Time : 0.0 sec. user=mdettweiler [2016-02-09 12:26:08] 885*2^1421759-1 is not prime. Res64: F5AA6396C4FD8161 Time : 0.0 sec. user=mdettweiler [2016-02-09 12:26:08] 985*2^1421759-1 is not prime. Res64: F10E979D75973882 Time : 0.0 sec. user=mdettweiler [2016-02-09 12:31:05] 609*2^1421760-1 is not prime. Res64: 6A499834551029A8 Time : 0.0 sec. user=mdettweiler [2016-02-09 12:31:06] 789*2^1421760-1 is not prime. Res64: 144B9BF1C5EBA88D Time : 0.0 sec. user=mdettweiler [2016-02-09 12:43:39] 905*2^1421760-1 is not prime. Res64: AD6709E83086AFEC Time : 0.0 sec. user=mdettweiler [2016-02-09 12:43:40] 959*2^1421760-1 is not prime. Res64: E269667067645E2F Time : 0.0 sec. user=mdettweiler [2016-02-09 12:48:38] 871*2^1421761-1 is not prime. Res64: E7EE3C3CC1995056 Time : 0.0 sec. user=mdettweiler [2016-02-09 12:48:39] 945*2^1421761-1 is not prime. Res64: 87FDE37D69682299 Time : 0.0 sec. user=mdettweiler [2016-02-09 13:01:26] 617*2^1421762-1 is not prime. Res64: 0EA7E6B6A4119129 Time : 0.0 sec. user=mdettweiler [2016-02-09 13:01:28] 623*2^1421762-1 is not prime. Res64: A6EA416612ABA167 Time : 0.0 sec. user=mdettweiler [2016-02-09 13:07:00] 705*2^1421762-1 is not prime. Res64: B34A4614726F1F6C Time : 0.0 sec. user=mdettweiler [2016-02-09 13:07:01] 713*2^1421762-1 is not prime. Res64: 6555926B91A5520D Time : 0.0 sec. user=mdettweiler [2016-02-09 13:19:34] 731*2^1421762-1 is not prime. Res64: EAFA3D5895C8B076 Time : 0.0 sec. user=mdettweiler [2016-02-09 13:19:34] 735*2^1421762-1 is not prime. Res64: 0D2E341945528EE2 Time : 0.0 sec. user=mdettweiler [2016-02-09 13:25:03] 791*2^1421762-1 is not prime. Res64: 7E16240BAD3F2489 Time : 0.0 sec. user=mdettweiler [2016-02-09 13:25:03] 903*2^1421762-1 is not prime. Res64: 6379E95159E45632 Time : 0.0 sec. user=mdettweiler [2016-02-09 13:37:13] 691*2^1421763-1 is not prime. Res64: E782349CE92807AE Time : 0.0 sec. user=mdettweiler [2016-02-09 13:37:13] 705*2^1421763-1 is not prime. Res64: D862C940EE63BFBF Time : 0.0 sec. user=mdettweiler [2016-02-09 13:42:41] 745*2^1421763-1 is not prime. Res64: 7022A7B098A2D5DB Time : 0.0 sec. user=mdettweiler [2016-02-09 13:42:41] 783*2^1421763-1 is not prime. Res64: 2EEA1DA9969B8A10 Time : 0.0 sec. user=mdettweiler [2016-02-09 13:54:49] 879*2^1421763-1 is not prime. Res64: 0023BC5C08B7EF3C Time : 0.0 sec. user=mdettweiler [2016-02-09 13:54:50] 891*2^1421763-1 is not prime. Res64: 6A4B6D50E40E43DD Time : 0.0 sec. user=mdettweiler [2016-02-09 14:00:14] 919*2^1421763-1 is not prime. Res64: 0B683DEB128CE84E Time : 0.0 sec. user=mdettweiler [2016-02-09 14:00:15] 943*2^1421763-1 is not prime. Res64: D116BAF5C28646C4 Time : 0.0 sec. user=mdettweiler [2016-02-09 14:12:23] 605*2^1421764-1 is not prime. Res64: 8DECE7D9B3942758 Time : 0.0 sec. user=mdettweiler [2016-02-09 14:12:24] 663*2^1421764-1 is not prime. Res64: 1504225F819B3D93 Time : 0.0 sec. user=mdettweiler [2016-02-09 14:17:48] 765*2^1421764-1 is not prime. Res64: 256C98FFBDC8E07E Time : 0.0 sec. user=mdettweiler [2016-02-09 14:17:49] 857*2^1421764-1 is not prime. Res64: 5D6F356832E1AB46 Time : 0.0 sec. user=mdettweiler [2016-02-09 14:29:58] 651*2^1421765-1 is not prime. Res64: D9EB41BFD58022A8 Time : 0.0 sec. user=mdettweiler [2016-02-09 14:29:58] 691*2^1421765-1 is not prime. Res64: E0C9FC346B56B05E Time : 0.0 sec. user=mdettweiler [2016-02-09 14:35:20] 699*2^1421765-1 is not prime. Res64: 5ADA466228C077AE Time : 0.0 sec. user=mdettweiler [2016-02-09 14:35:21] 727*2^1421765-1 is not prime. Res64: 6DFDAC41B6E13435 Time : 0.0 sec. user=mdettweiler [2016-02-09 14:47:29] 757*2^1421765-1 is not prime. Res64: DC750469D4894250 Time : 0.0 sec. user=mdettweiler [2016-02-09 14:47:29] 861*2^1421765-1 is not prime. Res64: AA8BF87F2E50F7C8 Time : 0.0 sec. user=mdettweiler [2016-02-09 14:52:52] 939*2^1421765-1 is not prime. Res64: 74A6E073110756A7 Time : 0.0 sec. user=mdettweiler [2016-02-09 14:52:52] 677*2^1421766-1 is not prime. Res64: AE75F081E014FB74 Time : 0.0 sec. user=mdettweiler [2016-02-09 15:05:02] 713*2^1421766-1 is not prime. Res64: 93F76163E836A66D Time : 0.0 sec. user=mdettweiler [2016-02-09 15:05:04] 815*2^1421766-1 is not prime. Res64: 0B94F712A2560FD4 Time : 0.0 sec. user=mdettweiler [2016-02-09 15:10:27] 867*2^1421766-1 is not prime. Res64: 6E5165417F339124 Time : 0.0 sec. user=mdettweiler [2016-02-09 15:10:27] 893*2^1421766-1 is not prime. Res64: 658008856BAC08F2 Time : 0.0 sec. user=mdettweiler [2016-02-09 15:22:48] 963*2^1421766-1 is not prime. Res64: A3EC65545DC76EA8 Time : 0.0 sec. user=mdettweiler [2016-02-09 15:22:48] 649*2^1421767-1 is not prime. Res64: 9345179A168534ED Time : 0.0 sec. user=mdettweiler [2016-02-09 15:27:59] 741*2^1421767-1 is not prime. Res64: 649C6530A9BDF326 Time : 0.0 sec. user=mdettweiler [2016-02-09 15:27:59] 925*2^1421767-1 is not prime. Res64: A4E5BCF8A907CE62 Time : 0.0 sec. user=mdettweiler [2016-02-09 15:40:21] 939*2^1421767-1 is not prime. Res64: 359770681254675A Time : 0.0 sec. user=mdettweiler [2016-02-09 15:40:21] 951*2^1421767-1 is not prime. Res64: 52C448312BFC323A Time : 0.0 sec. user=mdettweiler [2016-02-09 15:45:31] 617*2^1421768-1 is not prime. Res64: 389167E06858DFAE Time : 0.0 sec. user=mdettweiler [2016-02-09 15:45:32] 665*2^1421768-1 is not prime. Res64: E1A5AA7F16B9A45C Time : 0.0 sec. user=mdettweiler [2016-02-09 15:57:54] 795*2^1421768-1 is not prime. Res64: B8486C777BFB1BCA Time : 0.0 sec. user=mdettweiler [2016-02-09 15:57:54] 843*2^1421768-1 is not prime. Res64: FAB8C301401F63AD Time : 0.0 sec. user=mdettweiler [2016-02-09 16:03:04] 915*2^1421768-1 is not prime. Res64: 4470362B6ECCE1A1 Time : 0.0 sec. user=mdettweiler [2016-02-09 16:03:05] 923*2^1421768-1 is not prime. Res64: 1466AA6D73BD336C Time : 0.0 sec. user=mdettweiler [2016-02-09 16:15:26] 945*2^1421768-1 is not prime. Res64: 65E732C581EBFBA7 Time : 0.0 sec. user=mdettweiler [2016-02-09 16:15:26] 969*2^1421768-1 is not prime. Res64: BE55939832E61461 Time : 0.0 sec. user=mdettweiler [2016-02-09 16:20:39] 679*2^1421769-1 is not prime. Res64: 7E19D9CAAD829435 Time : 0.0 sec. user=mdettweiler [2016-02-09 16:20:39] 885*2^1421769-1 is not prime. Res64: 526DF4FA4CFE6382 Time : 0.0 sec. user=mdettweiler [2016-02-09 16:32:59] 907*2^1421769-1 is not prime. Res64: 52E1A11E2E8A4B17 Time : 0.0 sec. user=mdettweiler [2016-02-09 16:33:00] 675*2^1421770-1 is not prime. Res64: 3967B2965AFA63C8 Time : 0.0 sec. user=mdettweiler [2016-02-09 16:38:11] 701*2^1421770-1 is not prime. Res64: 9AD27FA6BAA875C8 Time : 0.0 sec. user=mdettweiler [2016-02-09 16:38:11] 833*2^1421770-1 is not prime. Res64: F73C21AB8FCE869F Time : 0.0 sec. user=mdettweiler [2016-02-09 16:50:33] 843*2^1421770-1 is not prime. Res64: 445B0393EBBC1BC3 Time : 0.0 sec. user=mdettweiler [2016-02-09 16:50:33] 951*2^1421770-1 is not prime. Res64: EC638CF45D68B6AF Time : 0.0 sec. user=mdettweiler [2016-02-09 16:55:43] 957*2^1421770-1 is not prime. Res64: B997F1E11B87DD95 Time : 0.0 sec. user=mdettweiler [2016-02-09 16:55:44] 631*2^1421771-1 is not prime. Res64: 9CE6A21ED3340D1A Time : 0.0 sec. user=mdettweiler [2016-02-09 17:08:05] 789*2^1421771-1 is not prime. Res64: E98F097BADD4DC82 Time : 0.0 sec. user=mdettweiler [2016-02-09 17:08:06] 999*2^1421771-1 is not prime. Res64: B1598F222D0C2F0E Time : 0.0 sec. user=mdettweiler [2016-02-09 17:13:15] 627*2^1421772-1 is not prime. Res64: FCABD981C77EEC5D Time : 0.0 sec. user=mdettweiler [2016-02-09 17:13:15] 647*2^1421772-1 is not prime. Res64: 388AE0CA1C5D212F Time : 0.0 sec. user=mdettweiler [2016-02-09 17:25:41] 759*2^1421772-1 is not prime. Res64: 59F57874A5C7649A Time : 0.0 sec. user=mdettweiler [2016-02-09 17:25:41] 777*2^1421772-1 is not prime. Res64: 47B05917A24175BF Time : 0.0 sec. user=mdettweiler [2016-02-09 17:30:47] 779*2^1421772-1 is not prime. Res64: B420885910F79A73 Time : 0.0 sec. user=mdettweiler [2016-02-09 17:30:48] 797*2^1421772-1 is not prime. Res64: 64D01193D944B25D Time : 0.0 sec. user=mdettweiler [2016-02-09 17:43:14] 867*2^1421772-1 is not prime. Res64: 4DD74DFE348A99EA Time : 0.0 sec. user=mdettweiler [2016-02-09 17:43:15] 893*2^1421772-1 is not prime. Res64: 144BA7C2C8E2CF0E Time : 0.0 sec. user=mdettweiler [2016-02-09 17:48:19] 929*2^1421772-1 is not prime. Res64: CE1C3F30DEF879E1 Time : 0.0 sec. user=mdettweiler [2016-02-09 17:48:20] 947*2^1421772-1 is not prime. Res64: A349912EAFDE3601 Time : 0.0 sec. user=mdettweiler [2016-02-09 18:00:47] 607*2^1421773-1 is not prime. Res64: 68BF309D4479D803 Time : 0.0 sec. user=mdettweiler [2016-02-09 18:00:48] 789*2^1421773-1 is not prime. Res64: 7D7CD14A9975F0F5 Time : 0.0 sec. user=mdettweiler [2016-02-09 18:05:56] 811*2^1421773-1 is not prime. Res64: 02F26524202FE4D9 Time : 0.0 sec. user=mdettweiler [2016-02-09 18:05:56] 831*2^1421773-1 is not prime. Res64: 1654F4711BD44929 Time : 0.0 sec. user=mdettweiler [2016-02-09 18:18:24] 877*2^1421773-1 is not prime. Res64: C8AFEB883F5FB861 Time : 0.0 sec. user=mdettweiler [2016-02-09 18:18:24] 895*2^1421773-1 is not prime. Res64: 530CC57B6F2B5E8C Time : 0.0 sec. user=mdettweiler [2016-02-09 18:23:31] 987*2^1421773-1 is not prime. Res64: 695E25275BD2BA25 Time : 0.0 sec. user=mdettweiler [2016-02-09 18:23:31] 999*2^1421773-1 is not prime. Res64: DB1CDA0BFC7C7A89 Time : 0.0 sec. user=mdettweiler [2016-02-09 18:35:59] 615*2^1421774-1 is not prime. Res64: DD49B25575207E18 Time : 0.0 sec. user=mdettweiler [2016-02-09 18:35:59] 623*2^1421774-1 is not prime. Res64: 9FEE99A3BCEBC086 Time : 0.0 sec. user=mdettweiler [2016-02-09 18:41:04] 665*2^1421774-1 is not prime. Res64: B43FCC1655E8C5CE Time : 0.0 sec. user=mdettweiler [2016-02-09 18:41:04] 753*2^1421774-1 is not prime. Res64: C7A54BCD9C29551E Time : 0.0 sec. user=mdettweiler [2016-02-09 18:53:30] 755*2^1421774-1 is not prime. Res64: 6B01F3AFF621CEC5 Time : 0.0 sec. user=mdettweiler [2016-02-09 18:53:31] 923*2^1421774-1 is not prime. Res64: E0ED688FE58BFDFF Time : 0.0 sec. user=mdettweiler [2016-02-09 18:58:37] 651*2^1421775-1 is not prime. Res64: 214FA23E044DCBFE Time : 0.0 sec. user=mdettweiler [2016-02-09 18:58:37] 663*2^1421775-1 is not prime. Res64: 01B2A9BF480A633C Time : 0.0 sec. user=mdettweiler [2016-02-09 19:11:04] 685*2^1421775-1 is not prime. Res64: A870098AEBC40CAD Time : 0.0 sec. user=mdettweiler [2016-02-09 19:11:04] 819*2^1421775-1 is not prime. Res64: 1881D7C27ACDD2F1 Time : 0.0 sec. user=mdettweiler [2016-02-09 19:16:08] 999*2^1421775-1 is not prime. Res64: FD681C4A4FA878A0 Time : 0.0 sec. user=mdettweiler [2016-02-09 19:16:09] 695*2^1421776-1 is not prime. Res64: D8FEB8A29BCB7A56 Time : 0.0 sec. user=mdettweiler [2016-02-09 19:28:39] 705*2^1421776-1 is not prime. Res64: 172EDD3812DE700E Time : 0.0 sec. user=mdettweiler [2016-02-09 19:28:40] 779*2^1421776-1 is not prime. Res64: 16462414A1B56DB5 Time : 0.0 sec. user=mdettweiler [2016-02-09 19:33:41] 785*2^1421776-1 is not prime. Res64: 0617E49265AA6260 Time : 0.0 sec. user=mdettweiler [2016-02-09 19:33:42] 989*2^1421776-1 is not prime. Res64: A2D4D4011A1CC95F Time : 0.0 sec. user=mdettweiler [2016-02-09 19:46:13] 999*2^1421776-1 is not prime. Res64: 15F0083417BE6D0D Time : 0.0 sec. user=mdettweiler [2016-02-09 19:46:13] 697*2^1421777-1 is not prime. Res64: 2356B9A4B254C23C Time : 0.0 sec. user=mdettweiler [2016-02-09 19:51:15] 819*2^1421777-1 is not prime. Res64: FA0EE5D390721582 Time : 0.0 sec. user=mdettweiler [2016-02-09 19:51:15] 867*2^1421777-1 is not prime. Res64: 2042D34742C3EFAF Time : 0.0 sec. user=mdettweiler [2016-02-09 20:03:47] 871*2^1421777-1 is not prime. Res64: 76C390E27C5E4811 Time : 0.0 sec. user=mdettweiler [2016-02-09 20:03:49] 901*2^1421777-1 is not prime. Res64: 94A98A6196C425AE Time : 0.0 sec. user=mdettweiler [2016-02-09 20:08:47] 991*2^1421777-1 is not prime. Res64: 2BA896998EDCE90A Time : 0.0 sec. user=mdettweiler [2016-02-09 20:08:49] 695*2^1421778-1 is not prime. Res64: 9031474ABE9CE5ED Time : 0.0 sec. user=mdettweiler [2016-02-09 20:21:35] 737*2^1421778-1 is not prime. Res64: D1AC68D0E66680A3 Time : 0.0 sec. user=mdettweiler [2016-02-09 20:21:35] 773*2^1421778-1 is not prime. Res64: F65E6C1CB2A3A9AA Time : 0.0 sec. user=mdettweiler [2016-02-09 20:26:25] 803*2^1421778-1 is not prime. Res64: 47659D88436CEBDA Time : 0.0 sec. user=mdettweiler [2016-02-09 20:26:26] 875*2^1421778-1 is not prime. Res64: 5783CD29776813FC Time : 0.0 sec. user=mdettweiler [2016-02-09 20:39:09] 891*2^1421778-1 is not prime. Res64: 00BFB584AD4C6B8A Time : 0.0 sec. user=mdettweiler [2016-02-09 20:39:09] 619*2^1421779-1 is not prime. Res64: B6781E09E320481D Time : 0.0 sec. user=mdettweiler [2016-02-09 20:43:59] 631*2^1421779-1 is not prime. Res64: 779734FB1C58AB89 Time : 0.0 sec. user=mdettweiler [2016-02-09 20:43:59] 663*2^1421779-1 is not prime. Res64: BB0F300D9203C520 Time : 0.0 sec. user=mdettweiler [2016-02-09 20:56:43] 679*2^1421779-1 is not prime. Res64: 3F72B4A5A0F5D10D Time : 0.0 sec. user=mdettweiler [2016-02-09 20:56:43] 733*2^1421779-1 is not prime. Res64: 8E62737D9975F784 Time : 0.0 sec. user=mdettweiler [2016-02-09 21:01:32] 919*2^1421779-1 is not prime. Res64: 1AAACD1C8A143D41 Time : 0.0 sec. user=mdettweiler [2016-02-09 21:01:33] 993*2^1421779-1 is not prime. Res64: BEFAB36F42927FFC Time : 0.0 sec. user=mdettweiler [2016-02-09 21:14:16] 633*2^1421780-1 is not prime. Res64: 9CAE7834DE795BF8 Time : 0.0 sec. user=mdettweiler [2016-02-09 21:14:16] 665*2^1421780-1 is not prime. Res64: 25B0905BD8E3A5AA Time : 0.0 sec. user=mdettweiler [2016-02-09 21:19:14] 725*2^1421780-1 is not prime. Res64: B5720566E97F4023 Time : 0.0 sec. user=mdettweiler [2016-02-09 21:19:14] 735*2^1421780-1 is not prime. Res64: 45B9220EE445162B Time : 0.0 sec. user=mdettweiler [2016-02-09 21:31:51] 825*2^1421780-1 is not prime. Res64: BE9BEC2844655C80 Time : 0.0 sec. user=mdettweiler [2016-02-09 21:31:52] 839*2^1421780-1 is not prime. Res64: 01B1608D84B34227 Time : 0.0 sec. user=mdettweiler [2016-02-09 21:36:47] 893*2^1421780-1 is not prime. Res64: 14D75034EB81B4D5 Time : 0.0 sec. user=mdettweiler [2016-02-09 21:36:47] 999*2^1421780-1 is not prime. Res64: E2DD61DD8AAA7ADE Time : 0.0 sec. user=mdettweiler [2016-02-09 21:49:24] 735*2^1421781-1 is not prime. Res64: C8BFA4D628AEA59C Time : 0.0 sec. user=mdettweiler [2016-02-09 21:49:24] 745*2^1421781-1 is not prime. Res64: 1B38DABFDA79BA28 Time : 0.0 sec. user=mdettweiler [2016-02-09 21:54:19] 781*2^1421781-1 is not prime. Res64: F26E3F58BBAEE3A5 Time : 0.0 sec. user=mdettweiler [2016-02-09 21:54:20] 867*2^1421781-1 is not prime. Res64: 54C5DAEAA29A028E Time : 0.0 sec. user=mdettweiler [2016-02-09 22:06:57] 955*2^1421781-1 is not prime. Res64: 13B0461322A32C11 Time : 0.0 sec. user=mdettweiler [2016-02-09 22:06:57] 979*2^1421781-1 is not prime. Res64: 0BE45A86AC4C7D8A Time : 0.0 sec. user=mdettweiler [2016-02-09 22:11:51] 635*2^1421782-1 is not prime. Res64: F9974B3FF07788B9 Time : 0.0 sec. user=mdettweiler [2016-02-09 22:11:52] 657*2^1421782-1 is not prime. Res64: 1E82971116EAD2E7 Time : 0.0 sec. user=mdettweiler [2016-02-09 22:24:32] 785*2^1421782-1 is not prime. Res64: FD72E113448C2290 Time : 0.0 sec. user=mdettweiler [2016-02-09 22:24:32] 813*2^1421782-1 is not prime. Res64: 57D8619C7B12CC8D Time : 0.0 sec. user=mdettweiler [2016-02-09 22:29:24] 815*2^1421782-1 is not prime. Res64: FFDCE589D7F90CCE Time : 0.0 sec. user=mdettweiler [2016-02-09 22:29:24] 827*2^1421782-1 is not prime. Res64: C398691A64EA6B92 Time : 0.0 sec. user=mdettweiler [2016-02-09 22:42:05] 975*2^1421782-1 is not prime. Res64: 743DFEC778D0BECD Time : 0.0 sec. user=mdettweiler [2016-02-09 22:42:05] 995*2^1421782-1 is not prime. Res64: 4BA1EB9EAFA8B761 Time : 0.0 sec. user=mdettweiler [2016-02-09 22:46:56] 603*2^1421783-1 is not prime. Res64: E47FB6D2229AF20F Time : 0.0 sec. user=mdettweiler [2016-02-09 22:46:56] 649*2^1421783-1 is not prime. Res64: C7E8C0B30764DA44 Time : 0.0 sec. user=mdettweiler [2016-02-09 22:59:37] 675*2^1421783-1 is not prime. Res64: 60163DB3A0648056 Time : 0.0 sec. user=mdettweiler [2016-02-09 22:59:38] 693*2^1421783-1 is not prime. Res64: 2B5B070483C6BC1F Time : 0.0 sec. user=mdettweiler [2016-02-09 23:04:34] 855*2^1421783-1 is not prime. Res64: 4F782EA36CADB627 Time : 0.0 sec. user=mdettweiler [2016-02-09 23:04:35] 767*2^1421784-1 is not prime. Res64: 56616AA33B519EE5 Time : 0.0 sec. user=mdettweiler [2016-02-09 23:17:10] 803*2^1421784-1 is not prime. Res64: 006A7206910A4CC3 Time : 0.0 sec. user=mdettweiler [2016-02-09 23:17:10] 887*2^1421784-1 is not prime. Res64: 5F1F2310040703ED Time : 0.0 sec. user=mdettweiler [2016-02-09 23:22:25] 915*2^1421784-1 is not prime. Res64: CF65F1382CDADCFE Time : 0.0 sec. user=mdettweiler [2016-02-09 23:22:25] 959*2^1421784-1 is not prime. Res64: 578C885A1480B325 Time : 0.0 sec. user=mdettweiler [2016-02-09 23:34:44] 619*2^1421785-1 is not prime. Res64: 5CA8A2F18225BFCA Time : 0.0 sec. user=mdettweiler [2016-02-09 23:34:45] 847*2^1421785-1 is not prime. Res64: 369192531F0DE804 Time : 0.0 sec. user=mdettweiler [2016-02-09 23:39:57] 849*2^1421785-1 is not prime. Res64: 0D96C21342F1A951 Time : 0.0 sec. user=mdettweiler [2016-02-09 23:39:57] 871*2^1421785-1 is not prime. Res64: 2B82911584718E34 Time : 0.0 sec. user=mdettweiler [2016-02-09 23:52:20] 895*2^1421785-1 is not prime. Res64: AD9EDCF69A3DF0D3 Time : 0.0 sec. user=mdettweiler [2016-02-09 23:52:20] 897*2^1421785-1 is not prime. Res64: 77294A6A18A35542 Time : 0.0 sec. user=mdettweiler [2016-02-09 23:57:30] 813*2^1421786-1 is not prime. Res64: 2B1E774569C37028 Time : 0.0 sec. user=mdettweiler [2016-02-09 23:57:31] 827*2^1421786-1 is not prime. Res64: 8E0E95F5B409A91F Time : 0.0 sec.