user=mdettweiler [2015-10-04 00:01:05] 893*2^1410948-1 is not prime. Res64: 26E3DF9BA779E9A0 Time : 0.0 sec. user=mdettweiler [2015-10-04 00:01:05] 923*2^1410948-1 is not prime. Res64: 8DE637329CB4A940 Time : 0.0 sec. user=mdettweiler [2015-10-04 00:03:34] 625*2^1410949-1 is not prime. Res64: 80E0A81795A38384 Time : 0.0 sec. user=mdettweiler [2015-10-04 00:03:34] 681*2^1410949-1 is not prime. Res64: 6562C641A5FC4E5B Time : 0.0 sec. user=mdettweiler [2015-10-04 00:04:44] 775*2^1410949-1 is not prime. Res64: 20E9B2FCB0BF6BF1 Time : 0.0 sec. user=mdettweiler [2015-10-04 00:04:44] 799*2^1410949-1 is not prime. Res64: 2F414F3C6BBB72F3 Time : 0.0 sec. user=mdettweiler [2015-10-04 00:18:50] 801*2^1410949-1 is not prime. Res64: 13557E27832A84DF Time : 0.0 sec. user=mdettweiler [2015-10-04 00:18:50] 957*2^1410949-1 is not prime. Res64: 852309D267752C07 Time : 0.0 sec. user=mdettweiler [2015-10-04 00:18:57] 967*2^1410949-1 is not prime. Res64: BAA9ED6A240F2F9B Time : 0.0 sec. user=mdettweiler [2015-10-04 00:18:57] 711*2^1410950-1 is not prime. Res64: 083EB4A10EB04693 Time : 0.0 sec. user=mdettweiler [2015-10-04 00:21:41] 743*2^1410950-1 is not prime. Res64: 89DB35608D8ADFA0 Time : 0.0 sec. user=mdettweiler [2015-10-04 00:21:41] 797*2^1410950-1 is not prime. Res64: 2ADC0CE458768662 Time : 0.0 sec. user=mdettweiler [2015-10-04 00:22:35] 831*2^1410950-1 is not prime. Res64: C441DC05F1D92058 Time : 0.0 sec. user=mdettweiler [2015-10-04 00:22:35] 833*2^1410950-1 is not prime. Res64: 49BEFF86A30C6B20 Time : 0.0 sec. user=mdettweiler [2015-10-04 00:36:42] 619*2^1410951-1 is not prime. Res64: B19ACF6338437594 Time : 0.0 sec. user=mdettweiler [2015-10-04 00:36:43] 723*2^1410951-1 is not prime. Res64: 46A2BA66415ED9DB Time : 0.0 sec. user=mdettweiler [2015-10-04 00:36:44] 793*2^1410951-1 is not prime. Res64: 53C3EDF13B019570 Time : 0.0 sec. user=mdettweiler [2015-10-04 00:36:44] 825*2^1410951-1 is not prime. Res64: A602EEE92A9DE913 Time : 0.0 sec. user=mdettweiler [2015-10-04 00:39:27] 615*2^1410952-1 is not prime. Res64: D691C9D62E1DC7B9 Time : 0.0 sec. user=mdettweiler [2015-10-04 00:39:27] 635*2^1410952-1 is not prime. Res64: 063CDDA9190F141F Time : 0.0 sec. user=mdettweiler [2015-10-04 00:40:21] 719*2^1410952-1 is not prime. Res64: F4CD42F89BE064B3 Time : 0.0 sec. user=mdettweiler [2015-10-04 00:40:21] 759*2^1410952-1 is not prime. Res64: 46494E67BC83586A Time : 0.0 sec. user=mdettweiler [2015-10-04 00:54:30] 827*2^1410952-1 is not prime. Res64: 6DE16CF92EA22FA3 Time : 0.0 sec. user=mdettweiler [2015-10-04 00:54:31] 627*2^1410953-1 is not prime. Res64: 69C8E6D681A8E012 Time : 0.0 sec. user=mdettweiler [2015-10-04 00:54:35] 777*2^1410952-1 is not prime. Res64: 724C6E39886FF50D Time : 0.0 sec. user=mdettweiler [2015-10-04 00:54:35] 779*2^1410952-1 is not prime. Res64: 8A52B04C2ADC24D7 Time : 0.0 sec. user=mdettweiler [2015-10-04 00:57:13] 901*2^1410953-1 is not prime. Res64: 31589A8429D6CDEE Time : 0.0 sec. user=mdettweiler [2015-10-04 00:57:14] 939*2^1410953-1 is not prime. Res64: CC283E1FAA9DD6B7 Time : 0.0 sec. user=mdettweiler [2015-10-04 00:58:10] 979*2^1410953-1 is not prime. Res64: 15BCDB9BB94D4E39 Time : 0.0 sec. user=mdettweiler [2015-10-04 00:58:11] 633*2^1410954-1 is not prime. Res64: 9283616241E6F6EA Time : 0.0 sec. user=mdettweiler [2015-10-04 01:12:21] 747*2^1410954-1 is not prime. Res64: AA2656CD1DE29578 Time : 0.0 sec. user=mdettweiler [2015-10-04 01:12:22] 765*2^1410954-1 is not prime. Res64: 41C98D34340414B1 Time : 0.0 sec. user=mdettweiler [2015-10-04 01:12:32] 773*2^1410954-1 is not prime. Res64: 6DC868F08687DE16 Time : 0.0 sec. user=mdettweiler [2015-10-04 01:12:32] 821*2^1410954-1 is not prime. Res64: 5784048DB9F9BF1F Time : 0.0 sec. user=mdettweiler [2015-10-04 01:15:09] 941*2^1410954-1 is not prime. Res64: CEF74F9EDC6D3DA1 Time : 0.0 sec. user=mdettweiler [2015-10-04 01:15:10] 945*2^1410954-1 is not prime. Res64: 123718AF8E45F25D Time : 0.0 sec. user=mdettweiler [2015-10-04 01:16:01] 693*2^1410955-1 is not prime. Res64: B117B1262C0EDE70 Time : 0.0 sec. user=mdettweiler [2015-10-04 01:16:01] 861*2^1410955-1 is not prime. Res64: FB03B99BB0736D48 Time : 0.0 sec. user=mdettweiler [2015-10-04 01:30:33] 657*2^1410956-1 is not prime. Res64: 123D5B2827892219 Time : 0.0 sec. user=mdettweiler [2015-10-04 01:30:34] 725*2^1410956-1 is not prime. Res64: E93AF56F0974C2B1 Time : 0.0 sec. user=mdettweiler [2015-10-04 01:30:58] 873*2^1410955-1 is not prime. Res64: 6047111C093A52F6 Time : 0.0 sec. user=mdettweiler [2015-10-04 01:30:59] 647*2^1410956-1 is not prime. Res64: C3E3B0B03F884315 Time : 0.0 sec. user=mdettweiler [2015-10-04 01:33:39] 735*2^1410956-1 is not prime. Res64: 6D767E75F17B396F Time : 0.0 sec. user=mdettweiler [2015-10-04 01:33:41] 755*2^1410956-1 is not prime. Res64: A0FCF31401F626A2 Time : 0.0 sec. user=mdettweiler [2015-10-04 01:34:16] 867*2^1410956-1 is not prime. Res64: 61810C61D04C6C9C Time : 0.0 sec. user=mdettweiler [2015-10-04 01:34:17] 869*2^1410956-1 is not prime. Res64: AFC5D2DF6C6706E3 Time : 0.0 sec. user=mdettweiler [2015-10-04 01:48:50] 873*2^1410956-1 is not prime. Res64: AB08115B1CCB790C Time : 0.0 sec. user=mdettweiler [2015-10-04 01:48:50] 875*2^1410956-1 is not prime. Res64: 309C95F9F412DE2A Time : 0.0 sec. user=mdettweiler [2015-10-04 01:49:01] 639*2^1410957-1 is not prime. Res64: 2856E5123652EDE2 Time : 0.0 sec. user=mdettweiler [2015-10-04 01:49:01] 777*2^1410957-1 is not prime. Res64: 98E2BC525D3547DD Time : 0.0 sec. user=mdettweiler [2015-10-04 01:51:38] 885*2^1410957-1 is not prime. Res64: 05A12F958A2C7ED6 Time : 0.0 sec. user=mdettweiler [2015-10-04 01:51:39] 955*2^1410957-1 is not prime. Res64: 04F7D624620AF2F5 Time : 0.0 sec. user=mdettweiler [2015-10-04 01:52:10] 611*2^1410958-1 is not prime. Res64: D9A7DE1E31AB61CC Time : 0.0 sec. user=mdettweiler [2015-10-04 01:52:10] 773*2^1410958-1 is not prime. Res64: 4CD307F2E41AE304 Time : 0.0 sec. user=mdettweiler [2015-10-04 02:06:46] 951*2^1410958-1 is not prime. Res64: 293497B510CE2F6D Time : 0.0 sec. user=mdettweiler [2015-10-04 02:06:47] 619*2^1410959-1 is not prime. Res64: E7424264C0736C5A Time : 0.0 sec. user=mdettweiler [2015-10-04 02:06:58] 693*2^1410959-1 is not prime. Res64: A70CAE9AF8679053 Time : 0.0 sec. user=mdettweiler [2015-10-04 02:07:01] 711*2^1410959-1 is not prime. Res64: B2FEC08644301AFA Time : 0.0 sec. user=mdettweiler [2015-10-04 02:10:04] 955*2^1410959-1 is not prime. Res64: 3A7A9B7C15641F7A Time : 0.0 sec. user=mdettweiler [2015-10-04 02:10:04] 973*2^1410959-1 is not prime. Res64: 34F4CF03700C1773 Time : 0.0 sec. user=mdettweiler [2015-10-04 02:10:43] 999*2^1410959-1 is not prime. Res64: 3181D4E962B161B6 Time : 0.0 sec. user=mdettweiler [2015-10-04 02:10:43] 609*2^1410960-1 is not prime. Res64: 3B2DE86A85362A4C Time : 0.0 sec. user=mdettweiler [2015-10-04 02:25:45] 629*2^1410960-1 is not prime. Res64: 8B028F5FD17454C1 Time : 0.0 sec. user=mdettweiler [2015-10-04 02:25:45] 737*2^1410960-1 is not prime. Res64: 1443B674BB4706DA Time : 0.0 sec. user=mdettweiler [2015-10-04 02:26:02] 765*2^1410960-1 is not prime. Res64: 92A22D1F8AA3CEF6 Time : 0.0 sec. user=mdettweiler [2015-10-04 02:26:03] 795*2^1410960-1 is not prime. Res64: 07CCC960E2DC55E1 Time : 0.0 sec. user=mdettweiler [2015-10-04 02:28:48] 803*2^1410960-1 is not prime. Res64: C79EA0AE63ADAAA8 Time : 0.0 sec. user=mdettweiler [2015-10-04 02:28:50] 845*2^1410960-1 is not prime. Res64: 4E62A9229D83A84B Time : 0.0 sec. user=mdettweiler [2015-10-04 02:29:16] 933*2^1410960-1 is not prime. Res64: 4FA3F1262B19D1F8 Time : 0.0 sec. user=mdettweiler [2015-10-04 02:29:16] 959*2^1410960-1 is not prime. Res64: BB04F091BD3D541E Time : 0.0 sec. user=mdettweiler [2015-10-04 02:43:42] 645*2^1410961-1 is not prime. Res64: DD2BE3729268FE04 Time : 0.0 sec. user=mdettweiler [2015-10-04 02:43:42] 685*2^1410961-1 is not prime. Res64: EE7D2687DFD3B1AB Time : 0.0 sec. user=mdettweiler [2015-10-04 02:44:01] 769*2^1410961-1 is not prime. Res64: F96696E2157641CF Time : 0.0 sec. user=mdettweiler [2015-10-04 02:44:02] 939*2^1410961-1 is not prime. Res64: 073CD65CB9F68703 Time : 0.0 sec. user=mdettweiler [2015-10-04 02:46:46] 997*2^1410961-1 is not prime. Res64: CEEEE1E0FB8D5362 Time : 0.0 sec. user=mdettweiler [2015-10-04 02:46:46] 705*2^1410962-1 is not prime. Res64: CEBD268E3DE6D381 Time : 0.0 sec. user=mdettweiler [2015-10-04 02:46:59] 837*2^1410962-1 is not prime. Res64: 689C35308DB704A9 Time : 0.0 sec. user=mdettweiler [2015-10-04 02:46:59] 887*2^1410962-1 is not prime. Res64: B2FD3EF35CFA0F38 Time : 0.0 sec. user=mdettweiler [2015-10-04 03:01:27] 893*2^1410962-1 is not prime. Res64: B9BBCEA9259994F4 Time : 0.0 sec. user=mdettweiler [2015-10-04 03:01:28] 921*2^1410962-1 is not prime. Res64: 45AB4F25BA2CA3EA Time : 0.0 sec. user=mdettweiler [2015-10-04 03:01:44] 619*2^1410963-1 is not prime. Res64: C9A56411C7BC61A8 Time : 0.0 sec. user=mdettweiler [2015-10-04 03:01:44] 691*2^1410963-1 is not prime. Res64: EDF33AF74EDF3B20 Time : 0.0 sec. user=mdettweiler [2015-10-04 03:04:33] 745*2^1410963-1 is not prime. Res64: 36456A5CABDF47FB Time : 0.0 sec. user=mdettweiler [2015-10-04 03:04:34] 829*2^1410963-1 is not prime. Res64: 6539D4890402CF2D Time : 0.0 sec. user=mdettweiler [2015-10-04 03:04:47] 873*2^1410963-1 is not prime. Res64: DF4ABAEA1871E8C8 Time : 0.0 sec. user=mdettweiler [2015-10-04 03:04:50] 921*2^1410963-1 is not prime. Res64: E87F9D4EFFFF1FC2 Time : 0.0 sec. user=mdettweiler [2015-10-04 03:19:22] 949*2^1410963-1 is not prime. Res64: 40184735DA8F9892 Time : 0.0 sec. user=mdettweiler [2015-10-04 03:19:23] 955*2^1410963-1 is not prime. Res64: 7AA6DF9D3E0A5514 Time : 0.0 sec. user=mdettweiler [2015-10-04 03:19:28] 615*2^1410964-1 is not prime. Res64: D5F75FD01AD107D0 Time : 0.0 sec. user=mdettweiler [2015-10-04 03:19:29] 635*2^1410964-1 is not prime. Res64: 861610C88D65093E Time : 0.0 sec. user=mdettweiler [2015-10-04 03:22:22] 719*2^1410964-1 is not prime. Res64: 3432FAA1A1289822 Time : 0.0 sec. user=mdettweiler [2015-10-04 03:22:23] 765*2^1410964-1 is not prime. Res64: 996C448B1732D29A Time : 0.0 sec. user=mdettweiler [2015-10-04 03:22:46] 833*2^1410964-1 is not prime. Res64: 4D7CDA2B0CA37C40 Time : 0.0 sec. user=mdettweiler [2015-10-04 03:22:46] 885*2^1410964-1 is not prime. Res64: 910DABF99BB926CE Time : 0.0 sec. user=mdettweiler [2015-10-04 03:37:12] 669*2^1410965-1 is not prime. Res64: 8033AE914C53979D Time : 0.0 sec. user=mdettweiler [2015-10-04 03:37:12] 711*2^1410965-1 is not prime. Res64: 1FAF18D3904364BB Time : 0.0 sec. user=mdettweiler [2015-10-04 03:40:07] 867*2^1410965-1 is not prime. Res64: 4463DE468AAD2989 Time : 0.0 sec. user=mdettweiler [2015-10-04 03:40:08] 871*2^1410965-1 is not prime. Res64: 4D501D894C9F849F Time : 0.0 sec. user=mdettweiler [2015-10-04 03:40:35] 889*2^1410965-1 is not prime. Res64: C6F4A36C1A05A4D1 Time : 0.0 sec. user=mdettweiler [2015-10-04 03:40:36] 925*2^1410965-1 is not prime. Res64: 4C62ECDD43E0170F Time : 0.0 sec. user=mdettweiler [2015-10-04 03:55:17] 955*2^1410965-1 is not prime. Res64: 67D15D640239A627 Time : 0.0 sec. user=mdettweiler [2015-10-04 03:55:17] 987*2^1410965-1 is not prime. Res64: 030842B05C2412C5 Time : 0.0 sec. user=mdettweiler [2015-10-04 03:58:11] 657*2^1410966-1 is not prime. Res64: A7E5127B7553EBD9 Time : 0.0 sec. user=mdettweiler [2015-10-04 03:58:11] 695*2^1410966-1 is not prime. Res64: B5D72D4B862E77F0 Time : 0.0 sec. user=mdettweiler [2015-10-04 03:58:40] 725*2^1410966-1 is not prime. Res64: 86DB80D8423850F8 Time : 0.0 sec. user=mdettweiler [2015-10-04 03:58:40] 747*2^1410966-1 is not prime. Res64: 8EDC9D9EBAF5C56B Time : 0.0 sec. user=mdettweiler [2015-10-04 04:14:04] 755*2^1410966-1 is not prime. Res64: 0DD2E44BE126A15A Time : 0.0 sec. user=mdettweiler [2015-10-04 04:14:04] 765*2^1410966-1 is not prime. Res64: 34A33F4ABA019039 Time : 0.0 sec. user=mdettweiler [2015-10-04 04:17:00] 833*2^1410966-1 is not prime. Res64: 09C06021CBAF08BE Time : 0.0 sec. user=mdettweiler [2015-10-04 04:17:00] 893*2^1410966-1 is not prime. Res64: 1A8C9CFA92A64500 Time : 0.0 sec. user=mdettweiler [2015-10-04 04:17:36] 923*2^1410966-1 is not prime. Res64: 922F1212FFF9685B Time : 0.0 sec. user=mdettweiler [2015-10-04 04:17:36] 601*2^1410967-1 is not prime. Res64: FE626C5FB05F1594 Time : 0.0 sec. user=mdettweiler [2015-10-04 04:32:51] 633*2^1410967-1 is not prime. Res64: 191DF01F22D55436 Time : 0.0 sec. user=mdettweiler [2015-10-04 04:32:52] 673*2^1410967-1 is not prime. Res64: 49F5DD9A2AFBF0EC Time : 0.0 sec. user=mdettweiler [2015-10-04 04:35:49] 705*2^1410967-1 is not prime. Res64: D000486448977B83 Time : 0.0 sec. user=mdettweiler [2015-10-04 04:35:50] 759*2^1410967-1 is not prime. Res64: E8A59113CA2B12DD Time : 0.0 sec. user=mdettweiler [2015-10-04 04:35:59] 775*2^1410967-1 is not prime. Res64: 5C017AFDF9E27C25 Time : 0.0 sec. user=mdettweiler [2015-10-04 04:35:59] 841*2^1410967-1 is not prime. Res64: 6D83AE9081BD0DFA Time : 0.0 sec. user=mdettweiler [2015-10-04 04:51:07] 931*2^1410967-1 is not prime. Res64: 65D88E1912C716FB Time : 0.0 sec. user=mdettweiler [2015-10-04 04:51:07] 753*2^1410968-1 is not prime. Res64: C790EA71C8949876 Time : 0.0 sec. user=mdettweiler [2015-10-04 04:53:50] 741*2^1410965-1 is not prime. Res64: C46EF0BE53293D9B Time : 0.0 sec. user=mdettweiler [2015-10-04 04:53:50] 789*2^1410965-1 is not prime. Res64: F9E0B9C516C8FCE0 Time : 0.0 sec. user=mdettweiler [2015-10-04 04:54:14] 755*2^1410968-1 is not prime. Res64: B73357D75CB3E250 Time : 0.0 sec. user=mdettweiler [2015-10-04 04:54:14] 789*2^1410968-1 is not prime. Res64: E2151B36C6A33FD2 Time : 0.0 sec. user=mdettweiler [2015-10-04 04:54:23] 825*2^1410968-1 is not prime. Res64: 51677516845FAC0F Time : 0.0 sec. user=mdettweiler [2015-10-04 04:54:24] 839*2^1410968-1 is not prime. Res64: 99D886CC0BDF4A9E Time : 0.0 sec. user=mdettweiler [2015-10-04 05:09:04] 935*2^1410968-1 is not prime. Res64: 669A099BA2041CF0 Time : 0.0 sec. user=mdettweiler [2015-10-04 05:09:04] 637*2^1410969-1 is not prime. Res64: A55CECE8D330685C Time : 0.0 sec. user=mdettweiler [2015-10-04 05:11:44] 781*2^1410969-1 is not prime. Res64: 46842A3783078490 Time : 0.0 sec. user=mdettweiler [2015-10-04 05:11:45] 909*2^1410969-1 is not prime. Res64: 22F32FB0B6AB746E Time : 0.0 sec. user=mdettweiler [2015-10-04 05:12:13] 681*2^1410970-1 is not prime. Res64: 95433542DE015AF9 Time : 0.0 sec. user=mdettweiler [2015-10-04 05:12:14] 987*2^1410969-1 is not prime. Res64: E6E813B05F9CF6D0 Time : 0.0 sec. user=mdettweiler [2015-10-04 05:12:14] 717*2^1410970-1 is not prime. Res64: 64CAA584B9EF31EB Time : 0.0 sec. user=mdettweiler [2015-10-04 05:12:15] 657*2^1410970-1 is not prime. Res64: AABCA5668DB66388 Time : 0.0 sec. user=mdettweiler [2015-10-04 05:26:53] 777*2^1410970-1 is not prime. Res64: 15A5BD193AD7E10E Time : 0.0 sec. user=mdettweiler [2015-10-04 05:26:54] 887*2^1410970-1 is not prime. Res64: 955E0F9EE30BC7A1 Time : 0.0 sec. user=mdettweiler [2015-10-04 05:29:51] 619*2^1410971-1 is not prime. Res64: CA2E106DA9A033B2 Time : 0.0 sec. user=mdettweiler [2015-10-04 05:29:51] 715*2^1410971-1 is not prime. Res64: B31DF503AFF683E3 Time : 0.0 sec. user=mdettweiler [2015-10-04 05:30:01] 759*2^1410971-1 is not prime. Res64: 4518914521F460B3 Time : 0.0 sec. user=mdettweiler [2015-10-04 05:30:01] 843*2^1410971-1 is not prime. Res64: C42FB6080AC8A4A7 Time : 0.0 sec. user=mdettweiler [2015-10-04 05:30:10] 993*2^1410971-1 is not prime. Res64: 9EC536D0DD0052FC Time : 0.0 sec. user=mdettweiler [2015-10-04 05:30:10] 633*2^1410972-1 is not prime. Res64: 02E5F816E2575118 Time : 0.0 sec. user=mdettweiler [2015-10-04 05:44:43] 737*2^1410972-1 is not prime. Res64: 08ABD4D53CBEBFFD Time : 0.0 sec. user=mdettweiler [2015-10-04 05:44:43] 867*2^1410972-1 is not prime. Res64: 17C84BEB704AF349 Time : 0.0 sec. user=mdettweiler [2015-10-04 05:47:38] 887*2^1410972-1 is not prime. Res64: 38824B4CE103924C Time : 0.0 sec. user=mdettweiler [2015-10-04 05:47:39] 729*2^1410973-1 is not prime. Res64: C36EAF97F67D87C5 Time : 0.0 sec. user=mdettweiler [2015-10-04 05:47:50] 801*2^1410973-1 is not prime. Res64: 91DF407A3EC0D11C Time : 0.0 sec. user=mdettweiler [2015-10-04 05:47:50] 805*2^1410973-1 is not prime. Res64: 156003D617A7EC91 Time : 0.0 sec. user=mdettweiler [2015-10-04 05:47:54] 817*2^1410973-1 is not prime. Res64: ED8CFB3B5CF027F7 Time : 0.0 sec. user=mdettweiler [2015-10-04 05:47:54] 895*2^1410973-1 is not prime. Res64: 34B887E1599B43B8 Time : 0.0 sec. user=mdettweiler [2015-10-04 06:02:34] 605*2^1410974-1 is not prime. Res64: 269530756F64CF8F Time : 0.0 sec. user=mdettweiler [2015-10-04 06:02:35] 623*2^1410974-1 is not prime. Res64: 0CD3A94A3867773F Time : 0.0 sec. user=mdettweiler [2015-10-04 06:05:32] 641*2^1410974-1 is not prime. Res64: 7F394FB9D69452E7 Time : 0.0 sec. user=mdettweiler [2015-10-04 06:05:33] 677*2^1410974-1 is not prime. Res64: 4C7CAFAAE807AF9F Time : 0.0 sec. user=mdettweiler [2015-10-04 06:05:42] 717*2^1410974-1 is not prime. Res64: B7EAEFD6BA1A35E0 Time : 0.0 sec. user=mdettweiler [2015-10-04 06:05:43] 813*2^1410974-1 is not prime. Res64: 703EA7700DAD004E Time : 0.0 sec. user=mdettweiler [2015-10-04 06:05:44] 885*2^1410974-1 is not prime. Res64: 37698D82ED699320 Time : 0.0 sec. user=mdettweiler [2015-10-04 06:05:45] 981*2^1410974-1 is not prime. Res64: E526A3C381D66BF8 Time : 0.0 sec. user=mdettweiler [2015-10-04 06:20:26] 633*2^1410975-1 is not prime. Res64: 009449623B954EF4 Time : 0.0 sec. user=mdettweiler [2015-10-04 06:20:27] 649*2^1410975-1 is not prime. Res64: 3B5B49C065EE7152 Time : 0.0 sec. user=mdettweiler [2015-10-04 06:23:29] 765*2^1410975-1 is not prime. Res64: 3665BE9045311A9D Time : 0.0 sec. user=mdettweiler [2015-10-04 06:23:30] 781*2^1410975-1 is not prime. Res64: 2F9DE54DDAF93EAE Time : 0.0 sec. user=mdettweiler [2015-10-04 06:23:31] 825*2^1410975-1 is not prime. Res64: 6CEDA171AF2D2A17 Time : 0.0 sec. user=mdettweiler [2015-10-04 06:23:32] 853*2^1410975-1 is not prime. Res64: 8CCFCDEBE103F9A0 Time : 0.0 sec. user=mdettweiler [2015-10-04 06:23:39] 895*2^1410975-1 is not prime. Res64: 23BF98DA1171F4BD Time : 0.0 sec. user=mdettweiler [2015-10-04 06:23:40] 951*2^1410975-1 is not prime. Res64: CC0DE78D0F52D74B Time : 0.0 sec. user=mdettweiler [2015-10-04 06:38:20] 999*2^1410975-1 is not prime. Res64: A2B2392798F8BB19 Time : 0.0 sec. user=mdettweiler [2015-10-04 06:38:20] 707*2^1410976-1 is not prime. Res64: 8BCEB88113490573 Time : 0.0 sec. user=mdettweiler [2015-10-04 06:41:16] 735*2^1410976-1 is not prime. Res64: 92AEC1C9F5B5840E Time : 0.0 sec. user=mdettweiler [2015-10-04 06:41:17] 779*2^1410976-1 is not prime. Res64: 04B583AAD4B67072 Time : 0.0 sec. user=mdettweiler [2015-10-04 06:41:17] 747*2^1410976-1 is not prime. Res64: 676BAA5D0EF96910 Time : 0.0 sec. user=mdettweiler [2015-10-04 06:41:18] 869*2^1410976-1 is not prime. Res64: C94DD431A3A29C37 Time : 0.0 sec. user=mdettweiler [2015-10-04 06:41:24] 917*2^1410976-1 is not prime. Res64: 9A17B952486428C5 Time : 0.0 sec. user=mdettweiler [2015-10-04 06:41:24] 993*2^1410976-1 is not prime. Res64: E94D22C45D45C545 Time : 0.0 sec. user=mdettweiler [2015-10-04 06:56:07] 669*2^1410977-1 is not prime. Res64: 89E2BDD15EBC3D02 Time : 0.0 sec. user=mdettweiler [2015-10-04 06:56:07] 741*2^1410977-1 is not prime. Res64: F05CEDF0ED703FEF Time : 0.0 sec. user=mdettweiler [2015-10-04 06:59:05] 955*2^1410977-1 is not prime. Res64: DC55DA991E07E98E Time : 0.0 sec. user=mdettweiler [2015-10-04 06:59:06] 605*2^1410978-1 is not prime. Res64: 9CFC3FE36BE21679 Time : 0.0 sec. user=mdettweiler [2015-10-04 06:59:07] 627*2^1410978-1 is not prime. Res64: 7294BCC842C306D4 Time : 0.0 sec. user=mdettweiler [2015-10-04 06:59:07] 725*2^1410978-1 is not prime. Res64: 1252409725DB7EC5 Time : 0.0 sec. user=mdettweiler [2015-10-04 06:59:11] 815*2^1410978-1 is not prime. Res64: C01FC55BE47F1F8A Time : 0.0 sec. user=mdettweiler [2015-10-04 06:59:11] 923*2^1410978-1 is not prime. Res64: EFF1F37658BB2D17 Time : 0.0 sec. user=mdettweiler [2015-10-04 07:14:04] 933*2^1410978-1 is not prime. Res64: 0E9E65AFD91E42CE Time : 0.0 sec. user=mdettweiler [2015-10-04 07:14:04] 941*2^1410978-1 is not prime. Res64: 78D6746E63AA5CBA Time : 0.0 sec. user=mdettweiler [2015-10-04 07:16:58] 703*2^1410979-1 is not prime. Res64: E5E209B24B601FD3 Time : 0.0 sec. user=mdettweiler [2015-10-04 07:16:58] 771*2^1410979-1 is not prime. Res64: 1D4219538962EF92 Time : 0.0 sec. user=mdettweiler [2015-10-04 07:17:01] 977*2^1410978-1 is not prime. Res64: E970BB50D97B4C63 Time : 0.0 sec. user=mdettweiler [2015-10-04 07:17:01] 645*2^1410979-1 is not prime. Res64: 0F3FF8D360EC95AD Time : 0.0 sec. user=mdettweiler [2015-10-04 07:17:07] 909*2^1410979-1 is not prime. Res64: 5948B943A7353D18 Time : 0.0 sec. user=mdettweiler [2015-10-04 07:17:07] 931*2^1410979-1 is not prime. Res64: F748F875092EC734 Time : 0.0 sec. user=mdettweiler [2015-10-04 07:31:50] 961*2^1410979-1 is not prime. Res64: ED8ED518DCC321F2 Time : 0.0 sec. user=mdettweiler [2015-10-04 07:31:51] 999*2^1410979-1 is not prime. Res64: 4DBFFE39610BA1A4 Time : 0.0 sec. user=mdettweiler [2015-10-04 07:34:49] 999*2^1410980-1 is not prime. Res64: A6FA364CB92CC402 Time : 0.0 sec. user=mdettweiler [2015-10-04 07:34:50] 657*2^1410981-1 is not prime. Res64: 580397BC6FE5DC87 Time : 0.0 sec. user=mdettweiler [2015-10-04 07:34:52] 777*2^1410980-1 is not prime. Res64: 523016EA53DAC9A7 Time : 0.0 sec. user=mdettweiler [2015-10-04 07:34:52] 885*2^1410980-1 is not prime. Res64: 04E4040974FB7230 Time : 0.0 sec. user=mdettweiler [2015-10-04 07:34:53] 709*2^1410981-1 is not prime. Res64: 968FC05ABC898AC0 Time : 0.0 sec. user=mdettweiler [2015-10-04 07:34:54] 795*2^1410981-1 is not prime. Res64: AEE9781D37FAA946 Time : 0.0 sec. user=mdettweiler [2015-10-04 07:49:44] 885*2^1410981-1 is not prime. Res64: 7CC443166CCD9A3B Time : 0.0 sec. user=mdettweiler [2015-10-04 07:49:44] 945*2^1410981-1 is not prime. Res64: 23950D900D113162 Time : 0.0 sec. user=mdettweiler [2015-10-04 07:52:46] 843*2^1410982-1 is not prime. Res64: 1C671146B34D9FEF Time : 0.0 sec. user=mdettweiler [2015-10-04 07:52:46] 915*2^1410982-1 is not prime. Res64: 8C4B4F9B271F8BE0 Time : 0.0 sec. user=mdettweiler [2015-10-04 07:52:48] 955*2^1410981-1 is not prime. Res64: 3C89BE7FAEE56344 Time : 0.0 sec. user=mdettweiler [2015-10-04 07:52:49] 961*2^1410981-1 is not prime. Res64: BA75664C5E4DFCDA Time : 0.0 sec. user=mdettweiler [2015-10-04 07:52:53] 747*2^1410982-1 is not prime. Res64: 647888E9C4C43969 Time : 0.0 sec. user=mdettweiler [2015-10-04 07:52:53] 777*2^1410982-1 is not prime. Res64: 32304DC9A6436494 Time : 0.0 sec. user=mdettweiler [2015-10-04 08:07:31] 923*2^1410982-1 is not prime. Res64: A8EF9892DE70D640 Time : 0.0 sec. user=mdettweiler [2015-10-04 08:07:32] 945*2^1410982-1 is not prime. Res64: ED6B078258BEEB6A Time : 0.0 sec. user=mdettweiler [2015-10-04 08:10:35] 685*2^1410983-1 is not prime. Res64: 230D5423A8F4B272 Time : 0.0 sec. user=mdettweiler [2015-10-04 08:10:35] 715*2^1410983-1 is not prime. Res64: CB32FDF3C5CE7AFB Time : 0.0 sec. user=mdettweiler [2015-10-04 08:10:40] 615*2^1410983-1 is not prime. Res64: A6F2FFB292474286 Time : 0.0 sec. user=mdettweiler [2015-10-04 08:10:40] 649*2^1410983-1 is not prime. Res64: 499CCDD820AD63AF Time : 0.0 sec. user=mdettweiler [2015-10-04 08:10:42] 735*2^1410983-1 is not prime. Res64: 0F13CAAB885A42C9 Time : 0.0 sec. user=mdettweiler [2015-10-04 08:10:43] 739*2^1410983-1 is not prime. Res64: 8E81B477C3AA787E Time : 0.0 sec. user=mdettweiler [2015-10-04 08:25:22] 789*2^1410983-1 is not prime. Res64: FF462659913C2FFE Time : 0.0 sec. user=mdettweiler [2015-10-04 08:25:22] 825*2^1410983-1 is not prime. Res64: 1595923898465694 Time : 0.0 sec. user=mdettweiler [2015-10-04 08:28:20] 831*2^1410983-1 is not prime. Res64: 0CDFA24870808D54 Time : 0.0 sec. user=mdettweiler [2015-10-04 08:28:20] 885*2^1410983-1 is not prime. Res64: F13CFEB3A418D08D Time : 0.0 sec. user=mdettweiler [2015-10-04 08:28:26] 913*2^1410983-1 is not prime. Res64: 88642A8E6364214B Time : 0.0 sec. user=mdettweiler [2015-10-04 08:28:26] 915*2^1410983-1 is not prime. Res64: 746564EBB49927B2 Time : 0.0 sec. user=mdettweiler [2015-10-04 08:28:32] 955*2^1410983-1 is not prime. Res64: 844CCD819161D296 Time : 0.0 sec. user=mdettweiler [2015-10-04 08:28:32] 963*2^1410983-1 is not prime. Res64: F80951A98E9FB463 Time : 0.0 sec. user=mdettweiler [2015-10-04 08:43:09] 663*2^1410984-1 is not prime. Res64: 5EFB91E6C268CF1A Time : 0.0 sec. user=mdettweiler [2015-10-04 08:43:10] 765*2^1410984-1 is not prime. Res64: E2820968288779F7 Time : 0.0 sec. user=mdettweiler [2015-10-04 08:46:02] 803*2^1410984-1 is not prime. Res64: EAE5E9920C7EF75A Time : 0.0 sec. user=mdettweiler [2015-10-04 08:46:03] 809*2^1410984-1 is not prime. Res64: D7CDF47E010DACAA Time : 0.0 sec. user=mdettweiler [2015-10-04 08:46:16] 909*2^1410984-1 is not prime. Res64: 8260CC9AE133B034 Time : 0.0 sec. user=mdettweiler [2015-10-04 08:46:16] 915*2^1410984-1 is not prime. Res64: A7EACA44397BCE62 Time : 0.0 sec. user=mdettweiler [2015-10-04 08:46:19] 857*2^1410984-1 is not prime. Res64: D17D1A2211F53313 Time : 0.0 sec. user=mdettweiler [2015-10-04 08:46:20] 905*2^1410984-1 is not prime. Res64: 950B341C2F25339E Time : 0.0 sec. user=mdettweiler [2015-10-04 09:00:58] 935*2^1410984-1 is not prime. Res64: C6AB714E94772469 Time : 0.0 sec. user=mdettweiler [2015-10-04 09:00:59] 717*2^1410985-1 is not prime. Res64: 4DDCE90223DF990C Time : 0.0 sec. user=mdettweiler [2015-10-04 09:03:50] 897*2^1410985-1 is not prime. Res64: 9EBDC8ED1EE2CBF4 Time : 0.0 sec. user=mdettweiler [2015-10-04 09:03:52] 641*2^1410986-1 is not prime. Res64: 92463B49CE9DB6F9 Time : 0.0 sec. user=mdettweiler [2015-10-04 09:03:59] 705*2^1410986-1 is not prime. Res64: 7F13B62E49F846FC Time : 0.0 sec. user=mdettweiler [2015-10-04 09:04:01] 783*2^1410986-1 is not prime. Res64: 130E2CBCD81D55E6 Time : 0.0 sec. user=mdettweiler [2015-10-04 09:04:09] 815*2^1410986-1 is not prime. Res64: CA11F87A01F68728 Time : 0.0 sec. user=mdettweiler [2015-10-04 09:04:09] 831*2^1410986-1 is not prime. Res64: 1D768BC1B482ECD1 Time : 0.0 sec. user=mdettweiler [2015-10-04 09:18:50] 873*2^1410986-1 is not prime. Res64: 29D210F8E1A8DC9F Time : 0.0 sec. user=mdettweiler [2015-10-04 09:18:51] 921*2^1410986-1 is not prime. Res64: C8C3640D72F2797A Time : 0.0 sec. user=mdettweiler [2015-10-04 09:21:43] 971*2^1410986-1 is not prime. Res64: 9F2AB9C05702EFD3 Time : 0.0 sec. user=mdettweiler [2015-10-04 09:21:44] 669*2^1410987-1 is not prime. Res64: 90038F56A89FDAAE Time : 0.0 sec. user=mdettweiler [2015-10-04 09:21:49] 795*2^1410987-1 is not prime. Res64: A277F461B6742CAA Time : 0.0 sec. user=mdettweiler [2015-10-04 09:21:50] 823*2^1410987-1 is not prime. Res64: EBD494C45D9C4E62 Time : 0.0 sec. user=mdettweiler [2015-10-04 09:21:57] 861*2^1410987-1 is not prime. Res64: 161A7652EFA6C880 Time : 0.0 sec. user=mdettweiler [2015-10-04 09:21:57] 665*2^1410988-1 is not prime. Res64: 624590C1ED89B1AB Time : 0.0 sec. user=mdettweiler [2015-10-04 09:36:40] 855*2^1410988-1 is not prime. Res64: 1213BDA86D9ACD16 Time : 0.0 sec. user=mdettweiler [2015-10-04 09:36:40] 863*2^1410988-1 is not prime. Res64: 8B621FE24D31D706 Time : 0.0 sec. user=mdettweiler [2015-10-04 09:39:40] 907*2^1410989-1 is not prime. Res64: B8D110D1EB79FA9D Time : 0.0 sec. user=mdettweiler [2015-10-04 09:39:40] 945*2^1410989-1 is not prime. Res64: 902109876D6A12B3 Time : 0.0 sec. user=mdettweiler [2015-10-04 09:39:41] 655*2^1410989-1 is not prime. Res64: D87C593BF26ED70B Time : 0.0 sec. user=mdettweiler [2015-10-04 09:39:42] 741*2^1410989-1 is not prime. Res64: F36B2BDA036FA72A Time : 0.0 sec. user=mdettweiler [2015-10-04 09:39:45] 647*2^1410990-1 is not prime. Res64: 329DAD5B3A05A18D Time : 0.0 sec. user=mdettweiler [2015-10-04 09:39:45] 747*2^1410990-1 is not prime. Res64: 1D653FAB17418B92 Time : 0.0 sec. user=mdettweiler [2015-10-04 09:54:27] 791*2^1410990-1 is not prime. Res64: A3196B522A0192ED Time : 0.0 sec. user=mdettweiler [2015-10-04 09:54:28] 843*2^1410990-1 is not prime. Res64: 41915E1428CC37A7 Time : 0.0 sec. user=mdettweiler [2015-10-04 09:57:33] 863*2^1410990-1 is not prime. Res64: 0DC21B55D642E920 Time : 0.0 sec. user=mdettweiler [2015-10-04 09:57:34] 873*2^1410990-1 is not prime. Res64: CEB22A7673806E91 Time : 0.0 sec. user=mdettweiler [2015-10-04 09:57:35] 663*2^1410991-1 is not prime. Res64: 34230A8024D4FE37 Time : 0.0 sec. user=mdettweiler [2015-10-04 09:57:35] 741*2^1410991-1 is not prime. Res64: 59E219B0730B68F0 Time : 0.0 sec. user=mdettweiler [2015-10-04 09:57:38] 603*2^1410991-1 is not prime. Res64: C3EA25A7374C8504 Time : 0.0 sec. user=mdettweiler [2015-10-04 09:57:38] 651*2^1410991-1 is not prime. Res64: 0D968A1A8B574C08 Time : 0.0 sec. user=mdettweiler [2015-10-04 10:12:22] 771*2^1410991-1 is not prime. Res64: 4E51B3E8D4233531 Time : 0.0 sec. user=mdettweiler [2015-10-04 10:12:22] 789*2^1410991-1 is not prime. Res64: B1C5A09F142D938C Time : 0.0 sec. user=mdettweiler [2015-10-04 10:15:29] 961*2^1410991-1 is not prime. Res64: F9BF88A1B44EBDF6 Time : 0.0 sec. user=mdettweiler [2015-10-04 10:15:29] 891*2^1410991-1 is not prime. Res64: 4E74125E599917EB Time : 0.0 sec. user=mdettweiler [2015-10-04 10:15:29] 683*2^1410992-1 is not prime. Res64: 6C0F769D50F5A09F Time : 0.0 sec. user=mdettweiler [2015-10-04 10:15:29] 933*2^1410991-1 is not prime. Res64: 5EBC1850A7039736 Time : 0.0 sec. user=mdettweiler [2015-10-04 10:15:33] 719*2^1410992-1 is not prime. Res64: 5417C3D20393D217 Time : 0.0 sec. user=mdettweiler [2015-10-04 10:15:34] 813*2^1410992-1 is not prime. Res64: 6EAD409B3BF2AB1A Time : 0.0 sec. user=mdettweiler [2015-10-04 10:30:18] 903*2^1410992-1 is not prime. Res64: 0036C6988A7194EF Time : 0.0 sec. user=mdettweiler [2015-10-04 10:30:19] 781*2^1410993-1 is not prime. Res64: 58DEF8F078C88244 Time : 0.0 sec. user=mdettweiler [2015-10-04 10:33:13] 837*2^1410993-1 is not prime. Res64: B6236C63FC5E35E0 Time : 0.0 sec. user=mdettweiler [2015-10-04 10:33:13] 891*2^1410993-1 is not prime. Res64: 249D924475F84C5B Time : 0.0 sec. user=mdettweiler [2015-10-04 10:33:20] 895*2^1410993-1 is not prime. Res64: 784EB03E34D2CA58 Time : 0.0 sec. user=mdettweiler [2015-10-04 10:33:21] 921*2^1410993-1 is not prime. Res64: 7BCD803C90F9EBA8 Time : 0.0 sec. user=mdettweiler [2015-10-04 10:33:24] 937*2^1410993-1 is not prime. Res64: DB83A8C32B9E278D Time : 0.0 sec. user=mdettweiler [2015-10-04 10:33:24] 611*2^1410994-1 is not prime. Res64: D098BA7C9E52E6F3 Time : 0.0 sec. user=mdettweiler [2015-10-04 10:48:18] 663*2^1410994-1 is not prime. Res64: 0CCA691D22235CAE Time : 0.0 sec. user=mdettweiler [2015-10-04 10:48:18] 677*2^1410994-1 is not prime. Res64: A3ED4DC3F6F40089 Time : 0.0 sec. user=mdettweiler [2015-10-04 10:51:01] 783*2^1410994-1 is not prime. Res64: 1F8E166B3FEBB6C7 Time : 0.0 sec. user=mdettweiler [2015-10-04 10:51:02] 861*2^1410994-1 is not prime. Res64: DE8CCCEA4360829A Time : 0.0 sec. user=mdettweiler [2015-10-04 10:51:13] 655*2^1410995-1 is not prime. Res64: FEC723C6FB451CE1 Time : 0.0 sec. user=mdettweiler [2015-10-04 10:51:14] 669*2^1410995-1 is not prime. Res64: 45A612FFC0BA9303 Time : 0.0 sec. user=mdettweiler [2015-10-04 10:51:18] 733*2^1410995-1 is not prime. Res64: 9CD919080ADB9620 Time : 0.0 sec. user=mdettweiler [2015-10-04 10:51:18] 741*2^1410995-1 is not prime. Res64: A7815AF3102F2DE2 Time : 0.0 sec. user=mdettweiler [2015-10-04 11:06:03] 781*2^1410995-1 is not prime. Res64: 9B0CE5D4E9879B7D Time : 0.0 sec. user=mdettweiler [2015-10-04 11:06:04] 861*2^1410995-1 is not prime. Res64: 911188936C34741C Time : 0.0 sec. user=mdettweiler [2015-10-04 11:08:46] 949*2^1410995-1 is not prime. Res64: DC7F898094A0C5E7 Time : 0.0 sec. user=mdettweiler [2015-10-04 11:08:47] 719*2^1410996-1 is not prime. Res64: FE2FE9058A9AD7A7 Time : 0.0 sec. user=mdettweiler [2015-10-04 11:09:00] 735*2^1410996-1 is not prime. Res64: E65FEAD57CD9C365 Time : 0.0 sec. user=mdettweiler [2015-10-04 11:09:01] 857*2^1410996-1 is not prime. Res64: 7DC60AFF83EAB4A8 Time : 0.0 sec. user=mdettweiler [2015-10-04 11:09:12] 699*2^1410997-1 is not prime. Res64: 001CEE28C16E1124 Time : 0.0 sec. user=mdettweiler [2015-10-04 11:09:13] 867*2^1410997-1 is not prime. Res64: AA5BD9EBEB88FB8E Time : 0.0 sec. user=mdettweiler [2015-10-04 11:23:59] 957*2^1410997-1 is not prime. Res64: 02687A57912D5A72 Time : 0.0 sec. user=mdettweiler [2015-10-04 11:23:59] 635*2^1410998-1 is not prime. Res64: 463D1886C4622595 Time : 0.0 sec. user=mdettweiler [2015-10-04 11:26:40] 773*2^1410998-1 is not prime. Res64: 375773DAFB10644D Time : 0.0 sec. user=mdettweiler [2015-10-04 11:26:41] 875*2^1410998-1 is not prime. Res64: EB3172580144A9C1 Time : 0.0 sec. user=mdettweiler [2015-10-04 11:26:53] 935*2^1410998-1 is not prime. Res64: B3CF5641CBB0208C Time : 0.0 sec. user=mdettweiler [2015-10-04 11:26:53] 941*2^1410998-1 is not prime. Res64: A1BA3A59A9831386 Time : 0.0 sec. user=mdettweiler [2015-10-04 11:27:09] 993*2^1410998-1 is not prime. Res64: 012C0752A86B589B Time : 0.0 sec. user=mdettweiler [2015-10-04 11:27:09] 619*2^1410999-1 is not prime. Res64: 1687DB2A4F15373D Time : 0.0 sec. user=mdettweiler [2015-10-04 11:42:04] 679*2^1410999-1 is not prime. Res64: 09C6DB9D68095BD2 Time : 0.0 sec. user=mdettweiler [2015-10-04 11:42:04] 795*2^1410999-1 is not prime. Res64: A7A753AFAEA599A3 Time : 0.0 sec. user=mdettweiler [2015-10-04 11:44:29] 861*2^1410999-1 is not prime. Res64: 654AE1FB0C44CF42 Time : 0.0 sec. user=mdettweiler [2015-10-04 11:44:30] 615*2^1411000-1 is not prime. Res64: B7C71680E82C3043 Time : 0.0 sec. user=mdettweiler [2015-10-04 11:44:37] 623*2^1411000-1 is not prime. Res64: A24349A882907F30 Time : 0.0 sec. user=mdettweiler [2015-10-04 11:44:37] 653*2^1411000-1 is not prime. Res64: 87EA3ACAEC72AC03 Time : 0.0 sec. user=mdettweiler [2015-10-04 11:44:52] 855*2^1411000-1 is not prime. Res64: 217E1C8805E27E29 Time : 0.0 sec. user=mdettweiler [2015-10-04 11:44:53] 887*2^1411000-1 is not prime. Res64: F14CDD1B49BC108E Time : 0.0 sec. user=mdettweiler [2015-10-04 12:00:00] 989*2^1411000-1 is not prime. Res64: 4968439EE5145DBA Time : 0.0 sec. user=mdettweiler [2015-10-04 12:00:00] 607*2^1411001-1 is not prime. Res64: BFF0D90AC324C01D Time : 0.0 sec. user=mdettweiler [2015-10-04 12:02:24] 741*2^1411001-1 is not prime. Res64: E5C845761573463A Time : 0.0 sec. user=mdettweiler [2015-10-04 12:02:25] 683*2^1411002-1 is not prime. Res64: 24902F74FB477521 Time : 0.0 sec. user=mdettweiler [2015-10-04 12:02:27] 713*2^1411002-1 is not prime. Res64: 0D9EC17566C092D5 Time : 0.0 sec. user=mdettweiler [2015-10-04 12:02:28] 717*2^1411002-1 is not prime. Res64: 919AA9AC5ABB1232 Time : 0.0 sec. user=mdettweiler [2015-10-04 12:02:59] 755*2^1411002-1 is not prime. Res64: 9629706EFBCE2A99 Time : 0.0 sec. user=mdettweiler [2015-10-04 12:03:00] 825*2^1411002-1 is not prime. Res64: B479160E2D21925C Time : 0.0 sec. user=mdettweiler [2015-10-04 12:18:06] 833*2^1411002-1 is not prime. Res64: 4336CA47C26FB701 Time : 0.0 sec. user=mdettweiler [2015-10-04 12:18:06] 957*2^1411002-1 is not prime. Res64: 0E565815A08070A9 Time : 0.0 sec. user=mdettweiler [2015-10-04 12:20:26] 735*2^1411003-1 is not prime. Res64: E01F7608A6862EA5 Time : 0.0 sec. user=mdettweiler [2015-10-04 12:20:26] 859*2^1411003-1 is not prime. Res64: 48AFAC1DDA9FC0FD Time : 0.0 sec. user=mdettweiler [2015-10-04 12:20:31] 871*2^1411003-1 is not prime. Res64: BF863CD0C774D106 Time : 0.0 sec. user=mdettweiler [2015-10-04 12:20:32] 873*2^1411003-1 is not prime. Res64: 2A51784DF6A887FD Time : 0.0 sec. user=mdettweiler [2015-10-04 12:20:56] 925*2^1411003-1 is not prime. Res64: 09A616B22DE0E39F Time : 0.0 sec. user=mdettweiler [2015-10-04 12:20:56] 629*2^1411004-1 is not prime. Res64: DEA571B5ECF57FDE Time : 0.0 sec. user=mdettweiler [2015-10-04 12:36:05] 819*2^1411004-1 is not prime. Res64: B5CF488862AF503F Time : 0.0 sec. user=mdettweiler [2015-10-04 12:36:05] 833*2^1411004-1 is not prime. Res64: 9C1B301DE6136A82 Time : 0.0 sec. user=mdettweiler [2015-10-04 12:38:15] 923*2^1411004-1 is not prime. Res64: 21B26EDDCA6FCB2A Time : 0.0 sec. user=mdettweiler [2015-10-04 12:38:16] 959*2^1411004-1 is not prime. Res64: F9BB8B3690B2DE89 Time : 0.0 sec. user=mdettweiler [2015-10-04 12:38:29] 607*2^1411005-1 is not prime. Res64: 44D1A6FA2D14ECCE Time : 0.0 sec. user=mdettweiler [2015-10-04 12:38:30] 717*2^1411005-1 is not prime. Res64: 12D5E9A9076F19E1 Time : 0.0 sec. user=mdettweiler [2015-10-04 12:38:50] 787*2^1411005-1 is not prime. Res64: E7ABDE38C7E14A89 Time : 0.0 sec. user=mdettweiler [2015-10-04 12:38:50] 861*2^1411005-1 is not prime. Res64: 1BE640CC557BBDD8 Time : 0.0 sec. user=mdettweiler [2015-10-04 12:53:58] 877*2^1411005-1 is not prime. Res64: 036013FC01A1AF08 Time : 0.0 sec. user=mdettweiler [2015-10-04 12:53:58] 889*2^1411005-1 is not prime. Res64: 674F81BBBF2FAD9C Time : 0.0 sec. user=mdettweiler [2015-10-04 12:56:07] 955*2^1411005-1 is not prime. Res64: FC419C2262A42538 Time : 0.0 sec. user=mdettweiler [2015-10-04 12:56:07] 997*2^1411005-1 is not prime. Res64: 7E70517EF287EAC8 Time : 0.0 sec. user=mdettweiler [2015-10-04 12:56:10] 999*2^1411005-1 is not prime. Res64: BFC5530F9A2297E5 Time : 0.0 sec. user=mdettweiler [2015-10-04 12:56:10] 713*2^1411006-1 is not prime. Res64: D511EE1DCC2E4355 Time : 0.0 sec. user=mdettweiler [2015-10-04 12:56:40] 777*2^1411006-1 is not prime. Res64: FDE6228CE26B46C4 Time : 0.0 sec. user=mdettweiler [2015-10-04 12:56:40] 857*2^1411006-1 is not prime. Res64: C012419238995794 Time : 0.0 sec. user=mdettweiler [2015-10-04 13:11:43] 891*2^1411006-1 is not prime. Res64: 599ABD6C085480BA Time : 0.0 sec. user=mdettweiler [2015-10-04 13:11:44] 897*2^1411006-1 is not prime. Res64: 80401945210CAC6D Time : 0.0 sec. user=mdettweiler [2015-10-04 13:13:58] 911*2^1411006-1 is not prime. Res64: 4F055A4A0589A3B3 Time : 0.0 sec. user=mdettweiler [2015-10-04 13:13:59] 603*2^1411007-1 is not prime. Res64: FD8C73E087702A24 Time : 0.0 sec. user=mdettweiler [2015-10-04 13:14:06] 609*2^1411007-1 is not prime. Res64: 8AD641AEBC1C97F8 Time : 0.0 sec. user=mdettweiler [2015-10-04 13:14:06] 615*2^1411007-1 is not prime. Res64: 2983AF5CEAB698C8 Time : 0.0 sec. user=mdettweiler [2015-10-04 13:14:35] 663*2^1411007-1 is not prime. Res64: 59CD53BBB32A936E Time : 0.0 sec. user=mdettweiler [2015-10-04 13:14:36] 685*2^1411007-1 is not prime. Res64: FB3B1B6E81B9DA56 Time : 0.0 sec. user=mdettweiler [2015-10-04 13:29:33] 705*2^1411007-1 is not prime. Res64: E381C846FA57CA8E Time : 0.0 sec. user=mdettweiler [2015-10-04 13:29:33] 739*2^1411007-1 is not prime. Res64: EA6769B5D0CCFE65 Time : 0.0 sec. user=mdettweiler [2015-10-04 13:31:54] 871*2^1411007-1 is not prime. Res64: 7AA3B5C9A035B61F Time : 0.0 sec. user=mdettweiler [2015-10-04 13:31:55] 879*2^1411007-1 is not prime. Res64: 7D5E65CECF966008 Time : 0.0 sec. user=mdettweiler [2015-10-04 13:31:57] 945*2^1411007-1 is not prime. Res64: 545A33E01942B756 Time : 0.0 sec. user=mdettweiler [2015-10-04 13:31:57] 789*2^1411008-1 is not prime. Res64: EC5EF66C4E783622 Time : 0.0 sec. user=mdettweiler [2015-10-04 13:32:30] 839*2^1411008-1 is not prime. Res64: BEC2CB201DFDEC6E Time : 0.0 sec. user=mdettweiler [2015-10-04 13:32:31] 905*2^1411008-1 is not prime. Res64: 39198B32417412B9 Time : 0.0 sec. user=mdettweiler [2015-10-04 13:47:23] 947*2^1411008-1 is not prime. Res64: 17C2579D1FC04E4B Time : 0.0 sec. user=mdettweiler [2015-10-04 13:47:23] 729*2^1411009-1 is not prime. Res64: 3F7CD83188A11601 Time : 0.0 sec. user=mdettweiler [2015-10-04 13:49:48] 741*2^1411009-1 is not prime. Res64: 94FB50A6598ACA51 Time : 0.0 sec. user=mdettweiler [2015-10-04 13:49:48] 747*2^1411009-1 is not prime. Res64: 1E79484A72CB2E6C Time : 0.0 sec. user=mdettweiler [2015-10-04 13:49:51] 623*2^1411010-1 is not prime. Res64: 266850B1940BC9D5 Time : 0.0 sec. user=mdettweiler [2015-10-04 13:49:51] 641*2^1411010-1 is not prime. Res64: 854F9B6661186DFA Time : 0.0 sec. user=mdettweiler [2015-10-04 13:50:29] 645*2^1411010-1 is not prime. Res64: 95F6C1E01253A203 Time : 0.0 sec. user=mdettweiler [2015-10-04 13:50:29] 735*2^1411010-1 is not prime. Res64: EC9A5937594F1E90 Time : 0.0 sec. user=mdettweiler [2015-10-04 14:05:15] 801*2^1411010-1 is not prime. Res64: E8D2F1FF755D298E Time : 0.0 sec. user=mdettweiler [2015-10-04 14:05:16] 845*2^1411010-1 is not prime. Res64: 1259C59F9B0D3D40 Time : 0.0 sec. user=mdettweiler [2015-10-04 14:07:34] 609*2^1411011-1 is not prime. Res64: 84AB227138CA6457 Time : 0.0 sec. user=mdettweiler [2015-10-04 14:07:35] 625*2^1411011-1 is not prime. Res64: BDCC89F2B39BEE3D Time : 0.0 sec. user=mdettweiler [2015-10-04 14:07:35] 751*2^1411011-1 is not prime. Res64: EE6544F67AC38791 Time : 0.0 sec. user=mdettweiler [2015-10-04 14:07:35] 801*2^1411011-1 is not prime. Res64: 6F7951BA41DD1567 Time : 0.0 sec. user=mdettweiler [2015-10-04 14:08:39] 955*2^1411011-1 is not prime. Res64: 088F517BDBA21D43 Time : 0.0 sec. user=mdettweiler [2015-10-04 14:08:40] 629*2^1411012-1 is not prime. Res64: AEFAB168C5FE7830 Time : 0.0 sec. user=mdettweiler [2015-10-04 14:23:14] 653*2^1411012-1 is not prime. Res64: 462B42FFC790D302 Time : 0.0 sec. user=mdettweiler [2015-10-04 14:23:14] 657*2^1411012-1 is not prime. Res64: 73906E40B23773D4 Time : 0.0 sec. user=mdettweiler [2015-10-04 14:25:18] 819*2^1411012-1 is not prime. Res64: FE39182EDE5B38A6 Time : 0.0 sec. user=mdettweiler [2015-10-04 14:25:18] 995*2^1411012-1 is not prime. Res64: BBFAC7AF68C0AB40 Time : 0.0 sec. user=mdettweiler [2015-10-04 14:25:22] 735*2^1411012-1 is not prime. Res64: A6991A3FEFE0D37C Time : 0.0 sec. user=mdettweiler [2015-10-04 14:25:23] 759*2^1411012-1 is not prime. Res64: A5FBFC2C4C7D10C1 Time : 0.0 sec. user=mdettweiler [2015-10-04 14:26:25] 651*2^1411013-1 is not prime. Res64: BB6DAAC50FAE1049 Time : 0.0 sec. user=mdettweiler [2015-10-04 14:26:26] 675*2^1411013-1 is not prime. Res64: 8D49C54586FA72F3 Time : 0.0 sec. user=mdettweiler [2015-10-04 14:41:05] 771*2^1411013-1 is not prime. Res64: BE384E5CA52E74D0 Time : 0.0 sec. user=mdettweiler [2015-10-04 14:41:05] 801*2^1411013-1 is not prime. Res64: 2308E2AC5F01A469 Time : 0.0 sec. user=mdettweiler [2015-10-04 14:43:02] 819*2^1411013-1 is not prime. Res64: A324CB87C7A7658D Time : 0.0 sec. user=mdettweiler [2015-10-04 14:43:02] 711*2^1411014-1 is not prime. Res64: 20918795EAE2C14C Time : 0.0 sec. user=mdettweiler [2015-10-04 14:43:06] 851*2^1411014-1 is not prime. Res64: A3D72BFD57508562 Time : 0.0 sec. user=mdettweiler [2015-10-04 14:43:06] 893*2^1411014-1 is not prime. Res64: 93D9B82740AF51DE Time : 0.0 sec. user=mdettweiler [2015-10-04 14:44:20] 951*2^1411014-1 is not prime. Res64: 23E3A2E2BCF6146E Time : 0.0 sec. user=mdettweiler [2015-10-04 14:44:21] 971*2^1411014-1 is not prime. Res64: 12D18C35647BDEA3 Time : 0.0 sec. user=mdettweiler [2015-10-04 14:58:48] 763*2^1411015-1 is not prime. Res64: F9CE0B2F92910009 Time : 0.0 sec. user=mdettweiler [2015-10-04 14:58:48] 805*2^1411015-1 is not prime. Res64: CA0088AD33683A38 Time : 0.0 sec. user=mdettweiler [2015-10-04 15:00:37] 885*2^1411015-1 is not prime. Res64: 28C20EF3A7CF6D95 Time : 0.0 sec. user=mdettweiler [2015-10-04 15:00:38] 895*2^1411015-1 is not prime. Res64: 65100FA74E78BFA4 Time : 0.0 sec. user=mdettweiler [2015-10-04 15:00:51] 979*2^1411015-1 is not prime. Res64: D0E25319F8DC36D3 Time : 0.0 sec. user=mdettweiler [2015-10-04 15:00:52] 617*2^1411016-1 is not prime. Res64: 4EBB3C749A054898 Time : 0.0 sec. user=mdettweiler [2015-10-04 15:02:10] 689*2^1411016-1 is not prime. Res64: 4BBBF11EC42CFF7B Time : 0.0 sec. user=mdettweiler [2015-10-04 15:02:11] 693*2^1411016-1 is not prime. Res64: 0FAD99D662C917BA Time : 0.0 sec. user=mdettweiler [2015-10-04 15:16:37] 815*2^1411016-1 is not prime. Res64: DE97293643E37B07 Time : 0.0 sec. user=mdettweiler [2015-10-04 15:16:37] 945*2^1411016-1 is not prime. Res64: 56B20D861C7D656D Time : 0.0 sec. user=mdettweiler [2015-10-04 15:18:33] 983*2^1411016-1 is not prime. Res64: 878D0CE9B96D22D4 Time : 0.0 sec. user=mdettweiler [2015-10-04 15:18:33] 735*2^1411017-1 is not prime. Res64: A6CA78608B549664 Time : 0.0 sec. user=mdettweiler [2015-10-04 15:18:51] 849*2^1411017-1 is not prime. Res64: 2A78E56E95BBA825 Time : 0.0 sec. user=mdettweiler [2015-10-04 15:18:52] 885*2^1411017-1 is not prime. Res64: A989DDA6AAA54C53 Time : 0.0 sec. user=mdettweiler [2015-10-04 15:20:09] 889*2^1411017-1 is not prime. Res64: EB576132DE828E90 Time : 0.0 sec. user=mdettweiler [2015-10-04 15:20:09] 979*2^1411017-1 is not prime. Res64: 8BF6F1D1F5B9983F Time : 0.0 sec. user=mdettweiler [2015-10-04 15:34:28] 623*2^1411018-1 is not prime. Res64: 04A8E39215BB92D9 Time : 0.0 sec. user=mdettweiler [2015-10-04 15:34:29] 663*2^1411018-1 is not prime. Res64: 976F807540008D65 Time : 0.0 sec. user=mdettweiler [2015-10-04 15:36:20] 687*2^1411018-1 is not prime. Res64: 64E5A84AA05CD9E5 Time : 0.0 sec. user=mdettweiler [2015-10-04 15:36:20] 803*2^1411018-1 is not prime. Res64: 26345FAAC49EF607 Time : 0.0 sec. user=mdettweiler [2015-10-04 15:36:37] 995*2^1411018-1 is not prime. Res64: 403684F6281D2E3C Time : 0.0 sec. user=mdettweiler [2015-10-04 15:36:38] 615*2^1411019-1 is not prime. Res64: 00FF798B3B490774 Time : 0.0 sec. user=mdettweiler [2015-10-04 15:37:51] 825*2^1411019-1 is not prime. Res64: 1732C9531F7C508A Time : 0.0 sec. user=mdettweiler [2015-10-04 15:37:51] 861*2^1411019-1 is not prime. Res64: 13066FC6C5568DE0 Time : 0.0 sec. user=mdettweiler [2015-10-04 15:52:18] 885*2^1411019-1 is not prime. Res64: 80053A0EACA8BE66 Time : 0.0 sec. user=mdettweiler [2015-10-04 15:52:18] 921*2^1411019-1 is not prime. Res64: 186007F1060C79D9 Time : 0.0 sec. user=mdettweiler [2015-10-04 15:54:10] 969*2^1411019-1 is not prime. Res64: C065B4AF6E60DF9A Time : 0.0 sec. user=mdettweiler [2015-10-04 15:54:11] 623*2^1411020-1 is not prime. Res64: E901C42A2E4595CC Time : 0.0 sec. user=mdettweiler [2015-10-04 15:54:21] 719*2^1411020-1 is not prime. Res64: DD7C3E6575A61BCC Time : 0.0 sec. user=mdettweiler [2015-10-04 15:54:22] 773*2^1411020-1 is not prime. Res64: BB6E000A96107FAB Time : 0.0 sec. user=mdettweiler [2015-10-04 15:55:38] 779*2^1411020-1 is not prime. Res64: 17CCFAD4F0452630 Time : 0.0 sec. user=mdettweiler [2015-10-04 15:55:39] 789*2^1411020-1 is not prime. Res64: 749466E58C8DD1F5 Time : 0.0 sec. user=mdettweiler [2015-10-04 16:10:09] 795*2^1411020-1 is not prime. Res64: 5D66795CE5493B57 Time : 0.0 sec. user=mdettweiler [2015-10-04 16:10:09] 803*2^1411020-1 is not prime. Res64: 86DD0290C20ECD0D Time : 0.0 sec. user=mdettweiler [2015-10-04 16:11:58] 905*2^1411020-1 is not prime. Res64: AFEAD698311B6C4C Time : 0.0 sec. user=mdettweiler [2015-10-04 16:11:59] 847*2^1411021-1 is not prime. Res64: 521E13AD1E946F8D Time : 0.0 sec. user=mdettweiler [2015-10-04 16:12:15] 901*2^1411021-1 is not prime. Res64: 3C91DFFED872085F Time : 0.0 sec. user=mdettweiler [2015-10-04 16:12:15] 617*2^1411022-1 is not prime. Res64: DA5222F7EB57D529 Time : 0.0 sec. user=mdettweiler [2015-10-04 16:13:19] 635*2^1411022-1 is not prime. Res64: 9251561454FDFB83 Time : 0.0 sec. user=mdettweiler [2015-10-04 16:13:19] 887*2^1411022-1 is not prime. Res64: E6479AABA55B217C Time : 0.0 sec. user=mdettweiler [2015-10-04 16:28:00] 957*2^1411022-1 is not prime. Res64: 4481EAF9843F854E Time : 0.0 sec. user=mdettweiler [2015-10-04 16:28:00] 615*2^1411023-1 is not prime. Res64: DB8DEEB92A2C14BA Time : 0.0 sec. user=mdettweiler [2015-10-04 16:29:43] 621*2^1411023-1 is not prime. Res64: D6B7EBF339CC64B1 Time : 0.0 sec. user=mdettweiler [2015-10-04 16:29:43] 691*2^1411023-1 is not prime. Res64: 1EE8BB16D9938CA4 Time : 0.0 sec. user=mdettweiler [2015-10-04 16:30:08] 825*2^1411023-1 is not prime. Res64: 7EDC02984F92B63F Time : 0.0 sec. user=mdettweiler [2015-10-04 16:30:08] 873*2^1411023-1 is not prime. Res64: B702059E6D9696A9 Time : 0.0 sec. user=mdettweiler [2015-10-04 16:31:01] 891*2^1411023-1 is not prime. Res64: A6502932664D7669 Time : 0.0 sec. user=mdettweiler [2015-10-04 16:31:02] 933*2^1411023-1 is not prime. Res64: 0F5B5100834F50F5 Time : 0.0 sec. user=mdettweiler [2015-10-04 16:45:44] 961*2^1411023-1 is not prime. Res64: 4A44D81CAA18D5F6 Time : 0.0 sec. user=mdettweiler [2015-10-04 16:45:45] 707*2^1411024-1 is not prime. Res64: A5CB72EF8A7D66C4 Time : 0.0 sec. user=mdettweiler [2015-10-04 16:47:26] 717*2^1411024-1 is not prime. Res64: 346B09DC15111620 Time : 0.0 sec. user=mdettweiler [2015-10-04 16:47:27] 765*2^1411024-1 is not prime. Res64: 0D8489F59BC2AE41 Time : 0.0 sec. user=mdettweiler [2015-10-04 16:47:52] 773*2^1411024-1 is not prime. Res64: EC445E935E521FF0 Time : 0.0 sec. user=mdettweiler [2015-10-04 16:47:53] 887*2^1411024-1 is not prime. Res64: C710790281BF80F3 Time : 0.0 sec. user=mdettweiler [2015-10-04 16:48:42] 905*2^1411024-1 is not prime. Res64: 3A47CE53034952C1 Time : 0.0 sec. user=mdettweiler [2015-10-04 16:48:43] 717*2^1411025-1 is not prime. Res64: 59C4A0CF5233A8A1 Time : 0.0 sec. user=mdettweiler [2015-10-04 17:03:31] 781*2^1411025-1 is not prime. Res64: C01EF59F44F880D2 Time : 0.0 sec. user=mdettweiler [2015-10-04 17:03:34] 979*2^1411025-1 is not prime. Res64: C33920E935781E99 Time : 0.0 sec. user=mdettweiler [2015-10-04 17:05:21] 737*2^1411026-1 is not prime. Res64: 5E335E3405CE9A4C Time : 0.0 sec. user=mdettweiler [2015-10-04 17:05:24] 777*2^1411026-1 is not prime. Res64: 952ED485F26E5F86 Time : 0.0 sec. user=mdettweiler [2015-10-04 17:05:30] 861*2^1411026-1 is not prime. Res64: 685C04632F743DF8 Time : 0.0 sec. user=mdettweiler [2015-10-04 17:05:32] 933*2^1411026-1 is not prime. Res64: 442E249F2F295C5B Time : 0.0 sec. user=mdettweiler [2015-10-04 17:06:34] 615*2^1411027-1 is not prime. Res64: 8A55B4DFDBB7FEB6 Time : 0.0 sec. user=mdettweiler [2015-10-04 17:06:36] 691*2^1411027-1 is not prime. Res64: EE99E173079B2F34 Time : 0.0 sec. user=mdettweiler [2015-10-04 17:21:51] 715*2^1411027-1 is not prime. Res64: DD03C1C9C38782C8 Time : 0.0 sec. user=mdettweiler [2015-10-04 17:21:51] 733*2^1411027-1 is not prime. Res64: ED8D106182259FFF Time : 0.0 sec. user=mdettweiler [2015-10-04 17:23:20] 843*2^1411027-1 is not prime. Res64: 5CDE8EC671CF8984 Time : 0.0 sec. user=mdettweiler [2015-10-04 17:23:20] 665*2^1411028-1 is not prime. Res64: 2A890665F7CD79F4 Time : 0.0 sec. user=mdettweiler [2015-10-04 17:23:20] 735*2^1411027-1 is not prime. Res64: 6BC939B5AB6A61E5 Time : 0.0 sec. user=mdettweiler [2015-10-04 17:23:21] 741*2^1411027-1 is not prime. Res64: E47DFBFFDDC6FCEA Time : 0.0 sec. user=mdettweiler [2015-10-04 17:24:30] 827*2^1411028-1 is not prime. Res64: B2C5FDDA2D4D4CB2 Time : 0.0 sec. user=mdettweiler [2015-10-04 17:24:31] 893*2^1411028-1 is not prime. Res64: 6FB5911F2B9BBD43 Time : 0.0 sec. user=mdettweiler [2015-10-04 17:39:42] 899*2^1411028-1 is not prime. Res64: 1D1DCD6A265B8233 Time : 0.0 sec. user=mdettweiler [2015-10-04 17:39:42] 909*2^1411028-1 is not prime. Res64: A8298C8A28BC8E1A Time : 0.0 sec. user=mdettweiler [2015-10-04 17:41:07] 999*2^1411028-1 is not prime. Res64: 840177AFD21A2B82 Time : 0.0 sec. user=mdettweiler [2015-10-04 17:41:07] 621*2^1411029-1 is not prime. Res64: 657CEE86FA5706D2 Time : 0.0 sec. user=mdettweiler [2015-10-04 17:41:22] 735*2^1411029-1 is not prime. Res64: F40B19FBAAA2B245 Time : 0.0 sec. user=mdettweiler [2015-10-04 17:41:22] 829*2^1411029-1 is not prime. Res64: 1CC0FD1B4768647B Time : 0.0 sec. user=mdettweiler [2015-10-04 17:42:18] 895*2^1411029-1 is not prime. Res64: ABDAA9F3C328C058 Time : 0.0 sec. user=mdettweiler [2015-10-04 17:42:18] 919*2^1411029-1 is not prime. Res64: EFA0CD0AD781D4C3 Time : 0.0 sec. user=mdettweiler [2015-10-04 17:57:29] 623*2^1411030-1 is not prime. Res64: 7E02EDB5DD7B1DB4 Time : 0.0 sec. user=mdettweiler [2015-10-04 17:57:30] 635*2^1411030-1 is not prime. Res64: 55615577FE466B88 Time : 0.0 sec. user=mdettweiler [2015-10-04 17:58:52] 765*2^1411030-1 is not prime. Res64: CD54937F47B5AE0D Time : 0.0 sec. user=mdettweiler [2015-10-04 17:58:52] 831*2^1411030-1 is not prime. Res64: 8668737EF811D21A Time : 0.0 sec. user=mdettweiler [2015-10-04 17:59:07] 885*2^1411030-1 is not prime. Res64: 7DBFBA73AA321FB6 Time : 0.0 sec. user=mdettweiler [2015-10-04 17:59:08] 601*2^1411031-1 is not prime. Res64: EBAF6EDCC5957771 Time : 0.0 sec. user=mdettweiler [2015-10-04 18:00:02] 651*2^1411031-1 is not prime. Res64: 2D082F1565877416 Time : 0.0 sec. user=mdettweiler [2015-10-04 18:00:02] 805*2^1411031-1 is not prime. Res64: 06126951263B8556 Time : 0.0 sec. user=mdettweiler [2015-10-04 18:15:41] 813*2^1411031-1 is not prime. Res64: 864E80516585949A Time : 0.0 sec. user=mdettweiler [2015-10-04 18:15:42] 889*2^1411031-1 is not prime. Res64: C62EA576801575DF Time : 0.0 sec. user=mdettweiler [2015-10-04 18:17:12] 909*2^1411031-1 is not prime. Res64: 82E2ED309D363752 Time : 0.0 sec. user=mdettweiler [2015-10-04 18:17:13] 717*2^1411032-1 is not prime. Res64: 50A287027CAAF9F7 Time : 0.0 sec. user=mdettweiler [2015-10-04 18:17:25] 815*2^1411032-1 is not prime. Res64: 028B09A77B797E69 Time : 0.0 sec. user=mdettweiler [2015-10-04 18:17:25] 615*2^1411033-1 is not prime. Res64: FD8D7859C0EE6582 Time : 0.0 sec. user=mdettweiler [2015-10-04 18:18:30] 651*2^1411033-1 is not prime. Res64: 6ADFE2D06BA0749F Time : 0.0 sec. user=mdettweiler [2015-10-04 18:18:30] 789*2^1411033-1 is not prime. Res64: 54C8C3E39034165D Time : 0.0 sec. user=mdettweiler [2015-10-04 18:34:14] 801*2^1411033-1 is not prime. Res64: 0FF7BE1465DE6080 Time : 0.0 sec. user=mdettweiler [2015-10-04 18:34:14] 901*2^1411033-1 is not prime. Res64: 48E1E126E45AF744 Time : 0.0 sec. user=mdettweiler [2015-10-04 18:35:40] 633*2^1411034-1 is not prime. Res64: E3C33FEB10BAB7A6 Time : 0.0 sec. user=mdettweiler [2015-10-04 18:35:40] 657*2^1411034-1 is not prime. Res64: CAE63426711CA136 Time : 0.0 sec. user=mdettweiler [2015-10-04 18:35:41] 825*2^1411034-1 is not prime. Res64: 60B5E66DC0B975D8 Time : 0.0 sec. user=mdettweiler [2015-10-04 18:35:41] 851*2^1411034-1 is not prime. Res64: 2CDDA6ABA006D8B4 Time : 0.0 sec. user=mdettweiler [2015-10-04 18:37:02] 861*2^1411034-1 is not prime. Res64: 4CFA0891D9D0FBF9 Time : 0.0 sec. user=mdettweiler [2015-10-04 18:37:02] 917*2^1411034-1 is not prime. Res64: 2C19E2CB8CD820B3 Time : 0.0 sec. user=mdettweiler [2015-10-04 18:52:19] 923*2^1411034-1 is not prime. Res64: 985B34226B3D0E8A Time : 0.0 sec. user=mdettweiler [2015-10-04 18:52:19] 981*2^1411034-1 is not prime. Res64: 44B1D0857D1B128C Time : 0.0 sec. user=mdettweiler [2015-10-04 18:53:46] 619*2^1411035-1 is not prime. Res64: 4509F3E21487B1D7 Time : 0.0 sec. user=mdettweiler [2015-10-04 18:53:47] 639*2^1411035-1 is not prime. Res64: 1D9EEAA1438396B3 Time : 0.0 sec. user=mdettweiler [2015-10-04 18:53:47] 741*2^1411035-1 is not prime. Res64: 2172A36F3204B0C0 Time : 0.0 sec. user=mdettweiler [2015-10-04 18:53:48] 921*2^1411035-1 is not prime. Res64: 52F0B4A05109C04B Time : 0.0 sec. user=mdettweiler [2015-10-04 18:55:11] 979*2^1411035-1 is not prime. Res64: 5A0F3B4F495F9C45 Time : 0.0 sec. user=mdettweiler [2015-10-04 18:55:11] 755*2^1411036-1 is not prime. Res64: 01F59FD44E7B81C7 Time : 0.0 sec. user=mdettweiler [2015-10-04 19:10:05] 631*2^1411037-1 is not prime. Res64: 942FF75503EBF60D Time : 0.0 sec. user=mdettweiler [2015-10-04 19:10:06] 729*2^1411037-1 is not prime. Res64: AC5494147C33C83F Time : 0.0 sec. user=mdettweiler [2015-10-04 19:11:33] 831*2^1411037-1 is not prime. Res64: 5366FFE104FD9B10 Time : 0.0 sec. user=mdettweiler [2015-10-04 19:11:34] 867*2^1411037-1 is not prime. Res64: 9361EFE0734CE351 Time : 0.0 sec. user=mdettweiler [2015-10-04 19:11:36] 885*2^1411037-1 is not prime. Res64: CD403965EBA70028 Time : 0.0 sec. user=mdettweiler [2015-10-04 19:11:37] 945*2^1411037-1 is not prime. Res64: E5A5EBA1E8C19710 Time : 0.0 sec. user=mdettweiler [2015-10-04 19:12:58] 605*2^1411038-1 is not prime. Res64: 265770FEB2099BBD Time : 0.0 sec. user=mdettweiler [2015-10-04 19:12:59] 615*2^1411038-1 is not prime. Res64: D2B76560DF21E42E Time : 0.0 sec. user=mdettweiler [2015-10-04 19:28:01] 657*2^1411038-1 is not prime. Res64: AC8A0393A9520C8A Time : 0.0 sec. user=mdettweiler [2015-10-04 19:28:01] 677*2^1411038-1 is not prime. Res64: 16096745F82F0A1D Time : 0.0 sec. user=mdettweiler [2015-10-04 19:29:28] 927*2^1411038-1 is not prime. Res64: 01B66736ED2D2C88 Time : 0.0 sec. user=mdettweiler [2015-10-04 19:29:28] 977*2^1411038-1 is not prime. Res64: B49F85CCB280ED81 Time : 0.0 sec. user=mdettweiler [2015-10-04 19:29:28] 993*2^1411038-1 is not prime. Res64: 441B7B5E7E1EC9A8 Time : 0.0 sec. user=mdettweiler [2015-10-04 19:29:28] 729*2^1411039-1 is not prime. Res64: 34C63FF0BE3E891B Time : 0.0 sec. user=mdettweiler [2015-10-04 19:30:53] 855*2^1411039-1 is not prime. Res64: 92D4F9CBE0806FEE Time : 0.0 sec. user=mdettweiler [2015-10-04 19:30:54] 885*2^1411039-1 is not prime. Res64: 92A462279CD12B92 Time : 0.0 sec. user=mdettweiler [2015-10-04 19:45:52] 939*2^1411039-1 is not prime. Res64: 4D2EA8BB0274AEB3 Time : 0.0 sec. user=mdettweiler [2015-10-04 19:45:53] 975*2^1411039-1 is not prime. Res64: 4408C0E9CBAA51C4 Time : 0.0 sec. user=mdettweiler [2015-10-04 19:47:12] 645*2^1411040-1 is not prime. Res64: E609C89EF36ECDF1 Time : 0.0 sec. user=mdettweiler [2015-10-04 19:47:12] 665*2^1411040-1 is not prime. Res64: 7BAC0DC03F7FC027 Time : 0.0 sec. user=mdettweiler [2015-10-04 19:47:16] 735*2^1411040-1 is not prime. Res64: 9CF4E6BA71970C08 Time : 0.0 sec. user=mdettweiler [2015-10-04 19:47:16] 759*2^1411040-1 is not prime. Res64: 0BCCFB61F7234F06 Time : 0.0 sec. user=mdettweiler [2015-10-04 19:48:44] 959*2^1411040-1 is not prime. Res64: EC248AFD4316026D Time : 0.0 sec. user=mdettweiler [2015-10-04 19:48:44] 963*2^1411040-1 is not prime. Res64: B907BE6A230A5E10 Time : 0.0 sec. user=mdettweiler [2015-10-04 20:03:50] 983*2^1411040-1 is not prime. Res64: B6F9C4BE35A9BBF6 Time : 0.0 sec. user=mdettweiler [2015-10-04 20:03:51] 649*2^1411041-1 is not prime. Res64: 071B94CE6B4AAFC6 Time : 0.0 sec. user=mdettweiler [2015-10-04 20:05:00] 711*2^1411041-1 is not prime. Res64: 51F4038C3F8D2A2B Time : 0.0 sec. user=mdettweiler [2015-10-04 20:05:01] 741*2^1411041-1 is not prime. Res64: 25DFCADDB4965167 Time : 0.0 sec. user=mdettweiler [2015-10-04 20:05:14] 861*2^1411041-1 is not prime. Res64: 96B854A5D2CE6607 Time : 0.0 sec. user=mdettweiler [2015-10-04 20:05:15] 877*2^1411041-1 is not prime. Res64: 1F2291FBE9E717A9 Time : 0.0 sec. user=mdettweiler [2015-10-04 20:06:38] 889*2^1411041-1 is not prime. Res64: 8609F785D868BF0C Time : 0.0 sec. user=mdettweiler [2015-10-04 20:06:39] 969*2^1411041-1 is not prime. Res64: 3E9C9EBFC9727DCF Time : 0.0 sec. user=mdettweiler [2015-10-04 20:22:59] 987*2^1411041-1 is not prime. Res64: A1B21AF20C2AA1A2 Time : 0.0 sec. user=mdettweiler [2015-10-04 20:22:59] 611*2^1411042-1 is not prime. Res64: 085EC6DC5AFEA389 Time : 0.0 sec. user=mdettweiler [2015-10-04 20:23:41] 665*2^1411042-1 is not prime. Res64: C53C53B7926BAE52 Time : 0.0 sec. user=mdettweiler [2015-10-04 20:23:42] 681*2^1411042-1 is not prime. Res64: A346E4FC833A6288 Time : 0.0 sec. user=mdettweiler [2015-10-04 20:24:03] 701*2^1411042-1 is not prime. Res64: 387A58A5E920C030 Time : 0.0 sec. user=mdettweiler [2015-10-04 20:24:04] 723*2^1411042-1 is not prime. Res64: BFC4E50982380880 Time : 0.0 sec. user=mdettweiler [2015-10-04 20:25:30] 815*2^1411042-1 is not prime. Res64: 3A570FB1AD4A896C Time : 0.0 sec. user=mdettweiler [2015-10-04 20:25:31] 915*2^1411042-1 is not prime. Res64: 2EDD6EEE80FD9FE4 Time : 0.0 sec. user=mdettweiler [2015-10-04 20:41:55] 923*2^1411042-1 is not prime. Res64: D4E0E1D752C5AA0D Time : 0.0 sec. user=mdettweiler [2015-10-04 20:41:55] 995*2^1411042-1 is not prime. Res64: 524CD83A56E83830 Time : 0.0 sec. user=mdettweiler [2015-10-04 20:43:03] 609*2^1411043-1 is not prime. Res64: ED5BA7973DFD3244 Time : 0.0 sec. user=mdettweiler [2015-10-04 20:43:03] 745*2^1411043-1 is not prime. Res64: F810A9646E3BC70B Time : 0.0 sec. user=mdettweiler [2015-10-04 20:43:03] 771*2^1411043-1 is not prime. Res64: BBE70E5EDCAA21CD Time : 0.0 sec. user=mdettweiler [2015-10-04 20:43:04] 871*2^1411043-1 is not prime. Res64: CB86B266DBC92FE3 Time : 0.0 sec. user=mdettweiler [2015-10-04 20:44:34] 945*2^1411043-1 is not prime. Res64: C42A9406F22824D0 Time : 0.0 sec. user=mdettweiler [2015-10-04 20:44:34] 719*2^1411044-1 is not prime. Res64: 5E2E7F0E3FCD582A Time : 0.0 sec. user=mdettweiler [2015-10-04 21:00:27] 783*2^1411044-1 is not prime. Res64: CCBAD7190F6D32D9 Time : 0.0 sec. user=mdettweiler [2015-10-04 21:00:28] 927*2^1411044-1 is not prime. Res64: 6AE8EADD6FF51937 Time : 0.0 sec. user=mdettweiler [2015-10-04 21:01:23] 651*2^1411045-1 is not prime. Res64: FC31AAA76722E501 Time : 0.0 sec. user=mdettweiler [2015-10-04 21:01:24] 741*2^1411045-1 is not prime. Res64: C18E8EBB72E0C27D Time : 0.0 sec. user=mdettweiler [2015-10-04 21:01:34] 751*2^1411045-1 is not prime. Res64: BAD24018EF3C388D Time : 0.0 sec. user=mdettweiler [2015-10-04 21:01:34] 657*2^1411046-1 is not prime. Res64: D233C0D60A0AE25E Time : 0.0 sec. user=mdettweiler [2015-10-04 21:02:44] 743*2^1411046-1 is not prime. Res64: 6ED4B0DE102F2FAE Time : 0.0 sec. user=mdettweiler [2015-10-04 21:02:45] 755*2^1411046-1 is not prime. Res64: 897C0382E5016C8C Time : 0.0 sec. user=mdettweiler [2015-10-04 21:18:28] 825*2^1411046-1 is not prime. Res64: 8C2F92AE4A9770AF Time : 0.0 sec. user=mdettweiler [2015-10-04 21:18:29] 831*2^1411046-1 is not prime. Res64: AC8769A74FA9E238 Time : 0.0 sec. user=mdettweiler [2015-10-04 21:19:18] 867*2^1411046-1 is not prime. Res64: B67A247A052D4A78 Time : 0.0 sec. user=mdettweiler [2015-10-04 21:19:19] 1001*2^1411046-1 is not prime. Res64: 49111F3569BE5CE6 Time : 0.0 sec. user=mdettweiler [2015-10-04 21:19:30] 601*2^1411047-1 is not prime. Res64: 36FB34E669DAC0BB Time : 0.0 sec. user=mdettweiler [2015-10-04 21:19:31] 639*2^1411047-1 is not prime. Res64: A52B4A2CE8E584AC Time : 0.0 sec. user=mdettweiler [2015-10-04 21:20:43] 651*2^1411047-1 is not prime. Res64: EF35EF3F3D5AF191 Time : 0.0 sec. user=mdettweiler [2015-10-04 21:20:43] 741*2^1411047-1 is not prime. Res64: 59F85EBFBCF90E7E Time : 0.0 sec. user=mdettweiler [2015-10-04 21:36:15] 751*2^1411047-1 is not prime. Res64: 7344D112923BF7B9 Time : 0.0 sec. user=mdettweiler [2015-10-04 21:36:16] 861*2^1411047-1 is not prime. Res64: EECAA0F2708EC784 Time : 0.0 sec. user=mdettweiler [2015-10-04 21:37:11] 635*2^1411048-1 is not prime. Res64: E28CB835BBD6F81F Time : 0.0 sec. user=mdettweiler [2015-10-04 21:37:12] 687*2^1411048-1 is not prime. Res64: 490998F9893E59A6 Time : 0.0 sec. user=mdettweiler [2015-10-04 21:37:19] 765*2^1411048-1 is not prime. Res64: 9160C1EB56FDA427 Time : 0.0 sec. user=mdettweiler [2015-10-04 21:37:19] 813*2^1411048-1 is not prime. Res64: 962A90293739D537 Time : 0.0 sec. user=mdettweiler [2015-10-04 21:38:31] 855*2^1411048-1 is not prime. Res64: 2F59BB1E88EC83B6 Time : 0.0 sec. user=mdettweiler [2015-10-04 21:38:32] 869*2^1411048-1 is not prime. Res64: 0D4671C33E3940EA Time : 0.0 sec. user=mdettweiler [2015-10-04 21:54:01] 745*2^1411049-1 is not prime. Res64: B945F07D76475C6A Time : 0.0 sec. user=mdettweiler [2015-10-04 21:54:02] 795*2^1411049-1 is not prime. Res64: D0696331F2610F3A Time : 0.0 sec. user=mdettweiler [2015-10-04 21:55:01] 885*2^1411049-1 is not prime. Res64: 6B975B2DAE47C24E Time : 0.0 sec. user=mdettweiler [2015-10-04 21:55:01] 651*2^1411050-1 is not prime. Res64: 81B133B3B8691249 Time : 0.0 sec. user=mdettweiler [2015-10-04 21:55:08] 665*2^1411050-1 is not prime. Res64: 480A9B7AB994435A Time : 0.0 sec. user=mdettweiler [2015-10-04 21:55:09] 713*2^1411050-1 is not prime. Res64: AE22B29DA9181B29 Time : 0.0 sec. user=mdettweiler [2015-10-04 21:56:28] 741*2^1411050-1 is not prime. Res64: 3B15D03C334B6CBF Time : 0.0 sec. user=mdettweiler [2015-10-04 21:56:28] 773*2^1411050-1 is not prime. Res64: FE9039455BAB327B Time : 0.0 sec. user=mdettweiler [2015-10-04 22:11:50] 845*2^1411050-1 is not prime. Res64: C414B388DC802491 Time : 0.0 sec. user=mdettweiler [2015-10-04 22:11:50] 873*2^1411050-1 is not prime. Res64: 531EABC4B8DC8AED Time : 0.0 sec. user=mdettweiler [2015-10-04 22:12:58] 663*2^1411051-1 is not prime. Res64: 5F205480F6BEBFB1 Time : 0.0 sec. user=mdettweiler [2015-10-04 22:12:59] 673*2^1411051-1 is not prime. Res64: 1BC79F146D9433F0 Time : 0.0 sec. user=mdettweiler [2015-10-04 22:12:59] 905*2^1411050-1 is not prime. Res64: DE5340AFC1A2111A Time : 0.0 sec. user=mdettweiler [2015-10-04 22:12:59] 951*2^1411050-1 is not prime. Res64: AED332675AC19BBD Time : 0.0 sec. user=mdettweiler [2015-10-04 22:14:17] 805*2^1411051-1 is not prime. Res64: AC5DA8134F086416 Time : 0.0 sec. user=mdettweiler [2015-10-04 22:14:17] 861*2^1411051-1 is not prime. Res64: A72F4394DE3F4EB8 Time : 0.0 sec. user=mdettweiler [2015-10-04 22:29:42] 885*2^1411051-1 is not prime. Res64: D5956191545CBBA0 Time : 0.0 sec. user=mdettweiler [2015-10-04 22:29:43] 943*2^1411051-1 is not prime. Res64: A6A75C82286E191E Time : 0.0 sec. user=mdettweiler [2015-10-04 22:30:47] 803*2^1411052-1 is not prime. Res64: 1B879106E5D15AE9 Time : 0.0 sec. user=mdettweiler [2015-10-04 22:30:48] 837*2^1411052-1 is not prime. Res64: 3CCDC680411A7BE6 Time : 0.0 sec. user=mdettweiler [2015-10-04 22:30:57] 767*2^1411052-1 is not prime. Res64: 51C5F9B1ACB3D6B9 Time : 0.0 sec. user=mdettweiler [2015-10-04 22:30:57] 785*2^1411052-1 is not prime. Res64: 89FFE761501EDC24 Time : 0.0 sec. user=mdettweiler [2015-10-04 22:32:22] 857*2^1411052-1 is not prime. Res64: A732888FF33ACE54 Time : 0.0 sec. user=mdettweiler [2015-10-04 22:32:22] 873*2^1411052-1 is not prime. Res64: 4C5EECB19E0530FA Time : 0.0 sec. user=mdettweiler [2015-10-04 22:47:37] 899*2^1411052-1 is not prime. Res64: CDF2048E712C4848 Time : 0.0 sec. user=mdettweiler [2015-10-04 22:47:37] 977*2^1411052-1 is not prime. Res64: 3F7CC562BC98DA7A Time : 0.0 sec. user=mdettweiler [2015-10-04 22:48:41] 817*2^1411053-1 is not prime. Res64: AF89C88BA48E26A4 Time : 0.0 sec. user=mdettweiler [2015-10-04 22:48:41] 819*2^1411053-1 is not prime. Res64: 94CD2EA92732DF33 Time : 0.0 sec. user=mdettweiler [2015-10-04 22:48:55] 885*2^1411053-1 is not prime. Res64: BCDA70A5643D9A91 Time : 0.0 sec. user=mdettweiler [2015-10-04 22:48:56] 891*2^1411053-1 is not prime. Res64: AFF0E40B753B1259 Time : 0.0 sec. user=mdettweiler [2015-10-04 22:50:20] 895*2^1411053-1 is not prime. Res64: 7776E3783CB32798 Time : 0.0 sec. user=mdettweiler [2015-10-04 22:50:21] 937*2^1411053-1 is not prime. Res64: A71FBF48A6127342 Time : 0.0 sec. user=mdettweiler [2015-10-04 23:05:37] 949*2^1411053-1 is not prime. Res64: 1EF54491AC3C92DF Time : 0.0 sec. user=mdettweiler [2015-10-04 23:05:38] 987*2^1411053-1 is not prime. Res64: BEDB853038C2A707 Time : 0.0 sec. user=mdettweiler [2015-10-04 23:06:41] 657*2^1411054-1 is not prime. Res64: D93067EEC43174A8 Time : 0.0 sec. user=mdettweiler [2015-10-04 23:06:42] 671*2^1411054-1 is not prime. Res64: 4E86BB556CB603A7 Time : 0.0 sec. user=mdettweiler [2015-10-04 23:06:50] 687*2^1411054-1 is not prime. Res64: F92179A1CF26B83C Time : 0.0 sec. user=mdettweiler [2015-10-04 23:06:50] 773*2^1411054-1 is not prime. Res64: 839909CD30127640 Time : 0.0 sec. user=mdettweiler [2015-10-04 23:08:16] 833*2^1411054-1 is not prime. Res64: A6567830AE666F6A Time : 0.0 sec. user=mdettweiler [2015-10-04 23:08:17] 887*2^1411054-1 is not prime. Res64: 223C95FC12EB9D28 Time : 0.0 sec. user=mdettweiler [2015-10-04 23:23:42] 611*2^1410742-1 is not prime. Res64: 071B984BEB5E90F5 Time : 0.0 sec. user=mdettweiler [2015-10-04 23:23:43] 923*2^1411054-1 is not prime. Res64: 5A2D820956A04E5B Time : 0.0 sec. user=mdettweiler [2015-10-04 23:24:24] 971*2^1411054-1 is not prime. Res64: 66F385CB69EC9B95 Time : 0.0 sec. user=mdettweiler [2015-10-04 23:24:24] 649*2^1411055-1 is not prime. Res64: D546EFAA57C7B7B2 Time : 0.0 sec. user=mdettweiler [2015-10-04 23:24:44] 753*2^1411055-1 is not prime. Res64: 3FF612625B00A284 Time : 0.0 sec. user=mdettweiler [2015-10-04 23:24:44] 843*2^1411055-1 is not prime. Res64: B0FCEEEF1C9A23C5 Time : 0.0 sec. user=mdettweiler [2015-10-04 23:26:12] 861*2^1411055-1 is not prime. Res64: 903184251475DBC9 Time : 0.0 sec. user=mdettweiler [2015-10-04 23:26:12] 943*2^1411055-1 is not prime. Res64: 521A4BECE32F1479 Time : 0.0 sec. user=mdettweiler [2015-10-04 23:41:31] 969*2^1411055-1 is not prime. Res64: FF443AD483830449 Time : 0.0 sec. user=mdettweiler [2015-10-04 23:41:31] 981*2^1411055-1 is not prime. Res64: 4CCBBDBB5F13112C Time : 0.0 sec. user=mdettweiler [2015-10-04 23:42:11] 985*2^1411055-1 is not prime. Res64: 22F0964EE6288B1A Time : 0.0 sec. user=mdettweiler [2015-10-04 23:42:12] 689*2^1411056-1 is not prime. Res64: FBEEA6ECE1F9D00F Time : 0.0 sec. user=mdettweiler [2015-10-04 23:42:33] 843*2^1411056-1 is not prime. Res64: F338270E5C1955AC Time : 0.0 sec. user=mdettweiler [2015-10-04 23:42:33] 917*2^1411056-1 is not prime. Res64: E6CC40A9F44AECBA Time : 0.0 sec. user=mdettweiler [2015-10-04 23:43:57] 999*2^1411056-1 is not prime. Res64: EC66BCAECC108A71 Time : 0.0 sec. user=mdettweiler [2015-10-04 23:43:57] 615*2^1411057-1 is not prime. Res64: 0842FDE171FB0A46 Time : 0.0 sec. user=mdettweiler [2015-10-04 23:59:30] 649*2^1411057-1 is not prime. Res64: 1FB6BC9F99301D0B Time : 0.0 sec. user=mdettweiler [2015-10-04 23:59:30] 667*2^1411057-1 is not prime. Res64: 8443C6F773DBB724 Time : 0.0 sec. user=mdettweiler [2015-10-05 00:00:03] 691*2^1411057-1 is not prime. Res64: FDAECEEEBF4462A3 Time : 0.0 sec. user=mdettweiler [2015-10-05 00:00:04] 861*2^1411057-1 is not prime. Res64: AB1E3117F9110907 Time : 0.0 sec. user=mdettweiler [2015-10-05 00:00:25] 871*2^1411057-1 is not prime. Res64: 45915991B5AC94BA Time : 0.0 sec. user=mdettweiler [2015-10-05 00:00:26] 889*2^1411057-1 is not prime. Res64: BCE0F5519FFD6779 Time : 0.0 sec.