user=mdettweiler [2016-10-28 00:12:22] 859*2^1444155-1 is not prime. Res64: C6C5DACFACAA6E0E Time : 0.0 sec. user=mdettweiler [2016-10-28 00:12:23] 873*2^1444155-1 is not prime. Res64: E8EBC0B67899D977 Time : 0.0 sec. user=mdettweiler [2016-10-28 00:12:24] 921*2^1444155-1 is not prime. Res64: 559DE12C6F6B3B58 Time : 0.0 sec. user=mdettweiler [2016-10-28 00:12:25] 617*2^1444156-1 is not prime. Res64: EF09DB5A2B722AF1 Time : 0.0 sec. user=mdettweiler [2016-10-28 00:12:27] 743*2^1444156-1 is not prime. Res64: DDF5A6C08FD713CF Time : 0.0 sec. user=mdettweiler [2016-10-28 00:34:59] 785*2^1444156-1 is not prime. Res64: A8799B9C6D36C4A3 Time : 0.0 sec. user=mdettweiler [2016-10-28 00:34:59] 939*2^1444156-1 is not prime. Res64: 355E65CE1DAC68A7 Time : 0.0 sec. user=mdettweiler [2016-10-28 00:34:59] 607*2^1444157-1 is not prime. Res64: B0BE02AA09E7D506 Time : 0.0 sec. user=mdettweiler [2016-10-28 00:34:59] 727*2^1444157-1 is not prime. Res64: 2BA260C3ABE80B0D Time : 0.0 sec. user=mdettweiler [2016-10-28 00:35:00] 795*2^1444157-1 is not prime. Res64: 9351E74B7B914246 Time : 0.0 sec. user=mdettweiler [2016-10-28 00:44:34] 837*2^1444157-1 is not prime. Res64: 83F8FAC9D44B02EC Time : 0.0 sec. user=mdettweiler [2016-10-28 00:44:35] 889*2^1444157-1 is not prime. Res64: 5F761D4A8D585D16 Time : 0.0 sec. user=mdettweiler [2016-10-28 00:44:35] 611*2^1444158-1 is not prime. Res64: F7B8CE037CF9AC66 Time : 0.0 sec. user=mdettweiler [2016-10-28 00:44:35] 705*2^1444158-1 is not prime. Res64: D1521CFBFD497C29 Time : 0.0 sec. user=mdettweiler [2016-10-28 00:44:35] 707*2^1444158-1 is not prime. Res64: 0719BD6A61651FB3 Time : 0.0 sec. user=mdettweiler [2016-10-28 00:47:51] 713*2^1444158-1 is not prime. Res64: 2BC32D69ECF17D0C Time : 0.0 sec. user=mdettweiler [2016-10-28 00:47:52] 795*2^1444158-1 is not prime. Res64: 13BC000BEA8D695C Time : 0.0 sec. user=mdettweiler [2016-10-28 00:47:52] 801*2^1444158-1 is not prime. Res64: A4AE1B48A9239414 Time : 0.0 sec. user=mdettweiler [2016-10-28 00:47:52] 815*2^1444158-1 is not prime. Res64: 5BE12F1584B115E2 Time : 0.0 sec. user=mdettweiler [2016-10-28 00:47:52] 861*2^1444158-1 is not prime. Res64: F2ADBF759657CAD7 Time : 0.0 sec. user=mdettweiler [2016-10-28 01:01:28] 867*2^1444158-1 is not prime. Res64: 1E057704D29A5A1B Time : 0.0 sec. user=mdettweiler [2016-10-28 01:01:29] 893*2^1444158-1 is not prime. Res64: 9E8ADC6733F7365B Time : 0.0 sec. user=mdettweiler [2016-10-28 01:01:29] 941*2^1444158-1 is not prime. Res64: 3D9A79CB3E49C574 Time : 0.0 sec. user=mdettweiler [2016-10-28 01:01:30] 945*2^1444158-1 is not prime. Res64: AB1BC9EED282D8A1 Time : 0.0 sec. user=mdettweiler [2016-10-28 01:01:30] 693*2^1444159-1 is not prime. Res64: E267E5964E3CF8CD Time : 0.0 sec. user=mdettweiler [2016-10-28 01:23:06] 855*2^1444159-1 is not prime. Res64: B71CF2629B930341 Time : 0.0 sec. user=mdettweiler [2016-10-28 01:23:06] 605*2^1444160-1 is not prime. Res64: 0A5884FAE6CA0616 Time : 0.0 sec. user=mdettweiler [2016-10-28 01:23:06] 777*2^1444160-1 is not prime. Res64: 2F520E5201BB15E0 Time : 0.0 sec. user=mdettweiler [2016-10-28 01:23:07] 827*2^1444160-1 is not prime. Res64: E5F6A3B947E25EE6 Time : 0.0 sec. user=mdettweiler [2016-10-28 01:23:07] 839*2^1444160-1 is not prime. Res64: B02371C0ED7BF80C Time : 0.0 sec. user=mdettweiler [2016-10-28 01:32:18] 935*2^1444160-1 is not prime. Res64: 8C85CAC8333DEA4C Time : 0.0 sec. user=mdettweiler [2016-10-28 01:32:20] 627*2^1444161-1 is not prime. Res64: ECA9B03273CB4D10 Time : 0.0 sec. user=mdettweiler [2016-10-28 01:32:21] 649*2^1444161-1 is not prime. Res64: 340AFC50D9B4B8AC Time : 0.0 sec. user=mdettweiler [2016-10-28 01:32:23] 681*2^1444161-1 is not prime. Res64: 89ECA7E38786E827 Time : 0.0 sec. user=mdettweiler [2016-10-28 01:32:24] 739*2^1444161-1 is not prime. Res64: BD0507D0B3CA53E8 Time : 0.0 sec. user=mdettweiler [2016-10-28 01:36:14] 861*2^1444161-1 is not prime. Res64: 55464DCAF35B9691 Time : 0.0 sec. user=mdettweiler [2016-10-28 01:36:14] 865*2^1444161-1 is not prime. Res64: D66DE4FBD1E67414 Time : 0.0 sec. user=mdettweiler [2016-10-28 01:36:14] 949*2^1444161-1 is not prime. Res64: 15EF2EBA2E5014AE Time : 0.0 sec. user=mdettweiler [2016-10-28 01:36:15] 997*2^1444161-1 is not prime. Res64: 86B0733A6C64835C Time : 0.0 sec. user=mdettweiler [2016-10-28 01:36:15] 603*2^1444162-1 is not prime. Res64: 24AD86A26B5CE60A Time : 0.0 sec. user=mdettweiler [2016-10-28 01:48:53] 635*2^1444162-1 is not prime. Res64: D1625F5C3445CA5C Time : 0.0 sec. user=mdettweiler [2016-10-28 01:48:53] 647*2^1444162-1 is not prime. Res64: 880ACAA081E18EE7 Time : 0.0 sec. user=mdettweiler [2016-10-28 01:48:54] 695*2^1444162-1 is not prime. Res64: 3A6B5E9424564347 Time : 0.0 sec. user=mdettweiler [2016-10-28 01:48:54] 735*2^1444162-1 is not prime. Res64: 7B4C2C320FA6C192 Time : 0.0 sec. user=mdettweiler [2016-10-28 01:48:54] 737*2^1444162-1 is not prime. Res64: 669E1A6BCD2D2D16 Time : 0.0 sec. user=mdettweiler [2016-10-28 02:10:05] 941*2^1444162-1 is not prime. Res64: 80CFFAAEB9E95CFF Time : 0.0 sec. user=mdettweiler [2016-10-28 02:10:06] 643*2^1444163-1 is not prime. Res64: 40DA091F22770461 Time : 0.0 sec. user=mdettweiler [2016-10-28 02:10:07] 705*2^1444163-1 is not prime. Res64: 6C9A164885954E96 Time : 0.0 sec. user=mdettweiler [2016-10-28 02:10:07] 805*2^1444163-1 is not prime. Res64: 7A996F3078095E6C Time : 0.0 sec. user=mdettweiler [2016-10-28 02:10:08] 825*2^1444163-1 is not prime. Res64: 2922F621A124DAC1 Time : 0.0 sec. user=mdettweiler [2016-10-28 02:19:02] 853*2^1444163-1 is not prime. Res64: 1D90B2AE41236168 Time : 0.0 sec. user=mdettweiler [2016-10-28 02:19:03] 913*2^1444163-1 is not prime. Res64: 0898E7C847C58A53 Time : 0.0 sec. user=mdettweiler [2016-10-28 02:19:03] 921*2^1444163-1 is not prime. Res64: 73861F4E8BC1426D Time : 0.0 sec. user=mdettweiler [2016-10-28 02:19:03] 963*2^1444163-1 is not prime. Res64: 1D1A3CBA3D6309A1 Time : 0.0 sec. user=mdettweiler [2016-10-28 02:19:03] 627*2^1444164-1 is not prime. Res64: 4979A177C1A65FEE Time : 0.0 sec. user=mdettweiler [2016-10-28 02:22:46] 753*2^1444164-1 is not prime. Res64: 6D4CF619D77AE24D Time : 0.0 sec. user=mdettweiler [2016-10-28 02:22:46] 843*2^1444164-1 is not prime. Res64: CBAA1C2E0E740375 Time : 0.0 sec. user=mdettweiler [2016-10-28 02:22:46] 945*2^1444164-1 is not prime. Res64: D717FFA069559835 Time : 0.0 sec. user=mdettweiler [2016-10-28 02:22:47] 777*2^1444165-1 is not prime. Res64: 4DA4EF6E56005EB8 Time : 0.0 sec. user=mdettweiler [2016-10-28 02:22:47] 855*2^1444165-1 is not prime. Res64: 594FD866B03B7677 Time : 0.0 sec. user=mdettweiler [2016-10-28 02:34:36] 877*2^1444165-1 is not prime. Res64: A76617EC313908EF Time : 0.0 sec. user=mdettweiler [2016-10-28 02:34:38] 677*2^1444166-1 is not prime. Res64: 68FE2282CA26591B Time : 0.0 sec. user=mdettweiler [2016-10-28 02:34:39] 857*2^1444166-1 is not prime. Res64: 7598CAB6C82498B9 Time : 0.0 sec. user=mdettweiler [2016-10-28 02:34:40] 887*2^1444166-1 is not prime. Res64: 7750C41A5593A9A6 Time : 0.0 sec. user=mdettweiler [2016-10-28 02:34:41] 709*2^1444167-1 is not prime. Res64: 71BEC80E2DD7BF7C Time : 0.0 sec. user=mdettweiler [2016-10-28 02:55:08] 711*2^1444167-1 is not prime. Res64: 8E22E79525DA1447 Time : 0.0 sec. user=mdettweiler [2016-10-28 02:55:10] 829*2^1444167-1 is not prime. Res64: 2F6D0ACA085647C3 Time : 0.0 sec. user=mdettweiler [2016-10-28 02:55:11] 831*2^1444167-1 is not prime. Res64: 5F0F3143AB29E8A5 Time : 0.0 sec. user=mdettweiler [2016-10-28 02:55:11] 913*2^1444167-1 is not prime. Res64: A4F1BCD3E68C17BD Time : 0.0 sec. user=mdettweiler [2016-10-28 02:55:11] 961*2^1444167-1 is not prime. Res64: 38C466666E60AEF1 Time : 0.0 sec. user=mdettweiler [2016-10-28 03:04:02] 755*2^1444168-1 is not prime. Res64: 3EB7AAD420A5A6B5 Time : 0.0 sec. user=mdettweiler [2016-10-28 03:04:02] 813*2^1444168-1 is not prime. Res64: 4738EA4E9400469C Time : 0.0 sec. user=mdettweiler [2016-10-28 03:04:03] 825*2^1444168-1 is not prime. Res64: 117CD9B47592CB5F Time : 0.0 sec. user=mdettweiler [2016-10-28 03:04:04] 849*2^1444168-1 is not prime. Res64: 1DFA48AE30BAC085 Time : 0.0 sec. user=mdettweiler [2016-10-28 03:04:04] 855*2^1444168-1 is not prime. Res64: F0839F3B46ABB66E Time : 0.0 sec. user=mdettweiler [2016-10-28 03:07:41] 887*2^1444168-1 is not prime. Res64: B762C24587C729BC Time : 0.0 sec. user=mdettweiler [2016-10-28 03:07:42] 989*2^1444168-1 is not prime. Res64: DE15AD3DBFD347A1 Time : 0.0 sec. user=mdettweiler [2016-10-28 03:07:44] 999*2^1444168-1 is not prime. Res64: CE225CD1698D3088 Time : 0.0 sec. user=mdettweiler [2016-10-28 03:07:45] 685*2^1444169-1 is not prime. Res64: 0092FF7DCE018FF0 Time : 0.0 sec. user=mdettweiler [2016-10-28 03:07:47] 759*2^1444169-1 is not prime. Res64: 70F76A420C3B2D3B Time : 0.0 sec. user=mdettweiler [2016-10-28 03:19:37] 867*2^1444169-1 is not prime. Res64: ADB8E99FBEA152DC Time : 0.0 sec. user=mdettweiler [2016-10-28 03:19:38] 723*2^1444170-1 is not prime. Res64: 0EC8FEDD3AC5B7F4 Time : 0.0 sec. user=mdettweiler [2016-10-28 03:19:38] 735*2^1444170-1 is not prime. Res64: E770C3F77190546D Time : 0.0 sec. user=mdettweiler [2016-10-28 03:19:38] 747*2^1444170-1 is not prime. Res64: 132D8D6A994D3A1C Time : 0.0 sec. user=mdettweiler [2016-10-28 03:19:39] 803*2^1444170-1 is not prime. Res64: D6EE56D60E47F107 Time : 0.0 sec. user=mdettweiler [2016-10-28 03:40:48] 891*2^1444170-1 is not prime. Res64: AAF85C6064A54A72 Time : 0.0 sec. user=mdettweiler [2016-10-28 03:40:54] 893*2^1444170-1 is not prime. Res64: 81AAAAEA8DABCDF9 Time : 0.0 sec. user=mdettweiler [2016-10-28 03:40:57] 933*2^1444170-1 is not prime. Res64: 642439D6F2EFCD71 Time : 0.0 sec. user=mdettweiler [2016-10-28 03:41:01] 945*2^1444170-1 is not prime. Res64: D9DB499403C898AC Time : 0.0 sec. user=mdettweiler [2016-10-28 03:41:05] 963*2^1444170-1 is not prime. Res64: 2B8744CA40DE9178 Time : 0.0 sec. user=mdettweiler [2016-10-28 03:49:44] 619*2^1444171-1 is not prime. Res64: 3E24BB122D4537CA Time : 0.0 sec. user=mdettweiler [2016-10-28 03:49:46] 651*2^1444171-1 is not prime. Res64: 3639A03B91F4F9D3 Time : 0.0 sec. user=mdettweiler [2016-10-28 03:49:49] 663*2^1444171-1 is not prime. Res64: BA292AFEFED019E7 Time : 0.0 sec. user=mdettweiler [2016-10-28 03:49:51] 685*2^1444171-1 is not prime. Res64: 3D5C4024B435E83A Time : 0.0 sec. user=mdettweiler [2016-10-28 03:49:51] 709*2^1444171-1 is not prime. Res64: 50A748361F4D3246 Time : 0.0 sec. user=mdettweiler [2016-10-28 03:53:23] 741*2^1444171-1 is not prime. Res64: C9DA7E3B38D63419 Time : 0.0 sec. user=mdettweiler [2016-10-28 03:53:25] 889*2^1444171-1 is not prime. Res64: 78B2757C37018375 Time : 0.0 sec. user=mdettweiler [2016-10-28 03:53:26] 759*2^1444172-1 is not prime. Res64: 80CBB166F0ED15DF Time : 0.0 sec. user=mdettweiler [2016-10-28 03:53:28] 959*2^1444172-1 is not prime. Res64: ECEF4E726773E594 Time : 0.0 sec. user=mdettweiler [2016-10-28 03:53:30] 983*2^1444172-1 is not prime. Res64: C8524417FDB6ED2E Time : 0.0 sec. user=mdettweiler [2016-10-28 04:05:17] 625*2^1444173-1 is not prime. Res64: BFEC86AC2A0BF193 Time : 0.0 sec. user=mdettweiler [2016-10-28 04:05:22] 675*2^1444173-1 is not prime. Res64: 80697F99C90DC38C Time : 0.0 sec. user=mdettweiler [2016-10-28 04:05:27] 759*2^1444173-1 is not prime. Res64: B6D17CD96FD2C108 Time : 0.0 sec. user=mdettweiler [2016-10-28 04:05:30] 819*2^1444173-1 is not prime. Res64: 716F6E41327A3B53 Time : 0.0 sec. user=mdettweiler [2016-10-28 04:05:32] 829*2^1444173-1 is not prime. Res64: 16B66B4297719330 Time : 0.0 sec. user=mdettweiler [2016-10-28 04:26:53] 891*2^1444173-1 is not prime. Res64: 0DF4A2DD678BC25E Time : 0.0 sec. user=mdettweiler [2016-10-28 04:26:54] 657*2^1444174-1 is not prime. Res64: E4D182BCEF58D87F Time : 0.0 sec. user=mdettweiler [2016-10-28 04:26:55] 681*2^1444174-1 is not prime. Res64: 0A6133363E6D36B8 Time : 0.0 sec. user=mdettweiler [2016-10-28 04:26:55] 731*2^1444174-1 is not prime. Res64: AD4888A6EC1E60BF Time : 0.0 sec. user=mdettweiler [2016-10-28 04:26:56] 773*2^1444174-1 is not prime. Res64: BC92C3856C1A1825 Time : 0.0 sec. user=mdettweiler [2016-10-28 04:34:40] 825*2^1444174-1 is not prime. Res64: 81F1893022C5B589 Time : 0.0 sec. user=mdettweiler [2016-10-28 04:34:40] 863*2^1444174-1 is not prime. Res64: 28C2A49931542C3D Time : 0.0 sec. user=mdettweiler [2016-10-28 04:34:40] 965*2^1444174-1 is not prime. Res64: 5EB2C091373D259C Time : 0.0 sec. user=mdettweiler [2016-10-28 04:34:41] 603*2^1444175-1 is not prime. Res64: F461468113A6C9FF Time : 0.0 sec. user=mdettweiler [2016-10-28 04:34:41] 663*2^1444175-1 is not prime. Res64: 56B3B874F5DA5D61 Time : 0.0 sec. user=mdettweiler [2016-10-28 04:38:56] 693*2^1444175-1 is not prime. Res64: A26A0001773E74C2 Time : 0.0 sec. user=mdettweiler [2016-10-28 04:38:57] 859*2^1444175-1 is not prime. Res64: 32EB306E6793D13E Time : 0.0 sec. user=mdettweiler [2016-10-28 04:38:57] 883*2^1444175-1 is not prime. Res64: 9D326FC61217E9A3 Time : 0.0 sec. user=mdettweiler [2016-10-28 04:38:57] 939*2^1444175-1 is not prime. Res64: FC072C7479583246 Time : 0.0 sec. user=mdettweiler [2016-10-28 04:38:57] 973*2^1444175-1 is not prime. Res64: B07A7BB6C8C898C8 Time : 0.0 sec. user=mdettweiler [2016-10-28 04:52:07] 683*2^1444176-1 is not prime. Res64: B88C3D11948CC7AB Time : 0.0 sec. user=mdettweiler [2016-10-28 04:52:07] 737*2^1444176-1 is not prime. Res64: CEA0E27E99B9AFCF Time : 0.0 sec. user=mdettweiler [2016-10-28 04:52:07] 893*2^1444176-1 is not prime. Res64: E0A22A237ECFD198 Time : 0.0 sec. user=mdettweiler [2016-10-28 04:52:08] 899*2^1444176-1 is not prime. Res64: 293AF38DEB63EF6D Time : 0.0 sec. user=mdettweiler [2016-10-28 04:52:08] 927*2^1444176-1 is not prime. Res64: 459ECA1DE8AC6B12 Time : 0.0 sec. user=mdettweiler [2016-10-28 05:12:10] 945*2^1444176-1 is not prime. Res64: 9D6137DD6C265753 Time : 0.0 sec. user=mdettweiler [2016-10-28 05:12:10] 993*2^1444176-1 is not prime. Res64: 482C7CA0C9ACD087 Time : 0.0 sec. user=mdettweiler [2016-10-28 05:12:10] 999*2^1444176-1 is not prime. Res64: 2F2FDAB7A3D97EDA Time : 0.0 sec. user=mdettweiler [2016-10-28 05:12:11] 801*2^1444177-1 is not prime. Res64: 793D39DDB21A434F Time : 0.0 sec. user=mdettweiler [2016-10-28 05:12:11] 957*2^1444177-1 is not prime. Res64: D3573F0277943FE2 Time : 0.0 sec. user=mdettweiler [2016-10-28 05:19:51] 605*2^1444178-1 is not prime. Res64: 4D642D9979A96E3B Time : 0.0 sec. user=mdettweiler [2016-10-28 05:19:52] 665*2^1444178-1 is not prime. Res64: 998F50F22BB21123 Time : 0.0 sec. user=mdettweiler [2016-10-28 05:19:52] 671*2^1444178-1 is not prime. Res64: D250C57C9A02471B Time : 0.0 sec. user=mdettweiler [2016-10-28 05:19:52] 837*2^1444178-1 is not prime. Res64: B0DE8A6F5CBCC814 Time : 0.0 sec. user=mdettweiler [2016-10-28 05:19:52] 975*2^1444179-1 is not prime. Res64: 99074D31E44888DD Time : 0.0 sec. user=mdettweiler [2016-10-28 05:24:22] 647*2^1444180-1 is not prime. Res64: B069E97E2C912615 Time : 0.0 sec. user=mdettweiler [2016-10-28 05:24:23] 723*2^1444180-1 is not prime. Res64: 014EACAE644EA74D Time : 0.0 sec. user=mdettweiler [2016-10-28 05:24:24] 933*2^1444180-1 is not prime. Res64: 4F6733117DC0EC40 Time : 0.0 sec. user=mdettweiler [2016-10-28 05:24:24] 939*2^1444180-1 is not prime. Res64: 1AC2D50A589C764E Time : 0.0 sec. user=mdettweiler [2016-10-28 05:24:25] 959*2^1444180-1 is not prime. Res64: 4D01F3CEDE98837B Time : 0.0 sec. user=mdettweiler [2016-10-28 05:36:54] 995*2^1444180-1 is not prime. Res64: F4A1C00AD2B8CFBC Time : 0.0 sec. user=mdettweiler [2016-10-28 05:36:55] 631*2^1444181-1 is not prime. Res64: A178BB59A796CCEF Time : 0.0 sec. user=mdettweiler [2016-10-28 05:36:55] 775*2^1444181-1 is not prime. Res64: 36AB40E2EC46A011 Time : 0.0 sec. user=mdettweiler [2016-10-28 05:36:55] 901*2^1444181-1 is not prime. Res64: 3AD0C8015FB09957 Time : 0.0 sec. user=mdettweiler [2016-10-28 05:36:55] 951*2^1444181-1 is not prime. Res64: A43AFA2A12AB7FBD Time : 0.0 sec. user=mdettweiler [2016-10-28 05:56:50] 651*2^1444182-1 is not prime. Res64: CE6BCBEBB1CB24DF Time : 0.0 sec. user=mdettweiler [2016-10-28 05:56:51] 731*2^1444182-1 is not prime. Res64: 7434F371531EEC2C Time : 0.0 sec. user=mdettweiler [2016-10-28 05:56:51] 765*2^1444182-1 is not prime. Res64: 6C37D1905EA0D1A9 Time : 0.0 sec. user=mdettweiler [2016-10-28 05:56:51] 777*2^1444182-1 is not prime. Res64: 752A7AC525843CBF Time : 0.0 sec. user=mdettweiler [2016-10-28 05:56:51] 807*2^1444182-1 is not prime. Res64: FEEB31FCD48314C6 Time : 0.0 sec. user=mdettweiler [2016-10-28 06:04:55] 921*2^1444182-1 is not prime. Res64: 30A2236A7C875CDB Time : 0.0 sec. user=mdettweiler [2016-10-28 06:04:58] 977*2^1444182-1 is not prime. Res64: B2F2C511217F8DF2 Time : 0.0 sec. user=mdettweiler [2016-10-28 06:05:02] 983*2^1444182-1 is not prime. Res64: B4691F0ABAB9EFEC Time : 0.0 sec. user=mdettweiler [2016-10-28 06:05:03] 763*2^1444183-1 is not prime. Res64: BCA6F5F0489676AE Time : 0.0 sec. user=mdettweiler [2016-10-28 06:05:04] 855*2^1444183-1 is not prime. Res64: 9BCAD234D4DB04FD Time : 0.0 sec. user=mdettweiler [2016-10-28 06:09:25] 919*2^1444183-1 is not prime. Res64: A18E9D0C56F03BC9 Time : 0.0 sec. user=mdettweiler [2016-10-28 06:09:29] 615*2^1444184-1 is not prime. Res64: D3DEF5601CA7F783 Time : 0.0 sec. user=mdettweiler [2016-10-28 06:09:34] 717*2^1444184-1 is not prime. Res64: CE8A603838745ED5 Time : 0.0 sec. user=mdettweiler [2016-10-28 06:09:38] 725*2^1444184-1 is not prime. Res64: 1B1E2837BDC2E74A Time : 0.0 sec. user=mdettweiler [2016-10-28 06:09:41] 753*2^1444184-1 is not prime. Res64: F3D5C4E770410605 Time : 0.0 sec. user=mdettweiler [2016-10-28 06:21:43] 803*2^1444184-1 is not prime. Res64: 04507ADF802CE959 Time : 0.0 sec. user=mdettweiler [2016-10-28 06:21:45] 899*2^1444184-1 is not prime. Res64: 0F2B661F2C99E4CE Time : 0.0 sec. user=mdettweiler [2016-10-28 06:21:45] 993*2^1444184-1 is not prime. Res64: 9360F2B1C4C1FB58 Time : 0.0 sec. user=mdettweiler [2016-10-28 06:21:46] 625*2^1444185-1 is not prime. Res64: E90EB8ECF9CED5B3 Time : 0.0 sec. user=mdettweiler [2016-10-28 06:21:46] 639*2^1444185-1 is not prime. Res64: 9000C3E914451DBD Time : 0.0 sec. user=mdettweiler [2016-10-28 06:41:41] 717*2^1444185-1 is not prime. Res64: A1CA09D3D54CADD9 Time : 0.0 sec. user=mdettweiler [2016-10-28 06:41:41] 765*2^1444185-1 is not prime. Res64: 51DAE3B7A852C488 Time : 0.0 sec. user=mdettweiler [2016-10-28 06:41:41] 819*2^1444185-1 is not prime. Res64: 7ABCD1B9C12913F2 Time : 0.0 sec. user=mdettweiler [2016-10-28 06:41:41] 985*2^1444185-1 is not prime. Res64: 90EBC67FE7239945 Time : 0.0 sec. user=mdettweiler [2016-10-28 06:41:42] 635*2^1444186-1 is not prime. Res64: E357A0DFE631A0CC Time : 0.0 sec. user=mdettweiler [2016-10-28 06:50:09] 657*2^1444186-1 is not prime. Res64: 199891E11E53BC81 Time : 0.0 sec. user=mdettweiler [2016-10-28 06:50:10] 705*2^1444186-1 is not prime. Res64: 45F6AF6D2AEF8C8D Time : 0.0 sec. user=mdettweiler [2016-10-28 06:50:10] 801*2^1444186-1 is not prime. Res64: 395377B553B1D526 Time : 0.0 sec. user=mdettweiler [2016-10-28 06:50:10] 861*2^1444186-1 is not prime. Res64: 997CDFA7FBF11CE9 Time : 0.0 sec. user=mdettweiler [2016-10-28 06:50:11] 881*2^1444186-1 is not prime. Res64: BEE900C75940F842 Time : 0.0 sec. user=mdettweiler [2016-10-28 06:55:10] 987*2^1444186-1 is not prime. Res64: 2E676C69AF17D982 Time : 0.0 sec. user=mdettweiler [2016-10-28 06:55:10] 601*2^1444187-1 is not prime. Res64: 18D85010768A107A Time : 0.0 sec. user=mdettweiler [2016-10-28 06:55:10] 663*2^1444187-1 is not prime. Res64: 42CACF6AEC5BCC06 Time : 0.0 sec. user=mdettweiler [2016-10-28 06:55:11] 781*2^1444187-1 is not prime. Res64: 7CA0E13B20A5C595 Time : 0.0 sec. user=mdettweiler [2016-10-28 06:55:11] 915*2^1444187-1 is not prime. Res64: 9BE381DF1DBDF98B Time : 0.0 sec. user=mdettweiler [2016-10-28 07:06:39] 979*2^1444187-1 is not prime. Res64: 8FE4F87DC28097A9 Time : 0.0 sec. user=mdettweiler [2016-10-28 07:06:44] 985*2^1444187-1 is not prime. Res64: 8B359756E384B518 Time : 0.0 sec. user=mdettweiler [2016-10-28 07:06:48] 993*2^1444187-1 is not prime. Res64: BDDC08D921A6C2EB Time : 0.0 sec. user=mdettweiler [2016-10-28 07:06:51] 999*2^1444187-1 is not prime. Res64: 7D65C43BB7096312 Time : 0.0 sec. user=mdettweiler [2016-10-28 07:06:54] 725*2^1444188-1 is not prime. Res64: C186E1D5BD0BBFF5 Time : 0.0 sec. user=mdettweiler [2016-10-28 07:26:34] 753*2^1444188-1 is not prime. Res64: F0EBA49A34EFCF64 Time : 0.0 sec. user=mdettweiler [2016-10-28 07:26:34] 825*2^1444188-1 is not prime. Res64: 6607714650D78AB9 Time : 0.0 sec. user=mdettweiler [2016-10-28 07:26:34] 845*2^1444188-1 is not prime. Res64: F08C2082579C43EA Time : 0.0 sec. user=mdettweiler [2016-10-28 07:26:35] 999*2^1444188-1 is not prime. Res64: 78BB2B76AC8AB3F2 Time : 0.0 sec. user=mdettweiler [2016-10-28 07:26:35] 609*2^1444189-1 is not prime. Res64: 5B31450E001E7A23 Time : 0.0 sec. user=mdettweiler [2016-10-28 07:34:59] 687*2^1444189-1 is not prime. Res64: 7D372ABF27775175 Time : 0.0 sec. user=mdettweiler [2016-10-28 07:34:59] 741*2^1444189-1 is not prime. Res64: D1B66F96C1B4520A Time : 0.0 sec. user=mdettweiler [2016-10-28 07:35:00] 801*2^1444189-1 is not prime. Res64: F443E6FB5B377890 Time : 0.0 sec. user=mdettweiler [2016-10-28 07:35:00] 829*2^1444189-1 is not prime. Res64: F17CAA1184F92667 Time : 0.0 sec. user=mdettweiler [2016-10-28 07:35:00] 987*2^1444189-1 is not prime. Res64: C38AFE170699D290 Time : 0.0 sec. user=mdettweiler [2016-10-28 07:39:54] 665*2^1444190-1 is not prime. Res64: 6B85472539C40FBB Time : 0.0 sec. user=mdettweiler [2016-10-28 07:39:54] 677*2^1444190-1 is not prime. Res64: 3C889F01A51CF416 Time : 0.0 sec. user=mdettweiler [2016-10-28 07:39:54] 711*2^1444190-1 is not prime. Res64: CF1956B6C3CB0749 Time : 0.0 sec. user=mdettweiler [2016-10-28 07:39:55] 861*2^1444190-1 is not prime. Res64: A3BC8AB0EF133E47 Time : 0.0 sec. user=mdettweiler [2016-10-28 07:39:55] 887*2^1444190-1 is not prime. Res64: 977526BBE00AB5F6 Time : 0.0 sec. user=mdettweiler [2016-10-28 07:52:16] 935*2^1444190-1 is not prime. Res64: DDAE96326068AD44 Time : 0.0 sec. user=mdettweiler [2016-10-28 07:52:16] 957*2^1444190-1 is not prime. Res64: 97DE1327F3FB8AD2 Time : 0.0 sec. user=mdettweiler [2016-10-28 07:52:16] 625*2^1444191-1 is not prime. Res64: C424A103B953225B Time : 0.0 sec. user=mdettweiler [2016-10-28 07:52:16] 741*2^1444191-1 is not prime. Res64: 7D47B88F6D5FBF87 Time : 0.0 sec. user=mdettweiler [2016-10-28 07:52:17] 781*2^1444191-1 is not prime. Res64: 04BF023C5F1CF082 Time : 0.0 sec. user=mdettweiler [2016-10-28 08:11:21] 975*2^1444191-1 is not prime. Res64: 1900CD661F31588C Time : 0.0 sec. user=mdettweiler [2016-10-28 08:11:22] 979*2^1444191-1 is not prime. Res64: 7B601A5DDA76A33C Time : 0.0 sec. user=mdettweiler [2016-10-28 08:11:22] 887*2^1444192-1 is not prime. Res64: AE0881ED0A0E3953 Time : 0.0 sec. user=mdettweiler [2016-10-28 08:11:22] 929*2^1444192-1 is not prime. Res64: 917366B7AAA17306 Time : 0.0 sec. user=mdettweiler [2016-10-28 08:11:23] 947*2^1444192-1 is not prime. Res64: 4C89DA7D21644CD8 Time : 0.0 sec. user=mdettweiler [2016-10-28 08:19:55] 983*2^1444192-1 is not prime. Res64: 31FBDEBDFF879773 Time : 0.0 sec. user=mdettweiler [2016-10-28 08:19:55] 649*2^1444193-1 is not prime. Res64: AA996F2747531DF4 Time : 0.0 sec. user=mdettweiler [2016-10-28 08:19:56] 679*2^1444193-1 is not prime. Res64: 3FD20FE8507667A1 Time : 0.0 sec. user=mdettweiler [2016-10-28 08:19:56] 691*2^1444193-1 is not prime. Res64: B5CAAB16C453A7BF Time : 0.0 sec. user=mdettweiler [2016-10-28 08:19:56] 741*2^1444193-1 is not prime. Res64: CDF1B847B815D5C7 Time : 0.0 sec. user=mdettweiler [2016-10-28 08:24:44] 769*2^1444193-1 is not prime. Res64: A6ED37B4D82B54ED Time : 0.0 sec. user=mdettweiler [2016-10-28 08:24:44] 789*2^1444193-1 is not prime. Res64: 05923D366DF844EB Time : 0.0 sec. user=mdettweiler [2016-10-28 08:24:44] 861*2^1444193-1 is not prime. Res64: A12E823B1BCF77D0 Time : 0.0 sec. user=mdettweiler [2016-10-28 08:24:45] 957*2^1444193-1 is not prime. Res64: 43D61962F2954859 Time : 0.0 sec. user=mdettweiler [2016-10-28 08:24:45] 967*2^1444193-1 is not prime. Res64: EA56997E735EE8EC Time : 0.0 sec. user=mdettweiler [2016-10-28 08:37:04] 991*2^1444193-1 is not prime. Res64: 328681C0521C215D Time : 0.0 sec. user=mdettweiler [2016-10-28 08:37:05] 627*2^1444194-1 is not prime. Res64: 2A0C335A22D782E6 Time : 0.0 sec. user=mdettweiler [2016-10-28 08:37:05] 663*2^1444194-1 is not prime. Res64: 903BD5D920B1A34C Time : 0.0 sec. user=mdettweiler [2016-10-28 08:37:05] 717*2^1444194-1 is not prime. Res64: 5343C0A9FB83A0DD Time : 0.0 sec. user=mdettweiler [2016-10-28 08:37:05] 725*2^1444194-1 is not prime. Res64: 9A0562B5E518905E Time : 0.0 sec. user=mdettweiler [2016-10-28 08:56:04] 737*2^1444194-1 is not prime. Res64: 4C85819037CB282B Time : 0.0 sec. user=mdettweiler [2016-10-28 08:56:04] 783*2^1444194-1 is not prime. Res64: 40EB103A03C3F64D Time : 0.0 sec. user=mdettweiler [2016-10-28 08:56:05] 903*2^1444194-1 is not prime. Res64: 1ADA94FEFD9FEB13 Time : 0.0 sec. user=mdettweiler [2016-10-28 08:56:05] 927*2^1444194-1 is not prime. Res64: 4C0C911E1EEE3880 Time : 0.0 sec. user=mdettweiler [2016-10-28 08:56:05] 993*2^1444194-1 is not prime. Res64: 28DB736B497EA392 Time : 0.0 sec. user=mdettweiler [2016-10-28 09:04:40] 631*2^1444195-1 is not prime. Res64: EF7CDD9E4F9E0334 Time : 0.0 sec. user=mdettweiler [2016-10-28 09:04:42] 723*2^1444195-1 is not prime. Res64: DE886F67ADAFCBA4 Time : 0.0 sec. user=mdettweiler [2016-10-28 09:04:43] 735*2^1444195-1 is not prime. Res64: 78659F79B10FA812 Time : 0.0 sec. user=mdettweiler [2016-10-28 09:04:44] 853*2^1444195-1 is not prime. Res64: 32C74565704463F6 Time : 0.0 sec. user=mdettweiler [2016-10-28 09:04:44] 883*2^1444195-1 is not prime. Res64: 9ECC86B09FFA7579 Time : 0.0 sec. user=mdettweiler [2016-10-28 09:09:30] 889*2^1444195-1 is not prime. Res64: 3A3E08DE8E054A88 Time : 0.0 sec. user=mdettweiler [2016-10-28 09:09:30] 623*2^1444196-1 is not prime. Res64: 4D588F41B7FC18A4 Time : 0.0 sec. user=mdettweiler [2016-10-28 09:09:31] 759*2^1444196-1 is not prime. Res64: CAFF7E50B8520238 Time : 0.0 sec. user=mdettweiler [2016-10-28 09:09:31] 789*2^1444196-1 is not prime. Res64: 5DD212BF6F3F53A9 Time : 0.0 sec. user=mdettweiler [2016-10-28 09:09:31] 873*2^1444196-1 is not prime. Res64: 578DB61367B2704A Time : 0.0 sec. user=mdettweiler [2016-10-28 09:21:46] 909*2^1444196-1 is not prime. Res64: 9CCA7C9247E2EF00 Time : 0.0 sec. user=mdettweiler [2016-10-28 09:21:47] 655*2^1444197-1 is not prime. Res64: 2AEF5A215B9A7394 Time : 0.0 sec. user=mdettweiler [2016-10-28 09:21:47] 669*2^1444197-1 is not prime. Res64: BEECBEB0BB34C34C Time : 0.0 sec. user=mdettweiler [2016-10-28 09:21:48] 681*2^1444197-1 is not prime. Res64: 93C2874760C8E9AB Time : 0.0 sec. user=mdettweiler [2016-10-28 09:21:49] 747*2^1444197-1 is not prime. Res64: 9D034F730639F688 Time : 0.0 sec. user=mdettweiler [2016-10-28 09:40:54] 847*2^1444197-1 is not prime. Res64: 682CF8D42C65694B Time : 0.0 sec. user=mdettweiler [2016-10-28 09:40:54] 961*2^1444197-1 is not prime. Res64: AC8009F2C290243E Time : 0.0 sec. user=mdettweiler [2016-10-28 09:40:54] 997*2^1444197-1 is not prime. Res64: 04562D9097AAC89F Time : 0.0 sec. user=mdettweiler [2016-10-28 09:40:55] 621*2^1444198-1 is not prime. Res64: DEDB6CADD014658C Time : 0.0 sec. user=mdettweiler [2016-10-28 09:40:55] 681*2^1444198-1 is not prime. Res64: 4DEC882AE9D4B8FD Time : 0.0 sec. user=mdettweiler [2016-10-28 09:49:34] 957*2^1444198-1 is not prime. Res64: 76DDE9C94D2ED12A Time : 0.0 sec. user=mdettweiler [2016-10-28 09:49:35] 661*2^1444199-1 is not prime. Res64: 4320060E5DFE07BC Time : 0.0 sec. user=mdettweiler [2016-10-28 09:49:36] 729*2^1444199-1 is not prime. Res64: 3B52387469C8F448 Time : 0.0 sec. user=mdettweiler [2016-10-28 09:49:36] 799*2^1444199-1 is not prime. Res64: 7AAE4AA7C24E27E7 Time : 0.0 sec. user=mdettweiler [2016-10-28 09:49:37] 823*2^1444199-1 is not prime. Res64: C30B5CDD63A32C27 Time : 0.0 sec. user=mdettweiler [2016-10-28 09:54:18] 859*2^1444199-1 is not prime. Res64: B3693E13ECA573CA Time : 0.0 sec. user=mdettweiler [2016-10-28 09:54:19] 895*2^1444199-1 is not prime. Res64: 308FD39D5F0C2427 Time : 0.0 sec. user=mdettweiler [2016-10-28 09:54:19] 931*2^1444199-1 is not prime. Res64: 6F3F6BBFDE059907 Time : 0.0 sec. user=mdettweiler [2016-10-28 09:54:19] 979*2^1444199-1 is not prime. Res64: 7ADF68DA2B7084F7 Time : 0.0 sec. user=mdettweiler [2016-10-28 09:54:20] 985*2^1444199-1 is not prime. Res64: DDEFEE3E7716D894 Time : 0.0 sec. user=mdettweiler [2016-10-28 10:06:38] 635*2^1444200-1 is not prime. Res64: D5038CA9E781AD8B Time : 0.0 sec. user=mdettweiler [2016-10-28 10:06:40] 689*2^1444200-1 is not prime. Res64: 21B100D9C3B53D9D Time : 0.0 sec. user=mdettweiler [2016-10-28 10:06:41] 753*2^1444200-1 is not prime. Res64: D06F00E23B888FAC Time : 0.0 sec. user=mdettweiler [2016-10-28 10:06:43] 765*2^1444200-1 is not prime. Res64: CC4DE261FA0F2430 Time : 0.0 sec. user=mdettweiler [2016-10-28 10:06:43] 777*2^1444200-1 is not prime. Res64: 0123D23710390590 Time : 0.0 sec. user=mdettweiler [2016-10-28 10:25:33] 779*2^1444200-1 is not prime. Res64: 1A7987F65B8F4F3B Time : 0.0 sec. user=mdettweiler [2016-10-28 10:25:34] 797*2^1444200-1 is not prime. Res64: 226D97E56A7704CC Time : 0.0 sec. user=mdettweiler [2016-10-28 10:25:34] 983*2^1444200-1 is not prime. Res64: F2C8D891F87164A4 Time : 0.0 sec. user=mdettweiler [2016-10-28 10:25:34] 751*2^1444201-1 is not prime. Res64: 85A674AA6E97A06F Time : 0.0 sec. user=mdettweiler [2016-10-28 10:25:34] 811*2^1444201-1 is not prime. Res64: 146EBE93287CC3B3 Time : 0.0 sec. user=mdettweiler [2016-10-28 10:34:18] 861*2^1444201-1 is not prime. Res64: FD329AE8C4810059 Time : 0.0 sec. user=mdettweiler [2016-10-28 10:34:18] 925*2^1444201-1 is not prime. Res64: 0109201D9755E55C Time : 0.0 sec. user=mdettweiler [2016-10-28 10:34:19] 623*2^1444202-1 is not prime. Res64: 0E1DECF5095EC89B Time : 0.0 sec. user=mdettweiler [2016-10-28 10:34:19] 767*2^1444202-1 is not prime. Res64: 6CDB1DD531FD3A77 Time : 0.0 sec. user=mdettweiler [2016-10-28 10:34:19] 813*2^1444202-1 is not prime. Res64: 7BD909F2129F2BF2 Time : 0.0 sec. user=mdettweiler [2016-10-28 10:38:57] 843*2^1444202-1 is not prime. Res64: C19A71261A186471 Time : 0.0 sec. user=mdettweiler [2016-10-28 10:38:57] 903*2^1444202-1 is not prime. Res64: 8D1D8061D2C36AD7 Time : 0.0 sec. user=mdettweiler [2016-10-28 10:38:57] 609*2^1444203-1 is not prime. Res64: 098989F6D901EAA7 Time : 0.0 sec. user=mdettweiler [2016-10-28 10:38:57] 685*2^1444203-1 is not prime. Res64: A0A10A0BA1E9E98B Time : 0.0 sec. user=mdettweiler [2016-10-28 10:38:57] 739*2^1444203-1 is not prime. Res64: 5F90227E9DE5ABDB Time : 0.0 sec. user=mdettweiler [2016-10-28 10:51:38] 769*2^1444203-1 is not prime. Res64: 8273DD9886F6D166 Time : 0.0 sec. user=mdettweiler [2016-10-28 10:51:38] 955*2^1444203-1 is not prime. Res64: FF8329F5658425A1 Time : 0.0 sec. user=mdettweiler [2016-10-28 10:51:38] 609*2^1444204-1 is not prime. Res64: CF9CFD10050874F6 Time : 0.0 sec. user=mdettweiler [2016-10-28 10:51:38] 705*2^1444204-1 is not prime. Res64: 8807EE6D529998FB Time : 0.0 sec. user=mdettweiler [2016-10-28 10:51:39] 717*2^1444204-1 is not prime. Res64: F8BA987CA10BAD5F Time : 0.0 sec. user=mdettweiler [2016-10-28 11:10:21] 723*2^1444204-1 is not prime. Res64: D6BC47E87457BEFA Time : 0.0 sec. user=mdettweiler [2016-10-28 11:10:21] 773*2^1444204-1 is not prime. Res64: 80300A2EACA557BB Time : 0.0 sec. user=mdettweiler [2016-10-28 11:10:21] 813*2^1444204-1 is not prime. Res64: 5BD7B7C4B6BD1D2A Time : 0.0 sec. user=mdettweiler [2016-10-28 11:10:22] 903*2^1444204-1 is not prime. Res64: 71C49E5758D199C5 Time : 0.0 sec. user=mdettweiler [2016-10-28 11:10:22] 909*2^1444204-1 is not prime. Res64: 0736266575495704 Time : 0.0 sec. user=mdettweiler [2016-10-28 11:19:08] 697*2^1444205-1 is not prime. Res64: ABB38FC728DFF06A Time : 0.0 sec. user=mdettweiler [2016-10-28 11:19:09] 721*2^1444205-1 is not prime. Res64: A00ACC498B5C1414 Time : 0.0 sec. user=mdettweiler [2016-10-28 11:19:10] 735*2^1444205-1 is not prime. Res64: 796846BBABD5B6EB Time : 0.0 sec. user=mdettweiler [2016-10-28 11:19:10] 741*2^1444205-1 is not prime. Res64: 56F1FED352652A6F Time : 0.0 sec. user=mdettweiler [2016-10-28 11:19:11] 781*2^1444205-1 is not prime. Res64: EB28D43C9E5B1797 Time : 0.0 sec. user=mdettweiler [2016-10-28 11:23:49] 861*2^1444205-1 is not prime. Res64: 3F95AF06C38B0E75 Time : 0.0 sec. user=mdettweiler [2016-10-28 11:23:49] 871*2^1444205-1 is not prime. Res64: A997A3811E6A077E Time : 0.0 sec. user=mdettweiler [2016-10-28 11:23:49] 955*2^1444205-1 is not prime. Res64: E2340E6E83F67D60 Time : 0.0 sec. user=mdettweiler [2016-10-28 11:23:50] 647*2^1444206-1 is not prime. Res64: C4718991E85DB905 Time : 0.0 sec. user=mdettweiler [2016-10-28 11:23:50] 677*2^1444206-1 is not prime. Res64: 22306A4F2696B077 Time : 0.0 sec. user=mdettweiler [2016-10-28 11:36:39] 765*2^1444206-1 is not prime. Res64: D7FA4EF176550C27 Time : 0.0 sec. user=mdettweiler [2016-10-28 11:36:40] 887*2^1444206-1 is not prime. Res64: 20D62E33278C07E9 Time : 0.0 sec. user=mdettweiler [2016-10-28 11:36:40] 609*2^1444207-1 is not prime. Res64: A4310AA60F408263 Time : 0.0 sec. user=mdettweiler [2016-10-28 11:36:40] 729*2^1444207-1 is not prime. Res64: C701B8C73A4487DA Time : 0.0 sec. user=mdettweiler [2016-10-28 11:36:40] 741*2^1444207-1 is not prime. Res64: 226013D31A40D96B Time : 0.0 sec. user=mdettweiler [2016-10-28 11:55:26] 751*2^1444207-1 is not prime. Res64: 9A1C8C685B5642E9 Time : 0.0 sec. user=mdettweiler [2016-10-28 11:55:26] 765*2^1444207-1 is not prime. Res64: A37596B66CE705EB Time : 0.0 sec. user=mdettweiler [2016-10-28 11:55:26] 859*2^1444207-1 is not prime. Res64: CE24FA0DD37FDF4F Time : 0.0 sec. user=mdettweiler [2016-10-28 11:55:27] 895*2^1444207-1 is not prime. Res64: 6AC95EB2D277B3B8 Time : 0.0 sec. user=mdettweiler [2016-10-28 11:55:27] 909*2^1444207-1 is not prime. Res64: CF109F14CE72FE08 Time : 0.0 sec. user=mdettweiler [2016-10-28 12:04:05] 603*2^1444208-1 is not prime. Res64: BCCBD95C1F1AEA3F Time : 0.0 sec. user=mdettweiler [2016-10-28 12:04:06] 755*2^1444208-1 is not prime. Res64: C3A322E1144B40CC Time : 0.0 sec. user=mdettweiler [2016-10-28 12:04:08] 929*2^1444208-1 is not prime. Res64: 8AC287FBA78568EF Time : 0.0 sec. user=mdettweiler [2016-10-28 12:04:09] 681*2^1444209-1 is not prime. Res64: 07132F659E921BAB Time : 0.0 sec. user=mdettweiler [2016-10-28 12:04:10] 759*2^1444209-1 is not prime. Res64: 9FE666BA53C1D576 Time : 0.0 sec. user=mdettweiler [2016-10-28 12:08:42] 829*2^1444209-1 is not prime. Res64: F3AD5D0DDA73DFBC Time : 0.0 sec. user=mdettweiler [2016-10-28 12:08:42] 867*2^1444209-1 is not prime. Res64: 4E75A98F6F9501FD Time : 0.0 sec. user=mdettweiler [2016-10-28 12:08:42] 611*2^1444210-1 is not prime. Res64: 7BFF0C96422644AA Time : 0.0 sec. user=mdettweiler [2016-10-28 12:08:42] 647*2^1444210-1 is not prime. Res64: 78A927875BEA0C3C Time : 0.0 sec. user=mdettweiler [2016-10-28 12:08:43] 651*2^1444210-1 is not prime. Res64: 008157DE90CE75A8 Time : 0.0 sec. user=mdettweiler [2016-10-28 12:21:30] 701*2^1444210-1 is not prime. Res64: E4D682A21718BA3D Time : 0.0 sec. user=mdettweiler [2016-10-28 12:21:30] 777*2^1444210-1 is not prime. Res64: 36D0C67B06A4194F Time : 0.0 sec. user=mdettweiler [2016-10-28 12:21:31] 791*2^1444210-1 is not prime. Res64: 7231C74CED852F57 Time : 0.0 sec. user=mdettweiler [2016-10-28 12:21:32] 923*2^1444210-1 is not prime. Res64: A01CBF71708883CB Time : 0.0 sec. user=mdettweiler [2016-10-28 12:21:33] 951*2^1444210-1 is not prime. Res64: 9C655AB4F2091C69 Time : 0.0 sec. user=mdettweiler [2016-10-28 12:40:19] 601*2^1444211-1 is not prime. Res64: 53E9BF84C335EF97 Time : 0.0 sec. user=mdettweiler [2016-10-28 12:40:19] 813*2^1444211-1 is not prime. Res64: 5F2B428E656516FA Time : 0.0 sec. user=mdettweiler [2016-10-28 12:40:20] 623*2^1444212-1 is not prime. Res64: 28251FBD98AC87B0 Time : 0.0 sec. user=mdettweiler [2016-10-28 12:40:20] 657*2^1444212-1 is not prime. Res64: F618AF341AA58A1C Time : 0.0 sec. user=mdettweiler [2016-10-28 12:40:20] 699*2^1444212-1 is not prime. Res64: 97F911D6F708226B Time : 0.0 sec. user=mdettweiler [2016-10-28 12:48:57] 803*2^1444212-1 is not prime. Res64: 4662102E170FF28F Time : 0.0 sec. user=mdettweiler [2016-10-28 12:48:58] 863*2^1444212-1 is not prime. Res64: 28D77852B81F9625 Time : 0.0 sec. user=mdettweiler [2016-10-28 12:48:58] 625*2^1444213-1 is not prime. Res64: 48562254079EA844 Time : 0.0 sec. user=mdettweiler [2016-10-28 12:48:58] 651*2^1444213-1 is not prime. Res64: B816D6EEE907AE4F Time : 0.0 sec. user=mdettweiler [2016-10-28 12:48:59] 687*2^1444213-1 is not prime. Res64: 4D30BB2EAA1864D9 Time : 0.0 sec. user=mdettweiler [2016-10-28 12:53:28] 745*2^1444213-1 is not prime. Res64: 2B35BBF431BE91FA Time : 0.0 sec. user=mdettweiler [2016-10-28 12:53:30] 849*2^1444213-1 is not prime. Res64: 82AFB128102571F2 Time : 0.0 sec. user=mdettweiler [2016-10-28 12:53:31] 855*2^1444213-1 is not prime. Res64: DE2D77D8CBD8194B Time : 0.0 sec. user=mdettweiler [2016-10-28 12:53:31] 859*2^1444213-1 is not prime. Res64: 90121D710F42E60C Time : 0.0 sec. user=mdettweiler [2016-10-28 12:53:32] 897*2^1444213-1 is not prime. Res64: 4AF5BA4CC2C00A1D Time : 0.0 sec. user=mdettweiler [2016-10-28 13:07:20] 665*2^1444214-1 is not prime. Res64: F925D0CCDB0A47E9 Time : 0.0 sec. user=mdettweiler [2016-10-28 13:07:21] 671*2^1444214-1 is not prime. Res64: E8D7187EB00F71AB Time : 0.0 sec. user=mdettweiler [2016-10-28 13:07:23] 705*2^1444214-1 is not prime. Res64: 724DC10B424D93AE Time : 0.0 sec. user=mdettweiler [2016-10-28 13:07:23] 717*2^1444214-1 is not prime. Res64: AAA2EFC63B719081 Time : 0.0 sec. user=mdettweiler [2016-10-28 13:07:24] 743*2^1444214-1 is not prime. Res64: 774B93F7811F045E Time : 0.0 sec. user=mdettweiler [2016-10-28 13:26:18] 815*2^1444214-1 is not prime. Res64: DB5146354C8606F8 Time : 0.0 sec. user=mdettweiler [2016-10-28 13:26:24] 851*2^1444214-1 is not prime. Res64: B8D899D8AAA839EC Time : 0.0 sec. user=mdettweiler [2016-10-28 13:34:54] 723*2^1444215-1 is not prime. Res64: DD554F176BFB0D5C Time : 0.0 sec. user=mdettweiler [2016-10-28 13:34:55] 751*2^1444215-1 is not prime. Res64: 8FA267ED6265DB2C Time : 0.0 sec. user=mdettweiler [2016-10-28 13:34:55] 789*2^1444215-1 is not prime. Res64: 17E9EF2CCF78300F Time : 0.0 sec. user=mdettweiler [2016-10-28 13:34:55] 861*2^1444215-1 is not prime. Res64: B81E12C0D1AD66D0 Time : 0.0 sec. user=mdettweiler [2016-10-28 13:34:55] 999*2^1444215-1 is not prime. Res64: D2CD81E24449BD68 Time : 0.0 sec. user=mdettweiler [2016-10-28 13:39:29] 639*2^1444216-1 is not prime. Res64: 042319CD71AEAF2A Time : 0.0 sec. user=mdettweiler [2016-10-28 13:39:30] 645*2^1444216-1 is not prime. Res64: B2A9B192BBB08147 Time : 0.0 sec. user=mdettweiler [2016-10-28 13:39:30] 693*2^1444216-1 is not prime. Res64: 38917061B7C582AC Time : 0.0 sec. user=mdettweiler [2016-10-28 13:39:30] 705*2^1444216-1 is not prime. Res64: 07AF78669D44D5C1 Time : 0.0 sec. user=mdettweiler [2016-10-28 13:39:30] 719*2^1444216-1 is not prime. Res64: 0C2DC89D32AEF8E2 Time : 0.0 sec. user=mdettweiler [2016-10-28 13:52:43] 833*2^1444216-1 is not prime. Res64: 30F5C94BA5CEC9CF Time : 0.0 sec. user=mdettweiler [2016-10-28 13:52:43] 873*2^1444216-1 is not prime. Res64: 52CCCF5E8039B7E9 Time : 0.0 sec. user=mdettweiler [2016-10-28 13:52:43] 675*2^1444217-1 is not prime. Res64: 28969195456D2942 Time : 0.0 sec. user=mdettweiler [2016-10-28 13:52:43] 699*2^1444217-1 is not prime. Res64: A3A4604514136D45 Time : 0.0 sec. user=mdettweiler [2016-10-28 13:52:43] 747*2^1444217-1 is not prime. Res64: B640F2DF34C38259 Time : 0.0 sec. user=mdettweiler [2016-10-28 14:20:31] 841*2^1444217-1 is not prime. Res64: E59DBB101AEC44E5 Time : 0.0 sec. user=mdettweiler [2016-10-28 14:20:31] 889*2^1444217-1 is not prime. Res64: 7C073D920A6DDD77 Time : 0.0 sec. user=mdettweiler [2016-10-28 14:20:31] 633*2^1444218-1 is not prime. Res64: 2491DECFF61DE8D3 Time : 0.0 sec. user=mdettweiler [2016-10-28 14:20:32] 803*2^1444218-1 is not prime. Res64: 6E8AFF4BA63BCB0E Time : 0.0 sec. user=mdettweiler [2016-10-28 14:20:32] 887*2^1444218-1 is not prime. Res64: 91810C7E2842A6A9 Time : 0.0 sec. user=mdettweiler [2016-10-28 14:24:43] 609*2^1444219-1 is not prime. Res64: 0E9A2C33A9A8A239 Time : 0.0 sec. user=mdettweiler [2016-10-28 14:24:43] 649*2^1444219-1 is not prime. Res64: 518F6E118378A5E1 Time : 0.0 sec. user=mdettweiler [2016-10-28 14:24:44] 709*2^1444219-1 is not prime. Res64: 3D063C472580F733 Time : 0.0 sec. user=mdettweiler [2016-10-28 14:24:44] 759*2^1444219-1 is not prime. Res64: C392B939AC3D681A Time : 0.0 sec. user=mdettweiler [2016-10-28 14:24:44] 919*2^1444219-1 is not prime. Res64: 837C45CA24E5C07B Time : 0.0 sec. user=mdettweiler [2016-10-28 14:38:13] 961*2^1444219-1 is not prime. Res64: 526ADBDD1CD48613 Time : 0.0 sec. user=mdettweiler [2016-10-28 14:38:14] 647*2^1444220-1 is not prime. Res64: 7E145A0659DBEAB1 Time : 0.0 sec. user=mdettweiler [2016-10-28 14:38:14] 707*2^1444220-1 is not prime. Res64: 19B5B6C4EB6BECD8 Time : 0.0 sec. user=mdettweiler [2016-10-28 14:38:14] 773*2^1444220-1 is not prime. Res64: 90A218785A29076B Time : 0.0 sec. user=mdettweiler [2016-10-28 14:38:14] 827*2^1444220-1 is not prime. Res64: 1E13A4193E6FCD7E Time : 0.0 sec. user=mdettweiler [2016-10-28 15:06:11] 855*2^1444220-1 is not prime. Res64: E8BB0FE89CC7022F Time : 0.0 sec. user=mdettweiler [2016-10-28 15:06:14] 915*2^1444220-1 is not prime. Res64: B5EC335108AB045C Time : 0.0 sec. user=mdettweiler [2016-10-28 15:06:16] 927*2^1444220-1 is not prime. Res64: DFFC21681A622670 Time : 0.0 sec. user=mdettweiler [2016-10-28 15:06:17] 661*2^1444221-1 is not prime. Res64: DB348E6A409B37B9 Time : 0.0 sec. user=mdettweiler [2016-10-28 15:06:19] 829*2^1444221-1 is not prime. Res64: FB853C49C5570035 Time : 0.0 sec. user=mdettweiler [2016-10-28 15:10:13] 859*2^1444221-1 is not prime. Res64: B2272EEF82DC3F0F Time : 0.0 sec. user=mdettweiler [2016-10-28 15:10:18] 861*2^1444221-1 is not prime. Res64: 85280FBDAA9C7D58 Time : 0.0 sec. user=mdettweiler [2016-10-28 15:10:22] 885*2^1444221-1 is not prime. Res64: 782388A0FD5D9F3E Time : 0.0 sec. user=mdettweiler [2016-10-28 15:10:31] 895*2^1444221-1 is not prime. Res64: E545693E14A9FDF6 Time : 0.0 sec. user=mdettweiler [2016-10-28 15:24:23] 611*2^1444222-1 is not prime. Res64: 6696408D1DC30802 Time : 0.0 sec. user=mdettweiler [2016-10-28 15:24:24] 671*2^1444222-1 is not prime. Res64: 2E31482202687F5D Time : 0.0 sec. user=mdettweiler [2016-10-28 15:24:24] 713*2^1444222-1 is not prime. Res64: 546DAF89BBE8396F Time : 0.0 sec. user=mdettweiler [2016-10-28 15:24:24] 785*2^1444222-1 is not prime. Res64: E4DDE6A8652DA0E8 Time : 0.0 sec. user=mdettweiler [2016-10-28 15:24:25] 843*2^1444222-1 is not prime. Res64: ADE4747C3AB61DA6 Time : 0.0 sec. user=mdettweiler [2016-10-28 15:54:32] 685*2^1444223-1 is not prime. Res64: 38FDFBCF03772B09 Time : 0.0 sec. user=mdettweiler [2016-10-28 15:54:32] 705*2^1444223-1 is not prime. Res64: DD455E800637BCEF Time : 0.0 sec. user=mdettweiler [2016-10-28 15:54:32] 753*2^1444223-1 is not prime. Res64: 3C6638B9727AA835 Time : 0.0 sec. user=mdettweiler [2016-10-28 15:54:32] 859*2^1444223-1 is not prime. Res64: E93815B12DD8F295 Time : 0.0 sec. user=mdettweiler [2016-10-28 15:54:33] 861*2^1444223-1 is not prime. Res64: 2F120E3AEC83D605 Time : 0.0 sec. user=mdettweiler [2016-10-28 16:12:57] 889*2^1444223-1 is not prime. Res64: 9AD801BCB4913D9C Time : 0.0 sec. user=mdettweiler [2016-10-28 16:12:57] 985*2^1444223-1 is not prime. Res64: 21501D63735A89DC Time : 0.0 sec. user=mdettweiler [2016-10-28 16:12:58] 991*2^1444223-1 is not prime. Res64: 6C282B071C3A2767 Time : 0.0 sec. user=mdettweiler [2016-10-28 16:12:58] 803*2^1444224-1 is not prime. Res64: BBBD0D62250388FA Time : 0.0 sec. user=mdettweiler [2016-10-28 16:12:59] 947*2^1444224-1 is not prime. Res64: F7779453B1E6229F Time : 0.0 sec. user=mdettweiler [2016-10-28 16:32:58] 941*2^1444214-1 is not prime. Res64: DF6EC0AD1E023E10 Time : 0.0 sec. user=mdettweiler [2016-10-28 16:32:58] 951*2^1444214-1 is not prime. Res64: 1F6A1DE7CC0B0566 Time : 0.0 sec. user=mdettweiler [2016-10-28 16:32:58] 711*2^1444215-1 is not prime. Res64: 1FAA5F39E5CE991D Time : 0.0 sec. user=mdettweiler [2016-10-28 16:41:40] 817*2^1444225-1 is not prime. Res64: 6187BDFC4D8BAE4C Time : 0.0 sec. user=mdettweiler [2016-10-28 16:41:40] 937*2^1444225-1 is not prime. Res64: 7259934384CCBA8D Time : 0.0 sec. user=mdettweiler [2016-10-28 16:41:40] 623*2^1444226-1 is not prime. Res64: C689D4D951FE2B97 Time : 0.0 sec. user=mdettweiler [2016-10-28 16:41:40] 713*2^1444226-1 is not prime. Res64: DB8D0D5F13F88B46 Time : 0.0 sec. user=mdettweiler [2016-10-28 16:41:41] 767*2^1444226-1 is not prime. Res64: A47D5B98AB8B2DF4 Time : 0.0 sec. user=mdettweiler [2016-10-28 16:59:39] 957*2^1444226-1 is not prime. Res64: 6AE1A911966023BD Time : 0.0 sec. user=mdettweiler [2016-10-28 16:59:39] 963*2^1444226-1 is not prime. Res64: E38D699D094360AF Time : 0.0 sec. user=mdettweiler [2016-10-28 16:59:39] 619*2^1444227-1 is not prime. Res64: 747F65202C8D5038 Time : 0.0 sec. user=mdettweiler [2016-10-28 16:59:39] 891*2^1444227-1 is not prime. Res64: 14755D85DD45D6D6 Time : 0.0 sec. user=mdettweiler [2016-10-28 16:59:40] 931*2^1444227-1 is not prime. Res64: 573FEB3541D6D628 Time : 0.0 sec. user=mdettweiler [2016-10-28 17:18:28] 951*2^1444227-1 is not prime. Res64: 777A2A5B6DE5315A Time : 0.0 sec. user=mdettweiler [2016-10-28 17:18:29] 955*2^1444227-1 is not prime. Res64: 040B23B4EFC8DE2A Time : 0.0 sec. user=mdettweiler [2016-10-28 17:18:29] 689*2^1444228-1 is not prime. Res64: F0E1E841B7830741 Time : 0.0 sec. user=mdettweiler [2016-10-28 17:18:30] 705*2^1444228-1 is not prime. Res64: 14D4637EA367705E Time : 0.0 sec. user=mdettweiler [2016-10-28 17:18:30] 797*2^1444228-1 is not prime. Res64: 7A0B334B902D2F64 Time : 0.0 sec. user=mdettweiler [2016-10-28 17:27:00] 947*2^1444228-1 is not prime. Res64: 3F5BC433E6A9B823 Time : 0.0 sec. user=mdettweiler [2016-10-28 17:27:00] 959*2^1444228-1 is not prime. Res64: 214EEC2138E3E9B5 Time : 0.0 sec. user=mdettweiler [2016-10-28 17:27:00] 631*2^1444229-1 is not prime. Res64: 0A6CA265A5B1D059 Time : 0.0 sec. user=mdettweiler [2016-10-28 17:27:01] 649*2^1444229-1 is not prime. Res64: 509CE62D001B0D6A Time : 0.0 sec. user=mdettweiler [2016-10-28 17:27:01] 759*2^1444229-1 is not prime. Res64: 6C7E736381D0FDEE Time : 0.0 sec. user=mdettweiler [2016-10-28 17:45:04] 771*2^1444229-1 is not prime. Res64: CBF47617BBD38909 Time : 0.0 sec. user=mdettweiler [2016-10-28 17:45:04] 799*2^1444229-1 is not prime. Res64: EE8361028650FFB5 Time : 0.0 sec. user=mdettweiler [2016-10-28 17:45:04] 829*2^1444229-1 is not prime. Res64: 296910DDD88A7D7E Time : 0.0 sec. user=mdettweiler [2016-10-28 17:45:04] 611*2^1444230-1 is not prime. Res64: 36E14DE6CF050984 Time : 0.0 sec. user=mdettweiler [2016-10-28 17:45:05] 627*2^1444230-1 is not prime. Res64: 8E718C9EA4335C6F Time : 0.0 sec. user=mdettweiler [2016-10-28 18:04:01] 717*2^1444230-1 is not prime. Res64: 2D87511B3ACCE121 Time : 0.0 sec. user=mdettweiler [2016-10-28 18:04:02] 777*2^1444230-1 is not prime. Res64: 7AEEACB95F2727C0 Time : 0.0 sec. user=mdettweiler [2016-10-28 18:04:02] 791*2^1444230-1 is not prime. Res64: 45EA64B9657E0953 Time : 0.0 sec. user=mdettweiler [2016-10-28 18:04:03] 833*2^1444230-1 is not prime. Res64: CB159566EBB39FAD Time : 0.0 sec. user=mdettweiler [2016-10-28 18:04:04] 851*2^1444230-1 is not prime. Res64: 6DCAB5550D62CFA4 Time : 0.0 sec. user=mdettweiler [2016-10-28 18:12:26] 893*2^1444230-1 is not prime. Res64: 0D3CD9AD091CBFCE Time : 0.0 sec. user=mdettweiler [2016-10-28 18:12:26] 651*2^1444231-1 is not prime. Res64: F02085547C7FCEAC Time : 0.0 sec. user=mdettweiler [2016-10-28 18:12:27] 681*2^1444231-1 is not prime. Res64: 6B8DC9D24506C47B Time : 0.0 sec. user=mdettweiler [2016-10-28 18:12:27] 771*2^1444231-1 is not prime. Res64: F2C4816FD10CEBD7 Time : 0.0 sec. user=mdettweiler [2016-10-28 18:12:27] 861*2^1444231-1 is not prime. Res64: AFF0B6F08796A16A Time : 0.0 sec. user=mdettweiler [2016-10-28 18:30:25] 873*2^1444231-1 is not prime. Res64: 7C8B96542931DA2B Time : 0.0 sec. user=mdettweiler [2016-10-28 18:30:25] 891*2^1444231-1 is not prime. Res64: 67ED4CDE0E4BA8AC Time : 0.0 sec. user=mdettweiler [2016-10-28 18:30:25] 939*2^1444231-1 is not prime. Res64: FBDDE3CB0EB04D14 Time : 0.0 sec. user=mdettweiler [2016-10-28 18:30:25] 993*2^1444231-1 is not prime. Res64: 5BC660CA40E6C46A Time : 0.0 sec. user=mdettweiler [2016-10-28 18:30:26] 605*2^1444232-1 is not prime. Res64: 91FF01298A09891D Time : 0.0 sec. user=mdettweiler [2016-10-28 18:30:35] 961*2^1444221-1 is not prime. Res64: 0285D4BFADE6A246 Time : 0.0 sec. user=mdettweiler [2016-10-28 18:49:15] 629*2^1444232-1 is not prime. Res64: 54FA5AA70945FC3E Time : 0.0 sec. user=mdettweiler [2016-10-28 18:49:15] 669*2^1444232-1 is not prime. Res64: CA8B535D57222AA3 Time : 0.0 sec. user=mdettweiler [2016-10-28 18:49:16] 735*2^1444232-1 is not prime. Res64: 9A243566CCECE79B Time : 0.0 sec. user=mdettweiler [2016-10-28 18:49:16] 767*2^1444232-1 is not prime. Res64: 712CCB5D09404299 Time : 0.0 sec. user=mdettweiler [2016-10-28 18:49:16] 875*2^1444232-1 is not prime. Res64: 580DD127948DE070 Time : 0.0 sec. user=mdettweiler [2016-10-28 18:57:30] 609*2^1444233-1 is not prime. Res64: C698D21D667341C8 Time : 0.0 sec. user=mdettweiler [2016-10-28 18:57:30] 637*2^1444233-1 is not prime. Res64: 66E95EAD524E7BED Time : 0.0 sec. user=mdettweiler [2016-10-28 18:57:31] 649*2^1444233-1 is not prime. Res64: E43D50C215CB524C Time : 0.0 sec. user=mdettweiler [2016-10-28 18:57:31] 691*2^1444233-1 is not prime. Res64: 25CFD08F57ED14E5 Time : 0.0 sec. user=mdettweiler [2016-10-28 18:57:31] 705*2^1444233-1 is not prime. Res64: B7611B459B3268BF Time : 0.0 sec. user=mdettweiler [2016-10-28 19:15:05] 727*2^1444233-1 is not prime. Res64: 2A6E91B26314E641 Time : 0.0 sec. user=mdettweiler [2016-10-28 19:15:05] 745*2^1444233-1 is not prime. Res64: 53EE99D93DBE56A5 Time : 0.0 sec. user=mdettweiler [2016-10-28 19:15:06] 849*2^1444233-1 is not prime. Res64: 6F3700EE6D60040C Time : 0.0 sec. user=mdettweiler [2016-10-28 19:15:06] 871*2^1444233-1 is not prime. Res64: FFA65FA77F11E79F Time : 0.0 sec. user=mdettweiler [2016-10-28 19:15:07] 921*2^1444233-1 is not prime. Res64: B1CA43BB529C7B8F Time : 0.0 sec. user=mdettweiler [2016-10-28 19:15:08] 635*2^1444234-1 is not prime. Res64: 24F70B7B288431C2 Time : 0.0 sec. user=mdettweiler [2016-10-28 19:15:08] 651*2^1444234-1 is not prime. Res64: D13E0585F28A0383 Time : 0.0 sec. user=mdettweiler [2016-10-28 19:15:09] 681*2^1444234-1 is not prime. Res64: 435CDE7BD612C98D Time : 0.0 sec. user=mdettweiler [2016-10-28 19:15:10] 687*2^1444234-1 is not prime. Res64: EE548625B425A95A Time : 0.0 sec. user=mdettweiler [2016-10-28 19:15:11] 765*2^1444234-1 is not prime. Res64: 45CB1DA321585EC3 Time : 0.0 sec. user=mdettweiler [2016-10-28 19:35:55] 619*2^1444235-1 is not prime. Res64: 2EF3CE3595FA60D4 Time : 0.0 sec. user=mdettweiler [2016-10-28 19:35:55] 645*2^1444235-1 is not prime. Res64: 3A60DC9C80082BBB Time : 0.0 sec. user=mdettweiler [2016-10-28 19:35:55] 783*2^1444235-1 is not prime. Res64: 6307A464A6EBA8C3 Time : 0.0 sec. user=mdettweiler [2016-10-28 19:35:56] 979*2^1444235-1 is not prime. Res64: DD02EB0E4179097C Time : 0.0 sec. user=mdettweiler [2016-10-28 19:35:56] 981*2^1444235-1 is not prime. Res64: 77FF282395753DE5 Time : 0.0 sec. user=mdettweiler [2016-10-28 19:44:18] 629*2^1444236-1 is not prime. Res64: 57BA394BE1D51C89 Time : 0.0 sec. user=mdettweiler [2016-10-28 19:44:18] 639*2^1444236-1 is not prime. Res64: 9D127B846F854A73 Time : 0.0 sec. user=mdettweiler [2016-10-28 19:44:18] 693*2^1444236-1 is not prime. Res64: F0FC386447BAFC30 Time : 0.0 sec. user=mdettweiler [2016-10-28 19:44:18] 705*2^1444236-1 is not prime. Res64: 643689F44071DEF7 Time : 0.0 sec. user=mdettweiler [2016-10-28 19:44:19] 945*2^1444236-1 is not prime. Res64: 6FEE8DA09867A711 Time : 0.0 sec. user=mdettweiler [2016-10-28 20:01:58] 993*2^1444236-1 is not prime. Res64: ED8AF6DFA3EC3970 Time : 0.0 sec. user=mdettweiler [2016-10-28 20:01:59] 625*2^1444237-1 is not prime. Res64: 60E04DCA6869CAC7 Time : 0.0 sec. user=mdettweiler [2016-10-28 20:02:01] 715*2^1444237-1 is not prime. Res64: CA9F0B0FC5FA7F15 Time : 0.0 sec. user=mdettweiler [2016-10-28 20:02:02] 957*2^1444237-1 is not prime. Res64: 4CF4316E075737DB Time : 0.0 sec. user=mdettweiler [2016-10-28 20:02:04] 603*2^1444238-1 is not prime. Res64: EA688F459C06BB0C Time : 0.0 sec. user=mdettweiler [2016-10-28 20:02:06] 967*2^1444237-1 is not prime. Res64: 987B27322F709DFE Time : 0.0 sec. user=mdettweiler [2016-10-28 20:02:08] 857*2^1444238-1 is not prime. Res64: 61FCF435E7F759E4 Time : 0.0 sec. user=mdettweiler [2016-10-28 20:02:11] 741*2^1444239-1 is not prime. Res64: 894746D31DA07B3D Time : 0.0 sec. user=mdettweiler [2016-10-28 20:02:16] 829*2^1444239-1 is not prime. Res64: 553BF78E1BCB8784 Time : 0.0 sec. user=mdettweiler [2016-10-28 20:02:22] 831*2^1444239-1 is not prime. Res64: FBBCB3A5F343938C Time : 0.0 sec. user=mdettweiler [2016-10-28 20:20:56] 975*2^1444239-1 is not prime. Res64: A896FCE24C49062D Time : 0.0 sec. user=mdettweiler [2016-10-28 20:20:57] 985*2^1444239-1 is not prime. Res64: 781A088BAB0A2E3C Time : 0.0 sec. user=mdettweiler [2016-10-28 20:20:57] 999*2^1444239-1 is not prime. Res64: 429CD0543019C95F Time : 0.0 sec. user=mdettweiler [2016-10-28 20:20:57] 609*2^1444240-1 is not prime. Res64: 473EE0A19C7A01DD Time : 0.0 sec. user=mdettweiler [2016-10-28 20:20:58] 665*2^1444240-1 is not prime. Res64: EF50F197D3492799 Time : 0.0 sec. user=mdettweiler [2016-10-28 20:29:17] 719*2^1444240-1 is not prime. Res64: 68D8CBAD6972C129 Time : 0.0 sec. user=mdettweiler [2016-10-28 20:29:24] 875*2^1444240-1 is not prime. Res64: 1C16D1191F8EF012 Time : 0.0 sec. user=mdettweiler [2016-10-28 20:29:24] 899*2^1444240-1 is not prime. Res64: 286794791E0A3DD0 Time : 0.0 sec. user=mdettweiler [2016-10-28 20:29:25] 615*2^1444241-1 is not prime. Res64: 5980B6022EEF8EE4 Time : 0.0 sec. user=mdettweiler [2016-10-28 20:29:26] 649*2^1444241-1 is not prime. Res64: CAD6132DB6A177CB Time : 0.0 sec. user=mdettweiler [2016-10-28 20:47:19] 819*2^1444241-1 is not prime. Res64: C4CB540EA251F87A Time : 0.0 sec. user=mdettweiler [2016-10-28 20:47:19] 829*2^1444241-1 is not prime. Res64: 9AA8A8B06E39CF19 Time : 0.0 sec. user=mdettweiler [2016-10-28 20:47:19] 889*2^1444241-1 is not prime. Res64: EB2267C17377A4BC Time : 0.0 sec. user=mdettweiler [2016-10-28 20:47:20] 909*2^1444241-1 is not prime. Res64: 8FBA3914AF4EC4BB Time : 0.0 sec. user=mdettweiler [2016-10-28 20:47:20] 705*2^1444242-1 is not prime. Res64: 4C35C8D1E004F987 Time : 0.0 sec. user=mdettweiler [2016-10-28 20:47:27] 737*2^1444242-1 is not prime. Res64: C4AF10F3D580BF49 Time : 0.0 sec. user=mdettweiler [2016-10-28 20:47:27] 619*2^1444243-1 is not prime. Res64: 28C5875D4250A0FB Time : 0.0 sec. user=mdettweiler [2016-10-28 20:47:27] 673*2^1444243-1 is not prime. Res64: ADEE1A19D4062217 Time : 0.0 sec. user=mdettweiler [2016-10-28 20:47:30] 675*2^1444243-1 is not prime. Res64: F589719EF44FE47D Time : 0.0 sec. user=mdettweiler [2016-10-28 20:47:31] 709*2^1444243-1 is not prime. Res64: F2E2B928FAF0C4AA Time : 0.0 sec. user=mdettweiler [2016-10-28 21:05:51] 751*2^1444243-1 is not prime. Res64: 37CBB70F9D5600D0 Time : 0.0 sec. user=mdettweiler [2016-10-28 21:05:54] 783*2^1444243-1 is not prime. Res64: 449F88A2A28FA501 Time : 0.0 sec. user=mdettweiler [2016-10-28 21:05:55] 789*2^1444243-1 is not prime. Res64: 8A0CEC58C0D44C47 Time : 0.0 sec. user=mdettweiler [2016-10-28 21:05:56] 829*2^1444243-1 is not prime. Res64: 026B4E8794869DEC Time : 0.0 sec. user=mdettweiler [2016-10-28 21:05:58] 891*2^1444243-1 is not prime. Res64: 94F0B125F91F2ABB Time : 0.0 sec. user=mdettweiler [2016-10-28 21:14:30] 895*2^1444243-1 is not prime. Res64: 6C49C41B718C1278 Time : 0.0 sec. user=mdettweiler [2016-10-28 21:14:31] 609*2^1444244-1 is not prime. Res64: 3B6F317755F09089 Time : 0.0 sec. user=mdettweiler [2016-10-28 21:14:31] 635*2^1444244-1 is not prime. Res64: 3767D44C7AF25568 Time : 0.0 sec. user=mdettweiler [2016-10-28 21:14:33] 675*2^1444244-1 is not prime. Res64: 0B9065650972F95A Time : 0.0 sec. user=mdettweiler [2016-10-28 21:14:34] 689*2^1444244-1 is not prime. Res64: 1488A837E7700B67 Time : 0.0 sec. user=mdettweiler [2016-10-28 21:32:22] 785*2^1444244-1 is not prime. Res64: 413E18D613B168A2 Time : 0.0 sec. user=mdettweiler [2016-10-28 21:32:22] 855*2^1444244-1 is not prime. Res64: 6B3FE0B3E99EBAB3 Time : 0.0 sec. user=mdettweiler [2016-10-28 21:32:22] 893*2^1444244-1 is not prime. Res64: 511B7AC32C6B7EF4 Time : 0.0 sec. user=mdettweiler [2016-10-28 21:32:22] 983*2^1444244-1 is not prime. Res64: 7085928E68D3F979 Time : 0.0 sec. user=mdettweiler [2016-10-28 21:32:23] 721*2^1444245-1 is not prime. Res64: F3CD497F98A9E808 Time : 0.0 sec. user=mdettweiler [2016-10-28 21:32:23] 777*2^1444245-1 is not prime. Res64: DDAAF0986B4E09D3 Time : 0.0 sec. user=mdettweiler [2016-10-28 21:32:23] 871*2^1444245-1 is not prime. Res64: 2E3EE74D3BEBD045 Time : 0.0 sec. user=mdettweiler [2016-10-28 21:32:24] 999*2^1444245-1 is not prime. Res64: 49325CABCC32324C Time : 0.0 sec. user=mdettweiler [2016-10-28 21:32:24] 651*2^1444246-1 is not prime. Res64: 7F2EFDC7B684D03A Time : 0.0 sec. user=mdettweiler [2016-10-28 21:32:24] 747*2^1444246-1 is not prime. Res64: DD11CD7EB165581A Time : 0.0 sec. user=mdettweiler [2016-10-28 21:52:05] 755*2^1444246-1 is not prime. Res64: CC14BC1E6B963223 Time : 0.0 sec. user=mdettweiler [2016-10-28 21:52:06] 857*2^1444246-1 is not prime. Res64: AA12D3F7DD0ECF50 Time : 0.0 sec. user=mdettweiler [2016-10-28 21:52:06] 669*2^1444247-1 is not prime. Res64: 12E0C25D71BFC5DC Time : 0.0 sec. user=mdettweiler [2016-10-28 21:52:07] 685*2^1444247-1 is not prime. Res64: BD7BAF7D60558F33 Time : 0.0 sec. user=mdettweiler [2016-10-28 21:52:07] 775*2^1444247-1 is not prime. Res64: 17817BBAE74B7D5A Time : 0.0 sec. user=mdettweiler [2016-10-28 22:00:21] 799*2^1444247-1 is not prime. Res64: 9D5D2103B9AD38F7 Time : 0.0 sec. user=mdettweiler [2016-10-28 22:00:23] 955*2^1444247-1 is not prime. Res64: 230F4D473BE3EB65 Time : 0.0 sec. user=mdettweiler [2016-10-28 22:00:23] 963*2^1444247-1 is not prime. Res64: 8BF867435BE8EFD6 Time : 0.0 sec. user=mdettweiler [2016-10-28 22:00:24] 663*2^1444248-1 is not prime. Res64: 1E4464FC25E295AD Time : 0.0 sec. user=mdettweiler [2016-10-28 22:00:25] 683*2^1444248-1 is not prime. Res64: 91D4C2A916694396 Time : 0.0 sec. user=mdettweiler [2016-10-28 22:17:40] 747*2^1444249-1 is not prime. Res64: ADAE8FC032D14A77 Time : 0.0 sec. user=mdettweiler [2016-10-28 22:17:42] 919*2^1444249-1 is not prime. Res64: FE834FE5B1C31428 Time : 0.0 sec. user=mdettweiler [2016-10-28 22:17:43] 931*2^1444249-1 is not prime. Res64: 2DC8C15171B30E18 Time : 0.0 sec. user=mdettweiler [2016-10-28 22:17:44] 999*2^1444249-1 is not prime. Res64: 47DB17FC48C73936 Time : 0.0 sec. user=mdettweiler [2016-10-28 22:17:45] 911*2^1444250-1 is not prime. Res64: 888E2F7CD5FDDB07 Time : 0.0 sec. user=mdettweiler [2016-10-28 22:18:00] 737*2^1444248-1 is not prime. Res64: C9144C21387D522C Time : 0.0 sec. user=mdettweiler [2016-10-28 22:18:01] 797*2^1444248-1 is not prime. Res64: 9F9B39243E8D94D1 Time : 0.0 sec. user=mdettweiler [2016-10-28 22:18:02] 803*2^1444248-1 is not prime. Res64: 847CE369844DB4D2 Time : 0.0 sec. user=mdettweiler [2016-10-28 22:18:02] 915*2^1444248-1 is not prime. Res64: 7DF9B767B831A852 Time : 0.0 sec. user=mdettweiler [2016-10-28 22:18:02] 619*2^1444249-1 is not prime. Res64: E24335E8E625C189 Time : 0.0 sec. user=mdettweiler [2016-10-28 22:37:37] 927*2^1444250-1 is not prime. Res64: 1649042CC476F839 Time : 0.0 sec. user=mdettweiler [2016-10-28 22:37:38] 935*2^1444250-1 is not prime. Res64: F3F50B7230140457 Time : 0.0 sec. user=mdettweiler [2016-10-28 22:37:38] 625*2^1444251-1 is not prime. Res64: 78DB1943B5972900 Time : 0.0 sec. user=mdettweiler [2016-10-28 22:37:38] 769*2^1444251-1 is not prime. Res64: F0CC96BC7D0350FC Time : 0.0 sec. user=mdettweiler [2016-10-28 22:37:38] 629*2^1444252-1 is not prime. Res64: 303B17E5F854D403 Time : 0.0 sec. user=mdettweiler [2016-10-28 22:46:00] 677*2^1444252-1 is not prime. Res64: 253AC5674D1FFD1E Time : 0.0 sec. user=mdettweiler [2016-10-28 22:46:01] 717*2^1444252-1 is not prime. Res64: ED77B36D701C75E9 Time : 0.0 sec. user=mdettweiler [2016-10-28 22:46:01] 807*2^1444252-1 is not prime. Res64: 1F7025E91517BC4F Time : 0.0 sec. user=mdettweiler [2016-10-28 22:46:02] 819*2^1444252-1 is not prime. Res64: AA305067D268CF98 Time : 0.0 sec. user=mdettweiler [2016-10-28 22:46:02] 869*2^1444252-1 is not prime. Res64: 83DF65185D532AA6 Time : 0.0 sec. user=mdettweiler [2016-10-28 23:03:46] 925*2^1444253-1 is not prime. Res64: E22CB319DB7A1667 Time : 0.0 sec. user=mdettweiler [2016-10-28 23:03:47] 611*2^1444254-1 is not prime. Res64: E626E5AC0CC372A3 Time : 0.0 sec. user=mdettweiler [2016-10-28 23:03:48] 615*2^1444254-1 is not prime. Res64: 4803A82D1FE87EAE Time : 0.0 sec. user=mdettweiler [2016-10-28 23:03:48] 681*2^1444254-1 is not prime. Res64: 260B2D9F669CC8C0 Time : 0.0 sec. user=mdettweiler [2016-10-28 23:03:49] 741*2^1444254-1 is not prime. Res64: 042581942C417352 Time : 0.0 sec. user=mdettweiler [2016-10-28 23:03:55] 873*2^1444252-1 is not prime. Res64: 49B56CE55E491BE5 Time : 0.0 sec. user=mdettweiler [2016-10-28 23:03:56] 939*2^1444252-1 is not prime. Res64: 896869871E088464 Time : 0.0 sec. user=mdettweiler [2016-10-28 23:03:57] 699*2^1444253-1 is not prime. Res64: 9EDF6FA8A25140D6 Time : 0.0 sec. user=mdettweiler [2016-10-28 23:03:58] 811*2^1444253-1 is not prime. Res64: B7C2A0A3AECD2B69 Time : 0.0 sec. user=mdettweiler [2016-10-28 23:03:58] 901*2^1444253-1 is not prime. Res64: 14ACDD6FA855FF71 Time : 0.0 sec. user=mdettweiler [2016-10-28 23:22:57] 767*2^1444254-1 is not prime. Res64: 54C5F01E7947ED6D Time : 0.0 sec. user=mdettweiler [2016-10-28 23:22:59] 795*2^1444254-1 is not prime. Res64: 22D1C6230F9C373F Time : 0.0 sec. user=mdettweiler [2016-10-28 23:23:00] 851*2^1444254-1 is not prime. Res64: F83DE65D223CAA18 Time : 0.0 sec. user=mdettweiler [2016-10-28 23:23:01] 917*2^1444254-1 is not prime. Res64: 9B5533995DE2157B Time : 0.0 sec. user=mdettweiler [2016-10-28 23:23:02] 951*2^1444254-1 is not prime. Res64: 27B25726C565062E Time : 0.0 sec. user=mdettweiler [2016-10-28 23:31:22] 971*2^1444254-1 is not prime. Res64: D86DADEAAF677419 Time : 0.0 sec. user=mdettweiler [2016-10-28 23:31:23] 619*2^1444255-1 is not prime. Res64: DD26D846CBF49DD5 Time : 0.0 sec. user=mdettweiler [2016-10-28 23:31:23] 673*2^1444255-1 is not prime. Res64: EA8C68A5C53A758B Time : 0.0 sec. user=mdettweiler [2016-10-28 23:31:23] 771*2^1444255-1 is not prime. Res64: 6074600A93F40EEC Time : 0.0 sec. user=mdettweiler [2016-10-28 23:31:23] 819*2^1444255-1 is not prime. Res64: E8DD0EB26D5AB359 Time : 0.0 sec. user=mdettweiler [2016-10-28 23:48:41] 861*2^1444255-1 is not prime. Res64: 98A007C78417046A Time : 0.0 sec. user=mdettweiler [2016-10-28 23:48:41] 939*2^1444255-1 is not prime. Res64: AFD18B820AB3847D Time : 0.0 sec. user=mdettweiler [2016-10-28 23:48:41] 633*2^1444256-1 is not prime. Res64: DAA83F7351FA4D58 Time : 0.0 sec. user=mdettweiler [2016-10-28 23:48:42] 693*2^1444256-1 is not prime. Res64: 0EAE11FFD551A04B Time : 0.0 sec. user=mdettweiler [2016-10-28 23:48:42] 743*2^1444256-1 is not prime. Res64: 7B5CDB2C9A205886 Time : 0.0 sec. user=mdettweiler [2016-10-28 23:48:42] 773*2^1444256-1 is not prime. Res64: 21990E9191222022 Time : 0.0 sec. user=mdettweiler [2016-10-28 23:48:43] 813*2^1444256-1 is not prime. Res64: ACC1C7B5D0E6D814 Time : 0.0 sec. user=mdettweiler [2016-10-28 23:48:43] 833*2^1444256-1 is not prime. Res64: 07666B6874436EF1 Time : 0.0 sec. user=mdettweiler [2016-10-28 23:48:43] 867*2^1444256-1 is not prime. Res64: DC539D5E860414A4 Time : 0.0 sec. user=mdettweiler [2016-10-28 23:48:43] 917*2^1444256-1 is not prime. Res64: 4A43364BB784F9EC Time : 0.0 sec.