user=mdettweiler [2016-10-16 00:29:08] 751*2^1442865-1 is not prime. Res64: 8995825BD7DC9077 Time : 0.0 sec. user=mdettweiler [2016-10-16 00:29:08] 777*2^1442865-1 is not prime. Res64: A660F1260F38BDEA Time : 0.0 sec. user=mdettweiler [2016-10-16 00:29:09] 819*2^1442865-1 is not prime. Res64: E4E7B8E528ADDD2C Time : 0.0 sec. user=mdettweiler [2016-10-16 00:29:09] 651*2^1442866-1 is not prime. Res64: 7C4F1A88E7957EE3 Time : 0.0 sec. user=mdettweiler [2016-10-16 00:29:10] 983*2^1442866-1 is not prime. Res64: F63869EEA08E45E0 Time : 0.0 sec. user=mdettweiler [2016-10-16 00:29:40] 643*2^1442867-1 is not prime. Res64: 2EFCF18618A63DEB Time : 0.0 sec. user=mdettweiler [2016-10-16 00:29:40] 655*2^1442867-1 is not prime. Res64: F6430F03EE8D8202 Time : 0.0 sec. user=mdettweiler [2016-10-16 00:29:41] 735*2^1442867-1 is not prime. Res64: 8E21795F84C216DB Time : 0.0 sec. user=mdettweiler [2016-10-16 00:29:41] 823*2^1442867-1 is not prime. Res64: CB7B34457E132363 Time : 0.0 sec. user=mdettweiler [2016-10-16 00:29:42] 871*2^1442867-1 is not prime. Res64: 76B9810CC156EFB2 Time : 0.0 sec. user=mdettweiler [2016-10-16 00:30:47] 601*2^1442869-1 is not prime. Res64: 8FABDD81BE907DAF Time : 0.0 sec. user=mdettweiler [2016-10-16 00:30:47] 675*2^1442869-1 is not prime. Res64: BA0936849296F7B7 Time : 0.0 sec. user=mdettweiler [2016-10-16 00:30:48] 729*2^1442869-1 is not prime. Res64: F28F011CD9661E4C Time : 0.0 sec. user=mdettweiler [2016-10-16 00:30:48] 847*2^1442869-1 is not prime. Res64: 6678C0E4529A36F7 Time : 0.0 sec. user=mdettweiler [2016-10-16 00:30:48] 759*2^1442869-1 is not prime. Res64: A3B2A5F7FC076D17 Time : 0.0 sec. user=mdettweiler [2016-10-16 00:30:49] 615*2^1442870-1 is not prime. Res64: 009F10BC33F5BE74 Time : 0.0 sec. user=mdettweiler [2016-10-16 00:30:49] 771*2^1442869-1 is not prime. Res64: 8A5C4AD8EA35F2BD Time : 0.0 sec. user=mdettweiler [2016-10-16 00:30:49] 675*2^1442870-1 is not prime. Res64: F8A5CCF5A7612A6F Time : 0.0 sec. user=mdettweiler [2016-10-16 00:30:50] 851*2^1442870-1 is not prime. Res64: 986D58C2A87DED48 Time : 0.0 sec. user=mdettweiler [2016-10-16 00:30:50] 893*2^1442870-1 is not prime. Res64: C67A46B0F900D19F Time : 0.0 sec. user=mdettweiler [2016-10-16 01:15:10] 911*2^1442870-1 is not prime. Res64: 9E72A8886424098F Time : 0.0 sec. user=mdettweiler [2016-10-16 01:15:11] 977*2^1442870-1 is not prime. Res64: 821FB8C5EC6FE3F0 Time : 0.0 sec. user=mdettweiler [2016-10-16 01:15:11] 995*2^1442870-1 is not prime. Res64: B18E21296A3C877E Time : 0.0 sec. user=mdettweiler [2016-10-16 01:15:12] 601*2^1442871-1 is not prime. Res64: 7893644048EAFC42 Time : 0.0 sec. user=mdettweiler [2016-10-16 01:15:13] 703*2^1442871-1 is not prime. Res64: A9026586DD68F042 Time : 0.0 sec. user=mdettweiler [2016-10-16 01:16:10] 711*2^1442871-1 is not prime. Res64: C16C0283E97DA8D6 Time : 0.0 sec. user=mdettweiler [2016-10-16 01:16:11] 861*2^1442871-1 is not prime. Res64: 2C0F3528A911A4DB Time : 0.0 sec. user=mdettweiler [2016-10-16 01:16:11] 975*2^1442871-1 is not prime. Res64: C12CD0DBBF0061C1 Time : 0.0 sec. user=mdettweiler [2016-10-16 01:16:12] 677*2^1442872-1 is not prime. Res64: A74F46802144AF11 Time : 0.0 sec. user=mdettweiler [2016-10-16 01:16:12] 813*2^1442872-1 is not prime. Res64: A457B29B430A48DA Time : 0.0 sec. user=mdettweiler [2016-10-16 01:17:04] 843*2^1442872-1 is not prime. Res64: F464D9874EEA2E8E Time : 0.0 sec. user=mdettweiler [2016-10-16 01:17:05] 849*2^1442872-1 is not prime. Res64: 5B8FBA14B7914C8B Time : 0.0 sec. user=mdettweiler [2016-10-16 01:17:06] 855*2^1442872-1 is not prime. Res64: 277C3DA27C0320CF Time : 0.0 sec. user=mdettweiler [2016-10-16 01:17:07] 869*2^1442872-1 is not prime. Res64: FEF3A6D12E29EB1B Time : 0.0 sec. user=mdettweiler [2016-10-16 01:17:08] 875*2^1442872-1 is not prime. Res64: 5B16B845D2A5DDFB Time : 0.0 sec. user=mdettweiler [2016-10-16 01:17:28] 939*2^1442872-1 is not prime. Res64: B943DF35613FE221 Time : 0.0 sec. user=mdettweiler [2016-10-16 01:17:29] 975*2^1442872-1 is not prime. Res64: E2A101DA36670A71 Time : 0.0 sec. user=mdettweiler [2016-10-16 01:17:30] 651*2^1442873-1 is not prime. Res64: 05E73FDE4E7D7533 Time : 0.0 sec. user=mdettweiler [2016-10-16 01:17:31] 657*2^1442873-1 is not prime. Res64: 5B237F758CE5CBE2 Time : 0.0 sec. user=mdettweiler [2016-10-16 01:17:32] 691*2^1442873-1 is not prime. Res64: DDFB8ACD17D3957E Time : 0.0 sec. user=mdettweiler [2016-10-16 01:59:53] 715*2^1442873-1 is not prime. Res64: 19E2016F283C07AD Time : 0.0 sec. user=mdettweiler [2016-10-16 01:59:54] 889*2^1442873-1 is not prime. Res64: 4CE2B910F60D8DDC Time : 0.0 sec. user=mdettweiler [2016-10-16 01:59:54] 897*2^1442873-1 is not prime. Res64: F2287960D9C0879F Time : 0.0 sec. user=mdettweiler [2016-10-16 01:59:55] 915*2^1442873-1 is not prime. Res64: 33C9F322D092ABD1 Time : 0.0 sec. user=mdettweiler [2016-10-16 01:59:55] 633*2^1442874-1 is not prime. Res64: BB1C14755E4CBABC Time : 0.0 sec. user=mdettweiler [2016-10-16 02:00:35] 717*2^1442874-1 is not prime. Res64: FDF434A99F59F11E Time : 0.0 sec. user=mdettweiler [2016-10-16 02:00:38] 731*2^1442874-1 is not prime. Res64: 1D073275DF2C4836 Time : 0.0 sec. user=mdettweiler [2016-10-16 02:00:40] 905*2^1442874-1 is not prime. Res64: 80E78B210BEBEAA4 Time : 0.0 sec. user=mdettweiler [2016-10-16 02:00:42] 917*2^1442874-1 is not prime. Res64: 9C4F89A9A036F620 Time : 0.0 sec. user=mdettweiler [2016-10-16 02:00:43] 945*2^1442874-1 is not prime. Res64: C72BF24B19830405 Time : 0.0 sec. user=mdettweiler [2016-10-16 02:01:48] 1001*2^1442874-1 is not prime. Res64: 70C6E453677CA879 Time : 0.0 sec. user=mdettweiler [2016-10-16 02:01:49] 649*2^1442875-1 is not prime. Res64: 300267E2709D3CFA Time : 0.0 sec. user=mdettweiler [2016-10-16 02:01:50] 793*2^1442875-1 is not prime. Res64: 2A41569B486BDEB1 Time : 0.0 sec. user=mdettweiler [2016-10-16 02:01:51] 855*2^1442875-1 is not prime. Res64: 4B01969013F3782B Time : 0.0 sec. user=mdettweiler [2016-10-16 02:01:53] 617*2^1442876-1 is not prime. Res64: 428943E0EA8C77C2 Time : 0.0 sec. user=mdettweiler [2016-10-16 02:02:08] 663*2^1442876-1 is not prime. Res64: 318DF75A8A77E08E Time : 0.0 sec. user=mdettweiler [2016-10-16 02:02:09] 743*2^1442876-1 is not prime. Res64: E385BA8CD7F4E4AC Time : 0.0 sec. user=mdettweiler [2016-10-16 02:02:11] 843*2^1442876-1 is not prime. Res64: 40B983A5E8A7BBC7 Time : 0.0 sec. user=mdettweiler [2016-10-16 02:02:12] 845*2^1442876-1 is not prime. Res64: 04C4C72F311CFFB4 Time : 0.0 sec. user=mdettweiler [2016-10-16 02:02:13] 879*2^1442876-1 is not prime. Res64: 49E678EDE779FD18 Time : 0.0 sec. user=mdettweiler [2016-10-16 02:44:26] 903*2^1442876-1 is not prime. Res64: EA8AA4F21879E2FC Time : 0.0 sec. user=mdettweiler [2016-10-16 02:44:27] 601*2^1442877-1 is not prime. Res64: AF2C560320C0EE5F Time : 0.0 sec. user=mdettweiler [2016-10-16 02:44:27] 609*2^1442877-1 is not prime. Res64: A2E0A25A367D528E Time : 0.0 sec. user=mdettweiler [2016-10-16 02:44:28] 661*2^1442877-1 is not prime. Res64: 4A1230BABBD368F8 Time : 0.0 sec. user=mdettweiler [2016-10-16 02:44:28] 835*2^1442877-1 is not prime. Res64: E755B3B301A41037 Time : 0.0 sec. user=mdettweiler [2016-10-16 02:45:10] 895*2^1442877-1 is not prime. Res64: CBFB2C7EB253564D Time : 0.0 sec. user=mdettweiler [2016-10-16 02:45:10] 927*2^1442877-1 is not prime. Res64: 552761CB9D1FDFBF Time : 0.0 sec. user=mdettweiler [2016-10-16 02:45:10] 949*2^1442877-1 is not prime. Res64: 54FD9C9A87DD51EC Time : 0.0 sec. user=mdettweiler [2016-10-16 02:45:11] 991*2^1442877-1 is not prime. Res64: E863DDB76D28FE7E Time : 0.0 sec. user=mdettweiler [2016-10-16 02:45:12] 603*2^1442878-1 is not prime. Res64: 9EE160696CF71D42 Time : 0.0 sec. user=mdettweiler [2016-10-16 02:46:31] 681*2^1442878-1 is not prime. Res64: 9C9D3AB41C51F140 Time : 0.0 sec. user=mdettweiler [2016-10-16 02:46:31] 731*2^1442878-1 is not prime. Res64: 7B3638ACB70B77C2 Time : 0.0 sec. user=mdettweiler [2016-10-16 02:46:32] 737*2^1442878-1 is not prime. Res64: A02A75D270F8F38C Time : 0.0 sec. user=mdettweiler [2016-10-16 02:46:32] 827*2^1442878-1 is not prime. Res64: 0FF2AD3290F3A703 Time : 0.0 sec. user=mdettweiler [2016-10-16 02:46:33] 685*2^1442879-1 is not prime. Res64: D2FFD02327B71D74 Time : 0.0 sec. user=mdettweiler [2016-10-16 02:46:44] 703*2^1442879-1 is not prime. Res64: 796778E034075141 Time : 0.0 sec. user=mdettweiler [2016-10-16 02:46:45] 729*2^1442879-1 is not prime. Res64: D0D3B5B4508B5D46 Time : 0.0 sec. user=mdettweiler [2016-10-16 02:46:45] 759*2^1442879-1 is not prime. Res64: EE2535EA5F9C2007 Time : 0.0 sec. user=mdettweiler [2016-10-16 02:46:46] 943*2^1442879-1 is not prime. Res64: F0F9DD519BDF7E2F Time : 0.0 sec. user=mdettweiler [2016-10-16 02:46:46] 969*2^1442879-1 is not prime. Res64: B6F56F34ED137F6E Time : 0.0 sec. user=mdettweiler [2016-10-16 03:29:46] 693*2^1442880-1 is not prime. Res64: 5C938FC1390991DD Time : 0.0 sec. user=mdettweiler [2016-10-16 03:29:51] 713*2^1442880-1 is not prime. Res64: B4D1035E336FD847 Time : 0.0 sec. user=mdettweiler [2016-10-16 03:29:52] 795*2^1442880-1 is not prime. Res64: 9C4FDE654398C55D Time : 0.0 sec. user=mdettweiler [2016-10-16 03:29:54] 819*2^1442880-1 is not prime. Res64: 92A1EF58A7D03DDD Time : 0.0 sec. user=mdettweiler [2016-10-16 03:29:56] 839*2^1442880-1 is not prime. Res64: C7DA25F6EA018843 Time : 0.0 sec. user=mdettweiler [2016-10-16 03:30:19] 905*2^1442880-1 is not prime. Res64: 938E54343BEE9A08 Time : 0.0 sec. user=mdettweiler [2016-10-16 03:30:30] 917*2^1442880-1 is not prime. Res64: 359E2990A4EDCE0C Time : 0.0 sec. user=mdettweiler [2016-10-16 03:31:48] 745*2^1442881-1 is not prime. Res64: 98AB0833E2E4C38B Time : 0.0 sec. user=mdettweiler [2016-10-16 03:31:51] 937*2^1442881-1 is not prime. Res64: 5CA23ED9A31054B7 Time : 0.0 sec. user=mdettweiler [2016-10-16 03:31:52] 997*2^1442881-1 is not prime. Res64: 82CF92E63155885F Time : 0.0 sec. user=mdettweiler [2016-10-16 03:31:54] 671*2^1442882-1 is not prime. Res64: CA02FF3B6B6BEC07 Time : 0.0 sec. user=mdettweiler [2016-10-16 03:31:55] 675*2^1442882-1 is not prime. Res64: C93299C92084CDD5 Time : 0.0 sec. user=mdettweiler [2016-10-16 03:32:07] 683*2^1442882-1 is not prime. Res64: 05C96F1B07EA59BC Time : 0.0 sec. user=mdettweiler [2016-10-16 03:32:08] 735*2^1442882-1 is not prime. Res64: 7E2EE8EAABFDD9D9 Time : 0.0 sec. user=mdettweiler [2016-10-16 03:32:09] 743*2^1442882-1 is not prime. Res64: B00C44B61E9732C0 Time : 0.0 sec. user=mdettweiler [2016-10-16 03:32:11] 981*2^1442882-1 is not prime. Res64: C4E0635F38E4B8CD Time : 0.0 sec. user=mdettweiler [2016-10-16 03:32:12] 705*2^1442883-1 is not prime. Res64: 2B45AA904747B825 Time : 0.0 sec. user=mdettweiler [2016-10-16 04:15:49] 709*2^1442883-1 is not prime. Res64: 10AF1B55866A4528 Time : 0.0 sec. user=mdettweiler [2016-10-16 04:15:50] 723*2^1442883-1 is not prime. Res64: 4A07E2A0BF15F834 Time : 0.0 sec. user=mdettweiler [2016-10-16 04:15:51] 745*2^1442883-1 is not prime. Res64: BE0A9ACC06A5A3C7 Time : 0.0 sec. user=mdettweiler [2016-10-16 04:15:51] 901*2^1442883-1 is not prime. Res64: D2BE99467573E9BD Time : 0.0 sec. user=mdettweiler [2016-10-16 04:15:52] 985*2^1442883-1 is not prime. Res64: F397D3086F80A45F Time : 0.0 sec. user=mdettweiler [2016-10-16 04:17:31] 657*2^1442884-1 is not prime. Res64: EE87B8202B9511B5 Time : 0.0 sec. user=mdettweiler [2016-10-16 04:17:32] 873*2^1442884-1 is not prime. Res64: B3A14E2C898466AA Time : 0.0 sec. user=mdettweiler [2016-10-16 04:17:32] 885*2^1442884-1 is not prime. Res64: 1900DE7721E38726 Time : 0.0 sec. user=mdettweiler [2016-10-16 04:17:33] 989*2^1442884-1 is not prime. Res64: C8FC999D6CC7B60E Time : 0.0 sec. user=mdettweiler [2016-10-16 04:17:33] 717*2^1442885-1 is not prime. Res64: C5EFC90DBDF97E8C Time : 0.0 sec. user=mdettweiler [2016-10-16 04:17:56] 867*2^1442885-1 is not prime. Res64: 093BDB28E83229C4 Time : 0.0 sec. user=mdettweiler [2016-10-16 04:17:56] 987*2^1442885-1 is not prime. Res64: 303EA1988B1BF3F1 Time : 0.0 sec. user=mdettweiler [2016-10-16 04:17:57] 717*2^1442886-1 is not prime. Res64: BEC62C64B83F5550 Time : 0.0 sec. user=mdettweiler [2016-10-16 04:17:57] 881*2^1442886-1 is not prime. Res64: 9D007FFA94A7EA3A Time : 0.0 sec. user=mdettweiler [2016-10-16 04:17:58] 887*2^1442886-1 is not prime. Res64: A211624CCA9CE9EC Time : 0.0 sec. user=mdettweiler [2016-10-16 05:01:17] 735*2^1442887-1 is not prime. Res64: 5C2B2C4385881D0F Time : 0.0 sec. user=mdettweiler [2016-10-16 05:01:19] 741*2^1442887-1 is not prime. Res64: 502B514000C51A55 Time : 0.0 sec. user=mdettweiler [2016-10-16 05:01:20] 763*2^1442887-1 is not prime. Res64: D644EDAE9C848A7C Time : 0.0 sec. user=mdettweiler [2016-10-16 05:01:22] 891*2^1442887-1 is not prime. Res64: 2B5CEA7DDD38E4E3 Time : 0.0 sec. user=mdettweiler [2016-10-16 05:01:23] 939*2^1442887-1 is not prime. Res64: 181F653CFAA03279 Time : 0.0 sec. user=mdettweiler [2016-10-16 05:02:42] 973*2^1442887-1 is not prime. Res64: 4587A45C3270B48D Time : 0.0 sec. user=mdettweiler [2016-10-16 05:02:43] 993*2^1442887-1 is not prime. Res64: 10627131DF85DCFC Time : 0.0 sec. user=mdettweiler [2016-10-16 05:02:44] 615*2^1442888-1 is not prime. Res64: 68E371CB1F821360 Time : 0.0 sec. user=mdettweiler [2016-10-16 05:02:45] 755*2^1442888-1 is not prime. Res64: 73AE32B9C214B306 Time : 0.0 sec. user=mdettweiler [2016-10-16 05:02:46] 879*2^1442888-1 is not prime. Res64: 190B1E59E8139204 Time : 0.0 sec. user=mdettweiler [2016-10-16 05:03:17] 899*2^1442888-1 is not prime. Res64: B0E54DBD81111546 Time : 0.0 sec. user=mdettweiler [2016-10-16 05:03:18] 637*2^1442889-1 is not prime. Res64: 1F516D9572D2F6D8 Time : 0.0 sec. user=mdettweiler [2016-10-16 05:03:19] 657*2^1442889-1 is not prime. Res64: 19F324265B006363 Time : 0.0 sec. user=mdettweiler [2016-10-16 05:03:20] 669*2^1442889-1 is not prime. Res64: FC48235DC64D0C01 Time : 0.0 sec. user=mdettweiler [2016-10-16 05:03:21] 681*2^1442889-1 is not prime. Res64: EBD6CBBCF866DBBC Time : 0.0 sec. user=mdettweiler [2016-10-16 05:46:55] 765*2^1442889-1 is not prime. Res64: 2ABB93DDC0916E9D Time : 0.0 sec. user=mdettweiler [2016-10-16 05:46:55] 907*2^1442889-1 is not prime. Res64: 2E83391702522900 Time : 0.0 sec. user=mdettweiler [2016-10-16 05:46:56] 701*2^1442890-1 is not prime. Res64: 5FEE44826893BE66 Time : 0.0 sec. user=mdettweiler [2016-10-16 05:46:56] 707*2^1442890-1 is not prime. Res64: C91DFD7579015D1E Time : 0.0 sec. user=mdettweiler [2016-10-16 05:46:57] 747*2^1442890-1 is not prime. Res64: 8CC31013840DA174 Time : 0.0 sec. user=mdettweiler [2016-10-16 05:48:06] 813*2^1442890-1 is not prime. Res64: 7C5828F924A4EBF5 Time : 0.0 sec. user=mdettweiler [2016-10-16 05:48:07] 821*2^1442890-1 is not prime. Res64: 43AB6C3CA8D603BD Time : 0.0 sec. user=mdettweiler [2016-10-16 05:48:07] 885*2^1442890-1 is not prime. Res64: 684F26CA43787908 Time : 0.0 sec. user=mdettweiler [2016-10-16 05:48:08] 917*2^1442890-1 is not prime. Res64: 1925FF1182F5F3C6 Time : 0.0 sec. user=mdettweiler [2016-10-16 05:48:08] 601*2^1442891-1 is not prime. Res64: 4C4C12289F84FA79 Time : 0.0 sec. user=mdettweiler [2016-10-16 05:49:04] 693*2^1442891-1 is not prime. Res64: 9DE48D6B1AE60925 Time : 0.0 sec. user=mdettweiler [2016-10-16 05:49:05] 759*2^1442891-1 is not prime. Res64: 3DFDC78045E414F4 Time : 0.0 sec. user=mdettweiler [2016-10-16 05:49:05] 859*2^1442891-1 is not prime. Res64: 7D655FC8C9A10EAB Time : 0.0 sec. user=mdettweiler [2016-10-16 05:49:06] 725*2^1442892-1 is not prime. Res64: 7DF256964F1D5C60 Time : 0.0 sec. user=mdettweiler [2016-10-16 05:49:06] 765*2^1442892-1 is not prime. Res64: 1F2A6E17ECFDE376 Time : 0.0 sec. user=mdettweiler [2016-10-16 06:22:32] 957*2^1442880-1 is not prime. Res64: 2E0E683E5A84FE10 Time : 0.0 sec. user=mdettweiler [2016-10-16 06:22:32] 983*2^1442880-1 is not prime. Res64: 38F137B89E40CFA7 Time : 0.0 sec. user=mdettweiler [2016-10-16 06:22:33] 625*2^1442881-1 is not prime. Res64: A2ED71FDC961A1C5 Time : 0.0 sec. user=mdettweiler [2016-10-16 06:32:01] 837*2^1442892-1 is not prime. Res64: 7F30C88E4579AB73 Time : 0.0 sec. user=mdettweiler [2016-10-16 06:32:02] 879*2^1442892-1 is not prime. Res64: 5752E87193523EC7 Time : 0.0 sec. user=mdettweiler [2016-10-16 06:32:02] 903*2^1442892-1 is not prime. Res64: A560AF93E8A22918 Time : 0.0 sec. user=mdettweiler [2016-10-16 06:32:03] 923*2^1442892-1 is not prime. Res64: 733198D5DBA08444 Time : 0.0 sec. user=mdettweiler [2016-10-16 06:32:03] 607*2^1442893-1 is not prime. Res64: F81A003866E17E8F Time : 0.0 sec. user=mdettweiler [2016-10-16 06:33:19] 615*2^1442893-1 is not prime. Res64: ED4DDBD16EFB7FE1 Time : 0.0 sec. user=mdettweiler [2016-10-16 06:33:19] 775*2^1442893-1 is not prime. Res64: 0480999205703FF3 Time : 0.0 sec. user=mdettweiler [2016-10-16 06:33:20] 831*2^1442893-1 is not prime. Res64: 90E2E84FFB45363E Time : 0.0 sec. user=mdettweiler [2016-10-16 06:33:20] 847*2^1442893-1 is not prime. Res64: 38F8DFB912E26927 Time : 0.0 sec. user=mdettweiler [2016-10-16 06:33:21] 855*2^1442893-1 is not prime. Res64: 4A7248181881A09D Time : 0.0 sec. user=mdettweiler [2016-10-16 06:34:14] 861*2^1442893-1 is not prime. Res64: E50115216D9942A8 Time : 0.0 sec. user=mdettweiler [2016-10-16 06:34:15] 635*2^1442894-1 is not prime. Res64: 1C5C4C8767EB02DC Time : 0.0 sec. user=mdettweiler [2016-10-16 06:34:15] 657*2^1442894-1 is not prime. Res64: 97A0BE24509052CD Time : 0.0 sec. user=mdettweiler [2016-10-16 06:34:16] 663*2^1442894-1 is not prime. Res64: D889B6AC12CB333A Time : 0.0 sec. user=mdettweiler [2016-10-16 06:34:16] 675*2^1442894-1 is not prime. Res64: 4BCF86A1DE551793 Time : 0.0 sec. user=mdettweiler [2016-10-16 07:07:03] 731*2^1442894-1 is not prime. Res64: E95F346A9FA1E092 Time : 0.0 sec. user=mdettweiler [2016-10-16 07:07:04] 755*2^1442894-1 is not prime. Res64: E98C7EED72A49EF2 Time : 0.0 sec. user=mdettweiler [2016-10-16 07:07:05] 791*2^1442894-1 is not prime. Res64: 08F34900984F4DC7 Time : 0.0 sec. user=mdettweiler [2016-10-16 07:07:06] 851*2^1442894-1 is not prime. Res64: 7FFE5CD3EF0F9257 Time : 0.0 sec. user=mdettweiler [2016-10-16 07:07:08] 875*2^1442894-1 is not prime. Res64: 302415DCF0032C1D Time : 0.0 sec. user=mdettweiler [2016-10-16 07:16:39] 917*2^1442894-1 is not prime. Res64: 9E2F26C7A1988872 Time : 0.0 sec. user=mdettweiler [2016-10-16 07:16:40] 981*2^1442894-1 is not prime. Res64: 39EC8E415391CF0B Time : 0.0 sec. user=mdettweiler [2016-10-16 07:16:40] 649*2^1442895-1 is not prime. Res64: 9B97C48F598C6C91 Time : 0.0 sec. user=mdettweiler [2016-10-16 07:16:41] 651*2^1442895-1 is not prime. Res64: 85FCEE4DDD5A1E69 Time : 0.0 sec. user=mdettweiler [2016-10-16 07:16:41] 763*2^1442895-1 is not prime. Res64: 3AB8675BCDBCDD40 Time : 0.0 sec. user=mdettweiler [2016-10-16 07:17:56] 795*2^1442895-1 is not prime. Res64: A1D0CF0CD86CB46F Time : 0.0 sec. user=mdettweiler [2016-10-16 07:17:57] 823*2^1442895-1 is not prime. Res64: 5067DF6B2160F643 Time : 0.0 sec. user=mdettweiler [2016-10-16 07:17:57] 849*2^1442895-1 is not prime. Res64: 3744D6AAD5A5F8F5 Time : 0.0 sec. user=mdettweiler [2016-10-16 07:17:58] 859*2^1442895-1 is not prime. Res64: 2573C0BD211BAA37 Time : 0.0 sec. user=mdettweiler [2016-10-16 07:17:58] 949*2^1442895-1 is not prime. Res64: C12B2CAAC6121B23 Time : 0.0 sec. user=mdettweiler [2016-10-16 07:19:06] 955*2^1442895-1 is not prime. Res64: 5533962B07C8AE4E Time : 0.0 sec. user=mdettweiler [2016-10-16 07:19:07] 961*2^1442895-1 is not prime. Res64: A23C838F07B61AA7 Time : 0.0 sec. user=mdettweiler [2016-10-16 07:19:07] 963*2^1442895-1 is not prime. Res64: DC184992C65A8897 Time : 0.0 sec. user=mdettweiler [2016-10-16 07:19:08] 645*2^1442896-1 is not prime. Res64: F59C23C3CE438F74 Time : 0.0 sec. user=mdettweiler [2016-10-16 07:19:08] 719*2^1442896-1 is not prime. Res64: E01339034A05B0EF Time : 0.0 sec. user=mdettweiler [2016-10-16 07:51:46] 843*2^1442896-1 is not prime. Res64: 005052AA9E60533A Time : 0.0 sec. user=mdettweiler [2016-10-16 07:51:46] 975*2^1442896-1 is not prime. Res64: 06E75C4AC8288D27 Time : 0.0 sec. user=mdettweiler [2016-10-16 07:51:47] 697*2^1442897-1 is not prime. Res64: 1553E0F85DE5BF1E Time : 0.0 sec. user=mdettweiler [2016-10-16 07:51:47] 799*2^1442897-1 is not prime. Res64: 349668230A2E5A02 Time : 0.0 sec. user=mdettweiler [2016-10-16 07:51:48] 847*2^1442897-1 is not prime. Res64: E9520C1A255240CE Time : 0.0 sec. user=mdettweiler [2016-10-16 08:01:12] 967*2^1442897-1 is not prime. Res64: 77323C09F02BF26F Time : 0.0 sec. user=mdettweiler [2016-10-16 08:01:15] 627*2^1442898-1 is not prime. Res64: 045541D3F9BDBBAC Time : 0.0 sec. user=mdettweiler [2016-10-16 08:01:16] 713*2^1442898-1 is not prime. Res64: 08A36EA969F5BA61 Time : 0.0 sec. user=mdettweiler [2016-10-16 08:01:17] 735*2^1442898-1 is not prime. Res64: EB0D2C20B5BAA1D8 Time : 0.0 sec. user=mdettweiler [2016-10-16 08:01:19] 1001*2^1442898-1 is not prime. Res64: 09ED445A2827F6B1 Time : 0.0 sec. user=mdettweiler [2016-10-16 08:02:27] 619*2^1442899-1 is not prime. Res64: 5E735773C85F4593 Time : 0.0 sec. user=mdettweiler [2016-10-16 08:02:30] 705*2^1442899-1 is not prime. Res64: 4360CE8DD2E6A18E Time : 0.0 sec. user=mdettweiler [2016-10-16 08:02:36] 843*2^1442899-1 is not prime. Res64: 82ED566A137A656A Time : 0.0 sec. user=mdettweiler [2016-10-16 08:02:37] 861*2^1442899-1 is not prime. Res64: C4E44DB65FFDAE0E Time : 0.0 sec. user=mdettweiler [2016-10-16 08:02:40] 919*2^1442899-1 is not prime. Res64: 6C892CC420A1B7BB Time : 0.0 sec. user=mdettweiler [2016-10-16 08:03:43] 931*2^1442899-1 is not prime. Res64: 3B5F9215501994CD Time : 0.0 sec. user=mdettweiler [2016-10-16 08:03:47] 951*2^1442899-1 is not prime. Res64: 3D67A49BCB270921 Time : 0.0 sec. user=mdettweiler [2016-10-16 08:03:51] 603*2^1442900-1 is not prime. Res64: 06619D6EF306CE62 Time : 0.0 sec. user=mdettweiler [2016-10-16 08:03:53] 635*2^1442900-1 is not prime. Res64: 43529B4C881A2869 Time : 0.0 sec. user=mdettweiler [2016-10-16 08:03:56] 707*2^1442900-1 is not prime. Res64: 8E734289B0A0468E Time : 0.0 sec. user=mdettweiler [2016-10-16 08:36:26] 825*2^1442900-1 is not prime. Res64: A82E220B22AB0C47 Time : 0.0 sec. user=mdettweiler [2016-10-16 08:36:27] 915*2^1442900-1 is not prime. Res64: 927DBED8AEFF38B6 Time : 0.0 sec. user=mdettweiler [2016-10-16 08:36:27] 963*2^1442900-1 is not prime. Res64: 00F80D145DAFC2F7 Time : 0.0 sec. user=mdettweiler [2016-10-16 08:36:28] 999*2^1442900-1 is not prime. Res64: FF4092DBF4091CD5 Time : 0.0 sec. user=mdettweiler [2016-10-16 08:36:28] 777*2^1442901-1 is not prime. Res64: A553C0390FF5D8CC Time : 0.0 sec. user=mdettweiler [2016-10-16 08:46:04] 949*2^1442901-1 is not prime. Res64: 3A20942FABFB185E Time : 0.0 sec. user=mdettweiler [2016-10-16 08:46:04] 969*2^1442901-1 is not prime. Res64: FCB7ADC529CE2867 Time : 0.0 sec. user=mdettweiler [2016-10-16 08:46:05] 603*2^1442902-1 is not prime. Res64: 5216A8F0A5084D0D Time : 0.0 sec. user=mdettweiler [2016-10-16 08:46:05] 617*2^1442902-1 is not prime. Res64: 0B03171AB2F2A9DA Time : 0.0 sec. user=mdettweiler [2016-10-16 08:46:06] 621*2^1442902-1 is not prime. Res64: BB70337ACB8A2996 Time : 0.0 sec. user=mdettweiler [2016-10-16 08:47:44] 657*2^1442902-1 is not prime. Res64: B7F1A8B01DB97EC8 Time : 0.0 sec. user=mdettweiler [2016-10-16 08:47:44] 677*2^1442902-1 is not prime. Res64: 115DC86F7DB1C9FD Time : 0.0 sec. user=mdettweiler [2016-10-16 08:47:45] 723*2^1442902-1 is not prime. Res64: 915EFB5DCAE0914E Time : 0.0 sec. user=mdettweiler [2016-10-16 08:47:45] 731*2^1442902-1 is not prime. Res64: D3068DBC29E064D5 Time : 0.0 sec. user=mdettweiler [2016-10-16 08:47:46] 821*2^1442902-1 is not prime. Res64: 837BDA731C745849 Time : 0.0 sec. user=mdettweiler [2016-10-16 08:48:49] 947*2^1442902-1 is not prime. Res64: 3D62725C013396C3 Time : 0.0 sec. user=mdettweiler [2016-10-16 08:48:49] 609*2^1442903-1 is not prime. Res64: C10B917F1D8389FD Time : 0.0 sec. user=mdettweiler [2016-10-16 08:48:50] 693*2^1442903-1 is not prime. Res64: 2E59011578FEC56C Time : 0.0 sec. user=mdettweiler [2016-10-16 08:48:50] 715*2^1442903-1 is not prime. Res64: 93BD380A32E46E8E Time : 0.0 sec. user=mdettweiler [2016-10-16 08:48:51] 739*2^1442903-1 is not prime. Res64: 4B37A17209F5C9CC Time : 0.0 sec. user=mdettweiler [2016-10-16 09:20:53] 955*2^1442903-1 is not prime. Res64: 5160B792BD3457A2 Time : 0.0 sec. user=mdettweiler [2016-10-16 09:20:54] 981*2^1442903-1 is not prime. Res64: 01978618AD738FC5 Time : 0.0 sec. user=mdettweiler [2016-10-16 09:20:54] 747*2^1442904-1 is not prime. Res64: DD51033E15189555 Time : 0.0 sec. user=mdettweiler [2016-10-16 09:20:55] 625*2^1442905-1 is not prime. Res64: 27D75593A75F7FA6 Time : 0.0 sec. user=mdettweiler [2016-10-16 09:20:55] 685*2^1442905-1 is not prime. Res64: F1F78B389274D8F0 Time : 0.0 sec. user=mdettweiler [2016-10-16 09:30:43] 799*2^1442905-1 is not prime. Res64: 100B287EA79F4D9E Time : 0.0 sec. user=mdettweiler [2016-10-16 09:30:44] 671*2^1442906-1 is not prime. Res64: 4ACD1269CE30556D Time : 0.0 sec. user=mdettweiler [2016-10-16 09:30:44] 735*2^1442906-1 is not prime. Res64: 1C7D101D4C3CAE7D Time : 0.0 sec. user=mdettweiler [2016-10-16 09:30:44] 741*2^1442906-1 is not prime. Res64: B201C83D3C9905A4 Time : 0.0 sec. user=mdettweiler [2016-10-16 09:30:45] 857*2^1442906-1 is not prime. Res64: 7269B9D996CC14FD Time : 0.0 sec. user=mdettweiler [2016-10-16 09:32:17] 945*2^1442906-1 is not prime. Res64: A991D462B0E79E7C Time : 0.0 sec. user=mdettweiler [2016-10-16 09:32:17] 769*2^1442907-1 is not prime. Res64: A59B2549733B1DA9 Time : 0.0 sec. user=mdettweiler [2016-10-16 09:32:17] 843*2^1442907-1 is not prime. Res64: E40EF098378A01E4 Time : 0.0 sec. user=mdettweiler [2016-10-16 09:32:18] 879*2^1442907-1 is not prime. Res64: DF40F057A9C16A26 Time : 0.0 sec. user=mdettweiler [2016-10-16 09:32:18] 985*2^1442907-1 is not prime. Res64: 2DF094A7AE9523A0 Time : 0.0 sec. user=mdettweiler [2016-10-16 09:33:30] 749*2^1442908-1 is not prime. Res64: 87E92FB2E9473EAB Time : 0.0 sec. user=mdettweiler [2016-10-16 09:33:31] 783*2^1442908-1 is not prime. Res64: 9F7FB9483AF544B7 Time : 0.0 sec. user=mdettweiler [2016-10-16 09:33:31] 875*2^1442908-1 is not prime. Res64: 64717C9E8A17BE55 Time : 0.0 sec. user=mdettweiler [2016-10-16 09:33:32] 645*2^1442909-1 is not prime. Res64: A57379452FE16033 Time : 0.0 sec. user=mdettweiler [2016-10-16 09:33:32] 685*2^1442909-1 is not prime. Res64: DF147016BA2C8505 Time : 0.0 sec. user=mdettweiler [2016-10-16 10:05:34] 735*2^1442909-1 is not prime. Res64: 111FDF3A3FB68AE1 Time : 0.0 sec. user=mdettweiler [2016-10-16 10:05:40] 741*2^1442909-1 is not prime. Res64: 009C96BE7A544E23 Time : 0.0 sec. user=mdettweiler [2016-10-16 10:05:42] 775*2^1442909-1 is not prime. Res64: C1B7D79C32D1772C Time : 0.0 sec. user=mdettweiler [2016-10-16 10:05:46] 787*2^1442909-1 is not prime. Res64: C3390E8DE50B2827 Time : 0.0 sec. user=mdettweiler [2016-10-16 10:05:49] 795*2^1442909-1 is not prime. Res64: 2361B897C29888D3 Time : 0.0 sec. user=mdettweiler [2016-10-16 10:15:22] 801*2^1442909-1 is not prime. Res64: 1B3178D5AD453A1D Time : 0.0 sec. user=mdettweiler [2016-10-16 10:15:23] 829*2^1442909-1 is not prime. Res64: 1591C561F01B23A8 Time : 0.0 sec. user=mdettweiler [2016-10-16 10:15:23] 627*2^1442910-1 is not prime. Res64: 69C538D0572CB574 Time : 0.0 sec. user=mdettweiler [2016-10-16 10:15:24] 795*2^1442910-1 is not prime. Res64: 78ABDE3EDE97655B Time : 0.0 sec. user=mdettweiler [2016-10-16 10:15:24] 863*2^1442910-1 is not prime. Res64: BA2A8AD42340C108 Time : 0.0 sec. user=mdettweiler [2016-10-16 10:16:56] 885*2^1442910-1 is not prime. Res64: A5AED46C2C42CF50 Time : 0.0 sec. user=mdettweiler [2016-10-16 10:16:57] 887*2^1442910-1 is not prime. Res64: 0ADCAF5AD1B95663 Time : 0.0 sec. user=mdettweiler [2016-10-16 10:16:57] 893*2^1442910-1 is not prime. Res64: FFEB785DD05D9FA5 Time : 0.0 sec. user=mdettweiler [2016-10-16 10:16:57] 673*2^1442911-1 is not prime. Res64: 49BDA7C68B4B9A76 Time : 0.0 sec. user=mdettweiler [2016-10-16 10:16:58] 679*2^1442911-1 is not prime. Res64: 9202BF842AC2613F Time : 0.0 sec. user=mdettweiler [2016-10-16 10:18:00] 709*2^1442911-1 is not prime. Res64: DF55CEDC6B8583AB Time : 0.0 sec. user=mdettweiler [2016-10-16 10:18:01] 873*2^1442911-1 is not prime. Res64: 45998D72749C9F7F Time : 0.0 sec. user=mdettweiler [2016-10-16 10:18:01] 713*2^1442912-1 is not prime. Res64: D0FA9520910FCDFF Time : 0.0 sec. user=mdettweiler [2016-10-16 10:18:02] 753*2^1442912-1 is not prime. Res64: 1A0AA1276BED0BA8 Time : 0.0 sec. user=mdettweiler [2016-10-16 10:18:02] 827*2^1442912-1 is not prime. Res64: D6DB8EAEF0B211F5 Time : 0.0 sec. user=mdettweiler [2016-10-16 10:50:57] 615*2^1442913-1 is not prime. Res64: 8E2B8C11572D345D Time : 0.0 sec. user=mdettweiler [2016-10-16 10:50:57] 675*2^1442913-1 is not prime. Res64: 5FB54726EEBAE591 Time : 0.0 sec. user=mdettweiler [2016-10-16 10:50:58] 741*2^1442913-1 is not prime. Res64: AF3CE6E58ECC8B9E Time : 0.0 sec. user=mdettweiler [2016-10-16 10:50:58] 747*2^1442913-1 is not prime. Res64: FB4CBCCED141095A Time : 0.0 sec. user=mdettweiler [2016-10-16 10:50:59] 817*2^1442913-1 is not prime. Res64: 78803C2FEB9A8739 Time : 0.0 sec. user=mdettweiler [2016-10-16 10:59:59] 871*2^1442913-1 is not prime. Res64: 67E9A07484FBD8DB Time : 0.0 sec. user=mdettweiler [2016-10-16 10:59:59] 663*2^1442914-1 is not prime. Res64: 6A953CAB4F38727B Time : 0.0 sec. user=mdettweiler [2016-10-16 11:00:00] 687*2^1442914-1 is not prime. Res64: 34F831A8842687C6 Time : 0.0 sec. user=mdettweiler [2016-10-16 11:00:00] 803*2^1442914-1 is not prime. Res64: 271488F754DF39DC Time : 0.0 sec. user=mdettweiler [2016-10-16 11:00:00] 861*2^1442914-1 is not prime. Res64: A80E1EA81E89379F Time : 0.0 sec. user=mdettweiler [2016-10-16 11:01:31] 951*2^1442914-1 is not prime. Res64: 4BC452ACD106952A Time : 0.0 sec. user=mdettweiler [2016-10-16 11:01:32] 957*2^1442914-1 is not prime. Res64: E8ACE6A4F7127FAE Time : 0.0 sec. user=mdettweiler [2016-10-16 11:01:33] 987*2^1442914-1 is not prime. Res64: 1261D6908AD29BF7 Time : 0.0 sec. user=mdettweiler [2016-10-16 11:01:34] 1001*2^1442914-1 is not prime. Res64: 214B20AB33B19D77 Time : 0.0 sec. user=mdettweiler [2016-10-16 11:01:35] 673*2^1442915-1 is not prime. Res64: 17ADEAB0ADCB2803 Time : 0.0 sec. user=mdettweiler [2016-10-16 11:02:37] 979*2^1442915-1 is not prime. Res64: DAB21264B49903EF Time : 0.0 sec. user=mdettweiler [2016-10-16 11:02:39] 999*2^1442915-1 is not prime. Res64: EF143FEAB3900515 Time : 0.0 sec. user=mdettweiler [2016-10-16 11:02:40] 689*2^1442916-1 is not prime. Res64: F7A58A78F18B9D56 Time : 0.0 sec. user=mdettweiler [2016-10-16 11:02:40] 767*2^1442916-1 is not prime. Res64: B872E393FAAD781E Time : 0.0 sec. user=mdettweiler [2016-10-16 11:02:41] 845*2^1442916-1 is not prime. Res64: 72144B53704692EC Time : 0.0 sec. user=mdettweiler [2016-10-16 11:35:34] 993*2^1442916-1 is not prime. Res64: B3EF6B62083527BD Time : 0.0 sec. user=mdettweiler [2016-10-16 11:35:35] 871*2^1442917-1 is not prime. Res64: 02CDDE634C62298F Time : 0.0 sec. user=mdettweiler [2016-10-16 11:35:35] 931*2^1442917-1 is not prime. Res64: EC1DB550B7AE75B3 Time : 0.0 sec. user=mdettweiler [2016-10-16 11:35:36] 961*2^1442917-1 is not prime. Res64: 53D80512A26D7B3D Time : 0.0 sec. user=mdettweiler [2016-10-16 11:35:36] 605*2^1442918-1 is not prime. Res64: 6AA2617DC3EC0F3D Time : 0.0 sec. user=mdettweiler [2016-10-16 11:44:34] 755*2^1442918-1 is not prime. Res64: D86F37AFA9D952C2 Time : 0.0 sec. user=mdettweiler [2016-10-16 11:44:34] 761*2^1442918-1 is not prime. Res64: 14FD9021C8513036 Time : 0.0 sec. user=mdettweiler [2016-10-16 11:44:35] 857*2^1442918-1 is not prime. Res64: 6B50F60CA76A9F04 Time : 0.0 sec. user=mdettweiler [2016-10-16 11:44:35] 945*2^1442918-1 is not prime. Res64: 610BB17A6ABF0EC1 Time : 0.0 sec. user=mdettweiler [2016-10-16 11:44:36] 987*2^1442918-1 is not prime. Res64: 7520D48FB13E5F4F Time : 0.0 sec. user=mdettweiler [2016-10-16 11:46:12] 625*2^1442919-1 is not prime. Res64: A591990D6C742540 Time : 0.0 sec. user=mdettweiler [2016-10-16 11:46:13] 793*2^1442919-1 is not prime. Res64: E91CD4937ABB7C51 Time : 0.0 sec. user=mdettweiler [2016-10-16 11:46:13] 843*2^1442919-1 is not prime. Res64: 334372A7BBD63482 Time : 0.0 sec. user=mdettweiler [2016-10-16 11:46:14] 949*2^1442919-1 is not prime. Res64: 1D210D66B9893BE3 Time : 0.0 sec. user=mdettweiler [2016-10-16 11:46:14] 605*2^1442920-1 is not prime. Res64: CB4C23EAD0D259AC Time : 0.0 sec. user=mdettweiler [2016-10-16 11:47:21] 645*2^1442920-1 is not prime. Res64: 45537EC572DDA25D Time : 0.0 sec. user=mdettweiler [2016-10-16 11:47:22] 695*2^1442920-1 is not prime. Res64: E91CDF7E7E50996E Time : 0.0 sec. user=mdettweiler [2016-10-16 11:47:22] 713*2^1442920-1 is not prime. Res64: 48C58BA338555324 Time : 0.0 sec. user=mdettweiler [2016-10-16 11:47:22] 887*2^1442920-1 is not prime. Res64: 839172047462C3DF Time : 0.0 sec. user=mdettweiler [2016-10-16 11:47:23] 917*2^1442920-1 is not prime. Res64: 4EA03CF1459497F8 Time : 0.0 sec. user=mdettweiler [2016-10-16 12:20:09] 631*2^1442921-1 is not prime. Res64: A83C5F2377BEBD81 Time : 0.0 sec. user=mdettweiler [2016-10-16 12:20:10] 691*2^1442921-1 is not prime. Res64: F0BA253E215B3173 Time : 0.0 sec. user=mdettweiler [2016-10-16 12:20:10] 795*2^1442921-1 is not prime. Res64: 5AE5BA4CC12F5A4D Time : 0.0 sec. user=mdettweiler [2016-10-16 12:20:11] 811*2^1442921-1 is not prime. Res64: 03CA66A604473BB7 Time : 0.0 sec. user=mdettweiler [2016-10-16 12:20:11] 925*2^1442921-1 is not prime. Res64: 47C99C98048BA981 Time : 0.0 sec. user=mdettweiler [2016-10-16 12:29:11] 931*2^1442921-1 is not prime. Res64: 086AA3330092762E Time : 0.0 sec. user=mdettweiler [2016-10-16 12:29:11] 945*2^1442921-1 is not prime. Res64: 80D6A10C6223E2FD Time : 0.0 sec. user=mdettweiler [2016-10-16 12:29:12] 957*2^1442921-1 is not prime. Res64: 4F63A5034105C0B0 Time : 0.0 sec. user=mdettweiler [2016-10-16 12:29:12] 979*2^1442921-1 is not prime. Res64: D9150FDEB77678F8 Time : 0.0 sec. user=mdettweiler [2016-10-16 12:29:13] 683*2^1442922-1 is not prime. Res64: A33A105D18C7C668 Time : 0.0 sec. user=mdettweiler [2016-10-16 12:30:43] 717*2^1442922-1 is not prime. Res64: D9AC88CDBCE39428 Time : 0.0 sec. user=mdettweiler [2016-10-16 12:30:44] 887*2^1442922-1 is not prime. Res64: EDC3F4623A51E9B6 Time : 0.0 sec. user=mdettweiler [2016-10-16 12:30:44] 1001*2^1442922-1 is not prime. Res64: 1ADD9FBED9D16906 Time : 0.0 sec. user=mdettweiler [2016-10-16 12:30:45] 673*2^1442923-1 is not prime. Res64: C940BEEBD6E1F012 Time : 0.0 sec. user=mdettweiler [2016-10-16 12:30:45] 735*2^1442923-1 is not prime. Res64: 9562E86CA4EA0942 Time : 0.0 sec. user=mdettweiler [2016-10-16 12:31:52] 913*2^1442923-1 is not prime. Res64: 017EF6E0D96C9A8E Time : 0.0 sec. user=mdettweiler [2016-10-16 12:31:53] 915*2^1442923-1 is not prime. Res64: FBE2A7A07DB031DC Time : 0.0 sec. user=mdettweiler [2016-10-16 12:31:53] 985*2^1442923-1 is not prime. Res64: 3368644C8BDF836B Time : 0.0 sec. user=mdettweiler [2016-10-16 12:31:54] 699*2^1442924-1 is not prime. Res64: 4AC0FDF0209E96EC Time : 0.0 sec. user=mdettweiler [2016-10-16 12:31:54] 833*2^1442924-1 is not prime. Res64: 26656764828AAFCF Time : 0.0 sec. user=mdettweiler [2016-10-16 13:04:47] 843*2^1442924-1 is not prime. Res64: BB461025F0F8FE3C Time : 0.0 sec. user=mdettweiler [2016-10-16 13:04:50] 983*2^1442924-1 is not prime. Res64: DC7C0FD0CBB25830 Time : 0.0 sec. user=mdettweiler [2016-10-16 13:04:52] 625*2^1442925-1 is not prime. Res64: 3E060E5AB300DD88 Time : 0.0 sec. user=mdettweiler [2016-10-16 13:04:54] 639*2^1442925-1 is not prime. Res64: D5BF14C00B85AFBC Time : 0.0 sec. user=mdettweiler [2016-10-16 13:04:57] 651*2^1442925-1 is not prime. Res64: AEA7F6D10F207B8B Time : 0.0 sec. user=mdettweiler [2016-10-16 13:13:47] 867*2^1442925-1 is not prime. Res64: E1C329191E037200 Time : 0.0 sec. user=mdettweiler [2016-10-16 13:13:48] 895*2^1442925-1 is not prime. Res64: 800A623526EE0418 Time : 0.0 sec. user=mdettweiler [2016-10-16 13:13:49] 919*2^1442925-1 is not prime. Res64: E696FD6A12036D49 Time : 0.0 sec. user=mdettweiler [2016-10-16 13:13:49] 645*2^1442926-1 is not prime. Res64: BC668E998F5940A3 Time : 0.0 sec. user=mdettweiler [2016-10-16 13:13:50] 657*2^1442926-1 is not prime. Res64: 3590B8D166CAE587 Time : 0.0 sec. user=mdettweiler [2016-10-16 13:15:04] 705*2^1442926-1 is not prime. Res64: 54A448F3D7189F95 Time : 0.0 sec. user=mdettweiler [2016-10-16 13:15:04] 737*2^1442926-1 is not prime. Res64: 8893D80B10DB48CE Time : 0.0 sec. user=mdettweiler [2016-10-16 13:15:05] 855*2^1442926-1 is not prime. Res64: 76DDEC05517FE1DB Time : 0.0 sec. user=mdettweiler [2016-10-16 13:15:05] 881*2^1442926-1 is not prime. Res64: 36B4BD365F3214A2 Time : 0.0 sec. user=mdettweiler [2016-10-16 13:15:06] 993*2^1442926-1 is not prime. Res64: CD74071E416D77D4 Time : 0.0 sec. user=mdettweiler [2016-10-16 13:16:35] 643*2^1442927-1 is not prime. Res64: DB193384B1CFFD26 Time : 0.0 sec. user=mdettweiler [2016-10-16 13:16:36] 729*2^1442927-1 is not prime. Res64: 4D2DD54DF5C86E33 Time : 0.0 sec. user=mdettweiler [2016-10-16 13:16:36] 739*2^1442927-1 is not prime. Res64: D3E9D08627A7134F Time : 0.0 sec. user=mdettweiler [2016-10-16 13:16:37] 605*2^1442928-1 is not prime. Res64: EF88BC008659C011 Time : 0.0 sec. user=mdettweiler [2016-10-16 13:16:37] 665*2^1442928-1 is not prime. Res64: 5C8E63A8CC9008F3 Time : 0.0 sec. user=mdettweiler [2016-10-16 13:49:26] 669*2^1442928-1 is not prime. Res64: B1D0B471F32DA114 Time : 0.0 sec. user=mdettweiler [2016-10-16 13:49:26] 689*2^1442928-1 is not prime. Res64: 110C909FA0D9F045 Time : 0.0 sec. user=mdettweiler [2016-10-16 13:49:27] 765*2^1442928-1 is not prime. Res64: DDF95BC1A74B6289 Time : 0.0 sec. user=mdettweiler [2016-10-16 13:49:27] 899*2^1442928-1 is not prime. Res64: 6FBDE684CC7B6137 Time : 0.0 sec. user=mdettweiler [2016-10-16 13:49:28] 947*2^1442928-1 is not prime. Res64: A30EE5016397CF7A Time : 0.0 sec. user=mdettweiler [2016-10-16 13:58:36] 609*2^1442929-1 is not prime. Res64: B8DFCEEC992A6F98 Time : 0.0 sec. user=mdettweiler [2016-10-16 13:58:37] 615*2^1442929-1 is not prime. Res64: 3A066808CBE3DCB8 Time : 0.0 sec. user=mdettweiler [2016-10-16 13:58:37] 679*2^1442929-1 is not prime. Res64: DB620F7E9DF06B71 Time : 0.0 sec. user=mdettweiler [2016-10-16 13:58:38] 681*2^1442929-1 is not prime. Res64: 55A79E126A4C8E83 Time : 0.0 sec. user=mdettweiler [2016-10-16 13:58:38] 687*2^1442929-1 is not prime. Res64: 6E9E40A7D9015F24 Time : 0.0 sec. user=mdettweiler [2016-10-16 13:59:31] 705*2^1442929-1 is not prime. Res64: C4A5432B34D4E1F7 Time : 0.0 sec. user=mdettweiler [2016-10-16 13:59:31] 931*2^1442929-1 is not prime. Res64: 6A9FEC2AC2434F8D Time : 0.0 sec. user=mdettweiler [2016-10-16 13:59:32] 633*2^1442930-1 is not prime. Res64: 07D29F18E45ACA64 Time : 0.0 sec. user=mdettweiler [2016-10-16 13:59:32] 641*2^1442930-1 is not prime. Res64: 6F7D4D7C074E9E99 Time : 0.0 sec. user=mdettweiler [2016-10-16 13:59:33] 677*2^1442930-1 is not prime. Res64: CC2AEFEFF3978C83 Time : 0.0 sec. user=mdettweiler [2016-10-16 14:01:14] 753*2^1442930-1 is not prime. Res64: 554A470E568BED2B Time : 0.0 sec. user=mdettweiler [2016-10-16 14:01:15] 783*2^1442930-1 is not prime. Res64: 073DDA5BCF9E95AB Time : 0.0 sec. user=mdettweiler [2016-10-16 14:01:16] 825*2^1442930-1 is not prime. Res64: 800FE3963571138E Time : 0.0 sec. user=mdettweiler [2016-10-16 14:01:18] 857*2^1442930-1 is not prime. Res64: DEFBD502CF4397F9 Time : 0.0 sec. user=mdettweiler [2016-10-16 14:01:19] 923*2^1442930-1 is not prime. Res64: 419BA25C4466DF63 Time : 0.0 sec. user=mdettweiler [2016-10-16 14:34:48] 649*2^1442931-1 is not prime. Res64: D02A80F0C904975D Time : 0.0 sec. user=mdettweiler [2016-10-16 14:34:48] 723*2^1442931-1 is not prime. Res64: E43A2B03EAD8F94F Time : 0.0 sec. user=mdettweiler [2016-10-16 14:34:49] 775*2^1442931-1 is not prime. Res64: 476D19A1C7F5BD28 Time : 0.0 sec. user=mdettweiler [2016-10-16 14:34:49] 871*2^1442931-1 is not prime. Res64: BC6F801EBEF7AD59 Time : 0.0 sec. user=mdettweiler [2016-10-16 14:34:50] 879*2^1442931-1 is not prime. Res64: 592C40964D822FEE Time : 0.0 sec. user=mdettweiler [2016-10-16 14:44:07] 895*2^1442931-1 is not prime. Res64: 262DA9850CBF015D Time : 0.0 sec. user=mdettweiler [2016-10-16 14:44:08] 617*2^1442932-1 is not prime. Res64: C2CCC0A013BF7570 Time : 0.0 sec. user=mdettweiler [2016-10-16 14:44:08] 677*2^1442932-1 is not prime. Res64: BC4392AEAAC2EA34 Time : 0.0 sec. user=mdettweiler [2016-10-16 14:44:09] 743*2^1442932-1 is not prime. Res64: 30999F1CDD16ABF0 Time : 0.0 sec. user=mdettweiler [2016-10-16 14:44:09] 749*2^1442932-1 is not prime. Res64: E61E80FEA466F1EE Time : 0.0 sec. user=mdettweiler [2016-10-16 14:44:54] 803*2^1442932-1 is not prime. Res64: 86B2A294413066D7 Time : 0.0 sec. user=mdettweiler [2016-10-16 14:44:55] 873*2^1442932-1 is not prime. Res64: 02C76221139EE53B Time : 0.0 sec. user=mdettweiler [2016-10-16 14:44:55] 955*2^1442933-1 is not prime. Res64: D598B3020F78F911 Time : 0.0 sec. user=mdettweiler [2016-10-16 14:44:56] 755*2^1442934-1 is not prime. Res64: AC3A7F5881289524 Time : 0.0 sec. user=mdettweiler [2016-10-16 14:44:56] 893*2^1442934-1 is not prime. Res64: F8439E8600A2EE79 Time : 0.0 sec. user=mdettweiler [2016-10-16 14:46:41] 923*2^1442934-1 is not prime. Res64: B3E6E5112B948855 Time : 0.0 sec. user=mdettweiler [2016-10-16 14:46:41] 965*2^1442934-1 is not prime. Res64: 84DF5273BDA4FBC9 Time : 0.0 sec. user=mdettweiler [2016-10-16 14:46:42] 639*2^1442935-1 is not prime. Res64: AD97B094DF1DE7F0 Time : 0.0 sec. user=mdettweiler [2016-10-16 14:46:42] 645*2^1442935-1 is not prime. Res64: 5F20D2B8CB5C1F9E Time : 0.0 sec. user=mdettweiler [2016-10-16 14:46:43] 673*2^1442935-1 is not prime. Res64: E6C4B2E77F898872 Time : 0.0 sec. user=mdettweiler [2016-10-16 15:19:35] 693*2^1442935-1 is not prime. Res64: 5D529B90F2E944FD Time : 0.0 sec. user=mdettweiler [2016-10-16 15:19:35] 709*2^1442935-1 is not prime. Res64: F688921DD437046D Time : 0.0 sec. user=mdettweiler [2016-10-16 15:19:36] 859*2^1442935-1 is not prime. Res64: 5925B1689FC23BFE Time : 0.0 sec. user=mdettweiler [2016-10-16 15:19:36] 873*2^1442935-1 is not prime. Res64: B222E428AEDBF8DB Time : 0.0 sec. user=mdettweiler [2016-10-16 15:19:37] 603*2^1442936-1 is not prime. Res64: 1F3EB16D986BCC6F Time : 0.0 sec. user=mdettweiler [2016-10-16 15:28:33] 617*2^1442936-1 is not prime. Res64: 8554C6916DBE8362 Time : 0.0 sec. user=mdettweiler [2016-10-16 15:28:34] 669*2^1442936-1 is not prime. Res64: 3276C8E57F8DF04C Time : 0.0 sec. user=mdettweiler [2016-10-16 15:28:34] 719*2^1442936-1 is not prime. Res64: 3C3A9903317DC921 Time : 0.0 sec. user=mdettweiler [2016-10-16 15:28:35] 755*2^1442936-1 is not prime. Res64: 1D88099C3FD90399 Time : 0.0 sec. user=mdettweiler [2016-10-16 15:28:35] 767*2^1442936-1 is not prime. Res64: 674B33B2CDB53304 Time : 0.0 sec. user=mdettweiler [2016-10-16 15:29:16] 773*2^1442936-1 is not prime. Res64: D9D37AFADFDFCC90 Time : 0.0 sec. user=mdettweiler [2016-10-16 15:29:16] 843*2^1442936-1 is not prime. Res64: C1C647E12844714F Time : 0.0 sec. user=mdettweiler [2016-10-16 15:29:17] 903*2^1442936-1 is not prime. Res64: B6782A18D10F28CB Time : 0.0 sec. user=mdettweiler [2016-10-16 15:29:17] 681*2^1442937-1 is not prime. Res64: 19303CFD2385C787 Time : 0.0 sec. user=mdettweiler [2016-10-16 15:29:18] 691*2^1442937-1 is not prime. Res64: 370E9413527714B4 Time : 0.0 sec. user=mdettweiler [2016-10-16 15:31:12] 865*2^1442937-1 is not prime. Res64: F65C0BF14A315C8C Time : 0.0 sec. user=mdettweiler [2016-10-16 15:31:13] 623*2^1442938-1 is not prime. Res64: 4447C5C24F4A6BA4 Time : 0.0 sec. user=mdettweiler [2016-10-16 15:31:13] 731*2^1442938-1 is not prime. Res64: 30768FE7735F8A42 Time : 0.0 sec. user=mdettweiler [2016-10-16 15:31:13] 735*2^1442938-1 is not prime. Res64: F960DB7CDF7C73C5 Time : 0.0 sec. user=mdettweiler [2016-10-16 15:31:14] 801*2^1442938-1 is not prime. Res64: D9E56F562ECD5D80 Time : 0.0 sec. user=mdettweiler [2016-10-16 16:04:00] 619*2^1442939-1 is not prime. Res64: 80B8E534FA6E545B Time : 0.0 sec. user=mdettweiler [2016-10-16 16:04:01] 633*2^1442939-1 is not prime. Res64: 0EC9201975940F0A Time : 0.0 sec. user=mdettweiler [2016-10-16 16:04:03] 643*2^1442939-1 is not prime. Res64: 6AF64DA26693CE93 Time : 0.0 sec. user=mdettweiler [2016-10-16 16:04:04] 675*2^1442939-1 is not prime. Res64: 09091855C8A9FBA6 Time : 0.0 sec. user=mdettweiler [2016-10-16 16:04:05] 685*2^1442939-1 is not prime. Res64: A9BAAD9E2E72A6E0 Time : 0.0 sec. user=mdettweiler [2016-10-16 16:12:58] 735*2^1442939-1 is not prime. Res64: 1D141DD1DF413E8E Time : 0.0 sec. user=mdettweiler [2016-10-16 16:12:59] 843*2^1442939-1 is not prime. Res64: 9AB40919F2B95903 Time : 0.0 sec. user=mdettweiler [2016-10-16 16:12:59] 885*2^1442939-1 is not prime. Res64: 4E33C3DC52223AC3 Time : 0.0 sec. user=mdettweiler [2016-10-16 16:13:00] 993*2^1442939-1 is not prime. Res64: 2EEF44F762B325AD Time : 0.0 sec. user=mdettweiler [2016-10-16 16:13:00] 647*2^1442940-1 is not prime. Res64: 8A29337271B97190 Time : 0.0 sec. user=mdettweiler [2016-10-16 16:13:49] 707*2^1442940-1 is not prime. Res64: 7A37E7EFDBF61C94 Time : 0.0 sec. user=mdettweiler [2016-10-16 16:13:49] 767*2^1442940-1 is not prime. Res64: 79D0A8B4F02226A5 Time : 0.0 sec. user=mdettweiler [2016-10-16 16:13:50] 783*2^1442940-1 is not prime. Res64: 65AF3E173AF28C72 Time : 0.0 sec. user=mdettweiler [2016-10-16 16:13:50] 857*2^1442940-1 is not prime. Res64: 2A9C3C01A532DDD4 Time : 0.0 sec. user=mdettweiler [2016-10-16 16:13:51] 867*2^1442940-1 is not prime. Res64: 35B999E21C8797F0 Time : 0.0 sec. user=mdettweiler [2016-10-16 16:15:42] 975*2^1442940-1 is not prime. Res64: D93381688C797674 Time : 0.0 sec. user=mdettweiler [2016-10-16 16:15:43] 691*2^1442941-1 is not prime. Res64: E19784DC5E5F88A0 Time : 0.0 sec. user=mdettweiler [2016-10-16 16:15:43] 835*2^1442941-1 is not prime. Res64: 5CD5A36AD72C9D95 Time : 0.0 sec. user=mdettweiler [2016-10-16 16:15:44] 861*2^1442941-1 is not prime. Res64: 5850F659E8C572C1 Time : 0.0 sec. user=mdettweiler [2016-10-16 16:15:44] 867*2^1442941-1 is not prime. Res64: D9037187A943ED09 Time : 0.0 sec. user=mdettweiler [2016-10-16 16:48:39] 951*2^1442941-1 is not prime. Res64: A61832AF49F0D903 Time : 0.0 sec. user=mdettweiler [2016-10-16 16:48:39] 967*2^1442941-1 is not prime. Res64: FEE76E2BF71E3F9A Time : 0.0 sec. user=mdettweiler [2016-10-16 16:48:40] 615*2^1442942-1 is not prime. Res64: 36CBB239418BDF92 Time : 0.0 sec. user=mdettweiler [2016-10-16 16:48:40] 623*2^1442942-1 is not prime. Res64: 4026730C1EB063B8 Time : 0.0 sec. user=mdettweiler [2016-10-16 16:48:41] 831*2^1442942-1 is not prime. Res64: 41A7EAAAEED635E7 Time : 0.0 sec. user=mdettweiler [2016-10-16 16:57:41] 887*2^1442942-1 is not prime. Res64: 46D8B0251CD65711 Time : 0.0 sec. user=mdettweiler [2016-10-16 16:57:41] 923*2^1442942-1 is not prime. Res64: 940AA96D6CB6ADF9 Time : 0.0 sec. user=mdettweiler [2016-10-16 16:57:42] 953*2^1442942-1 is not prime. Res64: A6E4DBEC2FCEA014 Time : 0.0 sec. user=mdettweiler [2016-10-16 16:57:42] 957*2^1442942-1 is not prime. Res64: 27C7AABE2EBDCC74 Time : 0.0 sec. user=mdettweiler [2016-10-16 16:57:43] 609*2^1442943-1 is not prime. Res64: EC569EE6A6BBBF8B Time : 0.0 sec. user=mdettweiler [2016-10-16 16:58:25] 669*2^1442943-1 is not prime. Res64: DDCE44DA31274893 Time : 0.0 sec. user=mdettweiler [2016-10-16 16:58:25] 703*2^1442943-1 is not prime. Res64: 4E75350717FD1ED5 Time : 0.0 sec. user=mdettweiler [2016-10-16 16:58:25] 765*2^1442943-1 is not prime. Res64: B0EA072345BB7EB4 Time : 0.0 sec. user=mdettweiler [2016-10-16 16:58:26] 829*2^1442943-1 is not prime. Res64: 5B70CC13E3DEABB5 Time : 0.0 sec. user=mdettweiler [2016-10-16 16:58:26] 871*2^1442943-1 is not prime. Res64: 2BAC6C01316ECD2E Time : 0.0 sec. user=mdettweiler [2016-10-16 17:00:17] 973*2^1442943-1 is not prime. Res64: 48FD0642139ED099 Time : 0.0 sec. user=mdettweiler [2016-10-16 17:00:19] 623*2^1442944-1 is not prime. Res64: 5D4D58BF51186D8F Time : 0.0 sec. user=mdettweiler [2016-10-16 17:00:20] 657*2^1442944-1 is not prime. Res64: E75FDAC5DAFD4CBB Time : 0.0 sec. user=mdettweiler [2016-10-16 17:00:21] 717*2^1442944-1 is not prime. Res64: 9DE0A00A4318FE63 Time : 0.0 sec. user=mdettweiler [2016-10-16 17:00:23] 747*2^1442944-1 is not prime. Res64: 4E0A2A272808CC7A Time : 0.0 sec. user=mdettweiler [2016-10-16 17:33:05] 759*2^1442944-1 is not prime. Res64: 95A8DF297DD8DA0A Time : 0.0 sec. user=mdettweiler [2016-10-16 17:33:06] 819*2^1442944-1 is not prime. Res64: 857C6837BACADA76 Time : 0.0 sec. user=mdettweiler [2016-10-16 17:33:06] 857*2^1442944-1 is not prime. Res64: E3F24754F8491A54 Time : 0.0 sec. user=mdettweiler [2016-10-16 17:33:07] 897*2^1442944-1 is not prime. Res64: DC32564BBC0E2636 Time : 0.0 sec. user=mdettweiler [2016-10-16 17:33:07] 645*2^1442945-1 is not prime. Res64: 36EAE5092ADC4939 Time : 0.0 sec. user=mdettweiler [2016-10-16 17:42:06] 685*2^1442945-1 is not prime. Res64: 83688BDBBF3C3A8B Time : 0.0 sec. user=mdettweiler [2016-10-16 17:42:07] 691*2^1442945-1 is not prime. Res64: 9484FAC0A159AD80 Time : 0.0 sec. user=mdettweiler [2016-10-16 17:42:07] 699*2^1442945-1 is not prime. Res64: 517E95DAD359DCB8 Time : 0.0 sec. user=mdettweiler [2016-10-16 17:42:08] 715*2^1442945-1 is not prime. Res64: BE7DBAE5544F16EF Time : 0.0 sec. user=mdettweiler [2016-10-16 17:42:08] 721*2^1442945-1 is not prime. Res64: CE79B080CE0D3AC3 Time : 0.0 sec. user=mdettweiler [2016-10-16 17:43:04] 727*2^1442945-1 is not prime. Res64: AFBE1C2D046C675E Time : 0.0 sec. user=mdettweiler [2016-10-16 17:43:04] 729*2^1442945-1 is not prime. Res64: D7085F6A01F73ED6 Time : 0.0 sec. user=mdettweiler [2016-10-16 17:43:05] 775*2^1442945-1 is not prime. Res64: FA74FBE39F14F8BD Time : 0.0 sec. user=mdettweiler [2016-10-16 17:43:05] 787*2^1442945-1 is not prime. Res64: 138F6DE1B11A3A81 Time : 0.0 sec. user=mdettweiler [2016-10-16 17:43:06] 981*2^1442945-1 is not prime. Res64: 91869A24FE4DBDEA Time : 0.0 sec. user=mdettweiler [2016-10-16 17:44:48] 627*2^1442946-1 is not prime. Res64: 037150BCAF37E6F8 Time : 0.0 sec. user=mdettweiler [2016-10-16 17:44:49] 633*2^1442946-1 is not prime. Res64: 290813EF89AE1C4F Time : 0.0 sec. user=mdettweiler [2016-10-16 17:44:49] 677*2^1442946-1 is not prime. Res64: E6319A01EAC0E598 Time : 0.0 sec. user=mdettweiler [2016-10-16 17:44:50] 695*2^1442946-1 is not prime. Res64: 8364015AFF66BC86 Time : 0.0 sec. user=mdettweiler [2016-10-16 17:44:50] 711*2^1442946-1 is not prime. Res64: 4E269E35B05773FE Time : 0.0 sec. user=mdettweiler [2016-10-16 18:17:41] 725*2^1442946-1 is not prime. Res64: B2BD65F108DFAB76 Time : 0.0 sec. user=mdettweiler [2016-10-16 18:17:42] 765*2^1442946-1 is not prime. Res64: 7FD90C8085A722B0 Time : 0.0 sec. user=mdettweiler [2016-10-16 18:17:42] 825*2^1442946-1 is not prime. Res64: 557ACD9D8C2F820B Time : 0.0 sec. user=mdettweiler [2016-10-16 18:17:43] 921*2^1442946-1 is not prime. Res64: EF871FB5C2329A49 Time : 0.0 sec. user=mdettweiler [2016-10-16 18:17:43] 1001*2^1442946-1 is not prime. Res64: EE3D811B3E2AFFFB Time : 0.0 sec. user=mdettweiler [2016-10-16 18:26:38] 619*2^1442947-1 is not prime. Res64: F2C872CFA5F5ADB6 Time : 0.0 sec. user=mdettweiler [2016-10-16 18:26:38] 633*2^1442947-1 is not prime. Res64: B318D2EA930685FC Time : 0.0 sec. user=mdettweiler [2016-10-16 18:26:39] 649*2^1442947-1 is not prime. Res64: F34D5706FDEAFDAE Time : 0.0 sec. user=mdettweiler [2016-10-16 18:26:39] 805*2^1442947-1 is not prime. Res64: 2778103CE043DE1E Time : 0.0 sec. user=mdettweiler [2016-10-16 18:26:40] 859*2^1442947-1 is not prime. Res64: 52E1F03174A6A1C5 Time : 0.0 sec. user=mdettweiler [2016-10-16 18:27:36] 951*2^1442947-1 is not prime. Res64: 8B9AD06E9EC096FA Time : 0.0 sec. user=mdettweiler [2016-10-16 18:27:37] 973*2^1442947-1 is not prime. Res64: B9F0C4B4A2F6B0ED Time : 0.0 sec. user=mdettweiler [2016-10-16 18:27:37] 665*2^1442948-1 is not prime. Res64: FDDF89C5B8BE42F1 Time : 0.0 sec. user=mdettweiler [2016-10-16 18:27:38] 729*2^1442948-1 is not prime. Res64: D01026CF3F9FA44E Time : 0.0 sec. user=mdettweiler [2016-10-16 18:27:38] 789*2^1442948-1 is not prime. Res64: F0EB33B980C13341 Time : 0.0 sec. user=mdettweiler [2016-10-16 18:29:19] 869*2^1442948-1 is not prime. Res64: 43342963C0EA2913 Time : 0.0 sec. user=mdettweiler [2016-10-16 18:29:20] 953*2^1442948-1 is not prime. Res64: E0D9EAC3C2C91C17 Time : 0.0 sec. user=mdettweiler [2016-10-16 18:29:20] 969*2^1442948-1 is not prime. Res64: 62149D67E95003FD Time : 0.0 sec. user=mdettweiler [2016-10-16 18:29:21] 999*2^1442948-1 is not prime. Res64: 71A34CF45E64BD44 Time : 0.0 sec. user=mdettweiler [2016-10-16 18:29:21] 609*2^1442949-1 is not prime. Res64: F68AAA5DF5FFA2AC Time : 0.0 sec. user=mdettweiler [2016-10-16 19:02:11] 721*2^1442949-1 is not prime. Res64: 01F6FA279205F570 Time : 0.0 sec. user=mdettweiler [2016-10-16 19:02:13] 735*2^1442949-1 is not prime. Res64: 7A96C180DB8DE144 Time : 0.0 sec. user=mdettweiler [2016-10-16 19:02:15] 817*2^1442949-1 is not prime. Res64: A4A52AA284D59584 Time : 0.0 sec. user=mdettweiler [2016-10-16 19:02:16] 835*2^1442949-1 is not prime. Res64: 5E0AC2C8AC583672 Time : 0.0 sec. user=mdettweiler [2016-10-16 19:02:17] 877*2^1442949-1 is not prime. Res64: D2BF6BCB65E4B542 Time : 0.0 sec. user=mdettweiler [2016-10-16 19:11:11] 603*2^1442950-1 is not prime. Res64: B2831D6A33217182 Time : 0.0 sec. user=mdettweiler [2016-10-16 19:11:12] 657*2^1442950-1 is not prime. Res64: 731A7989C67DB9D1 Time : 0.0 sec. user=mdettweiler [2016-10-16 19:11:13] 791*2^1442950-1 is not prime. Res64: EA59813D3505F3D5 Time : 0.0 sec. user=mdettweiler [2016-10-16 19:11:14] 825*2^1442950-1 is not prime. Res64: A9905D770429A934 Time : 0.0 sec. user=mdettweiler [2016-10-16 19:11:14] 843*2^1442950-1 is not prime. Res64: DDE25791530F5EC5 Time : 0.0 sec. user=mdettweiler [2016-10-16 19:12:26] 891*2^1442950-1 is not prime. Res64: 046D73BB0E2279F2 Time : 0.0 sec. user=mdettweiler [2016-10-16 19:12:26] 651*2^1442951-1 is not prime. Res64: B88137D34AF521FE Time : 0.0 sec. user=mdettweiler [2016-10-16 19:12:27] 675*2^1442951-1 is not prime. Res64: 3CE0A4B32AA62D6A Time : 0.0 sec. user=mdettweiler [2016-10-16 19:12:27] 679*2^1442951-1 is not prime. Res64: 6CA90FCB8FA4D5F3 Time : 0.0 sec. user=mdettweiler [2016-10-16 19:12:28] 745*2^1442951-1 is not prime. Res64: 4C9B2FCB0CA7EC95 Time : 0.0 sec. user=mdettweiler [2016-10-16 19:13:46] 759*2^1442951-1 is not prime. Res64: F00C9A4F2B461EFB Time : 0.0 sec. user=mdettweiler [2016-10-16 19:13:47] 813*2^1442951-1 is not prime. Res64: FD52E90009CFCD21 Time : 0.0 sec. user=mdettweiler [2016-10-16 19:13:47] 823*2^1442951-1 is not prime. Res64: 9D9D041E4C411755 Time : 0.0 sec. user=mdettweiler [2016-10-16 19:13:48] 825*2^1442951-1 is not prime. Res64: 95E22FFC21273A8D Time : 0.0 sec. user=mdettweiler [2016-10-16 19:13:48] 931*2^1442951-1 is not prime. Res64: 6CF8FC1A1E043E24 Time : 0.0 sec. user=mdettweiler [2016-10-16 19:46:41] 627*2^1442952-1 is not prime. Res64: 281195DA596DB44A Time : 0.0 sec. user=mdettweiler [2016-10-16 19:46:41] 657*2^1442952-1 is not prime. Res64: 21769A02F4FA0420 Time : 0.0 sec. user=mdettweiler [2016-10-16 19:46:42] 669*2^1442952-1 is not prime. Res64: 08D3F31A7A6E504D Time : 0.0 sec. user=mdettweiler [2016-10-16 19:46:42] 695*2^1442952-1 is not prime. Res64: 6489CE784732D401 Time : 0.0 sec. user=mdettweiler [2016-10-16 19:46:43] 713*2^1442952-1 is not prime. Res64: 831300D14FEBEEF0 Time : 0.0 sec. user=mdettweiler [2016-10-16 19:56:00] 803*2^1442952-1 is not prime. Res64: CE59F231AEA5980D Time : 0.0 sec. user=mdettweiler [2016-10-16 19:56:00] 639*2^1442953-1 is not prime. Res64: 7F5A6BA49B82B1B2 Time : 0.0 sec. user=mdettweiler [2016-10-16 19:56:01] 721*2^1442953-1 is not prime. Res64: 3E1BDF3260CC9980 Time : 0.0 sec. user=mdettweiler [2016-10-16 19:56:01] 741*2^1442953-1 is not prime. Res64: 669805C7D3DCEBAF Time : 0.0 sec. user=mdettweiler [2016-10-16 19:56:02] 623*2^1442954-1 is not prime. Res64: 0C482494C46640B2 Time : 0.0 sec. user=mdettweiler [2016-10-16 19:57:01] 635*2^1442954-1 is not prime. Res64: 3EB7FC14FDAA167D Time : 0.0 sec. user=mdettweiler [2016-10-16 19:57:01] 645*2^1442954-1 is not prime. Res64: 50CED72C35D88E9B Time : 0.0 sec. user=mdettweiler [2016-10-16 19:57:02] 671*2^1442954-1 is not prime. Res64: FBC3C94CC9F89577 Time : 0.0 sec. user=mdettweiler [2016-10-16 19:57:02] 687*2^1442954-1 is not prime. Res64: FCC4B363BFCDBCE2 Time : 0.0 sec. user=mdettweiler [2016-10-16 19:57:03] 717*2^1442954-1 is not prime. Res64: 6697224F9444B60C Time : 0.0 sec. user=mdettweiler [2016-10-16 19:58:26] 767*2^1442954-1 is not prime. Res64: 0B54E31F7921A01D Time : 0.0 sec. user=mdettweiler [2016-10-16 19:58:27] 783*2^1442954-1 is not prime. Res64: B5E1DB0CD4734314 Time : 0.0 sec. user=mdettweiler [2016-10-16 19:58:27] 873*2^1442954-1 is not prime. Res64: BE893980C442AF8E Time : 0.0 sec. user=mdettweiler [2016-10-16 19:58:28] 915*2^1442954-1 is not prime. Res64: 85E88A7F4A77A361 Time : 0.0 sec. user=mdettweiler [2016-10-16 19:58:28] 923*2^1442954-1 is not prime. Res64: AAD59693AB6C779F Time : 0.0 sec. user=mdettweiler [2016-10-16 20:31:19] 941*2^1442954-1 is not prime. Res64: 0A861F9DA05B78DE Time : 0.0 sec. user=mdettweiler [2016-10-16 20:31:19] 663*2^1442955-1 is not prime. Res64: 89CED4698FD54248 Time : 0.0 sec. user=mdettweiler [2016-10-16 20:31:20] 699*2^1442955-1 is not prime. Res64: DD9C0E350CAAC06A Time : 0.0 sec. user=mdettweiler [2016-10-16 20:31:20] 949*2^1442955-1 is not prime. Res64: 9C23A37EC229E90D Time : 0.0 sec. user=mdettweiler [2016-10-16 20:31:21] 999*2^1442955-1 is not prime. Res64: DFCDD92AB371C19E Time : 0.0 sec. user=mdettweiler [2016-10-16 20:40:30] 735*2^1442956-1 is not prime. Res64: 94E6ADF9EC7BEC10 Time : 0.0 sec. user=mdettweiler [2016-10-16 20:40:31] 765*2^1442956-1 is not prime. Res64: 082FFBD8A2B71D67 Time : 0.0 sec. user=mdettweiler [2016-10-16 20:40:31] 773*2^1442956-1 is not prime. Res64: 9991F42DB7C8CA8E Time : 0.0 sec. user=mdettweiler [2016-10-16 20:40:32] 869*2^1442956-1 is not prime. Res64: FBBA44BCD49AE26E Time : 0.0 sec. user=mdettweiler [2016-10-16 20:40:32] 887*2^1442956-1 is not prime. Res64: FB567A82DB9BDC31 Time : 0.0 sec. user=mdettweiler [2016-10-16 20:41:39] 905*2^1442956-1 is not prime. Res64: AD806C0ACDAE82A8 Time : 0.0 sec. user=mdettweiler [2016-10-16 20:41:40] 769*2^1442957-1 is not prime. Res64: 4B302F55845EDE75 Time : 0.0 sec. user=mdettweiler [2016-10-16 20:41:40] 847*2^1442957-1 is not prime. Res64: 3DBEADA01C39FDF2 Time : 0.0 sec. user=mdettweiler [2016-10-16 20:41:41] 889*2^1442957-1 is not prime. Res64: 2CA2D651755554CC Time : 0.0 sec. user=mdettweiler [2016-10-16 20:41:41] 949*2^1442957-1 is not prime. Res64: 62316CE458D73A85 Time : 0.0 sec. user=mdettweiler [2016-10-16 20:42:59] 681*2^1442958-1 is not prime. Res64: A224BB3F3689B5F2 Time : 0.0 sec. user=mdettweiler [2016-10-16 20:42:59] 705*2^1442958-1 is not prime. Res64: 90D7F4EE8F67D734 Time : 0.0 sec. user=mdettweiler [2016-10-16 20:43:00] 711*2^1442958-1 is not prime. Res64: E1A533518DBDA90C Time : 0.0 sec. user=mdettweiler [2016-10-16 20:43:00] 833*2^1442958-1 is not prime. Res64: CC5B14491CA1458F Time : 0.0 sec. user=mdettweiler [2016-10-16 20:43:01] 863*2^1442958-1 is not prime. Res64: 6FC8EDBCE8C82A42 Time : 0.0 sec. user=mdettweiler [2016-10-16 21:15:50] 639*2^1442959-1 is not prime. Res64: EFE6A0EDD170B90E Time : 0.0 sec. user=mdettweiler [2016-10-16 21:15:51] 723*2^1442959-1 is not prime. Res64: 40AB2152885D9FD9 Time : 0.0 sec. user=mdettweiler [2016-10-16 21:15:51] 973*2^1442959-1 is not prime. Res64: 2CD9A0AAD30D6CC2 Time : 0.0 sec. user=mdettweiler [2016-10-16 21:15:52] 747*2^1442960-1 is not prime. Res64: 2A714B8F63AF9BBB Time : 0.0 sec. user=mdettweiler [2016-10-16 21:15:52] 753*2^1442960-1 is not prime. Res64: 7854C91618CC0FE6 Time : 0.0 sec. user=mdettweiler [2016-10-16 21:25:09] 899*2^1442960-1 is not prime. Res64: 5508CBD8890793D1 Time : 0.0 sec. user=mdettweiler [2016-10-16 21:25:09] 811*2^1442961-1 is not prime. Res64: 487D554984CD9CB9 Time : 0.0 sec. user=mdettweiler [2016-10-16 21:25:10] 865*2^1442961-1 is not prime. Res64: 3BAF5AA83AA0C0BC Time : 0.0 sec. user=mdettweiler [2016-10-16 21:25:10] 901*2^1442961-1 is not prime. Res64: F4EC1E2A4D2FB5A3 Time : 0.0 sec. user=mdettweiler [2016-10-16 21:25:11] 945*2^1442961-1 is not prime. Res64: 73F19FB6D308D81F Time : 0.0 sec. user=mdettweiler [2016-10-16 21:26:24] 997*2^1442961-1 is not prime. Res64: CFD5207481DE6659 Time : 0.0 sec. user=mdettweiler [2016-10-16 21:26:25] 737*2^1442962-1 is not prime. Res64: 1E96F90891631B47 Time : 0.0 sec. user=mdettweiler [2016-10-16 21:26:25] 741*2^1442962-1 is not prime. Res64: 4216E86CAEA0F91D Time : 0.0 sec. user=mdettweiler [2016-10-16 21:26:26] 765*2^1442962-1 is not prime. Res64: 8C3439F6E62A4C33 Time : 0.0 sec. user=mdettweiler [2016-10-16 21:26:26] 777*2^1442962-1 is not prime. Res64: 588AC625BBD74184 Time : 0.0 sec. user=mdettweiler [2016-10-16 21:27:38] 821*2^1442962-1 is not prime. Res64: 2249ED851197ADE1 Time : 0.0 sec. user=mdettweiler [2016-10-16 21:27:38] 831*2^1442962-1 is not prime. Res64: F1A1C866366FE6FB Time : 0.0 sec. user=mdettweiler [2016-10-16 21:27:39] 951*2^1442962-1 is not prime. Res64: A7CC5A641E3AF0D6 Time : 0.0 sec. user=mdettweiler [2016-10-16 21:27:39] 957*2^1442962-1 is not prime. Res64: E5E17962CD020974 Time : 0.0 sec. user=mdettweiler [2016-10-16 21:27:40] 615*2^1442963-1 is not prime. Res64: 76E0E8AD50E1BC3A Time : 0.0 sec. user=mdettweiler [2016-10-16 22:00:29] 633*2^1442963-1 is not prime. Res64: 5EFA86A06A6032F4 Time : 0.0 sec. user=mdettweiler [2016-10-16 22:00:30] 811*2^1442963-1 is not prime. Res64: F306662EDECEEB23 Time : 0.0 sec. user=mdettweiler [2016-10-16 22:00:31] 861*2^1442963-1 is not prime. Res64: 7927BEA272041660 Time : 0.0 sec. user=mdettweiler [2016-10-16 22:00:32] 705*2^1442964-1 is not prime. Res64: BD4944C99CBD1DF9 Time : 0.0 sec. user=mdettweiler [2016-10-16 22:00:33] 773*2^1442964-1 is not prime. Res64: 033CD6011FFAD2F4 Time : 0.0 sec. user=mdettweiler [2016-10-16 22:09:35] 969*2^1442964-1 is not prime. Res64: 6446AEBCBD4B6550 Time : 0.0 sec. user=mdettweiler [2016-10-16 22:09:36] 619*2^1442965-1 is not prime. Res64: 2A532C8A6D4E698B Time : 0.0 sec. user=mdettweiler [2016-10-16 22:09:36] 649*2^1442965-1 is not prime. Res64: ABCB35E1075924D8 Time : 0.0 sec. user=mdettweiler [2016-10-16 22:09:37] 661*2^1442965-1 is not prime. Res64: 24C4C3F9C6359A54 Time : 0.0 sec. user=mdettweiler [2016-10-16 22:09:37] 751*2^1442965-1 is not prime. Res64: 257BA02F4E98480C Time : 0.0 sec. user=mdettweiler [2016-10-16 22:10:54] 927*2^1442965-1 is not prime. Res64: 36D4B2496912DF0C Time : 0.0 sec. user=mdettweiler [2016-10-16 22:10:54] 937*2^1442965-1 is not prime. Res64: 156F4479ADA933DA Time : 0.0 sec. user=mdettweiler [2016-10-16 22:10:55] 961*2^1442965-1 is not prime. Res64: 00F58326FC0EFB4B Time : 0.0 sec. user=mdettweiler [2016-10-16 22:10:55] 979*2^1442965-1 is not prime. Res64: CE34A39EFFF78744 Time : 0.0 sec. user=mdettweiler [2016-10-16 22:10:56] 985*2^1442965-1 is not prime. Res64: 0B44C833B4C52A26 Time : 0.0 sec. user=mdettweiler [2016-10-16 22:12:06] 999*2^1442965-1 is not prime. Res64: F2985D93C460D86F Time : 0.0 sec. user=mdettweiler [2016-10-16 22:12:07] 623*2^1442966-1 is not prime. Res64: FC245E949C194CDD Time : 0.0 sec. user=mdettweiler [2016-10-16 22:12:07] 671*2^1442966-1 is not prime. Res64: C0849E4FAD82E990 Time : 0.0 sec. user=mdettweiler [2016-10-16 22:12:08] 717*2^1442966-1 is not prime. Res64: 9847464FAEFDAE76 Time : 0.0 sec. user=mdettweiler [2016-10-16 22:12:08] 785*2^1442966-1 is not prime. Res64: 7E190F5912E24052 Time : 0.0 sec. user=mdettweiler [2016-10-16 22:45:17] 801*2^1442966-1 is not prime. Res64: 126E5CC37F09B5C8 Time : 0.0 sec. user=mdettweiler [2016-10-16 22:45:18] 815*2^1442966-1 is not prime. Res64: 8FD016BC56006EEF Time : 0.0 sec. user=mdettweiler [2016-10-16 22:45:18] 615*2^1442967-1 is not prime. Res64: 81717C94F8D6C6BB Time : 0.0 sec. user=mdettweiler [2016-10-16 22:45:19] 643*2^1442967-1 is not prime. Res64: 1AB7CCA61E3DC1D9 Time : 0.0 sec. user=mdettweiler [2016-10-16 22:45:19] 775*2^1442967-1 is not prime. Res64: E375C24E2FDF9942 Time : 0.0 sec. user=mdettweiler [2016-10-16 22:54:15] 829*2^1442967-1 is not prime. Res64: 705746292A3A212E Time : 0.0 sec. user=mdettweiler [2016-10-16 22:54:16] 865*2^1442967-1 is not prime. Res64: 178EACB3B39CD4A7 Time : 0.0 sec. user=mdettweiler [2016-10-16 22:54:16] 909*2^1442967-1 is not prime. Res64: C3A86E53581E0345 Time : 0.0 sec. user=mdettweiler [2016-10-16 22:54:17] 961*2^1442967-1 is not prime. Res64: 332AB36FAEA9D77C Time : 0.0 sec. user=mdettweiler [2016-10-16 22:54:17] 677*2^1442968-1 is not prime. Res64: A642663F40109355 Time : 0.0 sec. user=mdettweiler [2016-10-16 22:55:32] 687*2^1442968-1 is not prime. Res64: 63621B61444F855F Time : 0.0 sec. user=mdettweiler [2016-10-16 22:55:32] 845*2^1442968-1 is not prime. Res64: 2BDB4E28D0FA1C08 Time : 0.0 sec. user=mdettweiler [2016-10-16 22:55:33] 679*2^1442969-1 is not prime. Res64: 55EAA46E1370A317 Time : 0.0 sec. user=mdettweiler [2016-10-16 22:55:33] 721*2^1442969-1 is not prime. Res64: E53E8693817D2271 Time : 0.0 sec. user=mdettweiler [2016-10-16 22:55:34] 771*2^1442969-1 is not prime. Res64: B4C1B842524B2662 Time : 0.0 sec. user=mdettweiler [2016-10-16 22:56:57] 931*2^1442969-1 is not prime. Res64: 92DE0235E72FBACD Time : 0.0 sec. user=mdettweiler [2016-10-16 22:56:57] 955*2^1442969-1 is not prime. Res64: EC252E5CC955C209 Time : 0.0 sec. user=mdettweiler [2016-10-16 22:56:58] 991*2^1442969-1 is not prime. Res64: 0F343D8FA678983D Time : 0.0 sec. user=mdettweiler [2016-10-16 22:56:58] 635*2^1442970-1 is not prime. Res64: D4BB66F17A228312 Time : 0.0 sec. user=mdettweiler [2016-10-16 22:56:59] 765*2^1442970-1 is not prime. Res64: 32ED74DCDB7AF8A0 Time : 0.0 sec. user=mdettweiler [2016-10-16 23:31:17] 777*2^1442970-1 is not prime. Res64: F13CBD828F1307E7 Time : 0.0 sec. user=mdettweiler [2016-10-16 23:31:17] 803*2^1442970-1 is not prime. Res64: F5138BF4DF2F1BF9 Time : 0.0 sec. user=mdettweiler [2016-10-16 23:31:18] 861*2^1442970-1 is not prime. Res64: C4E8261FFC06E3F9 Time : 0.0 sec. user=mdettweiler [2016-10-16 23:31:18] 893*2^1442970-1 is not prime. Res64: 02BDE825D70F65D6 Time : 0.0 sec. user=mdettweiler [2016-10-16 23:31:19] 933*2^1442970-1 is not prime. Res64: DDAE0B63CB0E830E Time : 0.0 sec. user=mdettweiler [2016-10-16 23:40:05] 693*2^1442971-1 is not prime. Res64: AAB33AEEE4B03B6A Time : 0.0 sec. user=mdettweiler [2016-10-16 23:40:06] 891*2^1442971-1 is not prime. Res64: 7BA2D79466B9B35A Time : 0.0 sec. user=mdettweiler [2016-10-16 23:40:06] 951*2^1442971-1 is not prime. Res64: 99FD1EA494CC11FF Time : 0.0 sec. user=mdettweiler [2016-10-16 23:40:07] 975*2^1442971-1 is not prime. Res64: AE3B78C8D9E99777 Time : 0.0 sec. user=mdettweiler [2016-10-16 23:40:07] 629*2^1442972-1 is not prime. Res64: ED234004132A96BC Time : 0.0 sec. user=mdettweiler [2016-10-16 23:41:24] 635*2^1442972-1 is not prime. Res64: 1AD2C78F23C2786C Time : 0.0 sec. user=mdettweiler [2016-10-16 23:41:25] 687*2^1442972-1 is not prime. Res64: F88FA6CA0B262472 Time : 0.0 sec. user=mdettweiler [2016-10-16 23:41:25] 825*2^1442972-1 is not prime. Res64: E42807B97B0E8CC8 Time : 0.0 sec. user=mdettweiler [2016-10-16 23:41:26] 945*2^1442972-1 is not prime. Res64: 403324DE43DE1051 Time : 0.0 sec. user=mdettweiler [2016-10-16 23:41:26] 977*2^1442972-1 is not prime. Res64: D46D9B2D4E7E5445 Time : 0.0 sec. user=mdettweiler [2016-10-16 23:43:13] 691*2^1442973-1 is not prime. Res64: FA873589D5D78A7C Time : 0.0 sec. user=mdettweiler [2016-10-16 23:43:13] 699*2^1442973-1 is not prime. Res64: 6C3076549D660496 Time : 0.0 sec. user=mdettweiler [2016-10-16 23:43:14] 759*2^1442973-1 is not prime. Res64: 72819B7AAC415869 Time : 0.0 sec. user=mdettweiler [2016-10-16 23:43:14] 769*2^1442973-1 is not prime. Res64: E442CEDD2A74EABA Time : 0.0 sec. user=mdettweiler [2016-10-16 23:43:15] 885*2^1442973-1 is not prime. Res64: 310CFEA13F7D4EF7 Time : 0.0 sec.