user=mdettweiler [2012-12-27 00:03:27] 887*2^1238110-1 is not prime. Res64: D5C87A9F6B20A550 Time : 0.0 sec. user=mdettweiler [2012-12-27 00:03:29] 957*2^1238110-1 is not prime. Res64: 38B4586A634E40F1 Time : 0.0 sec. user=mdettweiler [2012-12-27 00:11:45] 609*2^1238111-1 is not prime. Res64: FDBE8AB5ECEC249E Time : 0.0 sec. user=mdettweiler [2012-12-27 00:11:48] 619*2^1238111-1 is not prime. Res64: E8C86E8D3D5C7AD9 Time : 0.0 sec. user=mdettweiler [2012-12-27 00:21:10] 711*2^1238111-1 is not prime. Res64: 828ABCB508731DDC Time : 0.0 sec. user=mdettweiler [2012-12-27 00:21:10] 775*2^1238111-1 is not prime. Res64: F1A0B9D505128243 Time : 0.0 sec. user=mdettweiler [2012-12-27 00:29:12] 855*2^1238111-1 is not prime. Res64: 6C23B9005392605B Time : 0.0 sec. user=mdettweiler [2012-12-27 00:29:14] 879*2^1238111-1 is not prime. Res64: AB29C3C1AF910F6C Time : 0.0 sec. user=vaughan [2012-12-27 00:29:21] 603*2^1238111-1 is not prime. Res64: 15EBE44228F7CC59 Time : 0.0 sec. user=mdettweiler [2012-12-27 00:38:32] 999*2^1238111-1 is not prime. Res64: 354CDA8F78844689 Time : 0.0 sec. user=mdettweiler [2012-12-27 00:38:33] 717*2^1238112-1 is not prime. Res64: C6D9577C7CC8A83D Time : 0.0 sec. user=mdettweiler [2012-12-27 00:46:36] 747*2^1238112-1 is not prime. Res64: 859E0B70144AA34E Time : 0.0 sec. user=mdettweiler [2012-12-27 00:46:37] 753*2^1238112-1 is not prime. Res64: 6633FFA5F89BC674 Time : 0.0 sec. user=mdettweiler [2012-12-27 00:55:54] 767*2^1238112-1 is not prime. Res64: 3F0E5E5E4B5E3229 Time : 0.0 sec. user=mdettweiler [2012-12-27 00:55:55] 809*2^1238112-1 is not prime. Res64: BEA8D7FCBBA82AA6 Time : 0.0 sec. user=mdettweiler [2012-12-27 01:03:58] 819*2^1238112-1 is not prime. Res64: 54A33EED78DBD622 Time : 0.0 sec. user=mdettweiler [2012-12-27 01:03:59] 975*2^1238112-1 is not prime. Res64: 551F2B9E71590313 Time : 0.0 sec. user=vaughan [2012-12-27 01:07:10] 759*2^1238112-1 is not prime. Res64: 48D43422DBA786CB Time : 0.0 sec. user=mdettweiler [2012-12-27 01:13:16] 615*2^1238113-1 is not prime. Res64: 58468F1A41A42466 Time : 0.0 sec. user=mdettweiler [2012-12-27 01:13:18] 705*2^1238113-1 is not prime. Res64: 9BAA3A84206597FF Time : 0.0 sec. user=mdettweiler [2012-12-27 01:21:22] 729*2^1238113-1 is not prime. Res64: 59FDE37DF0517758 Time : 0.0 sec. user=mdettweiler [2012-12-27 01:21:23] 769*2^1238113-1 is not prime. Res64: B9D44805412E4690 Time : 0.0 sec. user=mdettweiler [2012-12-27 01:30:47] 829*2^1238113-1 is not prime. Res64: DEFBE93BF4CC7CD0 Time : 0.0 sec. user=mdettweiler [2012-12-27 01:30:48] 641*2^1238114-1 is not prime. Res64: D19F44759BA140E8 Time : 0.0 sec. user=mdettweiler [2012-12-27 01:38:43] 827*2^1238114-1 is not prime. Res64: B08E2D34E218D273 Time : 0.0 sec. user=mdettweiler [2012-12-27 01:38:44] 837*2^1238114-1 is not prime. Res64: E64D4A4FDAB405DD Time : 0.0 sec. user=vaughan [2012-12-27 01:45:16] 801*2^1238113-1 is not prime. Res64: E3B75762A742D18A Time : 0.0 sec. user=mdettweiler [2012-12-27 01:48:09] 861*2^1238114-1 is not prime. Res64: D435FCAA6BA3371A Time : 0.0 sec. user=mdettweiler [2012-12-27 01:48:09] 873*2^1238115-1 is not prime. Res64: B07D6E16080C62DF Time : 0.0 sec. user=mdettweiler [2012-12-27 01:56:04] 895*2^1238115-1 is not prime. Res64: 47D222737E80B274 Time : 0.0 sec. user=mdettweiler [2012-12-27 01:56:04] 693*2^1238116-1 is not prime. Res64: 855211BF09FA3BA3 Time : 0.0 sec. user=mdettweiler [2012-12-27 02:05:30] 957*2^1238116-1 is not prime. Res64: A57061E843ECAEC6 Time : 0.0 sec. user=mdettweiler [2012-12-27 02:05:31] 645*2^1238117-1 is not prime. Res64: 12D50640FF66593D Time : 0.0 sec. user=mdettweiler [2012-12-27 02:13:25] 669*2^1238117-1 is not prime. Res64: 6263DE25CD37A862 Time : 0.0 sec. user=mdettweiler [2012-12-27 02:13:26] 717*2^1238117-1 is not prime. Res64: 3494A9A844AC0C0B Time : 0.0 sec. user=mdettweiler [2012-12-27 02:22:56] 777*2^1238117-1 is not prime. Res64: 124F57DA368C40F8 Time : 0.0 sec. user=mdettweiler [2012-12-27 02:22:57] 805*2^1238117-1 is not prime. Res64: 6D050374ED4CE048 Time : 0.0 sec. user=vaughan [2012-12-27 02:23:03] 749*2^1238116-1 is not prime. Res64: 55DE0C7E07F9A6F6 Time : 0.0 sec. user=mdettweiler [2012-12-27 02:30:47] 871*2^1238117-1 is not prime. Res64: C50E8B17AE6F08E2 Time : 0.0 sec. user=mdettweiler [2012-12-27 02:30:48] 879*2^1238117-1 is not prime. Res64: 7CC1D9A03DB8C369 Time : 0.0 sec. user=mdettweiler [2012-12-27 02:40:19] 939*2^1238117-1 is not prime. Res64: BCE08A3046B8F117 Time : 0.0 sec. user=mdettweiler [2012-12-27 02:40:21] 985*2^1238117-1 is not prime. Res64: D2F099D10484B158 Time : 0.0 sec. user=mdettweiler [2012-12-27 02:48:15] 945*2^1238118-1 is not prime. Res64: 675F413E58E80E92 Time : 0.0 sec. user=mdettweiler [2012-12-27 02:48:18] 679*2^1238119-1 is not prime. Res64: F6F4A3D76762ECEA Time : 0.0 sec. user=mdettweiler [2012-12-27 02:57:52] 709*2^1238119-1 is not prime. Res64: 0DA203051AB4AF67 Time : 0.0 sec. user=mdettweiler [2012-12-27 02:57:54] 735*2^1238119-1 is not prime. Res64: 656C8AD124C2D5E7 Time : 0.0 sec. user=vaughan [2012-12-27 03:00:50] 755*2^1238118-1 is not prime. Res64: 4B8187780F679730 Time : 0.0 sec. user=mdettweiler [2012-12-27 03:05:55] 745*2^1238119-1 is not prime. Res64: EE902E13F0107CA6 Time : 0.0 sec. user=mdettweiler [2012-12-27 03:05:57] 759*2^1238119-1 is not prime. Res64: 9EEDEDECAAEA5BB6 Time : 0.0 sec. user=mdettweiler [2012-12-27 03:15:26] 931*2^1238119-1 is not prime. Res64: 29C2F44BE42E49A7 Time : 0.0 sec. user=mdettweiler [2012-12-27 03:15:26] 985*2^1238119-1 is not prime. Res64: 8010B8EA2E5F71A3 Time : 0.0 sec. user=mdettweiler [2012-12-27 03:23:18] 753*2^1238120-1 is not prime. Res64: 6ED854A0AD3608E8 Time : 0.0 sec. user=mdettweiler [2012-12-27 03:23:19] 759*2^1238120-1 is not prime. Res64: BC2D5A26050DD919 Time : 0.0 sec. user=mdettweiler [2012-12-27 03:32:49] 825*2^1238120-1 is not prime. Res64: 2A64556E2DDA8741 Time : 0.0 sec. user=mdettweiler [2012-12-27 03:32:51] 839*2^1238120-1 is not prime. Res64: D548084ECA241C19 Time : 0.0 sec. user=mdettweiler [2012-12-27 03:40:40] 875*2^1238120-1 is not prime. Res64: 1B84CB866E3AD86D Time : 0.0 sec. user=mdettweiler [2012-12-27 03:40:43] 923*2^1238120-1 is not prime. Res64: 51C0019A12EB2768 Time : 0.0 sec. user=mdettweiler [2012-12-27 03:50:17] 661*2^1238121-1 is not prime. Res64: 1D4276CA8AE25AC8 Time : 0.0 sec. user=mdettweiler [2012-12-27 03:50:17] 679*2^1238121-1 is not prime. Res64: 06AE4826D0447E5F Time : 0.0 sec. user=mdettweiler [2012-12-27 03:58:19] 711*2^1238121-1 is not prime. Res64: 696B169367879235 Time : 0.0 sec. user=mdettweiler [2012-12-27 03:58:19] 741*2^1238121-1 is not prime. Res64: DF41A9D192BA236C Time : 0.0 sec. user=mdettweiler [2012-12-27 04:07:39] 751*2^1238121-1 is not prime. Res64: 73B0E47D70F99AE8 Time : 0.0 sec. user=mdettweiler [2012-12-27 04:07:40] 837*2^1238121-1 is not prime. Res64: 1CB53F69D013689B Time : 0.0 sec. user=mdettweiler [2012-12-27 04:15:40] 847*2^1238121-1 is not prime. Res64: 10C740D2E4ED972E Time : 0.0 sec. user=mdettweiler [2012-12-27 04:15:41] 861*2^1238121-1 is not prime. Res64: 125F8C4B442E36FA Time : 0.0 sec. user=mdettweiler [2012-12-27 04:25:07] 867*2^1238121-1 is not prime. Res64: 9DDA95D29C16D9F4 Time : 0.0 sec. user=mdettweiler [2012-12-27 04:25:07] 895*2^1238121-1 is not prime. Res64: 7009BB0EE71E094E Time : 0.0 sec. user=mdettweiler [2012-12-27 04:33:04] 611*2^1238122-1 is not prime. Res64: 51699D369FA46E47 Time : 0.0 sec. user=mdettweiler [2012-12-27 04:33:07] 635*2^1238122-1 is not prime. Res64: 12E938B2A214F359 Time : 0.0 sec. user=mdettweiler [2012-12-27 04:42:33] 675*2^1238122-1 is not prime. Res64: 4727BC47AF6B4756 Time : 0.0 sec. user=mdettweiler [2012-12-27 04:42:33] 695*2^1238122-1 is not prime. Res64: 317A19993CC77165 Time : 0.0 sec. user=mdettweiler [2012-12-27 04:50:38] 801*2^1238122-1 is not prime. Res64: 263480278697EC92 Time : 0.0 sec. user=mdettweiler [2012-12-27 04:50:39] 813*2^1238122-1 is not prime. Res64: 73174119F562DD8C Time : 0.0 sec. user=mdettweiler [2012-12-27 04:59:55] 831*2^1238122-1 is not prime. Res64: 8A88AEB83520D9D4 Time : 0.0 sec. user=mdettweiler [2012-12-27 04:59:55] 857*2^1238122-1 is not prime. Res64: 89FA52F6952C90D6 Time : 0.0 sec. user=mdettweiler [2012-12-27 05:08:00] 741*2^1238123-1 is not prime. Res64: 46FC29F813C44121 Time : 0.0 sec. user=mdettweiler [2012-12-27 05:08:01] 693*2^1238124-1 is not prime. Res64: 294BABFA1DF84644 Time : 0.0 sec. user=mdettweiler [2012-12-27 05:17:16] 773*2^1238124-1 is not prime. Res64: 77D07A14D1971DD2 Time : 0.0 sec. user=mdettweiler [2012-12-27 05:17:16] 837*2^1238124-1 is not prime. Res64: 5BCD5EBAB5615210 Time : 0.0 sec. user=mdettweiler [2012-12-27 05:25:24] 857*2^1238124-1 is not prime. Res64: 1253A4D680057E8B Time : 0.0 sec. user=mdettweiler [2012-12-27 05:25:25] 831*2^1238125-1 is not prime. Res64: B826E48FA89DCA35 Time : 0.0 sec. user=mdettweiler [2012-12-27 05:34:39] 861*2^1238125-1 is not prime. Res64: 1599FBACC54E743B Time : 0.0 sec. user=mdettweiler [2012-12-27 05:34:40] 889*2^1238125-1 is not prime. Res64: 33D8BA7FC442936A Time : 0.0 sec. user=mdettweiler [2012-12-27 05:42:46] 951*2^1238125-1 is not prime. Res64: 7F4DA3B608A0ED80 Time : 0.0 sec. user=mdettweiler [2012-12-27 05:42:47] 961*2^1238125-1 is not prime. Res64: FF8F7162BB0A28C6 Time : 0.0 sec. user=mdettweiler [2012-12-27 05:52:01] 987*2^1238125-1 is not prime. Res64: 748329280EAE5E85 Time : 0.0 sec. user=mdettweiler [2012-12-27 05:52:01] 707*2^1238126-1 is not prime. Res64: 1F622BD86AE7B275 Time : 0.0 sec. user=mdettweiler [2012-12-27 06:00:10] 785*2^1238126-1 is not prime. Res64: 2A3FBCC97B6BDA82 Time : 0.0 sec. user=mdettweiler [2012-12-27 06:00:12] 867*2^1238126-1 is not prime. Res64: DE04C9FABC8721B6 Time : 0.0 sec. user=mdettweiler [2012-12-27 06:09:23] 917*2^1238126-1 is not prime. Res64: AF83E229F569C2CF Time : 0.0 sec. user=mdettweiler [2012-12-27 06:09:26] 649*2^1238127-1 is not prime. Res64: 4785C94A0AFB6A9F Time : 0.0 sec. user=mdettweiler [2012-12-27 06:17:33] 705*2^1238127-1 is not prime. Res64: F9969B2A4B25F767 Time : 0.0 sec. user=mdettweiler [2012-12-27 06:17:34] 805*2^1238127-1 is not prime. Res64: 3E7A8CB0F99C195D Time : 0.0 sec. user=mdettweiler [2012-12-27 06:27:11] 885*2^1238127-1 is not prime. Res64: BD926FA98196E0A3 Time : 0.0 sec. user=mdettweiler [2012-12-27 06:27:12] 895*2^1238127-1 is not prime. Res64: 3EC261FAAB9298E5 Time : 0.0 sec. user=mdettweiler [2012-12-27 06:34:54] 603*2^1238128-1 is not prime. Res64: 26C1391DD5FC469C Time : 0.0 sec. user=mdettweiler [2012-12-27 06:34:54] 639*2^1238128-1 is not prime. Res64: E32B5EDA1A7DDC9B Time : 0.0 sec. user=mdettweiler [2012-12-27 06:44:37] 765*2^1238128-1 is not prime. Res64: A3F8F8604932E7C6 Time : 0.0 sec. user=mdettweiler [2012-12-27 06:44:38] 819*2^1238128-1 is not prime. Res64: 4D52961A78F0D70F Time : 0.0 sec. user=mdettweiler [2012-12-27 06:52:15] 771*2^1238129-1 is not prime. Res64: DB8B5450DCC3E120 Time : 0.0 sec. user=mdettweiler [2012-12-27 06:52:16] 855*2^1238129-1 is not prime. Res64: BBFCDEAF3A85CD97 Time : 0.0 sec. user=mdettweiler [2012-12-27 07:01:58] 955*2^1238129-1 is not prime. Res64: AB043C95D0CEE24F Time : 0.0 sec. user=mdettweiler [2012-12-27 07:02:00] 969*2^1238129-1 is not prime. Res64: 974A39F0BE7FA2E5 Time : 0.0 sec. user=mdettweiler [2012-12-27 07:09:36] 991*2^1238129-1 is not prime. Res64: 342C7288B2266C9B Time : 0.0 sec. user=mdettweiler [2012-12-27 07:09:38] 783*2^1238130-1 is not prime. Res64: 2C8F9E14F0173C9B Time : 0.0 sec. user=mdettweiler [2012-12-27 07:19:32] 861*2^1238130-1 is not prime. Res64: B07A0A4CEF5E269A Time : 0.0 sec. user=mdettweiler [2012-12-27 07:19:33] 639*2^1238131-1 is not prime. Res64: 54F64D4D7B16A3DB Time : 0.0 sec. user=mdettweiler [2012-12-27 07:27:02] 691*2^1238131-1 is not prime. Res64: 2A93F8F4E3A9D484 Time : 0.0 sec. user=mdettweiler [2012-12-27 07:27:03] 741*2^1238131-1 is not prime. Res64: C46006B9FACF5CD0 Time : 0.0 sec. user=mdettweiler [2012-12-27 07:36:54] 895*2^1238131-1 is not prime. Res64: C7D2FF8F17DF2979 Time : 0.0 sec. user=mdettweiler [2012-12-27 07:36:55] 951*2^1238131-1 is not prime. Res64: CD06F389600849C6 Time : 0.0 sec. user=mdettweiler [2012-12-27 07:44:24] 605*2^1238132-1 is not prime. Res64: 1BAA9D50F7CB515B Time : 0.0 sec. user=mdettweiler [2012-12-27 07:44:24] 617*2^1238132-1 is not prime. Res64: 5A6F498DD853440B Time : 0.0 sec. user=mdettweiler [2012-12-27 07:54:15] 665*2^1238132-1 is not prime. Res64: 952F06041EA129AA Time : 0.0 sec. user=mdettweiler [2012-12-27 07:54:15] 669*2^1238132-1 is not prime. Res64: 2634CD2313E24956 Time : 0.0 sec. user=mdettweiler [2012-12-27 08:01:46] 753*2^1238132-1 is not prime. Res64: 81C321F88D4B1A78 Time : 0.0 sec. user=mdettweiler [2012-12-27 08:01:48] 959*2^1238132-1 is not prime. Res64: D3013A7AF6BB7C4E Time : 0.0 sec. user=mdettweiler [2012-12-27 08:11:36] 995*2^1238132-1 is not prime. Res64: 23B228621BFDE5B9 Time : 0.0 sec. user=mdettweiler [2012-12-27 08:11:37] 657*2^1238133-1 is not prime. Res64: 5A6B6A14CD7EB494 Time : 0.0 sec. user=mdettweiler [2012-12-27 08:19:11] 727*2^1238133-1 is not prime. Res64: 639F0746D03D27D1 Time : 0.0 sec. user=mdettweiler [2012-12-27 08:19:12] 759*2^1238133-1 is not prime. Res64: 0896F52E4E27F481 Time : 0.0 sec. user=mdettweiler [2012-12-27 08:29:01] 781*2^1238133-1 is not prime. Res64: 6B7F7F67FCFE29C2 Time : 0.0 sec. user=mdettweiler [2012-12-27 08:29:02] 795*2^1238133-1 is not prime. Res64: 211C1ED5C7056142 Time : 0.0 sec. user=vaughan [2012-12-27 08:33:01] 717*2^1238120-1 is not prime. Res64: 96020006332F0B21 Time : 0.0 sec. user=mdettweiler [2012-12-27 08:36:31] 921*2^1238133-1 is not prime. Res64: CFB8E5FE14916158 Time : 0.0 sec. user=mdettweiler [2012-12-27 08:36:32] 945*2^1238133-1 is not prime. Res64: 1DC25D0233F888D2 Time : 0.0 sec. user=mdettweiler [2012-12-27 08:46:24] 605*2^1238134-1 is not prime. Res64: 0AB536F7CCE5DE7B Time : 0.0 sec. user=mdettweiler [2012-12-27 08:46:25] 611*2^1238134-1 is not prime. Res64: 7A523BC67DFF7C84 Time : 0.0 sec. user=mdettweiler [2012-12-27 08:53:52] 705*2^1238134-1 is not prime. Res64: A0AFE4F053B88DFE Time : 0.0 sec. user=mdettweiler [2012-12-27 08:53:52] 707*2^1238134-1 is not prime. Res64: 53654CD0A7234AE6 Time : 0.0 sec. user=mdettweiler [2012-12-27 09:03:45] 723*2^1238134-1 is not prime. Res64: 240AE5F96882EA58 Time : 0.0 sec. user=mdettweiler [2012-12-27 09:03:46] 755*2^1238134-1 is not prime. Res64: EB7ABD85AC1A4F0E Time : 0.0 sec. user=mdettweiler [2012-12-27 09:11:13] 773*2^1238134-1 is not prime. Res64: 4C560D69080181F2 Time : 0.0 sec. user=mdettweiler [2012-12-27 09:11:14] 813*2^1238134-1 is not prime. Res64: 4963AFA4ADFFA0E1 Time : 0.0 sec. user=mdettweiler [2012-12-27 09:21:08] 827*2^1238134-1 is not prime. Res64: BBF3EBC8B309AB50 Time : 0.0 sec. user=mdettweiler [2012-12-27 09:21:08] 923*2^1238134-1 is not prime. Res64: 09E0B50C0F99A863 Time : 0.0 sec. user=mdettweiler [2012-12-27 09:28:36] 609*2^1238135-1 is not prime. Res64: 276E1C2817A4FBBA Time : 0.0 sec. user=mdettweiler [2012-12-27 09:28:37] 645*2^1238135-1 is not prime. Res64: CEB88CA1FEA303C9 Time : 0.0 sec. user=mdettweiler [2012-12-27 09:38:30] 861*2^1238135-1 is not prime. Res64: 6CAF751D5E0B399F Time : 0.0 sec. user=mdettweiler [2012-12-27 09:38:30] 913*2^1238135-1 is not prime. Res64: D16886BD1016350A Time : 0.0 sec. user=mdettweiler [2012-12-27 09:45:57] 981*2^1238135-1 is not prime. Res64: 4496558DCE4968F8 Time : 0.0 sec. user=mdettweiler [2012-12-27 09:45:58] 705*2^1238136-1 is not prime. Res64: B3A71317CDA27A19 Time : 0.0 sec. user=mdettweiler [2012-12-27 09:55:51] 735*2^1238136-1 is not prime. Res64: 4F824ACDF9462757 Time : 0.0 sec. user=mdettweiler [2012-12-27 09:55:52] 779*2^1238136-1 is not prime. Res64: B812E9A8A4AC61F2 Time : 0.0 sec. user=mdettweiler [2012-12-27 10:03:19] 857*2^1238136-1 is not prime. Res64: 9FEBC5EB981DB944 Time : 0.0 sec. user=mdettweiler [2012-12-27 10:03:20] 933*2^1238136-1 is not prime. Res64: C9C793E1A54D13B7 Time : 0.0 sec. user=mdettweiler [2012-12-27 10:13:12] 777*2^1238137-1 is not prime. Res64: 1D5B9C105BDFFB91 Time : 0.0 sec. user=mdettweiler [2012-12-27 10:13:14] 805*2^1238137-1 is not prime. Res64: C882DD5B58CB2C98 Time : 0.0 sec. user=mdettweiler [2012-12-27 10:20:44] 817*2^1238137-1 is not prime. Res64: 1050214768C564A7 Time : 0.0 sec. user=mdettweiler [2012-12-27 10:20:44] 939*2^1238137-1 is not prime. Res64: B9BBF7E7637B173A Time : 0.0 sec. user=mdettweiler [2012-12-27 10:30:38] 687*2^1238138-1 is not prime. Res64: 43357D09045985F6 Time : 0.0 sec. user=mdettweiler [2012-12-27 10:30:39] 885*2^1238138-1 is not prime. Res64: C275B73EF20F47CF Time : 0.0 sec. user=mdettweiler [2012-12-27 10:38:05] 927*2^1238138-1 is not prime. Res64: 095F492D027B7BF1 Time : 0.0 sec. user=mdettweiler [2012-12-27 10:38:06] 993*2^1238138-1 is not prime. Res64: 484FC7A60330C6BF Time : 0.0 sec. user=mdettweiler [2012-12-27 10:48:03] 703*2^1238139-1 is not prime. Res64: 067A9A02D7F7A327 Time : 0.0 sec. user=mdettweiler [2012-12-27 10:48:03] 741*2^1238139-1 is not prime. Res64: A3374E30DAF10816 Time : 0.0 sec. user=mdettweiler [2012-12-27 10:55:27] 843*2^1238139-1 is not prime. Res64: 4CB7E73E4E435BBC Time : 0.0 sec. user=mdettweiler [2012-12-27 10:55:28] 913*2^1238139-1 is not prime. Res64: 7529860C205E6115 Time : 0.0 sec. user=mdettweiler [2012-12-27 11:05:26] 609*2^1238140-1 is not prime. Res64: CB8B4B0FA4630D70 Time : 0.0 sec. user=mdettweiler [2012-12-27 11:05:29] 653*2^1238140-1 is not prime. Res64: 658ECB3695A29E56 Time : 0.0 sec. user=mdettweiler [2012-12-27 11:12:49] 813*2^1238140-1 is not prime. Res64: 81CB712AA047884C Time : 0.0 sec. user=mdettweiler [2012-12-27 11:12:50] 873*2^1238140-1 is not prime. Res64: 978EF70B59B6F876 Time : 0.0 sec. user=mdettweiler [2012-12-27 11:23:08] 987*2^1238140-1 is not prime. Res64: D40CE419D21E611E Time : 0.0 sec. user=mdettweiler [2012-12-27 11:23:09] 669*2^1238141-1 is not prime. Res64: 69266AC9ECBC42C8 Time : 0.0 sec. user=mdettweiler [2012-12-27 11:30:12] 775*2^1238141-1 is not prime. Res64: EDFEE562BEA03348 Time : 0.0 sec. user=mdettweiler [2012-12-27 11:30:13] 861*2^1238141-1 is not prime. Res64: 606DD444CB596C32 Time : 0.0 sec. user=mdettweiler [2012-12-27 11:40:30] 955*2^1238141-1 is not prime. Res64: F52C9EFFBA188156 Time : 0.0 sec. user=mdettweiler [2012-12-27 11:40:30] 683*2^1238142-1 is not prime. Res64: 805BBD7ACC1F69A2 Time : 0.0 sec. user=mdettweiler [2012-12-27 11:47:36] 737*2^1238142-1 is not prime. Res64: C82D999F7C01BBD4 Time : 0.0 sec. user=mdettweiler [2012-12-27 11:47:37] 663*2^1238143-1 is not prime. Res64: 98F3E6DFA97290B1 Time : 0.0 sec. user=mdettweiler [2012-12-27 11:57:51] 673*2^1238143-1 is not prime. Res64: 9B41C715AD61FE7E Time : 0.0 sec. user=mdettweiler [2012-12-27 11:57:52] 745*2^1238143-1 is not prime. Res64: B350B0ADFB704255 Time : 0.0 sec. user=mdettweiler [2012-12-27 12:04:58] 751*2^1238143-1 is not prime. Res64: 97970474CBED74CB Time : 0.0 sec. user=mdettweiler [2012-12-27 12:04:59] 769*2^1238143-1 is not prime. Res64: 95734884AB36B682 Time : 0.0 sec. user=mdettweiler [2012-12-27 12:15:12] 873*2^1238143-1 is not prime. Res64: 91507C46E60A50FA Time : 0.0 sec. user=mdettweiler [2012-12-27 12:15:13] 609*2^1238144-1 is not prime. Res64: 389C5FDD8A62B0D8 Time : 0.0 sec. user=mdettweiler [2012-12-27 12:22:31] 689*2^1238144-1 is not prime. Res64: 38E0D57DC23AA764 Time : 0.0 sec. user=mdettweiler [2012-12-27 12:22:31] 789*2^1238144-1 is not prime. Res64: AA0A3FF4BF4FFD7D Time : 0.0 sec. user=mdettweiler [2012-12-27 12:32:35] 923*2^1238144-1 is not prime. Res64: C1555231681BE251 Time : 0.0 sec. user=mdettweiler [2012-12-27 12:32:36] 927*2^1238144-1 is not prime. Res64: 30616DF6D302CC53 Time : 0.0 sec. user=mdettweiler [2012-12-27 12:39:52] 709*2^1238145-1 is not prime. Res64: 85099116DD16B5E1 Time : 0.0 sec. user=mdettweiler [2012-12-27 12:39:53] 777*2^1238145-1 is not prime. Res64: DF42BBA699D588D2 Time : 0.0 sec. user=mdettweiler [2012-12-27 12:50:01] 849*2^1238145-1 is not prime. Res64: DB1BF97D46778B97 Time : 0.0 sec. user=mdettweiler [2012-12-27 12:50:02] 895*2^1238145-1 is not prime. Res64: 03EA8459A9B9591F Time : 0.0 sec. user=mdettweiler [2012-12-27 12:58:52] 919*2^1238145-1 is not prime. Res64: BD7F32A6C3408025 Time : 0.0 sec. user=mdettweiler [2012-12-27 12:58:53] 937*2^1238145-1 is not prime. Res64: 504D454E37D93B24 Time : 0.0 sec. user=mdettweiler [2012-12-27 13:09:22] 949*2^1238145-1 is not prime. Res64: DB7B5D3F90820633 Time : 0.0 sec. user=mdettweiler [2012-12-27 13:09:23] 975*2^1238145-1 is not prime. Res64: 8E55C595D6813660 Time : 0.0 sec. user=mdettweiler [2012-12-27 13:16:53] 647*2^1238146-1 is not prime. Res64: 915F5E1334B19300 Time : 0.0 sec. user=mdettweiler [2012-12-27 13:16:54] 653*2^1238146-1 is not prime. Res64: 41499246A43B2F98 Time : 0.0 sec. user=mdettweiler [2012-12-27 13:27:11] 603*2^1238147-1 is not prime. Res64: 9B9988FCF5FCC579 Time : 0.0 sec. user=mdettweiler [2012-12-27 13:27:12] 669*2^1238147-1 is not prime. Res64: 9FF1E51A98B233B8 Time : 0.0 sec. user=mdettweiler [2012-12-27 13:34:40] 685*2^1238147-1 is not prime. Res64: 465A5C4E9FC4B34D Time : 0.0 sec. user=mdettweiler [2012-12-27 13:34:40] 885*2^1238147-1 is not prime. Res64: 4706DE25EFD4D64C Time : 0.0 sec. user=mdettweiler [2012-12-27 13:44:57] 903*2^1238147-1 is not prime. Res64: 3B23708ADBCBFDAC Time : 0.0 sec. user=mdettweiler [2012-12-27 13:44:57] 939*2^1238147-1 is not prime. Res64: F95A63D0E3768C1F Time : 0.0 sec. user=mdettweiler [2012-12-27 13:52:25] 945*2^1238147-1 is not prime. Res64: 86F7747E2AC8BACD Time : 0.0 sec. user=mdettweiler [2012-12-27 13:52:25] 963*2^1238147-1 is not prime. Res64: CB45BF765414B4DD Time : 0.0 sec. user=mdettweiler [2012-12-27 14:02:46] 797*2^1238148-1 is not prime. Res64: 7500CD57A4E72CE5 Time : 0.0 sec. user=mdettweiler [2012-12-27 14:02:49] 809*2^1238148-1 is not prime. Res64: 2A02971C98E8CA7E Time : 0.0 sec. user=mdettweiler [2012-12-27 14:10:14] 825*2^1238148-1 is not prime. Res64: 43306FFF87DD73D3 Time : 0.0 sec. user=mdettweiler [2012-12-27 14:10:17] 909*2^1238148-1 is not prime. Res64: 6D1B8946B0E5CE1A Time : 0.0 sec. user=mdettweiler [2012-12-27 14:20:46] 927*2^1238148-1 is not prime. Res64: 71EFC5C7BB45468D Time : 0.0 sec. user=mdettweiler [2012-12-27 14:20:47] 975*2^1238148-1 is not prime. Res64: F611112733D49012 Time : 0.0 sec. user=mdettweiler [2012-12-27 14:28:19] 811*2^1238149-1 is not prime. Res64: FDFE5CC0391D8E1C Time : 0.0 sec. user=mdettweiler [2012-12-27 14:28:19] 817*2^1238149-1 is not prime. Res64: 371CF0C89EE0C5B2 Time : 0.0 sec. user=mdettweiler [2012-12-27 14:38:36] 825*2^1238149-1 is not prime. Res64: AD87D7FB907A89CC Time : 0.0 sec. user=mdettweiler [2012-12-27 14:38:37] 895*2^1238149-1 is not prime. Res64: F1F01B1E9841925C Time : 0.0 sec. user=mdettweiler [2012-12-27 14:46:01] 955*2^1238149-1 is not prime. Res64: 6F969A6212411433 Time : 0.0 sec. user=mdettweiler [2012-12-27 14:46:02] 635*2^1238150-1 is not prime. Res64: 4406BE3168349AFD Time : 0.0 sec. user=mdettweiler [2012-12-27 14:56:10] 831*2^1238150-1 is not prime. Res64: DEA36F0F571F1D48 Time : 0.0 sec. user=mdettweiler [2012-12-27 14:56:10] 851*2^1238150-1 is not prime. Res64: 942DB31DBEA34532 Time : 0.0 sec. user=mdettweiler [2012-12-27 15:03:29] 875*2^1238150-1 is not prime. Res64: A59C09919593AB0F Time : 0.0 sec. user=mdettweiler [2012-12-27 15:03:31] 915*2^1238150-1 is not prime. Res64: ECC7957E1F5475AE Time : 0.0 sec. user=mdettweiler [2012-12-27 15:13:41] 691*2^1238151-1 is not prime. Res64: 9F47C9A54AE1CD49 Time : 0.0 sec. user=mdettweiler [2012-12-27 15:13:42] 795*2^1238151-1 is not prime. Res64: 5BD8877EFC975EA9 Time : 0.0 sec. user=mdettweiler [2012-12-27 15:21:03] 895*2^1238151-1 is not prime. Res64: 6ED603364B96C9EB Time : 0.0 sec. user=mdettweiler [2012-12-27 15:21:03] 931*2^1238151-1 is not prime. Res64: F85A34BFDA7C4D42 Time : 0.0 sec. user=mdettweiler [2012-12-27 15:31:10] 605*2^1238152-1 is not prime. Res64: 942AF43B13E81143 Time : 0.0 sec. user=mdettweiler [2012-12-27 15:31:11] 705*2^1238152-1 is not prime. Res64: 54D8608F2E5E98D4 Time : 0.0 sec. user=mdettweiler [2012-12-27 15:38:32] 803*2^1238152-1 is not prime. Res64: E46EB769172C0E9B Time : 0.0 sec. user=mdettweiler [2012-12-27 15:38:33] 855*2^1238152-1 is not prime. Res64: F83BFD4B3C512891 Time : 0.0 sec. user=mdettweiler [2012-12-27 15:48:40] 863*2^1238152-1 is not prime. Res64: D619F7C8E6A0D201 Time : 0.0 sec. user=mdettweiler [2012-12-27 15:48:40] 909*2^1238152-1 is not prime. Res64: 91CD4D39AA49EF14 Time : 0.0 sec. user=mdettweiler [2012-12-27 15:56:01] 999*2^1238152-1 is not prime. Res64: DE4CE9D8E1E594A7 Time : 0.0 sec. user=mdettweiler [2012-12-27 15:56:01] 985*2^1238153-1 is not prime. Res64: 0A34A08B140113BB Time : 0.0 sec. user=mdettweiler [2012-12-27 16:06:13] 663*2^1238154-1 is not prime. Res64: AA4AE0E4257E9CA3 Time : 0.0 sec. user=mdettweiler [2012-12-27 16:06:15] 705*2^1238154-1 is not prime. Res64: 211923746D5CA684 Time : 0.0 sec. user=mdettweiler [2012-12-27 16:13:41] 707*2^1238154-1 is not prime. Res64: DCE1EE53CC22765A Time : 0.0 sec. user=mdettweiler [2012-12-27 16:13:41] 741*2^1238155-1 is not prime. Res64: E852A75E6A2F139E Time : 0.0 sec. user=mdettweiler [2012-12-27 16:24:08] 859*2^1238155-1 is not prime. Res64: 060A2EC1FCCD8C06 Time : 0.0 sec. user=mdettweiler [2012-12-27 16:24:08] 885*2^1238155-1 is not prime. Res64: 27DC5A8B19FAD4D0 Time : 0.0 sec. user=mdettweiler [2012-12-27 16:31:24] 603*2^1238156-1 is not prime. Res64: 06D584A63E2C8D22 Time : 0.0 sec. user=mdettweiler [2012-12-27 16:31:24] 647*2^1238156-1 is not prime. Res64: 09B9442C71471F35 Time : 0.0 sec. user=mdettweiler [2012-12-27 16:41:51] 725*2^1238156-1 is not prime. Res64: 40366FDA6D8E271E Time : 0.0 sec. user=mdettweiler [2012-12-27 16:41:51] 843*2^1238156-1 is not prime. Res64: AD1EC0F3C181BC96 Time : 0.0 sec. user=mdettweiler [2012-12-27 16:57:01] 923*2^1238156-1 is not prime. Res64: 39EA00A23703DA62 Time : 0.0 sec. user=mdettweiler [2012-12-27 16:57:01] 963*2^1238156-1 is not prime. Res64: 69578D0EA674F00F Time : 0.0 sec. user=mdettweiler [2012-12-27 17:06:17] 655*2^1238157-1 is not prime. Res64: C5312D3A78FCCCBF Time : 0.0 sec. user=mdettweiler [2012-12-27 17:06:18] 685*2^1238157-1 is not prime. Res64: 5290119736B20DAC Time : 0.0 sec. user=mdettweiler [2012-12-27 17:14:40] 727*2^1238157-1 is not prime. Res64: 0D03BF773A74466F Time : 0.0 sec. user=mdettweiler [2012-12-27 17:14:41] 777*2^1238157-1 is not prime. Res64: 654188C445610B88 Time : 0.0 sec. user=mdettweiler [2012-12-27 17:24:03] 955*2^1238157-1 is not prime. Res64: 631CE0885A0819F4 Time : 0.0 sec. user=mdettweiler [2012-12-27 17:24:03] 623*2^1238158-1 is not prime. Res64: E79A2783668B6EC6 Time : 0.0 sec. user=mdettweiler [2012-12-27 17:32:18] 647*2^1238158-1 is not prime. Res64: B4538167F0761C5F Time : 0.0 sec. user=mdettweiler [2012-12-27 17:32:18] 657*2^1238158-1 is not prime. Res64: 036C83FF70026775 Time : 0.0 sec. user=mdettweiler [2012-12-27 17:41:39] 695*2^1238158-1 is not prime. Res64: AF990C7B6EC40096 Time : 0.0 sec. user=mdettweiler [2012-12-27 17:41:39] 765*2^1238158-1 is not prime. Res64: 8D70F52489C369C7 Time : 0.0 sec. user=mdettweiler [2012-12-27 17:49:51] 827*2^1238158-1 is not prime. Res64: 4BC9E4D00117F22F Time : 0.0 sec. user=mdettweiler [2012-12-27 17:49:52] 867*2^1238158-1 is not prime. Res64: B926976DCA6153D2 Time : 0.0 sec. user=mdettweiler [2012-12-27 17:59:13] 941*2^1238158-1 is not prime. Res64: AF0CBBB82FB3AC55 Time : 0.0 sec. user=mdettweiler [2012-12-27 17:59:13] 987*2^1238158-1 is not prime. Res64: B0299B112A80291A Time : 0.0 sec. user=mdettweiler [2012-12-27 18:07:26] 1001*2^1238158-1 is not prime. Res64: 9E080A7D1B1FB5F3 Time : 0.0 sec. user=mdettweiler [2012-12-27 18:07:27] 643*2^1238159-1 is not prime. Res64: EEAC4B6BB4B4D0FA Time : 0.0 sec. user=vaughan [2012-12-27 18:10:04] 617*2^1238134-1 is not prime. Res64: 7CCB04F919DBAF8E Time : 0.0 sec. user=mdettweiler [2012-12-27 18:16:47] 703*2^1238159-1 is not prime. Res64: 8BAB247948A601EF Time : 0.0 sec. user=mdettweiler [2012-12-27 18:16:48] 711*2^1238159-1 is not prime. Res64: 401D2AD504307099 Time : 0.0 sec. user=mdettweiler [2012-12-27 18:25:18] 909*2^1238159-1 is not prime. Res64: 7E773F3D5B889B92 Time : 0.0 sec. user=mdettweiler [2012-12-27 18:25:18] 623*2^1238160-1 is not prime. Res64: 2A0CD4D6206C5745 Time : 0.0 sec. user=mdettweiler [2012-12-27 18:34:25] 735*2^1238160-1 is not prime. Res64: 035C78CD3A09BCF6 Time : 0.0 sec. user=mdettweiler [2012-12-27 18:34:25] 789*2^1238160-1 is not prime. Res64: 50AD90CF3E4FD47B Time : 0.0 sec. user=mdettweiler [2012-12-27 18:42:52] 797*2^1238160-1 is not prime. Res64: 583138072D57429D Time : 0.0 sec. user=mdettweiler [2012-12-27 18:42:52] 923*2^1238160-1 is not prime. Res64: 242FE447CC4FBFF7 Time : 0.0 sec. user=vaughan [2012-12-27 18:48:21] 669*2^1238160-1 is not prime. Res64: 7F79919FF80438FB Time : 0.0 sec. user=mdettweiler [2012-12-27 18:51:58] 651*2^1238161-1 is not prime. Res64: 6DB3FCD2DBDF20B0 Time : 0.0 sec. user=mdettweiler [2012-12-27 18:51:59] 775*2^1238161-1 is not prime. Res64: 45F1CA342E631A40 Time : 0.0 sec. user=mdettweiler [2012-12-27 19:00:26] 801*2^1238161-1 is not prime. Res64: FCC4657FE668727E Time : 0.0 sec. user=mdettweiler [2012-12-27 19:00:28] 867*2^1238161-1 is not prime. Res64: BDF83351C83D1B7E Time : 0.0 sec. user=mdettweiler [2012-12-27 19:09:31] 677*2^1238162-1 is not prime. Res64: 8C59236690ADA564 Time : 0.0 sec. user=mdettweiler [2012-12-27 19:09:33] 767*2^1238162-1 is not prime. Res64: F229DB4D68D64E5B Time : 0.0 sec. user=mdettweiler [2012-12-27 19:18:16] 801*2^1238162-1 is not prime. Res64: DECBDAA3A0BA5772 Time : 0.0 sec. user=mdettweiler [2012-12-27 19:18:16] 813*2^1238162-1 is not prime. Res64: 3DBD756DB048BCA6 Time : 0.0 sec. user=vaughan [2012-12-27 19:26:10] 945*2^1238161-1 is not prime. Res64: 35FEF0DC1E7744B0 Time : 0.0 sec. user=mdettweiler [2012-12-27 19:27:35] 825*2^1238162-1 is not prime. Res64: 8B41FB19EB1EF052 Time : 0.0 sec. user=mdettweiler [2012-12-27 19:27:36] 911*2^1238162-1 is not prime. Res64: A8C18797CE16CDEE Time : 0.0 sec. user=mdettweiler [2012-12-27 19:36:12] 953*2^1238162-1 is not prime. Res64: D46AA0F95ED9EBD3 Time : 0.0 sec. user=mdettweiler [2012-12-27 19:36:13] 1001*2^1238162-1 is not prime. Res64: DB016F036BED9C25 Time : 0.0 sec. user=mdettweiler [2012-12-27 19:45:19] 679*2^1238163-1 is not prime. Res64: 8EAEC7BA3B04E8DD Time : 0.0 sec. user=mdettweiler [2012-12-27 19:45:20] 699*2^1238163-1 is not prime. Res64: D497BB5603854BD3 Time : 0.0 sec. user=mdettweiler [2012-12-27 19:53:52] 753*2^1238163-1 is not prime. Res64: FF9E3BD8668A63CA Time : 0.0 sec. user=mdettweiler [2012-12-27 19:53:53] 795*2^1238163-1 is not prime. Res64: 95C0C75FEA42FA8A Time : 0.0 sec. user=mdettweiler [2012-12-27 20:02:58] 805*2^1238163-1 is not prime. Res64: 5DEE59933A2769E5 Time : 0.0 sec. user=mdettweiler [2012-12-27 20:02:58] 949*2^1238163-1 is not prime. Res64: 78612D4DDF1263D3 Time : 0.0 sec. user=vaughan [2012-12-27 20:04:01] 615*2^1238163-1 is not prime. Res64: E119ABE2855B6A8C Time : 0.0 sec. user=mdettweiler [2012-12-27 20:11:28] 961*2^1238163-1 is not prime. Res64: 24CF07E18022E345 Time : 0.0 sec. user=mdettweiler [2012-12-27 20:11:29] 675*2^1238164-1 is not prime. Res64: 67D4BC00BE8FA743 Time : 0.0 sec. user=mdettweiler [2012-12-27 20:20:34] 765*2^1238164-1 is not prime. Res64: 5E3F6160CE77F48D Time : 0.0 sec. user=mdettweiler [2012-12-27 20:20:34] 863*2^1238164-1 is not prime. Res64: 65102F87393F98C5 Time : 0.0 sec. user=mdettweiler [2012-12-27 20:29:07] 927*2^1238164-1 is not prime. Res64: A7AD0D4A8AA0421F Time : 0.0 sec. user=mdettweiler [2012-12-27 20:29:07] 649*2^1238165-1 is not prime. Res64: 51646A61E50E9B5B Time : 0.0 sec. user=mdettweiler [2012-12-27 20:38:11] 721*2^1238165-1 is not prime. Res64: CA7D8C80A6A93BEB Time : 0.0 sec. user=mdettweiler [2012-12-27 20:38:11] 757*2^1238165-1 is not prime. Res64: 24FB103D20E4FF94 Time : 0.0 sec. user=vaughan [2012-12-27 20:41:52] 899*2^1238164-1 is not prime. Res64: 104FA8199715DE87 Time : 0.0 sec. user=mdettweiler [2012-12-27 20:46:45] 831*2^1238165-1 is not prime. Res64: C8C2620CCD769A83 Time : 0.0 sec. user=mdettweiler [2012-12-27 20:46:45] 969*2^1238165-1 is not prime. Res64: B004861A87C828A0 Time : 0.0 sec. user=mdettweiler [2012-12-27 20:55:48] 635*2^1238166-1 is not prime. Res64: 06193D48C3680C26 Time : 0.0 sec. user=mdettweiler [2012-12-27 20:55:48] 641*2^1238166-1 is not prime. Res64: 31733735BD7D9A1C Time : 0.0 sec. user=mdettweiler [2012-12-27 21:04:22] 765*2^1238166-1 is not prime. Res64: 0B0AC0BF215469CE Time : 0.0 sec. user=mdettweiler [2012-12-27 21:04:23] 807*2^1238166-1 is not prime. Res64: 48F8B5B3D2005DB5 Time : 0.0 sec. user=mdettweiler [2012-12-27 21:13:24] 821*2^1238166-1 is not prime. Res64: 7AF8E7E25CC892AF Time : 0.0 sec. user=mdettweiler [2012-12-27 21:13:25] 941*2^1238166-1 is not prime. Res64: D0529B866FB16438 Time : 0.0 sec. user=vaughan [2012-12-27 21:19:41] 695*2^1238166-1 is not prime. Res64: 597E8F6819BBBEDF Time : 0.0 sec. user=mdettweiler [2012-12-27 21:22:03] 947*2^1238166-1 is not prime. Res64: 2B0BE95A2ED76C3B Time : 0.0 sec. user=mdettweiler [2012-12-27 21:22:04] 861*2^1238167-1 is not prime. Res64: 44F45F31B15C08CB Time : 0.0 sec. user=mdettweiler [2012-12-27 21:31:03] 909*2^1238167-1 is not prime. Res64: 6661BA96DEBA7561 Time : 0.0 sec. user=mdettweiler [2012-12-27 21:31:04] 985*2^1238167-1 is not prime. Res64: CD02C8F8A36C3583 Time : 0.0 sec. user=mdettweiler [2012-12-27 21:39:40] 735*2^1238168-1 is not prime. Res64: 74EF9D558DB4EED3 Time : 0.0 sec. user=mdettweiler [2012-12-27 21:39:41] 797*2^1238168-1 is not prime. Res64: D879783E0ED376E2 Time : 0.0 sec. user=mdettweiler [2012-12-27 21:48:39] 815*2^1238168-1 is not prime. Res64: 7626EB237E4A32FA Time : 0.0 sec. user=mdettweiler [2012-12-27 21:48:39] 875*2^1238168-1 is not prime. Res64: 6697BBDA1B08B844 Time : 0.0 sec. user=mdettweiler [2012-12-27 21:57:15] 915*2^1238168-1 is not prime. Res64: 07F36208B114D532 Time : 0.0 sec. user=mdettweiler [2012-12-27 21:57:15] 927*2^1238168-1 is not prime. Res64: E77675CB29573FBE Time : 0.0 sec. user=vaughan [2012-12-27 21:57:29] 665*2^1238168-1 is not prime. Res64: E3EF14632A35DD05 Time : 0.0 sec. user=mdettweiler [2012-12-27 22:06:15] 969*2^1238168-1 is not prime. Res64: 09C493A6A973EDE6 Time : 0.0 sec. user=mdettweiler [2012-12-27 22:06:18] 609*2^1238169-1 is not prime. Res64: 4D89A355DE56A1B6 Time : 0.0 sec. user=mdettweiler [2012-12-27 22:14:52] 657*2^1238169-1 is not prime. Res64: D0A2B0D5161EA19B Time : 0.0 sec. user=mdettweiler [2012-12-27 22:14:52] 705*2^1238169-1 is not prime. Res64: 922957A46ADBA70D Time : 0.0 sec. user=mdettweiler [2012-12-27 22:24:20] 745*2^1238169-1 is not prime. Res64: 022A9828A54C4D25 Time : 0.0 sec. user=mdettweiler [2012-12-27 22:24:20] 795*2^1238169-1 is not prime. Res64: D45E02DFB798ADD0 Time : 0.0 sec. user=mdettweiler [2012-12-27 22:32:31] 835*2^1238169-1 is not prime. Res64: ADFED299FD83957D Time : 0.0 sec. user=mdettweiler [2012-12-27 22:32:32] 987*2^1238169-1 is not prime. Res64: CDBDA742D186E86F Time : 0.0 sec. user=vaughan [2012-12-27 22:35:16] 735*2^1238169-1 is not prime. Res64: A91D464C3FDBFC0B Time : 0.0 sec. user=mdettweiler [2012-12-27 22:41:56] 653*2^1238170-1 is not prime. Res64: 2ABBB24B203FF625 Time : 0.0 sec. user=mdettweiler [2012-12-27 22:41:56] 695*2^1238170-1 is not prime. Res64: 5C5A4EC04A895B17 Time : 0.0 sec. user=mdettweiler [2012-12-27 22:50:10] 723*2^1238170-1 is not prime. Res64: 457A031B1466907B Time : 0.0 sec. user=mdettweiler [2012-12-27 22:50:11] 741*2^1238170-1 is not prime. Res64: D4B37253B69B2E48 Time : 0.0 sec. user=mdettweiler [2012-12-27 22:59:34] 933*2^1238170-1 is not prime. Res64: 34A1B95C9BA237CE Time : 0.0 sec. user=mdettweiler [2012-12-27 22:59:35] 951*2^1238170-1 is not prime. Res64: C14BA7D02642FDAC Time : 0.0 sec. user=mdettweiler [2012-12-27 23:07:52] 631*2^1238171-1 is not prime. Res64: C85AB24C76637287 Time : 0.0 sec. user=mdettweiler [2012-12-27 23:07:53] 711*2^1238171-1 is not prime. Res64: E38D93A34E6B8EB0 Time : 0.0 sec. user=vaughan [2012-12-27 23:13:01] 831*2^1238170-1 is not prime. Res64: 4850076A6FD3D0C7 Time : 0.0 sec. user=mdettweiler [2012-12-27 23:17:18] 733*2^1238171-1 is not prime. Res64: 049F7196F7F29F53 Time : 0.0 sec. user=mdettweiler [2012-12-27 23:17:19] 811*2^1238171-1 is not prime. Res64: F8E71142E596A78E Time : 0.0 sec. user=mdettweiler [2012-12-27 23:25:37] 635*2^1238172-1 is not prime. Res64: 515E4F94ADD1C01E Time : 0.0 sec. user=mdettweiler [2012-12-27 23:25:37] 887*2^1238172-1 is not prime. Res64: D9DBD8DD9FAFAD32 Time : 0.0 sec. user=mdettweiler [2012-12-27 23:34:56] 947*2^1238172-1 is not prime. Res64: 97991ED981A308A3 Time : 0.0 sec. user=mdettweiler [2012-12-27 23:34:56] 965*2^1238172-1 is not prime. Res64: 8E43E86C6BCE755A Time : 0.0 sec. user=mdettweiler [2012-12-27 23:43:04] 615*2^1238173-1 is not prime. Res64: B2CE788CD5F8B393 Time : 0.0 sec. user=mdettweiler [2012-12-27 23:43:05] 621*2^1238173-1 is not prime. Res64: D6F07DEF4264ACCF Time : 0.0 sec. user=vaughan [2012-12-27 23:50:51] 945*2^1238172-1 is not prime. Res64: 16EB225A39E0C441 Time : 0.0 sec. user=mdettweiler [2012-12-27 23:52:15] 685*2^1238173-1 is not prime. Res64: A2002292D2EA1C13 Time : 0.0 sec. user=mdettweiler [2012-12-27 23:52:16] 721*2^1238173-1 is not prime. Res64: BC691E0C2E0D047E Time : 0.0 sec. user=mdettweiler [2012-12-28 00:00:23] 741*2^1238173-1 is not prime. Res64: 784CF1B9A480FD05 Time : 0.0 sec. user=mdettweiler [2012-12-28 00:00:23] 817*2^1238173-1 is not prime. Res64: ECE0F79998D1C3A7 Time : 0.0 sec.