user=mdettweiler [2012-11-13 00:08:58] 605*2^1234318-1 is not prime. Res64: 33AC55CDBC69AD08 Time : 0.0 sec. user=mdettweiler [2012-11-13 00:08:58] 791*2^1234318-1 is not prime. Res64: 58FB395F685D7655 Time : 0.0 sec. user=mdettweiler [2012-11-13 00:09:04] 833*2^1234318-1 is not prime. Res64: 952B351B04789F06 Time : 0.0 sec. user=mdettweiler [2012-11-13 00:09:06] 651*2^1234318-1 is not prime. Res64: 598E3BCDFEB47FD0 Time : 0.0 sec. user=juhehe [2012-11-13 00:24:20] 961*2^1234317-1 is not prime. Res64: 56E900E3CD8651AF Time : 0.0 sec. user=mdettweiler [2012-11-13 00:30:36] 911*2^1234318-1 is not prime. Res64: 1D595AE13A245CA6 Time : 0.0 sec. user=mdettweiler [2012-11-13 00:30:36] 971*2^1234318-1 is not prime. Res64: 654DC5E60C1368D6 Time : 0.0 sec. user=mdettweiler [2012-11-13 00:30:41] 601*2^1234319-1 is not prime. Res64: 8A94560E073B933C Time : 0.0 sec. user=mdettweiler [2012-11-13 00:30:41] 609*2^1234319-1 is not prime. Res64: A813F2181AD946A4 Time : 0.0 sec. user=mdettweiler [2012-11-13 00:51:25] 759*2^1234319-1 is not prime. Res64: 08B289036CDB593D Time : 0.0 sec. user=mdettweiler [2012-11-13 00:51:25] 999*2^1234319-1 is not prime. Res64: 84FB5E759DBABA6D Time : 0.0 sec. user=mdettweiler [2012-11-13 00:51:29] 737*2^1234320-1 is not prime. Res64: 613389E07E835982 Time : 0.0 sec. user=mdettweiler [2012-11-13 00:51:29] 759*2^1234320-1 is not prime. Res64: 778364A23EAA74BB Time : 0.0 sec. user=juhehe [2012-11-13 01:03:02] 703*2^1234319-1 is not prime. Res64: 87C7CFA101A223EE Time : 0.0 sec. user=mdettweiler [2012-11-13 01:12:12] 845*2^1234320-1 is not prime. Res64: 62C9306C293F5DAD Time : 0.0 sec. user=mdettweiler [2012-11-13 01:12:14] 879*2^1234320-1 is not prime. Res64: E29CC16360581FC1 Time : 0.0 sec. user=mdettweiler [2012-11-13 01:12:17] 887*2^1234320-1 is not prime. Res64: 8BDCF00497B69466 Time : 0.0 sec. user=mdettweiler [2012-11-13 01:12:19] 649*2^1234321-1 is not prime. Res64: 3A5BD40FC2140446 Time : 0.0 sec. user=mdettweiler [2012-11-13 01:33:10] 871*2^1234321-1 is not prime. Res64: B500C06EDAD8BCC1 Time : 0.0 sec. user=mdettweiler [2012-11-13 01:33:11] 925*2^1234321-1 is not prime. Res64: EB6D524D7B2FB95E Time : 0.0 sec. user=mdettweiler [2012-11-13 01:33:13] 957*2^1234321-1 is not prime. Res64: B99DFD3EC63EC98F Time : 0.0 sec. user=mdettweiler [2012-11-13 01:33:14] 635*2^1234322-1 is not prime. Res64: 6B1F6D2F4AC4B9FB Time : 0.0 sec. user=juhehe [2012-11-13 01:42:28] 811*2^1234321-1 is not prime. Res64: 82786814E71FA9BB Time : 0.0 sec. user=mdettweiler [2012-11-13 01:53:58] 651*2^1234322-1 is not prime. Res64: DF8861CC4333DB33 Time : 0.0 sec. user=mdettweiler [2012-11-13 01:53:59] 677*2^1234322-1 is not prime. Res64: 9D172270A2708986 Time : 0.0 sec. user=mdettweiler [2012-11-13 01:54:01] 785*2^1234322-1 is not prime. Res64: D8AA2C47748D84AC Time : 0.0 sec. user=mdettweiler [2012-11-13 01:54:01] 911*2^1234322-1 is not prime. Res64: 56463BEB4890375C Time : 0.0 sec. user=mdettweiler [2012-11-13 02:14:47] 953*2^1234322-1 is not prime. Res64: FDDA0FE2F2C3CA06 Time : 0.0 sec. user=mdettweiler [2012-11-13 02:14:47] 615*2^1234323-1 is not prime. Res64: 8B78232D9800EF40 Time : 0.0 sec. user=mdettweiler [2012-11-13 02:14:49] 775*2^1234323-1 is not prime. Res64: 7AB070B7CAB6334A Time : 0.0 sec. user=mdettweiler [2012-11-13 02:14:50] 781*2^1234323-1 is not prime. Res64: A6789C7EF145E71B Time : 0.0 sec. user=juhehe [2012-11-13 02:21:36] 945*2^1234322-1 is not prime. Res64: 5A3F7CF50471CEBE Time : 0.0 sec. user=mdettweiler [2012-11-13 02:35:53] 859*2^1234323-1 is not prime. Res64: 88885822B6AB928F Time : 0.0 sec. user=mdettweiler [2012-11-13 02:35:54] 605*2^1234324-1 is not prime. Res64: 0166C6B770103AE8 Time : 0.0 sec. user=mdettweiler [2012-11-13 02:35:55] 943*2^1234323-1 is not prime. Res64: 9CAEC8025AAF840B Time : 0.0 sec. user=mdettweiler [2012-11-13 02:35:56] 677*2^1234324-1 is not prime. Res64: 749233B620D3E93B Time : 0.0 sec. user=mdettweiler [2012-11-13 02:57:17] 825*2^1234324-1 is not prime. Res64: 30FC621CC7A685B3 Time : 0.0 sec. user=mdettweiler [2012-11-13 02:57:19] 843*2^1234324-1 is not prime. Res64: 695F9C468DA5B352 Time : 0.0 sec. user=mdettweiler [2012-11-13 02:57:22] 903*2^1234324-1 is not prime. Res64: 58BDD87D30F04967 Time : 0.0 sec. user=mdettweiler [2012-11-13 02:57:24] 965*2^1234324-1 is not prime. Res64: 98E3E1EC3CE02E76 Time : 0.0 sec. user=juhehe [2012-11-13 03:00:56] 723*2^1234324-1 is not prime. Res64: 5B1D5ABD2867C735 Time : 0.0 sec. user=gd_barnes [2012-11-13 03:17:47] 781*2^1234325-1 is not prime. Res64: 87660357BEA087E6 Time : 0.0 sec. user=mdettweiler [2012-11-13 03:18:25] 819*2^1234325-1 is not prime. Res64: 1EA8E54195046600 Time : 0.0 sec. user=mdettweiler [2012-11-13 03:18:26] 825*2^1234325-1 is not prime. Res64: CBAA396891F060C3 Time : 0.0 sec. user=mdettweiler [2012-11-13 03:18:30] 969*2^1234325-1 is not prime. Res64: D62C017CE4EF2B94 Time : 0.0 sec. user=mdettweiler [2012-11-13 03:18:31] 985*2^1234325-1 is not prime. Res64: 21753935FC6C2DD2 Time : 0.0 sec. user=mdettweiler [2012-11-13 03:39:28] 941*2^1234070-1 is not prime. Res64: 4D8CBFD950D32865 Time : 0.0 sec. user=mdettweiler [2012-11-13 03:39:30] 711*2^1234326-1 is not prime. Res64: A7D70A9754193628 Time : 0.0 sec. user=mdettweiler [2012-11-13 03:39:31] 755*2^1234326-1 is not prime. Res64: 94C2CE5449A8C8DA Time : 0.0 sec. user=mdettweiler [2012-11-13 03:39:32] 861*2^1234326-1 is not prime. Res64: 0C6CE878195485AB Time : 0.0 sec. user=juhehe [2012-11-13 03:42:13] 695*2^1234326-1 is not prime. Res64: 63DAF329D41A8F14 Time : 0.0 sec. user=mdettweiler [2012-11-13 04:00:43] 893*2^1234326-1 is not prime. Res64: 598694B9BCA3DFC4 Time : 0.0 sec. user=mdettweiler [2012-11-13 04:00:44] 993*2^1234326-1 is not prime. Res64: 3E40D9A5E8128E79 Time : 0.0 sec. user=mdettweiler [2012-11-13 04:00:46] 633*2^1234327-1 is not prime. Res64: 4CD8B0849EB8F1F6 Time : 0.0 sec. user=mdettweiler [2012-11-13 04:00:48] 663*2^1234327-1 is not prime. Res64: 3E1BBA233C2BC2EF Time : 0.0 sec. user=mdettweiler [2012-11-13 04:21:48] 895*2^1234327-1 is not prime. Res64: 868230BEE8F7776C Time : 0.0 sec. user=mdettweiler [2012-11-13 04:21:48] 603*2^1234328-1 is not prime. Res64: 2B6812D7FBBE623D Time : 0.0 sec. user=mdettweiler [2012-11-13 04:21:49] 915*2^1234327-1 is not prime. Res64: 820B6430A6E39475 Time : 0.0 sec. user=mdettweiler [2012-11-13 04:21:49] 617*2^1234328-1 is not prime. Res64: 4544ED1589C390C0 Time : 0.0 sec. user=juhehe [2012-11-13 04:22:21] 681*2^1234327-1 is not prime. Res64: D6EE338CD1ACC386 Time : 0.0 sec. user=mdettweiler [2012-11-13 04:42:41] 797*2^1234328-1 is not prime. Res64: 0E107E405F79CCF0 Time : 0.0 sec. user=mdettweiler [2012-11-13 04:42:41] 633*2^1234328-1 is not prime. Res64: ED57C80020307279 Time : 0.0 sec. user=mdettweiler [2012-11-13 04:42:54] 845*2^1234328-1 is not prime. Res64: E5A4B26897FC8A19 Time : 0.0 sec. user=juhehe [2012-11-13 05:02:21] 879*2^1234328-1 is not prime. Res64: 1BFB6D68C14F42CB Time : 0.0 sec. user=mdettweiler [2012-11-13 05:04:23] 899*2^1234328-1 is not prime. Res64: 8C7FFAC6B520A926 Time : 0.0 sec. user=mdettweiler [2012-11-13 05:04:25] 681*2^1234329-1 is not prime. Res64: D478A07B616ECC5F Time : 0.0 sec. user=mdettweiler [2012-11-13 05:25:34] 789*2^1234329-1 is not prime. Res64: 8FCC63047254C0D7 Time : 0.0 sec. user=mdettweiler [2012-11-13 05:25:35] 835*2^1234329-1 is not prime. Res64: 7E85A93F2FB81C7C Time : 0.0 sec. user=mdettweiler [2012-11-13 05:26:35] 669*2^1234328-1 is not prime. Res64: 16DFE16B6A316791 Time : 0.0 sec. user=juhehe [2012-11-13 05:38:34] 751*2^1234329-1 is not prime. Res64: 7C17EDBFD72476A8 Time : 0.0 sec. user=juhehe [2012-11-13 05:38:44] 765*2^1234329-1 is not prime. Res64: 92217D01146CF36F Time : 0.0 sec. user=mdettweiler [2012-11-13 05:46:27] 847*2^1234329-1 is not prime. Res64: DA718E43950A2731 Time : 0.0 sec. user=mdettweiler [2012-11-13 05:46:28] 877*2^1234329-1 is not prime. Res64: 92F94E59C7552F45 Time : 0.0 sec. user=mdettweiler [2012-11-13 05:47:23] 889*2^1234329-1 is not prime. Res64: 89BF2AF2396CFE2A Time : 0.0 sec. user=mdettweiler [2012-11-13 05:47:24] 969*2^1234329-1 is not prime. Res64: 1F9FFBB061D90FE5 Time : 0.0 sec. user=mdettweiler [2012-11-13 06:07:16] 731*2^1234330-1 is not prime. Res64: F02A00F23B7D951A Time : 0.0 sec. user=mdettweiler [2012-11-13 06:07:18] 845*2^1234330-1 is not prime. Res64: 2D329ED5168EE2CA Time : 0.0 sec. user=mdettweiler [2012-11-13 06:08:11] 619*2^1234331-1 is not prime. Res64: E5C615ECC92C99F6 Time : 0.0 sec. user=mdettweiler [2012-11-13 06:08:12] 973*2^1234331-1 is not prime. Res64: 606EAE0DD2375FA6 Time : 0.0 sec. user=juhehe [2012-11-13 06:15:01] 611*2^1234330-1 is not prime. Res64: BA6038D9211004F6 Time : 0.0 sec. user=juhehe [2012-11-13 06:15:10] 675*2^1234330-1 is not prime. Res64: 8E78839C4E25BEF8 Time : 0.0 sec. user=mdettweiler [2012-11-13 06:28:21] 993*2^1234331-1 is not prime. Res64: 49B46F67138E9979 Time : 0.0 sec. user=mdettweiler [2012-11-13 06:28:22] 635*2^1234332-1 is not prime. Res64: AE732E61401D40EA Time : 0.0 sec. user=mdettweiler [2012-11-13 06:29:08] 695*2^1234332-1 is not prime. Res64: 537EF38DE9D997A8 Time : 0.0 sec. user=mdettweiler [2012-11-13 06:29:08] 717*2^1234332-1 is not prime. Res64: A7B07CC04E1CA418 Time : 0.0 sec. user=mdettweiler [2012-11-13 06:49:12] 825*2^1234332-1 is not prime. Res64: 53097C01B0A985FC Time : 0.0 sec. user=mdettweiler [2012-11-13 06:49:12] 887*2^1234332-1 is not prime. Res64: 5DB03A740BE742CD Time : 0.0 sec. user=mdettweiler [2012-11-13 06:49:57] 899*2^1234332-1 is not prime. Res64: 0803AE6BDA4CF51B Time : 0.0 sec. user=mdettweiler [2012-11-13 06:49:57] 903*2^1234332-1 is not prime. Res64: 2BE5C3195F5A43B6 Time : 0.0 sec. user=juhehe [2012-11-13 06:51:22] 749*2^1234332-1 is not prime. Res64: 744983E266B041E8 Time : 0.0 sec. user=juhehe [2012-11-13 06:51:31] 819*2^1234332-1 is not prime. Res64: 195A1DB8F6E2279A Time : 0.0 sec. user=mdettweiler [2012-11-13 07:10:00] 609*2^1234333-1 is not prime. Res64: 4F0B2AD936A12838 Time : 0.0 sec. user=mdettweiler [2012-11-13 07:10:02] 699*2^1234333-1 is not prime. Res64: 6CD5594F98C50D51 Time : 0.0 sec. user=mdettweiler [2012-11-13 07:10:47] 715*2^1234333-1 is not prime. Res64: 114BC6FBBA3FF56B Time : 0.0 sec. user=mdettweiler [2012-11-13 07:10:48] 745*2^1234333-1 is not prime. Res64: 9C4F92B57FED354C Time : 0.0 sec. user=juhehe [2012-11-13 07:28:02] 775*2^1234333-1 is not prime. Res64: 57127C154A28BE7D Time : 0.0 sec. user=juhehe [2012-11-13 07:28:19] 847*2^1234333-1 is not prime. Res64: 099E025743C1D6AC Time : 0.0 sec. user=mdettweiler [2012-11-13 07:30:59] 897*2^1234333-1 is not prime. Res64: E4937AC167F445AC Time : 0.0 sec. user=mdettweiler [2012-11-13 07:30:59] 915*2^1234333-1 is not prime. Res64: C1F351FB6DEB6D3C Time : 0.0 sec. user=mdettweiler [2012-11-13 07:31:37] 919*2^1234333-1 is not prime. Res64: 7C6BE74D99B30FF9 Time : 0.0 sec. user=mdettweiler [2012-11-13 07:31:37] 617*2^1234334-1 is not prime. Res64: 2F517A5E80E99357 Time : 0.0 sec. user=gd_barnes [2012-11-13 07:43:40] 915*2^1234334-1 is not prime. Res64: F1D9CC2A190F0433 Time : 0.0 sec. user=gd_barnes [2012-11-13 07:46:37] 609*2^1234335-1 is not prime. Res64: F1F3453E92C6EEC0 Time : 0.0 sec. user=gd_barnes [2012-11-13 07:49:26] 923*2^1234334-1 is not prime. Res64: 0B7511C0CF00A69A Time : 0.0 sec. user=mdettweiler [2012-11-13 07:51:47] 895*2^1234335-1 is not prime. Res64: 99F8A05ACE7D60E2 Time : 0.0 sec. user=mdettweiler [2012-11-13 07:51:47] 921*2^1234335-1 is not prime. Res64: 63468172275DD435 Time : 0.0 sec. user=mdettweiler [2012-11-13 07:52:24] 933*2^1234335-1 is not prime. Res64: 122433DA73DB8932 Time : 0.0 sec. user=mdettweiler [2012-11-13 07:52:24] 991*2^1234335-1 is not prime. Res64: 0966F9B475E75288 Time : 0.0 sec. user=juhehe [2012-11-13 08:05:09] 861*2^1234335-1 is not prime. Res64: 442AA09EE2ECCAA8 Time : 0.0 sec. user=mdettweiler [2012-11-13 08:12:36] 615*2^1234336-1 is not prime. Res64: 30C6FEEDF5603315 Time : 0.0 sec. user=mdettweiler [2012-11-13 08:12:37] 645*2^1234336-1 is not prime. Res64: 5E7F49660CD13FD8 Time : 0.0 sec. user=mdettweiler [2012-11-13 08:13:11] 717*2^1234336-1 is not prime. Res64: ECF35D30420927E3 Time : 0.0 sec. user=mdettweiler [2012-11-13 08:13:14] 849*2^1234336-1 is not prime. Res64: A05A39F343D2EE19 Time : 0.0 sec. user=mdettweiler [2012-11-13 08:33:40] 669*2^1234337-1 is not prime. Res64: 69FF680FF04A0C29 Time : 0.0 sec. user=mdettweiler [2012-11-13 08:33:41] 759*2^1234337-1 is not prime. Res64: 77F3EC10D5AF0282 Time : 0.0 sec. user=mdettweiler [2012-11-13 08:34:13] 861*2^1234337-1 is not prime. Res64: 3C748CF48313A0ED Time : 0.0 sec. user=mdettweiler [2012-11-13 08:34:14] 867*2^1234337-1 is not prime. Res64: 9FA9AFA591BDB871 Time : 0.0 sec. user=juhehe [2012-11-13 08:41:59] 939*2^1234336-1 is not prime. Res64: 8B661D9F761E2B57 Time : 0.0 sec. user=mdettweiler [2012-11-13 08:54:30] 875*2^1234338-1 is not prime. Res64: 22D0D7BB343D92EE Time : 0.0 sec. user=mdettweiler [2012-11-13 08:54:31] 1001*2^1234338-1 is not prime. Res64: 345C0BBB9789D28B Time : 0.0 sec. user=mdettweiler [2012-11-13 08:55:01] 631*2^1234339-1 is not prime. Res64: 3861BD2A4067F0E1 Time : 0.0 sec. user=mdettweiler [2012-11-13 08:55:02] 633*2^1234339-1 is not prime. Res64: AFBC55FC480C3B6F Time : 0.0 sec. user=juhehe [2012-11-13 09:13:24] 663*2^1234339-1 is not prime. Res64: 2BED37854DE10D47 Time : 0.0 sec. user=mdettweiler [2012-11-13 09:15:19] 931*2^1234339-1 is not prime. Res64: 1E3D4494658DABAD Time : 0.0 sec. user=mdettweiler [2012-11-13 09:15:20] 943*2^1234339-1 is not prime. Res64: E073FAE15F19E783 Time : 0.0 sec. user=mdettweiler [2012-11-13 09:15:49] 951*2^1234339-1 is not prime. Res64: 8BAB1DE83177CE4F Time : 0.0 sec. user=mdettweiler [2012-11-13 09:15:51] 647*2^1234340-1 is not prime. Res64: 0A8BBEFCCB3A29BF Time : 0.0 sec. user=juhehe [2012-11-13 09:18:21] 759*2^1234339-1 is not prime. Res64: 99E00CD6B2D548BA Time : 0.0 sec. user=mdettweiler [2012-11-13 09:36:23] 743*2^1234340-1 is not prime. Res64: 812BD84E348E8915 Time : 0.0 sec. user=mdettweiler [2012-11-13 09:36:23] 797*2^1234340-1 is not prime. Res64: 82341101328DE946 Time : 0.0 sec. user=mdettweiler [2012-11-13 09:36:46] 845*2^1234340-1 is not prime. Res64: 498BCF75DB38F0B8 Time : 0.0 sec. user=mdettweiler [2012-11-13 09:36:46] 855*2^1234340-1 is not prime. Res64: 6C772E655FBB402D Time : 0.0 sec. user=juhehe [2012-11-13 09:54:45] 657*2^1234341-1 is not prime. Res64: 38598E5E658EB4C5 Time : 0.0 sec. user=mdettweiler [2012-11-13 09:57:19] 735*2^1234341-1 is not prime. Res64: 6014BC50D6132184 Time : 0.0 sec. user=mdettweiler [2012-11-13 09:57:20] 741*2^1234341-1 is not prime. Res64: EF6C3053A5515013 Time : 0.0 sec. user=mdettweiler [2012-11-13 09:57:42] 745*2^1234341-1 is not prime. Res64: 2DA315C03C5F693A Time : 0.0 sec. user=mdettweiler [2012-11-13 09:57:42] 861*2^1234341-1 is not prime. Res64: 2D52EB606390EEF4 Time : 0.0 sec. user=mdettweiler [2012-11-13 10:18:12] 895*2^1234341-1 is not prime. Res64: 63D55DBB8FD4BB40 Time : 0.0 sec. user=mdettweiler [2012-11-13 10:18:13] 937*2^1234341-1 is not prime. Res64: A2BAA921AE980BFD Time : 0.0 sec. user=mdettweiler [2012-11-13 10:18:34] 827*2^1234342-1 is not prime. Res64: DFFB386B63F0A25B Time : 0.0 sec. user=mdettweiler [2012-11-13 10:18:34] 831*2^1234342-1 is not prime. Res64: F88615C4B9FBC320 Time : 0.0 sec. user=juhehe [2012-11-13 10:30:51] 885*2^1234341-1 is not prime. Res64: EBDEAA705891462C Time : 0.0 sec. user=mdettweiler [2012-11-13 10:39:05] 771*2^1234159-1 is not prime. Res64: 6ED4325B4FFD482C Time : 0.0 sec. user=mdettweiler [2012-11-13 10:39:05] 983*2^1234160-1 is not prime. Res64: D51DE546D9714AC4 Time : 0.0 sec. user=mdettweiler [2012-11-13 10:39:23] 637*2^1234161-1 is not prime. Res64: 594A2A8CBEA2C6AB Time : 0.0 sec. user=mdettweiler [2012-11-13 10:39:23] 669*2^1234161-1 is not prime. Res64: 60706C2D6A41DDB3 Time : 0.0 sec. user=juhehe [2012-11-13 10:58:50] 675*2^1234161-1 is not prime. Res64: B5D117928DBF9F8C Time : 0.0 sec. user=mdettweiler [2012-11-13 10:59:54] 747*2^1234161-1 is not prime. Res64: 78E626CCA5EC5B4E Time : 0.0 sec. user=mdettweiler [2012-11-13 10:59:54] 895*2^1234161-1 is not prime. Res64: B7AC41E63670E211 Time : 0.0 sec. user=mdettweiler [2012-11-13 11:00:15] 923*2^1234342-1 is not prime. Res64: 742715DA2CD114C6 Time : 0.0 sec. user=mdettweiler [2012-11-13 11:00:15] 1001*2^1234342-1 is not prime. Res64: EC74E3C4E777B92F Time : 0.0 sec. user=juhehe [2012-11-13 11:07:28] 739*2^1234161-1 is not prime. Res64: AE3874E87F5A7A72 Time : 0.0 sec. user=mdettweiler [2012-11-13 11:20:46] 663*2^1234343-1 is not prime. Res64: 2D06D1AD7A53597C Time : 0.0 sec. user=mdettweiler [2012-11-13 11:20:46] 721*2^1234343-1 is not prime. Res64: ECDC4735F40EA099 Time : 0.0 sec. user=mdettweiler [2012-11-13 11:21:08] 775*2^1234343-1 is not prime. Res64: C814A295C43AECEF Time : 0.0 sec. user=mdettweiler [2012-11-13 11:21:09] 861*2^1234343-1 is not prime. Res64: 2F83B91519C7D844 Time : 0.0 sec. user=mdettweiler [2012-11-13 11:41:41] 689*2^1234344-1 is not prime. Res64: B4031CA0C4C24634 Time : 0.0 sec. user=mdettweiler [2012-11-13 11:41:41] 705*2^1234344-1 is not prime. Res64: 477009CA42D48EC3 Time : 0.0 sec. user=mdettweiler [2012-11-13 11:42:00] 803*2^1234344-1 is not prime. Res64: 52E834903B9E6BA8 Time : 0.0 sec. user=mdettweiler [2012-11-13 11:42:01] 809*2^1234344-1 is not prime. Res64: A643722466E9B167 Time : 0.0 sec. user=juhehe [2012-11-13 11:44:12] 623*2^1234344-1 is not prime. Res64: 7AF9D596DA382A32 Time : 0.0 sec. user=mdettweiler [2012-11-13 12:02:34] 893*2^1234344-1 is not prime. Res64: E55633C173C10FB0 Time : 0.0 sec. user=mdettweiler [2012-11-13 12:02:34] 929*2^1234344-1 is not prime. Res64: 2C3D9C7A61EE58F7 Time : 0.0 sec. user=mdettweiler [2012-11-13 12:02:51] 607*2^1234345-1 is not prime. Res64: CBCD7E9B6E647190 Time : 0.0 sec. user=mdettweiler [2012-11-13 12:02:52] 645*2^1234345-1 is not prime. Res64: 4E2E7C7580B508F4 Time : 0.0 sec. user=juhehe [2012-11-13 12:20:12] 715*2^1234345-1 is not prime. Res64: 11FD2034C32F598A Time : 0.0 sec. user=mdettweiler [2012-11-13 12:23:35] 777*2^1234345-1 is not prime. Res64: D9D16E741BE892D5 Time : 0.0 sec. user=mdettweiler [2012-11-13 12:23:36] 789*2^1234345-1 is not prime. Res64: 885EF37BA9D5F350 Time : 0.0 sec. user=mdettweiler [2012-11-13 12:23:45] 817*2^1234345-1 is not prime. Res64: DC0296679427D921 Time : 0.0 sec. user=mdettweiler [2012-11-13 12:23:46] 855*2^1234345-1 is not prime. Res64: AD4C9F88BCA1786F Time : 0.0 sec. user=juhehe [2012-11-13 12:44:18] 889*2^1234345-1 is not prime. Res64: 976EEAB44B9F0CBF Time : 0.0 sec. user=mdettweiler [2012-11-13 12:44:34] 897*2^1234345-1 is not prime. Res64: 20F0924173232082 Time : 0.0 sec. user=mdettweiler [2012-11-13 12:44:34] 955*2^1234345-1 is not prime. Res64: 97DBEE735C7A3C0B Time : 0.0 sec. user=mdettweiler [2012-11-13 12:44:37] 603*2^1234346-1 is not prime. Res64: 2C61E26276DA385B Time : 0.0 sec. user=mdettweiler [2012-11-13 12:44:38] 627*2^1234346-1 is not prime. Res64: BBDD182B828C0713 Time : 0.0 sec. user=mdettweiler [2012-11-13 13:05:29] 783*2^1234346-1 is not prime. Res64: 1BA375395733287C Time : 0.0 sec. user=mdettweiler [2012-11-13 13:05:30] 635*2^1234346-1 is not prime. Res64: 691C4634E2790DA8 Time : 0.0 sec. user=mdettweiler [2012-11-13 13:05:31] 875*2^1234346-1 is not prime. Res64: 6E58D7556624070F Time : 0.0 sec. user=mdettweiler [2012-11-13 13:05:32] 741*2^1234346-1 is not prime. Res64: ED6F0DD3898359BD Time : 0.0 sec. user=mdettweiler [2012-11-13 13:26:30] 971*2^1234346-1 is not prime. Res64: 537AE8B4D1849208 Time : 0.0 sec. user=mdettweiler [2012-11-13 13:26:30] 619*2^1234347-1 is not prime. Res64: 7C2D5F4428A1DF18 Time : 0.0 sec. user=mdettweiler [2012-11-13 13:26:30] 669*2^1234347-1 is not prime. Res64: 3C66D85CDD51DB10 Time : 0.0 sec. user=mdettweiler [2012-11-13 13:26:31] 709*2^1234347-1 is not prime. Res64: A0CE1EF6E7422C0B Time : 0.0 sec. user=juhehe [2012-11-13 13:31:17] 941*2^1234346-1 is not prime. Res64: F7AB91A2FBCD3AAE Time : 0.0 sec. user=mdettweiler [2012-11-13 13:47:20] 735*2^1234186-1 is not prime. Res64: B1F1085388A5DC23 Time : 0.0 sec. user=mdettweiler [2012-11-13 13:47:20] 917*2^1234186-1 is not prime. Res64: F2B23B613701C947 Time : 0.0 sec. user=mdettweiler [2012-11-13 13:47:20] 833*2^1234186-1 is not prime. Res64: A1C000BF19D865A1 Time : 0.0 sec. user=mdettweiler [2012-11-13 13:47:21] 971*2^1234186-1 is not prime. Res64: B2FF40A72D6F68B0 Time : 0.0 sec. user=juhehe [2012-11-13 13:55:08] 705*2^1234186-1 is not prime. Res64: 00B7E5A8FDB4C2E3 Time : 0.0 sec. user=juhehe [2012-11-13 14:07:53] 601*2^1234187-1 is not prime. Res64: 7E7C57C009E6FB55 Time : 0.0 sec. user=mdettweiler [2012-11-13 14:08:10] 699*2^1234188-1 is not prime. Res64: FFE6F6682A781FF9 Time : 0.0 sec. user=mdettweiler [2012-11-13 14:08:11] 759*2^1234188-1 is not prime. Res64: FBE1836D20F800CA Time : 0.0 sec. user=mdettweiler [2012-11-13 14:08:13] 765*2^1234347-1 is not prime. Res64: 98165272EA7C00F2 Time : 0.0 sec. user=mdettweiler [2012-11-13 14:08:15] 781*2^1234347-1 is not prime. Res64: 7D8AB7E7F507F6FA Time : 0.0 sec. user=mdettweiler [2012-11-13 14:29:06] 909*2^1234347-1 is not prime. Res64: F563C5691779B028 Time : 0.0 sec. user=mdettweiler [2012-11-13 14:29:06] 615*2^1234348-1 is not prime. Res64: 287AD4483B810250 Time : 0.0 sec. user=mdettweiler [2012-11-13 14:29:11] 813*2^1234348-1 is not prime. Res64: D876B6F6D684D556 Time : 0.0 sec. user=mdettweiler [2012-11-13 14:29:11] 855*2^1234348-1 is not prime. Res64: D3FAF66E25185ABC Time : 0.0 sec. user=juhehe [2012-11-13 14:46:55] 895*2^1234347-1 is not prime. Res64: E6C0386255DB99B7 Time : 0.0 sec. user=mdettweiler [2012-11-13 14:49:59] 863*2^1234348-1 is not prime. Res64: F095ECBF6C170C2B Time : 0.0 sec. user=mdettweiler [2012-11-13 14:49:59] 885*2^1234348-1 is not prime. Res64: EC328B1E9A18F2C6 Time : 0.0 sec. user=mdettweiler [2012-11-13 14:50:03] 957*2^1234348-1 is not prime. Res64: B06EC200FDEC2A1F Time : 0.0 sec. user=mdettweiler [2012-11-13 14:50:03] 989*2^1234348-1 is not prime. Res64: C0004B6E9D1B14A8 Time : 0.0 sec. user=mdettweiler [2012-11-13 15:10:50] 631*2^1234349-1 is not prime. Res64: 8ABE713EEDD21E36 Time : 0.0 sec. user=mdettweiler [2012-11-13 15:10:52] 847*2^1234349-1 is not prime. Res64: 94807A159AB01CC4 Time : 0.0 sec. user=mdettweiler [2012-11-13 15:10:54] 889*2^1234349-1 is not prime. Res64: E83D42B2BE22F9B3 Time : 0.0 sec. user=mdettweiler [2012-11-13 15:10:56] 955*2^1234349-1 is not prime. Res64: 63EE003F0F451431 Time : 0.0 sec. user=juhehe [2012-11-13 15:30:20] 619*2^1234349-1 is not prime. Res64: BA14B297B351744C Time : 0.0 sec. user=mdettweiler [2012-11-13 15:31:49] 611*2^1234350-1 is not prime. Res64: C16EF5AF601B5886 Time : 0.0 sec. user=mdettweiler [2012-11-13 15:31:50] 615*2^1234350-1 is not prime. Res64: 0B1AB3DC753AC296 Time : 0.0 sec. user=mdettweiler [2012-11-13 15:31:51] 755*2^1234350-1 is not prime. Res64: DBEA096A4E6F888F Time : 0.0 sec. user=mdettweiler [2012-11-13 15:31:52] 765*2^1234350-1 is not prime. Res64: E6F129E2BABCB615 Time : 0.0 sec. user=mdettweiler [2012-11-13 15:52:41] 759*2^1234351-1 is not prime. Res64: C63A6C43D9188DBE Time : 0.0 sec. user=mdettweiler [2012-11-13 15:52:41] 771*2^1234351-1 is not prime. Res64: 559A233C483A7D84 Time : 0.0 sec. user=mdettweiler [2012-11-13 15:52:42] 805*2^1234351-1 is not prime. Res64: 1A1892B7E3DAD4F6 Time : 0.0 sec. user=mdettweiler [2012-11-13 15:52:42] 829*2^1234351-1 is not prime. Res64: 5FECBD730BD2E94D Time : 0.0 sec. user=juhehe [2012-11-13 16:12:35] 705*2^1234351-1 is not prime. Res64: D26D730D042C8F3C Time : 0.0 sec. user=mdettweiler [2012-11-13 16:13:31] 895*2^1234351-1 is not prime. Res64: EE8B518CB8D8E368 Time : 0.0 sec. user=mdettweiler [2012-11-13 16:13:33] 975*2^1234351-1 is not prime. Res64: 64E4C7A9CA68FB3B Time : 0.0 sec. user=mdettweiler [2012-11-13 16:13:34] 615*2^1234352-1 is not prime. Res64: EEFBA563EF934C01 Time : 0.0 sec. user=mdettweiler [2012-11-13 16:13:37] 677*2^1234352-1 is not prime. Res64: D200D3D576F33944 Time : 0.0 sec. user=mdettweiler [2012-11-13 16:34:30] 609*2^1234353-1 is not prime. Res64: 29E85F8C80BD9059 Time : 0.0 sec. user=mdettweiler [2012-11-13 16:34:31] 675*2^1234353-1 is not prime. Res64: 16733FB86CB97E9C Time : 0.0 sec. user=mdettweiler [2012-11-13 16:34:35] 705*2^1234353-1 is not prime. Res64: F3F017BD378712DC Time : 0.0 sec. user=mdettweiler [2012-11-13 16:34:36] 951*2^1234353-1 is not prime. Res64: 71EA25AA7009BD51 Time : 0.0 sec. user=juhehe [2012-11-13 16:55:27] 693*2^1234352-1 is not prime. Res64: 5ADE8F0B1FD1936F Time : 0.0 sec. user=mdettweiler [2012-11-13 16:55:57] 979*2^1234353-1 is not prime. Res64: 78A1FAE9B1D247FF Time : 0.0 sec. user=mdettweiler [2012-11-13 16:55:58] 723*2^1234354-1 is not prime. Res64: 378010ADE674D974 Time : 0.0 sec. user=mdettweiler [2012-11-13 16:56:00] 803*2^1234354-1 is not prime. Res64: DA146EDDE411DC49 Time : 0.0 sec. user=mdettweiler [2012-11-13 16:56:00] 815*2^1234354-1 is not prime. Res64: 6513A55EE735E98A Time : 0.0 sec. user=mdettweiler [2012-11-13 17:17:03] 699*2^1234355-1 is not prime. Res64: 4690F85E5189E77A Time : 0.0 sec. user=mdettweiler [2012-11-13 17:17:09] 979*2^1234355-1 is not prime. Res64: F9A9E37110B7355E Time : 0.0 sec. user=mdettweiler [2012-11-13 17:17:15] 759*2^1234355-1 is not prime. Res64: E363ED607FE80DA4 Time : 0.0 sec. user=juhehe [2012-11-13 17:37:43] 917*2^1234354-1 is not prime. Res64: B7314C4B47364293 Time : 0.0 sec. user=mdettweiler [2012-11-13 17:38:46] 705*2^1234356-1 is not prime. Res64: FEEDD63CA9B5E308 Time : 0.0 sec. user=mdettweiler [2012-11-13 17:38:47] 845*2^1234356-1 is not prime. Res64: C4880604B126A9E4 Time : 0.0 sec. user=mdettweiler [2012-11-13 17:59:51] 651*2^1234357-1 is not prime. Res64: 38736B4170A1E2C9 Time : 0.0 sec. user=mdettweiler [2012-11-13 17:59:52] 717*2^1234357-1 is not prime. Res64: 05E2E7934E009642 Time : 0.0 sec. user=mdettweiler [2012-11-13 18:09:59] 647*2^1234356-1 is not prime. Res64: 7877319A8608970B Time : 0.0 sec. user=juhehe [2012-11-13 18:19:55] 621*2^1234357-1 is not prime. Res64: BDE0AB1DD8B73509 Time : 0.0 sec. user=mdettweiler [2012-11-13 18:20:54] 931*2^1234357-1 is not prime. Res64: 8FC24DEC65C96867 Time : 0.0 sec. user=mdettweiler [2012-11-13 18:20:56] 683*2^1234358-1 is not prime. Res64: 81B30D6421BA4259 Time : 0.0 sec. user=mdettweiler [2012-11-13 18:31:25] 713*2^1234358-1 is not prime. Res64: 8A776003D990B45D Time : 0.0 sec. user=mdettweiler [2012-11-13 18:31:26] 971*2^1234358-1 is not prime. Res64: 53DBF294F5A6BB10 Time : 0.0 sec. user=mdettweiler [2012-11-13 18:42:18] 669*2^1234359-1 is not prime. Res64: 2954ED1EF722A3B5 Time : 0.0 sec. user=mdettweiler [2012-11-13 18:42:18] 703*2^1234359-1 is not prime. Res64: 910E8AEF7A380C2D Time : 0.0 sec. user=mdettweiler [2012-11-13 18:52:29] 793*2^1234359-1 is not prime. Res64: FDAFF8F44B5C4499 Time : 0.0 sec. user=mdettweiler [2012-11-13 18:52:29] 825*2^1234359-1 is not prime. Res64: 5153FA58EB8ACFDD Time : 0.0 sec. user=juhehe [2012-11-13 19:02:26] 661*2^1234359-1 is not prime. Res64: 6752FCB671CFD8F6 Time : 0.0 sec. user=mdettweiler [2012-11-13 19:03:26] 843*2^1234359-1 is not prime. Res64: AE7E0ADC7EBDDC43 Time : 0.0 sec. user=mdettweiler [2012-11-13 19:03:30] 759*2^1234360-1 is not prime. Res64: D762F22462F705BC Time : 0.0 sec. user=mdettweiler [2012-11-13 19:13:44] 785*2^1234360-1 is not prime. Res64: 32988F0780C55060 Time : 0.0 sec. user=mdettweiler [2012-11-13 19:13:45] 863*2^1234360-1 is not prime. Res64: 27EBF8B14B908211 Time : 0.0 sec. user=mdettweiler [2012-11-13 19:24:55] 999*2^1234360-1 is not prime. Res64: 8703C3A369999065 Time : 0.0 sec. user=mdettweiler [2012-11-13 19:24:56] 607*2^1234361-1 is not prime. Res64: 608E74ED8D5C9963 Time : 0.0 sec. user=mdettweiler [2012-11-13 19:34:58] 669*2^1234361-1 is not prime. Res64: 31A726875C6CBFB3 Time : 0.0 sec. user=mdettweiler [2012-11-13 19:34:58] 711*2^1234361-1 is not prime. Res64: 64F81A3BF2D16798 Time : 0.0 sec. user=mdettweiler [2012-11-13 19:46:08] 829*2^1234361-1 is not prime. Res64: 4BDFB814BAEE6633 Time : 0.0 sec. user=mdettweiler [2012-11-13 19:46:09] 837*2^1234361-1 is not prime. Res64: D2A80B99BC64268B Time : 0.0 sec. user=juhehe [2012-11-13 19:46:12] 989*2^1234360-1 is not prime. Res64: 2667F25587F9CB7A Time : 0.0 sec. user=mdettweiler [2012-11-13 19:56:08] 879*2^1234361-1 is not prime. Res64: 414381EF1A7ECE35 Time : 0.0 sec. user=mdettweiler [2012-11-13 19:56:08] 657*2^1234362-1 is not prime. Res64: EF7FDBC600DBE966 Time : 0.0 sec. user=mdettweiler [2012-11-13 20:07:17] 671*2^1234362-1 is not prime. Res64: 3FC3937C22C4AF8C Time : 0.0 sec. user=mdettweiler [2012-11-13 20:07:19] 711*2^1234362-1 is not prime. Res64: 9DAE95548B95C3AD Time : 0.0 sec. user=mdettweiler [2012-11-13 20:17:18] 741*2^1234362-1 is not prime. Res64: 1A333781AD82476A Time : 0.0 sec. user=mdettweiler [2012-11-13 20:17:22] 807*2^1234362-1 is not prime. Res64: 5E2EAF734B06F4A6 Time : 0.0 sec. user=juhehe [2012-11-13 20:28:28] 717*2^1234362-1 is not prime. Res64: 32CFC85B6903B89A Time : 0.0 sec. user=mdettweiler [2012-11-13 20:28:37] 837*2^1234362-1 is not prime. Res64: 8EE6272249D3E061 Time : 0.0 sec. user=mdettweiler [2012-11-13 20:28:37] 741*2^1234363-1 is not prime. Res64: 93FE5A0F724643CF Time : 0.0 sec. user=mdettweiler [2012-11-13 20:38:51] 889*2^1234363-1 is not prime. Res64: 8659C7F002A2116D Time : 0.0 sec. user=mdettweiler [2012-11-13 20:38:53] 915*2^1234363-1 is not prime. Res64: 1D89CEFAE8673FBB Time : 0.0 sec. user=mdettweiler [2012-11-13 20:49:46] 687*2^1234364-1 is not prime. Res64: 019B7447A26C068F Time : 0.0 sec. user=mdettweiler [2012-11-13 20:49:46] 707*2^1234364-1 is not prime. Res64: DFDA5C0AD5ED6CA6 Time : 0.0 sec. user=mdettweiler [2012-11-13 21:00:10] 725*2^1234364-1 is not prime. Res64: 7885FA73D6A46B26 Time : 0.0 sec. user=mdettweiler [2012-11-13 21:00:11] 959*2^1234364-1 is not prime. Res64: B9E11EEFE7F8EEBA Time : 0.0 sec. user=juhehe [2012-11-13 21:08:05] 665*2^1234364-1 is not prime. Res64: 72B7718A5277057F Time : 0.0 sec. user=mdettweiler [2012-11-13 21:11:01] 709*2^1234365-1 is not prime. Res64: FFCEF469E08022E2 Time : 0.0 sec. user=mdettweiler [2012-11-13 21:11:02] 721*2^1234365-1 is not prime. Res64: 7126166011F161E9 Time : 0.0 sec. user=mdettweiler [2012-11-13 21:21:22] 727*2^1234365-1 is not prime. Res64: 21F20426E8D9538B Time : 0.0 sec. user=mdettweiler [2012-11-13 21:21:26] 817*2^1234365-1 is not prime. Res64: 9242497F1B86E32E Time : 0.0 sec. user=juhehe [2012-11-13 21:23:16] 995*2^1234364-1 is not prime. Res64: 9FB332F8358FEC31 Time : 0.0 sec. user=mdettweiler [2012-11-13 21:32:12] 999*2^1234365-1 is not prime. Res64: 1FB9DF3665D73F57 Time : 0.0 sec. user=mdettweiler [2012-11-13 21:32:13] 713*2^1234366-1 is not prime. Res64: 9D7DE30ADB539874 Time : 0.0 sec. user=mdettweiler [2012-11-13 21:42:54] 723*2^1234366-1 is not prime. Res64: 960BC98A44516121 Time : 0.0 sec. user=mdettweiler [2012-11-13 21:42:54] 965*2^1234366-1 is not prime. Res64: 22D3525857B9E6BF Time : 0.0 sec. user=juhehe [2012-11-13 21:44:30] 919*2^1234365-1 is not prime. Res64: 493FC14FDF461A81 Time : 0.0 sec. user=mdettweiler [2012-11-13 21:53:21] 655*2^1234367-1 is not prime. Res64: 57373C86EF1F99DC Time : 0.0 sec. user=mdettweiler [2012-11-13 21:53:21] 703*2^1234367-1 is not prime. Res64: 7E5A73471AF99028 Time : 0.0 sec. user=juhehe [2012-11-13 21:59:52] 651*2^1234367-1 is not prime. Res64: 58A20158E9B0614A Time : 0.0 sec. user=mdettweiler [2012-11-13 22:04:03] 729*2^1234367-1 is not prime. Res64: 3AE28E948C20FCAD Time : 0.0 sec. user=mdettweiler [2012-11-13 22:04:03] 939*2^1234367-1 is not prime. Res64: F4629D8DCDD7336F Time : 0.0 sec. user=mdettweiler [2012-11-13 22:14:29] 767*2^1234368-1 is not prime. Res64: 15D3354C193C83F3 Time : 0.0 sec. user=mdettweiler [2012-11-13 22:14:31] 789*2^1234368-1 is not prime. Res64: 00A2250627B4FC18 Time : 0.0 sec. user=juhehe [2012-11-13 22:20:30] 707*2^1234368-1 is not prime. Res64: 69D2DD41CA015C23 Time : 0.0 sec. user=mdettweiler [2012-11-13 22:25:20] 999*2^1234368-1 is not prime. Res64: CF99D22A80477035 Time : 0.0 sec. user=mdettweiler [2012-11-13 22:25:21] 769*2^1234369-1 is not prime. Res64: B12C677C9F5542D3 Time : 0.0 sec. user=mdettweiler [2012-11-13 22:35:54] 807*2^1234369-1 is not prime. Res64: 83D6402D76FAB178 Time : 0.0 sec. user=mdettweiler [2012-11-13 22:35:54] 847*2^1234369-1 is not prime. Res64: 47D2254BB8DAC665 Time : 0.0 sec. user=juhehe [2012-11-13 22:36:21] 899*2^1234368-1 is not prime. Res64: 8F9A2C830958E7BC Time : 0.0 sec. user=mdettweiler [2012-11-13 22:46:29] 925*2^1234369-1 is not prime. Res64: A2A1180C79348522 Time : 0.0 sec. user=mdettweiler [2012-11-13 22:46:29] 955*2^1234369-1 is not prime. Res64: 33B08900C08528EF Time : 0.0 sec. user=juhehe [2012-11-13 22:57:02] 895*2^1234369-1 is not prime. Res64: DB65FE71F75BD432 Time : 0.0 sec. user=mdettweiler [2012-11-13 22:57:03] 967*2^1234369-1 is not prime. Res64: 354C5CE1A2A5FA97 Time : 0.0 sec. user=mdettweiler [2012-11-13 22:57:03] 615*2^1234370-1 is not prime. Res64: 76DB05F7216E396B Time : 0.0 sec. user=mdettweiler [2012-11-13 23:07:38] 717*2^1234370-1 is not prime. Res64: C5CA094831B206E6 Time : 0.0 sec. user=mdettweiler [2012-11-13 23:07:39] 831*2^1234370-1 is not prime. Res64: A0109EE35BA377EF Time : 0.0 sec. user=juhehe [2012-11-13 23:12:43] 671*2^1234370-1 is not prime. Res64: DBCFCECA93243887 Time : 0.0 sec. user=mdettweiler [2012-11-13 23:18:13] 679*2^1234371-1 is not prime. Res64: 2B798B608D68FCDC Time : 0.0 sec. user=mdettweiler [2012-11-13 23:18:19] 691*2^1234371-1 is not prime. Res64: 559C1C2738CED5D2 Time : 0.0 sec. user=mdettweiler [2012-11-13 23:28:58] 783*2^1234371-1 is not prime. Res64: 165D7D3E8FE152D8 Time : 0.0 sec. user=mdettweiler [2012-11-13 23:28:59] 835*2^1234371-1 is not prime. Res64: 55A5DE24438A9E9E Time : 0.0 sec. user=juhehe [2012-11-13 23:33:25] 609*2^1234371-1 is not prime. Res64: 40054A004CB193D2 Time : 0.0 sec. user=mdettweiler [2012-11-13 23:39:44] 979*2^1234371-1 is not prime. Res64: B8C2838F7A0EC4B7 Time : 0.0 sec. user=mdettweiler [2012-11-13 23:39:45] 615*2^1234372-1 is not prime. Res64: 7590440BC4D1D9F3 Time : 0.0 sec. user=juhehe [2012-11-13 23:49:05] 871*2^1234371-1 is not prime. Res64: 910123B369C286AE Time : 0.0 sec. user=mdettweiler [2012-11-13 23:50:12] 617*2^1234372-1 is not prime. Res64: FCD783419CC18C54 Time : 0.0 sec. user=mdettweiler [2012-11-13 23:50:12] 665*2^1234372-1 is not prime. Res64: B1CBEBDB43CA6A3F Time : 0.0 sec. user=mdettweiler [2012-11-14 00:00:52] 743*2^1234372-1 is not prime. Res64: 1303AC0C11F3CF42 Time : 0.0 sec. user=mdettweiler [2012-11-14 00:00:52] 779*2^1234372-1 is not prime. Res64: D2A063F105CB0E06 Time : 0.0 sec.