user=mdettweiler [2012-01-21 00:05:21] 685*2^1002139-1 is not prime. Res64: CCCA8E1598628C34 Time : 0.0 sec. user=mdettweiler [2012-01-21 00:05:22] 669*2^1002140-1 is not prime. Res64: 86451B2DF1606E5E Time : 0.0 sec. user=mdettweiler [2012-01-21 00:06:47] 719*2^1002140-1 is not prime. Res64: 194FB04DAB94FB7B Time : 0.0 sec. user=mdettweiler [2012-01-21 00:06:48] 735*2^1002140-1 is not prime. Res64: 35D9DCD80FC4E9E9 Time : 0.0 sec. user=mdettweiler [2012-01-21 00:08:10] 743*2^1002140-1 is not prime. Res64: 61D33E85C89DB60D Time : 0.0 sec. user=mdettweiler [2012-01-21 00:08:11] 813*2^1002140-1 is not prime. Res64: 478EED1D7918019A Time : 0.0 sec. user=mdettweiler [2012-01-21 00:19:07] 657*2^1002142-1 is not prime. Res64: 109AEAAAEE5B8967 Time : 0.0 sec. user=mdettweiler [2012-01-21 00:19:08] 713*2^1002142-1 is not prime. Res64: E913451B9478A923 Time : 0.0 sec. user=mdettweiler [2012-01-21 00:25:07] 777*2^1002142-1 is not prime. Res64: 1721F47F8BDD0ED0 Time : 0.0 sec. user=mdettweiler [2012-01-21 00:25:08] 911*2^1002142-1 is not prime. Res64: 64668BD7FA9F4B3B Time : 0.0 sec. user=mdettweiler [2012-01-21 00:28:55] 975*2^1002142-1 is not prime. Res64: D3873F9BBDA94EC6 Time : 0.0 sec. user=mdettweiler [2012-01-21 00:28:55] 741*2^1002143-1 is not prime. Res64: 1F9C244BC3BA41F2 Time : 0.0 sec. user=mdettweiler [2012-01-21 00:32:35] 963*2^1002143-1 is not prime. Res64: 1D428A736E4F91A4 Time : 0.0 sec. user=mdettweiler [2012-01-21 00:32:36] 985*2^1002143-1 is not prime. Res64: 5CEDB5DA5B23808C Time : 0.0 sec. user=mdettweiler [2012-01-21 00:43:23] 993*2^1002143-1 is not prime. Res64: 1C82E809CE27389B Time : 0.0 sec. user=mdettweiler [2012-01-21 00:43:23] 999*2^1002143-1 is not prime. Res64: A39717C1FCA8E00E Time : 0.0 sec. user=mdettweiler [2012-01-21 00:47:08] 753*2^1002144-1 is not prime. Res64: 0AE8DCF71ECA9DAB Time : 0.0 sec. user=mdettweiler [2012-01-21 00:47:09] 929*2^1002144-1 is not prime. Res64: CAB8781F7C7FBEBB Time : 0.0 sec. user=mdettweiler [2012-01-21 00:48:42] 687*2^1002145-1 is not prime. Res64: 25822849748DC0AA Time : 0.0 sec. user=mdettweiler [2012-01-21 00:48:42] 691*2^1002145-1 is not prime. Res64: EFFDE918145524DB Time : 0.0 sec. user=mdettweiler [2012-01-21 00:48:56] 847*2^1002137-1 is not prime. Res64: FC2B7137CF926792 Time : 0.0 sec. user=mdettweiler [2012-01-21 00:48:56] 885*2^1002137-1 is not prime. Res64: 9B7984087764C988 Time : 0.0 sec. user=mdettweiler [2012-01-21 00:49:57] 743*2^1002136-1 is not prime. Res64: C5B3ECB8CD9B08AE Time : 0.0 sec. user=mdettweiler [2012-01-21 00:49:57] 927*2^1002136-1 is not prime. Res64: 3960DAF44DF0E06B Time : 0.0 sec. user=mdettweiler [2012-01-21 00:52:20] 705*2^1002145-1 is not prime. Res64: 634C69EA199AF555 Time : 0.0 sec. user=mdettweiler [2012-01-21 00:52:21] 775*2^1002145-1 is not prime. Res64: EFE8F658587CB480 Time : 0.0 sec. user=mdettweiler [2012-01-21 01:03:06] 855*2^1002145-1 is not prime. Res64: 47E20AB56F629453 Time : 0.0 sec. user=mdettweiler [2012-01-21 01:03:07] 885*2^1002145-1 is not prime. Res64: A0D9CF796EF07A86 Time : 0.0 sec. user=mdettweiler [2012-01-21 01:06:53] 889*2^1002145-1 is not prime. Res64: D9AB42CA9A859189 Time : 0.0 sec. user=mdettweiler [2012-01-21 01:06:54] 895*2^1002145-1 is not prime. Res64: D2A5867F45E67E9E Time : 0.0 sec. user=mdettweiler [2012-01-21 01:10:38] 939*2^1002145-1 is not prime. Res64: 1A57BA6CC92A2EAF Time : 0.0 sec. user=mdettweiler [2012-01-21 01:10:39] 603*2^1002146-1 is not prime. Res64: 14BB5EA1F4748527 Time : 0.0 sec. user=mdettweiler [2012-01-21 01:12:04] 649*2^1002147-1 is not prime. Res64: AB41F18211DD7B4A Time : 0.0 sec. user=mdettweiler [2012-01-21 01:12:06] 741*2^1002147-1 is not prime. Res64: 321B441303498918 Time : 0.0 sec. user=mdettweiler [2012-01-21 01:21:41] 825*2^1002140-1 is not prime. Res64: B82912E2263EB007 Time : 0.0 sec. user=mdettweiler [2012-01-21 01:21:41] 651*2^1002141-1 is not prime. Res64: FDFA616EB21C7004 Time : 0.0 sec. user=mdettweiler [2012-01-21 01:22:51] 823*2^1002147-1 is not prime. Res64: 248BEB3DA2098548 Time : 0.0 sec. user=mdettweiler [2012-01-21 01:22:52] 835*2^1002147-1 is not prime. Res64: B09E9BAE1E8C82B7 Time : 0.0 sec. user=mdettweiler [2012-01-21 01:26:40] 871*2^1002147-1 is not prime. Res64: 9D356F972F991736 Time : 0.0 sec. user=mdettweiler [2012-01-21 01:26:41] 919*2^1002147-1 is not prime. Res64: 55425EDCBFCD65D9 Time : 0.0 sec. user=mdettweiler [2012-01-21 01:30:23] 665*2^1002148-1 is not prime. Res64: A7554ED9BC26EF0F Time : 0.0 sec. user=mdettweiler [2012-01-21 01:30:24] 765*2^1002148-1 is not prime. Res64: 4CF2E56B4FEAB1A9 Time : 0.0 sec. user=mdettweiler [2012-01-21 01:30:31] 727*2^1002141-1 is not prime. Res64: 01B8168DF7DE3E6D Time : 0.0 sec. user=mdettweiler [2012-01-21 01:30:31] 747*2^1002141-1 is not prime. Res64: FEFEAE248D082A4B Time : 0.0 sec. user=mdettweiler [2012-01-21 01:34:06] 797*2^1002148-1 is not prime. Res64: E7558250679B398C Time : 0.0 sec. user=mdettweiler [2012-01-21 01:34:07] 957*2^1002148-1 is not prime. Res64: 5B3D2B649290436B Time : 0.0 sec. user=mdettweiler [2012-01-21 01:42:39] 675*2^1002149-1 is not prime. Res64: 86655829E43B7F7F Time : 0.0 sec. user=mdettweiler [2012-01-21 01:42:39] 741*2^1002149-1 is not prime. Res64: 7B91AB102B3CDEF5 Time : 0.0 sec. user=mdettweiler [2012-01-21 01:46:28] 745*2^1002149-1 is not prime. Res64: 10022946DE15F8F5 Time : 0.0 sec. user=mdettweiler [2012-01-21 01:46:28] 771*2^1002149-1 is not prime. Res64: 6F9AD7F6FADDB6D1 Time : 0.0 sec. user=mdettweiler [2012-01-21 01:50:06] 787*2^1002149-1 is not prime. Res64: 83726329C4D69FE8 Time : 0.0 sec. user=mdettweiler [2012-01-21 01:50:06] 795*2^1002149-1 is not prime. Res64: FD0F6B444E6059B2 Time : 0.0 sec. user=mdettweiler [2012-01-21 01:56:09] 879*2^1002149-1 is not prime. Res64: A921ECA62CD60B0E Time : 0.0 sec. user=mdettweiler [2012-01-21 01:56:09] 939*2^1002149-1 is not prime. Res64: 651FF5E6C53337F8 Time : 0.0 sec. user=mdettweiler [2012-01-21 02:02:25] 635*2^1002150-1 is not prime. Res64: 0145105D255D9D0F Time : 0.0 sec. user=mdettweiler [2012-01-21 02:02:26] 711*2^1002150-1 is not prime. Res64: 517CC37C03DDFE8C Time : 0.0 sec. user=mdettweiler [2012-01-21 02:06:18] 867*2^1002150-1 is not prime. Res64: 44A215B6D05A7AEA Time : 0.0 sec. user=mdettweiler [2012-01-21 02:06:19] 915*2^1002150-1 is not prime. Res64: D97ADB275CEBA6A8 Time : 0.0 sec. user=mdettweiler [2012-01-21 02:14:23] 965*2^1002150-1 is not prime. Res64: D98775581FF37A8D Time : 0.0 sec. user=mdettweiler [2012-01-21 02:14:23] 971*2^1002150-1 is not prime. Res64: FEB840CE6ABBD3FE Time : 0.0 sec. user=mdettweiler [2012-01-21 02:17:45] 911*2^1002146-1 is not prime. Res64: 7E7A6178DAB405E0 Time : 0.0 sec. user=mdettweiler [2012-01-21 02:17:46] 643*2^1002147-1 is not prime. Res64: 3C28210DB2443D92 Time : 0.0 sec. user=mdettweiler [2012-01-21 02:18:07] 977*2^1002150-1 is not prime. Res64: 556EF62669A28CA9 Time : 0.0 sec. user=mdettweiler [2012-01-21 02:18:08] 705*2^1002151-1 is not prime. Res64: B748F1053F67D66A Time : 0.0 sec. user=mdettweiler [2012-01-21 02:18:19] 773*2^1002146-1 is not prime. Res64: 6D074FE26C59A2C2 Time : 0.0 sec. user=mdettweiler [2012-01-21 02:18:19] 843*2^1002146-1 is not prime. Res64: EC91C43EB1B82E5F Time : 0.0 sec. user=mdettweiler [2012-01-21 02:22:11] 759*2^1002151-1 is not prime. Res64: F96F5904B30D9EB6 Time : 0.0 sec. user=mdettweiler [2012-01-21 02:22:12] 829*2^1002151-1 is not prime. Res64: A224B8B6FCA57F31 Time : 0.0 sec. user=mdettweiler [2012-01-21 02:26:06] 849*2^1002151-1 is not prime. Res64: 12DA17720448BBCF Time : 0.0 sec. user=mdettweiler [2012-01-21 02:26:07] 855*2^1002151-1 is not prime. Res64: 1F8D094587A2C272 Time : 0.0 sec. user=mdettweiler [2012-01-21 02:36:24] 645*2^1002152-1 is not prime. Res64: 69242360A5086F5E Time : 0.0 sec. user=mdettweiler [2012-01-21 02:36:25] 935*2^1002152-1 is not prime. Res64: FEF27B5859A6BFBF Time : 0.0 sec. user=mdettweiler [2012-01-21 02:37:53] 685*2^1002153-1 is not prime. Res64: 8F561D3F2B3AC6C0 Time : 0.0 sec. user=mdettweiler [2012-01-21 02:37:55] 699*2^1002153-1 is not prime. Res64: EBBB33939F1F3271 Time : 0.0 sec. user=mdettweiler [2012-01-21 02:44:13] 969*2^1002153-1 is not prime. Res64: 3A341FB0989BA52E Time : 0.0 sec. user=mdettweiler [2012-01-21 02:44:13] 657*2^1002154-1 is not prime. Res64: F357AA9BAE609DDC Time : 0.0 sec. user=mdettweiler [2012-01-21 02:45:57] 677*2^1002154-1 is not prime. Res64: B7D66FAD16007683 Time : 0.0 sec. user=mdettweiler [2012-01-21 02:45:57] 705*2^1002154-1 is not prime. Res64: B74CED4599FACBF4 Time : 0.0 sec. user=mdettweiler [2012-01-21 02:56:12] 717*2^1002154-1 is not prime. Res64: 612D71DD4B76D852 Time : 0.0 sec. user=mdettweiler [2012-01-21 02:56:12] 905*2^1002154-1 is not prime. Res64: EA5A34DEE9634B2E Time : 0.0 sec. user=mdettweiler [2012-01-21 02:57:40] 993*2^1002148-1 is not prime. Res64: 081C0049A0D3A96D Time : 0.0 sec. user=mdettweiler [2012-01-21 02:57:40] 621*2^1002149-1 is not prime. Res64: 2D035743C1CDA239 Time : 0.0 sec. user=mdettweiler [2012-01-21 02:59:52] 837*2^1002149-1 is not prime. Res64: 72990037FEE208AE Time : 0.0 sec. user=mdettweiler [2012-01-21 02:59:52] 861*2^1002149-1 is not prime. Res64: A9F6C08CFCF1780F Time : 0.0 sec. user=mdettweiler [2012-01-21 03:02:19] 951*2^1002154-1 is not prime. Res64: DE77B71A64387695 Time : 0.0 sec. user=mdettweiler [2012-01-21 03:02:20] 971*2^1002154-1 is not prime. Res64: AD52EC275D0D74C7 Time : 0.0 sec. user=mdettweiler [2012-01-21 03:05:43] 775*2^1002155-1 is not prime. Res64: 740BDBDD880FDF26 Time : 0.0 sec. user=mdettweiler [2012-01-21 03:05:44] 825*2^1002155-1 is not prime. Res64: A6EB5C8B89CB61BB Time : 0.0 sec. user=mdettweiler [2012-01-21 03:06:18] 983*2^1002154-1 is not prime. Res64: 7645325976F3A258 Time : 0.0 sec. user=mdettweiler [2012-01-21 03:06:19] 603*2^1002155-1 is not prime. Res64: AEFC5AF08824A863 Time : 0.0 sec. user=mdettweiler [2012-01-21 03:20:32] 949*2^1002155-1 is not prime. Res64: 46FF67CBBB4D38C4 Time : 0.0 sec. user=mdettweiler [2012-01-21 03:20:32] 963*2^1002155-1 is not prime. Res64: A2E72DC34CFA9FD6 Time : 0.0 sec. user=mdettweiler [2012-01-21 03:22:02] 715*2^1002157-1 is not prime. Res64: 91612B06D0A79B65 Time : 0.0 sec. user=mdettweiler [2012-01-21 03:22:03] 717*2^1002157-1 is not prime. Res64: 1DD9D82579AD0A3D Time : 0.0 sec. user=mdettweiler [2012-01-21 03:25:36] 741*2^1002157-1 is not prime. Res64: 48BEB12B3006EFE3 Time : 0.0 sec. user=mdettweiler [2012-01-21 03:25:37] 777*2^1002157-1 is not prime. Res64: 364879FDF396E8F3 Time : 0.0 sec. user=mdettweiler [2012-01-21 03:26:05] 605*2^1002158-1 is not prime. Res64: 6DDED4EC2A4020C1 Time : 0.0 sec. user=mdettweiler [2012-01-21 03:26:05] 773*2^1002158-1 is not prime. Res64: 35D2B8CFE6BDBDEB Time : 0.0 sec. user=mdettweiler [2012-01-21 03:29:02] 633*2^1002098-1 is not prime. Res64: 5BA83F50642F2E30 Time : 0.0 sec. user=mdettweiler [2012-01-21 03:30:57] 843*2^1002098-1 is not prime. Res64: A2B3DC1C2B4D1C02 Time : 0.0 sec. user=mdettweiler [2012-01-21 03:36:22] 723*2^1002160-1 is not prime. Res64: BF235C2CCD1CEB56 Time : 0.0 sec. user=mdettweiler [2012-01-21 03:38:18] 729*2^1002160-1 is not prime. Res64: E33DD767E83E5679 Time : 0.0 sec. user=mdettweiler [2012-01-21 03:40:21] 845*2^1002158-1 is not prime. Res64: C2B1C4459DCB21F9 Time : 0.0 sec. user=mdettweiler [2012-01-21 03:40:21] 857*2^1002158-1 is not prime. Res64: 85C669A789B26DB7 Time : 0.0 sec. user=mdettweiler [2012-01-21 03:43:07] 745*2^1002153-1 is not prime. Res64: EEC352476130BCCA Time : 0.0 sec. user=mdettweiler [2012-01-21 03:43:07] 915*2^1002153-1 is not prime. Res64: ECBB972264FE5FA1 Time : 0.0 sec. user=mdettweiler [2012-01-21 03:43:41] 819*2^1002160-1 is not prime. Res64: 551618BC5B050BF3 Time : 0.0 sec. user=mdettweiler [2012-01-21 03:44:07] 867*2^1002158-1 is not prime. Res64: B1EA820ED141036A Time : 0.0 sec. user=mdettweiler [2012-01-21 03:44:07] 971*2^1002158-1 is not prime. Res64: 343727359E8B4870 Time : 0.0 sec. user=mdettweiler [2012-01-21 03:45:21] 615*2^1002159-1 is not prime. Res64: FAC742B7C129BCD5 Time : 0.0 sec. user=mdettweiler [2012-01-21 03:45:21] 853*2^1002159-1 is not prime. Res64: 4C6FAC191B658237 Time : 0.0 sec. user=mdettweiler [2012-01-21 03:45:39] 833*2^1002160-1 is not prime. Res64: 22681A429DCA0546 Time : 0.0 sec. user=mdettweiler [2012-01-21 03:48:05] 865*2^1002159-1 is not prime. Res64: 913FF88775F1A575 Time : 0.0 sec. user=mdettweiler [2012-01-21 03:48:05] 955*2^1002159-1 is not prime. Res64: 92AD86CBDBBF7897 Time : 0.0 sec. user=mdettweiler [2012-01-21 03:51:00] 669*2^1002161-1 is not prime. Res64: 37BC55A1AED79AAF Time : 0.0 sec. user=mdettweiler [2012-01-21 03:52:59] 765*2^1002162-1 is not prime. Res64: 1C7A5140D5D17BA7 Time : 0.0 sec. user=mdettweiler [2012-01-21 03:58:19] 615*2^1002163-1 is not prime. Res64: F20F3D380AD03E76 Time : 0.0 sec. user=mdettweiler [2012-01-21 04:00:17] 685*2^1002163-1 is not prime. Res64: A536DD27B528914D Time : 0.0 sec. user=mdettweiler [2012-01-21 04:00:18] 843*2^1002160-1 is not prime. Res64: C0DA96512CD55C45 Time : 0.0 sec. user=mdettweiler [2012-01-21 04:00:19] 887*2^1002160-1 is not prime. Res64: BAE2D0980DE31697 Time : 0.0 sec. user=mdettweiler [2012-01-21 04:04:02] 685*2^1002161-1 is not prime. Res64: A4F9AEA6C199CDF3 Time : 0.0 sec. user=mdettweiler [2012-01-21 04:04:02] 627*2^1002162-1 is not prime. Res64: BDD597F9A7B0F9C4 Time : 0.0 sec. user=mdettweiler [2012-01-21 04:05:06] 651*2^1002162-1 is not prime. Res64: 8A14B1D6ECCD45F2 Time : 0.0 sec. user=mdettweiler [2012-01-21 04:05:08] 735*2^1002162-1 is not prime. Res64: 029BAA372EBB225F Time : 0.0 sec. user=mdettweiler [2012-01-21 04:05:38] 775*2^1002163-1 is not prime. Res64: CC2B7ABDF72BE1E8 Time : 0.0 sec. user=mdettweiler [2012-01-21 04:07:16] 945*2^1002152-1 is not prime. Res64: 2237BEEF957F0FEB Time : 0.0 sec. user=mdettweiler [2012-01-21 04:07:17] 999*2^1002152-1 is not prime. Res64: 92556DB757B38752 Time : 0.0 sec. user=mdettweiler [2012-01-21 04:07:37] 805*2^1002163-1 is not prime. Res64: 82A48CBB67B51DEF Time : 0.0 sec. user=mdettweiler [2012-01-21 04:10:18] 791*2^1002162-1 is not prime. Res64: 52AF3CDED2808289 Time : 0.0 sec. user=mdettweiler [2012-01-21 04:10:19] 951*2^1002162-1 is not prime. Res64: 7D5BDC8BFADB597C Time : 0.0 sec. user=mdettweiler [2012-01-21 04:12:58] 789*2^1002164-1 is not prime. Res64: A7C59B6FBE04E39B Time : 0.0 sec. user=mdettweiler [2012-01-21 04:16:41] 959*2^1002164-1 is not prime. Res64: 9EF8559E24B7F25D Time : 0.0 sec. user=mdettweiler [2012-01-21 04:20:16] 889*2^1002165-1 is not prime. Res64: E6CBCF3B0A410F74 Time : 0.0 sec. user=mdettweiler [2012-01-21 04:22:26] 861*2^1002163-1 is not prime. Res64: 4B91A1C9326FABA3 Time : 0.0 sec. user=mdettweiler [2012-01-21 04:22:26] 943*2^1002163-1 is not prime. Res64: 257BDFAE4D625547 Time : 0.0 sec. user=mdettweiler [2012-01-21 04:23:46] 659*2^1002164-1 is not prime. Res64: 10202BFC554F2FF2 Time : 0.0 sec. user=mdettweiler [2012-01-21 04:23:46] 683*2^1002164-1 is not prime. Res64: BA4E4612B75F80AD Time : 0.0 sec. user=mdettweiler [2012-01-21 04:24:57] 707*2^1002164-1 is not prime. Res64: 6B237F87B3366F41 Time : 0.0 sec. user=mdettweiler [2012-01-21 04:24:58] 743*2^1002164-1 is not prime. Res64: 40E9D683D917A9BB Time : 0.0 sec. user=mdettweiler [2012-01-21 04:25:43] 979*2^1002165-1 is not prime. Res64: 9B1A1DE85397CBA9 Time : 0.0 sec. user=mdettweiler [2012-01-21 04:27:34] 617*2^1002166-1 is not prime. Res64: C8264FFCB0A34BCA Time : 0.0 sec. user=mdettweiler [2012-01-21 04:29:02] 887*2^1002156-1 is not prime. Res64: 199AC5D730B315E0 Time : 0.0 sec. user=mdettweiler [2012-01-21 04:29:02] 905*2^1002156-1 is not prime. Res64: EAFCDCB2A338DE0F Time : 0.0 sec. user=mdettweiler [2012-01-21 04:30:07] 717*2^1002165-1 is not prime. Res64: 5F0F90D2883F94E7 Time : 0.0 sec. user=mdettweiler [2012-01-21 04:30:08] 885*2^1002165-1 is not prime. Res64: 855F1C85665B7BF8 Time : 0.0 sec. user=mdettweiler [2012-01-21 04:33:03] 775*2^1002167-1 is not prime. Res64: B028804AADBED577 Time : 0.0 sec. user=mdettweiler [2012-01-21 04:34:52] 865*2^1002167-1 is not prime. Res64: 2DAAC88960AA2C34 Time : 0.0 sec. user=mdettweiler [2012-01-21 04:35:17] 979*2^1002155-1 is not prime. Res64: A1DB41F13D05866E Time : 0.0 sec. user=mdettweiler [2012-01-21 04:35:17] 683*2^1002156-1 is not prime. Res64: DF62ABE6E1B1CAEF Time : 0.0 sec. user=mdettweiler [2012-01-21 04:40:25] 691*2^1002169-1 is not prime. Res64: 6702E90FA5C1BA86 Time : 0.0 sec. user=mdettweiler [2012-01-21 04:42:09] 657*2^1002166-1 is not prime. Res64: 61EA770B09F33080 Time : 0.0 sec. user=mdettweiler [2012-01-21 04:42:10] 663*2^1002166-1 is not prime. Res64: D7DC19B00B9AC081 Time : 0.0 sec. user=mdettweiler [2012-01-21 04:42:11] 765*2^1002169-1 is not prime. Res64: E33500A8A085AB63 Time : 0.0 sec. user=mdettweiler [2012-01-21 04:43:31] 741*2^1002166-1 is not prime. Res64: 83AC891C3909F58A Time : 0.0 sec. user=mdettweiler [2012-01-21 04:43:31] 785*2^1002166-1 is not prime. Res64: 2A58BE42BA9150F1 Time : 0.0 sec. user=mdettweiler [2012-01-21 04:44:45] 815*2^1002166-1 is not prime. Res64: 4002CBF0082ED14F Time : 0.0 sec. user=mdettweiler [2012-01-21 04:44:46] 923*2^1002166-1 is not prime. Res64: D206C274B9355DC0 Time : 0.0 sec. user=mdettweiler [2012-01-21 04:49:24] 967*2^1002169-1 is not prime. Res64: 7F0689E0600B25DF Time : 0.0 sec. user=mdettweiler [2012-01-21 04:51:10] 985*2^1002169-1 is not prime. Res64: BCB7EE8F0FAC25CF Time : 0.0 sec. user=mdettweiler [2012-01-21 04:54:23] 927*2^1002168-1 is not prime. Res64: 4878B55EAA83F499 Time : 0.0 sec. user=mdettweiler [2012-01-21 04:54:23] 945*2^1002168-1 is not prime. Res64: 9EDBFE50BF3A3728 Time : 0.0 sec. user=mdettweiler [2012-01-21 04:58:22] 927*2^1002170-1 is not prime. Res64: E72FEB5D75631F27 Time : 0.0 sec. user=mdettweiler [2012-01-21 05:00:11] 945*2^1002170-1 is not prime. Res64: DF97CAB2E2E771DF Time : 0.0 sec. user=mdettweiler [2012-01-21 05:01:59] 675*2^1002170-1 is not prime. Res64: 53C7E557D5AE3B93 Time : 0.0 sec. user=mdettweiler [2012-01-21 05:02:01] 735*2^1002170-1 is not prime. Res64: 8CBBA796EF5F3BC3 Time : 0.0 sec. user=mdettweiler [2012-01-21 05:03:14] 797*2^1002170-1 is not prime. Res64: 65F18AB7A0DD4843 Time : 0.0 sec. user=mdettweiler [2012-01-21 05:03:15] 813*2^1002170-1 is not prime. Res64: 3FDB95AE3CC61569 Time : 0.0 sec. user=mdettweiler [2012-01-21 05:04:31] 893*2^1002170-1 is not prime. Res64: 20EA28B6B27084DF Time : 0.0 sec. user=mdettweiler [2012-01-21 05:04:33] 921*2^1002170-1 is not prime. Res64: BC31136ED77B0B22 Time : 0.0 sec. user=mdettweiler [2012-01-21 05:05:41] 613*2^1002171-1 is not prime. Res64: 109280236CDF3476 Time : 0.0 sec. user=mdettweiler [2012-01-21 05:07:31] 615*2^1002171-1 is not prime. Res64: D5545DD3D49F800E Time : 0.0 sec. user=mdettweiler [2012-01-21 05:14:44] 999*2^1002171-1 is not prime. Res64: C70867F0315E8CD6 Time : 0.0 sec. user=mdettweiler [2012-01-21 05:14:52] 605*2^1002172-1 is not prime. Res64: 3D8C19BB9AAFEE9B Time : 0.0 sec. user=mdettweiler [2012-01-21 05:18:34] 899*2^1002160-1 is not prime. Res64: B54803F5DED7AF8B Time : 0.0 sec. user=mdettweiler [2012-01-21 05:18:34] 929*2^1002160-1 is not prime. Res64: 94225FA8ACE3D25B Time : 0.0 sec. user=mdettweiler [2012-01-21 05:18:46] 977*2^1002170-1 is not prime. Res64: B40317228C6A16FB Time : 0.0 sec. user=mdettweiler [2012-01-21 05:18:46] 987*2^1002170-1 is not prime. Res64: 6D70C11F6B937E72 Time : 0.0 sec. user=mdettweiler [2012-01-21 05:21:49] 741*2^1002171-1 is not prime. Res64: 3641A9E701D66A96 Time : 0.0 sec. user=mdettweiler [2012-01-21 05:21:50] 769*2^1002171-1 is not prime. Res64: BC8401F41C1166CA Time : 0.0 sec. user=mdettweiler [2012-01-21 05:22:02] 617*2^1002172-1 is not prime. Res64: 7C9DB5B3D1F38AC8 Time : 0.0 sec. user=mdettweiler [2012-01-21 05:22:11] 665*2^1002172-1 is not prime. Res64: FBE4B5C48BEAA03B Time : 0.0 sec. user=mdettweiler [2012-01-21 05:25:21] 891*2^1002171-1 is not prime. Res64: 08CB22D6021623AA Time : 0.0 sec. user=mdettweiler [2012-01-21 05:25:21] 969*2^1002171-1 is not prime. Res64: 100A645C19EFA609 Time : 0.0 sec. user=mdettweiler [2012-01-21 05:28:58] 975*2^1002171-1 is not prime. Res64: 29FE2CADB2367984 Time : 0.0 sec. user=mdettweiler [2012-01-21 05:28:59] 979*2^1002171-1 is not prime. Res64: 0DC65F1E876D29E6 Time : 0.0 sec. user=mdettweiler [2012-01-21 05:29:22] 727*2^1002173-1 is not prime. Res64: 1DB3844387914825 Time : 0.0 sec. user=mdettweiler [2012-01-21 05:29:30] 861*2^1002173-1 is not prime. Res64: E25FE1D82C8805EF Time : 0.0 sec. user=mdettweiler [2012-01-21 05:35:52] 825*2^1002164-1 is not prime. Res64: 6D58435D77191114 Time : 0.0 sec. user=mdettweiler [2012-01-21 05:35:52] 827*2^1002164-1 is not prime. Res64: F541327DD515B216 Time : 0.0 sec. user=mdettweiler [2012-01-21 05:36:40] 841*2^1002175-1 is not prime. Res64: D2F20249EC633DEA Time : 0.0 sec. user=mdettweiler [2012-01-21 05:38:29] 925*2^1002175-1 is not prime. Res64: 5DE9A8D568A2F1D7 Time : 0.0 sec. user=mdettweiler [2012-01-21 05:38:33] 803*2^1002172-1 is not prime. Res64: 88F91503D4AC419E Time : 0.0 sec. user=mdettweiler [2012-01-21 05:38:34] 813*2^1002172-1 is not prime. Res64: 84BF8EF4BB03B23B Time : 0.0 sec. user=mdettweiler [2012-01-21 05:41:38] 827*2^1002172-1 is not prime. Res64: 41C2F77800614AC4 Time : 0.0 sec. user=mdettweiler [2012-01-21 05:41:39] 715*2^1002173-1 is not prime. Res64: 87AC3B01EC52BDA2 Time : 0.0 sec. user=mdettweiler [2012-01-21 05:45:10] 917*2^1002174-1 is not prime. Res64: 74EFE5F3B27CF477 Time : 0.0 sec. user=mdettweiler [2012-01-21 05:45:11] 735*2^1002175-1 is not prime. Res64: 80B9B6FB3D43132B Time : 0.0 sec. user=mdettweiler [2012-01-21 05:45:40] 969*2^1002176-1 is not prime. Res64: 27DA17DF9F0CBC72 Time : 0.0 sec. user=mdettweiler [2012-01-21 05:45:48] 637*2^1002177-1 is not prime. Res64: 808F77DCC8B0F57B Time : 0.0 sec. user=mdettweiler [2012-01-21 05:48:44] 765*2^1002175-1 is not prime. Res64: C94F58902F0BF80D Time : 0.0 sec. user=mdettweiler [2012-01-21 05:48:45] 771*2^1002175-1 is not prime. Res64: F204FA8BE5B16345 Time : 0.0 sec. user=mdettweiler [2012-01-21 05:52:57] 755*2^1002178-1 is not prime. Res64: 93686B04B3C0F8F7 Time : 0.0 sec. user=mdettweiler [2012-01-21 05:53:06] 773*2^1002178-1 is not prime. Res64: B0D5422C445DC6BF Time : 0.0 sec. user=mdettweiler [2012-01-21 05:57:50] 839*2^1002168-1 is not prime. Res64: 4F6EED8CB71BC061 Time : 0.0 sec. user=mdettweiler [2012-01-21 05:57:50] 909*2^1002168-1 is not prime. Res64: AF76E37F64F5783C Time : 0.0 sec. user=mdettweiler [2012-01-21 05:58:16] 871*2^1002177-1 is not prime. Res64: F9C9875D821D42D2 Time : 0.0 sec. user=mdettweiler [2012-01-21 05:58:17] 889*2^1002177-1 is not prime. Res64: 26ACDBB98BDCFFB8 Time : 0.0 sec. user=mdettweiler [2012-01-21 06:00:05] 801*2^1002169-1 is not prime. Res64: 239392013D75A0EA Time : 0.0 sec. user=mdettweiler [2012-01-21 06:00:06] 895*2^1002169-1 is not prime. Res64: 3E54A36A75F00A50 Time : 0.0 sec. user=mdettweiler [2012-01-21 06:00:16] 911*2^1002178-1 is not prime. Res64: 1BA3DB14EE6E6143 Time : 0.0 sec. user=mdettweiler [2012-01-21 06:01:22] 909*2^1002177-1 is not prime. Res64: A5F5C3BEB14E49B2 Time : 0.0 sec. user=mdettweiler [2012-01-21 06:01:23] 919*2^1002177-1 is not prime. Res64: 6A001EA31C86986A Time : 0.0 sec. user=mdettweiler [2012-01-21 06:02:06] 995*2^1002178-1 is not prime. Res64: BB7888BCE9183BDB Time : 0.0 sec. user=mdettweiler [2012-01-21 06:04:54] 657*2^1002178-1 is not prime. Res64: 48ECEB1F589CCDE3 Time : 0.0 sec. user=mdettweiler [2012-01-21 06:04:56] 737*2^1002178-1 is not prime. Res64: 0023523A384B1332 Time : 0.0 sec. user=mdettweiler [2012-01-21 06:07:36] 887*2^1002180-1 is not prime. Res64: 45F8CA62A5757256 Time : 0.0 sec. user=mdettweiler [2012-01-21 06:08:26] 821*2^1002178-1 is not prime. Res64: 062945F07F02B013 Time : 0.0 sec. user=mdettweiler [2012-01-21 06:08:29] 831*2^1002178-1 is not prime. Res64: 878BBBDA2A1D74FB Time : 0.0 sec. user=mdettweiler [2012-01-21 06:09:26] 681*2^1002181-1 is not prime. Res64: 004C95C77895A4EC Time : 0.0 sec. user=mdettweiler [2012-01-21 06:16:37] 927*2^1002181-1 is not prime. Res64: 7F79AC419A83FE0B Time : 0.0 sec. user=mdettweiler [2012-01-21 06:16:46] 651*2^1002182-1 is not prime. Res64: AA19293B2B99412D Time : 0.0 sec. user=mdettweiler [2012-01-21 06:18:04] 889*2^1002179-1 is not prime. Res64: 234E1976ADCE22AA Time : 0.0 sec. user=mdettweiler [2012-01-21 06:18:04] 609*2^1002180-1 is not prime. Res64: 1993F413BBDBE272 Time : 0.0 sec. user=mdettweiler [2012-01-21 06:23:26] 905*2^1002180-1 is not prime. Res64: 8C8CEC737821620A Time : 0.0 sec. user=mdettweiler [2012-01-21 06:23:27] 983*2^1002180-1 is not prime. Res64: DA69889BC5316829 Time : 0.0 sec. user=mdettweiler [2012-01-21 06:23:55] 705*2^1002182-1 is not prime. Res64: 8838544A7ECCD950 Time : 0.0 sec. user=mdettweiler [2012-01-21 06:24:04] 885*2^1002182-1 is not prime. Res64: EA18803CF88FA429 Time : 0.0 sec. user=mdettweiler [2012-01-21 06:25:06] 687*2^1002181-1 is not prime. Res64: 1B6BA2E005995C0F Time : 0.0 sec. user=mdettweiler [2012-01-21 06:25:07] 691*2^1002181-1 is not prime. Res64: AFFFE43DBC5722CA Time : 0.0 sec. user=mdettweiler [2012-01-21 06:31:13] 895*2^1002183-1 is not prime. Res64: 89891E0C2ACD9CAF Time : 0.0 sec. user=mdettweiler [2012-01-21 06:31:23] 849*2^1002184-1 is not prime. Res64: 8AC657D1228F1013 Time : 0.0 sec. user=mdettweiler [2012-01-21 06:32:58] 939*2^1002181-1 is not prime. Res64: 5AF465F6AE6C3707 Time : 0.0 sec. user=mdettweiler [2012-01-21 06:32:59] 951*2^1002181-1 is not prime. Res64: 164932367C048957 Time : 0.0 sec. user=mdettweiler [2012-01-21 06:38:31] 601*2^1002185-1 is not prime. Res64: 49E0F5097FE7AABB Time : 0.0 sec. user=mdettweiler [2012-01-21 06:38:41] 799*2^1002185-1 is not prime. Res64: 25D7205AC712AA36 Time : 0.0 sec. user=mdettweiler [2012-01-21 06:40:10] 953*2^1002182-1 is not prime. Res64: 55DC235995865911 Time : 0.0 sec. user=mdettweiler [2012-01-21 06:40:10] 693*2^1002183-1 is not prime. Res64: 76E50C82A010CFC4 Time : 0.0 sec. user=mdettweiler [2012-01-21 06:43:18] 789*2^1002183-1 is not prime. Res64: 1D9AFFE9DD784362 Time : 0.0 sec. user=mdettweiler [2012-01-21 06:43:18] 853*2^1002183-1 is not prime. Res64: B38B9793790958E9 Time : 0.0 sec. user=mdettweiler [2012-01-21 06:44:15] 759*2^1002172-1 is not prime. Res64: 4686A03608E1A60C Time : 0.0 sec. user=mdettweiler [2012-01-21 06:44:15] 779*2^1002172-1 is not prime. Res64: 2842A42BC9E1D6F4 Time : 0.0 sec. user=mdettweiler [2012-01-21 06:44:58] 869*2^1002184-1 is not prime. Res64: 03CBAD60C0C3EF5B Time : 0.0 sec. user=mdettweiler [2012-01-21 06:44:58] 899*2^1002184-1 is not prime. Res64: 7EE7D3C4BAB4C194 Time : 0.0 sec. user=mdettweiler [2012-01-21 06:45:49] 907*2^1002185-1 is not prime. Res64: 6C2E3EA8AE66DD3D Time : 0.0 sec. user=mdettweiler [2012-01-21 06:47:40] 969*2^1002185-1 is not prime. Res64: 092B424D87FDD47A Time : 0.0 sec. user=mdettweiler [2012-01-21 06:52:43] 831*2^1002185-1 is not prime. Res64: 787EB2D337682B58 Time : 0.0 sec. user=mdettweiler [2012-01-21 06:52:44] 885*2^1002185-1 is not prime. Res64: B09F414E9E9DBA70 Time : 0.0 sec. user=mdettweiler [2012-01-21 06:53:06] 693*2^1002187-1 is not prime. Res64: 57F0CD5148C36D7C Time : 0.0 sec. user=mdettweiler [2012-01-21 06:54:58] 889*2^1002187-1 is not prime. Res64: C7556907D033AC96 Time : 0.0 sec. user=mdettweiler [2012-01-21 07:00:06] 633*2^1002186-1 is not prime. Res64: CABACE982B05C191 Time : 0.0 sec. user=mdettweiler [2012-01-21 07:00:07] 635*2^1002186-1 is not prime. Res64: E392040D5642C726 Time : 0.0 sec. user=mdettweiler [2012-01-21 07:00:24] 665*2^1002188-1 is not prime. Res64: 49678D73872E7CAF Time : 0.0 sec. user=mdettweiler [2012-01-21 07:02:17] 885*2^1002188-1 is not prime. Res64: B24C9C26A1799749 Time : 0.0 sec. user=mdettweiler [2012-01-21 07:03:03] 711*2^1002186-1 is not prime. Res64: 057A9CA2A3443A16 Time : 0.0 sec. user=mdettweiler [2012-01-21 07:03:03] 851*2^1002186-1 is not prime. Res64: 071C4F35F51ED823 Time : 0.0 sec. user=mdettweiler [2012-01-21 07:04:46] 619*2^1002187-1 is not prime. Res64: A289FAB018D6FB7C Time : 0.0 sec. user=mdettweiler [2012-01-21 07:04:47] 691*2^1002187-1 is not prime. Res64: FBA3B35C792175C4 Time : 0.0 sec. user=mdettweiler [2012-01-21 07:07:43] 621*2^1002189-1 is not prime. Res64: C91106E29D2C2E3B Time : 0.0 sec. user=mdettweiler [2012-01-21 07:09:37] 627*2^1002189-1 is not prime. Res64: 3FBF8594D66F0CF7 Time : 0.0 sec. user=mdettweiler [2012-01-21 07:14:46] 925*2^1002187-1 is not prime. Res64: 4DEC0DC017DCE433 Time : 0.0 sec. user=mdettweiler [2012-01-21 07:14:47] 647*2^1002188-1 is not prime. Res64: AE3CC06753641181 Time : 0.0 sec. user=mdettweiler [2012-01-21 07:15:05] 651*2^1002190-1 is not prime. Res64: 0B6865C4A24725D0 Time : 0.0 sec. user=mdettweiler [2012-01-21 07:16:56] 675*2^1002190-1 is not prime. Res64: 0458EC097F377FF2 Time : 0.0 sec. user=mdettweiler [2012-01-21 07:22:24] 911*2^1002190-1 is not prime. Res64: 10963C984BD93BF7 Time : 0.0 sec. user=mdettweiler [2012-01-21 07:22:59] 741*2^1002189-1 is not prime. Res64: 1EB406912FDF7C11 Time : 0.0 sec. user=mdettweiler [2012-01-21 07:22:59] 759*2^1002189-1 is not prime. Res64: 4FE4565C5F2DE613 Time : 0.0 sec. user=mdettweiler [2012-01-21 07:24:15] 917*2^1002190-1 is not prime. Res64: 632C5658F2DD3BCD Time : 0.0 sec. user=mdettweiler [2012-01-21 07:24:43] 835*2^1002189-1 is not prime. Res64: 0D2D460F48D36920 Time : 0.0 sec. user=mdettweiler [2012-01-21 07:24:43] 889*2^1002189-1 is not prime. Res64: F3C4690C5052DD21 Time : 0.0 sec. user=mdettweiler [2012-01-21 07:24:50] 969*2^1002188-1 is not prime. Res64: CC2971AB46578F97 Time : 0.0 sec. user=mdettweiler [2012-01-21 07:24:51] 999*2^1002188-1 is not prime. Res64: 9BEB6E19125E6929 Time : 0.0 sec. user=mdettweiler [2012-01-21 07:25:30] 961*2^1002175-1 is not prime. Res64: 393DEFFBF2ECDE9F Time : 0.0 sec. user=mdettweiler [2012-01-21 07:25:30] 979*2^1002175-1 is not prime. Res64: 84BBFC4A77DFBAA0 Time : 0.0 sec. user=mdettweiler [2012-01-21 07:26:34] 623*2^1002180-1 is not prime. Res64: A12997D7B91049CE Time : 0.0 sec. user=mdettweiler [2012-01-21 07:26:35] 863*2^1002180-1 is not prime. Res64: B58D6EF55E75B4F0 Time : 0.0 sec. user=mdettweiler [2012-01-21 07:26:39] 621*2^1002179-1 is not prime. Res64: E33DE640A06AFE14 Time : 0.0 sec. user=mdettweiler [2012-01-21 07:26:39] 733*2^1002179-1 is not prime. Res64: 6C3829D178F0B7DD Time : 0.0 sec. user=mdettweiler [2012-01-21 07:29:43] 711*2^1002191-1 is not prime. Res64: C5B28D5BF18A19D3 Time : 0.0 sec. user=mdettweiler [2012-01-21 07:31:34] 865*2^1002191-1 is not prime. Res64: A28A505E20B0FA9A Time : 0.0 sec. user=mdettweiler [2012-01-21 07:34:33] 713*2^1002190-1 is not prime. Res64: 9A0DE62DCCD4F9B2 Time : 0.0 sec. user=mdettweiler [2012-01-21 07:34:34] 743*2^1002190-1 is not prime. Res64: FE5BF43D87FE1709 Time : 0.0 sec. user=mdettweiler [2012-01-21 07:37:00] 811*2^1002193-1 is not prime. Res64: 7E17116D202FF620 Time : 0.0 sec. user=mdettweiler [2012-01-21 07:38:52] 855*2^1002193-1 is not prime. Res64: FBB6F04323486326 Time : 0.0 sec. user=mdettweiler [2012-01-21 07:42:43] 741*2^1002191-1 is not prime. Res64: 53034EB8AAE7CC01 Time : 0.0 sec. user=mdettweiler [2012-01-21 07:42:44] 813*2^1002191-1 is not prime. Res64: DC545233A10E9DD5 Time : 0.0 sec. user=mdettweiler [2012-01-21 07:44:18] 623*2^1002194-1 is not prime. Res64: EF3791EEBFF36044 Time : 0.0 sec. user=mdettweiler [2012-01-21 07:44:20] 871*2^1002191-1 is not prime. Res64: 97267B057417350B Time : 0.0 sec. user=mdettweiler [2012-01-21 07:44:21] 885*2^1002191-1 is not prime. Res64: 5D1D04CBBB8D762E Time : 0.0 sec. user=mdettweiler [2012-01-21 07:44:30] 623*2^1002192-1 is not prime. Res64: D6D0708580102368 Time : 0.0 sec. user=mdettweiler [2012-01-21 07:44:30] 629*2^1002192-1 is not prime. Res64: BD90BB79BB30E680 Time : 0.0 sec. user=mdettweiler [2012-01-21 07:46:10] 797*2^1002194-1 is not prime. Res64: 33C804FC768FCAD4 Time : 0.0 sec. user=mdettweiler [2012-01-21 07:51:37] 857*2^1002194-1 is not prime. Res64: 468DB591F9D492A2 Time : 0.0 sec. user=mdettweiler [2012-01-21 07:53:28] 669*2^1002195-1 is not prime. Res64: 1482E717734689C6 Time : 0.0 sec. user=mdettweiler [2012-01-21 07:54:20] 919*2^1002193-1 is not prime. Res64: 96F62AE544250FAC Time : 0.0 sec. user=mdettweiler [2012-01-21 07:54:21] 615*2^1002194-1 is not prime. Res64: 10DA7C5FABCACE23 Time : 0.0 sec. user=mdettweiler [2012-01-21 07:59:02] 735*2^1002195-1 is not prime. Res64: 55C93E9AD87BCA39 Time : 0.0 sec. user=mdettweiler [2012-01-21 08:00:53] 891*2^1002195-1 is not prime. Res64: 486C34F7F40C479B Time : 0.0 sec. user=mdettweiler [2012-01-21 08:02:29] 813*2^1002194-1 is not prime. Res64: D03EFEB30AD7A327 Time : 0.0 sec. user=mdettweiler [2012-01-21 08:02:30] 831*2^1002194-1 is not prime. Res64: 0A97645CFF254A88 Time : 0.0 sec. user=mdettweiler [2012-01-21 08:04:15] 609*2^1002195-1 is not prime. Res64: DADBEB842A5402CC Time : 0.0 sec. user=mdettweiler [2012-01-21 08:04:16] 649*2^1002195-1 is not prime. Res64: 5C04A4C89AE49700 Time : 0.0 sec. user=mdettweiler [2012-01-21 08:06:20] 699*2^1002196-1 is not prime. Res64: ABBD602A15D2995F Time : 0.0 sec. user=mdettweiler [2012-01-21 08:08:15] 887*2^1002196-1 is not prime. Res64: 9C22C812D4884A53 Time : 0.0 sec. user=mdettweiler [2012-01-21 08:08:38] 945*2^1002194-1 is not prime. Res64: D320834EEDD7AD3B Time : 0.0 sec. user=mdettweiler [2012-01-21 08:08:39] 953*2^1002194-1 is not prime. Res64: F40286AD7835FCA6 Time : 0.0 sec. user=mdettweiler [2012-01-21 08:10:43] 861*2^1002186-1 is not prime. Res64: 28BA89566F62298C Time : 0.0 sec. user=mdettweiler [2012-01-21 08:10:44] 609*2^1002187-1 is not prime. Res64: B12BF1217ADA7E90 Time : 0.0 sec. user=mdettweiler [2012-01-21 08:13:38] 735*2^1002197-1 is not prime. Res64: 529B4757F0C1FE47 Time : 0.0 sec. user=mdettweiler [2012-01-21 08:15:36] 747*2^1002197-1 is not prime. Res64: DAD37DF21A82544D Time : 0.0 sec. user=mdettweiler [2012-01-21 08:16:31] 961*2^1002195-1 is not prime. Res64: 6FC43022259A7624 Time : 0.0 sec. user=mdettweiler [2012-01-21 08:16:32] 695*2^1002196-1 is not prime. Res64: 869269BDA3AFC1A2 Time : 0.0 sec. user=mdettweiler [2012-01-21 08:20:58] 791*2^1002198-1 is not prime. Res64: 0977F80028FE2108 Time : 0.0 sec. user=mdettweiler [2012-01-21 08:22:54] 861*2^1002198-1 is not prime. Res64: 1A56537FBD388F86 Time : 0.0 sec. user=mdettweiler [2012-01-21 08:24:14] 645*2^1002197-1 is not prime. Res64: E73981713FCB01C0 Time : 0.0 sec. user=mdettweiler [2012-01-21 08:24:15] 697*2^1002197-1 is not prime. Res64: E81A9E729D2622C7 Time : 0.0 sec. user=mdettweiler [2012-01-21 08:24:33] 899*2^1002196-1 is not prime. Res64: 033970A386A3E7F4 Time : 0.0 sec. user=mdettweiler [2012-01-21 08:24:33] 989*2^1002196-1 is not prime. Res64: C6E354AE72F576E5 Time : 0.0 sec. user=mdettweiler [2012-01-21 08:28:17] 759*2^1002199-1 is not prime. Res64: F0B0065E124EF35C Time : 0.0 sec. user=mdettweiler [2012-01-21 08:28:34] 871*2^1002197-1 is not prime. Res64: F4CCA9D0A7859990 Time : 0.0 sec. user=mdettweiler [2012-01-21 08:28:35] 651*2^1002198-1 is not prime. Res64: A09D134CD955DBBF Time : 0.0 sec. user=mdettweiler [2012-01-21 08:30:16] 841*2^1002199-1 is not prime. Res64: FFDCC3D382F20AE8 Time : 0.0 sec. user=mdettweiler [2012-01-21 08:35:36] 663*2^1002200-1 is not prime. Res64: FCE321E3D80496BA Time : 0.0 sec. user=mdettweiler [2012-01-21 08:37:35] 785*2^1002200-1 is not prime. Res64: 9AC15BA11CA4BF28 Time : 0.0 sec. user=mdettweiler [2012-01-21 08:41:03] 975*2^1002198-1 is not prime. Res64: F327D254A00285D8 Time : 0.0 sec. user=mdettweiler [2012-01-21 08:41:03] 993*2^1002198-1 is not prime. Res64: 5FF0BCAE6BEE04E5 Time : 0.0 sec. user=mdettweiler [2012-01-21 08:42:53] 899*2^1002200-1 is not prime. Res64: 0CAB44D499FA6A09 Time : 0.0 sec. user=mdettweiler [2012-01-21 08:46:20] 853*2^1002199-1 is not prime. Res64: E63395B39A1B4BB6 Time : 0.0 sec. user=mdettweiler [2012-01-21 08:46:20] 979*2^1002199-1 is not prime. Res64: 6893E83A29E8FB65 Time : 0.0 sec. user=mdettweiler [2012-01-21 08:46:32] 963*2^1002200-1 is not prime. Res64: 69513EA956613BCE Time : 0.0 sec. user=mdettweiler [2012-01-21 08:48:21] 713*2^1002200-1 is not prime. Res64: 264AFD1E29D19DEA Time : 0.0 sec. user=mdettweiler [2012-01-21 08:48:22] 777*2^1002200-1 is not prime. Res64: 407C1F975316AFF4 Time : 0.0 sec. user=mdettweiler [2012-01-21 08:48:53] 985*2^1002199-1 is not prime. Res64: 655751891B55A920 Time : 0.0 sec. user=mdettweiler [2012-01-21 08:48:54] 999*2^1002199-1 is not prime. Res64: D0768570D04EF285 Time : 0.0 sec. user=mdettweiler [2012-01-21 08:51:49] 975*2^1002201-1 is not prime. Res64: 5EE5406DF4E64842 Time : 0.0 sec. user=mdettweiler [2012-01-21 08:53:48] 717*2^1002202-1 is not prime. Res64: CE3FF9EF6EA088D6 Time : 0.0 sec. user=mdettweiler [2012-01-21 08:54:32] 797*2^1002192-1 is not prime. Res64: 04D6005DBBBCB834 Time : 0.0 sec. user=mdettweiler [2012-01-21 08:54:32] 815*2^1002192-1 is not prime. Res64: CD234D258FF2304B Time : 0.0 sec. user=mdettweiler [2012-01-21 08:55:26] 725*2^1002192-1 is not prime. Res64: 842122B6D99C8450 Time : 0.0 sec. user=mdettweiler [2012-01-21 08:55:26] 767*2^1002192-1 is not prime. Res64: 83FEDC9FD6C99706 Time : 0.0 sec. user=mdettweiler [2012-01-21 08:55:29] 691*2^1002193-1 is not prime. Res64: 24B0711B85ED5F29 Time : 0.0 sec. user=mdettweiler [2012-01-21 08:55:29] 721*2^1002193-1 is not prime. Res64: 79E284A0DD133E59 Time : 0.0 sec. user=mdettweiler [2012-01-21 08:59:06] 885*2^1002202-1 is not prime. Res64: 330310792785210A Time : 0.0 sec. user=mdettweiler [2012-01-21 09:00:51] 861*2^1002201-1 is not prime. Res64: B83AC7F1749C6F3E Time : 0.0 sec. user=mdettweiler [2012-01-21 09:00:56] 877*2^1002201-1 is not prime. Res64: E45BDE0D727CC71D Time : 0.0 sec. user=mdettweiler [2012-01-21 09:02:43] 981*2^1002202-1 is not prime. Res64: 9A2D41554411AB0A Time : 0.0 sec. user=mdettweiler [2012-01-21 09:06:22] 725*2^1002204-1 is not prime. Res64: DCDF466FE4301578 Time : 0.0 sec. user=mdettweiler [2012-01-21 09:08:07] 731*2^1002202-1 is not prime. Res64: 965A0FDC79BEEECE Time : 0.0 sec. user=mdettweiler [2012-01-21 09:08:08] 777*2^1002202-1 is not prime. Res64: 5CB5FC759CCC8B42 Time : 0.0 sec. user=mdettweiler [2012-01-21 09:08:16] 991*2^1002201-1 is not prime. Res64: 30CEBE43CC7AC7B4 Time : 0.0 sec. user=mdettweiler [2012-01-21 09:08:17] 677*2^1002202-1 is not prime. Res64: 140D5049214D702B Time : 0.0 sec. user=mdettweiler [2012-01-21 09:08:39] 813*2^1002202-1 is not prime. Res64: D1AAC8D9301EB592 Time : 0.0 sec. user=mdettweiler [2012-01-21 09:08:39] 833*2^1002202-1 is not prime. Res64: 6C120AF10EF1B537 Time : 0.0 sec. user=mdettweiler [2012-01-21 09:11:40] 983*2^1002204-1 is not prime. Res64: C0F3C630AAB03AD5 Time : 0.0 sec. user=mdettweiler [2012-01-21 09:13:39] 601*2^1002205-1 is not prime. Res64: A254CBB737ECC9EB Time : 0.0 sec. user=mdettweiler [2012-01-21 09:19:01] 895*2^1002205-1 is not prime. Res64: 0AD169607E0C3A6C Time : 0.0 sec. user=mdettweiler [2012-01-21 09:20:58] 915*2^1002205-1 is not prime. Res64: A634FA7B5F3975E5 Time : 0.0 sec. user=mdettweiler [2012-01-21 09:22:54] 843*2^1002204-1 is not prime. Res64: A756CE3D861B81D3 Time : 0.0 sec. user=mdettweiler [2012-01-21 09:22:54] 965*2^1002204-1 is not prime. Res64: 8BE82868F4C530CE Time : 0.0 sec. user=mdettweiler [2012-01-21 09:27:52] 609*2^1002205-1 is not prime. Res64: 56D1CE8F6DB30849 Time : 0.0 sec. user=mdettweiler [2012-01-21 09:27:52] 717*2^1002205-1 is not prime. Res64: 3FB4C362B4DBA899 Time : 0.0 sec. user=mdettweiler [2012-01-21 09:27:55] 957*2^1002205-1 is not prime. Res64: 0EB06CC1378B8869 Time : 0.0 sec. user=mdettweiler [2012-01-21 09:28:04] 817*2^1002205-1 is not prime. Res64: 6A9B170EDA6841B1 Time : 0.0 sec. user=mdettweiler [2012-01-21 09:28:04] 819*2^1002205-1 is prime! Time : 0.0 sec. user=mdettweiler [2012-01-21 09:28:13] 671*2^1002206-1 is not prime. Res64: C56AE86A101D2CF2 Time : 0.0 sec. user=mdettweiler [2012-01-21 09:28:21] 849*2^1002205-1 is not prime. Res64: A3804369530EDDC6 Time : 0.0 sec. user=mdettweiler [2012-01-21 09:28:21] 871*2^1002205-1 is not prime. Res64: 1C4115F734149282 Time : 0.0 sec. user=mdettweiler [2012-01-21 09:35:14] 923*2^1002206-1 is not prime. Res64: 2C39F56A9B736A83 Time : 0.0 sec. user=mdettweiler [2012-01-21 09:37:07] 983*2^1002206-1 is not prime. Res64: 6D0424D395CC8C26 Time : 0.0 sec. user=mdettweiler [2012-01-21 09:38:55] 737*2^1002198-1 is not prime. Res64: 6649FB0EC7E08536 Time : 0.0 sec. user=mdettweiler [2012-01-21 09:38:55] 747*2^1002198-1 is not prime. Res64: AD587A566FE53C84 Time : 0.0 sec. user=mdettweiler [2012-01-21 09:42:30] 703*2^1002207-1 is not prime. Res64: B1E7AF48342045F5 Time : 0.0 sec. user=mdettweiler [2012-01-21 09:42:39] 711*2^1002206-1 is not prime. Res64: 47AEBFA0B2707134 Time : 0.0 sec. user=mdettweiler [2012-01-21 09:42:40] 825*2^1002206-1 is not prime. Res64: 25A1B42A17927448 Time : 0.0 sec. user=mdettweiler [2012-01-21 09:44:25] 735*2^1002207-1 is not prime. Res64: B9ECB8B6403706F1 Time : 0.0 sec. user=mdettweiler [2012-01-21 09:47:44] 893*2^1002206-1 is not prime. Res64: 9B80720737588C4E Time : 0.0 sec. user=mdettweiler [2012-01-21 09:47:44] 911*2^1002206-1 is not prime. Res64: 98E6B85E67303963 Time : 0.0 sec. user=mdettweiler [2012-01-21 09:48:07] 609*2^1002207-1 is not prime. Res64: DC70E19F5355AD9C Time : 0.0 sec. user=mdettweiler [2012-01-21 09:48:08] 625*2^1002207-1 is not prime. Res64: FF9CDA5A77012EA3 Time : 0.0 sec. user=mdettweiler [2012-01-21 09:51:25] 933*2^1002207-1 is not prime. Res64: B9B0B0AD1F9F6D34 Time : 0.0 sec. user=mdettweiler [2012-01-21 09:51:41] 827*2^1002208-1 is not prime. Res64: 9D285B97A922E59F Time : 0.0 sec. user=mdettweiler [2012-01-21 09:52:17] 935*2^1002206-1 is not prime. Res64: 0FD405CFE4E55696 Time : 0.0 sec. user=mdettweiler [2012-01-21 09:52:17] 945*2^1002206-1 is not prime. Res64: 4EDF4AB95CEFB9C6 Time : 0.0 sec. user=mdettweiler [2012-01-21 09:58:42] 811*2^1002209-1 is not prime. Res64: 9B9F07AD394C4D39 Time : 0.0 sec. user=mdettweiler [2012-01-21 09:58:59] 829*2^1002209-1 is not prime. Res64: DB576EDBBC860CA4 Time : 0.0 sec. user=mdettweiler [2012-01-21 10:02:22] 603*2^1002208-1 is not prime. Res64: 8B133569782A798F Time : 0.0 sec. user=mdettweiler [2012-01-21 10:02:22] 605*2^1002208-1 is not prime. Res64: 3769E5E400D8E9FC Time : 0.0 sec. user=mdettweiler [2012-01-21 10:06:00] 635*2^1002210-1 is not prime. Res64: 915BA375678B961A Time : 0.0 sec. user=mdettweiler [2012-01-21 10:06:17] 653*2^1002210-1 is not prime. Res64: 90E84EF0782C9235 Time : 0.0 sec. user=mdettweiler [2012-01-21 10:07:26] 833*2^1002208-1 is not prime. Res64: 672B03A0BCF7C08D Time : 0.0 sec. user=mdettweiler [2012-01-21 10:07:27] 905*2^1002208-1 is not prime. Res64: 33A198D0DCE88F7C Time : 0.0 sec. user=mdettweiler [2012-01-21 10:07:55] 601*2^1002209-1 is not prime. Res64: 797F59A1D0FF6D18 Time : 0.0 sec. user=mdettweiler [2012-01-21 10:07:56] 691*2^1002209-1 is not prime. Res64: 30F40EB4842C5ADB Time : 0.0 sec. user=mdettweiler [2012-01-21 10:13:17] 893*2^1002210-1 is not prime. Res64: 9C4E78E022E9358D Time : 0.0 sec. user=mdettweiler [2012-01-21 10:14:20] 879*2^1002209-1 is not prime. Res64: B74821263EC6B343 Time : 0.0 sec. user=mdettweiler [2012-01-21 10:14:20] 949*2^1002209-1 is not prime. Res64: C1612E33C00D8F56 Time : 0.0 sec. user=mdettweiler [2012-01-21 10:15:12] 927*2^1002210-1 is not prime. Res64: 48BDDF19A1CA567B Time : 0.0 sec. user=mdettweiler [2012-01-21 10:20:36] 751*2^1002211-1 is not prime. Res64: B356D08D92421319 Time : 0.0 sec. user=mdettweiler [2012-01-21 10:22:03] 711*2^1002210-1 is not prime. Res64: ED318C42FC88513E Time : 0.0 sec. user=mdettweiler [2012-01-21 10:22:04] 777*2^1002210-1 is not prime. Res64: 7A1C0CDE360F7B42 Time : 0.0 sec. user=mdettweiler [2012-01-21 10:22:30] 617*2^1002212-1 is not prime. Res64: 04AB0CBED33D9058 Time : 0.0 sec. user=mdettweiler [2012-01-21 10:23:55] 699*2^1002203-1 is not prime. Res64: 25A6DBCFC21CC0C4 Time : 0.0 sec. user=mdettweiler [2012-01-21 10:23:55] 871*2^1002203-1 is not prime. Res64: ADE404933D595417 Time : 0.0 sec. user=mdettweiler [2012-01-21 10:27:16] 631*2^1002211-1 is not prime. Res64: 9904E8D786004D7F Time : 0.0 sec. user=mdettweiler [2012-01-21 10:27:16] 649*2^1002211-1 is not prime. Res64: 77515E2302E81131 Time : 0.0 sec. user=mdettweiler [2012-01-21 10:27:41] 673*2^1002211-1 is not prime. Res64: 917FAFEC3F3A656E Time : 0.0 sec. user=mdettweiler [2012-01-21 10:27:42] 681*2^1002211-1 is not prime. Res64: E725B499AC10AA1C Time : 0.0 sec. user=mdettweiler [2012-01-21 10:27:53] 897*2^1002212-1 is not prime. Res64: 1E3834BEFC2206CB Time : 0.0 sec. user=mdettweiler [2012-01-21 10:29:48] 817*2^1002213-1 is not prime. Res64: 534FC48FE63E37E4 Time : 0.0 sec. user=mdettweiler [2012-01-21 10:34:16] 987*2^1002202-1 is not prime. Res64: 3F12BB4BDCEEF952 Time : 0.0 sec. user=mdettweiler [2012-01-21 10:34:16] 621*2^1002203-1 is not prime. Res64: 0421810EEDCEDFE3 Time : 0.0 sec. user=mdettweiler [2012-01-21 10:35:11] 791*2^1002214-1 is not prime. Res64: 8C02B045BBDF05F8 Time : 0.0 sec. user=mdettweiler [2012-01-21 10:36:18] 793*2^1002211-1 is not prime. Res64: 29CC14CBA9BE156A Time : 0.0 sec. user=mdettweiler [2012-01-21 10:36:19] 969*2^1002211-1 is not prime. Res64: 758A7253D1E20330 Time : 0.0 sec. user=mdettweiler [2012-01-21 10:37:05] 881*2^1002214-1 is not prime. Res64: F7023C2A414B88E2 Time : 0.0 sec. user=mdettweiler [2012-01-21 10:41:47] 625*2^1002213-1 is not prime. Res64: 50D913EC001A592A Time : 0.0 sec. user=mdettweiler [2012-01-21 10:41:47] 627*2^1002213-1 is not prime. Res64: 38D035E9B6E306C6 Time : 0.0 sec. user=mdettweiler [2012-01-21 10:44:02] 981*2^1002214-1 is not prime. Res64: B34212915E3B0636 Time : 0.0 sec. user=mdettweiler [2012-01-21 10:44:20] 661*2^1002215-1 is not prime. Res64: 6302D18ACB4100F8 Time : 0.0 sec. user=mdettweiler [2012-01-21 10:46:57] 687*2^1002214-1 is not prime. Res64: 4575CA2B4FE468E5 Time : 0.0 sec. user=mdettweiler [2012-01-21 10:46:57] 723*2^1002214-1 is not prime. Res64: 1C8CCB0EC5DA435C Time : 0.0 sec. user=mdettweiler [2012-01-21 10:47:28] 737*2^1002214-1 is not prime. Res64: 71B8BB31B8F68683 Time : 0.0 sec. user=mdettweiler [2012-01-21 10:47:28] 785*2^1002214-1 is not prime. Res64: 38AAD299FB2DE25C Time : 0.0 sec. user=mdettweiler [2012-01-21 10:49:54] 949*2^1002203-1 is not prime. Res64: D520DAFC6083FE14 Time : 0.0 sec. user=mdettweiler [2012-01-21 10:49:54] 993*2^1002203-1 is not prime. Res64: BBF8E9B4DF82707C Time : 0.0 sec. user=mdettweiler [2012-01-21 10:51:19] 799*2^1002215-1 is not prime. Res64: 7CB16240AABE7E1A Time : 0.0 sec. user=mdettweiler [2012-01-21 10:51:38] 855*2^1002215-1 is not prime. Res64: AAA13F37E0A5D1DB Time : 0.0 sec. user=mdettweiler [2012-01-21 10:55:58] 609*2^1002215-1 is not prime. Res64: 032DC5894CC227DE Time : 0.0 sec. user=mdettweiler [2012-01-21 10:55:59] 651*2^1002215-1 is not prime. Res64: 399FD0FEAF44B7F3 Time : 0.0 sec. user=mdettweiler [2012-01-21 10:58:55] 661*2^1002217-1 is not prime. Res64: 9B9A5258372A6546 Time : 0.0 sec. user=mdettweiler [2012-01-21 11:00:11] 999*2^1002216-1 is not prime. Res64: 7F8A40A4953B6BE7 Time : 0.0 sec. user=mdettweiler [2012-01-21 11:01:28] 675*2^1002215-1 is not prime. Res64: A048422319D15DC2 Time : 0.0 sec. user=mdettweiler [2012-01-21 11:01:29] 705*2^1002215-1 is not prime. Res64: AC2C9AAB041EC021 Time : 0.0 sec. user=mdettweiler [2012-01-21 11:07:11] 707*2^1002216-1 is not prime. Res64: FD5036DEC389B9DE Time : 0.0 sec. user=mdettweiler [2012-01-21 11:07:12] 723*2^1002216-1 is not prime. Res64: E77DA6A0578956E2 Time : 0.0 sec. user=mdettweiler [2012-01-21 11:07:29] 627*2^1002218-1 is not prime. Res64: 4E729CB7C926F6ED Time : 0.0 sec. user=mdettweiler [2012-01-21 11:07:47] 931*2^1002217-1 is not prime. Res64: 79BD58BFDCFA5B0A Time : 0.0 sec. user=mdettweiler [2012-01-21 11:08:57] 999*2^1002215-1 is not prime. Res64: 6E99A1AFE1A149F5 Time : 0.0 sec. user=mdettweiler [2012-01-21 11:08:58] 635*2^1002216-1 is not prime. Res64: DE49C899128AA233 Time : 0.0 sec. user=mdettweiler [2012-01-21 11:12:24] 769*2^1002207-1 is not prime. Res64: 1DFFE3A4427A0E3F Time : 0.0 sec. user=mdettweiler [2012-01-21 11:12:25] 861*2^1002207-1 is not prime. Res64: 03A24D12835E2CE4 Time : 0.0 sec. user=mdettweiler [2012-01-21 11:14:45] 827*2^1002218-1 is not prime. Res64: 55B08CE5C67EFAD4 Time : 0.0 sec. user=mdettweiler [2012-01-21 11:15:06] 601*2^1002219-1 is not prime. Res64: 6E4D3253F33B1BEB Time : 0.0 sec. user=mdettweiler [2012-01-21 11:15:42] 691*2^1002217-1 is not prime. Res64: 021B478FC738E3A6 Time : 0.0 sec. user=mdettweiler [2012-01-21 11:15:43] 769*2^1002217-1 is not prime. Res64: 94CD4F89B3E1EBEF Time : 0.0 sec. user=mdettweiler [2012-01-21 11:21:14] 683*2^1002218-1 is not prime. Res64: 19EF333AA1572C4A Time : 0.0 sec. user=mdettweiler [2012-01-21 11:21:15] 705*2^1002218-1 is not prime. Res64: D5D9D9529153708F Time : 0.0 sec. user=mdettweiler [2012-01-21 11:22:13] 669*2^1002219-1 is not prime. Res64: 4DE872502DDB0E3B Time : 0.0 sec. user=mdettweiler [2012-01-21 11:22:35] 745*2^1002219-1 is not prime. Res64: E8D15F51A77C62F7 Time : 0.0 sec. user=mdettweiler [2012-01-21 11:27:00] 711*2^1002218-1 is not prime. Res64: 36E07DADBBE37E0C Time : 0.0 sec. user=mdettweiler [2012-01-21 11:27:00] 731*2^1002218-1 is not prime. Res64: C64ECD4970491BDD Time : 0.0 sec. user=mdettweiler [2012-01-21 11:28:48] 609*2^1002219-1 is not prime. Res64: 3EEB83B528420EB5 Time : 0.0 sec. user=mdettweiler [2012-01-21 11:28:49] 613*2^1002219-1 is not prime. Res64: 6B256F1CB778763A Time : 0.0 sec. user=mdettweiler [2012-01-21 11:29:30] 693*2^1002220-1 is not prime. Res64: 6F6CE12A33E94056 Time : 0.0 sec. user=mdettweiler [2012-01-21 11:29:52] 845*2^1002220-1 is not prime. Res64: 853EB06ACBD0BAFE Time : 0.0 sec. user=mdettweiler [2012-01-21 11:36:48] 669*2^1002221-1 is not prime. Res64: 83FDC2163464C48E Time : 0.0 sec. user=mdettweiler [2012-01-21 11:37:09] 741*2^1002221-1 is not prime. Res64: 6E042FC97BA007FF Time : 0.0 sec. user=mdettweiler [2012-01-21 11:37:45] 919*2^1002219-1 is not prime. Res64: 11D652BF25117C3E Time : 0.0 sec. user=mdettweiler [2012-01-21 11:37:45] 975*2^1002219-1 is not prime. Res64: 06FE87E8905F311F Time : 0.0 sec. user=mdettweiler [2012-01-21 11:41:01] 605*2^1002220-1 is not prime. Res64: 09A9C9B4DEB2F827 Time : 0.0 sec. user=mdettweiler [2012-01-21 11:41:01] 665*2^1002220-1 is not prime. Res64: 992BC0F618F3CCB2 Time : 0.0 sec. user=mdettweiler [2012-01-21 11:44:05] 811*2^1002221-1 is not prime. Res64: 2A82E408CED68FAA Time : 0.0 sec. user=mdettweiler [2012-01-21 11:44:26] 861*2^1002221-1 is not prime. Res64: C989A56AB5ED1D11 Time : 0.0 sec. user=mdettweiler [2012-01-21 11:46:54] 863*2^1002220-1 is not prime. Res64: 5296237F613D24E7 Time : 0.0 sec. user=mdettweiler [2012-01-21 11:46:55] 905*2^1002220-1 is not prime. Res64: 699B083316C56E2A Time : 0.0 sec. user=mdettweiler [2012-01-21 11:50:52] 989*2^1002220-1 is not prime. Res64: 9EB2B27A2FD0CF7F Time : 0.0 sec. user=mdettweiler [2012-01-21 11:50:53] 621*2^1002221-1 is not prime. Res64: 84F3C013D0AB5C30 Time : 0.0 sec. user=mdettweiler [2012-01-21 11:51:19] 903*2^1002222-1 is not prime. Res64: 737CCE59E66E70D7 Time : 0.0 sec. user=mdettweiler [2012-01-21 11:53:15] 945*2^1002222-1 is not prime. Res64: D620B706B2944A0B Time : 0.0 sec. user=mdettweiler [2012-01-21 11:58:34] 861*2^1002223-1 is not prime. Res64: 292FAE376205D7B6 Time : 0.0 sec. user=mdettweiler [2012-01-21 11:59:46] 925*2^1002221-1 is not prime. Res64: 8651A4F09BEA4D41 Time : 0.0 sec. user=mdettweiler [2012-01-21 11:59:46] 681*2^1002222-1 is not prime. Res64: E68D1DCA8AC42889 Time : 0.0 sec. user=mdettweiler [2012-01-21 12:00:33] 883*2^1002223-1 is not prime. Res64: BE8C0F83B016C083 Time : 0.0 sec. user=mdettweiler [2012-01-21 12:00:44] 747*2^1002222-1 is not prime. Res64: 9122CFDED8666032 Time : 0.0 sec. user=mdettweiler [2012-01-21 12:00:44] 885*2^1002222-1 is not prime. Res64: 282282E0223DF1E9 Time : 0.0 sec. user=mdettweiler [2012-01-21 12:01:39] 991*2^1002213-1 is not prime. Res64: D35E0D89C996B403 Time : 0.0 sec. user=mdettweiler [2012-01-21 12:01:40] 635*2^1002214-1 is not prime. Res64: F1786A10B0AF1184 Time : 0.0 sec. user=mdettweiler [2012-01-21 12:05:50] 891*2^1002223-1 is not prime. Res64: 58D3C3587875A07E Time : 0.0 sec. user=mdettweiler [2012-01-21 12:06:38] 633*2^1002223-1 is not prime. Res64: 7DD3E38CD3B4ED99 Time : 0.0 sec. user=mdettweiler [2012-01-21 12:06:40] 735*2^1002223-1 is not prime. Res64: 6BC392BFAC6B6238 Time : 0.0 sec. user=mdettweiler [2012-01-21 12:09:25] 999*2^1002223-1 is not prime. Res64: E7F933F953E92528 Time : 0.0 sec. user=mdettweiler [2012-01-21 12:10:38] 771*2^1002223-1 is not prime. Res64: CE9AD600FAED5258 Time : 0.0 sec. user=mdettweiler [2012-01-21 12:10:39] 849*2^1002223-1 is not prime. Res64: 70557F9FAE932336 Time : 0.0 sec. user=mdettweiler [2012-01-21 12:13:10] 741*2^1002225-1 is not prime. Res64: 61CE8F4ACA657AD8 Time : 0.0 sec. user=mdettweiler [2012-01-21 12:16:43] 789*2^1002225-1 is not prime. Res64: 09B5117A770791B2 Time : 0.0 sec. user=mdettweiler [2012-01-21 12:17:59] 879*2^1002216-1 is not prime. Res64: EE4F9A22FC78E39E Time : 0.0 sec. user=mdettweiler [2012-01-21 12:17:59] 923*2^1002216-1 is not prime. Res64: EF20E13DF231C84B Time : 0.0 sec. user=mdettweiler [2012-01-21 12:20:08] 957*2^1002214-1 is not prime. Res64: 63B8E787C6719E70 Time : 0.0 sec. user=mdettweiler [2012-01-21 12:20:09] 971*2^1002214-1 is not prime. Res64: 8A8F065A061E2032 Time : 0.0 sec. user=mdettweiler [2012-01-21 12:20:26] 861*2^1002225-1 is not prime. Res64: 7E7C14A956CBF145 Time : 0.0 sec. user=mdettweiler [2012-01-21 12:20:34] 615*2^1002224-1 is not prime. Res64: 2E5BBCAE6FEA833F Time : 0.0 sec. user=mdettweiler [2012-01-21 12:20:35] 827*2^1002224-1 is not prime. Res64: 93EB8C48D0EA80A4 Time : 0.0 sec. user=mdettweiler [2012-01-21 12:21:49] 915*2^1002223-1 is not prime. Res64: 855B21DF94E08390 Time : 0.0 sec. user=mdettweiler [2012-01-21 12:21:49] 925*2^1002223-1 is not prime. Res64: 4F328B990FE6CCA4 Time : 0.0 sec. user=mdettweiler [2012-01-21 12:25:31] 951*2^1002225-1 is not prime. Res64: 65247FFA17247620 Time : 0.0 sec. user=mdettweiler [2012-01-21 12:26:23] 759*2^1002225-1 is not prime. Res64: B2D384C524F9E14B Time : 0.0 sec. user=mdettweiler [2012-01-21 12:26:23] 765*2^1002225-1 is not prime. Res64: 45B90EAA99AF6BE1 Time : 0.0 sec. user=mdettweiler [2012-01-21 12:27:39] 833*2^1002226-1 is not prime. Res64: B4261D941BE7F138 Time : 0.0 sec. user=mdettweiler [2012-01-21 12:30:24] 805*2^1002225-1 is not prime. Res64: C7D28F87634EC305 Time : 0.0 sec. user=mdettweiler [2012-01-21 12:30:25] 817*2^1002225-1 is not prime. Res64: 86F0F2EDB2E17960 Time : 0.0 sec. user=mdettweiler [2012-01-21 12:32:45] 759*2^1002227-1 is not prime. Res64: DC0BF2ABC39BFB13 Time : 0.0 sec. user=mdettweiler [2012-01-21 12:36:29] 993*2^1002227-1 is not prime. Res64: 75ADEC0DCB3F0A16 Time : 0.0 sec. user=mdettweiler [2012-01-21 12:38:21] 633*2^1002219-1 is not prime. Res64: A37CCBF7C40C2907 Time : 0.0 sec. user=mdettweiler [2012-01-21 12:38:22] 639*2^1002219-1 is not prime. Res64: 715C344FFDCAB875 Time : 0.0 sec. user=mdettweiler [2012-01-21 12:41:34] 615*2^1002227-1 is not prime. Res64: 0ACF670204741921 Time : 0.0 sec. user=mdettweiler [2012-01-21 12:41:35] 693*2^1002227-1 is not prime. Res64: 3F80FFC913F6A606 Time : 0.0 sec. user=mdettweiler [2012-01-21 12:41:35] 945*2^1002228-1 is not prime. Res64: 9D645784FCC63370 Time : 0.0 sec. user=mdettweiler [2012-01-21 12:42:35] 947*2^1002226-1 is not prime. Res64: EA91B85C700547CD Time : 0.0 sec. user=mdettweiler [2012-01-21 12:42:36] 603*2^1002227-1 is not prime. Res64: FF0486E452B90685 Time : 0.0 sec. user=mdettweiler [2012-01-21 12:43:42] 621*2^1002229-1 is not prime. Res64: 7907CDD8DC29EF24 Time : 0.0 sec. user=mdettweiler [2012-01-21 12:48:20] 909*2^1002227-1 is not prime. Res64: 6BD8E2AA163EC26A Time : 0.0 sec. user=mdettweiler [2012-01-21 12:48:21] 939*2^1002227-1 is not prime. Res64: 2ED5173B4E86D9E2 Time : 0.0 sec. user=mdettweiler [2012-01-21 12:48:48] 757*2^1002229-1 is not prime. Res64: 62A7B022BBED146C Time : 0.0 sec. user=mdettweiler [2012-01-21 12:50:10] 605*2^1002228-1 is not prime. Res64: E201ECB5B6DFB620 Time : 0.0 sec. user=mdettweiler [2012-01-21 12:50:10] 723*2^1002228-1 is not prime. Res64: 95F0D667732E583A Time : 0.0 sec. user=mdettweiler [2012-01-21 12:50:57] 885*2^1002229-1 is not prime. Res64: 8E0F88D6D5DAFC27 Time : 0.0 sec. user=mdettweiler [2012-01-21 12:56:01] 743*2^1002230-1 is not prime. Res64: E0ADA5FDA8046E22 Time : 0.0 sec. user=mdettweiler [2012-01-21 12:59:39] 935*2^1002230-1 is not prime. Res64: 98DC19A4BFC74DE3 Time : 0.0 sec. user=mdettweiler [2012-01-21 13:01:25] 801*2^1002229-1 is not prime. Res64: 844B3CC9A4D36451 Time : 0.0 sec. user=mdettweiler [2012-01-21 13:01:26] 817*2^1002229-1 is not prime. Res64: 807629C2726331C8 Time : 0.0 sec. user=mdettweiler [2012-01-21 13:02:22] 829*2^1002229-1 is not prime. Res64: 281D7792C467BEA6 Time : 0.0 sec. user=mdettweiler [2012-01-21 13:02:22] 877*2^1002229-1 is not prime. Res64: 12D82CB5851201DF Time : 0.0 sec. user=mdettweiler [2012-01-21 13:03:13] 691*2^1002231-1 is not prime. Res64: F658008942D66C57 Time : 0.0 sec. user=mdettweiler [2012-01-21 13:06:53] 823*2^1002231-1 is not prime. Res64: D05E77DA65A89CD5 Time : 0.0 sec. user=mdettweiler [2012-01-21 13:08:04] 677*2^1002230-1 is not prime. Res64: 93FDE7414458ADFD Time : 0.0 sec. user=mdettweiler [2012-01-21 13:08:05] 741*2^1002230-1 is not prime. Res64: C2B151F611068B3E Time : 0.0 sec. user=mdettweiler [2012-01-21 13:09:52] 917*2^1002230-1 is not prime. Res64: 741C3282CA6B3DC0 Time : 0.0 sec. user=mdettweiler [2012-01-21 13:09:54] 921*2^1002230-1 is not prime. Res64: 43194A56A2D17895 Time : 0.0 sec. user=mdettweiler [2012-01-21 13:10:26] 819*2^1002232-1 is not prime. Res64: 1F0867129BBD337F Time : 0.0 sec. user=mdettweiler [2012-01-21 13:15:41] 989*2^1002232-1 is not prime. Res64: 6F63431849ABA9E9 Time : 0.0 sec. user=mdettweiler [2012-01-21 13:19:15] 957*2^1002233-1 is not prime. Res64: 0DC5688B72C94AA1 Time : 0.0 sec. user=mdettweiler [2012-01-21 13:22:05] 719*2^1002232-1 is not prime. Res64: B016702FF55F822C Time : 0.0 sec. user=mdettweiler [2012-01-21 13:22:06] 747*2^1002232-1 is not prime. Res64: FF9DA271637F4068 Time : 0.0 sec. user=mdettweiler [2012-01-21 13:23:29] 849*2^1002231-1 is not prime. Res64: D29C1051D7186C06 Time : 0.0 sec. user=mdettweiler [2012-01-21 13:23:29] 943*2^1002231-1 is not prime. Res64: 2687202B6CD1BD7E Time : 0.0 sec. user=mdettweiler [2012-01-21 13:24:29] 969*2^1002233-1 is not prime. Res64: FB92D99FF6FE672B Time : 0.0 sec. user=mdettweiler [2012-01-21 13:26:28] 707*2^1002234-1 is not prime. Res64: 874A81FD70D9F6CB Time : 0.0 sec. user=mdettweiler [2012-01-21 13:27:46] 637*2^1002233-1 is not prime. Res64: 1A3ADC6E3990A318 Time : 0.0 sec. user=mdettweiler [2012-01-21 13:27:47] 697*2^1002233-1 is not prime. Res64: DEC224961A500E7F Time : 0.0 sec. user=mdettweiler [2012-01-21 13:28:33] 855*2^1002224-1 is not prime. Res64: 25B458B106EB3C64 Time : 0.0 sec. user=mdettweiler [2012-01-21 13:28:34] 857*2^1002224-1 is not prime. Res64: FB804C6617D104CF Time : 0.0 sec. user=mdettweiler [2012-01-21 13:29:47] 775*2^1002233-1 is not prime. Res64: 9AC6DA22945874BC Time : 0.0 sec. user=mdettweiler [2012-01-21 13:29:48] 789*2^1002233-1 is not prime. Res64: 37CCC11888F1FF81 Time : 0.0 sec. user=mdettweiler [2012-01-21 13:31:44] 889*2^1002235-1 is not prime. Res64: 28ED1878B3913E25 Time : 0.0 sec. user=mdettweiler [2012-01-21 13:35:18] 951*2^1002235-1 is not prime. Res64: 3DA90DC712D7E3EA Time : 0.0 sec. user=mdettweiler [2012-01-21 13:40:33] 935*2^1002236-1 is not prime. Res64: 4A044C00EB9F8D24 Time : 0.0 sec. user=mdettweiler [2012-01-21 13:41:56] 783*2^1002234-1 is not prime. Res64: EA2DF1044E0A6AB2 Time : 0.0 sec. user=mdettweiler [2012-01-21 13:41:56] 807*2^1002234-1 is not prime. Res64: 3CF4E6A0991BBB0B Time : 0.0 sec. user=mdettweiler [2012-01-21 13:42:33] 747*2^1002237-1 is not prime. Res64: 401AA937B5071EE4 Time : 0.0 sec. user=mdettweiler [2012-01-21 13:45:33] 825*2^1002234-1 is not prime. Res64: ED138E926CDD1A37 Time : 0.0 sec. user=mdettweiler [2012-01-21 13:45:33] 945*2^1002234-1 is not prime. Res64: 67299F99AEAC9C76 Time : 0.0 sec. user=mdettweiler [2012-01-21 13:45:38] 603*2^1002226-1 is not prime. Res64: BB5F894711B78349 Time : 0.0 sec. user=mdettweiler [2012-01-21 13:45:38] 611*2^1002226-1 is not prime. Res64: 5ED82B45243BAF29 Time : 0.0 sec. user=mdettweiler [2012-01-21 13:47:39] 653*2^1002226-1 is not prime. Res64: F97C9B07C2255C70 Time : 0.0 sec. user=mdettweiler [2012-01-21 13:47:40] 755*2^1002226-1 is not prime. Res64: C8BDFF528085D112 Time : 0.0 sec. user=mdettweiler [2012-01-21 13:47:49] 759*2^1002237-1 is not prime. Res64: 88DAC7968FA8F652 Time : 0.0 sec. user=mdettweiler [2012-01-21 13:49:37] 789*2^1002236-1 is not prime. Res64: BF0D853B21886960 Time : 0.0 sec. user=mdettweiler [2012-01-21 13:49:37] 843*2^1002236-1 is not prime. Res64: 9C34BB7ED7AC7056 Time : 0.0 sec. user=mdettweiler [2012-01-21 13:49:44] 985*2^1002235-1 is not prime. Res64: FCAE22471E0B6D5C Time : 0.0 sec. user=mdettweiler [2012-01-21 13:49:45] 623*2^1002236-1 is not prime. Res64: A4225458F9EF79B8 Time : 0.0 sec. user=mdettweiler [2012-01-21 13:49:50] 889*2^1002237-1 is not prime. Res64: BBBE5AD433E8DBCB Time : 0.0 sec. user=mdettweiler [2012-01-21 13:55:05] 609*2^1002239-1 is not prime. Res64: 58293F492EBD8890 Time : 0.0 sec. user=mdettweiler [2012-01-21 13:58:39] 991*2^1002239-1 is not prime. Res64: F4E2A4D9721D3CDB Time : 0.0 sec. user=mdettweiler [2012-01-21 14:01:43] 781*2^1002237-1 is not prime. Res64: DA1365FC969A5902 Time : 0.0 sec. user=mdettweiler [2012-01-21 14:01:45] 885*2^1002237-1 is not prime. Res64: 2730B4E6C954A2B7 Time : 0.0 sec. user=mdettweiler [2012-01-21 14:03:25] 639*2^1002229-1 is not prime. Res64: 4B98288918EF7093 Time : 0.0 sec. user=mdettweiler [2012-01-21 14:03:26] 685*2^1002229-1 is not prime. Res64: D161F8410FBF4CFA Time : 0.0 sec. user=mdettweiler [2012-01-21 14:03:55] 993*2^1002239-1 is not prime. Res64: B494AE65EA890317 Time : 0.0 sec. user=mdettweiler [2012-01-21 14:05:55] 653*2^1002240-1 is not prime. Res64: B057CE60760AEC23 Time : 0.0 sec. user=mdettweiler [2012-01-21 14:07:36] 919*2^1002237-1 is not prime. Res64: 148B9666DFA70FD2 Time : 0.0 sec. user=mdettweiler [2012-01-21 14:07:38] 979*2^1002237-1 is not prime. Res64: DD41D05F31E83AF5 Time : 0.0 sec. user=mdettweiler [2012-01-21 14:09:22] 685*2^1002239-1 is not prime. Res64: DF04A051B0AA36BB Time : 0.0 sec. user=mdettweiler [2012-01-21 14:09:23] 741*2^1002239-1 is not prime. Res64: E40FC8BB82F1A7D5 Time : 0.0 sec. user=mdettweiler [2012-01-21 14:11:11] 843*2^1002240-1 is not prime. Res64: BCFE006ED3C2B5A7 Time : 0.0 sec. user=mdettweiler [2012-01-21 14:11:48] 831*2^1002239-1 is not prime. Res64: C1C08B3F3F8665E5 Time : 0.0 sec. user=mdettweiler [2012-01-21 14:11:49] 979*2^1002239-1 is not prime. Res64: 2A6200B7B7B95D7A Time : 0.0 sec. user=mdettweiler [2012-01-21 14:15:06] 929*2^1002240-1 is not prime. Res64: 3C4BFFA9B91CECA3 Time : 0.0 sec. user=mdettweiler [2012-01-21 14:18:49] 771*2^1002241-1 is not prime. Res64: 2D0CD62835918775 Time : 0.0 sec. user=mdettweiler [2012-01-21 14:21:30] 695*2^1002240-1 is not prime. Res64: 5643AA607B1E7B02 Time : 0.0 sec. user=mdettweiler [2012-01-21 14:21:30] 717*2^1002240-1 is not prime. Res64: 55B6C38A8355C883 Time : 0.0 sec. user=mdettweiler [2012-01-21 14:22:25] 645*2^1002242-1 is not prime. Res64: 92099A0E4F57B89E Time : 0.0 sec. user=mdettweiler [2012-01-21 14:26:05] 741*2^1002242-1 is not prime. Res64: A77096A85E2FE0E4 Time : 0.0 sec. user=mdettweiler [2012-01-21 14:29:12] 651*2^1002241-1 is not prime. Res64: B74C24D4B8E00A37 Time : 0.0 sec. user=mdettweiler [2012-01-21 14:29:12] 745*2^1002241-1 is not prime. Res64: 16F6AFD27D724931 Time : 0.0 sec. user=mdettweiler [2012-01-21 14:29:40] 983*2^1002240-1 is not prime. Res64: 54D09E4CEA0A930A Time : 0.0 sec. user=mdettweiler [2012-01-21 14:29:40] 609*2^1002241-1 is not prime. Res64: 9E8CF1AB32C88012 Time : 0.0 sec. user=mdettweiler [2012-01-21 14:29:45] 613*2^1002243-1 is not prime. Res64: C2B1D0B062635A84 Time : 0.0 sec. user=mdettweiler [2012-01-21 14:31:38] 835*2^1002241-1 is not prime. Res64: FB64736B1D9124B2 Time : 0.0 sec. user=mdettweiler [2012-01-21 14:31:38] 847*2^1002241-1 is not prime. Res64: 8C249AB6E5D9B981 Time : 0.0 sec. user=mdettweiler [2012-01-21 14:33:22] 663*2^1002243-1 is not prime. Res64: 39C9990C998D0FA4 Time : 0.0 sec. user=mdettweiler [2012-01-21 14:37:02] 795*2^1002243-1 is not prime. Res64: DB615044FD63F9CF Time : 0.0 sec. user=mdettweiler [2012-01-21 14:40:39] 895*2^1002243-1 is not prime. Res64: 6E4C3C47C023FA1C Time : 0.0 sec. user=mdettweiler [2012-01-21 14:41:16] 815*2^1002242-1 is not prime. Res64: C775F61652C1935B Time : 0.0 sec. user=mdettweiler [2012-01-21 14:41:17] 609*2^1002243-1 is not prime. Res64: 147DD58329C7CC3D Time : 0.0 sec. user=mdettweiler [2012-01-21 14:45:54] 951*2^1002243-1 is not prime. Res64: F729C1AB880BD0BD Time : 0.0 sec. user=mdettweiler [2012-01-21 14:47:55] 635*2^1002244-1 is not prime. Res64: 73CD945390B8F0C6 Time : 0.0 sec. user=mdettweiler [2012-01-21 14:48:57] 699*2^1002243-1 is not prime. Res64: 1B0FF4F542BE71D3 Time : 0.0 sec. user=mdettweiler [2012-01-21 14:48:58] 703*2^1002243-1 is not prime. Res64: E242B3C69137B245 Time : 0.0 sec. user=mdettweiler [2012-01-21 14:49:26] 789*2^1002243-1 is not prime. Res64: 30CB2F4505E5EB1B Time : 0.0 sec. user=mdettweiler [2012-01-21 14:49:27] 793*2^1002243-1 is not prime. Res64: 144F193F0433F10F Time : 0.0 sec. user=mdettweiler [2012-01-21 14:51:25] 835*2^1002243-1 is not prime. Res64: E73C77AD217717E5 Time : 0.0 sec. user=mdettweiler [2012-01-21 14:51:25] 879*2^1002243-1 is not prime. Res64: DE1023189FEE3D96 Time : 0.0 sec. user=mdettweiler [2012-01-21 14:53:10] 807*2^1002244-1 is not prime. Res64: D8341DC4571EEA58 Time : 0.0 sec. user=mdettweiler [2012-01-21 14:54:33] 717*2^1002236-1 is not prime. Res64: 842204F46717B96F Time : 0.0 sec. user=mdettweiler [2012-01-21 14:54:33] 777*2^1002236-1 is not prime. Res64: 6DA28D8B145E7E82 Time : 0.0 sec. user=mdettweiler [2012-01-21 14:55:12] 843*2^1002244-1 is not prime. Res64: AAB09F5EB4038962 Time : 0.0 sec. user=mdettweiler [2012-01-21 15:00:28] 669*2^1002245-1 is not prime. Res64: EFE63EEEB96F1974 Time : 0.0 sec. user=mdettweiler [2012-01-21 15:01:04] 699*2^1002244-1 is not prime. Res64: 8FBBFBA9C3BD3700 Time : 0.0 sec. user=mdettweiler [2012-01-21 15:01:06] 719*2^1002244-1 is not prime. Res64: 74F8B3D01820EC6D Time : 0.0 sec. user=mdettweiler [2012-01-21 15:02:29] 795*2^1002245-1 is not prime. Res64: E135E7F1D1904A57 Time : 0.0 sec. user=mdettweiler [2012-01-21 15:07:46] 707*2^1002246-1 is not prime. Res64: 2D1E5278A172C234 Time : 0.0 sec. user=mdettweiler [2012-01-21 15:09:00] 857*2^1002244-1 is not prime. Res64: EED9A123ABC3EE88 Time : 0.0 sec. user=mdettweiler [2012-01-21 15:09:01] 897*2^1002244-1 is not prime. Res64: CA02DF4EB4952C68 Time : 0.0 sec. user=mdettweiler [2012-01-21 15:09:47] 783*2^1002246-1 is not prime. Res64: 0ED146D0D50510B3 Time : 0.0 sec. user=mdettweiler [2012-01-21 15:11:59] 915*2^1002244-1 is not prime. Res64: CE07BC5DE6466960 Time : 0.0 sec. user=mdettweiler [2012-01-21 15:11:59] 965*2^1002244-1 is not prime. Res64: EF05214200FF1AAE Time : 0.0 sec. user=mdettweiler [2012-01-21 15:13:48] 825*2^1002238-1 is not prime. Res64: E87AA4932F2A52CA Time : 0.0 sec. user=mdettweiler [2012-01-21 15:13:49] 843*2^1002238-1 is not prime. Res64: 83E17DE304C0414D Time : 0.0 sec. user=mdettweiler [2012-01-21 15:14:00] 617*2^1002238-1 is not prime. Res64: 5CC77D4E468F28F8 Time : 0.0 sec. user=mdettweiler [2012-01-21 15:14:00] 681*2^1002238-1 is not prime. Res64: 702414C2B8EE1098 Time : 0.0 sec. user=mdettweiler [2012-01-21 15:15:07] 821*2^1002246-1 is not prime. Res64: F1D130D74AAD31EE Time : 0.0 sec. user=mdettweiler [2012-01-21 15:16:54] 983*2^1002244-1 is not prime. Res64: 4CB08124E87CC93E Time : 0.0 sec. user=mdettweiler [2012-01-21 15:16:55] 995*2^1002244-1 is not prime. Res64: 505F0CD801603B36 Time : 0.0 sec. user=mdettweiler [2012-01-21 15:17:04] 675*2^1002247-1 is not prime. Res64: 3535D8A8F55A346C Time : 0.0 sec. user=mdettweiler [2012-01-21 15:23:59] 973*2^1002247-1 is not prime. Res64: 637EAD97036D8B2B Time : 0.0 sec. user=mdettweiler [2012-01-21 15:24:19] 839*2^1002248-1 is not prime. Res64: 3EFAAA9FEED13A61 Time : 0.0 sec. user=mdettweiler [2012-01-21 15:24:30] 713*2^1002246-1 is not prime. Res64: AB83D2F4F8D2CFC9 Time : 0.0 sec. user=mdettweiler [2012-01-21 15:24:30] 717*2^1002246-1 is not prime. Res64: 085B0491C0088635 Time : 0.0 sec. user=mdettweiler [2012-01-21 15:30:00] 753*2^1002240-1 is not prime. Res64: 944377692BE0FD6B Time : 0.0 sec. user=mdettweiler [2012-01-21 15:30:00] 765*2^1002240-1 is not prime. Res64: 3D11BAE55BA882BC Time : 0.0 sec. user=mdettweiler [2012-01-21 15:31:36] 661*2^1002249-1 is not prime. Res64: A1CF7D6458F1E0B2 Time : 0.0 sec. user=mdettweiler [2012-01-21 15:32:50] 999*2^1002248-1 is not prime. Res64: 70A7DCACD60DDC36 Time : 0.0 sec. user=mdettweiler [2012-01-21 15:36:17] 867*2^1002246-1 is not prime. Res64: 06EBEC5FBA7D3799 Time : 0.0 sec. user=mdettweiler [2012-01-21 15:36:18] 1001*2^1002246-1 is not prime. Res64: FEAF42950DBCD66C Time : 0.0 sec. user=mdettweiler [2012-01-21 15:36:27] 693*2^1002247-1 is not prime. Res64: 788B3010F9A47038 Time : 0.0 sec. user=mdettweiler [2012-01-21 15:36:28] 705*2^1002247-1 is not prime. Res64: 437B1F9838EEBD24 Time : 0.0 sec. user=mdettweiler [2012-01-21 15:40:28] 985*2^1002249-1 is not prime. Res64: B9B45E9C51D610DF Time : 0.0 sec. user=mdettweiler [2012-01-21 15:40:59] 603*2^1002248-1 is not prime. Res64: 188C5B02233324DD Time : 0.0 sec. user=mdettweiler [2012-01-21 15:41:00] 633*2^1002248-1 is not prime. Res64: 58382875E475A07D Time : 0.0 sec. user=mdettweiler [2012-01-21 15:41:42] 997*2^1002249-1 is not prime. Res64: 181A874496A29DD8 Time : 0.0 sec. user=mdettweiler [2012-01-21 15:47:06] 781*2^1002249-1 is not prime. Res64: 9FEA0E936123FA03 Time : 0.0 sec. user=mdettweiler [2012-01-21 15:47:06] 831*2^1002249-1 is not prime. Res64: 91F0093C61AF3C40 Time : 0.0 sec. user=mdettweiler [2012-01-21 15:47:42] 687*2^1002250-1 is not prime. Res64: A160FA3BDBFC7588 Time : 0.0 sec. user=mdettweiler [2012-01-21 15:48:58] 855*2^1002250-1 is not prime. Res64: 033D1D12AE626DB1 Time : 0.0 sec. user=mdettweiler [2012-01-21 15:56:14] 663*2^1002251-1 is not prime. Res64: A8608952F701553F Time : 0.0 sec. user=mdettweiler [2012-01-21 15:56:34] 951*2^1002250-1 is not prime. Res64: 3CFB60CEBE47BF4F Time : 0.0 sec. user=mdettweiler [2012-01-21 15:57:21] 611*2^1002250-1 is not prime. Res64: B4B68C03D01F3A51 Time : 0.0 sec. user=mdettweiler [2012-01-21 15:57:21] 663*2^1002250-1 is not prime. Res64: 3A4EAF5FB137F3BF Time : 0.0 sec. user=mdettweiler [2012-01-21 15:57:33] 675*2^1002250-1 is not prime. Res64: F873DFBB03290B81 Time : 0.0 sec. user=mdettweiler [2012-01-21 15:57:33] 681*2^1002250-1 is not prime. Res64: A450F6AE25166669 Time : 0.0 sec. user=mdettweiler [2012-01-21 16:01:13] 773*2^1002250-1 is not prime. Res64: AD7E201BFBCC3B30 Time : 0.0 sec. user=mdettweiler [2012-01-21 16:01:13] 831*2^1002250-1 is not prime. Res64: C670C148DA94649E Time : 0.0 sec. user=mdettweiler [2012-01-21 16:03:30] 673*2^1002251-1 is not prime. Res64: 84944A27ABCFF96A Time : 0.0 sec. user=mdettweiler [2012-01-21 16:03:49] 705*2^1002251-1 is not prime. Res64: 65227C253CD0E76B Time : 0.0 sec. user=mdettweiler [2012-01-21 16:09:16] 861*2^1002250-1 is not prime. Res64: 8D60922AD11E2A88 Time : 0.0 sec. user=mdettweiler [2012-01-21 16:09:17] 933*2^1002250-1 is not prime. Res64: 91673A74CF66C144 Time : 0.0 sec. user=mdettweiler [2012-01-21 16:10:48] 607*2^1002253-1 is not prime. Res64: 593785386409066B Time : 0.0 sec. user=mdettweiler [2012-01-21 16:11:07] 619*2^1002253-1 is not prime. Res64: FE6C45B6646AB234 Time : 0.0 sec. user=mdettweiler [2012-01-21 16:17:19] 745*2^1002251-1 is not prime. Res64: E04D70B8D7A165D0 Time : 0.0 sec. user=mdettweiler [2012-01-21 16:17:19] 775*2^1002251-1 is not prime. Res64: A69D4ACDFABAE86F Time : 0.0 sec. user=mdettweiler [2012-01-21 16:17:28] 811*2^1002251-1 is not prime. Res64: 1F89A138A4ECF41D Time : 0.0 sec. user=mdettweiler [2012-01-21 16:17:28] 909*2^1002251-1 is not prime. Res64: B65F6488733493CD Time : 0.0 sec. user=mdettweiler [2012-01-21 16:18:05] 671*2^1002254-1 is not prime. Res64: 8AB8C0963A76F140 Time : 0.0 sec. user=mdettweiler [2012-01-21 16:18:23] 705*2^1002254-1 is not prime. Res64: D6C41ECC664186FE Time : 0.0 sec. user=mdettweiler [2012-01-21 16:20:35] 691*2^1002245-1 is not prime. Res64: C65716AD1F2DA6ED Time : 0.0 sec. user=mdettweiler [2012-01-21 16:20:35] 771*2^1002245-1 is not prime. Res64: 807D69B27164B0A4 Time : 0.0 sec. user=mdettweiler [2012-01-21 16:21:09] 635*2^1002252-1 is not prime. Res64: C35482FB9E9F21D1 Time : 0.0 sec. user=mdettweiler [2012-01-21 16:21:10] 759*2^1002252-1 is not prime. Res64: 5524B8F0F83F8205 Time : 0.0 sec. user=mdettweiler [2012-01-21 16:25:23] 851*2^1002254-1 is not prime. Res64: 91766FD840FD8028 Time : 0.0 sec. user=mdettweiler [2012-01-21 16:25:41] 885*2^1002254-1 is not prime. Res64: BCD140A1C00FDB14 Time : 0.0 sec. user=mdettweiler [2012-01-21 16:31:33] 915*2^1002253-1 is not prime. Res64: BB8C8BF7EDA21739 Time : 0.0 sec. user=mdettweiler [2012-01-21 16:31:33] 955*2^1002253-1 is not prime. Res64: 04858EA927C2AC40 Time : 0.0 sec. user=mdettweiler [2012-01-21 16:32:40] 871*2^1002255-1 is not prime. Res64: E1E5A33E190CA420 Time : 0.0 sec. user=mdettweiler [2012-01-21 16:32:58] 891*2^1002255-1 is not prime. Res64: ED44032803BFF6B9 Time : 0.0 sec. user=mdettweiler [2012-01-21 16:37:20] 753*2^1002254-1 is not prime. Res64: 2836D618FCB58B36 Time : 0.0 sec. user=mdettweiler [2012-01-21 16:37:20] 767*2^1002254-1 is not prime. Res64: 44DFBA850CAF4DA7 Time : 0.0 sec. user=mdettweiler [2012-01-21 16:37:23] 785*2^1002254-1 is not prime. Res64: 8358E915C5D024B8 Time : 0.0 sec. user=mdettweiler [2012-01-21 16:37:23] 825*2^1002254-1 is not prime. Res64: 6BFA65048360FF5B Time : 0.0 sec. user=mdettweiler [2012-01-21 16:39:32] 741*2^1002247-1 is not prime. Res64: 26C3B766AE7A2FBF Time : 0.0 sec. user=mdettweiler [2012-01-21 16:39:32] 873*2^1002247-1 is not prime. Res64: D1B0E719DB434219 Time : 0.0 sec. user=mdettweiler [2012-01-21 16:39:58] 609*2^1002256-1 is not prime. Res64: 27B41131C843E6A6 Time : 0.0 sec. user=mdettweiler [2012-01-21 16:40:16] 623*2^1002256-1 is not prime. Res64: 64218CFCCDC79AB2 Time : 0.0 sec. user=mdettweiler [2012-01-21 16:41:07] 765*2^1002255-1 is not prime. Res64: B7A7465D7B28564E Time : 0.0 sec. user=mdettweiler [2012-01-21 16:41:07] 781*2^1002255-1 is not prime. Res64: 81636854BDD5FDD2 Time : 0.0 sec. user=mdettweiler [2012-01-21 16:41:23] 915*2^1002247-1 is not prime. Res64: 74D7FD443F8A91F7 Time : 0.0 sec. user=mdettweiler [2012-01-21 16:41:24] 919*2^1002247-1 is not prime. Res64: AE61C1456C610E7E Time : 0.0 sec. user=mdettweiler [2012-01-21 16:47:33] 649*2^1002257-1 is not prime. Res64: E4AD44F0051EC0A2 Time : 0.0 sec. user=mdettweiler [2012-01-21 16:48:50] 989*2^1002256-1 is not prime. Res64: 160603BA1A773630 Time : 0.0 sec. user=mdettweiler [2012-01-21 16:55:59] 979*2^1002255-1 is not prime. Res64: 307D75D2109A0F07 Time : 0.0 sec. user=mdettweiler [2012-01-21 16:55:59] 999*2^1002255-1 is not prime. Res64: E43AEBA80F37AC54 Time : 0.0 sec. user=mdettweiler [2012-01-21 16:56:07] 605*2^1002258-1 is not prime. Res64: 225D0F8F32436A7D Time : 0.0 sec. user=mdettweiler [2012-01-21 16:56:25] 981*2^1002257-1 is not prime. Res64: 522998530D83154A Time : 0.0 sec. user=mdettweiler [2012-01-21 16:57:18] 675*2^1002256-1 is not prime. Res64: 9A92AFA071277D59 Time : 0.0 sec. user=mdettweiler [2012-01-21 16:57:19] 723*2^1002256-1 is not prime. Res64: CB98BD215AC7BBE0 Time : 0.0 sec. user=mdettweiler [2012-01-21 16:57:24] 869*2^1002256-1 is not prime. Res64: B02AFE5F88992352 Time : 0.0 sec. user=mdettweiler [2012-01-21 16:57:24] 875*2^1002256-1 is not prime. Res64: 3BF0CE937419F24F Time : 0.0 sec. user=mdettweiler [2012-01-21 17:01:09] 711*2^1002257-1 is not prime. Res64: 59F6DFE69C32345E Time : 0.0 sec. user=mdettweiler [2012-01-21 17:01:09] 847*2^1002257-1 is not prime. Res64: 10B85609B951F8CA Time : 0.0 sec. user=mdettweiler [2012-01-21 17:03:24] 695*2^1002258-1 is not prime. Res64: 073F23ABFE3F3291 Time : 0.0 sec. user=mdettweiler [2012-01-21 17:03:42] 713*2^1002258-1 is not prime. Res64: 5035A2BD6FE99A8A Time : 0.0 sec. user=mdettweiler [2012-01-21 17:06:21] 861*2^1002249-1 is not prime. Res64: A7DBF9ABD69BF6DF Time : 0.0 sec. user=mdettweiler [2012-01-21 17:06:22] 945*2^1002249-1 is not prime. Res64: D523F1322070DE1A Time : 0.0 sec. user=mdettweiler [2012-01-21 17:10:43] 735*2^1002259-1 is not prime. Res64: 6E946317278CDD26 Time : 0.0 sec. user=mdettweiler [2012-01-21 17:11:01] 861*2^1002259-1 is not prime. Res64: 7DB270C8DFE8175D Time : 0.0 sec. user=mdettweiler [2012-01-21 17:15:53] 633*2^1002258-1 is not prime. Res64: 978EDE14FE2A89E5 Time : 0.0 sec. user=mdettweiler [2012-01-21 17:15:54] 635*2^1002258-1 is not prime. Res64: CEE151C3B337BA6D Time : 0.0 sec. user=mdettweiler [2012-01-21 17:17:17] 755*2^1002258-1 is not prime. Res64: 178A03E8E8786641 Time : 0.0 sec. user=mdettweiler [2012-01-21 17:17:18] 915*2^1002258-1 is not prime. Res64: C4896D97E501A151 Time : 0.0 sec. user=mdettweiler [2012-01-21 17:17:59] 647*2^1002260-1 is not prime. Res64: 62AD6FBB7095960F Time : 0.0 sec. user=mdettweiler [2012-01-21 17:18:22] 827*2^1002260-1 is not prime. Res64: FD97F9E9122A64D1 Time : 0.0 sec. user=mdettweiler [2012-01-21 17:21:12] 609*2^1002259-1 is not prime. Res64: A230FA63714D96AE Time : 0.0 sec. user=mdettweiler [2012-01-21 17:21:13] 631*2^1002259-1 is not prime. Res64: D7F93A48416BF46A Time : 0.0 sec. user=mdettweiler [2012-01-21 17:21:52] 963*2^1002258-1 is not prime. Res64: CB86CA8788E6EBC6 Time : 0.0 sec. user=mdettweiler [2012-01-21 17:21:52] 977*2^1002258-1 is not prime. Res64: 4A6873D14BECB5FC Time : 0.0 sec. user=mdettweiler [2012-01-21 17:25:16] 607*2^1002261-1 is not prime. Res64: 0E4789827CD2E343 Time : 0.0 sec. user=mdettweiler [2012-01-21 17:25:40] 685*2^1002261-1 is not prime. Res64: 9353B789E09C1CD1 Time : 0.0 sec. user=mdettweiler [2012-01-21 17:34:09] 937*2^1002261-1 is not prime. Res64: A9DBFAA86D1E6617 Time : 0.0 sec. user=mdettweiler [2012-01-21 17:34:32] 951*2^1002261-1 is not prime. Res64: 17CCE5420A104F26 Time : 0.0 sec. user=mdettweiler [2012-01-21 17:35:42] 875*2^1002260-1 is not prime. Res64: C2DF2F427B933FC9 Time : 0.0 sec. user=mdettweiler [2012-01-21 17:35:43] 893*2^1002260-1 is not prime. Res64: 1D66D38C30F44CC1 Time : 0.0 sec. user=mdettweiler [2012-01-21 17:41:06] 717*2^1002261-1 is not prime. Res64: A68034DC1B621963 Time : 0.0 sec. user=mdettweiler [2012-01-21 17:41:06] 847*2^1002261-1 is not prime. Res64: 8A76477708E78085 Time : 0.0 sec. user=mdettweiler [2012-01-21 17:41:35] 977*2^1002260-1 is not prime. Res64: 44395BDA2345EA58 Time : 0.0 sec. user=mdettweiler [2012-01-21 17:41:35] 983*2^1002260-1 is not prime. Res64: D7CBC79CED8CC058 Time : 0.0 sec. user=mdettweiler [2012-01-21 17:41:37] 849*2^1002261-1 is not prime. Res64: 0E6621E4744F7A36 Time : 0.0 sec. user=mdettweiler [2012-01-21 17:41:38] 921*2^1002261-1 is not prime. Res64: 0187FCCD6CB6C4D6 Time : 0.0 sec. user=mdettweiler [2012-01-21 17:41:49] 645*2^1002262-1 is not prime. Res64: DD1DA3E8F1D565EE Time : 0.0 sec. user=mdettweiler [2012-01-21 17:43:06] 987*2^1002261-1 is not prime. Res64: 086CE52E327C94F6 Time : 0.0 sec. user=mdettweiler [2012-01-21 17:47:06] 601*2^1002255-1 is not prime. Res64: 08C18925FAFD77F8 Time : 0.0 sec. user=mdettweiler [2012-01-21 17:47:06] 613*2^1002255-1 is not prime. Res64: 4AA836B66DC22F20 Time : 0.0 sec. user=mdettweiler [2012-01-21 17:49:08] 609*2^1002263-1 is not prime. Res64: 3F9C4E1FDC47B2E4 Time : 0.0 sec. user=mdettweiler [2012-01-21 17:50:25] 675*2^1002263-1 is not prime. Res64: 581A848F9CDF4B24 Time : 0.0 sec. user=mdettweiler [2012-01-21 17:55:29] 647*2^1002262-1 is not prime. Res64: 0F7807710887BB07 Time : 0.0 sec. user=mdettweiler [2012-01-21 17:55:29] 717*2^1002262-1 is not prime. Res64: AAFA3D7E3FC98482 Time : 0.0 sec. user=mdettweiler [2012-01-21 17:56:26] 853*2^1002263-1 is not prime. Res64: 570BCF07AAF7B254 Time : 0.0 sec. user=mdettweiler [2012-01-21 17:57:42] 859*2^1002263-1 is not prime. Res64: 5ED3C6C6AB519E25 Time : 0.0 sec. user=mdettweiler [2012-01-21 18:00:59] 723*2^1002262-1 is not prime. Res64: 3012DFD9478F071D Time : 0.0 sec. user=mdettweiler [2012-01-21 18:01:02] 755*2^1002262-1 is not prime. Res64: 25BC97FB47CE9CCD Time : 0.0 sec. user=mdettweiler [2012-01-21 18:01:23] 831*2^1002262-1 is not prime. Res64: F23B5652C4C8BDA9 Time : 0.0 sec. user=mdettweiler [2012-01-21 18:01:24] 843*2^1002262-1 is not prime. Res64: 6672639E3E8B7F02 Time : 0.0 sec. user=mdettweiler [2012-01-21 18:03:44] 815*2^1002264-1 is not prime. Res64: 7002A0D8721F9B6F Time : 0.0 sec. user=mdettweiler [2012-01-21 18:03:45] 855*2^1002262-1 is not prime. Res64: 7A42EE6A60B6FB97 Time : 0.0 sec. user=mdettweiler [2012-01-21 18:03:45] 1001*2^1002262-1 is not prime. Res64: 339D07BB4479A91A Time : 0.0 sec. user=mdettweiler [2012-01-21 18:05:00] 837*2^1002264-1 is not prime. Res64: D2AA004B1E68C7E0 Time : 0.0 sec. user=mdettweiler [2012-01-21 18:11:01] 855*2^1002265-1 is not prime. Res64: 68F81C0AB36267C2 Time : 0.0 sec. user=mdettweiler [2012-01-21 18:13:56] 925*2^1002265-1 is not prime. Res64: 0736D788203AD3D9 Time : 0.0 sec. user=mdettweiler [2012-01-21 18:17:32] 949*2^1002263-1 is not prime. Res64: 495995F9A9FC9510 Time : 0.0 sec. user=mdettweiler [2012-01-21 18:17:33] 747*2^1002264-1 is not prime. Res64: F1E8E89B03A561E1 Time : 0.0 sec. user=mdettweiler [2012-01-21 18:18:21] 603*2^1002266-1 is not prime. Res64: 6E822E70BD60E522 Time : 0.0 sec. user=mdettweiler [2012-01-21 18:20:19] 865*2^1002257-1 is not prime. Res64: 8F43AC4E2D61B190 Time : 0.0 sec. user=mdettweiler [2012-01-21 18:20:19] 955*2^1002257-1 is not prime. Res64: 16BFA93C6763740B Time : 0.0 sec. user=mdettweiler [2012-01-21 18:20:53] 849*2^1002264-1 is not prime. Res64: 40363A0140F7B1BD Time : 0.0 sec. user=mdettweiler [2012-01-21 18:20:53] 915*2^1002264-1 is not prime. Res64: B3B07D6F3331CC79 Time : 0.0 sec. user=mdettweiler [2012-01-21 18:21:14] 651*2^1002266-1 is not prime. Res64: 885F2299B6436320 Time : 0.0 sec. user=mdettweiler [2012-01-21 18:23:33] 983*2^1002264-1 is not prime. Res64: C5A1EAAC582F4757 Time : 0.0 sec. user=mdettweiler [2012-01-21 18:23:33] 667*2^1002265-1 is not prime. Res64: B670CD6A86331EDB Time : 0.0 sec. user=mdettweiler [2012-01-21 18:23:37] 885*2^1002265-1 is not prime. Res64: 93AF41195700449F Time : 0.0 sec. user=mdettweiler [2012-01-21 18:23:37] 895*2^1002265-1 is not prime. Res64: B4B2CDA186B6D129 Time : 0.0 sec. user=mdettweiler [2012-01-21 18:25:39] 767*2^1002266-1 is not prime. Res64: 141E75DDF2EA7B49 Time : 0.0 sec. user=mdettweiler [2012-01-21 18:25:45] 947*2^1002256-1 is not prime. Res64: 5AA391947FE3FF88 Time : 0.0 sec. user=mdettweiler [2012-01-21 18:25:45] 965*2^1002256-1 is not prime. Res64: 64346364221DD243 Time : 0.0 sec. user=mdettweiler [2012-01-21 18:28:31] 775*2^1002267-1 is not prime. Res64: 48200B2951DC7BBA Time : 0.0 sec. user=mdettweiler [2012-01-21 18:32:56] 635*2^1002268-1 is not prime. Res64: B73315775163E7E3 Time : 0.0 sec. user=mdettweiler [2012-01-21 18:34:58] 885*2^1002259-1 is not prime. Res64: 8F6F89B50A85FC7B Time : 0.0 sec. user=mdettweiler [2012-01-21 18:34:58] 909*2^1002259-1 is not prime. Res64: 5469780E4E9D9138 Time : 0.0 sec. user=mdettweiler [2012-01-21 18:35:50] 707*2^1002268-1 is not prime. Res64: 34AA443BD83FA35A Time : 0.0 sec. user=mdettweiler [2012-01-21 18:37:19] 675*2^1002266-1 is not prime. Res64: EC911BDFACD466BC Time : 0.0 sec. user=mdettweiler [2012-01-21 18:37:19] 683*2^1002266-1 is not prime. Res64: 7166740FCD422F07 Time : 0.0 sec. user=mdettweiler [2012-01-21 18:40:15] 755*2^1002268-1 is not prime. Res64: 93F2CDBE0498A240 Time : 0.0 sec. user=mdettweiler [2012-01-21 18:43:00] 983*2^1002266-1 is not prime. Res64: 7C25FA6E70BB6ABB Time : 0.0 sec. user=mdettweiler [2012-01-21 18:43:01] 741*2^1002267-1 is not prime. Res64: B9968D365CF74F2F Time : 0.0 sec. user=mdettweiler [2012-01-21 18:43:07] 627*2^1002269-1 is not prime. Res64: 304338FBB1DE4D6F Time : 0.0 sec. user=mdettweiler [2012-01-21 18:43:26] 793*2^1002267-1 is not prime. Res64: BB1C346EB84F5607 Time : 0.0 sec. user=mdettweiler [2012-01-21 18:43:26] 825*2^1002267-1 is not prime. Res64: AC6692DA24B1F9D4 Time : 0.0 sec. user=mdettweiler [2012-01-21 18:45:43] 895*2^1002267-1 is not prime. Res64: 65BBFC51C7C79D16 Time : 0.0 sec. user=mdettweiler [2012-01-21 18:45:43] 931*2^1002267-1 is not prime. Res64: CCCF459A23FBCD65 Time : 0.0 sec. user=mdettweiler [2012-01-21 18:47:31] 745*2^1002269-1 is not prime. Res64: EF18C88B317D842B Time : 0.0 sec. user=mdettweiler [2012-01-21 18:50:27] 765*2^1002270-1 is not prime. Res64: 32DED34068F2D1AE Time : 0.0 sec. user=mdettweiler [2012-01-21 18:54:48] 917*2^1002270-1 is not prime. Res64: F63146D2925C9F7B Time : 0.0 sec. user=mdettweiler [2012-01-21 18:57:06] 645*2^1002269-1 is not prime. Res64: 5F43AF7069933273 Time : 0.0 sec. user=mdettweiler [2012-01-21 18:57:07] 675*2^1002269-1 is not prime. Res64: F44C62AD73071647 Time : 0.0 sec. user=mdettweiler [2012-01-21 18:59:24] 977*2^1002270-1 is not prime. Res64: 642028B182C77F30 Time : 0.0 sec. user=mdettweiler [2012-01-21 19:02:05] 603*2^1002271-1 is not prime. Res64: 10FD0729ABF41F99 Time : 0.0 sec. user=mdettweiler [2012-01-21 19:02:49] 837*2^1002269-1 is not prime. Res64: 85A853A4FDDF2A59 Time : 0.0 sec. user=mdettweiler [2012-01-21 19:02:50] 725*2^1002270-1 is not prime. Res64: 40AC1AE287CF999E Time : 0.0 sec. user=mdettweiler [2012-01-21 19:03:14] 795*2^1002270-1 is not prime. Res64: 017FE9714C014F66 Time : 0.0 sec. user=mdettweiler [2012-01-21 19:03:14] 797*2^1002270-1 is not prime. Res64: AFD67560DBCCC7DE Time : 0.0 sec. user=mdettweiler [2012-01-21 19:05:28] 863*2^1002270-1 is not prime. Res64: 0324248AFB0F3BFB Time : 0.0 sec. user=mdettweiler [2012-01-21 19:05:29] 891*2^1002270-1 is not prime. Res64: A465AD4D98A489E3 Time : 0.0 sec. user=mdettweiler [2012-01-21 19:06:39] 649*2^1002271-1 is not prime. Res64: B975EF4C4A6496FA Time : 0.0 sec. user=mdettweiler [2012-01-21 19:09:33] 675*2^1002271-1 is not prime. Res64: BB3B4EDBDA787062 Time : 0.0 sec. user=mdettweiler [2012-01-21 19:13:57] 689*2^1002272-1 is not prime. Res64: E4E0B2F65B1C8719 Time : 0.0 sec. user=mdettweiler [2012-01-21 19:16:54] 743*2^1002272-1 is not prime. Res64: C1521CBE30D685C4 Time : 0.0 sec. user=mdettweiler [2012-01-21 19:16:55] 615*2^1002271-1 is not prime. Res64: E8DFFC0AC5DF2F8E Time : 0.0 sec. user=mdettweiler [2012-01-21 19:16:55] 625*2^1002271-1 is not prime. Res64: D1FABDC8A0BF579C Time : 0.0 sec. user=mdettweiler [2012-01-21 19:17:06] 753*2^1002263-1 is not prime. Res64: 966EB06AAD8BB159 Time : 0.0 sec. user=mdettweiler [2012-01-21 19:17:06] 789*2^1002263-1 is not prime. Res64: 08FC0BB4AA3D873D Time : 0.0 sec. user=mdettweiler [2012-01-21 19:21:15] 755*2^1002272-1 is not prime. Res64: C1241FD5EADE3E3A Time : 0.0 sec. user=mdettweiler [2012-01-21 19:22:36] 703*2^1002271-1 is not prime. Res64: 34A0A7684BA51ACB Time : 0.0 sec. user=mdettweiler [2012-01-21 19:22:37] 763*2^1002271-1 is not prime. Res64: 3DA34CE2D6E0F0A5 Time : 0.0 sec. user=mdettweiler [2012-01-21 19:22:59] 841*2^1002271-1 is not prime. Res64: E83309BFFF419B57 Time : 0.0 sec. user=mdettweiler [2012-01-21 19:23:00] 901*2^1002271-1 is not prime. Res64: 10FC7B4DB5B311C3 Time : 0.0 sec. user=mdettweiler [2012-01-21 19:24:12] 785*2^1002272-1 is not prime. Res64: A359C60505B5AC8B Time : 0.0 sec. user=mdettweiler [2012-01-21 19:27:36] 951*2^1002271-1 is not prime. Res64: 24471208BE6CF5A2 Time : 0.0 sec. user=mdettweiler [2012-01-21 19:27:36] 687*2^1002272-1 is not prime. Res64: 7C988C0878607E8E Time : 0.0 sec. user=mdettweiler [2012-01-21 19:28:33] 649*2^1002273-1 is not prime. Res64: 654468F458611A44 Time : 0.0 sec. user=mdettweiler [2012-01-21 19:31:29] 919*2^1002273-1 is not prime. Res64: 40B88416A371617F Time : 0.0 sec. user=mdettweiler [2012-01-21 19:35:51] 701*2^1002274-1 is not prime. Res64: 4D7F90C3D5A5333C Time : 0.0 sec. user=mdettweiler [2012-01-21 19:36:41] 815*2^1002272-1 is not prime. Res64: 93D234648C8B5410 Time : 0.0 sec. user=mdettweiler [2012-01-21 19:36:41] 855*2^1002272-1 is not prime. Res64: 0B7E0DB7AEFD0014 Time : 0.0 sec. user=mdettweiler [2012-01-21 19:38:46] 731*2^1002274-1 is not prime. Res64: 3320EB832D79E015 Time : 0.0 sec. user=mdettweiler [2012-01-21 19:42:27] 679*2^1002273-1 is not prime. Res64: 6707A6A64745F803 Time : 0.0 sec. user=mdettweiler [2012-01-21 19:42:27] 739*2^1002273-1 is not prime. Res64: 01D19129207DF783 Time : 0.0 sec. user=mdettweiler [2012-01-21 19:42:48] 759*2^1002273-1 is not prime. Res64: 7A49A957BC739386 Time : 0.0 sec. user=mdettweiler [2012-01-21 19:42:49] 829*2^1002273-1 is not prime. Res64: 5BDFEA68019DCADC Time : 0.0 sec. user=mdettweiler [2012-01-21 19:44:48] 1001*2^1002274-1 is not prime. Res64: A750AD96AF5865C9 Time : 0.0 sec. user=mdettweiler [2012-01-21 19:46:02] 679*2^1002275-1 is not prime. Res64: 5106FB29748DDA8A Time : 0.0 sec. user=mdettweiler [2012-01-21 19:47:20] 605*2^1002274-1 is not prime. Res64: 2E2B2EA0B6FEB614 Time : 0.0 sec. user=mdettweiler [2012-01-21 19:47:20] 621*2^1002274-1 is not prime. Res64: C7C4E94859D2505E Time : 0.0 sec. user=mdettweiler [2012-01-21 19:53:20] 639*2^1002276-1 is not prime. Res64: 66A4A29AB9551AA9 Time : 0.0 sec. user=mdettweiler [2012-01-21 19:53:34] 657*2^1002268-1 is not prime. Res64: 19F4747349D02651 Time : 0.0 sec. user=mdettweiler [2012-01-21 19:53:34] 665*2^1002268-1 is not prime. Res64: 6683AD6D47B5552F Time : 0.0 sec. user=mdettweiler [2012-01-21 19:53:43] 979*2^1002275-1 is not prime. Res64: BE526E78B7074143 Time : 0.0 sec. user=mdettweiler [2012-01-21 19:56:29] 649*2^1002275-1 is not prime. Res64: E16F2DE6996623F9 Time : 0.0 sec. user=mdettweiler [2012-01-21 19:56:29] 673*2^1002275-1 is not prime. Res64: CF8C6C54F1A1C9C6 Time : 0.0 sec. user=mdettweiler [2012-01-21 19:59:09] 833*2^1002266-1 is not prime. Res64: EA30AD220B6A68C8 Time : 0.0 sec. user=mdettweiler [2012-01-21 19:59:09] 971*2^1002266-1 is not prime. Res64: 754241C7A4A141E9 Time : 0.0 sec. user=mdettweiler [2012-01-21 20:00:36] 893*2^1002276-1 is not prime. Res64: 83297EA791C95E48 Time : 0.0 sec. user=mdettweiler [2012-01-21 20:02:14] 775*2^1002275-1 is not prime. Res64: DBEB78E17DDBA929 Time : 0.0 sec. user=mdettweiler [2012-01-21 20:02:15] 859*2^1002275-1 is not prime. Res64: 1EF6C2F7DCBF9C0B Time : 0.0 sec. user=mdettweiler [2012-01-21 20:02:19] 833*2^1002268-1 is not prime. Res64: ADF2E2C82C0FB38C Time : 0.0 sec. user=mdettweiler [2012-01-21 20:02:20] 909*2^1002268-1 is not prime. Res64: 395C13854128E38C Time : 0.0 sec. user=mdettweiler [2012-01-21 20:02:40] 983*2^1002276-1 is not prime. Res64: 24DD137835C0ECBC Time : 0.0 sec. user=mdettweiler [2012-01-21 20:04:53] 909*2^1002275-1 is not prime. Res64: 37CF9297EA4910A7 Time : 0.0 sec. user=mdettweiler [2012-01-21 20:04:55] 949*2^1002275-1 is not prime. Res64: E252B4DC28D2A5E3 Time : 0.0 sec. user=mdettweiler [2012-01-21 20:07:09] 749*2^1002276-1 is not prime. Res64: CE424DFAA6F608DF Time : 0.0 sec. user=mdettweiler [2012-01-21 20:07:10] 867*2^1002276-1 is not prime. Res64: 0601673C5EDBD4F4 Time : 0.0 sec. user=mdettweiler [2012-01-21 20:09:39] 999*2^1002277-1 is not prime. Res64: 49BEA38DA2975F81 Time : 0.0 sec. user=mdettweiler [2012-01-21 20:09:58] 887*2^1002278-1 is not prime. Res64: 586923E63F6F13FA Time : 0.0 sec. user=mdettweiler [2012-01-21 20:16:55] 891*2^1002279-1 is not prime. Res64: 4199CB148C106928 Time : 0.0 sec. user=mdettweiler [2012-01-21 20:18:32] 999*2^1002276-1 is not prime. Res64: 2C8D82743E30B647 Time : 0.0 sec. user=mdettweiler [2012-01-21 20:18:33] 717*2^1002277-1 is not prime. Res64: 9BD050D03323D226 Time : 0.0 sec. user=mdettweiler [2012-01-21 20:18:56] 951*2^1002279-1 is not prime. Res64: 961DC8485575AF28 Time : 0.0 sec. user=mdettweiler [2012-01-21 20:22:08] 755*2^1002278-1 is not prime. Res64: 62F15D893A44DDB5 Time : 0.0 sec. user=mdettweiler [2012-01-21 20:22:08] 801*2^1002278-1 is not prime. Res64: B5B52860DFDB04D9 Time : 0.0 sec. user=mdettweiler [2012-01-21 20:25:52] 973*2^1002279-1 is not prime. Res64: F0C2635F2512C15B Time : 0.0 sec. user=mdettweiler [2012-01-21 20:26:12] 777*2^1002280-1 is not prime. Res64: 7BE60A99D8F1B35B Time : 0.0 sec. user=mdettweiler [2012-01-21 20:26:58] 735*2^1002279-1 is not prime. Res64: 03691C3BD74CD276 Time : 0.0 sec. user=mdettweiler [2012-01-21 20:26:58] 861*2^1002279-1 is not prime. Res64: BED78C3A55737C1A Time : 0.0 sec. user=mdettweiler [2012-01-21 20:27:05] 941*2^1002278-1 is not prime. Res64: 1B33D74404E129F6 Time : 0.0 sec. user=mdettweiler [2012-01-21 20:27:05] 621*2^1002279-1 is not prime. Res64: F8BBDCCF6B829934 Time : 0.0 sec. user=mdettweiler [2012-01-21 20:33:10] 715*2^1002281-1 is not prime. Res64: B238BEB0D9BFF17F Time : 0.0 sec. user=mdettweiler [2012-01-21 20:33:29] 747*2^1002281-1 is not prime. Res64: FBCE8A7DFE58B317 Time : 0.0 sec. user=mdettweiler [2012-01-21 20:38:23] 699*2^1002280-1 is not prime. Res64: AFB9F234FEDF0E54 Time : 0.0 sec. user=mdettweiler [2012-01-21 20:38:23] 717*2^1002280-1 is not prime. Res64: CA69ADBEC2ADBAEE Time : 0.0 sec. user=mdettweiler [2012-01-21 20:40:27] 681*2^1002282-1 is not prime. Res64: 966F99DB55F13B67 Time : 0.0 sec. user=mdettweiler [2012-01-21 20:40:48] 717*2^1002282-1 is not prime. Res64: FDB609C6AF792AEF Time : 0.0 sec. user=mdettweiler [2012-01-21 20:44:11] 927*2^1002280-1 is not prime. Res64: 8E35A9584873972E Time : 0.0 sec. user=mdettweiler [2012-01-21 20:44:12] 615*2^1002281-1 is not prime. Res64: BE3AFC8D645477FE Time : 0.0 sec. user=mdettweiler [2012-01-21 20:47:45] 803*2^1002282-1 is not prime. Res64: 586387179C412945 Time : 0.0 sec. user=mdettweiler [2012-01-21 20:48:05] 821*2^1002282-1 is not prime. Res64: 58FE94D64F61207A Time : 0.0 sec. user=mdettweiler [2012-01-21 20:49:00] 909*2^1002281-1 is not prime. Res64: CB779AE641DB10C6 Time : 0.0 sec. user=mdettweiler [2012-01-21 20:49:01] 967*2^1002281-1 is not prime. Res64: F617F3CD7B556BE8 Time : 0.0 sec. user=mdettweiler [2012-01-21 20:49:09] 979*2^1002281-1 is not prime. Res64: AC4D8008470B3648 Time : 0.0 sec. user=mdettweiler [2012-01-21 20:49:09] 627*2^1002282-1 is not prime. Res64: C95CCFC2F0C8FC2B Time : 0.0 sec. user=mdettweiler [2012-01-21 20:55:02] 693*2^1002283-1 is not prime. Res64: 1A85BF86EED53F73 Time : 0.0 sec. user=mdettweiler [2012-01-21 20:55:24] 723*2^1002283-1 is not prime. Res64: 7E715C586036DA0F Time : 0.0 sec. user=mdettweiler [2012-01-21 20:58:09] 755*2^1002282-1 is not prime. Res64: EE07138B93514FB6 Time : 0.0 sec. user=mdettweiler [2012-01-21 20:58:09] 767*2^1002282-1 is not prime. Res64: D71FE13FEBC293F3 Time : 0.0 sec. user=mdettweiler [2012-01-21 21:02:20] 891*2^1002283-1 is not prime. Res64: B309E5CD5E059D8A Time : 0.0 sec. user=mdettweiler [2012-01-21 21:02:41] 915*2^1002283-1 is not prime. Res64: F50893C13BF5FD6D Time : 0.0 sec. user=mdettweiler [2012-01-21 21:03:57] 903*2^1002282-1 is not prime. Res64: C5D18CAD857ED619 Time : 0.0 sec. user=mdettweiler [2012-01-21 21:03:59] 631*2^1002283-1 is not prime. Res64: 1B335A5D0139FB4B Time : 0.0 sec. user=mdettweiler [2012-01-21 21:08:04] 963*2^1002272-1 is not prime. Res64: 6CA35930F8A75D93 Time : 0.0 sec. user=mdettweiler [2012-01-21 21:08:05] 999*2^1002272-1 is not prime. Res64: 0B732E11706F0B83 Time : 0.0 sec. user=mdettweiler [2012-01-21 21:08:42] 735*2^1002283-1 is not prime. Res64: 2FBD637D578FEACB Time : 0.0 sec. user=mdettweiler [2012-01-21 21:08:43] 765*2^1002283-1 is not prime. Res64: BBF5A57537AA0082 Time : 0.0 sec. user=mdettweiler [2012-01-21 21:08:56] 819*2^1002283-1 is not prime. Res64: 52ED8EE46D9D0096 Time : 0.0 sec. user=mdettweiler [2012-01-21 21:08:58] 853*2^1002283-1 is not prime. Res64: CE675D6700B4A41D Time : 0.0 sec. user=mdettweiler [2012-01-21 21:09:39] 743*2^1002284-1 is not prime. Res64: 67E62CB7E8C81EF5 Time : 0.0 sec. user=mdettweiler [2012-01-21 21:09:59] 753*2^1002284-1 is not prime. Res64: 613AF17CED5830C5 Time : 0.0 sec. user=mdettweiler [2012-01-21 21:16:57] 755*2^1002286-1 is not prime. Res64: E9DD2D89446C63C7 Time : 0.0 sec. user=mdettweiler [2012-01-21 21:17:18] 801*2^1002286-1 is not prime. Res64: BD17463D46E8E966 Time : 0.0 sec. user=mdettweiler [2012-01-21 21:17:55] 605*2^1002284-1 is not prime. Res64: ADF136BF9F06C8EB Time : 0.0 sec. user=mdettweiler [2012-01-21 21:17:56] 665*2^1002284-1 is not prime. Res64: 88283F024B6489E6 Time : 0.0 sec. user=mdettweiler [2012-01-21 21:23:48] 837*2^1002284-1 is not prime. Res64: DC5E840CB1A6E417 Time : 0.0 sec. user=mdettweiler [2012-01-21 21:23:48] 893*2^1002284-1 is not prime. Res64: 3C116B49C8D000A4 Time : 0.0 sec. user=mdettweiler [2012-01-21 21:24:14] 857*2^1002286-1 is not prime. Res64: 1AE339A6FFDD4998 Time : 0.0 sec. user=mdettweiler [2012-01-21 21:24:35] 911*2^1002286-1 is not prime. Res64: 290021BCF5B4D67B Time : 0.0 sec. user=mdettweiler [2012-01-21 21:28:36] 611*2^1002286-1 is not prime. Res64: CB64DA6CF53A5CBF Time : 0.0 sec. user=mdettweiler [2012-01-21 21:28:37] 675*2^1002286-1 is not prime. Res64: 8C2CABDB304376CE Time : 0.0 sec. user=mdettweiler [2012-01-21 21:28:43] 831*2^1002278-1 is not prime. Res64: 5519812CC5E406A1 Time : 0.0 sec. user=mdettweiler [2012-01-21 21:28:43] 875*2^1002278-1 is not prime. Res64: AFB672565003A0A2 Time : 0.0 sec. user=mdettweiler [2012-01-21 21:28:48] 723*2^1002286-1 is not prime. Res64: DDAFA0EB914B8A5F Time : 0.0 sec. user=mdettweiler [2012-01-21 21:28:49] 737*2^1002286-1 is not prime. Res64: 44641901FFDB7072 Time : 0.0 sec. user=mdettweiler [2012-01-21 21:31:31] 841*2^1002287-1 is not prime. Res64: 3830F8DED5DE657A Time : 0.0 sec. user=mdettweiler [2012-01-21 21:33:35] 985*2^1002287-1 is not prime. Res64: E023D2E0FD826702 Time : 0.0 sec. user=mdettweiler [2012-01-21 21:39:07] 871*2^1002277-1 is not prime. Res64: 1C4BBA3EB7D977FC Time : 0.0 sec. user=mdettweiler [2012-01-21 21:39:07] 939*2^1002277-1 is not prime. Res64: 48F1FD85E2549335 Time : 0.0 sec. user=mdettweiler [2012-01-21 21:40:01] 923*2^1002286-1 is not prime. Res64: EC7D6BB19CD5FD72 Time : 0.0 sec. user=mdettweiler [2012-01-21 21:40:02] 655*2^1002287-1 is not prime. Res64: EB5F5F5F9A25E61E Time : 0.0 sec. user=mdettweiler [2012-01-21 21:40:30] 977*2^1002288-1 is not prime. Res64: B9C1E801BDD80372 Time : 0.0 sec. user=mdettweiler [2012-01-21 21:40:48] 933*2^1002276-1 is not prime. Res64: 5686BC0BEB50A236 Time : 0.0 sec. user=mdettweiler [2012-01-21 21:40:49] 969*2^1002276-1 is not prime. Res64: 77A843D1E4B5DEEC Time : 0.0 sec. user=mdettweiler [2012-01-21 21:40:52] 619*2^1002289-1 is not prime. Res64: F1D1B407FEADC81A Time : 0.0 sec. user=mdettweiler [2012-01-21 21:43:36] 735*2^1002287-1 is not prime. Res64: CD237F1B03DC2A77 Time : 0.0 sec. user=mdettweiler [2012-01-21 21:43:37] 763*2^1002287-1 is not prime. Res64: 61FA19EC6B288EF0 Time : 0.0 sec. user=mdettweiler [2012-01-21 21:48:10] 753*2^1002290-1 is not prime. Res64: B8FFEE5CDDA5ADC2 Time : 0.0 sec. user=mdettweiler [2012-01-21 21:48:23] 605*2^1002288-1 is not prime. Res64: 0A6976A0B3E2F2AD Time : 0.0 sec. user=mdettweiler [2012-01-21 21:48:23] 657*2^1002288-1 is not prime. Res64: 126504C09E6EF3D1 Time : 0.0 sec. user=mdettweiler [2012-01-21 21:48:45] 773*2^1002288-1 is not prime. Res64: 8616A40D5D8FC415 Time : 0.0 sec. user=mdettweiler [2012-01-21 21:48:45] 815*2^1002288-1 is not prime. Res64: F4E1790BE3EB97BF Time : 0.0 sec. user=mdettweiler [2012-01-21 21:49:29] 931*2^1002289-1 is not prime. Res64: 3726584FD0B6FD32 Time : 0.0 sec. user=mdettweiler [2012-01-21 21:55:28] 827*2^1002290-1 is not prime. Res64: DFDB0B190B91E056 Time : 0.0 sec. user=mdettweiler [2012-01-21 21:58:28] 953*2^1002290-1 is not prime. Res64: 6920D4D173EBBFA7 Time : 0.0 sec. user=mdettweiler [2012-01-21 21:59:49] 741*2^1002289-1 is not prime. Res64: CB9B6C11AF48CB17 Time : 0.0 sec. user=mdettweiler [2012-01-21 21:59:49] 895*2^1002289-1 is not prime. Res64: 3E1BDEF4B5FD5943 Time : 0.0 sec. user=mdettweiler [2012-01-21 22:03:24] 801*2^1002290-1 is not prime. Res64: 81A598694F789812 Time : 0.0 sec. user=mdettweiler [2012-01-21 22:03:25] 825*2^1002290-1 is not prime. Res64: 5892F683A809C450 Time : 0.0 sec. user=mdettweiler [2012-01-21 22:04:27] 1001*2^1002290-1 is not prime. Res64: CE0CCC0F42784706 Time : 0.0 sec. user=mdettweiler [2012-01-21 22:05:45] 609*2^1002291-1 is not prime. Res64: 8D2E9BFC6E3327EA Time : 0.0 sec. user=mdettweiler [2012-01-21 22:08:08] 845*2^1002290-1 is not prime. Res64: DAE615878FBFB517 Time : 0.0 sec. user=mdettweiler [2012-01-21 22:08:09] 857*2^1002290-1 is not prime. Res64: F54AE133941531F8 Time : 0.0 sec. user=mdettweiler [2012-01-21 22:08:31] 887*2^1002290-1 is not prime. Res64: EBEA887468B416A7 Time : 0.0 sec. user=mdettweiler [2012-01-21 22:08:32] 915*2^1002290-1 is not prime. Res64: 853313F360C82BCF Time : 0.0 sec. user=mdettweiler [2012-01-21 22:11:46] 617*2^1002292-1 is not prime. Res64: 217114AB8BD0CD4E Time : 0.0 sec. user=mdettweiler [2012-01-21 22:13:04] 623*2^1002292-1 is not prime. Res64: 733483A4AFDB098C Time : 0.0 sec. user=mdettweiler [2012-01-21 22:19:06] 811*2^1002293-1 is not prime. Res64: 5A2C312141D9CF46 Time : 0.0 sec. user=mdettweiler [2012-01-21 22:19:37] 685*2^1002291-1 is not prime. Res64: AD0B785A47FE7C28 Time : 0.0 sec. user=mdettweiler [2012-01-21 22:19:37] 709*2^1002291-1 is not prime. Res64: 903856661323CBB8 Time : 0.0 sec. user=mdettweiler [2012-01-21 22:20:23] 859*2^1002293-1 is not prime. Res64: F87BCB0AC35D06EC Time : 0.0 sec. user=mdettweiler [2012-01-21 22:23:16] 605*2^1002292-1 is not prime. Res64: D61BD58B5FD25FF5 Time : 0.0 sec. user=mdettweiler [2012-01-21 22:23:17] 609*2^1002292-1 is not prime. Res64: EE434D85623A156F Time : 0.0 sec. user=mdettweiler [2012-01-21 22:26:23] 885*2^1002293-1 is not prime. Res64: 5337F31CDB7EFA52 Time : 0.0 sec. user=mdettweiler [2012-01-21 22:27:40] 611*2^1002294-1 is not prime. Res64: 1F42348EA7F9B7C8 Time : 0.0 sec. user=mdettweiler [2012-01-21 22:28:08] 843*2^1002292-1 is not prime. Res64: 67CF876C38CCED93 Time : 0.0 sec. user=mdettweiler [2012-01-21 22:28:08] 903*2^1002292-1 is not prime. Res64: 7208C44F9CD88621 Time : 0.0 sec. user=mdettweiler [2012-01-21 22:30:37] 999*2^1002292-1 is not prime. Res64: A500EC18CE362C56 Time : 0.0 sec. user=mdettweiler [2012-01-21 22:30:37] 615*2^1002293-1 is not prime. Res64: 65B1E1F92F79A491 Time : 0.0 sec. user=mdettweiler [2012-01-21 22:33:41] 765*2^1002294-1 is not prime. Res64: 0CCC1D6EAC1F08A2 Time : 0.0 sec. user=mdettweiler [2012-01-21 22:34:57] 791*2^1002294-1 is not prime. Res64: 136157EE17B0D626 Time : 0.0 sec. user=mdettweiler [2012-01-21 22:35:30] 691*2^1002285-1 is not prime. Res64: 27A4667E067FEE89 Time : 0.0 sec. user=mdettweiler [2012-01-21 22:35:30] 837*2^1002285-1 is not prime. Res64: DFB07D0E649F9DE3 Time : 0.0 sec. user=mdettweiler [2012-01-21 22:40:58] 741*2^1002295-1 is not prime. Res64: CE69141840945DAF Time : 0.0 sec. user=mdettweiler [2012-01-21 22:42:15] 895*2^1002295-1 is not prime. Res64: 2B122FC91AE2580F Time : 0.0 sec. user=mdettweiler [2012-01-21 22:43:09] 621*2^1002294-1 is not prime. Res64: F3626054841EA46D Time : 0.0 sec. user=mdettweiler [2012-01-21 22:43:09] 737*2^1002294-1 is not prime. Res64: A73F3DF755FD1B94 Time : 0.0 sec. user=mdettweiler [2012-01-21 22:43:59] 949*2^1002293-1 is not prime. Res64: A26C12EA98E3B03E Time : 0.0 sec. user=mdettweiler [2012-01-21 22:44:00] 987*2^1002293-1 is not prime. Res64: 450ED8883EA25120 Time : 0.0 sec. user=mdettweiler [2012-01-21 22:48:02] 807*2^1002294-1 is not prime. Res64: C007BF484E030182 Time : 0.0 sec. user=mdettweiler [2012-01-21 22:48:02] 863*2^1002294-1 is not prime. Res64: 09E6DC2A050F1C5A Time : 0.0 sec. user=mdettweiler [2012-01-21 22:49:32] 635*2^1002296-1 is not prime. Res64: E93759CBA46FCC3B Time : 0.0 sec. user=mdettweiler [2012-01-21 22:49:57] 985*2^1002295-1 is not prime. Res64: 4E51F6D3C9B132A3 Time : 0.0 sec. user=mdettweiler [2012-01-21 22:55:03] 983*2^1002294-1 is not prime. Res64: A1714D75679FF8EC Time : 0.0 sec. user=mdettweiler [2012-01-21 22:55:03] 993*2^1002294-1 is not prime. Res64: 666D914F76AE9781 Time : 0.0 sec. user=mdettweiler [2012-01-21 22:55:22] 683*2^1002288-1 is not prime. Res64: C611B6664F3536D4 Time : 0.0 sec. user=mdettweiler [2012-01-21 22:55:22] 753*2^1002288-1 is not prime. Res64: 8BDC68290E08C5E9 Time : 0.0 sec. user=mdettweiler [2012-01-21 22:56:49] 677*2^1002298-1 is not prime. Res64: D5160A0F66DFD5C0 Time : 0.0 sec. user=mdettweiler [2012-01-21 22:57:14] 681*2^1002298-1 is not prime. Res64: 5A670F0247D8B8D9 Time : 0.0 sec. user=mdettweiler [2012-01-21 23:03:01] 659*2^1002296-1 is not prime. Res64: C3851EFAD34C63FD Time : 0.0 sec. user=mdettweiler [2012-01-21 23:03:02] 773*2^1002296-1 is not prime. Res64: F61D9ABE3489EE8F Time : 0.0 sec. user=mdettweiler [2012-01-21 23:03:47] 649*2^1002297-1 is not prime. Res64: 273C4E7A5662BD01 Time : 0.0 sec. user=mdettweiler [2012-01-21 23:03:47] 699*2^1002297-1 is not prime. Res64: C451FE8DFC1E55E8 Time : 0.0 sec. user=mdettweiler [2012-01-21 23:05:48] 923*2^1002298-1 is not prime. Res64: 96F710EC4141EFFD Time : 0.0 sec. user=mdettweiler [2012-01-21 23:06:13] 971*2^1002298-1 is not prime. Res64: 33248B9297B4D608 Time : 0.0 sec. user=mdettweiler [2012-01-21 23:07:54] 747*2^1002297-1 is not prime. Res64: BD9AF918DE979585 Time : 0.0 sec. user=mdettweiler [2012-01-21 23:07:57] 835*2^1002297-1 is not prime. Res64: 8EBEBCECE54BBDFF Time : 0.0 sec. user=mdettweiler [2012-01-21 23:08:31] 665*2^1002290-1 is not prime. Res64: 26F7D859AA35027F Time : 0.0 sec. user=mdettweiler [2012-01-21 23:08:32] 741*2^1002290-1 is not prime. Res64: 4D626154344028B8 Time : 0.0 sec. user=mdettweiler [2012-01-21 23:08:53] 661*2^1002289-1 is not prime. Res64: 45A387C70C929AE2 Time : 0.0 sec. user=mdettweiler [2012-01-21 23:08:53] 691*2^1002289-1 is not prime. Res64: 5BA08A619897514A Time : 0.0 sec. user=mdettweiler [2012-01-21 23:13:08] 693*2^1002299-1 is not prime. Res64: F7F7AC1334750EEE Time : 0.0 sec. user=mdettweiler [2012-01-21 23:13:35] 703*2^1002299-1 is not prime. Res64: D0752016C95E5A6A Time : 0.0 sec. user=mdettweiler [2012-01-21 23:14:53] 695*2^1002298-1 is not prime. Res64: BD29F4609F95C727 Time : 0.0 sec. user=mdettweiler [2012-01-21 23:14:53] 723*2^1002298-1 is not prime. Res64: D7F13E8A8EB258F0 Time : 0.0 sec. user=mdettweiler [2012-01-21 23:20:26] 669*2^1002300-1 is not prime. Res64: 3E957E2F087F435B Time : 0.0 sec. user=mdettweiler [2012-01-21 23:20:55] 795*2^1002300-1 is not prime. Res64: 9CAE287B84C8D07F Time : 0.0 sec. user=mdettweiler [2012-01-21 23:23:35] 631*2^1002299-1 is not prime. Res64: 3237AB927770F913 Time : 0.0 sec. user=mdettweiler [2012-01-21 23:23:36] 675*2^1002299-1 is not prime. Res64: BDB79A25C38861B7 Time : 0.0 sec. user=mdettweiler [2012-01-21 23:27:23] 987*2^1002298-1 is not prime. Res64: BBA88BCC9C9475EE Time : 0.0 sec. user=mdettweiler [2012-01-21 23:27:23] 995*2^1002298-1 is not prime. Res64: 86E70A76B009D250 Time : 0.0 sec. user=mdettweiler [2012-01-21 23:27:45] 717*2^1002301-1 is not prime. Res64: 338DA0627668703A Time : 0.0 sec. user=mdettweiler [2012-01-21 23:27:50] 711*2^1002299-1 is not prime. Res64: C65FA18026178C7A Time : 0.0 sec. user=mdettweiler [2012-01-21 23:27:50] 735*2^1002299-1 is not prime. Res64: D5738B93AB109B04 Time : 0.0 sec. user=mdettweiler [2012-01-21 23:28:12] 805*2^1002301-1 is not prime. Res64: 686C56D7C0F9C237 Time : 0.0 sec. user=mdettweiler [2012-01-21 23:34:49] 863*2^1002300-1 is not prime. Res64: 91216722598EB96C Time : 0.0 sec. user=mdettweiler [2012-01-21 23:34:49] 915*2^1002300-1 is not prime. Res64: 161EBC6AD8FD03BB Time : 0.0 sec. user=mdettweiler [2012-01-21 23:35:53] 665*2^1002302-1 is not prime. Res64: F3131896411A9D0F Time : 0.0 sec. user=mdettweiler [2012-01-21 23:36:17] 791*2^1002302-1 is not prime. Res64: 9531F9930E9745BC Time : 0.0 sec. user=mdettweiler [2012-01-21 23:43:10] 705*2^1002303-1 is not prime. Res64: 507AC593644CD6B6 Time : 0.0 sec. user=mdettweiler [2012-01-21 23:43:34] 735*2^1002303-1 is not prime. Res64: C4FACF80CADDEB9F Time : 0.0 sec. user=mdettweiler [2012-01-21 23:45:39] 895*2^1002301-1 is not prime. Res64: 290F7FC858777CFC Time : 0.0 sec. user=mdettweiler [2012-01-21 23:45:40] 925*2^1002301-1 is not prime. Res64: 3747C28DD900E9DE Time : 0.0 sec. user=mdettweiler [2012-01-21 23:47:40] 693*2^1002302-1 is not prime. Res64: 8B5B247EE2B60DAC Time : 0.0 sec. user=mdettweiler [2012-01-21 23:47:40] 755*2^1002302-1 is not prime. Res64: 2A57E036118A67CE Time : 0.0 sec. user=mdettweiler [2012-01-21 23:50:28] 741*2^1002303-1 is not prime. Res64: 6BA84E24D77FC81D Time : 0.0 sec. user=mdettweiler [2012-01-21 23:50:52] 829*2^1002303-1 is not prime. Res64: B57100A56CBE7E4F Time : 0.0 sec. user=mdettweiler [2012-01-21 23:51:45] 951*2^1002301-1 is not prime. Res64: 54A53EC3289FDF05 Time : 0.0 sec. user=mdettweiler [2012-01-21 23:51:45] 987*2^1002301-1 is not prime. Res64: F98D92C867B51FFE Time : 0.0 sec. user=mdettweiler [2012-01-21 23:57:00] 797*2^1002302-1 is not prime. Res64: 7E44EC6EAFAED1A7 Time : 0.0 sec. user=mdettweiler [2012-01-21 23:57:01] 977*2^1002302-1 is not prime. Res64: 9E22B1714B241522 Time : 0.0 sec. user=mdettweiler [2012-01-21 23:58:09] 615*2^1002304-1 is not prime. Res64: C8F782652620A544 Time : 0.0 sec. user=mdettweiler [2012-01-21 23:59:28] 969*2^1002303-1 is not prime. Res64: A8CA935855A571AE Time : 0.0 sec.