user=mdettweiler [2013-06-12 00:03:02] 917*2^1246784-1 is not prime. Res64: 5C93BBE031E7D8AC Time : 0.0 sec. user=mdettweiler [2013-06-12 00:36:15] 781*2^1246785-1 is not prime. Res64: 156A4033EFC66174 Time : 0.0 sec. user=mdettweiler [2013-06-12 00:48:28] 795*2^1246785-1 is not prime. Res64: 4432BE3EEF4A45F7 Time : 0.0 sec. user=mdettweiler [2013-06-12 00:48:28] 831*2^1246785-1 is not prime. Res64: 1B303C99415D9A31 Time : 0.0 sec. user=mdettweiler [2013-06-12 00:53:43] 847*2^1246785-1 is not prime. Res64: F71DF3A9A7E6F301 Time : 0.0 sec. user=mdettweiler [2013-06-12 00:53:43] 603*2^1246786-1 is not prime. Res64: DFBA2D9EBD5290FA Time : 0.0 sec. user=mdettweiler [2013-06-12 01:06:14] 737*2^1246786-1 is not prime. Res64: 3BE2F14DF157A4BD Time : 0.0 sec. user=mdettweiler [2013-06-12 01:06:32] 813*2^1246786-1 is not prime. Res64: DC8059221A1198FF Time : 0.0 sec. user=mdettweiler [2013-06-12 01:11:29] 825*2^1246786-1 is not prime. Res64: 693729765CF021EF Time : 0.0 sec. user=mdettweiler [2013-06-12 01:11:30] 923*2^1246786-1 is not prime. Res64: 37AD4763A4B0F5AC Time : 0.0 sec. user=mdettweiler [2013-06-12 01:30:25] 981*2^1246786-1 is not prime. Res64: CF2924160F446852 Time : 0.0 sec. user=vaughan [2013-06-12 01:33:57] 651*2^1246786-1 is not prime. Res64: AE277DBA60B8DF8B Time : 0.0 sec. user=mdettweiler [2013-06-12 01:59:17] 741*2^1246787-1 is not prime. Res64: D78B28BCE3DA6EF4 Time : 0.0 sec. user=mdettweiler [2013-06-12 01:59:17] 813*2^1246787-1 is not prime. Res64: D4D6372DD19FFA50 Time : 0.0 sec. user=mdettweiler [2013-06-12 02:08:41] 655*2^1246787-1 is not prime. Res64: 79DAE906AE22EBAD Time : 0.0 sec. user=mdettweiler [2013-06-12 02:18:38] 991*2^1246787-1 is not prime. Res64: 0F8AD66B372EFE2C Time : 0.0 sec. user=mdettweiler [2013-06-12 02:18:39] 999*2^1246787-1 is not prime. Res64: 86CF15AE61EA6233 Time : 0.0 sec. user=mdettweiler [2013-06-12 02:26:19] 635*2^1246788-1 is not prime. Res64: 6D6D054319A23206 Time : 0.0 sec. user=mdettweiler [2013-06-12 02:26:36] 665*2^1246788-1 is not prime. Res64: 893C228EED19569C Time : 0.0 sec. user=vaughan [2013-06-12 02:29:46] 675*2^1246787-1 is not prime. Res64: 6673991FB7CF4B95 Time : 0.0 sec. user=mdettweiler [2013-06-12 02:36:33] 689*2^1246788-1 is not prime. Res64: 78BCC5CCBFB65D18 Time : 0.0 sec. user=mdettweiler [2013-06-12 02:36:34] 735*2^1246788-1 is not prime. Res64: 700CAA4AC77AC515 Time : 0.0 sec. user=mdettweiler [2013-06-12 02:58:44] 831*2^1246789-1 is not prime. Res64: 3C3DEC6C3F1F9ABA Time : 0.0 sec. user=mdettweiler [2013-06-12 03:14:00] 667*2^1246789-1 is not prime. Res64: 66D582EB8CBAAE9C Time : 0.0 sec. user=mdettweiler [2013-06-12 03:21:27] 877*2^1246789-1 is not prime. Res64: E6EF02463C7D5110 Time : 0.0 sec. user=mdettweiler [2013-06-12 03:38:56] 957*2^1246788-1 is not prime. Res64: E2D0AB8D4A0B6751 Time : 0.0 sec. user=mdettweiler [2013-06-12 03:38:57] 775*2^1246789-1 is not prime. Res64: 3E2525D85D8D35F0 Time : 0.0 sec. user=mdettweiler [2013-06-12 03:40:58] 679*2^1246789-1 is not prime. Res64: B167E7B34D372E37 Time : 0.0 sec. user=mdettweiler [2013-06-12 03:56:36] 885*2^1246789-1 is not prime. Res64: 8D0ADE8392ABF0B3 Time : 0.0 sec. user=mdettweiler [2013-06-12 03:58:42] 663*2^1246790-1 is not prime. Res64: 99890C79B907C8BB Time : 0.0 sec. user=mdettweiler [2013-06-12 04:20:02] 665*2^1246790-1 is not prime. Res64: 3DD91AB1100FB697 Time : 0.0 sec. user=vaughan [2013-06-12 04:20:47] 819*2^1246789-1 is not prime. Res64: F59AAC73CC8B3D6C Time : 0.0 sec. user=mdettweiler [2013-06-12 04:25:41] 895*2^1246789-1 is not prime. Res64: D5A306924409D457 Time : 0.0 sec. user=mdettweiler [2013-06-12 05:08:20] 687*2^1246790-1 is not prime. Res64: 25C8C8F17B6E250B Time : 0.0 sec. user=mdettweiler [2013-06-12 05:10:49] 957*2^1246790-1 is not prime. Res64: 0894F3436E208129 Time : 0.0 sec. user=vaughan [2013-06-12 05:16:44] 677*2^1246790-1 is not prime. Res64: 51AD66C8F26D59FE Time : 0.0 sec. user=mdettweiler [2013-06-12 05:43:50] 711*2^1246790-1 is not prime. Res64: 3EC97D4A568E6DAF Time : 0.0 sec. user=mdettweiler [2013-06-12 05:47:19] 685*2^1246791-1 is not prime. Res64: 76FF7FC4661ED6E7 Time : 0.0 sec. user=mdettweiler [2013-06-12 06:05:01] 695*2^1246792-1 is not prime. Res64: 551587AFEA29E354 Time : 0.0 sec. user=vaughan [2013-06-12 06:12:29] 711*2^1246791-1 is not prime. Res64: 81BEC53B01BC9697 Time : 0.0 sec. user=mdettweiler [2013-06-12 06:23:28] 713*2^1246792-1 is not prime. Res64: 8B1BD380986A3CA6 Time : 0.0 sec. user=mdettweiler [2013-06-12 06:25:39] 755*2^1246792-1 is not prime. Res64: 95C79958B6A854E1 Time : 0.0 sec. user=mdettweiler [2013-06-12 06:41:00] 721*2^1246793-1 is not prime. Res64: AD1C60D0FE3117AB Time : 0.0 sec. user=mdettweiler [2013-06-12 06:41:01] 747*2^1246793-1 is not prime. Res64: 326544A8FE1C7E42 Time : 0.0 sec. user=mdettweiler [2013-06-12 06:50:44] 819*2^1246792-1 is not prime. Res64: AE0359A5528B1756 Time : 0.0 sec. user=mdettweiler [2013-06-12 06:58:30] 781*2^1246793-1 is not prime. Res64: B802957F126FB8B1 Time : 0.0 sec. user=mdettweiler [2013-06-12 06:58:30] 795*2^1246793-1 is not prime. Res64: 20A8DDF724CBFF07 Time : 0.0 sec. user=vaughan [2013-06-12 07:08:27] 833*2^1246792-1 is not prime. Res64: DA77D093FFCC1305 Time : 0.0 sec. user=mdettweiler [2013-06-12 07:08:27] 871*2^1246793-1 is not prime. Res64: 0B895DD487D5496F Time : 0.0 sec. user=mdettweiler [2013-06-12 07:16:59] 951*2^1246793-1 is not prime. Res64: 9F2F74A8CF6B6F7C Time : 0.0 sec. user=mdettweiler [2013-06-12 07:36:00] 981*2^1246793-1 is not prime. Res64: 589C9CE03BCBDFAA Time : 0.0 sec. user=mdettweiler [2013-06-12 07:38:38] 879*2^1246793-1 is not prime. Res64: E6DA414389443213 Time : 0.0 sec. user=mdettweiler [2013-06-12 07:56:09] 605*2^1246794-1 is not prime. Res64: 24DDD828FE8DEDE9 Time : 0.0 sec. user=mdettweiler [2013-06-12 07:56:10] 633*2^1246794-1 is not prime. Res64: 2CEF36690807258A Time : 0.0 sec. user=mdettweiler [2013-06-12 08:13:40] 773*2^1246794-1 is not prime. Res64: 8A926330DC55290D Time : 0.0 sec. user=mdettweiler [2013-06-12 08:13:41] 875*2^1246794-1 is not prime. Res64: 0EDA0A9C41288B5C Time : 0.0 sec. user=mdettweiler [2013-06-12 08:31:09] 685*2^1246795-1 is not prime. Res64: 11385FED5BD9D6F5 Time : 0.0 sec. user=mdettweiler [2013-06-12 08:31:09] 709*2^1246795-1 is not prime. Res64: 3D493C07D99D7EF8 Time : 0.0 sec. user=mdettweiler [2013-06-12 08:31:19] 723*2^1246795-1 is not prime. Res64: 752D0F972996DD8A Time : 0.0 sec. user=mdettweiler [2013-06-12 08:31:37] 735*2^1246795-1 is not prime. Res64: 91E519BE8414B257 Time : 0.0 sec. user=mdettweiler [2013-06-12 08:48:52] 771*2^1246795-1 is not prime. Res64: 2E5FD106C32E6F4B Time : 0.0 sec. user=vaughan [2013-06-12 08:59:54] 887*2^1246794-1 is not prime. Res64: AB699F9A80DD5D40 Time : 0.0 sec. user=mdettweiler [2013-06-12 09:26:38] 861*2^1246795-1 is not prime. Res64: B8A11634016F6D30 Time : 0.0 sec. user=mdettweiler [2013-06-12 09:26:38] 939*2^1246795-1 is not prime. Res64: FA293CC414DFFF46 Time : 0.0 sec. user=mdettweiler [2013-06-12 09:28:02] 843*2^1246795-1 is not prime. Res64: DA8EA9F7F0F4C49E Time : 0.0 sec. user=mdettweiler [2013-06-12 09:44:56] 985*2^1246795-1 is not prime. Res64: F727C54AC30A00EB Time : 0.0 sec. user=mdettweiler [2013-06-12 09:44:56] 699*2^1246796-1 is not prime. Res64: 4F450C9D5A7A9B26 Time : 0.0 sec. user=mdettweiler [2013-06-12 09:45:31] 813*2^1246796-1 is not prime. Res64: D0D049DC81518CA9 Time : 0.0 sec. user=mdettweiler [2013-06-12 09:45:32] 869*2^1246796-1 is not prime. Res64: 7BEF9B4F870A5091 Time : 0.0 sec. user=mdettweiler [2013-06-12 10:03:00] 625*2^1246797-1 is not prime. Res64: 05DF775E3FFAE83A Time : 0.0 sec. user=mdettweiler [2013-06-12 10:03:01] 667*2^1246797-1 is not prime. Res64: 96C57FBBD5D3E42C Time : 0.0 sec. user=mdettweiler [2013-06-12 10:04:01] 969*2^1246796-1 is not prime. Res64: EAC0E202B1294F14 Time : 0.0 sec. user=mdettweiler [2013-06-12 10:04:03] 999*2^1246796-1 is not prime. Res64: 8BAD009898A258AD Time : 0.0 sec. user=mdettweiler [2013-06-12 10:20:48] 867*2^1246797-1 is not prime. Res64: 15D7EFADAB0F22E7 Time : 0.0 sec. user=mdettweiler [2013-06-12 10:20:49] 871*2^1246797-1 is not prime. Res64: A081FC30EBE3E46A Time : 0.0 sec. user=mdettweiler [2013-06-12 10:21:33] 915*2^1246797-1 is not prime. Res64: 90A00A278B1C2585 Time : 0.0 sec. user=mdettweiler [2013-06-12 10:21:33] 919*2^1246797-1 is not prime. Res64: 334286A16F93F0E3 Time : 0.0 sec. user=mdettweiler [2013-06-12 10:38:48] 945*2^1246797-1 is not prime. Res64: 435A06232A41F3A0 Time : 0.0 sec. user=mdettweiler [2013-06-12 10:39:30] 681*2^1246798-1 is not prime. Res64: 4BD08238902842FD Time : 0.0 sec. user=vaughan [2013-06-12 10:51:11] 747*2^1246797-1 is not prime. Res64: 5A7108270C23A659 Time : 0.0 sec. user=mdettweiler [2013-06-12 11:07:21] 705*2^1246798-1 is not prime. Res64: FBF902CED90264A8 Time : 0.0 sec. user=mdettweiler [2013-06-12 11:07:21] 663*2^1246798-1 is not prime. Res64: C75FDF2F8AC12FD9 Time : 0.0 sec. user=vaughan [2013-06-12 11:47:01] 755*2^1246798-1 is not prime. Res64: A800A5DFFCE2D3FD Time : 0.0 sec. user=mdettweiler [2013-06-12 11:53:10] 801*2^1246798-1 is not prime. Res64: 752B348A01B2E4C6 Time : 0.0 sec. user=mdettweiler [2013-06-12 11:53:10] 995*2^1246798-1 is not prime. Res64: E03B2EF5E784CAD9 Time : 0.0 sec. user=mdettweiler [2013-06-12 11:55:37] 645*2^1246799-1 is not prime. Res64: 55861BB9A3EB26ED Time : 0.0 sec. user=mdettweiler [2013-06-12 11:55:38] 735*2^1246799-1 is not prime. Res64: 639651D45A0FC130 Time : 0.0 sec. user=mdettweiler [2013-06-12 12:12:15] 993*2^1246799-1 is not prime. Res64: C7F9A7EB0C5A441B Time : 0.0 sec. user=mdettweiler [2013-06-12 12:13:41] 735*2^1246800-1 is not prime. Res64: 91350B2BC1A1B9F0 Time : 0.0 sec. user=mdettweiler [2013-06-12 12:13:42] 909*2^1246800-1 is not prime. Res64: 2FF7FE83B36685A8 Time : 0.0 sec. user=mdettweiler [2013-06-12 12:31:54] 933*2^1246800-1 is not prime. Res64: B98D7EABB8BC9A7D Time : 0.0 sec. user=mdettweiler [2013-06-12 12:37:33] 669*2^1246800-1 is not prime. Res64: FDF20C7857DD6CDE Time : 0.0 sec. user=mdettweiler [2013-06-12 12:53:55] 771*2^1246801-1 is not prime. Res64: 5F1DDD79D3E943BF Time : 0.0 sec. user=mdettweiler [2013-06-12 13:11:32] 775*2^1246801-1 is not prime. Res64: 7A8108C49D66CFD0 Time : 0.0 sec. user=mdettweiler [2013-06-12 13:11:34] 861*2^1246801-1 is not prime. Res64: 166902BE64F81915 Time : 0.0 sec. user=mdettweiler [2013-06-12 13:26:08] 937*2^1246801-1 is not prime. Res64: F1B2A2A0D361599A Time : 0.0 sec. user=mdettweiler [2013-06-12 13:26:09] 979*2^1246801-1 is not prime. Res64: EF3C6324D210A1DA Time : 0.0 sec. user=mdettweiler [2013-06-12 13:31:06] 997*2^1246801-1 is not prime. Res64: F8F76720FB780ED3 Time : 0.0 sec. user=mdettweiler [2013-06-12 13:43:59] 771*2^1246802-1 is not prime. Res64: DA1F32399DDA3BF9 Time : 0.0 sec. user=mdettweiler [2013-06-12 13:44:00] 797*2^1246802-1 is not prime. Res64: 3C04C3D80F5C0088 Time : 0.0 sec. user=mdettweiler [2013-06-12 13:49:30] 999*2^1246801-1 is not prime. Res64: 719038A9DCFBC53B Time : 0.0 sec. user=mdettweiler [2013-06-12 14:01:56] 813*2^1246802-1 is not prime. Res64: 0D040A4E6AB77397 Time : 0.0 sec. user=mdettweiler [2013-06-12 14:06:59] 957*2^1246802-1 is not prime. Res64: CF725B649431A6D7 Time : 0.0 sec. user=mdettweiler [2013-06-12 14:06:59] 963*2^1246802-1 is not prime. Res64: FACF2F15524281BE Time : 0.0 sec. user=mdettweiler [2013-06-12 14:25:35] 977*2^1246802-1 is not prime. Res64: 709A8C00BCD8705F Time : 0.0 sec. user=mdettweiler [2013-06-12 14:25:36] 613*2^1246803-1 is not prime. Res64: C62EA910F457BEDB Time : 0.0 sec. user=mdettweiler [2013-06-12 14:32:07] 945*2^1246802-1 is not prime. Res64: DED72ED2010245F1 Time : 0.0 sec. user=mdettweiler [2013-06-12 14:43:08] 679*2^1246803-1 is not prime. Res64: 98D1029D25C4A866 Time : 0.0 sec. user=mdettweiler [2013-06-12 14:43:08] 765*2^1246803-1 is not prime. Res64: 4D70C77C37B4DC2C Time : 0.0 sec. user=mdettweiler [2013-06-12 14:49:51] 795*2^1246803-1 is not prime. Res64: 5FDAA23656A5B5E1 Time : 0.0 sec. user=mdettweiler [2013-06-12 14:49:52] 819*2^1246803-1 is not prime. Res64: 7E9E243D234FA025 Time : 0.0 sec. user=mdettweiler [2013-06-12 15:01:00] 919*2^1246803-1 is not prime. Res64: F22EC4EB31A01C4C Time : 0.0 sec. user=mdettweiler [2013-06-12 15:01:01] 921*2^1246803-1 is not prime. Res64: 83E398D12557AEED Time : 0.0 sec. user=mdettweiler [2013-06-12 15:07:46] 961*2^1246803-1 is not prime. Res64: EE9146889BFC9A5A Time : 0.0 sec. user=mdettweiler [2013-06-12 15:07:47] 657*2^1246804-1 is not prime. Res64: 5E8B07CD1BE6A3ED Time : 0.0 sec. user=mdettweiler [2013-06-12 15:18:50] 885*2^1246804-1 is not prime. Res64: C0BFB725EC9DB728 Time : 0.0 sec. user=mdettweiler [2013-06-12 15:18:51] 939*2^1246804-1 is not prime. Res64: 112C20C103765C65 Time : 0.0 sec. user=mdettweiler [2013-06-12 15:25:45] 959*2^1246804-1 is not prime. Res64: 2C066F60C105D1FE Time : 0.0 sec. user=mdettweiler [2013-06-12 15:25:46] 649*2^1246805-1 is not prime. Res64: 3694FF4C2AFA0428 Time : 0.0 sec. user=mdettweiler [2013-06-12 15:36:54] 697*2^1246805-1 is not prime. Res64: 1206E5FBF4BC3ECF Time : 0.0 sec. user=mdettweiler [2013-06-12 15:43:39] 727*2^1246805-1 is not prime. Res64: 9210C0C24BE56882 Time : 0.0 sec. user=mdettweiler [2013-06-12 15:43:40] 837*2^1246805-1 is not prime. Res64: 9BE47EE01DF2B17A Time : 0.0 sec. user=mdettweiler [2013-06-12 16:01:11] 861*2^1246805-1 is not prime. Res64: 25F7FDBEE7E91162 Time : 0.0 sec. user=mdettweiler [2013-06-12 16:01:12] 885*2^1246805-1 is not prime. Res64: AD9FA784FAA4FC00 Time : 0.0 sec. user=mdettweiler [2013-06-12 16:04:57] 699*2^1246805-1 is not prime. Res64: FE94A5A76A01E4C0 Time : 0.0 sec. user=mdettweiler [2013-06-12 16:18:45] 925*2^1246805-1 is not prime. Res64: 386837A7ABEA2C46 Time : 0.0 sec. user=mdettweiler [2013-06-12 16:18:45] 949*2^1246805-1 is not prime. Res64: BECC2FF6479CDF3A Time : 0.0 sec. user=mdettweiler [2013-06-12 16:22:33] 957*2^1246805-1 is not prime. Res64: 8F772FE1B69EDEC6 Time : 0.0 sec. user=mdettweiler [2013-06-12 16:22:34] 917*2^1246806-1 is not prime. Res64: 8176DFE2CAA5340E Time : 0.0 sec. user=mdettweiler [2013-06-12 16:36:38] 923*2^1246806-1 is not prime. Res64: 8AC4EF4C31268CCF Time : 0.0 sec. user=mdettweiler [2013-06-12 16:36:38] 947*2^1246806-1 is not prime. Res64: FE8D881BFA3FC41A Time : 0.0 sec. user=mdettweiler [2013-06-12 16:40:29] 619*2^1246807-1 is not prime. Res64: AC7730D0EF55045B Time : 0.0 sec. user=mdettweiler [2013-06-12 16:40:30] 685*2^1246807-1 is not prime. Res64: 35FB966B97C78C7B Time : 0.0 sec. user=mdettweiler [2013-06-12 16:54:36] 901*2^1246807-1 is not prime. Res64: 84C590BF30FDEF4B Time : 0.0 sec. user=mdettweiler [2013-06-12 16:59:14] 933*2^1246807-1 is not prime. Res64: A3FC2B8A8E6EB334 Time : 0.0 sec. user=mdettweiler [2013-06-12 16:59:15] 985*2^1246807-1 is not prime. Res64: BD4F7FBE4ED22AB6 Time : 0.0 sec. user=mdettweiler [2013-06-12 17:17:10] 669*2^1246808-1 is not prime. Res64: F45512E10A1058E4 Time : 0.0 sec. user=mdettweiler [2013-06-12 17:17:11] 735*2^1246808-1 is not prime. Res64: 44D04C3E3387D8E2 Time : 0.0 sec. user=mdettweiler [2013-06-12 17:35:04] 743*2^1246808-1 is not prime. Res64: 28701A5EC9D9CCF3 Time : 0.0 sec. user=mdettweiler [2013-06-12 17:35:05] 837*2^1246808-1 is not prime. Res64: 29906FE897ACBFAF Time : 0.0 sec. user=mdettweiler [2013-06-12 17:35:57] 919*2^1246807-1 is not prime. Res64: D4AE6AD0E0090DB6 Time : 0.0 sec. user=mdettweiler [2013-06-12 17:53:11] 661*2^1246809-1 is not prime. Res64: B6E17B2EDC263855 Time : 0.0 sec. user=mdettweiler [2013-06-12 17:53:11] 787*2^1246809-1 is not prime. Res64: FBD3BFFD3AEF640A Time : 0.0 sec. user=mdettweiler [2013-06-12 17:54:15] 795*2^1246809-1 is not prime. Res64: 305EB163CEB308E8 Time : 0.0 sec. user=mdettweiler [2013-06-12 18:11:08] 865*2^1246809-1 is not prime. Res64: 50FF4CDDD945EF04 Time : 0.0 sec. user=mdettweiler [2013-06-12 18:11:09] 889*2^1246809-1 is not prime. Res64: 7400C75EEF1AF611 Time : 0.0 sec. user=mdettweiler [2013-06-12 18:25:20] 847*2^1246809-1 is not prime. Res64: 4A598A5D9EC364FB Time : 0.0 sec. user=mdettweiler [2013-06-12 18:29:18] 945*2^1246809-1 is not prime. Res64: 08950966CC95F737 Time : 0.0 sec. user=mdettweiler [2013-06-12 19:05:41] 955*2^1246809-1 is not prime. Res64: 8D8ABE44D95ECF15 Time : 0.0 sec. user=mdettweiler [2013-06-12 19:23:08] 987*2^1246809-1 is not prime. Res64: 87747D7D78BC5EC7 Time : 0.0 sec. user=mdettweiler [2013-06-12 19:23:09] 603*2^1246810-1 is not prime. Res64: C2DA9BB367E016C8 Time : 0.0 sec. user=mdettweiler [2013-06-12 19:23:10] 635*2^1246810-1 is not prime. Res64: 557E86BD9D6A3A62 Time : 0.0 sec. user=mdettweiler [2013-06-12 19:23:11] 677*2^1246810-1 is not prime. Res64: 56A54F6BD02A5893 Time : 0.0 sec. user=mdettweiler [2013-06-12 19:41:03] 715*2^1246811-1 is not prime. Res64: F162E9B5AA646EE9 Time : 0.0 sec. user=mdettweiler [2013-06-12 19:41:03] 663*2^1246811-1 is not prime. Res64: BE30AF4F051A6BF5 Time : 0.0 sec. user=mdettweiler [2013-06-12 19:41:03] 705*2^1246811-1 is not prime. Res64: 26D4E300FAF69174 Time : 0.0 sec. user=mdettweiler [2013-06-12 19:41:03] 825*2^1246811-1 is not prime. Res64: E8D37D79AD0C275F Time : 0.0 sec. user=mdettweiler [2013-06-12 19:58:56] 627*2^1246812-1 is not prime. Res64: BE88FCBBA0AD8ED5 Time : 0.0 sec. user=mdettweiler [2013-06-12 19:58:56] 843*2^1246812-1 is not prime. Res64: AE6C3FC55A8AA707 Time : 0.0 sec. user=mdettweiler [2013-06-12 19:59:44] 855*2^1246811-1 is not prime. Res64: F08060E656326A25 Time : 0.0 sec. user=mdettweiler [2013-06-12 19:59:44] 979*2^1246811-1 is not prime. Res64: 66901D78634BE880 Time : 0.0 sec. user=mdettweiler [2013-06-12 20:16:50] 909*2^1246812-1 is not prime. Res64: 0D255F415B6C57C1 Time : 0.0 sec. user=mdettweiler [2013-06-12 20:16:51] 945*2^1246812-1 is not prime. Res64: E35662FAA47D2FAE Time : 0.0 sec. user=mdettweiler [2013-06-12 20:17:36] 609*2^1246813-1 is not prime. Res64: 26D7CEE5504BF60F Time : 0.0 sec. user=mdettweiler [2013-06-12 20:17:36] 619*2^1246813-1 is not prime. Res64: F73BB978B58868F5 Time : 0.0 sec. user=mdettweiler [2013-06-12 20:34:35] 685*2^1246813-1 is not prime. Res64: D0A5F72411C13AA0 Time : 0.0 sec. user=mdettweiler [2013-06-12 20:34:35] 811*2^1246813-1 is not prime. Res64: 86C81203AC327D54 Time : 0.0 sec. user=mdettweiler [2013-06-12 20:35:28] 831*2^1246813-1 is not prime. Res64: 9369AD724F479BB2 Time : 0.0 sec. user=mdettweiler [2013-06-12 20:35:29] 855*2^1246813-1 is not prime. Res64: 1D7D2A92D76110F6 Time : 0.0 sec. user=mdettweiler [2013-06-12 20:52:12] 877*2^1246813-1 is not prime. Res64: 32682BDFBCE71FDE Time : 0.0 sec. user=mdettweiler [2013-06-12 20:52:12] 945*2^1246813-1 is not prime. Res64: DC52451A38A4BFFD Time : 0.0 sec. user=mdettweiler [2013-06-12 20:53:53] 999*2^1246813-1 is not prime. Res64: CA204ABD3C32CA01 Time : 0.0 sec. user=mdettweiler [2013-06-12 20:53:53] 665*2^1246814-1 is not prime. Res64: 2D2783DCF012A010 Time : 0.0 sec. user=mdettweiler [2013-06-12 21:10:40] 791*2^1246814-1 is not prime. Res64: BF4C463BA2D53862 Time : 0.0 sec. user=mdettweiler [2013-06-12 21:11:53] 619*2^1246815-1 is not prime. Res64: 54F2C4AE49166BE5 Time : 0.0 sec. user=vaughan [2013-06-12 21:14:26] 909*2^1246799-1 is not prime. Res64: 5333022AA1E6CF62 Time : 0.0 sec. user=mdettweiler [2013-06-12 21:37:47] 739*2^1246815-1 is not prime. Res64: 27059613E7312482 Time : 0.0 sec. user=mdettweiler [2013-06-12 21:47:23] 981*2^1246814-1 is not prime. Res64: 5CD501A4C31BBD86 Time : 0.0 sec. user=vaughan [2013-06-12 21:54:05] 751*2^1246815-1 is not prime. Res64: 0CD1B2108C75DE05 Time : 0.0 sec. user=mdettweiler [2013-06-12 21:55:49] 819*2^1246815-1 is not prime. Res64: 307D4A670EBC888A Time : 0.0 sec. user=mdettweiler [2013-06-12 22:05:41] 921*2^1246815-1 is not prime. Res64: 138CE1628885B449 Time : 0.0 sec. user=mdettweiler [2013-06-12 22:05:42] 979*2^1246815-1 is not prime. Res64: F44D72E40E61B20A Time : 0.0 sec. user=mdettweiler [2013-06-12 22:12:20] 895*2^1246815-1 is not prime. Res64: A5F55BFB0F47D81F Time : 0.0 sec. user=mdettweiler [2013-06-12 22:23:28] 699*2^1246816-1 is not prime. Res64: 26866976B5DE0AE8 Time : 0.0 sec. user=mdettweiler [2013-06-12 22:23:29] 765*2^1246816-1 is not prime. Res64: 80BDA4E723B0EC50 Time : 0.0 sec. user=mdettweiler [2013-06-12 22:29:59] 773*2^1246816-1 is not prime. Res64: 0353E35859324386 Time : 0.0 sec. user=vaughan [2013-06-12 22:33:56] 609*2^1246816-1 is not prime. Res64: 9AF5FCE7A8219665 Time : 0.0 sec. user=mdettweiler [2013-06-12 22:41:03] 781*2^1246817-1 is not prime. Res64: 87F9D59D2751E5FD Time : 0.0 sec. user=mdettweiler [2013-06-12 22:41:04] 841*2^1246817-1 is not prime. Res64: 44C0E1081B7ED28D Time : 0.0 sec. user=mdettweiler [2013-06-12 22:52:49] 779*2^1246816-1 is not prime. Res64: 9CC2F739A80AD301 Time : 0.0 sec. user=mdettweiler [2013-06-12 22:58:47] 747*2^1246818-1 is not prime. Res64: D89E65F473D12690 Time : 0.0 sec. user=mdettweiler [2013-06-12 22:58:48] 773*2^1246818-1 is not prime. Res64: 32AAB6C827AF6FF3 Time : 0.0 sec. user=mdettweiler [2013-06-12 23:10:19] 885*2^1246818-1 is not prime. Res64: D38908E02B0D8998 Time : 0.0 sec. user=mdettweiler [2013-06-12 23:10:21] 887*2^1246818-1 is not prime. Res64: 98E09CF9B8CA5ABD Time : 0.0 sec. user=vaughan [2013-06-12 23:13:27] 695*2^1246818-1 is not prime. Res64: 7FF680C2838B56E1 Time : 0.0 sec. user=mdettweiler [2013-06-12 23:18:11] 971*2^1246818-1 is not prime. Res64: E251F4116A8635EF Time : 0.0 sec. user=mdettweiler [2013-06-12 23:18:11] 977*2^1246818-1 is not prime. Res64: CFDDC84F792866C5 Time : 0.0 sec. user=mdettweiler [2013-06-12 23:28:09] 639*2^1246819-1 is not prime. Res64: 23276C3672A79E58 Time : 0.0 sec. user=mdettweiler [2013-06-12 23:28:10] 649*2^1246819-1 is not prime. Res64: 97198BC79C4401EB Time : 0.0 sec. user=mdettweiler [2013-06-12 23:36:11] 789*2^1246819-1 is not prime. Res64: 82EFD0248F7638D3 Time : 0.0 sec. user=mdettweiler [2013-06-12 23:45:57] 615*2^1246820-1 is not prime. Res64: 8C18954EDBF34F47 Time : 0.0 sec. user=mdettweiler [2013-06-12 23:45:58] 797*2^1246820-1 is not prime. Res64: 5A23C7424C2399BA Time : 0.0 sec. user=vaughan [2013-06-12 23:52:55] 741*2^1246819-1 is not prime. Res64: 246D30323A1414DE Time : 0.0 sec.