user=mdettweiler [2013-05-21 00:15:47] 923*2^1246112-1 is not prime. Res64: 02AB73911691C93C Time : 0.0 sec. user=mdettweiler [2013-05-21 00:15:48] 679*2^1246113-1 is not prime. Res64: DBB8A9E084CC084A Time : 0.0 sec. user=mdettweiler [2013-05-21 00:21:44] 915*2^1246112-1 is not prime. Res64: 43DE33606D0E24D7 Time : 0.0 sec. user=mdettweiler [2013-05-21 00:34:01] 681*2^1246113-1 is not prime. Res64: 024EE50B0DA4C05C Time : 0.0 sec. user=mdettweiler [2013-05-21 00:34:02] 895*2^1246113-1 is not prime. Res64: 2C587A3DC189E27B Time : 0.0 sec. user=mdettweiler [2013-05-21 00:51:30] 651*2^1246114-1 is not prime. Res64: 2CE8DE7A16482C35 Time : 0.0 sec. user=mdettweiler [2013-05-21 00:51:30] 687*2^1246114-1 is not prime. Res64: 830D1AF9E3109DF8 Time : 0.0 sec. user=mdettweiler [2013-05-21 00:51:52] 827*2^1246114-1 is not prime. Res64: 5DDA071D43E7E530 Time : 0.0 sec. user=mdettweiler [2013-05-21 01:18:01] 951*2^1246114-1 is not prime. Res64: 5864056BF42D935C Time : 0.0 sec. user=mdettweiler [2013-05-21 01:36:09] 645*2^1246115-1 is not prime. Res64: 8F4CB1CCADAA7D93 Time : 0.0 sec. user=mdettweiler [2013-05-21 01:36:09] 655*2^1246115-1 is not prime. Res64: 03FC3D422906C0ED Time : 0.0 sec. user=mdettweiler [2013-05-21 01:46:32] 609*2^1246115-1 is not prime. Res64: 609DC403904A1EAB Time : 0.0 sec. user=mdettweiler [2013-05-21 01:46:32] 633*2^1246115-1 is not prime. Res64: EFA9951394EF4D1C Time : 0.0 sec. user=mdettweiler [2013-05-21 01:54:00] 675*2^1246115-1 is not prime. Res64: BBAA39C5A20407B5 Time : 0.0 sec. user=mdettweiler [2013-05-21 02:04:24] 735*2^1246115-1 is not prime. Res64: ADF2D7467E468977 Time : 0.0 sec. user=mdettweiler [2013-05-21 02:04:25] 861*2^1246115-1 is not prime. Res64: FF2C0827388FD4B1 Time : 0.0 sec. user=mdettweiler [2013-05-21 02:22:04] 943*2^1246115-1 is not prime. Res64: 173459D864A1D57F Time : 0.0 sec. user=mdettweiler [2013-05-21 02:22:05] 963*2^1246115-1 is not prime. Res64: 590C425DAF975A66 Time : 0.0 sec. user=mdettweiler [2013-05-21 02:31:13] 685*2^1246115-1 is not prime. Res64: 620D15A8C7496745 Time : 0.0 sec. user=mdettweiler [2013-05-21 02:41:36] 979*2^1246115-1 is not prime. Res64: F5D02A3618947BBE Time : 0.0 sec. user=mdettweiler [2013-05-21 02:41:38] 981*2^1246115-1 is not prime. Res64: 22F5C0B56197F4FB Time : 0.0 sec. user=mdettweiler [2013-05-21 03:13:47] 657*2^1246116-1 is not prime. Res64: 65C51A625C4BE4D2 Time : 0.0 sec. user=mdettweiler [2013-05-21 03:13:49] 675*2^1246116-1 is not prime. Res64: 66D45C0483641E76 Time : 0.0 sec. user=mdettweiler [2013-05-21 03:23:03] 717*2^1246116-1 is not prime. Res64: 89EABADA834A9E87 Time : 0.0 sec. user=mdettweiler [2013-05-21 03:23:21] 779*2^1246116-1 is not prime. Res64: 18194A75C47EF3C1 Time : 0.0 sec. user=mdettweiler [2013-05-21 03:31:55] 729*2^1246117-1 is not prime. Res64: BA4BF9D4FC453633 Time : 0.0 sec. user=mdettweiler [2013-05-21 03:31:56] 867*2^1246117-1 is not prime. Res64: E23D2592E8977D22 Time : 0.0 sec. user=mdettweiler [2013-05-21 03:49:54] 897*2^1246117-1 is not prime. Res64: 2C971F7E62C55EC7 Time : 0.0 sec. user=mdettweiler [2013-05-21 03:49:54] 945*2^1246117-1 is not prime. Res64: 4F083C9E1CB54671 Time : 0.0 sec. user=mdettweiler [2013-05-21 04:08:20] 955*2^1246117-1 is not prime. Res64: F61350D5383CC55A Time : 0.0 sec. user=mdettweiler [2013-05-21 04:08:37] 997*2^1246117-1 is not prime. Res64: DE8FB8E46FBF3580 Time : 0.0 sec. user=mdettweiler [2013-05-21 04:17:05] 623*2^1246118-1 is not prime. Res64: 4D7D324A1741D935 Time : 0.0 sec. user=mdettweiler [2013-05-21 04:45:13] 665*2^1246118-1 is not prime. Res64: DBD4F098BC6375F9 Time : 0.0 sec. user=mdettweiler [2013-05-21 04:50:12] 707*2^1246118-1 is not prime. Res64: 30FF208AB614D1AC Time : 0.0 sec. user=mdettweiler [2013-05-21 05:17:18] 771*2^1246118-1 is not prime. Res64: 8F9548D86E039BFE Time : 0.0 sec. user=mdettweiler [2013-05-21 05:21:56] 845*2^1246118-1 is not prime. Res64: 1518DDFAE9466995 Time : 0.0 sec. user=mdettweiler [2013-05-21 05:34:54] 951*2^1246118-1 is not prime. Res64: 05F8BE1855067BAA Time : 0.0 sec. user=mdettweiler [2013-05-21 05:34:55] 661*2^1246119-1 is not prime. Res64: 50D91338191F6D7C Time : 0.0 sec. user=mdettweiler [2013-05-21 05:52:27] 885*2^1246118-1 is not prime. Res64: B061CA1444089AB0 Time : 0.0 sec. user=mdettweiler [2013-05-21 05:52:45] 721*2^1246119-1 is not prime. Res64: 51B3885AD7B4702E Time : 0.0 sec. user=mdettweiler [2013-05-21 06:10:17] 635*2^1246120-1 is not prime. Res64: 342B514381DDA828 Time : 0.0 sec. user=mdettweiler [2013-05-21 06:10:17] 747*2^1246120-1 is not prime. Res64: 119CDC68B1E3B443 Time : 0.0 sec. user=mdettweiler [2013-05-21 06:19:10] 955*2^1246119-1 is not prime. Res64: BC79C91C839D2131 Time : 0.0 sec. user=mdettweiler [2013-05-21 06:28:17] 755*2^1246120-1 is not prime. Res64: 091DEB0B28139B8F Time : 0.0 sec. user=mdettweiler [2013-05-21 06:28:18] 765*2^1246120-1 is not prime. Res64: B8BD20C718E95937 Time : 0.0 sec. user=mdettweiler [2013-05-21 06:46:06] 845*2^1246120-1 is not prime. Res64: 4920D461A50F6178 Time : 0.0 sec. user=mdettweiler [2013-05-21 07:01:25] 873*2^1246120-1 is not prime. Res64: DB6AEBBDB2BEAD74 Time : 0.0 sec. user=mdettweiler [2013-05-21 07:01:26] 887*2^1246120-1 is not prime. Res64: 49A2EB0BA384C1ED Time : 0.0 sec. user=mdettweiler [2013-05-21 07:08:21] 863*2^1246120-1 is not prime. Res64: 14C1C1A2F2F73717 Time : 0.0 sec. user=mdettweiler [2013-05-21 07:19:18] 915*2^1246120-1 is not prime. Res64: E049E285B391BFD2 Time : 0.0 sec. user=mdettweiler [2013-05-21 07:19:18] 923*2^1246120-1 is not prime. Res64: CB88F9FDD49A9848 Time : 0.0 sec. user=mdettweiler [2013-05-21 07:26:10] 975*2^1246120-1 is not prime. Res64: 12555D5036ABEDBA Time : 0.0 sec. user=mdettweiler [2013-05-21 07:37:00] 945*2^1246121-1 is not prime. Res64: A5825A887D7B2514 Time : 0.0 sec. user=mdettweiler [2013-05-21 07:37:01] 955*2^1246121-1 is not prime. Res64: 11E802AA949D4271 Time : 0.0 sec. user=mdettweiler [2013-05-21 07:55:30] 981*2^1246121-1 is not prime. Res64: 6C1C1804ABA8EEA7 Time : 0.0 sec. user=mdettweiler [2013-05-21 07:55:30] 611*2^1246122-1 is not prime. Res64: 00E1C05AF3E203DE Time : 0.0 sec. user=mdettweiler [2013-05-21 07:55:56] 649*2^1246121-1 is not prime. Res64: A600FC41E448B838 Time : 0.0 sec. user=mdettweiler [2013-05-21 08:13:09] 621*2^1246122-1 is not prime. Res64: 20287EE8E321C5A7 Time : 0.0 sec. user=mdettweiler [2013-05-21 08:13:09] 755*2^1246122-1 is not prime. Res64: FD853B4E35E93CF2 Time : 0.0 sec. user=mdettweiler [2013-05-21 08:30:45] 803*2^1246122-1 is not prime. Res64: B8D40CDE074053E2 Time : 0.0 sec. user=mdettweiler [2013-05-21 08:30:45] 815*2^1246122-1 is not prime. Res64: F65DCAEF50657507 Time : 0.0 sec. user=mdettweiler [2013-05-21 08:47:27] 923*2^1246122-1 is not prime. Res64: CF635C2A0DD7EF5A Time : 0.0 sec. user=mdettweiler [2013-05-21 08:47:27] 977*2^1246122-1 is not prime. Res64: 2AF465EDEA7E7622 Time : 0.0 sec. user=mdettweiler [2013-05-21 08:48:21] 691*2^1246123-1 is not prime. Res64: 9553C15697919875 Time : 0.0 sec. user=mdettweiler [2013-05-21 08:48:21] 769*2^1246123-1 is not prime. Res64: 131524C93240A2F5 Time : 0.0 sec. user=mdettweiler [2013-05-21 09:28:03] 819*2^1246123-1 is not prime. Res64: E5A55415CEC7D594 Time : 0.0 sec. user=mdettweiler [2013-05-21 09:28:04] 859*2^1246123-1 is not prime. Res64: C0EFC3EB12B9DAC4 Time : 0.0 sec. user=mdettweiler [2013-05-21 09:33:25] 925*2^1246123-1 is not prime. Res64: F0426EF9D17CAF53 Time : 0.0 sec. user=mdettweiler [2013-05-21 09:45:53] 827*2^1246124-1 is not prime. Res64: 9103A8C5C0BD75AA Time : 0.0 sec. user=mdettweiler [2013-05-21 10:09:14] 635*2^1246124-1 is not prime. Res64: 52E6F8F6CB81B4BC Time : 0.0 sec. user=mdettweiler [2013-05-21 10:12:57] 833*2^1246124-1 is not prime. Res64: F300190C935BF4A9 Time : 0.0 sec. user=mdettweiler [2013-05-21 10:26:49] 857*2^1246124-1 is not prime. Res64: 2950CF6AF887CFAD Time : 0.0 sec. user=mdettweiler [2013-05-21 10:26:49] 935*2^1246124-1 is not prime. Res64: 6BDA574AD9894A14 Time : 0.0 sec. user=mdettweiler [2013-05-21 10:44:29] 669*2^1246125-1 is not prime. Res64: 653A5EA1BB529C5A Time : 0.0 sec. user=mdettweiler [2013-05-21 10:44:29] 685*2^1246125-1 is not prime. Res64: E6372CEAC2627255 Time : 0.0 sec. user=mdettweiler [2013-05-21 10:58:26] 921*2^1246125-1 is not prime. Res64: E7EEB91AF3BE7422 Time : 0.0 sec. user=mdettweiler [2013-05-21 11:02:05] 657*2^1246126-1 is not prime. Res64: 9CFB662DE6B6FB0C Time : 0.0 sec. user=mdettweiler [2013-05-21 11:02:23] 945*2^1246126-1 is not prime. Res64: 804AA273C27AFC50 Time : 0.0 sec. user=mdettweiler [2013-05-21 11:27:14] 635*2^1246126-1 is not prime. Res64: 6BB025543C2E8001 Time : 0.0 sec. user=mdettweiler [2013-05-21 11:46:45] 983*2^1246126-1 is not prime. Res64: 6F575C5B4D8E05AC Time : 0.0 sec. user=mdettweiler [2013-05-21 11:55:39] 661*2^1246127-1 is not prime. Res64: D9A3BA8AC12E28AB Time : 0.0 sec. user=mdettweiler [2013-05-21 11:55:40] 685*2^1246127-1 is not prime. Res64: 98E812039AC6682F Time : 0.0 sec. user=mdettweiler [2013-05-21 12:12:59] 1001*2^1246126-1 is not prime. Res64: 71157DFE34379747 Time : 0.0 sec. user=mdettweiler [2013-05-21 12:13:21] 735*2^1246127-1 is not prime. Res64: D64E43241336F59E Time : 0.0 sec. user=mdettweiler [2013-05-21 12:13:21] 799*2^1246127-1 is not prime. Res64: F2A96507B6B53BC5 Time : 0.0 sec. user=mdettweiler [2013-05-21 12:31:08] 841*2^1246127-1 is not prime. Res64: DEC006B94ED34D1A Time : 0.0 sec. user=mdettweiler [2013-05-21 12:31:09] 945*2^1246127-1 is not prime. Res64: 2C9EB44449FD85A2 Time : 0.0 sec. user=mdettweiler [2013-05-21 12:32:14] 999*2^1246127-1 is not prime. Res64: 23B733A67603F344 Time : 0.0 sec. user=mdettweiler [2013-05-21 12:49:10] 789*2^1246128-1 is not prime. Res64: BB92505F47CCE662 Time : 0.0 sec. user=mdettweiler [2013-05-21 12:59:30] 639*2^1246128-1 is not prime. Res64: 48C4CF80392B2C73 Time : 0.0 sec. user=mdettweiler [2013-05-21 13:25:03] 797*2^1246128-1 is not prime. Res64: BD811185AF501933 Time : 0.0 sec. user=mdettweiler [2013-05-21 13:42:42] 825*2^1246128-1 is not prime. Res64: 171A881DFE9E8390 Time : 0.0 sec. user=mdettweiler [2013-05-21 13:42:42] 839*2^1246128-1 is not prime. Res64: E1AE0CD17FAD8FDA Time : 0.0 sec. user=mdettweiler [2013-05-21 13:51:41] 601*2^1246129-1 is not prime. Res64: 782272382F5A374E Time : 0.0 sec. user=mdettweiler [2013-05-21 13:51:41] 609*2^1246129-1 is not prime. Res64: 46A3BFFDBE3A4E2D Time : 0.0 sec. user=mdettweiler [2013-05-21 14:09:28] 835*2^1246129-1 is not prime. Res64: B030F8E23A75A009 Time : 0.0 sec. user=mdettweiler [2013-05-21 14:09:29] 885*2^1246129-1 is not prime. Res64: B113059087BFB60C Time : 0.0 sec. user=mdettweiler [2013-05-21 14:28:43] 931*2^1246129-1 is not prime. Res64: 68379301C6447950 Time : 0.0 sec. user=mdettweiler [2013-05-21 14:31:58] 681*2^1246129-1 is not prime. Res64: 232250947EF52251 Time : 0.0 sec. user=mdettweiler [2013-05-21 14:51:27] 771*2^1246129-1 is not prime. Res64: 5B390D65C6541290 Time : 0.0 sec. user=mdettweiler [2013-05-21 15:06:05] 997*2^1246129-1 is not prime. Res64: 488406DE29A1A0B4 Time : 0.0 sec. user=mdettweiler [2013-05-21 15:24:51] 999*2^1246129-1 is not prime. Res64: 9578F23849FBFCA4 Time : 0.0 sec. user=mdettweiler [2013-05-21 15:46:23] 773*2^1246130-1 is not prime. Res64: 0801442771C1065D Time : 0.0 sec. user=mdettweiler [2013-05-21 15:46:23] 825*2^1246130-1 is not prime. Res64: A24678DDB7FAD925 Time : 0.0 sec. user=mdettweiler [2013-05-21 16:01:03] 605*2^1246130-1 is not prime. Res64: E4BB0ABBE23AC9BC Time : 0.0 sec. user=mdettweiler [2013-05-21 16:30:58] 957*2^1246130-1 is not prime. Res64: 25FC3BC95038ABBF Time : 0.0 sec. user=mdettweiler [2013-05-21 16:44:03] 795*2^1246131-1 is not prime. Res64: 3AA756C39FEA93B6 Time : 0.0 sec. user=mdettweiler [2013-05-21 16:44:20] 819*2^1246131-1 is not prime. Res64: 352B7BC2FB1CB5F7 Time : 0.0 sec. user=mdettweiler [2013-05-21 17:02:40] 783*2^1246131-1 is not prime. Res64: 2A1048B03D82C168 Time : 0.0 sec. user=mdettweiler [2013-05-21 17:20:49] 829*2^1246131-1 is not prime. Res64: F93077C5FBF0B92D Time : 0.0 sec. user=mdettweiler [2013-05-21 17:20:49] 903*2^1246131-1 is not prime. Res64: 5A905EFFC3F63710 Time : 0.0 sec. user=mdettweiler [2013-05-21 17:32:35] 975*2^1246131-1 is not prime. Res64: DCAD818AAB01A3F5 Time : 0.0 sec. user=mdettweiler [2013-05-21 17:38:38] 961*2^1246131-1 is not prime. Res64: 4C23CBA663F0DBC1 Time : 0.0 sec. user=mdettweiler [2013-05-21 18:01:24] 635*2^1246132-1 is not prime. Res64: E8291AF2CF941791 Time : 0.0 sec. user=mdettweiler [2013-05-21 18:02:33] 615*2^1246132-1 is not prime. Res64: D6147CD77BCCA3A2 Time : 0.0 sec. user=mdettweiler [2013-05-21 18:19:34] 705*2^1246132-1 is not prime. Res64: DD1D5BDF8DB0DABC Time : 0.0 sec. user=mdettweiler [2013-05-21 18:20:37] 735*2^1246132-1 is not prime. Res64: 7ACE7B1F803F80FD Time : 0.0 sec. user=mdettweiler [2013-05-21 18:20:38] 743*2^1246132-1 is not prime. Res64: BA11FD9952FBD7CC Time : 0.0 sec. user=mdettweiler [2013-05-21 18:36:14] 719*2^1246132-1 is not prime. Res64: 1FE99C97ACD5D8BB Time : 0.0 sec. user=mdettweiler [2013-05-21 18:38:24] 779*2^1246132-1 is not prime. Res64: 240CC2A7AC427F54 Time : 0.0 sec. user=mdettweiler [2013-05-21 18:38:25] 939*2^1246132-1 is not prime. Res64: 10212B4AAB97A806 Time : 0.0 sec. user=mdettweiler [2013-05-21 18:53:57] 957*2^1246132-1 is not prime. Res64: E60ED7AE65EBBE5E Time : 0.0 sec. user=mdettweiler [2013-05-21 18:53:57] 675*2^1246133-1 is not prime. Res64: D717DE6565A82CD8 Time : 0.0 sec. user=mdettweiler [2013-05-21 18:56:05] 787*2^1246133-1 is not prime. Res64: 6632CA44BDB1ADAB Time : 0.0 sec. user=mdettweiler [2013-05-21 18:56:05] 897*2^1246133-1 is not prime. Res64: 91CEC0F12FD148CB Time : 0.0 sec. user=mdettweiler [2013-05-21 19:11:54] 707*2^1246134-1 is not prime. Res64: EF9EAF9F3190E44D Time : 0.0 sec. user=mdettweiler [2013-05-21 19:30:44] 711*2^1246134-1 is not prime. Res64: 2AF3C3E2A773D2C4 Time : 0.0 sec. user=mdettweiler [2013-05-21 19:51:56] 723*2^1246134-1 is not prime. Res64: 48A7B833B9FCF0B5 Time : 0.0 sec. user=mdettweiler [2013-05-21 20:12:16] 747*2^1246134-1 is not prime. Res64: A0AA15EAF10346E4 Time : 0.0 sec. user=mdettweiler [2013-05-21 20:19:02] 783*2^1246134-1 is not prime. Res64: 164431E7C10FB49B Time : 0.0 sec. user=mdettweiler [2013-05-21 20:19:02] 875*2^1246134-1 is not prime. Res64: 91D6212BC6FF2E66 Time : 0.0 sec. user=mdettweiler [2013-05-21 20:30:06] 891*2^1246134-1 is not prime. Res64: 0D7C9EE5CC94DE03 Time : 0.0 sec. user=mdettweiler [2013-05-21 20:37:00] 951*2^1246134-1 is not prime. Res64: 648F5C9D8DD42BB8 Time : 0.0 sec. user=mdettweiler [2013-05-21 21:01:52] 601*2^1246135-1 is not prime. Res64: 1D4EF59B350B646C Time : 0.0 sec. user=mdettweiler [2013-05-21 21:07:11] 921*2^1246134-1 is not prime. Res64: 19649F088A2F65C8 Time : 0.0 sec. user=mdettweiler [2013-05-21 21:20:07] 649*2^1246135-1 is not prime. Res64: 59E023CC09D83F3A Time : 0.0 sec. user=mdettweiler [2013-05-21 21:24:49] 855*2^1246135-1 is not prime. Res64: 7398750BBAACA5C8 Time : 0.0 sec. user=mdettweiler [2013-05-21 21:24:49] 871*2^1246135-1 is not prime. Res64: 7AD48B1D6B66C7F8 Time : 0.0 sec. user=mdettweiler [2013-05-21 21:42:47] 659*2^1246136-1 is not prime. Res64: 8426D21A20297F1F Time : 0.0 sec. user=mdettweiler [2013-05-21 21:42:47] 663*2^1246136-1 is not prime. Res64: 7B69CE189E8FA711 Time : 0.0 sec. user=mdettweiler [2013-05-21 21:55:57] 715*2^1246135-1 is not prime. Res64: 09B03E1A91E690C6 Time : 0.0 sec. user=mdettweiler [2013-05-21 22:00:41] 699*2^1246136-1 is not prime. Res64: 70D270E656BB0AFC Time : 0.0 sec. user=mdettweiler [2013-05-21 22:39:55] 717*2^1246136-1 is not prime. Res64: 23029693BFF9A1D5 Time : 0.0 sec. user=mdettweiler [2013-05-21 22:50:40] 743*2^1246136-1 is not prime. Res64: B248ABA41D9AF0FA Time : 0.0 sec. user=mdettweiler [2013-05-21 23:08:56] 803*2^1246136-1 is not prime. Res64: 589AB617E46CC94F Time : 0.0 sec. user=mdettweiler [2013-05-21 23:16:07] 873*2^1246136-1 is not prime. Res64: 683B04C970901AD1 Time : 0.0 sec. user=mdettweiler [2013-05-21 23:16:07] 893*2^1246136-1 is not prime. Res64: 2D5751EFCC9AA54D Time : 0.0 sec. user=mdettweiler [2013-05-21 23:27:55] 999*2^1246136-1 is not prime. Res64: 8E4F9F2340D04503 Time : 0.0 sec. user=mdettweiler [2013-05-21 23:33:56] 667*2^1246137-1 is not prime. Res64: 3A189DB332C89BDE Time : 0.0 sec. user=mdettweiler [2013-05-21 23:33:56] 685*2^1246137-1 is not prime. Res64: B7D7F37F9DD9B2E7 Time : 0.0 sec. user=mdettweiler [2013-05-21 23:51:47] 709*2^1246137-1 is not prime. Res64: 3C607F0692AFF237 Time : 0.0 sec. user=mdettweiler [2013-05-21 23:51:47] 747*2^1246137-1 is not prime. Res64: 97BA6D256C8D347A Time : 0.0 sec.