user=mdettweiler [2012-12-25 00:18:16] 705*2^1237993-1 is not prime. Res64: BC2351CC8F689AA7 Time : 0.0 sec. user=mdettweiler [2012-12-25 00:18:16] 721*2^1237993-1 is not prime. Res64: BBF576DD89A23948 Time : 0.0 sec. user=mdettweiler [2012-12-25 00:18:17] 915*2^1237993-1 is not prime. Res64: C5958D168CD15266 Time : 0.0 sec. user=mdettweiler [2012-12-25 00:18:17] 945*2^1237993-1 is not prime. Res64: 2CC8E4F27F72ED9D Time : 0.0 sec. user=mdettweiler [2012-12-25 00:35:35] 657*2^1237994-1 is not prime. Res64: AF16A44A7133A6FE Time : 0.0 sec. user=mdettweiler [2012-12-25 00:35:36] 741*2^1237994-1 is not prime. Res64: D20C2CED0788D5B7 Time : 0.0 sec. user=mdettweiler [2012-12-25 00:35:38] 825*2^1237994-1 is not prime. Res64: FB9369ADC7F824F5 Time : 0.0 sec. user=mdettweiler [2012-12-25 00:35:40] 983*2^1237994-1 is not prime. Res64: A88E36769F97BAF2 Time : 0.0 sec. user=vaughan [2012-12-25 00:37:35] 685*2^1237993-1 is not prime. Res64: A042F15A40CF4222 Time : 0.0 sec. user=mdettweiler [2012-12-25 00:53:00] 685*2^1237995-1 is not prime. Res64: D73CD36F624997B5 Time : 0.0 sec. user=mdettweiler [2012-12-25 00:53:00] 789*2^1237995-1 is not prime. Res64: FEA22D06C89EFC92 Time : 0.0 sec. user=mdettweiler [2012-12-25 00:53:01] 825*2^1237995-1 is not prime. Res64: 237AA3AB94494188 Time : 0.0 sec. user=mdettweiler [2012-12-25 00:53:02] 895*2^1237995-1 is not prime. Res64: 40E84AEBFBFA38F6 Time : 0.0 sec. user=mdettweiler [2012-12-25 01:10:20] 999*2^1237995-1 is not prime. Res64: CD5DF828F8D8C2B2 Time : 0.0 sec. user=mdettweiler [2012-12-25 01:10:21] 707*2^1237996-1 is not prime. Res64: FA5BF89E10832CD2 Time : 0.0 sec. user=mdettweiler [2012-12-25 01:10:21] 735*2^1237996-1 is not prime. Res64: 7F2F65253D77F587 Time : 0.0 sec. user=mdettweiler [2012-12-25 01:10:22] 743*2^1237996-1 is not prime. Res64: CD46D61D39E1B21C Time : 0.0 sec. user=vaughan [2012-12-25 01:15:23] 963*2^1237995-1 is not prime. Res64: FEC11A156E1C27EA Time : 0.0 sec. user=mdettweiler [2012-12-25 01:27:42] 813*2^1237996-1 is not prime. Res64: 6FB8E597189ACF4B Time : 0.0 sec. user=mdettweiler [2012-12-25 01:27:43] 927*2^1237996-1 is not prime. Res64: F74A4BC8E2654852 Time : 0.0 sec. user=mdettweiler [2012-12-25 01:27:44] 939*2^1237996-1 is not prime. Res64: 44B4D6A2942AEBD4 Time : 0.0 sec. user=mdettweiler [2012-12-25 01:27:44] 983*2^1237996-1 is not prime. Res64: 982F4EAFB8BD7771 Time : 0.0 sec. user=mdettweiler [2012-12-25 01:45:03] 615*2^1237997-1 is not prime. Res64: 0FECA7918B30E00E Time : 0.0 sec. user=mdettweiler [2012-12-25 01:45:03] 685*2^1237997-1 is not prime. Res64: 6DE6A3DEA08DEF0E Time : 0.0 sec. user=mdettweiler [2012-12-25 01:45:06] 711*2^1237997-1 is not prime. Res64: 733F88B9A6AF76BD Time : 0.0 sec. user=mdettweiler [2012-12-25 01:45:07] 759*2^1237997-1 is not prime. Res64: 9866CA546D33034F Time : 0.0 sec. user=vaughan [2012-12-25 01:53:13] 999*2^1237996-1 is not prime. Res64: 934577C7EE922CAC Time : 0.0 sec. user=mdettweiler [2012-12-25 02:02:22] 777*2^1237997-1 is not prime. Res64: 61B87F95B270149F Time : 0.0 sec. user=mdettweiler [2012-12-25 02:02:23] 859*2^1237997-1 is not prime. Res64: 9403071A3D7E8C2E Time : 0.0 sec. user=mdettweiler [2012-12-25 02:02:25] 879*2^1237997-1 is not prime. Res64: 515A3BBF26EF8FC6 Time : 0.0 sec. user=mdettweiler [2012-12-25 02:02:26] 889*2^1237997-1 is not prime. Res64: A94A66F3D36C943A Time : 0.0 sec. user=mdettweiler [2012-12-25 02:19:42] 621*2^1237998-1 is not prime. Res64: 9993934C357C19A2 Time : 0.0 sec. user=mdettweiler [2012-12-25 02:19:43] 627*2^1237998-1 is not prime. Res64: DB0AF59128C5BD9F Time : 0.0 sec. user=mdettweiler [2012-12-25 02:19:46] 737*2^1237998-1 is not prime. Res64: AF8D7264C488E843 Time : 0.0 sec. user=mdettweiler [2012-12-25 02:19:47] 885*2^1237998-1 is not prime. Res64: 207554D6B5DF5087 Time : 0.0 sec. user=vaughan [2012-12-25 02:31:01] 955*2^1237997-1 is not prime. Res64: 90DCDDDC45AFA2BA Time : 0.0 sec. user=mdettweiler [2012-12-25 02:37:07] 893*2^1237998-1 is not prime. Res64: 0600CA560F103AAE Time : 0.0 sec. user=mdettweiler [2012-12-25 02:37:10] 921*2^1237998-1 is not prime. Res64: F26B563898870F72 Time : 0.0 sec. user=mdettweiler [2012-12-25 02:37:11] 927*2^1237998-1 is not prime. Res64: B9464B4E82987E8F Time : 0.0 sec. user=mdettweiler [2012-12-25 02:37:13] 977*2^1237998-1 is not prime. Res64: 0AEE51043B96CBFE Time : 0.0 sec. user=mdettweiler [2012-12-25 02:54:43] 609*2^1237999-1 is not prime. Res64: 0D2D3745B9A41925 Time : 0.0 sec. user=mdettweiler [2012-12-25 02:54:44] 619*2^1237999-1 is not prime. Res64: 7CFCB1407B5CE77C Time : 0.0 sec. user=mdettweiler [2012-12-25 02:54:47] 769*2^1237999-1 is not prime. Res64: E87EF2ADE9D3475A Time : 0.0 sec. user=mdettweiler [2012-12-25 02:54:49] 843*2^1237999-1 is not prime. Res64: BD3AB9860A97583C Time : 0.0 sec. user=vaughan [2012-12-25 03:08:57] 993*2^1237998-1 is not prime. Res64: 46517FAB683F1D5D Time : 0.0 sec. user=mdettweiler [2012-12-25 03:12:06] 853*2^1237999-1 is not prime. Res64: 1ACAF931D25ECD0B Time : 0.0 sec. user=mdettweiler [2012-12-25 03:12:06] 861*2^1237999-1 is not prime. Res64: E60B65A7ECA75EB2 Time : 0.0 sec. user=mdettweiler [2012-12-25 03:12:07] 885*2^1237999-1 is not prime. Res64: C59B112D852396AF Time : 0.0 sec. user=mdettweiler [2012-12-25 03:12:08] 939*2^1237999-1 is not prime. Res64: 8E322991DE5D8666 Time : 0.0 sec. user=mdettweiler [2012-12-25 03:29:28] 725*2^1238000-1 is not prime. Res64: 53B54F12B05C93C4 Time : 0.0 sec. user=mdettweiler [2012-12-25 03:29:28] 753*2^1238000-1 is not prime. Res64: BAD133F8E69EB7E0 Time : 0.0 sec. user=mdettweiler [2012-12-25 03:29:29] 785*2^1238000-1 is not prime. Res64: 787C1C07D1E1C97E Time : 0.0 sec. user=mdettweiler [2012-12-25 03:29:30] 839*2^1238000-1 is not prime. Res64: 3DCD1AAF30C121DF Time : 0.0 sec. user=mdettweiler [2012-12-25 03:46:49] 879*2^1238000-1 is not prime. Res64: E24F22E94DD4681A Time : 0.0 sec. user=mdettweiler [2012-12-25 03:46:49] 717*2^1238001-1 is not prime. Res64: 7430945AC45FD439 Time : 0.0 sec. user=mdettweiler [2012-12-25 03:46:50] 627*2^1238001-1 is not prime. Res64: D1B56EE16EAAA799 Time : 0.0 sec. user=mdettweiler [2012-12-25 03:46:50] 747*2^1238001-1 is not prime. Res64: 65AABFF4F85988CF Time : 0.0 sec. user=vaughan [2012-12-25 03:47:03] 713*2^1238000-1 is not prime. Res64: 8FBE5A073C76A227 Time : 0.0 sec. user=mdettweiler [2012-12-25 04:04:11] 777*2^1238001-1 is not prime. Res64: 2E5ACCECDB8D09AB Time : 0.0 sec. user=mdettweiler [2012-12-25 04:04:13] 829*2^1238001-1 is not prime. Res64: 183BD81146788C62 Time : 0.0 sec. user=mdettweiler [2012-12-25 04:04:13] 861*2^1238001-1 is not prime. Res64: 48B465D9AF06647D Time : 0.0 sec. user=mdettweiler [2012-12-25 04:04:14] 945*2^1238001-1 is not prime. Res64: 31387C87E2BA4DAA Time : 0.0 sec. user=mdettweiler [2012-12-25 04:21:39] 603*2^1238002-1 is not prime. Res64: C6E6BDB40EEE5517 Time : 0.0 sec. user=mdettweiler [2012-12-25 04:21:39] 617*2^1238002-1 is not prime. Res64: 48B31E2050CEBFD4 Time : 0.0 sec. user=mdettweiler [2012-12-25 04:21:39] 623*2^1238002-1 is not prime. Res64: 5EC9F4F07329DCE7 Time : 0.0 sec. user=mdettweiler [2012-12-25 04:21:40] 653*2^1238002-1 is not prime. Res64: F906666EFCA083F2 Time : 0.0 sec. user=vaughan [2012-12-25 04:24:54] 955*2^1238001-1 is not prime. Res64: C079BAFBA02DD0EB Time : 0.0 sec. user=mdettweiler [2012-12-25 04:38:59] 665*2^1238002-1 is not prime. Res64: B0026CDFA866892B Time : 0.0 sec. user=mdettweiler [2012-12-25 04:38:59] 731*2^1238002-1 is not prime. Res64: 6D46EC6D488DA531 Time : 0.0 sec. user=mdettweiler [2012-12-25 04:39:01] 677*2^1238002-1 is not prime. Res64: 15BB5BC4021C7C44 Time : 0.0 sec. user=mdettweiler [2012-12-25 04:39:01] 741*2^1238002-1 is not prime. Res64: 8CD1E024D424D0D8 Time : 0.0 sec. user=mdettweiler [2012-12-25 04:56:30] 827*2^1238002-1 is not prime. Res64: D036F265A90ABEBB Time : 0.0 sec. user=mdettweiler [2012-12-25 04:56:30] 831*2^1238002-1 is not prime. Res64: 2AA7DB587AC78A27 Time : 0.0 sec. user=mdettweiler [2012-12-25 04:56:31] 633*2^1238003-1 is not prime. Res64: EF7042C51C6A7C1F Time : 0.0 sec. user=mdettweiler [2012-12-25 04:56:31] 673*2^1238003-1 is not prime. Res64: BFF21A603ECEDEF8 Time : 0.0 sec. user=vaughan [2012-12-25 05:02:43] 765*2^1238002-1 is not prime. Res64: 1A0F149FC9DF5D10 Time : 0.0 sec. user=mdettweiler [2012-12-25 05:13:49] 861*2^1238003-1 is not prime. Res64: 08403FB0FA855DB5 Time : 0.0 sec. user=mdettweiler [2012-12-25 05:13:50] 915*2^1238003-1 is not prime. Res64: C674D710C4B02BBB Time : 0.0 sec. user=mdettweiler [2012-12-25 05:13:50] 665*2^1238004-1 is not prime. Res64: 16985C90C96EE63C Time : 0.0 sec. user=mdettweiler [2012-12-25 05:13:51] 693*2^1238004-1 is not prime. Res64: CEA6D8D495CC72A1 Time : 0.0 sec. user=mdettweiler [2012-12-25 05:31:11] 903*2^1238004-1 is not prime. Res64: 2045B7FF8F791B5D Time : 0.0 sec. user=mdettweiler [2012-12-25 05:31:12] 923*2^1238004-1 is not prime. Res64: 180276D4A89BFD67 Time : 0.0 sec. user=mdettweiler [2012-12-25 05:31:12] 965*2^1238004-1 is not prime. Res64: 0B683E15D5619248 Time : 0.0 sec. user=mdettweiler [2012-12-25 05:31:13] 987*2^1238004-1 is not prime. Res64: 4A6AC35D3ACAAFF9 Time : 0.0 sec. user=vaughan [2012-12-25 05:40:31] 795*2^1238004-1 is not prime. Res64: 0F71EFE6E7C695F8 Time : 0.0 sec. user=mdettweiler [2012-12-25 05:48:31] 717*2^1238005-1 is not prime. Res64: DA9CCE0EA540CDAB Time : 0.0 sec. user=mdettweiler [2012-12-25 05:48:32] 721*2^1238005-1 is not prime. Res64: A0B80DD5E7D6F5CA Time : 0.0 sec. user=mdettweiler [2012-12-25 05:48:33] 775*2^1238005-1 is not prime. Res64: 2845B6D9D2258EAD Time : 0.0 sec. user=mdettweiler [2012-12-25 05:48:33] 801*2^1238005-1 is not prime. Res64: 0DBA15FC6A32EC87 Time : 0.0 sec. user=mdettweiler [2012-12-25 06:05:57] 867*2^1238005-1 is not prime. Res64: 50AF039B9C2F714D Time : 0.0 sec. user=mdettweiler [2012-12-25 06:05:58] 919*2^1238005-1 is not prime. Res64: 7BD01946E4D03A70 Time : 0.0 sec. user=mdettweiler [2012-12-25 06:05:59] 915*2^1238005-1 is not prime. Res64: 192662A3F85858F7 Time : 0.0 sec. user=mdettweiler [2012-12-25 06:06:00] 617*2^1238006-1 is not prime. Res64: 88D8CA6F558A019E Time : 0.0 sec. user=vaughan [2012-12-25 06:18:20] 861*2^1238005-1 is not prime. Res64: 1B04ECC3C88209BD Time : 0.0 sec. user=mdettweiler [2012-12-25 06:23:27] 671*2^1238006-1 is not prime. Res64: 42973759A407EE65 Time : 0.0 sec. user=mdettweiler [2012-12-25 06:23:28] 813*2^1238006-1 is not prime. Res64: 41A2C90CF0487408 Time : 0.0 sec. user=mdettweiler [2012-12-25 06:23:29] 827*2^1238006-1 is not prime. Res64: F16730B5FE54AB78 Time : 0.0 sec. user=mdettweiler [2012-12-25 06:23:30] 893*2^1238006-1 is not prime. Res64: 2E2195A718C78741 Time : 0.0 sec. user=mdettweiler [2012-12-25 06:40:46] 935*2^1238006-1 is not prime. Res64: E3D46F31ADC4BFEB Time : 0.0 sec. user=mdettweiler [2012-12-25 06:40:47] 981*2^1238006-1 is not prime. Res64: 5CB74B423FAEB5F4 Time : 0.0 sec. user=mdettweiler [2012-12-25 06:40:50] 649*2^1238007-1 is not prime. Res64: 6DD16E90374180A1 Time : 0.0 sec. user=mdettweiler [2012-12-25 06:40:50] 651*2^1238007-1 is not prime. Res64: DAA234F6F598FFEB Time : 0.0 sec. user=vaughan [2012-12-25 06:56:08] 911*2^1238006-1 is not prime. Res64: EAD9FE299AEC6F5C Time : 0.0 sec. user=mdettweiler [2012-12-25 06:58:05] 691*2^1238007-1 is not prime. Res64: B3FCA85FAB254E5F Time : 0.0 sec. user=mdettweiler [2012-12-25 06:58:06] 711*2^1238007-1 is not prime. Res64: BD9727B3883737C1 Time : 0.0 sec. user=mdettweiler [2012-12-25 06:58:09] 765*2^1238007-1 is not prime. Res64: E1635493118C78BD Time : 0.0 sec. user=mdettweiler [2012-12-25 06:58:10] 805*2^1238007-1 is not prime. Res64: 16AC1E4CEF36877B Time : 0.0 sec. user=mdettweiler [2012-12-25 07:15:24] 919*2^1238007-1 is not prime. Res64: C7C2D76CE052EF0E Time : 0.0 sec. user=mdettweiler [2012-12-25 07:15:25] 973*2^1238007-1 is not prime. Res64: D87ECF96B40739E0 Time : 0.0 sec. user=mdettweiler [2012-12-25 07:15:28] 991*2^1238007-1 is not prime. Res64: 0E31DD8E44483DBA Time : 0.0 sec. user=mdettweiler [2012-12-25 07:15:29] 695*2^1238008-1 is not prime. Res64: C71EDA7A84614255 Time : 0.0 sec. user=mdettweiler [2012-12-25 07:32:45] 707*2^1238008-1 is not prime. Res64: 56532DBAF3040654 Time : 0.0 sec. user=mdettweiler [2012-12-25 07:32:46] 863*2^1238008-1 is not prime. Res64: DF3EA9200F83752E Time : 0.0 sec. user=mdettweiler [2012-12-25 07:32:47] 869*2^1238008-1 is not prime. Res64: F6BBC0290DD3E808 Time : 0.0 sec. user=mdettweiler [2012-12-25 07:32:47] 909*2^1238008-1 is not prime. Res64: 39A28D88B8C93D7B Time : 0.0 sec. user=vaughan [2012-12-25 07:34:01] 901*2^1238007-1 is not prime. Res64: 29F3E000E42CDFB8 Time : 0.0 sec. user=mdettweiler [2012-12-25 07:50:04] 631*2^1238009-1 is not prime. Res64: 8140346DC8DD2408 Time : 0.0 sec. user=mdettweiler [2012-12-25 07:50:05] 745*2^1238009-1 is not prime. Res64: 92F1F8999DED0F3D Time : 0.0 sec. user=mdettweiler [2012-12-25 07:50:06] 865*2^1238009-1 is not prime. Res64: 93A0B718A5826966 Time : 0.0 sec. user=mdettweiler [2012-12-25 07:50:06] 939*2^1238009-1 is not prime. Res64: E5460226857E52F3 Time : 0.0 sec. user=mdettweiler [2012-12-25 08:07:24] 711*2^1238010-1 is not prime. Res64: D13F00D5FB45A00E Time : 0.0 sec. user=mdettweiler [2012-12-25 08:07:25] 783*2^1238010-1 is not prime. Res64: 3C9FD563EB5AD657 Time : 0.0 sec. user=mdettweiler [2012-12-25 08:07:27] 803*2^1238010-1 is not prime. Res64: 4C61A6EBE3E861B6 Time : 0.0 sec. user=mdettweiler [2012-12-25 08:07:28] 891*2^1238010-1 is not prime. Res64: 5E1864C17803367C Time : 0.0 sec. user=vaughan [2012-12-25 08:11:47] 949*2^1238009-1 is not prime. Res64: 9F40CBE4165C414D Time : 0.0 sec. user=mdettweiler [2012-12-25 08:25:03] 649*2^1238011-1 is not prime. Res64: 6492A0D0CD8A9DC1 Time : 0.0 sec. user=mdettweiler [2012-12-25 08:25:03] 681*2^1238011-1 is not prime. Res64: E40985C15AF48D75 Time : 0.0 sec. user=mdettweiler [2012-12-25 08:25:06] 693*2^1238011-1 is not prime. Res64: 24E8B856951F04FA Time : 0.0 sec. user=mdettweiler [2012-12-25 08:25:08] 783*2^1238011-1 is not prime. Res64: 2543216F3768B9F9 Time : 0.0 sec. user=mdettweiler [2012-12-25 08:42:25] 855*2^1238011-1 is not prime. Res64: 00753CCBA54A2591 Time : 0.0 sec. user=mdettweiler [2012-12-25 08:42:26] 873*2^1238011-1 is not prime. Res64: CBE0B8097A611B32 Time : 0.0 sec. user=mdettweiler [2012-12-25 08:42:29] 913*2^1238011-1 is not prime. Res64: 5E3DF87DB3751F3E Time : 0.0 sec. user=mdettweiler [2012-12-25 08:42:30] 951*2^1238011-1 is not prime. Res64: 9C2A1883E2C75D54 Time : 0.0 sec. user=vaughan [2012-12-25 08:49:37] 811*2^1238011-1 is not prime. Res64: 0E335E7FC17757C3 Time : 0.0 sec. user=mdettweiler [2012-12-25 08:59:45] 973*2^1238011-1 is not prime. Res64: 0FA2F46310D753E2 Time : 0.0 sec. user=mdettweiler [2012-12-25 08:59:45] 617*2^1238012-1 is not prime. Res64: 75F7D8AC49233654 Time : 0.0 sec. user=mdettweiler [2012-12-25 08:59:50] 629*2^1238012-1 is not prime. Res64: C942384094403490 Time : 0.0 sec. user=mdettweiler [2012-12-25 08:59:50] 665*2^1238012-1 is not prime. Res64: 2721AB2A3C008499 Time : 0.0 sec. user=mdettweiler [2012-12-25 09:17:07] 683*2^1238012-1 is not prime. Res64: 01B9CD8D6C6458FB Time : 0.0 sec. user=mdettweiler [2012-12-25 09:17:08] 743*2^1238012-1 is not prime. Res64: ECC93BF4C300BF41 Time : 0.0 sec. user=mdettweiler [2012-12-25 09:17:12] 915*2^1238012-1 is not prime. Res64: D401A5668A23E4F6 Time : 0.0 sec. user=mdettweiler [2012-12-25 09:17:13] 699*2^1238013-1 is not prime. Res64: F4CE3ABA5C30740C Time : 0.0 sec. user=vaughan [2012-12-25 09:27:24] 669*2^1238012-1 is not prime. Res64: 6368A9F559A5B0E9 Time : 0.0 sec. user=mdettweiler [2012-12-25 09:34:30] 751*2^1238013-1 is not prime. Res64: 7DF47DE436447F2D Time : 0.0 sec. user=mdettweiler [2012-12-25 09:34:31] 787*2^1238013-1 is not prime. Res64: 2A1964B1D0F29D5A Time : 0.0 sec. user=mdettweiler [2012-12-25 09:34:35] 819*2^1238013-1 is not prime. Res64: 0DA0102E9B968351 Time : 0.0 sec. user=mdettweiler [2012-12-25 09:34:36] 901*2^1238013-1 is not prime. Res64: 300AC661A8C0D096 Time : 0.0 sec. user=mdettweiler [2012-12-25 09:51:49] 951*2^1238013-1 is not prime. Res64: 7D0C6A722F275C4A Time : 0.0 sec. user=mdettweiler [2012-12-25 09:51:50] 687*2^1238014-1 is not prime. Res64: 00B3A4D1DBE906CD Time : 0.0 sec. user=mdettweiler [2012-12-25 09:51:54] 705*2^1238014-1 is not prime. Res64: FBF0B107DBD08B63 Time : 0.0 sec. user=mdettweiler [2012-12-25 09:51:55] 661*2^1238015-1 is not prime. Res64: 3F0C5A5B51C1AF31 Time : 0.0 sec. user=vaughan [2012-12-25 10:05:15] 927*2^1238013-1 is not prime. Res64: 9787F46C69819189 Time : 0.0 sec. user=mdettweiler [2012-12-25 10:09:09] 685*2^1238015-1 is not prime. Res64: 9A70CA52CBF234A0 Time : 0.0 sec. user=mdettweiler [2012-12-25 10:09:11] 789*2^1238015-1 is not prime. Res64: 6083A76818EE8C0B Time : 0.0 sec. user=mdettweiler [2012-12-25 10:09:14] 841*2^1238015-1 is not prime. Res64: D86328238B13A96C Time : 0.0 sec. user=mdettweiler [2012-12-25 10:09:15] 973*2^1238015-1 is not prime. Res64: C62396AAF8721048 Time : 0.0 sec. user=mdettweiler [2012-12-25 10:26:37] 719*2^1238016-1 is not prime. Res64: 369EA44B34681518 Time : 0.0 sec. user=mdettweiler [2012-12-25 10:26:38] 725*2^1238016-1 is not prime. Res64: EB32DDCDB4F4E854 Time : 0.0 sec. user=mdettweiler [2012-12-25 10:26:39] 845*2^1238016-1 is not prime. Res64: 267EC36508D2B139 Time : 0.0 sec. user=mdettweiler [2012-12-25 10:26:39] 909*2^1238016-1 is not prime. Res64: F8064607D15DA572 Time : 0.0 sec. user=mdettweiler [2012-12-25 10:44:08] 999*2^1238016-1 is not prime. Res64: F7167873170C25C6 Time : 0.0 sec. user=mdettweiler [2012-12-25 10:44:09] 741*2^1238017-1 is not prime. Res64: 23A7138E4CC7FA65 Time : 0.0 sec. user=mdettweiler [2012-12-25 10:53:12] 777*2^1238017-1 is not prime. Res64: F08CEE7DD44E2FAE Time : 0.0 sec. user=mdettweiler [2012-12-25 10:53:13] 617*2^1238018-1 is not prime. Res64: 9182C3829910D240 Time : 0.0 sec. user=mdettweiler [2012-12-25 11:01:49] 801*2^1238018-1 is not prime. Res64: 22763E799ECB2827 Time : 0.0 sec. user=mdettweiler [2012-12-25 11:01:51] 951*2^1238018-1 is not prime. Res64: 66612F811AC35D49 Time : 0.0 sec. user=mdettweiler [2012-12-25 11:10:57] 953*2^1238018-1 is not prime. Res64: D2EB8DB2F8AD7FFA Time : 0.0 sec. user=mdettweiler [2012-12-25 11:11:02] 963*2^1238018-1 is not prime. Res64: 94097F64B78E8326 Time : 0.0 sec. user=mdettweiler [2012-12-25 11:19:55] 971*2^1238018-1 is not prime. Res64: D2B70D5A6C1C3EEF Time : 0.0 sec. user=mdettweiler [2012-12-25 11:19:56] 613*2^1238019-1 is not prime. Res64: 14A6ECBC8A1A2A5C Time : 0.0 sec. user=vaughan [2012-12-25 11:21:12] 755*2^1238018-1 is not prime. Res64: 93D24B7A781F6B11 Time : 0.0 sec. user=mdettweiler [2012-12-25 11:29:14] 625*2^1238019-1 is not prime. Res64: ABEDAE70AF2D5F68 Time : 0.0 sec. user=mdettweiler [2012-12-25 11:29:14] 639*2^1238019-1 is not prime. Res64: D2FF6EFC41110C71 Time : 0.0 sec. user=mdettweiler [2012-12-25 11:37:42] 801*2^1238019-1 is not prime. Res64: 8C42BDC6DBDEC292 Time : 0.0 sec. user=mdettweiler [2012-12-25 11:37:42] 829*2^1238019-1 is not prime. Res64: B2525CE0AB1E64D3 Time : 0.0 sec. user=mdettweiler [2012-12-25 11:46:47] 873*2^1238019-1 is not prime. Res64: F02712E098262352 Time : 0.0 sec. user=mdettweiler [2012-12-25 11:46:48] 931*2^1238019-1 is not prime. Res64: B6023B154F821807 Time : 0.0 sec. user=mdettweiler [2012-12-25 11:55:04] 943*2^1238019-1 is not prime. Res64: 8F3D1C966524EFFF Time : 0.0 sec. user=mdettweiler [2012-12-25 11:55:04] 951*2^1238019-1 is not prime. Res64: DC7CA2C5FD2AAE54 Time : 0.0 sec. user=vaughan [2012-12-25 11:59:01] 835*2^1238019-1 is not prime. Res64: D9A295E7BC24C644 Time : 0.0 sec. user=mdettweiler [2012-12-25 12:04:13] 969*2^1238019-1 is not prime. Res64: 86956DCE08A051C9 Time : 0.0 sec. user=mdettweiler [2012-12-25 12:04:15] 605*2^1238020-1 is not prime. Res64: 8DC3D141219896B8 Time : 0.0 sec. user=mdettweiler [2012-12-25 12:12:34] 609*2^1238020-1 is not prime. Res64: 085F91FF1D78E766 Time : 0.0 sec. user=mdettweiler [2012-12-25 12:12:36] 623*2^1238020-1 is not prime. Res64: A5354B83FAC7E2F2 Time : 0.0 sec. user=mdettweiler [2012-12-25 12:21:41] 717*2^1238020-1 is not prime. Res64: 078F02C4480DA1AC Time : 0.0 sec. user=mdettweiler [2012-12-25 12:21:42] 719*2^1238020-1 is not prime. Res64: 18B3F505B25C0DA1 Time : 0.0 sec. user=mdettweiler [2012-12-25 12:30:07] 843*2^1238020-1 is not prime. Res64: 189DA7760357EBC7 Time : 0.0 sec. user=mdettweiler [2012-12-25 12:30:08] 887*2^1238020-1 is not prime. Res64: D2A757EA7B7CC3F4 Time : 0.0 sec. user=vaughan [2012-12-25 12:36:54] 629*2^1238020-1 is not prime. Res64: A9CDA48D6625C592 Time : 0.0 sec. user=mdettweiler [2012-12-25 12:39:11] 957*2^1238020-1 is not prime. Res64: 79810A3776A8607A Time : 0.0 sec. user=mdettweiler [2012-12-25 12:39:12] 965*2^1238020-1 is not prime. Res64: 32718771A6841C12 Time : 0.0 sec. user=mdettweiler [2012-12-25 12:47:30] 983*2^1238020-1 is not prime. Res64: 4B1397795D210BD2 Time : 0.0 sec. user=mdettweiler [2012-12-25 12:47:31] 691*2^1238021-1 is not prime. Res64: 2D355E2277A6A8F2 Time : 0.0 sec. user=mdettweiler [2012-12-25 12:56:39] 867*2^1238021-1 is not prime. Res64: ACEFAABC7F45857F Time : 0.0 sec. user=mdettweiler [2012-12-25 12:56:39] 871*2^1238021-1 is not prime. Res64: CBFC0EA572F6D24C Time : 0.0 sec. user=mdettweiler [2012-12-25 13:05:02] 907*2^1238021-1 is not prime. Res64: 5C62FFB6C638B15F Time : 0.0 sec. user=mdettweiler [2012-12-25 13:05:03] 621*2^1238022-1 is not prime. Res64: 5023668CCB74472F Time : 0.0 sec. user=mdettweiler [2012-12-25 13:14:04] 797*2^1238022-1 is not prime. Res64: B020C1EEC061C8A0 Time : 0.0 sec. user=mdettweiler [2012-12-25 13:14:05] 833*2^1238022-1 is not prime. Res64: BEC1FA89D90795DC Time : 0.0 sec. user=vaughan [2012-12-25 13:14:50] 789*2^1238021-1 is not prime. Res64: CC5B04C22279469D Time : 0.0 sec. user=mdettweiler [2012-12-25 13:22:30] 843*2^1238022-1 is not prime. Res64: 83CD51DE8C0B5E80 Time : 0.0 sec. user=mdettweiler [2012-12-25 13:22:31] 893*2^1238022-1 is not prime. Res64: 66EC72F089C12169 Time : 0.0 sec. user=mdettweiler [2012-12-25 13:31:36] 965*2^1238022-1 is not prime. Res64: 8A6F8B11A2004673 Time : 0.0 sec. user=mdettweiler [2012-12-25 13:31:38] 615*2^1238023-1 is not prime. Res64: 6BF04F8E230E9D2E Time : 0.0 sec. user=mdettweiler [2012-12-25 13:39:57] 673*2^1238023-1 is not prime. Res64: 35C42E1AACB2E656 Time : 0.0 sec. user=mdettweiler [2012-12-25 13:39:59] 775*2^1238023-1 is not prime. Res64: 9CBE4500C016EA9A Time : 0.0 sec. user=mdettweiler [2012-12-25 13:49:07] 915*2^1238023-1 is not prime. Res64: 858727ADFA5A03F4 Time : 0.0 sec. user=mdettweiler [2012-12-25 13:49:08] 951*2^1238023-1 is not prime. Res64: 80898712D4C6C935 Time : 0.0 sec. user=vaughan [2012-12-25 13:52:53] 663*2^1238023-1 is not prime. Res64: 8004D902D25194B3 Time : 0.0 sec. user=mdettweiler [2012-12-25 13:57:26] 969*2^1238023-1 is not prime. Res64: C7B64C878CF3C916 Time : 0.0 sec. user=mdettweiler [2012-12-25 13:57:28] 623*2^1238024-1 is not prime. Res64: C541347B2C994043 Time : 0.0 sec. user=mdettweiler [2012-12-25 14:06:41] 659*2^1238024-1 is not prime. Res64: 4509275D878329D8 Time : 0.0 sec. user=mdettweiler [2012-12-25 14:06:42] 663*2^1238024-1 is not prime. Res64: B0A35731CCCC131E Time : 0.0 sec. user=mdettweiler [2012-12-25 14:15:06] 813*2^1238024-1 is not prime. Res64: 74F287269836FB02 Time : 0.0 sec. user=mdettweiler [2012-12-25 14:15:07] 827*2^1238024-1 is not prime. Res64: 66E333CCCA701469 Time : 0.0 sec. user=mdettweiler [2012-12-25 14:24:35] 833*2^1238024-1 is not prime. Res64: 7EF86A27623DE0C3 Time : 0.0 sec. user=mdettweiler [2012-12-25 14:24:36] 873*2^1238024-1 is not prime. Res64: C69F749D248B7249 Time : 0.0 sec. user=vaughan [2012-12-25 14:30:41] 795*2^1238024-1 is not prime. Res64: 45D0919AF706FD4F Time : 0.0 sec. user=mdettweiler [2012-12-25 14:32:47] 705*2^1238025-1 is not prime. Res64: 1FD62018395C7ACD Time : 0.0 sec. user=mdettweiler [2012-12-25 14:32:48] 861*2^1238025-1 is not prime. Res64: 7DA8B93A0BC1928D Time : 0.0 sec. user=mdettweiler [2012-12-25 14:42:11] 955*2^1238025-1 is not prime. Res64: 218242AE5E68609E Time : 0.0 sec. user=mdettweiler [2012-12-25 14:42:12] 695*2^1238026-1 is not prime. Res64: 703039D24B07AA77 Time : 0.0 sec. user=mdettweiler [2012-12-25 14:59:11] 813*2^1238026-1 is not prime. Res64: D01F990F2E30FC1F Time : 0.0 sec. user=mdettweiler [2012-12-25 14:59:11] 843*2^1238026-1 is not prime. Res64: F7DE1FB6E2B18D9A Time : 0.0 sec. user=mdettweiler [2012-12-25 14:59:43] 903*2^1238026-1 is not prime. Res64: 7BC58CB11272B971 Time : 0.0 sec. user=mdettweiler [2012-12-25 14:59:44] 917*2^1238026-1 is not prime. Res64: 46C7CB04747BA977 Time : 0.0 sec. user=vaughan [2012-12-25 15:08:34] 735*2^1238026-1 is not prime. Res64: 9EFE99905889969B Time : 0.0 sec. user=mdettweiler [2012-12-25 15:16:41] 603*2^1238027-1 is not prime. Res64: 61F6E62A2C38756A Time : 0.0 sec. user=mdettweiler [2012-12-25 15:16:41] 651*2^1238027-1 is not prime. Res64: 89FD9CC5749210D4 Time : 0.0 sec. user=mdettweiler [2012-12-25 15:17:13] 693*2^1238027-1 is not prime. Res64: 82B2E9D17D300EA8 Time : 0.0 sec. user=mdettweiler [2012-12-25 15:17:14] 775*2^1238027-1 is not prime. Res64: 2ABBCED45823E40C Time : 0.0 sec. user=mdettweiler [2012-12-25 15:34:11] 825*2^1238027-1 is not prime. Res64: 5637B3492E70D8B8 Time : 0.0 sec. user=mdettweiler [2012-12-25 15:34:11] 627*2^1238028-1 is not prime. Res64: F9DF1F73BC1D3BDA Time : 0.0 sec. user=mdettweiler [2012-12-25 15:34:43] 639*2^1238028-1 is not prime. Res64: 2C8FEA2D200A7872 Time : 0.0 sec. user=mdettweiler [2012-12-25 15:34:43] 839*2^1238028-1 is not prime. Res64: 343FB673758FFD57 Time : 0.0 sec. user=vaughan [2012-12-25 15:46:31] 813*2^1238027-1 is not prime. Res64: C47F2CB5BEBAB035 Time : 0.0 sec. user=mdettweiler [2012-12-25 15:51:40] 867*2^1238028-1 is not prime. Res64: 7A0228BEB8FFB846 Time : 0.0 sec. user=mdettweiler [2012-12-25 15:51:40] 899*2^1238028-1 is not prime. Res64: 81FC7003586A0D0B Time : 0.0 sec. user=mdettweiler [2012-12-25 15:52:14] 927*2^1238028-1 is not prime. Res64: 5AF6F31E06BD6E97 Time : 0.0 sec. user=mdettweiler [2012-12-25 15:52:14] 969*2^1238028-1 is not prime. Res64: 2FE7BCDCBFDC0FAF Time : 0.0 sec. user=mdettweiler [2012-12-25 16:09:10] 609*2^1238029-1 is not prime. Res64: 33F0EE06ADDAF612 Time : 0.0 sec. user=mdettweiler [2012-12-25 16:09:11] 685*2^1238029-1 is not prime. Res64: E96387619AE931E6 Time : 0.0 sec. user=mdettweiler [2012-12-25 16:09:42] 811*2^1238029-1 is not prime. Res64: 4FAB747D92208D29 Time : 0.0 sec. user=mdettweiler [2012-12-25 16:09:43] 999*2^1238029-1 is not prime. Res64: 9CDF6FC26F96A1DF Time : 0.0 sec. user=vaughan [2012-12-25 16:24:19] 601*2^1238029-1 is not prime. Res64: 657B69FC909ACCAD Time : 0.0 sec. user=mdettweiler [2012-12-25 16:26:49] 665*2^1238030-1 is not prime. Res64: 40ED4E458D9CD3F0 Time : 0.0 sec. user=mdettweiler [2012-12-25 16:26:49] 677*2^1238030-1 is not prime. Res64: 890467E09E0656B9 Time : 0.0 sec. user=mdettweiler [2012-12-25 16:27:14] 711*2^1238030-1 is not prime. Res64: 098613E3C7F95BE5 Time : 0.0 sec. user=mdettweiler [2012-12-25 16:27:15] 813*2^1238030-1 is not prime. Res64: ECAC047C6B0843B7 Time : 0.0 sec. user=mdettweiler [2012-12-25 16:44:17] 679*2^1238031-1 is not prime. Res64: 0FF0C4A6A0A5E44E Time : 0.0 sec. user=mdettweiler [2012-12-25 16:44:18] 751*2^1238031-1 is not prime. Res64: A3F983DE20CBA262 Time : 0.0 sec. user=mdettweiler [2012-12-25 16:44:44] 763*2^1238031-1 is not prime. Res64: E7352A4B5C817D62 Time : 0.0 sec. user=mdettweiler [2012-12-25 16:44:45] 781*2^1238031-1 is not prime. Res64: 0CECEE1FC0D66B94 Time : 0.0 sec. user=mdettweiler [2012-12-25 17:01:50] 819*2^1238031-1 is not prime. Res64: B61164328473AE72 Time : 0.0 sec. user=mdettweiler [2012-12-25 17:01:51] 999*2^1238031-1 is not prime. Res64: 73B9EAB677508A8C Time : 0.0 sec. user=vaughan [2012-12-25 17:02:05] 861*2^1238030-1 is not prime. Res64: 4BA2676B03A7E2F9 Time : 0.0 sec. user=mdettweiler [2012-12-25 17:02:15] 615*2^1238032-1 is not prime. Res64: C80553108725A16A Time : 0.0 sec. user=mdettweiler [2012-12-25 17:02:16] 705*2^1238032-1 is not prime. Res64: 595F43EF7ABE33A9 Time : 0.0 sec. user=mdettweiler [2012-12-25 17:19:49] 743*2^1238032-1 is not prime. Res64: FC6F71389C735424 Time : 0.0 sec. user=mdettweiler [2012-12-25 17:19:50] 849*2^1238032-1 is not prime. Res64: 61A75745628EC223 Time : 0.0 sec. user=mdettweiler [2012-12-25 17:20:00] 863*2^1238032-1 is not prime. Res64: C058F2EB02BC5313 Time : 0.0 sec. user=mdettweiler [2012-12-25 17:20:00] 917*2^1238032-1 is not prime. Res64: 2E5554E1EF2F8E2C Time : 0.0 sec. user=mdettweiler [2012-12-25 17:37:39] 995*2^1238032-1 is not prime. Res64: C8DA8B96608379D0 Time : 0.0 sec. user=mdettweiler [2012-12-25 17:37:39] 729*2^1238033-1 is not prime. Res64: 598B4FC8119E552D Time : 0.0 sec. user=mdettweiler [2012-12-25 17:37:47] 775*2^1238033-1 is not prime. Res64: 5F27B7FA77D0EEFE Time : 0.0 sec. user=mdettweiler [2012-12-25 17:37:47] 957*2^1238033-1 is not prime. Res64: 9A810B42AA50A6AD Time : 0.0 sec. user=vaughan [2012-12-25 17:39:51] 855*2^1238032-1 is not prime. Res64: 2A1D4B1A7AA33A51 Time : 0.0 sec. user=mdettweiler [2012-12-25 17:55:24] 627*2^1238034-1 is not prime. Res64: 3732E81C48D1F3C8 Time : 0.0 sec. user=mdettweiler [2012-12-25 17:55:24] 663*2^1238034-1 is not prime. Res64: 0CB4D8C37CCC73C2 Time : 0.0 sec. user=mdettweiler [2012-12-25 17:55:31] 683*2^1238034-1 is not prime. Res64: D4CDCCF55A74098B Time : 0.0 sec. user=mdettweiler [2012-12-25 17:55:32] 705*2^1238034-1 is not prime. Res64: DB5B0497A897DCDC Time : 0.0 sec. user=mdettweiler [2012-12-25 18:12:52] 1001*2^1238034-1 is not prime. Res64: F7AFC82AC6A99052 Time : 0.0 sec. user=mdettweiler [2012-12-25 18:12:53] 675*2^1238035-1 is not prime. Res64: 96FB7712391F34F2 Time : 0.0 sec. user=mdettweiler [2012-12-25 18:12:59] 705*2^1238035-1 is not prime. Res64: B898542A3C1D8571 Time : 0.0 sec. user=mdettweiler [2012-12-25 18:12:59] 783*2^1238035-1 is not prime. Res64: EF30D3DFBD62BAAD Time : 0.0 sec. user=vaughan [2012-12-25 18:17:40] 711*2^1238034-1 is not prime. Res64: 12DA1834C2BB9128 Time : 0.0 sec. user=mdettweiler [2012-12-25 18:30:17] 909*2^1238035-1 is not prime. Res64: F74C5F9174803C9F Time : 0.0 sec. user=mdettweiler [2012-12-25 18:30:17] 943*2^1238035-1 is not prime. Res64: 99EFD47602820684 Time : 0.0 sec. user=mdettweiler [2012-12-25 18:30:23] 979*2^1238035-1 is not prime. Res64: E1B8091C59E92B90 Time : 0.0 sec. user=mdettweiler [2012-12-25 18:30:23] 603*2^1238036-1 is not prime. Res64: 375A7FFF8E8989D2 Time : 0.0 sec. user=mdettweiler [2012-12-25 18:47:39] 873*2^1238036-1 is not prime. Res64: CB5C7EF78B3EDAFC Time : 0.0 sec. user=mdettweiler [2012-12-25 18:47:40] 879*2^1238036-1 is not prime. Res64: CA99FF12D307AFB9 Time : 0.0 sec. user=mdettweiler [2012-12-25 18:47:45] 963*2^1238036-1 is not prime. Res64: 5AC9BDAE33C43952 Time : 0.0 sec. user=mdettweiler [2012-12-25 18:47:45] 983*2^1238036-1 is not prime. Res64: A417AF99435F4250 Time : 0.0 sec. user=vaughan [2012-12-25 18:55:28] 827*2^1238036-1 is not prime. Res64: 6BB76331804AA814 Time : 0.0 sec. user=mdettweiler [2012-12-25 19:05:02] 999*2^1238036-1 is not prime. Res64: 22ABEAC48AD6D616 Time : 0.0 sec. user=mdettweiler [2012-12-25 19:05:06] 607*2^1238037-1 is not prime. Res64: 17C002D303478FF4 Time : 0.0 sec. user=mdettweiler [2012-12-25 19:05:13] 735*2^1238037-1 is not prime. Res64: E052F90D664F8FFB Time : 0.0 sec. user=mdettweiler [2012-12-25 19:05:16] 747*2^1238037-1 is not prime. Res64: 1C6F273A762D193B Time : 0.0 sec. user=mdettweiler [2012-12-25 19:22:54] 819*2^1238037-1 is not prime. Res64: 879490432186168C Time : 0.0 sec. user=mdettweiler [2012-12-25 19:22:55] 831*2^1238037-1 is not prime. Res64: 98D9C39EA194755C Time : 0.0 sec. user=mdettweiler [2012-12-25 19:22:58] 915*2^1238037-1 is not prime. Res64: 5C1D4F9C1FC1C2D6 Time : 0.0 sec. user=mdettweiler [2012-12-25 19:22:58] 949*2^1238037-1 is not prime. Res64: 302FB57CE95CAF49 Time : 0.0 sec. user=vaughan [2012-12-25 19:33:23] 777*2^1238037-1 is not prime. Res64: 13755CDA0BECFE9E Time : 0.0 sec. user=mdettweiler [2012-12-25 19:40:24] 605*2^1238038-1 is not prime. Res64: 2C5CE881E2163E70 Time : 0.0 sec. user=mdettweiler [2012-12-25 19:40:25] 611*2^1238038-1 is not prime. Res64: C9E52DCB77EB01BC Time : 0.0 sec. user=mdettweiler [2012-12-25 19:40:25] 671*2^1238038-1 is not prime. Res64: 0B970597D794B0AE Time : 0.0 sec. user=mdettweiler [2012-12-25 19:40:25] 815*2^1238038-1 is not prime. Res64: B08F58E5C50FE94A Time : 0.0 sec. user=mdettweiler [2012-12-25 19:57:47] 867*2^1238038-1 is not prime. Res64: 3B0E2BDC242A1E52 Time : 0.0 sec. user=mdettweiler [2012-12-25 19:57:48] 663*2^1238039-1 is not prime. Res64: EFE3A549F5F039EC Time : 0.0 sec. user=mdettweiler [2012-12-25 19:57:48] 655*2^1238039-1 is not prime. Res64: 167820FECFDE535E Time : 0.0 sec. user=mdettweiler [2012-12-25 19:57:48] 669*2^1238039-1 is not prime. Res64: 8E2773849C26799F Time : 0.0 sec. user=vaughan [2012-12-25 20:11:17] 861*2^1238038-1 is not prime. Res64: 3BA1543B6C1313E5 Time : 0.0 sec. user=mdettweiler [2012-12-25 20:15:10] 759*2^1238039-1 is not prime. Res64: 1236F924EC1DAB19 Time : 0.0 sec. user=mdettweiler [2012-12-25 20:15:11] 823*2^1238039-1 is not prime. Res64: 56295CE80D2739C2 Time : 0.0 sec. user=mdettweiler [2012-12-25 20:15:12] 789*2^1238039-1 is not prime. Res64: 5312FC974C848DDA Time : 0.0 sec. user=mdettweiler [2012-12-25 20:15:12] 865*2^1238039-1 is not prime. Res64: 1F50E635CFE7B196 Time : 0.0 sec. user=mdettweiler [2012-12-25 20:32:37] 939*2^1238039-1 is not prime. Res64: 9E3077F4A1EF3B7A Time : 0.0 sec. user=mdettweiler [2012-12-25 20:32:38] 979*2^1238039-1 is not prime. Res64: 2124C00D8B0D525D Time : 0.0 sec. user=mdettweiler [2012-12-25 20:32:39] 653*2^1238040-1 is not prime. Res64: 942EA936295BE8CF Time : 0.0 sec. user=mdettweiler [2012-12-25 20:32:40] 665*2^1238040-1 is not prime. Res64: F7E2ED76B4727AC4 Time : 0.0 sec. user=vaughan [2012-12-25 20:49:17] 931*2^1238039-1 is not prime. Res64: 79E9F8F6540B9204 Time : 0.0 sec. user=mdettweiler [2012-12-25 20:50:02] 843*2^1238040-1 is not prime. Res64: FDCEC153B0A7BFFF Time : 0.0 sec. user=mdettweiler [2012-12-25 20:50:03] 893*2^1238040-1 is not prime. Res64: EDE263D1D2C3D7D9 Time : 0.0 sec. user=mdettweiler [2012-12-25 20:50:08] 945*2^1238040-1 is not prime. Res64: 5FD091839A71278D Time : 0.0 sec. user=mdettweiler [2012-12-25 20:50:09] 957*2^1238040-1 is not prime. Res64: 05E534C5D3D25272 Time : 0.0 sec. user=mdettweiler [2012-12-25 21:07:32] 675*2^1238042-1 is not prime. Res64: ED51B878167A791C Time : 0.0 sec. user=mdettweiler [2012-12-25 21:07:33] 683*2^1238042-1 is not prime. Res64: 9AB4747B0BDEC4FE Time : 0.0 sec. user=mdettweiler [2012-12-25 21:16:31] 797*2^1238042-1 is not prime. Res64: 44B01414EC185E80 Time : 0.0 sec. user=mdettweiler [2012-12-25 21:16:32] 615*2^1238043-1 is not prime. Res64: B587E82CB7928C29 Time : 0.0 sec. user=mdettweiler [2012-12-25 21:24:58] 735*2^1238043-1 is not prime. Res64: E49AB19F99D2EECA Time : 0.0 sec. user=mdettweiler [2012-12-25 21:24:59] 739*2^1238043-1 is not prime. Res64: D629D2252493C423 Time : 0.0 sec. user=vaughan [2012-12-25 21:27:05] 983*2^1238040-1 is not prime. Res64: 8CE4A4CB4E140F4E Time : 0.0 sec. user=mdettweiler [2012-12-25 21:33:53] 783*2^1238043-1 is not prime. Res64: 1C1646C60591781F Time : 0.0 sec. user=mdettweiler [2012-12-25 21:33:54] 835*2^1238043-1 is not prime. Res64: 728B9D74A6020C7E Time : 0.0 sec. user=mdettweiler [2012-12-25 21:42:21] 859*2^1238043-1 is not prime. Res64: 2F7658F347AA4FC9 Time : 0.0 sec. user=mdettweiler [2012-12-25 21:42:22] 871*2^1238043-1 is not prime. Res64: BECA822389ECCF3A Time : 0.0 sec. user=mdettweiler [2012-12-25 21:51:14] 969*2^1238043-1 is not prime. Res64: A77DBC4EC8C16AC0 Time : 0.0 sec. user=mdettweiler [2012-12-25 21:51:15] 609*2^1238044-1 is not prime. Res64: 16C219644608D660 Time : 0.0 sec. user=mdettweiler [2012-12-25 21:59:45] 623*2^1238044-1 is not prime. Res64: 86F63D793FD0FB7F Time : 0.0 sec. user=mdettweiler [2012-12-25 21:59:46] 629*2^1238044-1 is not prime. Res64: F7585680EABBBC72 Time : 0.0 sec. user=vaughan [2012-12-25 22:04:53] 949*2^1238043-1 is not prime. Res64: 198807EB3AC85CD4 Time : 0.0 sec. user=mdettweiler [2012-12-25 22:08:38] 707*2^1238044-1 is not prime. Res64: D217014F7A1E4C8F Time : 0.0 sec. user=mdettweiler [2012-12-25 22:08:39] 773*2^1238044-1 is not prime. Res64: E34E3140A394E147 Time : 0.0 sec. user=mdettweiler [2012-12-25 22:17:08] 987*2^1238044-1 is not prime. Res64: A6B31B5FC8B0D41B Time : 0.0 sec. user=mdettweiler [2012-12-25 22:17:08] 795*2^1238045-1 is not prime. Res64: 1CE5747E06D2C62F Time : 0.0 sec. user=mdettweiler [2012-12-25 22:26:13] 847*2^1238045-1 is not prime. Res64: D377888F3F5538D6 Time : 0.0 sec. user=mdettweiler [2012-12-25 22:26:14] 885*2^1238045-1 is not prime. Res64: F7B1D02C916C13DF Time : 0.0 sec. user=mdettweiler [2012-12-25 22:34:32] 647*2^1238046-1 is not prime. Res64: F22133DE9C1085C4 Time : 0.0 sec. user=mdettweiler [2012-12-25 22:34:33] 693*2^1238046-1 is not prime. Res64: 42028B13E571341A Time : 0.0 sec. user=vaughan [2012-12-25 22:42:42] 831*2^1238045-1 is not prime. Res64: 53186F62A721AACC Time : 0.0 sec. user=mdettweiler [2012-12-25 22:43:37] 705*2^1238046-1 is not prime. Res64: 44670599F9682205 Time : 0.0 sec. user=mdettweiler [2012-12-25 22:43:38] 737*2^1238046-1 is not prime. Res64: C41E1BFFFF609C7D Time : 0.0 sec. user=mdettweiler [2012-12-25 22:52:00] 747*2^1238046-1 is not prime. Res64: 8B61955F1154B0FA Time : 0.0 sec. user=mdettweiler [2012-12-25 22:52:00] 983*2^1238046-1 is not prime. Res64: 121DCC3364E52476 Time : 0.0 sec. user=mdettweiler [2012-12-25 23:01:06] 619*2^1238047-1 is not prime. Res64: 2EFFC840EA64F14F Time : 0.0 sec. user=mdettweiler [2012-12-25 23:01:07] 751*2^1238047-1 is not prime. Res64: 08F8B9BCA518EDDF Time : 0.0 sec. user=mdettweiler [2012-12-25 23:09:29] 765*2^1238047-1 is not prime. Res64: D6CEDD59F7ECB05D Time : 0.0 sec. user=mdettweiler [2012-12-25 23:09:30] 915*2^1238047-1 is not prime. Res64: 3BD9253D8FC10F24 Time : 0.0 sec. user=mdettweiler [2012-12-25 23:18:29] 919*2^1238047-1 is not prime. Res64: 6BAE9C2BB5D21441 Time : 0.0 sec. user=mdettweiler [2012-12-25 23:18:30] 897*2^1238048-1 is not prime. Res64: F8671C2835976CC4 Time : 0.0 sec. user=vaughan [2012-12-25 23:20:32] 601*2^1238047-1 is not prime. Res64: 9BEF3258E1867E3C Time : 0.0 sec. user=mdettweiler [2012-12-25 23:26:55] 935*2^1238048-1 is not prime. Res64: DA17165616339113 Time : 0.0 sec. user=mdettweiler [2012-12-25 23:26:56] 945*2^1238048-1 is not prime. Res64: 4B56FCD9D53F6F8E Time : 0.0 sec. user=mdettweiler [2012-12-25 23:36:03] 615*2^1238049-1 is not prime. Res64: EA7E56EBD15EFFFA Time : 0.0 sec. user=mdettweiler [2012-12-25 23:36:03] 691*2^1238049-1 is not prime. Res64: 13FC1B54C889FACA Time : 0.0 sec. user=mdettweiler [2012-12-25 23:44:18] 803*2^1238050-1 is not prime. Res64: A65597F9FEFB251E Time : 0.0 sec. user=mdettweiler [2012-12-25 23:44:18] 855*2^1238050-1 is not prime. Res64: BCE59D59B003F7E2 Time : 0.0 sec. user=mdettweiler [2012-12-25 23:53:23] 975*2^1238050-1 is not prime. Res64: CDBB520AA084DCCA Time : 0.0 sec. user=mdettweiler [2012-12-25 23:53:24] 601*2^1238051-1 is not prime. Res64: 3ABF65A95E7416DC Time : 0.0 sec. user=vaughan [2012-12-25 23:58:18] 789*2^1238049-1 is not prime. Res64: D4C12903A6316B7A Time : 0.0 sec.