user=mdettweiler [2012-01-31 00:08:10] 649*2^1003335-1 is not prime. Res64: F206F0DAF1C6665D Time : 0.0 sec. user=mdettweiler [2012-01-31 00:08:11] 705*2^1003335-1 is not prime. Res64: 9279D302C990C3AE Time : 0.0 sec. user=mdettweiler [2012-01-31 00:12:54] 789*2^1003335-1 is not prime. Res64: CF0219607003AAB6 Time : 0.0 sec. user=mdettweiler [2012-01-31 00:12:57] 793*2^1003335-1 is not prime. Res64: 5556DED68B4583D8 Time : 0.0 sec. user=mdettweiler [2012-01-31 00:14:43] 819*2^1003335-1 is not prime. Res64: 87996B268C4E9A0A Time : 0.0 sec. user=mdettweiler [2012-01-31 00:14:43] 871*2^1003335-1 is not prime. Res64: F0D9A38EE805983C Time : 0.0 sec. user=mdettweiler [2012-01-31 00:16:41] 653*2^1003336-1 is not prime. Res64: 330869A2030D8F0A Time : 0.0 sec. user=mdettweiler [2012-01-31 00:16:42] 743*2^1003336-1 is not prime. Res64: 6343F9B141327847 Time : 0.0 sec. user=mdettweiler [2012-01-31 00:28:00] 747*2^1003336-1 is not prime. Res64: D03A8CBCA86596D3 Time : 0.0 sec. user=mdettweiler [2012-01-31 00:28:00] 833*2^1003336-1 is not prime. Res64: 8C2014A19CAEE30D Time : 0.0 sec. user=mdettweiler [2012-01-31 00:34:55] 855*2^1003336-1 is not prime. Res64: CD2D4A49CAD61F09 Time : 0.0 sec. user=mdettweiler [2012-01-31 00:34:56] 903*2^1003336-1 is not prime. Res64: 23D8D6FE98CCDA54 Time : 0.0 sec. user=mdettweiler [2012-01-31 00:36:32] 649*2^1003337-1 is not prime. Res64: B1E1B24CBF57123F Time : 0.0 sec. user=mdettweiler [2012-01-31 00:36:32] 747*2^1003337-1 is not prime. Res64: 58E65A83FD20864C Time : 0.0 sec. user=mdettweiler [2012-01-31 00:37:06] 663*2^1003338-1 is not prime. Res64: EC2FD2C47708EF24 Time : 0.0 sec. user=mdettweiler [2012-01-31 00:37:09] 801*2^1003338-1 is not prime. Res64: 0EB5E95A0DFD7B2E Time : 0.0 sec. user=mdettweiler [2012-01-31 00:39:04] 923*2^1003336-1 is not prime. Res64: 1CE534C2A9CC0CF8 Time : 0.0 sec. user=mdettweiler [2012-01-31 00:39:05] 957*2^1003336-1 is not prime. Res64: D7EE9339DA0E6FB5 Time : 0.0 sec. user=mdettweiler [2012-01-31 00:44:50] 745*2^1003339-1 is not prime. Res64: 4929C7DB6E8FA166 Time : 0.0 sec. user=mdettweiler [2012-01-31 00:45:13] 835*2^1003339-1 is not prime. Res64: F9AE01EC15F0A3AC Time : 0.0 sec. user=mdettweiler [2012-01-31 00:47:47] 889*2^1003337-1 is not prime. Res64: 0E7A21F1C754FE67 Time : 0.0 sec. user=mdettweiler [2012-01-31 00:47:48] 611*2^1003338-1 is not prime. Res64: 7D6A18C24262A7D2 Time : 0.0 sec. user=mdettweiler [2012-01-31 00:53:02] 609*2^1003340-1 is not prime. Res64: 45C09B2544D0CFB4 Time : 0.0 sec. user=mdettweiler [2012-01-31 00:54:24] 951*2^1003339-1 is not prime. Res64: E82CE1A85E94CF60 Time : 0.0 sec. user=mdettweiler [2012-01-31 00:56:16] 615*2^1003339-1 is not prime. Res64: 64BF6A673B5BE359 Time : 0.0 sec. user=mdettweiler [2012-01-31 00:56:16] 741*2^1003339-1 is not prime. Res64: 45F34BB481E26C57 Time : 0.0 sec. user=mdettweiler [2012-01-31 00:56:58] 881*2^1003338-1 is not prime. Res64: CA9D72FC9455D6D9 Time : 0.0 sec. user=mdettweiler [2012-01-31 00:56:59] 933*2^1003338-1 is not prime. Res64: 03BA0151891E1999 Time : 0.0 sec. user=mdettweiler [2012-01-31 00:58:18] 945*2^1003333-1 is not prime. Res64: 059511265AA6833E Time : 0.0 sec. user=mdettweiler [2012-01-31 00:58:18] 617*2^1003334-1 is not prime. Res64: 07017B27ADDE4A39 Time : 0.0 sec. user=mdettweiler [2012-01-31 01:00:23] 795*2^1003340-1 is not prime. Res64: C7E65F2AF174D0DE Time : 0.0 sec. user=mdettweiler [2012-01-31 01:01:05] 861*2^1003339-1 is not prime. Res64: 1172375C3BFEAA31 Time : 0.0 sec. user=mdettweiler [2012-01-31 01:01:06] 931*2^1003339-1 is not prime. Res64: 97042165C58CDCD9 Time : 0.0 sec. user=mdettweiler [2012-01-31 01:01:42] 827*2^1003340-1 is not prime. Res64: DB62014134C2F257 Time : 0.0 sec. user=mdettweiler [2012-01-31 01:07:39] 659*2^1003340-1 is not prime. Res64: B283FB367F1A6961 Time : 0.0 sec. user=mdettweiler [2012-01-31 01:07:39] 663*2^1003340-1 is not prime. Res64: 2D7520EB27CCEC0C Time : 0.0 sec. user=mdettweiler [2012-01-31 01:07:56] 741*2^1003342-1 is not prime. Res64: CCECAD11B8E14656 Time : 0.0 sec. user=mdettweiler [2012-01-31 01:09:03] 867*2^1003342-1 is not prime. Res64: 014D16B672627966 Time : 0.0 sec. user=mdettweiler [2012-01-31 01:16:25] 615*2^1003343-1 is not prime. Res64: 4074E1F73EA692B8 Time : 0.0 sec. user=mdettweiler [2012-01-31 01:16:45] 921*2^1003334-1 is not prime. Res64: AE8412272E807F14 Time : 0.0 sec. user=mdettweiler [2012-01-31 01:16:45] 953*2^1003334-1 is not prime. Res64: 7602C73E4CCAF1CC Time : 0.0 sec. user=mdettweiler [2012-01-31 01:16:55] 983*2^1003342-1 is not prime. Res64: ED5B4238FF77287C Time : 0.0 sec. user=mdettweiler [2012-01-31 01:19:02] 995*2^1003340-1 is not prime. Res64: EF94FBC35C1CAE40 Time : 0.0 sec. user=mdettweiler [2012-01-31 01:19:02] 777*2^1003341-1 is not prime. Res64: 0002F379041D8935 Time : 0.0 sec. user=mdettweiler [2012-01-31 01:20:34] 929*2^1003340-1 is not prime. Res64: D6B53180D01FD6DD Time : 0.0 sec. user=mdettweiler [2012-01-31 01:20:34] 983*2^1003340-1 is not prime. Res64: 66552024B3D77379 Time : 0.0 sec. user=mdettweiler [2012-01-31 01:20:57] 831*2^1003342-1 is not prime. Res64: 2888D25DA1083236 Time : 0.0 sec. user=mdettweiler [2012-01-31 01:20:57] 833*2^1003342-1 is not prime. Res64: BB4B6994A68EF812 Time : 0.0 sec. user=mdettweiler [2012-01-31 01:22:10] 909*2^1003335-1 is not prime. Res64: AC4AA3BA45368950 Time : 0.0 sec. user=mdettweiler [2012-01-31 01:22:11] 645*2^1003336-1 is not prime. Res64: 7BA0DE6569174F1E Time : 0.0 sec. user=mdettweiler [2012-01-31 01:23:43] 685*2^1003343-1 is not prime. Res64: 3FE9D1B66F2B6C8E Time : 0.0 sec. user=mdettweiler [2012-01-31 01:25:56] 943*2^1003343-1 is not prime. Res64: 3BB0A6B89A7776A9 Time : 0.0 sec. user=mdettweiler [2012-01-31 01:29:51] 891*2^1003342-1 is not prime. Res64: F4809ED216CDDDF6 Time : 0.0 sec. user=mdettweiler [2012-01-31 01:29:52] 917*2^1003342-1 is not prime. Res64: D1574E2893A85575 Time : 0.0 sec. user=mdettweiler [2012-01-31 01:31:01] 789*2^1003345-1 is not prime. Res64: F000EC6B1F838C42 Time : 0.0 sec. user=mdettweiler [2012-01-31 01:34:54] 909*2^1003345-1 is not prime. Res64: 4857A5B4BB7A279F Time : 0.0 sec. user=mdettweiler [2012-01-31 01:38:21] 641*2^1003346-1 is not prime. Res64: 41F01EA5228C4649 Time : 0.0 sec. user=mdettweiler [2012-01-31 01:40:24] 635*2^1003344-1 is not prime. Res64: F107AFB280BE3753 Time : 0.0 sec. user=mdettweiler [2012-01-31 01:40:25] 639*2^1003344-1 is not prime. Res64: A212B4B82319F466 Time : 0.0 sec. user=mdettweiler [2012-01-31 01:40:44] 675*2^1003344-1 is not prime. Res64: AD2A8FD2ECA12AC9 Time : 0.0 sec. user=mdettweiler [2012-01-31 01:40:44] 875*2^1003344-1 is not prime. Res64: B2C5C831D0D53518 Time : 0.0 sec. user=mdettweiler [2012-01-31 01:42:15] 743*2^1003346-1 is not prime. Res64: 5E5CE3415B2A5603 Time : 0.0 sec. user=mdettweiler [2012-01-31 01:43:23] 973*2^1003343-1 is not prime. Res64: 9D46F9DD720D8DB8 Time : 0.0 sec. user=mdettweiler [2012-01-31 01:43:23] 993*2^1003343-1 is not prime. Res64: F4E10EE7F3D7D42A Time : 0.0 sec. user=mdettweiler [2012-01-31 01:45:42] 783*2^1003346-1 is not prime. Res64: EB2F8905C0440A00 Time : 0.0 sec. user=mdettweiler [2012-01-31 01:49:36] 825*2^1003347-1 is not prime. Res64: 5A3D6104D9F192F7 Time : 0.0 sec. user=mdettweiler [2012-01-31 01:53:03] 665*2^1003348-1 is not prime. Res64: 635232EBACD33AF3 Time : 0.0 sec. user=mdettweiler [2012-01-31 01:54:14] 915*2^1003345-1 is not prime. Res64: E65D6D4EF09DA3A1 Time : 0.0 sec. user=mdettweiler [2012-01-31 01:54:14] 987*2^1003345-1 is not prime. Res64: 8053E552D167EE64 Time : 0.0 sec. user=mdettweiler [2012-01-31 01:56:55] 677*2^1003348-1 is not prime. Res64: 7F654E25C636B661 Time : 0.0 sec. user=mdettweiler [2012-01-31 02:00:24] 695*2^1003348-1 is not prime. Res64: 03695D594EB2B3FC Time : 0.0 sec. user=mdettweiler [2012-01-31 02:02:54] 993*2^1003346-1 is not prime. Res64: 62DBC5AAF3DC1F8A Time : 0.0 sec. user=mdettweiler [2012-01-31 02:02:55] 649*2^1003347-1 is not prime. Res64: F2001FA218F83552 Time : 0.0 sec. user=mdettweiler [2012-01-31 02:04:16] 887*2^1003348-1 is not prime. Res64: 95CDD5DC51449166 Time : 0.0 sec. user=mdettweiler [2012-01-31 02:04:52] 911*2^1003346-1 is not prime. Res64: 783DD9F26EF5A37C Time : 0.0 sec. user=mdettweiler [2012-01-31 02:04:53] 917*2^1003346-1 is not prime. Res64: 342098B0CE1CC573 Time : 0.0 sec. user=mdettweiler [2012-01-31 02:05:29] 903*2^1003347-1 is not prime. Res64: CE52F7E2C12F7BF0 Time : 0.0 sec. user=mdettweiler [2012-01-31 02:05:30] 657*2^1003348-1 is not prime. Res64: 8840159C7A299450 Time : 0.0 sec. user=mdettweiler [2012-01-31 02:07:45] 899*2^1003348-1 is not prime. Res64: 46E8483A475C7F52 Time : 0.0 sec. user=mdettweiler [2012-01-31 02:11:34] 645*2^1003349-1 is not prime. Res64: 6F1810FEDA4B645E Time : 0.0 sec. user=mdettweiler [2012-01-31 02:13:57] 705*2^1003348-1 is not prime. Res64: 5DE0CF64350DF44E Time : 0.0 sec. user=mdettweiler [2012-01-31 02:13:58] 765*2^1003348-1 is not prime. Res64: 1E75E1928E4DD401 Time : 0.0 sec. user=mdettweiler [2012-01-31 02:16:44] 957*2^1003349-1 is not prime. Res64: 098042FFD4C2D95C Time : 0.0 sec. user=mdettweiler [2012-01-31 02:20:36] 969*2^1003349-1 is not prime. Res64: E5C727AA235D4B0E Time : 0.0 sec. user=mdettweiler [2012-01-31 02:24:02] 745*2^1003351-1 is not prime. Res64: 2EC8CC26D1BE1640 Time : 0.0 sec. user=mdettweiler [2012-01-31 02:24:43] 721*2^1003349-1 is not prime. Res64: C471C6AC10645DCA Time : 0.0 sec. user=mdettweiler [2012-01-31 02:24:44] 747*2^1003349-1 is not prime. Res64: 2EAB796181EE1832 Time : 0.0 sec. user=mdettweiler [2012-01-31 02:25:17] 789*2^1003349-1 is not prime. Res64: F4DFB07CF355411D Time : 0.0 sec. user=mdettweiler [2012-01-31 02:25:17] 889*2^1003349-1 is not prime. Res64: F38A1738ABF77C93 Time : 0.0 sec. user=mdettweiler [2012-01-31 02:27:14] 927*2^1003348-1 is not prime. Res64: E7C256181D7F155F Time : 0.0 sec. user=mdettweiler [2012-01-31 02:27:15] 953*2^1003348-1 is not prime. Res64: 9C2D8B74037F2FCB Time : 0.0 sec. user=mdettweiler [2012-01-31 02:27:56] 771*2^1003351-1 is not prime. Res64: 7E33CAD4CC5FF355 Time : 0.0 sec. user=mdettweiler [2012-01-31 02:31:22] 783*2^1003351-1 is not prime. Res64: 6BB5649D5C959E49 Time : 0.0 sec. user=mdettweiler [2012-01-31 02:32:16] 997*2^1003341-1 is not prime. Res64: 3FCB0C8E7AED3F9B Time : 0.0 sec. user=mdettweiler [2012-01-31 02:32:17] 999*2^1003341-1 is not prime. Res64: E66E3B9F34020826 Time : 0.0 sec. user=mdettweiler [2012-01-31 02:33:26] 721*2^1003343-1 is not prime. Res64: 61D55A08D98059B4 Time : 0.0 sec. user=mdettweiler [2012-01-31 02:33:28] 771*2^1003343-1 is not prime. Res64: 0D09BC2A3533DFA1 Time : 0.0 sec. user=mdettweiler [2012-01-31 02:33:55] 647*2^1003350-1 is not prime. Res64: 7CF17ED29A25B1E1 Time : 0.0 sec. user=mdettweiler [2012-01-31 02:33:56] 625*2^1003351-1 is not prime. Res64: 5CE7B057DFF23570 Time : 0.0 sec. user=mdettweiler [2012-01-31 02:35:15] 639*2^1003353-1 is not prime. Res64: 6501D57C450ECDBD Time : 0.0 sec. user=mdettweiler [2012-01-31 02:38:41] 739*2^1003353-1 is not prime. Res64: ADC323849AF01AF9 Time : 0.0 sec. user=mdettweiler [2012-01-31 02:38:47] 667*2^1003345-1 is not prime. Res64: 4C984D1D9EC08588 Time : 0.0 sec. user=mdettweiler [2012-01-31 02:38:48] 759*2^1003345-1 is not prime. Res64: C54B040DF7CEBCC0 Time : 0.0 sec. user=mdettweiler [2012-01-31 02:42:36] 635*2^1003354-1 is not prime. Res64: D41DD26BBEBD00C9 Time : 0.0 sec. user=mdettweiler [2012-01-31 02:44:31] 855*2^1003351-1 is not prime. Res64: D689D74C44AA7553 Time : 0.0 sec. user=mdettweiler [2012-01-31 02:44:31] 889*2^1003351-1 is not prime. Res64: A37B43299E807D6D Time : 0.0 sec. user=mdettweiler [2012-01-31 02:46:02] 681*2^1003354-1 is not prime. Res64: 62589D3D9D02B763 Time : 0.0 sec. user=mdettweiler [2012-01-31 02:47:21] 909*2^1003351-1 is not prime. Res64: E048CF3CE425DB21 Time : 0.0 sec. user=mdettweiler [2012-01-31 02:47:22] 657*2^1003352-1 is not prime. Res64: 54D10F8E17126478 Time : 0.0 sec. user=mdettweiler [2012-01-31 02:49:55] 827*2^1003354-1 is not prime. Res64: 1E39E6DEA9B61D86 Time : 0.0 sec. user=mdettweiler [2012-01-31 02:51:36] 945*2^1003352-1 is not prime. Res64: 9F636BC642791CC9 Time : 0.0 sec. user=mdettweiler [2012-01-31 02:51:36] 957*2^1003352-1 is not prime. Res64: 99B2CC06173661CB Time : 0.0 sec. user=mdettweiler [2012-01-31 02:53:22] 643*2^1003355-1 is not prime. Res64: 23B3C7E1F03199CA Time : 0.0 sec. user=mdettweiler [2012-01-31 02:56:03] 889*2^1003353-1 is not prime. Res64: 024AA3325D54412B Time : 0.0 sec. user=mdettweiler [2012-01-31 02:56:04] 921*2^1003353-1 is not prime. Res64: 18E7679D798C293C Time : 0.0 sec. user=mdettweiler [2012-01-31 02:57:16] 859*2^1003355-1 is not prime. Res64: EFB03B84341460DE Time : 0.0 sec. user=mdettweiler [2012-01-31 03:00:44] 669*2^1003356-1 is not prime. Res64: 4E2EC83AAD5478D9 Time : 0.0 sec. user=mdettweiler [2012-01-31 03:04:22] 885*2^1003354-1 is not prime. Res64: DA9B0ADD45E3F657 Time : 0.0 sec. user=mdettweiler [2012-01-31 03:04:22] 887*2^1003354-1 is not prime. Res64: 73062EF2C51B42D5 Time : 0.0 sec. user=mdettweiler [2012-01-31 03:04:35] 717*2^1003356-1 is not prime. Res64: A505C4AE9204B880 Time : 0.0 sec. user=mdettweiler [2012-01-31 03:07:12] 669*2^1003355-1 is not prime. Res64: 349E0CC56F3AC6EA Time : 0.0 sec. user=mdettweiler [2012-01-31 03:07:14] 699*2^1003355-1 is not prime. Res64: 471CA3386C0A9714 Time : 0.0 sec. user=mdettweiler [2012-01-31 03:08:07] 767*2^1003356-1 is not prime. Res64: FB000F5121CCEF79 Time : 0.0 sec. user=mdettweiler [2012-01-31 03:11:56] 845*2^1003356-1 is not prime. Res64: F53499D5FE9EEB32 Time : 0.0 sec. user=mdettweiler [2012-01-31 03:13:55] 949*2^1003355-1 is not prime. Res64: E6BDE3F14F7285F2 Time : 0.0 sec. user=mdettweiler [2012-01-31 03:13:56] 653*2^1003356-1 is not prime. Res64: C9AE8CFAEB486E2F Time : 0.0 sec. user=mdettweiler [2012-01-31 03:15:30] 607*2^1003357-1 is not prime. Res64: A6BD4E9C5BD83EC6 Time : 0.0 sec. user=mdettweiler [2012-01-31 03:16:19] 693*2^1003356-1 is not prime. Res64: 1020C894D59E01BA Time : 0.0 sec. user=mdettweiler [2012-01-31 03:16:20] 695*2^1003356-1 is not prime. Res64: 7248C90C670F0DE6 Time : 0.0 sec. user=mdettweiler [2012-01-31 03:19:18] 889*2^1003357-1 is not prime. Res64: F306DEE8ECCAF13B Time : 0.0 sec. user=mdettweiler [2012-01-31 03:24:24] 777*2^1003356-1 is not prime. Res64: 1B0DBDCD479D042F Time : 0.0 sec. user=mdettweiler [2012-01-31 03:24:24] 783*2^1003356-1 is not prime. Res64: 233EB324E146F7DB Time : 0.0 sec. user=mdettweiler [2012-01-31 03:24:26] 961*2^1003357-1 is not prime. Res64: 6F4BFD76A35EADC0 Time : 0.0 sec. user=mdettweiler [2012-01-31 03:26:38] 705*2^1003358-1 is not prime. Res64: 28DAA4D164E21835 Time : 0.0 sec. user=mdettweiler [2012-01-31 03:31:45] 679*2^1003359-1 is not prime. Res64: BF8BB28F3A36FD2F Time : 0.0 sec. user=mdettweiler [2012-01-31 03:31:47] 933*2^1003356-1 is not prime. Res64: A570A28747D97D98 Time : 0.0 sec. user=mdettweiler [2012-01-31 03:31:48] 975*2^1003356-1 is not prime. Res64: 46E7A498A7694CD4 Time : 0.0 sec. user=mdettweiler [2012-01-31 03:33:57] 703*2^1003359-1 is not prime. Res64: A8C5E914621019AD Time : 0.0 sec. user=mdettweiler [2012-01-31 03:36:09] 665*2^1003358-1 is not prime. Res64: 8EFEFB3F9B6F64CA Time : 0.0 sec. user=mdettweiler [2012-01-31 03:36:10] 687*2^1003358-1 is not prime. Res64: F65CD670765BF9AE Time : 0.0 sec. user=mdettweiler [2012-01-31 03:38:14] 945*2^1003357-1 is not prime. Res64: 01F1C24EF2D4534E Time : 0.0 sec. user=mdettweiler [2012-01-31 03:38:15] 955*2^1003357-1 is not prime. Res64: 90E299E625D80F5B Time : 0.0 sec. user=mdettweiler [2012-01-31 03:39:07] 751*2^1003359-1 is not prime. Res64: E95CBF3201D19EAE Time : 0.0 sec. user=mdettweiler [2012-01-31 03:41:18] 609*2^1003360-1 is not prime. Res64: C121B88895B621AF Time : 0.0 sec. user=mdettweiler [2012-01-31 03:46:26] 717*2^1003361-1 is not prime. Res64: 768B4AFE085DEADD Time : 0.0 sec. user=mdettweiler [2012-01-31 03:46:27] 827*2^1003358-1 is not prime. Res64: 3285C911AD266B2D Time : 0.0 sec. user=mdettweiler [2012-01-31 03:46:27] 971*2^1003358-1 is not prime. Res64: D202C5BD8D3084BF Time : 0.0 sec. user=mdettweiler [2012-01-31 03:48:37] 781*2^1003353-1 is not prime. Res64: 4C1C616BE98DBDD5 Time : 0.0 sec. user=mdettweiler [2012-01-31 03:48:37] 861*2^1003361-1 is not prime. Res64: AD43F479645A1EA5 Time : 0.0 sec. user=mdettweiler [2012-01-31 03:48:37] 835*2^1003353-1 is not prime. Res64: CC7E6B858ABFAA3F Time : 0.0 sec. user=mdettweiler [2012-01-31 03:49:47] 847*2^1003353-1 is not prime. Res64: 2FB2082191417B4A Time : 0.0 sec. user=mdettweiler [2012-01-31 03:49:47] 849*2^1003353-1 is not prime. Res64: 05AC4ADD5FF3956C Time : 0.0 sec. user=mdettweiler [2012-01-31 03:51:34] 769*2^1003359-1 is not prime. Res64: 9C8025211E3A9CCB Time : 0.0 sec. user=mdettweiler [2012-01-31 03:51:35] 605*2^1003360-1 is not prime. Res64: 1B902F052EAE6A44 Time : 0.0 sec. user=mdettweiler [2012-01-31 03:53:45] 865*2^1003361-1 is not prime. Res64: 196ABBB62032F0E5 Time : 0.0 sec. user=mdettweiler [2012-01-31 03:55:09] 705*2^1003354-1 is not prime. Res64: 1935794152A62009 Time : 0.0 sec. user=mdettweiler [2012-01-31 03:55:09] 791*2^1003354-1 is not prime. Res64: 3C23649FEB7CAB4A Time : 0.0 sec. user=mdettweiler [2012-01-31 03:55:56] 671*2^1003362-1 is not prime. Res64: 1A8B9E5B30A5CE84 Time : 0.0 sec. user=mdettweiler [2012-01-31 03:55:58] 723*2^1003360-1 is not prime. Res64: CD576D01AEA1684C Time : 0.0 sec. user=mdettweiler [2012-01-31 03:55:58] 827*2^1003360-1 is not prime. Res64: 9108D1492ED660AE Time : 0.0 sec. user=mdettweiler [2012-01-31 03:57:59] 857*2^1003360-1 is not prime. Res64: 5059E2229D3EBA46 Time : 0.0 sec. user=mdettweiler [2012-01-31 03:57:59] 887*2^1003360-1 is not prime. Res64: 4EAD00564E1D860E Time : 0.0 sec. user=mdettweiler [2012-01-31 04:01:08] 735*2^1003363-1 is not prime. Res64: 95FD6D168B0176E2 Time : 0.0 sec. user=mdettweiler [2012-01-31 04:03:17] 793*2^1003363-1 is not prime. Res64: 5D43D42256140BEA Time : 0.0 sec. user=mdettweiler [2012-01-31 04:06:12] 871*2^1003361-1 is not prime. Res64: 16E4A153AACE1ABA Time : 0.0 sec. user=mdettweiler [2012-01-31 04:06:15] 885*2^1003361-1 is not prime. Res64: E99F4BA7273ED35F Time : 0.0 sec. user=mdettweiler [2012-01-31 04:08:27] 629*2^1003364-1 is not prime. Res64: 96E03A5CD5E85556 Time : 0.0 sec. user=mdettweiler [2012-01-31 04:11:18] 737*2^1003362-1 is not prime. Res64: B1BA5FC735829562 Time : 0.0 sec. user=mdettweiler [2012-01-31 04:11:19] 705*2^1003363-1 is not prime. Res64: 1227D1393F4D1B2C Time : 0.0 sec. user=mdettweiler [2012-01-31 04:12:12] 935*2^1003364-1 is not prime. Res64: 45DBFF7D785169E8 Time : 0.0 sec. user=mdettweiler [2012-01-31 04:15:47] 871*2^1003363-1 is not prime. Res64: 71314F6CF31427CB Time : 0.0 sec. user=mdettweiler [2012-01-31 04:15:48] 735*2^1003365-1 is not prime. Res64: C1F89F8D89E554AD Time : 0.0 sec. user=mdettweiler [2012-01-31 04:15:48] 883*2^1003363-1 is not prime. Res64: 60AEE3CE5726C13A Time : 0.0 sec. user=mdettweiler [2012-01-31 04:19:32] 811*2^1003365-1 is not prime. Res64: 7E7346BD22638926 Time : 0.0 sec. user=mdettweiler [2012-01-31 04:20:02] 925*2^1003363-1 is not prime. Res64: 5DF59843BE84F719 Time : 0.0 sec. user=mdettweiler [2012-01-31 04:20:02] 615*2^1003364-1 is not prime. Res64: F0BDDBF4D5AB2B99 Time : 0.0 sec. user=mdettweiler [2012-01-31 04:23:06] 861*2^1003365-1 is not prime. Res64: 90A108ADDCE2FC56 Time : 0.0 sec. user=mdettweiler [2012-01-31 04:26:51] 717*2^1003366-1 is not prime. Res64: 7B0A075D2EDA783C Time : 0.0 sec. user=mdettweiler [2012-01-31 04:30:28] 619*2^1003367-1 is not prime. Res64: 7C2F2B0F15F8526F Time : 0.0 sec. user=mdettweiler [2012-01-31 04:30:42] 959*2^1003364-1 is not prime. Res64: C5F421481B8B9E12 Time : 0.0 sec. user=mdettweiler [2012-01-31 04:30:43] 969*2^1003364-1 is not prime. Res64: 57BBFDFC03A16781 Time : 0.0 sec. user=mdettweiler [2012-01-31 04:31:06] 787*2^1003365-1 is not prime. Res64: 7D6BAFEA147EDC91 Time : 0.0 sec. user=mdettweiler [2012-01-31 04:31:06] 805*2^1003365-1 is not prime. Res64: 3089E0E85C976AE5 Time : 0.0 sec. user=mdettweiler [2012-01-31 04:34:11] 645*2^1003367-1 is not prime. Res64: 17BCBCC71340640D Time : 0.0 sec. user=mdettweiler [2012-01-31 04:37:50] 675*2^1003367-1 is not prime. Res64: 96CC1CF6176B193F Time : 0.0 sec. user=mdettweiler [2012-01-31 04:37:53] 961*2^1003365-1 is not prime. Res64: 8EA6E5EBE8603D73 Time : 0.0 sec. user=mdettweiler [2012-01-31 04:37:54] 713*2^1003366-1 is not prime. Res64: 6324C8667FC26F6E Time : 0.0 sec. user=mdettweiler [2012-01-31 04:39:45] 881*2^1003366-1 is not prime. Res64: 99A623FF2567EAEF Time : 0.0 sec. user=mdettweiler [2012-01-31 04:39:46] 615*2^1003367-1 is not prime. Res64: 7336EE6FF0BF3A07 Time : 0.0 sec. user=mdettweiler [2012-01-31 04:41:32] 825*2^1003368-1 is not prime. Res64: 6FBF3E41C5125FFC Time : 0.0 sec. user=mdettweiler [2012-01-31 04:45:10] 887*2^1003368-1 is not prime. Res64: 6ABA6CCFE101463F Time : 0.0 sec. user=mdettweiler [2012-01-31 04:48:51] 735*2^1003371-1 is not prime. Res64: EA70C7F2AC378678 Time : 0.0 sec. user=mdettweiler [2012-01-31 04:50:32] 663*2^1003368-1 is not prime. Res64: C2E16C6C0E3736D3 Time : 0.0 sec. user=mdettweiler [2012-01-31 04:50:32] 753*2^1003368-1 is not prime. Res64: 2D51B51231EDCA6A Time : 0.0 sec. user=mdettweiler [2012-01-31 04:50:50] 773*2^1003368-1 is not prime. Res64: 6B9D54051D87519E Time : 0.0 sec. user=mdettweiler [2012-01-31 04:50:51] 815*2^1003368-1 is not prime. Res64: 349FB8CD1C4B273F Time : 0.0 sec. user=mdettweiler [2012-01-31 04:52:32] 751*2^1003371-1 is not prime. Res64: 61D9827EEFE46A82 Time : 0.0 sec. user=mdettweiler [2012-01-31 04:56:11] 789*2^1003371-1 is not prime. Res64: 20C3AF6048881FD4 Time : 0.0 sec. user=mdettweiler [2012-01-31 04:57:41] 681*2^1003369-1 is not prime. Res64: C93E417E712183E7 Time : 0.0 sec. user=mdettweiler [2012-01-31 04:57:41] 747*2^1003369-1 is not prime. Res64: 303D79D192AF9CC6 Time : 0.0 sec. user=mdettweiler [2012-01-31 04:59:51] 825*2^1003372-1 is not prime. Res64: 85538428580584CB Time : 0.0 sec. user=mdettweiler [2012-01-31 05:01:48] 855*2^1003369-1 is not prime. Res64: 6E7F125C5223CE1D Time : 0.0 sec. user=mdettweiler [2012-01-31 05:01:49] 951*2^1003370-1 is not prime. Res64: BFDD448EE18EB3AD Time : 0.0 sec. user=mdettweiler [2012-01-31 05:03:30] 857*2^1003372-1 is not prime. Res64: 53951C1644E8A6AC Time : 0.0 sec. user=mdettweiler [2012-01-31 05:06:09] 705*2^1003362-1 is not prime. Res64: 73C9FAFA1684489A Time : 0.0 sec. user=mdettweiler [2012-01-31 05:06:10] 725*2^1003362-1 is not prime. Res64: 4937C74203438D94 Time : 0.0 sec. user=mdettweiler [2012-01-31 05:07:12] 729*2^1003373-1 is prime! Time : 0.0 sec. user=mdettweiler [2012-01-31 05:10:40] 687*2^1003372-1 is not prime. Res64: 42CB63E174A04D73 Time : 0.0 sec. user=mdettweiler [2012-01-31 05:10:41] 755*2^1003372-1 is not prime. Res64: 2B9F8DA04B8F50BD Time : 0.0 sec. user=mdettweiler [2012-01-31 05:10:49] 725*2^1003374-1 is not prime. Res64: 72A210295EF198C8 Time : 0.0 sec. user=mdettweiler [2012-01-31 05:11:38] 769*2^1003363-1 is not prime. Res64: 9E930645BC05CEFE Time : 0.0 sec. user=mdettweiler [2012-01-31 05:11:38] 789*2^1003363-1 is not prime. Res64: 03000EDC05A33126 Time : 0.0 sec. user=mdettweiler [2012-01-31 05:12:34] 961*2^1003371-1 is not prime. Res64: 538977B6FAB7C9AE Time : 0.0 sec. user=mdettweiler [2012-01-31 05:12:35] 605*2^1003372-1 is not prime. Res64: 197B85F4CCE9F05E Time : 0.0 sec. user=mdettweiler [2012-01-31 05:13:38] 889*2^1003361-1 is not prime. Res64: 041EE856F9D21F77 Time : 0.0 sec. user=mdettweiler [2012-01-31 05:13:38] 937*2^1003361-1 is not prime. Res64: 3AA8ED9BBF22B2F2 Time : 0.0 sec. user=mdettweiler [2012-01-31 05:16:03] 941*2^1003374-1 is not prime. Res64: 827D47724FF6CD67 Time : 0.0 sec. user=mdettweiler [2012-01-31 05:18:12] 679*2^1003375-1 is not prime. Res64: 446DCE2523CAE8BD Time : 0.0 sec. user=mdettweiler [2012-01-31 05:19:43] 947*2^1003372-1 is not prime. Res64: 470E61733F278624 Time : 0.0 sec. user=mdettweiler [2012-01-31 05:19:44] 685*2^1003373-1 is not prime. Res64: 2717D7D109F9AB24 Time : 0.0 sec. user=mdettweiler [2012-01-31 05:21:38] 801*2^1003373-1 is not prime. Res64: 1298096EBC5D0C86 Time : 0.0 sec. user=mdettweiler [2012-01-31 05:21:39] 663*2^1003374-1 is not prime. Res64: 356EA726F36EBC0E Time : 0.0 sec. user=mdettweiler [2012-01-31 05:23:22] 867*2^1003376-1 is not prime. Res64: 8898F7D4B4477749 Time : 0.0 sec. user=mdettweiler [2012-01-31 05:25:31] 893*2^1003376-1 is not prime. Res64: 758A41FE20F58580 Time : 0.0 sec. user=mdettweiler [2012-01-31 05:30:42] 759*2^1003377-1 is not prime. Res64: B60C52DC37BFCE7F Time : 0.0 sec. user=mdettweiler [2012-01-31 05:32:45] 971*2^1003374-1 is not prime. Res64: E07787058BD45A8F Time : 0.0 sec. user=mdettweiler [2012-01-31 05:32:46] 663*2^1003375-1 is not prime. Res64: 068969FF4D0735D5 Time : 0.0 sec. user=mdettweiler [2012-01-31 05:32:49] 871*2^1003377-1 is not prime. Res64: 2F3A89B1EFC23FF6 Time : 0.0 sec. user=mdettweiler [2012-01-31 05:34:41] 771*2^1003375-1 is not prime. Res64: F9D4CF328C8FA77F Time : 0.0 sec. user=mdettweiler [2012-01-31 05:34:42] 939*2^1003375-1 is not prime. Res64: 57AFF032B088E72C Time : 0.0 sec. user=mdettweiler [2012-01-31 05:39:33] 937*2^1003377-1 is not prime. Res64: BC6144EAC9C4D48B Time : 0.0 sec. user=mdettweiler [2012-01-31 05:40:07] 605*2^1003378-1 is not prime. Res64: B2A12A4DED6A7A1A Time : 0.0 sec. user=mdettweiler [2012-01-31 05:41:34] 685*2^1003377-1 is not prime. Res64: 5C545DDFF6B291CA Time : 0.0 sec. user=mdettweiler [2012-01-31 05:41:34] 699*2^1003377-1 is not prime. Res64: C9BB2581FD24D3D6 Time : 0.0 sec. user=mdettweiler [2012-01-31 05:44:02] 903*2^1003376-1 is not prime. Res64: D36B25BE34D4C40C Time : 0.0 sec. user=mdettweiler [2012-01-31 05:44:02] 935*2^1003376-1 is not prime. Res64: 604CF09E66490B80 Time : 0.0 sec. user=mdettweiler [2012-01-31 05:46:52] 887*2^1003378-1 is not prime. Res64: 53D957D45F17F914 Time : 0.0 sec. user=mdettweiler [2012-01-31 05:47:24] 891*2^1003378-1 is not prime. Res64: 779775539126CA31 Time : 0.0 sec. user=mdettweiler [2012-01-31 05:54:28] 647*2^1003378-1 is not prime. Res64: 2B64B7F454D24F16 Time : 0.0 sec. user=mdettweiler [2012-01-31 05:54:29] 825*2^1003378-1 is not prime. Res64: D211784C9CF162CE Time : 0.0 sec. user=mdettweiler [2012-01-31 05:54:43] 615*2^1003380-1 is not prime. Res64: 6899397C34E78EBD Time : 0.0 sec. user=mdettweiler [2012-01-31 05:54:53] 949*2^1003377-1 is not prime. Res64: 562E27C92BED26C1 Time : 0.0 sec. user=mdettweiler [2012-01-31 05:54:53] 603*2^1003378-1 is not prime. Res64: C5308BE485E5F14E Time : 0.0 sec. user=mdettweiler [2012-01-31 05:55:42] 973*2^1003379-1 is not prime. Res64: 43F1A91BC974D172 Time : 0.0 sec. user=mdettweiler [2012-01-31 06:02:02] 737*2^1003380-1 is not prime. Res64: 3251CC576A6DC401 Time : 0.0 sec. user=mdettweiler [2012-01-31 06:03:00] 745*2^1003381-1 is not prime. Res64: 7D5F4794F5C5B091 Time : 0.0 sec. user=mdettweiler [2012-01-31 06:06:02] 941*2^1003378-1 is not prime. Res64: 1382931C39B37A09 Time : 0.0 sec. user=mdettweiler [2012-01-31 06:06:03] 951*2^1003378-1 is not prime. Res64: 764C3957097D4DDD Time : 0.0 sec. user=mdettweiler [2012-01-31 06:06:09] 987*2^1003378-1 is not prime. Res64: 82CA1BB741B19D28 Time : 0.0 sec. user=mdettweiler [2012-01-31 06:06:10] 841*2^1003379-1 is not prime. Res64: 18C3770561B060B6 Time : 0.0 sec. user=mdettweiler [2012-01-31 06:09:21] 751*2^1003381-1 is not prime. Res64: 64F8E665D104AC45 Time : 0.0 sec. user=mdettweiler [2012-01-31 06:10:17] 861*2^1003381-1 is not prime. Res64: DDFD25A86D051119 Time : 0.0 sec. user=mdettweiler [2012-01-31 06:14:15] 627*2^1003380-1 is not prime. Res64: 1F5C87082BEC5A73 Time : 0.0 sec. user=mdettweiler [2012-01-31 06:14:15] 735*2^1003380-1 is not prime. Res64: F72264D441E58288 Time : 0.0 sec. user=mdettweiler [2012-01-31 06:14:35] 625*2^1003381-1 is not prime. Res64: 68CFCDECC8C5C2E8 Time : 0.0 sec. user=mdettweiler [2012-01-31 06:14:36] 727*2^1003381-1 is not prime. Res64: CC7F4B9E6FD8E68A Time : 0.0 sec. user=mdettweiler [2012-01-31 06:16:43] 677*2^1003382-1 is not prime. Res64: 409B5163233FFFCE Time : 0.0 sec. user=mdettweiler [2012-01-31 06:17:35] 731*2^1003382-1 is not prime. Res64: 67D136A709F06C0E Time : 0.0 sec. user=mdettweiler [2012-01-31 06:24:01] 619*2^1003383-1 is not prime. Res64: A6027A3148B60FCD Time : 0.0 sec. user=mdettweiler [2012-01-31 06:24:54] 625*2^1003383-1 is not prime. Res64: 798DDE1BD2198C83 Time : 0.0 sec. user=mdettweiler [2012-01-31 06:26:03] 635*2^1003382-1 is not prime. Res64: BD33C673241A895B Time : 0.0 sec. user=mdettweiler [2012-01-31 06:26:04] 665*2^1003382-1 is not prime. Res64: EFE46413F656A783 Time : 0.0 sec. user=mdettweiler [2012-01-31 06:28:12] 723*2^1003375-1 is not prime. Res64: 7F67DEE1246C3B75 Time : 0.0 sec. user=mdettweiler [2012-01-31 06:28:12] 741*2^1003375-1 is not prime. Res64: 1BF0697D98201A9D Time : 0.0 sec. user=mdettweiler [2012-01-31 06:28:12] 955*2^1003381-1 is not prime. Res64: F46150C4336DF429 Time : 0.0 sec. user=mdettweiler [2012-01-31 06:28:13] 603*2^1003382-1 is not prime. Res64: 254E56189C8E0B4E Time : 0.0 sec. user=mdettweiler [2012-01-31 06:30:18] 659*2^1003376-1 is not prime. Res64: D2B1916B7B444C83 Time : 0.0 sec. user=mdettweiler [2012-01-31 06:30:18] 699*2^1003376-1 is not prime. Res64: 418A712FE42A4078 Time : 0.0 sec. user=mdettweiler [2012-01-31 06:31:18] 643*2^1003383-1 is not prime. Res64: 0B8A1762237DB4A8 Time : 0.0 sec. user=mdettweiler [2012-01-31 06:31:30] 737*2^1003374-1 is not prime. Res64: FCB3A24946AC1B93 Time : 0.0 sec. user=mdettweiler [2012-01-31 06:31:31] 915*2^1003374-1 is not prime. Res64: 5D42494E78ADBEDC Time : 0.0 sec. user=mdettweiler [2012-01-31 06:32:17] 745*2^1003383-1 is not prime. Res64: E3E97F21D90ED7C1 Time : 0.0 sec. user=mdettweiler [2012-01-31 06:34:01] 741*2^1003382-1 is not prime. Res64: 02E9584B97DB7202 Time : 0.0 sec. user=mdettweiler [2012-01-31 06:34:01] 753*2^1003382-1 is not prime. Res64: B6A1FE3659F1E58C Time : 0.0 sec. user=mdettweiler [2012-01-31 06:36:35] 797*2^1003382-1 is not prime. Res64: C697593974A48769 Time : 0.0 sec. user=mdettweiler [2012-01-31 06:36:36] 965*2^1003382-1 is not prime. Res64: D9060765EC424B8F Time : 0.0 sec. user=mdettweiler [2012-01-31 06:38:35] 759*2^1003384-1 is not prime. Res64: 6D664391B05020E1 Time : 0.0 sec. user=mdettweiler [2012-01-31 06:41:11] 947*2^1003384-1 is not prime. Res64: 09C5D2738F155013 Time : 0.0 sec. user=mdettweiler [2012-01-31 06:45:47] 763*2^1003383-1 is not prime. Res64: 7F49250B2C10E421 Time : 0.0 sec. user=mdettweiler [2012-01-31 06:45:48] 789*2^1003383-1 is not prime. Res64: 6AAC113843BCF53C Time : 0.0 sec. user=mdettweiler [2012-01-31 06:45:54] 837*2^1003385-1 is not prime. Res64: C76D51217F04BD65 Time : 0.0 sec. user=mdettweiler [2012-01-31 06:48:30] 861*2^1003385-1 is not prime. Res64: D417BB771D1B550A Time : 0.0 sec. user=mdettweiler [2012-01-31 06:50:15] 933*2^1003383-1 is not prime. Res64: 7FC77EB4CDB137A5 Time : 0.0 sec. user=mdettweiler [2012-01-31 06:50:15] 615*2^1003384-1 is not prime. Res64: 48D83C024E5AE872 Time : 0.0 sec. user=mdettweiler [2012-01-31 06:53:12] 627*2^1003386-1 is not prime. Res64: 6EBB8A491D0BB0A4 Time : 0.0 sec. user=mdettweiler [2012-01-31 06:53:45] 601*2^1003385-1 is not prime. Res64: 6D1789977AFA01F8 Time : 0.0 sec. user=mdettweiler [2012-01-31 06:53:46] 697*2^1003385-1 is not prime. Res64: 6B0118D26A6DBFF1 Time : 0.0 sec. user=mdettweiler [2012-01-31 06:55:49] 635*2^1003386-1 is not prime. Res64: 47D28327F9B73951 Time : 0.0 sec. user=mdettweiler [2012-01-31 06:56:19] 771*2^1003385-1 is not prime. Res64: 62806F6EAEA67CFF Time : 0.0 sec. user=mdettweiler [2012-01-31 06:56:20] 787*2^1003385-1 is not prime. Res64: 2AA9FBC9C0D6AF4C Time : 0.0 sec. user=mdettweiler [2012-01-31 07:00:30] 825*2^1003386-1 is not prime. Res64: 367EEB14445CD7F7 Time : 0.0 sec. user=mdettweiler [2012-01-31 07:03:09] 885*2^1003387-1 is not prime. Res64: C8BBD1799B8A46D5 Time : 0.0 sec. user=mdettweiler [2012-01-31 07:07:51] 885*2^1003385-1 is not prime. Res64: F1BE017D4C9347F8 Time : 0.0 sec. user=mdettweiler [2012-01-31 07:07:52] 755*2^1003388-1 is not prime. Res64: 83703145AE667A8E Time : 0.0 sec. user=mdettweiler [2012-01-31 07:07:54] 937*2^1003385-1 is not prime. Res64: D8FB8FD10E670F0A Time : 0.0 sec. user=mdettweiler [2012-01-31 07:10:01] 683*2^1003386-1 is not prime. Res64: 988E6A91B63BD642 Time : 0.0 sec. user=mdettweiler [2012-01-31 07:10:02] 723*2^1003386-1 is not prime. Res64: 3111CE6F4898072E Time : 0.0 sec. user=mdettweiler [2012-01-31 07:10:34] 797*2^1003388-1 is not prime. Res64: 5DCBCA96264F3111 Time : 0.0 sec. user=mdettweiler [2012-01-31 07:13:33] 639*2^1003387-1 is not prime. Res64: C7F3E013A7563914 Time : 0.0 sec. user=mdettweiler [2012-01-31 07:13:34] 681*2^1003387-1 is not prime. Res64: 5522B99B86CDD663 Time : 0.0 sec. user=mdettweiler [2012-01-31 07:15:28] 615*2^1003389-1 is not prime. Res64: C8602F08447EB1E1 Time : 0.0 sec. user=mdettweiler [2012-01-31 07:17:53] 727*2^1003389-1 is not prime. Res64: 131F7DAACA5111C3 Time : 0.0 sec. user=mdettweiler [2012-01-31 07:18:20] 951*2^1003387-1 is not prime. Res64: ACE805ABDA50B086 Time : 0.0 sec. user=mdettweiler [2012-01-31 07:18:21] 753*2^1003388-1 is not prime. Res64: FDF347B9DAB8C8E5 Time : 0.0 sec. user=mdettweiler [2012-01-31 07:22:48] 687*2^1003390-1 is not prime. Res64: 3DD4786A886E9179 Time : 0.0 sec. user=mdettweiler [2012-01-31 07:25:13] 743*2^1003390-1 is not prime. Res64: 2B003576EEDEDA1F Time : 0.0 sec. user=mdettweiler [2012-01-31 07:27:39] 897*2^1003388-1 is not prime. Res64: 3C70220F590B03EE Time : 0.0 sec. user=mdettweiler [2012-01-31 07:27:40] 899*2^1003388-1 is not prime. Res64: 9EBFA945CAF98917 Time : 0.0 sec. user=mdettweiler [2012-01-31 07:29:50] 625*2^1003389-1 is not prime. Res64: BDE5FAD29047D0F4 Time : 0.0 sec. user=mdettweiler [2012-01-31 07:29:50] 661*2^1003389-1 is not prime. Res64: 7064FB39E041B73B Time : 0.0 sec. user=mdettweiler [2012-01-31 07:30:07] 891*2^1003390-1 is not prime. Res64: 86FD53E28FC2D685 Time : 0.0 sec. user=mdettweiler [2012-01-31 07:34:03] 971*2^1003390-1 is not prime. Res64: 81EBF08F0ECF59C7 Time : 0.0 sec. user=mdettweiler [2012-01-31 07:35:40] 885*2^1003389-1 is not prime. Res64: 6D6516967301BD5E Time : 0.0 sec. user=mdettweiler [2012-01-31 07:35:40] 999*2^1003389-1 is not prime. Res64: E663FE9ACB6E0516 Time : 0.0 sec. user=mdettweiler [2012-01-31 07:37:25] 679*2^1003391-1 is not prime. Res64: 9E2C8E35781A3227 Time : 0.0 sec. user=mdettweiler [2012-01-31 07:38:07] 777*2^1003390-1 is not prime. Res64: C4F3A339A9475EE3 Time : 0.0 sec. user=mdettweiler [2012-01-31 07:38:08] 857*2^1003390-1 is not prime. Res64: AA818FE4DE8CE765 Time : 0.0 sec. user=mdettweiler [2012-01-31 07:41:23] 735*2^1003391-1 is not prime. Res64: 0D63D476300E0F77 Time : 0.0 sec. user=mdettweiler [2012-01-31 07:44:49] 805*2^1003383-1 is not prime. Res64: 99D7532898B0626B Time : 0.0 sec. user=mdettweiler [2012-01-31 07:44:49] 829*2^1003383-1 is not prime. Res64: 4CA5627D1DF7D700 Time : 0.0 sec. user=mdettweiler [2012-01-31 07:46:15] 931*2^1003391-1 is not prime. Res64: 04CDD2122B0BF233 Time : 0.0 sec. user=mdettweiler [2012-01-31 07:46:50] 657*2^1003384-1 is not prime. Res64: 6CEF6510C0F112BE Time : 0.0 sec. user=mdettweiler [2012-01-31 07:46:50] 755*2^1003384-1 is not prime. Res64: A413670E3476319B Time : 0.0 sec. user=mdettweiler [2012-01-31 07:48:41] 689*2^1003392-1 is not prime. Res64: 183DC1ACDC7BD225 Time : 0.0 sec. user=mdettweiler [2012-01-31 07:51:56] 987*2^1003390-1 is not prime. Res64: B038A43AFCF431A2 Time : 0.0 sec. user=mdettweiler [2012-01-31 07:51:56] 661*2^1003391-1 is not prime. Res64: E85B17FAA65F9073 Time : 0.0 sec. user=mdettweiler [2012-01-31 07:52:09] 975*2^1003390-1 is not prime. Res64: C4841A5E4B8EAF0A Time : 0.0 sec. user=mdettweiler [2012-01-31 07:52:09] 981*2^1003390-1 is not prime. Res64: 300361939055AB98 Time : 0.0 sec. user=mdettweiler [2012-01-31 07:53:35] 753*2^1003392-1 is not prime. Res64: 679F54FCA6E5BC63 Time : 0.0 sec. user=mdettweiler [2012-01-31 07:55:37] 741*2^1003391-1 is not prime. Res64: DE61B7359403B6AC Time : 0.0 sec. user=mdettweiler [2012-01-31 07:55:37] 889*2^1003391-1 is not prime. Res64: 90E90A01F3223B6F Time : 0.0 sec. user=mdettweiler [2012-01-31 07:56:00] 679*2^1003393-1 is not prime. Res64: 5712AE94D515ABFB Time : 0.0 sec. user=mdettweiler [2012-01-31 07:56:32] 875*2^1003384-1 is not prime. Res64: 2FDC121F200C3554 Time : 0.0 sec. user=mdettweiler [2012-01-31 07:56:32] 915*2^1003384-1 is not prime. Res64: FE4E2D060EDFB4A8 Time : 0.0 sec. user=mdettweiler [2012-01-31 08:00:15] 969*2^1003391-1 is not prime. Res64: B3AB9B473D21B33E Time : 0.0 sec. user=mdettweiler [2012-01-31 08:00:24] 665*2^1003392-1 is not prime. Res64: 0C140A67EF7C8575 Time : 0.0 sec. user=mdettweiler [2012-01-31 08:02:54] 983*2^1003394-1 is not prime. Res64: 76C0818EDB1683D7 Time : 0.0 sec. user=mdettweiler [2012-01-31 08:03:42] 723*2^1003395-1 is not prime. Res64: D4374B2DC1FBFC56 Time : 0.0 sec. user=mdettweiler [2012-01-31 08:11:44] 811*2^1003393-1 is not prime. Res64: 65D9C89E9B51DD35 Time : 0.0 sec. user=mdettweiler [2012-01-31 08:11:45] 849*2^1003393-1 is not prime. Res64: 391B81103959EE91 Time : 0.0 sec. user=mdettweiler [2012-01-31 08:11:52] 919*2^1003395-1 is not prime. Res64: D82CCC655452A132 Time : 0.0 sec. user=mdettweiler [2012-01-31 08:12:04] 617*2^1003394-1 is not prime. Res64: 136CFC9EAABD1D1B Time : 0.0 sec. user=mdettweiler [2012-01-31 08:12:04] 645*2^1003394-1 is not prime. Res64: F7F698C6BD8AD680 Time : 0.0 sec. user=mdettweiler [2012-01-31 08:12:34] 963*2^1003395-1 is not prime. Res64: 579042DCC4FCC89A Time : 0.0 sec. user=mdettweiler [2012-01-31 08:17:42] 987*2^1003394-1 is not prime. Res64: 763DF9422CC65FA9 Time : 0.0 sec. user=mdettweiler [2012-01-31 08:17:43] 663*2^1003395-1 is not prime. Res64: C0805960ABD40DEC Time : 0.0 sec. user=mdettweiler [2012-01-31 08:19:14] 749*2^1003396-1 is not prime. Res64: 79802A35AEB776B7 Time : 0.0 sec. user=mdettweiler [2012-01-31 08:19:59] 717*2^1003397-1 is not prime. Res64: 0940304E8BA99085 Time : 0.0 sec. user=mdettweiler [2012-01-31 08:26:31] 771*2^1003397-1 is not prime. Res64: 205F49F3B8B4C0F4 Time : 0.0 sec. user=mdettweiler [2012-01-31 08:28:53] 985*2^1003397-1 is not prime. Res64: C10E906F4E7DF177 Time : 0.0 sec. user=mdettweiler [2012-01-31 08:32:02] 773*2^1003396-1 is not prime. Res64: 95DC8C9C6ACDF99C Time : 0.0 sec. user=mdettweiler [2012-01-31 08:32:03] 655*2^1003397-1 is not prime. Res64: 2089DCE278ADF885 Time : 0.0 sec. user=mdettweiler [2012-01-31 08:33:49] 893*2^1003398-1 is not prime. Res64: 1B854BC53B21ABE4 Time : 0.0 sec. user=mdettweiler [2012-01-31 08:33:56] 991*2^1003395-1 is not prime. Res64: 98D387A90342F48E Time : 0.0 sec. user=mdettweiler [2012-01-31 08:33:56] 707*2^1003396-1 is not prime. Res64: 6E9F654CC9C7B4A2 Time : 0.0 sec. user=mdettweiler [2012-01-31 08:37:47] 759*2^1003397-1 is not prime. Res64: DEE9387ED1703C10 Time : 0.0 sec. user=mdettweiler [2012-01-31 08:37:47] 769*2^1003397-1 is not prime. Res64: D2A6A639EE915B34 Time : 0.0 sec. user=mdettweiler [2012-01-31 08:37:49] 927*2^1003398-1 is not prime. Res64: C821C9F65798B6AB Time : 0.0 sec. user=mdettweiler [2012-01-31 08:41:07] 615*2^1003399-1 is not prime. Res64: A091ED2EF2CFC241 Time : 0.0 sec. user=mdettweiler [2012-01-31 08:45:35] 755*2^1003398-1 is not prime. Res64: 84FA2DD7DB8FE8E5 Time : 0.0 sec. user=mdettweiler [2012-01-31 08:45:36] 795*2^1003398-1 is not prime. Res64: 3B260D39D55B0709 Time : 0.0 sec. user=mdettweiler [2012-01-31 08:46:44] 943*2^1003399-1 is not prime. Res64: AB737C18CE30D033 Time : 0.0 sec. user=mdettweiler [2012-01-31 08:50:00] 961*2^1003399-1 is not prime. Res64: 4FF71A311410B404 Time : 0.0 sec. user=mdettweiler [2012-01-31 08:53:41] 619*2^1003399-1 is not prime. Res64: EBA1CB2EBC6EB141 Time : 0.0 sec. user=mdettweiler [2012-01-31 08:53:41] 693*2^1003399-1 is not prime. Res64: F7F4391B491DFA8B Time : 0.0 sec. user=mdettweiler [2012-01-31 08:54:06] 753*2^1003400-1 is not prime. Res64: 0F6D71476529BE4C Time : 0.0 sec. user=mdettweiler [2012-01-31 08:56:21] 993*2^1003398-1 is not prime. Res64: BB041E7E2CDBF622 Time : 0.0 sec. user=mdettweiler [2012-01-31 08:56:22] 1001*2^1003398-1 is not prime. Res64: 0FE4BA2567FBBEBC Time : 0.0 sec. user=mdettweiler [2012-01-31 08:57:24] 773*2^1003400-1 is not prime. Res64: E09B2D43D02C428D Time : 0.0 sec. user=mdettweiler [2012-01-31 08:59:49] 873*2^1003399-1 is not prime. Res64: 5CF6C78730D29C2B Time : 0.0 sec. user=mdettweiler [2012-01-31 08:59:50] 933*2^1003399-1 is not prime. Res64: C85628BBEFC0016D Time : 0.0 sec. user=mdettweiler [2012-01-31 09:01:29] 839*2^1003400-1 is not prime. Res64: 82FD5454866A894A Time : 0.0 sec. user=mdettweiler [2012-01-31 09:01:34] 699*2^1003392-1 is not prime. Res64: 12F84D377E9DB7C9 Time : 0.0 sec. user=mdettweiler [2012-01-31 09:01:35] 737*2^1003392-1 is not prime. Res64: 5A6D6F1D6AC2F3F3 Time : 0.0 sec. user=mdettweiler [2012-01-31 09:03:34] 797*2^1003392-1 is not prime. Res64: 0438D3608FED8EE1 Time : 0.0 sec. user=mdettweiler [2012-01-31 09:03:34] 803*2^1003392-1 is not prime. Res64: 11182EFEFB9BDC8B Time : 0.0 sec. user=mdettweiler [2012-01-31 09:05:26] 603*2^1003400-1 is not prime. Res64: 8A2FD1EEE9AD5B44 Time : 0.0 sec. user=mdettweiler [2012-01-31 09:05:27] 629*2^1003400-1 is not prime. Res64: 3DDF4FE1C2F4CC7A Time : 0.0 sec. user=mdettweiler [2012-01-31 09:06:22] 935*2^1003400-1 is not prime. Res64: ED129C3F27BD546D Time : 0.0 sec. user=mdettweiler [2012-01-31 09:10:25] 955*2^1003401-1 is not prime. Res64: 468DD72F8337E7EA Time : 0.0 sec. user=mdettweiler [2012-01-31 09:13:22] 853*2^1003395-1 is not prime. Res64: C47407FA539A80B8 Time : 0.0 sec. user=mdettweiler [2012-01-31 09:13:23] 871*2^1003395-1 is not prime. Res64: 4180830C07162850 Time : 0.0 sec. user=mdettweiler [2012-01-31 09:13:28] 813*2^1003400-1 is not prime. Res64: B5CF6810967B18C2 Time : 0.0 sec. user=mdettweiler [2012-01-31 09:13:29] 833*2^1003400-1 is not prime. Res64: E5A202185A76844C Time : 0.0 sec. user=mdettweiler [2012-01-31 09:13:48] 827*2^1003402-1 is not prime. Res64: 343094431C469900 Time : 0.0 sec. user=mdettweiler [2012-01-31 09:16:05] 855*2^1003400-1 is not prime. Res64: DC18C731527AC02F Time : 0.0 sec. user=mdettweiler [2012-01-31 09:16:05] 879*2^1003400-1 is not prime. Res64: 6A40539A294C98EC Time : 0.0 sec. user=mdettweiler [2012-01-31 09:17:52] 831*2^1003402-1 is not prime. Res64: B7D78171DD93D0CD Time : 0.0 sec. user=mdettweiler [2012-01-31 09:21:10] 741*2^1003403-1 is not prime. Res64: 0CB75FE3627C1793 Time : 0.0 sec. user=mdettweiler [2012-01-31 09:21:51] 681*2^1003401-1 is not prime. Res64: A37D5448A4761CBB Time : 0.0 sec. user=mdettweiler [2012-01-31 09:21:52] 907*2^1003401-1 is not prime. Res64: AA2733907EBCAAEE Time : 0.0 sec. user=mdettweiler [2012-01-31 09:25:12] 717*2^1003402-1 is not prime. Res64: 3F2BFB83B3630D38 Time : 0.0 sec. user=mdettweiler [2012-01-31 09:25:13] 791*2^1003402-1 is not prime. Res64: 666BAD807BCEFDF2 Time : 0.0 sec. user=mdettweiler [2012-01-31 09:26:52] 955*2^1003403-1 is not prime. Res64: 7C8EF4887AE79EB1 Time : 0.0 sec. user=mdettweiler [2012-01-31 09:28:33] 605*2^1003404-1 is not prime. Res64: F13EDCF31D35EA4C Time : 0.0 sec. user=mdettweiler [2012-01-31 09:33:15] 621*2^1003403-1 is not prime. Res64: 591E12396290EE2F Time : 0.0 sec. user=mdettweiler [2012-01-31 09:33:15] 705*2^1003403-1 is not prime. Res64: 64F216094B8551D5 Time : 0.0 sec. user=mdettweiler [2012-01-31 09:34:17] 873*2^1003404-1 is not prime. Res64: 9BFC8D36E9B1C47F Time : 0.0 sec. user=mdettweiler [2012-01-31 09:35:54] 753*2^1003403-1 is not prime. Res64: 7CA3DCF9D10E615A Time : 0.0 sec. user=mdettweiler [2012-01-31 09:35:54] 889*2^1003403-1 is not prime. Res64: 9848E258BBF2E32C Time : 0.0 sec. user=mdettweiler [2012-01-31 09:35:58] 861*2^1003405-1 is not prime. Res64: DD6BE6198A7AAE05 Time : 0.0 sec. user=mdettweiler [2012-01-31 09:41:34] 749*2^1003404-1 is not prime. Res64: 0BDD68325744E192 Time : 0.0 sec. user=mdettweiler [2012-01-31 09:41:35] 789*2^1003404-1 is not prime. Res64: EEFC440975B7C745 Time : 0.0 sec. user=mdettweiler [2012-01-31 09:43:19] 979*2^1003405-1 is not prime. Res64: 830C47D3CE3926BF Time : 0.0 sec. user=mdettweiler [2012-01-31 09:43:23] 873*2^1003406-1 is not prime. Res64: 0FE5144DE41BE52C Time : 0.0 sec. user=mdettweiler [2012-01-31 09:44:54] 795*2^1003404-1 is not prime. Res64: 890480B8D5FA57F8 Time : 0.0 sec. user=mdettweiler [2012-01-31 09:44:55] 809*2^1003404-1 is not prime. Res64: 69C88570EDE3FC16 Time : 0.0 sec. user=mdettweiler [2012-01-31 09:50:46] 693*2^1003407-1 is not prime. Res64: 70BD6439F5B0D9C3 Time : 0.0 sec. user=mdettweiler [2012-01-31 09:50:47] 829*2^1003407-1 is not prime. Res64: 6BC25A8450D0DAD8 Time : 0.0 sec. user=mdettweiler [2012-01-31 09:55:23] 877*2^1003405-1 is not prime. Res64: 04AD9C9C52C2A874 Time : 0.0 sec. user=mdettweiler [2012-01-31 09:55:23] 951*2^1003405-1 is not prime. Res64: CB799BD572B8B4AF Time : 0.0 sec. user=mdettweiler [2012-01-31 09:55:47] 657*2^1003406-1 is not prime. Res64: 18DCD534C12A52F6 Time : 0.0 sec. user=mdettweiler [2012-01-31 09:55:47] 801*2^1003406-1 is not prime. Res64: 6241346569CAE4A6 Time : 0.0 sec. user=mdettweiler [2012-01-31 09:58:14] 645*2^1003408-1 is not prime. Res64: 972BAC61DFEE311D Time : 0.0 sec. user=mdettweiler [2012-01-31 09:58:14] 665*2^1003408-1 is not prime. Res64: 64496D8998EE6174 Time : 0.0 sec. user=mdettweiler [2012-01-31 10:03:36] 971*2^1003406-1 is not prime. Res64: 4329BDE9AAC62E05 Time : 0.0 sec. user=mdettweiler [2012-01-31 10:03:36] 601*2^1003407-1 is not prime. Res64: 8C1E77F2AF6599C7 Time : 0.0 sec. user=mdettweiler [2012-01-31 10:05:41] 685*2^1003409-1 is not prime. Res64: 2827D7085A78DE38 Time : 0.0 sec. user=mdettweiler [2012-01-31 10:07:18] 999*2^1003408-1 is not prime. Res64: 18344A397456360F Time : 0.0 sec. user=mdettweiler [2012-01-31 10:09:15] 913*2^1003407-1 is not prime. Res64: 5486D4DDBCD9B52C Time : 0.0 sec. user=mdettweiler [2012-01-31 10:09:16] 979*2^1003407-1 is not prime. Res64: 87DEBB87A3C74F74 Time : 0.0 sec. user=mdettweiler [2012-01-31 10:13:03] 657*2^1003410-1 is not prime. Res64: CF868A363CD70C27 Time : 0.0 sec. user=mdettweiler [2012-01-31 10:14:48] 677*2^1003410-1 is not prime. Res64: 42787501DB2CAA30 Time : 0.0 sec. user=mdettweiler [2012-01-31 10:15:09] 705*2^1003408-1 is not prime. Res64: 7DFD1ECFCB4D991F Time : 0.0 sec. user=mdettweiler [2012-01-31 10:15:10] 743*2^1003408-1 is not prime. Res64: 3F0696453377423B Time : 0.0 sec. user=mdettweiler [2012-01-31 10:17:47] 839*2^1003408-1 is not prime. Res64: E6A62271CDFAE6CF Time : 0.0 sec. user=mdettweiler [2012-01-31 10:17:48] 993*2^1003408-1 is not prime. Res64: 7A687310B3DCC0A6 Time : 0.0 sec. user=mdettweiler [2012-01-31 10:20:28] 767*2^1003410-1 is not prime. Res64: 872D710B7AA5A1DB Time : 0.0 sec. user=mdettweiler [2012-01-31 10:20:35] 695*2^1003402-1 is not prime. Res64: 0A0881BA2312AADE Time : 0.0 sec. user=mdettweiler [2012-01-31 10:20:36] 701*2^1003402-1 is not prime. Res64: 4B5A41520B9D6A81 Time : 0.0 sec. user=mdettweiler [2012-01-31 10:22:12] 783*2^1003410-1 is not prime. Res64: DCCC7DDA2B83F2B7 Time : 0.0 sec. user=mdettweiler [2012-01-31 10:25:36] 897*2^1003409-1 is not prime. Res64: F67C0BC32FC8BD0A Time : 0.0 sec. user=mdettweiler [2012-01-31 10:25:37] 907*2^1003409-1 is not prime. Res64: 37DE821763F2A702 Time : 0.0 sec. user=mdettweiler [2012-01-31 10:27:16] 997*2^1003401-1 is not prime. Res64: BC3A7CFF2D8F77C6 Time : 0.0 sec. user=mdettweiler [2012-01-31 10:27:16] 645*2^1003402-1 is not prime. Res64: 1560EFD15186727A Time : 0.0 sec. user=mdettweiler [2012-01-31 10:27:53] 893*2^1003410-1 is not prime. Res64: 2CA7A57611719E90 Time : 0.0 sec. user=mdettweiler [2012-01-31 10:29:05] 711*2^1003410-1 is not prime. Res64: A287E1FBF47DDDE0 Time : 0.0 sec. user=mdettweiler [2012-01-31 10:29:05] 717*2^1003410-1 is not prime. Res64: 7392BE5EF79ACB7F Time : 0.0 sec. user=mdettweiler [2012-01-31 10:29:35] 813*2^1003411-1 is not prime. Res64: 401E9A00C0D17389 Time : 0.0 sec. user=mdettweiler [2012-01-31 10:34:54] 797*2^1003410-1 is not prime. Res64: 626A47AC65CB3A35 Time : 0.0 sec. user=mdettweiler [2012-01-31 10:34:54] 821*2^1003410-1 is not prime. Res64: 284D5C1EFA8FA476 Time : 0.0 sec. user=mdettweiler [2012-01-31 10:35:17] 777*2^1003412-1 is not prime. Res64: 2B54653A388A4660 Time : 0.0 sec. user=mdettweiler [2012-01-31 10:37:34] 861*2^1003410-1 is not prime. Res64: 06AAB4221B9035DB Time : 0.0 sec. user=mdettweiler [2012-01-31 10:37:35] 867*2^1003410-1 is not prime. Res64: 9EE885449329514B Time : 0.0 sec. user=mdettweiler [2012-01-31 10:38:37] 957*2^1003412-1 is not prime. Res64: 24937CA21F45F716 Time : 0.0 sec. user=mdettweiler [2012-01-31 10:39:04] 885*2^1003402-1 is not prime. Res64: 084AE8CD78FD280A Time : 0.0 sec. user=mdettweiler [2012-01-31 10:39:05] 917*2^1003402-1 is not prime. Res64: 982AAA90A170C5B1 Time : 0.0 sec. user=mdettweiler [2012-01-31 10:42:41] 741*2^1003413-1 is not prime. Res64: 04E9BE05C255635C Time : 0.0 sec. user=mdettweiler [2012-01-31 10:45:21] 859*2^1003411-1 is not prime. Res64: 85BCAFC2CD9B786B Time : 0.0 sec. user=mdettweiler [2012-01-31 10:45:21] 871*2^1003411-1 is not prime. Res64: 24BBC7BE36EF9B3E Time : 0.0 sec. user=mdettweiler [2012-01-31 10:46:02] 635*2^1003414-1 is not prime. Res64: 962F3848E85FDA85 Time : 0.0 sec. user=mdettweiler [2012-01-31 10:50:04] 825*2^1003414-1 is not prime. Res64: 559CC96502B092A1 Time : 0.0 sec. user=mdettweiler [2012-01-31 10:51:04] 873*2^1003412-1 is not prime. Res64: 15D6C9E2FFA91447 Time : 0.0 sec. user=mdettweiler [2012-01-31 10:51:04] 915*2^1003412-1 is not prime. Res64: B36B4B0CED9D9494 Time : 0.0 sec. user=mdettweiler [2012-01-31 10:53:27] 759*2^1003415-1 is not prime. Res64: 527DE074D56C2F33 Time : 0.0 sec. user=mdettweiler [2012-01-31 10:54:39] 625*2^1003413-1 is not prime. Res64: 1D4CEAE670EDFAF4 Time : 0.0 sec. user=mdettweiler [2012-01-31 10:54:39] 651*2^1003413-1 is not prime. Res64: 4F45AA7269336CCF Time : 0.0 sec. user=mdettweiler [2012-01-31 10:57:20] 769*2^1003413-1 is not prime. Res64: D4F13A0AD551FA7D Time : 0.0 sec. user=mdettweiler [2012-01-31 10:57:21] 877*2^1003413-1 is not prime. Res64: 7C0D29197627F010 Time : 0.0 sec. user=mdettweiler [2012-01-31 10:57:29] 775*2^1003415-1 is not prime. Res64: 9BDC1B64F768F5AF Time : 0.0 sec. user=mdettweiler [2012-01-31 11:00:49] 843*2^1003415-1 is not prime. Res64: 796D4DF1D6835ED5 Time : 0.0 sec. user=mdettweiler [2012-01-31 11:05:08] 661*2^1003415-1 is not prime. Res64: 6F286F098564A1A8 Time : 0.0 sec. user=mdettweiler [2012-01-31 11:05:09] 693*2^1003415-1 is not prime. Res64: F21168269EF0BE16 Time : 0.0 sec. user=mdettweiler [2012-01-31 11:06:32] 927*2^1003416-1 is not prime. Res64: E1398E8904EB411C Time : 0.0 sec. user=mdettweiler [2012-01-31 11:08:14] 615*2^1003417-1 is not prime. Res64: 5A3ECF02CD89F9BA Time : 0.0 sec. user=mdettweiler [2012-01-31 11:10:45] 799*2^1003415-1 is not prime. Res64: 5C1804673EAD950F Time : 0.0 sec. user=mdettweiler [2012-01-31 11:10:46] 823*2^1003415-1 is not prime. Res64: 4584237AE69D0C0C Time : 0.0 sec. user=mdettweiler [2012-01-31 11:13:57] 871*2^1003417-1 is not prime. Res64: F4F0F0E86A71FB00 Time : 0.0 sec. user=mdettweiler [2012-01-31 11:14:22] 865*2^1003415-1 is not prime. Res64: 1C71ECBDB8145CD0 Time : 0.0 sec. user=mdettweiler [2012-01-31 11:14:25] 765*2^1003416-1 is not prime. Res64: C5FF5CF0967D91FA Time : 0.0 sec. user=mdettweiler [2012-01-31 11:15:38] 605*2^1003418-1 is not prime. Res64: AD46D2A2FB5EEF6F Time : 0.0 sec. user=mdettweiler [2012-01-31 11:19:23] 789*2^1003416-1 is not prime. Res64: C1F4A9CC3510F802 Time : 0.0 sec. user=mdettweiler [2012-01-31 11:19:23] 909*2^1003416-1 is not prime. Res64: 367BF17D86B58E82 Time : 0.0 sec. user=mdettweiler [2012-01-31 11:23:00] 931*2^1003419-1 is not prime. Res64: 74583D7BE8E017EA Time : 0.0 sec. user=mdettweiler [2012-01-31 11:23:01] 813*2^1003420-1 is not prime. Res64: 5FB5AA311D877387 Time : 0.0 sec. user=mdettweiler [2012-01-31 11:24:58] 649*2^1003417-1 is not prime. Res64: AC0B7D59E43178D0 Time : 0.0 sec. user=mdettweiler [2012-01-31 11:24:58] 777*2^1003417-1 is not prime. Res64: 57D3795CC2A9DC6E Time : 0.0 sec. user=mdettweiler [2012-01-31 11:30:26] 899*2^1003420-1 is not prime. Res64: 299B846B2CF46D66 Time : 0.0 sec. user=mdettweiler [2012-01-31 11:30:36] 633*2^1003418-1 is not prime. Res64: 2C58EB2139879FDC Time : 0.0 sec. user=mdettweiler [2012-01-31 11:30:37] 731*2^1003418-1 is not prime. Res64: 08F1533BCE41628E Time : 0.0 sec. user=mdettweiler [2012-01-31 11:32:07] 983*2^1003420-1 is not prime. Res64: 43FC66C398A7BF31 Time : 0.0 sec. user=mdettweiler [2012-01-31 11:36:30] 985*2^1003419-1 is not prime. Res64: 85E9D4611049436E Time : 0.0 sec. user=mdettweiler [2012-01-31 11:36:30] 647*2^1003420-1 is not prime. Res64: D23471B8C162AAF3 Time : 0.0 sec. user=mdettweiler [2012-01-31 11:37:48] 727*2^1003421-1 is not prime. Res64: 51F636C3F8AB35C5 Time : 0.0 sec. user=mdettweiler [2012-01-31 11:39:15] 819*2^1003420-1 is not prime. Res64: F37A202C243D1250 Time : 0.0 sec. user=mdettweiler [2012-01-31 11:39:15] 855*2^1003420-1 is not prime. Res64: 8C4D4FDF329F8F9B Time : 0.0 sec. user=mdettweiler [2012-01-31 11:39:30] 829*2^1003421-1 is not prime. Res64: 4F6E7476CF408201 Time : 0.0 sec. user=mdettweiler [2012-01-31 11:46:54] 681*2^1003422-1 is not prime. Res64: 522B5D0FF90EFA17 Time : 0.0 sec. user=mdettweiler [2012-01-31 11:46:54] 927*2^1003421-1 is not prime. Res64: C8C353A66704C555 Time : 0.0 sec. user=mdettweiler [2012-01-31 11:47:03] 987*2^1003420-1 is not prime. Res64: E6C029AD44D19ECA Time : 0.0 sec. user=mdettweiler [2012-01-31 11:47:03] 619*2^1003421-1 is not prime. Res64: 1D24D69119C9692E Time : 0.0 sec. user=mdettweiler [2012-01-31 11:50:26] 735*2^1003421-1 is not prime. Res64: 931E52D3C3073889 Time : 0.0 sec. user=mdettweiler [2012-01-31 11:50:27] 741*2^1003421-1 is not prime. Res64: F68EDEE13E9E4A86 Time : 0.0 sec. user=mdettweiler [2012-01-31 11:53:53] 969*2^1003411-1 is not prime. Res64: 1B8A22761BE9F97C Time : 0.0 sec. user=mdettweiler [2012-01-31 11:53:53] 719*2^1003412-1 is not prime. Res64: 543568300BA3656A Time : 0.0 sec. user=mdettweiler [2012-01-31 11:54:21] 755*2^1003422-1 is not prime. Res64: 5B73ED8FCCD81985 Time : 0.0 sec. user=mdettweiler [2012-01-31 11:54:22] 713*2^1003422-1 is not prime. Res64: 774A3395F86C1BA0 Time : 0.0 sec. user=mdettweiler [2012-01-31 11:55:46] 971*2^1003410-1 is not prime. Res64: 61F790B253D093F0 Time : 0.0 sec. user=mdettweiler [2012-01-31 11:55:46] 977*2^1003410-1 is not prime. Res64: 1625E3C59E479B5C Time : 0.0 sec. user=mdettweiler [2012-01-31 11:56:18] 861*2^1003421-1 is not prime. Res64: EB893BC640294CB7 Time : 0.0 sec. user=mdettweiler [2012-01-31 11:56:19] 885*2^1003421-1 is not prime. Res64: 5A89AD78642A91D9 Time : 0.0 sec. user=mdettweiler [2012-01-31 11:57:02] 695*2^1003414-1 is not prime. Res64: 3D89935142EAF517 Time : 0.0 sec. user=mdettweiler [2012-01-31 11:57:02] 821*2^1003414-1 is not prime. Res64: 206D2667CB16CA73 Time : 0.0 sec. user=mdettweiler [2012-01-31 12:01:43] 859*2^1003423-1 is not prime. Res64: 4596041BADFB9415 Time : 0.0 sec. user=mdettweiler [2012-01-31 12:03:23] 901*2^1003423-1 is not prime. Res64: 7493853562386F33 Time : 0.0 sec. user=mdettweiler [2012-01-31 12:03:37] 937*2^1003421-1 is not prime. Res64: FF5FACB5A47B912A Time : 0.0 sec. user=mdettweiler [2012-01-31 12:03:37] 949*2^1003421-1 is not prime. Res64: 2B7260DCE5DD6A3F Time : 0.0 sec. user=mdettweiler [2012-01-31 12:06:48] 833*2^1003422-1 is not prime. Res64: 1B4E952D7EE63D4A Time : 0.0 sec. user=mdettweiler [2012-01-31 12:06:49] 625*2^1003423-1 is not prime. Res64: 6F21A122CF74F852 Time : 0.0 sec. user=mdettweiler [2012-01-31 12:09:06] 657*2^1003425-1 is not prime. Res64: 1B76F05637A90F34 Time : 0.0 sec. user=mdettweiler [2012-01-31 12:10:09] 663*2^1003423-1 is not prime. Res64: 249E91B510F4110F Time : 0.0 sec. user=mdettweiler [2012-01-31 12:10:10] 729*2^1003423-1 is not prime. Res64: 945E760A10707F58 Time : 0.0 sec. user=mdettweiler [2012-01-31 12:10:47] 675*2^1003425-1 is not prime. Res64: 54AFE02F28503ED4 Time : 0.0 sec. user=mdettweiler [2012-01-31 12:16:11] 767*2^1003424-1 is not prime. Res64: DFA8C45F07961D62 Time : 0.0 sec. user=mdettweiler [2012-01-31 12:16:12] 857*2^1003424-1 is not prime. Res64: 94B98E826EFE0969 Time : 0.0 sec. user=mdettweiler [2012-01-31 12:16:31] 891*2^1003425-1 is not prime. Res64: 0EDACDB86C9ECB70 Time : 0.0 sec. user=mdettweiler [2012-01-31 12:18:12] 675*2^1003426-1 is not prime. Res64: 171E9FC0C664BC45 Time : 0.0 sec. user=mdettweiler [2012-01-31 12:23:35] 741*2^1003425-1 is not prime. Res64: AD1F91C55F75457A Time : 0.0 sec. user=mdettweiler [2012-01-31 12:23:36] 817*2^1003425-1 is not prime. Res64: 144F3829278492B4 Time : 0.0 sec. user=mdettweiler [2012-01-31 12:23:53] 601*2^1003427-1 is not prime. Res64: 0DC7E6F816B08DA9 Time : 0.0 sec. user=mdettweiler [2012-01-31 12:25:35] 621*2^1003427-1 is not prime. Res64: B5392D614DAF0E4C Time : 0.0 sec. user=mdettweiler [2012-01-31 12:26:54] 819*2^1003425-1 is not prime. Res64: E78308A0C4BC2078 Time : 0.0 sec. user=mdettweiler [2012-01-31 12:26:54] 867*2^1003425-1 is not prime. Res64: CECEB57F28288258 Time : 0.0 sec. user=mdettweiler [2012-01-31 12:31:12] 801*2^1003427-1 is not prime. Res64: E2CA8951C56C7A30 Time : 0.0 sec. user=mdettweiler [2012-01-31 12:34:35] 909*2^1003425-1 is not prime. Res64: 9994981E48CF1784 Time : 0.0 sec. user=mdettweiler [2012-01-31 12:34:35] 997*2^1003425-1 is not prime. Res64: 290F7C0243D2DA63 Time : 0.0 sec. user=mdettweiler [2012-01-31 12:34:36] 901*2^1003427-1 is not prime. Res64: 6AC2891494552F51 Time : 0.0 sec. user=mdettweiler [2012-01-31 12:36:00] 873*2^1003426-1 is not prime. Res64: 3143DAF5D266A919 Time : 0.0 sec. user=mdettweiler [2012-01-31 12:36:01] 881*2^1003426-1 is not prime. Res64: BC415A15A3B32EFD Time : 0.0 sec. user=mdettweiler [2012-01-31 12:40:12] 993*2^1003427-1 is not prime. Res64: E6642CE11588E8CF Time : 0.0 sec. user=mdettweiler [2012-01-31 12:43:23] 649*2^1003427-1 is not prime. Res64: F2DBB94DF83ED6CE Time : 0.0 sec. user=mdettweiler [2012-01-31 12:43:24] 685*2^1003427-1 is not prime. Res64: 18C4519A460309CF Time : 0.0 sec. user=mdettweiler [2012-01-31 12:43:37] 909*2^1003428-1 is not prime. Res64: F4C5F1B3F0F57A48 Time : 0.0 sec. user=mdettweiler [2012-01-31 12:47:35] 615*2^1003429-1 is not prime. Res64: F55863CA80183F73 Time : 0.0 sec. user=mdettweiler [2012-01-31 12:51:01] 861*2^1003429-1 is not prime. Res64: 5123535E6E24A202 Time : 0.0 sec. user=mdettweiler [2012-01-31 12:51:16] 963*2^1003427-1 is not prime. Res64: 16CEE8AFA6E85773 Time : 0.0 sec. user=mdettweiler [2012-01-31 12:51:16] 979*2^1003427-1 is not prime. Res64: F8E220204DB53915 Time : 0.0 sec. user=mdettweiler [2012-01-31 12:54:21] 635*2^1003428-1 is not prime. Res64: 588827831D627DE4 Time : 0.0 sec. user=mdettweiler [2012-01-31 12:54:21] 725*2^1003428-1 is not prime. Res64: 747DB1AEE944EF82 Time : 0.0 sec. user=mdettweiler [2012-01-31 12:56:38] 925*2^1003429-1 is not prime. Res64: C53687F8B333FE03 Time : 0.0 sec. user=mdettweiler [2012-01-31 13:00:04] 975*2^1003429-1 is not prime. Res64: F80D7E51D647BE19 Time : 0.0 sec. user=mdettweiler [2012-01-31 13:00:20] 959*2^1003428-1 is not prime. Res64: F35C1B284B4AC350 Time : 0.0 sec. user=mdettweiler [2012-01-31 13:00:24] 993*2^1003428-1 is not prime. Res64: 3115112DF74BB09D Time : 0.0 sec. user=mdettweiler [2012-01-31 13:03:14] 741*2^1003429-1 is not prime. Res64: 760E5FF80108F6DE Time : 0.0 sec. user=mdettweiler [2012-01-31 13:03:15] 799*2^1003429-1 is not prime. Res64: A8368D990E2AC10A Time : 0.0 sec. user=mdettweiler [2012-01-31 13:04:00] 651*2^1003431-1 is not prime. Res64: F3DEF28A273DD803 Time : 0.0 sec. user=mdettweiler [2012-01-31 13:07:28] 685*2^1003431-1 is not prime. Res64: 9898D394538DF3AD Time : 0.0 sec. user=mdettweiler [2012-01-31 13:10:38] 805*2^1003423-1 is not prime. Res64: F71E6898B66ADD09 Time : 0.0 sec. user=mdettweiler [2012-01-31 13:10:40] 829*2^1003423-1 is not prime. Res64: 627341B4941EA013 Time : 0.0 sec. user=mdettweiler [2012-01-31 13:11:05] 671*2^1003430-1 is not prime. Res64: 435C5BCC80403255 Time : 0.0 sec. user=mdettweiler [2012-01-31 13:11:06] 747*2^1003430-1 is not prime. Res64: DEF175EFB27DC3E4 Time : 0.0 sec. user=mdettweiler [2012-01-31 13:11:24] 653*2^1003432-1 is not prime. Res64: A69173EF70E30858 Time : 0.0 sec. user=mdettweiler [2012-01-31 13:12:30] 665*2^1003424-1 is not prime. Res64: D0979608957E5BF2 Time : 0.0 sec. user=mdettweiler [2012-01-31 13:12:31] 755*2^1003424-1 is not prime. Res64: CA14687F132032E5 Time : 0.0 sec. user=mdettweiler [2012-01-31 13:14:04] 843*2^1003430-1 is not prime. Res64: A5465EB4B91C26EE Time : 0.0 sec. user=mdettweiler [2012-01-31 13:14:05] 619*2^1003431-1 is not prime. Res64: BE89C6DBD483FE08 Time : 0.0 sec. user=mdettweiler [2012-01-31 13:14:53] 693*2^1003432-1 is not prime. Res64: 476FCDE7A20C342F Time : 0.0 sec. user=mdettweiler [2012-01-31 13:18:50] 769*2^1003433-1 is not prime. Res64: 7CCB82FD7FEB917A Time : 0.0 sec. user=mdettweiler [2012-01-31 13:20:17] 741*2^1003431-1 is not prime. Res64: E2D3812C29AC0B64 Time : 0.0 sec. user=mdettweiler [2012-01-31 13:20:17] 775*2^1003431-1 is not prime. Res64: 5385636A64D14A91 Time : 0.0 sec. user=mdettweiler [2012-01-31 13:22:20] 995*2^1003424-1 is not prime. Res64: 855D63721CEA993D Time : 0.0 sec. user=mdettweiler [2012-01-31 13:22:21] 607*2^1003425-1 is not prime. Res64: 739A673BE3490BF0 Time : 0.0 sec. user=mdettweiler [2012-01-31 13:23:57] 951*2^1003433-1 is not prime. Res64: 8E2A7746D6AAD911 Time : 0.0 sec. user=mdettweiler [2012-01-31 13:25:16] 895*2^1003431-1 is not prime. Res64: 7B422A91954DA181 Time : 0.0 sec. user=mdettweiler [2012-01-31 13:25:17] 979*2^1003431-1 is not prime. Res64: 610DE8A13B1379E7 Time : 0.0 sec. user=mdettweiler [2012-01-31 13:27:53] 981*2^1003433-1 is not prime. Res64: 08E7E75BA9367677 Time : 0.0 sec. user=mdettweiler [2012-01-31 13:30:58] 727*2^1003433-1 is not prime. Res64: C3E45C8297E2709B Time : 0.0 sec. user=mdettweiler [2012-01-31 13:30:58] 745*2^1003433-1 is not prime. Res64: 947772F04F1B8C37 Time : 0.0 sec. user=mdettweiler [2012-01-31 13:31:19] 873*2^1003434-1 is not prime. Res64: 62F6937E1939148F Time : 0.0 sec. user=mdettweiler [2012-01-31 13:35:18] 709*2^1003435-1 is not prime. Res64: CD5B36BDB02027AE Time : 0.0 sec. user=mdettweiler [2012-01-31 13:36:08] 879*2^1003433-1 is not prime. Res64: A6F6E65B3A66D13A Time : 0.0 sec. user=mdettweiler [2012-01-31 13:36:08] 901*2^1003433-1 is not prime. Res64: 4B215FCF5B4FA357 Time : 0.0 sec. user=mdettweiler [2012-01-31 13:38:45] 617*2^1003436-1 is not prime. Res64: 481F65FC906E7F3E Time : 0.0 sec. user=mdettweiler [2012-01-31 13:40:06] 707*2^1003434-1 is not prime. Res64: FED9E79668D69D86 Time : 0.0 sec. user=mdettweiler [2012-01-31 13:40:06] 767*2^1003434-1 is not prime. Res64: C77C9662A3327A70 Time : 0.0 sec. user=mdettweiler [2012-01-31 13:42:46] 749*2^1003436-1 is not prime. Res64: B3A4D834898218EB Time : 0.0 sec. user=mdettweiler [2012-01-31 13:46:07] 741*2^1003437-1 is not prime. Res64: 836130F7E717B8AA Time : 0.0 sec. user=mdettweiler [2012-01-31 13:47:26] 875*2^1003434-1 is not prime. Res64: 3884E2E4EBF81F8B Time : 0.0 sec. user=mdettweiler [2012-01-31 13:47:27] 915*2^1003434-1 is not prime. Res64: F0C19AAC5F630AC4 Time : 0.0 sec. user=mdettweiler [2012-01-31 13:50:07] 831*2^1003437-1 is not prime. Res64: 09E240D445ADFAD1 Time : 0.0 sec. user=mdettweiler [2012-01-31 13:50:50] 735*2^1003435-1 is not prime. Res64: E2F023165F42D5BF Time : 0.0 sec. user=mdettweiler [2012-01-31 13:50:50] 853*2^1003435-1 is not prime. Res64: 6B9E67D165CEE718 Time : 0.0 sec. user=mdettweiler [2012-01-31 13:53:31] 861*2^1003437-1 is not prime. Res64: 426967EC3E68CC8D Time : 0.0 sec. user=mdettweiler [2012-01-31 13:59:12] 985*2^1003437-1 is not prime. Res64: AC11F111E18136C2 Time : 0.0 sec. user=mdettweiler [2012-01-31 13:59:54] 765*2^1003437-1 is not prime. Res64: 49A537A4391ADEA2 Time : 0.0 sec. user=mdettweiler [2012-01-31 13:59:55] 795*2^1003437-1 is not prime. Res64: 3B2FBEA393247B18 Time : 0.0 sec. user=mdettweiler [2012-01-31 14:00:25] 909*2^1003436-1 is not prime. Res64: C88ADE0732E2364E Time : 0.0 sec. user=mdettweiler [2012-01-31 14:00:27] 927*2^1003436-1 is not prime. Res64: 7F271FC55CD7467F Time : 0.0 sec. user=mdettweiler [2012-01-31 14:00:52] 671*2^1003438-1 is not prime. Res64: C24C86E8568A1635 Time : 0.0 sec. user=mdettweiler [2012-01-31 14:06:36] 705*2^1003438-1 is not prime. Res64: 61978E2F6FB1BD2D Time : 0.0 sec. user=mdettweiler [2012-01-31 14:08:16] 661*2^1003439-1 is not prime. Res64: C09D8E9BA1C3827D Time : 0.0 sec. user=mdettweiler [2012-01-31 14:09:29] 867*2^1003437-1 is not prime. Res64: 7C69513FC60C9F0C Time : 0.0 sec. user=mdettweiler [2012-01-31 14:09:30] 919*2^1003437-1 is not prime. Res64: 4D05B0343599863E Time : 0.0 sec. user=mdettweiler [2012-01-31 14:12:55] 997*2^1003437-1 is not prime. Res64: 7B11394A7FA0926F Time : 0.0 sec. user=mdettweiler [2012-01-31 14:12:57] 635*2^1003438-1 is not prime. Res64: D35311372387E5CC Time : 0.0 sec. user=mdettweiler [2012-01-31 14:14:00] 741*2^1003439-1 is not prime. Res64: 8DB1214BB4E3EBBA Time : 0.0 sec. user=mdettweiler [2012-01-31 14:15:40] 763*2^1003439-1 is not prime. Res64: A5B47224B740C226 Time : 0.0 sec. user=mdettweiler [2012-01-31 14:19:41] 755*2^1003438-1 is not prime. Res64: D5FC379765EDE061 Time : 0.0 sec. user=mdettweiler [2012-01-31 14:19:41] 765*2^1003438-1 is not prime. Res64: 066663C896F016E7 Time : 0.0 sec. user=mdettweiler [2012-01-31 14:22:30] 861*2^1003438-1 is not prime. Res64: B76F47BEA19416C6 Time : 0.0 sec. user=mdettweiler [2012-01-31 14:22:31] 987*2^1003438-1 is not prime. Res64: D5BBE90E5A891B65 Time : 0.0 sec. user=mdettweiler [2012-01-31 14:29:19] 777*2^1003432-1 is not prime. Res64: E27EF8B22C0C2106 Time : 0.0 sec. user=mdettweiler [2012-01-31 14:29:20] 819*2^1003432-1 is not prime. Res64: 780F05C8763F656F Time : 0.0 sec. user=mdettweiler [2012-01-31 14:29:33] 873*2^1003440-1 is not prime. Res64: 60C6AE7E192C4465 Time : 0.0 sec. user=mdettweiler [2012-01-31 14:31:18] 887*2^1003440-1 is not prime. Res64: 064E4C0A989519B2 Time : 0.0 sec. user=mdettweiler [2012-01-31 14:31:22] 847*2^1003433-1 is not prime. Res64: 97DD85DF09701C7C Time : 0.0 sec. user=mdettweiler [2012-01-31 14:31:22] 867*2^1003433-1 is not prime. Res64: 260A4AF4F5928CDE Time : 0.0 sec. user=mdettweiler [2012-01-31 14:32:46] 825*2^1003440-1 is not prime. Res64: D749B38101029260 Time : 0.0 sec. user=mdettweiler [2012-01-31 14:32:46] 845*2^1003440-1 is not prime. Res64: 86AD843C0FA3AF65 Time : 0.0 sec. user=mdettweiler [2012-01-31 14:33:51] 991*2^1003439-1 is not prime. Res64: CA80C17EB17F5234 Time : 0.0 sec. user=mdettweiler [2012-01-31 14:33:52] 993*2^1003439-1 is not prime. Res64: D23BF4091030ABEC Time : 0.0 sec. user=mdettweiler [2012-01-31 14:36:54] 789*2^1003441-1 is not prime. Res64: 03EC65B17B99CD5E Time : 0.0 sec. user=mdettweiler [2012-01-31 14:40:53] 773*2^1003434-1 is not prime. Res64: F4F4C98E6763E14C Time : 0.0 sec. user=mdettweiler [2012-01-31 14:40:53] 797*2^1003434-1 is not prime. Res64: 76BE790DAB29EAD8 Time : 0.0 sec. user=mdettweiler [2012-01-31 14:41:44] 899*2^1003440-1 is not prime. Res64: 96600CCE6A3945E3 Time : 0.0 sec. user=mdettweiler [2012-01-31 14:41:45] 945*2^1003440-1 is not prime. Res64: D90F056DD885982A Time : 0.0 sec. user=mdettweiler [2012-01-31 14:42:15] 679*2^1003441-1 is not prime. Res64: EE62BA55361E6C03 Time : 0.0 sec. user=mdettweiler [2012-01-31 14:42:15] 687*2^1003441-1 is not prime. Res64: 003082C515ADE7F6 Time : 0.0 sec. user=mdettweiler [2012-01-31 14:52:27] 657*2^1003442-1 is not prime. Res64: D6D2DFAE06B7CE82 Time : 0.0 sec. user=mdettweiler [2012-01-31 14:52:28] 731*2^1003442-1 is not prime. Res64: 3E7A5627C1EC836B Time : 0.0 sec. user=mdettweiler [2012-01-31 14:53:38] 797*2^1003442-1 is not prime. Res64: 2E231127B8EAA5EC Time : 0.0 sec. user=mdettweiler [2012-01-31 14:53:39] 885*2^1003442-1 is not prime. Res64: DCBC46273C4DCF42 Time : 0.0 sec. user=mdettweiler [2012-01-31 15:01:51] 639*2^1003443-1 is not prime. Res64: 332CD45A98E0EC3D Time : 0.0 sec. user=mdettweiler [2012-01-31 15:01:52] 765*2^1003443-1 is not prime. Res64: 739EFE52ED2FC8E1 Time : 0.0 sec. user=mdettweiler [2012-01-31 15:02:27] 783*2^1003443-1 is not prime. Res64: 6DB7CB08CAB36794 Time : 0.0 sec. user=mdettweiler [2012-01-31 15:02:28] 795*2^1003443-1 is not prime. Res64: 6E5D97FEEF557016 Time : 0.0 sec. user=mdettweiler [2012-01-31 15:13:48] 605*2^1003444-1 is not prime. Res64: F9336A45263926E2 Time : 0.0 sec. user=mdettweiler [2012-01-31 15:13:49] 639*2^1003444-1 is not prime. Res64: F3E0284A5934FA7E Time : 0.0 sec. user=mdettweiler [2012-01-31 15:14:58] 835*2^1003443-1 is not prime. Res64: C6721F647AD3E794 Time : 0.0 sec. user=mdettweiler [2012-01-31 15:14:59] 949*2^1003443-1 is not prime. Res64: 1A66695BE7B52E96 Time : 0.0 sec. user=mdettweiler [2012-01-31 15:22:23] 607*2^1003445-1 is not prime. Res64: 7B0C5ED6AD083CB1 Time : 0.0 sec. user=mdettweiler [2012-01-31 15:22:24] 685*2^1003445-1 is not prime. Res64: 30A966D3A4298903 Time : 0.0 sec. user=mdettweiler [2012-01-31 15:24:03] 885*2^1003444-1 is not prime. Res64: 114A066166BEDE7B Time : 0.0 sec. user=mdettweiler [2012-01-31 15:24:04] 947*2^1003444-1 is not prime. Res64: 1B7C9758EC358396 Time : 0.0 sec. user=mdettweiler [2012-01-31 15:33:44] 711*2^1003445-1 is not prime. Res64: C21B16747CE3A400 Time : 0.0 sec. user=mdettweiler [2012-01-31 15:33:44] 735*2^1003445-1 is not prime. Res64: 1F169C990D4A1C87 Time : 0.0 sec. user=mdettweiler [2012-01-31 15:35:00] 741*2^1003445-1 is not prime. Res64: 575A3F81D5AF3976 Time : 0.0 sec. user=mdettweiler [2012-01-31 15:35:00] 801*2^1003445-1 is not prime. Res64: 4A1D6E4BFB8A306F Time : 0.0 sec. user=mdettweiler [2012-01-31 15:44:41] 847*2^1003445-1 is not prime. Res64: 006B56F145C65B3F Time : 0.0 sec. user=mdettweiler [2012-01-31 15:44:42] 957*2^1003445-1 is not prime. Res64: 3DE9E8C696854E53 Time : 0.0 sec. user=mdettweiler [2012-01-31 15:46:22] 987*2^1003445-1 is not prime. Res64: 30F5E6E44D8BEBFF Time : 0.0 sec. user=mdettweiler [2012-01-31 15:46:22] 635*2^1003446-1 is not prime. Res64: A56896F99E440505 Time : 0.0 sec. user=mdettweiler [2012-01-31 15:47:25] 751*2^1003441-1 is not prime. Res64: CAB3F60A1AF1E57B Time : 0.0 sec. user=mdettweiler [2012-01-31 15:47:25] 769*2^1003441-1 is not prime. Res64: DB78A07C3E076A6E Time : 0.0 sec. user=mdettweiler [2012-01-31 15:49:57] 633*2^1003442-1 is not prime. Res64: 289A98E804DB2E69 Time : 0.0 sec. user=mdettweiler [2012-01-31 15:49:57] 651*2^1003442-1 is not prime. Res64: 42B034AAE2E8677B Time : 0.0 sec. user=mdettweiler [2012-01-31 15:53:51] 641*2^1003446-1 is not prime. Res64: B9AF2578BE39F971 Time : 0.0 sec. user=mdettweiler [2012-01-31 15:53:52] 707*2^1003446-1 is not prime. Res64: 28C667F78E18EF11 Time : 0.0 sec. user=mdettweiler [2012-01-31 15:55:06] 725*2^1003446-1 is not prime. Res64: 63072394C28D5090 Time : 0.0 sec. user=mdettweiler [2012-01-31 15:55:06] 765*2^1003446-1 is not prime. Res64: 0E4C60EEB8854810 Time : 0.0 sec. user=mdettweiler [2012-01-31 16:06:19] 705*2^1003447-1 is not prime. Res64: D8CF70663ED56946 Time : 0.0 sec. user=mdettweiler [2012-01-31 16:06:20] 765*2^1003447-1 is not prime. Res64: 716507D7AB5A57C9 Time : 0.0 sec. user=mdettweiler [2012-01-31 16:07:06] 971*2^1003446-1 is not prime. Res64: 3E2286BF0C5AB0DB Time : 0.0 sec. user=mdettweiler [2012-01-31 16:07:07] 663*2^1003447-1 is not prime. Res64: 850795640DDB7C91 Time : 0.0 sec. user=mdettweiler [2012-01-31 16:08:32] 977*2^1003442-1 is not prime. Res64: D114F1080627C11D Time : 0.0 sec. user=mdettweiler [2012-01-31 16:08:33] 615*2^1003443-1 is not prime. Res64: 885FFED25C107B87 Time : 0.0 sec. user=mdettweiler [2012-01-31 16:13:52] 843*2^1003448-1 is not prime. Res64: 28F53137D8E6D10F Time : 0.0 sec. user=mdettweiler [2012-01-31 16:13:55] 875*2^1003448-1 is not prime. Res64: 426BEC6B58E9766E Time : 0.0 sec. user=mdettweiler [2012-01-31 16:19:44] 915*2^1003448-1 is not prime. Res64: A22E9F58860C568B Time : 0.0 sec. user=mdettweiler [2012-01-31 16:19:45] 945*2^1003448-1 is not prime. Res64: 17E6B054B0B25C6D Time : 0.0 sec. user=mdettweiler [2012-01-31 16:27:06] 625*2^1003449-1 is not prime. Res64: C14AAC99B386FBE0 Time : 0.0 sec. user=mdettweiler [2012-01-31 16:27:07] 627*2^1003449-1 is not prime. Res64: A6F659F832EEB06A Time : 0.0 sec. user=mdettweiler [2012-01-31 16:30:53] 959*2^1003448-1 is not prime. Res64: A8E990E279747003 Time : 0.0 sec. user=mdettweiler [2012-01-31 16:30:54] 995*2^1003448-1 is not prime. Res64: A9F3D832995B3708 Time : 0.0 sec. user=mdettweiler [2012-01-31 16:33:51] 727*2^1003449-1 is not prime. Res64: CFB64A3FC800E68D Time : 0.0 sec. user=mdettweiler [2012-01-31 16:33:52] 811*2^1003449-1 is not prime. Res64: 3AC57B2F703E9937 Time : 0.0 sec. user=mdettweiler [2012-01-31 16:40:08] 743*2^1003450-1 is not prime. Res64: 69E925B7E89D8392 Time : 0.0 sec. user=mdettweiler [2012-01-31 16:40:08] 821*2^1003450-1 is not prime. Res64: 28CAE702570D3746 Time : 0.0 sec. user=mdettweiler [2012-01-31 16:49:57] 855*2^1003450-1 is not prime. Res64: 3C7B1B05DCF5EA3C Time : 0.0 sec. user=mdettweiler [2012-01-31 16:49:58] 915*2^1003450-1 is not prime. Res64: A223B7D755E8C19D Time : 0.0 sec. user=mdettweiler [2012-01-31 16:53:34] 945*2^1003450-1 is not prime. Res64: 2762532A2B25743D Time : 0.0 sec. user=mdettweiler [2012-01-31 16:53:34] 609*2^1003451-1 is not prime. Res64: 434B7A2EA75D48BA Time : 0.0 sec. user=mdettweiler [2012-01-31 16:54:22] 711*2^1003451-1 is not prime. Res64: DCD081B0DEFE3453 Time : 0.0 sec. user=mdettweiler [2012-01-31 16:54:22] 733*2^1003451-1 is not prime. Res64: B14D8DDCF6CC7B27 Time : 0.0 sec. user=mdettweiler [2012-01-31 17:00:16] 735*2^1003451-1 is not prime. Res64: 7D2BBF1AD3F6C586 Time : 0.0 sec. user=mdettweiler [2012-01-31 17:00:17] 759*2^1003451-1 is not prime. Res64: 776455FFE5C27879 Time : 0.0 sec. user=mdettweiler [2012-01-31 17:08:25] 629*2^1003448-1 is not prime. Res64: 922F11DE322FD31D Time : 0.0 sec. user=mdettweiler [2012-01-31 17:08:25] 795*2^1003448-1 is not prime. Res64: 94F1D134BA8AAF3B Time : 0.0 sec. user=mdettweiler [2012-01-31 17:09:57] 789*2^1003451-1 is not prime. Res64: 9C1724AB97153344 Time : 0.0 sec. user=mdettweiler [2012-01-31 17:10:03] 825*2^1003451-1 is not prime. Res64: 6312288807BBC285 Time : 0.0 sec. user=mdettweiler [2012-01-31 17:13:24] 885*2^1003451-1 is not prime. Res64: 351D1B881E36889E Time : 0.0 sec. user=mdettweiler [2012-01-31 17:13:25] 605*2^1003452-1 is not prime. Res64: 958CAFEFFA668DD8 Time : 0.0 sec. user=mdettweiler [2012-01-31 17:14:26] 627*2^1003452-1 is not prime. Res64: 98E55BAA593CC3FF Time : 0.0 sec. user=mdettweiler [2012-01-31 17:14:26] 725*2^1003452-1 is not prime. Res64: FD035FD790F7F063 Time : 0.0 sec. user=mdettweiler [2012-01-31 17:15:17] 873*2^1003447-1 is not prime. Res64: 09A63510DFF1BEF2 Time : 0.0 sec. user=mdettweiler [2012-01-31 17:15:17] 939*2^1003447-1 is not prime. Res64: 67825A1539BA7C5C Time : 0.0 sec. user=mdettweiler [2012-01-31 17:26:05] 691*2^1003449-1 is not prime. Res64: ABEB2CDA7A4D6480 Time : 0.0 sec. user=mdettweiler [2012-01-31 17:26:05] 709*2^1003449-1 is not prime. Res64: 9412C81092CB36F6 Time : 0.0 sec. user=mdettweiler [2012-01-31 17:32:23] 843*2^1003452-1 is not prime. Res64: 06BBBBFB33DC0468 Time : 0.0 sec. user=mdettweiler [2012-01-31 17:32:24] 863*2^1003452-1 is not prime. Res64: EFEEE7218F4E9D8D Time : 0.0 sec. user=mdettweiler [2012-01-31 17:42:14] 747*2^1003453-1 is not prime. Res64: BD2A2436823DEC7E Time : 0.0 sec. user=mdettweiler [2012-01-31 17:42:14] 877*2^1003453-1 is not prime. Res64: B651EA9E51EC6AD7 Time : 0.0 sec. user=mdettweiler [2012-01-31 17:42:29] 885*2^1003453-1 is not prime. Res64: 4106D0B51599E19B Time : 0.0 sec. user=mdettweiler [2012-01-31 17:42:29] 897*2^1003453-1 is not prime. Res64: AE1E312619A3A2F2 Time : 0.0 sec. user=mdettweiler [2012-01-31 17:44:43] 915*2^1003452-1 is not prime. Res64: CEABE4FB81C3653E Time : 0.0 sec. user=mdettweiler [2012-01-31 17:44:43] 721*2^1003453-1 is not prime. Res64: 8D3CC04A0061DB9F Time : 0.0 sec. user=mdettweiler [2012-01-31 17:53:00] 675*2^1003454-1 is not prime. Res64: DABEC6ED7581E616 Time : 0.0 sec. user=mdettweiler [2012-01-31 17:53:01] 693*2^1003454-1 is not prime. Res64: F4DA2193638A0F71 Time : 0.0 sec. user=mdettweiler [2012-01-31 18:03:09] 753*2^1003454-1 is not prime. Res64: 4645A7306A2580F1 Time : 0.0 sec. user=mdettweiler [2012-01-31 18:03:10] 795*2^1003454-1 is not prime. Res64: C947A32B3251CE95 Time : 0.0 sec. user=mdettweiler [2012-01-31 18:05:27] 609*2^1003455-1 is not prime. Res64: 24F335FF1460F305 Time : 0.0 sec. user=mdettweiler [2012-01-31 18:05:28] 663*2^1003455-1 is not prime. Res64: 93BD3F76A1FEB8C7 Time : 0.0 sec. user=mdettweiler [2012-01-31 18:05:33] 887*2^1003454-1 is not prime. Res64: 5D5ED9242ECC1C33 Time : 0.0 sec. user=mdettweiler [2012-01-31 18:05:35] 965*2^1003454-1 is not prime. Res64: B8B5152396B4C25D Time : 0.0 sec. user=mdettweiler [2012-01-31 18:14:17] 691*2^1003455-1 is not prime. Res64: 1C2685EE77437093 Time : 0.0 sec. user=mdettweiler [2012-01-31 18:14:18] 741*2^1003455-1 is not prime. Res64: 6F2824E0761134B2 Time : 0.0 sec. user=mdettweiler [2012-01-31 18:24:03] 805*2^1003455-1 is not prime. Res64: 662BACCD59F15EF4 Time : 0.0 sec. user=mdettweiler [2012-01-31 18:24:04] 825*2^1003455-1 is not prime. Res64: 391B9A1D9C742C5A Time : 0.0 sec. user=mdettweiler [2012-01-31 18:28:49] 973*2^1003455-1 is not prime. Res64: 9B156D9593884BA0 Time : 0.0 sec. user=mdettweiler [2012-01-31 18:28:49] 603*2^1003456-1 is not prime. Res64: 14A60289D231AF67 Time : 0.0 sec. user=mdettweiler [2012-01-31 18:31:36] 951*2^1003455-1 is not prime. Res64: B2325BDECADE3F5E Time : 0.0 sec. user=mdettweiler [2012-01-31 18:31:36] 969*2^1003455-1 is not prime. Res64: FCFFE4496557D24F Time : 0.0 sec. user=mdettweiler [2012-01-31 18:35:41] 843*2^1003456-1 is not prime. Res64: 4072D62260EC2731 Time : 0.0 sec. user=mdettweiler [2012-01-31 18:35:41] 899*2^1003456-1 is not prime. Res64: B85DF35001583EA6 Time : 0.0 sec. user=mdettweiler [2012-01-31 18:35:50] 893*2^1003452-1 is not prime. Res64: 2E7E460E62134C04 Time : 0.0 sec. user=mdettweiler [2012-01-31 18:35:50] 903*2^1003452-1 is not prime. Res64: 834D2DAD900C7084 Time : 0.0 sec. user=mdettweiler [2012-01-31 18:44:53] 605*2^1003454-1 is not prime. Res64: 50E5BDF566766E8A Time : 0.0 sec. user=mdettweiler [2012-01-31 18:44:54] 623*2^1003454-1 is not prime. Res64: 3359EBFF492DF72A Time : 0.0 sec. user=mdettweiler [2012-01-31 18:49:31] 957*2^1003456-1 is not prime. Res64: 766D818434F2513A Time : 0.0 sec. user=mdettweiler [2012-01-31 18:49:32] 965*2^1003456-1 is not prime. Res64: 55E67A66F78FD9AD Time : 0.0 sec. user=mdettweiler [2012-01-31 18:49:38] 607*2^1003457-1 is not prime. Res64: 93599BA63A54EDD2 Time : 0.0 sec. user=mdettweiler [2012-01-31 18:49:38] 615*2^1003457-1 is not prime. Res64: 78EFE7169B9E8812 Time : 0.0 sec. user=mdettweiler [2012-01-31 18:51:45] 925*2^1003453-1 is not prime. Res64: 5D86788763B49468 Time : 0.0 sec. user=mdettweiler [2012-01-31 18:51:46] 939*2^1003453-1 is not prime. Res64: 50261C0DD90BC36B Time : 0.0 sec. user=mdettweiler [2012-01-31 18:52:36] 649*2^1003457-1 is not prime. Res64: 3642C7CCDA83298E Time : 0.0 sec. user=mdettweiler [2012-01-31 18:52:36] 799*2^1003457-1 is not prime. Res64: 26FA255789A6C46A Time : 0.0 sec. user=mdettweiler [2012-01-31 18:58:47] 889*2^1003457-1 is not prime. Res64: FEDD1DA743D07599 Time : 0.0 sec. user=mdettweiler [2012-01-31 18:58:47] 909*2^1003457-1 is not prime. Res64: 0EF759D724CBDA6D Time : 0.0 sec. user=mdettweiler [2012-01-31 19:10:08] 791*2^1003458-1 is not prime. Res64: 2F7CFEC7B95AD272 Time : 0.0 sec. user=mdettweiler [2012-01-31 19:10:09] 875*2^1003458-1 is not prime. Res64: 5762977992A89CD8 Time : 0.0 sec. user=mdettweiler [2012-01-31 19:12:49] 893*2^1003458-1 is not prime. Res64: 7F1B0C139E4D8C4E Time : 0.0 sec. user=mdettweiler [2012-01-31 19:12:50] 941*2^1003458-1 is not prime. Res64: 9CFD5A0C017057C0 Time : 0.0 sec. user=mdettweiler [2012-01-31 19:13:54] 861*2^1003459-1 is not prime. Res64: 8B7557E93EE453E6 Time : 0.0 sec. user=mdettweiler [2012-01-31 19:13:55] 891*2^1003459-1 is not prime. Res64: 67F3EAE28C18B326 Time : 0.0 sec. user=mdettweiler [2012-01-31 19:23:47] 913*2^1003459-1 is not prime. Res64: 5E1F967156632EE5 Time : 0.0 sec. user=mdettweiler [2012-01-31 19:23:48] 993*2^1003459-1 is not prime. Res64: 5F89F84F51A3E6A8 Time : 0.0 sec. user=mdettweiler [2012-01-31 19:30:51] 689*2^1003460-1 is not prime. Res64: 98DCE6049D4C248C Time : 0.0 sec. user=mdettweiler [2012-01-31 19:30:51] 777*2^1003460-1 is not prime. Res64: 5FDB78DD1D3D205E Time : 0.0 sec. user=mdettweiler [2012-01-31 19:34:31] 615*2^1003461-1 is not prime. Res64: 98DC187BC6CDB893 Time : 0.0 sec. user=mdettweiler [2012-01-31 19:34:32] 657*2^1003461-1 is not prime. Res64: 6A4E5D0053B537EE Time : 0.0 sec. user=mdettweiler [2012-01-31 19:35:59] 789*2^1003460-1 is not prime. Res64: 02B0B13F5DC25D42 Time : 0.0 sec. user=mdettweiler [2012-01-31 19:35:59] 935*2^1003460-1 is not prime. Res64: D6440F7F9D8E972F Time : 0.0 sec. user=mdettweiler [2012-01-31 19:44:26] 795*2^1003461-1 is not prime. Res64: 23CA8218D800698C Time : 0.0 sec. user=mdettweiler [2012-01-31 19:44:26] 829*2^1003461-1 is not prime. Res64: 61EC9EBC4708F8B0 Time : 0.0 sec. user=mdettweiler [2012-01-31 19:53:58] 837*2^1003461-1 is not prime. Res64: 169E81087A37F5B7 Time : 0.0 sec. user=mdettweiler [2012-01-31 19:53:59] 937*2^1003461-1 is not prime. Res64: DA1B26C6749E38FA Time : 0.0 sec. user=mdettweiler [2012-01-31 19:56:56] 867*2^1003462-1 is not prime. Res64: 746E0EE836564657 Time : 0.0 sec. user=mdettweiler [2012-01-31 19:56:56] 885*2^1003462-1 is not prime. Res64: DAFD84BC1151F6B1 Time : 0.0 sec. user=mdettweiler [2012-01-31 19:57:57] 991*2^1003461-1 is not prime. Res64: 44AAFBB20472B6CD Time : 0.0 sec. user=mdettweiler [2012-01-31 19:57:57] 761*2^1003462-1 is not prime. Res64: F5C03D4F20BB17D7 Time : 0.0 sec. user=mdettweiler [2012-01-31 20:05:42] 967*2^1003457-1 is not prime. Res64: 465534A86AC3D985 Time : 0.0 sec. user=mdettweiler [2012-01-31 20:05:44] 755*2^1003458-1 is not prime. Res64: CD6D3A03EBDB95FD Time : 0.0 sec. user=mdettweiler [2012-01-31 20:05:46] 975*2^1003458-1 is not prime. Res64: 6B1163F2A27A72B8 Time : 0.0 sec. user=mdettweiler [2012-01-31 20:07:54] 887*2^1003462-1 is not prime. Res64: EE33236E0CC750BF Time : 0.0 sec. user=mdettweiler [2012-01-31 20:07:56] 957*2^1003462-1 is not prime. Res64: 4542960C7B9F252E Time : 0.0 sec. user=mdettweiler [2012-01-31 20:15:01] 633*2^1003463-1 is not prime. Res64: DC9F31CA4020721B Time : 0.0 sec. user=mdettweiler [2012-01-31 20:15:01] 675*2^1003463-1 is not prime. Res64: 139D2F891A2FBFFF Time : 0.0 sec. user=mdettweiler [2012-01-31 20:18:05] 829*2^1003463-1 is not prime. Res64: B4334FF4CA469B8A Time : 0.0 sec. user=mdettweiler [2012-01-31 20:18:06] 861*2^1003463-1 is not prime. Res64: 2166B1C20039CB88 Time : 0.0 sec. user=mdettweiler [2012-01-31 20:20:51] 939*2^1003463-1 is not prime. Res64: 42146C4652B85ABA Time : 0.0 sec. user=mdettweiler [2012-01-31 20:20:51] 623*2^1003464-1 is not prime. Res64: F6327AE0D3AE8F07 Time : 0.0 sec. user=mdettweiler [2012-01-31 20:29:06] 629*2^1003464-1 is not prime. Res64: D50DD9B2404E97CC Time : 0.0 sec. user=mdettweiler [2012-01-31 20:29:07] 753*2^1003464-1 is not prime. Res64: F8E830E28B8D74AD Time : 0.0 sec. user=mdettweiler [2012-01-31 20:35:55] 789*2^1003464-1 is not prime. Res64: 5B11B6DADE029788 Time : 0.0 sec. user=mdettweiler [2012-01-31 20:35:56] 887*2^1003464-1 is not prime. Res64: 0F8F8E63ECC732FE Time : 0.0 sec. user=mdettweiler [2012-01-31 20:43:10] 917*2^1003464-1 is not prime. Res64: EF6D8FB5E7C3C128 Time : 0.0 sec. user=mdettweiler [2012-01-31 20:43:10] 935*2^1003464-1 is not prime. Res64: 6E188890BE9C9863 Time : 0.0 sec. user=mdettweiler [2012-01-31 20:43:32] 957*2^1003464-1 is not prime. Res64: 84CA356500548876 Time : 0.0 sec. user=mdettweiler [2012-01-31 20:43:32] 649*2^1003465-1 is not prime. Res64: 7C1A7763ECC499F9 Time : 0.0 sec. user=mdettweiler [2012-01-31 20:49:04] 651*2^1003465-1 is not prime. Res64: 3CA496851BD27958 Time : 0.0 sec. user=mdettweiler [2012-01-31 20:49:05] 777*2^1003465-1 is not prime. Res64: 0AC2C4EAE7938A73 Time : 0.0 sec. user=mdettweiler [2012-01-31 20:57:59] 841*2^1003465-1 is not prime. Res64: 3E8B0027B76F5498 Time : 0.0 sec. user=mdettweiler [2012-01-31 20:58:00] 985*2^1003465-1 is not prime. Res64: CFA0539A7F4799E0 Time : 0.0 sec. user=mdettweiler [2012-01-31 21:02:53] 677*2^1003466-1 is not prime. Res64: 84877EADA6DD0A67 Time : 0.0 sec. user=mdettweiler [2012-01-31 21:02:55] 705*2^1003466-1 is not prime. Res64: F8EADC7943119BDE Time : 0.0 sec. user=mdettweiler [2012-01-31 21:03:19] 893*2^1003466-1 is not prime. Res64: 4070AF93A8FA79B8 Time : 0.0 sec. user=mdettweiler [2012-01-31 21:03:20] 633*2^1003467-1 is not prime. Res64: 8D00BDF73586F4F9 Time : 0.0 sec. user=mdettweiler [2012-01-31 21:08:47] 781*2^1003467-1 is not prime. Res64: E8E64C59D13ED9E5 Time : 0.0 sec. user=mdettweiler [2012-01-31 21:08:48] 861*2^1003467-1 is not prime. Res64: 4BAB4ED56083D9C2 Time : 0.0 sec. user=mdettweiler [2012-01-31 21:22:20] 945*2^1003467-1 is not prime. Res64: E38785F35ABDEE9A Time : 0.0 sec. user=mdettweiler [2012-01-31 21:22:20] 951*2^1003467-1 is not prime. Res64: EB3986907ABD1005 Time : 0.0 sec. user=mdettweiler [2012-01-31 21:23:13] 615*2^1003468-1 is not prime. Res64: 8CB181D660836DD0 Time : 0.0 sec. user=mdettweiler [2012-01-31 21:23:13] 705*2^1003468-1 is not prime. Res64: A84322C7D3B69804 Time : 0.0 sec. user=mdettweiler [2012-01-31 21:24:55] 985*2^1003467-1 is not prime. Res64: 3741995C59EA1A7C Time : 0.0 sec. user=mdettweiler [2012-01-31 21:24:56] 605*2^1003468-1 is not prime. Res64: 9EB11905A138F5E3 Time : 0.0 sec. user=mdettweiler [2012-01-31 21:28:32] 777*2^1003468-1 is not prime. Res64: 2E9638F3BA350BB0 Time : 0.0 sec. user=mdettweiler [2012-01-31 21:28:32] 869*2^1003468-1 is not prime. Res64: 51ABDEE37301D313 Time : 0.0 sec. user=mdettweiler [2012-01-31 21:34:13] 773*2^1003458-1 is not prime. Res64: 48F7ED00F1F6B033 Time : 0.0 sec. user=mdettweiler [2012-01-31 21:43:22] 729*2^1003469-1 is not prime. Res64: DBE51770BDC6FEB9 Time : 0.0 sec. user=mdettweiler [2012-01-31 21:43:23] 795*2^1003469-1 is not prime. Res64: F76FBE08C48E6EE3 Time : 0.0 sec. user=mdettweiler [2012-01-31 21:43:25] 997*2^1003457-1 is not prime. Res64: 68C06FD8691DDAE1 Time : 0.0 sec. user=mdettweiler [2012-01-31 21:44:45] 957*2^1003468-1 is not prime. Res64: 412C4031BB10C2A2 Time : 0.0 sec. user=mdettweiler [2012-01-31 21:44:45] 615*2^1003469-1 is not prime. Res64: 96BA8DB05C5C8849 Time : 0.0 sec. user=mdettweiler [2012-01-31 21:45:00] 879*2^1003469-1 is not prime. Res64: 6E6118FA6D79B5DA Time : 0.0 sec. user=mdettweiler [2012-01-31 21:45:00] 885*2^1003469-1 is not prime. Res64: C5FDF597BBF0A949 Time : 0.0 sec. user=mdettweiler [2012-01-31 21:50:48] 927*2^1003469-1 is not prime. Res64: 0839795B1AF2FA30 Time : 0.0 sec. user=mdettweiler [2012-01-31 21:50:48] 765*2^1003470-1 is not prime. Res64: 9D3FACD0EBD57FC8 Time : 0.0 sec. user=mdettweiler [2012-01-31 21:51:16] 625*2^1003459-1 is not prime. Res64: 64D71174AE447E65 Time : 0.0 sec. user=mdettweiler [2012-01-31 22:03:26] 679*2^1003471-1 is not prime. Res64: 90750BF8E4D13F5B Time : 0.0 sec. user=mdettweiler [2012-01-31 22:03:27] 841*2^1003471-1 is not prime. Res64: 9344B0929CC8A5A2 Time : 0.0 sec. user=mdettweiler [2012-01-31 22:04:43] 717*2^1003472-1 is not prime. Res64: E51956578C9D9019 Time : 0.0 sec. user=mdettweiler [2012-01-31 22:04:43] 725*2^1003472-1 is not prime. Res64: 16B52FB58B6C2675 Time : 0.0 sec. user=mdettweiler [2012-01-31 22:05:00] 857*2^1003472-1 is not prime. Res64: A4CDBAA2D09C402B Time : 0.0 sec. user=mdettweiler [2012-01-31 22:05:02] 867*2^1003472-1 is not prime. Res64: 2150D7159B08A6AF Time : 0.0 sec. user=mdettweiler [2012-01-31 22:10:54] 609*2^1003473-1 is not prime. Res64: 07C8674861520892 Time : 0.0 sec. user=mdettweiler [2012-01-31 22:10:55] 675*2^1003473-1 is not prime. Res64: 335C9EB53E40F4D8 Time : 0.0 sec. user=mdettweiler [2012-01-31 22:24:23] 817*2^1003473-1 is not prime. Res64: CCB09D9C1D22EA0F Time : 0.0 sec. user=mdettweiler [2012-01-31 22:24:23] 847*2^1003473-1 is not prime. Res64: 1AD4A3509C59EFEF Time : 0.0 sec. user=mdettweiler [2012-01-31 22:26:13] 783*2^1003474-1 is not prime. Res64: 83E60143094E11B2 Time : 0.0 sec. user=mdettweiler [2012-01-31 22:26:13] 791*2^1003474-1 is not prime. Res64: 4E5FD198385CA055 Time : 0.0 sec. user=mdettweiler [2012-01-31 22:28:11] 915*2^1003473-1 is not prime. Res64: ADA80FFD4E74F8D1 Time : 0.0 sec. user=mdettweiler [2012-01-31 22:28:12] 675*2^1003474-1 is not prime. Res64: FA0F6162902284A7 Time : 0.0 sec. user=mdettweiler [2012-01-31 22:34:23] 881*2^1003474-1 is not prime. Res64: 019DAC57707CC95C Time : 0.0 sec. user=mdettweiler [2012-01-31 22:34:23] 975*2^1003474-1 is not prime. Res64: 7EC8B53E3FE4FC9A Time : 0.0 sec. user=mdettweiler [2012-01-31 22:44:54] 735*2^1003475-1 is not prime. Res64: 426D8C1F2DAEF0A3 Time : 0.0 sec. user=mdettweiler [2012-01-31 22:44:54] 799*2^1003475-1 is not prime. Res64: E952C9FBCC871535 Time : 0.0 sec. user=mdettweiler [2012-01-31 22:48:54] 819*2^1003475-1 is not prime. Res64: 58809072DBC6FC14 Time : 0.0 sec. user=mdettweiler [2012-01-31 22:48:54] 915*2^1003475-1 is not prime. Res64: AA3AF9031E5405EE Time : 0.0 sec. user=mdettweiler [2012-01-31 22:52:53] 939*2^1003475-1 is not prime. Res64: 3B4BCE0566A73A4C Time : 0.0 sec. user=mdettweiler [2012-01-31 22:52:53] 973*2^1003475-1 is not prime. Res64: 9E2019CA8D83DC72 Time : 0.0 sec. user=mdettweiler [2012-01-31 22:56:38] 981*2^1003475-1 is not prime. Res64: 7B8208D97A81D707 Time : 0.0 sec. user=mdettweiler [2012-01-31 22:56:38] 647*2^1003476-1 is not prime. Res64: C28BBCC576071427 Time : 0.0 sec. user=mdettweiler [2012-01-31 23:04:44] 669*2^1003476-1 is not prime. Res64: 0933A11E84C9B235 Time : 0.0 sec. user=mdettweiler [2012-01-31 23:04:45] 683*2^1003476-1 is not prime. Res64: 3C2EB167847A9771 Time : 0.0 sec. user=mdettweiler [2012-01-31 23:04:57] 963*2^1003470-1 is not prime. Res64: 1276A0ABCA7F6334 Time : 0.0 sec. user=mdettweiler [2012-01-31 23:04:58] 649*2^1003471-1 is not prime. Res64: 66569E8EA864182C Time : 0.0 sec. user=mdettweiler [2012-01-31 23:04:59] 891*2^1003471-1 is not prime. Res64: 9CACAC6709EF58E0 Time : 0.0 sec. user=mdettweiler [2012-01-31 23:05:00] 635*2^1003472-1 is not prime. Res64: 030EB8271EA2D3B1 Time : 0.0 sec. user=mdettweiler [2012-01-31 23:08:45] 689*2^1003476-1 is not prime. Res64: C8F36A267A84FCD6 Time : 0.0 sec. user=mdettweiler [2012-01-31 23:08:46] 719*2^1003476-1 is not prime. Res64: F775DDF05E6E6123 Time : 0.0 sec. user=mdettweiler [2012-01-31 23:12:06] 765*2^1003473-1 is not prime. Res64: BE3A52F58DC08100 Time : 0.0 sec. user=mdettweiler [2012-01-31 23:12:07] 807*2^1003473-1 is not prime. Res64: 7692F886993C7CBE Time : 0.0 sec. user=mdettweiler [2012-01-31 23:12:42] 765*2^1003476-1 is not prime. Res64: ACA555983F007EAC Time : 0.0 sec. user=mdettweiler [2012-01-31 23:12:43] 873*2^1003476-1 is not prime. Res64: DA6B6A114A5F483A Time : 0.0 sec. user=mdettweiler [2012-01-31 23:18:45] 875*2^1003476-1 is not prime. Res64: A69C4225AD0DAEC4 Time : 0.0 sec. user=mdettweiler [2012-01-31 23:18:46] 975*2^1003476-1 is not prime. Res64: B655AA6AC0D99F3B Time : 0.0 sec. user=mdettweiler [2012-01-31 23:24:39] 667*2^1003477-1 is not prime. Res64: C643D6AA7548591A Time : 0.0 sec. user=mdettweiler [2012-01-31 23:24:40] 747*2^1003477-1 is not prime. Res64: DE69812FFD7AA2CE Time : 0.0 sec. user=mdettweiler [2012-01-31 23:31:07] 797*2^1003478-1 is not prime. Res64: 6A4844A521B6AB0C Time : 0.0 sec. user=mdettweiler [2012-01-31 23:31:08] 951*2^1003478-1 is not prime. Res64: 9FCD9ED4F0B9894C Time : 0.0 sec. user=mdettweiler [2012-01-31 23:32:50] 789*2^1003479-1 is not prime. Res64: 255FA4B2E26F85B5 Time : 0.0 sec. user=mdettweiler [2012-01-31 23:32:51] 823*2^1003479-1 is not prime. Res64: 81FBFBD2A708FEC5 Time : 0.0 sec. user=mdettweiler [2012-01-31 23:41:07] 961*2^1003479-1 is not prime. Res64: A220FC6AFF1ED861 Time : 0.0 sec. user=mdettweiler [2012-01-31 23:41:08] 713*2^1003480-1 is not prime. Res64: 41C3CF3DB0A0964C Time : 0.0 sec. user=mdettweiler [2012-01-31 23:44:46] 797*2^1003480-1 is not prime. Res64: CF5F844481E2FC4E Time : 0.0 sec. user=mdettweiler [2012-01-31 23:44:46] 843*2^1003480-1 is not prime. Res64: 2DCF4F31454687F5 Time : 0.0 sec. user=mdettweiler [2012-01-31 23:51:07] 857*2^1003480-1 is not prime. Res64: 98BBB7156BE2BEDA Time : 0.0 sec. user=mdettweiler [2012-01-31 23:51:08] 887*2^1003480-1 is not prime. Res64: 651F12C4734CAE54 Time : 0.0 sec. user=mdettweiler [2012-01-31 23:57:16] 939*2^1003480-1 is not prime. Res64: CEB8320B4E40800D Time : 0.0 sec. user=mdettweiler [2012-01-31 23:57:17] 999*2^1003480-1 is not prime. Res64: 11C702144EC7BEB0 Time : 0.0 sec. user=mdettweiler [2012-02-01 00:00:56] 615*2^1003481-1 is not prime. Res64: 6DF6154D5E3D512A Time : 0.0 sec. user=mdettweiler [2012-02-01 00:00:56] 619*2^1003481-1 is not prime. Res64: 1198B57638695337 Time : 0.0 sec.