user=mdettweiler [2012-12-17 00:07:35] 957*2^1237538-1 is not prime. Res64: 96C9A94C62DEE5CD Time : 0.0 sec. user=mdettweiler [2012-12-17 00:07:36] 1001*2^1237538-1 is not prime. Res64: 5E38C88EBF87DB55 Time : 0.0 sec. user=mdettweiler [2012-12-17 00:13:05] 709*2^1237539-1 is not prime. Res64: 3C5B6D50C57FB4B0 Time : 0.0 sec. user=mdettweiler [2012-12-17 00:13:06] 711*2^1237539-1 is not prime. Res64: 5EA71668B8F8CD09 Time : 0.0 sec. user=mdettweiler [2012-12-17 00:25:37] 751*2^1237539-1 is not prime. Res64: 574432276FB5EAB1 Time : 0.0 sec. user=mdettweiler [2012-12-17 00:25:38] 835*2^1237539-1 is not prime. Res64: 5B46D9DC2009635D Time : 0.0 sec. user=mdettweiler [2012-12-17 00:30:45] 955*2^1237539-1 is not prime. Res64: 7C03A7A8C6B165FF Time : 0.0 sec. user=mdettweiler [2012-12-17 00:30:46] 609*2^1237540-1 is not prime. Res64: F4943DB9F6D3CDC4 Time : 0.0 sec. user=mdettweiler [2012-12-17 00:43:08] 629*2^1237540-1 is not prime. Res64: A36C66A657D7C7CC Time : 0.0 sec. user=mdettweiler [2012-12-17 00:43:09] 675*2^1237540-1 is not prime. Res64: ACCD547F423DFA0F Time : 0.0 sec. user=mdettweiler [2012-12-17 00:48:08] 707*2^1237540-1 is not prime. Res64: 5203AF061073C9DD Time : 0.0 sec. user=mdettweiler [2012-12-17 00:48:08] 765*2^1237540-1 is not prime. Res64: 7B0C3708346BBFB3 Time : 0.0 sec. user=mdettweiler [2012-12-17 01:00:31] 783*2^1237540-1 is not prime. Res64: 3F1D10AA2CC6A06D Time : 0.0 sec. user=mdettweiler [2012-12-17 01:00:32] 803*2^1237540-1 is not prime. Res64: EB3229E678EEA5EC Time : 0.0 sec. user=mdettweiler [2012-12-17 01:05:30] 855*2^1237540-1 is not prime. Res64: 1203F3315D5596BC Time : 0.0 sec. user=mdettweiler [2012-12-17 01:05:33] 933*2^1237540-1 is not prime. Res64: B93B6AF9A169B205 Time : 0.0 sec. user=mdettweiler [2012-12-17 01:17:57] 939*2^1237540-1 is not prime. Res64: 74A166DA600A1DC2 Time : 0.0 sec. user=mdettweiler [2012-12-17 01:17:58] 987*2^1237540-1 is not prime. Res64: D72F3ED57F5209D3 Time : 0.0 sec. user=mdettweiler [2012-12-17 01:23:10] 607*2^1237541-1 is not prime. Res64: D64FC9379BF3AA6D Time : 0.0 sec. user=mdettweiler [2012-12-17 01:23:11] 615*2^1237541-1 is not prime. Res64: 78FB84AD43329DE7 Time : 0.0 sec. user=mdettweiler [2012-12-17 01:35:21] 627*2^1237541-1 is not prime. Res64: C3D2607AB7AF6171 Time : 0.0 sec. user=mdettweiler [2012-12-17 01:35:22] 657*2^1237541-1 is not prime. Res64: 8DAA28C0519DBB04 Time : 0.0 sec. user=mdettweiler [2012-12-17 01:40:33] 679*2^1237541-1 is not prime. Res64: 2030354C62549236 Time : 0.0 sec. user=mdettweiler [2012-12-17 01:40:34] 741*2^1237541-1 is not prime. Res64: 84280260521EEE9D Time : 0.0 sec. user=mdettweiler [2012-12-17 01:52:56] 775*2^1237541-1 is not prime. Res64: 8BF7A39CED3AE571 Time : 0.0 sec. user=mdettweiler [2012-12-17 01:52:57] 777*2^1237541-1 is not prime. Res64: ED6A37B7C8D8ACDB Time : 0.0 sec. user=mdettweiler [2012-12-17 01:58:07] 615*2^1237542-1 is not prime. Res64: A89D6809AC1C50B4 Time : 0.0 sec. user=mdettweiler [2012-12-17 01:58:07] 693*2^1237542-1 is not prime. Res64: F56C85E2DE54546E Time : 0.0 sec. user=mdettweiler [2012-12-17 02:10:20] 723*2^1237542-1 is not prime. Res64: 6C6113A1D84398C0 Time : 0.0 sec. user=mdettweiler [2012-12-17 02:10:21] 737*2^1237542-1 is not prime. Res64: B8A4CFE62A82CBB0 Time : 0.0 sec. user=mdettweiler [2012-12-17 02:15:30] 875*2^1237542-1 is not prime. Res64: EB763FEA33A00BA0 Time : 0.0 sec. user=mdettweiler [2012-12-17 02:15:31] 621*2^1237543-1 is not prime. Res64: D257C8A9C448469B Time : 0.0 sec. user=mdettweiler [2012-12-17 02:27:49] 673*2^1237543-1 is not prime. Res64: 3C21E662BADCD31F Time : 0.0 sec. user=mdettweiler [2012-12-17 02:27:50] 681*2^1237543-1 is not prime. Res64: 09B6F189FA1EF222 Time : 0.0 sec. user=mdettweiler [2012-12-17 02:32:52] 771*2^1237543-1 is not prime. Res64: 009E38ECB0B6CE19 Time : 0.0 sec. user=mdettweiler [2012-12-17 02:32:53] 873*2^1237543-1 is not prime. Res64: C76A9037FD23CE0D Time : 0.0 sec. user=mdettweiler [2012-12-17 02:45:15] 885*2^1237543-1 is not prime. Res64: EAFB12B685C6D256 Time : 0.0 sec. user=mdettweiler [2012-12-17 02:45:21] 687*2^1237544-1 is not prime. Res64: BAD77165244A222A Time : 0.0 sec. user=mdettweiler [2012-12-17 02:50:18] 717*2^1237544-1 is not prime. Res64: 961386274358C93F Time : 0.0 sec. user=mdettweiler [2012-12-17 02:50:24] 785*2^1237544-1 is not prime. Res64: A751560A446F7A4A Time : 0.0 sec. user=mdettweiler [2012-12-17 03:02:55] 803*2^1237544-1 is not prime. Res64: FB62E20015D371BD Time : 0.0 sec. user=mdettweiler [2012-12-17 03:02:56] 827*2^1237544-1 is not prime. Res64: C512A2246C74D178 Time : 0.0 sec. user=mdettweiler [2012-12-17 03:08:13] 843*2^1237544-1 is not prime. Res64: 9CBAD2BA7807CC48 Time : 0.0 sec. user=mdettweiler [2012-12-17 03:08:14] 915*2^1237544-1 is not prime. Res64: 30EAABAC8BE3E4CC Time : 0.0 sec. user=mdettweiler [2012-12-17 03:20:24] 935*2^1237544-1 is not prime. Res64: 41E479D3C33F4CAA Time : 0.0 sec. user=mdettweiler [2012-12-17 03:20:25] 601*2^1237545-1 is not prime. Res64: F3C95573B4138F88 Time : 0.0 sec. user=mdettweiler [2012-12-17 03:25:36] 625*2^1237545-1 is not prime. Res64: 1BB9552607E477FB Time : 0.0 sec. user=mdettweiler [2012-12-17 03:25:36] 717*2^1237545-1 is not prime. Res64: AEE4AF6E41CE1C71 Time : 0.0 sec. user=mdettweiler [2012-12-17 03:37:47] 751*2^1237545-1 is not prime. Res64: F1130448F37C3B50 Time : 0.0 sec. user=mdettweiler [2012-12-17 03:37:51] 777*2^1237545-1 is not prime. Res64: 2E5CAB8E1FEEC3D8 Time : 0.0 sec. user=mdettweiler [2012-12-17 03:42:57] 787*2^1237545-1 is not prime. Res64: E73C9F0B38B112F2 Time : 0.0 sec. user=mdettweiler [2012-12-17 03:43:01] 795*2^1237545-1 is not prime. Res64: 7B53D50795EFD90A Time : 0.0 sec. user=mdettweiler [2012-12-17 03:55:45] 849*2^1237545-1 is not prime. Res64: C484976D650E329A Time : 0.0 sec. user=mdettweiler [2012-12-17 03:55:45] 969*2^1237545-1 is not prime. Res64: E8F1635CD0A6EF4A Time : 0.0 sec. user=mdettweiler [2012-12-17 04:00:58] 645*2^1237546-1 is not prime. Res64: 2B12DC310E4BD71D Time : 0.0 sec. user=mdettweiler [2012-12-17 04:00:59] 671*2^1237546-1 is not prime. Res64: A17CC25111400996 Time : 0.0 sec. user=mdettweiler [2012-12-17 04:13:07] 723*2^1237546-1 is not prime. Res64: 0FC1DACE9DB443D4 Time : 0.0 sec. user=mdettweiler [2012-12-17 04:13:07] 783*2^1237546-1 is not prime. Res64: 173F499AFDE5FE59 Time : 0.0 sec. user=mdettweiler [2012-12-17 04:18:22] 803*2^1237546-1 is not prime. Res64: 74B9A60152608650 Time : 0.0 sec. user=mdettweiler [2012-12-17 04:18:22] 815*2^1237546-1 is not prime. Res64: 4AF629ED2F6AA67B Time : 0.0 sec. user=mdettweiler [2012-12-17 04:30:31] 843*2^1237546-1 is not prime. Res64: 6FB7C7CC41E2D882 Time : 0.0 sec. user=mdettweiler [2012-12-17 04:30:32] 867*2^1237546-1 is not prime. Res64: 4BD6E22980CC5951 Time : 0.0 sec. user=mdettweiler [2012-12-17 04:35:46] 917*2^1237546-1 is not prime. Res64: BA606ABF33B68D94 Time : 0.0 sec. user=mdettweiler [2012-12-17 04:35:48] 621*2^1237547-1 is not prime. Res64: C20670B5BB82F785 Time : 0.0 sec. user=mdettweiler [2012-12-17 04:47:54] 753*2^1237547-1 is not prime. Res64: CD77CFF9BECB99AC Time : 0.0 sec. user=mdettweiler [2012-12-17 04:47:55] 759*2^1237547-1 is not prime. Res64: 8BB383838CFACEBE Time : 0.0 sec. user=mdettweiler [2012-12-17 04:53:15] 665*2^1237548-1 is not prime. Res64: 1C775A88EDA80522 Time : 0.0 sec. user=mdettweiler [2012-12-17 04:53:15] 735*2^1237548-1 is not prime. Res64: EE7829ACB242AAD7 Time : 0.0 sec. user=mdettweiler [2012-12-17 05:05:23] 737*2^1237548-1 is not prime. Res64: 7589C46C2E9A9D92 Time : 0.0 sec. user=mdettweiler [2012-12-17 05:05:24] 845*2^1237548-1 is not prime. Res64: 77E904FEEC3DC931 Time : 0.0 sec. user=mdettweiler [2012-12-17 05:10:38] 893*2^1237548-1 is not prime. Res64: 279779BD1E05D0B8 Time : 0.0 sec. user=mdettweiler [2012-12-17 05:10:41] 923*2^1237548-1 is not prime. Res64: 20E8FD74F7104A0E Time : 0.0 sec. user=mdettweiler [2012-12-17 05:22:49] 969*2^1237548-1 is not prime. Res64: E427413F51C97C58 Time : 0.0 sec. user=mdettweiler [2012-12-17 05:22:50] 649*2^1237549-1 is not prime. Res64: 36EC6A1619D7E8BE Time : 0.0 sec. user=mdettweiler [2012-12-17 05:28:08] 681*2^1237549-1 is not prime. Res64: D95AAEF552421E39 Time : 0.0 sec. user=mdettweiler [2012-12-17 05:28:09] 721*2^1237549-1 is not prime. Res64: BEB921456DDF8F91 Time : 0.0 sec. user=mdettweiler [2012-12-17 05:40:11] 729*2^1237549-1 is not prime. Res64: 73ABB01749A13B74 Time : 0.0 sec. user=mdettweiler [2012-12-17 05:40:12] 861*2^1237549-1 is not prime. Res64: FA0D7EB833AC5BC1 Time : 0.0 sec. user=mdettweiler [2012-12-17 05:45:30] 877*2^1237549-1 is not prime. Res64: D9F0D716231A0C4E Time : 0.0 sec. user=mdettweiler [2012-12-17 05:45:30] 927*2^1237549-1 is not prime. Res64: 7B37E5DC8D98CCD7 Time : 0.0 sec. user=mdettweiler [2012-12-17 05:57:33] 951*2^1237549-1 is not prime. Res64: 3511355C9AB56255 Time : 0.0 sec. user=mdettweiler [2012-12-17 05:57:34] 955*2^1237549-1 is not prime. Res64: 7AE7C4482BE1C102 Time : 0.0 sec. user=mdettweiler [2012-12-17 06:02:52] 979*2^1237549-1 is not prime. Res64: 39774D74F3C49D9C Time : 0.0 sec. user=mdettweiler [2012-12-17 06:02:53] 657*2^1237550-1 is not prime. Res64: 06EE9E31C54C335C Time : 0.0 sec. user=mdettweiler [2012-12-17 06:14:55] 845*2^1237550-1 is not prime. Res64: 7526A96DE23C54BC Time : 0.0 sec. user=mdettweiler [2012-12-17 06:14:57] 739*2^1237551-1 is not prime. Res64: E0884A7D1B4552DC Time : 0.0 sec. user=mdettweiler [2012-12-17 06:20:15] 781*2^1237551-1 is not prime. Res64: F3ADBB7B01EF0B83 Time : 0.0 sec. user=mdettweiler [2012-12-17 06:20:16] 891*2^1237551-1 is not prime. Res64: D94ADD97EB675702 Time : 0.0 sec. user=mdettweiler [2012-12-17 06:32:30] 933*2^1237551-1 is not prime. Res64: 98C6F219F2685E7C Time : 0.0 sec. user=mdettweiler [2012-12-17 06:32:31] 951*2^1237551-1 is not prime. Res64: 5752EF68CD2D889E Time : 0.0 sec. user=mdettweiler [2012-12-17 06:37:37] 969*2^1237551-1 is not prime. Res64: 80B58F27D1274D5F Time : 0.0 sec. user=mdettweiler [2012-12-17 06:37:37] 609*2^1237552-1 is not prime. Res64: 4F5A616E0464D9A4 Time : 0.0 sec. user=mdettweiler [2012-12-17 06:49:52] 615*2^1237552-1 is not prime. Res64: 3E7901664DF51BF2 Time : 0.0 sec. user=mdettweiler [2012-12-17 06:49:53] 665*2^1237552-1 is not prime. Res64: 103A5BD7D4D27DAE Time : 0.0 sec. user=mdettweiler [2012-12-17 06:54:58] 989*2^1237552-1 is not prime. Res64: F5A234BD8BC8F73D Time : 0.0 sec. user=mdettweiler [2012-12-17 06:54:59] 789*2^1237553-1 is not prime. Res64: 52BD84E6FCEC2D03 Time : 0.0 sec. user=mdettweiler [2012-12-17 07:07:15] 801*2^1237553-1 is not prime. Res64: 9C25A00398F89239 Time : 0.0 sec. user=mdettweiler [2012-12-17 07:07:17] 811*2^1237553-1 is not prime. Res64: ABB1A63CEE19679F Time : 0.0 sec. user=mdettweiler [2012-12-17 07:12:20] 695*2^1237554-1 is not prime. Res64: FCB04A99A3F534EA Time : 0.0 sec. user=mdettweiler [2012-12-17 07:12:21] 765*2^1237554-1 is not prime. Res64: C1918E04F46F6AD6 Time : 0.0 sec. user=mdettweiler [2012-12-17 07:24:50] 773*2^1237554-1 is not prime. Res64: 62B7DE83394A8B11 Time : 0.0 sec. user=mdettweiler [2012-12-17 07:24:51] 885*2^1237554-1 is not prime. Res64: 84F2E3D50BA42656 Time : 0.0 sec. user=mdettweiler [2012-12-17 07:29:42] 891*2^1237554-1 is not prime. Res64: 1E2FC3B6C5A33A15 Time : 0.0 sec. user=mdettweiler [2012-12-17 07:29:43] 915*2^1237554-1 is not prime. Res64: 802856A78AE4DC1B Time : 0.0 sec. user=mdettweiler [2012-12-17 07:42:12] 651*2^1237555-1 is not prime. Res64: 7E1D6736B0719CCF Time : 0.0 sec. user=mdettweiler [2012-12-17 07:42:12] 741*2^1237555-1 is not prime. Res64: C0A2BCFAB98F28E8 Time : 0.0 sec. user=mdettweiler [2012-12-17 07:47:04] 843*2^1237555-1 is not prime. Res64: 87B97C73E7D0CCEE Time : 0.0 sec. user=mdettweiler [2012-12-17 07:47:05] 669*2^1237556-1 is not prime. Res64: AA090920892328B2 Time : 0.0 sec. user=mdettweiler [2012-12-17 07:59:34] 767*2^1237556-1 is not prime. Res64: 1AE956985D461A65 Time : 0.0 sec. user=mdettweiler [2012-12-17 07:59:35] 833*2^1237556-1 is not prime. Res64: 6496996FA2A56DB3 Time : 0.0 sec. user=mdettweiler [2012-12-17 08:04:27] 855*2^1237556-1 is not prime. Res64: EE3414256EF83A5D Time : 0.0 sec. user=mdettweiler [2012-12-17 08:04:29] 923*2^1237556-1 is not prime. Res64: 48BD470FD0002003 Time : 0.0 sec. user=mdettweiler [2012-12-17 08:16:56] 963*2^1237556-1 is not prime. Res64: A96F2F85CD5A2062 Time : 0.0 sec. user=mdettweiler [2012-12-17 08:16:56] 667*2^1237557-1 is not prime. Res64: EB1A334B5659EAA8 Time : 0.0 sec. user=mdettweiler [2012-12-17 08:21:51] 681*2^1237557-1 is not prime. Res64: 8BA294D31B48AAAB Time : 0.0 sec. user=mdettweiler [2012-12-17 08:21:51] 769*2^1237557-1 is not prime. Res64: B071F654324424C1 Time : 0.0 sec. user=mdettweiler [2012-12-17 08:34:19] 795*2^1237557-1 is not prime. Res64: CD92B903DF660C7A Time : 0.0 sec. user=mdettweiler [2012-12-17 08:34:20] 805*2^1237557-1 is not prime. Res64: 3F574721FD5937CE Time : 0.0 sec. user=mdettweiler [2012-12-17 08:39:13] 835*2^1237557-1 is not prime. Res64: D975832162C2F8F6 Time : 0.0 sec. user=mdettweiler [2012-12-17 08:39:13] 663*2^1237558-1 is not prime. Res64: 87D010EED9F3A0A1 Time : 0.0 sec. user=mdettweiler [2012-12-17 08:51:44] 723*2^1237558-1 is not prime. Res64: 3382AE36D1AE3CA5 Time : 0.0 sec. user=mdettweiler [2012-12-17 08:51:45] 755*2^1237558-1 is not prime. Res64: D94274F286F1AE18 Time : 0.0 sec. user=mdettweiler [2012-12-17 08:56:35] 773*2^1237558-1 is not prime. Res64: 043EF26CADFF0117 Time : 0.0 sec. user=mdettweiler [2012-12-17 08:56:35] 815*2^1237558-1 is not prime. Res64: DFBC417E111BA9D8 Time : 0.0 sec. user=mdettweiler [2012-12-17 09:09:06] 933*2^1237558-1 is not prime. Res64: 6961A17B838EA6A4 Time : 0.0 sec. user=mdettweiler [2012-12-17 09:09:07] 711*2^1237559-1 is not prime. Res64: E7DD7FE9BF1D9F30 Time : 0.0 sec. user=mdettweiler [2012-12-17 09:13:57] 909*2^1237559-1 is not prime. Res64: BB02341745A87066 Time : 0.0 sec. user=mdettweiler [2012-12-17 09:13:58] 609*2^1237560-1 is not prime. Res64: E4E7C676CB934313 Time : 0.0 sec. user=mdettweiler [2012-12-17 09:26:29] 767*2^1237560-1 is not prime. Res64: D54CB1071FA2621B Time : 0.0 sec. user=mdettweiler [2012-12-17 09:26:31] 893*2^1237560-1 is not prime. Res64: 0AD1B4EFBDA7862E Time : 0.0 sec. user=mdettweiler [2012-12-17 09:31:19] 983*2^1237560-1 is not prime. Res64: 09B3BA7775D373CF Time : 0.0 sec. user=mdettweiler [2012-12-17 09:31:19] 615*2^1237561-1 is not prime. Res64: 1C7546F93008956B Time : 0.0 sec. user=mdettweiler [2012-12-17 09:43:54] 649*2^1237561-1 is not prime. Res64: 2E67D4E5C49EEEB4 Time : 0.0 sec. user=mdettweiler [2012-12-17 09:43:55] 705*2^1237561-1 is not prime. Res64: 1625D5AEADAF2761 Time : 0.0 sec. user=mdettweiler [2012-12-17 09:48:40] 741*2^1237561-1 is not prime. Res64: 891CDA8F14004832 Time : 0.0 sec. user=mdettweiler [2012-12-17 09:48:41] 751*2^1237561-1 is not prime. Res64: CB72B7C5DB35853B Time : 0.0 sec. user=mdettweiler [2012-12-17 10:01:16] 925*2^1237561-1 is not prime. Res64: 1B3C48A212845EAB Time : 0.0 sec. user=mdettweiler [2012-12-17 10:01:18] 951*2^1237561-1 is not prime. Res64: 794D9F36771E4DC8 Time : 0.0 sec. user=mdettweiler [2012-12-17 10:06:03] 957*2^1237561-1 is not prime. Res64: 28FC2F8A31AC7EDE Time : 0.0 sec. user=mdettweiler [2012-12-17 10:06:05] 981*2^1237561-1 is not prime. Res64: C5E352EB47E4AAEE Time : 0.0 sec. user=mdettweiler [2012-12-17 10:18:49] 657*2^1237562-1 is not prime. Res64: 092907F0EC37AA03 Time : 0.0 sec. user=mdettweiler [2012-12-17 10:18:50] 747*2^1237562-1 is not prime. Res64: E45613BA8F2C0E2C Time : 0.0 sec. user=mdettweiler [2012-12-17 10:23:38] 827*2^1237562-1 is not prime. Res64: 6A34C58FB4B9851E Time : 0.0 sec. user=mdettweiler [2012-12-17 10:23:39] 935*2^1237562-1 is not prime. Res64: FB395F03DB13094E Time : 0.0 sec. user=mdettweiler [2012-12-17 10:36:13] 945*2^1237562-1 is not prime. Res64: C79848BCD0F9F51A Time : 0.0 sec. user=mdettweiler [2012-12-17 10:36:13] 957*2^1237562-1 is not prime. Res64: 138C9BD887416DFC Time : 0.0 sec. user=mdettweiler [2012-12-17 10:41:00] 977*2^1237562-1 is not prime. Res64: EAF74C307BDA0AAB Time : 0.0 sec. user=mdettweiler [2012-12-17 10:41:00] 679*2^1237563-1 is not prime. Res64: 8A31D7D92A8B6335 Time : 0.0 sec. user=mdettweiler [2012-12-17 10:53:35] 781*2^1237563-1 is not prime. Res64: 3F5226A436B1D6AC Time : 0.0 sec. user=mdettweiler [2012-12-17 10:53:36] 793*2^1237563-1 is not prime. Res64: 6F470A5D84CE9BE0 Time : 0.0 sec. user=mdettweiler [2012-12-17 10:58:22] 825*2^1237563-1 is not prime. Res64: C7812D9151A1B22B Time : 0.0 sec. user=mdettweiler [2012-12-17 10:58:23] 829*2^1237563-1 is not prime. Res64: F85899ECC3EE51E6 Time : 0.0 sec. user=mdettweiler [2012-12-17 11:10:58] 913*2^1237563-1 is not prime. Res64: 53F75DE6354D90DB Time : 0.0 sec. user=mdettweiler [2012-12-17 11:10:58] 963*2^1237563-1 is not prime. Res64: 491711F07AA899AF Time : 0.0 sec. user=mdettweiler [2012-12-17 11:15:47] 609*2^1237564-1 is not prime. Res64: 133B8A4D0FC52C59 Time : 0.0 sec. user=mdettweiler [2012-12-17 11:15:47] 665*2^1237564-1 is not prime. Res64: D65232731618465E Time : 0.0 sec. user=mdettweiler [2012-12-17 11:28:29] 719*2^1237564-1 is not prime. Res64: 9C0AFD6FC7CDF599 Time : 0.0 sec. user=mdettweiler [2012-12-17 11:28:29] 723*2^1237564-1 is not prime. Res64: A5379103EBE78852 Time : 0.0 sec. user=mdettweiler [2012-12-17 11:33:11] 755*2^1237564-1 is not prime. Res64: 6B4E184879F689E3 Time : 0.0 sec. user=mdettweiler [2012-12-17 11:33:12] 773*2^1237564-1 is not prime. Res64: E4144A520DEA41DE Time : 0.0 sec. user=mdettweiler [2012-12-17 11:45:54] 803*2^1237564-1 is not prime. Res64: D40BD7B832E886EC Time : 0.0 sec. user=mdettweiler [2012-12-17 11:45:55] 819*2^1237564-1 is not prime. Res64: 583FCCA34A43BFD4 Time : 0.0 sec. user=mdettweiler [2012-12-17 11:50:37] 909*2^1237564-1 is not prime. Res64: FFEF2CB0F444473E Time : 0.0 sec. user=mdettweiler [2012-12-17 11:50:38] 915*2^1237564-1 is not prime. Res64: 639563E218258119 Time : 0.0 sec. user=mdettweiler [2012-12-17 12:03:20] 969*2^1237564-1 is not prime. Res64: 23CA15DE1E80EDEB Time : 0.0 sec. user=mdettweiler [2012-12-17 12:03:21] 655*2^1237565-1 is not prime. Res64: D9DBFFE3E561EA02 Time : 0.0 sec. user=mdettweiler [2012-12-17 12:08:02] 771*2^1237565-1 is not prime. Res64: 1226B3FC433A9C33 Time : 0.0 sec. user=mdettweiler [2012-12-17 12:08:03] 787*2^1237565-1 is not prime. Res64: EFAF63C015D465DF Time : 0.0 sec. user=mdettweiler [2012-12-17 12:20:55] 889*2^1237565-1 is not prime. Res64: 2443896C01E80093 Time : 0.0 sec. user=mdettweiler [2012-12-17 12:20:56] 939*2^1237565-1 is not prime. Res64: 76FA5688C1A19801 Time : 0.0 sec. user=mdettweiler [2012-12-17 12:25:35] 627*2^1237566-1 is not prime. Res64: 736A782B89D49662 Time : 0.0 sec. user=mdettweiler [2012-12-17 12:25:35] 711*2^1237566-1 is not prime. Res64: F6E288406EB18098 Time : 0.0 sec. user=mdettweiler [2012-12-17 12:38:22] 723*2^1237566-1 is not prime. Res64: 5CB364DBB6A550F2 Time : 0.0 sec. user=mdettweiler [2012-12-17 12:38:23] 725*2^1237566-1 is not prime. Res64: A1CD0D501B2F8432 Time : 0.0 sec. user=mdettweiler [2012-12-17 12:43:01] 851*2^1237566-1 is not prime. Res64: A214C71ADD706B0D Time : 0.0 sec. user=mdettweiler [2012-12-17 12:43:02] 893*2^1237566-1 is not prime. Res64: D6A17CEBF48E43D3 Time : 0.0 sec. user=mdettweiler [2012-12-17 12:55:50] 603*2^1237567-1 is not prime. Res64: 14C38CBD9DB77684 Time : 0.0 sec. user=mdettweiler [2012-12-17 12:55:50] 619*2^1237567-1 is not prime. Res64: 795A6BD96A243462 Time : 0.0 sec. user=mdettweiler [2012-12-17 13:00:30] 759*2^1237567-1 is not prime. Res64: 906950A656BB5246 Time : 0.0 sec. user=mdettweiler [2012-12-17 13:00:32] 769*2^1237567-1 is not prime. Res64: D848144AF8CCF83A Time : 0.0 sec. user=mdettweiler [2012-12-17 13:13:16] 793*2^1237567-1 is not prime. Res64: FA5BD1CD1ED53BC0 Time : 0.0 sec. user=mdettweiler [2012-12-17 13:13:17] 861*2^1237567-1 is not prime. Res64: EFA2B4CF6BF6FB16 Time : 0.0 sec. user=mdettweiler [2012-12-17 13:18:00] 885*2^1237567-1 is not prime. Res64: 3EAF9A127BCCF368 Time : 0.0 sec. user=mdettweiler [2012-12-17 13:18:01] 615*2^1237568-1 is not prime. Res64: 9806CB99B1E2EDDC Time : 0.0 sec. user=mdettweiler [2012-12-17 13:30:43] 659*2^1237568-1 is not prime. Res64: 1A41615C942EC631 Time : 0.0 sec. user=mdettweiler [2012-12-17 13:30:44] 665*2^1237568-1 is not prime. Res64: 60ADD7CE5C64BB2C Time : 0.0 sec. user=mdettweiler [2012-12-17 13:35:27] 753*2^1237568-1 is not prime. Res64: 589FB95754A437D2 Time : 0.0 sec. user=mdettweiler [2012-12-17 13:35:28] 759*2^1237568-1 is not prime. Res64: 79534E4B9F26E5E3 Time : 0.0 sec. user=mdettweiler [2012-12-17 13:48:13] 797*2^1237568-1 is not prime. Res64: 1FCFF9E20973F103 Time : 0.0 sec. user=mdettweiler [2012-12-17 13:48:13] 803*2^1237568-1 is not prime. Res64: 9498ADF2B265F762 Time : 0.0 sec. user=mdettweiler [2012-12-17 13:52:57] 879*2^1237568-1 is not prime. Res64: FDA57702E3CD1D05 Time : 0.0 sec. user=mdettweiler [2012-12-17 13:52:57] 649*2^1237569-1 is not prime. Res64: FB129A9DE801D1C4 Time : 0.0 sec. user=mdettweiler [2012-12-17 14:05:41] 735*2^1237569-1 is not prime. Res64: 584147CFF52FED8C Time : 0.0 sec. user=mdettweiler [2012-12-17 14:05:47] 807*2^1237569-1 is not prime. Res64: 91C45772E2FFA61A Time : 0.0 sec. user=mdettweiler [2012-12-17 14:10:23] 829*2^1237569-1 is not prime. Res64: 7C5F53D9DFC04CF3 Time : 0.0 sec. user=mdettweiler [2012-12-17 14:10:24] 955*2^1237569-1 is not prime. Res64: 8609DFB914D354F8 Time : 0.0 sec. user=mdettweiler [2012-12-17 14:23:45] 603*2^1237570-1 is not prime. Res64: 99F2CF354BE8B857 Time : 0.0 sec. user=mdettweiler [2012-12-17 14:23:46] 645*2^1237570-1 is not prime. Res64: B1E3D9906DC28062 Time : 0.0 sec. user=mdettweiler [2012-12-17 14:27:54] 687*2^1237570-1 is not prime. Res64: 65E3F8E02FBD0174 Time : 0.0 sec. user=mdettweiler [2012-12-17 14:27:55] 785*2^1237570-1 is not prime. Res64: 268F82C76DDF26BC Time : 0.0 sec. user=mdettweiler [2012-12-17 14:41:16] 833*2^1237570-1 is not prime. Res64: 557B500DC628C227 Time : 0.0 sec. user=mdettweiler [2012-12-17 14:41:16] 923*2^1237570-1 is not prime. Res64: 72C0B144317FE1CE Time : 0.0 sec. user=mdettweiler [2012-12-17 14:45:26] 945*2^1237570-1 is not prime. Res64: 4AE36987DF5853D6 Time : 0.0 sec. user=mdettweiler [2012-12-17 14:45:26] 1001*2^1237570-1 is not prime. Res64: 8C2EECA9B2E49B3E Time : 0.0 sec. user=mdettweiler [2012-12-17 14:58:53] 615*2^1237571-1 is not prime. Res64: FAADDF78A8B538A1 Time : 0.0 sec. user=mdettweiler [2012-12-17 14:58:53] 679*2^1237571-1 is not prime. Res64: D3F1C8D342ABC3BF Time : 0.0 sec. user=mdettweiler [2012-12-17 15:03:07] 741*2^1237571-1 is not prime. Res64: 13AFEE2B60FE237B Time : 0.0 sec. user=mdettweiler [2012-12-17 15:03:08] 811*2^1237571-1 is not prime. Res64: 664E449F02842462 Time : 0.0 sec. user=mdettweiler [2012-12-17 15:16:44] 859*2^1237571-1 is not prime. Res64: FD5C8CD7BC43B78F Time : 0.0 sec. user=mdettweiler [2012-12-17 15:16:44] 921*2^1237571-1 is not prime. Res64: 14E66631180A5C56 Time : 0.0 sec. user=mdettweiler [2012-12-17 15:20:58] 669*2^1237572-1 is not prime. Res64: C1EEB51DD20D02E4 Time : 0.0 sec. user=mdettweiler [2012-12-17 15:20:59] 695*2^1237572-1 is not prime. Res64: 106676EFBE3BF8DE Time : 0.0 sec. user=mdettweiler [2012-12-17 15:34:34] 765*2^1237572-1 is not prime. Res64: BA7905F976F361DD Time : 0.0 sec. user=mdettweiler [2012-12-17 15:34:34] 819*2^1237572-1 is not prime. Res64: 024187392033DBC4 Time : 0.0 sec. user=mdettweiler [2012-12-17 15:38:45] 903*2^1237572-1 is not prime. Res64: C30FAB864364CB6F Time : 0.0 sec. user=mdettweiler [2012-12-17 15:38:45] 957*2^1237572-1 is not prime. Res64: 79D154F346FE3F3F Time : 0.0 sec. user=mdettweiler [2012-12-17 15:52:12] 625*2^1237573-1 is not prime. Res64: 590303DB558C9AA2 Time : 0.0 sec. user=mdettweiler [2012-12-17 15:52:13] 861*2^1237573-1 is not prime. Res64: 32AEDFEA9F0B6B59 Time : 0.0 sec. user=mdettweiler [2012-12-17 15:56:27] 615*2^1237574-1 is not prime. Res64: 76EBA1C1978C98D5 Time : 0.0 sec. user=mdettweiler [2012-12-17 15:56:28] 641*2^1237574-1 is not prime. Res64: ABE3125EC0D116D7 Time : 0.0 sec. user=mdettweiler [2012-12-17 16:10:06] 665*2^1237574-1 is not prime. Res64: 12C486D3704B0025 Time : 0.0 sec. user=mdettweiler [2012-12-17 16:10:06] 773*2^1237574-1 is not prime. Res64: 914CDA37DFF5F055 Time : 0.0 sec. user=juhehe [2012-12-17 16:13:51] 991*2^1237517-1 is not prime. Res64: DE9A53B5A713F6A5 Time : 0.0 sec. user=mdettweiler [2012-12-17 16:14:23] 833*2^1237574-1 is not prime. Res64: EBF758A42B22E9C1 Time : 0.0 sec. user=mdettweiler [2012-12-17 16:14:24] 915*2^1237574-1 is not prime. Res64: E627FED339CA6A5F Time : 0.0 sec. user=mdettweiler [2012-12-17 16:28:12] 691*2^1237575-1 is not prime. Res64: 65CA1BD5927F3C73 Time : 0.0 sec. user=mdettweiler [2012-12-17 16:28:12] 693*2^1237575-1 is not prime. Res64: 041DC47BAD4F59CD Time : 0.0 sec. user=mdettweiler [2012-12-17 16:32:23] 705*2^1237575-1 is not prime. Res64: E7E445E9925D4212 Time : 0.0 sec. user=mdettweiler [2012-12-17 16:32:24] 709*2^1237575-1 is not prime. Res64: 75562FCE459D23EF Time : 0.0 sec. user=mdettweiler [2012-12-17 16:46:11] 793*2^1237575-1 is not prime. Res64: EABCB7E23677E3D2 Time : 0.0 sec. user=mdettweiler [2012-12-17 16:46:12] 795*2^1237575-1 is not prime. Res64: 4BBBC926D7354452 Time : 0.0 sec. user=mdettweiler [2012-12-17 16:50:13] 831*2^1237575-1 is not prime. Res64: A8F2D7905B8EC56E Time : 0.0 sec. user=mdettweiler [2012-12-17 16:50:14] 859*2^1237575-1 is not prime. Res64: 29AB6A0DCE07B6C9 Time : 0.0 sec. user=mdettweiler [2012-12-17 17:03:58] 999*2^1237575-1 is not prime. Res64: 77639C14B127A82E Time : 0.0 sec. user=mdettweiler [2012-12-17 17:03:59] 639*2^1237576-1 is not prime. Res64: 22FA9E81916FAE8B Time : 0.0 sec. user=mdettweiler [2012-12-17 17:08:03] 719*2^1237576-1 is not prime. Res64: AB672AB8449B54DA Time : 0.0 sec. user=mdettweiler [2012-12-17 17:08:04] 777*2^1237576-1 is not prime. Res64: EAA41169D3D3B9AA Time : 0.0 sec. user=juhehe [2012-12-17 17:21:34] 909*2^1237575-1 is not prime. Res64: 94A3AD4A54BB822F Time : 0.0 sec. user=mdettweiler [2012-12-17 17:21:49] 903*2^1237576-1 is not prime. Res64: E110EF72B0B66E2E Time : 0.0 sec. user=mdettweiler [2012-12-17 17:21:50] 933*2^1237576-1 is not prime. Res64: E8E41FC3A5E633C1 Time : 0.0 sec. user=mdettweiler [2012-12-17 17:25:49] 675*2^1237577-1 is not prime. Res64: D3AE909DB42C1A5B Time : 0.0 sec. user=mdettweiler [2012-12-17 17:25:49] 711*2^1237577-1 is not prime. Res64: F1897C4155A435ED Time : 0.0 sec. user=mdettweiler [2012-12-17 17:39:19] 741*2^1237577-1 is not prime. Res64: FBCF64143AF0BDF2 Time : 0.0 sec. user=mdettweiler [2012-12-17 17:39:20] 771*2^1237577-1 is not prime. Res64: 9DC3076E6842010A Time : 0.0 sec. user=mdettweiler [2012-12-17 17:43:19] 879*2^1237577-1 is not prime. Res64: 5EEBD934746F15E7 Time : 0.0 sec. user=mdettweiler [2012-12-17 17:43:20] 885*2^1237577-1 is not prime. Res64: B71363D28DEEDEC4 Time : 0.0 sec. user=mdettweiler [2012-12-17 17:56:47] 939*2^1237577-1 is not prime. Res64: C85B9571C84A4791 Time : 0.0 sec. user=mdettweiler [2012-12-17 17:56:48] 955*2^1237577-1 is not prime. Res64: 3F61F49321373FEC Time : 0.0 sec. user=mdettweiler [2012-12-17 18:00:45] 615*2^1237578-1 is not prime. Res64: 663562B21A883C72 Time : 0.0 sec. user=mdettweiler [2012-12-17 18:00:46] 767*2^1237578-1 is not prime. Res64: 0FFD1EF49BCA92E4 Time : 0.0 sec. user=mdettweiler [2012-12-17 18:14:13] 915*2^1237578-1 is not prime. Res64: 3A118D96B1FBEEB2 Time : 0.0 sec. user=mdettweiler [2012-12-17 18:14:15] 963*2^1237578-1 is not prime. Res64: E9D913EA32C0CCC5 Time : 0.0 sec. user=mdettweiler [2012-12-17 18:18:14] 621*2^1237579-1 is not prime. Res64: C01348BC173539E1 Time : 0.0 sec. user=mdettweiler [2012-12-17 18:18:14] 703*2^1237579-1 is not prime. Res64: CBC1E176A70AA36C Time : 0.0 sec. user=mdettweiler [2012-12-17 18:31:43] 745*2^1237579-1 is not prime. Res64: F41F6E9BD4C943A2 Time : 0.0 sec. user=mdettweiler [2012-12-17 18:31:44] 961*2^1237579-1 is not prime. Res64: EAE3C619D484DDCB Time : 0.0 sec. user=mdettweiler [2012-12-17 18:35:39] 973*2^1237579-1 is not prime. Res64: 269379030CC3A10F Time : 0.0 sec. user=mdettweiler [2012-12-17 18:35:40] 993*2^1237579-1 is not prime. Res64: D43445407D943181 Time : 0.0 sec. user=mdettweiler [2012-12-17 18:49:11] 753*2^1237580-1 is not prime. Res64: 8C5FADD5E21C9F1C Time : 0.0 sec. user=mdettweiler [2012-12-17 18:49:11] 825*2^1237580-1 is not prime. Res64: DF4D581DF6F7123C Time : 0.0 sec. user=mdettweiler [2012-12-17 18:53:06] 827*2^1237580-1 is not prime. Res64: 74A6B92C49F4311C Time : 0.0 sec. user=mdettweiler [2012-12-17 18:53:07] 855*2^1237580-1 is not prime. Res64: 14D5E5B527CD00FD Time : 0.0 sec. user=mdettweiler [2012-12-17 19:06:40] 899*2^1237580-1 is not prime. Res64: 63E9AF388B5C3BD6 Time : 0.0 sec. user=mdettweiler [2012-12-17 19:06:42] 935*2^1237580-1 is not prime. Res64: A3045131CAB07384 Time : 0.0 sec. user=mdettweiler [2012-12-17 19:10:38] 781*2^1237581-1 is not prime. Res64: F9572172389AB80F Time : 0.0 sec. user=mdettweiler [2012-12-17 19:10:39] 865*2^1237581-1 is not prime. Res64: 2E292DC3EC0C9443 Time : 0.0 sec. user=mdettweiler [2012-12-17 19:24:29] 885*2^1237581-1 is not prime. Res64: 5694CA8054D5AC52 Time : 0.0 sec. user=mdettweiler [2012-12-17 19:24:30] 937*2^1237581-1 is not prime. Res64: 952128C0B620BAAC Time : 0.0 sec. user=mdettweiler [2012-12-17 19:28:19] 955*2^1237581-1 is not prime. Res64: 3832487489D353F2 Time : 0.0 sec. user=mdettweiler [2012-12-17 19:28:20] 999*2^1237581-1 is not prime. Res64: 91EEBA11E0CA0A7F Time : 0.0 sec. user=mdettweiler [2012-12-17 19:41:59] 635*2^1237582-1 is not prime. Res64: 33332E8DA28CA787 Time : 0.0 sec. user=mdettweiler [2012-12-17 19:42:00] 815*2^1237582-1 is not prime. Res64: 81FCE100BB18F868 Time : 0.0 sec. user=mdettweiler [2012-12-17 19:45:48] 843*2^1237582-1 is not prime. Res64: 973202F3BA843529 Time : 0.0 sec. user=mdettweiler [2012-12-17 19:45:49] 867*2^1237582-1 is not prime. Res64: E1B0D2F6509B6B26 Time : 0.0 sec. user=mdettweiler [2012-12-17 19:59:27] 911*2^1237582-1 is not prime. Res64: 10AE7F7B3C6E2D1E Time : 0.0 sec. user=mdettweiler [2012-12-17 19:59:28] 951*2^1237582-1 is not prime. Res64: 0D89D3836BBA16AC Time : 0.0 sec. user=mdettweiler [2012-12-17 20:03:17] 619*2^1237583-1 is not prime. Res64: 52AB3BBF9B54593D Time : 0.0 sec. user=mdettweiler [2012-12-17 20:03:18] 693*2^1237583-1 is not prime. Res64: B0617C8CA55AF8F0 Time : 0.0 sec. user=mdettweiler [2012-12-17 20:16:55] 703*2^1237583-1 is not prime. Res64: AA435E11E78B3058 Time : 0.0 sec. user=mdettweiler [2012-12-17 20:16:56] 721*2^1237583-1 is not prime. Res64: 960B63191BA40231 Time : 0.0 sec. user=mdettweiler [2012-12-17 20:20:47] 741*2^1237583-1 is not prime. Res64: 527B91CEB86D0448 Time : 0.0 sec. user=mdettweiler [2012-12-17 20:20:48] 981*2^1237583-1 is not prime. Res64: C8E500BDABE6FE99 Time : 0.0 sec. user=mdettweiler [2012-12-17 20:34:27] 985*2^1237583-1 is not prime. Res64: 0611987FA36A0BB1 Time : 0.0 sec. user=mdettweiler [2012-12-17 20:34:27] 609*2^1237584-1 is not prime. Res64: 8B92A80EA91F0A60 Time : 0.0 sec. user=mdettweiler [2012-12-17 20:38:17] 705*2^1237584-1 is not prime. Res64: 2120B93587AC803B Time : 0.0 sec. user=mdettweiler [2012-12-17 20:38:18] 773*2^1237584-1 is not prime. Res64: DFD29665F51A3FCB Time : 0.0 sec. user=mdettweiler [2012-12-17 20:51:56] 803*2^1237584-1 is not prime. Res64: F8F1B46522637EF6 Time : 0.0 sec. user=mdettweiler [2012-12-17 20:51:57] 905*2^1237584-1 is not prime. Res64: 890098798EF10AC3 Time : 0.0 sec. user=mdettweiler [2012-12-17 20:55:47] 923*2^1237584-1 is not prime. Res64: B7A34C12186B34F3 Time : 0.0 sec. user=mdettweiler [2012-12-17 20:55:48] 947*2^1237584-1 is not prime. Res64: B33AA1FE101387F4 Time : 0.0 sec. user=mdettweiler [2012-12-17 21:09:24] 649*2^1237585-1 is not prime. Res64: 021FD953148339C1 Time : 0.0 sec. user=mdettweiler [2012-12-17 21:09:26] 759*2^1237585-1 is not prime. Res64: 3824F97400FFC34F Time : 0.0 sec. user=mdettweiler [2012-12-17 21:13:15] 775*2^1237585-1 is not prime. Res64: 48E0091B2CCCFA4C Time : 0.0 sec. user=mdettweiler [2012-12-17 21:13:16] 777*2^1237585-1 is not prime. Res64: 46F29DA15E645C37 Time : 0.0 sec. user=mdettweiler [2012-12-17 21:27:09] 895*2^1237585-1 is not prime. Res64: F9419EAD416FC3D3 Time : 0.0 sec. user=mdettweiler [2012-12-17 21:27:10] 939*2^1237585-1 is not prime. Res64: 71C0A9BC5645E85F Time : 0.0 sec. user=mdettweiler [2012-12-17 21:30:46] 711*2^1237586-1 is not prime. Res64: BDA34541F43C2E86 Time : 0.0 sec. user=mdettweiler [2012-12-17 21:30:47] 767*2^1237586-1 is not prime. Res64: D393EFDE9C5C5439 Time : 0.0 sec. user=mdettweiler [2012-12-17 21:44:40] 851*2^1237586-1 is not prime. Res64: 734375DC5FDA7A1E Time : 0.0 sec. user=mdettweiler [2012-12-17 21:44:40] 867*2^1237586-1 is not prime. Res64: 16DF8656AF31E4D2 Time : 0.0 sec. user=mdettweiler [2012-12-17 21:48:15] 873*2^1237586-1 is not prime. Res64: 0A1767112D462ACE Time : 0.0 sec. user=mdettweiler [2012-12-17 21:48:16] 917*2^1237586-1 is not prime. Res64: D28F0EC84A944ACE Time : 0.0 sec. user=mdettweiler [2012-12-17 22:02:28] 1001*2^1237586-1 is not prime. Res64: C6F2F768CF9A7EFA Time : 0.0 sec. user=mdettweiler [2012-12-17 22:02:29] 649*2^1237587-1 is not prime. Res64: 94395381ED9BFA6F Time : 0.0 sec. user=mdettweiler [2012-12-17 22:06:12] 675*2^1237587-1 is not prime. Res64: D8AF05FE99EEB2B7 Time : 0.0 sec. user=mdettweiler [2012-12-17 22:06:14] 691*2^1237587-1 is not prime. Res64: C397E59828A09BA2 Time : 0.0 sec. user=mdettweiler [2012-12-17 22:20:18] 781*2^1237587-1 is not prime. Res64: 5676D03594A3AB5B Time : 0.0 sec. user=mdettweiler [2012-12-17 22:20:19] 903*2^1237587-1 is not prime. Res64: 4F5B4FCF60193541 Time : 0.0 sec. user=mdettweiler [2012-12-17 22:24:16] 955*2^1237587-1 is not prime. Res64: 227EB9FF8A7F957E Time : 0.0 sec. user=mdettweiler [2012-12-17 22:24:17] 623*2^1237588-1 is not prime. Res64: F948A2F3EF42C85A Time : 0.0 sec. user=mdettweiler [2012-12-17 22:37:52] 663*2^1237588-1 is not prime. Res64: C9AD4EFCB08C5B7E Time : 0.0 sec. user=mdettweiler [2012-12-17 22:37:52] 677*2^1237588-1 is not prime. Res64: 758C803090D056D3 Time : 0.0 sec. user=mdettweiler [2012-12-17 22:41:44] 899*2^1237588-1 is not prime. Res64: 23767C899A65B2CC Time : 0.0 sec. user=mdettweiler [2012-12-17 22:41:45] 923*2^1237588-1 is not prime. Res64: 6402EDD56F1FD79B Time : 0.0 sec. user=mdettweiler [2012-12-17 22:55:18] 655*2^1237589-1 is not prime. Res64: 8E18D93C2A30B184 Time : 0.0 sec. user=mdettweiler [2012-12-17 22:55:18] 727*2^1237589-1 is not prime. Res64: D95E47B86594DB00 Time : 0.0 sec. user=mdettweiler [2012-12-17 22:59:13] 759*2^1237589-1 is not prime. Res64: CF392E06315050DE Time : 0.0 sec. user=mdettweiler [2012-12-17 22:59:13] 799*2^1237589-1 is not prime. Res64: 0ACE19A35B6DEE8A Time : 0.0 sec. user=mdettweiler [2012-12-17 23:12:43] 717*2^1237590-1 is not prime. Res64: 981743A487AC9BB9 Time : 0.0 sec. user=mdettweiler [2012-12-17 23:12:44] 833*2^1237590-1 is not prime. Res64: 459AB9A1254A2C16 Time : 0.0 sec. user=mdettweiler [2012-12-17 23:16:34] 851*2^1237590-1 is not prime. Res64: 72F8DE3E62C53E33 Time : 0.0 sec. user=mdettweiler [2012-12-17 23:16:35] 977*2^1237590-1 is not prime. Res64: 28EBB39747E0F05C Time : 0.0 sec. user=mdettweiler [2012-12-17 23:30:09] 619*2^1237591-1 is not prime. Res64: 0802EE9A3CA7EA7C Time : 0.0 sec. user=mdettweiler [2012-12-17 23:30:10] 673*2^1237591-1 is not prime. Res64: 0B03CF4994B4AAC8 Time : 0.0 sec. user=mdettweiler [2012-12-17 23:33:55] 705*2^1237591-1 is not prime. Res64: D69C1C1256AA3075 Time : 0.0 sec. user=mdettweiler [2012-12-17 23:33:55] 709*2^1237591-1 is not prime. Res64: 5C9CB30E478C560E Time : 0.0 sec. user=mdettweiler [2012-12-17 23:47:33] 735*2^1237591-1 is not prime. Res64: AC9C72EC0DE8CF73 Time : 0.0 sec. user=mdettweiler [2012-12-17 23:47:34] 873*2^1237591-1 is not prime. Res64: AFFF30C8B341823A Time : 0.0 sec. user=mdettweiler [2012-12-17 23:51:15] 895*2^1237591-1 is not prime. Res64: 4ACD63EC8E88AC76 Time : 0.0 sec. user=mdettweiler [2012-12-17 23:51:15] 909*2^1237591-1 is not prime. Res64: AF1450013471FA68 Time : 0.0 sec.