user=mdettweiler [2016-02-03 00:01:52] 667*2^1421269-1 is not prime. Res64: DB7CCD7FE0DB7D50 Time : 0.0 sec. user=mdettweiler [2016-02-03 00:01:52] 675*2^1421269-1 is not prime. Res64: 6716D6810DFFE846 Time : 0.0 sec. user=mdettweiler [2016-02-03 00:07:56] 769*2^1421269-1 is not prime. Res64: 3FAD75A36B0EB315 Time : 0.0 sec. user=mdettweiler [2016-02-03 00:07:56] 771*2^1421269-1 is not prime. Res64: 647E47A5C0BA9BAE Time : 0.0 sec. user=mdettweiler [2016-02-03 00:16:25] 755*2^1421270-1 is not prime. Res64: C5FA5283551B9921 Time : 0.0 sec. user=mdettweiler [2016-02-03 00:16:26] 833*2^1421270-1 is not prime. Res64: 3E37D020D4716D46 Time : 0.0 sec. user=mdettweiler [2016-02-03 00:19:39] 845*2^1421270-1 is not prime. Res64: 1E95A5C55729AEFF Time : 0.0 sec. user=mdettweiler [2016-02-03 00:19:39] 857*2^1421270-1 is not prime. Res64: A2738C37D94EE2CB Time : 0.0 sec. user=mdettweiler [2016-02-03 00:25:35] 917*2^1421270-1 is not prime. Res64: 5DDFC75D13CBCA30 Time : 0.0 sec. user=mdettweiler [2016-02-03 00:25:36] 945*2^1421270-1 is not prime. Res64: BDBB5DB623713476 Time : 0.0 sec. user=mdettweiler [2016-02-03 00:34:22] 711*2^1421271-1 is not prime. Res64: 97750ED2037543C1 Time : 0.0 sec. user=mdettweiler [2016-02-03 00:34:22] 763*2^1421271-1 is not prime. Res64: F3231FE479D2D402 Time : 0.0 sec. user=mdettweiler [2016-02-03 00:37:31] 859*2^1421271-1 is not prime. Res64: 535AFB8F99B244CB Time : 0.0 sec. user=mdettweiler [2016-02-03 00:37:32] 901*2^1421271-1 is not prime. Res64: EDA7A8D7775E52BC Time : 0.0 sec. user=mdettweiler [2016-02-03 00:43:17] 747*2^1421272-1 is not prime. Res64: 4FA6947480F13C25 Time : 0.0 sec. user=mdettweiler [2016-02-03 00:43:17] 983*2^1421272-1 is not prime. Res64: DE11F927BA75D01A Time : 0.0 sec. user=mdettweiler [2016-02-03 00:52:15] 619*2^1421273-1 is not prime. Res64: 31AA68AFD249DAD7 Time : 0.0 sec. user=mdettweiler [2016-02-03 00:52:15] 627*2^1421273-1 is not prime. Res64: 8929B56AE3BAB142 Time : 0.0 sec. user=mdettweiler [2016-02-03 00:55:20] 745*2^1421273-1 is not prime. Res64: 59F80D92D030CE91 Time : 0.0 sec. user=mdettweiler [2016-02-03 00:55:21] 829*2^1421273-1 is not prime. Res64: 88C1347BF0E1A6CC Time : 0.0 sec. user=mdettweiler [2016-02-03 01:00:59] 871*2^1421273-1 is not prime. Res64: 6ED5913AC9B50B51 Time : 0.0 sec. user=mdettweiler [2016-02-03 01:01:00] 897*2^1421273-1 is not prime. Res64: F7F9FE79CC608DE9 Time : 0.0 sec. user=mdettweiler [2016-02-03 01:10:26] 915*2^1421273-1 is not prime. Res64: 0E300DC08C7C8F6B Time : 0.0 sec. user=mdettweiler [2016-02-03 01:10:27] 957*2^1421273-1 is not prime. Res64: 7581C1B6D5BBF099 Time : 0.0 sec. user=mdettweiler [2016-02-03 01:13:23] 621*2^1421274-1 is not prime. Res64: B11180B1F771A59D Time : 0.0 sec. user=mdettweiler [2016-02-03 01:13:23] 665*2^1421274-1 is not prime. Res64: F5ADC7614ACE9EE2 Time : 0.0 sec. user=mdettweiler [2016-02-03 01:18:53] 755*2^1421274-1 is not prime. Res64: 805981E691A40653 Time : 0.0 sec. user=mdettweiler [2016-02-03 01:18:53] 903*2^1421274-1 is not prime. Res64: 95707FDC9FD159D8 Time : 0.0 sec. user=mdettweiler [2016-02-03 01:28:38] 923*2^1421274-1 is not prime. Res64: 01A94E06DA0204A0 Time : 0.0 sec. user=mdettweiler [2016-02-03 01:28:40] 619*2^1421275-1 is not prime. Res64: 67A12B14B90B0223 Time : 0.0 sec. user=mdettweiler [2016-02-03 01:31:28] 709*2^1421275-1 is not prime. Res64: 9C26D05DADE64CEF Time : 0.0 sec. user=mdettweiler [2016-02-03 01:31:28] 859*2^1421275-1 is not prime. Res64: 00070BEFFBA93788 Time : 0.0 sec. user=mdettweiler [2016-02-03 01:36:45] 889*2^1421275-1 is not prime. Res64: 4D7095A17080A6C3 Time : 0.0 sec. user=mdettweiler [2016-02-03 01:36:45] 891*2^1421275-1 is not prime. Res64: 0382345A8C90CBC9 Time : 0.0 sec. user=mdettweiler [2016-02-03 01:46:45] 951*2^1421275-1 is not prime. Res64: 97DD7F8CDC51DEC9 Time : 0.0 sec. user=mdettweiler [2016-02-03 01:46:46] 961*2^1421275-1 is not prime. Res64: 59349AC5F59617E0 Time : 0.0 sec. user=mdettweiler [2016-02-03 01:49:23] 617*2^1421276-1 is not prime. Res64: 87E4E1DF4722901A Time : 0.0 sec. user=mdettweiler [2016-02-03 01:49:24] 755*2^1421276-1 is not prime. Res64: 8730B956B199B96B Time : 0.0 sec. user=mdettweiler [2016-02-03 01:54:31] 843*2^1421276-1 is not prime. Res64: C1C3458D876DD6E7 Time : 0.0 sec. user=mdettweiler [2016-02-03 01:54:31] 963*2^1421276-1 is not prime. Res64: EE8ABAD5C669A7D8 Time : 0.0 sec. user=mdettweiler [2016-02-03 02:04:53] 999*2^1421276-1 is not prime. Res64: 7CEF6B39F6034A98 Time : 0.0 sec. user=mdettweiler [2016-02-03 02:04:53] 805*2^1421277-1 is not prime. Res64: 3EF10E23611C91F3 Time : 0.0 sec. user=mdettweiler [2016-02-03 02:07:25] 837*2^1421277-1 is not prime. Res64: 35A9E8F3FCB890B6 Time : 0.0 sec. user=mdettweiler [2016-02-03 02:07:28] 979*2^1421277-1 is not prime. Res64: 373EC5F07ACD053F Time : 0.0 sec. user=mdettweiler [2016-02-03 02:12:15] 999*2^1421277-1 is not prime. Res64: AFA0F73C15DD0CC4 Time : 0.0 sec. user=mdettweiler [2016-02-03 02:12:15] 681*2^1421278-1 is not prime. Res64: 887F09689D78FB57 Time : 0.0 sec. user=mdettweiler [2016-02-03 02:22:57] 747*2^1421278-1 is not prime. Res64: B502E1DA95CDB551 Time : 0.0 sec. user=mdettweiler [2016-02-03 02:22:57] 755*2^1421278-1 is not prime. Res64: 4FB50E0845E36184 Time : 0.0 sec. user=mdettweiler [2016-02-03 02:25:39] 843*2^1421278-1 is not prime. Res64: E71B8E9F47CD70A0 Time : 0.0 sec. user=mdettweiler [2016-02-03 02:25:40] 987*2^1421278-1 is not prime. Res64: C85E48BD83F89E7B Time : 0.0 sec. user=mdettweiler [2016-02-03 02:29:57] 603*2^1421279-1 is not prime. Res64: DBBF459A6EA94DF5 Time : 0.0 sec. user=mdettweiler [2016-02-03 02:29:57] 619*2^1421279-1 is not prime. Res64: E8F6E71BFF03FE38 Time : 0.0 sec. user=mdettweiler [2016-02-03 02:40:53] 685*2^1421279-1 is not prime. Res64: C0E7EBD8F5D2F2DD Time : 0.0 sec. user=mdettweiler [2016-02-03 02:40:53] 721*2^1421279-1 is not prime. Res64: 0F7E7D2E46644321 Time : 0.0 sec. user=mdettweiler [2016-02-03 02:43:29] 829*2^1421279-1 is not prime. Res64: D3A26C6BA758E557 Time : 0.0 sec. user=mdettweiler [2016-02-03 02:43:29] 985*2^1421279-1 is not prime. Res64: F900B9DA9C1CE918 Time : 0.0 sec. user=mdettweiler [2016-02-03 02:47:51] 627*2^1421280-1 is not prime. Res64: 264C2FAC7F9B7865 Time : 0.0 sec. user=mdettweiler [2016-02-03 02:47:51] 719*2^1421280-1 is not prime. Res64: 418AA4F5D1A3E1AC Time : 0.0 sec. user=mdettweiler [2016-02-03 02:58:42] 753*2^1421280-1 is not prime. Res64: 7F510784D968288C Time : 0.0 sec. user=mdettweiler [2016-02-03 02:58:42] 767*2^1421280-1 is not prime. Res64: A3E0D0F1C1B03327 Time : 0.0 sec. user=mdettweiler [2016-02-03 03:01:21] 975*2^1421280-1 is not prime. Res64: 59BEE649FCF234E0 Time : 0.0 sec. user=mdettweiler [2016-02-03 03:01:22] 983*2^1421280-1 is not prime. Res64: 82759D4192B9320C Time : 0.0 sec. user=mdettweiler [2016-02-03 03:05:33] 639*2^1421281-1 is not prime. Res64: D3F5C2468A8DE4A3 Time : 0.0 sec. user=mdettweiler [2016-02-03 03:05:35] 771*2^1421281-1 is not prime. Res64: 43AA95EA98BD8848 Time : 0.0 sec. user=mdettweiler [2016-02-03 03:16:33] 861*2^1421281-1 is not prime. Res64: 33DEDC48C35F98FF Time : 0.0 sec. user=mdettweiler [2016-02-03 03:16:34] 889*2^1421281-1 is not prime. Res64: 517F4D3D8DEBBCD8 Time : 0.0 sec. user=mdettweiler [2016-02-03 03:20:21] 957*2^1421281-1 is not prime. Res64: D0B9A263B8B6AE39 Time : 0.0 sec. user=mdettweiler [2016-02-03 03:20:21] 975*2^1421281-1 is not prime. Res64: 439B37295432F641 Time : 0.0 sec. user=mdettweiler [2016-02-03 03:23:28] 711*2^1421282-1 is not prime. Res64: 06F1040648BB9664 Time : 0.0 sec. user=mdettweiler [2016-02-03 03:23:28] 831*2^1421282-1 is not prime. Res64: 32B0579D7FF7E900 Time : 0.0 sec. user=mdettweiler [2016-02-03 03:34:36] 873*2^1421282-1 is not prime. Res64: AE4BA395553B2EDE Time : 0.0 sec. user=mdettweiler [2016-02-03 03:34:37] 945*2^1421282-1 is not prime. Res64: C47E2FA5A0EA465F Time : 0.0 sec. user=mdettweiler [2016-02-03 03:38:15] 951*2^1421282-1 is not prime. Res64: 8E3C9BE7A6D4D0AA Time : 0.0 sec. user=mdettweiler [2016-02-03 03:38:17] 987*2^1421282-1 is not prime. Res64: 622731FFCAA9F325 Time : 0.0 sec. user=mdettweiler [2016-02-03 03:41:14] 619*2^1421283-1 is not prime. Res64: A18A8A86E623052B Time : 0.0 sec. user=mdettweiler [2016-02-03 03:41:16] 625*2^1421283-1 is not prime. Res64: 35897343F852F149 Time : 0.0 sec. user=mdettweiler [2016-02-03 03:52:53] 663*2^1421283-1 is not prime. Res64: D49734D4CE42B831 Time : 0.0 sec. user=mdettweiler [2016-02-03 03:52:54] 789*2^1421283-1 is not prime. Res64: B2316CA59F3B4296 Time : 0.0 sec. user=mdettweiler [2016-02-03 03:56:19] 805*2^1421283-1 is not prime. Res64: E932B92B2E8F7BD6 Time : 0.0 sec. user=mdettweiler [2016-02-03 03:56:19] 825*2^1421283-1 is not prime. Res64: 61B0A3F6B2784EB9 Time : 0.0 sec. user=mdettweiler [2016-02-03 03:59:02] 859*2^1421283-1 is not prime. Res64: F557765772357EBB Time : 0.0 sec. user=mdettweiler [2016-02-03 03:59:02] 871*2^1421283-1 is not prime. Res64: 0595716A6C59222C Time : 0.0 sec. user=mdettweiler [2016-02-03 04:11:06] 885*2^1421283-1 is not prime. Res64: 5D08CF74C8A2D7A4 Time : 0.0 sec. user=mdettweiler [2016-02-03 04:11:06] 951*2^1421283-1 is not prime. Res64: 22C2C6F3686DB70D Time : 0.0 sec. user=mdettweiler [2016-02-03 04:14:20] 635*2^1421284-1 is not prime. Res64: 9EDA1A45894909E8 Time : 0.0 sec. user=mdettweiler [2016-02-03 04:14:20] 657*2^1421284-1 is not prime. Res64: 02C7949E82001571 Time : 0.0 sec. user=mdettweiler [2016-02-03 04:16:46] 717*2^1421284-1 is not prime. Res64: 95A89B113B34520F Time : 0.0 sec. user=mdettweiler [2016-02-03 04:16:46] 773*2^1421284-1 is not prime. Res64: 2C6259C55621FD20 Time : 0.0 sec. user=mdettweiler [2016-02-03 04:29:06] 843*2^1421284-1 is not prime. Res64: 7C226B36BB630A9A Time : 0.0 sec. user=mdettweiler [2016-02-03 04:29:06] 885*2^1421284-1 is not prime. Res64: CC2DC976619613A9 Time : 0.0 sec. user=mdettweiler [2016-02-03 04:32:15] 909*2^1421284-1 is not prime. Res64: D38545AF48D9DC38 Time : 0.0 sec. user=mdettweiler [2016-02-03 04:32:15] 607*2^1421285-1 is not prime. Res64: 7CABF322E7F1B65F Time : 0.0 sec. user=mdettweiler [2016-02-03 04:34:34] 717*2^1421285-1 is not prime. Res64: 58630D97D3932DD5 Time : 0.0 sec. user=mdettweiler [2016-02-03 04:34:34] 775*2^1421285-1 is not prime. Res64: 7C0BE71B54D45CC3 Time : 0.0 sec. user=mdettweiler [2016-02-03 04:49:13] 789*2^1421285-1 is not prime. Res64: 6F392E940AC0F9B7 Time : 0.0 sec. user=mdettweiler [2016-02-03 04:49:13] 861*2^1421285-1 is not prime. Res64: FCB44D1DC5A6294F Time : 0.0 sec. user=mdettweiler [2016-02-03 04:50:18] 889*2^1421285-1 is not prime. Res64: 4137C613B6546B3A Time : 0.0 sec. user=mdettweiler [2016-02-03 04:50:18] 941*2^1421286-1 is not prime. Res64: F37E8CB2135DECA6 Time : 0.0 sec. user=mdettweiler [2016-02-03 04:52:33] 975*2^1421286-1 is not prime. Res64: 3F2599E6FEF28402 Time : 0.0 sec. user=mdettweiler [2016-02-03 04:52:33] 1001*2^1421286-1 is not prime. Res64: 853ECC55F41203AA Time : 0.0 sec. user=mdettweiler [2016-02-03 13:10:18] 635*2^1421288-1 is not prime. Res64: BB9BA8C88333DB47 Time : 0.0 sec. user=mdettweiler [2016-02-03 13:10:19] 793*2^1421287-1 is not prime. Res64: FC09433305193C0C Time : 0.0 sec. user=mdettweiler [2016-02-03 13:10:20] 753*2^1421288-1 is not prime. Res64: 45A321895CEB5789 Time : 0.0 sec. user=mdettweiler [2016-02-03 13:10:21] 975*2^1421287-1 is not prime. Res64: 885A8D68ACF353A1 Time : 0.0 sec. user=mdettweiler [2016-02-03 13:28:53] 767*2^1421288-1 is not prime. Res64: 4AB2A5E4F3343E1B Time : 0.0 sec. user=mdettweiler [2016-02-03 13:28:54] 837*2^1421288-1 is not prime. Res64: 09D9B25E66D3DADF Time : 0.0 sec. user=mdettweiler [2016-02-03 13:28:54] 915*2^1421288-1 is not prime. Res64: 2A7548B8192D0A10 Time : 0.0 sec. user=mdettweiler [2016-02-03 13:28:54] 969*2^1421288-1 is not prime. Res64: 23368778330FABBF Time : 0.0 sec. user=mdettweiler [2016-02-03 13:28:54] 867*2^1421288-1 is not prime. Res64: 1427449B175F06A7 Time : 0.0 sec. user=mdettweiler [2016-02-03 13:28:54] 869*2^1421288-1 is not prime. Res64: E63B4E9956F948CE Time : 0.0 sec. user=mdettweiler [2016-02-03 13:46:55] 691*2^1421289-1 is not prime. Res64: 3D6AA5A5F361A012 Time : 0.0 sec. user=mdettweiler [2016-02-03 13:46:55] 795*2^1421289-1 is not prime. Res64: 80C31199ABEBD85F Time : 0.0 sec. user=mdettweiler [2016-02-03 13:46:56] 627*2^1421289-1 is not prime. Res64: 771BC6C4683DF80A Time : 0.0 sec. user=mdettweiler [2016-02-03 13:46:56] 999*2^1421289-1 is not prime. Res64: 3D03490A362E2964 Time : 0.0 sec. user=mdettweiler [2016-02-03 13:46:57] 991*2^1421289-1 is not prime. Res64: 30F69DCFBE66BB7D Time : 0.0 sec. user=mdettweiler [2016-02-03 13:47:03] 723*2^1421290-1 is not prime. Res64: 99BF377803A65E54 Time : 0.0 sec. user=mdettweiler [2016-02-03 14:04:51] 619*2^1421291-1 is not prime. Res64: E0E16DC56CA8A15C Time : 0.0 sec. user=mdettweiler [2016-02-03 14:04:53] 651*2^1421291-1 is not prime. Res64: 693D81D815F91ED3 Time : 0.0 sec. user=mdettweiler [2016-02-03 14:04:55] 855*2^1421290-1 is not prime. Res64: 47AAC6E27DEEB020 Time : 0.0 sec. user=mdettweiler [2016-02-03 14:04:58] 675*2^1421291-1 is not prime. Res64: 4058A4DAB5B74317 Time : 0.0 sec. user=mdettweiler [2016-02-03 14:05:00] 753*2^1421291-1 is not prime. Res64: 3DC40B818A2269C1 Time : 0.0 sec. user=mdettweiler [2016-02-03 14:05:01] 861*2^1421290-1 is not prime. Res64: 0933BDBCAF1B0702 Time : 0.0 sec. user=mdettweiler [2016-02-03 14:22:49] 801*2^1421291-1 is not prime. Res64: 6241414DFD20143B Time : 0.0 sec. user=mdettweiler [2016-02-03 14:22:50] 859*2^1421291-1 is not prime. Res64: E7B537637F35DC59 Time : 0.0 sec. user=mdettweiler [2016-02-03 14:22:51] 889*2^1421291-1 is not prime. Res64: B62E28B5F2F7DFEF Time : 0.0 sec. user=mdettweiler [2016-02-03 14:22:52] 895*2^1421291-1 is not prime. Res64: 7B27E5975B46493A Time : 0.0 sec. user=mdettweiler [2016-02-03 14:22:52] 759*2^1421292-1 is not prime. Res64: 0AB32FDB90B059C7 Time : 0.0 sec. user=mdettweiler [2016-02-03 14:22:54] 809*2^1421292-1 is not prime. Res64: D017B32D90EBB83F Time : 0.0 sec. user=mdettweiler [2016-02-03 14:40:28] 903*2^1421292-1 is not prime. Res64: 98EF6CF311B11186 Time : 0.0 sec. user=mdettweiler [2016-02-03 14:40:29] 965*2^1421292-1 is not prime. Res64: 8DA3744AA8AB46B0 Time : 0.0 sec. user=mdettweiler [2016-02-03 14:40:31] 987*2^1421292-1 is not prime. Res64: DF910AA875E965D1 Time : 0.0 sec. user=mdettweiler [2016-02-03 14:40:32] 691*2^1421293-1 is not prime. Res64: 294A0919BCE913B5 Time : 0.0 sec. user=mdettweiler [2016-02-03 14:40:32] 727*2^1421293-1 is not prime. Res64: 7EDCE7CA7A5F846D Time : 0.0 sec. user=mdettweiler [2016-02-03 14:40:32] 769*2^1421293-1 is not prime. Res64: 4A0C3CD96BDCBF9D Time : 0.0 sec. user=mdettweiler [2016-02-03 14:58:02] 801*2^1421293-1 is not prime. Res64: 7544789410D448CF Time : 0.0 sec. user=mdettweiler [2016-02-03 14:58:02] 867*2^1421293-1 is not prime. Res64: D75F5E856DFEFBB6 Time : 0.0 sec. user=mdettweiler [2016-02-03 14:58:05] 979*2^1421293-1 is not prime. Res64: 63417349E3ADFE05 Time : 0.0 sec. user=mdettweiler [2016-02-03 14:58:05] 627*2^1421294-1 is not prime. Res64: 87D73DC15BF2754C Time : 0.0 sec. user=mdettweiler [2016-02-03 14:58:06] 663*2^1421294-1 is not prime. Res64: 193A9E15800A238A Time : 0.0 sec. user=mdettweiler [2016-02-03 14:58:07] 707*2^1421294-1 is not prime. Res64: 4B1F74A25FB02078 Time : 0.0 sec. user=mdettweiler [2016-02-03 15:15:34] 731*2^1421294-1 is not prime. Res64: B4E48FF167C1387E Time : 0.0 sec. user=mdettweiler [2016-02-03 15:15:34] 813*2^1421294-1 is not prime. Res64: A052F91FD21A4252 Time : 0.0 sec. user=mdettweiler [2016-02-03 15:15:34] 825*2^1421294-1 is not prime. Res64: CF27B779ECBC3D3D Time : 0.0 sec. user=mdettweiler [2016-02-03 15:15:35] 851*2^1421294-1 is not prime. Res64: 66C820A20A3F13C0 Time : 0.0 sec. user=mdettweiler [2016-02-03 15:15:37] 951*2^1421294-1 is not prime. Res64: 14C46CA66D4B3758 Time : 0.0 sec. user=mdettweiler [2016-02-03 15:15:38] 609*2^1421295-1 is not prime. Res64: EC613B21311B0BEC Time : 0.0 sec. user=mdettweiler [2016-02-03 15:33:08] 693*2^1421295-1 is not prime. Res64: 847F85139B9B98D2 Time : 0.0 sec. user=mdettweiler [2016-02-03 15:33:08] 619*2^1421295-1 is not prime. Res64: 1F2F3002B5B9BE0F Time : 0.0 sec. user=mdettweiler [2016-02-03 15:33:09] 763*2^1421295-1 is not prime. Res64: A64BCFD411C189C0 Time : 0.0 sec. user=mdettweiler [2016-02-03 15:33:09] 921*2^1421295-1 is not prime. Res64: 4B03EE5D81154702 Time : 0.0 sec. user=mdettweiler [2016-02-03 15:33:09] 669*2^1421295-1 is not prime. Res64: 23577C63947992D6 Time : 0.0 sec. user=mdettweiler [2016-02-03 15:33:09] 985*2^1421295-1 is not prime. Res64: 02AEC19639212745 Time : 0.0 sec. user=mdettweiler [2016-02-03 15:50:50] 999*2^1421295-1 is not prime. Res64: 485ACD0608725C9F Time : 0.0 sec. user=mdettweiler [2016-02-03 15:50:50] 927*2^1421296-1 is not prime. Res64: 20F3D5E446E1EDF0 Time : 0.0 sec. user=mdettweiler [2016-02-03 15:50:50] 623*2^1421296-1 is not prime. Res64: 9FBE22815D6F5751 Time : 0.0 sec. user=mdettweiler [2016-02-03 15:50:50] 939*2^1421296-1 is not prime. Res64: B8CF00C0FEBD6946 Time : 0.0 sec. user=mdettweiler [2016-02-03 15:50:53] 849*2^1421296-1 is not prime. Res64: 1C67037C143ED072 Time : 0.0 sec. user=mdettweiler [2016-02-03 15:50:54] 855*2^1421296-1 is not prime. Res64: CC0A227DE8F264C2 Time : 0.0 sec. user=mdettweiler [2016-02-03 16:08:23] 829*2^1421297-1 is not prime. Res64: 81C8B65EE6BED8AF Time : 0.0 sec. user=mdettweiler [2016-02-03 16:08:23] 969*2^1421296-1 is not prime. Res64: 147F484DB124C747 Time : 0.0 sec. user=mdettweiler [2016-02-03 16:08:23] 867*2^1421297-1 is not prime. Res64: 92D0687DC11590CB Time : 0.0 sec. user=mdettweiler [2016-02-03 16:08:23] 795*2^1421297-1 is not prime. Res64: B107905EC543478C Time : 0.0 sec. user=mdettweiler [2016-02-03 16:08:25] 937*2^1421297-1 is not prime. Res64: A8DD83C8A10B9A21 Time : 0.0 sec. user=mdettweiler [2016-02-03 16:08:25] 991*2^1421297-1 is not prime. Res64: B94A2138AE954ABD Time : 0.0 sec. user=mdettweiler [2016-02-03 16:25:59] 755*2^1421298-1 is not prime. Res64: 3725884C758A4395 Time : 0.0 sec. user=mdettweiler [2016-02-03 16:25:59] 641*2^1421298-1 is not prime. Res64: ACA2CEBB47F862D0 Time : 0.0 sec. user=mdettweiler [2016-02-03 16:25:59] 725*2^1421298-1 is not prime. Res64: 9270863C6E79A99C Time : 0.0 sec. user=mdettweiler [2016-02-03 16:25:59] 773*2^1421298-1 is not prime. Res64: F69BEE09E0CD4874 Time : 0.0 sec. user=mdettweiler [2016-02-03 16:26:00] 791*2^1421298-1 is not prime. Res64: E2C1946C06A02FF7 Time : 0.0 sec. user=mdettweiler [2016-02-03 16:26:00] 797*2^1421298-1 is not prime. Res64: 4F0CB420CDCCE6E7 Time : 0.0 sec. user=mdettweiler [2016-02-03 16:43:35] 957*2^1421298-1 is not prime. Res64: 72DCB6710EDD8D15 Time : 0.0 sec. user=mdettweiler [2016-02-03 16:43:36] 601*2^1421299-1 is not prime. Res64: 7FCED0B076860B1D Time : 0.0 sec. user=mdettweiler [2016-02-03 16:43:37] 769*2^1421299-1 is not prime. Res64: F393AA93B56922AB Time : 0.0 sec. user=mdettweiler [2016-02-03 16:43:37] 843*2^1421299-1 is not prime. Res64: 273102B49975B95A Time : 0.0 sec. user=mdettweiler [2016-02-03 16:43:40] 825*2^1421298-1 is not prime. Res64: 3D637B557B14CF49 Time : 0.0 sec. user=mdettweiler [2016-02-03 16:43:40] 941*2^1421298-1 is not prime. Res64: 776EF6CFD427A190 Time : 0.0 sec. user=mdettweiler [2016-02-03 17:01:08] 777*2^1421300-1 is not prime. Res64: 7B265F14FB2EEB87 Time : 0.0 sec. user=mdettweiler [2016-02-03 17:01:09] 789*2^1421300-1 is not prime. Res64: 68785701CA29FB8A Time : 0.0 sec. user=mdettweiler [2016-02-03 17:01:10] 797*2^1421300-1 is not prime. Res64: 531CC79D621A49D1 Time : 0.0 sec. user=mdettweiler [2016-02-03 17:01:12] 855*2^1421300-1 is not prime. Res64: 0ADBF6E0F5617A16 Time : 0.0 sec. user=mdettweiler [2016-02-03 17:01:13] 875*2^1421300-1 is not prime. Res64: 318F3DAFF6BA0B17 Time : 0.0 sec. user=mdettweiler [2016-02-03 17:01:14] 893*2^1421300-1 is not prime. Res64: 936E185EBD55FE61 Time : 0.0 sec. user=mdettweiler [2016-02-03 17:18:58] 609*2^1421301-1 is not prime. Res64: FDAA5012E2D1D838 Time : 0.0 sec. user=mdettweiler [2016-02-03 17:18:59] 709*2^1421301-1 is not prime. Res64: 956D692488DF0370 Time : 0.0 sec. user=mdettweiler [2016-02-03 17:18:59] 649*2^1421301-1 is not prime. Res64: 25E5B3FABC393A56 Time : 0.0 sec. user=mdettweiler [2016-02-03 17:18:59] 735*2^1421301-1 is not prime. Res64: E4C500CA01F43FBB Time : 0.0 sec. user=mdettweiler [2016-02-03 17:19:00] 927*2^1421300-1 is not prime. Res64: 5FE9019675B51F8B Time : 0.0 sec. user=mdettweiler [2016-02-03 17:19:01] 983*2^1421300-1 is not prime. Res64: 753842D72BDA25C2 Time : 0.0 sec. user=mdettweiler [2016-02-03 17:36:34] 781*2^1421301-1 is not prime. Res64: 327C8E37B9B411C6 Time : 0.0 sec. user=mdettweiler [2016-02-03 17:36:34] 817*2^1421301-1 is not prime. Res64: 8582558A701FB02D Time : 0.0 sec. user=mdettweiler [2016-02-03 17:36:35] 849*2^1421301-1 is not prime. Res64: E2344E096349CD01 Time : 0.0 sec. user=mdettweiler [2016-02-03 17:36:35] 961*2^1421301-1 is not prime. Res64: 809B8BCBEAE9F6D1 Time : 0.0 sec. user=mdettweiler [2016-02-03 17:36:40] 747*2^1421301-1 is not prime. Res64: 773A9BAA565B7BE2 Time : 0.0 sec. user=mdettweiler [2016-02-03 17:36:40] 777*2^1421301-1 is not prime. Res64: 5F22458AC27F7071 Time : 0.0 sec. user=mdettweiler [2016-02-03 17:54:16] 717*2^1421302-1 is not prime. Res64: 2A8E6F8DBB8ACB19 Time : 0.0 sec. user=mdettweiler [2016-02-03 17:54:17] 827*2^1421302-1 is not prime. Res64: B5CB534042FA054B Time : 0.0 sec. user=mdettweiler [2016-02-03 17:54:17] 833*2^1421302-1 is not prime. Res64: E525AA34E1F7ED93 Time : 0.0 sec. user=mdettweiler [2016-02-03 17:54:18] 867*2^1421302-1 is not prime. Res64: A41CD3BE9B99C013 Time : 0.0 sec. user=mdettweiler [2016-02-03 17:54:22] 619*2^1421303-1 is not prime. Res64: B6440A9612BC1956 Time : 0.0 sec. user=mdettweiler [2016-02-03 17:54:22] 663*2^1421303-1 is not prime. Res64: B86E75B5281320D8 Time : 0.0 sec. user=mdettweiler [2016-02-03 18:11:57] 705*2^1421303-1 is not prime. Res64: 02BCAE03FE6A0CD6 Time : 0.0 sec. user=mdettweiler [2016-02-03 18:11:57] 685*2^1421303-1 is not prime. Res64: 2A66B8A775DA710A Time : 0.0 sec. user=mdettweiler [2016-02-03 18:11:58] 715*2^1421303-1 is not prime. Res64: 0D3C2EF72F5B1C27 Time : 0.0 sec. user=mdettweiler [2016-02-03 18:11:58] 693*2^1421303-1 is not prime. Res64: 8B0855CC7042E010 Time : 0.0 sec. user=mdettweiler [2016-02-03 18:12:01] 949*2^1421303-1 is not prime. Res64: 315F7ED8F693FF18 Time : 0.0 sec. user=mdettweiler [2016-02-03 18:12:02] 973*2^1421303-1 is not prime. Res64: AEE9B8D657CB2B4B Time : 0.0 sec. user=mdettweiler [2016-02-03 18:29:44] 609*2^1421304-1 is not prime. Res64: 2C3DFBA44CFBE172 Time : 0.0 sec. user=mdettweiler [2016-02-03 18:29:44] 675*2^1421304-1 is not prime. Res64: F71CC491909FF4CE Time : 0.0 sec. user=mdettweiler [2016-02-03 18:29:46] 725*2^1421304-1 is not prime. Res64: 21B3B0284A1C2E87 Time : 0.0 sec. user=mdettweiler [2016-02-03 18:29:46] 705*2^1421304-1 is not prime. Res64: 891D13F6B6FE4D11 Time : 0.0 sec. user=mdettweiler [2016-02-03 18:29:46] 767*2^1421304-1 is not prime. Res64: E24760D7BD8BDD68 Time : 0.0 sec. user=mdettweiler [2016-02-03 18:29:46] 723*2^1421304-1 is not prime. Res64: 0FD5CF189381161A Time : 0.0 sec. user=mdettweiler [2016-02-03 18:47:31] 873*2^1421304-1 is not prime. Res64: 643B6C9A05E3ED6C Time : 0.0 sec. user=mdettweiler [2016-02-03 18:47:31] 819*2^1421305-1 is not prime. Res64: 9746A2A5623548B1 Time : 0.0 sec. user=mdettweiler [2016-02-03 18:47:32] 887*2^1421304-1 is not prime. Res64: 92C272420D8D16E1 Time : 0.0 sec. user=mdettweiler [2016-02-03 18:47:32] 867*2^1421305-1 is not prime. Res64: 7482C3E46A0FEEFB Time : 0.0 sec. user=mdettweiler [2016-02-03 18:47:34] 729*2^1421305-1 is not prime. Res64: 3567AF80F050CBFD Time : 0.0 sec. user=mdettweiler [2016-02-03 18:47:34] 777*2^1421305-1 is not prime. Res64: 669F0FA39FBD9A55 Time : 0.0 sec. user=mdettweiler [2016-02-03 19:05:15] 767*2^1421306-1 is not prime. Res64: 4275A187D5091A65 Time : 0.0 sec. user=mdettweiler [2016-02-03 19:05:16] 603*2^1421306-1 is not prime. Res64: A8626D7C05D2116C Time : 0.0 sec. user=mdettweiler [2016-02-03 19:05:17] 917*2^1421306-1 is not prime. Res64: A69FE9E3A1252F98 Time : 0.0 sec. user=mdettweiler [2016-02-03 19:05:17] 713*2^1421306-1 is not prime. Res64: 550E4BB057DCEB56 Time : 0.0 sec. user=mdettweiler [2016-02-03 19:05:21] 699*2^1421307-1 is not prime. Res64: CF1EF0DBD879308D Time : 0.0 sec. user=mdettweiler [2016-02-03 19:05:22] 751*2^1421307-1 is not prime. Res64: A6D9A245CE04833A Time : 0.0 sec. user=mdettweiler [2016-02-03 19:23:17] 909*2^1421307-1 is not prime. Res64: 63A1F58B99E9A171 Time : 0.0 sec. user=mdettweiler [2016-02-03 19:23:17] 635*2^1421308-1 is not prime. Res64: 7DEB005F88A0D5E0 Time : 0.0 sec. user=mdettweiler [2016-02-03 19:23:18] 723*2^1421308-1 is not prime. Res64: 3249B95D6DBF5D91 Time : 0.0 sec. user=mdettweiler [2016-02-03 19:23:18] 963*2^1421307-1 is not prime. Res64: 1B24F0009B528B95 Time : 0.0 sec. user=mdettweiler [2016-02-03 19:23:18] 699*2^1421308-1 is not prime. Res64: 726F85C99AEDA525 Time : 0.0 sec. user=mdettweiler [2016-02-03 19:23:18] 735*2^1421308-1 is not prime. Res64: 57CD88F236FA2D17 Time : 0.0 sec. user=mdettweiler [2016-02-03 19:40:52] 777*2^1421308-1 is not prime. Res64: D12F7BD59F3249CC Time : 0.0 sec. user=mdettweiler [2016-02-03 19:40:52] 619*2^1421309-1 is not prime. Res64: 4C10C4940B50C6FC Time : 0.0 sec. user=mdettweiler [2016-02-03 19:40:53] 797*2^1421308-1 is not prime. Res64: FC30280DE3945F55 Time : 0.0 sec. user=mdettweiler [2016-02-03 19:40:53] 775*2^1421309-1 is not prime. Res64: 966EBDC17834E973 Time : 0.0 sec. user=mdettweiler [2016-02-03 19:40:55] 825*2^1421308-1 is not prime. Res64: 1451BA35F7CFE147 Time : 0.0 sec. user=mdettweiler [2016-02-03 19:40:55] 887*2^1421308-1 is not prime. Res64: B2DB24F154BFFAE2 Time : 0.0 sec. user=mdettweiler [2016-02-03 19:58:27] 861*2^1421309-1 is not prime. Res64: D8A03DA7C39A1FBE Time : 0.0 sec. user=mdettweiler [2016-02-03 19:58:27] 641*2^1421310-1 is not prime. Res64: 233C301283B4321D Time : 0.0 sec. user=mdettweiler [2016-02-03 19:58:28] 949*2^1421309-1 is not prime. Res64: 7DBA8ACA383B5F65 Time : 0.0 sec. user=mdettweiler [2016-02-03 19:58:28] 801*2^1421310-1 is not prime. Res64: 64F175CF5D0A50A0 Time : 0.0 sec. user=mdettweiler [2016-02-03 19:58:28] 955*2^1421309-1 is not prime. Res64: ADEC50A553F48AEE Time : 0.0 sec. user=mdettweiler [2016-02-03 19:58:29] 611*2^1421310-1 is not prime. Res64: CD9135F57428DF25 Time : 0.0 sec. user=mdettweiler [2016-02-03 20:16:01] 971*2^1421310-1 is not prime. Res64: 145E5E22983CF3CC Time : 0.0 sec. user=mdettweiler [2016-02-03 20:16:02] 769*2^1421311-1 is not prime. Res64: 3FE28FFBA3110B34 Time : 0.0 sec. user=mdettweiler [2016-02-03 20:16:02] 703*2^1421311-1 is not prime. Res64: A2BFDD9BAF831EB2 Time : 0.0 sec. user=mdettweiler [2016-02-03 20:16:02] 775*2^1421311-1 is not prime. Res64: 1B0FAEC17085F604 Time : 0.0 sec. user=mdettweiler [2016-02-03 20:16:02] 789*2^1421311-1 is not prime. Res64: 36954E683AB90FF1 Time : 0.0 sec. user=mdettweiler [2016-02-03 20:16:03] 793*2^1421311-1 is not prime. Res64: E169D456EFFE2464 Time : 0.0 sec. user=mdettweiler [2016-02-03 20:33:36] 829*2^1421313-1 is not prime. Res64: 2AD49A2E2934BC3C Time : 0.0 sec. user=mdettweiler [2016-02-03 20:33:36] 837*2^1421313-1 is not prime. Res64: 36BBFDFE7BC3ECF0 Time : 0.0 sec. user=mdettweiler [2016-02-03 20:33:38] 959*2^1421312-1 is not prime. Res64: F0767447A3A00D1C Time : 0.0 sec. user=mdettweiler [2016-02-03 20:33:38] 627*2^1421313-1 is not prime. Res64: F59EF35A7803F76E Time : 0.0 sec. user=mdettweiler [2016-02-03 20:33:39] 931*2^1421311-1 is not prime. Res64: 934E392F73EA35AC Time : 0.0 sec. user=mdettweiler [2016-02-03 20:33:40] 717*2^1421312-1 is not prime. Res64: 21E6B268A7CDE613 Time : 0.0 sec. user=mdettweiler [2016-02-03 20:51:09] 847*2^1421313-1 is not prime. Res64: 4AC0E2C0842279F1 Time : 0.0 sec. user=mdettweiler [2016-02-03 20:51:10] 921*2^1421313-1 is not prime. Res64: 24915114BF6FBA73 Time : 0.0 sec. user=mdettweiler [2016-02-03 20:51:12] 623*2^1421314-1 is not prime. Res64: AD4C90A958C18868 Time : 0.0 sec. user=mdettweiler [2016-02-03 20:51:12] 675*2^1421314-1 is not prime. Res64: 9CC092BA8CD74A2A Time : 0.0 sec. user=mdettweiler [2016-02-03 20:51:13] 949*2^1421313-1 is not prime. Res64: 4B681D7267204D56 Time : 0.0 sec. user=mdettweiler [2016-02-03 20:51:13] 999*2^1421313-1 is not prime. Res64: 1A22B05197666C7D Time : 0.0 sec. user=mdettweiler [2016-02-03 21:08:43] 755*2^1421314-1 is not prime. Res64: CB637DC89BC48447 Time : 0.0 sec. user=mdettweiler [2016-02-03 21:08:43] 643*2^1421315-1 is not prime. Res64: 09FB7E4DF7C1D8A2 Time : 0.0 sec. user=mdettweiler [2016-02-03 21:08:44] 735*2^1421315-1 is not prime. Res64: EFC632322E739142 Time : 0.0 sec. user=mdettweiler [2016-02-03 21:08:45] 825*2^1421315-1 is not prime. Res64: 90E3F68EAE20BA9C Time : 0.0 sec. user=mdettweiler [2016-02-03 21:08:45] 799*2^1421315-1 is not prime. Res64: 66C7126FFF5C58E6 Time : 0.0 sec. user=mdettweiler [2016-02-03 21:08:46] 843*2^1421315-1 is not prime. Res64: BDED2EF8F433322A Time : 0.0 sec. user=mdettweiler [2016-02-03 21:26:24] 855*2^1421315-1 is not prime. Res64: 3436E6A21A7E8870 Time : 0.0 sec. user=mdettweiler [2016-02-03 21:26:25] 921*2^1421315-1 is not prime. Res64: 9988654E24B72A3A Time : 0.0 sec. user=mdettweiler [2016-02-03 21:26:25] 949*2^1421315-1 is not prime. Res64: 72CE2AE05432CA20 Time : 0.0 sec. user=mdettweiler [2016-02-03 21:26:26] 735*2^1421316-1 is not prime. Res64: ABC29DCE70BFF2BF Time : 0.0 sec. user=mdettweiler [2016-02-03 21:26:26] 903*2^1421316-1 is not prime. Res64: AA06F1A89FF838EA Time : 0.0 sec. user=mdettweiler [2016-02-03 21:26:27] 933*2^1421316-1 is not prime. Res64: 4609A35E3EDB408B Time : 0.0 sec. user=mdettweiler [2016-02-03 21:44:11] 805*2^1421317-1 is not prime. Res64: 62C256FD308D5996 Time : 0.0 sec. user=mdettweiler [2016-02-03 21:44:11] 819*2^1421317-1 is not prime. Res64: F006762388D6D67D Time : 0.0 sec. user=mdettweiler [2016-02-03 21:44:12] 651*2^1421317-1 is not prime. Res64: 793C7A401577823F Time : 0.0 sec. user=mdettweiler [2016-02-03 21:44:12] 699*2^1421317-1 is not prime. Res64: 9ADCB24C5F32397B Time : 0.0 sec. user=mdettweiler [2016-02-03 21:44:13] 617*2^1421318-1 is not prime. Res64: 245CEFA7CC4480BF Time : 0.0 sec. user=mdettweiler [2016-02-03 21:44:13] 671*2^1421318-1 is not prime. Res64: F6B6EC75302A4647 Time : 0.0 sec. user=mdettweiler [2016-02-03 22:02:05] 693*2^1421318-1 is not prime. Res64: 0E5FFE4DCBD6C243 Time : 0.0 sec. user=mdettweiler [2016-02-03 22:02:06] 887*2^1421318-1 is not prime. Res64: E31A0404CA81ADC4 Time : 0.0 sec. user=mdettweiler [2016-02-03 22:02:07] 945*2^1421318-1 is not prime. Res64: ECAD53082106C1AD Time : 0.0 sec. user=mdettweiler [2016-02-03 22:02:07] 897*2^1421318-1 is not prime. Res64: 3CDB39E55F8C2B7E Time : 0.0 sec. user=mdettweiler [2016-02-03 22:02:08] 963*2^1421318-1 is not prime. Res64: 1CE8564DBF3AC2EA Time : 0.0 sec. user=mdettweiler [2016-02-03 22:02:08] 923*2^1421318-1 is not prime. Res64: 3068F6B2FD1245AE Time : 0.0 sec. user=mdettweiler [2016-02-03 22:21:13] 635*2^1421320-1 is not prime. Res64: CC515D64B93C6972 Time : 0.0 sec. user=mdettweiler [2016-02-03 22:21:14] 669*2^1421319-1 is not prime. Res64: 02B2067A85192C67 Time : 0.0 sec. user=mdettweiler [2016-02-03 22:21:14] 645*2^1421320-1 is not prime. Res64: 31A512E1A247A6FB Time : 0.0 sec. user=mdettweiler [2016-02-03 22:21:14] 895*2^1421319-1 is not prime. Res64: 763BFB350F491F09 Time : 0.0 sec. user=mdettweiler [2016-02-03 22:21:18] 677*2^1421320-1 is not prime. Res64: 97C60DF6320131D1 Time : 0.0 sec. user=mdettweiler [2016-02-03 22:21:18] 819*2^1421320-1 is not prime. Res64: 9E56B6FC4675F4FD Time : 0.0 sec. user=mdettweiler [2016-02-03 22:39:12] 827*2^1421320-1 is not prime. Res64: E430880EE6D397A2 Time : 0.0 sec. user=mdettweiler [2016-02-03 22:39:13] 843*2^1421320-1 is not prime. Res64: B6344FCF4BE98DAC Time : 0.0 sec. user=mdettweiler [2016-02-03 22:39:13] 849*2^1421320-1 is not prime. Res64: 1BB0C7B9AB87A865 Time : 0.0 sec. user=mdettweiler [2016-02-03 22:39:14] 939*2^1421320-1 is not prime. Res64: 53351B43133AC771 Time : 0.0 sec. user=mdettweiler [2016-02-03 22:39:14] 887*2^1421320-1 is not prime. Res64: 55A649FC89CE6DA4 Time : 0.0 sec. user=mdettweiler [2016-02-03 22:39:15] 983*2^1421320-1 is not prime. Res64: 8163F7C754D14F6E Time : 0.0 sec. user=mdettweiler [2016-02-03 22:57:09] 675*2^1421321-1 is not prime. Res64: 8A639E20E3EC7A0E Time : 0.0 sec. user=mdettweiler [2016-02-03 22:57:09] 795*2^1421321-1 is not prime. Res64: F7499C98ABF1289A Time : 0.0 sec. user=mdettweiler [2016-02-03 22:57:10] 939*2^1421321-1 is not prime. Res64: 9DC8A2CFA576CAB1 Time : 0.0 sec. user=mdettweiler [2016-02-03 22:57:10] 765*2^1421322-1 is not prime. Res64: 81A8B7B332683581 Time : 0.0 sec. user=mdettweiler [2016-02-03 22:57:10] 615*2^1421321-1 is not prime. Res64: C6937CE673248E9C Time : 0.0 sec. user=mdettweiler [2016-02-03 22:57:10] 627*2^1421321-1 is not prime. Res64: BFE0B51D8A0F5BBD Time : 0.0 sec. user=mdettweiler [2016-02-03 23:15:23] 693*2^1421323-1 is not prime. Res64: 8432722E74078DA5 Time : 0.0 sec. user=mdettweiler [2016-02-03 23:15:24] 709*2^1421323-1 is not prime. Res64: 8787FF2F3B0A9953 Time : 0.0 sec. user=mdettweiler [2016-02-03 23:15:24] 767*2^1421322-1 is not prime. Res64: BE536A59A4E77F1E Time : 0.0 sec. user=mdettweiler [2016-02-03 23:15:25] 843*2^1421322-1 is not prime. Res64: 7FB2591B7DAA3F75 Time : 0.0 sec. user=mdettweiler [2016-02-03 23:15:25] 769*2^1421323-1 is not prime. Res64: CE47B26EC888FFF6 Time : 0.0 sec. user=mdettweiler [2016-02-03 23:15:25] 829*2^1421323-1 is not prime. Res64: 489DBC2F4265B037 Time : 0.0 sec. user=mdettweiler [2016-02-03 23:34:40] 871*2^1421323-1 is not prime. Res64: A21BCB3759BBE2E3 Time : 0.0 sec. user=mdettweiler [2016-02-03 23:34:40] 943*2^1421323-1 is not prime. Res64: DBA7AF92B7D5EF6D Time : 0.0 sec. user=mdettweiler [2016-02-03 23:34:41] 915*2^1421323-1 is not prime. Res64: AAFB5675B10296B4 Time : 0.0 sec. user=mdettweiler [2016-02-03 23:34:41] 767*2^1421324-1 is not prime. Res64: 6D692C6B18E9AF14 Time : 0.0 sec. user=mdettweiler [2016-02-03 23:34:42] 707*2^1421324-1 is not prime. Res64: F5FEBD914F758F3C Time : 0.0 sec. user=mdettweiler [2016-02-03 23:34:43] 753*2^1421324-1 is not prime. Res64: F3397AEB2F78E546 Time : 0.0 sec. user=mdettweiler [2016-02-03 23:57:24] 897*2^1421324-1 is not prime. Res64: 2A631AB460664272 Time : 0.0 sec. user=mdettweiler [2016-02-03 23:57:25] 987*2^1421324-1 is not prime. Res64: 83AEFC4C5EF3B280 Time : 0.0 sec. user=mdettweiler [2016-02-03 23:57:26] 655*2^1421325-1 is not prime. Res64: 2DF3F3141424BCF8 Time : 0.0 sec. user=mdettweiler [2016-02-03 23:57:26] 679*2^1421325-1 is not prime. Res64: 72F854E7977C505A Time : 0.0 sec. user=mdettweiler [2016-02-03 23:57:27] 869*2^1421324-1 is not prime. Res64: 52550A5DAF9FEFD6 Time : 0.0 sec. user=mdettweiler [2016-02-03 23:57:28] 875*2^1421324-1 is not prime. Res64: 2A0F73C80E40C268 Time : 0.0 sec.