user=mdettweiler [2013-05-17 00:10:10] 935*2^1245980-1 is not prime. Res64: 94875D7BE07FCD04 Time : 0.0 sec. user=mdettweiler [2013-05-17 00:15:02] 661*2^1245981-1 is not prime. Res64: A7D822BDFFD077A4 Time : 0.0 sec. user=mdettweiler [2013-05-17 00:28:25] 795*2^1245981-1 is not prime. Res64: 7BBF725AFC2B0028 Time : 0.0 sec. user=mdettweiler [2013-05-17 00:32:50] 623*2^1245982-1 is not prime. Res64: B0C96FB4DA3E1BC2 Time : 0.0 sec. user=mdettweiler [2013-05-17 00:32:50] 653*2^1245982-1 is not prime. Res64: C7A2BF1393667946 Time : 0.0 sec. user=mdettweiler [2013-05-17 00:50:33] 675*2^1245982-1 is not prime. Res64: BA6772F36022CC43 Time : 0.0 sec. user=mdettweiler [2013-05-17 00:50:34] 777*2^1245982-1 is not prime. Res64: A05170C11733DB27 Time : 0.0 sec. user=mdettweiler [2013-05-17 01:05:07] 885*2^1245981-1 is not prime. Res64: FAA5487272A6C01E Time : 0.0 sec. user=mdettweiler [2013-05-17 01:08:19] 801*2^1245982-1 is not prime. Res64: 33ED5F85F040177B Time : 0.0 sec. user=mdettweiler [2013-05-17 01:08:20] 911*2^1245982-1 is not prime. Res64: 5934CA67254B7BBE Time : 0.0 sec. user=mdettweiler [2013-05-17 01:23:55] 917*2^1245982-1 is not prime. Res64: 0C12A49FFB845651 Time : 0.0 sec. user=mdettweiler [2013-05-17 01:26:31] 679*2^1245983-1 is not prime. Res64: 06E73CA7EDBEEF91 Time : 0.0 sec. user=mdettweiler [2013-05-17 01:45:58] 741*2^1245983-1 is not prime. Res64: D6B25D1D5B659CAA Time : 0.0 sec. user=mdettweiler [2013-05-17 01:58:21] 609*2^1245983-1 is not prime. Res64: B93EB7F244CBD994 Time : 0.0 sec. user=mdettweiler [2013-05-17 02:16:29] 831*2^1245983-1 is not prime. Res64: DD0A51B510F85330 Time : 0.0 sec. user=mdettweiler [2013-05-17 02:16:29] 855*2^1245983-1 is not prime. Res64: B8CAEC539E216492 Time : 0.0 sec. user=mdettweiler [2013-05-17 02:34:09] 871*2^1245983-1 is not prime. Res64: BE7CD65908D380DD Time : 0.0 sec. user=mdettweiler [2013-05-17 02:34:10] 955*2^1245983-1 is not prime. Res64: EAA8A4F02D7CBCD0 Time : 0.0 sec. user=mdettweiler [2013-05-17 02:39:40] 725*2^1245984-1 is not prime. Res64: 992E14C0D91E85CA Time : 0.0 sec. user=mdettweiler [2013-05-17 02:39:41] 753*2^1245984-1 is not prime. Res64: 291EF7134D668513 Time : 0.0 sec. user=mdettweiler [2013-05-17 02:52:01] 863*2^1245984-1 is not prime. Res64: 01C201FCC6FFDDBA Time : 0.0 sec. user=mdettweiler [2013-05-17 02:52:01] 691*2^1245985-1 is not prime. Res64: EBF8FAB090CC1034 Time : 0.0 sec. user=mdettweiler [2013-05-17 02:57:40] 705*2^1245985-1 is not prime. Res64: F9FA606586C8F467 Time : 0.0 sec. user=mdettweiler [2013-05-17 02:57:40] 715*2^1245985-1 is not prime. Res64: 27608059A8ECF7AA Time : 0.0 sec. user=mdettweiler [2013-05-17 03:09:51] 721*2^1245985-1 is not prime. Res64: 44A5AE2AA58B7CB7 Time : 0.0 sec. user=mdettweiler [2013-05-17 03:09:53] 635*2^1245986-1 is not prime. Res64: E71D020C37DBB744 Time : 0.0 sec. user=mdettweiler [2013-05-17 03:15:34] 671*2^1245986-1 is not prime. Res64: B9BB3EDE4DEB455F Time : 0.0 sec. user=mdettweiler [2013-05-17 03:27:36] 887*2^1245986-1 is not prime. Res64: 909B9F2746FDA8C5 Time : 0.0 sec. user=mdettweiler [2013-05-17 03:27:36] 923*2^1245986-1 is not prime. Res64: CF5D86E11CD237F9 Time : 0.0 sec. user=mdettweiler [2013-05-17 03:43:20] 825*2^1245986-1 is not prime. Res64: 3B105F4D65F715BD Time : 0.0 sec. user=mdettweiler [2013-05-17 03:45:18] 953*2^1245986-1 is not prime. Res64: 76B2420D53D0B682 Time : 0.0 sec. user=mdettweiler [2013-05-17 03:45:18] 963*2^1245986-1 is not prime. Res64: E9EC4D4431B0AEF7 Time : 0.0 sec. user=mdettweiler [2013-05-17 04:01:50] 993*2^1245986-1 is not prime. Res64: BDF36AB9B9CF0203 Time : 0.0 sec. user=mdettweiler [2013-05-17 04:01:52] 625*2^1245987-1 is not prime. Res64: 23726119126E58B0 Time : 0.0 sec. user=mdettweiler [2013-05-17 04:03:12] 685*2^1245987-1 is not prime. Res64: 6AA1D2601911045A Time : 0.0 sec. user=mdettweiler [2013-05-17 04:03:13] 859*2^1245987-1 is not prime. Res64: 4E298AB4C6BFC228 Time : 0.0 sec. user=mdettweiler [2013-05-17 04:19:46] 895*2^1245987-1 is not prime. Res64: D3B7203A56825AF7 Time : 0.0 sec. user=mdettweiler [2013-05-17 04:20:53] 615*2^1245988-1 is not prime. Res64: B345938E88EDD2E0 Time : 0.0 sec. user=mdettweiler [2013-05-17 04:20:53] 765*2^1245988-1 is not prime. Res64: 0E736CA322CD4021 Time : 0.0 sec. user=mdettweiler [2013-05-17 04:39:03] 803*2^1245988-1 is not prime. Res64: FE46669E5174950C Time : 0.0 sec. user=mdettweiler [2013-05-17 04:44:11] 951*2^1245987-1 is not prime. Res64: F969219E7888C075 Time : 0.0 sec. user=mdettweiler [2013-05-17 05:02:00] 905*2^1245988-1 is not prime. Res64: D7A37AF1E234B5AB Time : 0.0 sec. user=mdettweiler [2013-05-17 05:15:08] 875*2^1245988-1 is not prime. Res64: B94F6BB67E9BEC62 Time : 0.0 sec. user=mdettweiler [2013-05-17 05:39:10] 615*2^1245989-1 is not prime. Res64: 232A082BDAA9408B Time : 0.0 sec. user=mdettweiler [2013-05-17 05:56:56] 619*2^1245989-1 is not prime. Res64: 95AFEC2738243400 Time : 0.0 sec. user=mdettweiler [2013-05-17 05:56:57] 713*2^1245990-1 is not prime. Res64: E4377903C4237D23 Time : 0.0 sec. user=mdettweiler [2013-05-17 06:00:51] 765*2^1245990-1 is not prime. Res64: BEC149C4383D9FE5 Time : 0.0 sec. user=mdettweiler [2013-05-17 06:00:52] 801*2^1245990-1 is not prime. Res64: 5F205B348653FB8F Time : 0.0 sec. user=mdettweiler [2013-05-17 06:14:43] 863*2^1245990-1 is not prime. Res64: C57D221CC224C5E7 Time : 0.0 sec. user=mdettweiler [2013-05-17 06:14:43] 601*2^1245991-1 is not prime. Res64: 275B8C51A14D5725 Time : 0.0 sec. user=mdettweiler [2013-05-17 06:18:36] 681*2^1245991-1 is not prime. Res64: D67DFB0D71379538 Time : 0.0 sec. user=mdettweiler [2013-05-17 06:18:36] 829*2^1245991-1 is not prime. Res64: 1CDA267E19D2924E Time : 0.0 sec. user=mdettweiler [2013-05-17 06:32:36] 855*2^1245991-1 is not prime. Res64: 7CBE2D5859164DF5 Time : 0.0 sec. user=mdettweiler [2013-05-17 06:36:26] 909*2^1245991-1 is not prime. Res64: 047428949DAE1257 Time : 0.0 sec. user=mdettweiler [2013-05-17 06:36:26] 939*2^1245991-1 is not prime. Res64: 43F7B52E685B6B20 Time : 0.0 sec. user=mdettweiler [2013-05-17 06:54:31] 969*2^1245991-1 is not prime. Res64: A587B215CE318B4C Time : 0.0 sec. user=mdettweiler [2013-05-17 07:09:51] 885*2^1245991-1 is not prime. Res64: 09DA67B9D110FA3C Time : 0.0 sec. user=mdettweiler [2013-05-17 07:13:09] 717*2^1245992-1 is not prime. Res64: 6F51A8591E36DE12 Time : 0.0 sec. user=mdettweiler [2013-05-17 07:27:45] 725*2^1245992-1 is not prime. Res64: 17EDF2D3D5C7B0FF Time : 0.0 sec. user=mdettweiler [2013-05-17 07:31:46] 899*2^1245992-1 is not prime. Res64: 0483AE474780DED3 Time : 0.0 sec. user=mdettweiler [2013-05-17 07:31:46] 999*2^1245992-1 is not prime. Res64: 50DF9E4CD3282923 Time : 0.0 sec. user=mdettweiler [2013-05-17 07:49:33] 639*2^1245993-1 is not prime. Res64: 0EC721CE6CF0A6C9 Time : 0.0 sec. user=mdettweiler [2013-05-17 07:49:34] 721*2^1245993-1 is not prime. Res64: 81E45C125604E1BA Time : 0.0 sec. user=mdettweiler [2013-05-17 07:55:41] 797*2^1245992-1 is not prime. Res64: 90ECD2A0ACD173C8 Time : 0.0 sec. user=mdettweiler [2013-05-17 08:07:19] 727*2^1245993-1 is not prime. Res64: 47ED79C86E78DADC Time : 0.0 sec. user=mdettweiler [2013-05-17 08:07:19] 769*2^1245993-1 is not prime. Res64: 87536493674A49E8 Time : 0.0 sec. user=mdettweiler [2013-05-17 08:13:21] 847*2^1245993-1 is not prime. Res64: 46C7AF660ABE1A4C Time : 0.0 sec. user=mdettweiler [2013-05-17 08:13:22] 937*2^1245993-1 is not prime. Res64: 155263B68143D14C Time : 0.0 sec. user=mdettweiler [2013-05-17 08:25:01] 951*2^1245993-1 is not prime. Res64: BC7EE4692C44FED3 Time : 0.0 sec. user=mdettweiler [2013-05-17 08:25:01] 717*2^1245994-1 is not prime. Res64: 080F5AD7D401D817 Time : 0.0 sec. user=mdettweiler [2013-05-17 08:31:03] 791*2^1245994-1 is not prime. Res64: 88DA23E9EBA2E0F9 Time : 0.0 sec. user=mdettweiler [2013-05-17 08:31:04] 825*2^1245994-1 is not prime. Res64: 6671023CDF8D2622 Time : 0.0 sec. user=mdettweiler [2013-05-17 08:43:03] 831*2^1245994-1 is not prime. Res64: 4471AB4FDD76D41F Time : 0.0 sec. user=mdettweiler [2013-05-17 08:43:03] 923*2^1245994-1 is not prime. Res64: 0C8AC404D5AB8708 Time : 0.0 sec. user=mdettweiler [2013-05-17 08:49:01] 649*2^1245995-1 is not prime. Res64: EBE5103051C4C4A6 Time : 0.0 sec. user=mdettweiler [2013-05-17 08:49:01] 685*2^1245995-1 is not prime. Res64: 3A0D5758C0F7C191 Time : 0.0 sec. user=mdettweiler [2013-05-17 09:00:52] 735*2^1245995-1 is not prime. Res64: 625DC41CF0D8881C Time : 0.0 sec. user=mdettweiler [2013-05-17 09:00:53] 825*2^1245995-1 is not prime. Res64: B47B4342D682AC55 Time : 0.0 sec. user=mdettweiler [2013-05-17 09:06:48] 859*2^1245995-1 is not prime. Res64: C0E1D07849F53F75 Time : 0.0 sec. user=mdettweiler [2013-05-17 09:06:49] 903*2^1245995-1 is not prime. Res64: 411ADD668821152D Time : 0.0 sec. user=mdettweiler [2013-05-17 09:19:59] 991*2^1245995-1 is not prime. Res64: 69A5D9CDDB137E4A Time : 0.0 sec. user=mdettweiler [2013-05-17 09:24:42] 789*2^1245996-1 is not prime. Res64: 7497702EA546EE3D Time : 0.0 sec. user=mdettweiler [2013-05-17 09:45:20] 783*2^1245996-1 is not prime. Res64: EA276F98B5A7561D Time : 0.0 sec. user=mdettweiler [2013-05-17 09:49:21] 879*2^1245996-1 is not prime. Res64: B91548CD808BA57C Time : 0.0 sec. user=mdettweiler [2013-05-17 10:07:04] 893*2^1245996-1 is not prime. Res64: F7961221F6D487EC Time : 0.0 sec. user=mdettweiler [2013-05-17 10:07:04] 661*2^1245997-1 is not prime. Res64: B4433EF404C1FB8F Time : 0.0 sec. user=mdettweiler [2013-05-17 10:24:47] 623*2^1245998-1 is not prime. Res64: 5EE6F42E5E0E95C9 Time : 0.0 sec. user=mdettweiler [2013-05-17 10:25:04] 761*2^1245998-1 is not prime. Res64: DA10327965F94069 Time : 0.0 sec. user=mdettweiler [2013-05-17 10:27:57] 797*2^1245998-1 is not prime. Res64: 74B11B0E9730941A Time : 0.0 sec. user=mdettweiler [2013-05-17 10:27:57] 825*2^1245998-1 is not prime. Res64: F1898F3C8909A1A9 Time : 0.0 sec. user=mdettweiler [2013-05-17 10:45:49] 827*2^1245998-1 is not prime. Res64: 5AF4E42DDD6CAA76 Time : 0.0 sec. user=mdettweiler [2013-05-17 11:04:49] 843*2^1245998-1 is not prime. Res64: 01862F0A3323FC55 Time : 0.0 sec. user=mdettweiler [2013-05-17 11:06:24] 875*2^1245998-1 is not prime. Res64: 8B15E569E02D0877 Time : 0.0 sec. user=mdettweiler [2013-05-17 11:06:25] 935*2^1245998-1 is not prime. Res64: 720C3EDFD043178E Time : 0.0 sec. user=mdettweiler [2013-05-17 11:22:27] 621*2^1245999-1 is not prime. Res64: FD02AABFBD5EEBE5 Time : 0.0 sec. user=mdettweiler [2013-05-17 11:22:28] 633*2^1245999-1 is not prime. Res64: 43674ACC7F464944 Time : 0.0 sec. user=mdettweiler [2013-05-17 11:24:11] 679*2^1245999-1 is not prime. Res64: 6333E46403664909 Time : 0.0 sec. user=mdettweiler [2013-05-17 11:40:20] 789*2^1245999-1 is not prime. Res64: A7539BBF403375B7 Time : 0.0 sec. user=mdettweiler [2013-05-17 11:40:20] 795*2^1245999-1 is not prime. Res64: BADF8B746636EF31 Time : 0.0 sec. user=mdettweiler [2013-05-17 11:58:49] 861*2^1245999-1 is not prime. Res64: EC0654849F13331E Time : 0.0 sec. user=mdettweiler [2013-05-17 11:58:49] 985*2^1245999-1 is not prime. Res64: F5DF1C99CBCE7F06 Time : 0.0 sec. user=mdettweiler [2013-05-17 12:00:14] 711*2^1245999-1 is not prime. Res64: 253D1B263AEC7E81 Time : 0.0 sec. user=mdettweiler [2013-05-17 12:16:38] 605*2^1246000-1 is not prime. Res64: 82260ADED893CE88 Time : 0.0 sec. user=mdettweiler [2013-05-17 12:38:11] 653*2^1246000-1 is not prime. Res64: CEB07A817031B9A8 Time : 0.0 sec. user=mdettweiler [2013-05-17 12:38:11] 713*2^1246000-1 is not prime. Res64: 1F62A3143D8A7C26 Time : 0.0 sec. user=mdettweiler [2013-05-17 12:54:16] 609*2^1246000-1 is not prime. Res64: EA2CCA85B4CE5644 Time : 0.0 sec. user=mdettweiler [2013-05-17 12:56:00] 765*2^1246000-1 is not prime. Res64: 7F4D23DE2847A366 Time : 0.0 sec. user=mdettweiler [2013-05-17 13:22:10] 843*2^1246000-1 is not prime. Res64: 4E5E835961D9CA32 Time : 0.0 sec. user=mdettweiler [2013-05-17 13:36:21] 855*2^1246000-1 is not prime. Res64: AA0A0B9A611AD3B0 Time : 0.0 sec. user=mdettweiler [2013-05-17 13:39:56] 909*2^1246000-1 is not prime. Res64: 2200861A9A7CE64C Time : 0.0 sec. user=mdettweiler [2013-05-17 13:58:31] 939*2^1246000-1 is not prime. Res64: B1122A3A8324842B Time : 0.0 sec. user=mdettweiler [2013-05-17 14:13:37] 873*2^1246000-1 is not prime. Res64: 8B44EA508D07AF5D Time : 0.0 sec. user=mdettweiler [2013-05-17 14:31:22] 811*2^1246001-1 is not prime. Res64: EA734BA744ACD0C2 Time : 0.0 sec. user=mdettweiler [2013-05-17 14:31:22] 871*2^1246001-1 is not prime. Res64: 19576FCF5D848B4E Time : 0.0 sec. user=mdettweiler [2013-05-17 14:49:00] 909*2^1246001-1 is not prime. Res64: E875720E02A98FDB Time : 0.0 sec. user=mdettweiler [2013-05-17 14:49:00] 937*2^1246001-1 is not prime. Res64: 1B65236405720B1D Time : 0.0 sec. user=mdettweiler [2013-05-17 14:53:34] 705*2^1246002-1 is not prime. Res64: F5A13468A2EA63E0 Time : 0.0 sec. user=mdettweiler [2013-05-17 14:53:34] 843*2^1246002-1 is not prime. Res64: 615665F3B1DE0306 Time : 0.0 sec. user=mdettweiler [2013-05-17 15:06:56] 903*2^1246002-1 is not prime. Res64: 127C774C5A9F3AD5 Time : 0.0 sec. user=mdettweiler [2013-05-17 15:11:11] 977*2^1246002-1 is not prime. Res64: E18502203AE29491 Time : 0.0 sec. user=mdettweiler [2013-05-17 15:11:13] 663*2^1246003-1 is not prime. Res64: ABEEA6C79679FB6B Time : 0.0 sec. user=mdettweiler [2013-05-17 15:27:08] 915*2^1246002-1 is not prime. Res64: A288826BF89AD091 Time : 0.0 sec. user=mdettweiler [2013-05-17 15:29:14] 693*2^1246003-1 is not prime. Res64: 09173C3EC31BF525 Time : 0.0 sec. user=mdettweiler [2013-05-17 15:29:14] 703*2^1246003-1 is not prime. Res64: 9A56B155B337FF70 Time : 0.0 sec. user=mdettweiler [2013-05-17 15:47:10] 751*2^1246003-1 is not prime. Res64: 62A4F4170DD6D777 Time : 0.0 sec. user=mdettweiler [2013-05-17 16:08:45] 901*2^1246003-1 is not prime. Res64: 0F3C4B3E57D4F86A Time : 0.0 sec. user=mdettweiler [2013-05-17 16:08:45] 915*2^1246003-1 is not prime. Res64: 989E4F6A0720060C Time : 0.0 sec. user=mdettweiler [2013-05-17 16:14:41] 885*2^1246003-1 is not prime. Res64: CA1D4A215CEADA04 Time : 0.0 sec. user=mdettweiler [2013-05-17 16:27:14] 951*2^1246003-1 is not prime. Res64: DB84BA13B03DED94 Time : 0.0 sec. user=mdettweiler [2013-05-17 16:27:14] 993*2^1246003-1 is not prime. Res64: C1BE002D89313B3F Time : 0.0 sec. user=mdettweiler [2013-05-17 16:33:17] 999*2^1246003-1 is not prime. Res64: 8EED36D2425C92ED Time : 0.0 sec. user=mdettweiler [2013-05-17 16:33:17] 605*2^1246004-1 is not prime. Res64: 3352D9BE287AA206 Time : 0.0 sec. user=mdettweiler [2013-05-17 16:45:00] 767*2^1246004-1 is not prime. Res64: DAB652EEB3AA5F4A Time : 0.0 sec. user=mdettweiler [2013-05-17 16:45:00] 773*2^1246004-1 is not prime. Res64: 3BA4A461A193FCC5 Time : 0.0 sec. user=mdettweiler [2013-05-17 16:51:08] 785*2^1246004-1 is not prime. Res64: FD16C1511BB76913 Time : 0.0 sec. user=mdettweiler [2013-05-17 17:11:17] 899*2^1246004-1 is not prime. Res64: 834E2119B620148A Time : 0.0 sec. user=mdettweiler [2013-05-17 17:29:28] 923*2^1246004-1 is not prime. Res64: 8BD1A35FBDF53C2F Time : 0.0 sec. user=mdettweiler [2013-05-17 17:47:33] 625*2^1246005-1 is not prime. Res64: 2C4C6332CE84B572 Time : 0.0 sec. user=mdettweiler [2013-05-17 17:47:33] 649*2^1246005-1 is not prime. Res64: A8A84D7D0BA40935 Time : 0.0 sec. user=mdettweiler [2013-05-17 17:54:01] 953*2^1246004-1 is not prime. Res64: ABBA5C20086F2669 Time : 0.0 sec. user=mdettweiler [2013-05-17 18:05:11] 669*2^1246005-1 is not prime. Res64: 90E72F7704018588 Time : 0.0 sec. user=mdettweiler [2013-05-17 18:05:12] 777*2^1246005-1 is not prime. Res64: 191DA28B1E2C298F Time : 0.0 sec. user=mdettweiler [2013-05-17 18:11:44] 859*2^1246005-1 is not prime. Res64: 7AA5A3D2ABD594D7 Time : 0.0 sec. user=mdettweiler [2013-05-17 18:11:44] 919*2^1246005-1 is not prime. Res64: 71016FDAE3A7F2E6 Time : 0.0 sec. user=mdettweiler [2013-05-17 18:23:05] 979*2^1246005-1 is not prime. Res64: 2A39D3820C507AFD Time : 0.0 sec. user=mdettweiler [2013-05-17 18:29:37] 843*2^1246006-1 is not prime. Res64: 71639A86F6CFEB98 Time : 0.0 sec. user=mdettweiler [2013-05-17 18:41:29] 773*2^1246006-1 is not prime. Res64: C105C283AE8036C9 Time : 0.0 sec. user=mdettweiler [2013-05-17 18:55:55] 911*2^1246006-1 is not prime. Res64: 15517C00AB793512 Time : 0.0 sec. user=mdettweiler [2013-05-17 19:14:06] 917*2^1246006-1 is not prime. Res64: 194CAB3914746746 Time : 0.0 sec. user=mdettweiler [2013-05-17 19:33:48] 619*2^1246007-1 is not prime. Res64: 7DB49236FE6E4EDB Time : 0.0 sec. user=mdettweiler [2013-05-17 19:33:48] 661*2^1246007-1 is not prime. Res64: 582974C6D3063D16 Time : 0.0 sec. user=mdettweiler [2013-05-17 19:34:53] 609*2^1246007-1 is not prime. Res64: 2B46150CB125C48D Time : 0.0 sec. user=mdettweiler [2013-05-17 19:51:41] 759*2^1246007-1 is not prime. Res64: 1A145D180C649880 Time : 0.0 sec. user=mdettweiler [2013-05-17 19:53:26] 973*2^1246007-1 is not prime. Res64: 60C3EF60706D9324 Time : 0.0 sec. user=mdettweiler [2013-05-17 19:53:26] 993*2^1246007-1 is not prime. Res64: 60F22581F3738193 Time : 0.0 sec. user=mdettweiler [2013-05-17 20:11:06] 663*2^1246008-1 is not prime. Res64: 8EF25A71D55587A9 Time : 0.0 sec. user=mdettweiler [2013-05-17 20:11:07] 737*2^1246008-1 is not prime. Res64: 07A5A475B97695C3 Time : 0.0 sec. user=mdettweiler [2013-05-17 20:19:39] 813*2^1246007-1 is not prime. Res64: FD42F091EA8419FC Time : 0.0 sec. user=mdettweiler [2013-05-17 20:29:10] 753*2^1246008-1 is not prime. Res64: 62790E0062006671 Time : 0.0 sec. user=mdettweiler [2013-05-17 20:29:11] 875*2^1246008-1 is not prime. Res64: 20281B7872570F56 Time : 0.0 sec. user=mdettweiler [2013-05-17 20:37:16] 879*2^1246008-1 is not prime. Res64: 1F9073271C55DCA9 Time : 0.0 sec. user=mdettweiler [2013-05-17 20:37:16] 927*2^1246008-1 is not prime. Res64: 0E4741B2FEF37B93 Time : 0.0 sec. user=mdettweiler [2013-05-17 20:47:53] 977*2^1246008-1 is not prime. Res64: 5C148009B24B6EAB Time : 0.0 sec. user=mdettweiler [2013-05-17 20:54:53] 625*2^1246009-1 is not prime. Res64: 13B0CB065C656DE6 Time : 0.0 sec. user=mdettweiler [2013-05-17 20:54:53] 685*2^1246009-1 is not prime. Res64: A64F32543D34ECA6 Time : 0.0 sec. user=mdettweiler [2013-05-17 21:12:44] 801*2^1246009-1 is not prime. Res64: 4B57B332D91BC983 Time : 0.0 sec. user=mdettweiler [2013-05-17 21:14:29] 993*2^1246008-1 is not prime. Res64: C795C3503B6320AE Time : 0.0 sec. user=mdettweiler [2013-05-17 21:32:17] 627*2^1246010-1 is not prime. Res64: 279BE39545619BF5 Time : 0.0 sec. user=mdettweiler [2013-05-17 21:32:18] 735*2^1246010-1 is not prime. Res64: 0C39500C388FD865 Time : 0.0 sec. user=mdettweiler [2013-05-17 21:34:25] 807*2^1246009-1 is not prime. Res64: 801AF32F8420C61E Time : 0.0 sec. user=mdettweiler [2013-05-17 21:50:08] 741*2^1246010-1 is not prime. Res64: 6F253DD68464222C Time : 0.0 sec. user=mdettweiler [2013-05-17 22:17:22] 843*2^1246010-1 is not prime. Res64: 7AC0E0765ACF8089 Time : 0.0 sec. user=mdettweiler [2013-05-17 22:17:23] 851*2^1246010-1 is not prime. Res64: 7500428671821687 Time : 0.0 sec. user=mdettweiler [2013-05-17 22:25:51] 813*2^1246010-1 is not prime. Res64: C806E2733867D014 Time : 0.0 sec. user=mdettweiler [2013-05-17 22:35:51] 951*2^1246010-1 is not prime. Res64: 064D85633D9218A7 Time : 0.0 sec. user=mdettweiler [2013-05-17 22:35:51] 981*2^1246010-1 is not prime. Res64: 4FA34A51FBF63F79 Time : 0.0 sec. user=mdettweiler [2013-05-17 22:43:30] 609*2^1246011-1 is not prime. Res64: 865A0DE1D442F740 Time : 0.0 sec. user=mdettweiler [2013-05-17 22:43:30] 619*2^1246011-1 is not prime. Res64: B6507E2BFA22E779 Time : 0.0 sec. user=mdettweiler [2013-05-17 22:53:31] 735*2^1246011-1 is not prime. Res64: 2FB3C825D55ECEC6 Time : 0.0 sec. user=mdettweiler [2013-05-17 22:53:31] 903*2^1246011-1 is not prime. Res64: D0001A9EBC113445 Time : 0.0 sec. user=mdettweiler [2013-05-17 23:01:07] 909*2^1246011-1 is not prime. Res64: CD8E47CC3A6FBA41 Time : 0.0 sec. user=mdettweiler [2013-05-17 23:01:08] 961*2^1246011-1 is not prime. Res64: D2D6ACEAA9EA5EB3 Time : 0.0 sec. user=mdettweiler [2013-05-17 23:11:15] 975*2^1246011-1 is not prime. Res64: 7BA47C2ED9573276 Time : 0.0 sec. user=mdettweiler [2013-05-17 23:11:16] 617*2^1246012-1 is not prime. Res64: E1BFA4F6DCA98FE9 Time : 0.0 sec. user=mdettweiler [2013-05-17 23:19:17] 629*2^1246012-1 is not prime. Res64: BE51ACEAC46BD14E Time : 0.0 sec. user=mdettweiler [2013-05-17 23:29:14] 695*2^1246012-1 is not prime. Res64: 228A592E1811E038 Time : 0.0 sec. user=mdettweiler [2013-05-17 23:29:14] 819*2^1246012-1 is not prime. Res64: 9DAD1288D8F0FFB8 Time : 0.0 sec. user=mdettweiler [2013-05-17 23:42:05] 665*2^1246012-1 is not prime. Res64: 2AD2CA9B365E1CA6 Time : 0.0 sec. user=mdettweiler [2013-05-17 23:47:03] 857*2^1246012-1 is not prime. Res64: BF103A01F4AD9D8A Time : 0.0 sec.