user=mdettweiler [2013-07-05 00:07:02] 617*2^1247414-1 is not prime. Res64: A29E49AC9D380CB5 Time : 0.0 sec. user=mdettweiler [2013-07-05 00:07:03] 663*2^1247414-1 is not prime. Res64: 19672378D2C1CD46 Time : 0.0 sec. user=mdettweiler [2013-07-05 00:24:10] 705*2^1247414-1 is not prime. Res64: 5D2EDB28DA80B6A5 Time : 0.0 sec. user=mdettweiler [2013-07-05 00:24:10] 797*2^1247414-1 is not prime. Res64: FB901D13C8C3B219 Time : 0.0 sec. user=mdettweiler [2013-07-05 00:41:13] 941*2^1247414-1 is not prime. Res64: 46235450F0186126 Time : 0.0 sec. user=mdettweiler [2013-07-05 00:41:13] 675*2^1247415-1 is not prime. Res64: BC61EF085E7AA408 Time : 0.0 sec. user=mdettweiler [2013-07-05 00:58:15] 685*2^1247415-1 is not prime. Res64: DEF287B6384B553A Time : 0.0 sec. user=mdettweiler [2013-07-05 00:58:15] 709*2^1247415-1 is not prime. Res64: 68DDF0A4C1995569 Time : 0.0 sec. user=mdettweiler [2013-07-05 01:15:22] 789*2^1247415-1 is not prime. Res64: 82170226CE53E34A Time : 0.0 sec. user=mdettweiler [2013-07-05 01:15:22] 793*2^1247415-1 is not prime. Res64: 77502831DA487EF0 Time : 0.0 sec. user=mdettweiler [2013-07-05 01:32:25] 891*2^1247415-1 is not prime. Res64: 026330DC6D235F4B Time : 0.0 sec. user=mdettweiler [2013-07-05 01:32:25] 895*2^1247415-1 is not prime. Res64: 773DC0BB4B02A8AD Time : 0.0 sec. user=mdettweiler [2013-07-05 01:50:16] 999*2^1247415-1 is not prime. Res64: 0C224DAA59545C37 Time : 0.0 sec. user=mdettweiler [2013-07-05 01:50:17] 755*2^1247416-1 is not prime. Res64: 8F5F1AEFC4657FA7 Time : 0.0 sec. user=mdettweiler [2013-07-05 02:07:23] 803*2^1247416-1 is not prime. Res64: 04AA0A351FA5F9E0 Time : 0.0 sec. user=mdettweiler [2013-07-05 02:07:24] 813*2^1247416-1 is not prime. Res64: 95EE898EED52B390 Time : 0.0 sec. user=mdettweiler [2013-07-05 02:24:36] 905*2^1247416-1 is not prime. Res64: CA5F41936E560102 Time : 0.0 sec. user=mdettweiler [2013-07-05 02:24:36] 675*2^1247417-1 is not prime. Res64: DF77086EEBC5EF09 Time : 0.0 sec. user=mdettweiler [2013-07-05 02:41:38] 867*2^1247417-1 is not prime. Res64: C51B5CC13BC8F1E1 Time : 0.0 sec. user=mdettweiler [2013-07-05 02:41:41] 901*2^1247417-1 is not prime. Res64: 10034F70C93C6EB2 Time : 0.0 sec. user=mdettweiler [2013-07-05 02:59:43] 939*2^1247417-1 is not prime. Res64: 533B8F53E4BD4E84 Time : 0.0 sec. user=mdettweiler [2013-07-05 02:59:44] 985*2^1247417-1 is not prime. Res64: D8C0D284D8B33780 Time : 0.0 sec. user=mdettweiler [2013-07-05 03:17:35] 905*2^1247418-1 is not prime. Res64: EB8448CCC884ECAB Time : 0.0 sec. user=mdettweiler [2013-07-05 03:17:35] 957*2^1247418-1 is not prime. Res64: 5CF93CA3ED270D3A Time : 0.0 sec. user=mdettweiler [2013-07-05 03:34:38] 723*2^1247419-1 is not prime. Res64: 41702F8A855AEA51 Time : 0.0 sec. user=mdettweiler [2013-07-05 03:34:39] 771*2^1247419-1 is not prime. Res64: 985A582504EFE342 Time : 0.0 sec. user=mdettweiler [2013-07-05 03:51:45] 843*2^1247419-1 is not prime. Res64: D99E1349D4FF7370 Time : 0.0 sec. user=mdettweiler [2013-07-05 03:51:46] 609*2^1247420-1 is not prime. Res64: A8FED89F5AF4E512 Time : 0.0 sec. user=mdettweiler [2013-07-05 04:08:49] 735*2^1247420-1 is not prime. Res64: 0283BB65B2B13D03 Time : 0.0 sec. user=mdettweiler [2013-07-05 04:08:50] 743*2^1247420-1 is not prime. Res64: 6184D6BDEA3852E6 Time : 0.0 sec. user=mdettweiler [2013-07-05 04:25:56] 755*2^1247420-1 is not prime. Res64: 20C74A33A845E3D8 Time : 0.0 sec. user=mdettweiler [2013-07-05 04:25:57] 759*2^1247420-1 is not prime. Res64: 4EFFB34D8765DA68 Time : 0.0 sec. user=mdettweiler [2013-07-05 04:43:00] 857*2^1247420-1 is not prime. Res64: 20ADC75DC7EF5864 Time : 0.0 sec. user=mdettweiler [2013-07-05 04:43:00] 885*2^1247420-1 is not prime. Res64: 385ABB95A2676EA9 Time : 0.0 sec. user=mdettweiler [2013-07-05 05:00:04] 607*2^1247421-1 is not prime. Res64: 889830AAAFAD7904 Time : 0.0 sec. user=mdettweiler [2013-07-05 05:00:05] 609*2^1247421-1 is not prime. Res64: D41E1C8A36DB5355 Time : 0.0 sec. user=mdettweiler [2013-07-05 05:17:11] 627*2^1247421-1 is not prime. Res64: F5A84DACB3EC47B8 Time : 0.0 sec. user=mdettweiler [2013-07-05 05:17:12] 657*2^1247421-1 is not prime. Res64: CEDFDA80C1F9449C Time : 0.0 sec. user=mdettweiler [2013-07-05 05:34:15] 895*2^1247421-1 is not prime. Res64: 9C9C7CACCBA92202 Time : 0.0 sec. user=mdettweiler [2013-07-05 05:34:15] 665*2^1247422-1 is not prime. Res64: B926B32199F0DD73 Time : 0.0 sec. user=mdettweiler [2013-07-05 05:51:18] 791*2^1247422-1 is not prime. Res64: 60BB4FB9AAEFBEBE Time : 0.0 sec. user=mdettweiler [2013-07-05 05:51:18] 825*2^1247422-1 is not prime. Res64: E5CD850849BBA43D Time : 0.0 sec. user=mdettweiler [2013-07-05 06:08:21] 831*2^1247422-1 is not prime. Res64: 83ED497EC94078F2 Time : 0.0 sec. user=mdettweiler [2013-07-05 06:08:21] 911*2^1247422-1 is not prime. Res64: 90DB12664D5BB859 Time : 0.0 sec. user=mdettweiler [2013-07-05 06:26:16] 923*2^1247422-1 is not prime. Res64: 8E7B5B18F8B9544D Time : 0.0 sec. user=mdettweiler [2013-07-05 06:26:16] 1001*2^1247422-1 is not prime. Res64: 58269593C1447096 Time : 0.0 sec. user=mdettweiler [2013-07-05 06:43:19] 663*2^1247423-1 is not prime. Res64: D02EF57E74DF41D5 Time : 0.0 sec. user=mdettweiler [2013-07-05 06:43:19] 669*2^1247423-1 is not prime. Res64: 0477088ACCFD3B6E Time : 0.0 sec. user=mdettweiler [2013-07-05 07:00:22] 685*2^1247423-1 is not prime. Res64: 29DA5E8267C927C0 Time : 0.0 sec. user=mdettweiler [2013-07-05 07:00:23] 855*2^1247423-1 is not prime. Res64: E17310EAC9C44561 Time : 0.0 sec. user=mdettweiler [2013-07-05 07:17:33] 949*2^1247423-1 is not prime. Res64: 0DDC2335F5B53DEB Time : 0.0 sec. user=mdettweiler [2013-07-05 07:17:33] 663*2^1247424-1 is not prime. Res64: E307A75F61440F7D Time : 0.0 sec. user=mdettweiler [2013-07-05 07:34:36] 693*2^1247424-1 is not prime. Res64: 84C72C4D74379082 Time : 0.0 sec. user=mdettweiler [2013-07-05 07:34:37] 737*2^1247424-1 is not prime. Res64: E6E1B5DF9B32EC9A Time : 0.0 sec. user=mdettweiler [2013-07-05 07:51:39] 753*2^1247424-1 is not prime. Res64: BDD761F70DA5AE61 Time : 0.0 sec. user=mdettweiler [2013-07-05 07:51:40] 795*2^1247424-1 is not prime. Res64: 24833B1F904C4079 Time : 0.0 sec. user=mdettweiler [2013-07-05 08:08:42] 875*2^1247424-1 is not prime. Res64: 05305A77EE5A955B Time : 0.0 sec. user=mdettweiler [2013-07-05 08:08:43] 929*2^1247424-1 is not prime. Res64: 24734264DB33CA38 Time : 0.0 sec. user=mdettweiler [2013-07-05 08:25:49] 717*2^1247425-1 is not prime. Res64: CBD562485AD8C03A Time : 0.0 sec. user=mdettweiler [2013-07-05 08:25:50] 861*2^1247425-1 is not prime. Res64: 8D3A3F0CE2806B39 Time : 0.0 sec. user=mdettweiler [2013-07-05 08:42:52] 651*2^1247426-1 is not prime. Res64: 5C3D83950FBCD278 Time : 0.0 sec. user=mdettweiler [2013-07-05 08:42:53] 831*2^1247426-1 is not prime. Res64: C5C19D3EB8A7C319 Time : 0.0 sec. user=mdettweiler [2013-07-05 09:00:43] 921*2^1247426-1 is not prime. Res64: 7C59612B60F826A4 Time : 0.0 sec. user=mdettweiler [2013-07-05 09:00:44] 957*2^1247426-1 is not prime. Res64: 41BD4214B92FF2FB Time : 0.0 sec. user=mdettweiler [2013-07-05 09:18:49] 981*2^1247426-1 is not prime. Res64: B35EB48DEEEFECD0 Time : 0.0 sec. user=mdettweiler [2013-07-05 09:18:49] 703*2^1247427-1 is not prime. Res64: E69AB035938D94FF Time : 0.0 sec. user=mdettweiler [2013-07-05 09:35:51] 769*2^1247427-1 is not prime. Res64: C359561BF04F0942 Time : 0.0 sec. user=mdettweiler [2013-07-05 09:35:52] 871*2^1247427-1 is not prime. Res64: B4DB3206B99823E5 Time : 0.0 sec. user=mdettweiler [2013-07-05 09:52:54] 909*2^1247427-1 is not prime. Res64: D057E4E189FD42B6 Time : 0.0 sec. user=mdettweiler [2013-07-05 09:52:55] 931*2^1247427-1 is not prime. Res64: 34C4821F7BA92A5D Time : 0.0 sec. user=mdettweiler [2013-07-05 10:10:44] 963*2^1247427-1 is not prime. Res64: B9C88C34ECAD7DF4 Time : 0.0 sec. user=mdettweiler [2013-07-05 10:10:45] 677*2^1247428-1 is not prime. Res64: F00CD847A913623C Time : 0.0 sec. user=mdettweiler [2013-07-05 10:27:55] 765*2^1247428-1 is not prime. Res64: 088154B8D748E831 Time : 0.0 sec. user=mdettweiler [2013-07-05 10:27:56] 843*2^1247428-1 is not prime. Res64: 46355FB2E2C04062 Time : 0.0 sec. user=mdettweiler [2013-07-05 10:44:59] 899*2^1247428-1 is not prime. Res64: 684349942A84B34D Time : 0.0 sec. user=mdettweiler [2013-07-05 10:44:59] 649*2^1247429-1 is not prime. Res64: A827FF798C8AE43E Time : 0.0 sec. user=mdettweiler [2013-07-05 11:02:02] 691*2^1247429-1 is not prime. Res64: 078082CB71821A35 Time : 0.0 sec. user=mdettweiler [2013-07-05 11:02:03] 771*2^1247429-1 is not prime. Res64: C4A03F663216D3DE Time : 0.0 sec. user=mdettweiler [2013-07-05 11:19:20] 801*2^1247429-1 is not prime. Res64: 637345772378F555 Time : 0.0 sec. user=mdettweiler [2013-07-05 11:19:20] 897*2^1247429-1 is not prime. Res64: 97A181426A01883E Time : 0.0 sec. user=mdettweiler [2013-07-05 11:37:10] 951*2^1247429-1 is not prime. Res64: C506427EA171FB09 Time : 0.0 sec. user=mdettweiler [2013-07-05 11:37:11] 969*2^1247429-1 is not prime. Res64: 1B7318ECA074B06D Time : 0.0 sec. user=mdettweiler [2013-07-05 11:54:14] 755*2^1247430-1 is not prime. Res64: BDB2D343B592FDA2 Time : 0.0 sec. user=mdettweiler [2013-07-05 11:54:15] 773*2^1247430-1 is not prime. Res64: 69E6FFCD8A83DC91 Time : 0.0 sec. user=mdettweiler [2013-07-05 12:11:17] 891*2^1247430-1 is not prime. Res64: 12556B9C950DB268 Time : 0.0 sec. user=mdettweiler [2013-07-05 12:11:18] 693*2^1247431-1 is not prime. Res64: 55B7CD0C6EC0DE95 Time : 0.0 sec. user=mdettweiler [2013-07-05 12:28:25] 885*2^1247431-1 is not prime. Res64: 187A74A0D85D72CE Time : 0.0 sec. user=mdettweiler [2013-07-05 12:28:26] 889*2^1247431-1 is not prime. Res64: FE41222FC019E22D Time : 0.0 sec. user=mdettweiler [2013-07-05 12:46:15] 961*2^1247431-1 is not prime. Res64: C5DEE9A2FDAD15C0 Time : 0.0 sec. user=mdettweiler [2013-07-05 12:46:15] 689*2^1247432-1 is not prime. Res64: 7F467721B262D175 Time : 0.0 sec. user=mdettweiler [2013-07-05 13:03:18] 717*2^1247432-1 is not prime. Res64: 928153DCA646C84A Time : 0.0 sec. user=mdettweiler [2013-07-05 13:03:20] 767*2^1247432-1 is not prime. Res64: B57D2BA960AA67DF Time : 0.0 sec. user=mdettweiler [2013-07-05 13:20:36] 825*2^1247432-1 is not prime. Res64: 92583BAA031C5BBC Time : 0.0 sec. user=mdettweiler [2013-07-05 13:20:36] 855*2^1247432-1 is not prime. Res64: 542AE4A9F61F2D96 Time : 0.0 sec. user=mdettweiler [2013-07-05 13:37:39] 857*2^1247432-1 is not prime. Res64: 0200C0BE959990F8 Time : 0.0 sec. user=mdettweiler [2013-07-05 13:37:39] 879*2^1247432-1 is not prime. Res64: BDB58CF1B2305593 Time : 0.0 sec. user=mdettweiler [2013-07-05 13:54:41] 915*2^1247432-1 is not prime. Res64: F3E3AE08A61D5C57 Time : 0.0 sec. user=mdettweiler [2013-07-05 13:54:41] 929*2^1247432-1 is not prime. Res64: 12D9BC4FFD95EE8D Time : 0.0 sec. user=mdettweiler [2013-07-05 14:11:44] 721*2^1247433-1 is not prime. Res64: F78DB02253E265A4 Time : 0.0 sec. user=mdettweiler [2013-07-05 14:11:45] 819*2^1247433-1 is not prime. Res64: 65EDD7A5C2FEA14A Time : 0.0 sec. user=mdettweiler [2013-07-05 14:28:50] 877*2^1247433-1 is not prime. Res64: E06B37F8379456BD Time : 0.0 sec. user=mdettweiler [2013-07-05 14:28:50] 885*2^1247433-1 is not prime. Res64: 5E3B1F7E44CDBF4B Time : 0.0 sec. user=mdettweiler [2013-07-05 14:45:52] 895*2^1247433-1 is not prime. Res64: 86EF233EAF56D45D Time : 0.0 sec. user=mdettweiler [2013-07-05 14:45:53] 915*2^1247433-1 is not prime. Res64: D2A03D8C0FE5A557 Time : 0.0 sec. user=mdettweiler [2013-07-05 15:02:56] 945*2^1247433-1 is not prime. Res64: 8159194EC9B4F7F8 Time : 0.0 sec. user=mdettweiler [2013-07-05 15:02:57] 949*2^1247433-1 is not prime. Res64: 83C7148DF40A8335 Time : 0.0 sec. user=mdettweiler [2013-07-05 15:20:13] 657*2^1247434-1 is not prime. Res64: 15B23D63E4B0EDEB Time : 0.0 sec. user=mdettweiler [2013-07-05 15:20:14] 695*2^1247434-1 is not prime. Res64: 1877BF2F96104ED5 Time : 0.0 sec. user=mdettweiler [2013-07-05 15:37:17] 887*2^1247434-1 is not prime. Res64: CF2644031E1D8769 Time : 0.0 sec. user=mdettweiler [2013-07-05 15:37:17] 675*2^1247435-1 is not prime. Res64: BC070B56C0B646DD Time : 0.0 sec. user=mdettweiler [2013-07-05 15:54:20] 733*2^1247435-1 is not prime. Res64: 3742C1E5E473CD3D Time : 0.0 sec. user=mdettweiler [2013-07-05 15:54:20] 759*2^1247435-1 is not prime. Res64: 4705014FC1F5DAED Time : 0.0 sec. user=mdettweiler [2013-07-05 16:12:10] 939*2^1247435-1 is not prime. Res64: EA9FF991A54A3DB5 Time : 0.0 sec. user=mdettweiler [2013-07-05 16:12:10] 963*2^1247435-1 is not prime. Res64: D9BEBFC53029B421 Time : 0.0 sec. user=mdettweiler [2013-07-05 16:30:00] 991*2^1247435-1 is not prime. Res64: 40E351897FB843D2 Time : 0.0 sec. user=mdettweiler [2013-07-05 16:30:00] 635*2^1247436-1 is not prime. Res64: E1D0739AB30E1004 Time : 0.0 sec. user=mdettweiler [2013-07-05 16:47:03] 705*2^1247436-1 is not prime. Res64: 03C4B5BD1FDAF416 Time : 0.0 sec. user=mdettweiler [2013-07-05 16:47:04] 725*2^1247436-1 is not prime. Res64: 0CEAEED50AF99633 Time : 0.0 sec. user=mdettweiler [2013-07-05 17:04:06] 735*2^1247436-1 is not prime. Res64: 8BCE987FC8452B83 Time : 0.0 sec. user=mdettweiler [2013-07-05 17:04:08] 759*2^1247436-1 is not prime. Res64: 19F5AC6B36E9A8D2 Time : 0.0 sec. user=mdettweiler [2013-07-05 17:21:15] 839*2^1247436-1 is not prime. Res64: 1487D9D579F9BDB8 Time : 0.0 sec. user=mdettweiler [2013-07-05 17:21:16] 845*2^1247436-1 is not prime. Res64: A2D2E82FB1A1A8AB Time : 0.0 sec. user=mdettweiler [2013-07-05 17:38:18] 899*2^1247436-1 is not prime. Res64: 5DE4C1A8B6FEED7F Time : 0.0 sec. user=mdettweiler [2013-07-05 17:38:19] 903*2^1247436-1 is not prime. Res64: A1E3E76CF1B9A399 Time : 0.0 sec. user=mdettweiler [2013-07-05 17:55:21] 661*2^1247437-1 is not prime. Res64: 27E2CDA26EA996AC Time : 0.0 sec. user=mdettweiler [2013-07-05 17:55:22] 727*2^1247437-1 is not prime. Res64: 39287678E88052BD Time : 0.0 sec. user=mdettweiler [2013-07-05 18:13:11] 861*2^1247437-1 is not prime. Res64: D63B11786BDD87B3 Time : 0.0 sec. user=mdettweiler [2013-07-05 18:13:12] 967*2^1247437-1 is not prime. Res64: AAC2D4209EB47BEB Time : 0.0 sec. user=mdettweiler [2013-07-05 18:31:03] 975*2^1247437-1 is not prime. Res64: CB4B52090D5BF290 Time : 0.0 sec. user=mdettweiler [2013-07-05 18:31:03] 663*2^1247438-1 is not prime. Res64: 80CB16BDE8FEE1BC Time : 0.0 sec. user=mdettweiler [2013-07-05 18:48:09] 711*2^1247438-1 is not prime. Res64: 29939245186628C3 Time : 0.0 sec. user=mdettweiler [2013-07-05 18:48:09] 753*2^1247438-1 is not prime. Res64: F843E129A4ECDE46 Time : 0.0 sec. user=mdettweiler [2013-07-05 19:05:12] 755*2^1247438-1 is not prime. Res64: 9C1D4A658D82D9C9 Time : 0.0 sec. user=mdettweiler [2013-07-05 19:05:14] 761*2^1247438-1 is not prime. Res64: 404AFB2874C079F6 Time : 0.0 sec. user=mdettweiler [2013-07-05 19:23:08] 893*2^1247438-1 is not prime. Res64: 949ED0DB7381BC00 Time : 0.0 sec. user=mdettweiler [2013-07-05 19:23:09] 971*2^1247438-1 is not prime. Res64: C83E5A49237DA253 Time : 0.0 sec. user=mdettweiler [2013-07-05 19:40:12] 621*2^1247439-1 is not prime. Res64: 81848F19C5E058F8 Time : 0.0 sec. user=mdettweiler [2013-07-05 19:40:13] 895*2^1247439-1 is not prime. Res64: 52EBF70D047CD877 Time : 0.0 sec. user=mdettweiler [2013-07-05 19:58:02] 909*2^1247439-1 is not prime. Res64: 4B7AA2A21FFA4617 Time : 0.0 sec. user=mdettweiler [2013-07-05 19:58:02] 991*2^1247439-1 is not prime. Res64: E32860D951D9E751 Time : 0.0 sec. user=mdettweiler [2013-07-05 20:15:04] 765*2^1247440-1 is not prime. Res64: F19EE3A656B52E09 Time : 0.0 sec. user=mdettweiler [2013-07-05 20:15:05] 855*2^1247440-1 is not prime. Res64: 70010F0801437CAC Time : 0.0 sec. user=mdettweiler [2013-07-05 20:32:56] 897*2^1247440-1 is not prime. Res64: 9E634CCF36BCD3C9 Time : 0.0 sec. user=mdettweiler [2013-07-05 20:32:57] 965*2^1247440-1 is not prime. Res64: 64BD9D72FABA2E6B Time : 0.0 sec. user=mdettweiler [2013-07-05 20:50:46] 989*2^1247440-1 is not prime. Res64: 2E109AAA2E59902A Time : 0.0 sec. user=mdettweiler [2013-07-05 20:50:47] 879*2^1247441-1 is not prime. Res64: B72CF19DA662F154 Time : 0.0 sec. user=mdettweiler [2013-07-05 21:07:49] 937*2^1247441-1 is not prime. Res64: FE554A2D8C84C3D2 Time : 0.0 sec. user=mdettweiler [2013-07-05 21:07:50] 633*2^1247442-1 is not prime. Res64: B053EF0B09C80FCD Time : 0.0 sec. user=mdettweiler [2013-07-05 21:25:00] 651*2^1247442-1 is not prime. Res64: 0192894A37C539F5 Time : 0.0 sec. user=mdettweiler [2013-07-05 21:25:00] 731*2^1247442-1 is not prime. Res64: F39EAD700E58187E Time : 0.0 sec. user=mdettweiler [2013-07-05 21:42:03] 735*2^1247442-1 is not prime. Res64: C6347AC94340F92C Time : 0.0 sec. user=mdettweiler [2013-07-05 21:42:03] 777*2^1247442-1 is not prime. Res64: 9ABB5C328F44DB60 Time : 0.0 sec. user=mdettweiler [2013-07-05 21:59:06] 837*2^1247442-1 is not prime. Res64: 0164498D4C104155 Time : 0.0 sec. user=mdettweiler [2013-07-05 21:59:06] 891*2^1247442-1 is not prime. Res64: B1A271F40F558AF5 Time : 0.0 sec. user=mdettweiler [2013-07-05 22:16:08] 941*2^1247442-1 is not prime. Res64: 92476EF21E5BEDCD Time : 0.0 sec. user=mdettweiler [2013-07-05 22:16:09] 639*2^1247443-1 is not prime. Res64: FF0A76D6F467B4F3 Time : 0.0 sec. user=mdettweiler [2013-07-05 22:33:13] 649*2^1247443-1 is not prime. Res64: 680143AF68B1F638 Time : 0.0 sec. user=mdettweiler [2013-07-05 22:33:13] 673*2^1247443-1 is not prime. Res64: 23C7D1806F17AD6E Time : 0.0 sec. user=mdettweiler [2013-07-05 22:50:15] 675*2^1247443-1 is not prime. Res64: 6A336B343E63494C Time : 0.0 sec. user=mdettweiler [2013-07-05 22:50:16] 745*2^1247443-1 is not prime. Res64: F2F1415F03879736 Time : 0.0 sec. user=mdettweiler [2013-07-05 23:07:19] 859*2^1247443-1 is not prime. Res64: F6623E30134F2278 Time : 0.0 sec. user=mdettweiler [2013-07-05 23:07:20] 939*2^1247443-1 is not prime. Res64: 866A8ED92935ED1D Time : 0.0 sec. user=mdettweiler [2013-07-05 23:24:26] 605*2^1247444-1 is not prime. Res64: C1D0451FDBEEAC30 Time : 0.0 sec. user=mdettweiler [2013-07-05 23:24:26] 615*2^1247444-1 is not prime. Res64: A7F30BFBB853DDA5 Time : 0.0 sec. user=mdettweiler [2013-07-05 23:41:31] 687*2^1247444-1 is not prime. Res64: 5F1CF2F74E7D513F Time : 0.0 sec. user=mdettweiler [2013-07-05 23:41:32] 753*2^1247444-1 is not prime. Res64: CA97EFFA154A4F95 Time : 0.0 sec. user=mdettweiler [2013-07-05 23:58:33] 767*2^1247444-1 is not prime. Res64: EE128D405A8F9C47 Time : 0.0 sec. user=mdettweiler [2013-07-05 23:58:34] 885*2^1247444-1 is not prime. Res64: 232F43D15D73A2EB Time : 0.0 sec.