user=mdettweiler [2016-08-08 00:18:22] 995*2^1436938-1 is not prime. Res64: 4D79661CB77B9942 Time : 0.0 sec. user=mdettweiler [2016-08-08 00:18:23] 703*2^1436939-1 is not prime. Res64: C3A418F1C12B25BF Time : 0.0 sec. user=mdettweiler [2016-08-08 00:18:23] 801*2^1436939-1 is not prime. Res64: 72CE399FFD41C09B Time : 0.0 sec. user=mdettweiler [2016-08-08 00:18:24] 903*2^1436939-1 is not prime. Res64: 122873761F31539E Time : 0.0 sec. user=mdettweiler [2016-08-08 00:18:24] 979*2^1436939-1 is not prime. Res64: E0C6AF5B03E21BF1 Time : 0.0 sec. user=mdettweiler [2016-08-08 00:21:03] 789*2^1436940-1 is not prime. Res64: 5B4FD69AE5ABB5A7 Time : 0.0 sec. user=mdettweiler [2016-08-08 00:21:03] 857*2^1436940-1 is not prime. Res64: D827C209066F4C3A Time : 0.0 sec. user=mdettweiler [2016-08-08 00:21:04] 863*2^1436940-1 is not prime. Res64: A1E457FC935C4E54 Time : 0.0 sec. user=mdettweiler [2016-08-08 00:21:04] 909*2^1436940-1 is not prime. Res64: F3C5E2CABDF5A4DF Time : 0.0 sec. user=mdettweiler [2016-08-08 00:21:07] 915*2^1436940-1 is not prime. Res64: 1BD0F27B88273FA5 Time : 0.0 sec. user=mdettweiler [2016-08-08 00:43:57] 959*2^1436940-1 is not prime. Res64: 14895BA7CBB506D1 Time : 0.0 sec. user=mdettweiler [2016-08-08 00:43:58] 975*2^1436940-1 is not prime. Res64: 668C67D44692E434 Time : 0.0 sec. user=mdettweiler [2016-08-08 00:43:58] 983*2^1436940-1 is not prime. Res64: D6649E8CDF509D40 Time : 0.0 sec. user=mdettweiler [2016-08-08 00:43:58] 681*2^1436941-1 is not prime. Res64: 6AB634CFC53F8C7E Time : 0.0 sec. user=mdettweiler [2016-08-08 00:43:59] 945*2^1436941-1 is not prime. Res64: 88A1459AC7D2FD81 Time : 0.0 sec. user=mdettweiler [2016-08-08 01:02:50] 975*2^1436941-1 is not prime. Res64: 8F08EEF1A93C2BCD Time : 0.0 sec. user=mdettweiler [2016-08-08 01:02:52] 615*2^1436942-1 is not prime. Res64: 5CBD619ADBDDC2A3 Time : 0.0 sec. user=mdettweiler [2016-08-08 01:02:53] 645*2^1436942-1 is not prime. Res64: 3EC3543721CA8BBF Time : 0.0 sec. user=mdettweiler [2016-08-08 01:02:56] 665*2^1436942-1 is not prime. Res64: 8927283AA0C9D72C Time : 0.0 sec. user=mdettweiler [2016-08-08 01:02:57] 867*2^1436942-1 is not prime. Res64: 6318958987DC0215 Time : 0.0 sec. user=mdettweiler [2016-08-08 01:05:54] 951*2^1436942-1 is not prime. Res64: 438FF49CBD27E21E Time : 0.0 sec. user=mdettweiler [2016-08-08 01:05:57] 619*2^1436943-1 is not prime. Res64: B9677F5C10139CFF Time : 0.0 sec. user=mdettweiler [2016-08-08 01:05:59] 621*2^1436943-1 is not prime. Res64: 1C773A6031644C80 Time : 0.0 sec. user=mdettweiler [2016-08-08 01:06:00] 669*2^1436943-1 is not prime. Res64: 133D4028C0CC41B6 Time : 0.0 sec. user=mdettweiler [2016-08-08 01:06:03] 723*2^1436943-1 is not prime. Res64: C05998653E50FF2C Time : 0.0 sec. user=mdettweiler [2016-08-08 01:28:05] 745*2^1436943-1 is not prime. Res64: 4DC8904A84F5CF6B Time : 0.0 sec. user=mdettweiler [2016-08-08 01:28:07] 861*2^1436943-1 is not prime. Res64: F25866EB73690244 Time : 0.0 sec. user=mdettweiler [2016-08-08 01:28:09] 871*2^1436943-1 is not prime. Res64: A9BC3FE8160D306D Time : 0.0 sec. user=mdettweiler [2016-08-08 01:28:11] 873*2^1436943-1 is not prime. Res64: 8AFB74D936FA1210 Time : 0.0 sec. user=mdettweiler [2016-08-08 01:28:12] 879*2^1436943-1 is not prime. Res64: 6D80A89C58CC45B0 Time : 0.0 sec. user=mdettweiler [2016-08-08 01:47:06] 885*2^1436943-1 is not prime. Res64: 76DAEA52DA8DB0B4 Time : 0.0 sec. user=mdettweiler [2016-08-08 01:47:08] 921*2^1436943-1 is not prime. Res64: DC77418DD6567651 Time : 0.0 sec. user=mdettweiler [2016-08-08 01:47:09] 955*2^1436943-1 is not prime. Res64: 3C029A38E6AED426 Time : 0.0 sec. user=mdettweiler [2016-08-08 01:47:09] 657*2^1436944-1 is not prime. Res64: DE0D1A2F38801B56 Time : 0.0 sec. user=mdettweiler [2016-08-08 01:47:10] 723*2^1436944-1 is not prime. Res64: 4FD215642C808F85 Time : 0.0 sec. user=mdettweiler [2016-08-08 01:50:23] 743*2^1436944-1 is not prime. Res64: CA87590D18DBB0B4 Time : 0.0 sec. user=mdettweiler [2016-08-08 01:50:24] 827*2^1436944-1 is not prime. Res64: 5E1B5497B48B3DC5 Time : 0.0 sec. user=mdettweiler [2016-08-08 01:50:24] 869*2^1436944-1 is not prime. Res64: 050EF6D5C35D9DA0 Time : 0.0 sec. user=mdettweiler [2016-08-08 01:50:24] 875*2^1436944-1 is not prime. Res64: A31CAFB43C41C5E5 Time : 0.0 sec. user=mdettweiler [2016-08-08 01:50:25] 897*2^1436944-1 is not prime. Res64: 57521413C3F877C6 Time : 0.0 sec. user=mdettweiler [2016-08-08 02:12:43] 905*2^1436944-1 is not prime. Res64: 7CBCD541F6C48202 Time : 0.0 sec. user=mdettweiler [2016-08-08 02:12:44] 983*2^1436944-1 is not prime. Res64: 537D23724B5B745A Time : 0.0 sec. user=mdettweiler [2016-08-08 02:12:44] 715*2^1436945-1 is not prime. Res64: 0025893675B97B7F Time : 0.0 sec. user=mdettweiler [2016-08-08 02:12:45] 805*2^1436945-1 is not prime. Res64: 20B83DB7FDB6007F Time : 0.0 sec. user=mdettweiler [2016-08-08 02:12:45] 871*2^1436945-1 is not prime. Res64: 0D5372D67F692DE4 Time : 0.0 sec. user=mdettweiler [2016-08-08 02:31:33] 985*2^1436945-1 is not prime. Res64: ED57768F116CE907 Time : 0.0 sec. user=mdettweiler [2016-08-08 02:31:33] 765*2^1436946-1 is not prime. Res64: 78DF1861A5EFAB46 Time : 0.0 sec. user=mdettweiler [2016-08-08 02:31:34] 933*2^1436946-1 is not prime. Res64: D247D42CAC290BB5 Time : 0.0 sec. user=mdettweiler [2016-08-08 02:31:34] 975*2^1436946-1 is not prime. Res64: 0F781449DFFF2C86 Time : 0.0 sec. user=mdettweiler [2016-08-08 02:31:35] 983*2^1436946-1 is not prime. Res64: D51DD90138468088 Time : 0.0 sec. user=mdettweiler [2016-08-08 02:34:48] 619*2^1436947-1 is not prime. Res64: 01A5733178BA610F Time : 0.0 sec. user=mdettweiler [2016-08-08 02:34:48] 645*2^1436947-1 is not prime. Res64: D1CECB24CE5EB570 Time : 0.0 sec. user=mdettweiler [2016-08-08 02:34:49] 733*2^1436947-1 is not prime. Res64: ECA208566E4C5F88 Time : 0.0 sec. user=mdettweiler [2016-08-08 02:34:49] 805*2^1436947-1 is not prime. Res64: 3E4146972098FE56 Time : 0.0 sec. user=mdettweiler [2016-08-08 02:34:50] 871*2^1436947-1 is not prime. Res64: A882C35D751DAF49 Time : 0.0 sec. user=mdettweiler [2016-08-08 02:57:06] 891*2^1436947-1 is not prime. Res64: 45AD8E78E1AB2B18 Time : 0.0 sec. user=mdettweiler [2016-08-08 02:57:06] 945*2^1436947-1 is not prime. Res64: A60A68FF230A6996 Time : 0.0 sec. user=mdettweiler [2016-08-08 02:57:07] 615*2^1436948-1 is not prime. Res64: A579C2D133764729 Time : 0.0 sec. user=mdettweiler [2016-08-08 02:57:07] 633*2^1436948-1 is not prime. Res64: 804882DA2AA2AF9A Time : 0.0 sec. user=mdettweiler [2016-08-08 02:57:07] 845*2^1436948-1 is not prime. Res64: 86C2A6C8951B3896 Time : 0.0 sec. user=mdettweiler [2016-08-08 03:15:54] 885*2^1436948-1 is not prime. Res64: 5E96F76D741F5C69 Time : 0.0 sec. user=mdettweiler [2016-08-08 03:15:54] 639*2^1436949-1 is not prime. Res64: 994E72594F4C9165 Time : 0.0 sec. user=mdettweiler [2016-08-08 03:15:55] 661*2^1436949-1 is not prime. Res64: 61B3F8B3BCA4367A Time : 0.0 sec. user=mdettweiler [2016-08-08 03:15:55] 669*2^1436949-1 is not prime. Res64: 6FAEB39F48C6661D Time : 0.0 sec. user=mdettweiler [2016-08-08 03:15:56] 681*2^1436949-1 is not prime. Res64: BAC0B00E39B64234 Time : 0.0 sec. user=mdettweiler [2016-08-08 03:19:07] 711*2^1436949-1 is not prime. Res64: 7E7E4B0B769773AE Time : 0.0 sec. user=mdettweiler [2016-08-08 03:19:08] 727*2^1436949-1 is not prime. Res64: E29921984FD0692C Time : 0.0 sec. user=mdettweiler [2016-08-08 03:19:08] 735*2^1436949-1 is not prime. Res64: C2AD98A7DEB57BD9 Time : 0.0 sec. user=mdettweiler [2016-08-08 03:19:09] 747*2^1436949-1 is not prime. Res64: 9C53D77C14C95C65 Time : 0.0 sec. user=mdettweiler [2016-08-08 03:19:09] 837*2^1436949-1 is not prime. Res64: D52A081BDBE7EB31 Time : 0.0 sec. user=juhehe [2016-08-08 03:33:29] 673*2^1436951-1 is not prime. Res64: C9568EA264E04150 Time : 0.0 sec. user=mdettweiler [2016-08-08 03:41:23] 603*2^1436950-1 is not prime. Res64: 3F0337693DEFB837 Time : 0.0 sec. user=mdettweiler [2016-08-08 03:41:26] 785*2^1436950-1 is not prime. Res64: 9716EF311579BE04 Time : 0.0 sec. user=mdettweiler [2016-08-08 03:41:27] 857*2^1436950-1 is not prime. Res64: A55FFB0393EB118E Time : 0.0 sec. user=mdettweiler [2016-08-08 03:41:28] 1001*2^1436950-1 is not prime. Res64: 85E794C25BE8E0E4 Time : 0.0 sec. user=mdettweiler [2016-08-08 03:41:28] 661*2^1436951-1 is not prime. Res64: EF248A5223A4CDC5 Time : 0.0 sec. user=mdettweiler [2016-08-08 04:00:10] 675*2^1436951-1 is not prime. Res64: 406983F5798DC522 Time : 0.0 sec. user=mdettweiler [2016-08-08 04:00:10] 969*2^1436951-1 is not prime. Res64: B3B99CE3E7F91777 Time : 0.0 sec. user=mdettweiler [2016-08-08 04:00:11] 979*2^1436951-1 is not prime. Res64: C38C1AC9BC46C63C Time : 0.0 sec. user=mdettweiler [2016-08-08 04:00:12] 629*2^1436952-1 is not prime. Res64: 1F5C2F5FA1291B5D Time : 0.0 sec. user=mdettweiler [2016-08-08 04:00:12] 635*2^1436952-1 is not prime. Res64: BDBF882A7E320D46 Time : 0.0 sec. user=mdettweiler [2016-08-08 04:03:22] 779*2^1436952-1 is not prime. Res64: A544976128D7225A Time : 0.0 sec. user=mdettweiler [2016-08-08 04:03:23] 825*2^1436952-1 is not prime. Res64: BC7CCC5689CCA8E4 Time : 0.0 sec. user=mdettweiler [2016-08-08 04:03:23] 873*2^1436952-1 is not prime. Res64: 9416C997443E1A87 Time : 0.0 sec. user=mdettweiler [2016-08-08 04:03:24] 675*2^1436953-1 is not prime. Res64: FB510D3BC3B9F23C Time : 0.0 sec. user=mdettweiler [2016-08-08 04:03:25] 775*2^1436953-1 is not prime. Res64: C621842D961D08FD Time : 0.0 sec. user=mdettweiler [2016-08-08 04:25:46] 801*2^1436953-1 is not prime. Res64: 5DB503DE0AED7AAD Time : 0.0 sec. user=mdettweiler [2016-08-08 04:25:46] 937*2^1436953-1 is not prime. Res64: 2007953A6FEBC87A Time : 0.0 sec. user=mdettweiler [2016-08-08 04:25:46] 985*2^1436953-1 is not prime. Res64: EC0BF5D91A4ED46D Time : 0.0 sec. user=mdettweiler [2016-08-08 04:25:47] 999*2^1436953-1 is not prime. Res64: 8ED19B54A1C5A37F Time : 0.0 sec. user=mdettweiler [2016-08-08 04:25:49] 677*2^1436954-1 is not prime. Res64: 97D8DF2D86011E47 Time : 0.0 sec. user=mdettweiler [2016-08-08 04:44:25] 683*2^1436954-1 is not prime. Res64: 65722995455FD53D Time : 0.0 sec. user=mdettweiler [2016-08-08 04:44:25] 711*2^1436954-1 is not prime. Res64: 45A627F78ECB2366 Time : 0.0 sec. user=mdettweiler [2016-08-08 04:44:25] 767*2^1436954-1 is not prime. Res64: BD3B89B47575B91C Time : 0.0 sec. user=mdettweiler [2016-08-08 04:44:26] 791*2^1436954-1 is not prime. Res64: 1927D665F949CCE3 Time : 0.0 sec. user=mdettweiler [2016-08-08 04:44:26] 797*2^1436954-1 is not prime. Res64: EEB60C5DAE4D6CBC Time : 0.0 sec. user=mdettweiler [2016-08-08 04:47:41] 851*2^1436954-1 is not prime. Res64: 2570C3B8EEB97E59 Time : 0.0 sec. user=mdettweiler [2016-08-08 04:47:41] 887*2^1436954-1 is not prime. Res64: 5C0BE9063F652DC5 Time : 0.0 sec. user=mdettweiler [2016-08-08 04:47:41] 917*2^1436954-1 is not prime. Res64: 006A27C42241CA67 Time : 0.0 sec. user=mdettweiler [2016-08-08 04:47:42] 663*2^1436955-1 is not prime. Res64: BFF3BD90C549ACF4 Time : 0.0 sec. user=mdettweiler [2016-08-08 04:47:42] 679*2^1436955-1 is not prime. Res64: F8B3481BC42C2104 Time : 0.0 sec. user=mdettweiler [2016-08-08 05:10:01] 781*2^1436955-1 is not prime. Res64: 8F540F8FC241F726 Time : 0.0 sec. user=mdettweiler [2016-08-08 05:10:02] 795*2^1436955-1 is not prime. Res64: 968CF84EEE9E3D71 Time : 0.0 sec. user=mdettweiler [2016-08-08 05:10:02] 861*2^1436955-1 is not prime. Res64: 7BE95B99D76147DA Time : 0.0 sec. user=mdettweiler [2016-08-08 05:10:03] 903*2^1436955-1 is not prime. Res64: 0C3DE20596520790 Time : 0.0 sec. user=mdettweiler [2016-08-08 05:10:03] 629*2^1436956-1 is not prime. Res64: 89B83EADC63B00B6 Time : 0.0 sec. user=mdettweiler [2016-08-08 05:28:38] 647*2^1436956-1 is not prime. Res64: D1E8F4BC8B57CEB6 Time : 0.0 sec. user=mdettweiler [2016-08-08 05:28:39] 717*2^1436956-1 is not prime. Res64: D1C0150642570FE3 Time : 0.0 sec. user=mdettweiler [2016-08-08 05:28:39] 735*2^1436956-1 is not prime. Res64: E7F5E21B04DBA512 Time : 0.0 sec. user=mdettweiler [2016-08-08 05:28:39] 777*2^1436956-1 is not prime. Res64: 3657817FDED00B49 Time : 0.0 sec. user=mdettweiler [2016-08-08 05:28:40] 621*2^1436957-1 is not prime. Res64: 584AD68477868BCA Time : 0.0 sec. user=mdettweiler [2016-08-08 05:32:00] 649*2^1436957-1 is not prime. Res64: E790376A185CA76E Time : 0.0 sec. user=mdettweiler [2016-08-08 05:32:01] 697*2^1436957-1 is not prime. Res64: CD7332ED6AA3E374 Time : 0.0 sec. user=mdettweiler [2016-08-08 05:32:01] 711*2^1436957-1 is not prime. Res64: 7C02AA16DA3B9EF7 Time : 0.0 sec. user=mdettweiler [2016-08-08 05:32:01] 747*2^1436957-1 is not prime. Res64: AD5F84AE4DB96F30 Time : 0.0 sec. user=mdettweiler [2016-08-08 05:32:02] 795*2^1436957-1 is not prime. Res64: 83D4439CCB8EA52B Time : 0.0 sec. user=mdettweiler [2016-08-08 05:54:18] 867*2^1436957-1 is not prime. Res64: 6A0D9FB994FA99C0 Time : 0.0 sec. user=mdettweiler [2016-08-08 05:54:18] 985*2^1436957-1 is not prime. Res64: 21711AAC06A5A17C Time : 0.0 sec. user=mdettweiler [2016-08-08 05:54:19] 615*2^1436958-1 is not prime. Res64: E7BDF4D6FCECF7B8 Time : 0.0 sec. user=mdettweiler [2016-08-08 05:54:19] 725*2^1436958-1 is not prime. Res64: 0D3B50290660623E Time : 0.0 sec. user=mdettweiler [2016-08-08 05:54:19] 825*2^1436958-1 is not prime. Res64: C7651789D7007F9B Time : 0.0 sec. user=mdettweiler [2016-08-08 06:12:57] 977*2^1436958-1 is not prime. Res64: A569B46CB064BAF2 Time : 0.0 sec. user=mdettweiler [2016-08-08 06:12:57] 663*2^1436959-1 is not prime. Res64: D9BD8AB7866FED70 Time : 0.0 sec. user=mdettweiler [2016-08-08 06:12:58] 741*2^1436959-1 is not prime. Res64: CF722AA01031C6F5 Time : 0.0 sec. user=mdettweiler [2016-08-08 06:12:58] 769*2^1436959-1 is not prime. Res64: 0421ECD4B5E88A80 Time : 0.0 sec. user=mdettweiler [2016-08-08 06:12:58] 811*2^1436959-1 is not prime. Res64: 1177C9BC104857ED Time : 0.0 sec. user=mdettweiler [2016-08-08 06:16:18] 889*2^1436959-1 is not prime. Res64: 7B102319736CCDE7 Time : 0.0 sec. user=mdettweiler [2016-08-08 06:16:19] 993*2^1436959-1 is not prime. Res64: 95139D792CE108B9 Time : 0.0 sec. user=mdettweiler [2016-08-08 06:16:19] 605*2^1436960-1 is not prime. Res64: 3A3998259B59159B Time : 0.0 sec. user=mdettweiler [2016-08-08 06:16:19] 659*2^1436960-1 is not prime. Res64: 4C31983EE89D4A59 Time : 0.0 sec. user=mdettweiler [2016-08-08 06:16:20] 825*2^1436960-1 is not prime. Res64: 978BBF4722106FCF Time : 0.0 sec. user=mdettweiler [2016-08-08 06:38:35] 855*2^1436960-1 is not prime. Res64: 8E4F7E804D19979C Time : 0.0 sec. user=mdettweiler [2016-08-08 06:38:37] 893*2^1436960-1 is not prime. Res64: CD058FA3918587C8 Time : 0.0 sec. user=mdettweiler [2016-08-08 06:38:37] 909*2^1436960-1 is not prime. Res64: D986325F2E8417FD Time : 0.0 sec. user=mdettweiler [2016-08-08 06:38:38] 963*2^1436960-1 is not prime. Res64: C689491C13EB0CF1 Time : 0.0 sec. user=mdettweiler [2016-08-08 06:38:38] 727*2^1436961-1 is not prime. Res64: 3EB1D9B92C02DDA7 Time : 0.0 sec. user=mdettweiler [2016-08-08 06:57:11] 741*2^1436961-1 is not prime. Res64: 5FF1161F238CD4CB Time : 0.0 sec. user=mdettweiler [2016-08-08 06:57:11] 795*2^1436961-1 is not prime. Res64: F8D0471F7EFAF4A1 Time : 0.0 sec. user=mdettweiler [2016-08-08 06:57:12] 895*2^1436961-1 is not prime. Res64: 40E533752AB37DFB Time : 0.0 sec. user=mdettweiler [2016-08-08 06:57:12] 975*2^1436961-1 is not prime. Res64: 3F563D3D22F3B44E Time : 0.0 sec. user=mdettweiler [2016-08-08 06:57:13] 743*2^1436962-1 is not prime. Res64: C0F056C1C4010C11 Time : 0.0 sec. user=mdettweiler [2016-08-08 07:00:31] 755*2^1436962-1 is not prime. Res64: BC65423AF3E62B73 Time : 0.0 sec. user=mdettweiler [2016-08-08 07:00:32] 791*2^1436962-1 is not prime. Res64: E1BAB76B9725B8BE Time : 0.0 sec. user=mdettweiler [2016-08-08 07:00:33] 813*2^1436962-1 is not prime. Res64: 2D5B8CF17A3250BA Time : 0.0 sec. user=mdettweiler [2016-08-08 07:00:33] 815*2^1436962-1 is not prime. Res64: E1225C7A5D7E5CB4 Time : 0.0 sec. user=mdettweiler [2016-08-08 07:00:34] 885*2^1436962-1 is not prime. Res64: 8CF8C0ADA866B6E5 Time : 0.0 sec. user=mdettweiler [2016-08-08 07:22:52] 917*2^1436962-1 is not prime. Res64: 572E5B7B8404F2A4 Time : 0.0 sec. user=mdettweiler [2016-08-08 07:22:53] 621*2^1436963-1 is not prime. Res64: 90C9352A3B9C01B5 Time : 0.0 sec. user=mdettweiler [2016-08-08 07:22:53] 663*2^1436963-1 is not prime. Res64: 13353378C8B81AD1 Time : 0.0 sec. user=mdettweiler [2016-08-08 07:22:55] 669*2^1436963-1 is not prime. Res64: 70C921D5253545B9 Time : 0.0 sec. user=mdettweiler [2016-08-08 07:22:56] 745*2^1436963-1 is not prime. Res64: DE0D48CC4288AD31 Time : 0.0 sec. user=mdettweiler [2016-08-08 07:41:28] 853*2^1436963-1 is not prime. Res64: 2CA26D16F5628845 Time : 0.0 sec. user=mdettweiler [2016-08-08 07:41:28] 859*2^1436963-1 is not prime. Res64: 4180AB6E47F73528 Time : 0.0 sec. user=mdettweiler [2016-08-08 07:41:29] 981*2^1436963-1 is not prime. Res64: F6CFBA3D60900C5B Time : 0.0 sec. user=mdettweiler [2016-08-08 07:41:29] 999*2^1436963-1 is not prime. Res64: 86CE64D98FB6FAF0 Time : 0.0 sec. user=mdettweiler [2016-08-08 07:41:29] 737*2^1436964-1 is not prime. Res64: E512637F3C91C880 Time : 0.0 sec. user=mdettweiler [2016-08-08 07:44:50] 717*2^1436965-1 is not prime. Res64: 43EEB188F13A91A2 Time : 0.0 sec. user=mdettweiler [2016-08-08 07:44:51] 751*2^1436965-1 is not prime. Res64: 24CC18B9BC175E86 Time : 0.0 sec. user=mdettweiler [2016-08-08 07:44:53] 825*2^1436965-1 is not prime. Res64: C1A38F4CAB787774 Time : 0.0 sec. user=mdettweiler [2016-08-08 07:44:53] 641*2^1436966-1 is not prime. Res64: 7BC13920A4BE5430 Time : 0.0 sec. user=mdettweiler [2016-08-08 07:44:54] 795*2^1436966-1 is not prime. Res64: AF17AFB8F878F783 Time : 0.0 sec. user=mdettweiler [2016-08-08 08:07:12] 851*2^1436966-1 is not prime. Res64: DBBAC1C91C68A308 Time : 0.0 sec. user=mdettweiler [2016-08-08 08:07:13] 857*2^1436966-1 is not prime. Res64: AA957E8EA9721801 Time : 0.0 sec. user=mdettweiler [2016-08-08 08:07:13] 867*2^1436966-1 is not prime. Res64: 29DD37B35BD2079A Time : 0.0 sec. user=mdettweiler [2016-08-08 08:07:14] 1001*2^1436966-1 is not prime. Res64: 6481BBB91734A366 Time : 0.0 sec. user=mdettweiler [2016-08-08 08:07:14] 735*2^1436967-1 is not prime. Res64: 10A5A17AB982E241 Time : 0.0 sec. user=mdettweiler [2016-08-08 08:25:49] 739*2^1436967-1 is not prime. Res64: 7AE9D91BCC7ADE78 Time : 0.0 sec. user=mdettweiler [2016-08-08 08:25:49] 775*2^1436967-1 is not prime. Res64: 67EC95F53D4DC897 Time : 0.0 sec. user=mdettweiler [2016-08-08 08:25:50] 805*2^1436967-1 is not prime. Res64: 1A419FE2C2EB5D03 Time : 0.0 sec. user=mdettweiler [2016-08-08 08:25:50] 823*2^1436967-1 is not prime. Res64: 1E6614B1091F6A45 Time : 0.0 sec. user=mdettweiler [2016-08-08 08:25:50] 871*2^1436967-1 is not prime. Res64: 6A26606E7F8F7F28 Time : 0.0 sec. user=mdettweiler [2016-08-08 08:29:16] 885*2^1436967-1 is not prime. Res64: 5E6DEE580E370222 Time : 0.0 sec. user=mdettweiler [2016-08-08 08:29:16] 635*2^1436968-1 is not prime. Res64: 127E70AACC8109C0 Time : 0.0 sec. user=mdettweiler [2016-08-08 08:29:16] 645*2^1436968-1 is not prime. Res64: C3C74D3544AB8D44 Time : 0.0 sec. user=mdettweiler [2016-08-08 08:29:17] 705*2^1436968-1 is not prime. Res64: 75A328D0B211BEC8 Time : 0.0 sec. user=mdettweiler [2016-08-08 08:29:17] 707*2^1436968-1 is not prime. Res64: 77ED9555D8EC2782 Time : 0.0 sec. user=mdettweiler [2016-08-08 08:51:29] 755*2^1436968-1 is not prime. Res64: AE9D1047A30FF45C Time : 0.0 sec. user=mdettweiler [2016-08-08 08:51:29] 765*2^1436968-1 is not prime. Res64: AA2B6D06809B133A Time : 0.0 sec. user=mdettweiler [2016-08-08 08:51:31] 827*2^1436968-1 is not prime. Res64: 7CECD5C072765E4D Time : 0.0 sec. user=mdettweiler [2016-08-08 08:51:32] 863*2^1436968-1 is not prime. Res64: FD23CCF249EEFDE7 Time : 0.0 sec. user=mdettweiler [2016-08-08 08:51:32] 999*2^1436968-1 is not prime. Res64: 4ACE56E42E98EA8F Time : 0.0 sec. user=mdettweiler [2016-08-08 09:10:03] 619*2^1436969-1 is not prime. Res64: 416308A9CA655056 Time : 0.0 sec. user=mdettweiler [2016-08-08 09:10:04] 627*2^1436969-1 is not prime. Res64: E5B9C262C714E8AD Time : 0.0 sec. user=mdettweiler [2016-08-08 09:10:04] 631*2^1436969-1 is not prime. Res64: 7784A0E48C1B9D76 Time : 0.0 sec. user=mdettweiler [2016-08-08 09:10:04] 645*2^1436969-1 is not prime. Res64: 62BEFF095DFCC2B3 Time : 0.0 sec. user=mdettweiler [2016-08-08 09:10:05] 781*2^1436969-1 is not prime. Res64: A1EB5090200AD6D3 Time : 0.0 sec. user=mdettweiler [2016-08-08 09:13:31] 847*2^1436969-1 is not prime. Res64: FDEFD39E9DBF8A1F Time : 0.0 sec. user=mdettweiler [2016-08-08 09:13:31] 865*2^1436969-1 is not prime. Res64: 265D92885654D8CD Time : 0.0 sec. user=mdettweiler [2016-08-08 09:13:32] 647*2^1436970-1 is not prime. Res64: 81206E4EF58BEB49 Time : 0.0 sec. user=mdettweiler [2016-08-08 09:13:32] 657*2^1436970-1 is not prime. Res64: 09F54856234217FC Time : 0.0 sec. user=mdettweiler [2016-08-08 09:13:32] 711*2^1436970-1 is not prime. Res64: 1B3B03D0AB119BC4 Time : 0.0 sec. user=mdettweiler [2016-08-08 09:35:47] 773*2^1436970-1 is not prime. Res64: 3D5C90088A4048CF Time : 0.0 sec. user=mdettweiler [2016-08-08 09:35:47] 791*2^1436970-1 is not prime. Res64: 09731A1B5644C09C Time : 0.0 sec. user=mdettweiler [2016-08-08 09:35:48] 945*2^1436970-1 is not prime. Res64: EB580E9018374E68 Time : 0.0 sec. user=mdettweiler [2016-08-08 09:35:48] 971*2^1436970-1 is not prime. Res64: 9C4E169812A0B71D Time : 0.0 sec. user=mdettweiler [2016-08-08 09:35:49] 619*2^1436971-1 is not prime. Res64: 9BD3271965448608 Time : 0.0 sec. user=mdettweiler [2016-08-08 09:54:18] 649*2^1436971-1 is not prime. Res64: 35F61FA78BF854C9 Time : 0.0 sec. user=mdettweiler [2016-08-08 09:54:18] 733*2^1436971-1 is not prime. Res64: 368B1BE79ECBAFDB Time : 0.0 sec. user=mdettweiler [2016-08-08 09:54:19] 943*2^1436971-1 is not prime. Res64: 9BAEED6496CC64A7 Time : 0.0 sec. user=mdettweiler [2016-08-08 09:54:19] 961*2^1436971-1 is not prime. Res64: 5DB9F53B69DBF3D6 Time : 0.0 sec. user=mdettweiler [2016-08-08 09:54:19] 683*2^1436972-1 is not prime. Res64: 0E293A9ECE7D6847 Time : 0.0 sec. user=mdettweiler [2016-08-08 09:57:44] 785*2^1436972-1 is not prime. Res64: 28CED7BEA1D6BA10 Time : 0.0 sec. user=mdettweiler [2016-08-08 09:57:44] 857*2^1436972-1 is not prime. Res64: 6BC531D41B0AD40A Time : 0.0 sec. user=mdettweiler [2016-08-08 09:57:44] 873*2^1436972-1 is not prime. Res64: 3577014E239F0053 Time : 0.0 sec. user=mdettweiler [2016-08-08 09:57:45] 885*2^1436972-1 is not prime. Res64: 0D6D8C890FA7269D Time : 0.0 sec. user=mdettweiler [2016-08-08 09:57:45] 899*2^1436972-1 is not prime. Res64: 32BC00627F731141 Time : 0.0 sec. user=mdettweiler [2016-08-08 10:20:12] 915*2^1436972-1 is not prime. Res64: 38D5EA19FEAC1624 Time : 0.0 sec. user=mdettweiler [2016-08-08 10:20:13] 923*2^1436972-1 is not prime. Res64: 722FC7944EDE3BC3 Time : 0.0 sec. user=mdettweiler [2016-08-08 10:20:13] 609*2^1436973-1 is not prime. Res64: CEEE1D9A3377AC22 Time : 0.0 sec. user=mdettweiler [2016-08-08 10:20:14] 657*2^1436973-1 is not prime. Res64: B5175370ED676B35 Time : 0.0 sec. user=mdettweiler [2016-08-08 10:20:14] 721*2^1436973-1 is not prime. Res64: 65D4969A862D3C78 Time : 0.0 sec. user=mdettweiler [2016-08-08 10:38:49] 759*2^1436973-1 is not prime. Res64: 3F121A11AB95E0CD Time : 0.0 sec. user=mdettweiler [2016-08-08 10:38:50] 829*2^1436973-1 is not prime. Res64: 2B27ECA04BC6302D Time : 0.0 sec. user=mdettweiler [2016-08-08 10:38:50] 889*2^1436973-1 is not prime. Res64: B077A7DCAC64D972 Time : 0.0 sec. user=mdettweiler [2016-08-08 10:38:51] 919*2^1436973-1 is not prime. Res64: B59F146F6F163E03 Time : 0.0 sec. user=mdettweiler [2016-08-08 10:38:51] 985*2^1436973-1 is not prime. Res64: 02E3CF58AA744095 Time : 0.0 sec. user=mdettweiler [2016-08-08 10:42:17] 623*2^1436974-1 is not prime. Res64: 599A851B84506E9F Time : 0.0 sec. user=mdettweiler [2016-08-08 10:42:18] 705*2^1436974-1 is not prime. Res64: 237805FEC7E8BD9B Time : 0.0 sec. user=mdettweiler [2016-08-08 10:42:18] 717*2^1436974-1 is not prime. Res64: BCB2E46284E6E3AC Time : 0.0 sec. user=mdettweiler [2016-08-08 10:42:18] 813*2^1436974-1 is not prime. Res64: EF298EF494CB020B Time : 0.0 sec. user=mdettweiler [2016-08-08 10:42:18] 881*2^1436974-1 is not prime. Res64: 01DEA469B0DF2EFB Time : 0.0 sec. user=mdettweiler [2016-08-08 11:05:26] 619*2^1436975-1 is not prime. Res64: 7DCDAA12E47766BB Time : 0.0 sec. user=mdettweiler [2016-08-08 11:05:28] 669*2^1436975-1 is not prime. Res64: D623AF69FF5F8CF4 Time : 0.0 sec. user=mdettweiler [2016-08-08 11:05:29] 673*2^1436975-1 is not prime. Res64: CD3330040D35632E Time : 0.0 sec. user=mdettweiler [2016-08-08 11:05:29] 735*2^1436975-1 is not prime. Res64: 3B7A6FF810351966 Time : 0.0 sec. user=mdettweiler [2016-08-08 11:05:31] 865*2^1436975-1 is not prime. Res64: 84CF9EC40812FA49 Time : 0.0 sec. user=mdettweiler [2016-08-08 11:24:10] 871*2^1436975-1 is not prime. Res64: 8DF8EDC23DD8947B Time : 0.0 sec. user=mdettweiler [2016-08-08 11:24:10] 973*2^1436975-1 is not prime. Res64: 805BEAD23353BAFE Time : 0.0 sec. user=mdettweiler [2016-08-08 11:24:10] 669*2^1436976-1 is not prime. Res64: 3BC5B0DC290C11FE Time : 0.0 sec. user=mdettweiler [2016-08-08 11:24:11] 705*2^1436976-1 is not prime. Res64: D0AF12C76BBE2691 Time : 0.0 sec. user=mdettweiler [2016-08-08 11:24:11] 839*2^1436976-1 is not prime. Res64: 459BDB39D9634A22 Time : 0.0 sec. user=mdettweiler [2016-08-08 11:27:27] 845*2^1436976-1 is not prime. Res64: B4370CE86C0896A3 Time : 0.0 sec. user=mdettweiler [2016-08-08 11:27:27] 909*2^1436976-1 is not prime. Res64: 5F278679F9D1CDE3 Time : 0.0 sec. user=mdettweiler [2016-08-08 11:27:29] 777*2^1436977-1 is not prime. Res64: 687F5B0EC12A88C2 Time : 0.0 sec. user=mdettweiler [2016-08-08 11:27:30] 901*2^1436977-1 is not prime. Res64: A32183AB89FEFF35 Time : 0.0 sec. user=mdettweiler [2016-08-08 11:27:30] 909*2^1436977-1 is not prime. Res64: A22C525A823239B3 Time : 0.0 sec. user=mdettweiler [2016-08-08 11:50:15] 945*2^1436977-1 is not prime. Res64: 3E0BBF19FBB72509 Time : 0.0 sec. user=mdettweiler [2016-08-08 11:50:15] 797*2^1436978-1 is not prime. Res64: 2F2951D4C5DD0F66 Time : 0.0 sec. user=mdettweiler [2016-08-08 11:50:16] 935*2^1436978-1 is not prime. Res64: 0F7D260C0BECB920 Time : 0.0 sec. user=mdettweiler [2016-08-08 11:50:16] 705*2^1436979-1 is not prime. Res64: 028A896652B1C5DA Time : 0.0 sec. user=mdettweiler [2016-08-08 11:50:16] 751*2^1436979-1 is not prime. Res64: 6A847572E1187721 Time : 0.0 sec. user=mdettweiler [2016-08-08 12:09:07] 969*2^1436979-1 is not prime. Res64: AE193EB8364287ED Time : 0.0 sec. user=mdettweiler [2016-08-08 12:09:07] 615*2^1436980-1 is not prime. Res64: 87FACC6FDF738495 Time : 0.0 sec. user=mdettweiler [2016-08-08 12:09:08] 687*2^1436980-1 is not prime. Res64: 722A1149ABAC71BB Time : 0.0 sec. user=mdettweiler [2016-08-08 12:09:08] 723*2^1436980-1 is not prime. Res64: CBA0AB75AFCC2622 Time : 0.0 sec. user=mdettweiler [2016-08-08 12:09:11] 843*2^1436980-1 is not prime. Res64: 786D6763B3E2B863 Time : 0.0 sec. user=mdettweiler [2016-08-08 12:12:31] 857*2^1436980-1 is not prime. Res64: A4BC97D4832D59FA Time : 0.0 sec. user=mdettweiler [2016-08-08 12:12:31] 863*2^1436980-1 is not prime. Res64: EE1FDC9A97CA0D7D Time : 0.0 sec. user=mdettweiler [2016-08-08 12:12:31] 939*2^1436980-1 is not prime. Res64: A630F0F178493323 Time : 0.0 sec. user=mdettweiler [2016-08-08 12:12:32] 995*2^1436980-1 is not prime. Res64: 9E028ABFF3CFA5D5 Time : 0.0 sec. user=mdettweiler [2016-08-08 12:12:32] 657*2^1436981-1 is not prime. Res64: 822CB942D0CF6332 Time : 0.0 sec. user=mdettweiler [2016-08-08 12:35:19] 669*2^1436981-1 is not prime. Res64: 5A193345C4B81028 Time : 0.0 sec. user=mdettweiler [2016-08-08 12:35:19] 781*2^1436981-1 is not prime. Res64: 9BC95D34C1B86A08 Time : 0.0 sec. user=mdettweiler [2016-08-08 12:35:19] 837*2^1436981-1 is not prime. Res64: 28E51A4B57EF89A1 Time : 0.0 sec. user=mdettweiler [2016-08-08 12:35:23] 931*2^1436981-1 is not prime. Res64: 307525E1DAAC9078 Time : 0.0 sec. user=mdettweiler [2016-08-08 12:35:23] 939*2^1436981-1 is not prime. Res64: 459032BF89C9CE24 Time : 0.0 sec. user=mdettweiler [2016-08-08 12:54:10] 955*2^1436981-1 is not prime. Res64: A58BA7658836CBD7 Time : 0.0 sec. user=mdettweiler [2016-08-08 12:54:10] 957*2^1436981-1 is not prime. Res64: BE31BD9B6B0B8CE6 Time : 0.0 sec. user=mdettweiler [2016-08-08 12:54:10] 997*2^1436981-1 is not prime. Res64: 4F2E38FFE4F38FA0 Time : 0.0 sec. user=mdettweiler [2016-08-08 12:54:11] 647*2^1436982-1 is not prime. Res64: DCE1CC969A35D5E8 Time : 0.0 sec. user=mdettweiler [2016-08-08 12:54:11] 797*2^1436982-1 is not prime. Res64: 7C998C7EE7F63AE8 Time : 0.0 sec. user=mdettweiler [2016-08-08 12:57:30] 941*2^1436982-1 is not prime. Res64: 9968477442AA407E Time : 0.0 sec. user=mdettweiler [2016-08-08 12:57:31] 789*2^1436983-1 is not prime. Res64: B7618118C0599364 Time : 0.0 sec. user=mdettweiler [2016-08-08 12:57:31] 831*2^1436983-1 is not prime. Res64: 6BCC51E88A14B7FC Time : 0.0 sec. user=mdettweiler [2016-08-08 12:57:31] 919*2^1436983-1 is not prime. Res64: 7224BEF17A62AFCD Time : 0.0 sec. user=mdettweiler [2016-08-08 12:57:31] 939*2^1436983-1 is not prime. Res64: 51A4D3661A2DE2C5 Time : 0.0 sec. user=mdettweiler [2016-08-08 13:20:19] 961*2^1436983-1 is not prime. Res64: F5283244AB639F06 Time : 0.0 sec. user=mdettweiler [2016-08-08 13:20:19] 609*2^1436984-1 is not prime. Res64: 4D60772E4783103D Time : 0.0 sec. user=mdettweiler [2016-08-08 13:20:20] 645*2^1436984-1 is not prime. Res64: 8D133029E4A0C938 Time : 0.0 sec. user=mdettweiler [2016-08-08 13:20:20] 665*2^1436984-1 is not prime. Res64: E87D704333753750 Time : 0.0 sec. user=mdettweiler [2016-08-08 13:20:20] 675*2^1436984-1 is not prime. Res64: 976594FEDF97B7F1 Time : 0.0 sec. user=mdettweiler [2016-08-08 13:39:06] 917*2^1436984-1 is not prime. Res64: ABA8FBAE9CB739DA Time : 0.0 sec. user=mdettweiler [2016-08-08 13:39:07] 959*2^1436984-1 is not prime. Res64: EE5CEEC4B9B43C74 Time : 0.0 sec. user=mdettweiler [2016-08-08 13:39:07] 861*2^1436985-1 is not prime. Res64: BB4AD303C2B42DB4 Time : 0.0 sec. user=mdettweiler [2016-08-08 13:39:07] 885*2^1436985-1 is not prime. Res64: D017D90E2C335FB6 Time : 0.0 sec. user=mdettweiler [2016-08-08 13:39:08] 611*2^1436986-1 is not prime. Res64: 235E762B541ADF2D Time : 0.0 sec. user=mdettweiler [2016-08-08 13:42:27] 717*2^1436986-1 is not prime. Res64: 85F3709656C8FCB8 Time : 0.0 sec. user=mdettweiler [2016-08-08 13:42:28] 765*2^1436986-1 is not prime. Res64: A5EF88AA0F82A3AB Time : 0.0 sec. user=mdettweiler [2016-08-08 13:42:28] 983*2^1436986-1 is not prime. Res64: 4912D850F18C8C6C Time : 0.0 sec. user=mdettweiler [2016-08-08 13:42:28] 619*2^1436987-1 is not prime. Res64: 34F269AF52C0CAC4 Time : 0.0 sec. user=mdettweiler [2016-08-08 13:42:28] 633*2^1436988-1 is not prime. Res64: 3D962BC0E33D5CBD Time : 0.0 sec. user=mdettweiler [2016-08-08 14:05:44] 669*2^1436988-1 is not prime. Res64: EC811D89AA1696BF Time : 0.0 sec. user=mdettweiler [2016-08-08 14:05:46] 735*2^1436988-1 is not prime. Res64: F3570479495CE699 Time : 0.0 sec. user=mdettweiler [2016-08-08 14:05:47] 789*2^1436988-1 is not prime. Res64: 027C34ECC920E6AA Time : 0.0 sec. user=mdettweiler [2016-08-08 14:05:47] 809*2^1436988-1 is not prime. Res64: D667EE6909C65E6B Time : 0.0 sec. user=mdettweiler [2016-08-08 14:05:48] 893*2^1436988-1 is not prime. Res64: 531C92E93D3D3535 Time : 0.0 sec. user=juhehe [2016-08-08 14:09:07] 915*2^1436988-1 is not prime. Res64: 5E9FA60C44DDA403 Time : 0.0 sec. user=mdettweiler [2016-08-08 14:24:12] 927*2^1436988-1 is not prime. Res64: 003D6DC0BA93240E Time : 0.0 sec. user=mdettweiler [2016-08-08 14:24:12] 625*2^1436989-1 is not prime. Res64: 28032E47ACECFD44 Time : 0.0 sec. user=mdettweiler [2016-08-08 14:24:13] 639*2^1436989-1 is not prime. Res64: B208606E7752D1A1 Time : 0.0 sec. user=mdettweiler [2016-08-08 14:24:13] 687*2^1436989-1 is not prime. Res64: A49CE1B148ABB90A Time : 0.0 sec. user=mdettweiler [2016-08-08 14:24:13] 741*2^1436989-1 is not prime. Res64: 400793B34083D237 Time : 0.0 sec. user=mdettweiler [2016-08-08 14:27:30] 747*2^1436989-1 is not prime. Res64: 9BD5193476215C83 Time : 0.0 sec. user=mdettweiler [2016-08-08 14:27:30] 759*2^1436989-1 is not prime. Res64: A5BAA4A7C562EFDC Time : 0.0 sec. user=mdettweiler [2016-08-08 14:27:31] 877*2^1436989-1 is not prime. Res64: B1B9D10F0F728EBE Time : 0.0 sec. user=mdettweiler [2016-08-08 14:27:31] 897*2^1436989-1 is not prime. Res64: EA9885D47356E5BA Time : 0.0 sec. user=mdettweiler [2016-08-08 14:27:31] 939*2^1436989-1 is not prime. Res64: 98D3EC80E296D9A6 Time : 0.0 sec. user=mdettweiler [2016-08-08 14:50:12] 641*2^1436990-1 is not prime. Res64: 6276992019E83CC6 Time : 0.0 sec. user=mdettweiler [2016-08-08 14:50:12] 651*2^1436990-1 is not prime. Res64: 26C0955EB35E18BC Time : 0.0 sec. user=mdettweiler [2016-08-08 14:50:13] 713*2^1436990-1 is not prime. Res64: 40EC3BB21C625F1A Time : 0.0 sec. user=mdettweiler [2016-08-08 14:50:13] 661*2^1436991-1 is not prime. Res64: 64ECF862DDC9D77C Time : 0.0 sec. user=mdettweiler [2016-08-08 14:50:14] 793*2^1436991-1 is not prime. Res64: 18BF9E46610452CC Time : 0.0 sec. user=mdettweiler [2016-08-08 15:08:22] 865*2^1436991-1 is not prime. Res64: 6B1A9ADBFE871CBB Time : 0.0 sec. user=mdettweiler [2016-08-08 15:08:23] 873*2^1436991-1 is not prime. Res64: 38D9C92617D654F4 Time : 0.0 sec. user=mdettweiler [2016-08-08 15:08:23] 895*2^1436991-1 is not prime. Res64: 15FFD8787E6783C5 Time : 0.0 sec. user=mdettweiler [2016-08-08 15:08:24] 949*2^1436991-1 is not prime. Res64: 601E3FCA407A38EE Time : 0.0 sec. user=mdettweiler [2016-08-08 15:08:24] 955*2^1436991-1 is not prime. Res64: 22F6AAC67D8BF921 Time : 0.0 sec. user=mdettweiler [2016-08-08 15:11:42] 665*2^1436992-1 is not prime. Res64: 607FED1494E96114 Time : 0.0 sec. user=mdettweiler [2016-08-08 15:11:42] 693*2^1436992-1 is not prime. Res64: 5B3D517A50EBC848 Time : 0.0 sec. user=mdettweiler [2016-08-08 15:11:43] 717*2^1436992-1 is not prime. Res64: 6996296A692AD17B Time : 0.0 sec. user=mdettweiler [2016-08-08 15:11:43] 719*2^1436992-1 is not prime. Res64: CAE44197FC26E043 Time : 0.0 sec. user=mdettweiler [2016-08-08 15:11:44] 909*2^1436992-1 is not prime. Res64: 707439A04DB2D624 Time : 0.0 sec. user=mdettweiler [2016-08-08 15:34:23] 933*2^1436992-1 is not prime. Res64: 6381E5477393FB37 Time : 0.0 sec. user=mdettweiler [2016-08-08 15:34:23] 947*2^1436992-1 is not prime. Res64: 066CC4B48F4797D8 Time : 0.0 sec. user=mdettweiler [2016-08-08 15:34:24] 699*2^1436993-1 is not prime. Res64: 860383EF6AE0E01C Time : 0.0 sec. user=mdettweiler [2016-08-08 15:34:26] 795*2^1436993-1 is not prime. Res64: 8092543A18C1CDA7 Time : 0.0 sec. user=mdettweiler [2016-08-08 15:34:26] 837*2^1436993-1 is not prime. Res64: 398E09E6431ACAD0 Time : 0.0 sec. user=mdettweiler [2016-08-08 15:52:37] 945*2^1436993-1 is not prime. Res64: 598C3C4D743C27FD Time : 0.0 sec. user=mdettweiler [2016-08-08 15:52:37] 949*2^1436993-1 is not prime. Res64: B5AE8302607D4473 Time : 0.0 sec. user=mdettweiler [2016-08-08 15:52:38] 611*2^1436994-1 is not prime. Res64: 5F5A236EFBA50EE5 Time : 0.0 sec. user=mdettweiler [2016-08-08 15:52:38] 663*2^1436994-1 is not prime. Res64: D8C50131F895598D Time : 0.0 sec. user=mdettweiler [2016-08-08 15:52:38] 711*2^1436994-1 is not prime. Res64: 29352673AE050AB2 Time : 0.0 sec. user=mdettweiler [2016-08-08 15:55:53] 737*2^1436994-1 is not prime. Res64: 0E935E977FFB17BD Time : 0.0 sec. user=mdettweiler [2016-08-08 15:55:54] 807*2^1436994-1 is not prime. Res64: 747F8F26D94FE32A Time : 0.0 sec. user=mdettweiler [2016-08-08 15:55:54] 903*2^1436994-1 is not prime. Res64: AB3248C9429B24F4 Time : 0.0 sec. user=mdettweiler [2016-08-08 15:55:54] 923*2^1436994-1 is not prime. Res64: E4D2A032D9D223B0 Time : 0.0 sec. user=mdettweiler [2016-08-08 15:55:55] 975*2^1436994-1 is not prime. Res64: 66DFAB9BDD09DFEF Time : 0.0 sec. user=mdettweiler [2016-08-08 16:18:39] 1001*2^1436994-1 is not prime. Res64: E0FCB9E7329B74CD Time : 0.0 sec. user=mdettweiler [2016-08-08 16:18:40] 679*2^1436995-1 is not prime. Res64: 159FEC5F9D1D01E7 Time : 0.0 sec. user=mdettweiler [2016-08-08 16:18:40] 741*2^1436995-1 is not prime. Res64: 1CB08E931ED71644 Time : 0.0 sec. user=mdettweiler [2016-08-08 16:18:40] 849*2^1436995-1 is not prime. Res64: 0D59431A6F1039C0 Time : 0.0 sec. user=mdettweiler [2016-08-08 16:18:41] 891*2^1436995-1 is not prime. Res64: D4F280C21DF1CC34 Time : 0.0 sec. user=mdettweiler [2016-08-08 16:38:43] 951*2^1436995-1 is not prime. Res64: D875F0C58455B6FC Time : 0.0 sec. user=mdettweiler [2016-08-08 16:38:43] 725*2^1436996-1 is not prime. Res64: F55AC2ADE488C35C Time : 0.0 sec. user=mdettweiler [2016-08-08 16:38:43] 873*2^1436996-1 is not prime. Res64: 1EE85E33F941CF81 Time : 0.0 sec. user=mdettweiler [2016-08-08 16:38:43] 923*2^1436996-1 is not prime. Res64: 92B2E15B818C2945 Time : 0.0 sec. user=mdettweiler [2016-08-08 16:38:44] 927*2^1436996-1 is not prime. Res64: CCA5027BC69C5AC3 Time : 0.0 sec. user=mdettweiler [2016-08-08 16:42:08] 747*2^1436997-1 is not prime. Res64: B3845CDB923E225D Time : 0.0 sec. user=mdettweiler [2016-08-08 16:42:08] 781*2^1436997-1 is not prime. Res64: 563F8CE3FF60C94E Time : 0.0 sec. user=mdettweiler [2016-08-08 16:42:08] 937*2^1436997-1 is not prime. Res64: 93B712A181799592 Time : 0.0 sec. user=mdettweiler [2016-08-08 16:42:09] 647*2^1436998-1 is not prime. Res64: 4ABEE4D870121BAB Time : 0.0 sec. user=mdettweiler [2016-08-08 16:42:09] 707*2^1436998-1 is not prime. Res64: FBF695CF0FC870F2 Time : 0.0 sec. user=mdettweiler [2016-08-08 17:07:43] 911*2^1436998-1 is not prime. Res64: E9708FDB6197D2A0 Time : 0.0 sec. user=mdettweiler [2016-08-08 17:07:43] 661*2^1436999-1 is not prime. Res64: A36989F5E2A41D90 Time : 0.0 sec. user=mdettweiler [2016-08-08 17:07:43] 721*2^1436999-1 is not prime. Res64: 560FB5EB54541947 Time : 0.0 sec. user=mdettweiler [2016-08-08 17:07:44] 853*2^1436999-1 is not prime. Res64: FF9C996BCC2D5787 Time : 0.0 sec. user=mdettweiler [2016-08-08 17:07:44] 859*2^1436999-1 is not prime. Res64: 607B8077354C10D7 Time : 0.0 sec. user=mdettweiler [2016-08-08 17:26:31] 895*2^1436999-1 is not prime. Res64: 7A7C2FC22C4A2AA2 Time : 0.0 sec. user=mdettweiler [2016-08-08 17:26:31] 993*2^1436999-1 is not prime. Res64: F0583A11CE34AC9F Time : 0.0 sec. user=mdettweiler [2016-08-08 17:26:32] 999*2^1436999-1 is not prime. Res64: EC949E448B72BBD7 Time : 0.0 sec. user=mdettweiler [2016-08-08 17:26:32] 737*2^1437000-1 is not prime. Res64: BA1966B01E7D8AB6 Time : 0.0 sec. user=mdettweiler [2016-08-08 17:26:32] 789*2^1437000-1 is not prime. Res64: F060B40697A3933B Time : 0.0 sec. user=mdettweiler [2016-08-08 17:29:52] 625*2^1437001-1 is not prime. Res64: 9404D44297A24ED8 Time : 0.0 sec. user=mdettweiler [2016-08-08 17:29:53] 741*2^1437001-1 is not prime. Res64: DDF7EB6159325946 Time : 0.0 sec. user=mdettweiler [2016-08-08 17:29:53] 747*2^1437001-1 is not prime. Res64: 8DB556F938A25A07 Time : 0.0 sec. user=mdettweiler [2016-08-08 17:29:53] 871*2^1437001-1 is not prime. Res64: 27BE2AA7695503D5 Time : 0.0 sec. user=mdettweiler [2016-08-08 17:29:53] 957*2^1437001-1 is not prime. Res64: 0B2FDF04857BF0E5 Time : 0.0 sec. user=mdettweiler [2016-08-08 17:53:01] 675*2^1437002-1 is not prime. Res64: 623D5740836EABBF Time : 0.0 sec. user=mdettweiler [2016-08-08 17:53:01] 741*2^1437002-1 is not prime. Res64: 0B6ED466A6C7E551 Time : 0.0 sec. user=mdettweiler [2016-08-08 17:53:01] 797*2^1437002-1 is not prime. Res64: 36FF1D0244475597 Time : 0.0 sec. user=mdettweiler [2016-08-08 17:53:02] 813*2^1437002-1 is not prime. Res64: CC721863BC070C74 Time : 0.0 sec. user=mdettweiler [2016-08-08 17:53:02] 885*2^1437002-1 is not prime. Res64: FFF1EBF1D156FEB0 Time : 0.0 sec. user=mdettweiler [2016-08-08 18:11:09] 887*2^1437002-1 is not prime. Res64: 67D711466709DE9E Time : 0.0 sec. user=mdettweiler [2016-08-08 18:11:10] 911*2^1437002-1 is not prime. Res64: C9DD9DFA653B8895 Time : 0.0 sec. user=mdettweiler [2016-08-08 18:11:13] 613*2^1437003-1 is not prime. Res64: D4D0F55322726BCB Time : 0.0 sec. user=mdettweiler [2016-08-08 18:11:14] 703*2^1437003-1 is not prime. Res64: CD7ED1F0D354E024 Time : 0.0 sec. user=mdettweiler [2016-08-08 18:11:14] 741*2^1437003-1 is not prime. Res64: A7B3F000776634B6 Time : 0.0 sec. user=mdettweiler [2016-08-08 18:14:29] 795*2^1437003-1 is not prime. Res64: C2EECE0F2B5A7FBD Time : 0.0 sec. user=mdettweiler [2016-08-08 18:14:29] 805*2^1437003-1 is not prime. Res64: 945A62B5DE36344C Time : 0.0 sec. user=mdettweiler [2016-08-08 18:14:29] 951*2^1437003-1 is not prime. Res64: D0A51D8A60721FF7 Time : 0.0 sec. user=mdettweiler [2016-08-08 18:14:29] 955*2^1437003-1 is not prime. Res64: A39A77242FFBD92C Time : 0.0 sec. user=mdettweiler [2016-08-08 18:14:30] 963*2^1437003-1 is not prime. Res64: D69961E05CA052A1 Time : 0.0 sec. user=mdettweiler [2016-08-08 18:37:07] 635*2^1437004-1 is not prime. Res64: 1C3F2E92B0B41FB3 Time : 0.0 sec. user=mdettweiler [2016-08-08 18:37:07] 705*2^1437004-1 is not prime. Res64: 0340BC3E9306081F Time : 0.0 sec. user=mdettweiler [2016-08-08 18:37:07] 743*2^1437004-1 is not prime. Res64: ACE1371F6AF45650 Time : 0.0 sec. user=mdettweiler [2016-08-08 18:37:07] 897*2^1437004-1 is not prime. Res64: 5EF2DBA5FB3764DF Time : 0.0 sec. user=mdettweiler [2016-08-08 18:37:08] 923*2^1437004-1 is not prime. Res64: 9F16C54393A74B84 Time : 0.0 sec. user=mdettweiler [2016-08-08 18:55:16] 601*2^1437005-1 is not prime. Res64: EBDFDB8906148407 Time : 0.0 sec. user=mdettweiler [2016-08-08 18:55:16] 699*2^1437005-1 is not prime. Res64: BBA229465E7B10B3 Time : 0.0 sec. user=mdettweiler [2016-08-08 18:55:16] 729*2^1437005-1 is not prime. Res64: E062A8535C99B8C1 Time : 0.0 sec. user=mdettweiler [2016-08-08 18:55:17] 771*2^1437005-1 is not prime. Res64: 37ECF8CB44D0E492 Time : 0.0 sec. user=mdettweiler [2016-08-08 18:55:17] 799*2^1437005-1 is not prime. Res64: 248C1D4D97B65971 Time : 0.0 sec. user=mdettweiler [2016-08-08 18:58:31] 819*2^1437005-1 is not prime. Res64: EB282289325D83DF Time : 0.0 sec. user=mdettweiler [2016-08-08 18:58:32] 861*2^1437005-1 is not prime. Res64: 6628FB8E3DD015EF Time : 0.0 sec. user=mdettweiler [2016-08-08 18:58:32] 951*2^1437005-1 is not prime. Res64: 59EF059718D7A7A3 Time : 0.0 sec. user=mdettweiler [2016-08-08 18:58:32] 635*2^1437006-1 is not prime. Res64: EE62081809AE5729 Time : 0.0 sec. user=mdettweiler [2016-08-08 18:58:33] 707*2^1437006-1 is not prime. Res64: 26A77F6279200582 Time : 0.0 sec. user=mdettweiler [2016-08-08 19:21:14] 891*2^1437006-1 is not prime. Res64: 1081738DFB81A326 Time : 0.0 sec. user=mdettweiler [2016-08-08 19:21:14] 983*2^1437006-1 is not prime. Res64: D06B79E3246735D9 Time : 0.0 sec. user=mdettweiler [2016-08-08 19:21:14] 993*2^1437006-1 is not prime. Res64: 7DC912A6E00CDFE8 Time : 0.0 sec. user=mdettweiler [2016-08-08 19:21:15] 603*2^1437007-1 is not prime. Res64: C68B1B6AC4476623 Time : 0.0 sec. user=mdettweiler [2016-08-08 19:21:15] 609*2^1437007-1 is not prime. Res64: 7374C6CBD1F6A9ED Time : 0.0 sec. user=mdettweiler [2016-08-08 19:39:20] 861*2^1437007-1 is not prime. Res64: 9A2C92A6F159FEEA Time : 0.0 sec. user=mdettweiler [2016-08-08 19:39:21] 871*2^1437007-1 is not prime. Res64: 3767F7EC2E603AA2 Time : 0.0 sec. user=mdettweiler [2016-08-08 19:39:21] 915*2^1437007-1 is not prime. Res64: 9606973F819869B6 Time : 0.0 sec. user=mdettweiler [2016-08-08 19:39:21] 919*2^1437007-1 is not prime. Res64: D9435C03CA2845E5 Time : 0.0 sec. user=mdettweiler [2016-08-08 19:39:22] 939*2^1437007-1 is not prime. Res64: C632CE5973FC1F28 Time : 0.0 sec. user=mdettweiler [2016-08-08 19:42:35] 665*2^1437008-1 is not prime. Res64: 1F70F9E3B9959E06 Time : 0.0 sec. user=mdettweiler [2016-08-08 19:42:35] 699*2^1437008-1 is not prime. Res64: E98DAD1676F05CA9 Time : 0.0 sec. user=mdettweiler [2016-08-08 19:42:35] 755*2^1437008-1 is not prime. Res64: 6E010C469C885CDD Time : 0.0 sec. user=mdettweiler [2016-08-08 19:42:36] 839*2^1437008-1 is not prime. Res64: A2CA55FCED68444B Time : 0.0 sec. user=mdettweiler [2016-08-08 19:42:36] 869*2^1437008-1 is not prime. Res64: 6155530C506DDC51 Time : 0.0 sec. user=mdettweiler [2016-08-08 20:05:27] 927*2^1437008-1 is not prime. Res64: 9B31145522F997FB Time : 0.0 sec. user=mdettweiler [2016-08-08 20:05:28] 959*2^1437008-1 is not prime. Res64: 573CDB88EB6E5790 Time : 0.0 sec. user=mdettweiler [2016-08-08 20:05:29] 669*2^1437009-1 is not prime. Res64: DA15AAFA1169D58A Time : 0.0 sec. user=mdettweiler [2016-08-08 20:05:30] 685*2^1437009-1 is not prime. Res64: C99E180870D3FD59 Time : 0.0 sec. user=mdettweiler [2016-08-08 20:05:31] 603*2^1437010-1 is not prime. Res64: D512E372526AC3AF Time : 0.0 sec. user=mdettweiler [2016-08-08 20:23:31] 651*2^1437010-1 is not prime. Res64: DE02280868EFA181 Time : 0.0 sec. user=mdettweiler [2016-08-08 20:23:31] 813*2^1437010-1 is not prime. Res64: D02FF8A50EAFDF16 Time : 0.0 sec. user=mdettweiler [2016-08-08 20:23:32] 845*2^1437010-1 is not prime. Res64: 1CBF001EAE3D15A7 Time : 0.0 sec. user=mdettweiler [2016-08-08 20:23:32] 891*2^1437010-1 is not prime. Res64: 92E652627A4A8810 Time : 0.0 sec. user=mdettweiler [2016-08-08 20:23:32] 975*2^1437010-1 is not prime. Res64: D0E38EBC0E12FDF0 Time : 0.0 sec. user=mdettweiler [2016-08-08 20:26:41] 987*2^1437010-1 is not prime. Res64: 31477C1DB98729DC Time : 0.0 sec. user=mdettweiler [2016-08-08 20:26:41] 615*2^1437011-1 is not prime. Res64: A7A4A700683EE422 Time : 0.0 sec. user=mdettweiler [2016-08-08 20:26:42] 733*2^1437011-1 is not prime. Res64: 69FCE678B4B3641D Time : 0.0 sec. user=mdettweiler [2016-08-08 20:26:42] 885*2^1437011-1 is not prime. Res64: 6ED4026734F85A64 Time : 0.0 sec. user=mdettweiler [2016-08-08 20:26:42] 901*2^1437011-1 is not prime. Res64: 0EA77EC9EA7DCF66 Time : 0.0 sec. user=mdettweiler [2016-08-08 20:49:40] 913*2^1437011-1 is not prime. Res64: 017E6D61D6C70766 Time : 0.0 sec. user=mdettweiler [2016-08-08 20:49:41] 725*2^1437012-1 is not prime. Res64: A5D19216774B8501 Time : 0.0 sec. user=mdettweiler [2016-08-08 20:49:41] 749*2^1437012-1 is not prime. Res64: 458C42B4A56E518C Time : 0.0 sec. user=mdettweiler [2016-08-08 20:49:41] 759*2^1437012-1 is not prime. Res64: 4464F1C887563F10 Time : 0.0 sec. user=mdettweiler [2016-08-08 20:49:42] 843*2^1437012-1 is not prime. Res64: 8BEDA895D3955112 Time : 0.0 sec. user=mdettweiler [2016-08-08 21:07:44] 639*2^1437013-1 is not prime. Res64: 76D5F63E743FC72F Time : 0.0 sec. user=mdettweiler [2016-08-08 21:07:45] 679*2^1437013-1 is not prime. Res64: 52952F81C7E73F1E Time : 0.0 sec. user=mdettweiler [2016-08-08 21:07:45] 819*2^1437013-1 is not prime. Res64: FCD59AE8A2F4B919 Time : 0.0 sec. user=mdettweiler [2016-08-08 21:07:45] 829*2^1437013-1 is not prime. Res64: A9CB0DDB9791EB97 Time : 0.0 sec. user=mdettweiler [2016-08-08 21:07:46] 889*2^1437013-1 is not prime. Res64: 86A345CC1AE251E5 Time : 0.0 sec. user=mdettweiler [2016-08-08 21:10:49] 919*2^1437013-1 is not prime. Res64: A899B2DDD03A137C Time : 0.0 sec. user=mdettweiler [2016-08-08 21:10:49] 967*2^1437013-1 is not prime. Res64: B804BB90AC7A3776 Time : 0.0 sec. user=mdettweiler [2016-08-08 21:10:50] 615*2^1437014-1 is not prime. Res64: 66A8CFB03031E1B6 Time : 0.0 sec. user=mdettweiler [2016-08-08 21:10:50] 707*2^1437014-1 is not prime. Res64: 7ADD03C91EDF9679 Time : 0.0 sec. user=mdettweiler [2016-08-08 21:10:50] 791*2^1437014-1 is not prime. Res64: 6DAB3B08A48041EE Time : 0.0 sec. user=mdettweiler [2016-08-08 21:33:50] 827*2^1437014-1 is not prime. Res64: D16F487AF2A9D3BD Time : 0.0 sec. user=mdettweiler [2016-08-08 21:33:51] 861*2^1437014-1 is not prime. Res64: 06FE541D126B9CF8 Time : 0.0 sec. user=mdettweiler [2016-08-08 21:33:51] 873*2^1437014-1 is not prime. Res64: E24F84F82DC8ADA8 Time : 0.0 sec. user=mdettweiler [2016-08-08 21:33:51] 921*2^1437014-1 is not prime. Res64: 4B25EFFEB4992CF4 Time : 0.0 sec. user=mdettweiler [2016-08-08 21:33:51] 935*2^1437014-1 is not prime. Res64: FEDC81A05248CA92 Time : 0.0 sec. user=mdettweiler [2016-08-08 21:51:56] 945*2^1437014-1 is not prime. Res64: 0309AECDFEC5889F Time : 0.0 sec. user=mdettweiler [2016-08-08 21:51:56] 685*2^1437015-1 is not prime. Res64: C4CB005D78FB9D52 Time : 0.0 sec. user=mdettweiler [2016-08-08 21:51:57] 735*2^1437015-1 is not prime. Res64: 0C14313E66BB7CF2 Time : 0.0 sec. user=mdettweiler [2016-08-08 21:51:57] 739*2^1437015-1 is not prime. Res64: C26A817081AAB989 Time : 0.0 sec. user=mdettweiler [2016-08-08 21:51:57] 795*2^1437015-1 is not prime. Res64: 0D2A2F252D2118E4 Time : 0.0 sec. user=mdettweiler [2016-08-08 21:54:55] 653*2^1437016-1 is not prime. Res64: F12917C899DB759F Time : 0.0 sec. user=mdettweiler [2016-08-08 21:54:55] 695*2^1437016-1 is not prime. Res64: 0A1804B0C1AA47D2 Time : 0.0 sec. user=mdettweiler [2016-08-08 21:54:55] 825*2^1437016-1 is not prime. Res64: 586FB85057FF1F2A Time : 0.0 sec. user=mdettweiler [2016-08-08 21:54:56] 849*2^1437016-1 is not prime. Res64: 88772855F57A9EB9 Time : 0.0 sec. user=mdettweiler [2016-08-08 21:54:56] 873*2^1437016-1 is not prime. Res64: 03E896DA15E1941F Time : 0.0 sec. user=mdettweiler [2016-08-08 22:17:54] 957*2^1437016-1 is not prime. Res64: EA5C8D4E6BE73DBA Time : 0.0 sec. user=mdettweiler [2016-08-08 22:17:54] 615*2^1437017-1 is not prime. Res64: 5B163B8AB806CF3C Time : 0.0 sec. user=mdettweiler [2016-08-08 22:17:55] 631*2^1437017-1 is not prime. Res64: 695B614567C86775 Time : 0.0 sec. user=mdettweiler [2016-08-08 22:17:55] 645*2^1437017-1 is not prime. Res64: 665104A2B935772D Time : 0.0 sec. user=mdettweiler [2016-08-08 22:17:58] 675*2^1437017-1 is not prime. Res64: 21F5FAEA91A80787 Time : 0.0 sec. user=mdettweiler [2016-08-08 22:35:59] 747*2^1437017-1 is not prime. Res64: F3DD0E5AF2933F96 Time : 0.0 sec. user=mdettweiler [2016-08-08 22:36:00] 795*2^1437017-1 is not prime. Res64: 5BC615CA2D6F7F02 Time : 0.0 sec. user=mdettweiler [2016-08-08 22:36:00] 829*2^1437017-1 is not prime. Res64: 4E470F68025B36C9 Time : 0.0 sec. user=mdettweiler [2016-08-08 22:36:00] 937*2^1437017-1 is not prime. Res64: 4C5BD048D67E8C0D Time : 0.0 sec. user=mdettweiler [2016-08-08 22:36:01] 711*2^1437018-1 is not prime. Res64: 5919D2C5CAB39A62 Time : 0.0 sec. user=mdettweiler [2016-08-08 22:38:58] 797*2^1437018-1 is not prime. Res64: 1793803AF1B53D6A Time : 0.0 sec. user=mdettweiler [2016-08-08 22:38:58] 893*2^1437018-1 is not prime. Res64: 23A7EF4AF3A9C272 Time : 0.0 sec. user=mdettweiler [2016-08-08 22:38:59] 927*2^1437018-1 is not prime. Res64: 33A19453BFBAAC88 Time : 0.0 sec. user=mdettweiler [2016-08-08 22:38:59] 951*2^1437018-1 is not prime. Res64: EE144C278FFCB27C Time : 0.0 sec. user=mdettweiler [2016-08-08 22:38:59] 993*2^1437018-1 is not prime. Res64: 7E3F351560B22251 Time : 0.0 sec. user=mdettweiler [2016-08-08 23:02:06] 1001*2^1437018-1 is not prime. Res64: 6850F655A1340FB5 Time : 0.0 sec. user=mdettweiler [2016-08-08 23:02:07] 603*2^1437019-1 is not prime. Res64: 7B38DB0AA4236D92 Time : 0.0 sec. user=mdettweiler [2016-08-08 23:02:08] 625*2^1437019-1 is not prime. Res64: 9FCDBB0DE7762DF7 Time : 0.0 sec. user=mdettweiler [2016-08-08 23:02:09] 675*2^1437019-1 is not prime. Res64: B8E71EB9ABAFC73E Time : 0.0 sec. user=mdettweiler [2016-08-08 23:02:09] 789*2^1437019-1 is not prime. Res64: 072BB86D90D43B54 Time : 0.0 sec. user=mdettweiler [2016-08-08 23:20:05] 793*2^1437019-1 is not prime. Res64: ABB1CAA727D822E6 Time : 0.0 sec. user=mdettweiler [2016-08-08 23:20:05] 829*2^1437019-1 is not prime. Res64: AF3E7DB8B9A7E02E Time : 0.0 sec. user=mdettweiler [2016-08-08 23:20:08] 835*2^1437019-1 is not prime. Res64: 5686A625D353CE4A Time : 0.0 sec. user=mdettweiler [2016-08-08 23:20:08] 913*2^1437019-1 is not prime. Res64: 91F6FD47D3A55188 Time : 0.0 sec. user=mdettweiler [2016-08-08 23:20:08] 603*2^1437020-1 is not prime. Res64: 25F339496D136182 Time : 0.0 sec. user=mdettweiler [2016-08-08 23:23:05] 647*2^1437020-1 is not prime. Res64: 7E3A293123B0F76F Time : 0.0 sec. user=mdettweiler [2016-08-08 23:23:05] 699*2^1437020-1 is not prime. Res64: 86CD20DC1BE0CFCA Time : 0.0 sec. user=mdettweiler [2016-08-08 23:23:06] 707*2^1437020-1 is not prime. Res64: DA93048798A8BA7C Time : 0.0 sec. user=mdettweiler [2016-08-08 23:23:06] 725*2^1437020-1 is not prime. Res64: 4443B2E4A53A4BCC Time : 0.0 sec. user=mdettweiler [2016-08-08 23:23:06] 945*2^1437020-1 is not prime. Res64: DEB6594B101C1F40 Time : 0.0 sec. user=mdettweiler [2016-08-08 23:46:18] 959*2^1437020-1 is not prime. Res64: 08C1A5634E7A9FFC Time : 0.0 sec. user=mdettweiler [2016-08-08 23:46:18] 983*2^1437020-1 is not prime. Res64: C9D67284306C1379 Time : 0.0 sec. user=mdettweiler [2016-08-08 23:46:19] 781*2^1437021-1 is not prime. Res64: 258FB090ED8FD834 Time : 0.0 sec. user=mdettweiler [2016-08-08 23:46:19] 795*2^1437021-1 is not prime. Res64: 75CF874E9674D6A2 Time : 0.0 sec. user=mdettweiler [2016-08-08 23:46:19] 829*2^1437021-1 is not prime. Res64: F762A62ECA131E58 Time : 0.0 sec.