user=juhehe [2012-09-21 00:03:30] 903*2^1229016-1 is not prime. Res64: E5AD9492F8408393 Time : 0.0 sec. user=mdettweiler [2012-09-21 00:11:12] 801*2^1229017-1 is not prime. Res64: 7745119E8DDA62F5 Time : 0.0 sec. user=mdettweiler [2012-09-21 00:11:13] 807*2^1229017-1 is not prime. Res64: 43C9104376E62A73 Time : 0.0 sec. user=mdettweiler [2012-09-21 00:11:29] 957*2^1229017-1 is not prime. Res64: 3BED107811587245 Time : 0.0 sec. user=mdettweiler [2012-09-21 00:11:29] 979*2^1229017-1 is not prime. Res64: 884D8E0CE45F0893 Time : 0.0 sec. user=vaughan [2012-09-21 00:27:07] 777*2^1229017-1 is not prime. Res64: 0A5CC62ADF430341 Time : 0.0 sec. user=mdettweiler [2012-09-21 00:31:51] 641*2^1229018-1 is not prime. Res64: 3002A7E28EC503D5 Time : 0.0 sec. user=mdettweiler [2012-09-21 00:31:51] 665*2^1229018-1 is not prime. Res64: 4C9CF59893504477 Time : 0.0 sec. user=mdettweiler [2012-09-21 00:32:02] 743*2^1229018-1 is not prime. Res64: 9C298E8D090B25C4 Time : 0.0 sec. user=mdettweiler [2012-09-21 00:32:02] 831*2^1229018-1 is not prime. Res64: E0C89013F60020F0 Time : 0.0 sec. user=mdettweiler [2012-09-21 00:52:22] 935*2^1229018-1 is not prime. Res64: 73ED86BDE500FB88 Time : 0.0 sec. user=mdettweiler [2012-09-21 00:52:23] 993*2^1229018-1 is not prime. Res64: 9F938585618B1DA8 Time : 0.0 sec. user=mdettweiler [2012-09-21 00:52:33] 995*2^1229018-1 is not prime. Res64: A3EA0051E0F91A1F Time : 0.0 sec. user=mdettweiler [2012-09-21 00:52:34] 709*2^1229019-1 is not prime. Res64: F5BE4E9FE6FF5FE0 Time : 0.0 sec. user=vaughan [2012-09-21 01:04:54] 867*2^1229018-1 is not prime. Res64: 4EF4005117C9540E Time : 0.0 sec. user=mdettweiler [2012-09-21 01:12:55] 635*2^1229020-1 is not prime. Res64: A36395698A7CAD42 Time : 0.0 sec. user=mdettweiler [2012-09-21 01:12:57] 723*2^1229020-1 is not prime. Res64: 0763E0300A6E0740 Time : 0.0 sec. user=juhehe [2012-09-21 01:13:00] 793*2^1229019-1 is not prime. Res64: 3A4C3F54559EE745 Time : 0.0 sec. user=mdettweiler [2012-09-21 01:13:06] 843*2^1229020-1 is not prime. Res64: 7C20BA17FC129EBF Time : 0.0 sec. user=mdettweiler [2012-09-21 01:13:08] 857*2^1229020-1 is not prime. Res64: AE45183EB36FBA2C Time : 0.0 sec. user=mdettweiler [2012-09-21 01:33:52] 965*2^1229020-1 is not prime. Res64: 3D28C558DEB34EF7 Time : 0.0 sec. user=mdettweiler [2012-09-21 01:33:53] 621*2^1229021-1 is not prime. Res64: F9AF91D83F0924A5 Time : 0.0 sec. user=mdettweiler [2012-09-21 01:33:57] 657*2^1229021-1 is not prime. Res64: 6F3DE40133F79E89 Time : 0.0 sec. user=mdettweiler [2012-09-21 01:33:57] 795*2^1229021-1 is not prime. Res64: 9E76A1A3CC7CAD4A Time : 0.0 sec. user=vaughan [2012-09-21 01:42:45] 899*2^1229020-1 is not prime. Res64: 6729D480F977B35C Time : 0.0 sec. user=mdettweiler [2012-09-21 01:54:25] 829*2^1229021-1 is not prime. Res64: 78FE2851618D6B42 Time : 0.0 sec. user=mdettweiler [2012-09-21 01:54:25] 837*2^1229021-1 is not prime. Res64: 773A7FFCB4599DAF Time : 0.0 sec. user=mdettweiler [2012-09-21 01:54:29] 889*2^1229021-1 is not prime. Res64: A4DE177388E600EA Time : 0.0 sec. user=mdettweiler [2012-09-21 01:54:29] 901*2^1229021-1 is not prime. Res64: EAD4E08D2FF75E6A Time : 0.0 sec. user=mdettweiler [2012-09-21 02:14:58] 725*2^1229022-1 is not prime. Res64: E729D2BC8120DEC9 Time : 0.0 sec. user=mdettweiler [2012-09-21 02:15:00] 741*2^1229022-1 is not prime. Res64: 556154F59121B2E0 Time : 0.0 sec. user=mdettweiler [2012-09-21 02:15:01] 755*2^1229022-1 is not prime. Res64: 4710FCB3D4F83098 Time : 0.0 sec. user=mdettweiler [2012-09-21 02:15:02] 833*2^1229022-1 is not prime. Res64: EF52C6EBAB7102C0 Time : 0.0 sec. user=vaughan [2012-09-21 02:20:30] 945*2^1229021-1 is not prime. Res64: BEA52D66F63516CF Time : 0.0 sec. user=mdettweiler [2012-09-21 02:36:06] 891*2^1229022-1 is not prime. Res64: 8945AD0F1D9A4EBF Time : 0.0 sec. user=mdettweiler [2012-09-21 02:36:08] 965*2^1229022-1 is not prime. Res64: 2C0C847F6D34AAAD Time : 0.0 sec. user=mdettweiler [2012-09-21 02:36:09] 917*2^1229022-1 is not prime. Res64: BC6CCA032A40BE66 Time : 0.0 sec. user=mdettweiler [2012-09-21 02:36:10] 975*2^1229022-1 is not prime. Res64: B7215837DAE5B19E Time : 0.0 sec. user=juhehe [2012-09-21 02:55:22] 679*2^1229023-1 is not prime. Res64: EE0EDCED5D9F9703 Time : 0.0 sec. user=mdettweiler [2012-09-21 02:57:20] 859*2^1229023-1 is not prime. Res64: 1A1BB196744EC921 Time : 0.0 sec. user=mdettweiler [2012-09-21 02:57:21] 873*2^1229023-1 is not prime. Res64: 28D81737085CCCB1 Time : 0.0 sec. user=mdettweiler [2012-09-21 02:57:23] 615*2^1229024-1 is not prime. Res64: C681F981188AE7AB Time : 0.0 sec. user=mdettweiler [2012-09-21 02:57:24] 657*2^1229024-1 is not prime. Res64: 8CF855330273AFE8 Time : 0.0 sec. user=vaughan [2012-09-21 02:58:12] 693*2^1229023-1 is not prime. Res64: 87B1146038DBC14A Time : 0.0 sec. user=mdettweiler [2012-09-21 03:17:57] 665*2^1229024-1 is not prime. Res64: CA197A0FE8661BD4 Time : 0.0 sec. user=mdettweiler [2012-09-21 03:17:57] 683*2^1229024-1 is not prime. Res64: E7C3A8729AEF4364 Time : 0.0 sec. user=mdettweiler [2012-09-21 03:18:01] 789*2^1229024-1 is not prime. Res64: E4505EDAFA6D15ED Time : 0.0 sec. user=mdettweiler [2012-09-21 03:18:01] 825*2^1229024-1 is not prime. Res64: 9C0C228069EEBC40 Time : 0.0 sec. user=vaughan [2012-09-21 03:36:00] 875*2^1229024-1 is not prime. Res64: 95173BF7CAE249BB Time : 0.0 sec. user=mdettweiler [2012-09-21 03:38:31] 903*2^1229024-1 is not prime. Res64: DF3AAE2C7DC3EB86 Time : 0.0 sec. user=mdettweiler [2012-09-21 03:38:32] 927*2^1229024-1 is not prime. Res64: 064170AB2ED28E6D Time : 0.0 sec. user=mdettweiler [2012-09-21 03:38:33] 995*2^1229024-1 is not prime. Res64: 27C24AD32B14986E Time : 0.0 sec. user=mdettweiler [2012-09-21 03:38:34] 727*2^1229025-1 is not prime. Res64: B641EE9F1C42258C Time : 0.0 sec. user=mdettweiler [2012-09-21 03:59:04] 759*2^1229025-1 is not prime. Res64: 2775A1E9E3DCFA1B Time : 0.0 sec. user=mdettweiler [2012-09-21 03:59:05] 877*2^1229025-1 is not prime. Res64: 9F9DD4789B156D7F Time : 0.0 sec. user=mdettweiler [2012-09-21 03:59:05] 915*2^1229025-1 is not prime. Res64: F06B42FDC725C011 Time : 0.0 sec. user=mdettweiler [2012-09-21 03:59:06] 937*2^1229025-1 is not prime. Res64: 8772997FC7D945DE Time : 0.0 sec. user=mdettweiler [2012-09-21 04:19:39] 955*2^1229025-1 is not prime. Res64: E2E7C460158BFBFD Time : 0.0 sec. user=mdettweiler [2012-09-21 04:19:40] 611*2^1229026-1 is not prime. Res64: 787CDEAE5459E9C1 Time : 0.0 sec. user=mdettweiler [2012-09-21 04:19:40] 979*2^1229025-1 is not prime. Res64: D7CCCA688A4B7886 Time : 0.0 sec. user=mdettweiler [2012-09-21 04:19:40] 713*2^1229026-1 is not prime. Res64: 20A60BF3740D747D Time : 0.0 sec. user=juhehe [2012-09-21 04:37:16] 743*2^1229026-1 is not prime. Res64: 4CAC43895F042E12 Time : 0.0 sec. user=mdettweiler [2012-09-21 04:40:12] 873*2^1229026-1 is not prime. Res64: 33EB8C5DA1A060A3 Time : 0.0 sec. user=mdettweiler [2012-09-21 04:40:13] 933*2^1229026-1 is not prime. Res64: B28A97F3E21C05D0 Time : 0.0 sec. user=mdettweiler [2012-09-21 04:40:13] 987*2^1229026-1 is not prime. Res64: 1ECBDB080D3BD670 Time : 0.0 sec. user=mdettweiler [2012-09-21 04:40:14] 603*2^1229027-1 is not prime. Res64: 46370A8EF5608B03 Time : 0.0 sec. user=vaughan [2012-09-21 04:51:46] 783*2^1229026-1 is not prime. Res64: 9079810AA03CBAE4 Time : 0.0 sec. user=mdettweiler [2012-09-21 05:00:48] 663*2^1229027-1 is not prime. Res64: 2DB4E726DF7F6282 Time : 0.0 sec. user=mdettweiler [2012-09-21 05:00:49] 693*2^1229027-1 is not prime. Res64: 73C7914E086F5A4D Time : 0.0 sec. user=mdettweiler [2012-09-21 05:00:50] 705*2^1229027-1 is not prime. Res64: 7FDE8C062C109308 Time : 0.0 sec. user=mdettweiler [2012-09-21 05:00:51] 759*2^1229027-1 is not prime. Res64: F629D84C26A5ABE8 Time : 0.0 sec. user=mdettweiler [2012-09-21 05:21:46] 871*2^1229027-1 is not prime. Res64: 27F35149B478E1D4 Time : 0.0 sec. user=mdettweiler [2012-09-21 05:21:46] 615*2^1229028-1 is not prime. Res64: CB820BC0FC37B77D Time : 0.0 sec. user=mdettweiler [2012-09-21 05:21:47] 725*2^1229028-1 is not prime. Res64: 48E29EDC159A5C52 Time : 0.0 sec. user=mdettweiler [2012-09-21 05:21:47] 777*2^1229028-1 is not prime. Res64: 637A35AD6589AFFB Time : 0.0 sec. user=vaughan [2012-09-21 05:29:34] 861*2^1229027-1 is not prime. Res64: E137FFE9DCE03160 Time : 0.0 sec. user=mdettweiler [2012-09-21 05:42:19] 797*2^1229028-1 is not prime. Res64: 9DBB144B714020C0 Time : 0.0 sec. user=mdettweiler [2012-09-21 05:42:19] 845*2^1229028-1 is not prime. Res64: 56E1A94F4E8E2096 Time : 0.0 sec. user=mdettweiler [2012-09-21 05:42:20] 609*2^1229029-1 is not prime. Res64: 733A7A77FE9E95FE Time : 0.0 sec. user=mdettweiler [2012-09-21 05:42:21] 759*2^1229029-1 is not prime. Res64: B1635AFF12F55B5E Time : 0.0 sec. user=gd_barnes [2012-09-21 05:48:55] 795*2^1229028-1 is not prime. Res64: 53CAA9BD62019D8A Time : 0.0 sec. user=mdettweiler [2012-09-21 06:02:52] 939*2^1229029-1 is not prime. Res64: BEEE2B71D7BA37CA Time : 0.0 sec. user=mdettweiler [2012-09-21 06:02:53] 761*2^1229030-1 is not prime. Res64: 315ABC78EF7E5E7B Time : 0.0 sec. user=mdettweiler [2012-09-21 06:02:54] 987*2^1229029-1 is not prime. Res64: 047937C8FF1EA54D Time : 0.0 sec. user=mdettweiler [2012-09-21 06:02:54] 861*2^1229030-1 is not prime. Res64: 93C229B54D97ADC6 Time : 0.0 sec. user=vaughan [2012-09-21 06:07:19] 931*2^1229029-1 is not prime. Res64: 180F860D98B85508 Time : 0.0 sec. user=mdettweiler [2012-09-21 06:23:32] 613*2^1229031-1 is not prime. Res64: FD69A00EBF88A05F Time : 0.0 sec. user=mdettweiler [2012-09-21 06:23:32] 741*2^1229031-1 is not prime. Res64: 146E68351BDEF2C5 Time : 0.0 sec. user=mdettweiler [2012-09-21 06:23:33] 745*2^1229031-1 is not prime. Res64: B14BB89D31C82C0B Time : 0.0 sec. user=mdettweiler [2012-09-21 06:23:34] 795*2^1229031-1 is not prime. Res64: 1FF84908A06E7B51 Time : 0.0 sec. user=mdettweiler [2012-09-21 06:44:05] 615*2^1229032-1 is not prime. Res64: 9F17FA4661A1A7BA Time : 0.0 sec. user=mdettweiler [2012-09-21 06:44:05] 623*2^1229032-1 is not prime. Res64: 40F97028A14FE0CD Time : 0.0 sec. user=mdettweiler [2012-09-21 06:44:06] 645*2^1229032-1 is not prime. Res64: B4AB7B340A2754A4 Time : 0.0 sec. user=mdettweiler [2012-09-21 06:44:07] 657*2^1229032-1 is not prime. Res64: 3753B60E00E8C5CF Time : 0.0 sec. user=vaughan [2012-09-21 06:45:06] 975*2^1229031-1 is not prime. Res64: F865CF79AF976C99 Time : 0.0 sec. user=juhehe [2012-09-21 06:52:50] 609*2^1229032-1 is not prime. Res64: 035EF712FB4B1789 Time : 0.0 sec. user=mdettweiler [2012-09-21 07:04:37] 665*2^1229032-1 is not prime. Res64: 411EA3B1303AB4E7 Time : 0.0 sec. user=mdettweiler [2012-09-21 07:04:39] 989*2^1229032-1 is not prime. Res64: 69B8691F3E6697FD Time : 0.0 sec. user=mdettweiler [2012-09-21 07:04:41] 909*2^1229032-1 is not prime. Res64: E7AFBEFA5A5E5589 Time : 0.0 sec. user=mdettweiler [2012-09-21 07:04:46] 619*2^1229033-1 is not prime. Res64: 3D065618F2193D2E Time : 0.0 sec. user=vaughan [2012-09-21 07:22:49] 675*2^1229033-1 is not prime. Res64: 834112E48E51C4E9 Time : 0.0 sec. user=mdettweiler [2012-09-21 07:25:20] 691*2^1229033-1 is not prime. Res64: CDDF98069BA31BAA Time : 0.0 sec. user=mdettweiler [2012-09-21 07:25:20] 715*2^1229033-1 is not prime. Res64: 8D60C41A2C2481C5 Time : 0.0 sec. user=mdettweiler [2012-09-21 07:25:22] 795*2^1229033-1 is not prime. Res64: 22A1259BFB4E1A26 Time : 0.0 sec. user=mdettweiler [2012-09-21 07:25:22] 889*2^1229033-1 is not prime. Res64: 2C10CBAC203323DA Time : 0.0 sec. user=mdettweiler [2012-09-21 07:45:52] 861*2^1229034-1 is not prime. Res64: 95C269BC84800063 Time : 0.0 sec. user=mdettweiler [2012-09-21 07:45:52] 891*2^1229034-1 is not prime. Res64: EFC52CB2160E9BF9 Time : 0.0 sec. user=mdettweiler [2012-09-21 07:45:54] 945*2^1229034-1 is not prime. Res64: 151E50CA76A9BEE8 Time : 0.0 sec. user=mdettweiler [2012-09-21 07:45:55] 993*2^1229034-1 is not prime. Res64: 5040F3C0A96C2F5F Time : 0.0 sec. user=vaughan [2012-09-21 08:00:36] 671*2^1229034-1 is not prime. Res64: 7573CEB730AF63CB Time : 0.0 sec. user=mdettweiler [2012-09-21 08:06:25] 631*2^1229035-1 is not prime. Res64: 5043F4A1D907A7AB Time : 0.0 sec. user=mdettweiler [2012-09-21 08:06:27] 693*2^1229035-1 is not prime. Res64: ECE40C42F05D5B81 Time : 0.0 sec. user=mdettweiler [2012-09-21 08:06:30] 793*2^1229035-1 is not prime. Res64: 966BBACDB4D0C53D Time : 0.0 sec. user=mdettweiler [2012-09-21 08:06:31] 819*2^1229035-1 is not prime. Res64: 1074633E8AF8FE77 Time : 0.0 sec. user=mdettweiler [2012-09-21 08:27:24] 985*2^1229035-1 is not prime. Res64: 7577609BD57E9270 Time : 0.0 sec. user=mdettweiler [2012-09-21 08:27:25] 749*2^1229036-1 is not prime. Res64: E5DF3A198BFF420E Time : 0.0 sec. user=mdettweiler [2012-09-21 08:27:27] 767*2^1229036-1 is not prime. Res64: 507502C8F6D3E33A Time : 0.0 sec. user=mdettweiler [2012-09-21 08:27:28] 789*2^1229036-1 is not prime. Res64: 4053CC52E88799EF Time : 0.0 sec. user=juhehe [2012-09-21 08:34:58] 853*2^1229035-1 is not prime. Res64: 07DAEE03655BE52A Time : 0.0 sec. user=vaughan [2012-09-21 08:38:21] 951*2^1229035-1 is not prime. Res64: 5E6AAA5C10B32973 Time : 0.0 sec. user=mdettweiler [2012-09-21 08:47:59] 873*2^1229036-1 is not prime. Res64: 9159212E72EBB5EA Time : 0.0 sec. user=mdettweiler [2012-09-21 08:47:59] 963*2^1229036-1 is not prime. Res64: 2B5EE5876888E94D Time : 0.0 sec. user=mdettweiler [2012-09-21 08:47:59] 935*2^1229036-1 is not prime. Res64: 43D9185C50AF2532 Time : 0.0 sec. user=mdettweiler [2012-09-21 08:48:00] 983*2^1229036-1 is not prime. Res64: E23A14BA92E2BDBC Time : 0.0 sec. user=mdettweiler [2012-09-21 09:08:31] 649*2^1229037-1 is not prime. Res64: 28D71A19BE2380C8 Time : 0.0 sec. user=mdettweiler [2012-09-21 09:08:32] 651*2^1229037-1 is not prime. Res64: 56C2EBD563C753C1 Time : 0.0 sec. user=mdettweiler [2012-09-21 09:08:33] 717*2^1229037-1 is not prime. Res64: 615F7CA3B8F039B1 Time : 0.0 sec. user=mdettweiler [2012-09-21 09:08:33] 741*2^1229037-1 is not prime. Res64: DBF3514D972B356D Time : 0.0 sec. user=juhehe [2012-09-21 09:11:30] 987*2^1229036-1 is not prime. Res64: F7434249D10F9CD4 Time : 0.0 sec. user=vaughan [2012-09-21 09:16:04] 625*2^1229037-1 is not prime. Res64: 4785E4F17DE9868B Time : 0.0 sec. user=mdettweiler [2012-09-21 09:29:10] 759*2^1229037-1 is not prime. Res64: A69FDFC32D2052CF Time : 0.0 sec. user=mdettweiler [2012-09-21 09:29:10] 769*2^1229037-1 is not prime. Res64: 716FDDD8BEA06A9D Time : 0.0 sec. user=mdettweiler [2012-09-21 09:29:14] 777*2^1229037-1 is not prime. Res64: DEAB92F333C20B8E Time : 0.0 sec. user=mdettweiler [2012-09-21 09:29:14] 871*2^1229037-1 is not prime. Res64: A07BD86254F5ACFE Time : 0.0 sec. user=mdettweiler [2012-09-21 09:49:42] 937*2^1229037-1 is not prime. Res64: A26A5EB1BB4EF5BD Time : 0.0 sec. user=mdettweiler [2012-09-21 09:49:43] 961*2^1229037-1 is not prime. Res64: 8116FE8352843C0A Time : 0.0 sec. user=mdettweiler [2012-09-21 09:49:46] 623*2^1229038-1 is not prime. Res64: 3BB1D5AD88DAFEAA Time : 0.0 sec. user=mdettweiler [2012-09-21 09:49:47] 663*2^1229038-1 is not prime. Res64: 6BF9097B074A7CB2 Time : 0.0 sec. user=vaughan [2012-09-21 09:53:57] 895*2^1229037-1 is not prime. Res64: A4CDD422A67AB499 Time : 0.0 sec. user=mdettweiler [2012-09-21 10:10:15] 681*2^1229038-1 is not prime. Res64: 189515C5605DF9D4 Time : 0.0 sec. user=mdettweiler [2012-09-21 10:10:17] 695*2^1229038-1 is not prime. Res64: 3B5B329B3587194F Time : 0.0 sec. user=mdettweiler [2012-09-21 10:10:19] 713*2^1229038-1 is not prime. Res64: 0301139634F3029B Time : 0.0 sec. user=mdettweiler [2012-09-21 10:10:21] 743*2^1229038-1 is not prime. Res64: 3FF7BC69757E7367 Time : 0.0 sec. user=mdettweiler [2012-09-21 10:30:56] 801*2^1229038-1 is not prime. Res64: BE34596CC2131DDB Time : 0.0 sec. user=mdettweiler [2012-09-21 10:30:56] 863*2^1229038-1 is not prime. Res64: A2DBAB95AB66F7A9 Time : 0.0 sec. user=mdettweiler [2012-09-21 10:31:00] 911*2^1229038-1 is not prime. Res64: 9275D3F57EE883A4 Time : 0.0 sec. user=mdettweiler [2012-09-21 10:31:01] 995*2^1229038-1 is not prime. Res64: E3D5A83100F77ECA Time : 0.0 sec. user=vaughan [2012-09-21 10:31:39] 777*2^1229038-1 is not prime. Res64: A3AF8B817EB7E774 Time : 0.0 sec. user=mdettweiler [2012-09-21 10:51:32] 609*2^1229039-1 is not prime. Res64: 87EEAACC80DD93DC Time : 0.0 sec. user=mdettweiler [2012-09-21 10:51:33] 619*2^1229039-1 is not prime. Res64: C978DC3F674A1540 Time : 0.0 sec. user=mdettweiler [2012-09-21 10:51:34] 799*2^1229039-1 is not prime. Res64: 5CC76F3A446D7510 Time : 0.0 sec. user=mdettweiler [2012-09-21 10:51:35] 909*2^1229039-1 is not prime. Res64: 000BBF2B333D4E7E Time : 0.0 sec. user=vaughan [2012-09-21 11:09:21] 973*2^1229039-1 is not prime. Res64: 246B24B2260345FB Time : 0.0 sec. user=mdettweiler [2012-09-21 11:12:05] 999*2^1229039-1 is not prime. Res64: 929485F5A12ABF57 Time : 0.0 sec. user=mdettweiler [2012-09-21 11:12:06] 627*2^1229040-1 is not prime. Res64: 0A92D5182A038F7A Time : 0.0 sec. user=mdettweiler [2012-09-21 11:12:06] 689*2^1229040-1 is not prime. Res64: 34C443C18AFD697A Time : 0.0 sec. user=mdettweiler [2012-09-21 11:12:07] 753*2^1229040-1 is not prime. Res64: C5696C1A9B34B476 Time : 0.0 sec. user=mdettweiler [2012-09-21 11:32:43] 857*2^1229040-1 is not prime. Res64: B0BC61DB2484CF72 Time : 0.0 sec. user=mdettweiler [2012-09-21 11:32:44] 879*2^1229040-1 is not prime. Res64: 547A59C79AE36235 Time : 0.0 sec. user=mdettweiler [2012-09-21 11:32:47] 905*2^1229040-1 is not prime. Res64: C48C4142F3A08503 Time : 0.0 sec. user=mdettweiler [2012-09-21 11:32:48] 959*2^1229040-1 is not prime. Res64: C13EEC25ED8342EA Time : 0.0 sec. user=vaughan [2012-09-21 11:47:19] 789*2^1229040-1 is not prime. Res64: EFACF51E7F08513F Time : 0.0 sec. user=mdettweiler [2012-09-21 11:53:17] 999*2^1229040-1 is not prime. Res64: 0FB6C1FE7C3A780F Time : 0.0 sec. user=mdettweiler [2012-09-21 11:53:17] 807*2^1229041-1 is not prime. Res64: 0A7CAE01D1CE99CB Time : 0.0 sec. user=mdettweiler [2012-09-21 11:53:19] 895*2^1229041-1 is not prime. Res64: 11CF62E610A8CD0D Time : 0.0 sec. user=mdettweiler [2012-09-21 11:53:20] 937*2^1229041-1 is not prime. Res64: 122133C488CDD614 Time : 0.0 sec. user=mdettweiler [2012-09-21 12:14:15] 665*2^1229042-1 is not prime. Res64: EE353608FD652F5D Time : 0.0 sec. user=mdettweiler [2012-09-21 12:14:15] 677*2^1229042-1 is not prime. Res64: 7BC938C1587AC9E9 Time : 0.0 sec. user=mdettweiler [2012-09-21 12:14:18] 713*2^1229042-1 is not prime. Res64: E9984D2AE9B29D18 Time : 0.0 sec. user=mdettweiler [2012-09-21 12:14:20] 753*2^1229042-1 is not prime. Res64: 28CCE21A567E5ECB Time : 0.0 sec. user=vaughan [2012-09-21 12:25:01] 603*2^1229042-1 is not prime. Res64: A0E2D0F720771BEE Time : 0.0 sec. user=mdettweiler [2012-09-21 12:35:07] 755*2^1229042-1 is not prime. Res64: 061AF13D5193BB32 Time : 0.0 sec. user=mdettweiler [2012-09-21 12:35:07] 837*2^1229042-1 is not prime. Res64: 9DB9108B8057D003 Time : 0.0 sec. user=mdettweiler [2012-09-21 12:35:08] 873*2^1229042-1 is not prime. Res64: 178B6A91FDDA806B Time : 0.0 sec. user=mdettweiler [2012-09-21 12:35:08] 963*2^1229042-1 is not prime. Res64: 13D0935EC308D109 Time : 0.0 sec. user=mdettweiler [2012-09-21 12:55:39] 609*2^1229043-1 is not prime. Res64: A9228492294EC2D6 Time : 0.0 sec. user=mdettweiler [2012-09-21 12:55:39] 613*2^1229043-1 is not prime. Res64: A5326D5A213D66B2 Time : 0.0 sec. user=mdettweiler [2012-09-21 12:55:40] 619*2^1229043-1 is not prime. Res64: 7332C991D335938D Time : 0.0 sec. user=mdettweiler [2012-09-21 12:55:41] 675*2^1229043-1 is not prime. Res64: B741EE0AF3FB5112 Time : 0.0 sec. user=vaughan [2012-09-21 13:02:49] 995*2^1229042-1 is not prime. Res64: 159D00431FEDFF4E Time : 0.0 sec. user=mdettweiler [2012-09-21 13:16:11] 691*2^1229043-1 is not prime. Res64: C05110741EF44404 Time : 0.0 sec. user=mdettweiler [2012-09-21 13:16:12] 723*2^1229043-1 is not prime. Res64: A8B54D1815BF07B5 Time : 0.0 sec. user=mdettweiler [2012-09-21 13:16:13] 873*2^1229043-1 is not prime. Res64: 404717DCD460DDD2 Time : 0.0 sec. user=mdettweiler [2012-09-21 13:16:13] 879*2^1229043-1 is not prime. Res64: A7BE72A7398EBEA0 Time : 0.0 sec. user=mdettweiler [2012-09-21 13:36:48] 675*2^1229044-1 is not prime. Res64: 14E280E82F83824D Time : 0.0 sec. user=mdettweiler [2012-09-21 13:36:49] 699*2^1229044-1 is not prime. Res64: 3F6BA3EEC07AF130 Time : 0.0 sec. user=mdettweiler [2012-09-21 13:36:49] 717*2^1229044-1 is not prime. Res64: 847131D0ED353126 Time : 0.0 sec. user=mdettweiler [2012-09-21 13:36:50] 723*2^1229044-1 is not prime. Res64: F479974B9261422A Time : 0.0 sec. user=vaughan [2012-09-21 13:41:08] 951*2^1229043-1 is not prime. Res64: 05A80716B5614966 Time : 0.0 sec. user=mdettweiler [2012-09-21 13:57:21] 807*2^1229044-1 is not prime. Res64: 6075086D96CC9FFF Time : 0.0 sec. user=mdettweiler [2012-09-21 13:57:21] 711*2^1229045-1 is not prime. Res64: 5BF1D903CA47CD93 Time : 0.0 sec. user=mdettweiler [2012-09-21 13:57:21] 645*2^1229045-1 is not prime. Res64: 4500C8C20C87B354 Time : 0.0 sec. user=mdettweiler [2012-09-21 13:57:22] 825*2^1229045-1 is not prime. Res64: 72FABFAAA3E95CB3 Time : 0.0 sec. user=mdettweiler [2012-09-21 14:17:53] 711*2^1229046-1 is not prime. Res64: 43C8FF37FC908885 Time : 0.0 sec. user=mdettweiler [2012-09-21 14:17:54] 725*2^1229046-1 is not prime. Res64: 84274F4A326D061C Time : 0.0 sec. user=mdettweiler [2012-09-21 14:17:54] 783*2^1229046-1 is not prime. Res64: B09B90C303420C22 Time : 0.0 sec. user=mdettweiler [2012-09-21 14:17:55] 881*2^1229046-1 is not prime. Res64: 927DDFB7FAA88378 Time : 0.0 sec. user=vaughan [2012-09-21 14:18:49] 949*2^1229045-1 is not prime. Res64: 026AD627BD89BB43 Time : 0.0 sec. user=mdettweiler [2012-09-21 14:38:30] 891*2^1229046-1 is not prime. Res64: 96CC3EC5F1710236 Time : 0.0 sec. user=mdettweiler [2012-09-21 14:38:31] 921*2^1229046-1 is not prime. Res64: 93FEF09F429DE4B3 Time : 0.0 sec. user=mdettweiler [2012-09-21 14:38:31] 1001*2^1229046-1 is not prime. Res64: 7332FBD90BA495DE Time : 0.0 sec. user=mdettweiler [2012-09-21 14:38:31] 625*2^1229047-1 is not prime. Res64: 949532E91B0504E6 Time : 0.0 sec. user=vaughan [2012-09-21 14:56:32] 649*2^1229047-1 is not prime. Res64: 62330E9D893A0C72 Time : 0.0 sec. user=mdettweiler [2012-09-21 14:59:03] 693*2^1229047-1 is not prime. Res64: 001EB3808B89B139 Time : 0.0 sec. user=mdettweiler [2012-09-21 14:59:03] 729*2^1229047-1 is not prime. Res64: FE30675143219734 Time : 0.0 sec. user=mdettweiler [2012-09-21 14:59:04] 759*2^1229047-1 is not prime. Res64: 9F35EBCB71580D24 Time : 0.0 sec. user=mdettweiler [2012-09-21 14:59:04] 829*2^1229047-1 is not prime. Res64: 3A4123D67BDD4CA1 Time : 0.0 sec. user=mdettweiler [2012-09-21 15:19:36] 993*2^1229047-1 is not prime. Res64: 15F406A64526C435 Time : 0.0 sec. user=mdettweiler [2012-09-21 15:19:36] 677*2^1229048-1 is not prime. Res64: 6948FD5221634D4C Time : 0.0 sec. user=mdettweiler [2012-09-21 15:19:36] 615*2^1229048-1 is not prime. Res64: 29C60B1E612736D2 Time : 0.0 sec. user=mdettweiler [2012-09-21 15:19:37] 689*2^1229048-1 is not prime. Res64: F5D0ABEC5FF26A14 Time : 0.0 sec. user=vaughan [2012-09-21 15:34:14] 831*2^1229047-1 is not prime. Res64: D04E9AF0B85CE581 Time : 0.0 sec. user=mdettweiler [2012-09-21 15:40:11] 725*2^1229048-1 is not prime. Res64: 3EDEB33C447F4919 Time : 0.0 sec. user=mdettweiler [2012-09-21 15:40:11] 795*2^1229048-1 is not prime. Res64: F4E35D8AA45129A2 Time : 0.0 sec. user=mdettweiler [2012-09-21 15:40:12] 833*2^1229048-1 is not prime. Res64: C9A01489C559D761 Time : 0.0 sec. user=mdettweiler [2012-09-21 15:40:12] 915*2^1229048-1 is not prime. Res64: D0E14B1A74B62CBE Time : 0.0 sec. user=mdettweiler [2012-09-21 16:00:47] 755*2^1229050-1 is not prime. Res64: FBDCA6443FC0755F Time : 0.0 sec. user=mdettweiler [2012-09-21 16:00:47] 639*2^1229049-1 is not prime. Res64: F16459F5474395E7 Time : 0.0 sec. user=mdettweiler [2012-09-21 16:00:48] 917*2^1229050-1 is not prime. Res64: FB55BE6911CA9144 Time : 0.0 sec. user=mdettweiler [2012-09-21 16:00:50] 679*2^1229049-1 is not prime. Res64: 9D113FBA58FC7FBA Time : 0.0 sec. user=vaughan [2012-09-21 16:11:55] 999*2^1229048-1 is not prime. Res64: 8EFB4C21217A386C Time : 0.0 sec. user=mdettweiler [2012-09-21 16:21:50] 801*2^1229051-1 is not prime. Res64: AEE45927B4F6283D Time : 0.0 sec. user=mdettweiler [2012-09-21 16:21:51] 823*2^1229051-1 is not prime. Res64: 7E408BA6BAD9AF15 Time : 0.0 sec. user=juhehe [2012-09-21 16:21:51] 703*2^1229051-1 is not prime. Res64: 571E98CF8B3BC0C8 Time : 0.0 sec. user=mdettweiler [2012-09-21 16:21:51] 741*2^1229051-1 is not prime. Res64: C53326D4719B5538 Time : 0.0 sec. user=mdettweiler [2012-09-21 16:21:52] 943*2^1229051-1 is not prime. Res64: 4DB86397E6A284A6 Time : 0.0 sec. user=mdettweiler [2012-09-21 16:42:27] 623*2^1229052-1 is not prime. Res64: 34E9EFD7D0CAD04E Time : 0.0 sec. user=mdettweiler [2012-09-21 16:42:27] 669*2^1229052-1 is not prime. Res64: 4D885E0958DACF49 Time : 0.0 sec. user=mdettweiler [2012-09-21 16:42:28] 759*2^1229052-1 is not prime. Res64: CC3D194D4FA4F0B4 Time : 0.0 sec. user=mdettweiler [2012-09-21 16:42:28] 873*2^1229052-1 is not prime. Res64: 000BF98A2183AEAA Time : 0.0 sec. user=vaughan [2012-09-21 16:49:42] 999*2^1229051-1 is not prime. Res64: 0BD8026CC553753C Time : 0.0 sec. user=juhehe [2012-09-21 16:56:56] 717*2^1229052-1 is not prime. Res64: A57DFB1B72E538A9 Time : 0.0 sec. user=mdettweiler [2012-09-21 17:03:00] 899*2^1229052-1 is not prime. Res64: 532D1F5BAC80A78B Time : 0.0 sec. user=mdettweiler [2012-09-21 17:03:02] 699*2^1229053-1 is not prime. Res64: 9D1141263967162B Time : 0.0 sec. user=mdettweiler [2012-09-21 17:03:03] 729*2^1229053-1 is not prime. Res64: 188B2D3247913FD3 Time : 0.0 sec. user=mdettweiler [2012-09-21 17:03:05] 775*2^1229053-1 is not prime. Res64: 59D73CF8CA3B0760 Time : 0.0 sec. user=mdettweiler [2012-09-21 17:23:37] 901*2^1229053-1 is not prime. Res64: 91F98ACD5B0D109F Time : 0.0 sec. user=mdettweiler [2012-09-21 17:23:38] 951*2^1229053-1 is not prime. Res64: CA1EB6C0E930C4C6 Time : 0.0 sec. user=mdettweiler [2012-09-21 17:23:39] 957*2^1229053-1 is not prime. Res64: 8FD8527D5F958EB2 Time : 0.0 sec. user=mdettweiler [2012-09-21 17:23:40] 635*2^1229054-1 is not prime. Res64: 9F674D58BC8BA299 Time : 0.0 sec. user=vaughan [2012-09-21 17:27:26] 855*2^1229053-1 is not prime. Res64: E1367F6E07848AC0 Time : 0.0 sec. user=juhehe [2012-09-21 17:31:53] 895*2^1229053-1 is not prime. Res64: 659FBF42D573D42F Time : 0.0 sec. user=mdettweiler [2012-09-21 17:44:12] 677*2^1229054-1 is not prime. Res64: 27B9F761474DF057 Time : 0.0 sec. user=mdettweiler [2012-09-21 17:44:13] 753*2^1229054-1 is not prime. Res64: 36DA04452681686F Time : 0.0 sec. user=mdettweiler [2012-09-21 17:44:13] 813*2^1229054-1 is not prime. Res64: 385DA1969B4D2CD7 Time : 0.0 sec. user=mdettweiler [2012-09-21 17:44:14] 827*2^1229054-1 is not prime. Res64: B25FDA20871A422D Time : 0.0 sec. user=mdettweiler [2012-09-21 18:04:45] 941*2^1229054-1 is not prime. Res64: 306A8F90099CFF2D Time : 0.0 sec. user=mdettweiler [2012-09-21 18:04:46] 793*2^1229055-1 is not prime. Res64: BB4BDC64EE0A1364 Time : 0.0 sec. user=mdettweiler [2012-09-21 18:04:47] 819*2^1229055-1 is not prime. Res64: 8C04858F5AE9E5A5 Time : 0.0 sec. user=mdettweiler [2012-09-21 18:04:47] 865*2^1229055-1 is not prime. Res64: 24E595AF1E5173E2 Time : 0.0 sec. user=vaughan [2012-09-21 18:05:09] 831*2^1229054-1 is not prime. Res64: AC1B9AAC1FC5EB13 Time : 0.0 sec. user=juhehe [2012-09-21 18:06:52] 921*2^1229054-1 is not prime. Res64: 6107923B90DA663F Time : 0.0 sec. user=mdettweiler [2012-09-21 18:25:25] 871*2^1229055-1 is not prime. Res64: 2F3C884D93B00D38 Time : 0.0 sec. user=mdettweiler [2012-09-21 18:25:26] 663*2^1229056-1 is not prime. Res64: B3CF7473606C483E Time : 0.0 sec. user=mdettweiler [2012-09-21 18:25:27] 843*2^1229056-1 is not prime. Res64: 2B0FBB5B731B343B Time : 0.0 sec. user=mdettweiler [2012-09-21 18:25:28] 855*2^1229056-1 is not prime. Res64: 9130BE79D5EEC406 Time : 0.0 sec. user=vaughan [2012-09-21 18:42:54] 875*2^1229056-1 is not prime. Res64: DFD9D1525B19305E Time : 0.0 sec. user=mdettweiler [2012-09-21 18:46:11] 903*2^1229056-1 is not prime. Res64: E7F7519DC0B73EF9 Time : 0.0 sec. user=mdettweiler [2012-09-21 18:46:12] 989*2^1229056-1 is not prime. Res64: 44D3C27476BC3330 Time : 0.0 sec. user=mdettweiler [2012-09-21 18:46:13] 699*2^1229057-1 is not prime. Res64: 34236A29CA293EB5 Time : 0.0 sec. user=mdettweiler [2012-09-21 18:46:14] 711*2^1229057-1 is not prime. Res64: 987EEBB7B3ECB683 Time : 0.0 sec. user=mdettweiler [2012-09-21 19:06:43] 795*2^1229057-1 is not prime. Res64: AD633B68F97156F3 Time : 0.0 sec. user=mdettweiler [2012-09-21 19:06:44] 841*2^1229057-1 is not prime. Res64: 5B28B370F5017396 Time : 0.0 sec. user=mdettweiler [2012-09-21 19:06:49] 889*2^1229057-1 is not prime. Res64: 3C57C343919C84A9 Time : 0.0 sec. user=mdettweiler [2012-09-21 19:06:50] 985*2^1229057-1 is not prime. Res64: 77BEEC3E95CA48F0 Time : 0.0 sec. user=juhehe [2012-09-21 19:13:24] 729*2^1229057-1 is not prime. Res64: 133607A5C0703C63 Time : 0.0 sec. user=vaughan [2012-09-21 19:20:36] 769*2^1229057-1 is not prime. Res64: 0B50CFFC32AE94A3 Time : 0.0 sec. user=mdettweiler [2012-09-21 19:27:24] 633*2^1229058-1 is not prime. Res64: E08B8AC1FE638216 Time : 0.0 sec. user=mdettweiler [2012-09-21 19:27:25] 657*2^1229058-1 is not prime. Res64: 6CBE9CD15DDAEF8F Time : 0.0 sec. user=mdettweiler [2012-09-21 19:27:27] 711*2^1229058-1 is not prime. Res64: E9947D64148840C9 Time : 0.0 sec. user=mdettweiler [2012-09-21 19:27:28] 777*2^1229058-1 is not prime. Res64: FAAB2E36589E38A3 Time : 0.0 sec. user=mdettweiler [2012-09-21 19:48:07] 825*2^1229058-1 is not prime. Res64: F1CA6B20405C2D42 Time : 0.0 sec. user=mdettweiler [2012-09-21 19:48:07] 619*2^1229059-1 is not prime. Res64: 5363AC993C513F21 Time : 0.0 sec. user=mdettweiler [2012-09-21 19:48:10] 631*2^1229059-1 is not prime. Res64: 5BFFFE72FEF40B45 Time : 0.0 sec. user=mdettweiler [2012-09-21 19:48:10] 723*2^1229059-1 is not prime. Res64: 360DDA456A0BE972 Time : 0.0 sec. user=vaughan [2012-09-21 19:58:21] 801*2^1229058-1 is not prime. Res64: 3DA9042799572265 Time : 0.0 sec. user=mdettweiler [2012-09-21 20:08:44] 769*2^1229059-1 is not prime. Res64: 51A2A6AC64A36943 Time : 0.0 sec. user=mdettweiler [2012-09-21 20:08:47] 835*2^1229059-1 is not prime. Res64: 3F0A27667F01A8CD Time : 0.0 sec. user=mdettweiler [2012-09-21 20:08:48] 861*2^1229059-1 is not prime. Res64: 7BEE0793E57135DD Time : 0.0 sec. user=mdettweiler [2012-09-21 20:08:49] 939*2^1229059-1 is not prime. Res64: 249D76B65E26A98F Time : 0.0 sec. user=mdettweiler [2012-09-21 20:29:27] 677*2^1229060-1 is not prime. Res64: FEB51809D291D886 Time : 0.0 sec. user=mdettweiler [2012-09-21 20:29:28] 753*2^1229060-1 is not prime. Res64: 6A7A171E37B2F4A3 Time : 0.0 sec. user=mdettweiler [2012-09-21 20:29:28] 777*2^1229060-1 is not prime. Res64: DE5CC4140EFF715D Time : 0.0 sec. user=mdettweiler [2012-09-21 20:29:29] 935*2^1229060-1 is not prime. Res64: B737DF9891BFEC34 Time : 0.0 sec. user=vaughan [2012-09-21 20:36:02] 609*2^1229060-1 is not prime. Res64: 85391AF26BF67988 Time : 0.0 sec. user=mdettweiler [2012-09-21 20:50:05] 983*2^1229060-1 is not prime. Res64: 056C3DFBA927BAF6 Time : 0.0 sec. user=mdettweiler [2012-09-21 20:50:05] 681*2^1229061-1 is not prime. Res64: A2440B109073A1DF Time : 0.0 sec. user=mdettweiler [2012-09-21 20:50:06] 781*2^1229061-1 is not prime. Res64: A0AF4E0AD1732148 Time : 0.0 sec. user=mdettweiler [2012-09-21 20:50:06] 849*2^1229061-1 is not prime. Res64: A882A3CEF8C724E4 Time : 0.0 sec. user=juhehe [2012-09-21 20:51:41] 963*2^1229060-1 is not prime. Res64: F729CF282489C6CE Time : 0.0 sec. user=mdettweiler [2012-09-21 21:10:38] 705*2^1229062-1 is not prime. Res64: 1A54495A3487171E Time : 0.0 sec. user=mdettweiler [2012-09-21 21:10:39] 755*2^1229062-1 is not prime. Res64: 1576449FCABA7ED1 Time : 0.0 sec. user=mdettweiler [2012-09-21 21:10:40] 827*2^1229062-1 is not prime. Res64: 990762B3A24927F9 Time : 0.0 sec. user=mdettweiler [2012-09-21 21:10:41] 855*2^1229062-1 is not prime. Res64: 14769E374123F6D5 Time : 0.0 sec. user=vaughan [2012-09-21 21:13:43] 987*2^1229061-1 is not prime. Res64: AC75245D003B435C Time : 0.0 sec. user=mdettweiler [2012-09-21 21:31:28] 873*2^1229062-1 is not prime. Res64: DDBB25D7121027A0 Time : 0.0 sec. user=mdettweiler [2012-09-21 21:31:28] 887*2^1229062-1 is not prime. Res64: 1E175AFE6180E32F Time : 0.0 sec. user=mdettweiler [2012-09-21 21:31:30] 891*2^1229062-1 is not prime. Res64: BB26E69C39F1FB62 Time : 0.0 sec. user=mdettweiler [2012-09-21 21:31:30] 987*2^1229062-1 is not prime. Res64: 501165F238AF7F4D Time : 0.0 sec. user=vaughan [2012-09-21 21:51:29] 609*2^1229063-1 is not prime. Res64: E031D1F3B79DB513 Time : 0.0 sec. user=mdettweiler [2012-09-21 21:52:40] 721*2^1229063-1 is not prime. Res64: 7CBA1EC1DE84B66B Time : 0.0 sec. user=mdettweiler [2012-09-21 21:52:40] 735*2^1229063-1 is not prime. Res64: 074240BA8CFA015E Time : 0.0 sec. user=mdettweiler [2012-09-21 21:52:41] 621*2^1229063-1 is not prime. Res64: 4FEBB49876DCCFC8 Time : 0.0 sec. user=mdettweiler [2012-09-21 21:52:42] 675*2^1229063-1 is not prime. Res64: 9D64E89DD91B5E7A Time : 0.0 sec. user=mdettweiler [2012-09-21 22:13:28] 855*2^1229063-1 is not prime. Res64: 2CA37345E1AA43A1 Time : 0.0 sec. user=mdettweiler [2012-09-21 22:13:28] 943*2^1229063-1 is not prime. Res64: AE89CE747CE590E5 Time : 0.0 sec. user=mdettweiler [2012-09-21 22:13:29] 639*2^1229064-1 is not prime. Res64: 519C904FF0D3710C Time : 0.0 sec. user=mdettweiler [2012-09-21 22:13:29] 759*2^1229064-1 is not prime. Res64: 9A7F051B55FB4B1B Time : 0.0 sec. user=vaughan [2012-09-21 22:29:13] 805*2^1229063-1 is not prime. Res64: D963E6D6CFDD1159 Time : 0.0 sec. user=mdettweiler [2012-09-21 22:34:20] 625*2^1229065-1 is not prime. Res64: 68BC099C75E9D899 Time : 0.0 sec. user=mdettweiler [2012-09-21 22:34:20] 685*2^1229065-1 is not prime. Res64: 9F60831FD8EA668C Time : 0.0 sec. user=mdettweiler [2012-09-21 22:34:21] 687*2^1229065-1 is not prime. Res64: 18BF79225A0E6464 Time : 0.0 sec. user=mdettweiler [2012-09-21 22:34:22] 759*2^1229065-1 is not prime. Res64: F6C136B9BDA79A25 Time : 0.0 sec. user=mdettweiler [2012-09-21 22:55:07] 925*2^1229065-1 is not prime. Res64: 7ABAF0041B7FC3C6 Time : 0.0 sec. user=mdettweiler [2012-09-21 22:55:07] 939*2^1229065-1 is not prime. Res64: 592E9138E891EED3 Time : 0.0 sec. user=mdettweiler [2012-09-21 22:55:07] 987*2^1229065-1 is not prime. Res64: D5E7E336F522802B Time : 0.0 sec. user=mdettweiler [2012-09-21 22:55:08] 677*2^1229066-1 is not prime. Res64: 86427DEEB5659A07 Time : 0.0 sec. user=juhehe [2012-09-21 23:01:02] 855*2^1229065-1 is not prime. Res64: EA9A2FF01AE5A957 Time : 0.0 sec. user=vaughan [2012-09-21 23:06:57] 871*2^1229065-1 is not prime. Res64: 340BC52C314ADE6A Time : 0.0 sec. user=mdettweiler [2012-09-21 23:15:53] 747*2^1229066-1 is not prime. Res64: 5A0CED9A69A3A819 Time : 0.0 sec. user=mdettweiler [2012-09-21 23:15:53] 857*2^1229066-1 is not prime. Res64: A31BEC3908A4024E Time : 0.0 sec. user=mdettweiler [2012-09-21 23:15:54] 917*2^1229066-1 is not prime. Res64: 69B7DA7068137D2D Time : 0.0 sec. user=mdettweiler [2012-09-21 23:15:54] 921*2^1229066-1 is not prime. Res64: C190DE8091343248 Time : 0.0 sec. user=mdettweiler [2012-09-21 23:36:42] 849*2^1229067-1 is not prime. Res64: E0D3CECE907C7185 Time : 0.0 sec. user=mdettweiler [2012-09-21 23:36:43] 711*2^1229067-1 is not prime. Res64: 3CA765A2BAF9FD44 Time : 0.0 sec. user=mdettweiler [2012-09-21 23:36:43] 963*2^1229067-1 is not prime. Res64: 0A3C5461A83E4C21 Time : 0.0 sec. user=mdettweiler [2012-09-21 23:36:43] 741*2^1229067-1 is not prime. Res64: 55CFA68136724CE4 Time : 0.0 sec. user=vaughan [2012-09-21 23:44:45] 619*2^1229067-1 is not prime. Res64: 6387469F6DBD8062 Time : 0.0 sec. user=mdettweiler [2012-09-21 23:57:19] 689*2^1229068-1 is not prime. Res64: EC4EDEF63CA8997B Time : 0.0 sec. user=mdettweiler [2012-09-21 23:57:20] 743*2^1229068-1 is not prime. Res64: 1E89F1199402EFB5 Time : 0.0 sec. user=mdettweiler [2012-09-21 23:57:20] 813*2^1229068-1 is not prime. Res64: 7F7E59CB0F389EA0 Time : 0.0 sec. user=mdettweiler [2012-09-21 23:57:21] 833*2^1229068-1 is not prime. Res64: 496B4B52F06B710F Time : 0.0 sec.