user=mdettweiler [2015-10-26 00:09:40] 995*2^1413224-1 is not prime. Res64: F6AA72297B699873 Time : 0.0 sec. user=mdettweiler [2015-10-26 00:09:41] 609*2^1413225-1 is not prime. Res64: 5F966FC6F67376A6 Time : 0.0 sec. user=mdettweiler [2015-10-26 00:09:55] 685*2^1413225-1 is not prime. Res64: 4D95C9B24A538F31 Time : 0.0 sec. user=mdettweiler [2015-10-26 00:09:55] 711*2^1413225-1 is not prime. Res64: 15F9CE70C67398CD Time : 0.0 sec. user=mdettweiler [2015-10-26 00:10:03] 717*2^1413225-1 is not prime. Res64: 9B2B1786EE282360 Time : 0.0 sec. user=mdettweiler [2015-10-26 00:10:04] 677*2^1413226-1 is not prime. Res64: 6CF00EC5F0B58F58 Time : 0.0 sec. user=mdettweiler [2015-10-26 00:27:12] 701*2^1413226-1 is not prime. Res64: 514BA1FA777F12AB Time : 0.0 sec. user=mdettweiler [2015-10-26 00:27:12] 735*2^1413226-1 is not prime. Res64: 055411F7302F86B8 Time : 0.0 sec. user=mdettweiler [2015-10-26 00:27:23] 777*2^1413226-1 is not prime. Res64: D28E2893AEA4414B Time : 0.0 sec. user=mdettweiler [2015-10-26 00:27:23] 783*2^1413226-1 is not prime. Res64: EEA17DF2E9AC9024 Time : 0.0 sec. user=mdettweiler [2015-10-26 00:27:32] 857*2^1413226-1 is not prime. Res64: 864539B5D6CB529D Time : 0.0 sec. user=mdettweiler [2015-10-26 00:27:32] 867*2^1413226-1 is not prime. Res64: AF4707928D49922F Time : 0.0 sec. user=mdettweiler [2015-10-26 00:44:39] 873*2^1413226-1 is not prime. Res64: ED0C6052498D45F7 Time : 0.0 sec. user=mdettweiler [2015-10-26 00:44:39] 881*2^1413226-1 is not prime. Res64: 94C0EA67A3E09890 Time : 0.0 sec. user=mdettweiler [2015-10-26 00:44:49] 911*2^1413226-1 is not prime. Res64: FBD584E2C3A6A3F0 Time : 0.0 sec. user=mdettweiler [2015-10-26 00:44:50] 981*2^1413226-1 is not prime. Res64: ED46088396D17AD5 Time : 0.0 sec. user=mdettweiler [2015-10-26 00:45:00] 987*2^1413226-1 is not prime. Res64: EF0805F62D9FF94F Time : 0.0 sec. user=mdettweiler [2015-10-26 00:45:00] 703*2^1413227-1 is not prime. Res64: 43F79FD33BFFFE0E Time : 0.0 sec. user=mdettweiler [2015-10-26 01:02:05] 705*2^1413227-1 is not prime. Res64: 99E9ECAB1D9DE9D9 Time : 0.0 sec. user=mdettweiler [2015-10-26 01:02:06] 801*2^1413227-1 is not prime. Res64: 7E25C68434F92D9C Time : 0.0 sec. user=mdettweiler [2015-10-26 01:02:18] 823*2^1413227-1 is not prime. Res64: 4AE4DCE76AA513DA Time : 0.0 sec. user=mdettweiler [2015-10-26 01:02:19] 859*2^1413227-1 is not prime. Res64: 359D403B09AE2BE0 Time : 0.0 sec. user=mdettweiler [2015-10-26 01:02:28] 885*2^1413227-1 is not prime. Res64: 53429B414B2101AA Time : 0.0 sec. user=mdettweiler [2015-10-26 01:02:28] 985*2^1413227-1 is not prime. Res64: 3222CE284A9DF914 Time : 0.0 sec. user=mdettweiler [2015-10-26 01:19:43] 633*2^1413228-1 is not prime. Res64: 6A45965E1F875B88 Time : 0.0 sec. user=mdettweiler [2015-10-26 01:19:44] 683*2^1413228-1 is not prime. Res64: 4564AC68649F2C9E Time : 0.0 sec. user=mdettweiler [2015-10-26 01:19:45] 707*2^1413228-1 is not prime. Res64: 290719A6791A4FAB Time : 0.0 sec. user=mdettweiler [2015-10-26 01:19:46] 725*2^1413228-1 is not prime. Res64: D9ACE7A413C4860E Time : 0.0 sec. user=mdettweiler [2015-10-26 01:19:55] 753*2^1413228-1 is not prime. Res64: BD9B85ABAFD89120 Time : 0.0 sec. user=mdettweiler [2015-10-26 01:19:56] 783*2^1413228-1 is not prime. Res64: D11E9DDC713ADB17 Time : 0.0 sec. user=mdettweiler [2015-10-26 01:37:11] 929*2^1413228-1 is not prime. Res64: 174587079DF2875A Time : 0.0 sec. user=mdettweiler [2015-10-26 01:37:11] 999*2^1413228-1 is not prime. Res64: 2C27BAE74CAD571D Time : 0.0 sec. user=mdettweiler [2015-10-26 01:37:12] 615*2^1413229-1 is not prime. Res64: 53710C35775AA996 Time : 0.0 sec. user=mdettweiler [2015-10-26 01:37:13] 685*2^1413229-1 is not prime. Res64: E597264892648E4A Time : 0.0 sec. user=mdettweiler [2015-10-26 01:37:22] 775*2^1413229-1 is not prime. Res64: 4267C70F40C99CC3 Time : 0.0 sec. user=mdettweiler [2015-10-26 01:37:22] 817*2^1413229-1 is not prime. Res64: CB8ADCCCF45F8E0D Time : 0.0 sec. user=mdettweiler [2015-10-26 01:54:44] 675*2^1413230-1 is not prime. Res64: 02DCB607ED1B49F5 Time : 0.0 sec. user=mdettweiler [2015-10-26 01:54:44] 927*2^1413229-1 is not prime. Res64: 44FE18A29181E5B4 Time : 0.0 sec. user=mdettweiler [2015-10-26 01:54:44] 707*2^1413230-1 is not prime. Res64: 109C42346D1C93CE Time : 0.0 sec. user=mdettweiler [2015-10-26 01:54:44] 987*2^1413229-1 is not prime. Res64: 1E8DD5056A63836E Time : 0.0 sec. user=mdettweiler [2015-10-26 01:54:50] 825*2^1413230-1 is not prime. Res64: A525456C1A8EC5E3 Time : 0.0 sec. user=mdettweiler [2015-10-26 01:54:51] 843*2^1413230-1 is not prime. Res64: BE0AADCCCA47BB6B Time : 0.0 sec. user=mdettweiler [2015-10-26 02:12:10] 945*2^1413230-1 is not prime. Res64: F3A1C32FC0E752D8 Time : 0.0 sec. user=mdettweiler [2015-10-26 02:12:11] 981*2^1413230-1 is not prime. Res64: 17B7C2AD6C83E124 Time : 0.0 sec. user=mdettweiler [2015-10-26 02:12:15] 987*2^1413230-1 is not prime. Res64: 74B1048E156F4107 Time : 0.0 sec. user=mdettweiler [2015-10-26 02:12:16] 601*2^1413231-1 is not prime. Res64: 29652E50555EFAD8 Time : 0.0 sec. user=mdettweiler [2015-10-26 02:12:19] 661*2^1413231-1 is not prime. Res64: 0078121614BAE706 Time : 0.0 sec. user=mdettweiler [2015-10-26 02:12:20] 679*2^1413231-1 is not prime. Res64: 06652544E419BEC8 Time : 0.0 sec. user=mdettweiler [2015-10-26 02:29:36] 685*2^1413231-1 is not prime. Res64: D01A61F060DE67FB Time : 0.0 sec. user=mdettweiler [2015-10-26 02:29:37] 691*2^1413231-1 is not prime. Res64: 13C51149CF69DEDE Time : 0.0 sec. user=mdettweiler [2015-10-26 02:29:41] 705*2^1413231-1 is not prime. Res64: C97C2D011935E66D Time : 0.0 sec. user=mdettweiler [2015-10-26 02:29:42] 723*2^1413231-1 is not prime. Res64: E8CA6DF4529E0C7F Time : 0.0 sec. user=mdettweiler [2015-10-26 02:29:45] 789*2^1413231-1 is not prime. Res64: 5923766B0FEE1A6B Time : 0.0 sec. user=mdettweiler [2015-10-26 02:29:45] 823*2^1413231-1 is not prime. Res64: E0B117F052DC5CE1 Time : 0.0 sec. user=mdettweiler [2015-10-26 02:47:10] 969*2^1413231-1 is not prime. Res64: 09078B61FC639812 Time : 0.0 sec. user=mdettweiler [2015-10-26 02:47:10] 979*2^1413231-1 is not prime. Res64: 1D309C318F3A6888 Time : 0.0 sec. user=mdettweiler [2015-10-26 02:47:12] 779*2^1413232-1 is not prime. Res64: A28BE849C367064B Time : 0.0 sec. user=mdettweiler [2015-10-26 02:47:13] 813*2^1413232-1 is not prime. Res64: 1A00FC06F28B0F7C Time : 0.0 sec. user=mdettweiler [2015-10-26 02:47:16] 687*2^1413232-1 is not prime. Res64: A948F04DD036B1A1 Time : 0.0 sec. user=mdettweiler [2015-10-26 02:47:16] 735*2^1413232-1 is not prime. Res64: 2DD3EEC906CDC02A Time : 0.0 sec. user=mdettweiler [2015-10-26 03:04:39] 855*2^1413232-1 is not prime. Res64: B143DF04023A100B Time : 0.0 sec. user=mdettweiler [2015-10-26 03:04:40] 657*2^1413233-1 is not prime. Res64: 21930801EA5A3712 Time : 0.0 sec. user=mdettweiler [2015-10-26 03:04:40] 869*2^1413232-1 is not prime. Res64: C4AAF8AF8DDE6876 Time : 0.0 sec. user=mdettweiler [2015-10-26 03:04:40] 867*2^1413233-1 is not prime. Res64: E18A84EEA765A5B8 Time : 0.0 sec. user=mdettweiler [2015-10-26 03:04:43] 879*2^1413233-1 is not prime. Res64: 95F24FCA9298CF23 Time : 0.0 sec. user=mdettweiler [2015-10-26 03:04:44] 967*2^1413233-1 is not prime. Res64: E015621F95450D4A Time : 0.0 sec. user=mdettweiler [2015-10-26 03:22:28] 767*2^1413234-1 is not prime. Res64: 3487B7E0F1B5DA3A Time : 0.0 sec. user=mdettweiler [2015-10-26 03:22:28] 657*2^1413234-1 is not prime. Res64: 079EEEB923AB360A Time : 0.0 sec. user=mdettweiler [2015-10-26 03:22:29] 833*2^1413234-1 is not prime. Res64: 917CABBFC7853A7E Time : 0.0 sec. user=mdettweiler [2015-10-26 03:22:29] 711*2^1413234-1 is not prime. Res64: 2AC09E829848FE71 Time : 0.0 sec. user=mdettweiler [2015-10-26 03:22:29] 921*2^1413234-1 is not prime. Res64: B90663525D49AEFC Time : 0.0 sec. user=mdettweiler [2015-10-26 03:22:30] 975*2^1413234-1 is not prime. Res64: 1261476308982E40 Time : 0.0 sec. user=mdettweiler [2015-10-26 03:40:02] 645*2^1413235-1 is not prime. Res64: ABEDF4FA73CFE1FB Time : 0.0 sec. user=mdettweiler [2015-10-26 03:40:05] 723*2^1413235-1 is not prime. Res64: BDCD5C59CCC03046 Time : 0.0 sec. user=mdettweiler [2015-10-26 03:40:07] 691*2^1413235-1 is not prime. Res64: E6AC45C45BF1D52B Time : 0.0 sec. user=mdettweiler [2015-10-26 03:40:08] 603*2^1413236-1 is not prime. Res64: BFA9E772E1E34ECE Time : 0.0 sec. user=mdettweiler [2015-10-26 03:40:10] 999*2^1413235-1 is not prime. Res64: 10C2F042E93D4BED Time : 0.0 sec. user=mdettweiler [2015-10-26 03:57:58] 647*2^1413236-1 is not prime. Res64: E3B87C6F02D4DA12 Time : 0.0 sec. user=mdettweiler [2015-10-26 03:57:58] 759*2^1413236-1 is not prime. Res64: A68FA571D93638AB Time : 0.0 sec. user=mdettweiler [2015-10-26 03:58:00] 833*2^1413236-1 is not prime. Res64: 7FD3793EFAB60A9D Time : 0.0 sec. user=mdettweiler [2015-10-26 03:58:00] 909*2^1413236-1 is not prime. Res64: 686457FD8445397B Time : 0.0 sec. user=mdettweiler [2015-10-26 04:15:37] 667*2^1413237-1 is not prime. Res64: DB870D2CBF6F9AEF Time : 0.0 sec. user=mdettweiler [2015-10-26 04:15:37] 625*2^1413237-1 is not prime. Res64: BD9D14F1F8D16FDE Time : 0.0 sec. user=mdettweiler [2015-10-26 04:15:37] 651*2^1413237-1 is not prime. Res64: 74BBF8164067BE3E Time : 0.0 sec. user=mdettweiler [2015-10-26 04:15:37] 681*2^1413237-1 is not prime. Res64: E3A008BCB52BF222 Time : 0.0 sec. user=mdettweiler [2015-10-26 04:33:12] 849*2^1413237-1 is not prime. Res64: 2E4D6A68D1B39942 Time : 0.0 sec. user=mdettweiler [2015-10-26 04:33:12] 979*2^1413237-1 is not prime. Res64: 68F4DD5B798FA7A2 Time : 0.0 sec. user=mdettweiler [2015-10-26 04:33:16] 781*2^1413237-1 is not prime. Res64: 61B890D065E4D26F Time : 0.0 sec. user=mdettweiler [2015-10-26 04:33:16] 805*2^1413237-1 is not prime. Res64: 4A3D792D1429A9F2 Time : 0.0 sec. user=mdettweiler [2015-10-26 04:50:51] 687*2^1413238-1 is not prime. Res64: C34A86BBAAE895A5 Time : 0.0 sec. user=mdettweiler [2015-10-26 04:50:51] 831*2^1413238-1 is not prime. Res64: B37BBFFAAD20C239 Time : 0.0 sec. user=mdettweiler [2015-10-26 04:50:53] 603*2^1413239-1 is not prime. Res64: 295D7C45F92EBFBC Time : 0.0 sec. user=mdettweiler [2015-10-26 04:50:53] 609*2^1413239-1 is not prime. Res64: 9FBA8A05CC854E64 Time : 0.0 sec. user=mdettweiler [2015-10-26 04:55:28] 615*2^1413236-1 is not prime. Res64: E96912CC04DFE22B Time : 0.0 sec. user=mdettweiler [2015-10-26 05:08:20] 615*2^1413239-1 is not prime. Res64: 51A2246A0BBD67FC Time : 0.0 sec. user=mdettweiler [2015-10-26 05:08:20] 619*2^1413239-1 is not prime. Res64: ADEB3DC274D131CD Time : 0.0 sec. user=mdettweiler [2015-10-26 05:08:24] 663*2^1413239-1 is not prime. Res64: 38CD504B0527E7ED Time : 0.0 sec. user=mdettweiler [2015-10-26 05:08:24] 711*2^1413239-1 is not prime. Res64: 1FE7E52B8CDB7449 Time : 0.0 sec. user=mdettweiler [2015-10-26 05:12:53] 979*2^1413239-1 is not prime. Res64: 5D1AE770C236834D Time : 0.0 sec. user=mdettweiler [2015-10-26 05:12:53] 707*2^1413240-1 is not prime. Res64: 4220E437065CD340 Time : 0.0 sec. user=mdettweiler [2015-10-26 05:25:49] 845*2^1413240-1 is not prime. Res64: 1BD7F6D41451A7D1 Time : 0.0 sec. user=mdettweiler [2015-10-26 05:25:49] 875*2^1413240-1 is not prime. Res64: 75752971AFA9255C Time : 0.0 sec. user=mdettweiler [2015-10-26 05:25:50] 705*2^1413241-1 is not prime. Res64: 673BD703A7325765 Time : 0.0 sec. user=mdettweiler [2015-10-26 05:25:51] 747*2^1413241-1 is not prime. Res64: 7C57046408D18E92 Time : 0.0 sec. user=mdettweiler [2015-10-26 05:30:19] 771*2^1413241-1 is not prime. Res64: 364DA5A1F4E1D4A9 Time : 0.0 sec. user=mdettweiler [2015-10-26 05:30:20] 789*2^1413241-1 is not prime. Res64: 2818CF14CA37AE00 Time : 0.0 sec. user=mdettweiler [2015-10-26 05:43:15] 945*2^1413241-1 is not prime. Res64: 9B776F1EFF49F9C6 Time : 0.0 sec. user=mdettweiler [2015-10-26 05:43:16] 951*2^1413241-1 is not prime. Res64: 4B4B28DFD91A36FA Time : 0.0 sec. user=mdettweiler [2015-10-26 05:43:16] 979*2^1413241-1 is not prime. Res64: A5095DBB20B2182F Time : 0.0 sec. user=mdettweiler [2015-10-26 05:43:16] 953*2^1413242-1 is not prime. Res64: 759C970F00D54BA0 Time : 0.0 sec. user=mdettweiler [2015-10-26 05:47:44] 649*2^1413243-1 is not prime. Res64: 221DE46C04014D32 Time : 0.0 sec. user=mdettweiler [2015-10-26 05:47:44] 801*2^1413243-1 is not prime. Res64: FAFFFA72B2CF454A Time : 0.0 sec. user=mdettweiler [2015-10-26 06:00:42] 759*2^1413244-1 is not prime. Res64: ECD73A0E168A3942 Time : 0.0 sec. user=mdettweiler [2015-10-26 06:00:43] 871*2^1413243-1 is not prime. Res64: BED0F33A8E0EFDBE Time : 0.0 sec. user=mdettweiler [2015-10-26 06:00:43] 783*2^1413244-1 is not prime. Res64: 79CAFF64B7240C26 Time : 0.0 sec. user=mdettweiler [2015-10-26 06:00:43] 723*2^1413244-1 is not prime. Res64: 68DBDA6798223D7B Time : 0.0 sec. user=mdettweiler [2015-10-26 06:05:11] 819*2^1413244-1 is not prime. Res64: 8C4A1D582BC5473A Time : 0.0 sec. user=mdettweiler [2015-10-26 06:05:12] 855*2^1413244-1 is not prime. Res64: BB8C22F671B9B6A5 Time : 0.0 sec. user=mdettweiler [2015-10-26 06:18:20] 927*2^1413244-1 is not prime. Res64: F01173735938504B Time : 0.0 sec. user=mdettweiler [2015-10-26 06:18:20] 715*2^1413245-1 is not prime. Res64: 1FD3A6CD19FD95FE Time : 0.0 sec. user=mdettweiler [2015-10-26 06:18:20] 619*2^1413245-1 is not prime. Res64: 1E545D00018633BE Time : 0.0 sec. user=mdettweiler [2015-10-26 06:18:21] 727*2^1413245-1 is not prime. Res64: AA6FAF70731D588A Time : 0.0 sec. user=mdettweiler [2015-10-26 06:22:49] 775*2^1413245-1 is not prime. Res64: 764A65819799E928 Time : 0.0 sec. user=mdettweiler [2015-10-26 06:22:50] 861*2^1413245-1 is not prime. Res64: E334A843B90C41E9 Time : 0.0 sec. user=mdettweiler [2015-10-26 06:35:49] 951*2^1413245-1 is not prime. Res64: 6F2A295FCB54EA43 Time : 0.0 sec. user=mdettweiler [2015-10-26 06:35:50] 991*2^1413245-1 is not prime. Res64: 951B9BB20CEA6BF4 Time : 0.0 sec. user=mdettweiler [2015-10-26 06:35:50] 867*2^1413245-1 is not prime. Res64: CCB5C472F32D73C7 Time : 0.0 sec. user=mdettweiler [2015-10-26 06:35:50] 897*2^1413245-1 is not prime. Res64: C0923581711374EA Time : 0.0 sec. user=mdettweiler [2015-10-26 06:40:15] 671*2^1413246-1 is not prime. Res64: B814540C970E1A67 Time : 0.0 sec. user=mdettweiler [2015-10-26 06:40:15] 887*2^1413246-1 is not prime. Res64: 8D0907A64D7AAA41 Time : 0.0 sec. user=mdettweiler [2015-10-26 06:53:15] 917*2^1413246-1 is not prime. Res64: 5806A4725DF42A08 Time : 0.0 sec. user=mdettweiler [2015-10-26 06:53:16] 633*2^1413247-1 is not prime. Res64: B041DA033DAEFC4C Time : 0.0 sec. user=mdettweiler [2015-10-26 06:53:16] 639*2^1413247-1 is not prime. Res64: AD776C2795C94155 Time : 0.0 sec. user=mdettweiler [2015-10-26 06:53:16] 675*2^1413247-1 is not prime. Res64: CD0AF8B7F1ECE993 Time : 0.0 sec. user=mdettweiler [2015-10-26 06:57:41] 681*2^1413247-1 is not prime. Res64: 8B1AF221D7DB9B65 Time : 0.0 sec. user=mdettweiler [2015-10-26 06:57:42] 729*2^1413247-1 is not prime. Res64: 13AECD825E61F250 Time : 0.0 sec. user=mdettweiler [2015-10-26 07:10:42] 759*2^1413248-1 is not prime. Res64: 2487659BA00713EE Time : 0.0 sec. user=mdettweiler [2015-10-26 07:10:42] 835*2^1413249-1 is not prime. Res64: CD8BD13BC3C7A15E Time : 0.0 sec. user=mdettweiler [2015-10-26 07:10:42] 993*2^1413248-1 is not prime. Res64: 4F04111608B496F7 Time : 0.0 sec. user=mdettweiler [2015-10-26 07:10:42] 877*2^1413249-1 is not prime. Res64: 024EFE30CCBC1B11 Time : 0.0 sec. user=mdettweiler [2015-10-26 07:15:07] 635*2^1413250-1 is not prime. Res64: D29352B0FF010AE4 Time : 0.0 sec. user=mdettweiler [2015-10-26 07:15:07] 657*2^1413250-1 is not prime. Res64: C180B43CC21E4EBA Time : 0.0 sec. user=mdettweiler [2015-10-26 07:28:13] 713*2^1413250-1 is not prime. Res64: 6F8EC593CCFB08AE Time : 0.0 sec. user=mdettweiler [2015-10-26 07:28:13] 717*2^1413250-1 is not prime. Res64: CE0D27CC6DE58C83 Time : 0.0 sec. user=mdettweiler [2015-10-26 07:28:17] 755*2^1413250-1 is not prime. Res64: 7B3F7A433A712327 Time : 0.0 sec. user=mdettweiler [2015-10-26 07:28:17] 903*2^1413251-1 is not prime. Res64: 54B12D065C8353DA Time : 0.0 sec. user=mdettweiler [2015-10-26 07:32:38] 689*2^1413252-1 is not prime. Res64: 0E48549B8B1B4D16 Time : 0.0 sec. user=mdettweiler [2015-10-26 07:32:39] 695*2^1413252-1 is not prime. Res64: D8B8E498A26D444F Time : 0.0 sec. user=mdettweiler [2015-10-26 07:45:39] 753*2^1413252-1 is not prime. Res64: 15DC9FD264BA7364 Time : 0.0 sec. user=mdettweiler [2015-10-26 07:45:39] 803*2^1413252-1 is not prime. Res64: 5A8B461557508D72 Time : 0.0 sec. user=mdettweiler [2015-10-26 07:45:42] 887*2^1413252-1 is not prime. Res64: 1A535E56A218C126 Time : 0.0 sec. user=mdettweiler [2015-10-26 07:45:43] 899*2^1413252-1 is not prime. Res64: EB865C7C3212DC84 Time : 0.0 sec. user=mdettweiler [2015-10-26 07:50:05] 903*2^1413252-1 is not prime. Res64: 7E4807A74C581E3B Time : 0.0 sec. user=mdettweiler [2015-10-26 07:50:06] 625*2^1413253-1 is not prime. Res64: 009363D456E915AA Time : 0.0 sec. user=mdettweiler [2015-10-26 08:03:07] 801*2^1413253-1 is not prime. Res64: A714D105FD8968E6 Time : 0.0 sec. user=mdettweiler [2015-10-26 08:03:09] 663*2^1413254-1 is not prime. Res64: 7BA225456D4A4F24 Time : 0.0 sec. user=mdettweiler [2015-10-26 08:03:09] 885*2^1413253-1 is not prime. Res64: 5EEE0D863C096BB9 Time : 0.0 sec. user=mdettweiler [2015-10-26 08:03:10] 665*2^1413254-1 is not prime. Res64: C6F0B57E096B9BAD Time : 0.0 sec. user=mdettweiler [2015-10-26 08:07:32] 791*2^1413254-1 is not prime. Res64: 01DC1671065F458B Time : 0.0 sec. user=mdettweiler [2015-10-26 08:07:32] 923*2^1413254-1 is not prime. Res64: 12245179E5CFF3E5 Time : 0.0 sec. user=mdettweiler [2015-10-26 08:21:04] 765*2^1413255-1 is not prime. Res64: 4B8641C808068CD4 Time : 0.0 sec. user=mdettweiler [2015-10-26 08:21:05] 831*2^1413255-1 is not prime. Res64: D0F078AB653A6188 Time : 0.0 sec. user=mdettweiler [2015-10-26 08:21:05] 919*2^1413255-1 is not prime. Res64: CF4996044ED7B8F2 Time : 0.0 sec. user=mdettweiler [2015-10-26 08:21:06] 921*2^1413255-1 is not prime. Res64: B3D65A024B557DE0 Time : 0.0 sec. user=mdettweiler [2015-10-26 08:24:58] 961*2^1413255-1 is not prime. Res64: 9460AA084FD72EB4 Time : 0.0 sec. user=mdettweiler [2015-10-26 08:24:58] 603*2^1413256-1 is not prime. Res64: 0B64D1E0C7D87B8E Time : 0.0 sec. user=mdettweiler [2015-10-26 08:38:32] 699*2^1413257-1 is not prime. Res64: 067B4632418EEE4E Time : 0.0 sec. user=mdettweiler [2015-10-26 08:38:33] 989*2^1413256-1 is not prime. Res64: D2F8784356DF8159 Time : 0.0 sec. user=mdettweiler [2015-10-26 08:38:33] 711*2^1413257-1 is not prime. Res64: 005C69633AE42683 Time : 0.0 sec. user=mdettweiler [2015-10-26 08:38:33] 645*2^1413257-1 is not prime. Res64: EBA09B4AF1A07D63 Time : 0.0 sec. user=mdettweiler [2015-10-26 08:42:24] 727*2^1413257-1 is not prime. Res64: 7F12B99DD129176C Time : 0.0 sec. user=mdettweiler [2015-10-26 08:42:24] 735*2^1413257-1 is not prime. Res64: 8986B5232EFEB66D Time : 0.0 sec. user=mdettweiler [2015-10-26 08:55:58] 861*2^1413257-1 is not prime. Res64: FE5D1E6A2EE903EE Time : 0.0 sec. user=mdettweiler [2015-10-26 08:55:59] 615*2^1413258-1 is not prime. Res64: 051A695A32F2C1D4 Time : 0.0 sec. user=mdettweiler [2015-10-26 08:56:00] 633*2^1413258-1 is not prime. Res64: 3AFF0ADBA92EEBFC Time : 0.0 sec. user=mdettweiler [2015-10-26 08:56:00] 663*2^1413258-1 is not prime. Res64: 2EE58727F386ABFC Time : 0.0 sec. user=mdettweiler [2015-10-26 08:59:53] 711*2^1413258-1 is not prime. Res64: BA26EC1D08797C5D Time : 0.0 sec. user=mdettweiler [2015-10-26 08:59:53] 777*2^1413258-1 is not prime. Res64: 31D3F168ACBF5810 Time : 0.0 sec. user=mdettweiler [2015-10-26 09:13:31] 801*2^1413258-1 is not prime. Res64: 6F0ACD6069732E00 Time : 0.0 sec. user=mdettweiler [2015-10-26 09:13:31] 971*2^1413258-1 is not prime. Res64: E7F2337158270A3E Time : 0.0 sec. user=mdettweiler [2015-10-26 09:13:31] 619*2^1413259-1 is not prime. Res64: B723577A54E37197 Time : 0.0 sec. user=mdettweiler [2015-10-26 09:13:32] 853*2^1413259-1 is not prime. Res64: 77188574CE269B25 Time : 0.0 sec. user=mdettweiler [2015-10-26 09:17:19] 939*2^1413259-1 is not prime. Res64: 3D2F0ACF5CCE051C Time : 0.0 sec. user=mdettweiler [2015-10-26 09:17:20] 943*2^1413259-1 is not prime. Res64: A1090DA811E40D87 Time : 0.0 sec. user=mdettweiler [2015-10-26 09:31:00] 999*2^1413259-1 is not prime. Res64: D65D4087D3257378 Time : 0.0 sec. user=mdettweiler [2015-10-26 09:31:01] 961*2^1413259-1 is not prime. Res64: 45BE1B3B76D31884 Time : 0.0 sec. user=mdettweiler [2015-10-26 09:31:01] 603*2^1413260-1 is not prime. Res64: 62D25FBB285F770B Time : 0.0 sec. user=mdettweiler [2015-10-26 09:31:01] 975*2^1413259-1 is not prime. Res64: BE98C2507804B3DC Time : 0.0 sec. user=mdettweiler [2015-10-26 09:34:44] 669*2^1413260-1 is not prime. Res64: 35029F49E2220ADD Time : 0.0 sec. user=mdettweiler [2015-10-26 09:34:45] 675*2^1413260-1 is not prime. Res64: B002401464BFDC94 Time : 0.0 sec. user=mdettweiler [2015-10-26 09:48:27] 819*2^1413261-1 is not prime. Res64: 34FE8BDF8796922B Time : 0.0 sec. user=mdettweiler [2015-10-26 09:48:28] 885*2^1413261-1 is not prime. Res64: 5ADA955F7E88A128 Time : 0.0 sec. user=mdettweiler [2015-10-26 09:48:30] 897*2^1413260-1 is not prime. Res64: 2CD8F25FB4258D2E Time : 0.0 sec. user=mdettweiler [2015-10-26 09:48:30] 781*2^1413261-1 is not prime. Res64: B98D085CCB2ECCFB Time : 0.0 sec. user=mdettweiler [2015-10-26 09:52:13] 907*2^1413261-1 is not prime. Res64: 48318F07DD6CA082 Time : 0.0 sec. user=mdettweiler [2015-10-26 09:52:13] 675*2^1413262-1 is not prime. Res64: 02C4050E0D292DC0 Time : 0.0 sec. user=mdettweiler [2015-10-26 10:05:55] 843*2^1413262-1 is not prime. Res64: 8874D2DFBC08E693 Time : 0.0 sec. user=mdettweiler [2015-10-26 10:05:57] 951*2^1413262-1 is not prime. Res64: A8EC33D746B6456E Time : 0.0 sec. user=mdettweiler [2015-10-26 10:05:58] 609*2^1413263-1 is not prime. Res64: 5910401BA91F371C Time : 0.0 sec. user=mdettweiler [2015-10-26 10:05:59] 663*2^1413263-1 is not prime. Res64: C77849A693AA4AD3 Time : 0.0 sec. user=mdettweiler [2015-10-26 10:09:40] 921*2^1413263-1 is not prime. Res64: E9127C79131BD4A0 Time : 0.0 sec. user=mdettweiler [2015-10-26 10:09:41] 943*2^1413263-1 is not prime. Res64: 4D319B277DF0A480 Time : 0.0 sec. user=mdettweiler [2015-10-26 10:23:44] 623*2^1413264-1 is not prime. Res64: F931800898FE4275 Time : 0.0 sec. user=mdettweiler [2015-10-26 10:23:44] 993*2^1413263-1 is not prime. Res64: 4BBF5076E9923535 Time : 0.0 sec. user=mdettweiler [2015-10-26 10:23:45] 717*2^1413264-1 is not prime. Res64: 549FE72C4E03D2AE Time : 0.0 sec. user=mdettweiler [2015-10-26 10:23:45] 609*2^1413264-1 is not prime. Res64: 7A1E4519528C53B0 Time : 0.0 sec. user=mdettweiler [2015-10-26 10:27:07] 773*2^1413264-1 is not prime. Res64: B8D1C634B362B5F4 Time : 0.0 sec. user=mdettweiler [2015-10-26 10:27:07] 899*2^1413264-1 is not prime. Res64: 5197777550157ECC Time : 0.0 sec. user=mdettweiler [2015-10-26 10:41:14] 607*2^1413265-1 is not prime. Res64: 5F3B66E102D8B9CE Time : 0.0 sec. user=mdettweiler [2015-10-26 10:41:14] 661*2^1413265-1 is not prime. Res64: D2F978DA799DA57E Time : 0.0 sec. user=mdettweiler [2015-10-26 10:41:14] 649*2^1413265-1 is not prime. Res64: 09F2162F53A74F2A Time : 0.0 sec. user=mdettweiler [2015-10-26 10:41:15] 685*2^1413265-1 is not prime. Res64: F1881E4333A9C791 Time : 0.0 sec. user=mdettweiler [2015-10-26 10:44:35] 699*2^1413265-1 is not prime. Res64: FE96B6C752C75A57 Time : 0.0 sec. user=mdettweiler [2015-10-26 10:44:35] 617*2^1413266-1 is not prime. Res64: 55D50B4870FBEC0B Time : 0.0 sec. user=mdettweiler [2015-10-26 10:58:41] 713*2^1413266-1 is not prime. Res64: 4FDB575DFC98FD8A Time : 0.0 sec. user=mdettweiler [2015-10-26 10:58:42] 643*2^1413267-1 is not prime. Res64: D835A8702C84C4D9 Time : 0.0 sec. user=mdettweiler [2015-10-26 10:58:42] 703*2^1413267-1 is not prime. Res64: 85359FF41494CCBB Time : 0.0 sec. user=mdettweiler [2015-10-26 10:58:42] 765*2^1413267-1 is not prime. Res64: 9BADC814042B6412 Time : 0.0 sec. user=mdettweiler [2015-10-26 11:02:01] 835*2^1413267-1 is not prime. Res64: 8CEC7CD5CF675C2A Time : 0.0 sec. user=mdettweiler [2015-10-26 11:02:01] 879*2^1413267-1 is not prime. Res64: DB808B944CE60A78 Time : 0.0 sec. user=mdettweiler [2015-10-26 11:16:07] 895*2^1413267-1 is not prime. Res64: 7FE47DBC3FE82050 Time : 0.0 sec. user=mdettweiler [2015-10-26 11:16:08] 617*2^1413268-1 is not prime. Res64: 3A7FD948F05F4793 Time : 0.0 sec. user=mdettweiler [2015-10-26 11:16:08] 657*2^1413268-1 is not prime. Res64: 2BFBD4D1F0EADDA5 Time : 0.0 sec. user=mdettweiler [2015-10-26 11:16:09] 723*2^1413268-1 is not prime. Res64: 8821307DDE8EC0DA Time : 0.0 sec. user=mdettweiler [2015-10-26 11:19:28] 839*2^1413268-1 is not prime. Res64: 7CDE0AA1128E1E83 Time : 0.0 sec. user=mdettweiler [2015-10-26 11:19:28] 929*2^1413268-1 is not prime. Res64: 5B17EE55457B8759 Time : 0.0 sec. user=mdettweiler [2015-10-26 11:33:40] 933*2^1413268-1 is not prime. Res64: 3E82D9F0596859AC Time : 0.0 sec. user=mdettweiler [2015-10-26 11:33:40] 959*2^1413268-1 is not prime. Res64: 8610B95B90488FCD Time : 0.0 sec. user=mdettweiler [2015-10-26 11:33:40] 957*2^1413268-1 is not prime. Res64: A65CBA3A0FAE31C4 Time : 0.0 sec. user=mdettweiler [2015-10-26 11:33:40] 657*2^1413269-1 is not prime. Res64: 47F02D0319F82399 Time : 0.0 sec. user=mdettweiler [2015-10-26 11:36:55] 711*2^1413269-1 is not prime. Res64: 542239A4B1AABF05 Time : 0.0 sec. user=mdettweiler [2015-10-26 11:36:56] 729*2^1413269-1 is not prime. Res64: A06B1EADEFD945BD Time : 0.0 sec. user=mdettweiler [2015-10-26 11:51:06] 735*2^1413269-1 is not prime. Res64: A2CFC0AD4200D58C Time : 0.0 sec. user=mdettweiler [2015-10-26 11:51:07] 879*2^1413269-1 is not prime. Res64: C84A101B2C424218 Time : 0.0 sec. user=mdettweiler [2015-10-26 11:51:08] 635*2^1413270-1 is not prime. Res64: 5CB8C5F6A5FDF719 Time : 0.0 sec. user=mdettweiler [2015-10-26 11:51:09] 677*2^1413270-1 is not prime. Res64: 410797A4C42F0107 Time : 0.0 sec. user=mdettweiler [2015-10-26 11:54:21] 891*2^1413270-1 is not prime. Res64: 1A725E6DC4059DD6 Time : 0.0 sec. user=mdettweiler [2015-10-26 11:54:22] 927*2^1413270-1 is not prime. Res64: 6C906A8931189864 Time : 0.0 sec. user=mdettweiler [2015-10-26 12:08:34] 661*2^1413271-1 is not prime. Res64: 73679026373F9FFB Time : 0.0 sec. user=mdettweiler [2015-10-26 12:08:34] 735*2^1413271-1 is not prime. Res64: 91A2EEC6746CAECC Time : 0.0 sec. user=mdettweiler [2015-10-26 12:08:35] 741*2^1413271-1 is not prime. Res64: 9E3EB3961E4543FA Time : 0.0 sec. user=mdettweiler [2015-10-26 12:08:35] 745*2^1413271-1 is not prime. Res64: B49336794F8848B4 Time : 0.0 sec. user=mdettweiler [2015-10-26 12:11:48] 829*2^1413271-1 is not prime. Res64: 19C28D6AD22165B3 Time : 0.0 sec. user=mdettweiler [2015-10-26 12:11:49] 895*2^1413271-1 is not prime. Res64: 9F1F3B9BE7A0A37F Time : 0.0 sec. user=mdettweiler [2015-10-26 12:26:02] 633*2^1413272-1 is not prime. Res64: 16C300445D8344BE Time : 0.0 sec. user=mdettweiler [2015-10-26 12:26:02] 975*2^1413271-1 is not prime. Res64: BD7D3953064BCA47 Time : 0.0 sec. user=mdettweiler [2015-10-26 12:26:02] 743*2^1413272-1 is not prime. Res64: C239A955CE708C81 Time : 0.0 sec. user=mdettweiler [2015-10-26 12:26:02] 993*2^1413271-1 is not prime. Res64: FEFFEA6331826640 Time : 0.0 sec. user=mdettweiler [2015-10-26 12:29:14] 833*2^1413272-1 is not prime. Res64: 6EBBF1D700F1D62A Time : 0.0 sec. user=mdettweiler [2015-10-26 12:29:14] 705*2^1413273-1 is not prime. Res64: 84B02C896CE0C8D0 Time : 0.0 sec. user=mdettweiler [2015-10-26 12:43:28] 681*2^1413274-1 is not prime. Res64: 350448AE6DFB8DB5 Time : 0.0 sec. user=mdettweiler [2015-10-26 12:43:28] 695*2^1413274-1 is not prime. Res64: 3F45A2A0B340A6FF Time : 0.0 sec. user=mdettweiler [2015-10-26 12:43:29] 937*2^1413273-1 is not prime. Res64: 1937FC69F7776D6F Time : 0.0 sec. user=mdettweiler [2015-10-26 12:43:30] 621*2^1413274-1 is not prime. Res64: 9FE514867835B240 Time : 0.0 sec. user=mdettweiler [2015-10-26 12:46:41] 755*2^1413274-1 is not prime. Res64: BC9EEB9C8BAF20B7 Time : 0.0 sec. user=mdettweiler [2015-10-26 12:46:41] 971*2^1413274-1 is not prime. Res64: 5A12BB73B55C067E Time : 0.0 sec. user=mdettweiler [2015-10-26 13:00:54] 705*2^1413275-1 is not prime. Res64: CAA6105B7B61C953 Time : 0.0 sec. user=mdettweiler [2015-10-26 13:00:56] 799*2^1413275-1 is not prime. Res64: CCD8D2814E4F0310 Time : 0.0 sec. user=mdettweiler [2015-10-26 13:00:56] 855*2^1413275-1 is not prime. Res64: B8CE30692DEE6567 Time : 0.0 sec. user=mdettweiler [2015-10-26 13:00:57] 871*2^1413275-1 is not prime. Res64: A315B87CA7B5B02E Time : 0.0 sec. user=mdettweiler [2015-10-26 13:04:07] 969*2^1413275-1 is not prime. Res64: 7693AFB8A9FEFEBE Time : 0.0 sec. user=mdettweiler [2015-10-26 13:04:08] 999*2^1413275-1 is not prime. Res64: BCE8A6115760ED95 Time : 0.0 sec. user=mdettweiler [2015-10-26 13:18:31] 623*2^1413276-1 is not prime. Res64: A965B6A0757EC18B Time : 0.0 sec. user=mdettweiler [2015-10-26 13:18:32] 633*2^1413276-1 is not prime. Res64: 18E0B9E6A4A55560 Time : 0.0 sec. user=mdettweiler [2015-10-26 13:18:32] 635*2^1413276-1 is not prime. Res64: 32CF7A28B9C71742 Time : 0.0 sec. user=mdettweiler [2015-10-26 13:18:32] 765*2^1413276-1 is not prime. Res64: C48D4BD63A6E2382 Time : 0.0 sec. user=mdettweiler [2015-10-26 13:21:35] 777*2^1413276-1 is not prime. Res64: D9270CFB1AE50A16 Time : 0.0 sec. user=mdettweiler [2015-10-26 13:21:35] 903*2^1413276-1 is not prime. Res64: 4BEEA7C6EF7D5F0C Time : 0.0 sec. user=mdettweiler [2015-10-26 13:35:57] 945*2^1413276-1 is not prime. Res64: 1435479722512E80 Time : 0.0 sec. user=mdettweiler [2015-10-26 13:35:58] 983*2^1413276-1 is not prime. Res64: 2CC99F0F90D05B82 Time : 0.0 sec. user=mdettweiler [2015-10-26 13:35:58] 649*2^1413277-1 is not prime. Res64: 02C5D846E3F1E064 Time : 0.0 sec. user=mdettweiler [2015-10-26 13:35:58] 747*2^1413277-1 is not prime. Res64: 06679561714EAC41 Time : 0.0 sec. user=mdettweiler [2015-10-26 13:39:01] 759*2^1413277-1 is not prime. Res64: 1FE6528FC97868F6 Time : 0.0 sec. user=mdettweiler [2015-10-26 13:39:01] 799*2^1413277-1 is not prime. Res64: E729EFC7431CE077 Time : 0.0 sec. user=mdettweiler [2015-10-26 13:53:24] 829*2^1413277-1 is not prime. Res64: 37B6382CE86530BD Time : 0.0 sec. user=mdettweiler [2015-10-26 13:53:24] 623*2^1413278-1 is not prime. Res64: 917607A15566E9FE Time : 0.0 sec. user=mdettweiler [2015-10-26 13:53:24] 605*2^1413278-1 is not prime. Res64: F1516BC10E1BFC5C Time : 0.0 sec. user=mdettweiler [2015-10-26 13:53:25] 705*2^1413278-1 is not prime. Res64: 0F140CE16FE28A80 Time : 0.0 sec. user=mdettweiler [2015-10-26 13:56:26] 755*2^1413278-1 is not prime. Res64: AD60C4F2351066F8 Time : 0.0 sec. user=mdettweiler [2015-10-26 13:56:26] 771*2^1413278-1 is not prime. Res64: C0504C5B18B4A286 Time : 0.0 sec. user=mdettweiler [2015-10-26 14:10:50] 927*2^1413278-1 is not prime. Res64: 2761440EE6BD3F64 Time : 0.0 sec. user=mdettweiler [2015-10-26 14:10:51] 791*2^1413278-1 is not prime. Res64: 9316043ABE0E8FCC Time : 0.0 sec. user=mdettweiler [2015-10-26 14:10:51] 649*2^1413279-1 is not prime. Res64: 9F5BD727A504D509 Time : 0.0 sec. user=mdettweiler [2015-10-26 14:10:51] 825*2^1413278-1 is not prime. Res64: 66C69A611157C6B8 Time : 0.0 sec. user=mdettweiler [2015-10-26 14:13:52] 679*2^1413279-1 is not prime. Res64: C1A5E020C141F850 Time : 0.0 sec. user=mdettweiler [2015-10-26 14:13:52] 741*2^1413279-1 is not prime. Res64: 8194B2DF4E136582 Time : 0.0 sec. user=mdettweiler [2015-10-26 14:28:19] 769*2^1413279-1 is not prime. Res64: DA7274983B2DC1B9 Time : 0.0 sec. user=mdettweiler [2015-10-26 14:28:19] 861*2^1413279-1 is not prime. Res64: F1FBD75122A9983F Time : 0.0 sec. user=mdettweiler [2015-10-26 14:28:19] 823*2^1413279-1 is not prime. Res64: FA32297616277537 Time : 0.0 sec. user=mdettweiler [2015-10-26 14:28:19] 891*2^1413279-1 is not prime. Res64: DDA6A85F86F180F1 Time : 0.0 sec. user=mdettweiler [2015-10-26 14:31:17] 909*2^1413279-1 is not prime. Res64: F5286190DCAB9BB3 Time : 0.0 sec. user=mdettweiler [2015-10-26 14:31:18] 605*2^1413280-1 is not prime. Res64: 6A63A2955C0B4302 Time : 0.0 sec. user=mdettweiler [2015-10-26 14:45:45] 635*2^1413280-1 is not prime. Res64: 6BD25D717033F809 Time : 0.0 sec. user=mdettweiler [2015-10-26 14:45:45] 785*2^1413280-1 is not prime. Res64: 4121257EE8F6DBBA Time : 0.0 sec. user=mdettweiler [2015-10-26 14:45:46] 653*2^1413280-1 is not prime. Res64: C7FB7F195711CA1D Time : 0.0 sec. user=mdettweiler [2015-10-26 14:45:46] 813*2^1413280-1 is not prime. Res64: DD39B031C75AC789 Time : 0.0 sec. user=mdettweiler [2015-10-26 14:48:44] 645*2^1413281-1 is not prime. Res64: 98860B828BF85868 Time : 0.0 sec. user=mdettweiler [2015-10-26 14:48:44] 735*2^1413281-1 is not prime. Res64: 5F292EF60B7C0D05 Time : 0.0 sec. user=mdettweiler [2015-10-26 15:03:11] 889*2^1413281-1 is not prime. Res64: CFBBB354987C4755 Time : 0.0 sec. user=mdettweiler [2015-10-26 15:03:12] 865*2^1413281-1 is not prime. Res64: 462A8955BCA65ADA Time : 0.0 sec. user=mdettweiler [2015-10-26 15:03:13] 957*2^1413281-1 is not prime. Res64: D96CBE5F94B2572A Time : 0.0 sec. user=mdettweiler [2015-10-26 15:03:13] 879*2^1413281-1 is not prime. Res64: 3C4F7D5377563EBF Time : 0.0 sec. user=mdettweiler [2015-10-26 15:06:09] 981*2^1413281-1 is not prime. Res64: 27320E220FD230E6 Time : 0.0 sec. user=mdettweiler [2015-10-26 15:06:10] 663*2^1413283-1 is not prime. Res64: B7BBB9C409236A23 Time : 0.0 sec. user=mdettweiler [2015-10-26 15:20:58] 675*2^1413283-1 is not prime. Res64: 755B6A5FD54C2BF7 Time : 0.0 sec. user=mdettweiler [2015-10-26 15:20:59] 709*2^1413283-1 is not prime. Res64: 5566D38011D5055D Time : 0.0 sec. user=mdettweiler [2015-10-26 15:20:59] 765*2^1413283-1 is not prime. Res64: 45598E94E016CCB1 Time : 0.0 sec. user=mdettweiler [2015-10-26 15:21:00] 789*2^1413283-1 is not prime. Res64: B3CDF8804ADF3310 Time : 0.0 sec. user=mdettweiler [2015-10-26 15:23:37] 793*2^1413283-1 is not prime. Res64: 0FA52CEA2EC2B5A7 Time : 0.0 sec. user=mdettweiler [2015-10-26 15:23:37] 859*2^1413283-1 is not prime. Res64: 57B851AE3EB77A86 Time : 0.0 sec. user=mdettweiler [2015-10-26 15:38:24] 895*2^1413283-1 is not prime. Res64: B8D5BF8B2A66EDFA Time : 0.0 sec. user=mdettweiler [2015-10-26 15:38:25] 919*2^1413283-1 is not prime. Res64: 1FBC0376E079F450 Time : 0.0 sec. user=mdettweiler [2015-10-26 15:38:26] 945*2^1413283-1 is not prime. Res64: 9558BE28C9FA4B12 Time : 0.0 sec. user=mdettweiler [2015-10-26 15:38:26] 973*2^1413283-1 is not prime. Res64: 93749BBD41864470 Time : 0.0 sec. user=mdettweiler [2015-10-26 15:41:02] 985*2^1413283-1 is not prime. Res64: 9AA2A164CA139E20 Time : 0.0 sec. user=mdettweiler [2015-10-26 15:41:02] 615*2^1413284-1 is not prime. Res64: 6712B99BB7799DEF Time : 0.0 sec. user=mdettweiler [2015-10-26 15:55:52] 935*2^1413284-1 is not prime. Res64: 0118D973AB859EAD Time : 0.0 sec. user=mdettweiler [2015-10-26 15:55:52] 625*2^1413285-1 is not prime. Res64: 8AF9DB722288F0AE Time : 0.0 sec. user=mdettweiler [2015-10-26 15:55:54] 803*2^1413284-1 is not prime. Res64: 10F6F0A6CC1F784E Time : 0.0 sec. user=mdettweiler [2015-10-26 15:55:54] 843*2^1413284-1 is not prime. Res64: ED374CBE35FE270F Time : 0.0 sec. user=mdettweiler [2015-10-26 15:58:32] 699*2^1413285-1 is not prime. Res64: 10A26A094AE8D09A Time : 0.0 sec. user=mdettweiler [2015-10-26 15:58:32] 861*2^1413285-1 is not prime. Res64: 256A5D65AECCFBF0 Time : 0.0 sec. user=mdettweiler [2015-10-26 16:13:18] 951*2^1413285-1 is not prime. Res64: 363F66AAB6ACDDFC Time : 0.0 sec. user=mdettweiler [2015-10-26 16:13:19] 979*2^1413285-1 is not prime. Res64: 94B10BF11C80D90F Time : 0.0 sec. user=mdettweiler [2015-10-26 16:13:22] 623*2^1413286-1 is not prime. Res64: 965E20CA560E68D2 Time : 0.0 sec. user=mdettweiler [2015-10-26 16:13:23] 657*2^1413286-1 is not prime. Res64: FD0F40D1D9072053 Time : 0.0 sec. user=mdettweiler [2015-10-26 16:16:01] 737*2^1413286-1 is not prime. Res64: 613E6049F41F8C15 Time : 0.0 sec. user=mdettweiler [2015-10-26 16:16:02] 743*2^1413286-1 is not prime. Res64: E2FBF4D2571DD9A9 Time : 0.0 sec. user=mdettweiler [2015-10-26 16:30:53] 773*2^1413286-1 is not prime. Res64: 55D6ED7BFCBD8EAE Time : 0.0 sec. user=mdettweiler [2015-10-26 16:30:54] 843*2^1413286-1 is not prime. Res64: EA459040F508D8C3 Time : 0.0 sec. user=mdettweiler [2015-10-26 16:30:55] 983*2^1413286-1 is not prime. Res64: 5776713BED7B9506 Time : 0.0 sec. user=mdettweiler [2015-10-26 16:30:56] 1001*2^1413286-1 is not prime. Res64: B9EC70F846883E7C Time : 0.0 sec. user=mdettweiler [2015-10-26 16:33:28] 669*2^1413287-1 is not prime. Res64: 4F40EDF927294152 Time : 0.0 sec. user=mdettweiler [2015-10-26 16:33:29] 693*2^1413287-1 is not prime. Res64: 3F49F893344A9566 Time : 0.0 sec. user=mdettweiler [2015-10-26 16:48:22] 711*2^1413287-1 is not prime. Res64: 7EC04B3F6EAB34CC Time : 0.0 sec. user=mdettweiler [2015-10-26 16:48:23] 885*2^1413287-1 is not prime. Res64: CCD76EB3AB406FE5 Time : 0.0 sec. user=mdettweiler [2015-10-26 16:48:24] 633*2^1413288-1 is not prime. Res64: 81F27D456F87C373 Time : 0.0 sec. user=mdettweiler [2015-10-26 16:48:24] 669*2^1413288-1 is not prime. Res64: 1ABEF4A9488A931E Time : 0.0 sec. user=mdettweiler [2015-10-26 16:50:57] 707*2^1413288-1 is not prime. Res64: 35D933421BCE55FC Time : 0.0 sec. user=mdettweiler [2015-10-26 16:50:58] 825*2^1413288-1 is not prime. Res64: 32EF2B1EA3B5349D Time : 0.0 sec. user=mdettweiler [2015-10-26 17:05:49] 845*2^1413288-1 is not prime. Res64: 244D1B00C34973C6 Time : 0.0 sec. user=mdettweiler [2015-10-26 17:05:50] 887*2^1413288-1 is not prime. Res64: 0B45177F9AF3F98E Time : 0.0 sec. user=mdettweiler [2015-10-26 17:05:53] 681*2^1413289-1 is not prime. Res64: 8104F8FFF6C34E8D Time : 0.0 sec. user=mdettweiler [2015-10-26 17:05:55] 705*2^1413289-1 is not prime. Res64: 25F275F9E757803E Time : 0.0 sec. user=mdettweiler [2015-10-26 17:08:26] 829*2^1413289-1 is not prime. Res64: 9D1071EF64C2CAF0 Time : 0.0 sec. user=mdettweiler [2015-10-26 17:08:26] 895*2^1413289-1 is not prime. Res64: 75AC78CA6A835513 Time : 0.0 sec. user=mdettweiler [2015-10-26 17:23:50] 831*2^1413290-1 is not prime. Res64: 177196FA07CBE6F7 Time : 0.0 sec. user=mdettweiler [2015-10-26 17:23:50] 833*2^1413290-1 is not prime. Res64: F11A0F9937DFAC46 Time : 0.0 sec. user=mdettweiler [2015-10-26 17:23:51] 857*2^1413290-1 is not prime. Res64: 33FF27ED53CD2C1B Time : 0.0 sec. user=mdettweiler [2015-10-26 17:23:51] 861*2^1413290-1 is not prime. Res64: D8D0B329338B5142 Time : 0.0 sec. user=mdettweiler [2015-10-26 17:25:53] 951*2^1413290-1 is not prime. Res64: 0D53710DE49E12FF Time : 0.0 sec. user=mdettweiler [2015-10-26 17:25:54] 709*2^1413291-1 is not prime. Res64: 6814E9CDEA718142 Time : 0.0 sec. user=mdettweiler [2015-10-26 17:41:18] 735*2^1413291-1 is not prime. Res64: 4ACA53AED4960449 Time : 0.0 sec. user=mdettweiler [2015-10-26 17:41:18] 859*2^1413291-1 is not prime. Res64: C329D6F677A8897E Time : 0.0 sec. user=mdettweiler [2015-10-26 17:41:18] 603*2^1413292-1 is not prime. Res64: 123018FECEA6B006 Time : 0.0 sec. user=mdettweiler [2015-10-26 17:41:19] 777*2^1413292-1 is not prime. Res64: 9CD600BF6C11EDC9 Time : 0.0 sec. user=mdettweiler [2015-10-26 17:43:20] 803*2^1413292-1 is not prime. Res64: 3274B02602675F92 Time : 0.0 sec. user=mdettweiler [2015-10-26 17:43:20] 903*2^1413292-1 is not prime. Res64: 48E4CB5FD47B33EC Time : 0.0 sec. user=mdettweiler [2015-10-26 17:58:45] 915*2^1413292-1 is not prime. Res64: 37FA4A780C1484DB Time : 0.0 sec. user=mdettweiler [2015-10-26 17:58:45] 989*2^1413292-1 is not prime. Res64: FBD65DD3B81697F4 Time : 0.0 sec. user=mdettweiler [2015-10-26 17:58:45] 983*2^1413292-1 is not prime. Res64: 2C53F0A527AC1047 Time : 0.0 sec. user=mdettweiler [2015-10-26 17:58:46] 657*2^1413293-1 is not prime. Res64: 36C5D958F12336C0 Time : 0.0 sec. user=mdettweiler [2015-10-26 18:00:47] 669*2^1413293-1 is not prime. Res64: 22990956E7735CAE Time : 0.0 sec. user=mdettweiler [2015-10-26 18:00:48] 805*2^1413293-1 is not prime. Res64: 32B4FFDBA751BDF2 Time : 0.0 sec. user=mdettweiler [2015-10-26 18:16:42] 927*2^1413293-1 is not prime. Res64: 859BF103ED7C0BCC Time : 0.0 sec. user=mdettweiler [2015-10-26 18:16:43] 951*2^1413293-1 is not prime. Res64: 3C6C5AE2A4588549 Time : 0.0 sec. user=mdettweiler [2015-10-26 18:16:43] 871*2^1413293-1 is not prime. Res64: 179A758D061DCA90 Time : 0.0 sec. user=mdettweiler [2015-10-26 18:16:44] 901*2^1413293-1 is not prime. Res64: AD0975C673656980 Time : 0.0 sec. user=mdettweiler [2015-10-26 18:18:43] 985*2^1413293-1 is not prime. Res64: 675F4739F82B47B4 Time : 0.0 sec. user=mdettweiler [2015-10-26 18:18:43] 663*2^1413294-1 is not prime. Res64: EF04782825334542 Time : 0.0 sec. user=mdettweiler [2015-10-26 18:35:51] 917*2^1413294-1 is not prime. Res64: 0C7660602F4609F4 Time : 0.0 sec. user=mdettweiler [2015-10-26 18:35:51] 921*2^1413294-1 is not prime. Res64: 3740078F7CBB8916 Time : 0.0 sec. user=mdettweiler [2015-10-26 18:35:54] 783*2^1413294-1 is not prime. Res64: 34041814E7A1EAA6 Time : 0.0 sec. user=mdettweiler [2015-10-26 18:35:55] 863*2^1413294-1 is not prime. Res64: 97079F2319A95C00 Time : 0.0 sec. user=mdettweiler [2015-10-26 18:38:04] 1001*2^1413294-1 is not prime. Res64: 44DFB75C800B0071 Time : 0.0 sec. user=mdettweiler [2015-10-26 18:38:04] 651*2^1413295-1 is not prime. Res64: 50FA51515B97CC08 Time : 0.0 sec. user=mdettweiler [2015-10-26 18:57:59] 709*2^1413295-1 is not prime. Res64: D71238C5777D74D2 Time : 0.0 sec. user=mdettweiler [2015-10-26 18:57:59] 735*2^1413295-1 is not prime. Res64: 822F5FFF341D711F Time : 0.0 sec. user=mdettweiler [2015-10-26 18:58:04] 741*2^1413295-1 is not prime. Res64: 114C3FDB8C5310C3 Time : 0.0 sec. user=mdettweiler [2015-10-26 18:58:05] 829*2^1413295-1 is not prime. Res64: A665E47263553817 Time : 0.0 sec. user=mdettweiler [2015-10-26 19:00:26] 939*2^1413295-1 is not prime. Res64: B459AC3541276CFF Time : 0.0 sec. user=mdettweiler [2015-10-26 19:00:27] 943*2^1413295-1 is not prime. Res64: 10918ADB9D060212 Time : 0.0 sec. user=mdettweiler [2015-10-26 19:20:09] 961*2^1413295-1 is not prime. Res64: 5A3A8F877A60E890 Time : 0.0 sec. user=mdettweiler [2015-10-26 19:20:09] 669*2^1413296-1 is not prime. Res64: EAA83AA95B105986 Time : 0.0 sec. user=mdettweiler [2015-10-26 19:20:11] 677*2^1413296-1 is not prime. Res64: 0E5D0A2A15FD3796 Time : 0.0 sec. user=mdettweiler [2015-10-26 19:20:11] 767*2^1413296-1 is not prime. Res64: 0E12063846CB11A0 Time : 0.0 sec. user=mdettweiler [2015-10-26 19:22:02] 839*2^1413296-1 is not prime. Res64: 57F1FA0D0792AA70 Time : 0.0 sec. user=mdettweiler [2015-10-26 19:22:03] 993*2^1413296-1 is not prime. Res64: 77C8D6BE8436EC5A Time : 0.0 sec. user=mdettweiler [2015-10-26 19:37:41] 691*2^1413297-1 is not prime. Res64: 7E67F7262489571C Time : 0.0 sec. user=mdettweiler [2015-10-26 19:37:42] 817*2^1413297-1 is not prime. Res64: 95239666F7ACCC6A Time : 0.0 sec. user=mdettweiler [2015-10-26 19:37:42] 803*2^1413298-1 is not prime. Res64: 1782F0FFBFD50FC8 Time : 0.0 sec. user=mdettweiler [2015-10-26 19:37:42] 813*2^1413298-1 is not prime. Res64: 13EAA016E084399F Time : 0.0 sec. user=mdettweiler [2015-10-26 19:39:37] 843*2^1413298-1 is not prime. Res64: 554C47D49A1E2FD6 Time : 0.0 sec. user=mdettweiler [2015-10-26 19:39:37] 887*2^1413298-1 is not prime. Res64: 8637C406599FDA60 Time : 0.0 sec. user=mdettweiler [2015-10-26 19:55:45] 735*2^1413299-1 is not prime. Res64: 20F85618352354E5 Time : 0.0 sec. user=mdettweiler [2015-10-26 19:55:45] 949*2^1413299-1 is not prime. Res64: A3C953DFACC35BE2 Time : 0.0 sec. user=mdettweiler [2015-10-26 19:55:49] 923*2^1413298-1 is not prime. Res64: 9853A3A56B8C1F0E Time : 0.0 sec. user=mdettweiler [2015-10-26 19:55:50] 987*2^1413298-1 is not prime. Res64: 854FBE84CEAC341E Time : 0.0 sec. user=mdettweiler [2015-10-26 19:57:35] 985*2^1413299-1 is not prime. Res64: 64D5EFB848EA0C74 Time : 0.0 sec. user=mdettweiler [2015-10-26 19:57:35] 993*2^1413299-1 is not prime. Res64: A4C341C886A6D613 Time : 0.0 sec. user=mdettweiler [2015-10-26 20:13:40] 737*2^1413300-1 is not prime. Res64: C8AD05D64AB3937C Time : 0.0 sec. user=mdettweiler [2015-10-26 20:13:40] 875*2^1413300-1 is not prime. Res64: 421B23F0429F3A81 Time : 0.0 sec. user=mdettweiler [2015-10-26 20:13:50] 893*2^1413300-1 is not prime. Res64: 662A5F15638931DE Time : 0.0 sec. user=mdettweiler [2015-10-26 20:13:50] 899*2^1413300-1 is not prime. Res64: 6960A0B8BBD04132 Time : 0.0 sec. user=mdettweiler [2015-10-26 20:15:35] 965*2^1413300-1 is not prime. Res64: 294AAD48E1122EDD Time : 0.0 sec. user=mdettweiler [2015-10-26 20:15:35] 679*2^1413301-1 is not prime. Res64: 761880AA3EE32A7B Time : 0.0 sec. user=mdettweiler [2015-10-26 20:31:47] 717*2^1413301-1 is not prime. Res64: 0581F3239A70BEF5 Time : 0.0 sec. user=mdettweiler [2015-10-26 20:31:47] 895*2^1413301-1 is not prime. Res64: 5C6499D1E9760ACE Time : 0.0 sec. user=mdettweiler [2015-10-26 20:31:52] 931*2^1413301-1 is not prime. Res64: 1405304CB367D61B Time : 0.0 sec. user=mdettweiler [2015-10-26 20:31:52] 979*2^1413301-1 is not prime. Res64: FD316C2E4F45596D Time : 0.0 sec. user=mdettweiler [2015-10-26 20:33:33] 603*2^1413302-1 is not prime. Res64: 99CA08D64A1F7E8C Time : 0.0 sec. user=mdettweiler [2015-10-26 20:33:34] 635*2^1413302-1 is not prime. Res64: C934EC1FFD59CEC6 Time : 0.0 sec. user=mdettweiler [2015-10-26 20:49:40] 827*2^1413302-1 is not prime. Res64: A9246998B6F3866D Time : 0.0 sec. user=mdettweiler [2015-10-26 20:49:41] 977*2^1413302-1 is not prime. Res64: 5B81E58D95FCAEE2 Time : 0.0 sec. user=mdettweiler [2015-10-26 20:49:50] 981*2^1413302-1 is not prime. Res64: EB67D8C76828153B Time : 0.0 sec. user=mdettweiler [2015-10-26 20:49:50] 1001*2^1413302-1 is not prime. Res64: DC1CE43954D5F135 Time : 0.0 sec. user=mdettweiler [2015-10-26 20:51:30] 663*2^1413303-1 is not prime. Res64: 7A12669F814F7133 Time : 0.0 sec. user=mdettweiler [2015-10-26 20:51:31] 735*2^1413303-1 is not prime. Res64: BA5ADFA65725167D Time : 0.0 sec. user=mdettweiler [2015-10-26 21:07:43] 781*2^1413303-1 is not prime. Res64: 73DC989F2C4ACA9B Time : 0.0 sec. user=mdettweiler [2015-10-26 21:07:44] 831*2^1413303-1 is not prime. Res64: 033A157F0B08210D Time : 0.0 sec. user=mdettweiler [2015-10-26 21:07:53] 879*2^1413303-1 is not prime. Res64: 82DD94D9D409C06E Time : 0.0 sec. user=mdettweiler [2015-10-26 21:07:53] 961*2^1413303-1 is not prime. Res64: 7AA9242B50A5F04E Time : 0.0 sec. user=mdettweiler [2015-10-26 21:09:34] 609*2^1413304-1 is not prime. Res64: 221FB50781476968 Time : 0.0 sec. user=mdettweiler [2015-10-26 21:09:34] 663*2^1413304-1 is not prime. Res64: DE4301ADC3C852AD Time : 0.0 sec. user=mdettweiler [2015-10-26 21:25:51] 675*2^1413304-1 is not prime. Res64: 706E45F59DA72709 Time : 0.0 sec. user=mdettweiler [2015-10-26 21:25:52] 677*2^1413304-1 is not prime. Res64: EF942BCC332E09F5 Time : 0.0 sec. user=mdettweiler [2015-10-26 21:25:57] 863*2^1413304-1 is not prime. Res64: CE543E0C199059DE Time : 0.0 sec. user=mdettweiler [2015-10-26 21:25:57] 869*2^1413304-1 is not prime. Res64: 67B15BEEE0F27858 Time : 0.0 sec. user=mdettweiler [2015-10-26 21:27:38] 909*2^1413304-1 is not prime. Res64: 683D3F09F434EDF7 Time : 0.0 sec. user=mdettweiler [2015-10-26 21:27:39] 947*2^1413304-1 is not prime. Res64: 4B772DDFD11C74AC Time : 0.0 sec. user=mdettweiler [2015-10-26 21:43:51] 965*2^1413304-1 is not prime. Res64: ACB76B2654C79F70 Time : 0.0 sec. user=mdettweiler [2015-10-26 21:43:51] 975*2^1413304-1 is not prime. Res64: 3BAB0B7C0031CB96 Time : 0.0 sec. user=mdettweiler [2015-10-26 21:43:55] 993*2^1413304-1 is not prime. Res64: 8B3EDC9D5F4AD25A Time : 0.0 sec. user=mdettweiler [2015-10-26 21:43:55] 657*2^1413305-1 is not prime. Res64: 52147321C00F288E Time : 0.0 sec. user=mdettweiler [2015-10-26 21:45:36] 675*2^1413305-1 is not prime. Res64: 3FCE3DB99104C4E0 Time : 0.0 sec. user=mdettweiler [2015-10-26 21:45:36] 715*2^1413305-1 is not prime. Res64: C7932DC6C88609B6 Time : 0.0 sec. user=mdettweiler [2015-10-26 22:01:43] 847*2^1413305-1 is not prime. Res64: 27FDDFE4EC44E704 Time : 0.0 sec. user=mdettweiler [2015-10-26 22:01:44] 897*2^1413305-1 is not prime. Res64: ECD9F2CEBB27DD81 Time : 0.0 sec. user=mdettweiler [2015-10-26 22:01:47] 915*2^1413305-1 is not prime. Res64: 22D7C827F31FC84A Time : 0.0 sec. user=mdettweiler [2015-10-26 22:01:48] 939*2^1413305-1 is not prime. Res64: 402C53896D14395A Time : 0.0 sec. user=mdettweiler [2015-10-26 22:03:25] 955*2^1413305-1 is not prime. Res64: 8B69DAAF1328F104 Time : 0.0 sec. user=mdettweiler [2015-10-26 22:03:26] 683*2^1413306-1 is not prime. Res64: 3C944A823FE15136 Time : 0.0 sec. user=mdettweiler [2015-10-26 22:19:22] 695*2^1413306-1 is not prime. Res64: F1AF534055F47616 Time : 0.0 sec. user=mdettweiler [2015-10-26 22:19:22] 821*2^1413306-1 is not prime. Res64: 19131F0C346DA8EF Time : 0.0 sec. user=mdettweiler [2015-10-26 22:19:23] 833*2^1413306-1 is not prime. Res64: 8F1B9A00A3098CC7 Time : 0.0 sec. user=mdettweiler [2015-10-26 22:19:24] 873*2^1413306-1 is not prime. Res64: 875F59CBB2B91A9E Time : 0.0 sec. user=mdettweiler [2015-10-26 22:20:54] 917*2^1413306-1 is not prime. Res64: 6B3FB5A7A5AA9F1A Time : 0.0 sec. user=mdettweiler [2015-10-26 22:20:55] 921*2^1413306-1 is not prime. Res64: C7C48B769D577B4F Time : 0.0 sec. user=mdettweiler [2015-10-26 22:36:50] 983*2^1413306-1 is not prime. Res64: CE3584C3215330DE Time : 0.0 sec. user=mdettweiler [2015-10-26 22:36:50] 615*2^1413307-1 is not prime. Res64: C744934697B0D3BF Time : 0.0 sec. user=mdettweiler [2015-10-26 22:36:53] 631*2^1413307-1 is not prime. Res64: 501A1FC33901BF81 Time : 0.0 sec. user=mdettweiler [2015-10-26 22:36:53] 681*2^1413307-1 is not prime. Res64: 1DD81B369D6F2218 Time : 0.0 sec. user=mdettweiler [2015-10-26 22:38:20] 699*2^1413307-1 is not prime. Res64: 377FEC7282127547 Time : 0.0 sec. user=mdettweiler [2015-10-26 22:38:20] 813*2^1413307-1 is not prime. Res64: 381BFBD886CC2625 Time : 0.0 sec. user=mdettweiler [2015-10-26 22:54:14] 885*2^1413307-1 is not prime. Res64: E7F1AFD9B62F8B7A Time : 0.0 sec. user=mdettweiler [2015-10-26 22:54:15] 925*2^1413307-1 is not prime. Res64: 73CBCFA4405519D9 Time : 0.0 sec. user=mdettweiler [2015-10-26 22:54:18] 939*2^1413307-1 is not prime. Res64: C9129AF3CDEDFF70 Time : 0.0 sec. user=mdettweiler [2015-10-26 22:54:18] 633*2^1413308-1 is not prime. Res64: 539C96E77900E161 Time : 0.0 sec. user=mdettweiler [2015-10-26 22:55:45] 659*2^1413308-1 is not prime. Res64: D0B4A7EF8D967A27 Time : 0.0 sec. user=mdettweiler [2015-10-26 22:55:45] 669*2^1413308-1 is not prime. Res64: 7AE4D63841062ED8 Time : 0.0 sec. user=mdettweiler [2015-10-26 23:11:40] 735*2^1413308-1 is not prime. Res64: CA50D00477F2DA05 Time : 0.0 sec. user=mdettweiler [2015-10-26 23:11:41] 773*2^1413308-1 is not prime. Res64: 2EC2E463A3FCF2F5 Time : 0.0 sec. user=mdettweiler [2015-10-26 23:11:46] 797*2^1413308-1 is not prime. Res64: 4E339E3792B2F152 Time : 0.0 sec. user=mdettweiler [2015-10-26 23:11:47] 839*2^1413308-1 is not prime. Res64: CD2322AEDEBDABC9 Time : 0.0 sec. user=mdettweiler [2015-10-26 23:13:14] 867*2^1413308-1 is not prime. Res64: 4DF087CDB799D61A Time : 0.0 sec. user=mdettweiler [2015-10-26 23:13:15] 923*2^1413308-1 is not prime. Res64: 4497908F6A1C3407 Time : 0.0 sec. user=mdettweiler [2015-10-26 23:29:16] 927*2^1413308-1 is not prime. Res64: 7E9CCDB6129F1CBE Time : 0.0 sec. user=mdettweiler [2015-10-26 23:29:16] 995*2^1413308-1 is not prime. Res64: B8C7EDC059DA6827 Time : 0.0 sec. user=mdettweiler [2015-10-26 23:29:18] 625*2^1413309-1 is not prime. Res64: 3AC1AF826CE66A09 Time : 0.0 sec. user=mdettweiler [2015-10-26 23:29:18] 661*2^1413309-1 is not prime. Res64: 2F1F121961AD519D Time : 0.0 sec. user=mdettweiler [2015-10-26 23:30:43] 685*2^1413309-1 is not prime. Res64: 8A9B0B173AF2C9E5 Time : 0.0 sec. user=mdettweiler [2015-10-26 23:30:44] 727*2^1413309-1 is not prime. Res64: 94C4B2FDD5A25BFB Time : 0.0 sec. user=mdettweiler [2015-10-26 23:46:42] 955*2^1413309-1 is not prime. Res64: 5D85297F0D8C60AA Time : 0.0 sec. user=mdettweiler [2015-10-26 23:46:43] 991*2^1413309-1 is not prime. Res64: 7166AC5BDDC099B1 Time : 0.0 sec. user=mdettweiler [2015-10-26 23:46:44] 761*2^1413310-1 is not prime. Res64: A123FC6154108E00 Time : 0.0 sec. user=mdettweiler [2015-10-26 23:46:44] 783*2^1413310-1 is not prime. Res64: 7FCAB227B6755B32 Time : 0.0 sec. user=mdettweiler [2015-10-26 23:48:09] 885*2^1413310-1 is not prime. Res64: 139699239F78B86B Time : 0.0 sec. user=mdettweiler [2015-10-26 23:48:10] 917*2^1413310-1 is not prime. Res64: 48112984E85DC243 Time : 0.0 sec.