user=mdettweiler [2013-08-26 00:01:42] 931*2^1251817-1 is not prime. Res64: D8DC1E83CF5E0BF9 Time : 0.0 sec. user=mdettweiler [2013-08-26 00:01:43] 797*2^1251818-1 is not prime. Res64: EC750DCF1849B952 Time : 0.0 sec. user=mdettweiler [2013-08-26 00:03:34] 813*2^1251818-1 is not prime. Res64: 669EBB17FA0DE213 Time : 0.0 sec. user=mdettweiler [2013-08-26 00:03:35] 827*2^1251818-1 is not prime. Res64: E7DAE40C31865A24 Time : 0.0 sec. user=mdettweiler [2013-08-26 00:15:02] 833*2^1251818-1 is not prime. Res64: C8E048546607DB8E Time : 0.0 sec. user=mdettweiler [2013-08-26 00:15:03] 843*2^1251818-1 is not prime. Res64: 17006F838C1174A1 Time : 0.0 sec. user=mdettweiler [2013-08-26 00:21:34] 911*2^1251818-1 is not prime. Res64: 2A0E1E29A96EE68C Time : 0.0 sec. user=mdettweiler [2013-08-26 00:21:34] 941*2^1251818-1 is not prime. Res64: 3CD3AADF6EC1DF07 Time : 0.0 sec. user=mdettweiler [2013-08-26 00:21:40] 601*2^1251819-1 is not prime. Res64: 5C3327998C7F881D Time : 0.0 sec. user=mdettweiler [2013-08-26 00:21:40] 741*2^1251819-1 is not prime. Res64: 965456CD13CF77DE Time : 0.0 sec. user=mdettweiler [2013-08-26 00:23:37] 609*2^1251820-1 is not prime. Res64: 18C6EE0114B48B52 Time : 0.0 sec. user=mdettweiler [2013-08-26 00:23:37] 665*2^1251820-1 is not prime. Res64: 16710DAAD333ECE7 Time : 0.0 sec. user=mdettweiler [2013-08-26 00:35:03] 675*2^1251820-1 is not prime. Res64: 3244E527CAEEA8CC Time : 0.0 sec. user=mdettweiler [2013-08-26 00:35:04] 677*2^1251820-1 is not prime. Res64: D4F89E7D08DA9060 Time : 0.0 sec. user=mdettweiler [2013-08-26 00:41:39] 619*2^1251821-1 is not prime. Res64: 10ABF6010C443697 Time : 0.0 sec. user=mdettweiler [2013-08-26 00:41:39] 621*2^1251821-1 is not prime. Res64: 3119D1EBF0B921BA Time : 0.0 sec. user=mdettweiler [2013-08-26 00:42:28] 887*2^1251820-1 is not prime. Res64: 28D25648DBCE0477 Time : 0.0 sec. user=mdettweiler [2013-08-26 00:42:28] 927*2^1251820-1 is not prime. Res64: 7BBA072098EE0CFA Time : 0.0 sec. user=mdettweiler [2013-08-26 00:43:31] 727*2^1251821-1 is not prime. Res64: F47108074DD77FAB Time : 0.0 sec. user=mdettweiler [2013-08-26 00:43:32] 819*2^1251821-1 is not prime. Res64: D5002C687743C74D Time : 0.0 sec. user=mdettweiler [2013-08-26 00:56:06] 859*2^1251821-1 is not prime. Res64: 78C356375DCF69C4 Time : 0.0 sec. user=mdettweiler [2013-08-26 00:56:07] 927*2^1251821-1 is not prime. Res64: 58AEE71C1CD6C385 Time : 0.0 sec. user=mdettweiler [2013-08-26 01:02:26] 665*2^1251822-1 is not prime. Res64: C3222CA40E643BB0 Time : 0.0 sec. user=mdettweiler [2013-08-26 01:02:28] 695*2^1251822-1 is not prime. Res64: B77674DE5B3D5F11 Time : 0.0 sec. user=mdettweiler [2013-08-26 01:02:39] 939*2^1251821-1 is not prime. Res64: E510789AD5351247 Time : 0.0 sec. user=mdettweiler [2013-08-26 01:02:41] 611*2^1251822-1 is not prime. Res64: 7A92BC19CD2364E6 Time : 0.0 sec. user=mdettweiler [2013-08-26 01:03:28] 705*2^1251822-1 is not prime. Res64: D374033B79A97569 Time : 0.0 sec. user=mdettweiler [2013-08-26 01:03:30] 717*2^1251822-1 is not prime. Res64: 66E89D45AE2C9C58 Time : 0.0 sec. user=mdettweiler [2013-08-26 01:16:01] 755*2^1251822-1 is not prime. Res64: 6A484082945F7610 Time : 0.0 sec. user=mdettweiler [2013-08-26 01:16:01] 873*2^1251822-1 is not prime. Res64: 8EFF66F3A402FB41 Time : 0.0 sec. user=mdettweiler [2013-08-26 01:22:57] 615*2^1251823-1 is not prime. Res64: 80ABC026D83AD708 Time : 0.0 sec. user=mdettweiler [2013-08-26 01:22:58] 649*2^1251823-1 is not prime. Res64: 9C0C40CE05CA1FBE Time : 0.0 sec. user=mdettweiler [2013-08-26 01:22:59] 681*2^1251823-1 is not prime. Res64: BDFB889AC8AA868C Time : 0.0 sec. user=mdettweiler [2013-08-26 01:23:00] 693*2^1251823-1 is not prime. Res64: 85104DBF02901F3A Time : 0.0 sec. user=mdettweiler [2013-08-26 01:23:33] 765*2^1251823-1 is not prime. Res64: 0A25D89B0163D4E5 Time : 0.0 sec. user=mdettweiler [2013-08-26 01:23:34] 783*2^1251823-1 is not prime. Res64: 94345D0B46F657B5 Time : 0.0 sec. user=mdettweiler [2013-08-26 01:35:57] 871*2^1251823-1 is not prime. Res64: 60431CEE1B86E3A5 Time : 0.0 sec. user=mdettweiler [2013-08-26 01:35:58] 885*2^1251823-1 is not prime. Res64: 39D4CE61A995955A Time : 0.0 sec. user=mdettweiler [2013-08-26 01:44:34] 993*2^1251823-1 is not prime. Res64: A7A4507EB216A3AB Time : 0.0 sec. user=mdettweiler [2013-08-26 01:44:35] 629*2^1251824-1 is not prime. Res64: 2054428305C7BE02 Time : 0.0 sec. user=mdettweiler [2013-08-26 01:44:53] 961*2^1251823-1 is not prime. Res64: 6927184565D38825 Time : 0.0 sec. user=mdettweiler [2013-08-26 01:44:53] 969*2^1251823-1 is not prime. Res64: 464A76E19E2B87C9 Time : 0.0 sec. user=mdettweiler [2013-08-26 01:44:55] 889*2^1251823-1 is not prime. Res64: 0C1E7F60DB2ABEDB Time : 0.0 sec. user=mdettweiler [2013-08-26 01:44:55] 919*2^1251823-1 is not prime. Res64: 24576D3D467CF629 Time : 0.0 sec. user=mdettweiler [2013-08-26 01:55:53] 675*2^1251824-1 is not prime. Res64: 253A65E6CF7603FF Time : 0.0 sec. user=mdettweiler [2013-08-26 01:55:53] 789*2^1251824-1 is not prime. Res64: 8BD227AB3F4A66CB Time : 0.0 sec. user=mdettweiler [2013-08-26 02:04:33] 827*2^1251824-1 is not prime. Res64: 8A0D09ED6A2A8476 Time : 0.0 sec. user=mdettweiler [2013-08-26 02:04:33] 875*2^1251824-1 is not prime. Res64: 22DF8A8F0A57E614 Time : 0.0 sec. user=mdettweiler [2013-08-26 02:04:51] 685*2^1251825-1 is not prime. Res64: 7A82184276FD5C3F Time : 0.0 sec. user=mdettweiler [2013-08-26 02:04:52] 727*2^1251825-1 is not prime. Res64: 915943C4D044F87F Time : 0.0 sec. user=mdettweiler [2013-08-26 02:05:43] 969*2^1251824-1 is not prime. Res64: EFDF1A96254081D8 Time : 0.0 sec. user=mdettweiler [2013-08-26 02:05:44] 657*2^1251825-1 is not prime. Res64: E386D792A983E253 Time : 0.0 sec. user=mdettweiler [2013-08-26 02:15:47] 741*2^1251825-1 is not prime. Res64: CB77205D031C0671 Time : 0.0 sec. user=mdettweiler [2013-08-26 02:15:47] 795*2^1251825-1 is not prime. Res64: E2BF6F61939CE5E1 Time : 0.0 sec. user=mdettweiler [2013-08-26 02:24:45] 713*2^1251826-1 is not prime. Res64: 4B9EE202B4E0941A Time : 0.0 sec. user=mdettweiler [2013-08-26 02:24:45] 843*2^1251826-1 is not prime. Res64: 05448E880230D829 Time : 0.0 sec. user=mdettweiler [2013-08-26 02:25:35] 847*2^1251825-1 is not prime. Res64: 70324B37159A4F7C Time : 0.0 sec. user=mdettweiler [2013-08-26 02:25:36] 985*2^1251825-1 is not prime. Res64: 14053D63A14D48FD Time : 0.0 sec. user=mdettweiler [2013-08-26 02:25:39] 857*2^1251826-1 is not prime. Res64: 1CF4DE4AD4516FD1 Time : 0.0 sec. user=mdettweiler [2013-08-26 02:25:39] 881*2^1251826-1 is not prime. Res64: FB56855FF601EF09 Time : 0.0 sec. user=mdettweiler [2013-08-26 02:37:39] 941*2^1251826-1 is not prime. Res64: 000F445EE0B4732C Time : 0.0 sec. user=mdettweiler [2013-08-26 02:37:40] 971*2^1251826-1 is not prime. Res64: ACBE9B51355E7AAD Time : 0.0 sec. user=mdettweiler [2013-08-26 02:44:40] 621*2^1251827-1 is not prime. Res64: 3349CC5A33646C72 Time : 0.0 sec. user=mdettweiler [2013-08-26 02:44:41] 693*2^1251827-1 is not prime. Res64: E8F9426862BDA62D Time : 0.0 sec. user=mdettweiler [2013-08-26 02:45:24] 735*2^1251827-1 is not prime. Res64: 404AE97AA54BD748 Time : 0.0 sec. user=mdettweiler [2013-08-26 02:45:25] 871*2^1251827-1 is not prime. Res64: 7031E38C3AA603EA Time : 0.0 sec. user=mdettweiler [2013-08-26 02:45:31] 883*2^1251827-1 is not prime. Res64: 32F340F367060CDF Time : 0.0 sec. user=mdettweiler [2013-08-26 02:45:32] 885*2^1251827-1 is not prime. Res64: 21CD2A9203A5F8B8 Time : 0.0 sec. user=mdettweiler [2013-08-26 02:57:50] 639*2^1251828-1 is not prime. Res64: C03891CC1A727B20 Time : 0.0 sec. user=mdettweiler [2013-08-26 02:57:50] 657*2^1251828-1 is not prime. Res64: 4B2CA7CEDB4677ED Time : 0.0 sec. user=mdettweiler [2013-08-26 03:04:38] 683*2^1251828-1 is not prime. Res64: A71FC1339C31C7E2 Time : 0.0 sec. user=mdettweiler [2013-08-26 03:04:39] 689*2^1251828-1 is not prime. Res64: 4DB8515ABAB3C262 Time : 0.0 sec. user=mdettweiler [2013-08-26 03:05:20] 737*2^1251828-1 is not prime. Res64: 119ED595D138A351 Time : 0.0 sec. user=mdettweiler [2013-08-26 03:05:20] 749*2^1251828-1 is not prime. Res64: E519FA11FB074BCB Time : 0.0 sec. user=mdettweiler [2013-08-26 03:05:30] 767*2^1251828-1 is not prime. Res64: BAFF9569EEE8CEA0 Time : 0.0 sec. user=mdettweiler [2013-08-26 03:05:31] 845*2^1251828-1 is not prime. Res64: 67C952F8B85ED29D Time : 0.0 sec. user=mdettweiler [2013-08-26 03:19:06] 999*2^1251828-1 is not prime. Res64: B77295159C24CA06 Time : 0.0 sec. user=mdettweiler [2013-08-26 03:19:06] 661*2^1251829-1 is not prime. Res64: 56C561CAA3F59296 Time : 0.0 sec. user=mdettweiler [2013-08-26 03:25:00] 687*2^1251829-1 is not prime. Res64: 920758E9415EEBA7 Time : 0.0 sec. user=mdettweiler [2013-08-26 03:25:01] 831*2^1251829-1 is not prime. Res64: 923319E96B315314 Time : 0.0 sec. user=mdettweiler [2013-08-26 03:26:36] 603*2^1251830-1 is not prime. Res64: 04F717EF515A3CEA Time : 0.0 sec. user=mdettweiler [2013-08-26 03:26:37] 897*2^1251830-1 is not prime. Res64: 83E1626E509E7417 Time : 0.0 sec. user=mdettweiler [2013-08-26 03:27:23] 925*2^1251829-1 is not prime. Res64: A0E8242F756F6B23 Time : 0.0 sec. user=mdettweiler [2013-08-26 03:27:23] 975*2^1251829-1 is not prime. Res64: 5D56D0C7E2174661 Time : 0.0 sec. user=mdettweiler [2013-08-26 03:41:02] 923*2^1251830-1 is not prime. Res64: 9D8ED49FBEA0FA7F Time : 0.0 sec. user=mdettweiler [2013-08-26 03:41:03] 1001*2^1251830-1 is not prime. Res64: DBDDB6BAD27C8AF1 Time : 0.0 sec. user=mdettweiler [2013-08-26 03:44:58] 691*2^1251831-1 is not prime. Res64: 9F24BF669F74D257 Time : 0.0 sec. user=mdettweiler [2013-08-26 03:44:59] 751*2^1251831-1 is not prime. Res64: 88E8D7CED9986F62 Time : 0.0 sec. user=mdettweiler [2013-08-26 03:46:36] 775*2^1251831-1 is not prime. Res64: 4E949DC23FAA040D Time : 0.0 sec. user=mdettweiler [2013-08-26 03:46:36] 823*2^1251831-1 is not prime. Res64: 98DD5C2B06C84FB5 Time : 0.0 sec. user=mdettweiler [2013-08-26 03:48:16] 885*2^1251831-1 is not prime. Res64: 741ECA09105F555C Time : 0.0 sec. user=mdettweiler [2013-08-26 03:48:16] 933*2^1251831-1 is not prime. Res64: 691AA0C4186DF27D Time : 0.0 sec. user=mdettweiler [2013-08-26 04:03:02] 973*2^1251831-1 is not prime. Res64: 4015CB829CDC7386 Time : 0.0 sec. user=mdettweiler [2013-08-26 04:03:04] 975*2^1251831-1 is not prime. Res64: 841134997A685C83 Time : 0.0 sec. user=mdettweiler [2013-08-26 04:04:55] 635*2^1251832-1 is not prime. Res64: 62553F11BB13A78E Time : 0.0 sec. user=mdettweiler [2013-08-26 04:04:57] 639*2^1251832-1 is not prime. Res64: D174D03B74D12914 Time : 0.0 sec. user=mdettweiler [2013-08-26 04:06:36] 693*2^1251832-1 is not prime. Res64: 2CAAD5CC68A52FE5 Time : 0.0 sec. user=mdettweiler [2013-08-26 04:06:37] 743*2^1251832-1 is not prime. Res64: 85C4B46944E4882D Time : 0.0 sec. user=mdettweiler [2013-08-26 04:09:09] 765*2^1251832-1 is not prime. Res64: 0110E4B077420B62 Time : 0.0 sec. user=mdettweiler [2013-08-26 04:09:10] 903*2^1251832-1 is not prime. Res64: 8ADFEAC6518F72FF Time : 0.0 sec. user=mdettweiler [2013-08-26 04:24:06] 989*2^1251832-1 is not prime. Res64: 1D28FE3A0C567080 Time : 0.0 sec. user=mdettweiler [2013-08-26 04:24:06] 615*2^1251833-1 is not prime. Res64: 04EDF355D4715C22 Time : 0.0 sec. user=mdettweiler [2013-08-26 04:24:59] 669*2^1251833-1 is not prime. Res64: A55D0C88D8BC4045 Time : 0.0 sec. user=mdettweiler [2013-08-26 04:24:59] 679*2^1251833-1 is not prime. Res64: 59E31FE2969E6AFF Time : 0.0 sec. user=mdettweiler [2013-08-26 04:26:36] 741*2^1251833-1 is not prime. Res64: 61273D2697777C00 Time : 0.0 sec. user=mdettweiler [2013-08-26 04:26:36] 811*2^1251833-1 is not prime. Res64: 5CA2105A14E315EE Time : 0.0 sec. user=mdettweiler [2013-08-26 04:30:04] 847*2^1251833-1 is not prime. Res64: 516B5C742E048C1D Time : 0.0 sec. user=mdettweiler [2013-08-26 04:30:05] 937*2^1251833-1 is not prime. Res64: 8E3F4B52D07E36BD Time : 0.0 sec. user=mdettweiler [2013-08-26 04:44:53] 707*2^1251834-1 is not prime. Res64: 03472F56D815C699 Time : 0.0 sec. user=mdettweiler [2013-08-26 04:44:54] 791*2^1251834-1 is not prime. Res64: A65AEAB3F2574208 Time : 0.0 sec. user=mdettweiler [2013-08-26 04:45:53] 939*2^1251833-1 is not prime. Res64: 356BBC19DD6AB4BE Time : 0.0 sec. user=mdettweiler [2013-08-26 04:45:54] 979*2^1251833-1 is not prime. Res64: 9059C435B2B498C8 Time : 0.0 sec. user=mdettweiler [2013-08-26 04:47:25] 837*2^1251834-1 is not prime. Res64: A5156546D60B4E00 Time : 0.0 sec. user=mdettweiler [2013-08-26 04:47:25] 945*2^1251834-1 is not prime. Res64: 867336A9A746C90A Time : 0.0 sec. user=mdettweiler [2013-08-26 04:51:04] 971*2^1251834-1 is not prime. Res64: 2D4B67D0F0C0C960 Time : 0.0 sec. user=mdettweiler [2013-08-26 04:51:04] 603*2^1251835-1 is not prime. Res64: E2C0BC7BE2700292 Time : 0.0 sec. user=mdettweiler [2013-08-26 05:04:48] 609*2^1251835-1 is not prime. Res64: 38DFCCF476FB6D13 Time : 0.0 sec. user=mdettweiler [2013-08-26 05:04:48] 649*2^1251835-1 is not prime. Res64: 3C4C5DB85671F6AE Time : 0.0 sec. user=mdettweiler [2013-08-26 05:05:45] 651*2^1251835-1 is not prime. Res64: 15F43B759335D53F Time : 0.0 sec. user=mdettweiler [2013-08-26 05:05:45] 691*2^1251835-1 is not prime. Res64: 35A008B201C56282 Time : 0.0 sec. user=mdettweiler [2013-08-26 05:07:19] 805*2^1251835-1 is not prime. Res64: 1EACD07B3B7E1C80 Time : 0.0 sec. user=mdettweiler [2013-08-26 05:07:20] 861*2^1251835-1 is not prime. Res64: 89ABD7F5A2AEAA00 Time : 0.0 sec. user=mdettweiler [2013-08-26 05:10:54] 885*2^1251835-1 is not prime. Res64: C4F725DEDB30CAD2 Time : 0.0 sec. user=mdettweiler [2013-08-26 05:10:56] 633*2^1251836-1 is not prime. Res64: 744BD0C85364F16C Time : 0.0 sec. user=mdettweiler [2013-08-26 05:24:54] 743*2^1251836-1 is not prime. Res64: 4BB0800AC1F2FDE8 Time : 0.0 sec. user=mdettweiler [2013-08-26 05:24:55] 759*2^1251836-1 is not prime. Res64: 79348433F4074735 Time : 0.0 sec. user=mdettweiler [2013-08-26 05:27:42] 897*2^1251836-1 is not prime. Res64: 279FAEA667BB86C8 Time : 0.0 sec. user=mdettweiler [2013-08-26 05:27:43] 945*2^1251836-1 is not prime. Res64: 306571FB92E58F89 Time : 0.0 sec. user=mdettweiler [2013-08-26 05:29:22] 957*2^1251836-1 is not prime. Res64: 28A43AD3A0C361C4 Time : 0.0 sec. user=mdettweiler [2013-08-26 05:29:23] 983*2^1251836-1 is not prime. Res64: D63686382A72BB6C Time : 0.0 sec. user=mdettweiler [2013-08-26 05:31:03] 667*2^1251837-1 is not prime. Res64: 3C475E5179312754 Time : 0.0 sec. user=mdettweiler [2013-08-26 05:31:04] 765*2^1251837-1 is not prime. Res64: 2214E09CDB973A44 Time : 0.0 sec. user=mdettweiler [2013-08-26 05:45:10] 837*2^1251837-1 is not prime. Res64: A88B85EB2DD28EC7 Time : 0.0 sec. user=mdettweiler [2013-08-26 05:45:10] 671*2^1251838-1 is not prime. Res64: 28F4346888820241 Time : 0.0 sec. user=mdettweiler [2013-08-26 05:47:51] 761*2^1251838-1 is not prime. Res64: 1138984099DD576E Time : 0.0 sec. user=mdettweiler [2013-08-26 05:47:51] 843*2^1251838-1 is not prime. Res64: 762A5B8A33A194D3 Time : 0.0 sec. user=mdettweiler [2013-08-26 05:49:29] 609*2^1251839-1 is not prime. Res64: BD1ED05BBB9385E9 Time : 0.0 sec. user=mdettweiler [2013-08-26 05:49:29] 693*2^1251839-1 is not prime. Res64: C49117F441AAB505 Time : 0.0 sec. user=mdettweiler [2013-08-26 05:52:11] 819*2^1251839-1 is not prime. Res64: 3DC0DAB97DC7FAA6 Time : 0.0 sec. user=mdettweiler [2013-08-26 05:52:12] 889*2^1251839-1 is not prime. Res64: 5368A851414735C3 Time : 0.0 sec. user=mdettweiler [2013-08-26 06:06:01] 949*2^1251839-1 is not prime. Res64: 29D1D38C168321B7 Time : 0.0 sec. user=mdettweiler [2013-08-26 06:06:02] 629*2^1251840-1 is not prime. Res64: 49C1A431E499F274 Time : 0.0 sec. user=mdettweiler [2013-08-26 06:07:45] 695*2^1251840-1 is not prime. Res64: 762BFF331A97119A Time : 0.0 sec. user=mdettweiler [2013-08-26 06:07:46] 753*2^1251840-1 is not prime. Res64: A00B10FEFD951B4E Time : 0.0 sec. user=mdettweiler [2013-08-26 06:09:28] 863*2^1251840-1 is not prime. Res64: C898600015DAC47C Time : 0.0 sec. user=mdettweiler [2013-08-26 06:09:30] 607*2^1251841-1 is not prime. Res64: C78BA9E30E919999 Time : 0.0 sec. user=mdettweiler [2013-08-26 06:12:02] 687*2^1251841-1 is not prime. Res64: 4A29800464DDF1DC Time : 0.0 sec. user=mdettweiler [2013-08-26 06:12:04] 717*2^1251841-1 is not prime. Res64: 04C563823ADEF918 Time : 0.0 sec. user=mdettweiler [2013-08-26 06:27:04] 895*2^1251841-1 is not prime. Res64: 16A1E4C0EF04ADEE Time : 0.0 sec. user=mdettweiler [2013-08-26 06:27:05] 603*2^1251842-1 is not prime. Res64: 24AA9C1A5751A9A3 Time : 0.0 sec. user=mdettweiler [2013-08-26 06:27:44] 623*2^1251842-1 is not prime. Res64: E51E2E0416205D08 Time : 0.0 sec. user=mdettweiler [2013-08-26 06:27:45] 675*2^1251842-1 is not prime. Res64: 163C115F6B37FEF0 Time : 0.0 sec. user=mdettweiler [2013-08-26 06:29:27] 731*2^1251842-1 is not prime. Res64: 293540281F9C5D5E Time : 0.0 sec. user=mdettweiler [2013-08-26 06:29:28] 885*2^1251842-1 is not prime. Res64: 5993E5E6A66E99E8 Time : 0.0 sec. user=mdettweiler [2013-08-26 06:33:00] 887*2^1251842-1 is not prime. Res64: 219C77C74D2EDE32 Time : 0.0 sec. user=mdettweiler [2013-08-26 06:33:01] 903*2^1251842-1 is not prime. Res64: 5C902A8F57CA0518 Time : 0.0 sec. user=mdettweiler [2013-08-26 06:47:44] 609*2^1251843-1 is not prime. Res64: 952B9341E51EB20C Time : 0.0 sec. user=mdettweiler [2013-08-26 06:47:45] 649*2^1251843-1 is not prime. Res64: 47EE38F6976126D2 Time : 0.0 sec. user=mdettweiler [2013-08-26 06:48:57] 915*2^1251842-1 is not prime. Res64: 223CE36364CA5991 Time : 0.0 sec. user=mdettweiler [2013-08-26 06:48:57] 921*2^1251842-1 is not prime. Res64: 20AB88E66D7A5C17 Time : 0.0 sec. user=mdettweiler [2013-08-26 06:49:28] 663*2^1251843-1 is not prime. Res64: F9FB06C030F92B81 Time : 0.0 sec. user=mdettweiler [2013-08-26 06:49:29] 691*2^1251843-1 is not prime. Res64: 4A258937859759EB Time : 0.0 sec. user=mdettweiler [2013-08-26 06:52:55] 699*2^1251843-1 is not prime. Res64: 95D133DF557866E5 Time : 0.0 sec. user=mdettweiler [2013-08-26 06:52:56] 705*2^1251843-1 is not prime. Res64: FAEDEB9B89EC2631 Time : 0.0 sec. user=mdettweiler [2013-08-26 07:07:43] 741*2^1251843-1 is not prime. Res64: 0E022466234A2D79 Time : 0.0 sec. user=mdettweiler [2013-08-26 07:07:43] 789*2^1251843-1 is not prime. Res64: 61AECD01C87499EF Time : 0.0 sec. user=mdettweiler [2013-08-26 07:09:30] 635*2^1251844-1 is not prime. Res64: ED820A92E7FE3C0C Time : 0.0 sec. user=mdettweiler [2013-08-26 07:09:31] 719*2^1251844-1 is not prime. Res64: A350FCF4DF6BFB6A Time : 0.0 sec. user=mdettweiler [2013-08-26 07:09:58] 835*2^1251843-1 is not prime. Res64: 53C769291F0C976D Time : 0.0 sec. user=mdettweiler [2013-08-26 07:10:00] 919*2^1251843-1 is not prime. Res64: E977D4F916A954E5 Time : 0.0 sec. user=mdettweiler [2013-08-26 07:12:51] 827*2^1251844-1 is not prime. Res64: C3A02E2CF00FD78B Time : 0.0 sec. user=mdettweiler [2013-08-26 07:12:51] 869*2^1251844-1 is not prime. Res64: 3B646E44FFBEB66F Time : 0.0 sec. user=mdettweiler [2013-08-26 07:29:35] 801*2^1251845-1 is not prime. Res64: 509BF997422A88FE Time : 0.0 sec. user=mdettweiler [2013-08-26 07:29:36] 831*2^1251845-1 is not prime. Res64: 73DB710F328EE763 Time : 0.0 sec. user=mdettweiler [2013-08-26 07:29:38] 927*2^1251844-1 is not prime. Res64: C388CAFFBCB77D36 Time : 0.0 sec. user=mdettweiler [2013-08-26 07:29:38] 929*2^1251844-1 is not prime. Res64: C32F3C0A9BAA0D02 Time : 0.0 sec. user=mdettweiler [2013-08-26 07:30:03] 847*2^1251845-1 is not prime. Res64: F253263D08ECFF53 Time : 0.0 sec. user=mdettweiler [2013-08-26 07:30:05] 867*2^1251845-1 is not prime. Res64: AF55C2B524EBF5CA Time : 0.0 sec. user=mdettweiler [2013-08-26 07:32:55] 871*2^1251845-1 is not prime. Res64: C5C5B67FFE2323DA Time : 0.0 sec. user=mdettweiler [2013-08-26 07:32:55] 885*2^1251845-1 is not prime. Res64: 9A2FB4AC6AA00E8C Time : 0.0 sec. user=mdettweiler [2013-08-26 07:49:37] 641*2^1251846-1 is not prime. Res64: D4FA21D392DD519A Time : 0.0 sec. user=mdettweiler [2013-08-26 07:49:37] 755*2^1251846-1 is not prime. Res64: A384577347992D90 Time : 0.0 sec. user=mdettweiler [2013-08-26 07:51:05] 777*2^1251846-1 is not prime. Res64: B30E9E3BB69BB2DB Time : 0.0 sec. user=mdettweiler [2013-08-26 07:51:05] 921*2^1251846-1 is not prime. Res64: 2F141E56887767CE Time : 0.0 sec. user=mdettweiler [2013-08-26 07:51:31] 925*2^1251845-1 is not prime. Res64: E37D8001419C47C8 Time : 0.0 sec. user=mdettweiler [2013-08-26 07:51:32] 937*2^1251845-1 is not prime. Res64: B16B6522E0E2E82D Time : 0.0 sec. user=mdettweiler [2013-08-26 07:53:53] 947*2^1251846-1 is not prime. Res64: F81FC7E51299ED8A Time : 0.0 sec. user=mdettweiler [2013-08-26 07:53:53] 703*2^1251847-1 is not prime. Res64: DF3A5E82E29B6DCF Time : 0.0 sec. user=mdettweiler [2013-08-26 08:09:31] 715*2^1251847-1 is not prime. Res64: 3AEF93D72AEBBFCA Time : 0.0 sec. user=mdettweiler [2013-08-26 08:09:32] 759*2^1251847-1 is not prime. Res64: 3973D46AA573D18A Time : 0.0 sec. user=mdettweiler [2013-08-26 08:11:00] 775*2^1251847-1 is not prime. Res64: D68D12972AB8F4D8 Time : 0.0 sec. user=mdettweiler [2013-08-26 08:11:00] 861*2^1251847-1 is not prime. Res64: B58053AF24F0DFE0 Time : 0.0 sec. user=mdettweiler [2013-08-26 08:12:21] 871*2^1251847-1 is not prime. Res64: 2A8F22E021609A04 Time : 0.0 sec. user=mdettweiler [2013-08-26 08:12:22] 895*2^1251847-1 is not prime. Res64: C9CF0E19C1839387 Time : 0.0 sec. user=mdettweiler [2013-08-26 08:14:47] 915*2^1251847-1 is not prime. Res64: D87E62875BDEA286 Time : 0.0 sec. user=mdettweiler [2013-08-26 08:14:48] 773*2^1251848-1 is not prime. Res64: 5F25652191129303 Time : 0.0 sec. user=mdettweiler [2013-08-26 08:29:43] 839*2^1251848-1 is not prime. Res64: 5EC63B46CD7ACA50 Time : 0.0 sec. user=mdettweiler [2013-08-26 08:29:43] 875*2^1251848-1 is not prime. Res64: 56A152C2DAD3F728 Time : 0.0 sec. user=mdettweiler [2013-08-26 08:31:54] 923*2^1251848-1 is not prime. Res64: 59ACC6FFA397A9D6 Time : 0.0 sec. user=mdettweiler [2013-08-26 08:31:55] 625*2^1251849-1 is not prime. Res64: 159A9722B3FCD9D8 Time : 0.0 sec. user=mdettweiler [2013-08-26 08:32:26] 727*2^1251849-1 is not prime. Res64: 8E58D8BCC5064416 Time : 0.0 sec. user=mdettweiler [2013-08-26 08:32:26] 741*2^1251849-1 is not prime. Res64: AC4509317D1BB009 Time : 0.0 sec. user=mdettweiler [2013-08-26 08:34:49] 745*2^1251849-1 is not prime. Res64: 04E943D69B1C0165 Time : 0.0 sec. user=mdettweiler [2013-08-26 08:34:49] 787*2^1251849-1 is not prime. Res64: B84CB0C3BD167491 Time : 0.0 sec. user=mdettweiler [2013-08-26 08:49:39] 657*2^1251850-1 is not prime. Res64: 894F61AED3DDE816 Time : 0.0 sec. user=mdettweiler [2013-08-26 08:49:39] 675*2^1251850-1 is not prime. Res64: 17E8C566F867FF69 Time : 0.0 sec. user=mdettweiler [2013-08-26 08:51:54] 687*2^1251850-1 is not prime. Res64: 620E534805460CD5 Time : 0.0 sec. user=mdettweiler [2013-08-26 08:51:54] 843*2^1251850-1 is not prime. Res64: 8CAAD8A5A6F15E0B Time : 0.0 sec. user=mdettweiler [2013-08-26 08:52:21] 855*2^1251850-1 is not prime. Res64: 20B3000B9510F33D Time : 0.0 sec. user=mdettweiler [2013-08-26 08:52:22] 873*2^1251850-1 is not prime. Res64: C91EEE19ABDF2670 Time : 0.0 sec. user=mdettweiler [2013-08-26 08:56:48] 891*2^1251850-1 is not prime. Res64: BBF6589688DEA95C Time : 0.0 sec. user=mdettweiler [2013-08-26 08:56:49] 915*2^1251850-1 is not prime. Res64: F33E0E6BD91D6546 Time : 0.0 sec. user=mdettweiler [2013-08-26 09:09:37] 663*2^1251851-1 is not prime. Res64: A626113AB528F27F Time : 0.0 sec. user=mdettweiler [2013-08-26 09:09:38] 693*2^1251851-1 is not prime. Res64: 95CB50FBA35B44CC Time : 0.0 sec. user=mdettweiler [2013-08-26 09:11:50] 753*2^1251851-1 is not prime. Res64: 215F88D4FBF79600 Time : 0.0 sec. user=mdettweiler [2013-08-26 09:11:51] 825*2^1251851-1 is not prime. Res64: 3C0D68EE6756FB47 Time : 0.0 sec. user=mdettweiler [2013-08-26 09:13:14] 871*2^1251851-1 is not prime. Res64: 30AD82900AD160FD Time : 0.0 sec. user=mdettweiler [2013-08-26 09:13:15] 955*2^1251851-1 is not prime. Res64: 7D7A50D96B64DFBB Time : 0.0 sec. user=mdettweiler [2013-08-26 09:16:43] 653*2^1251852-1 is not prime. Res64: 68C8AED5B001F6CA Time : 0.0 sec. user=mdettweiler [2013-08-26 09:16:43] 669*2^1251852-1 is not prime. Res64: 2065E900EB7B8374 Time : 0.0 sec. user=juhehe [2013-08-26 09:17:41] 975*2^1251849-1 is not prime. Res64: A976F92946DB6B58 Time : 0.0 sec. user=mdettweiler [2013-08-26 09:29:38] 777*2^1251852-1 is not prime. Res64: C303BB529ACCC6FC Time : 0.0 sec. user=mdettweiler [2013-08-26 09:29:39] 837*2^1251852-1 is not prime. Res64: A89D2665814991ED Time : 0.0 sec. user=mdettweiler [2013-08-26 09:31:47] 879*2^1251852-1 is not prime. Res64: C519F4C33416DA16 Time : 0.0 sec. user=mdettweiler [2013-08-26 09:31:47] 727*2^1251853-1 is not prime. Res64: 9FD0F9D9A9E650B4 Time : 0.0 sec. user=mdettweiler [2013-08-26 09:33:08] 729*2^1251853-1 is not prime. Res64: 8DCD15DC895D1DB9 Time : 0.0 sec. user=mdettweiler [2013-08-26 09:33:08] 751*2^1251853-1 is not prime. Res64: C6D9746881F06172 Time : 0.0 sec. user=mdettweiler [2013-08-26 09:37:37] 801*2^1251853-1 is not prime. Res64: 78C9347BBA4BA00D Time : 0.0 sec. user=mdettweiler [2013-08-26 09:37:38] 945*2^1251853-1 is not prime. Res64: DFA5D19AE944531F Time : 0.0 sec. user=mdettweiler [2013-08-26 09:50:33] 957*2^1251853-1 is not prime. Res64: 03624E1F3A0E5A30 Time : 0.0 sec. user=mdettweiler [2013-08-26 09:50:34] 693*2^1251854-1 is not prime. Res64: 878BEE3B3A26C59C Time : 0.0 sec. user=mdettweiler [2013-08-26 09:51:53] 797*2^1251854-1 is not prime. Res64: 6310E6A67C0945E4 Time : 0.0 sec. user=mdettweiler [2013-08-26 09:51:53] 827*2^1251854-1 is not prime. Res64: 38C58968996F233F Time : 0.0 sec. user=mdettweiler [2013-08-26 09:55:13] 897*2^1251854-1 is not prime. Res64: A2DAE84DD3486AC8 Time : 0.0 sec. user=mdettweiler [2013-08-26 09:55:13] 935*2^1251854-1 is not prime. Res64: 9E3DA27E4A6DC6C8 Time : 0.0 sec. user=mdettweiler [2013-08-26 09:58:39] 971*2^1251854-1 is not prime. Res64: C933EA27060D5D10 Time : 0.0 sec. user=mdettweiler [2013-08-26 09:58:40] 601*2^1251855-1 is not prime. Res64: 1B9C7BF5986DD97C Time : 0.0 sec. user=mdettweiler [2013-08-26 10:10:36] 609*2^1251855-1 is not prime. Res64: F1B86137F6C35AE6 Time : 0.0 sec. user=mdettweiler [2013-08-26 10:10:36] 679*2^1251855-1 is not prime. Res64: 4F21ED8E2E538FCD Time : 0.0 sec. user=mdettweiler [2013-08-26 10:11:58] 793*2^1251855-1 is not prime. Res64: D0D5A6ABC2D8F3F4 Time : 0.0 sec. user=mdettweiler [2013-08-26 10:11:58] 795*2^1251855-1 is not prime. Res64: 90B661EE7B93390A Time : 0.0 sec. user=mdettweiler [2013-08-26 10:16:31] 865*2^1251855-1 is not prime. Res64: 6221AEA385E3CE34 Time : 0.0 sec. user=mdettweiler [2013-08-26 10:16:31] 955*2^1251855-1 is not prime. Res64: 2DCB473F54143D46 Time : 0.0 sec. user=mdettweiler [2013-08-26 10:20:04] 963*2^1251855-1 is not prime. Res64: BC95B89B85598B5F Time : 0.0 sec. user=mdettweiler [2013-08-26 10:20:05] 747*2^1251856-1 is not prime. Res64: 7D54691E45617D47 Time : 0.0 sec. user=mdettweiler [2013-08-26 10:31:39] 833*2^1251856-1 is not prime. Res64: 17A0C8CE38D08F05 Time : 0.0 sec. user=mdettweiler [2013-08-26 10:31:39] 869*2^1251856-1 is not prime. Res64: 4CA03316F7F60EF4 Time : 0.0 sec. user=mdettweiler [2013-08-26 10:33:59] 993*2^1251856-1 is not prime. Res64: E68F4D0F1AA1E2BD Time : 0.0 sec. user=mdettweiler [2013-08-26 10:34:00] 631*2^1251857-1 is not prime. Res64: 3B9FE58BE7049A72 Time : 0.0 sec. user=mdettweiler [2013-08-26 10:37:42] 649*2^1251857-1 is not prime. Res64: CDB268544CB5AE64 Time : 0.0 sec. user=mdettweiler [2013-08-26 10:37:42] 799*2^1251857-1 is not prime. Res64: 64920F52148B9AB6 Time : 0.0 sec. user=mdettweiler [2013-08-26 10:41:22] 801*2^1251857-1 is not prime. Res64: FDF09923200AAE81 Time : 0.0 sec. user=mdettweiler [2013-08-26 10:41:22] 865*2^1251857-1 is not prime. Res64: 4BABD98A3E19C87B Time : 0.0 sec. user=mdettweiler [2013-08-26 10:55:41] 879*2^1251857-1 is not prime. Res64: 51BD34BE16098F31 Time : 0.0 sec. user=mdettweiler [2013-08-26 10:55:41] 901*2^1251857-1 is not prime. Res64: 24210A97252D4CAA Time : 0.0 sec. user=mdettweiler [2013-08-26 10:57:52] 955*2^1251857-1 is not prime. Res64: D0D58564B9B868CA Time : 0.0 sec. user=mdettweiler [2013-08-26 10:57:52] 621*2^1251858-1 is not prime. Res64: FA269732F674B5E1 Time : 0.0 sec. user=mdettweiler [2013-08-26 11:01:35] 663*2^1251858-1 is not prime. Res64: AE192D5AE7B0B0A0 Time : 0.0 sec. user=mdettweiler [2013-08-26 11:01:36] 677*2^1251858-1 is not prime. Res64: DDCF71A855EECBCA Time : 0.0 sec. user=mdettweiler [2013-08-26 11:04:53] 791*2^1251858-1 is not prime. Res64: 4330A3239B65AB8E Time : 0.0 sec. user=mdettweiler [2013-08-26 11:04:54] 833*2^1251858-1 is not prime. Res64: 609BA83D9D371420 Time : 0.0 sec. user=mdettweiler [2013-08-26 11:19:04] 927*2^1251858-1 is not prime. Res64: 0BF0AD45E15AFAC4 Time : 0.0 sec. user=mdettweiler [2013-08-26 11:19:05] 971*2^1251858-1 is not prime. Res64: 833D7604080C717D Time : 0.0 sec. user=mdettweiler [2013-08-26 11:19:47] 603*2^1251859-1 is not prime. Res64: 9EBAA7AA0069ADA0 Time : 0.0 sec. user=mdettweiler [2013-08-26 11:19:47] 619*2^1251859-1 is not prime. Res64: EE9CB025C1056CC4 Time : 0.0 sec. user=mdettweiler [2013-08-26 11:23:28] 705*2^1251859-1 is not prime. Res64: 28F056862643F0E8 Time : 0.0 sec. user=mdettweiler [2013-08-26 11:23:28] 843*2^1251859-1 is not prime. Res64: A917269FBE9BC038 Time : 0.0 sec. user=mdettweiler [2013-08-26 11:28:44] 919*2^1251859-1 is not prime. Res64: 6D4A8200817F242B Time : 0.0 sec. user=mdettweiler [2013-08-26 11:28:44] 975*2^1251859-1 is not prime. Res64: C5B00B59CE1E5318 Time : 0.0 sec. user=mdettweiler [2013-08-26 11:41:30] 999*2^1251860-1 is not prime. Res64: F4DDAEBD1875DA8E Time : 0.0 sec. user=mdettweiler [2013-08-26 11:41:30] 627*2^1251861-1 is not prime. Res64: AEBCA547B75361D2 Time : 0.0 sec. user=mdettweiler [2013-08-26 11:41:48] 923*2^1251860-1 is not prime. Res64: 968DF840CA294D2E Time : 0.0 sec. user=mdettweiler [2013-08-26 11:41:48] 935*2^1251860-1 is not prime. Res64: 56F5F370442B046C Time : 0.0 sec. user=mdettweiler [2013-08-26 11:43:49] 657*2^1251861-1 is not prime. Res64: 22CAB975EB6DD736 Time : 0.0 sec. user=mdettweiler [2013-08-26 11:43:50] 661*2^1251861-1 is not prime. Res64: 73A389BDA8BCAA62 Time : 0.0 sec. user=mdettweiler [2013-08-26 11:49:08] 685*2^1251861-1 is not prime. Res64: AB4B9028BE8B5F1D Time : 0.0 sec. user=mdettweiler [2013-08-26 11:49:09] 717*2^1251861-1 is not prime. Res64: D3941664E86AD1F6 Time : 0.0 sec. user=mdettweiler [2013-08-26 12:01:47] 727*2^1251861-1 is not prime. Res64: 06B2FF5488CDBF41 Time : 0.0 sec. user=mdettweiler [2013-08-26 12:01:48] 741*2^1251861-1 is not prime. Res64: 47D429A1DC33B763 Time : 0.0 sec. user=mdettweiler [2013-08-26 12:02:04] 747*2^1251861-1 is not prime. Res64: B759AE95F9D15604 Time : 0.0 sec. user=mdettweiler [2013-08-26 12:02:05] 665*2^1251862-1 is not prime. Res64: D25440997FEC3469 Time : 0.0 sec. user=mdettweiler [2013-08-26 12:04:05] 723*2^1251862-1 is not prime. Res64: B6FDEFC4CE598721 Time : 0.0 sec. user=mdettweiler [2013-08-26 12:04:06] 785*2^1251862-1 is not prime. Res64: 03DF09FB6C9AA314 Time : 0.0 sec. user=mdettweiler [2013-08-26 12:09:22] 801*2^1251862-1 is not prime. Res64: 8D72B1ABB3B03266 Time : 0.0 sec. user=mdettweiler [2013-08-26 12:09:23] 843*2^1251862-1 is not prime. Res64: FEB2FFBCB2DD903B Time : 0.0 sec. user=mdettweiler [2013-08-26 12:22:20] 609*2^1251863-1 is not prime. Res64: E9313499133031AE Time : 0.0 sec. user=mdettweiler [2013-08-26 12:22:21] 649*2^1251863-1 is not prime. Res64: 4A95F8F1208774E4 Time : 0.0 sec. user=mdettweiler [2013-08-26 12:24:07] 911*2^1251862-1 is not prime. Res64: 64EE8D07A9160CB6 Time : 0.0 sec. user=mdettweiler [2013-08-26 12:24:07] 987*2^1251862-1 is not prime. Res64: 9778CF545C0A51F2 Time : 0.0 sec. user=mdettweiler [2013-08-26 12:24:27] 669*2^1251863-1 is not prime. Res64: EAC992DCA16501A6 Time : 0.0 sec. user=mdettweiler [2013-08-26 12:24:28] 685*2^1251863-1 is not prime. Res64: 2F748E1E83A432D0 Time : 0.0 sec. user=mdettweiler [2013-08-26 12:29:36] 703*2^1251863-1 is not prime. Res64: E11755BD09776F08 Time : 0.0 sec. user=mdettweiler [2013-08-26 12:29:37] 729*2^1251863-1 is not prime. Res64: 6FC6864F3F41C80E Time : 0.0 sec. user=mdettweiler [2013-08-26 12:42:37] 753*2^1251863-1 is not prime. Res64: 1EFA89B864DD9FB2 Time : 0.0 sec. user=mdettweiler [2013-08-26 12:42:37] 861*2^1251863-1 is not prime. Res64: 2E7E764F414CC90B Time : 0.0 sec. user=mdettweiler [2013-08-26 12:44:20] 885*2^1251863-1 is not prime. Res64: 9B1E76DFA6D56987 Time : 0.0 sec. user=mdettweiler [2013-08-26 12:44:20] 657*2^1251864-1 is not prime. Res64: 3DABB0D8753E80CD Time : 0.0 sec. user=mdettweiler [2013-08-26 12:45:35] 795*2^1251864-1 is not prime. Res64: 9D23990127935999 Time : 0.0 sec. user=mdettweiler [2013-08-26 12:45:35] 935*2^1251864-1 is not prime. Res64: CFDA2A77085A4CA3 Time : 0.0 sec. user=mdettweiler [2013-08-26 12:50:49] 957*2^1251864-1 is not prime. Res64: 186C7B9C78D93F25 Time : 0.0 sec. user=mdettweiler [2013-08-26 12:50:49] 649*2^1251865-1 is not prime. Res64: 71C78A3309A8158C Time : 0.0 sec. user=mdettweiler [2013-08-26 13:02:55] 687*2^1251865-1 is not prime. Res64: C224403CB3D3B936 Time : 0.0 sec. user=mdettweiler [2013-08-26 13:02:56] 705*2^1251865-1 is not prime. Res64: 0EA4F208BD61EFC7 Time : 0.0 sec. user=mdettweiler [2013-08-26 13:04:28] 721*2^1251865-1 is not prime. Res64: 27E4FE727A65A4A7 Time : 0.0 sec. user=mdettweiler [2013-08-26 13:04:29] 771*2^1251865-1 is not prime. Res64: 17E28D30DC024AB2 Time : 0.0 sec. user=mdettweiler [2013-08-26 13:05:42] 841*2^1251865-1 is not prime. Res64: 0FDE831A42E84116 Time : 0.0 sec. user=mdettweiler [2013-08-26 13:05:43] 871*2^1251865-1 is not prime. Res64: 66CD23556E2710EC Time : 0.0 sec. user=mdettweiler [2013-08-26 13:10:57] 675*2^1251866-1 is not prime. Res64: 81350E0D1BCF8C49 Time : 0.0 sec. user=mdettweiler [2013-08-26 13:10:57] 705*2^1251866-1 is not prime. Res64: C4D69F498E1A55EE Time : 0.0 sec. user=mdettweiler [2013-08-26 13:23:27] 815*2^1251866-1 is not prime. Res64: 3BE2BC4D767083D9 Time : 0.0 sec. user=mdettweiler [2013-08-26 13:23:28] 867*2^1251866-1 is not prime. Res64: B688572CF98F9B04 Time : 0.0 sec. user=mdettweiler [2013-08-26 13:25:41] 887*2^1251866-1 is not prime. Res64: 00B50F4E310545D5 Time : 0.0 sec. user=mdettweiler [2013-08-26 13:25:42] 935*2^1251866-1 is not prime. Res64: 75348FFC1F98E9B5 Time : 0.0 sec. user=mdettweiler [2013-08-26 13:27:54] 981*2^1251866-1 is not prime. Res64: 47F14F00558A9274 Time : 0.0 sec. user=mdettweiler [2013-08-26 13:27:54] 987*2^1251866-1 is not prime. Res64: F3FC453CE91B31B9 Time : 0.0 sec. user=mdettweiler [2013-08-26 13:31:12] 709*2^1251867-1 is not prime. Res64: A255013FAA302F82 Time : 0.0 sec. user=mdettweiler [2013-08-26 13:31:12] 801*2^1251867-1 is not prime. Res64: 245765FD7975519C Time : 0.0 sec. user=mdettweiler [2013-08-26 13:44:51] 861*2^1251867-1 is not prime. Res64: 32956EA078D70D0A Time : 0.0 sec. user=mdettweiler [2013-08-26 13:44:51] 639*2^1251868-1 is not prime. Res64: 6C1128BC0CE445AB Time : 0.0 sec. user=mdettweiler [2013-08-26 13:47:17] 677*2^1251868-1 is not prime. Res64: 3E3C067E8465E6E8 Time : 0.0 sec. user=mdettweiler [2013-08-26 13:47:19] 705*2^1251868-1 is not prime. Res64: 4727A957DB7BF769 Time : 0.0 sec. user=mdettweiler [2013-08-26 13:49:22] 813*2^1251868-1 is not prime. Res64: 37ADD9CED2B038BA Time : 0.0 sec. user=mdettweiler [2013-08-26 13:49:22] 869*2^1251868-1 is not prime. Res64: EBBE89076A5A92B0 Time : 0.0 sec. user=mdettweiler [2013-08-26 13:53:14] 875*2^1251868-1 is not prime. Res64: AC6B71DC16151095 Time : 0.0 sec. user=mdettweiler [2013-08-26 13:53:15] 655*2^1251869-1 is not prime. Res64: FE57442169A519D0 Time : 0.0 sec. user=mdettweiler [2013-08-26 14:05:58] 679*2^1251869-1 is not prime. Res64: 3454AD9FC6C5B170 Time : 0.0 sec. user=mdettweiler [2013-08-26 14:05:58] 727*2^1251869-1 is not prime. Res64: D749440D3ACE01E3 Time : 0.0 sec. user=mdettweiler [2013-08-26 14:08:08] 729*2^1251869-1 is not prime. Res64: ADEE63029C3FF7C1 Time : 0.0 sec. user=mdettweiler [2013-08-26 14:08:09] 829*2^1251869-1 is not prime. Res64: 930D4D6CA157DE2B Time : 0.0 sec. user=mdettweiler [2013-08-26 14:10:09] 861*2^1251869-1 is not prime. Res64: A936C0AC7CC100A0 Time : 0.0 sec. user=mdettweiler [2013-08-26 14:10:10] 867*2^1251869-1 is not prime. Res64: C7DAA5EEDDFECE1B Time : 0.0 sec. user=mdettweiler [2013-08-26 14:15:50] 897*2^1251869-1 is not prime. Res64: 83EAFD088C185FE0 Time : 0.0 sec. user=mdettweiler [2013-08-26 14:15:50] 967*2^1251869-1 is not prime. Res64: 1BE47B5ED13206E2 Time : 0.0 sec. user=mdettweiler [2013-08-26 14:26:21] 615*2^1251870-1 is not prime. Res64: D37EB62894EF243A Time : 0.0 sec. user=mdettweiler [2013-08-26 14:26:21] 651*2^1251870-1 is not prime. Res64: 7D18887E5CF3DD9B Time : 0.0 sec. user=mdettweiler [2013-08-26 14:28:31] 713*2^1251870-1 is not prime. Res64: 4265EFFF7E97D319 Time : 0.0 sec. user=mdettweiler [2013-08-26 14:28:31] 741*2^1251870-1 is not prime. Res64: C60EEA7DEC6B1813 Time : 0.0 sec. user=mdettweiler [2013-08-26 14:30:29] 755*2^1251870-1 is not prime. Res64: A0B415967328781D Time : 0.0 sec. user=mdettweiler [2013-08-26 14:30:30] 861*2^1251870-1 is not prime. Res64: 32D818B9748753B4 Time : 0.0 sec. user=mdettweiler [2013-08-26 14:37:01] 1001*2^1251870-1 is not prime. Res64: A5CAF5B48BF47D01 Time : 0.0 sec. user=mdettweiler [2013-08-26 14:37:02] 679*2^1251871-1 is not prime. Res64: 0672944BD91161B6 Time : 0.0 sec. user=mdettweiler [2013-08-26 14:47:39] 735*2^1251871-1 is not prime. Res64: B2B7E99B89B446B1 Time : 0.0 sec. user=mdettweiler [2013-08-26 14:47:39] 909*2^1251871-1 is not prime. Res64: 408BB224B728D73D Time : 0.0 sec. user=mdettweiler [2013-08-26 14:50:47] 629*2^1251872-1 is not prime. Res64: AB87CBF6BBC607CD Time : 0.0 sec. user=mdettweiler [2013-08-26 14:50:47] 635*2^1251872-1 is not prime. Res64: A91DF168D714D300 Time : 0.0 sec. user=mdettweiler [2013-08-26 14:50:51] 939*2^1251871-1 is not prime. Res64: 7BC6CD4D45ED4E21 Time : 0.0 sec. user=mdettweiler [2013-08-26 14:50:51] 969*2^1251871-1 is not prime. Res64: 407087D853E8D1B0 Time : 0.0 sec. user=mdettweiler [2013-08-26 14:57:12] 743*2^1251872-1 is not prime. Res64: 8D478BF71F6E322B Time : 0.0 sec. user=mdettweiler [2013-08-26 14:57:12] 755*2^1251872-1 is not prime. Res64: 30FA452FB95BA9F8 Time : 0.0 sec. user=mdettweiler [2013-08-26 15:08:55] 875*2^1251872-1 is not prime. Res64: DD156E5B3E119C19 Time : 0.0 sec. user=mdettweiler [2013-08-26 15:08:56] 963*2^1251872-1 is not prime. Res64: B10B119DEE5F592B Time : 0.0 sec. user=mdettweiler [2013-08-26 15:11:09] 681*2^1251873-1 is not prime. Res64: 1B9E230011008E8E Time : 0.0 sec. user=mdettweiler [2013-08-26 15:11:10] 705*2^1251873-1 is not prime. Res64: 4E7FE1D879FDE514 Time : 0.0 sec. user=mdettweiler [2013-08-26 15:11:59] 995*2^1251872-1 is not prime. Res64: 05A2D46953696ACF Time : 0.0 sec. user=mdettweiler [2013-08-26 15:12:00] 651*2^1251873-1 is not prime. Res64: ACE8C0DF72C57821 Time : 0.0 sec. user=mdettweiler [2013-08-26 15:17:24] 727*2^1251873-1 is not prime. Res64: 3807960F9F916F65 Time : 0.0 sec. user=mdettweiler [2013-08-26 15:17:24] 769*2^1251873-1 is not prime. Res64: 706A2B836CF63A2C Time : 0.0 sec. user=mdettweiler [2013-08-26 15:31:11] 901*2^1251873-1 is not prime. Res64: 7807DCC8B5B69B63 Time : 0.0 sec. user=mdettweiler [2013-08-26 15:31:11] 921*2^1251873-1 is not prime. Res64: DF71D5589A96314E Time : 0.0 sec. user=mdettweiler [2013-08-26 15:31:26] 671*2^1251874-1 is not prime. Res64: E1C759DD40FA8110 Time : 0.0 sec. user=mdettweiler [2013-08-26 15:31:26] 687*2^1251874-1 is not prime. Res64: A1A9620789EF478A Time : 0.0 sec. user=mdettweiler [2013-08-26 15:33:17] 857*2^1251874-1 is not prime. Res64: A013B89CB204E1A3 Time : 0.0 sec. user=mdettweiler [2013-08-26 15:33:17] 975*2^1251874-1 is not prime. Res64: F9CDD9BBEB1C1E01 Time : 0.0 sec. user=mdettweiler [2013-08-26 15:38:36] 1001*2^1251874-1 is not prime. Res64: 48FC1CFEAD38102F Time : 0.0 sec. user=mdettweiler [2013-08-26 15:38:36] 663*2^1251875-1 is not prime. Res64: 4C791FCE0638D083 Time : 0.0 sec. user=mdettweiler [2013-08-26 15:51:39] 675*2^1251875-1 is not prime. Res64: DF0FD4218076D87B Time : 0.0 sec. user=mdettweiler [2013-08-26 15:51:39] 801*2^1251875-1 is not prime. Res64: C07CC2A6A5E03FB0 Time : 0.0 sec. user=mdettweiler [2013-08-26 15:51:44] 883*2^1251875-1 is not prime. Res64: 29C71AF91C4D8C11 Time : 0.0 sec. user=mdettweiler [2013-08-26 15:51:44] 633*2^1251876-1 is not prime. Res64: 9F1EF9C3588D4D22 Time : 0.0 sec. user=mdettweiler [2013-08-26 15:53:31] 675*2^1251876-1 is not prime. Res64: 26D83A58301042C0 Time : 0.0 sec. user=mdettweiler [2013-08-26 15:53:31] 725*2^1251876-1 is not prime. Res64: F8112E869C0B2C78 Time : 0.0 sec. user=mdettweiler [2013-08-26 15:59:54] 765*2^1251876-1 is not prime. Res64: A78CE46102E44414 Time : 0.0 sec. user=mdettweiler [2013-08-26 15:59:55] 875*2^1251876-1 is not prime. Res64: BD69406A9E98751C Time : 0.0 sec. user=mdettweiler [2013-08-26 16:15:08] 887*2^1251876-1 is not prime. Res64: 6151A4A780DDACB6 Time : 0.0 sec. user=mdettweiler [2013-08-26 16:15:08] 923*2^1251876-1 is not prime. Res64: A7C5FE6980A70C48 Time : 0.0 sec. user=mdettweiler [2013-08-26 16:16:04] 607*2^1251877-1 is not prime. Res64: 85BDC3A6669C705E Time : 0.0 sec. user=mdettweiler [2013-08-26 16:16:04] 667*2^1251877-1 is not prime. Res64: 2C1565CA4F29D09D Time : 0.0 sec. user=mdettweiler [2013-08-26 16:16:46] 983*2^1251876-1 is not prime. Res64: 0C79C6CF1797A4C0 Time : 0.0 sec. user=mdettweiler [2013-08-26 16:16:46] 987*2^1251876-1 is not prime. Res64: 4EB75409A9821099 Time : 0.0 sec. user=mdettweiler [2013-08-26 16:22:40] 685*2^1251877-1 is not prime. Res64: 6DF0670E2C77201F Time : 0.0 sec. user=mdettweiler [2013-08-26 16:22:40] 699*2^1251877-1 is not prime. Res64: 24DCF72F050B0228 Time : 0.0 sec. user=mdettweiler [2013-08-26 16:38:50] 771*2^1251877-1 is not prime. Res64: 48BC18F20BB13A28 Time : 0.0 sec. user=mdettweiler [2013-08-26 16:38:51] 801*2^1251877-1 is not prime. Res64: FBC6DB6C1A9F6812 Time : 0.0 sec. user=mdettweiler [2013-08-26 16:39:38] 817*2^1251877-1 is not prime. Res64: B9F8A7F1DA8DAC54 Time : 0.0 sec. user=mdettweiler [2013-08-26 16:39:38] 859*2^1251877-1 is not prime. Res64: 9C73BF8BA0DEC91F Time : 0.0 sec. user=mdettweiler [2013-08-26 16:42:45] 901*2^1251877-1 is not prime. Res64: D08FBDF2D3E6E8F6 Time : 0.0 sec. user=mdettweiler [2013-08-26 16:42:46] 939*2^1251877-1 is not prime. Res64: 705B0E2C1AE42B90 Time : 0.0 sec. user=mdettweiler [2013-08-26 16:47:08] 945*2^1251877-1 is not prime. Res64: CF427F51D13A85D0 Time : 0.0 sec. user=mdettweiler [2013-08-26 16:47:08] 623*2^1251878-1 is not prime. Res64: A80D3767370715EE Time : 0.0 sec. user=mdettweiler [2013-08-26 17:00:43] 707*2^1251878-1 is not prime. Res64: 5970CE9ECB00ECC6 Time : 0.0 sec. user=mdettweiler [2013-08-26 17:00:44] 791*2^1251878-1 is not prime. Res64: B82603168E382B1A Time : 0.0 sec. user=mdettweiler [2013-08-26 17:02:40] 941*2^1251878-1 is not prime. Res64: 8E3C3F5615C9BD05 Time : 0.0 sec. user=mdettweiler [2013-08-26 17:02:41] 613*2^1251879-1 is not prime. Res64: 84421E2508FFB4B7 Time : 0.0 sec. user=mdettweiler [2013-08-26 17:04:38] 619*2^1251879-1 is not prime. Res64: B1B68FBF90E7C856 Time : 0.0 sec. user=mdettweiler [2013-08-26 17:04:40] 705*2^1251879-1 is not prime. Res64: 7AF13AD2DFB6D1C4 Time : 0.0 sec. user=mdettweiler [2013-08-26 17:09:04] 723*2^1251879-1 is not prime. Res64: 903D6073EA478DA0 Time : 0.0 sec. user=mdettweiler [2013-08-26 17:09:05] 859*2^1251879-1 is not prime. Res64: FB59DB41EA5A4C7F Time : 0.0 sec. user=mdettweiler [2013-08-26 17:23:22] 975*2^1251879-1 is not prime. Res64: FD44480BE9102EAF Time : 0.0 sec. user=mdettweiler [2013-08-26 17:23:23] 623*2^1251880-1 is not prime. Res64: 60DC02A56DDCA879 Time : 0.0 sec. user=mdettweiler [2013-08-26 17:23:54] 743*2^1251880-1 is not prime. Res64: BCA2B734522D1736 Time : 0.0 sec. user=mdettweiler [2013-08-26 17:23:54] 803*2^1251880-1 is not prime. Res64: BDCD720CF1A2514A Time : 0.0 sec. user=mdettweiler [2013-08-26 17:25:53] 825*2^1251880-1 is not prime. Res64: E0DF5C4FB195BE1A Time : 0.0 sec. user=mdettweiler [2013-08-26 17:25:53] 827*2^1251880-1 is not prime. Res64: 01D140CA41A754DE Time : 0.0 sec. user=mdettweiler [2013-08-26 17:31:31] 855*2^1251880-1 is not prime. Res64: 419FA5C3939EFCD3 Time : 0.0 sec. user=mdettweiler [2013-08-26 17:31:31] 899*2^1251880-1 is not prime. Res64: 41FF0A4049B5593A Time : 0.0 sec. user=mdettweiler [2013-08-26 17:45:08] 601*2^1251881-1 is not prime. Res64: 4A9070FF0CDA9CE0 Time : 0.0 sec. user=mdettweiler [2013-08-26 17:45:08] 649*2^1251881-1 is not prime. Res64: F45F7A214306869B Time : 0.0 sec. user=mdettweiler [2013-08-26 17:46:13] 991*2^1251881-1 is not prime. Res64: 490530B5AD3C53CB Time : 0.0 sec. user=mdettweiler [2013-08-26 17:46:13] 621*2^1251882-1 is not prime. Res64: 53F9DAFFA226B45E Time : 0.0 sec. user=mdettweiler [2013-08-26 17:47:10] 755*2^1251882-1 is not prime. Res64: 7FEE3B6C3FD79008 Time : 0.0 sec. user=mdettweiler [2013-08-26 17:47:10] 821*2^1251882-1 is not prime. Res64: F9639FDDA4355AC1 Time : 0.0 sec. user=mdettweiler [2013-08-26 17:53:46] 885*2^1251882-1 is not prime. Res64: A0AA80E2DE49E6D6 Time : 0.0 sec. user=mdettweiler [2013-08-26 17:53:47] 1001*2^1251882-1 is not prime. Res64: 0896F4D2F8D89EE7 Time : 0.0 sec. user=mdettweiler [2013-08-26 18:06:42] 693*2^1251883-1 is not prime. Res64: DFF0A2EA6672D0D2 Time : 0.0 sec. user=mdettweiler [2013-08-26 18:06:43] 855*2^1251883-1 is not prime. Res64: 7BB12D561D34A1C7 Time : 0.0 sec. user=mdettweiler [2013-08-26 18:08:57] 657*2^1251884-1 is not prime. Res64: A9B2F3914117B2D4 Time : 0.0 sec. user=mdettweiler [2013-08-26 18:08:58] 663*2^1251884-1 is not prime. Res64: 90550AABCD60308E Time : 0.0 sec. user=mdettweiler [2013-08-26 18:09:56] 895*2^1251883-1 is not prime. Res64: 8C459A277BD5573C Time : 0.0 sec. user=mdettweiler [2013-08-26 18:09:56] 915*2^1251883-1 is not prime. Res64: B6932DF2C562A7BC Time : 0.0 sec. user=mdettweiler [2013-08-26 18:15:44] 813*2^1251884-1 is not prime. Res64: 832AC9EC3816DB7F Time : 0.0 sec. user=mdettweiler [2013-08-26 18:15:45] 869*2^1251884-1 is not prime. Res64: 6FEB86E592A08471 Time : 0.0 sec. user=mdettweiler [2013-08-26 18:30:20] 873*2^1251884-1 is not prime. Res64: 46B2926149426664 Time : 0.0 sec. user=mdettweiler [2013-08-26 18:30:20] 969*2^1251884-1 is not prime. Res64: 1070853987D60FDD Time : 0.0 sec. user=mdettweiler [2013-08-26 18:32:39] 987*2^1251884-1 is not prime. Res64: AAD2D3DB98A708EA Time : 0.0 sec. user=mdettweiler [2013-08-26 18:32:39] 625*2^1251885-1 is not prime. Res64: 67B2AA5B83CEA1CF Time : 0.0 sec. user=mdettweiler [2013-08-26 18:32:47] 679*2^1251885-1 is not prime. Res64: 63DA783CE871EB93 Time : 0.0 sec. user=mdettweiler [2013-08-26 18:32:47] 699*2^1251885-1 is not prime. Res64: 651E59DF70297637 Time : 0.0 sec. user=mdettweiler [2013-08-26 18:40:07] 795*2^1251885-1 is not prime. Res64: 6F0B3EF2B962010B Time : 0.0 sec. user=mdettweiler [2013-08-26 18:40:08] 969*2^1251885-1 is not prime. Res64: 59E53F304A6E8245 Time : 0.0 sec. user=mdettweiler [2013-08-26 18:54:01] 999*2^1251885-1 is not prime. Res64: AEC1D39D103A16DC Time : 0.0 sec. user=mdettweiler [2013-08-26 18:54:01] 737*2^1251886-1 is not prime. Res64: 45CAAF39305E57D1 Time : 0.0 sec. user=mdettweiler [2013-08-26 18:56:15] 783*2^1251886-1 is not prime. Res64: B43FC43274432A74 Time : 0.0 sec. user=mdettweiler [2013-08-26 18:56:15] 911*2^1251886-1 is not prime. Res64: 76C97BCE5F63252C Time : 0.0 sec. user=mdettweiler [2013-08-26 18:56:38] 1001*2^1251886-1 is not prime. Res64: EAAA50817B5A9CA9 Time : 0.0 sec. user=mdettweiler [2013-08-26 18:56:39] 633*2^1251887-1 is not prime. Res64: 1136E613619676F9 Time : 0.0 sec. user=mdettweiler [2013-08-26 19:02:27] 661*2^1251887-1 is not prime. Res64: 4D3B85EB0B2B060C Time : 0.0 sec. user=mdettweiler [2013-08-26 19:02:28] 741*2^1251887-1 is not prime. Res64: F590BA7EEB69AFBB Time : 0.0 sec. user=mdettweiler [2013-08-26 19:15:27] 861*2^1251887-1 is not prime. Res64: 44D5ED146BD73194 Time : 0.0 sec. user=mdettweiler [2013-08-26 19:15:27] 885*2^1251887-1 is not prime. Res64: D8CDC100B46186AE Time : 0.0 sec. user=mdettweiler [2013-08-26 19:18:00] 615*2^1251889-1 is not prime. Res64: 717C9AB6D2A7440E Time : 0.0 sec. user=mdettweiler [2013-08-26 19:18:01] 855*2^1251889-1 is not prime. Res64: 86E170048115E941 Time : 0.0 sec. user=mdettweiler [2013-08-26 19:18:31] 669*2^1251888-1 is not prime. Res64: FD2FDC9660D437E9 Time : 0.0 sec. user=mdettweiler [2013-08-26 19:18:31] 905*2^1251888-1 is not prime. Res64: 36B7F26997C75D1F Time : 0.0 sec. user=mdettweiler [2013-08-26 19:24:25] 885*2^1251889-1 is not prime. Res64: A15676026858B5C6 Time : 0.0 sec. user=mdettweiler [2013-08-26 19:24:25] 897*2^1251889-1 is not prime. Res64: 49093D41754CD509 Time : 0.0 sec. user=mdettweiler [2013-08-26 19:37:52] 939*2^1251889-1 is not prime. Res64: 4175C1DA2AFD7A8C Time : 0.0 sec. user=mdettweiler [2013-08-26 19:37:52] 967*2^1251889-1 is not prime. Res64: 70875E5CD8C99164 Time : 0.0 sec. user=mdettweiler [2013-08-26 19:38:47] 861*2^1251890-1 is not prime. Res64: 01A06C45A340EACA Time : 0.0 sec. user=mdettweiler [2013-08-26 19:38:48] 615*2^1251891-1 is not prime. Res64: 74264178C46DBB98 Time : 0.0 sec. user=mdettweiler [2013-08-26 19:39:22] 999*2^1251889-1 is not prime. Res64: 12EBC6B67C56579F Time : 0.0 sec. user=mdettweiler [2013-08-26 19:39:23] 735*2^1251890-1 is not prime. Res64: C15106983C244392 Time : 0.0 sec. user=mdettweiler [2013-08-26 19:44:37] 679*2^1251891-1 is not prime. Res64: 7981E29D2C9405C9 Time : 0.0 sec. user=mdettweiler [2013-08-26 19:44:38] 781*2^1251891-1 is not prime. Res64: 987AB8C9B40F591D Time : 0.0 sec. user=mdettweiler [2013-08-26 19:58:56] 699*2^1251892-1 is not prime. Res64: 61E107CC6D733D1C Time : 0.0 sec. user=mdettweiler [2013-08-26 19:58:56] 875*2^1251892-1 is not prime. Res64: 359DE2740DFD2D8A Time : 0.0 sec. user=mdettweiler [2013-08-26 19:59:01] 961*2^1251891-1 is not prime. Res64: 573D34AE86746D78 Time : 0.0 sec. user=mdettweiler [2013-08-26 19:59:02] 615*2^1251892-1 is not prime. Res64: 0F460670E8761FDB Time : 0.0 sec. user=mdettweiler [2013-08-26 20:01:27] 909*2^1251892-1 is not prime. Res64: ED525EC82D0CE942 Time : 0.0 sec. user=mdettweiler [2013-08-26 20:01:28] 923*2^1251892-1 is not prime. Res64: A62FF01E70AA4992 Time : 0.0 sec. user=mdettweiler [2013-08-26 20:05:44] 983*2^1251892-1 is not prime. Res64: F048ADB7EB1A6CDC Time : 0.0 sec. user=mdettweiler [2013-08-26 20:05:45] 675*2^1251893-1 is not prime. Res64: B99D5654573359D5 Time : 0.0 sec. user=mdettweiler [2013-08-26 20:19:05] 829*2^1251893-1 is not prime. Res64: F82FDC7A52A3B01C Time : 0.0 sec. user=mdettweiler [2013-08-26 20:19:05] 837*2^1251893-1 is not prime. Res64: ADCD3D6ABB5DB0A2 Time : 0.0 sec. user=mdettweiler [2013-08-26 20:19:13] 847*2^1251893-1 is not prime. Res64: DA090F533A78612C Time : 0.0 sec. user=mdettweiler [2013-08-26 20:19:13] 855*2^1251893-1 is not prime. Res64: E86CB9FD6D12E02D Time : 0.0 sec. user=mdettweiler [2013-08-26 20:21:36] 611*2^1251894-1 is not prime. Res64: 7ADCC4EE8F36D560 Time : 0.0 sec. user=mdettweiler [2013-08-26 20:21:37] 627*2^1251894-1 is not prime. Res64: C3E23188E960F065 Time : 0.0 sec. user=mdettweiler [2013-08-26 20:25:50] 705*2^1251894-1 is not prime. Res64: AA1F272407934738 Time : 0.0 sec. user=mdettweiler [2013-08-26 20:25:51] 717*2^1251894-1 is not prime. Res64: 717C748AB128854E Time : 0.0 sec. user=mdettweiler [2013-08-26 20:39:15] 825*2^1251894-1 is not prime. Res64: 79A63D2FB0E6C881 Time : 0.0 sec. user=mdettweiler [2013-08-26 20:39:16] 885*2^1251894-1 is not prime. Res64: 7E8FA81C9FE71EF6 Time : 0.0 sec. user=mdettweiler [2013-08-26 20:40:18] 917*2^1251894-1 is not prime. Res64: 4289DB1C15FD972B Time : 0.0 sec. user=mdettweiler [2013-08-26 20:40:18] 625*2^1251895-1 is not prime. Res64: 3E22EF0E98ED9E64 Time : 0.0 sec. user=mdettweiler [2013-08-26 20:41:43] 679*2^1251895-1 is not prime. Res64: 0F1B12281E5680A1 Time : 0.0 sec. user=mdettweiler [2013-08-26 20:41:44] 853*2^1251895-1 is not prime. Res64: 8B02A16CCD956DE5 Time : 0.0 sec. user=mdettweiler [2013-08-26 20:46:01] 689*2^1251896-1 is not prime. Res64: 19EB26ADBF3C66A7 Time : 0.0 sec. user=mdettweiler [2013-08-26 20:46:02] 693*2^1251896-1 is not prime. Res64: EC4B1CE47968A8AD Time : 0.0 sec. user=mdettweiler [2013-08-26 20:59:30] 755*2^1251896-1 is not prime. Res64: 81C68E2B62D10187 Time : 0.0 sec. user=mdettweiler [2013-08-26 20:59:30] 789*2^1251896-1 is not prime. Res64: 66D919B85A4B761F Time : 0.0 sec. user=mdettweiler [2013-08-26 21:00:35] 857*2^1251896-1 is not prime. Res64: BFD812A539E7C35C Time : 0.0 sec. user=mdettweiler [2013-08-26 21:00:36] 869*2^1251896-1 is not prime. Res64: 4E7EB4151BF7BF92 Time : 0.0 sec. user=mdettweiler [2013-08-26 21:02:56] 615*2^1251897-1 is not prime. Res64: 30C9FD992B9F8401 Time : 0.0 sec. user=mdettweiler [2013-08-26 21:02:57] 919*2^1251897-1 is not prime. Res64: 0367CD1E40A017A3 Time : 0.0 sec. user=mdettweiler [2013-08-26 21:06:15] 687*2^1251898-1 is not prime. Res64: 41EEA2F296A3A6F4 Time : 0.0 sec. user=mdettweiler [2013-08-26 21:06:16] 743*2^1251898-1 is not prime. Res64: 8272D30C9D41AD10 Time : 0.0 sec. user=mdettweiler [2013-08-26 21:20:42] 801*2^1251898-1 is not prime. Res64: F62A921A99596174 Time : 0.0 sec. user=mdettweiler [2013-08-26 21:20:42] 975*2^1251898-1 is not prime. Res64: 2DAC0B14DB511B35 Time : 0.0 sec. user=mdettweiler [2013-08-26 21:20:52] 609*2^1251899-1 is not prime. Res64: B8028FDE43DEA9BE Time : 0.0 sec. user=mdettweiler [2013-08-26 21:20:53] 621*2^1251899-1 is not prime. Res64: 93C95AD26E52367E Time : 0.0 sec. user=mdettweiler [2013-08-26 21:23:13] 663*2^1251899-1 is not prime. Res64: 873DDFA527D1D7C5 Time : 0.0 sec. user=mdettweiler [2013-08-26 21:23:14] 675*2^1251899-1 is not prime. Res64: E849356C55F4C260 Time : 0.0 sec. user=mdettweiler [2013-08-26 21:26:33] 693*2^1251899-1 is not prime. Res64: 0DBCDAD400CEBE15 Time : 0.0 sec. user=mdettweiler [2013-08-26 21:26:34] 799*2^1251899-1 is not prime. Res64: A1BEF6ACA98C52AA Time : 0.0 sec. user=mdettweiler [2013-08-26 21:40:53] 653*2^1251900-1 is not prime. Res64: E9AF075A8C4D74B3 Time : 0.0 sec. user=mdettweiler [2013-08-26 21:40:53] 669*2^1251900-1 is not prime. Res64: 440D09B3BE765DB5 Time : 0.0 sec. user=mdettweiler [2013-08-26 21:42:46] 909*2^1251899-1 is not prime. Res64: A7575DB867FE6821 Time : 0.0 sec. user=mdettweiler [2013-08-26 21:42:46] 993*2^1251899-1 is not prime. Res64: E4F627A6C22C367F Time : 0.0 sec. user=mdettweiler [2013-08-26 21:43:18] 675*2^1251900-1 is not prime. Res64: 7FB3017A4FEF6E5B Time : 0.0 sec. user=mdettweiler [2013-08-26 21:43:19] 707*2^1251900-1 is not prime. Res64: 4044111DDA633494 Time : 0.0 sec. user=mdettweiler [2013-08-26 21:46:35] 797*2^1251900-1 is not prime. Res64: 2C82617FE6AD80B9 Time : 0.0 sec. user=mdettweiler [2013-08-26 21:46:35] 879*2^1251900-1 is not prime. Res64: 44C62B1BBB7DB604 Time : 0.0 sec. user=mdettweiler [2013-08-26 22:02:55] 927*2^1251900-1 is not prime. Res64: 88165083CB944820 Time : 0.0 sec. user=mdettweiler [2013-08-26 22:02:56] 929*2^1251900-1 is not prime. Res64: A703F9B167DB185C Time : 0.0 sec. user=mdettweiler [2013-08-26 22:03:28] 639*2^1251901-1 is not prime. Res64: 46393E2EE49B394D Time : 0.0 sec. user=mdettweiler [2013-08-26 22:03:29] 717*2^1251901-1 is not prime. Res64: B89B6E32A9D22A65 Time : 0.0 sec. user=mdettweiler [2013-08-26 22:03:45] 959*2^1251900-1 is not prime. Res64: 0B2C113AB84DFCBF Time : 0.0 sec. user=mdettweiler [2013-08-26 22:03:45] 619*2^1251901-1 is not prime. Res64: E772FFDF73EAD1F1 Time : 0.0 sec. user=mdettweiler [2013-08-26 22:06:30] 747*2^1251901-1 is not prime. Res64: 116423776652CE74 Time : 0.0 sec. user=mdettweiler [2013-08-26 22:06:31] 775*2^1251901-1 is not prime. Res64: D6513B60CAF64FC5 Time : 0.0 sec. user=mdettweiler [2013-08-26 22:23:22] 777*2^1251901-1 is not prime. Res64: A40D4FDDE19C3BCD Time : 0.0 sec. user=mdettweiler [2013-08-26 22:23:23] 799*2^1251901-1 is not prime. Res64: D3217132C6A12924 Time : 0.0 sec. user=mdettweiler [2013-08-26 22:23:33] 617*2^1251902-1 is not prime. Res64: 692F41AA21A4F9D0 Time : 0.0 sec. user=mdettweiler [2013-08-26 22:23:33] 741*2^1251902-1 is not prime. Res64: A712563D3CC1649C Time : 0.0 sec. user=mdettweiler [2013-08-26 22:23:48] 801*2^1251902-1 is not prime. Res64: 2C44A3AEF31FB254 Time : 0.0 sec. user=mdettweiler [2013-08-26 22:23:48] 825*2^1251902-1 is not prime. Res64: DB1A709D9620E0C2 Time : 0.0 sec. user=mdettweiler [2013-08-26 22:27:34] 885*2^1251902-1 is not prime. Res64: A8A0B6EEB8F4ADBE Time : 0.0 sec. user=mdettweiler [2013-08-26 22:27:35] 911*2^1251902-1 is not prime. Res64: C96FAAB16A1757E3 Time : 0.0 sec. user=mdettweiler [2013-08-26 22:43:54] 619*2^1251903-1 is not prime. Res64: 56D6ACCB364EFD58 Time : 0.0 sec. user=mdettweiler [2013-08-26 22:43:54] 661*2^1251903-1 is not prime. Res64: 12C7D2B40D8F999E Time : 0.0 sec. user=mdettweiler [2013-08-26 22:44:31] 1001*2^1251902-1 is not prime. Res64: 84D6F197BC09F53D Time : 0.0 sec. user=mdettweiler [2013-08-26 22:44:32] 609*2^1251903-1 is not prime. Res64: EE868C5F92404104 Time : 0.0 sec. user=mdettweiler [2013-08-26 22:45:28] 977*2^1251902-1 is not prime. Res64: 4466D0820D1A01E4 Time : 0.0 sec. user=mdettweiler [2013-08-26 22:45:28] 981*2^1251902-1 is not prime. Res64: 7373892071F53E96 Time : 0.0 sec. user=mdettweiler [2013-08-26 22:47:34] 663*2^1251903-1 is not prime. Res64: 0D67CE94CDF8EACC Time : 0.0 sec. user=mdettweiler [2013-08-26 22:47:34] 691*2^1251903-1 is not prime. Res64: 0128E97A8A16F8B9 Time : 0.0 sec. user=mdettweiler [2013-08-26 23:03:57] 769*2^1251903-1 is not prime. Res64: 813CF39C514080C9 Time : 0.0 sec. user=mdettweiler [2013-08-26 23:03:58] 775*2^1251903-1 is not prime. Res64: B21553E8CF30120E Time : 0.0 sec. user=mdettweiler [2013-08-26 23:05:27] 705*2^1251904-1 is not prime. Res64: E61A2FA462B5BD4C Time : 0.0 sec. user=mdettweiler [2013-08-26 23:05:28] 707*2^1251904-1 is not prime. Res64: 8A2AF2C25B627D0C Time : 0.0 sec. user=mdettweiler [2013-08-26 23:05:31] 859*2^1251903-1 is not prime. Res64: 0F913652317A6F64 Time : 0.0 sec. user=mdettweiler [2013-08-26 23:05:32] 961*2^1251903-1 is not prime. Res64: 765065F1EEB33FE4 Time : 0.0 sec. user=mdettweiler [2013-08-26 23:08:28] 855*2^1251904-1 is not prime. Res64: D819D81D0556A9E3 Time : 0.0 sec. user=mdettweiler [2013-08-26 23:08:29] 887*2^1251904-1 is not prime. Res64: C19AB60E36776CDE Time : 0.0 sec. user=mdettweiler [2013-08-26 23:25:03] 959*2^1251904-1 is not prime. Res64: 13CADB75877E0544 Time : 0.0 sec. user=mdettweiler [2013-08-26 23:25:04] 657*2^1251905-1 is not prime. Res64: 380D2CF33DE9BF3A Time : 0.0 sec. user=mdettweiler [2013-08-26 23:25:28] 697*2^1251905-1 is not prime. Res64: 493E2EE7B8AE3435 Time : 0.0 sec. user=mdettweiler [2013-08-26 23:25:28] 705*2^1251905-1 is not prime. Res64: 0A9681356030B305 Time : 0.0 sec. user=mdettweiler [2013-08-26 23:25:36] 775*2^1251905-1 is not prime. Res64: 7904615F81DD57EC Time : 0.0 sec. user=mdettweiler [2013-08-26 23:25:36] 787*2^1251905-1 is not prime. Res64: CE5AC26151CE7DAE Time : 0.0 sec. user=mdettweiler [2013-08-26 23:29:27] 795*2^1251905-1 is not prime. Res64: 063E80E1DB105455 Time : 0.0 sec. user=mdettweiler [2013-08-26 23:29:28] 937*2^1251905-1 is not prime. Res64: 4658A986A95158ED Time : 0.0 sec. user=mdettweiler [2013-08-26 23:45:08] 635*2^1251906-1 is not prime. Res64: 6BE5CBFED1C5D480 Time : 0.0 sec. user=mdettweiler [2013-08-26 23:45:08] 641*2^1251906-1 is not prime. Res64: 93D659011F29C0CC Time : 0.0 sec. user=mdettweiler [2013-08-26 23:45:29] 705*2^1251906-1 is not prime. Res64: 4FEE01F5B4F1B4A8 Time : 0.0 sec. user=mdettweiler [2013-08-26 23:45:30] 723*2^1251906-1 is not prime. Res64: DEC2B23A72D91CCE Time : 0.0 sec. user=mdettweiler [2013-08-26 23:45:41] 741*2^1251906-1 is not prime. Res64: 4063AF75FAC65266 Time : 0.0 sec. user=mdettweiler [2013-08-26 23:45:42] 783*2^1251906-1 is not prime. Res64: DBC406531E9086FE Time : 0.0 sec. user=mdettweiler [2013-08-26 23:50:28] 881*2^1251906-1 is not prime. Res64: 262EA2FBC759E4F3 Time : 0.0 sec. user=mdettweiler [2013-08-26 23:50:28] 975*2^1251906-1 is not prime. Res64: 4EF235827BB7E17B Time : 0.0 sec.