user=juhehe [2013-07-24 00:06:17] 661*2^1247977-1 is not prime. Res64: 83FBD02276E16F8C Time : 0.0 sec. user=mdettweiler [2013-07-24 00:17:51] 753*2^1247978-1 is not prime. Res64: F004CEBB3A0F66AB Time : 0.0 sec. user=mdettweiler [2013-07-24 00:17:51] 831*2^1247978-1 is not prime. Res64: BC8A2DB3446E8740 Time : 0.0 sec. user=mdettweiler [2013-07-24 00:35:00] 941*2^1247978-1 is not prime. Res64: D02D5FAB6CBD23C4 Time : 0.0 sec. user=mdettweiler [2013-07-24 00:35:01] 663*2^1247979-1 is not prime. Res64: 3029C86D29EE4395 Time : 0.0 sec. user=mdettweiler [2013-07-24 00:52:04] 745*2^1247979-1 is not prime. Res64: BE35F53BBFB41AC7 Time : 0.0 sec. user=mdettweiler [2013-07-24 00:52:04] 789*2^1247979-1 is not prime. Res64: 872954F65B2A07EF Time : 0.0 sec. user=mdettweiler [2013-07-24 01:09:06] 879*2^1247979-1 is not prime. Res64: 8B6F24B5D10765FE Time : 0.0 sec. user=mdettweiler [2013-07-24 01:09:07] 931*2^1247979-1 is not prime. Res64: 606BC56F7EF039CE Time : 0.0 sec. user=juhehe [2013-07-24 01:19:32] 853*2^1247979-1 is not prime. Res64: 2573CB94FC501BD0 Time : 0.0 sec. user=mdettweiler [2013-07-24 01:26:13] 723*2^1247980-1 is not prime. Res64: EDD78EBECB3569D3 Time : 0.0 sec. user=mdettweiler [2013-07-24 01:26:13] 735*2^1247980-1 is not prime. Res64: 895A070B0BD25648 Time : 0.0 sec. user=mdettweiler [2013-07-24 01:43:14] 797*2^1247980-1 is not prime. Res64: D5AC3944E539FAD9 Time : 0.0 sec. user=mdettweiler [2013-07-24 01:43:15] 909*2^1247980-1 is not prime. Res64: 599DC68BD74CD2FD Time : 0.0 sec. user=mdettweiler [2013-07-24 02:01:55] 983*2^1247980-1 is not prime. Res64: 1A4AD54201248542 Time : 0.0 sec. user=mdettweiler [2013-07-24 02:01:56] 989*2^1247980-1 is not prime. Res64: C1FB75502D391980 Time : 0.0 sec. user=mdettweiler [2013-07-24 02:19:12] 631*2^1247981-1 is not prime. Res64: 1BC0302ECB4EFD9E Time : 0.0 sec. user=mdettweiler [2013-07-24 02:19:12] 711*2^1247981-1 is not prime. Res64: EEBD83DA2CD5A9BD Time : 0.0 sec. user=mdettweiler [2013-07-24 02:36:15] 747*2^1247981-1 is not prime. Res64: 8E340B2868351122 Time : 0.0 sec. user=mdettweiler [2013-07-24 02:36:16] 789*2^1247981-1 is not prime. Res64: 42729BA1C9FF1BE5 Time : 0.0 sec. user=mdettweiler [2013-07-24 02:53:34] 879*2^1247981-1 is not prime. Res64: 18137B5064EAB667 Time : 0.0 sec. user=mdettweiler [2013-07-24 02:53:35] 885*2^1247981-1 is not prime. Res64: 67B748618FA3F14A Time : 0.0 sec. user=mdettweiler [2013-07-24 03:12:18] 951*2^1247981-1 is not prime. Res64: 95BE3B0E9AE1B2E8 Time : 0.0 sec. user=mdettweiler [2013-07-24 03:12:19] 967*2^1247981-1 is not prime. Res64: 9B5845366D87A428 Time : 0.0 sec. user=mdettweiler [2013-07-24 03:30:12] 981*2^1247981-1 is not prime. Res64: AE9DDF74EB9B2140 Time : 0.0 sec. user=mdettweiler [2013-07-24 03:30:12] 683*2^1247982-1 is not prime. Res64: 12E27DE73FD0E1BF Time : 0.0 sec. user=mdettweiler [2013-07-24 03:47:18] 741*2^1247982-1 is not prime. Res64: 6550EAA52E4C4F78 Time : 0.0 sec. user=mdettweiler [2013-07-24 03:47:18] 747*2^1247982-1 is not prime. Res64: A3F28A6AF6CE4F36 Time : 0.0 sec. user=mdettweiler [2013-07-24 04:04:20] 777*2^1247982-1 is not prime. Res64: 0F04A1D7CB3F3DEA Time : 0.0 sec. user=mdettweiler [2013-07-24 04:04:21] 833*2^1247982-1 is not prime. Res64: A7642FBA8A2A2D8F Time : 0.0 sec. user=mdettweiler [2013-07-24 04:22:18] 887*2^1247982-1 is not prime. Res64: 494DCD6E90D7AD3D Time : 0.0 sec. user=mdettweiler [2013-07-24 04:22:18] 951*2^1247982-1 is not prime. Res64: 16EEC78212F84994 Time : 0.0 sec. user=mdettweiler [2013-07-24 04:39:19] 673*2^1247983-1 is not prime. Res64: DD68EEFF1B28424D Time : 0.0 sec. user=mdettweiler [2013-07-24 04:39:20] 679*2^1247983-1 is not prime. Res64: CA938FF0DD94D35F Time : 0.0 sec. user=mdettweiler [2013-07-24 04:56:25] 705*2^1247983-1 is not prime. Res64: 2906BE357EEFD822 Time : 0.0 sec. user=mdettweiler [2013-07-24 04:56:25] 729*2^1247983-1 is not prime. Res64: D64268BCAB8EAEBF Time : 0.0 sec. user=mdettweiler [2013-07-24 05:13:26] 751*2^1247983-1 is not prime. Res64: E69C9E1C1B722F14 Time : 0.0 sec. user=mdettweiler [2013-07-24 05:13:27] 853*2^1247983-1 is not prime. Res64: 265C1E4225D30F30 Time : 0.0 sec. user=mdettweiler [2013-07-24 05:30:33] 855*2^1247983-1 is not prime. Res64: A57F3735F7F88A84 Time : 0.0 sec. user=mdettweiler [2013-07-24 05:30:33] 859*2^1247983-1 is not prime. Res64: B3596C7A4F587CDC Time : 0.0 sec. user=mdettweiler [2013-07-24 05:48:26] 961*2^1247983-1 is not prime. Res64: A10AF6486B345319 Time : 0.0 sec. user=mdettweiler [2013-07-24 05:48:27] 615*2^1247984-1 is not prime. Res64: 480E02A869F9A654 Time : 0.0 sec. user=mdettweiler [2013-07-24 06:05:27] 675*2^1247984-1 is not prime. Res64: 2417087689B10376 Time : 0.0 sec. user=mdettweiler [2013-07-24 06:05:28] 869*2^1247984-1 is not prime. Res64: 7D39C7D485097E17 Time : 0.0 sec. user=mdettweiler [2013-07-24 06:22:33] 873*2^1247984-1 is not prime. Res64: 1ACAA1ABDD43FABF Time : 0.0 sec. user=mdettweiler [2013-07-24 06:22:34] 875*2^1247984-1 is not prime. Res64: 36DDE75A91DA091C Time : 0.0 sec. user=mdettweiler [2013-07-24 06:39:36] 667*2^1247985-1 is not prime. Res64: BA06484D928C3C9A Time : 0.0 sec. user=mdettweiler [2013-07-24 06:39:36] 817*2^1247985-1 is not prime. Res64: 5404F481DDE51A4D Time : 0.0 sec. user=mdettweiler [2013-07-24 06:57:27] 885*2^1247985-1 is not prime. Res64: B2D0FEB2DB84D1FC Time : 0.0 sec. user=mdettweiler [2013-07-24 06:57:27] 975*2^1247985-1 is not prime. Res64: 8823679B9C1C279B Time : 0.0 sec. user=mdettweiler [2013-07-24 07:14:28] 603*2^1247986-1 is not prime. Res64: B2278712D6F545F8 Time : 0.0 sec. user=mdettweiler [2013-07-24 07:14:29] 651*2^1247986-1 is not prime. Res64: A2715626E75B7E5E Time : 0.0 sec. user=mdettweiler [2013-07-24 07:31:30] 657*2^1247986-1 is not prime. Res64: BCDEADEB73A567D9 Time : 0.0 sec. user=mdettweiler [2013-07-24 07:31:31] 675*2^1247986-1 is not prime. Res64: B920F98A7D4CD930 Time : 0.0 sec. user=mdettweiler [2013-07-24 07:48:31] 815*2^1247986-1 is not prime. Res64: ED446C0AC41419E5 Time : 0.0 sec. user=mdettweiler [2013-07-24 07:48:32] 873*2^1247986-1 is not prime. Res64: 4B6B10E9DF4261B6 Time : 0.0 sec. user=mdettweiler [2013-07-24 08:06:22] 987*2^1247986-1 is not prime. Res64: C67624024102F45A Time : 0.0 sec. user=mdettweiler [2013-07-24 08:06:23] 631*2^1247987-1 is not prime. Res64: B60CF32848E3E0CF Time : 0.0 sec. user=mdettweiler [2013-07-24 08:23:28] 645*2^1247987-1 is not prime. Res64: 4B780870C849D9A2 Time : 0.0 sec. user=mdettweiler [2013-07-24 08:23:29] 675*2^1247987-1 is not prime. Res64: 32D3587428743F6E Time : 0.0 sec. user=mdettweiler [2013-07-24 08:40:45] 685*2^1247987-1 is not prime. Res64: 998C74542B341F83 Time : 0.0 sec. user=mdettweiler [2013-07-24 08:40:46] 829*2^1247987-1 is not prime. Res64: C9DAF01E8A8723A6 Time : 0.0 sec. user=mdettweiler [2013-07-24 08:59:04] 861*2^1247987-1 is not prime. Res64: CD062AF3CE1EE005 Time : 0.0 sec. user=mdettweiler [2013-07-24 08:59:05] 963*2^1247987-1 is not prime. Res64: 9719EB7393A05496 Time : 0.0 sec. user=mdettweiler [2013-07-24 09:16:21] 899*2^1247988-1 is not prime. Res64: 1385F9D5BD8CB477 Time : 0.0 sec. user=mdettweiler [2013-07-24 09:16:22] 867*2^1247989-1 is not prime. Res64: 2262768DD335E587 Time : 0.0 sec. user=mdettweiler [2013-07-24 09:35:10] 957*2^1247989-1 is not prime. Res64: 1E7C117D7424CDE4 Time : 0.0 sec. user=mdettweiler [2013-07-24 09:35:10] 985*2^1247989-1 is not prime. Res64: 0D6F5F347AFB9F1D Time : 0.0 sec. user=mdettweiler [2013-07-24 09:53:11] 999*2^1247989-1 is not prime. Res64: C73D2521A609355C Time : 0.0 sec. user=mdettweiler [2013-07-24 09:53:12] 627*2^1247990-1 is not prime. Res64: EDAA27709A0E8A99 Time : 0.0 sec. user=mdettweiler [2013-07-24 10:10:22] 665*2^1247990-1 is not prime. Res64: 83A55F781B25D2D2 Time : 0.0 sec. user=mdettweiler [2013-07-24 10:10:23] 851*2^1247990-1 is not prime. Res64: EFF75F7C2D4A282B Time : 0.0 sec. user=mdettweiler [2013-07-24 10:27:38] 739*2^1247991-1 is not prime. Res64: 98BE4E62EB9389D7 Time : 0.0 sec. user=mdettweiler [2013-07-24 10:27:38] 741*2^1247991-1 is not prime. Res64: 197B9AAF46E0FDEB Time : 0.0 sec. user=mdettweiler [2013-07-24 10:45:38] 891*2^1247991-1 is not prime. Res64: DD9703D904F1968A Time : 0.0 sec. user=mdettweiler [2013-07-24 10:45:39] 975*2^1247991-1 is not prime. Res64: 622B7FD0AA3F43E5 Time : 0.0 sec. user=juhehe [2013-07-24 10:55:46] 865*2^1247991-1 is not prime. Res64: BDBF714486929703 Time : 0.0 sec. user=mdettweiler [2013-07-24 11:03:40] 999*2^1247991-1 is not prime. Res64: D2EE19E51BA3A8A1 Time : 0.0 sec. user=mdettweiler [2013-07-24 11:03:40] 833*2^1247992-1 is not prime. Res64: CC2CAE246B6930FD Time : 0.0 sec. user=mdettweiler [2013-07-24 11:21:52] 989*2^1247992-1 is not prime. Res64: 2831A01A91EB51EB Time : 0.0 sec. user=mdettweiler [2013-07-24 11:21:52] 607*2^1247993-1 is not prime. Res64: 103690A0E50E7159 Time : 0.0 sec. user=mdettweiler [2013-07-24 11:39:03] 657*2^1247993-1 is not prime. Res64: 00A5166DC8C80F2E Time : 0.0 sec. user=mdettweiler [2013-07-24 11:39:04] 741*2^1247993-1 is not prime. Res64: 8E2058C9F8A33452 Time : 0.0 sec. user=juhehe [2013-07-24 11:48:31] 651*2^1247993-1 is not prime. Res64: C8992C2C339E1CC8 Time : 0.0 sec. user=mdettweiler [2013-07-24 11:56:14] 855*2^1247993-1 is not prime. Res64: 584ED07DFEFF426E Time : 0.0 sec. user=mdettweiler [2013-07-24 11:56:14] 633*2^1247994-1 is not prime. Res64: 2212835D657E25D1 Time : 0.0 sec. user=juhehe [2013-07-24 11:56:25] 847*2^1247993-1 is not prime. Res64: 64630785FA92DB0A Time : 0.0 sec. user=mdettweiler [2013-07-24 12:13:23] 677*2^1247994-1 is not prime. Res64: 57563F12D4175003 Time : 0.0 sec. user=mdettweiler [2013-07-24 12:13:24] 717*2^1247994-1 is not prime. Res64: 1CA8AF2EE8CDA969 Time : 0.0 sec. user=juhehe [2013-07-24 12:25:03] 903*2^1247994-1 is not prime. Res64: 463305344DE4DE4D Time : 0.0 sec. user=mdettweiler [2013-07-24 12:30:35] 645*2^1247995-1 is not prime. Res64: BD4465458602E9DF Time : 0.0 sec. user=mdettweiler [2013-07-24 12:30:35] 693*2^1247995-1 is not prime. Res64: 57A15F521E945523 Time : 0.0 sec. user=juhehe [2013-07-24 12:45:49] 765*2^1247995-1 is not prime. Res64: A8705FBAEC585F83 Time : 0.0 sec. user=mdettweiler [2013-07-24 12:47:46] 793*2^1247995-1 is not prime. Res64: 816140169F483252 Time : 0.0 sec. user=mdettweiler [2013-07-24 12:47:47] 841*2^1247995-1 is not prime. Res64: 990C894DCE020100 Time : 0.0 sec. user=mdettweiler [2013-07-24 13:04:58] 861*2^1247995-1 is not prime. Res64: 49FAB9AEB9BC0CE9 Time : 0.0 sec. user=mdettweiler [2013-07-24 13:04:58] 873*2^1247995-1 is not prime. Res64: 4E1FC05E7C1C7F40 Time : 0.0 sec. user=juhehe [2013-07-24 13:16:18] 855*2^1247995-1 is not prime. Res64: C2261D8038D2F8CB Time : 0.0 sec. user=mdettweiler [2013-07-24 13:23:03] 985*2^1247995-1 is not prime. Res64: 0AAF0F14D0C52C5D Time : 0.0 sec. user=mdettweiler [2013-07-24 13:23:04] 669*2^1247996-1 is not prime. Res64: 71D427297F70E86B Time : 0.0 sec. user=juhehe [2013-07-24 13:39:34] 725*2^1247996-1 is not prime. Res64: BA828CC988CC1EB7 Time : 0.0 sec. user=mdettweiler [2013-07-24 13:41:10] 869*2^1247996-1 is not prime. Res64: 840EFFB23136DDB8 Time : 0.0 sec. user=mdettweiler [2013-07-24 13:41:11] 969*2^1247996-1 is not prime. Res64: AA187405F6E836DA Time : 0.0 sec. user=mdettweiler [2013-07-24 13:58:20] 717*2^1247997-1 is not prime. Res64: 3D40850E5DF94211 Time : 0.0 sec. user=mdettweiler [2013-07-24 13:58:21] 835*2^1247997-1 is not prime. Res64: 41EB96919FFB2424 Time : 0.0 sec. user=mdettweiler [2013-07-24 14:16:15] 891*2^1247997-1 is not prime. Res64: AF8C1101FE1B7B39 Time : 0.0 sec. user=mdettweiler [2013-07-24 14:16:15] 901*2^1247997-1 is not prime. Res64: A0ADF4DDF40FD8D8 Time : 0.0 sec. user=mdettweiler [2013-07-24 14:36:19] 955*2^1247997-1 is not prime. Res64: 864EFA2A0F75923B Time : 0.0 sec. user=mdettweiler [2013-07-24 14:36:19] 979*2^1247997-1 is not prime. Res64: 73085A6FED773043 Time : 0.0 sec. user=mdettweiler [2013-07-24 14:54:54] 997*2^1247997-1 is not prime. Res64: 68D1226FBF266C15 Time : 0.0 sec. user=mdettweiler [2013-07-24 14:54:54] 603*2^1247998-1 is not prime. Res64: 4A8D6D86EA666CFD Time : 0.0 sec. user=mdettweiler [2013-07-24 15:12:29] 621*2^1247998-1 is not prime. Res64: 2A70AD5C5313C490 Time : 0.0 sec. user=mdettweiler [2013-07-24 15:12:30] 695*2^1247998-1 is not prime. Res64: 1F83D7F509FEE59A Time : 0.0 sec. user=mdettweiler [2013-07-24 15:30:06] 707*2^1247998-1 is not prime. Res64: D4FC5E9C2680B648 Time : 0.0 sec. user=mdettweiler [2013-07-24 15:30:06] 801*2^1247998-1 is not prime. Res64: D0A8E4911EBA75C8 Time : 0.0 sec. user=mdettweiler [2013-07-24 15:48:36] 945*2^1247998-1 is not prime. Res64: EDAE17E6876BE281 Time : 0.0 sec. user=mdettweiler [2013-07-24 15:48:36] 951*2^1247998-1 is not prime. Res64: 1DE24D53035FC109 Time : 0.0 sec. user=mdettweiler [2013-07-24 16:08:19] 957*2^1247998-1 is not prime. Res64: 03AF080E1C0BECC5 Time : 0.0 sec. user=mdettweiler [2013-07-24 16:08:20] 995*2^1247998-1 is not prime. Res64: 32F547D7E2C2FCD4 Time : 0.0 sec. user=mdettweiler [2013-07-24 16:26:05] 615*2^1247999-1 is not prime. Res64: B20A40C371642B10 Time : 0.0 sec. user=mdettweiler [2013-07-24 16:26:05] 621*2^1247999-1 is not prime. Res64: 9E47B64679E30733 Time : 0.0 sec. user=mdettweiler [2013-07-24 16:43:46] 661*2^1247999-1 is not prime. Res64: C7E99234C7767215 Time : 0.0 sec. user=mdettweiler [2013-07-24 16:43:46] 729*2^1247999-1 is not prime. Res64: D87C27A055F55C01 Time : 0.0 sec. user=mdettweiler [2013-07-24 17:02:56] 939*2^1247999-1 is not prime. Res64: A79FDF9AD25F8920 Time : 0.0 sec. user=mdettweiler [2013-07-24 17:02:57] 973*2^1247999-1 is not prime. Res64: 800C13E41A436384 Time : 0.0 sec. user=mdettweiler [2013-07-24 17:22:38] 999*2^1247999-1 is not prime. Res64: 08A67CC4756071CD Time : 0.0 sec. user=mdettweiler [2013-07-24 17:22:39] 707*2^1248000-1 is not prime. Res64: 08B94CAA52ED42C8 Time : 0.0 sec. user=mdettweiler [2013-07-24 17:40:25] 737*2^1248000-1 is not prime. Res64: 28FC5FAF2C0C7751 Time : 0.0 sec. user=mdettweiler [2013-07-24 17:40:25] 747*2^1248000-1 is not prime. Res64: 1E47A9E1CE0174C2 Time : 0.0 sec. user=mdettweiler [2013-07-24 17:58:09] 819*2^1248000-1 is not prime. Res64: F721A93A2D1EE1DE Time : 0.0 sec. user=mdettweiler [2013-07-24 17:58:10] 685*2^1248001-1 is not prime. Res64: 8647A1B0530AA2F0 Time : 0.0 sec. user=mdettweiler [2013-07-24 18:15:51] 705*2^1248001-1 is not prime. Res64: 5E293FA154235CD2 Time : 0.0 sec. user=mdettweiler [2013-07-24 18:15:52] 811*2^1248001-1 is not prime. Res64: 8A62622CADB2687F Time : 0.0 sec. user=mdettweiler [2013-07-24 18:33:32] 855*2^1248001-1 is not prime. Res64: 54D89B62D717F3B5 Time : 0.0 sec. user=mdettweiler [2013-07-24 18:33:32] 877*2^1248001-1 is not prime. Res64: 4565D8A2929432BE Time : 0.0 sec. user=mdettweiler [2013-07-24 18:51:17] 615*2^1248002-1 is not prime. Res64: 7DA9805A4172AE65 Time : 0.0 sec. user=mdettweiler [2013-07-24 18:51:17] 735*2^1248002-1 is not prime. Res64: 47A8561816260643 Time : 0.0 sec. user=mdettweiler [2013-07-24 19:09:03] 825*2^1248002-1 is not prime. Res64: 67584117DB90E4B4 Time : 0.0 sec. user=mdettweiler [2013-07-24 19:09:04] 885*2^1248002-1 is not prime. Res64: 26979EDC10970C2D Time : 0.0 sec. user=mdettweiler [2013-07-24 19:26:57] 893*2^1248002-1 is not prime. Res64: 84C23162A5364C57 Time : 0.0 sec. user=mdettweiler [2013-07-24 19:26:57] 935*2^1248002-1 is not prime. Res64: 7E092C492E2E9ADE Time : 0.0 sec. user=mdettweiler [2013-07-24 19:44:42] 795*2^1248003-1 is not prime. Res64: F8D0C369EFB93DDB Time : 0.0 sec. user=mdettweiler [2013-07-24 19:44:42] 871*2^1248003-1 is not prime. Res64: 7FB881E196560CE2 Time : 0.0 sec. user=mdettweiler [2013-07-24 20:02:08] 915*2^1248004-1 is not prime. Res64: C567152C37C223FF Time : 0.0 sec. user=mdettweiler [2013-07-24 20:02:09] 927*2^1248004-1 is not prime. Res64: FC981F72F1661FB1 Time : 0.0 sec. user=mdettweiler [2013-07-24 20:19:54] 619*2^1248005-1 is not prime. Res64: A20C95684A93B3E0 Time : 0.0 sec. user=mdettweiler [2013-07-24 20:19:54] 657*2^1248005-1 is not prime. Res64: 4C3791272E76259E Time : 0.0 sec. user=mdettweiler [2013-07-24 20:37:20] 729*2^1248005-1 is not prime. Res64: 380A8EB2D2BA8458 Time : 0.0 sec. user=mdettweiler [2013-07-24 20:37:20] 939*2^1248005-1 is not prime. Res64: 0E8E546D352DE481 Time : 0.0 sec. user=mdettweiler [2013-07-24 20:57:00] 957*2^1248005-1 is not prime. Res64: 9A21FC7C091A2DB1 Time : 0.0 sec. user=mdettweiler [2013-07-24 20:57:00] 987*2^1248005-1 is not prime. Res64: EEA621683BAAD73C Time : 0.0 sec. user=mdettweiler [2013-07-24 21:15:15] 991*2^1248005-1 is not prime. Res64: 423D94873EF816F7 Time : 0.0 sec. user=mdettweiler [2013-07-24 21:15:16] 657*2^1248006-1 is not prime. Res64: 615A48EF2F3060CE Time : 0.0 sec. user=mdettweiler [2013-07-24 21:32:29] 677*2^1248006-1 is not prime. Res64: 2CB919E140E1E0E3 Time : 0.0 sec. user=mdettweiler [2013-07-24 21:32:30] 765*2^1248006-1 is not prime. Res64: 24DF4F83E5B11D8A Time : 0.0 sec. user=mdettweiler [2013-07-24 21:49:49] 795*2^1248006-1 is not prime. Res64: 06E15C02CA5E3CEA Time : 0.0 sec. user=mdettweiler [2013-07-24 21:49:50] 861*2^1248006-1 is not prime. Res64: 47FE33753D4B715B Time : 0.0 sec. user=mdettweiler [2013-07-24 22:07:14] 693*2^1248007-1 is not prime. Res64: 70B7B7EEA35F99AD Time : 0.0 sec. user=mdettweiler [2013-07-24 22:07:15] 729*2^1248007-1 is not prime. Res64: 696D80F6770088A3 Time : 0.0 sec. user=mdettweiler [2013-07-24 22:24:41] 793*2^1248007-1 is not prime. Res64: C0860CA180387CFD Time : 0.0 sec. user=mdettweiler [2013-07-24 22:24:42] 841*2^1248007-1 is not prime. Res64: EB76BE9A236EB67C Time : 0.0 sec. user=juhehe [2013-07-24 22:27:26] 921*2^1248006-1 is not prime. Res64: 54CB4E65D9BDFD42 Time : 0.0 sec. user=mdettweiler [2013-07-24 22:43:14] 933*2^1248007-1 is not prime. Res64: 4C457929015841BF Time : 0.0 sec. user=mdettweiler [2013-07-24 22:43:14] 973*2^1248007-1 is not prime. Res64: B8D1D0D62C50AFA2 Time : 0.0 sec. user=mdettweiler [2013-07-24 23:00:54] 755*2^1248008-1 is not prime. Res64: 921EE22D15D5BA2C Time : 0.0 sec. user=mdettweiler [2013-07-24 23:00:55] 813*2^1248008-1 is not prime. Res64: D1B5849454431345 Time : 0.0 sec. user=mdettweiler [2013-07-24 23:18:46] 845*2^1248008-1 is not prime. Res64: 823C759450C7B42F Time : 0.0 sec. user=mdettweiler [2013-07-24 23:18:46] 945*2^1248008-1 is not prime. Res64: 0A05DFA19AC4F337 Time : 0.0 sec. user=mdettweiler [2013-07-24 23:36:25] 669*2^1248009-1 is not prime. Res64: AFEB57192623E1BD Time : 0.0 sec. user=mdettweiler [2013-07-24 23:36:25] 781*2^1248009-1 is not prime. Res64: 32A8B1828859D474 Time : 0.0 sec. user=juhehe [2013-07-24 23:50:25] 963*2^1248008-1 is not prime. Res64: 50339A27B9A747C0 Time : 0.0 sec. user=mdettweiler [2013-07-24 23:54:06] 645*2^1248010-1 is not prime. Res64: F279500241751450 Time : 0.0 sec. user=mdettweiler [2013-07-24 23:54:07] 665*2^1248010-1 is not prime. Res64: 9B1A8211963FC9B2 Time : 0.0 sec.