user=mdettweiler [2015-10-06 00:08:08] 693*2^1411166-1 is not prime. Res64: D8290D915FCA3123 Time : 0.0 sec. user=mdettweiler [2015-10-06 00:08:10] 713*2^1411166-1 is not prime. Res64: 46F490000EF1FFE3 Time : 0.0 sec. user=mdettweiler [2015-10-06 00:11:02] 833*2^1411166-1 is not prime. Res64: 276602720EB8A0D9 Time : 0.0 sec. user=mdettweiler [2015-10-06 00:11:02] 875*2^1411166-1 is not prime. Res64: FF7A6AE945B406FC Time : 0.0 sec. user=mdettweiler [2015-10-06 00:11:24] 887*2^1411166-1 is not prime. Res64: 4E7006964BB670BB Time : 0.0 sec. user=mdettweiler [2015-10-06 00:11:24] 923*2^1411166-1 is not prime. Res64: F3C7D5F7E1825F92 Time : 0.0 sec. user=mdettweiler [2015-10-06 00:11:57] 941*2^1411166-1 is not prime. Res64: B4F4C2E6E3CFDDC1 Time : 0.0 sec. user=mdettweiler [2015-10-06 00:11:57] 633*2^1411167-1 is not prime. Res64: A9186322929CF5AD Time : 0.0 sec. user=mdettweiler [2015-10-06 00:26:36] 693*2^1411167-1 is not prime. Res64: 0FD01619E1D1912F Time : 0.0 sec. user=mdettweiler [2015-10-06 00:26:36] 769*2^1411167-1 is not prime. Res64: 3B7504B2BBDDB012 Time : 0.0 sec. user=mdettweiler [2015-10-06 00:29:14] 961*2^1411167-1 is not prime. Res64: CF4F15424EA2FFE7 Time : 0.0 sec. user=mdettweiler [2015-10-06 00:29:15] 963*2^1411167-1 is not prime. Res64: 18B246FDF03EDC58 Time : 0.0 sec. user=mdettweiler [2015-10-06 00:29:37] 603*2^1411168-1 is not prime. Res64: 2E81CA6E9E5989EF Time : 0.0 sec. user=mdettweiler [2015-10-06 00:29:37] 623*2^1411168-1 is not prime. Res64: 2F79A65F8AD80887 Time : 0.0 sec. user=mdettweiler [2015-10-06 00:30:12] 635*2^1411168-1 is not prime. Res64: 161604352E75573C Time : 0.0 sec. user=mdettweiler [2015-10-06 00:30:12] 639*2^1411168-1 is not prime. Res64: BEF26BD568E7BB82 Time : 0.0 sec. user=mdettweiler [2015-10-06 00:44:38] 677*2^1411168-1 is not prime. Res64: 0CDF85196FAD72F6 Time : 0.0 sec. user=mdettweiler [2015-10-06 00:44:38] 755*2^1411168-1 is not prime. Res64: 920CDF903417DF39 Time : 0.0 sec. user=mdettweiler [2015-10-06 00:47:02] 819*2^1411168-1 is not prime. Res64: 788796D920805D93 Time : 0.0 sec. user=mdettweiler [2015-10-06 00:47:02] 869*2^1411168-1 is not prime. Res64: 8E27E12AA4B534F2 Time : 0.0 sec. user=mdettweiler [2015-10-06 00:47:29] 957*2^1411168-1 is not prime. Res64: 0969E28ECAC10816 Time : 0.0 sec. user=mdettweiler [2015-10-06 00:47:29] 989*2^1411168-1 is not prime. Res64: A60089634F9491CA Time : 0.0 sec. user=mdettweiler [2015-10-06 00:48:03] 627*2^1411169-1 is not prime. Res64: D196830491F2C3B2 Time : 0.0 sec. user=mdettweiler [2015-10-06 00:48:03] 657*2^1411169-1 is not prime. Res64: FC843D5EFBE4F320 Time : 0.0 sec. user=mdettweiler [2015-10-06 01:02:27] 829*2^1411169-1 is not prime. Res64: 913F7FEB9BF1948D Time : 0.0 sec. user=mdettweiler [2015-10-06 01:02:29] 837*2^1411169-1 is not prime. Res64: 1189BF92EBFC5221 Time : 0.0 sec. user=mdettweiler [2015-10-06 01:04:50] 867*2^1411169-1 is not prime. Res64: FD7D776893CE3254 Time : 0.0 sec. user=mdettweiler [2015-10-06 01:04:51] 889*2^1411169-1 is not prime. Res64: 01C3E6127A9CC745 Time : 0.0 sec. user=mdettweiler [2015-10-06 01:05:23] 797*2^1411170-1 is not prime. Res64: 6AEBC767B3205038 Time : 0.0 sec. user=mdettweiler [2015-10-06 01:05:23] 803*2^1411170-1 is not prime. Res64: F65589C366F781D3 Time : 0.0 sec. user=mdettweiler [2015-10-06 01:05:58] 891*2^1411170-1 is not prime. Res64: 6C829C6DFE642909 Time : 0.0 sec. user=mdettweiler [2015-10-06 01:05:59] 905*2^1411170-1 is not prime. Res64: 8A2CEB199FBB06A7 Time : 0.0 sec. user=mdettweiler [2015-10-06 01:20:26] 927*2^1411170-1 is not prime. Res64: 02C5D8F5244E9069 Time : 0.0 sec. user=mdettweiler [2015-10-06 01:20:26] 1001*2^1411170-1 is not prime. Res64: 1C398841FDA29A62 Time : 0.0 sec. user=mdettweiler [2015-10-06 01:22:45] 625*2^1411171-1 is not prime. Res64: D046AA129F3CFF59 Time : 0.0 sec. user=mdettweiler [2015-10-06 01:22:45] 769*2^1411171-1 is not prime. Res64: ADEA7098175ADF8A Time : 0.0 sec. user=mdettweiler [2015-10-06 01:23:10] 861*2^1411171-1 is not prime. Res64: 56317D463F6700BE Time : 0.0 sec. user=mdettweiler [2015-10-06 01:23:10] 871*2^1411171-1 is not prime. Res64: 988FF89CC1296935 Time : 0.0 sec. user=mdettweiler [2015-10-06 01:23:45] 951*2^1411171-1 is not prime. Res64: A3DAFFCFBF91A469 Time : 0.0 sec. user=mdettweiler [2015-10-06 01:23:46] 669*2^1411172-1 is not prime. Res64: E01F812FA9C3A6A5 Time : 0.0 sec. user=mdettweiler [2015-10-06 01:38:10] 683*2^1411172-1 is not prime. Res64: FF8F50273B8CBEAC Time : 0.0 sec. user=mdettweiler [2015-10-06 01:38:11] 735*2^1411172-1 is not prime. Res64: B5024F5C56001297 Time : 0.0 sec. user=mdettweiler [2015-10-06 01:40:37] 759*2^1411172-1 is not prime. Res64: B305C89BECDC6F63 Time : 0.0 sec. user=mdettweiler [2015-10-06 01:40:37] 833*2^1411172-1 is not prime. Res64: 736AF2DCD095CD9D Time : 0.0 sec. user=mdettweiler [2015-10-06 01:40:58] 837*2^1411172-1 is not prime. Res64: 608AFD006AD1F961 Time : 0.0 sec. user=mdettweiler [2015-10-06 01:40:58] 893*2^1411172-1 is not prime. Res64: 7B7CE10D9E951E85 Time : 0.0 sec. user=mdettweiler [2015-10-06 01:41:38] 945*2^1411172-1 is not prime. Res64: C9E925FF288F742D Time : 0.0 sec. user=mdettweiler [2015-10-06 01:41:38] 957*2^1411172-1 is not prime. Res64: F51A9B4BE6929FD9 Time : 0.0 sec. user=mdettweiler [2015-10-06 01:56:04] 609*2^1411173-1 is not prime. Res64: A03CF08EB782B018 Time : 0.0 sec. user=mdettweiler [2015-10-06 01:56:05] 621*2^1411173-1 is not prime. Res64: 8BFCD3C63BFB40D0 Time : 0.0 sec. user=mdettweiler [2015-10-06 01:58:28] 627*2^1411173-1 is not prime. Res64: E880EDA6AA4994A5 Time : 0.0 sec. user=mdettweiler [2015-10-06 01:58:28] 681*2^1411173-1 is not prime. Res64: 98366539B4C1C65F Time : 0.0 sec. user=mdettweiler [2015-10-06 01:58:43] 727*2^1411173-1 is not prime. Res64: 096EAE44CAB069E2 Time : 0.0 sec. user=mdettweiler [2015-10-06 01:58:44] 741*2^1411173-1 is not prime. Res64: 78663AE1A6F498F8 Time : 0.0 sec. user=mdettweiler [2015-10-06 01:59:20] 811*2^1411173-1 is not prime. Res64: 4CE2EB3363B071D4 Time : 0.0 sec. user=mdettweiler [2015-10-06 01:59:21] 847*2^1411173-1 is not prime. Res64: B2FB9EB76604C747 Time : 0.0 sec. user=mdettweiler [2015-10-06 02:15:20] 867*2^1411173-1 is not prime. Res64: 1E838F088CBE78EC Time : 0.0 sec. user=mdettweiler [2015-10-06 02:15:21] 901*2^1411173-1 is not prime. Res64: 483A2AF4EA97CA6E Time : 0.0 sec. user=mdettweiler [2015-10-06 02:17:06] 741*2^1411174-1 is not prime. Res64: 5963E57D4725311E Time : 0.0 sec. user=mdettweiler [2015-10-06 02:17:06] 825*2^1411174-1 is not prime. Res64: 600930F48E4241B8 Time : 0.0 sec. user=mdettweiler [2015-10-06 02:17:10] 605*2^1411174-1 is not prime. Res64: EE0FFEFDE677C4B6 Time : 0.0 sec. user=mdettweiler [2015-10-06 02:17:11] 665*2^1411174-1 is not prime. Res64: 45D689756FDC6633 Time : 0.0 sec. user=mdettweiler [2015-10-06 02:17:57] 831*2^1411174-1 is not prime. Res64: F7BA9F4B7DE354AD Time : 0.0 sec. user=mdettweiler [2015-10-06 02:17:57] 885*2^1411174-1 is not prime. Res64: 7CA3550DE4B03CED Time : 0.0 sec. user=mdettweiler [2015-10-06 02:33:12] 993*2^1411174-1 is not prime. Res64: FFBAA7764EA4DD57 Time : 0.0 sec. user=mdettweiler [2015-10-06 02:33:13] 609*2^1411175-1 is not prime. Res64: D87D28765ECCC699 Time : 0.0 sec. user=mdettweiler [2015-10-06 02:34:52] 789*2^1411175-1 is not prime. Res64: FBDD5C0AB28118BB Time : 0.0 sec. user=mdettweiler [2015-10-06 02:34:52] 705*2^1411175-1 is not prime. Res64: 71E87B3ECA13A5DE Time : 0.0 sec. user=mdettweiler [2015-10-06 02:34:53] 843*2^1411175-1 is not prime. Res64: 5E72AD374D1B7433 Time : 0.0 sec. user=mdettweiler [2015-10-06 02:34:53] 783*2^1411175-1 is not prime. Res64: 8303C7B0BE305566 Time : 0.0 sec. user=mdettweiler [2015-10-06 02:35:46] 949*2^1411175-1 is not prime. Res64: FB1950D02F906B5E Time : 0.0 sec. user=mdettweiler [2015-10-06 02:35:47] 981*2^1411175-1 is not prime. Res64: F2AD22A9125EBB9F Time : 0.0 sec. user=mdettweiler [2015-10-06 02:51:08] 985*2^1411175-1 is not prime. Res64: 9E932592955A899E Time : 0.0 sec. user=mdettweiler [2015-10-06 02:51:08] 999*2^1411175-1 is not prime. Res64: AD0D5BAF3D68BB80 Time : 0.0 sec. user=mdettweiler [2015-10-06 02:52:46] 887*2^1411176-1 is not prime. Res64: FB966C69CBAAD36E Time : 0.0 sec. user=mdettweiler [2015-10-06 02:52:46] 909*2^1411176-1 is not prime. Res64: CDE3FB2C2DB93322 Time : 0.0 sec. user=mdettweiler [2015-10-06 02:52:54] 693*2^1411176-1 is not prime. Res64: EB5B604C434C4E2F Time : 0.0 sec. user=mdettweiler [2015-10-06 02:52:55] 815*2^1411176-1 is not prime. Res64: 65FA5CC908A7D0C5 Time : 0.0 sec. user=mdettweiler [2015-10-06 02:53:35] 729*2^1411177-1 is not prime. Res64: 582D0134D99A6285 Time : 0.0 sec. user=mdettweiler [2015-10-06 02:53:35] 777*2^1411177-1 is not prime. Res64: 28523A2B5F70130A Time : 0.0 sec. user=mdettweiler [2015-10-06 03:09:05] 885*2^1411177-1 is not prime. Res64: D274546B86B24A7C Time : 0.0 sec. user=mdettweiler [2015-10-06 03:09:08] 603*2^1411178-1 is not prime. Res64: C9F09CD20AC1605A Time : 0.0 sec. user=mdettweiler [2015-10-06 03:10:40] 633*2^1411178-1 is not prime. Res64: CD1A8A1BB4A7092B Time : 0.0 sec. user=mdettweiler [2015-10-06 03:10:41] 635*2^1411178-1 is not prime. Res64: ABB0786487229ACE Time : 0.0 sec. user=mdettweiler [2015-10-06 03:10:53] 665*2^1411178-1 is not prime. Res64: D785C92ECE68AA36 Time : 0.0 sec. user=mdettweiler [2015-10-06 03:10:56] 705*2^1411178-1 is not prime. Res64: F5A05CC86B44036A Time : 0.0 sec. user=mdettweiler [2015-10-06 03:11:24] 707*2^1411178-1 is not prime. Res64: AD2E18EFE7D9F1C8 Time : 0.0 sec. user=mdettweiler [2015-10-06 03:11:28] 713*2^1411178-1 is not prime. Res64: 0AA822A91F6FBC2F Time : 0.0 sec. user=mdettweiler [2015-10-06 03:27:21] 753*2^1411178-1 is not prime. Res64: A9A6249DB74F05CD Time : 0.0 sec. user=mdettweiler [2015-10-06 03:27:22] 845*2^1411178-1 is not prime. Res64: AD3F2609B158F56A Time : 0.0 sec. user=mdettweiler [2015-10-06 03:28:31] 893*2^1411178-1 is not prime. Res64: 30674A2D25967B45 Time : 0.0 sec. user=mdettweiler [2015-10-06 03:28:31] 665*2^1411180-1 is not prime. Res64: 193F4F6859384811 Time : 0.0 sec. user=mdettweiler [2015-10-06 03:28:51] 675*2^1411180-1 is not prime. Res64: 77BA0581DF06E7ED Time : 0.0 sec. user=mdettweiler [2015-10-06 03:28:51] 735*2^1411180-1 is not prime. Res64: F04A77FA8DA2579A Time : 0.0 sec. user=mdettweiler [2015-10-06 03:29:20] 765*2^1411180-1 is not prime. Res64: 33FD68DA777B823B Time : 0.0 sec. user=mdettweiler [2015-10-06 03:29:21] 785*2^1411180-1 is not prime. Res64: 84C66893AE8B7829 Time : 0.0 sec. user=mdettweiler [2015-10-06 03:45:14] 825*2^1411180-1 is not prime. Res64: D017E034D80ADAAC Time : 0.0 sec. user=mdettweiler [2015-10-06 03:45:17] 873*2^1411180-1 is not prime. Res64: F8C9899CFD129E26 Time : 0.0 sec. user=mdettweiler [2015-10-06 03:46:15] 987*2^1411180-1 is not prime. Res64: 57C7ABA40AFBB9E5 Time : 0.0 sec. user=mdettweiler [2015-10-06 03:46:16] 615*2^1411181-1 is not prime. Res64: AB02B639F7D59339 Time : 0.0 sec. user=mdettweiler [2015-10-06 03:46:40] 631*2^1411181-1 is not prime. Res64: 29A61E89A95D049E Time : 0.0 sec. user=mdettweiler [2015-10-06 03:46:42] 651*2^1411181-1 is not prime. Res64: 8E31AFAA43613CE8 Time : 0.0 sec. user=mdettweiler [2015-10-06 03:47:03] 769*2^1411181-1 is not prime. Res64: 6BBB08A918D03752 Time : 0.0 sec. user=mdettweiler [2015-10-06 03:47:06] 795*2^1411181-1 is not prime. Res64: 083BCDF7C293BDB3 Time : 0.0 sec. user=mdettweiler [2015-10-06 04:03:35] 829*2^1411181-1 is not prime. Res64: E6AA82B2DA978A50 Time : 0.0 sec. user=mdettweiler [2015-10-06 04:03:36] 837*2^1411181-1 is not prime. Res64: F0E0A2E9F68F5E8B Time : 0.0 sec. user=mdettweiler [2015-10-06 04:04:04] 737*2^1411182-1 is not prime. Res64: 96E52840C3C9DA32 Time : 0.0 sec. user=mdettweiler [2015-10-06 04:04:05] 755*2^1411182-1 is not prime. Res64: 211A565D163BC2F1 Time : 0.0 sec. user=mdettweiler [2015-10-06 04:04:29] 765*2^1411182-1 is not prime. Res64: FC15A365BEBD68ED Time : 0.0 sec. user=mdettweiler [2015-10-06 04:04:30] 801*2^1411182-1 is not prime. Res64: 77B551EF28FAD071 Time : 0.0 sec. user=mdettweiler [2015-10-06 04:04:49] 843*2^1411182-1 is not prime. Res64: EDCCBF293D56769E Time : 0.0 sec. user=mdettweiler [2015-10-06 04:04:50] 873*2^1411182-1 is not prime. Res64: E7DFDF787E104B3D Time : 0.0 sec. user=mdettweiler [2015-10-06 04:21:32] 885*2^1411182-1 is not prime. Res64: 8F99EBDBD8B0446C Time : 0.0 sec. user=mdettweiler [2015-10-06 04:21:32] 977*2^1411182-1 is not prime. Res64: 54925FBF629D2644 Time : 0.0 sec. user=mdettweiler [2015-10-06 04:21:52] 709*2^1411183-1 is not prime. Res64: 2EE4B89E8BAF1572 Time : 0.0 sec. user=mdettweiler [2015-10-06 04:21:52] 723*2^1411183-1 is not prime. Res64: 4450162C8A93241E Time : 0.0 sec. user=mdettweiler [2015-10-06 04:22:19] 793*2^1411183-1 is not prime. Res64: D05EEFE8E437C70B Time : 0.0 sec. user=mdettweiler [2015-10-06 04:22:20] 871*2^1411183-1 is not prime. Res64: A59983B2796DE14C Time : 0.0 sec. user=mdettweiler [2015-10-06 04:22:37] 945*2^1411183-1 is not prime. Res64: 2B76D9989E00144F Time : 0.0 sec. user=mdettweiler [2015-10-06 04:22:38] 951*2^1411183-1 is not prime. Res64: 66FE3D35CDD872B4 Time : 0.0 sec. user=mdettweiler [2015-10-06 04:39:19] 973*2^1411183-1 is not prime. Res64: 42FFB287FE394C82 Time : 0.0 sec. user=mdettweiler [2015-10-06 04:39:19] 993*2^1411183-1 is not prime. Res64: 6A94C1DE020FF753 Time : 0.0 sec. user=mdettweiler [2015-10-06 04:39:38] 999*2^1411183-1 is not prime. Res64: 53CD725C38361E9B Time : 0.0 sec. user=mdettweiler [2015-10-06 04:39:39] 617*2^1411184-1 is not prime. Res64: AFE3E815D67A131E Time : 0.0 sec. user=mdettweiler [2015-10-06 04:40:14] 659*2^1411184-1 is not prime. Res64: CFB2A49DD9843176 Time : 0.0 sec. user=mdettweiler [2015-10-06 04:40:15] 699*2^1411184-1 is not prime. Res64: 4B0AB800B66A524F Time : 0.0 sec. user=mdettweiler [2015-10-06 04:40:25] 873*2^1411184-1 is not prime. Res64: 1FC2FB1401FB737B Time : 0.0 sec. user=mdettweiler [2015-10-06 04:40:26] 935*2^1411184-1 is not prime. Res64: 63CF2F5177FC011B Time : 0.0 sec. user=mdettweiler [2015-10-06 04:57:17] 741*2^1411185-1 is not prime. Res64: D9D7096A776E9B88 Time : 0.0 sec. user=mdettweiler [2015-10-06 04:57:17] 949*2^1411185-1 is not prime. Res64: 1B6ACEBED595C223 Time : 0.0 sec. user=mdettweiler [2015-10-06 04:57:33] 617*2^1411186-1 is not prime. Res64: FEBEFA90535EEDC1 Time : 0.0 sec. user=mdettweiler [2015-10-06 04:57:34] 651*2^1411186-1 is not prime. Res64: 4B7F7E61FAD20DBC Time : 0.0 sec. user=mdettweiler [2015-10-06 04:58:13] 705*2^1411186-1 is not prime. Res64: 8F32F82FA8E636D4 Time : 0.0 sec. user=mdettweiler [2015-10-06 04:58:14] 717*2^1411186-1 is not prime. Res64: BFEC42DAF88F45F2 Time : 0.0 sec. user=mdettweiler [2015-10-06 04:58:21] 891*2^1411186-1 is not prime. Res64: 20B7C2F5C8836006 Time : 0.0 sec. user=mdettweiler [2015-10-06 04:58:22] 987*2^1411186-1 is not prime. Res64: B49AEE197DB0737A Time : 0.0 sec. user=mdettweiler [2015-10-06 05:15:11] 993*2^1411186-1 is not prime. Res64: A8CB0BF2311D3FF8 Time : 0.0 sec. user=mdettweiler [2015-10-06 05:15:13] 1001*2^1411186-1 is not prime. Res64: EC6C6E93D3D103C6 Time : 0.0 sec. user=mdettweiler [2015-10-06 05:15:29] 601*2^1411187-1 is not prime. Res64: E3DFAED19513C348 Time : 0.0 sec. user=mdettweiler [2015-10-06 05:15:30] 619*2^1411187-1 is not prime. Res64: 2754A87D7467DC08 Time : 0.0 sec. user=mdettweiler [2015-10-06 05:16:07] 825*2^1411187-1 is not prime. Res64: 20B8EF553CD217B0 Time : 0.0 sec. user=mdettweiler [2015-10-06 05:16:08] 999*2^1411187-1 is not prime. Res64: E8F4FBB92E35325A Time : 0.0 sec. user=mdettweiler [2015-10-06 05:16:10] 605*2^1411188-1 is not prime. Res64: 9318F210BA2CE972 Time : 0.0 sec. user=mdettweiler [2015-10-06 05:16:11] 837*2^1411188-1 is not prime. Res64: A6B8DD879BD13FE3 Time : 0.0 sec. user=mdettweiler [2015-10-06 05:33:22] 843*2^1411188-1 is not prime. Res64: DECDACA32968FAA2 Time : 0.0 sec. user=mdettweiler [2015-10-06 05:33:23] 845*2^1411188-1 is not prime. Res64: 47DE15BF8755B4AB Time : 0.0 sec. user=mdettweiler [2015-10-06 05:33:40] 879*2^1411188-1 is not prime. Res64: 07E93CB6DE70D845 Time : 0.0 sec. user=mdettweiler [2015-10-06 05:33:41] 899*2^1411188-1 is not prime. Res64: AAFF75FF11007E5D Time : 0.0 sec. user=mdettweiler [2015-10-06 05:34:08] 929*2^1411188-1 is not prime. Res64: 59B637F9A7939749 Time : 0.0 sec. user=mdettweiler [2015-10-06 05:34:09] 615*2^1411189-1 is not prime. Res64: 1CF53D36E91AD257 Time : 0.0 sec. user=mdettweiler [2015-10-06 05:34:09] 969*2^1411188-1 is not prime. Res64: 6BF29FF5F7C58993 Time : 0.0 sec. user=mdettweiler [2015-10-06 05:34:09] 649*2^1411189-1 is not prime. Res64: 2C62C87144837639 Time : 0.0 sec. user=mdettweiler [2015-10-06 05:51:20] 721*2^1411189-1 is not prime. Res64: A6585ACCF13B67B4 Time : 0.0 sec. user=mdettweiler [2015-10-06 05:51:21] 759*2^1411189-1 is not prime. Res64: CCF192BD30B11E5F Time : 0.0 sec. user=mdettweiler [2015-10-06 05:51:41] 835*2^1411189-1 is not prime. Res64: E6C8DE2EF0335060 Time : 0.0 sec. user=mdettweiler [2015-10-06 05:51:42] 897*2^1411189-1 is not prime. Res64: 35FE4C1568F8FCFA Time : 0.0 sec. user=mdettweiler [2015-10-06 05:51:56] 675*2^1411190-1 is not prime. Res64: 7024EB5583033A01 Time : 0.0 sec. user=mdettweiler [2015-10-06 05:51:57] 753*2^1411190-1 is not prime. Res64: 4EDBD89E86AE71A3 Time : 0.0 sec. user=mdettweiler [2015-10-06 05:52:08] 957*2^1411189-1 is not prime. Res64: E5259E81205027B8 Time : 0.0 sec. user=mdettweiler [2015-10-06 05:52:08] 967*2^1411189-1 is not prime. Res64: DE24088DD0881144 Time : 0.0 sec. user=mdettweiler [2015-10-06 06:09:14] 801*2^1411190-1 is not prime. Res64: 555F535B7E81A596 Time : 0.0 sec. user=mdettweiler [2015-10-06 06:09:15] 845*2^1411190-1 is not prime. Res64: 7A3AECD63395F563 Time : 0.0 sec. user=mdettweiler [2015-10-06 06:09:36] 965*2^1411190-1 is not prime. Res64: AFA80E67FD3AB757 Time : 0.0 sec. user=mdettweiler [2015-10-06 06:09:36] 977*2^1411190-1 is not prime. Res64: 7D6A6D08BDB53E90 Time : 0.0 sec. user=mdettweiler [2015-10-06 06:09:50] 649*2^1411191-1 is not prime. Res64: E52FFEDA4033CD63 Time : 0.0 sec. user=mdettweiler [2015-10-06 06:09:51] 739*2^1411191-1 is not prime. Res64: D64B2C709554DA9A Time : 0.0 sec. user=mdettweiler [2015-10-06 06:10:11] 825*2^1411191-1 is not prime. Res64: E1B9055D68213EE2 Time : 0.0 sec. user=mdettweiler [2015-10-06 06:10:12] 943*2^1411191-1 is not prime. Res64: 0681AA89FBE69CE0 Time : 0.0 sec. user=mdettweiler [2015-10-06 06:27:09] 979*2^1411191-1 is not prime. Res64: 8E5806CCA4B9D7C5 Time : 0.0 sec. user=mdettweiler [2015-10-06 06:27:10] 717*2^1411192-1 is not prime. Res64: F624E3E0A15BBD88 Time : 0.0 sec. user=mdettweiler [2015-10-06 06:27:35] 723*2^1411192-1 is not prime. Res64: 82F730432A5EB6F8 Time : 0.0 sec. user=mdettweiler [2015-10-06 06:27:35] 777*2^1411192-1 is not prime. Res64: 754388503C622077 Time : 0.0 sec. user=mdettweiler [2015-10-06 06:27:43] 855*2^1411192-1 is not prime. Res64: BF36FDEC35D8634E Time : 0.0 sec. user=mdettweiler [2015-10-06 06:27:44] 869*2^1411192-1 is not prime. Res64: 7BE89027932ADA5B Time : 0.0 sec. user=mdettweiler [2015-10-06 06:28:02] 875*2^1411192-1 is not prime. Res64: E224C4DECF564851 Time : 0.0 sec. user=mdettweiler [2015-10-06 06:28:02] 915*2^1411192-1 is not prime. Res64: 8AC4BBACAC4DCABB Time : 0.0 sec. user=mdettweiler [2015-10-06 06:44:49] 939*2^1411192-1 is not prime. Res64: D067C75DDAC7E84E Time : 0.0 sec. user=mdettweiler [2015-10-06 06:44:49] 983*2^1411192-1 is not prime. Res64: 69F55533EE12CDE3 Time : 0.0 sec. user=mdettweiler [2015-10-06 06:45:23] 627*2^1411193-1 is not prime. Res64: C773C87D5F074689 Time : 0.0 sec. user=mdettweiler [2015-10-06 06:45:23] 697*2^1411193-1 is not prime. Res64: EF7ADC5EC66E8A40 Time : 0.0 sec. user=mdettweiler [2015-10-06 06:45:24] 715*2^1411193-1 is not prime. Res64: 60055C0E8AC4BAB6 Time : 0.0 sec. user=mdettweiler [2015-10-06 06:45:25] 741*2^1411193-1 is not prime. Res64: E5CFE25C888A5D1B Time : 0.0 sec. user=mdettweiler [2015-10-06 06:45:44] 967*2^1411193-1 is not prime. Res64: 19EF1F6818FED700 Time : 0.0 sec. user=mdettweiler [2015-10-06 06:45:44] 683*2^1411194-1 is not prime. Res64: 9573BE1764F16598 Time : 0.0 sec. user=mdettweiler [2015-10-06 07:02:37] 723*2^1411194-1 is not prime. Res64: A6622BD78A96EB5A Time : 0.0 sec. user=mdettweiler [2015-10-06 07:02:38] 851*2^1411194-1 is not prime. Res64: 4ACC642B7D65EF1E Time : 0.0 sec. user=mdettweiler [2015-10-06 07:03:09] 893*2^1411194-1 is not prime. Res64: 379892DE864EA10E Time : 0.0 sec. user=mdettweiler [2015-10-06 07:03:10] 927*2^1411194-1 is not prime. Res64: D413D40F1CC03C83 Time : 0.0 sec. user=mdettweiler [2015-10-06 07:03:14] 1001*2^1411194-1 is not prime. Res64: AFC4FFEC2DC70C1D Time : 0.0 sec. user=mdettweiler [2015-10-06 07:03:15] 625*2^1411195-1 is not prime. Res64: F47D26628378E100 Time : 0.0 sec. user=mdettweiler [2015-10-06 07:03:30] 751*2^1411195-1 is not prime. Res64: 6720944AC59C52D4 Time : 0.0 sec. user=mdettweiler [2015-10-06 07:03:31] 765*2^1411195-1 is not prime. Res64: 205681312BDB9907 Time : 0.0 sec. user=mdettweiler [2015-10-06 07:20:39] 843*2^1411195-1 is not prime. Res64: 3EF6487BE158B8E5 Time : 0.0 sec. user=mdettweiler [2015-10-06 07:20:39] 861*2^1411195-1 is not prime. Res64: 1A9E987CEA64A606 Time : 0.0 sec. user=mdettweiler [2015-10-06 07:20:57] 885*2^1411195-1 is not prime. Res64: 42A153559615CF22 Time : 0.0 sec. user=mdettweiler [2015-10-06 07:20:58] 909*2^1411195-1 is not prime. Res64: C9156AF88DEAF6FB Time : 0.0 sec. user=mdettweiler [2015-10-06 07:21:04] 913*2^1411195-1 is not prime. Res64: F6593A461F5A16B9 Time : 0.0 sec. user=mdettweiler [2015-10-06 07:21:04] 615*2^1411196-1 is not prime. Res64: 41392F6B14B5644E Time : 0.0 sec. user=mdettweiler [2015-10-06 07:21:21] 735*2^1411196-1 is not prime. Res64: 35B16DA0AA04FAFB Time : 0.0 sec. user=mdettweiler [2015-10-06 07:21:21] 803*2^1411196-1 is not prime. Res64: 547D01FD4480E730 Time : 0.0 sec. user=mdettweiler [2015-10-06 07:38:34] 845*2^1411196-1 is not prime. Res64: D5F232A2DE3004F2 Time : 0.0 sec. user=mdettweiler [2015-10-06 07:38:35] 869*2^1411196-1 is not prime. Res64: EC6D1FF752BD218E Time : 0.0 sec. user=mdettweiler [2015-10-06 07:38:40] 873*2^1411196-1 is not prime. Res64: BD6B8182413C3C65 Time : 0.0 sec. user=mdettweiler [2015-10-06 07:38:41] 903*2^1411196-1 is not prime. Res64: 251C6749DE75B6EB Time : 0.0 sec. user=mdettweiler [2015-10-06 07:38:58] 993*2^1411196-1 is not prime. Res64: F30C16921EA7CF34 Time : 0.0 sec. user=mdettweiler [2015-10-06 07:38:59] 621*2^1411197-1 is not prime. Res64: F9A034337BB35E88 Time : 0.0 sec. user=mdettweiler [2015-10-06 07:39:13] 735*2^1411197-1 is not prime. Res64: 39CDDACCA2DD48C4 Time : 0.0 sec. user=mdettweiler [2015-10-06 07:39:14] 865*2^1411197-1 is not prime. Res64: 8A36E3A3BBDA994F Time : 0.0 sec. user=mdettweiler [2015-10-06 07:56:23] 603*2^1411198-1 is not prime. Res64: 4444B44AB49A8D65 Time : 0.0 sec. user=mdettweiler [2015-10-06 07:56:23] 657*2^1411198-1 is not prime. Res64: A1710B276049D89A Time : 0.0 sec. user=mdettweiler [2015-10-06 07:56:26] 737*2^1411198-1 is not prime. Res64: 34DD21FC743DC5F7 Time : 0.0 sec. user=mdettweiler [2015-10-06 07:56:27] 761*2^1411198-1 is not prime. Res64: 3FB00F3EB5557E63 Time : 0.0 sec. user=mdettweiler [2015-10-06 07:56:49] 881*2^1411198-1 is not prime. Res64: 765EB8E2971477E5 Time : 0.0 sec. user=mdettweiler [2015-10-06 07:56:49] 971*2^1411198-1 is not prime. Res64: 649AEE801AC43E27 Time : 0.0 sec. user=mdettweiler [2015-10-06 07:57:05] 645*2^1411199-1 is not prime. Res64: 8CBA449C64EE5EFC Time : 0.0 sec. user=mdettweiler [2015-10-06 07:57:05] 711*2^1411199-1 is not prime. Res64: 7D2DA4A179C95667 Time : 0.0 sec. user=mdettweiler [2015-10-06 08:14:14] 721*2^1411199-1 is not prime. Res64: AAFAF8950A5CE26D Time : 0.0 sec. user=mdettweiler [2015-10-06 08:14:15] 745*2^1411199-1 is not prime. Res64: 6F2908191E20F59D Time : 0.0 sec. user=mdettweiler [2015-10-06 08:14:15] 741*2^1411199-1 is not prime. Res64: 2E14E3B6DE78E75E Time : 0.0 sec. user=mdettweiler [2015-10-06 08:14:16] 883*2^1411199-1 is not prime. Res64: 26305E9F3D468CA9 Time : 0.0 sec. user=mdettweiler [2015-10-06 08:14:42] 913*2^1411199-1 is not prime. Res64: 20CF459C623FA73D Time : 0.0 sec. user=mdettweiler [2015-10-06 08:14:43] 797*2^1411200-1 is not prime. Res64: B5C73C6039343D85 Time : 0.0 sec. user=mdettweiler [2015-10-06 08:14:53] 825*2^1411200-1 is not prime. Res64: 3C8CD5AFBF9D391E Time : 0.0 sec. user=mdettweiler [2015-10-06 08:14:54] 887*2^1411200-1 is not prime. Res64: 0391943FDFA39C98 Time : 0.0 sec. user=mdettweiler [2015-10-06 08:32:30] 805*2^1411201-1 is not prime. Res64: B8A8B0E04479BCB2 Time : 0.0 sec. user=mdettweiler [2015-10-06 08:32:30] 619*2^1411201-1 is not prime. Res64: E3727027CE99C480 Time : 0.0 sec. user=mdettweiler [2015-10-06 08:32:31] 861*2^1411201-1 is not prime. Res64: C80FC28034215B65 Time : 0.0 sec. user=mdettweiler [2015-10-06 08:32:31] 651*2^1411201-1 is not prime. Res64: 87CE8CCC56489255 Time : 0.0 sec. user=mdettweiler [2015-10-06 08:32:34] 877*2^1411201-1 is not prime. Res64: 0077077FD304F1E1 Time : 0.0 sec. user=mdettweiler [2015-10-06 08:32:34] 937*2^1411201-1 is not prime. Res64: 1A6A34F09786F6E4 Time : 0.0 sec. user=mdettweiler [2015-10-06 08:32:45] 705*2^1411202-1 is not prime. Res64: 05A7DDB127D487FD Time : 0.0 sec. user=mdettweiler [2015-10-06 08:32:46] 735*2^1411202-1 is not prime. Res64: FF7A570DB471E247 Time : 0.0 sec. user=mdettweiler [2015-10-06 08:50:20] 755*2^1411202-1 is not prime. Res64: 37B7E3080AD18E41 Time : 0.0 sec. user=mdettweiler [2015-10-06 08:50:21] 791*2^1411202-1 is not prime. Res64: 0980CFBB9715936C Time : 0.0 sec. user=mdettweiler [2015-10-06 08:50:26] 831*2^1411202-1 is not prime. Res64: B8027F6E7ED7960C Time : 0.0 sec. user=mdettweiler [2015-10-06 08:50:26] 833*2^1411202-1 is not prime. Res64: 4BB126E17460F8B4 Time : 0.0 sec. user=mdettweiler [2015-10-06 08:50:33] 663*2^1411203-1 is not prime. Res64: 7308D1DB5C676AD6 Time : 0.0 sec. user=mdettweiler [2015-10-06 08:50:34] 783*2^1411203-1 is not prime. Res64: E9F0ABF05ACF04FB Time : 0.0 sec. user=mdettweiler [2015-10-06 08:50:35] 837*2^1411202-1 is not prime. Res64: F9109E48750948F5 Time : 0.0 sec. user=mdettweiler [2015-10-06 08:50:36] 875*2^1411202-1 is not prime. Res64: EA3E52655D9DE80F Time : 0.0 sec. user=mdettweiler [2015-10-06 09:08:09] 805*2^1411203-1 is not prime. Res64: 0A29999CE52160B0 Time : 0.0 sec. user=mdettweiler [2015-10-06 09:08:09] 819*2^1411203-1 is not prime. Res64: 29B166637783E788 Time : 0.0 sec. user=mdettweiler [2015-10-06 09:08:18] 891*2^1411203-1 is not prime. Res64: 00B3DD3B79FB3DE1 Time : 0.0 sec. user=mdettweiler [2015-10-06 09:08:19] 985*2^1411203-1 is not prime. Res64: CD74D94AB3BCCA39 Time : 0.0 sec. user=mdettweiler [2015-10-06 09:08:30] 609*2^1411204-1 is not prime. Res64: 20336BE12290AB83 Time : 0.0 sec. user=mdettweiler [2015-10-06 09:08:30] 623*2^1411204-1 is not prime. Res64: ADEB976B11A9EC23 Time : 0.0 sec. user=mdettweiler [2015-10-06 09:08:37] 663*2^1411204-1 is not prime. Res64: 32DC892CA7F828CD Time : 0.0 sec. user=mdettweiler [2015-10-06 09:08:37] 675*2^1411204-1 is not prime. Res64: 818DC2B17F61EEA4 Time : 0.0 sec. user=mdettweiler [2015-10-06 09:26:09] 843*2^1411204-1 is not prime. Res64: 9E8EE9717EA30E46 Time : 0.0 sec. user=mdettweiler [2015-10-06 09:26:10] 909*2^1411204-1 is not prime. Res64: 2ECF1A90072284ED Time : 0.0 sec. user=mdettweiler [2015-10-06 09:26:17] 929*2^1411204-1 is not prime. Res64: 0241E945D3868A95 Time : 0.0 sec. user=mdettweiler [2015-10-06 09:26:18] 959*2^1411204-1 is not prime. Res64: D235A96C1321D285 Time : 0.0 sec. user=mdettweiler [2015-10-06 09:26:22] 987*2^1411204-1 is not prime. Res64: BEF21E1DD808BDE0 Time : 0.0 sec. user=mdettweiler [2015-10-06 09:26:23] 989*2^1411204-1 is not prime. Res64: F2CC32D668CF9A51 Time : 0.0 sec. user=mdettweiler [2015-10-06 09:26:24] 757*2^1411205-1 is not prime. Res64: 793E518BDD0E8244 Time : 0.0 sec. user=mdettweiler [2015-10-06 09:26:24] 847*2^1411205-1 is not prime. Res64: 9EAE4E7ECB3EDF76 Time : 0.0 sec. user=mdettweiler [2015-10-06 09:44:02] 861*2^1411205-1 is not prime. Res64: 9085B724C278C76F Time : 0.0 sec. user=mdettweiler [2015-10-06 09:44:02] 871*2^1411205-1 is not prime. Res64: 62A10643689F938E Time : 0.0 sec. user=mdettweiler [2015-10-06 09:44:09] 949*2^1411205-1 is not prime. Res64: B27C107F0FB05E9A Time : 0.0 sec. user=mdettweiler [2015-10-06 09:44:10] 653*2^1411206-1 is not prime. Res64: C8E05C029D033613 Time : 0.0 sec. user=mdettweiler [2015-10-06 09:44:13] 693*2^1411206-1 is not prime. Res64: 3A2520495CD912CE Time : 0.0 sec. user=mdettweiler [2015-10-06 09:44:14] 713*2^1411206-1 is not prime. Res64: FEB433E6F8C6F68C Time : 0.0 sec. user=mdettweiler [2015-10-06 09:44:17] 723*2^1411206-1 is not prime. Res64: 79945EC7A932CEC9 Time : 0.0 sec. user=mdettweiler [2015-10-06 09:44:17] 833*2^1411206-1 is not prime. Res64: C112065DC13E1FF6 Time : 0.0 sec. user=mdettweiler [2015-10-06 10:01:49] 867*2^1411206-1 is not prime. Res64: 999C3C88169C7FD3 Time : 0.0 sec. user=mdettweiler [2015-10-06 10:01:50] 603*2^1411207-1 is not prime. Res64: 19D08993B365D7E2 Time : 0.0 sec. user=mdettweiler [2015-10-06 10:01:55] 915*2^1411207-1 is not prime. Res64: D6BDDEB8371619FC Time : 0.0 sec. user=mdettweiler [2015-10-06 10:01:56] 689*2^1411208-1 is not prime. Res64: 615A4A35103E419C Time : 0.0 sec. user=mdettweiler [2015-10-06 10:01:59] 743*2^1411208-1 is not prime. Res64: AFE5F5DF2C4CA82F Time : 0.0 sec. user=mdettweiler [2015-10-06 10:02:00] 759*2^1411208-1 is not prime. Res64: 4298781F5A06BFA6 Time : 0.0 sec. user=mdettweiler [2015-10-06 10:02:01] 793*2^1411207-1 is not prime. Res64: ADF467B8224203E4 Time : 0.0 sec. user=mdettweiler [2015-10-06 10:02:02] 873*2^1411207-1 is not prime. Res64: A648E5CA20E08013 Time : 0.0 sec. user=mdettweiler [2015-10-06 10:19:54] 969*2^1411208-1 is not prime. Res64: 3863589C37B1E17E Time : 0.0 sec. user=mdettweiler [2015-10-06 10:19:55] 769*2^1411209-1 is not prime. Res64: 76E5930E5E12BDAE Time : 0.0 sec. user=mdettweiler [2015-10-06 10:20:01] 865*2^1411209-1 is not prime. Res64: B961CED610266AFE Time : 0.0 sec. user=mdettweiler [2015-10-06 10:20:02] 889*2^1411209-1 is not prime. Res64: 20CD5537C37E1CCA Time : 0.0 sec. user=mdettweiler [2015-10-06 10:20:03] 827*2^1411208-1 is not prime. Res64: 6028F7F6D7D23E29 Time : 0.0 sec. user=mdettweiler [2015-10-06 10:20:03] 609*2^1411209-1 is not prime. Res64: A352BEAD01FB3950 Time : 0.0 sec. user=mdettweiler [2015-10-06 10:20:03] 837*2^1411208-1 is not prime. Res64: 2F4D823B50D91D6B Time : 0.0 sec. user=mdettweiler [2015-10-06 10:20:04] 781*2^1411209-1 is not prime. Res64: EE57879A5ACC24FD Time : 0.0 sec. user=mdettweiler [2015-10-06 10:37:38] 909*2^1411209-1 is not prime. Res64: BC3A39FFABCBEB8F Time : 0.0 sec. user=mdettweiler [2015-10-06 10:37:38] 945*2^1411209-1 is not prime. Res64: 7C10A1163CF042A7 Time : 0.0 sec. user=mdettweiler [2015-10-06 10:37:53] 681*2^1411210-1 is not prime. Res64: 1019624B3AC7C27B Time : 0.0 sec. user=mdettweiler [2015-10-06 10:37:53] 791*2^1411210-1 is not prime. Res64: F5816715415B94ED Time : 0.0 sec. user=mdettweiler [2015-10-06 10:38:00] 603*2^1411210-1 is not prime. Res64: 013E4883B087BB9A Time : 0.0 sec. user=mdettweiler [2015-10-06 10:38:01] 633*2^1411210-1 is not prime. Res64: 5D69DF29F65478A9 Time : 0.0 sec. user=mdettweiler [2015-10-06 10:38:02] 675*2^1411211-1 is not prime. Res64: CDA28503C04DFF1F Time : 0.0 sec. user=mdettweiler [2015-10-06 10:38:02] 883*2^1411211-1 is not prime. Res64: 352A09C83D02D3C8 Time : 0.0 sec. user=mdettweiler [2015-10-06 10:55:26] 627*2^1411212-1 is not prime. Res64: 887464306840A195 Time : 0.0 sec. user=mdettweiler [2015-10-06 10:55:26] 629*2^1411212-1 is not prime. Res64: DEDBC73B41A7DF61 Time : 0.0 sec. user=mdettweiler [2015-10-06 10:55:50] 879*2^1411212-1 is not prime. Res64: CEF0B5732921B03C Time : 0.0 sec. user=mdettweiler [2015-10-06 10:55:51] 959*2^1411212-1 is not prime. Res64: CA3B511C40664E04 Time : 0.0 sec. user=mdettweiler [2015-10-06 10:55:56] 861*2^1411213-1 is not prime. Res64: EE7025235BA4DCE3 Time : 0.0 sec. user=mdettweiler [2015-10-06 10:55:56] 867*2^1411213-1 is not prime. Res64: 3B4B679531E2B4CA Time : 0.0 sec. user=mdettweiler [2015-10-06 10:55:57] 805*2^1411213-1 is not prime. Res64: 5217C2D29515FC93 Time : 0.0 sec. user=mdettweiler [2015-10-06 10:55:57] 859*2^1411213-1 is not prime. Res64: E0E9576BFB6F9ED0 Time : 0.0 sec. user=mdettweiler [2015-10-06 11:13:18] 877*2^1411213-1 is not prime. Res64: 683FFDEF09CAF310 Time : 0.0 sec. user=mdettweiler [2015-10-06 11:13:20] 927*2^1411213-1 is not prime. Res64: C380E95C54DD9705 Time : 0.0 sec. user=mdettweiler [2015-10-06 11:13:43] 785*2^1411214-1 is not prime. Res64: 396E8DB02322F049 Time : 0.0 sec. user=mdettweiler [2015-10-06 11:13:44] 875*2^1411214-1 is not prime. Res64: 0F5AD3D5DE5C53B5 Time : 0.0 sec. user=mdettweiler [2015-10-06 11:13:47] 615*2^1411214-1 is not prime. Res64: 9330DBCD61DEC1A9 Time : 0.0 sec. user=mdettweiler [2015-10-06 11:13:48] 675*2^1411214-1 is not prime. Res64: AF39CFC47142A2F9 Time : 0.0 sec. user=mdettweiler [2015-10-06 11:14:02] 707*2^1411214-1 is not prime. Res64: 13E18625BF3FD5D2 Time : 0.0 sec. user=mdettweiler [2015-10-06 11:14:02] 731*2^1411214-1 is not prime. Res64: 2FEC9BE62FA41AC8 Time : 0.0 sec. user=mdettweiler [2015-10-06 11:31:18] 935*2^1411214-1 is not prime. Res64: 37B44D8340DF50D3 Time : 0.0 sec. user=mdettweiler [2015-10-06 11:31:18] 669*2^1411215-1 is not prime. Res64: A91472906657F181 Time : 0.0 sec. user=mdettweiler [2015-10-06 11:31:29] 735*2^1411215-1 is not prime. Res64: 4F5A3045ED89B86C Time : 0.0 sec. user=mdettweiler [2015-10-06 11:31:29] 805*2^1411215-1 is not prime. Res64: ACC59EC9996CF871 Time : 0.0 sec. user=mdettweiler [2015-10-06 11:31:32] 885*2^1411215-1 is not prime. Res64: 3F5AD42EBD1C081B Time : 0.0 sec. user=mdettweiler [2015-10-06 11:31:32] 891*2^1411215-1 is not prime. Res64: 62E9B245E010A2BA Time : 0.0 sec. user=mdettweiler [2015-10-06 11:31:54] 999*2^1411215-1 is not prime. Res64: 2E0C355C63B9EAC6 Time : 0.0 sec. user=mdettweiler [2015-10-06 11:31:54] 675*2^1411216-1 is not prime. Res64: E66C5BA5CBB46824 Time : 0.0 sec. user=mdettweiler [2015-10-06 11:49:05] 813*2^1411216-1 is not prime. Res64: 0E4C5F3F8661C2DB Time : 0.0 sec. user=mdettweiler [2015-10-06 11:49:05] 631*2^1411217-1 is not prime. Res64: F386B75482547980 Time : 0.0 sec. user=mdettweiler [2015-10-06 11:49:17] 645*2^1411217-1 is not prime. Res64: 2B630DD6BC31B69B Time : 0.0 sec. user=mdettweiler [2015-10-06 11:49:17] 691*2^1411217-1 is not prime. Res64: 146CDEB8538DF0FD Time : 0.0 sec. user=mdettweiler [2015-10-06 11:49:23] 795*2^1411217-1 is not prime. Res64: 66D4C9090186C8FB Time : 0.0 sec. user=mdettweiler [2015-10-06 11:49:24] 841*2^1411217-1 is not prime. Res64: 908B8EA0B9168FB5 Time : 0.0 sec. user=mdettweiler [2015-10-06 11:49:40] 847*2^1411217-1 is not prime. Res64: EF7FA8C4CC4CA385 Time : 0.0 sec. user=mdettweiler [2015-10-06 11:49:40] 885*2^1411217-1 is not prime. Res64: 89A29090A5ACB4B2 Time : 0.0 sec. user=mdettweiler [2015-10-06 12:06:52] 937*2^1411217-1 is not prime. Res64: E1D5735221FC2683 Time : 0.0 sec. user=mdettweiler [2015-10-06 12:06:55] 803*2^1411218-1 is not prime. Res64: 530C5EF879E7140F Time : 0.0 sec. user=mdettweiler [2015-10-06 12:07:04] 921*2^1411218-1 is not prime. Res64: 4FB56469249B43A5 Time : 0.0 sec. user=mdettweiler [2015-10-06 12:07:07] 1001*2^1411218-1 is not prime. Res64: D7830204F5FF49D2 Time : 0.0 sec. user=mdettweiler [2015-10-06 12:07:19] 601*2^1411219-1 is not prime. Res64: F90B2B9A906913CD Time : 0.0 sec. user=mdettweiler [2015-10-06 12:07:24] 693*2^1411219-1 is not prime. Res64: AB2CB7B66975EC68 Time : 0.0 sec. user=mdettweiler [2015-10-06 12:07:32] 769*2^1411219-1 is not prime. Res64: 291E400A1D2E9B3C Time : 0.0 sec. user=mdettweiler [2015-10-06 12:07:34] 771*2^1411219-1 is not prime. Res64: 48324E4F2A057F0B Time : 0.0 sec. user=mdettweiler [2015-10-06 12:25:06] 793*2^1411219-1 is not prime. Res64: F280690329A9CF7B Time : 0.0 sec. user=mdettweiler [2015-10-06 12:25:07] 801*2^1411219-1 is not prime. Res64: 6AB29ABF21A4B081 Time : 0.0 sec. user=mdettweiler [2015-10-06 12:25:13] 829*2^1411219-1 is not prime. Res64: B1C9EC5FACBB1514 Time : 0.0 sec. user=mdettweiler [2015-10-06 12:25:13] 925*2^1411219-1 is not prime. Res64: B5B9C73233123193 Time : 0.0 sec. user=mdettweiler [2015-10-06 12:25:19] 609*2^1411220-1 is not prime. Res64: 31E1B9A5AAA0835D Time : 0.0 sec. user=mdettweiler [2015-10-06 12:25:20] 725*2^1411220-1 is not prime. Res64: CFE2F9727C669746 Time : 0.0 sec. user=mdettweiler [2015-10-06 12:25:20] 797*2^1411220-1 is not prime. Res64: 2C6617EF23B34721 Time : 0.0 sec. user=mdettweiler [2015-10-06 12:25:20] 819*2^1411220-1 is not prime. Res64: 72DC4C4AC14C7240 Time : 0.0 sec. user=mdettweiler [2015-10-06 12:47:22] 777*2^1411222-1 is not prime. Res64: 8F05FC2C0CEF7D5E Time : 0.0 sec. user=mdettweiler [2015-10-06 12:47:23] 815*2^1411222-1 is not prime. Res64: 42DD7AB4C89FE6B4 Time : 0.0 sec. user=mdettweiler [2015-10-06 12:47:27] 855*2^1411220-1 is not prime. Res64: 7E21F9632C924BC9 Time : 0.0 sec. user=mdettweiler [2015-10-06 12:47:28] 893*2^1411220-1 is not prime. Res64: F217C69AD392B382 Time : 0.0 sec. user=mdettweiler [2015-10-06 12:47:28] 909*2^1411220-1 is not prime. Res64: 3C2AE36D58280CE3 Time : 0.0 sec. user=mdettweiler [2015-10-06 12:47:28] 983*2^1411220-1 is not prime. Res64: 02A49E48095E9BEF Time : 0.0 sec. user=mdettweiler [2015-10-06 12:47:33] 741*2^1411221-1 is not prime. Res64: 1740B8F69C1E2E37 Time : 0.0 sec. user=mdettweiler [2015-10-06 12:47:34] 677*2^1411222-1 is not prime. Res64: 54BC6D77C7168720 Time : 0.0 sec. user=mdettweiler [2015-10-06 13:10:36] 983*2^1411222-1 is not prime. Res64: CAE29C6E002618B5 Time : 0.0 sec. user=mdettweiler [2015-10-06 13:10:37] 669*2^1411223-1 is not prime. Res64: 2AEA6F651739CDA0 Time : 0.0 sec. user=mdettweiler [2015-10-06 13:10:50] 821*2^1411222-1 is not prime. Res64: 0F8CBC4BD433116D Time : 0.0 sec. user=mdettweiler [2015-10-06 13:10:51] 825*2^1411222-1 is not prime. Res64: D0B59BA4827FF230 Time : 0.0 sec. user=mdettweiler [2015-10-06 13:11:02] 897*2^1411222-1 is not prime. Res64: 4316A4F5E4DE4E5D Time : 0.0 sec. user=mdettweiler [2015-10-06 13:11:03] 941*2^1411222-1 is not prime. Res64: D5A8B05A51CCF056 Time : 0.0 sec. user=mdettweiler [2015-10-06 13:11:09] 675*2^1411223-1 is not prime. Res64: 3F4C518B4F17D685 Time : 0.0 sec. user=mdettweiler [2015-10-06 13:11:10] 771*2^1411223-1 is not prime. Res64: 08C058B37092DA35 Time : 0.0 sec. user=mdettweiler [2015-10-06 13:37:10] 831*2^1411223-1 is not prime. Res64: 88300A6C4D604E7D Time : 0.0 sec. user=mdettweiler [2015-10-06 13:37:10] 895*2^1411223-1 is not prime. Res64: 206B492E57378632 Time : 0.0 sec. user=mdettweiler [2015-10-06 13:37:56] 913*2^1411223-1 is not prime. Res64: 67AF6A707C38E9B7 Time : 0.0 sec. user=mdettweiler [2015-10-06 13:37:57] 945*2^1411223-1 is not prime. Res64: C5447A5C8AC3089A Time : 0.0 sec. user=mdettweiler [2015-10-06 13:38:18] 963*2^1411223-1 is not prime. Res64: 1E749EAE53784C1F Time : 0.0 sec. user=mdettweiler [2015-10-06 13:38:19] 993*2^1411223-1 is not prime. Res64: C07F08A8168B0A15 Time : 0.0 sec. user=mdettweiler [2015-10-06 13:39:10] 609*2^1411224-1 is not prime. Res64: 342A5BE3AA0325EB Time : 0.0 sec. user=mdettweiler [2015-10-06 13:39:11] 945*2^1411224-1 is not prime. Res64: 11C42F28A3331878 Time : 0.0 sec. user=mdettweiler [2015-10-06 13:58:21] 619*2^1411225-1 is not prime. Res64: C0DE3858EA7E2C21 Time : 0.0 sec. user=mdettweiler [2015-10-06 13:58:21] 649*2^1411225-1 is not prime. Res64: 3C9AFA6F38EA6C13 Time : 0.0 sec. user=mdettweiler [2015-10-06 13:59:04] 687*2^1411225-1 is not prime. Res64: 8495789551C3E524 Time : 0.0 sec. user=mdettweiler [2015-10-06 13:59:04] 805*2^1411225-1 is not prime. Res64: 71B130889397D75E Time : 0.0 sec. user=mdettweiler [2015-10-06 13:59:28] 847*2^1411225-1 is not prime. Res64: 5CB68C42B3CF48CC Time : 0.0 sec. user=mdettweiler [2015-10-06 13:59:28] 885*2^1411225-1 is not prime. Res64: 909A0726F48685B6 Time : 0.0 sec. user=mdettweiler [2015-10-06 14:00:31] 937*2^1411225-1 is not prime. Res64: 2BE10812BE79D7AD Time : 0.0 sec. user=mdettweiler [2015-10-06 14:00:32] 981*2^1411225-1 is not prime. Res64: 3F0CBCF36300E3CC Time : 0.0 sec. user=mdettweiler [2015-10-06 14:16:14] 615*2^1411226-1 is not prime. Res64: A7242012403F22D5 Time : 0.0 sec. user=mdettweiler [2015-10-06 14:16:15] 623*2^1411226-1 is not prime. Res64: 0C0CA50F06E2E618 Time : 0.0 sec. user=mdettweiler [2015-10-06 14:16:53] 711*2^1411226-1 is not prime. Res64: 850091E1EC6AB920 Time : 0.0 sec. user=mdettweiler [2015-10-06 14:16:54] 713*2^1411226-1 is not prime. Res64: E7B904627CE69E5E Time : 0.0 sec. user=mdettweiler [2015-10-06 14:17:23] 837*2^1411226-1 is not prime. Res64: B6EF82667FBAA2B1 Time : 0.0 sec. user=mdettweiler [2015-10-06 14:17:24] 615*2^1411227-1 is not prime. Res64: 7AF0C8063F459248 Time : 0.0 sec. user=mdettweiler [2015-10-06 14:18:29] 633*2^1411227-1 is not prime. Res64: 3CE9B3D6864832B3 Time : 0.0 sec. user=mdettweiler [2015-10-06 14:18:29] 639*2^1411227-1 is not prime. Res64: 55A34A4492F20BCC Time : 0.0 sec. user=mdettweiler [2015-10-06 14:34:21] 649*2^1411227-1 is not prime. Res64: B64A9DA28B5545C3 Time : 0.0 sec. user=mdettweiler [2015-10-06 14:34:21] 685*2^1411227-1 is not prime. Res64: C66785854A10FE27 Time : 0.0 sec. user=mdettweiler [2015-10-06 14:34:41] 859*2^1411227-1 is not prime. Res64: 22DED9A59DB6F0A2 Time : 0.0 sec. user=mdettweiler [2015-10-06 14:34:41] 945*2^1411227-1 is not prime. Res64: 21E76BA00DFBEEC7 Time : 0.0 sec. user=mdettweiler [2015-10-06 14:35:18] 999*2^1411227-1 is not prime. Res64: 1D048B99C7DF20FB Time : 0.0 sec. user=mdettweiler [2015-10-06 14:35:18] 647*2^1411228-1 is not prime. Res64: 322990D337F4B70B Time : 0.0 sec. user=mdettweiler [2015-10-06 14:36:13] 657*2^1411228-1 is not prime. Res64: 112170404E8CCEE7 Time : 0.0 sec. user=mdettweiler [2015-10-06 14:36:14] 773*2^1411228-1 is not prime. Res64: 33D1EAACBA374BE5 Time : 0.0 sec. user=mdettweiler [2015-10-06 14:52:17] 825*2^1411228-1 is not prime. Res64: 423265321F7EA585 Time : 0.0 sec. user=mdettweiler [2015-10-06 14:52:18] 827*2^1411228-1 is not prime. Res64: E7DCF722868C88C0 Time : 0.0 sec. user=mdettweiler [2015-10-06 14:52:29] 887*2^1411228-1 is not prime. Res64: D297844243824C38 Time : 0.0 sec. user=mdettweiler [2015-10-06 14:52:30] 621*2^1411229-1 is not prime. Res64: CB0564288062D6F6 Time : 0.0 sec. user=mdettweiler [2015-10-06 14:53:11] 627*2^1411229-1 is not prime. Res64: 8C3F347103B3DBF9 Time : 0.0 sec. user=mdettweiler [2015-10-06 14:53:11] 631*2^1411229-1 is not prime. Res64: EE9F6E7BF2EE1E6D Time : 0.0 sec. user=mdettweiler [2015-10-06 14:54:03] 645*2^1411229-1 is not prime. Res64: 0ADAD5EA461EE267 Time : 0.0 sec. user=mdettweiler [2015-10-06 14:54:04] 691*2^1411229-1 is not prime. Res64: 223CCEA39ED17058 Time : 0.0 sec. user=mdettweiler [2015-10-06 15:10:07] 801*2^1411229-1 is not prime. Res64: 76B66E3F720AE572 Time : 0.0 sec. user=mdettweiler [2015-10-06 15:10:09] 819*2^1411229-1 is not prime. Res64: 323393C4C9715EC4 Time : 0.0 sec. user=mdettweiler [2015-10-06 15:10:17] 855*2^1411229-1 is not prime. Res64: 76463944C4EF657C Time : 0.0 sec. user=mdettweiler [2015-10-06 15:10:19] 969*2^1411229-1 is not prime. Res64: AA755D09C6C780D8 Time : 0.0 sec. user=mdettweiler [2015-10-06 15:11:02] 695*2^1411230-1 is not prime. Res64: 1372141C173A9938 Time : 0.0 sec. user=mdettweiler [2015-10-06 15:11:03] 761*2^1411230-1 is not prime. Res64: 551E622233D78D27 Time : 0.0 sec. user=mdettweiler [2015-10-06 15:11:46] 765*2^1411230-1 is not prime. Res64: 51B0CA04339AC646 Time : 0.0 sec. user=mdettweiler [2015-10-06 15:11:47] 783*2^1411230-1 is not prime. Res64: FD23E16652267715 Time : 0.0 sec. user=mdettweiler [2015-10-06 15:28:14] 825*2^1411230-1 is not prime. Res64: 1AF424685CC3E193 Time : 0.0 sec. user=mdettweiler [2015-10-06 15:28:15] 845*2^1411230-1 is not prime. Res64: 37CA58686BF4E3B0 Time : 0.0 sec. user=mdettweiler [2015-10-06 15:28:24] 885*2^1411230-1 is not prime. Res64: AAF5CEBF27A1B2C4 Time : 0.0 sec. user=mdettweiler [2015-10-06 15:28:24] 887*2^1411230-1 is not prime. Res64: 43897332E1AA7E16 Time : 0.0 sec. user=mdettweiler [2015-10-06 15:28:52] 971*2^1411230-1 is not prime. Res64: AA008A35E3576C4D Time : 0.0 sec. user=mdettweiler [2015-10-06 15:28:52] 615*2^1411231-1 is not prime. Res64: 69E10179564D62F4 Time : 0.0 sec. user=mdettweiler [2015-10-06 15:29:41] 679*2^1411231-1 is not prime. Res64: FABA3BBB8D052BD4 Time : 0.0 sec. user=mdettweiler [2015-10-06 15:29:41] 693*2^1411231-1 is not prime. Res64: 0CB2279DDAC074BE Time : 0.0 sec. user=mdettweiler [2015-10-06 15:46:13] 843*2^1411231-1 is not prime. Res64: E049889DEA514187 Time : 0.0 sec. user=mdettweiler [2015-10-06 15:46:13] 861*2^1411231-1 is not prime. Res64: C9640B274543FCB0 Time : 0.0 sec. user=mdettweiler [2015-10-06 15:46:15] 793*2^1411231-1 is not prime. Res64: BD9E041248A4DAC5 Time : 0.0 sec. user=mdettweiler [2015-10-06 15:46:16] 805*2^1411231-1 is not prime. Res64: 68CB287649D24C00 Time : 0.0 sec. user=mdettweiler [2015-10-06 15:47:01] 895*2^1411231-1 is not prime. Res64: 44B625DE4E40B0CE Time : 0.0 sec. user=mdettweiler [2015-10-06 15:47:02] 683*2^1411232-1 is not prime. Res64: 7FA8D42ACBF42573 Time : 0.0 sec. user=mdettweiler [2015-10-06 15:47:29] 785*2^1411232-1 is not prime. Res64: EC494FC4CDFC0754 Time : 0.0 sec. user=mdettweiler [2015-10-06 15:47:29] 825*2^1411232-1 is not prime. Res64: E459E14C60AACE34 Time : 0.0 sec. user=mdettweiler [2015-10-06 16:04:07] 899*2^1411232-1 is not prime. Res64: 4342A3AE6FABA329 Time : 0.0 sec. user=mdettweiler [2015-10-06 16:04:09] 903*2^1411232-1 is not prime. Res64: 9402565694064904 Time : 0.0 sec. user=mdettweiler [2015-10-06 16:04:10] 607*2^1411233-1 is not prime. Res64: 53344A23DBC7DDCC Time : 0.0 sec. user=mdettweiler [2015-10-06 16:04:11] 651*2^1411233-1 is not prime. Res64: C486DEAEC96D148A Time : 0.0 sec. user=mdettweiler [2015-10-06 16:04:54] 739*2^1411233-1 is not prime. Res64: 30F558AB09E65AA2 Time : 0.0 sec. user=mdettweiler [2015-10-06 16:04:56] 605*2^1411234-1 is not prime. Res64: 84BCCC44A611C564 Time : 0.0 sec. user=mdettweiler [2015-10-06 16:05:24] 617*2^1411234-1 is not prime. Res64: 5F5736C52E2925BC Time : 0.0 sec. user=mdettweiler [2015-10-06 16:05:27] 635*2^1411234-1 is not prime. Res64: 4C455498F60C1CFD Time : 0.0 sec. user=mdettweiler [2015-10-06 16:22:17] 723*2^1411234-1 is not prime. Res64: BE937D78C60E50CA Time : 0.0 sec. user=mdettweiler [2015-10-06 16:22:17] 857*2^1411234-1 is not prime. Res64: FCB1962A9C43BA43 Time : 0.0 sec. user=mdettweiler [2015-10-06 16:22:22] 887*2^1411234-1 is not prime. Res64: 989BF2651ABFBFC7 Time : 0.0 sec. user=mdettweiler [2015-10-06 16:22:22] 975*2^1411234-1 is not prime. Res64: 69A4B05FDAFCDEFD Time : 0.0 sec. user=mdettweiler [2015-10-06 16:22:54] 619*2^1411235-1 is not prime. Res64: FD1C17654E5D901D Time : 0.0 sec. user=mdettweiler [2015-10-06 16:22:55] 669*2^1411235-1 is not prime. Res64: 88D97BD325BC7B8E Time : 0.0 sec. user=mdettweiler [2015-10-06 16:23:26] 775*2^1411235-1 is not prime. Res64: 1C347C7340A3C1A3 Time : 0.0 sec. user=mdettweiler [2015-10-06 16:23:26] 843*2^1411235-1 is not prime. Res64: 0F10B76FEA839E47 Time : 0.0 sec. user=mdettweiler [2015-10-06 16:40:07] 939*2^1411235-1 is not prime. Res64: 8A03838DDE394D0F Time : 0.0 sec. user=mdettweiler [2015-10-06 16:40:08] 695*2^1411236-1 is not prime. Res64: 3498C16520ADE7D0 Time : 0.0 sec. user=mdettweiler [2015-10-06 16:40:11] 737*2^1411236-1 is not prime. Res64: 71C545B169470A2E Time : 0.0 sec. user=mdettweiler [2015-10-06 16:40:12] 845*2^1411236-1 is not prime. Res64: 98D93A26F5926E4A Time : 0.0 sec. user=mdettweiler [2015-10-06 16:40:46] 987*2^1411236-1 is not prime. Res64: 6551A2902EBD01FF Time : 0.0 sec. user=mdettweiler [2015-10-06 16:40:47] 765*2^1411237-1 is not prime. Res64: 4793647E9D4897AA Time : 0.0 sec. user=mdettweiler [2015-10-06 16:41:12] 771*2^1411237-1 is not prime. Res64: B9610CDA6A7BDC63 Time : 0.0 sec. user=mdettweiler [2015-10-06 16:41:13] 897*2^1411237-1 is not prime. Res64: BDA9342910F02EBC Time : 0.0 sec. user=mdettweiler [2015-10-06 16:58:04] 937*2^1411237-1 is not prime. Res64: 4CB2041663C56692 Time : 0.0 sec. user=mdettweiler [2015-10-06 16:58:04] 671*2^1411238-1 is not prime. Res64: 6183392F97523865 Time : 0.0 sec. user=mdettweiler [2015-10-06 16:58:17] 705*2^1411238-1 is not prime. Res64: F4D6AE7ECD705FBB Time : 0.0 sec. user=mdettweiler [2015-10-06 16:58:18] 761*2^1411238-1 is not prime. Res64: C0C37770158F27F6 Time : 0.0 sec. user=mdettweiler [2015-10-06 16:58:51] 773*2^1411238-1 is not prime. Res64: 58A97F26C9F324DD Time : 0.0 sec. user=mdettweiler [2015-10-06 16:58:52] 831*2^1411238-1 is not prime. Res64: 90A8661A16E23AE4 Time : 0.0 sec. user=mdettweiler [2015-10-06 16:59:18] 963*2^1411238-1 is not prime. Res64: F128FA7D551A9794 Time : 0.0 sec. user=mdettweiler [2015-10-06 16:59:18] 971*2^1411238-1 is not prime. Res64: BD71F318BE8FF8F0 Time : 0.0 sec. user=mdettweiler [2015-10-06 17:15:49] 745*2^1411239-1 is not prime. Res64: F0657980119C7444 Time : 0.0 sec. user=mdettweiler [2015-10-06 17:15:49] 795*2^1411239-1 is not prime. Res64: EF29B47A6E5F25DF Time : 0.0 sec. user=mdettweiler [2015-10-06 17:16:07] 853*2^1411239-1 is not prime. Res64: 570822E17788EB42 Time : 0.0 sec. user=mdettweiler [2015-10-06 17:16:07] 895*2^1411239-1 is not prime. Res64: E34B03AADDD83E12 Time : 0.0 sec. user=mdettweiler [2015-10-06 17:16:42] 951*2^1411239-1 is not prime. Res64: B8E01914D6A644EE Time : 0.0 sec. user=mdettweiler [2015-10-06 17:16:42] 973*2^1411239-1 is not prime. Res64: D4A977C3260CD3E7 Time : 0.0 sec. user=mdettweiler [2015-10-06 17:17:01] 609*2^1411240-1 is not prime. Res64: FBC640E66916AC3B Time : 0.0 sec. user=mdettweiler [2015-10-06 17:17:02] 615*2^1411240-1 is not prime. Res64: C36B7072DC76C02B Time : 0.0 sec. user=mdettweiler [2015-10-06 17:33:33] 713*2^1411240-1 is not prime. Res64: 35ACE3080C8F091A Time : 0.0 sec. user=mdettweiler [2015-10-06 17:33:33] 615*2^1411241-1 is not prime. Res64: 8AE4699517E88AC5 Time : 0.0 sec. user=mdettweiler [2015-10-06 17:34:01] 741*2^1411241-1 is not prime. Res64: EE1E8F7FC97495EF Time : 0.0 sec. user=mdettweiler [2015-10-06 17:34:02] 901*2^1411241-1 is not prime. Res64: 762A75F730B466A5 Time : 0.0 sec. user=mdettweiler [2015-10-06 17:34:34] 937*2^1411241-1 is not prime. Res64: 711C35CB31F16082 Time : 0.0 sec. user=mdettweiler [2015-10-06 17:34:35] 951*2^1411241-1 is not prime. Res64: AEC5DAF7B484FDDF Time : 0.0 sec. user=mdettweiler [2015-10-06 17:34:52] 997*2^1411241-1 is not prime. Res64: 2CF737209C270B56 Time : 0.0 sec. user=mdettweiler [2015-10-06 17:34:52] 635*2^1411242-1 is not prime. Res64: 586A402822D7C345 Time : 0.0 sec. user=mdettweiler [2015-10-06 17:51:18] 713*2^1411242-1 is not prime. Res64: AC322CC3DA6983A4 Time : 0.0 sec. user=mdettweiler [2015-10-06 17:51:18] 723*2^1411242-1 is not prime. Res64: 29AF10C8447E6BDE Time : 0.0 sec. user=mdettweiler [2015-10-06 17:51:49] 791*2^1411242-1 is not prime. Res64: 884EDE770FFC8A2A Time : 0.0 sec. user=mdettweiler [2015-10-06 17:51:49] 803*2^1411242-1 is not prime. Res64: 2371ADB72D10355E Time : 0.0 sec. user=mdettweiler [2015-10-06 17:52:25] 837*2^1411242-1 is not prime. Res64: EEC1683755B08672 Time : 0.0 sec. user=mdettweiler [2015-10-06 17:52:25] 887*2^1411242-1 is not prime. Res64: 6549DAD09BF2DECF Time : 0.0 sec. user=mdettweiler [2015-10-06 17:52:40] 983*2^1411242-1 is not prime. Res64: B09EC394335396CD Time : 0.0 sec. user=mdettweiler [2015-10-06 17:52:41] 1001*2^1411242-1 is not prime. Res64: 557F1EC3A0B64BEA Time : 0.0 sec. user=mdettweiler [2015-10-06 18:09:09] 615*2^1411243-1 is not prime. Res64: 98A575C2D9EAD2DF Time : 0.0 sec. user=mdettweiler [2015-10-06 18:09:10] 631*2^1411243-1 is not prime. Res64: C8B08F364E9C2C48 Time : 0.0 sec. user=mdettweiler [2015-10-06 18:09:31] 673*2^1411243-1 is not prime. Res64: 1315938AAB34B83F Time : 0.0 sec. user=mdettweiler [2015-10-06 18:09:32] 691*2^1411243-1 is not prime. Res64: 2FFC786E58526AB0 Time : 0.0 sec. user=mdettweiler [2015-10-06 18:10:16] 703*2^1411243-1 is not prime. Res64: 62C9A42E8B7B9C2F Time : 0.0 sec. user=mdettweiler [2015-10-06 18:10:17] 745*2^1411243-1 is not prime. Res64: 1998B26942CD8C95 Time : 0.0 sec. user=mdettweiler [2015-10-06 18:10:27] 871*2^1411243-1 is not prime. Res64: 56528622D52C5ECA Time : 0.0 sec. user=mdettweiler [2015-10-06 18:10:28] 827*2^1411244-1 is not prime. Res64: D36D5543AA6E6439 Time : 0.0 sec. user=mdettweiler [2015-10-06 18:27:14] 885*2^1411244-1 is not prime. Res64: A1BA3D6FFB400EB0 Time : 0.0 sec. user=mdettweiler [2015-10-06 18:27:14] 923*2^1411244-1 is not prime. Res64: E62C791EC8B565DF Time : 0.0 sec. user=mdettweiler [2015-10-06 18:27:18] 987*2^1411244-1 is not prime. Res64: 48FC03F65332D7A5 Time : 0.0 sec. user=mdettweiler [2015-10-06 18:27:19] 727*2^1411245-1 is not prime. Res64: BE5A9AF9931353DE Time : 0.0 sec. user=mdettweiler [2015-10-06 18:28:14] 867*2^1411245-1 is not prime. Res64: 1D942C4E9DEA757D Time : 0.0 sec. user=mdettweiler [2015-10-06 18:28:14] 885*2^1411245-1 is not prime. Res64: 6526A6F0D0A98F75 Time : 0.0 sec. user=mdettweiler [2015-10-06 18:28:17] 817*2^1411245-1 is not prime. Res64: 5DF4901FF835D95C Time : 0.0 sec. user=mdettweiler [2015-10-06 18:28:17] 837*2^1411245-1 is not prime. Res64: E31DA8466F94CDFB Time : 0.0 sec. user=mdettweiler [2015-10-06 18:45:14] 695*2^1411246-1 is not prime. Res64: 00DAF0F892D377CE Time : 0.0 sec. user=mdettweiler [2015-10-06 18:45:15] 773*2^1411246-1 is not prime. Res64: 2956C96D781DFD41 Time : 0.0 sec. user=mdettweiler [2015-10-06 18:45:21] 991*2^1411245-1 is not prime. Res64: 7F41BCB7C57149E5 Time : 0.0 sec. user=mdettweiler [2015-10-06 18:45:21] 675*2^1411246-1 is not prime. Res64: 6A2132CB2192C2F7 Time : 0.0 sec. user=mdettweiler [2015-10-06 18:46:11] 777*2^1411246-1 is not prime. Res64: 2CA3C64AFEFFE7D7 Time : 0.0 sec. user=mdettweiler [2015-10-06 18:46:11] 917*2^1411246-1 is not prime. Res64: F011A30478C88EC0 Time : 0.0 sec. user=mdettweiler [2015-10-06 18:46:12] 945*2^1411246-1 is not prime. Res64: F40A0E4CDC1903A5 Time : 0.0 sec. user=mdettweiler [2015-10-06 18:46:12] 735*2^1411247-1 is not prime. Res64: 20DD0AC7BE1568AE Time : 0.0 sec. user=mdettweiler [2015-10-06 19:03:18] 763*2^1411247-1 is not prime. Res64: B758938548F7E7CD Time : 0.0 sec. user=mdettweiler [2015-10-06 19:03:20] 825*2^1411247-1 is not prime. Res64: 98DFA016B010A326 Time : 0.0 sec. user=mdettweiler [2015-10-06 19:03:21] 939*2^1411247-1 is not prime. Res64: 5B64FFF607F1611B Time : 0.0 sec. user=mdettweiler [2015-10-06 19:03:23] 981*2^1411247-1 is not prime. Res64: A72C296952B4FE34 Time : 0.0 sec. user=mdettweiler [2015-10-06 19:04:07] 991*2^1411247-1 is not prime. Res64: 211FDB121814EC5C Time : 0.0 sec. user=mdettweiler [2015-10-06 19:04:07] 627*2^1411248-1 is not prime. Res64: CE4D619E331D1574 Time : 0.0 sec. user=mdettweiler [2015-10-06 19:04:08] 993*2^1411247-1 is not prime. Res64: EB16D46EBC4D4C07 Time : 0.0 sec. user=mdettweiler [2015-10-06 19:04:09] 725*2^1411248-1 is not prime. Res64: 422E8F7C44081437 Time : 0.0 sec. user=mdettweiler [2015-10-06 19:21:35] 927*2^1411248-1 is not prime. Res64: B3C7E8A1FEDE9A8C Time : 0.0 sec. user=mdettweiler [2015-10-06 19:21:35] 929*2^1411248-1 is not prime. Res64: FA584AA9CB358E62 Time : 0.0 sec. user=mdettweiler [2015-10-06 19:21:37] 839*2^1411248-1 is not prime. Res64: 1D64C7976BBB2AF2 Time : 0.0 sec. user=mdettweiler [2015-10-06 19:21:37] 893*2^1411248-1 is not prime. Res64: 1A0391CD6A80393B Time : 0.0 sec. user=mdettweiler [2015-10-06 19:21:58] 639*2^1411249-1 is not prime. Res64: B50B5AAE4FC6C67E Time : 0.0 sec. user=mdettweiler [2015-10-06 19:21:58] 667*2^1411249-1 is not prime. Res64: 6ACEDB8AB7F8781D Time : 0.0 sec. user=mdettweiler [2015-10-06 19:21:59] 977*2^1411248-1 is not prime. Res64: 10399047DE34C7FC Time : 0.0 sec. user=mdettweiler [2015-10-06 19:21:59] 637*2^1411249-1 is not prime. Res64: 07A3B10D3BD94286 Time : 0.0 sec. user=mdettweiler [2015-10-06 19:39:27] 771*2^1411249-1 is not prime. Res64: 843F8F565D4642AD Time : 0.0 sec. user=mdettweiler [2015-10-06 19:39:28] 897*2^1411249-1 is not prime. Res64: 9E31913E92D60815 Time : 0.0 sec. user=mdettweiler [2015-10-06 19:39:28] 729*2^1411249-1 is not prime. Res64: BABC71324381DA5E Time : 0.0 sec. user=mdettweiler [2015-10-06 19:39:29] 741*2^1411249-1 is not prime. Res64: BD9CE8364AD46323 Time : 0.0 sec. user=mdettweiler [2015-10-06 19:39:47] 957*2^1411249-1 is not prime. Res64: DA256A8BFE605CC2 Time : 0.0 sec. user=mdettweiler [2015-10-06 19:39:47] 783*2^1411250-1 is not prime. Res64: 1A74D3C362249D99 Time : 0.0 sec. user=mdettweiler [2015-10-06 19:39:50] 875*2^1411250-1 is not prime. Res64: 80675062FABE4A2D Time : 0.0 sec. user=mdettweiler [2015-10-06 19:39:50] 995*2^1411250-1 is not prime. Res64: BF274344D11905EC Time : 0.0 sec. user=mdettweiler [2015-10-06 19:57:18] 643*2^1411251-1 is not prime. Res64: 6DF33C66ED8DE82E Time : 0.0 sec. user=mdettweiler [2015-10-06 19:57:18] 669*2^1411251-1 is not prime. Res64: C63A6468DC2AFDF6 Time : 0.0 sec. user=mdettweiler [2015-10-06 19:57:35] 751*2^1411251-1 is not prime. Res64: B52B85055773B542 Time : 0.0 sec. user=mdettweiler [2015-10-06 19:57:35] 801*2^1411251-1 is not prime. Res64: 2DA0356DC350B063 Time : 0.0 sec. user=mdettweiler [2015-10-06 19:57:43] 895*2^1411251-1 is not prime. Res64: B76AE9C466CEAC4E Time : 0.0 sec. user=mdettweiler [2015-10-06 19:57:43] 949*2^1411251-1 is not prime. Res64: FD57DD22F569D106 Time : 0.0 sec. user=mdettweiler [2015-10-06 19:57:47] 629*2^1411252-1 is not prime. Res64: 64032440931B7118 Time : 0.0 sec. user=mdettweiler [2015-10-06 19:57:47] 777*2^1411252-1 is not prime. Res64: 91EBB1AA3D5FC9D5 Time : 0.0 sec. user=mdettweiler [2015-10-06 20:15:11] 779*2^1411252-1 is not prime. Res64: FD88B6611929BAE6 Time : 0.0 sec. user=mdettweiler [2015-10-06 20:15:12] 803*2^1411252-1 is not prime. Res64: F157ED95D3CAC7CB Time : 0.0 sec. user=mdettweiler [2015-10-06 20:15:22] 825*2^1411252-1 is not prime. Res64: 75B93606C067713D Time : 0.0 sec. user=mdettweiler [2015-10-06 20:15:23] 827*2^1411252-1 is not prime. Res64: D76C4107E214F77E Time : 0.0 sec. user=mdettweiler [2015-10-06 20:15:37] 801*2^1411253-1 is not prime. Res64: 6280FA48E2E3759C Time : 0.0 sec. user=mdettweiler [2015-10-06 20:15:38] 837*2^1411253-1 is not prime. Res64: D7589B59234A6652 Time : 0.0 sec. user=mdettweiler [2015-10-06 20:15:42] 939*2^1411252-1 is not prime. Res64: 8589EACEA4C47DD2 Time : 0.0 sec. user=mdettweiler [2015-10-06 20:15:42] 699*2^1411253-1 is not prime. Res64: 1D9146E93F9FEDD5 Time : 0.0 sec. user=mdettweiler [2015-10-06 20:33:06] 847*2^1411253-1 is not prime. Res64: 52DF13F85D247868 Time : 0.0 sec. user=mdettweiler [2015-10-06 20:33:06] 879*2^1411253-1 is not prime. Res64: 73D9B78093979A75 Time : 0.0 sec. user=mdettweiler [2015-10-06 20:33:10] 651*2^1411254-1 is not prime. Res64: 45DD54B2E9E5E332 Time : 0.0 sec. user=mdettweiler [2015-10-06 20:33:11] 695*2^1411254-1 is not prime. Res64: 15B96EA264AB8F05 Time : 0.0 sec. user=mdettweiler [2015-10-06 20:33:32] 711*2^1411254-1 is not prime. Res64: 9050DD20D219791D Time : 0.0 sec. user=mdettweiler [2015-10-06 20:33:32] 773*2^1411254-1 is not prime. Res64: 71C64945F4806263 Time : 0.0 sec. user=mdettweiler [2015-10-06 20:33:37] 927*2^1411254-1 is not prime. Res64: F77BFEF32817BAE3 Time : 0.0 sec. user=mdettweiler [2015-10-06 20:33:38] 603*2^1411255-1 is not prime. Res64: EC36A9F5033D3574 Time : 0.0 sec. user=mdettweiler [2015-10-06 20:50:56] 805*2^1411255-1 is not prime. Res64: 0731D9256016B0A6 Time : 0.0 sec. user=mdettweiler [2015-10-06 20:50:56] 831*2^1411255-1 is not prime. Res64: 71D8A4B29E205CA4 Time : 0.0 sec. user=mdettweiler [2015-10-06 20:50:59] 735*2^1411255-1 is not prime. Res64: 73C6B773D91EBD84 Time : 0.0 sec. user=mdettweiler [2015-10-06 20:50:59] 765*2^1411255-1 is not prime. Res64: C060C34AEB2255C6 Time : 0.0 sec. user=mdettweiler [2015-10-06 20:51:22] 895*2^1411255-1 is not prime. Res64: E9AF162AE765D715 Time : 0.0 sec. user=mdettweiler [2015-10-06 20:51:22] 615*2^1411256-1 is not prime. Res64: FC69DA8C15B52140 Time : 0.0 sec. user=mdettweiler [2015-10-06 20:51:23] 859*2^1411255-1 is not prime. Res64: 574015D3D25CBC02 Time : 0.0 sec. user=mdettweiler [2015-10-06 20:51:24] 871*2^1411255-1 is not prime. Res64: 76C3D49756A2C1F7 Time : 0.0 sec. user=mdettweiler [2015-10-06 21:08:50] 657*2^1411256-1 is not prime. Res64: 7FBA03A15164FE29 Time : 0.0 sec. user=mdettweiler [2015-10-06 21:08:51] 699*2^1411256-1 is not prime. Res64: 306BD4564FB12C55 Time : 0.0 sec. user=mdettweiler [2015-10-06 21:08:51] 837*2^1411256-1 is not prime. Res64: 24831B4F44700EFB Time : 0.0 sec. user=mdettweiler [2015-10-06 21:08:51] 867*2^1411256-1 is not prime. Res64: 45DC4AA0566D9074 Time : 0.0 sec. user=mdettweiler [2015-10-06 21:09:14] 651*2^1411257-1 is not prime. Res64: D4901A6A6C22CA0B Time : 0.0 sec. user=mdettweiler [2015-10-06 21:09:14] 661*2^1411257-1 is not prime. Res64: 0CCE6E33CECF0E0A Time : 0.0 sec. user=mdettweiler [2015-10-06 21:09:15] 893*2^1411256-1 is not prime. Res64: F46518392E7041A9 Time : 0.0 sec. user=mdettweiler [2015-10-06 21:09:16] 957*2^1411256-1 is not prime. Res64: 5115DBE5956C5160 Time : 0.0 sec. user=mdettweiler [2015-10-06 21:27:04] 795*2^1411257-1 is not prime. Res64: 39F402E5382C1112 Time : 0.0 sec. user=mdettweiler [2015-10-06 21:27:04] 819*2^1411257-1 is not prime. Res64: 186A22FD6B5F4017 Time : 0.0 sec. user=mdettweiler [2015-10-06 21:27:13] 747*2^1411257-1 is not prime. Res64: B9C04B818EED165C Time : 0.0 sec. user=mdettweiler [2015-10-06 21:27:13] 765*2^1411257-1 is not prime. Res64: 60CF039AD643CEAF Time : 0.0 sec. user=mdettweiler [2015-10-06 21:27:32] 871*2^1411257-1 is not prime. Res64: 3CC4FEC4D3A70546 Time : 0.0 sec. user=mdettweiler [2015-10-06 21:27:32] 919*2^1411257-1 is not prime. Res64: 124B0497B80D133D Time : 0.0 sec. user=mdettweiler [2015-10-06 21:27:34] 937*2^1411257-1 is not prime. Res64: 14B45F21BE611FEA Time : 0.0 sec. user=mdettweiler [2015-10-06 21:27:35] 623*2^1411258-1 is not prime. Res64: 62422CB3D23FA218 Time : 0.0 sec. user=mdettweiler [2015-10-06 21:47:41] 791*2^1411258-1 is not prime. Res64: 8E8F75D4E842E42C Time : 0.0 sec. user=mdettweiler [2015-10-06 21:47:41] 827*2^1411258-1 is not prime. Res64: 5DC110939AC503B9 Time : 0.0 sec. user=mdettweiler [2015-10-06 21:48:10] 843*2^1411258-1 is not prime. Res64: B80734D4D35723AC Time : 0.0 sec. user=mdettweiler [2015-10-06 21:48:10] 845*2^1411258-1 is not prime. Res64: 52061CC397709A53 Time : 0.0 sec. user=mdettweiler [2015-10-06 21:48:29] 987*2^1411258-1 is not prime. Res64: 4B482DB26318B23B Time : 0.0 sec. user=mdettweiler [2015-10-06 21:48:29] 789*2^1411259-1 is not prime. Res64: 67545DDE59278F51 Time : 0.0 sec. user=mdettweiler [2015-10-06 21:48:33] 859*2^1411259-1 is not prime. Res64: 53C1505EB96F1299 Time : 0.0 sec. user=mdettweiler [2015-10-06 21:48:34] 883*2^1411259-1 is not prime. Res64: 13AD4F2743C21E8D Time : 0.0 sec. user=mdettweiler [2015-10-06 22:09:09] 885*2^1411259-1 is not prime. Res64: ADD16801BC71057B Time : 0.0 sec. user=mdettweiler [2015-10-06 22:09:10] 921*2^1411259-1 is not prime. Res64: A2679DD6DE3EE4A3 Time : 0.0 sec. user=mdettweiler [2015-10-06 22:09:29] 647*2^1411260-1 is not prime. Res64: E5F820F66621637B Time : 0.0 sec. user=mdettweiler [2015-10-06 22:09:30] 699*2^1411260-1 is not prime. Res64: C276F1BF6EF7AF2A Time : 0.0 sec. user=mdettweiler [2015-10-06 22:09:48] 753*2^1411260-1 is not prime. Res64: 4482D7E87427FB24 Time : 0.0 sec. user=mdettweiler [2015-10-06 22:09:48] 773*2^1411260-1 is not prime. Res64: 892F7BF94DC64512 Time : 0.0 sec. user=mdettweiler [2015-10-06 22:09:48] 867*2^1411260-1 is not prime. Res64: BDE2E647515C92F6 Time : 0.0 sec. user=mdettweiler [2015-10-06 22:09:48] 873*2^1411260-1 is not prime. Res64: 89C70A50CA140B1B Time : 0.0 sec. user=mdettweiler [2015-10-06 22:29:08] 621*2^1411261-1 is not prime. Res64: 9CEB72ABB9FA0C25 Time : 0.0 sec. user=mdettweiler [2015-10-06 22:29:09] 625*2^1411261-1 is not prime. Res64: 8A65B16FB78AB3A5 Time : 0.0 sec. user=mdettweiler [2015-10-06 22:29:10] 909*2^1411260-1 is not prime. Res64: 837C44095413960D Time : 0.0 sec. user=mdettweiler [2015-10-06 22:29:11] 601*2^1411261-1 is not prime. Res64: 80A6024F5E53171A Time : 0.0 sec. user=mdettweiler [2015-10-06 22:29:31] 769*2^1411261-1 is not prime. Res64: A8E73DC9F0BBAE19 Time : 0.0 sec. user=mdettweiler [2015-10-06 22:29:31] 801*2^1411261-1 is not prime. Res64: 2107C7991BCFE079 Time : 0.0 sec. user=mdettweiler [2015-10-06 22:29:37] 745*2^1411261-1 is not prime. Res64: 2562A0033402A206 Time : 0.0 sec. user=mdettweiler [2015-10-06 22:29:38] 751*2^1411261-1 is not prime. Res64: 708F9299846D6436 Time : 0.0 sec. user=mdettweiler [2015-10-06 22:48:39] 877*2^1411261-1 is not prime. Res64: 78E63337FCF8BF17 Time : 0.0 sec. user=mdettweiler [2015-10-06 22:48:39] 895*2^1411261-1 is not prime. Res64: 6C6BA777F8F0CDF6 Time : 0.0 sec. user=mdettweiler [2015-10-06 22:48:51] 819*2^1411261-1 is not prime. Res64: 5E7531ECD0CCC8EE Time : 0.0 sec. user=mdettweiler [2015-10-06 22:48:51] 835*2^1411261-1 is not prime. Res64: 820282AD83596524 Time : 0.0 sec. user=mdettweiler [2015-10-06 22:48:59] 671*2^1411262-1 is not prime. Res64: 018CF88608D287B8 Time : 0.0 sec. user=mdettweiler [2015-10-06 22:49:00] 741*2^1411262-1 is not prime. Res64: 57E577784DF9B857 Time : 0.0 sec. user=mdettweiler [2015-10-06 22:49:07] 623*2^1411262-1 is not prime. Res64: A6C2C005C4203007 Time : 0.0 sec. user=mdettweiler [2015-10-06 22:49:07] 635*2^1411262-1 is not prime. Res64: E3E741D5C63E05C9 Time : 0.0 sec. user=mdettweiler [2015-10-06 23:06:49] 767*2^1411262-1 is not prime. Res64: FFA9DE06AA1855D8 Time : 0.0 sec. user=mdettweiler [2015-10-06 23:06:50] 857*2^1411262-1 is not prime. Res64: 5D1A36EDE0E990B6 Time : 0.0 sec. user=mdettweiler [2015-10-06 23:06:51] 893*2^1411262-1 is not prime. Res64: 0771BE3FFB12F62C Time : 0.0 sec. user=mdettweiler [2015-10-06 23:06:52] 977*2^1411262-1 is not prime. Res64: 600F1B4B1048D241 Time : 0.0 sec. user=mdettweiler [2015-10-06 23:07:06] 981*2^1411262-1 is not prime. Res64: 6CA5439163F11E59 Time : 0.0 sec. user=mdettweiler [2015-10-06 23:07:07] 723*2^1411263-1 is not prime. Res64: AD94E091619AA553 Time : 0.0 sec. user=mdettweiler [2015-10-06 23:07:10] 739*2^1411263-1 is not prime. Res64: AA38DDB90CD607A8 Time : 0.0 sec. user=mdettweiler [2015-10-06 23:07:10] 861*2^1411263-1 is not prime. Res64: 3E5F53588572DEC8 Time : 0.0 sec. user=mdettweiler [2015-10-06 23:24:48] 609*2^1411264-1 is not prime. Res64: D911952C36D70BEC Time : 0.0 sec. user=mdettweiler [2015-10-06 23:24:48] 705*2^1411264-1 is not prime. Res64: 1999C745E8CDD9D3 Time : 0.0 sec. user=mdettweiler [2015-10-06 23:24:54] 895*2^1411263-1 is not prime. Res64: 419E3C00C8610FA9 Time : 0.0 sec. user=mdettweiler [2015-10-06 23:24:54] 973*2^1411263-1 is not prime. Res64: 976C1A7CF872C904 Time : 0.0 sec. user=mdettweiler [2015-10-06 23:24:58] 909*2^1411264-1 is not prime. Res64: 27A4CF58BDC51856 Time : 0.0 sec. user=mdettweiler [2015-10-06 23:24:59] 917*2^1411264-1 is not prime. Res64: 69A15F7C5B8CE236 Time : 0.0 sec. user=mdettweiler [2015-10-06 23:25:06] 927*2^1411264-1 is not prime. Res64: DD22DB6D90FBEB4A Time : 0.0 sec. user=mdettweiler [2015-10-06 23:25:06] 975*2^1411264-1 is not prime. Res64: 2943E39AB0A7279D Time : 0.0 sec. user=mdettweiler [2015-10-06 23:43:03] 989*2^1411264-1 is not prime. Res64: F028C52FCC5FD2C4 Time : 0.0 sec. user=mdettweiler [2015-10-06 23:43:04] 649*2^1411265-1 is not prime. Res64: 4FA443B7FCBD13A9 Time : 0.0 sec. user=mdettweiler [2015-10-06 23:43:13] 781*2^1411265-1 is not prime. Res64: 9F20DB812BBAD080 Time : 0.0 sec. user=mdettweiler [2015-10-06 23:43:14] 801*2^1411265-1 is not prime. Res64: 0585D99EA7CDCD36 Time : 0.0 sec. user=mdettweiler [2015-10-06 23:43:18] 685*2^1411265-1 is not prime. Res64: 984B0D551F4567C6 Time : 0.0 sec. user=mdettweiler [2015-10-06 23:43:18] 691*2^1411265-1 is not prime. Res64: 8B9BB969727B4E7D Time : 0.0 sec. user=mdettweiler [2015-10-06 23:43:40] 981*2^1411265-1 is not prime. Res64: 0CDBF454CA3FD56A Time : 0.0 sec. user=mdettweiler [2015-10-06 23:43:40] 711*2^1411266-1 is not prime. Res64: DE62968A4332295F Time : 0.0 sec.