user=mdettweiler [2017-04-20 00:02:35] 863*2^1452174-1 is not prime. Res64: E3FD2C726D7FB3F6 Time : 0.0 sec. user=mdettweiler [2017-04-20 00:02:36] 875*2^1452174-1 is not prime. Res64: 399A63BDE965C760 Time : 0.0 sec. user=mdettweiler [2017-04-20 00:02:37] 887*2^1452174-1 is not prime. Res64: 3C35A9FE3F43094F Time : 0.0 sec. user=mdettweiler [2017-04-20 00:02:39] 891*2^1452174-1 is not prime. Res64: 39D7DCDE6C33B185 Time : 0.0 sec. user=mdettweiler [2017-04-20 00:02:39] 829*2^1452175-1 is not prime. Res64: 3D6CC45022C73BB6 Time : 0.0 sec. user=mdettweiler [2017-04-20 00:49:51] 651*2^1452178-1 is not prime. Res64: 595EEC433C68BEFF Time : 0.0 sec. user=mdettweiler [2017-04-20 00:49:52] 723*2^1452178-1 is not prime. Res64: 5CC9413B3CA6C43B Time : 0.0 sec. user=mdettweiler [2017-04-20 00:49:52] 855*2^1452178-1 is not prime. Res64: 0DCCB87EEEE764C0 Time : 0.0 sec. user=mdettweiler [2017-04-20 00:49:52] 951*2^1452178-1 is not prime. Res64: CF31D7EC10727535 Time : 0.0 sec. user=mdettweiler [2017-04-20 00:49:53] 981*2^1452178-1 is not prime. Res64: 9ED6FE39AE54196F Time : 0.0 sec. user=mdettweiler [2017-04-20 01:35:42] 1001*2^1452178-1 is not prime. Res64: A5BE9FE834AC69A9 Time : 0.0 sec. user=mdettweiler [2017-04-20 01:35:42] 705*2^1452179-1 is not prime. Res64: 59AD3A6E5620068F Time : 0.0 sec. user=mdettweiler [2017-04-20 01:35:43] 823*2^1452179-1 is not prime. Res64: A02D28874F22FC67 Time : 0.0 sec. user=mdettweiler [2017-04-20 01:35:43] 859*2^1452179-1 is not prime. Res64: 4745E3A73AF8AE70 Time : 0.0 sec. user=mdettweiler [2017-04-20 01:35:44] 949*2^1452179-1 is not prime. Res64: A8184E37BF3E6F95 Time : 0.0 sec. user=mdettweiler [2017-04-20 02:21:34] 635*2^1452180-1 is not prime. Res64: 4DCE42558BDAAEAC Time : 0.0 sec. user=mdettweiler [2017-04-20 02:21:34] 675*2^1452180-1 is not prime. Res64: 2EEA9FF637197987 Time : 0.0 sec. user=mdettweiler [2017-04-20 02:21:35] 695*2^1452180-1 is not prime. Res64: 8F50D0AC203894D3 Time : 0.0 sec. user=mdettweiler [2017-04-20 02:21:35] 809*2^1452180-1 is not prime. Res64: B3D010BC964856B4 Time : 0.0 sec. user=mdettweiler [2017-04-20 02:21:36] 839*2^1452180-1 is not prime. Res64: F181CBF9E2796A77 Time : 0.0 sec. user=mdettweiler [2017-04-20 03:08:14] 863*2^1452180-1 is not prime. Res64: 60ECB29766F4F204 Time : 0.0 sec. user=mdettweiler [2017-04-20 03:08:15] 905*2^1452180-1 is not prime. Res64: 41C5C4117E7F8BC7 Time : 0.0 sec. user=mdettweiler [2017-04-20 03:08:15] 909*2^1452180-1 is not prime. Res64: 66A95267254F0D78 Time : 0.0 sec. user=mdettweiler [2017-04-20 03:08:16] 615*2^1452181-1 is not prime. Res64: 388C05A9040898A0 Time : 0.0 sec. user=mdettweiler [2017-04-20 03:08:16] 649*2^1452181-1 is not prime. Res64: D2B535CB43C3A100 Time : 0.0 sec. user=mdettweiler [2017-04-20 03:34:57] 841*2^1452175-1 is not prime. Res64: AC0DA9A13B325AC1 Time : 0.0 sec. user=mdettweiler [2017-04-20 03:34:59] 855*2^1452175-1 is not prime. Res64: EF2688479E8BC967 Time : 0.0 sec. user=mdettweiler [2017-04-20 03:35:01] 913*2^1452175-1 is not prime. Res64: 0C4908337056D84C Time : 0.0 sec. user=mdettweiler [2017-04-20 03:35:03] 629*2^1452176-1 is not prime. Res64: 981F47A71CF63498 Time : 0.0 sec. user=mdettweiler [2017-04-20 03:35:05] 633*2^1452176-1 is not prime. Res64: E1EF3E8F6C48DCDA Time : 0.0 sec. user=mdettweiler [2017-04-20 03:53:38] 675*2^1452181-1 is not prime. Res64: DD043B8B723E28FF Time : 0.0 sec. user=mdettweiler [2017-04-20 03:53:39] 727*2^1452181-1 is not prime. Res64: 516079784C5F1068 Time : 0.0 sec. user=mdettweiler [2017-04-20 03:53:40] 799*2^1452181-1 is not prime. Res64: 1B390ACFE70F1A06 Time : 0.0 sec. user=mdettweiler [2017-04-20 03:53:41] 627*2^1452182-1 is not prime. Res64: 66B2250E51A719CA Time : 0.0 sec. user=mdettweiler [2017-04-20 03:53:43] 635*2^1452182-1 is not prime. Res64: AA14F5F3F2A097C7 Time : 0.0 sec. user=mdettweiler [2017-04-20 04:00:47] 699*2^1452176-1 is not prime. Res64: 82EDD5BD4D3702AB Time : 0.0 sec. user=mdettweiler [2017-04-20 04:00:48] 743*2^1452176-1 is not prime. Res64: EF9B0974109780A8 Time : 0.0 sec. user=mdettweiler [2017-04-20 04:00:49] 755*2^1452176-1 is not prime. Res64: 190CCB5EE0B6639A Time : 0.0 sec. user=mdettweiler [2017-04-20 04:00:50] 827*2^1452176-1 is not prime. Res64: 4A3987AFD518984D Time : 0.0 sec. user=mdettweiler [2017-04-20 04:00:50] 625*2^1452177-1 is not prime. Res64: 42012EF7B5DC4C6C Time : 0.0 sec. user=mdettweiler [2017-04-20 04:20:38] 665*2^1452182-1 is not prime. Res64: ED892F2A3B592B1B Time : 0.0 sec. user=mdettweiler [2017-04-20 04:20:38] 731*2^1452182-1 is not prime. Res64: 048B671720BA9C8E Time : 0.0 sec. user=mdettweiler [2017-04-20 04:20:39] 755*2^1452182-1 is not prime. Res64: BA9B1CCAF4D31EDB Time : 0.0 sec. user=mdettweiler [2017-04-20 04:20:39] 827*2^1452182-1 is not prime. Res64: D81A5F22CF492A28 Time : 0.0 sec. user=mdettweiler [2017-04-20 04:20:40] 903*2^1452182-1 is not prime. Res64: 9BBB3449488082DC Time : 0.0 sec. user=mdettweiler [2017-04-20 04:39:02] 945*2^1452182-1 is not prime. Res64: EFE9CE9E6CDA0079 Time : 0.0 sec. user=mdettweiler [2017-04-20 04:39:03] 613*2^1452183-1 is not prime. Res64: 170D6593900A50AD Time : 0.0 sec. user=mdettweiler [2017-04-20 04:39:03] 661*2^1452183-1 is not prime. Res64: 4F5F0A6F1C7504F9 Time : 0.0 sec. user=mdettweiler [2017-04-20 04:39:03] 739*2^1452183-1 is not prime. Res64: DAB6DCEE43AA7330 Time : 0.0 sec. user=mdettweiler [2017-04-20 04:39:04] 795*2^1452183-1 is not prime. Res64: 90B1A9650945857D Time : 0.0 sec. user=mdettweiler [2017-04-20 04:45:48] 885*2^1452183-1 is not prime. Res64: 2364330DDCDE5A27 Time : 0.0 sec. user=mdettweiler [2017-04-20 04:45:48] 919*2^1452183-1 is not prime. Res64: 777C59C8C94C21A2 Time : 0.0 sec. user=mdettweiler [2017-04-20 04:45:49] 695*2^1452184-1 is not prime. Res64: 9F5C5A3CE3EEB697 Time : 0.0 sec. user=mdettweiler [2017-04-20 04:45:49] 765*2^1452184-1 is not prime. Res64: BB428A50C70B1041 Time : 0.0 sec. user=mdettweiler [2017-04-20 04:45:49] 849*2^1452184-1 is not prime. Res64: A11B1042EA40EEAD Time : 0.0 sec. user=mdettweiler [2017-04-20 05:05:16] 869*2^1452184-1 is not prime. Res64: 8D73CF439E82D859 Time : 0.0 sec. user=mdettweiler [2017-04-20 05:05:18] 927*2^1452184-1 is not prime. Res64: F4E04E09FE089EC7 Time : 0.0 sec. user=mdettweiler [2017-04-20 05:05:19] 989*2^1452184-1 is not prime. Res64: 87A3A9364B8C40C5 Time : 0.0 sec. user=mdettweiler [2017-04-20 05:05:21] 645*2^1452185-1 is not prime. Res64: 26DCF08CAE3FD46A Time : 0.0 sec. user=mdettweiler [2017-04-20 05:05:22] 675*2^1452185-1 is not prime. Res64: 0DDB4CD520DC2D16 Time : 0.0 sec. user=mdettweiler [2017-04-20 05:23:41] 729*2^1452185-1 is not prime. Res64: BB08AC412C16FB99 Time : 0.0 sec. user=mdettweiler [2017-04-20 05:23:41] 907*2^1452185-1 is not prime. Res64: D1F13A4BB2BD1712 Time : 0.0 sec. user=mdettweiler [2017-04-20 05:23:42] 909*2^1452185-1 is not prime. Res64: 4296316913153A04 Time : 0.0 sec. user=mdettweiler [2017-04-20 05:23:42] 925*2^1452185-1 is not prime. Res64: 6B2DADFF602A1F2B Time : 0.0 sec. user=mdettweiler [2017-04-20 05:23:43] 991*2^1452185-1 is not prime. Res64: 835AF35FB0BC87A1 Time : 0.0 sec. user=mdettweiler [2017-04-20 05:30:20] 725*2^1452186-1 is not prime. Res64: 2BE9979BC3853CED Time : 0.0 sec. user=mdettweiler [2017-04-20 05:30:21] 747*2^1452186-1 is not prime. Res64: 33A2CD8D27F637D3 Time : 0.0 sec. user=mdettweiler [2017-04-20 05:30:21] 755*2^1452186-1 is not prime. Res64: 5B86F72C135CC7EF Time : 0.0 sec. user=mdettweiler [2017-04-20 05:30:22] 821*2^1452186-1 is not prime. Res64: F0BB31D87C8BF70A Time : 0.0 sec. user=mdettweiler [2017-04-20 05:30:22] 825*2^1452186-1 is not prime. Res64: 9D4724645E1E27A8 Time : 0.0 sec. user=mdettweiler [2017-04-20 05:50:11] 893*2^1452186-1 is not prime. Res64: 3F81F5FD2829793A Time : 0.0 sec. user=mdettweiler [2017-04-20 05:50:11] 923*2^1452186-1 is not prime. Res64: F1FBC2ECD8464558 Time : 0.0 sec. user=mdettweiler [2017-04-20 05:50:12] 619*2^1452187-1 is not prime. Res64: 7AAB88D413575C71 Time : 0.0 sec. user=mdettweiler [2017-04-20 05:50:12] 813*2^1452187-1 is not prime. Res64: 8479F214F71F7BDC Time : 0.0 sec. user=mdettweiler [2017-04-20 05:50:13] 841*2^1452187-1 is not prime. Res64: F7CD0FBEAB037943 Time : 0.0 sec. user=mdettweiler [2017-04-20 06:08:13] 871*2^1452187-1 is not prime. Res64: E329756E54763F18 Time : 0.0 sec. user=mdettweiler [2017-04-20 06:08:14] 999*2^1452187-1 is not prime. Res64: 7770AB696A066F43 Time : 0.0 sec. user=mdettweiler [2017-04-20 06:08:14] 623*2^1452188-1 is not prime. Res64: 0E11B2EF8C83B58F Time : 0.0 sec. user=mdettweiler [2017-04-20 06:08:15] 797*2^1452188-1 is not prime. Res64: 9D0D139588A056EE Time : 0.0 sec. user=mdettweiler [2017-04-20 06:08:15] 711*2^1452189-1 is not prime. Res64: 66D27B245391954E Time : 0.0 sec. user=mdettweiler [2017-04-20 06:14:50] 759*2^1452189-1 is not prime. Res64: DE4F6FC79FAE3D86 Time : 0.0 sec. user=mdettweiler [2017-04-20 06:14:50] 789*2^1452189-1 is not prime. Res64: 94431A633F766364 Time : 0.0 sec. user=mdettweiler [2017-04-20 06:14:51] 885*2^1452189-1 is not prime. Res64: 2FE016EC7D2D531B Time : 0.0 sec. user=mdettweiler [2017-04-20 06:14:51] 651*2^1452190-1 is not prime. Res64: E842EB8011F48568 Time : 0.0 sec. user=mdettweiler [2017-04-20 06:14:52] 707*2^1452190-1 is not prime. Res64: D97DEAA38BF36E1B Time : 0.0 sec. user=mdettweiler [2017-04-20 06:34:42] 741*2^1452190-1 is not prime. Res64: 15A87EA61DA52A8C Time : 0.0 sec. user=mdettweiler [2017-04-20 06:34:42] 897*2^1452190-1 is not prime. Res64: C78F89E674BF1F4B Time : 0.0 sec. user=mdettweiler [2017-04-20 06:34:43] 945*2^1452190-1 is not prime. Res64: 356A2ED781503492 Time : 0.0 sec. user=mdettweiler [2017-04-20 06:34:43] 995*2^1452190-1 is not prime. Res64: 050B352FB71EA449 Time : 0.0 sec. user=mdettweiler [2017-04-20 06:34:44] 705*2^1452191-1 is not prime. Res64: BBDE2269CB6D47BF Time : 0.0 sec. user=mdettweiler [2017-04-20 06:52:45] 823*2^1452191-1 is not prime. Res64: 9D3FAA26372C5D06 Time : 0.0 sec. user=mdettweiler [2017-04-20 06:52:46] 895*2^1452191-1 is not prime. Res64: 0D3B932DF6319C8D Time : 0.0 sec. user=mdettweiler [2017-04-20 06:52:46] 909*2^1452191-1 is not prime. Res64: C03099AD2F6D264E Time : 0.0 sec. user=mdettweiler [2017-04-20 06:52:46] 981*2^1452191-1 is not prime. Res64: 885237108BA58916 Time : 0.0 sec. user=mdettweiler [2017-04-20 06:52:47] 605*2^1452192-1 is not prime. Res64: 98E6F58037047EEE Time : 0.0 sec. user=mdettweiler [2017-04-20 06:59:23] 629*2^1452192-1 is not prime. Res64: E62E5DCFCB06C095 Time : 0.0 sec. user=mdettweiler [2017-04-20 06:59:23] 815*2^1452192-1 is not prime. Res64: 70FDC88E055A59D7 Time : 0.0 sec. user=mdettweiler [2017-04-20 06:59:24] 843*2^1452192-1 is not prime. Res64: 566EF6481AE65465 Time : 0.0 sec. user=mdettweiler [2017-04-20 06:59:24] 873*2^1452192-1 is not prime. Res64: AD7A14B28B902A68 Time : 0.0 sec. user=mdettweiler [2017-04-20 06:59:25] 741*2^1452193-1 is not prime. Res64: AC602CE0DC0B6DA8 Time : 0.0 sec. user=mdettweiler [2017-04-20 07:19:17] 915*2^1452193-1 is not prime. Res64: 65A614788A94F01E Time : 0.0 sec. user=mdettweiler [2017-04-20 07:19:18] 987*2^1452193-1 is not prime. Res64: 5E2199145BA72F41 Time : 0.0 sec. user=mdettweiler [2017-04-20 07:19:18] 605*2^1452194-1 is not prime. Res64: 8D73CDEC6FD1AC0E Time : 0.0 sec. user=mdettweiler [2017-04-20 07:19:19] 687*2^1452194-1 is not prime. Res64: 15DF82EB9BE78B2F Time : 0.0 sec. user=mdettweiler [2017-04-20 07:19:19] 773*2^1452194-1 is not prime. Res64: 584A7E94FCC51554 Time : 0.0 sec. user=juhehe [2017-04-20 07:36:54] 753*2^1452195-1 is not prime. Res64: 9621368183C39A33 Time : 0.0 sec. user=mdettweiler [2017-04-20 07:37:28] 603*2^1452196-1 is not prime. Res64: 89DCBB37DD7AA8D0 Time : 0.0 sec. user=mdettweiler [2017-04-20 07:37:28] 623*2^1452196-1 is not prime. Res64: 13CBBA57D5BCE2F0 Time : 0.0 sec. user=mdettweiler [2017-04-20 07:37:29] 735*2^1452196-1 is not prime. Res64: 49A0985065B3B588 Time : 0.0 sec. user=mdettweiler [2017-04-20 07:37:29] 813*2^1452196-1 is not prime. Res64: F3E91EDFFA475054 Time : 0.0 sec. user=mdettweiler [2017-04-20 07:37:29] 857*2^1452196-1 is not prime. Res64: FEA3FE769633529F Time : 0.0 sec. user=mdettweiler [2017-04-20 07:44:11] 939*2^1452196-1 is not prime. Res64: 61382DB49D854E40 Time : 0.0 sec. user=mdettweiler [2017-04-20 07:44:11] 615*2^1452197-1 is not prime. Res64: 020EB2A59291BD8F Time : 0.0 sec. user=mdettweiler [2017-04-20 07:44:11] 675*2^1452197-1 is not prime. Res64: 334B00D8A3DA5C48 Time : 0.0 sec. user=mdettweiler [2017-04-20 07:44:12] 697*2^1452197-1 is not prime. Res64: DF7CBEE8172F2A1B Time : 0.0 sec. user=mdettweiler [2017-04-20 07:44:12] 741*2^1452197-1 is not prime. Res64: 9FF39127A1BECC6F Time : 0.0 sec. user=mdettweiler [2017-04-20 08:05:17] 801*2^1452197-1 is not prime. Res64: FAC2DC646E58FD41 Time : 0.0 sec. user=mdettweiler [2017-04-20 08:05:19] 859*2^1452197-1 is not prime. Res64: D63E6E669D8F3EF7 Time : 0.0 sec. user=mdettweiler [2017-04-20 08:05:20] 861*2^1452197-1 is not prime. Res64: FE7BC6A104009C65 Time : 0.0 sec. user=mdettweiler [2017-04-20 08:05:20] 867*2^1452197-1 is not prime. Res64: 739D47B86833B1BA Time : 0.0 sec. user=mdettweiler [2017-04-20 08:05:21] 927*2^1452197-1 is not prime. Res64: F11B0AAF8E9D4F44 Time : 0.0 sec. user=mdettweiler [2017-04-20 08:23:47] 937*2^1452197-1 is not prime. Res64: 66ACFBEC37AFFD2C Time : 0.0 sec. user=mdettweiler [2017-04-20 08:23:48] 949*2^1452197-1 is not prime. Res64: 2142662C4DFB3687 Time : 0.0 sec. user=mdettweiler [2017-04-20 08:23:48] 773*2^1452198-1 is not prime. Res64: 220A08223B2A2260 Time : 0.0 sec. user=mdettweiler [2017-04-20 08:23:49] 833*2^1452198-1 is not prime. Res64: 97F81B6EF4B2A826 Time : 0.0 sec. user=mdettweiler [2017-04-20 08:23:49] 927*2^1452198-1 is not prime. Res64: 1559DAFD22D18E6E Time : 0.0 sec. user=mdettweiler [2017-04-20 08:30:27] 945*2^1452198-1 is not prime. Res64: E2DE169C4E1576BB Time : 0.0 sec. user=mdettweiler [2017-04-20 08:30:28] 951*2^1452198-1 is not prime. Res64: CD409E4B1DC65ED9 Time : 0.0 sec. user=mdettweiler [2017-04-20 08:30:28] 963*2^1452198-1 is not prime. Res64: 2E89535B1B0921A7 Time : 0.0 sec. user=mdettweiler [2017-04-20 08:30:28] 609*2^1452199-1 is not prime. Res64: 0C4003728DCAA61D Time : 0.0 sec. user=mdettweiler [2017-04-20 08:30:29] 639*2^1452199-1 is not prime. Res64: E794A5A53D0B3275 Time : 0.0 sec. user=mdettweiler [2017-04-20 08:50:55] 693*2^1452199-1 is not prime. Res64: 052122BAB497CF42 Time : 0.0 sec. user=mdettweiler [2017-04-20 08:50:55] 765*2^1452199-1 is not prime. Res64: 004D0A2CAA8D3ED2 Time : 0.0 sec. user=mdettweiler [2017-04-20 08:50:55] 775*2^1452199-1 is not prime. Res64: 68343894EFA9F6E8 Time : 0.0 sec. user=mdettweiler [2017-04-20 08:50:56] 891*2^1452199-1 is not prime. Res64: F18756758895C2E6 Time : 0.0 sec. user=mdettweiler [2017-04-20 08:50:56] 919*2^1452199-1 is not prime. Res64: F8C8598DF1FC1DD9 Time : 0.0 sec. user=mdettweiler [2017-04-20 09:08:49] 975*2^1452199-1 is not prime. Res64: 58E30DC7D0D8A87D Time : 0.0 sec. user=mdettweiler [2017-04-20 09:08:50] 993*2^1452199-1 is not prime. Res64: FBEB97E3A9CA31EA Time : 0.0 sec. user=mdettweiler [2017-04-20 09:08:50] 609*2^1452200-1 is not prime. Res64: BA7A43247C50DE23 Time : 0.0 sec. user=mdettweiler [2017-04-20 09:08:50] 615*2^1452200-1 is not prime. Res64: D407FEFB26FBE04D Time : 0.0 sec. user=mdettweiler [2017-04-20 09:08:51] 797*2^1452200-1 is not prime. Res64: 9B374C5EFF42366D Time : 0.0 sec. user=mdettweiler [2017-04-20 09:15:32] 845*2^1452200-1 is not prime. Res64: 081236AFF8AD6271 Time : 0.0 sec. user=mdettweiler [2017-04-20 09:15:32] 875*2^1452200-1 is not prime. Res64: 4724F9E688B38DF7 Time : 0.0 sec. user=mdettweiler [2017-04-20 09:15:32] 983*2^1452200-1 is not prime. Res64: DA28A6E778EF8616 Time : 0.0 sec. user=mdettweiler [2017-04-20 09:15:32] 999*2^1452200-1 is not prime. Res64: E3AB528190DB2A5D Time : 0.0 sec. user=mdettweiler [2017-04-20 09:15:33] 717*2^1452201-1 is not prime. Res64: 5A09D734CCEBD0B5 Time : 0.0 sec. user=mdettweiler [2017-04-20 09:35:55] 741*2^1452201-1 is not prime. Res64: 574739993D5BD802 Time : 0.0 sec. user=mdettweiler [2017-04-20 09:35:55] 777*2^1452201-1 is not prime. Res64: 10844237F84659B0 Time : 0.0 sec. user=mdettweiler [2017-04-20 09:35:55] 999*2^1452201-1 is not prime. Res64: 1C544AD94CB67DB3 Time : 0.0 sec. user=mdettweiler [2017-04-20 09:35:56] 705*2^1452202-1 is not prime. Res64: 6208A8C96B1EAA2B Time : 0.0 sec. user=mdettweiler [2017-04-20 09:35:56] 801*2^1452202-1 is not prime. Res64: A2532D9E13840193 Time : 0.0 sec. user=mdettweiler [2017-04-20 09:53:51] 815*2^1452202-1 is not prime. Res64: 6FD9C8C07858F465 Time : 0.0 sec. user=mdettweiler [2017-04-20 09:53:51] 827*2^1452202-1 is not prime. Res64: 2464C36A106A77DD Time : 0.0 sec. user=mdettweiler [2017-04-20 09:53:51] 945*2^1452202-1 is not prime. Res64: 9F0CCB0D607F8D41 Time : 0.0 sec. user=mdettweiler [2017-04-20 09:53:51] 947*2^1452202-1 is not prime. Res64: B370FD07E0ECC3A7 Time : 0.0 sec. user=mdettweiler [2017-04-20 09:53:52] 615*2^1452203-1 is not prime. Res64: F5B75A00268FE334 Time : 0.0 sec. user=mdettweiler [2017-04-20 10:00:19] 673*2^1452203-1 is not prime. Res64: 10C329853D813642 Time : 0.0 sec. user=mdettweiler [2017-04-20 10:00:20] 699*2^1452203-1 is not prime. Res64: B7356D15DD9594B1 Time : 0.0 sec. user=mdettweiler [2017-04-20 10:00:21] 855*2^1452203-1 is not prime. Res64: 403F87BEC8F8359F Time : 0.0 sec. user=mdettweiler [2017-04-20 10:00:22] 913*2^1452203-1 is not prime. Res64: D29DD3F1AEE7A447 Time : 0.0 sec. user=mdettweiler [2017-04-20 10:00:22] 993*2^1452203-1 is not prime. Res64: 8EDCE0B0B8D67285 Time : 0.0 sec. user=mdettweiler [2017-04-20 10:20:34] 999*2^1452203-1 is not prime. Res64: DCF99BF5BD38FA06 Time : 0.0 sec. user=mdettweiler [2017-04-20 10:20:35] 623*2^1452204-1 is not prime. Res64: 27D6A36627330834 Time : 0.0 sec. user=mdettweiler [2017-04-20 10:20:35] 665*2^1452204-1 is not prime. Res64: 457E756FC1D7490B Time : 0.0 sec. user=mdettweiler [2017-04-20 10:20:35] 707*2^1452204-1 is not prime. Res64: B3DCB4B379DD4056 Time : 0.0 sec. user=mdettweiler [2017-04-20 10:20:35] 737*2^1452204-1 is not prime. Res64: FF3C0CAAE1B10E63 Time : 0.0 sec. user=mdettweiler [2017-04-20 10:38:29] 749*2^1452204-1 is not prime. Res64: D3510CD9DC31BC1B Time : 0.0 sec. user=mdettweiler [2017-04-20 10:38:29] 795*2^1452204-1 is not prime. Res64: 29DC7B1C68EF9462 Time : 0.0 sec. user=mdettweiler [2017-04-20 10:38:30] 863*2^1452204-1 is not prime. Res64: 030C514024281488 Time : 0.0 sec. user=mdettweiler [2017-04-20 10:38:30] 983*2^1452204-1 is not prime. Res64: 2770B35EF877957E Time : 0.0 sec. user=mdettweiler [2017-04-20 10:38:30] 645*2^1452205-1 is not prime. Res64: 51A3C2E7B373572E Time : 0.0 sec. user=mdettweiler [2017-04-20 10:45:05] 801*2^1452205-1 is not prime. Res64: 1A584E1BD53E1C0F Time : 0.0 sec. user=mdettweiler [2017-04-20 10:45:06] 877*2^1452205-1 is not prime. Res64: 3BCB5D6EE92619F3 Time : 0.0 sec. user=mdettweiler [2017-04-20 10:45:06] 975*2^1452205-1 is not prime. Res64: B87FA966EC8072FD Time : 0.0 sec. user=mdettweiler [2017-04-20 10:45:06] 761*2^1452206-1 is not prime. Res64: 9844C178B7D5F51C Time : 0.0 sec. user=mdettweiler [2017-04-20 10:45:06] 795*2^1452206-1 is not prime. Res64: 089A07BC72FE630A Time : 0.0 sec. user=mdettweiler [2017-04-20 11:05:15] 893*2^1452206-1 is not prime. Res64: 95D0329E7F356363 Time : 0.0 sec. user=mdettweiler [2017-04-20 11:05:16] 661*2^1452207-1 is not prime. Res64: F4F1E20B4B323A49 Time : 0.0 sec. user=mdettweiler [2017-04-20 11:05:16] 675*2^1452207-1 is not prime. Res64: 433D526FA391A0D7 Time : 0.0 sec. user=mdettweiler [2017-04-20 11:05:16] 705*2^1452207-1 is not prime. Res64: 1AFAFB7CE87FEC32 Time : 0.0 sec. user=mdettweiler [2017-04-20 11:05:17] 781*2^1452207-1 is not prime. Res64: 83222D8FEDDF8697 Time : 0.0 sec. user=mdettweiler [2017-04-20 11:23:16] 793*2^1452207-1 is not prime. Res64: 6A06772636823182 Time : 0.0 sec. user=mdettweiler [2017-04-20 11:23:16] 603*2^1452208-1 is not prime. Res64: 144673E726FFDEFF Time : 0.0 sec. user=mdettweiler [2017-04-20 11:23:16] 735*2^1452208-1 is not prime. Res64: 1C2E0E234E993C33 Time : 0.0 sec. user=mdettweiler [2017-04-20 11:23:16] 897*2^1452208-1 is not prime. Res64: D82F09BACA9C0152 Time : 0.0 sec. user=mdettweiler [2017-04-20 11:23:17] 619*2^1452209-1 is not prime. Res64: 779CBD27141F79C2 Time : 0.0 sec. user=mdettweiler [2017-04-20 11:29:49] 631*2^1452209-1 is not prime. Res64: 08DF6C42EBF77157 Time : 0.0 sec. user=mdettweiler [2017-04-20 11:29:49] 705*2^1452209-1 is not prime. Res64: 1D2CCCF886E8DD65 Time : 0.0 sec. user=mdettweiler [2017-04-20 11:29:49] 729*2^1452209-1 is not prime. Res64: B06B08FB5EBECE74 Time : 0.0 sec. user=mdettweiler [2017-04-20 11:29:49] 789*2^1452209-1 is not prime. Res64: 4F0A56E579CED1C5 Time : 0.0 sec. user=mdettweiler [2017-04-20 11:29:49] 889*2^1452209-1 is not prime. Res64: C82497AD987C11E5 Time : 0.0 sec. user=mdettweiler [2017-04-20 11:50:12] 767*2^1452210-1 is not prime. Res64: 76E1287289AFC527 Time : 0.0 sec. user=mdettweiler [2017-04-20 11:50:13] 777*2^1452210-1 is not prime. Res64: 40A1395C1FCD6FA1 Time : 0.0 sec. user=mdettweiler [2017-04-20 11:50:13] 783*2^1452210-1 is not prime. Res64: 2F3DFC2D4E9828FA Time : 0.0 sec. user=mdettweiler [2017-04-20 11:50:13] 893*2^1452210-1 is not prime. Res64: 342FBD5CB183A726 Time : 0.0 sec. user=mdettweiler [2017-04-20 11:50:14] 933*2^1452210-1 is not prime. Res64: 0CEB1FDC53232B92 Time : 0.0 sec. user=mdettweiler [2017-04-20 12:08:01] 679*2^1452211-1 is not prime. Res64: C6CCD0F3013DE18A Time : 0.0 sec. user=mdettweiler [2017-04-20 12:08:01] 835*2^1452211-1 is not prime. Res64: 39701CF023D9E346 Time : 0.0 sec. user=mdettweiler [2017-04-20 12:08:01] 861*2^1452211-1 is not prime. Res64: FB80E1174CACFA20 Time : 0.0 sec. user=mdettweiler [2017-04-20 12:08:02] 883*2^1452211-1 is not prime. Res64: AE84691CE0474A1B Time : 0.0 sec. user=mdettweiler [2017-04-20 12:08:02] 885*2^1452211-1 is not prime. Res64: BA9BA6B572F976B3 Time : 0.0 sec. user=mdettweiler [2017-04-20 12:14:30] 975*2^1452211-1 is not prime. Res64: 2D426FD60BFE92C5 Time : 0.0 sec. user=mdettweiler [2017-04-20 12:14:30] 735*2^1452212-1 is not prime. Res64: D97C668878392A86 Time : 0.0 sec. user=mdettweiler [2017-04-20 12:14:31] 759*2^1452212-1 is not prime. Res64: A362DF9F4BB5DD29 Time : 0.0 sec. user=mdettweiler [2017-04-20 12:14:31] 767*2^1452212-1 is not prime. Res64: 97B1258807E2CDEE Time : 0.0 sec. user=mdettweiler [2017-04-20 12:14:31] 885*2^1452212-1 is not prime. Res64: 86CF94B604351DB0 Time : 0.0 sec. user=mdettweiler [2017-04-20 12:34:55] 963*2^1452212-1 is not prime. Res64: 54D97DB8DFE7A161 Time : 0.0 sec. user=mdettweiler [2017-04-20 12:34:56] 983*2^1452212-1 is not prime. Res64: 1AB097E7EF1647E2 Time : 0.0 sec. user=mdettweiler [2017-04-20 12:34:56] 781*2^1452213-1 is not prime. Res64: 0EBC15950525BFCB Time : 0.0 sec. user=mdettweiler [2017-04-20 12:34:56] 847*2^1452213-1 is not prime. Res64: 7CED4BF4642DA672 Time : 0.0 sec. user=mdettweiler [2017-04-20 12:34:56] 611*2^1452214-1 is not prime. Res64: 527FB6D974C5A4D1 Time : 0.0 sec. user=mdettweiler [2017-04-20 12:52:48] 663*2^1452214-1 is not prime. Res64: B22C4F2AEE6020AA Time : 0.0 sec. user=mdettweiler [2017-04-20 12:52:49] 671*2^1452214-1 is not prime. Res64: F27CB4D34E40DF95 Time : 0.0 sec. user=mdettweiler [2017-04-20 12:52:49] 677*2^1452214-1 is not prime. Res64: 0BAE74CFCB64DE3B Time : 0.0 sec. user=mdettweiler [2017-04-20 12:52:49] 773*2^1452214-1 is not prime. Res64: 2EED2B62BC346CB7 Time : 0.0 sec. user=mdettweiler [2017-04-20 12:52:49] 923*2^1452214-1 is not prime. Res64: 2DEC4AB1FCA1B7A2 Time : 0.0 sec. user=mdettweiler [2017-04-20 12:59:13] 951*2^1452214-1 is not prime. Res64: 064114D5C82F144E Time : 0.0 sec. user=mdettweiler [2017-04-20 12:59:13] 975*2^1452214-1 is not prime. Res64: 9A9B201A583DC128 Time : 0.0 sec. user=mdettweiler [2017-04-20 12:59:13] 739*2^1452215-1 is not prime. Res64: 54EE047C8D1120A5 Time : 0.0 sec. user=mdettweiler [2017-04-20 12:59:13] 775*2^1452215-1 is not prime. Res64: CC21CED1D18F7E1E Time : 0.0 sec. user=mdettweiler [2017-04-20 12:59:14] 855*2^1452215-1 is not prime. Res64: 855DC1F723DAEEA7 Time : 0.0 sec. user=mdettweiler [2017-04-20 13:19:39] 943*2^1452215-1 is not prime. Res64: 678A04D17284D37D Time : 0.0 sec. user=mdettweiler [2017-04-20 13:19:40] 963*2^1452215-1 is not prime. Res64: 199A7B690B4397ED Time : 0.0 sec. user=mdettweiler [2017-04-20 13:19:40] 979*2^1452215-1 is not prime. Res64: 2C6B1ED96660EFA8 Time : 0.0 sec. user=mdettweiler [2017-04-20 13:19:40] 999*2^1452215-1 is not prime. Res64: 6D057716D139CB73 Time : 0.0 sec. user=mdettweiler [2017-04-20 13:19:41] 623*2^1452216-1 is not prime. Res64: E59E048804BFCA5D Time : 0.0 sec. user=mdettweiler [2017-04-20 13:37:45] 695*2^1452216-1 is not prime. Res64: EB29707552B01B6E Time : 0.0 sec. user=mdettweiler [2017-04-20 13:37:45] 705*2^1452216-1 is not prime. Res64: 119A79DB1A1C90F2 Time : 0.0 sec. user=mdettweiler [2017-04-20 13:37:46] 717*2^1452216-1 is not prime. Res64: 3C73F0781CDD1125 Time : 0.0 sec. user=mdettweiler [2017-04-20 13:37:46] 737*2^1452216-1 is not prime. Res64: 1573B08DD804EBFE Time : 0.0 sec. user=mdettweiler [2017-04-20 13:37:46] 765*2^1452216-1 is not prime. Res64: F5B9B3B975F13576 Time : 0.0 sec. user=mdettweiler [2017-04-20 13:44:25] 849*2^1452216-1 is not prime. Res64: 83D35771183944CB Time : 0.0 sec. user=mdettweiler [2017-04-20 13:44:25] 899*2^1452216-1 is not prime. Res64: 7B94C6C4B72E378B Time : 0.0 sec. user=mdettweiler [2017-04-20 13:44:26] 975*2^1452216-1 is not prime. Res64: CE7DA6123B053D7B Time : 0.0 sec. user=mdettweiler [2017-04-20 13:44:26] 601*2^1452217-1 is not prime. Res64: 6A2D4F939CD691CF Time : 0.0 sec. user=mdettweiler [2017-04-20 13:44:26] 649*2^1452217-1 is not prime. Res64: E0416098470F56F4 Time : 0.0 sec. user=mdettweiler [2017-04-20 14:05:43] 685*2^1452217-1 is not prime. Res64: CF58F4FA1597286D Time : 0.0 sec. user=mdettweiler [2017-04-20 14:05:44] 729*2^1452217-1 is not prime. Res64: 23345FA23F77DCB5 Time : 0.0 sec. user=mdettweiler [2017-04-20 14:05:44] 939*2^1452217-1 is not prime. Res64: 13F1ADDC94A85C7B Time : 0.0 sec. user=mdettweiler [2017-04-20 14:05:45] 945*2^1452217-1 is not prime. Res64: A1235E525F456C3D Time : 0.0 sec. user=mdettweiler [2017-04-20 14:05:45] 979*2^1452217-1 is not prime. Res64: EF7E546D3C201AAB Time : 0.0 sec. user=mdettweiler [2017-04-20 14:24:01] 791*2^1452218-1 is not prime. Res64: DB9DD0E1655FCE0B Time : 0.0 sec. user=mdettweiler [2017-04-20 14:24:02] 843*2^1452218-1 is not prime. Res64: 9DD436804EBBB1ED Time : 0.0 sec. user=mdettweiler [2017-04-20 14:24:02] 861*2^1452218-1 is not prime. Res64: 53F1BA05C4F2FCC5 Time : 0.0 sec. user=mdettweiler [2017-04-20 14:24:02] 923*2^1452218-1 is not prime. Res64: 2FA90B5F15915B18 Time : 0.0 sec. user=mdettweiler [2017-04-20 14:24:02] 963*2^1452218-1 is not prime. Res64: 03FB2A2AC5520420 Time : 0.0 sec. user=mdettweiler [2017-04-20 14:30:35] 977*2^1452218-1 is not prime. Res64: 8D0EDA5950C97DA4 Time : 0.0 sec. user=mdettweiler [2017-04-20 14:30:35] 639*2^1452219-1 is not prime. Res64: F789C6BB8FA80707 Time : 0.0 sec. user=mdettweiler [2017-04-20 14:30:35] 703*2^1452219-1 is not prime. Res64: E2C1427CE1C43917 Time : 0.0 sec. user=mdettweiler [2017-04-20 14:30:36] 675*2^1452220-1 is not prime. Res64: 5073BAB31F637CA5 Time : 0.0 sec. user=mdettweiler [2017-04-20 14:30:36] 677*2^1452220-1 is not prime. Res64: B0A0131BFA492D93 Time : 0.0 sec. user=mdettweiler [2017-04-20 14:51:02] 695*2^1452220-1 is not prime. Res64: 340EC30CA068CD16 Time : 0.0 sec. user=mdettweiler [2017-04-20 14:51:03] 719*2^1452220-1 is not prime. Res64: 7DC63DD328F48426 Time : 0.0 sec. user=mdettweiler [2017-04-20 14:51:03] 825*2^1452220-1 is not prime. Res64: 84DF144191BDCF6C Time : 0.0 sec. user=mdettweiler [2017-04-20 14:51:03] 855*2^1452220-1 is not prime. Res64: FE70A11C7EF4033E Time : 0.0 sec. user=mdettweiler [2017-04-20 14:51:03] 669*2^1452221-1 is not prime. Res64: 8BA92E1A2D7DCF1D Time : 0.0 sec. user=mdettweiler [2017-04-20 15:08:48] 685*2^1452221-1 is not prime. Res64: 2C188204A7088FC3 Time : 0.0 sec. user=mdettweiler [2017-04-20 15:08:48] 697*2^1452221-1 is not prime. Res64: 23A378684A6ABC1E Time : 0.0 sec. user=mdettweiler [2017-04-20 15:08:49] 717*2^1452221-1 is not prime. Res64: 00A96AA299EEBACD Time : 0.0 sec. user=mdettweiler [2017-04-20 15:08:49] 741*2^1452221-1 is not prime. Res64: 5FF0E192BD5DD3E9 Time : 0.0 sec. user=mdettweiler [2017-04-20 15:08:49] 837*2^1452221-1 is not prime. Res64: 07849C824FF5E9EC Time : 0.0 sec. user=mdettweiler [2017-04-20 15:15:09] 939*2^1452221-1 is not prime. Res64: 2388FE244286813B Time : 0.0 sec. user=mdettweiler [2017-04-20 15:15:10] 945*2^1452221-1 is not prime. Res64: 89613EF5ED4E79BD Time : 0.0 sec. user=mdettweiler [2017-04-20 15:15:10] 991*2^1452221-1 is not prime. Res64: 33209A337650B0D4 Time : 0.0 sec. user=mdettweiler [2017-04-20 15:15:10] 713*2^1452222-1 is not prime. Res64: ED1DA5A06191C547 Time : 0.0 sec. user=mdettweiler [2017-04-20 15:15:10] 791*2^1452222-1 is not prime. Res64: 197C9A52D86B376C Time : 0.0 sec. user=mdettweiler [2017-04-20 15:35:37] 797*2^1452222-1 is not prime. Res64: D8FA8871E6FB8618 Time : 0.0 sec. user=mdettweiler [2017-04-20 15:35:37] 917*2^1452222-1 is not prime. Res64: 17C6C1C44ACDBEAC Time : 0.0 sec. user=mdettweiler [2017-04-20 15:35:37] 603*2^1452223-1 is not prime. Res64: 8B6B8F695A830472 Time : 0.0 sec. user=mdettweiler [2017-04-20 15:35:37] 673*2^1452223-1 is not prime. Res64: CB60134816946E2D Time : 0.0 sec. user=mdettweiler [2017-04-20 15:35:37] 763*2^1452223-1 is not prime. Res64: AD9E59E4C2FE309B Time : 0.0 sec. user=mdettweiler [2017-04-20 15:53:26] 775*2^1452223-1 is not prime. Res64: 794DCA973D90D92A Time : 0.0 sec. user=mdettweiler [2017-04-20 15:53:26] 829*2^1452223-1 is not prime. Res64: 5670F909D6F63A00 Time : 0.0 sec. user=mdettweiler [2017-04-20 15:53:26] 871*2^1452223-1 is not prime. Res64: 37E2ED8D9FB3F225 Time : 0.0 sec. user=mdettweiler [2017-04-20 15:53:26] 873*2^1452223-1 is not prime. Res64: F1387A264E223E74 Time : 0.0 sec. user=mdettweiler [2017-04-20 15:53:27] 645*2^1452224-1 is not prime. Res64: 9220BA899DD36FB0 Time : 0.0 sec. user=mdettweiler [2017-04-20 15:59:46] 855*2^1452224-1 is not prime. Res64: DF61F78352F649CE Time : 0.0 sec. user=mdettweiler [2017-04-20 15:59:46] 893*2^1452224-1 is not prime. Res64: 1E3A60C8B731248E Time : 0.0 sec. user=mdettweiler [2017-04-20 15:59:46] 909*2^1452224-1 is not prime. Res64: FEC8C6449BCCD05E Time : 0.0 sec. user=mdettweiler [2017-04-20 15:59:46] 935*2^1452224-1 is not prime. Res64: 2C6CA58794262A08 Time : 0.0 sec. user=mdettweiler [2017-04-20 15:59:46] 957*2^1452224-1 is not prime. Res64: 01194DDEFD1EFBD6 Time : 0.0 sec. user=mdettweiler [2017-04-20 16:20:11] 625*2^1452225-1 is not prime. Res64: 95727A00228256CE Time : 0.0 sec. user=mdettweiler [2017-04-20 16:20:12] 675*2^1452225-1 is not prime. Res64: 78B0C78C07530DBC Time : 0.0 sec. user=mdettweiler [2017-04-20 16:20:12] 781*2^1452225-1 is not prime. Res64: B2FCC8AC2D3A1DC6 Time : 0.0 sec. user=mdettweiler [2017-04-20 16:20:12] 819*2^1452225-1 is not prime. Res64: 05874DD54C76F7E0 Time : 0.0 sec. user=mdettweiler [2017-04-20 16:20:12] 603*2^1452226-1 is not prime. Res64: 6190634D17E2B056 Time : 0.0 sec. user=mdettweiler [2017-04-20 16:38:05] 617*2^1452226-1 is not prime. Res64: E86E70734E505D87 Time : 0.0 sec. user=mdettweiler [2017-04-20 16:38:05] 813*2^1452226-1 is not prime. Res64: 2CD1090298585DF6 Time : 0.0 sec. user=mdettweiler [2017-04-20 16:38:05] 887*2^1452226-1 is not prime. Res64: 3DB2265DBE22E576 Time : 0.0 sec. user=mdettweiler [2017-04-20 16:38:05] 923*2^1452226-1 is not prime. Res64: CC23754E44777C31 Time : 0.0 sec. user=mdettweiler [2017-04-20 16:38:06] 971*2^1452226-1 is not prime. Res64: C8C2ABFC72EE02D3 Time : 0.0 sec. user=mdettweiler [2017-04-20 16:44:24] 645*2^1452227-1 is not prime. Res64: E5C92296589E0B84 Time : 0.0 sec. user=mdettweiler [2017-04-20 16:44:24] 949*2^1452227-1 is not prime. Res64: 39AF1E8FD53ED3E3 Time : 0.0 sec. user=mdettweiler [2017-04-20 16:44:25] 749*2^1452228-1 is not prime. Res64: 00399C5396148F92 Time : 0.0 sec. user=mdettweiler [2017-04-20 16:44:25] 839*2^1452228-1 is not prime. Res64: 33F534EFAFB8880D Time : 0.0 sec. user=mdettweiler [2017-04-20 16:44:25] 969*2^1452228-1 is not prime. Res64: A32972E3002F986A Time : 0.0 sec. user=mdettweiler [2017-04-20 17:04:53] 801*2^1452229-1 is not prime. Res64: 1FFEAFFE869457C7 Time : 0.0 sec. user=mdettweiler [2017-04-20 17:04:56] 831*2^1452229-1 is not prime. Res64: D9A58F36DCC486BF Time : 0.0 sec. user=mdettweiler [2017-04-20 17:04:57] 945*2^1452229-1 is not prime. Res64: 6C53AD20D50647BA Time : 0.0 sec. user=mdettweiler [2017-04-20 17:04:59] 967*2^1452229-1 is not prime. Res64: B6D9D487F8259277 Time : 0.0 sec. user=mdettweiler [2017-04-20 17:05:00] 615*2^1452230-1 is not prime. Res64: 7D6F28E392EF9A73 Time : 0.0 sec. user=mdettweiler [2017-04-20 17:22:45] 717*2^1452230-1 is not prime. Res64: A029CAB72DF89B6A Time : 0.0 sec. user=mdettweiler [2017-04-20 17:22:45] 753*2^1452230-1 is not prime. Res64: B3B3E74A89F056C7 Time : 0.0 sec. user=mdettweiler [2017-04-20 17:22:46] 857*2^1452230-1 is not prime. Res64: EFF34402D1E4FC3B Time : 0.0 sec. user=mdettweiler [2017-04-20 17:22:46] 875*2^1452230-1 is not prime. Res64: 90BB4254CBAF9BE6 Time : 0.0 sec. user=mdettweiler [2017-04-20 17:22:46] 977*2^1452230-1 is not prime. Res64: 2E1742866F2B8E11 Time : 0.0 sec. user=mdettweiler [2017-04-20 17:29:04] 613*2^1452231-1 is not prime. Res64: ABDE1ED4C69ACB1B Time : 0.0 sec. user=mdettweiler [2017-04-20 17:29:04] 625*2^1452231-1 is not prime. Res64: B2824BC1006BB07A Time : 0.0 sec. user=mdettweiler [2017-04-20 17:29:05] 685*2^1452231-1 is not prime. Res64: ACCD67F457EC79C1 Time : 0.0 sec. user=mdettweiler [2017-04-20 17:29:06] 861*2^1452231-1 is not prime. Res64: 5EEB7689A5B1D13E Time : 0.0 sec. user=mdettweiler [2017-04-20 17:29:06] 879*2^1452231-1 is not prime. Res64: 1B2B958AB23EDE1C Time : 0.0 sec. user=mdettweiler [2017-04-20 17:49:56] 913*2^1452231-1 is not prime. Res64: 226DD051ADD374B1 Time : 0.0 sec. user=mdettweiler [2017-04-20 17:49:56] 961*2^1452231-1 is not prime. Res64: A8E492379F0D1145 Time : 0.0 sec. user=mdettweiler [2017-04-20 17:49:56] 609*2^1452232-1 is not prime. Res64: D300858C9929E6B9 Time : 0.0 sec. user=mdettweiler [2017-04-20 17:49:56] 615*2^1452232-1 is not prime. Res64: 4D3EC8A9D1D77445 Time : 0.0 sec. user=mdettweiler [2017-04-20 17:49:57] 675*2^1452232-1 is not prime. Res64: C6A302914D754A4C Time : 0.0 sec. user=mdettweiler [2017-04-20 18:07:27] 947*2^1452232-1 is not prime. Res64: 9FB7EB845040258D Time : 0.0 sec. user=mdettweiler [2017-04-20 18:07:27] 975*2^1452232-1 is not prime. Res64: 0C4C7ACDD9F12665 Time : 0.0 sec. user=mdettweiler [2017-04-20 18:07:27] 989*2^1452232-1 is not prime. Res64: DFFC2C49EBD3C0EC Time : 0.0 sec. user=mdettweiler [2017-04-20 18:07:28] 771*2^1452233-1 is not prime. Res64: 56C36A83AE827E85 Time : 0.0 sec. user=mdettweiler [2017-04-20 18:07:28] 871*2^1452233-1 is not prime. Res64: 50C6A157CFAA5F44 Time : 0.0 sec. user=mdettweiler [2017-04-20 18:14:10] 879*2^1452233-1 is not prime. Res64: 4AF31332CD9EFA3E Time : 0.0 sec. user=mdettweiler [2017-04-20 18:14:10] 901*2^1452233-1 is not prime. Res64: 26F0D7514A8EBE3D Time : 0.0 sec. user=mdettweiler [2017-04-20 18:14:11] 969*2^1452233-1 is not prime. Res64: 138D8A5AE258F556 Time : 0.0 sec. user=mdettweiler [2017-04-20 18:14:11] 663*2^1452234-1 is not prime. Res64: A29173D59CE1000F Time : 0.0 sec. user=mdettweiler [2017-04-20 18:14:11] 741*2^1452234-1 is not prime. Res64: E0F7950BF3AE2A2D Time : 0.0 sec. user=mdettweiler [2017-04-20 18:34:59] 807*2^1452234-1 is not prime. Res64: 18DAC7FD15D218AA Time : 0.0 sec. user=mdettweiler [2017-04-20 18:35:00] 837*2^1452234-1 is not prime. Res64: 53B8120C04FDAEFA Time : 0.0 sec. user=mdettweiler [2017-04-20 18:35:00] 851*2^1452234-1 is not prime. Res64: 19E122E8D384227D Time : 0.0 sec. user=mdettweiler [2017-04-20 18:35:00] 875*2^1452234-1 is not prime. Res64: F140B7F5046880EA Time : 0.0 sec. user=mdettweiler [2017-04-20 18:35:01] 885*2^1452234-1 is not prime. Res64: C0BEC8A1A552C370 Time : 0.0 sec. user=mdettweiler [2017-04-20 18:52:29] 1001*2^1452234-1 is not prime. Res64: 56E18BF667A002BB Time : 0.0 sec. user=mdettweiler [2017-04-20 18:52:29] 619*2^1452235-1 is not prime. Res64: A0D2FA013E33F468 Time : 0.0 sec. user=mdettweiler [2017-04-20 18:52:30] 673*2^1452235-1 is not prime. Res64: 52C135411F07A0A4 Time : 0.0 sec. user=mdettweiler [2017-04-20 18:52:30] 733*2^1452235-1 is not prime. Res64: 96F3A09FB773B349 Time : 0.0 sec. user=mdettweiler [2017-04-20 18:52:30] 859*2^1452235-1 is not prime. Res64: 82EE700814A80C04 Time : 0.0 sec. user=mdettweiler [2017-04-20 18:58:49] 885*2^1452235-1 is not prime. Res64: AABDF2DCB62A059A Time : 0.0 sec. user=mdettweiler [2017-04-20 18:58:49] 909*2^1452235-1 is not prime. Res64: EAF9C4E8DD4442CB Time : 0.0 sec. user=mdettweiler [2017-04-20 18:58:50] 825*2^1452236-1 is not prime. Res64: 0097E651B09F3691 Time : 0.0 sec. user=mdettweiler [2017-04-20 18:58:50] 857*2^1452236-1 is not prime. Res64: 91D7FEDC1297E3C1 Time : 0.0 sec. user=mdettweiler [2017-04-20 18:58:50] 923*2^1452236-1 is not prime. Res64: A8EF3EB320311D01 Time : 0.0 sec. user=mdettweiler [2017-04-20 19:19:38] 945*2^1452236-1 is not prime. Res64: 238B2D58E8E4BFBD Time : 0.0 sec. user=mdettweiler [2017-04-20 19:19:39] 969*2^1452236-1 is not prime. Res64: D17E570F2680EB4A Time : 0.0 sec. user=mdettweiler [2017-04-20 19:19:39] 717*2^1452237-1 is not prime. Res64: 7DFED1DC414ACA8D Time : 0.0 sec. user=mdettweiler [2017-04-20 19:19:39] 727*2^1452237-1 is not prime. Res64: CC5C8732DBB6001B Time : 0.0 sec. user=mdettweiler [2017-04-20 19:19:39] 895*2^1452237-1 is not prime. Res64: B7124048C95358A8 Time : 0.0 sec. user=mdettweiler [2017-04-20 19:37:09] 815*2^1452238-1 is not prime. Res64: 4090A3BA6EC1DB64 Time : 0.0 sec. user=mdettweiler [2017-04-20 19:37:09] 891*2^1452238-1 is not prime. Res64: FA20DCA51A11D8A6 Time : 0.0 sec. user=mdettweiler [2017-04-20 19:37:09] 663*2^1452239-1 is not prime. Res64: 0C964431962CDCA2 Time : 0.0 sec. user=mdettweiler [2017-04-20 19:37:10] 993*2^1452239-1 is not prime. Res64: C5003D7A6F73A3E5 Time : 0.0 sec. user=mdettweiler [2017-04-20 19:37:10] 803*2^1452240-1 is not prime. Res64: 2670F71AC86B7BB3 Time : 0.0 sec. user=mdettweiler [2017-04-20 19:43:28] 957*2^1452240-1 is not prime. Res64: 5CFCF9A6C16CE9F7 Time : 0.0 sec. user=mdettweiler [2017-04-20 19:43:29] 975*2^1452240-1 is not prime. Res64: F267251EA866C781 Time : 0.0 sec. user=mdettweiler [2017-04-20 19:43:29] 999*2^1452240-1 is not prime. Res64: A5579D37D2DD29E3 Time : 0.0 sec. user=mdettweiler [2017-04-20 19:43:29] 619*2^1452241-1 is not prime. Res64: 3E6DE35239AE3F5A Time : 0.0 sec. user=mdettweiler [2017-04-20 19:43:30] 805*2^1452241-1 is not prime. Res64: 009A2DC715950373 Time : 0.0 sec. user=mdettweiler [2017-04-20 20:04:16] 877*2^1452241-1 is not prime. Res64: 6641B95D91D9667A Time : 0.0 sec. user=mdettweiler [2017-04-20 20:04:17] 901*2^1452241-1 is not prime. Res64: 772C10EDA40C47A8 Time : 0.0 sec. user=mdettweiler [2017-04-20 20:04:19] 617*2^1452242-1 is not prime. Res64: 8A75F996DB884E6D Time : 0.0 sec. user=mdettweiler [2017-04-20 20:04:20] 665*2^1452242-1 is not prime. Res64: 9FEAB3ABE5F55C2A Time : 0.0 sec. user=mdettweiler [2017-04-20 20:04:21] 675*2^1452242-1 is not prime. Res64: 265415791DA1AED6 Time : 0.0 sec. user=mdettweiler [2017-04-20 20:21:50] 743*2^1452242-1 is not prime. Res64: CBB1D7CF65F98F4E Time : 0.0 sec. user=mdettweiler [2017-04-20 20:21:50] 941*2^1452242-1 is not prime. Res64: 0512762AFB69AD41 Time : 0.0 sec. user=mdettweiler [2017-04-20 20:21:50] 945*2^1452242-1 is not prime. Res64: 1B1E32228896BE3D Time : 0.0 sec. user=mdettweiler [2017-04-20 20:21:51] 981*2^1452242-1 is not prime. Res64: AD2360C15331CCD0 Time : 0.0 sec. user=mdettweiler [2017-04-20 20:21:51] 987*2^1452242-1 is not prime. Res64: A3CCB6CB2A6AA59B Time : 0.0 sec. user=mdettweiler [2017-04-20 20:28:10] 995*2^1452242-1 is not prime. Res64: E176743981422975 Time : 0.0 sec. user=mdettweiler [2017-04-20 20:28:10] 649*2^1452243-1 is not prime. Res64: C95966A76D57A264 Time : 0.0 sec. user=mdettweiler [2017-04-20 20:28:10] 705*2^1452243-1 is not prime. Res64: 840780D7D838830C Time : 0.0 sec. user=mdettweiler [2017-04-20 20:28:11] 835*2^1452243-1 is not prime. Res64: AE62E69AD101ABAD Time : 0.0 sec. user=mdettweiler [2017-04-20 20:28:11] 885*2^1452243-1 is not prime. Res64: 4B2B0A7AFAD08F0E Time : 0.0 sec. user=mdettweiler [2017-04-20 20:49:23] 639*2^1452244-1 is not prime. Res64: 0640E262240CC09C Time : 0.0 sec. user=mdettweiler [2017-04-20 20:49:23] 749*2^1452244-1 is not prime. Res64: F494F9C363982266 Time : 0.0 sec. user=mdettweiler [2017-04-20 20:49:23] 773*2^1452244-1 is not prime. Res64: 963231201CF27FC4 Time : 0.0 sec. user=mdettweiler [2017-04-20 20:49:24] 619*2^1452245-1 is not prime. Res64: 94F7D01497C46CA0 Time : 0.0 sec. user=mdettweiler [2017-04-20 20:49:24] 757*2^1452245-1 is not prime. Res64: 61638B27C44CBE9D Time : 0.0 sec. user=mdettweiler [2017-04-20 21:06:30] 787*2^1452245-1 is not prime. Res64: 119904425CED0FD1 Time : 0.0 sec. user=mdettweiler [2017-04-20 21:06:30] 847*2^1452245-1 is not prime. Res64: D945F2D5DA38E5DC Time : 0.0 sec. user=mdettweiler [2017-04-20 21:06:31] 925*2^1452245-1 is not prime. Res64: DA4E9E1FD6E8047A Time : 0.0 sec. user=mdettweiler [2017-04-20 21:06:31] 939*2^1452245-1 is not prime. Res64: D189E62FC9F8DA22 Time : 0.0 sec. user=mdettweiler [2017-04-20 21:06:31] 707*2^1452246-1 is not prime. Res64: F353B5BE1A03D772 Time : 0.0 sec. user=mdettweiler [2017-04-20 21:12:46] 783*2^1452246-1 is not prime. Res64: 1BD47BCE8536944A Time : 0.0 sec. user=mdettweiler [2017-04-20 21:12:47] 983*2^1452246-1 is not prime. Res64: 974A142718F593A2 Time : 0.0 sec. user=mdettweiler [2017-04-20 21:12:47] 633*2^1452247-1 is not prime. Res64: 6CD0A3BA3357B2E8 Time : 0.0 sec. user=mdettweiler [2017-04-20 21:12:47] 675*2^1452247-1 is not prime. Res64: 5ACE4E03A05C0680 Time : 0.0 sec. user=mdettweiler [2017-04-20 21:12:48] 735*2^1452247-1 is not prime. Res64: 3B40021C3A0F3089 Time : 0.0 sec. user=juhehe [2017-04-20 21:26:07] 759*2^1452247-1 is not prime. Res64: 891FE6C5421E9830 Time : 0.0 sec. user=mdettweiler [2017-04-20 21:34:00] 763*2^1452247-1 is not prime. Res64: 02C9DF857E223E4E Time : 0.0 sec. user=mdettweiler [2017-04-20 21:34:00] 831*2^1452247-1 is not prime. Res64: FDA063086F5E0569 Time : 0.0 sec. user=mdettweiler [2017-04-20 21:34:00] 873*2^1452247-1 is not prime. Res64: 9A16E8F65CE2212D Time : 0.0 sec. user=mdettweiler [2017-04-20 21:34:01] 909*2^1452247-1 is not prime. Res64: 4A10708BE32E7F4F Time : 0.0 sec. user=mdettweiler [2017-04-20 21:34:01] 951*2^1452247-1 is not prime. Res64: 32090C518F7D8CCD Time : 0.0 sec. user=mdettweiler [2017-04-20 21:51:12] 973*2^1452247-1 is not prime. Res64: 6F3428A431285430 Time : 0.0 sec. user=mdettweiler [2017-04-20 21:51:13] 975*2^1452247-1 is not prime. Res64: 25CD4284A7A7820A Time : 0.0 sec. user=mdettweiler [2017-04-20 21:51:13] 629*2^1452248-1 is not prime. Res64: BB94E8D5A15BB5AD Time : 0.0 sec. user=mdettweiler [2017-04-20 21:51:13] 669*2^1452248-1 is not prime. Res64: 539E1BB809CB35AF Time : 0.0 sec. user=mdettweiler [2017-04-20 21:51:14] 759*2^1452248-1 is not prime. Res64: F2141C1CDC9C84C9 Time : 0.0 sec. user=mdettweiler [2017-04-20 21:57:23] 879*2^1452248-1 is not prime. Res64: C47F474A25B2393F Time : 0.0 sec. user=mdettweiler [2017-04-20 21:57:23] 897*2^1452248-1 is not prime. Res64: 431F356A17C1F034 Time : 0.0 sec. user=mdettweiler [2017-04-20 21:57:23] 957*2^1452248-1 is not prime. Res64: 84450EDFA80C4879 Time : 0.0 sec. user=mdettweiler [2017-04-20 21:57:24] 969*2^1452248-1 is not prime. Res64: FF74031CAC20B0F1 Time : 0.0 sec. user=mdettweiler [2017-04-20 21:57:24] 625*2^1452249-1 is not prime. Res64: 66890EF6E41D2ADD Time : 0.0 sec. user=juhehe [2017-04-20 22:05:07] 669*2^1452249-1 is not prime. Res64: DA40174C3A0EA798 Time : 0.0 sec. user=mdettweiler [2017-04-20 22:18:37] 685*2^1452249-1 is not prime. Res64: DA1132B2032E14E4 Time : 0.0 sec. user=mdettweiler [2017-04-20 22:18:38] 789*2^1452249-1 is not prime. Res64: D818D1880E6A04EA Time : 0.0 sec. user=mdettweiler [2017-04-20 22:18:38] 831*2^1452249-1 is not prime. Res64: 43B81F41C67327DE Time : 0.0 sec. user=mdettweiler [2017-04-20 22:18:38] 865*2^1452249-1 is not prime. Res64: AA03CBEEEDCB49EB Time : 0.0 sec. user=mdettweiler [2017-04-20 22:18:38] 997*2^1452249-1 is not prime. Res64: 7529E269188F90B2 Time : 0.0 sec. user=mdettweiler [2017-04-20 22:36:20] 653*2^1452250-1 is not prime. Res64: 5943B4795B8F2EEC Time : 0.0 sec. user=mdettweiler [2017-04-20 22:36:21] 665*2^1452250-1 is not prime. Res64: EBB76307D8608AFD Time : 0.0 sec. user=mdettweiler [2017-04-20 22:36:21] 677*2^1452250-1 is not prime. Res64: 05F1C2317D91A3EF Time : 0.0 sec. user=mdettweiler [2017-04-20 22:36:22] 687*2^1452250-1 is not prime. Res64: 030FD43FB946848A Time : 0.0 sec. user=mdettweiler [2017-04-20 22:36:22] 713*2^1452250-1 is not prime. Res64: 4ADB6D027453C4EE Time : 0.0 sec. user=mdettweiler [2017-04-20 22:42:27] 765*2^1452250-1 is not prime. Res64: 08997254C04867E8 Time : 0.0 sec. user=mdettweiler [2017-04-20 22:42:27] 803*2^1452250-1 is not prime. Res64: 9D0B725D4504C75D Time : 0.0 sec. user=mdettweiler [2017-04-20 22:42:28] 843*2^1452250-1 is not prime. Res64: 4E2D80F55A3D98C4 Time : 0.0 sec. user=mdettweiler [2017-04-20 22:42:28] 867*2^1452250-1 is not prime. Res64: 487DDC0D8A14056D Time : 0.0 sec. user=mdettweiler [2017-04-20 22:42:28] 933*2^1452250-1 is not prime. Res64: A51078324E121F49 Time : 0.0 sec. user=juhehe [2017-04-20 22:42:33] 975*2^1452250-1 is not prime. Res64: D488FE81C66F3026 Time : 0.0 sec. user=juhehe [2017-04-20 22:44:29] 619*2^1452251-1 is not prime. Res64: CE49FBE0B783DDFA Time : 0.0 sec. user=mdettweiler [2017-04-20 23:03:41] 693*2^1452251-1 is not prime. Res64: EA8ACA67654E584D Time : 0.0 sec. user=mdettweiler [2017-04-20 23:03:42] 859*2^1452251-1 is not prime. Res64: E771D5FD9CA59E9B Time : 0.0 sec. user=mdettweiler [2017-04-20 23:03:43] 921*2^1452251-1 is not prime. Res64: A9D2C571C3FAF41D Time : 0.0 sec. user=mdettweiler [2017-04-20 23:03:45] 675*2^1452252-1 is not prime. Res64: 53345B2E3C255108 Time : 0.0 sec. user=mdettweiler [2017-04-20 23:03:46] 609*2^1452253-1 is not prime. Res64: 44357215314D481D Time : 0.0 sec. user=mdettweiler [2017-04-20 23:20:52] 615*2^1452253-1 is not prime. Res64: 1011397D3C79EFC0 Time : 0.0 sec. user=mdettweiler [2017-04-20 23:20:53] 699*2^1452253-1 is not prime. Res64: C45EE7B7FF8442B3 Time : 0.0 sec. user=mdettweiler [2017-04-20 23:20:53] 741*2^1452253-1 is not prime. Res64: 405F92A701A64B04 Time : 0.0 sec. user=mdettweiler [2017-04-20 23:20:54] 747*2^1452253-1 is not prime. Res64: BD31A96E15B3E94B Time : 0.0 sec. user=mdettweiler [2017-04-20 23:20:54] 769*2^1452253-1 is not prime. Res64: B86AE9917398D63C Time : 0.0 sec. user=juhehe [2017-04-20 23:23:40] 971*2^1452254-1 is not prime. Res64: 43984E323FC40154 Time : 0.0 sec. user=mdettweiler [2017-04-20 23:26:57] 915*2^1452253-1 is not prime. Res64: DC8F125D7C1C3399 Time : 0.0 sec. user=mdettweiler [2017-04-20 23:26:57] 937*2^1452253-1 is not prime. Res64: EF53F080882F5BE0 Time : 0.0 sec. user=mdettweiler [2017-04-20 23:26:58] 651*2^1452254-1 is not prime. Res64: 0FB463B18A97F34B Time : 0.0 sec. user=mdettweiler [2017-04-20 23:26:58] 741*2^1452254-1 is not prime. Res64: 2F996436B6312A28 Time : 0.0 sec. user=mdettweiler [2017-04-20 23:26:59] 753*2^1452254-1 is not prime. Res64: BF81267DA008F111 Time : 0.0 sec. user=mdettweiler [2017-04-20 23:48:34] 693*2^1452255-1 is not prime. Res64: B17A4B4CDF17CD6E Time : 0.0 sec. user=mdettweiler [2017-04-20 23:48:35] 705*2^1452255-1 is not prime. Res64: 9C39286AB44FBD14 Time : 0.0 sec. user=mdettweiler [2017-04-20 23:48:35] 783*2^1452255-1 is not prime. Res64: B6C634D7B973A0F0 Time : 0.0 sec. user=mdettweiler [2017-04-20 23:48:36] 823*2^1452255-1 is not prime. Res64: 99C9BA70BCE63F67 Time : 0.0 sec. user=mdettweiler [2017-04-20 23:48:36] 831*2^1452255-1 is not prime. Res64: 327DE2631E972146 Time : 0.0 sec.