user=mdettweiler [2016-10-09 00:19:01] 635*2^1442144-1 is not prime. Res64: 7C6913D7EA5F5E71 Time : 0.0 sec. user=mdettweiler [2016-10-09 00:19:01] 677*2^1442144-1 is not prime. Res64: 4F5015BF68EA8FF0 Time : 0.0 sec. user=mdettweiler [2016-10-09 00:19:02] 747*2^1442144-1 is not prime. Res64: 3E20DC1DB30A90CA Time : 0.0 sec. user=mdettweiler [2016-10-09 00:19:02] 857*2^1442144-1 is not prime. Res64: C15C387AB3233ACD Time : 0.0 sec. user=mdettweiler [2016-10-09 00:19:02] 927*2^1442144-1 is not prime. Res64: A47830E436F359C1 Time : 0.0 sec. user=mdettweiler [2016-10-09 00:19:32] 929*2^1442144-1 is not prime. Res64: 6666B285C440703D Time : 0.0 sec. user=mdettweiler [2016-10-09 00:19:32] 657*2^1442145-1 is not prime. Res64: 1F1586D546F673F9 Time : 0.0 sec. user=mdettweiler [2016-10-09 00:19:33] 739*2^1442145-1 is not prime. Res64: 5F93960A3D6DC556 Time : 0.0 sec. user=mdettweiler [2016-10-09 00:19:33] 787*2^1442145-1 is not prime. Res64: 3CD13375CE1F953D Time : 0.0 sec. user=mdettweiler [2016-10-09 00:19:33] 871*2^1442145-1 is not prime. Res64: 8129F3977E12E5BD Time : 0.0 sec. user=mdettweiler [2016-10-09 00:28:24] 773*2^1442146-1 is not prime. Res64: 0D583AD20FBEBDEB Time : 0.0 sec. user=mdettweiler [2016-10-09 00:28:24] 783*2^1442146-1 is not prime. Res64: 2AEC767D17AC0271 Time : 0.0 sec. user=mdettweiler [2016-10-09 00:28:24] 813*2^1442146-1 is not prime. Res64: 49CFA04459FED235 Time : 0.0 sec. user=mdettweiler [2016-10-09 00:28:24] 855*2^1442146-1 is not prime. Res64: DD6DD9619FDF8B0A Time : 0.0 sec. user=mdettweiler [2016-10-09 00:28:25] 619*2^1442147-1 is not prime. Res64: 79D2AF83B3C79755 Time : 0.0 sec. user=mdettweiler [2016-10-09 00:30:12] 711*2^1442147-1 is not prime. Res64: 8227DAEB08AFFE10 Time : 0.0 sec. user=mdettweiler [2016-10-09 00:30:12] 733*2^1442147-1 is not prime. Res64: 9242545D9779810A Time : 0.0 sec. user=mdettweiler [2016-10-09 00:30:12] 759*2^1442147-1 is not prime. Res64: 1535E430C612E327 Time : 0.0 sec. user=mdettweiler [2016-10-09 00:30:13] 883*2^1442147-1 is not prime. Res64: 3FAEB23A05B8A608 Time : 0.0 sec. user=mdettweiler [2016-10-09 00:30:13] 705*2^1442148-1 is not prime. Res64: 2299FA08491FD661 Time : 0.0 sec. user=mdettweiler [2016-10-09 01:04:35] 867*2^1442148-1 is not prime. Res64: 86843D07A2A8BD0F Time : 0.0 sec. user=mdettweiler [2016-10-09 01:04:36] 621*2^1442149-1 is not prime. Res64: E7C6B7CFB5E37E86 Time : 0.0 sec. user=mdettweiler [2016-10-09 01:04:38] 625*2^1442149-1 is not prime. Res64: 219C2240C9FB7BF2 Time : 0.0 sec. user=mdettweiler [2016-10-09 01:04:40] 769*2^1442149-1 is not prime. Res64: E7EEACB8408FE1A1 Time : 0.0 sec. user=mdettweiler [2016-10-09 01:04:41] 817*2^1442149-1 is not prime. Res64: 03451F4D8589CF3F Time : 0.0 sec. user=mdettweiler [2016-10-09 01:04:58] 829*2^1442149-1 is not prime. Res64: 71E0890FF0E0CDD3 Time : 0.0 sec. user=mdettweiler [2016-10-09 01:04:59] 831*2^1442149-1 is not prime. Res64: 175FF4B3CD2E400B Time : 0.0 sec. user=mdettweiler [2016-10-09 01:05:00] 897*2^1442149-1 is not prime. Res64: A9B4961491B34E2F Time : 0.0 sec. user=mdettweiler [2016-10-09 01:05:01] 951*2^1442149-1 is not prime. Res64: F3712C1162D0D59C Time : 0.0 sec. user=mdettweiler [2016-10-09 01:05:02] 987*2^1442149-1 is not prime. Res64: 6956B3A8C24ABCAE Time : 0.0 sec. user=mdettweiler [2016-10-09 01:13:50] 665*2^1442150-1 is not prime. Res64: 2FBA2316CA11061C Time : 0.0 sec. user=mdettweiler [2016-10-09 01:13:51] 671*2^1442150-1 is not prime. Res64: 91C1AF3191E8CD35 Time : 0.0 sec. user=mdettweiler [2016-10-09 01:13:51] 717*2^1442150-1 is not prime. Res64: ADF3A67A53589E44 Time : 0.0 sec. user=mdettweiler [2016-10-09 01:13:51] 741*2^1442150-1 is not prime. Res64: 5D86D7084B5140DE Time : 0.0 sec. user=mdettweiler [2016-10-09 01:13:52] 785*2^1442150-1 is not prime. Res64: 9900ED28A150EB87 Time : 0.0 sec. user=mdettweiler [2016-10-09 01:15:43] 831*2^1442150-1 is not prime. Res64: C27DC68FB0C3BF03 Time : 0.0 sec. user=mdettweiler [2016-10-09 01:15:43] 867*2^1442150-1 is not prime. Res64: A103665909F8F302 Time : 0.0 sec. user=mdettweiler [2016-10-09 01:15:44] 911*2^1442150-1 is not prime. Res64: 86BA268398AB681F Time : 0.0 sec. user=mdettweiler [2016-10-09 01:15:44] 619*2^1442151-1 is not prime. Res64: E6B15E1274F2B87C Time : 0.0 sec. user=mdettweiler [2016-10-09 01:15:44] 625*2^1442151-1 is not prime. Res64: 1F47148DB6E8C671 Time : 0.0 sec. user=mdettweiler [2016-10-09 01:50:07] 741*2^1442151-1 is not prime. Res64: D494C0D478289B84 Time : 0.0 sec. user=mdettweiler [2016-10-09 01:50:08] 823*2^1442151-1 is not prime. Res64: 308DFC7F67DFCF88 Time : 0.0 sec. user=mdettweiler [2016-10-09 01:50:08] 979*2^1442151-1 is not prime. Res64: BEB6B0D995E4FBA0 Time : 0.0 sec. user=mdettweiler [2016-10-09 01:50:08] 863*2^1442152-1 is not prime. Res64: EA6550ECD8B70289 Time : 0.0 sec. user=mdettweiler [2016-10-09 01:50:08] 939*2^1442152-1 is not prime. Res64: DD6E06002B6AE12D Time : 0.0 sec. user=mdettweiler [2016-10-09 01:50:15] 649*2^1442153-1 is not prime. Res64: 784B89C939090294 Time : 0.0 sec. user=mdettweiler [2016-10-09 01:50:15] 697*2^1442153-1 is not prime. Res64: D1BBCC33F74075B6 Time : 0.0 sec. user=mdettweiler [2016-10-09 01:50:15] 949*2^1442153-1 is not prime. Res64: 42E47ADCB7AA2DEA Time : 0.0 sec. user=mdettweiler [2016-10-09 01:50:16] 951*2^1442153-1 is not prime. Res64: 9BD89F85493B74FB Time : 0.0 sec. user=mdettweiler [2016-10-09 01:50:16] 657*2^1442154-1 is not prime. Res64: 98BD000229BA3800 Time : 0.0 sec. user=mdettweiler [2016-10-09 01:59:26] 671*2^1442154-1 is not prime. Res64: C01A845D4D8B15FB Time : 0.0 sec. user=mdettweiler [2016-10-09 01:59:27] 705*2^1442154-1 is not prime. Res64: 055DACCB3EE20F13 Time : 0.0 sec. user=mdettweiler [2016-10-09 01:59:28] 747*2^1442154-1 is not prime. Res64: BE70D7CD26DB5579 Time : 0.0 sec. user=mdettweiler [2016-10-09 01:59:28] 797*2^1442154-1 is not prime. Res64: A363275B61C5AEDD Time : 0.0 sec. user=mdettweiler [2016-10-09 01:59:28] 833*2^1442154-1 is not prime. Res64: 3C23B1BD45A760EF Time : 0.0 sec. user=mdettweiler [2016-10-09 02:01:07] 875*2^1442154-1 is not prime. Res64: 03153B8761BDCE15 Time : 0.0 sec. user=mdettweiler [2016-10-09 02:01:08] 905*2^1442154-1 is not prime. Res64: 09929B50C9A69BB8 Time : 0.0 sec. user=mdettweiler [2016-10-09 02:01:09] 921*2^1442154-1 is not prime. Res64: A7099AB4249D3336 Time : 0.0 sec. user=mdettweiler [2016-10-09 02:01:11] 619*2^1442155-1 is not prime. Res64: 22885C72EDE34AC8 Time : 0.0 sec. user=mdettweiler [2016-10-09 02:01:12] 679*2^1442155-1 is not prime. Res64: F3A921399B232FD3 Time : 0.0 sec. user=mdettweiler [2016-10-09 02:35:59] 979*2^1442155-1 is not prime. Res64: 7F3CA36537699332 Time : 0.0 sec. user=mdettweiler [2016-10-09 02:36:04] 999*2^1442155-1 is not prime. Res64: 79FF38D78480D54F Time : 0.0 sec. user=mdettweiler [2016-10-09 02:36:05] 765*2^1442155-1 is not prime. Res64: E6270166D377BCB2 Time : 0.0 sec. user=mdettweiler [2016-10-09 02:36:06] 635*2^1442156-1 is not prime. Res64: B4DABBC892CC9265 Time : 0.0 sec. user=mdettweiler [2016-10-09 02:36:06] 657*2^1442156-1 is not prime. Res64: C84B70CAD4EBAEE0 Time : 0.0 sec. user=mdettweiler [2016-10-09 02:36:08] 707*2^1442156-1 is not prime. Res64: 8D91F597D08F6A2A Time : 0.0 sec. user=mdettweiler [2016-10-09 02:36:08] 771*2^1442155-1 is not prime. Res64: EFDF935AE808FAF0 Time : 0.0 sec. user=mdettweiler [2016-10-09 02:36:10] 789*2^1442155-1 is not prime. Res64: 22F61BD04920E98F Time : 0.0 sec. user=mdettweiler [2016-10-09 02:36:12] 853*2^1442155-1 is not prime. Res64: C2736DE6A9F368BF Time : 0.0 sec. user=mdettweiler [2016-10-09 02:36:14] 973*2^1442155-1 is not prime. Res64: 033DDDCAF90A53A0 Time : 0.0 sec. user=mdettweiler [2016-10-09 02:45:14] 743*2^1442156-1 is not prime. Res64: C702987634B27BEB Time : 0.0 sec. user=mdettweiler [2016-10-09 02:45:14] 869*2^1442156-1 is not prime. Res64: AD3BF5EC40B2C1E5 Time : 0.0 sec. user=mdettweiler [2016-10-09 02:45:15] 903*2^1442156-1 is not prime. Res64: F045ACDCFEEF89C3 Time : 0.0 sec. user=mdettweiler [2016-10-09 02:45:15] 923*2^1442156-1 is not prime. Res64: 0492CA60C486C720 Time : 0.0 sec. user=mdettweiler [2016-10-09 02:45:15] 691*2^1442157-1 is not prime. Res64: F5FD7AB56B8230C2 Time : 0.0 sec. user=mdettweiler [2016-10-09 02:47:07] 781*2^1442157-1 is not prime. Res64: FAA2F4F9993CCEBB Time : 0.0 sec. user=mdettweiler [2016-10-09 02:47:07] 837*2^1442157-1 is not prime. Res64: F6688891C70E6362 Time : 0.0 sec. user=mdettweiler [2016-10-09 02:47:07] 867*2^1442157-1 is not prime. Res64: 840F1221734F4F63 Time : 0.0 sec. user=mdettweiler [2016-10-09 02:47:08] 961*2^1442157-1 is not prime. Res64: 8E94EA5AB7589236 Time : 0.0 sec. user=mdettweiler [2016-10-09 02:47:08] 663*2^1442158-1 is not prime. Res64: 07E89B60AE1DF24D Time : 0.0 sec. user=mdettweiler [2016-10-09 03:21:41] 671*2^1442158-1 is not prime. Res64: 8EB134F310934949 Time : 0.0 sec. user=mdettweiler [2016-10-09 03:21:41] 801*2^1442158-1 is not prime. Res64: C7AA9BC7F1DF359B Time : 0.0 sec. user=mdettweiler [2016-10-09 03:21:42] 857*2^1442158-1 is not prime. Res64: BE02671FD6DB9A46 Time : 0.0 sec. user=mdettweiler [2016-10-09 03:21:42] 861*2^1442158-1 is not prime. Res64: 6EFD14CB45666434 Time : 0.0 sec. user=mdettweiler [2016-10-09 03:21:42] 863*2^1442158-1 is not prime. Res64: 01970A91BE9ADB32 Time : 0.0 sec. user=mdettweiler [2016-10-09 03:21:43] 915*2^1442158-1 is not prime. Res64: C9EB51249558DB55 Time : 0.0 sec. user=mdettweiler [2016-10-09 03:21:43] 933*2^1442158-1 is not prime. Res64: B25A4DB3F7CF1CBF Time : 0.0 sec. user=mdettweiler [2016-10-09 03:21:43] 975*2^1442158-1 is not prime. Res64: 85CAD0CAAABB7E15 Time : 0.0 sec. user=mdettweiler [2016-10-09 03:21:44] 987*2^1442158-1 is not prime. Res64: BE23E35200E0DB34 Time : 0.0 sec. user=mdettweiler [2016-10-09 03:21:44] 603*2^1442159-1 is not prime. Res64: 631BD7E59C001AAE Time : 0.0 sec. user=mdettweiler [2016-10-09 03:31:04] 609*2^1442159-1 is not prime. Res64: 0E3E7CB23A362C68 Time : 0.0 sec. user=mdettweiler [2016-10-09 03:31:10] 655*2^1442159-1 is not prime. Res64: CAF7DBECF9AA3898 Time : 0.0 sec. user=mdettweiler [2016-10-09 03:31:14] 753*2^1442159-1 is not prime. Res64: 098D032818F42252 Time : 0.0 sec. user=mdettweiler [2016-10-09 03:31:19] 759*2^1442159-1 is not prime. Res64: 49CAAF856C039F8D Time : 0.0 sec. user=mdettweiler [2016-10-09 03:31:23] 823*2^1442159-1 is not prime. Res64: F46C6B645A776873 Time : 0.0 sec. user=mdettweiler [2016-10-09 03:32:46] 825*2^1442159-1 is not prime. Res64: 304030F42952ECDD Time : 0.0 sec. user=mdettweiler [2016-10-09 03:32:47] 931*2^1442159-1 is not prime. Res64: B191DAC170D9BB1E Time : 0.0 sec. user=mdettweiler [2016-10-09 03:32:50] 693*2^1442160-1 is not prime. Res64: 27BC65FAAFA3D530 Time : 0.0 sec. user=mdettweiler [2016-10-09 03:32:51] 707*2^1442160-1 is not prime. Res64: 937401217874BFA1 Time : 0.0 sec. user=mdettweiler [2016-10-09 03:32:53] 713*2^1442160-1 is not prime. Res64: 369961EBBB0302A6 Time : 0.0 sec. user=mdettweiler [2016-10-09 04:07:20] 773*2^1442160-1 is not prime. Res64: 64A068C1C41FAA0B Time : 0.0 sec. user=mdettweiler [2016-10-09 04:07:22] 797*2^1442160-1 is not prime. Res64: 7656BD94A71B1485 Time : 0.0 sec. user=mdettweiler [2016-10-09 04:07:25] 819*2^1442160-1 is not prime. Res64: 6FF84F7E7E2E03D5 Time : 0.0 sec. user=mdettweiler [2016-10-09 04:07:26] 905*2^1442160-1 is not prime. Res64: F128A968F5EEFFC5 Time : 0.0 sec. user=mdettweiler [2016-10-09 04:07:28] 959*2^1442160-1 is not prime. Res64: FCB4765E1F9A515A Time : 0.0 sec. user=mdettweiler [2016-10-09 04:07:34] 609*2^1442161-1 is not prime. Res64: C679278C4F0DA68F Time : 0.0 sec. user=mdettweiler [2016-10-09 04:07:37] 645*2^1442161-1 is not prime. Res64: 4EDE638AC4A7D482 Time : 0.0 sec. user=mdettweiler [2016-10-09 04:07:41] 801*2^1442161-1 is not prime. Res64: 203D77D49FC8D9B8 Time : 0.0 sec. user=mdettweiler [2016-10-09 04:07:45] 849*2^1442161-1 is not prime. Res64: 130A91A1163C4439 Time : 0.0 sec. user=mdettweiler [2016-10-09 04:07:46] 895*2^1442161-1 is not prime. Res64: ED58208D68BB3603 Time : 0.0 sec. user=mdettweiler [2016-10-09 04:17:19] 939*2^1442161-1 is not prime. Res64: A378E2088D867EC9 Time : 0.0 sec. user=mdettweiler [2016-10-09 04:17:19] 955*2^1442161-1 is not prime. Res64: C9C963E7D747440B Time : 0.0 sec. user=mdettweiler [2016-10-09 04:17:19] 675*2^1442162-1 is not prime. Res64: B794C4A39AF05916 Time : 0.0 sec. user=mdettweiler [2016-10-09 04:17:19] 677*2^1442162-1 is not prime. Res64: EE9E167908C5961A Time : 0.0 sec. user=mdettweiler [2016-10-09 04:17:20] 801*2^1442162-1 is not prime. Res64: FA277A7AFB835309 Time : 0.0 sec. user=mdettweiler [2016-10-09 04:19:14] 903*2^1442162-1 is not prime. Res64: 60C64DC1476B33A5 Time : 0.0 sec. user=mdettweiler [2016-10-09 04:19:14] 921*2^1442162-1 is not prime. Res64: 7C1A5A2FAE5EE996 Time : 0.0 sec. user=mdettweiler [2016-10-09 04:19:15] 625*2^1442163-1 is not prime. Res64: 17843E454E488AF9 Time : 0.0 sec. user=mdettweiler [2016-10-09 04:19:15] 663*2^1442163-1 is not prime. Res64: 7EB914FABF61373C Time : 0.0 sec. user=mdettweiler [2016-10-09 04:19:15] 679*2^1442163-1 is not prime. Res64: 02371C8D07D5887B Time : 0.0 sec. user=mdettweiler [2016-10-09 04:53:29] 991*2^1442163-1 is not prime. Res64: 830AD1DCFF117468 Time : 0.0 sec. user=mdettweiler [2016-10-09 04:53:29] 639*2^1442164-1 is not prime. Res64: 93C34AB49B7E5827 Time : 0.0 sec. user=mdettweiler [2016-10-09 04:53:29] 707*2^1442164-1 is not prime. Res64: 93BFCC1109B722F3 Time : 0.0 sec. user=mdettweiler [2016-10-09 04:53:30] 827*2^1442164-1 is not prime. Res64: 0C16D1C1A1EAAC9B Time : 0.0 sec. user=mdettweiler [2016-10-09 04:53:30] 863*2^1442164-1 is not prime. Res64: E26A5407F5015751 Time : 0.0 sec. user=mdettweiler [2016-10-09 04:53:32] 741*2^1442163-1 is not prime. Res64: E87DAA253BF57FCD Time : 0.0 sec. user=mdettweiler [2016-10-09 04:53:32] 775*2^1442163-1 is not prime. Res64: F8C5A0A91053602E Time : 0.0 sec. user=mdettweiler [2016-10-09 04:53:32] 871*2^1442163-1 is not prime. Res64: F0FF25FF710DFDBA Time : 0.0 sec. user=mdettweiler [2016-10-09 04:53:32] 885*2^1442163-1 is not prime. Res64: 4F8039BBDA1BFFEE Time : 0.0 sec. user=mdettweiler [2016-10-09 04:53:33] 969*2^1442163-1 is not prime. Res64: A287EACEE0D0ECD3 Time : 0.0 sec. user=mdettweiler [2016-10-09 05:02:35] 735*2^1442165-1 is not prime. Res64: A6B22C1126B3726A Time : 0.0 sec. user=mdettweiler [2016-10-09 05:02:36] 759*2^1442165-1 is not prime. Res64: 63F5C9B511732519 Time : 0.0 sec. user=mdettweiler [2016-10-09 05:02:36] 859*2^1442165-1 is not prime. Res64: EF922C2951D8DBBE Time : 0.0 sec. user=mdettweiler [2016-10-09 05:02:37] 939*2^1442165-1 is not prime. Res64: BDB6A2E46589C2A9 Time : 0.0 sec. user=mdettweiler [2016-10-09 05:02:37] 707*2^1442166-1 is not prime. Res64: A7151DBC1D984FF6 Time : 0.0 sec. user=mdettweiler [2016-10-09 05:04:37] 945*2^1442166-1 is not prime. Res64: E92D35F67223C530 Time : 0.0 sec. user=mdettweiler [2016-10-09 05:04:38] 983*2^1442166-1 is not prime. Res64: 4A9BAB1B2EF0B682 Time : 0.0 sec. user=mdettweiler [2016-10-09 05:04:39] 621*2^1442167-1 is not prime. Res64: 0271983AA516733D Time : 0.0 sec. user=mdettweiler [2016-10-09 05:04:39] 625*2^1442167-1 is not prime. Res64: 62F9A5560E5D320F Time : 0.0 sec. user=mdettweiler [2016-10-09 05:04:40] 675*2^1442167-1 is not prime. Res64: 645B470F80068CF6 Time : 0.0 sec. user=mdettweiler [2016-10-09 05:38:47] 735*2^1442167-1 is not prime. Res64: 0127C6851D74BAD4 Time : 0.0 sec. user=mdettweiler [2016-10-09 05:38:47] 759*2^1442167-1 is not prime. Res64: EDDBF6CB1A554317 Time : 0.0 sec. user=mdettweiler [2016-10-09 05:38:48] 765*2^1442167-1 is not prime. Res64: 57793F4418F7E2C3 Time : 0.0 sec. user=mdettweiler [2016-10-09 05:38:48] 871*2^1442167-1 is not prime. Res64: 3B0F44D90CD8444C Time : 0.0 sec. user=mdettweiler [2016-10-09 05:38:48] 925*2^1442167-1 is not prime. Res64: 691F0AFD828EBA51 Time : 0.0 sec. user=mdettweiler [2016-10-09 05:38:48] 635*2^1442168-1 is not prime. Res64: 030CE6AFFEA72A50 Time : 0.0 sec. user=mdettweiler [2016-10-09 05:38:49] 677*2^1442168-1 is not prime. Res64: 239DD96BA686FC31 Time : 0.0 sec. user=mdettweiler [2016-10-09 05:38:49] 747*2^1442168-1 is not prime. Res64: B009B97B2FACEA85 Time : 0.0 sec. user=mdettweiler [2016-10-09 05:38:49] 759*2^1442168-1 is not prime. Res64: DC362FC97F1DFC93 Time : 0.0 sec. user=mdettweiler [2016-10-09 05:38:49] 797*2^1442168-1 is not prime. Res64: 1F8D872130D136BD Time : 0.0 sec. user=mdettweiler [2016-10-09 05:48:02] 827*2^1442168-1 is not prime. Res64: 0607F5870AA43E77 Time : 0.0 sec. user=mdettweiler [2016-10-09 05:48:02] 837*2^1442168-1 is not prime. Res64: 40394E5AF20A4476 Time : 0.0 sec. user=mdettweiler [2016-10-09 05:48:03] 869*2^1442168-1 is not prime. Res64: A35184272161176D Time : 0.0 sec. user=mdettweiler [2016-10-09 05:48:03] 625*2^1442169-1 is not prime. Res64: 6CCF66FF28053783 Time : 0.0 sec. user=mdettweiler [2016-10-09 05:48:03] 727*2^1442169-1 is not prime. Res64: A0FB700CC064D709 Time : 0.0 sec. user=mdettweiler [2016-10-09 05:50:07] 997*2^1442169-1 is not prime. Res64: 1DC9E5A800041D70 Time : 0.0 sec. user=mdettweiler [2016-10-09 05:50:07] 605*2^1442170-1 is not prime. Res64: A79E81CA93BB5B17 Time : 0.0 sec. user=mdettweiler [2016-10-09 05:50:07] 665*2^1442170-1 is not prime. Res64: 26B2F60DCEA7891F Time : 0.0 sec. user=mdettweiler [2016-10-09 05:50:07] 713*2^1442170-1 is not prime. Res64: CE266F15876F52E5 Time : 0.0 sec. user=mdettweiler [2016-10-09 05:50:07] 885*2^1442170-1 is not prime. Res64: 72A8B4D363609F84 Time : 0.0 sec. user=mdettweiler [2016-10-09 06:24:15] 775*2^1442171-1 is not prime. Res64: B0140FE8CC547BBE Time : 0.0 sec. user=mdettweiler [2016-10-09 06:24:15] 805*2^1442171-1 is not prime. Res64: 69D333B968E13B58 Time : 0.0 sec. user=mdettweiler [2016-10-09 06:24:15] 841*2^1442171-1 is not prime. Res64: 9AFDD4BBA1AB47A7 Time : 0.0 sec. user=mdettweiler [2016-10-09 06:24:15] 859*2^1442171-1 is not prime. Res64: 3E3732FCB3037206 Time : 0.0 sec. user=mdettweiler [2016-10-09 06:24:16] 895*2^1442171-1 is not prime. Res64: 37C1F2331024FB1E Time : 0.0 sec. user=mdettweiler [2016-10-09 06:24:17] 993*2^1442171-1 is not prime. Res64: 883B53EEEF091438 Time : 0.0 sec. user=mdettweiler [2016-10-09 06:24:17] 635*2^1442172-1 is not prime. Res64: 19D1D04AD410C066 Time : 0.0 sec. user=mdettweiler [2016-10-09 06:24:17] 669*2^1442172-1 is not prime. Res64: 235875232349A887 Time : 0.0 sec. user=mdettweiler [2016-10-09 06:24:18] 689*2^1442172-1 is not prime. Res64: 782F1ABF3F640341 Time : 0.0 sec. user=mdettweiler [2016-10-09 06:24:18] 695*2^1442172-1 is not prime. Res64: 5C2EDE8C90EFC46F Time : 0.0 sec. user=mdettweiler [2016-10-09 06:33:24] 819*2^1442172-1 is not prime. Res64: 4B91BB173EE2A5C2 Time : 0.0 sec. user=mdettweiler [2016-10-09 06:33:24] 879*2^1442172-1 is not prime. Res64: 8B0FE5237F787A9B Time : 0.0 sec. user=mdettweiler [2016-10-09 06:33:24] 923*2^1442172-1 is not prime. Res64: 9123A66A3288F6FE Time : 0.0 sec. user=mdettweiler [2016-10-09 06:33:24] 933*2^1442172-1 is not prime. Res64: 9D9B7DD7F4D4D0A4 Time : 0.0 sec. user=mdettweiler [2016-10-09 06:33:25] 679*2^1442173-1 is not prime. Res64: FA53511F7D0F4D8D Time : 0.0 sec. user=mdettweiler [2016-10-09 06:35:38] 771*2^1442173-1 is not prime. Res64: 32BC5529BF70DE56 Time : 0.0 sec. user=mdettweiler [2016-10-09 06:35:38] 847*2^1442173-1 is not prime. Res64: 8DFDCE6C87239078 Time : 0.0 sec. user=mdettweiler [2016-10-09 06:35:38] 861*2^1442173-1 is not prime. Res64: 3094D343122C3372 Time : 0.0 sec. user=mdettweiler [2016-10-09 06:35:38] 915*2^1442173-1 is not prime. Res64: D5C7692FB81516DA Time : 0.0 sec. user=mdettweiler [2016-10-09 06:35:39] 627*2^1442174-1 is not prime. Res64: 72AC2178837C4831 Time : 0.0 sec. user=mdettweiler [2016-10-09 07:09:45] 609*2^1442175-1 is not prime. Res64: E3E1CB8DC8CD65C1 Time : 0.0 sec. user=mdettweiler [2016-10-09 07:09:45] 735*2^1442175-1 is not prime. Res64: E0BA69CB71F2E676 Time : 0.0 sec. user=mdettweiler [2016-10-09 07:09:45] 751*2^1442175-1 is not prime. Res64: FEF609A7AC631A75 Time : 0.0 sec. user=mdettweiler [2016-10-09 07:09:46] 823*2^1442175-1 is not prime. Res64: 7BFB3A1C61787BED Time : 0.0 sec. user=mdettweiler [2016-10-09 07:09:46] 979*2^1442175-1 is not prime. Res64: F982676FC7D00019 Time : 0.0 sec. user=mdettweiler [2016-10-09 07:10:01] 677*2^1442174-1 is not prime. Res64: 8EACE58B1F754C22 Time : 0.0 sec. user=mdettweiler [2016-10-09 07:10:02] 693*2^1442174-1 is not prime. Res64: 0BD2FEA290F5E2D5 Time : 0.0 sec. user=mdettweiler [2016-10-09 07:10:02] 711*2^1442174-1 is not prime. Res64: 06873867E7272CD3 Time : 0.0 sec. user=mdettweiler [2016-10-09 07:10:02] 753*2^1442174-1 is not prime. Res64: BBD4AA682247B682 Time : 0.0 sec. user=mdettweiler [2016-10-09 07:10:02] 887*2^1442174-1 is not prime. Res64: 9641F1CA4C3C368B Time : 0.0 sec. user=mdettweiler [2016-10-09 07:18:38] 639*2^1442176-1 is not prime. Res64: 54F5956378A0B727 Time : 0.0 sec. user=mdettweiler [2016-10-09 07:18:38] 845*2^1442176-1 is not prime. Res64: 6488100FB8230295 Time : 0.0 sec. user=mdettweiler [2016-10-09 07:18:38] 857*2^1442176-1 is not prime. Res64: B6A22E7ED0EA3ECF Time : 0.0 sec. user=mdettweiler [2016-10-09 07:18:39] 909*2^1442176-1 is not prime. Res64: D16B55DDBEF72F8F Time : 0.0 sec. user=mdettweiler [2016-10-09 07:18:39] 947*2^1442176-1 is not prime. Res64: 8916202A155D4136 Time : 0.0 sec. user=mdettweiler [2016-10-09 07:21:01] 607*2^1442177-1 is not prime. Res64: AD2E20F267B0CBCC Time : 0.0 sec. user=mdettweiler [2016-10-09 07:21:01] 699*2^1442177-1 is not prime. Res64: C0B4D9E28FDE2462 Time : 0.0 sec. user=mdettweiler [2016-10-09 07:21:01] 729*2^1442177-1 is not prime. Res64: C140AAB3907BCAD9 Time : 0.0 sec. user=mdettweiler [2016-10-09 07:21:01] 889*2^1442177-1 is not prime. Res64: D3DB23E59B406CF4 Time : 0.0 sec. user=mdettweiler [2016-10-09 07:21:02] 605*2^1442178-1 is not prime. Res64: 326DFE94E722533F Time : 0.0 sec. user=mdettweiler [2016-10-09 07:55:11] 933*2^1442178-1 is not prime. Res64: 0526D5FA36DA5EE9 Time : 0.0 sec. user=mdettweiler [2016-10-09 07:55:11] 843*2^1442179-1 is not prime. Res64: 2CB0E0BA4751D18E Time : 0.0 sec. user=mdettweiler [2016-10-09 07:55:11] 855*2^1442179-1 is not prime. Res64: 343CE876448401FB Time : 0.0 sec. user=mdettweiler [2016-10-09 07:55:11] 889*2^1442179-1 is not prime. Res64: 24FDDA7EC369A8C1 Time : 0.0 sec. user=mdettweiler [2016-10-09 07:55:12] 939*2^1442179-1 is not prime. Res64: E40FF9027752F924 Time : 0.0 sec. user=mdettweiler [2016-10-09 07:55:25] 621*2^1442178-1 is not prime. Res64: CD8CA7E1A53064F5 Time : 0.0 sec. user=mdettweiler [2016-10-09 07:55:25] 755*2^1442178-1 is not prime. Res64: 2BE7B94742D5C0BB Time : 0.0 sec. user=mdettweiler [2016-10-09 07:55:25] 773*2^1442178-1 is not prime. Res64: 41012FE5B4BACB9B Time : 0.0 sec. user=mdettweiler [2016-10-09 07:55:25] 803*2^1442178-1 is not prime. Res64: 2B6F7B614DF3646E Time : 0.0 sec. user=mdettweiler [2016-10-09 07:55:25] 893*2^1442178-1 is not prime. Res64: 003C86838997B7A1 Time : 0.0 sec. user=mdettweiler [2016-10-09 08:03:54] 973*2^1442179-1 is not prime. Res64: 6F2BED2FC4CAB8E1 Time : 0.0 sec. user=mdettweiler [2016-10-09 08:03:56] 603*2^1442180-1 is not prime. Res64: F4459B238258E769 Time : 0.0 sec. user=mdettweiler [2016-10-09 08:03:57] 687*2^1442180-1 is not prime. Res64: 79229654CF701EEC Time : 0.0 sec. user=mdettweiler [2016-10-09 08:03:58] 725*2^1442180-1 is not prime. Res64: A2118C534DE4E672 Time : 0.0 sec. user=mdettweiler [2016-10-09 08:04:00] 777*2^1442180-1 is not prime. Res64: 08BA8B8989B1F900 Time : 0.0 sec. user=mdettweiler [2016-10-09 08:06:23] 797*2^1442180-1 is not prime. Res64: 6D239BB4C35434CD Time : 0.0 sec. user=mdettweiler [2016-10-09 08:06:25] 675*2^1442181-1 is not prime. Res64: FF5F67EFB4FB1ABE Time : 0.0 sec. user=mdettweiler [2016-10-09 08:06:26] 679*2^1442181-1 is not prime. Res64: 8D53305F0947B1E4 Time : 0.0 sec. user=mdettweiler [2016-10-09 08:06:27] 741*2^1442181-1 is not prime. Res64: 6586BD0C6F235CA5 Time : 0.0 sec. user=mdettweiler [2016-10-09 08:06:27] 777*2^1442181-1 is not prime. Res64: 41D63B1CDDF95A38 Time : 0.0 sec. user=mdettweiler [2016-10-09 08:40:41] 847*2^1442181-1 is not prime. Res64: 82DD6C9AE483D0BC Time : 0.0 sec. user=mdettweiler [2016-10-09 08:40:41] 861*2^1442181-1 is not prime. Res64: 0C6F4422964CBBD7 Time : 0.0 sec. user=mdettweiler [2016-10-09 08:40:42] 877*2^1442181-1 is not prime. Res64: ED626E7DD51A99F6 Time : 0.0 sec. user=mdettweiler [2016-10-09 08:40:42] 927*2^1442181-1 is not prime. Res64: 17F3BECFE0E2A4E2 Time : 0.0 sec. user=mdettweiler [2016-10-09 08:40:42] 969*2^1442181-1 is not prime. Res64: 0FB48BF1BCACB59D Time : 0.0 sec. user=mdettweiler [2016-10-09 08:40:57] 999*2^1442181-1 is not prime. Res64: EE5A1ACC16E0DD8E Time : 0.0 sec. user=mdettweiler [2016-10-09 08:40:57] 815*2^1442182-1 is not prime. Res64: 8D25E2C6B9F6BC40 Time : 0.0 sec. user=mdettweiler [2016-10-09 08:40:57] 827*2^1442182-1 is not prime. Res64: A89799E2ED02ACE1 Time : 0.0 sec. user=mdettweiler [2016-10-09 08:40:58] 831*2^1442182-1 is not prime. Res64: 476E70A3A4240D4B Time : 0.0 sec. user=mdettweiler [2016-10-09 08:40:58] 863*2^1442182-1 is not prime. Res64: 1E39B138C8BA07D1 Time : 0.0 sec. user=mdettweiler [2016-10-09 08:49:38] 945*2^1442182-1 is not prime. Res64: C5F223DC5D8A4CB8 Time : 0.0 sec. user=mdettweiler [2016-10-09 08:49:39] 633*2^1442183-1 is not prime. Res64: BB799C7D7763BA57 Time : 0.0 sec. user=mdettweiler [2016-10-09 08:49:39] 661*2^1442183-1 is not prime. Res64: 3C428D63DEE9CF7A Time : 0.0 sec. user=mdettweiler [2016-10-09 08:49:39] 669*2^1442183-1 is not prime. Res64: 6F0D2FDE3A544DB5 Time : 0.0 sec. user=mdettweiler [2016-10-09 08:49:39] 675*2^1442183-1 is not prime. Res64: F2729B9B5EA9CF25 Time : 0.0 sec. user=mdettweiler [2016-10-09 08:52:06] 831*2^1442183-1 is not prime. Res64: 768E8619F9194321 Time : 0.0 sec. user=mdettweiler [2016-10-09 08:52:07] 895*2^1442183-1 is not prime. Res64: CA0EDE47D7B7FBD8 Time : 0.0 sec. user=mdettweiler [2016-10-09 08:52:07] 921*2^1442183-1 is not prime. Res64: 99C548BD88127DF7 Time : 0.0 sec. user=mdettweiler [2016-10-09 08:52:07] 627*2^1442184-1 is not prime. Res64: CC32DFC8C8C9FC49 Time : 0.0 sec. user=mdettweiler [2016-10-09 08:52:07] 849*2^1442184-1 is not prime. Res64: 9AE3D6642FED6D85 Time : 0.0 sec. user=mdettweiler [2016-10-09 09:26:25] 917*2^1442184-1 is not prime. Res64: BD782CAB7D05116D Time : 0.0 sec. user=mdettweiler [2016-10-09 09:26:25] 625*2^1442185-1 is not prime. Res64: 70C4F9547796B3DF Time : 0.0 sec. user=mdettweiler [2016-10-09 09:26:26] 649*2^1442185-1 is not prime. Res64: AF5E6E87F2EE000F Time : 0.0 sec. user=mdettweiler [2016-10-09 09:26:26] 759*2^1442185-1 is not prime. Res64: D560005FFDAEFA42 Time : 0.0 sec. user=mdettweiler [2016-10-09 09:26:26] 771*2^1442185-1 is not prime. Res64: 62DEAEE985A296D6 Time : 0.0 sec. user=mdettweiler [2016-10-09 09:26:26] 861*2^1442185-1 is not prime. Res64: 241919526704C0B7 Time : 0.0 sec. user=mdettweiler [2016-10-09 09:26:27] 895*2^1442185-1 is not prime. Res64: EB40F8FDDCD930B0 Time : 0.0 sec. user=mdettweiler [2016-10-09 09:26:27] 641*2^1442186-1 is not prime. Res64: 1A66570EBE48E5BF Time : 0.0 sec. user=mdettweiler [2016-10-09 09:26:27] 657*2^1442186-1 is not prime. Res64: CCF5B1BF109C9411 Time : 0.0 sec. user=mdettweiler [2016-10-09 09:26:27] 707*2^1442186-1 is not prime. Res64: C122363477821764 Time : 0.0 sec. user=mdettweiler [2016-10-09 09:35:06] 923*2^1442186-1 is not prime. Res64: 2C073F6AA0DAC005 Time : 0.0 sec. user=mdettweiler [2016-10-09 09:35:06] 941*2^1442186-1 is not prime. Res64: 51FB6A402C8FD02E Time : 0.0 sec. user=mdettweiler [2016-10-09 09:35:06] 735*2^1442187-1 is not prime. Res64: 4984427826EC3713 Time : 0.0 sec. user=mdettweiler [2016-10-09 09:35:07] 751*2^1442187-1 is not prime. Res64: 293C64C1A3EA242B Time : 0.0 sec. user=mdettweiler [2016-10-09 09:35:07] 805*2^1442187-1 is not prime. Res64: 715D357E867C7B81 Time : 0.0 sec. user=mdettweiler [2016-10-09 09:37:38] 931*2^1442187-1 is not prime. Res64: CB9214E574A33803 Time : 0.0 sec. user=mdettweiler [2016-10-09 09:37:38] 657*2^1442188-1 is not prime. Res64: B4F7038DF74320B5 Time : 0.0 sec. user=mdettweiler [2016-10-09 09:37:39] 677*2^1442188-1 is not prime. Res64: D8A79F264D63E228 Time : 0.0 sec. user=mdettweiler [2016-10-09 09:37:39] 735*2^1442188-1 is not prime. Res64: 2AD9AD70596EAAFB Time : 0.0 sec. user=mdettweiler [2016-10-09 09:37:39] 905*2^1442188-1 is not prime. Res64: D8598C0D3CAA351B Time : 0.0 sec. user=mdettweiler [2016-10-09 10:11:46] 915*2^1442188-1 is not prime. Res64: 74246A3E43D70EBD Time : 0.0 sec. user=mdettweiler [2016-10-09 10:11:47] 927*2^1442188-1 is not prime. Res64: 9CEEF9FACFC41DFE Time : 0.0 sec. user=mdettweiler [2016-10-09 10:11:47] 953*2^1442188-1 is not prime. Res64: E642C9BB2494C742 Time : 0.0 sec. user=mdettweiler [2016-10-09 10:11:47] 957*2^1442188-1 is not prime. Res64: 01A7C592B45657CC Time : 0.0 sec. user=mdettweiler [2016-10-09 10:11:48] 999*2^1442188-1 is not prime. Res64: B7830BDB335EA2D7 Time : 0.0 sec. user=mdettweiler [2016-10-09 10:11:59] 727*2^1442189-1 is not prime. Res64: B92DEFE9F64FABE0 Time : 0.0 sec. user=mdettweiler [2016-10-09 10:11:59] 745*2^1442189-1 is not prime. Res64: 4CD24125028ED91A Time : 0.0 sec. user=mdettweiler [2016-10-09 10:11:59] 787*2^1442189-1 is not prime. Res64: F93025B83337B210 Time : 0.0 sec. user=mdettweiler [2016-10-09 10:11:59] 811*2^1442189-1 is not prime. Res64: BBDCF4E971EC3C58 Time : 0.0 sec. user=mdettweiler [2016-10-09 10:12:00] 825*2^1442189-1 is not prime. Res64: 81575D354F6885DF Time : 0.0 sec. user=mdettweiler [2016-10-09 10:20:43] 885*2^1442189-1 is not prime. Res64: 058155419A7C5573 Time : 0.0 sec. user=mdettweiler [2016-10-09 10:20:43] 939*2^1442189-1 is not prime. Res64: 6D7B7ABF5E2F0511 Time : 0.0 sec. user=mdettweiler [2016-10-09 10:20:44] 957*2^1442189-1 is not prime. Res64: 2D1C48D1852BC0DC Time : 0.0 sec. user=mdettweiler [2016-10-09 10:20:44] 657*2^1442190-1 is not prime. Res64: 588B041B2FED8EC8 Time : 0.0 sec. user=mdettweiler [2016-10-09 10:20:44] 707*2^1442190-1 is not prime. Res64: ECEAF8D3E56D373E Time : 0.0 sec. user=mdettweiler [2016-10-09 10:23:01] 825*2^1442190-1 is not prime. Res64: 3DC92B7A03C5EBD5 Time : 0.0 sec. user=mdettweiler [2016-10-09 10:23:01] 863*2^1442190-1 is not prime. Res64: 1CFD9B83836C2527 Time : 0.0 sec. user=mdettweiler [2016-10-09 10:23:01] 873*2^1442190-1 is not prime. Res64: 1C4CCE0FF1D40E28 Time : 0.0 sec. user=mdettweiler [2016-10-09 10:23:01] 675*2^1442191-1 is not prime. Res64: 9A673BF95C3906FC Time : 0.0 sec. user=mdettweiler [2016-10-09 10:23:01] 703*2^1442191-1 is not prime. Res64: 976CC0CA54358F59 Time : 0.0 sec. user=mdettweiler [2016-10-09 10:57:18] 759*2^1442191-1 is not prime. Res64: AC09115F8361718C Time : 0.0 sec. user=mdettweiler [2016-10-09 10:57:18] 771*2^1442191-1 is not prime. Res64: 685EB3A19558A4E6 Time : 0.0 sec. user=mdettweiler [2016-10-09 10:57:19] 783*2^1442191-1 is not prime. Res64: 9C2AC3A314C89645 Time : 0.0 sec. user=mdettweiler [2016-10-09 10:57:19] 789*2^1442191-1 is not prime. Res64: 8C71FD5049E94F69 Time : 0.0 sec. user=mdettweiler [2016-10-09 10:57:19] 793*2^1442191-1 is not prime. Res64: 82FE374EFDB7B6B2 Time : 0.0 sec. user=mdettweiler [2016-10-09 10:57:22] 819*2^1442191-1 is not prime. Res64: E64291F5A84C415B Time : 0.0 sec. user=mdettweiler [2016-10-09 10:57:22] 855*2^1442191-1 is not prime. Res64: D628BD4539527186 Time : 0.0 sec. user=mdettweiler [2016-10-09 10:57:22] 891*2^1442191-1 is not prime. Res64: 5093B31CBF62F328 Time : 0.0 sec. user=mdettweiler [2016-10-09 10:57:22] 973*2^1442191-1 is not prime. Res64: 4A399469B1D25EDF Time : 0.0 sec. user=mdettweiler [2016-10-09 10:57:22] 633*2^1442192-1 is not prime. Res64: B0B5287785AB9E4A Time : 0.0 sec. user=mdettweiler [2016-10-09 11:06:11] 665*2^1442192-1 is not prime. Res64: 68DED45EFCB1B0DA Time : 0.0 sec. user=mdettweiler [2016-10-09 11:06:12] 689*2^1442192-1 is not prime. Res64: BD89EC58B8522C11 Time : 0.0 sec. user=mdettweiler [2016-10-09 11:06:13] 825*2^1442192-1 is not prime. Res64: 972F04CD1CEDB334 Time : 0.0 sec. user=mdettweiler [2016-10-09 11:06:14] 879*2^1442192-1 is not prime. Res64: 42D68C329376B6D0 Time : 0.0 sec. user=mdettweiler [2016-10-09 11:06:15] 625*2^1442193-1 is not prime. Res64: 9D2462C788B19165 Time : 0.0 sec. user=mdettweiler [2016-10-09 11:08:31] 679*2^1442193-1 is not prime. Res64: EF85FADBA1E9BFA4 Time : 0.0 sec. user=mdettweiler [2016-10-09 11:08:33] 745*2^1442193-1 is not prime. Res64: EDF03CE3BC4390E9 Time : 0.0 sec. user=mdettweiler [2016-10-09 11:08:34] 921*2^1442193-1 is not prime. Res64: 503BD67D502F0707 Time : 0.0 sec. user=mdettweiler [2016-10-09 11:08:35] 621*2^1442194-1 is not prime. Res64: F9C17854A8840218 Time : 0.0 sec. user=mdettweiler [2016-10-09 11:08:36] 747*2^1442194-1 is not prime. Res64: 027465C635E2EB51 Time : 0.0 sec. user=mdettweiler [2016-10-09 11:42:35] 649*2^1442195-1 is not prime. Res64: 1429F5E2D9C532EA Time : 0.0 sec. user=mdettweiler [2016-10-09 11:42:35] 673*2^1442195-1 is not prime. Res64: 83A58452C07B830A Time : 0.0 sec. user=mdettweiler [2016-10-09 11:42:36] 735*2^1442195-1 is not prime. Res64: 5564D4619E00C010 Time : 0.0 sec. user=mdettweiler [2016-10-09 11:42:36] 759*2^1442195-1 is not prime. Res64: 5CF495C6958B4600 Time : 0.0 sec. user=mdettweiler [2016-10-09 11:42:36] 799*2^1442195-1 is not prime. Res64: 299866A109FAD11B Time : 0.0 sec. user=mdettweiler [2016-10-09 11:42:38] 765*2^1442194-1 is not prime. Res64: 4189EF4B73460526 Time : 0.0 sec. user=mdettweiler [2016-10-09 11:42:38] 785*2^1442194-1 is not prime. Res64: 332A1BCBAD0C697E Time : 0.0 sec. user=mdettweiler [2016-10-09 11:42:39] 815*2^1442194-1 is not prime. Res64: 4452803EA10EAADD Time : 0.0 sec. user=mdettweiler [2016-10-09 11:42:39] 619*2^1442195-1 is not prime. Res64: 8434207E07F0CE76 Time : 0.0 sec. user=mdettweiler [2016-10-09 11:42:39] 643*2^1442195-1 is not prime. Res64: 487835C2D95BD6F5 Time : 0.0 sec. user=mdettweiler [2016-10-09 11:51:51] 861*2^1442195-1 is not prime. Res64: A45661208D42ECD8 Time : 0.0 sec. user=mdettweiler [2016-10-09 11:51:51] 883*2^1442195-1 is not prime. Res64: F2B842FC9F9C9F94 Time : 0.0 sec. user=mdettweiler [2016-10-09 11:51:51] 903*2^1442195-1 is not prime. Res64: 01BD81A270A27487 Time : 0.0 sec. user=mdettweiler [2016-10-09 11:51:51] 915*2^1442195-1 is not prime. Res64: CB3D0147E7454CE4 Time : 0.0 sec. user=mdettweiler [2016-10-09 11:51:52] 633*2^1442196-1 is not prime. Res64: C9CBD7FE920D89BB Time : 0.0 sec. user=mdettweiler [2016-10-09 11:54:04] 635*2^1442196-1 is not prime. Res64: AF28F7F1977A657E Time : 0.0 sec. user=mdettweiler [2016-10-09 11:54:04] 657*2^1442196-1 is not prime. Res64: B570C66599E87D80 Time : 0.0 sec. user=mdettweiler [2016-10-09 11:54:05] 789*2^1442196-1 is not prime. Res64: BE5EA1EC655D545D Time : 0.0 sec. user=mdettweiler [2016-10-09 11:54:05] 903*2^1442196-1 is not prime. Res64: C63D4AE031269C8E Time : 0.0 sec. user=mdettweiler [2016-10-09 11:54:05] 933*2^1442196-1 is not prime. Res64: EA07F93AF6DE7B2C Time : 0.0 sec. user=mdettweiler [2016-10-09 12:28:51] 601*2^1442197-1 is not prime. Res64: FE76097365D89EF5 Time : 0.0 sec. user=mdettweiler [2016-10-09 12:28:51] 661*2^1442197-1 is not prime. Res64: 5289116B6E8A180E Time : 0.0 sec. user=mdettweiler [2016-10-09 12:28:52] 687*2^1442197-1 is not prime. Res64: 1BF09419BE9913E0 Time : 0.0 sec. user=mdettweiler [2016-10-09 12:28:52] 729*2^1442197-1 is not prime. Res64: C0B4288EA4467E7E Time : 0.0 sec. user=mdettweiler [2016-10-09 12:28:52] 747*2^1442197-1 is not prime. Res64: F9F4582776C1569B Time : 0.0 sec. user=mdettweiler [2016-10-09 12:28:55] 835*2^1442197-1 is not prime. Res64: 17891DA8B894DDD4 Time : 0.0 sec. user=mdettweiler [2016-10-09 12:28:56] 849*2^1442197-1 is not prime. Res64: 8F77AEC2109F8B5A Time : 0.0 sec. user=mdettweiler [2016-10-09 12:28:56] 671*2^1442198-1 is not prime. Res64: 9AD25FDD6E1CC890 Time : 0.0 sec. user=mdettweiler [2016-10-09 12:28:56] 713*2^1442198-1 is not prime. Res64: 9ABD2AA1ED472D2E Time : 0.0 sec. user=mdettweiler [2016-10-09 12:28:57] 815*2^1442198-1 is not prime. Res64: 2292E4D03C2205A1 Time : 0.0 sec. user=mdettweiler [2016-10-09 12:38:16] 843*2^1442198-1 is not prime. Res64: 10845521E67B19F6 Time : 0.0 sec. user=mdettweiler [2016-10-09 12:38:17] 911*2^1442198-1 is not prime. Res64: 552F757E962058DE Time : 0.0 sec. user=mdettweiler [2016-10-09 12:38:17] 963*2^1442198-1 is not prime. Res64: 78217D2C7E49374A Time : 0.0 sec. user=mdettweiler [2016-10-09 12:38:17] 987*2^1442198-1 is not prime. Res64: 5A9C32560731C40A Time : 0.0 sec. user=mdettweiler [2016-10-09 12:38:17] 693*2^1442199-1 is not prime. Res64: 7F44F82C7D39444D Time : 0.0 sec. user=mdettweiler [2016-10-09 12:40:28] 741*2^1442199-1 is not prime. Res64: 28DC15CA6263EBEA Time : 0.0 sec. user=mdettweiler [2016-10-09 12:40:29] 861*2^1442199-1 is not prime. Res64: F2207F9D1470BC37 Time : 0.0 sec. user=mdettweiler [2016-10-09 12:40:29] 879*2^1442199-1 is not prime. Res64: A31DABBA5951FF3E Time : 0.0 sec. user=mdettweiler [2016-10-09 12:40:29] 717*2^1442200-1 is not prime. Res64: 172C48EE1156D312 Time : 0.0 sec. user=mdettweiler [2016-10-09 12:40:29] 833*2^1442200-1 is not prime. Res64: F653362BE80F6F93 Time : 0.0 sec. user=mdettweiler [2016-10-09 13:15:06] 685*2^1442201-1 is not prime. Res64: CDE52828083D2D80 Time : 0.0 sec. user=mdettweiler [2016-10-09 13:15:06] 715*2^1442201-1 is not prime. Res64: 9D5C90DEF9BCA315 Time : 0.0 sec. user=mdettweiler [2016-10-09 13:15:07] 777*2^1442201-1 is not prime. Res64: 9B2B85C3A365F575 Time : 0.0 sec. user=mdettweiler [2016-10-09 13:15:07] 885*2^1442201-1 is not prime. Res64: 0BD5FD2384B410A3 Time : 0.0 sec. user=mdettweiler [2016-10-09 13:15:07] 837*2^1442202-1 is not prime. Res64: CC515134554DCCB5 Time : 0.0 sec. user=mdettweiler [2016-10-09 13:15:14] 839*2^1442200-1 is not prime. Res64: 101A63357437490B Time : 0.0 sec. user=mdettweiler [2016-10-09 13:15:14] 857*2^1442200-1 is not prime. Res64: 63999434B38C5988 Time : 0.0 sec. user=mdettweiler [2016-10-09 13:15:14] 923*2^1442200-1 is not prime. Res64: D4424A35B1F20E06 Time : 0.0 sec. user=mdettweiler [2016-10-09 13:15:14] 939*2^1442200-1 is not prime. Res64: 035BDB030151002B Time : 0.0 sec. user=mdettweiler [2016-10-09 13:15:15] 607*2^1442201-1 is not prime. Res64: C6BE3A2E9109BD4F Time : 0.0 sec. user=mdettweiler [2016-10-09 13:24:51] 867*2^1442202-1 is not prime. Res64: 111704DA07B98B24 Time : 0.0 sec. user=mdettweiler [2016-10-09 13:24:51] 983*2^1442202-1 is not prime. Res64: 46A7C28720618970 Time : 0.0 sec. user=mdettweiler [2016-10-09 13:24:51] 621*2^1442203-1 is not prime. Res64: 165F8CB3205CC26B Time : 0.0 sec. user=mdettweiler [2016-10-09 13:24:51] 679*2^1442203-1 is not prime. Res64: 3B680B311007F23D Time : 0.0 sec. user=mdettweiler [2016-10-09 13:24:52] 693*2^1442203-1 is not prime. Res64: F5767BCC69EFCB60 Time : 0.0 sec. user=mdettweiler [2016-10-09 13:27:00] 861*2^1442203-1 is not prime. Res64: 98B82F7D2BEC589F Time : 0.0 sec. user=mdettweiler [2016-10-09 13:27:01] 969*2^1442203-1 is not prime. Res64: EDF1DDB4AC27ADE7 Time : 0.0 sec. user=mdettweiler [2016-10-09 13:27:01] 605*2^1442204-1 is not prime. Res64: 17E7E50CD5BE9C90 Time : 0.0 sec. user=mdettweiler [2016-10-09 13:27:01] 629*2^1442204-1 is not prime. Res64: 72E2CA81E34EB519 Time : 0.0 sec. user=mdettweiler [2016-10-09 13:27:01] 833*2^1442204-1 is not prime. Res64: AE84816F36632F7E Time : 0.0 sec. user=mdettweiler [2016-10-09 14:02:49] 871*2^1442205-1 is not prime. Res64: C20C17F9982F0A8D Time : 0.0 sec. user=mdettweiler [2016-10-09 14:02:49] 837*2^1442204-1 is not prime. Res64: 95F331AC05A227E3 Time : 0.0 sec. user=mdettweiler [2016-10-09 14:02:50] 891*2^1442205-1 is not prime. Res64: 1222BEF1F541DEC4 Time : 0.0 sec. user=mdettweiler [2016-10-09 14:02:50] 639*2^1442205-1 is not prime. Res64: BF7F971E76A6D719 Time : 0.0 sec. user=mdettweiler [2016-10-09 14:02:50] 895*2^1442205-1 is not prime. Res64: BAD0CDE792C163AA Time : 0.0 sec. user=mdettweiler [2016-10-09 14:02:51] 623*2^1442206-1 is not prime. Res64: 8BDC856B6A190940 Time : 0.0 sec. user=mdettweiler [2016-10-09 14:02:53] 695*2^1442206-1 is not prime. Res64: 8EB79142AF46CBBA Time : 0.0 sec. user=mdettweiler [2016-10-09 14:02:54] 717*2^1442205-1 is not prime. Res64: 2971EDFB8AFBC122 Time : 0.0 sec. user=mdettweiler [2016-10-09 14:02:56] 741*2^1442205-1 is not prime. Res64: 9B97C2E901967231 Time : 0.0 sec. user=mdettweiler [2016-10-09 14:02:59] 781*2^1442205-1 is not prime. Res64: 87B75F214BCFF3DA Time : 0.0 sec. user=mdettweiler [2016-10-09 14:12:45] 705*2^1442206-1 is not prime. Res64: 9C3A4A7F56219103 Time : 0.0 sec. user=mdettweiler [2016-10-09 14:12:46] 713*2^1442206-1 is not prime. Res64: 9B8E43E2360C5B19 Time : 0.0 sec. user=mdettweiler [2016-10-09 14:12:46] 741*2^1442206-1 is not prime. Res64: EE8B64A5E79C9547 Time : 0.0 sec. user=mdettweiler [2016-10-09 14:12:46] 755*2^1442206-1 is not prime. Res64: BE75A0AACB8C57D3 Time : 0.0 sec. user=mdettweiler [2016-10-09 14:12:47] 873*2^1442206-1 is not prime. Res64: 2CE6BE26E27C75C3 Time : 0.0 sec. user=mdettweiler [2016-10-09 14:15:07] 981*2^1442206-1 is not prime. Res64: D13EFAFEBE153473 Time : 0.0 sec. user=mdettweiler [2016-10-09 14:15:07] 993*2^1442206-1 is not prime. Res64: D3B8918D8BF2BD66 Time : 0.0 sec. user=mdettweiler [2016-10-09 14:15:07] 651*2^1442207-1 is not prime. Res64: 8000E1F3EECCBBB7 Time : 0.0 sec. user=mdettweiler [2016-10-09 14:15:08] 661*2^1442207-1 is not prime. Res64: 471DCD38F87AB3C8 Time : 0.0 sec. user=mdettweiler [2016-10-09 14:15:08] 685*2^1442207-1 is not prime. Res64: 8F33C8CAB05A0317 Time : 0.0 sec. user=mdettweiler [2016-10-09 14:50:37] 861*2^1442207-1 is not prime. Res64: 4D715EF0A5DFEE2E Time : 0.0 sec. user=mdettweiler [2016-10-09 14:50:37] 879*2^1442207-1 is not prime. Res64: CE407FC9A009F970 Time : 0.0 sec. user=mdettweiler [2016-10-09 14:50:37] 883*2^1442207-1 is not prime. Res64: 30DA473E3BB5BCCB Time : 0.0 sec. user=mdettweiler [2016-10-09 14:50:37] 973*2^1442207-1 is not prime. Res64: 222F380F534535E7 Time : 0.0 sec. user=mdettweiler [2016-10-09 14:50:38] 683*2^1442208-1 is not prime. Res64: 082BE4F072E8A68A Time : 0.0 sec. user=mdettweiler [2016-10-09 14:50:58] 909*2^1442208-1 is not prime. Res64: A3F1AEDAC0B06C51 Time : 0.0 sec. user=mdettweiler [2016-10-09 14:50:58] 915*2^1442208-1 is not prime. Res64: 84CB0E522F563C22 Time : 0.0 sec. user=mdettweiler [2016-10-09 14:50:58] 741*2^1442209-1 is not prime. Res64: 6A1E125B8F3E0BE0 Time : 0.0 sec. user=mdettweiler [2016-10-09 14:50:58] 841*2^1442209-1 is not prime. Res64: FDEA314C389B345F Time : 0.0 sec. user=mdettweiler [2016-10-09 14:50:59] 735*2^1442210-1 is not prime. Res64: 81AFDF96000338EE Time : 0.0 sec. user=mdettweiler [2016-10-09 15:00:21] 773*2^1442210-1 is not prime. Res64: F2423386EE5BD29D Time : 0.0 sec. user=mdettweiler [2016-10-09 15:00:22] 941*2^1442210-1 is not prime. Res64: E54CE0920BC6FB73 Time : 0.0 sec. user=mdettweiler [2016-10-09 15:00:23] 709*2^1442211-1 is not prime. Res64: 37698E15C85762C2 Time : 0.0 sec. user=mdettweiler [2016-10-09 15:00:24] 723*2^1442211-1 is not prime. Res64: 5AB560ADCEA95610 Time : 0.0 sec. user=mdettweiler [2016-10-09 15:00:25] 745*2^1442211-1 is not prime. Res64: BA86623892D489FC Time : 0.0 sec. user=mdettweiler [2016-10-09 15:02:23] 783*2^1442211-1 is not prime. Res64: 478AE22436177FC0 Time : 0.0 sec. user=mdettweiler [2016-10-09 15:02:24] 801*2^1442211-1 is not prime. Res64: 6B0E8774CEA7CA7A Time : 0.0 sec. user=mdettweiler [2016-10-09 15:02:24] 805*2^1442211-1 is not prime. Res64: 24715082731AA0BA Time : 0.0 sec. user=mdettweiler [2016-10-09 15:02:24] 931*2^1442211-1 is not prime. Res64: 089823CDF1AC16C2 Time : 0.0 sec. user=mdettweiler [2016-10-09 15:02:25] 749*2^1442212-1 is not prime. Res64: 8916136FD9A971A1 Time : 0.0 sec. user=mdettweiler [2016-10-09 15:36:43] 729*2^1442213-1 is not prime. Res64: 9B3DC2B853EFEA90 Time : 0.0 sec. user=mdettweiler [2016-10-09 15:36:43] 825*2^1442212-1 is not prime. Res64: F8A24A9DF5B4DC44 Time : 0.0 sec. user=mdettweiler [2016-10-09 15:36:44] 863*2^1442212-1 is not prime. Res64: 05A959770588F76D Time : 0.0 sec. user=mdettweiler [2016-10-09 15:36:44] 795*2^1442213-1 is not prime. Res64: 14AEDC4CF0EFBDE6 Time : 0.0 sec. user=mdettweiler [2016-10-09 15:36:44] 621*2^1442213-1 is not prime. Res64: 1FCC83E7793DD704 Time : 0.0 sec. user=mdettweiler [2016-10-09 15:36:44] 811*2^1442213-1 is not prime. Res64: 0C033C195FBE899C Time : 0.0 sec. user=mdettweiler [2016-10-09 15:36:44] 679*2^1442213-1 is not prime. Res64: 7F972D692E5B2D5E Time : 0.0 sec. user=mdettweiler [2016-10-09 15:36:44] 727*2^1442213-1 is not prime. Res64: 30A3F755125D0301 Time : 0.0 sec. user=mdettweiler [2016-10-09 15:36:45] 837*2^1442213-1 is not prime. Res64: 481292C217A0FB47 Time : 0.0 sec. user=mdettweiler [2016-10-09 15:36:45] 885*2^1442213-1 is not prime. Res64: 0A4CD07F62EB8BF9 Time : 0.0 sec. user=mdettweiler [2016-10-09 15:46:25] 927*2^1442213-1 is not prime. Res64: 1A937C875DB6FE9F Time : 0.0 sec. user=mdettweiler [2016-10-09 15:46:25] 945*2^1442213-1 is not prime. Res64: F8679E813391324F Time : 0.0 sec. user=mdettweiler [2016-10-09 15:46:25] 987*2^1442213-1 is not prime. Res64: A6EF4E6427AC76C9 Time : 0.0 sec. user=mdettweiler [2016-10-09 15:46:25] 621*2^1442214-1 is not prime. Res64: 91C66D8BEEA4FA90 Time : 0.0 sec. user=mdettweiler [2016-10-09 15:46:25] 635*2^1442214-1 is not prime. Res64: 427AD809EDE51AAB Time : 0.0 sec. user=mdettweiler [2016-10-09 15:48:34] 663*2^1442214-1 is not prime. Res64: 1B69C75762AFD920 Time : 0.0 sec. user=mdettweiler [2016-10-09 15:48:35] 677*2^1442214-1 is not prime. Res64: 8AB1B02D2D59DD06 Time : 0.0 sec. user=mdettweiler [2016-10-09 15:48:35] 893*2^1442214-1 is not prime. Res64: 218804232D79609A Time : 0.0 sec. user=mdettweiler [2016-10-09 15:48:35] 957*2^1442214-1 is not prime. Res64: 0A33FCF6EDC2723E Time : 0.0 sec. user=mdettweiler [2016-10-09 15:48:35] 1001*2^1442214-1 is not prime. Res64: 401517C05125E659 Time : 0.0 sec. user=mdettweiler [2016-10-09 16:24:13] 767*2^1442216-1 is not prime. Res64: 9E6D465280F006B9 Time : 0.0 sec. user=mdettweiler [2016-10-09 16:24:13] 945*2^1442216-1 is not prime. Res64: ADA7752F252EA018 Time : 0.0 sec. user=mdettweiler [2016-10-09 16:24:14] 963*2^1442216-1 is not prime. Res64: E0E63EEE16B61E9C Time : 0.0 sec. user=mdettweiler [2016-10-09 16:24:14] 649*2^1442217-1 is not prime. Res64: AE934B032D71DD91 Time : 0.0 sec. user=mdettweiler [2016-10-09 16:24:14] 681*2^1442217-1 is not prime. Res64: B203C8BE90EE889C Time : 0.0 sec. user=mdettweiler [2016-10-09 16:24:16] 673*2^1442215-1 is not prime. Res64: 5FC35B673B304BB7 Time : 0.0 sec. user=mdettweiler [2016-10-09 16:24:16] 741*2^1442215-1 is not prime. Res64: 21FE572C7885F936 Time : 0.0 sec. user=mdettweiler [2016-10-09 16:24:16] 629*2^1442216-1 is not prime. Res64: A0786B5B60A72D7E Time : 0.0 sec. user=mdettweiler [2016-10-09 16:24:16] 677*2^1442216-1 is not prime. Res64: 0857E13633BD75BA Time : 0.0 sec. user=mdettweiler [2016-10-09 16:24:17] 759*2^1442216-1 is not prime. Res64: 4869A71F25E0FBDF Time : 0.0 sec. user=mdettweiler [2016-10-09 16:34:18] 741*2^1442217-1 is not prime. Res64: 887BAF6FFE991ED7 Time : 0.0 sec. user=mdettweiler [2016-10-09 16:34:18] 759*2^1442217-1 is not prime. Res64: C3E624360ED3FA3A Time : 0.0 sec. user=mdettweiler [2016-10-09 16:34:18] 847*2^1442217-1 is not prime. Res64: 5D1137ED29AF5154 Time : 0.0 sec. user=mdettweiler [2016-10-09 16:34:19] 861*2^1442217-1 is not prime. Res64: 2601AE928338377A Time : 0.0 sec. user=mdettweiler [2016-10-09 16:34:19] 895*2^1442217-1 is not prime. Res64: B3BD8B4A56AD6081 Time : 0.0 sec. user=mdettweiler [2016-10-09 16:36:13] 915*2^1442217-1 is not prime. Res64: 798E8CA9B70320B9 Time : 0.0 sec. user=mdettweiler [2016-10-09 16:36:14] 991*2^1442217-1 is not prime. Res64: C88F9077BE86D757 Time : 0.0 sec. user=mdettweiler [2016-10-09 16:36:14] 603*2^1442218-1 is not prime. Res64: 97785DB2FE513B2A Time : 0.0 sec. user=mdettweiler [2016-10-09 16:36:14] 647*2^1442218-1 is not prime. Res64: 5A0BB355CB93D063 Time : 0.0 sec. user=mdettweiler [2016-10-09 16:36:14] 705*2^1442218-1 is not prime. Res64: A39080EC60F68EAE Time : 0.0 sec. user=mdettweiler [2016-10-09 17:11:49] 789*2^1442219-1 is not prime. Res64: ABB5C6260F047799 Time : 0.0 sec. user=mdettweiler [2016-10-09 17:11:50] 843*2^1442219-1 is not prime. Res64: CC2FFEE6D81E8FE0 Time : 0.0 sec. user=mdettweiler [2016-10-09 17:11:50] 609*2^1442220-1 is not prime. Res64: FD839272ED974BDD Time : 0.0 sec. user=mdettweiler [2016-10-09 17:11:50] 653*2^1442220-1 is not prime. Res64: B0BB393203221A4A Time : 0.0 sec. user=mdettweiler [2016-10-09 17:11:51] 707*2^1442220-1 is not prime. Res64: 4DE33196410A0CBD Time : 0.0 sec. user=mdettweiler [2016-10-09 17:12:05] 723*2^1442218-1 is not prime. Res64: 18F00F17C791D10B Time : 0.0 sec. user=mdettweiler [2016-10-09 17:12:05] 765*2^1442218-1 is not prime. Res64: 381E6554E4EEF8C4 Time : 0.0 sec. user=mdettweiler [2016-10-09 17:12:05] 825*2^1442218-1 is not prime. Res64: 9964C69E1666574A Time : 0.0 sec. user=mdettweiler [2016-10-09 17:12:06] 603*2^1442219-1 is not prime. Res64: D827CF52064972AC Time : 0.0 sec. user=mdettweiler [2016-10-09 17:12:06] 631*2^1442219-1 is not prime. Res64: 538E62CBFD3F697A Time : 0.0 sec. user=mdettweiler [2016-10-09 17:22:20] 797*2^1442220-1 is not prime. Res64: FCBE259F5570E446 Time : 0.0 sec. user=mdettweiler [2016-10-09 17:22:20] 879*2^1442220-1 is not prime. Res64: EB04D700AF966C68 Time : 0.0 sec. user=mdettweiler [2016-10-09 17:22:20] 909*2^1442220-1 is not prime. Res64: 66E719950C76DB48 Time : 0.0 sec. user=mdettweiler [2016-10-09 17:22:21] 927*2^1442220-1 is not prime. Res64: EDA1C5306AC88A46 Time : 0.0 sec. user=mdettweiler [2016-10-09 17:22:21] 615*2^1442221-1 is not prime. Res64: D99D9E10B1028DEF Time : 0.0 sec. user=mdettweiler [2016-10-09 17:24:13] 619*2^1442221-1 is not prime. Res64: BCF215E3A810EFAC Time : 0.0 sec. user=mdettweiler [2016-10-09 17:24:14] 747*2^1442221-1 is not prime. Res64: 1FCE8D7807862EFB Time : 0.0 sec. user=mdettweiler [2016-10-09 17:24:14] 999*2^1442221-1 is not prime. Res64: 7BA19778CAB4CB7D Time : 0.0 sec. user=mdettweiler [2016-10-09 17:24:14] 615*2^1442222-1 is not prime. Res64: 61D44A800C194CE4 Time : 0.0 sec. user=mdettweiler [2016-10-09 17:24:15] 755*2^1442222-1 is not prime. Res64: F55E211DB404C1A1 Time : 0.0 sec. user=mdettweiler [2016-10-09 18:00:53] 833*2^1442222-1 is not prime. Res64: 973070848F43B05C Time : 0.0 sec. user=mdettweiler [2016-10-09 18:00:53] 873*2^1442222-1 is not prime. Res64: 68C453E69F645C12 Time : 0.0 sec. user=mdettweiler [2016-10-09 18:00:54] 693*2^1442223-1 is not prime. Res64: 6492D03784CE71E5 Time : 0.0 sec. user=mdettweiler [2016-10-09 18:00:55] 769*2^1442223-1 is not prime. Res64: 8D84C0BAD07B6037 Time : 0.0 sec. user=mdettweiler [2016-10-09 18:00:56] 789*2^1442223-1 is not prime. Res64: BDA9FA3C2831D435 Time : 0.0 sec. user=mdettweiler [2016-10-09 18:01:36] 961*2^1442223-1 is not prime. Res64: 8F57D6E7F4A018A4 Time : 0.0 sec. user=mdettweiler [2016-10-09 18:01:37] 963*2^1442223-1 is not prime. Res64: 7115F9A634561740 Time : 0.0 sec. user=mdettweiler [2016-10-09 18:01:38] 605*2^1442224-1 is not prime. Res64: 3E121C94E6B38522 Time : 0.0 sec. user=mdettweiler [2016-10-09 18:01:40] 717*2^1442224-1 is not prime. Res64: B9419367245B5536 Time : 0.0 sec. user=mdettweiler [2016-10-09 18:01:40] 843*2^1442224-1 is not prime. Res64: 19D28E6F38F3D956 Time : 0.0 sec. user=mdettweiler [2016-10-09 18:11:28] 863*2^1442224-1 is not prime. Res64: A20175F23C7E4BD1 Time : 0.0 sec. user=mdettweiler [2016-10-09 18:11:29] 917*2^1442224-1 is not prime. Res64: 968503E24CEBE76F Time : 0.0 sec. user=mdettweiler [2016-10-09 18:11:29] 649*2^1442225-1 is not prime. Res64: FEF5F989D32CC191 Time : 0.0 sec. user=mdettweiler [2016-10-09 18:11:29] 651*2^1442225-1 is not prime. Res64: 2D0E7896A3BE56AA Time : 0.0 sec. user=mdettweiler [2016-10-09 18:11:30] 805*2^1442225-1 is not prime. Res64: 77986CF44CD3C9FC Time : 0.0 sec. user=mdettweiler [2016-10-09 18:13:06] 819*2^1442225-1 is not prime. Res64: 8137AB840AD05B80 Time : 0.0 sec. user=mdettweiler [2016-10-09 18:13:07] 633*2^1442226-1 is not prime. Res64: 9E817242A1A66EE1 Time : 0.0 sec. user=mdettweiler [2016-10-09 18:13:07] 873*2^1442226-1 is not prime. Res64: 03EE31DBA2703077 Time : 0.0 sec. user=mdettweiler [2016-10-09 18:13:07] 1001*2^1442226-1 is not prime. Res64: 757E23F374FABA70 Time : 0.0 sec. user=mdettweiler [2016-10-09 18:13:07] 615*2^1442227-1 is not prime. Res64: 4603DD7FE04267D2 Time : 0.0 sec. user=mdettweiler [2016-10-09 18:48:41] 673*2^1442227-1 is not prime. Res64: 3D05B6F2851A005C Time : 0.0 sec. user=mdettweiler [2016-10-09 18:48:41] 733*2^1442227-1 is not prime. Res64: 34AA36B7FFD09955 Time : 0.0 sec. user=mdettweiler [2016-10-09 18:48:41] 805*2^1442227-1 is not prime. Res64: F2FC0014296D8847 Time : 0.0 sec. user=mdettweiler [2016-10-09 18:48:42] 819*2^1442227-1 is not prime. Res64: 3F79C62784B48A39 Time : 0.0 sec. user=mdettweiler [2016-10-09 18:48:42] 829*2^1442227-1 is not prime. Res64: D79F58931EA2CE76 Time : 0.0 sec. user=mdettweiler [2016-10-09 18:49:39] 843*2^1442227-1 is not prime. Res64: 7C3F5CA39F0BF546 Time : 0.0 sec. user=mdettweiler [2016-10-09 18:49:39] 945*2^1442227-1 is not prime. Res64: 871C845A34242AAA Time : 0.0 sec. user=mdettweiler [2016-10-09 18:49:39] 665*2^1442228-1 is not prime. Res64: FA9305ABAD86C27B Time : 0.0 sec. user=mdettweiler [2016-10-09 18:49:40] 669*2^1442228-1 is not prime. Res64: 209C47317748E106 Time : 0.0 sec. user=mdettweiler [2016-10-09 18:49:40] 677*2^1442228-1 is not prime. Res64: CE52CDC204C390EE Time : 0.0 sec. user=mdettweiler [2016-10-09 18:58:41] 767*2^1442228-1 is not prime. Res64: BEE883753E88B9F5 Time : 0.0 sec. user=mdettweiler [2016-10-09 18:58:41] 963*2^1442228-1 is not prime. Res64: 1FD1DA5F29AAF47F Time : 0.0 sec. user=mdettweiler [2016-10-09 18:58:41] 987*2^1442228-1 is not prime. Res64: DD0EFA1F3417B998 Time : 0.0 sec. user=mdettweiler [2016-10-09 18:58:42] 999*2^1442228-1 is not prime. Res64: A9A9E1627793175D Time : 0.0 sec. user=mdettweiler [2016-10-09 18:58:42] 615*2^1442229-1 is not prime. Res64: 85338008E44BCFF3 Time : 0.0 sec. user=mdettweiler [2016-10-09 19:00:14] 789*2^1442229-1 is not prime. Res64: 7F876ED2E3F9824F Time : 0.0 sec. user=mdettweiler [2016-10-09 19:00:15] 829*2^1442229-1 is not prime. Res64: 76B8DF7F574E492C Time : 0.0 sec. user=mdettweiler [2016-10-09 19:00:16] 861*2^1442229-1 is not prime. Res64: 4E2F25DF7209A371 Time : 0.0 sec. user=mdettweiler [2016-10-09 19:00:16] 867*2^1442229-1 is not prime. Res64: 7066CBA9195CA3D7 Time : 0.0 sec. user=mdettweiler [2016-10-09 19:00:17] 955*2^1442229-1 is not prime. Res64: D82635D76B9BFCC3 Time : 0.0 sec. user=mdettweiler [2016-10-09 19:36:17] 665*2^1442230-1 is not prime. Res64: CEB5602495AADE49 Time : 0.0 sec. user=mdettweiler [2016-10-09 19:36:18] 731*2^1442230-1 is not prime. Res64: 63EEB58FF4E020CF Time : 0.0 sec. user=mdettweiler [2016-10-09 19:36:18] 845*2^1442230-1 is not prime. Res64: 36ACAABE45E84723 Time : 0.0 sec. user=mdettweiler [2016-10-09 19:36:18] 917*2^1442230-1 is not prime. Res64: AD55984D7BB47F6A Time : 0.0 sec. user=mdettweiler [2016-10-09 19:36:18] 981*2^1442230-1 is not prime. Res64: FBE3AD99D650BBEA Time : 0.0 sec. user=mdettweiler [2016-10-09 19:37:04] 995*2^1442230-1 is not prime. Res64: A6B5E33380D38F37 Time : 0.0 sec. user=mdettweiler [2016-10-09 19:37:04] 619*2^1442231-1 is not prime. Res64: 64FD724064157D79 Time : 0.0 sec. user=mdettweiler [2016-10-09 19:37:04] 735*2^1442231-1 is not prime. Res64: 26F66AD4BEB206EB Time : 0.0 sec. user=mdettweiler [2016-10-09 19:37:04] 753*2^1442231-1 is not prime. Res64: 84FB5AD77711B3B5 Time : 0.0 sec. user=mdettweiler [2016-10-09 19:37:04] 789*2^1442231-1 is not prime. Res64: CA1C2E3FAFB15565 Time : 0.0 sec. user=mdettweiler [2016-10-09 19:46:44] 999*2^1442231-1 is not prime. Res64: 55651797197FF6DA Time : 0.0 sec. user=mdettweiler [2016-10-09 19:46:45] 665*2^1442232-1 is not prime. Res64: B166CFB13BC7182D Time : 0.0 sec. user=mdettweiler [2016-10-09 19:46:45] 923*2^1442232-1 is not prime. Res64: 4456EDC104EEF419 Time : 0.0 sec. user=mdettweiler [2016-10-09 19:46:45] 607*2^1442233-1 is not prime. Res64: 78D294D89A1B142B Time : 0.0 sec. user=mdettweiler [2016-10-09 19:46:45] 715*2^1442233-1 is not prime. Res64: 982CC7587FEFFF46 Time : 0.0 sec. user=mdettweiler [2016-10-09 19:48:22] 745*2^1442233-1 is not prime. Res64: 8DB52A2F6551E51B Time : 0.0 sec. user=mdettweiler [2016-10-09 19:48:22] 855*2^1442233-1 is not prime. Res64: 89E26A88BFAA0F40 Time : 0.0 sec. user=mdettweiler [2016-10-09 19:48:22] 919*2^1442233-1 is not prime. Res64: 79DF51ADCF91A7D6 Time : 0.0 sec. user=mdettweiler [2016-10-09 19:48:23] 937*2^1442233-1 is not prime. Res64: 72245E50C9F917CF Time : 0.0 sec. user=mdettweiler [2016-10-09 19:48:24] 615*2^1442234-1 is not prime. Res64: 1DB7252BD045CBF1 Time : 0.0 sec. user=mdettweiler [2016-10-09 20:24:06] 635*2^1442234-1 is not prime. Res64: 6DAA397E8B05AE46 Time : 0.0 sec. user=mdettweiler [2016-10-09 20:24:06] 665*2^1442234-1 is not prime. Res64: 50FA44314491F2BA Time : 0.0 sec. user=mdettweiler [2016-10-09 20:24:06] 885*2^1442234-1 is not prime. Res64: C15CA97BCD185A23 Time : 0.0 sec. user=mdettweiler [2016-10-09 20:24:06] 923*2^1442234-1 is not prime. Res64: E19027D8340C369B Time : 0.0 sec. user=mdettweiler [2016-10-09 20:24:07] 935*2^1442234-1 is not prime. Res64: E4B8FE8D9E1950E7 Time : 0.0 sec. user=mdettweiler [2016-10-09 20:24:27] 781*2^1442235-1 is not prime. Res64: 609A539E5F8839A7 Time : 0.0 sec. user=mdettweiler [2016-10-09 20:24:27] 795*2^1442235-1 is not prime. Res64: 5C0FC17AE85EE4C6 Time : 0.0 sec. user=mdettweiler [2016-10-09 20:24:28] 819*2^1442235-1 is not prime. Res64: EDCE56BAACAC3F0F Time : 0.0 sec. user=mdettweiler [2016-10-09 20:24:28] 895*2^1442235-1 is not prime. Res64: 84AF1066E07E0A58 Time : 0.0 sec. user=mdettweiler [2016-10-09 20:24:28] 999*2^1442235-1 is not prime. Res64: DAD6DE4329C03412 Time : 0.0 sec. user=mdettweiler [2016-10-09 20:33:13] 813*2^1442236-1 is not prime. Res64: 2C9333C63EBDF74D Time : 0.0 sec. user=mdettweiler [2016-10-09 20:33:13] 855*2^1442236-1 is not prime. Res64: DDA426B7CEBD714B Time : 0.0 sec. user=mdettweiler [2016-10-09 20:33:13] 711*2^1442237-1 is not prime. Res64: ECC1A8FEAD19B9DF Time : 0.0 sec. user=mdettweiler [2016-10-09 20:33:13] 759*2^1442237-1 is not prime. Res64: 4F0B13E39B669179 Time : 0.0 sec. user=mdettweiler [2016-10-09 20:33:14] 805*2^1442237-1 is not prime. Res64: 5ACF3846C589596B Time : 0.0 sec. user=mdettweiler [2016-10-09 20:34:38] 879*2^1442237-1 is not prime. Res64: 3305B257AA7DF35A Time : 0.0 sec. user=mdettweiler [2016-10-09 20:34:38] 927*2^1442237-1 is not prime. Res64: 154D50E9BACDF197 Time : 0.0 sec. user=mdettweiler [2016-10-09 20:34:39] 939*2^1442237-1 is not prime. Res64: 2BE7362A3962AF3D Time : 0.0 sec. user=mdettweiler [2016-10-09 20:34:39] 957*2^1442237-1 is not prime. Res64: 145F3C636EADB2F8 Time : 0.0 sec. user=mdettweiler [2016-10-09 20:34:39] 979*2^1442237-1 is not prime. Res64: 2DB9DB1302CAF31A Time : 0.0 sec. user=mdettweiler [2016-10-09 21:09:33] 605*2^1442238-1 is not prime. Res64: 176AC45E4D72137E Time : 0.0 sec. user=mdettweiler [2016-10-09 21:09:34] 621*2^1442238-1 is not prime. Res64: DB02E694CDFF2781 Time : 0.0 sec. user=mdettweiler [2016-10-09 21:09:34] 641*2^1442238-1 is not prime. Res64: 771F71CEF9B60B43 Time : 0.0 sec. user=mdettweiler [2016-10-09 21:09:34] 671*2^1442238-1 is not prime. Res64: 5D7D2D6894B181FC Time : 0.0 sec. user=mdettweiler [2016-10-09 21:09:35] 693*2^1442238-1 is not prime. Res64: 1B54E93DE70D6BA3 Time : 0.0 sec. user=mdettweiler [2016-10-09 21:09:57] 795*2^1442238-1 is not prime. Res64: DDDC190B5F286FDE Time : 0.0 sec. user=mdettweiler [2016-10-09 21:09:57] 801*2^1442238-1 is not prime. Res64: 6FD5559C72A293E6 Time : 0.0 sec. user=mdettweiler [2016-10-09 21:09:57] 971*2^1442238-1 is not prime. Res64: AB0B66F1726EA58C Time : 0.0 sec. user=mdettweiler [2016-10-09 21:09:58] 601*2^1442239-1 is not prime. Res64: 3FF513A6A1D3F810 Time : 0.0 sec. user=mdettweiler [2016-10-09 21:09:58] 603*2^1442239-1 is not prime. Res64: 46C2624269C5017C Time : 0.0 sec. user=mdettweiler [2016-10-09 21:18:32] 675*2^1442239-1 is not prime. Res64: 72821B47561278B9 Time : 0.0 sec. user=mdettweiler [2016-10-09 21:18:32] 745*2^1442239-1 is not prime. Res64: D04CFE15221A397E Time : 0.0 sec. user=mdettweiler [2016-10-09 21:18:32] 885*2^1442239-1 is not prime. Res64: B765D91A26A7443F Time : 0.0 sec. user=mdettweiler [2016-10-09 21:18:32] 909*2^1442239-1 is not prime. Res64: 8ECCEC6AA3EDB0A7 Time : 0.0 sec. user=mdettweiler [2016-10-09 21:18:33] 943*2^1442239-1 is not prime. Res64: 4F9400879BA2E7B1 Time : 0.0 sec. user=mdettweiler [2016-10-09 21:19:53] 615*2^1442240-1 is not prime. Res64: F198220AB9632B2F Time : 0.0 sec. user=mdettweiler [2016-10-09 21:19:53] 735*2^1442240-1 is not prime. Res64: EE33F9E2C1B6518B Time : 0.0 sec. user=mdettweiler [2016-10-09 21:19:53] 827*2^1442240-1 is not prime. Res64: CE9637A36E8A8891 Time : 0.0 sec. user=mdettweiler [2016-10-09 21:19:53] 637*2^1442241-1 is not prime. Res64: 927FFCBFA456D5FE Time : 0.0 sec. user=mdettweiler [2016-10-09 21:19:54] 909*2^1442241-1 is not prime. Res64: 9A56AF001697B064 Time : 0.0 sec. user=mdettweiler [2016-10-09 21:55:55] 777*2^1442242-1 is not prime. Res64: 80C6121F5D82122C Time : 0.0 sec. user=mdettweiler [2016-10-09 21:55:56] 815*2^1442242-1 is not prime. Res64: 5D2EB8517B7264BC Time : 0.0 sec. user=mdettweiler [2016-10-09 21:55:56] 833*2^1442242-1 is not prime. Res64: AC9A92D08D74D87E Time : 0.0 sec. user=mdettweiler [2016-10-09 21:55:56] 915*2^1442242-1 is not prime. Res64: 4736B9694985A628 Time : 0.0 sec. user=mdettweiler [2016-10-09 21:55:56] 987*2^1442242-1 is not prime. Res64: A323C40BB1BA46A5 Time : 0.0 sec. user=mdettweiler [2016-10-09 21:56:15] 937*2^1442241-1 is not prime. Res64: FB16AFEB844ED694 Time : 0.0 sec. user=mdettweiler [2016-10-09 21:56:16] 997*2^1442241-1 is not prime. Res64: E2FC596E11DF909F Time : 0.0 sec. user=mdettweiler [2016-10-09 21:56:16] 657*2^1442242-1 is not prime. Res64: BE5938BA002FAC57 Time : 0.0 sec. user=mdettweiler [2016-10-09 21:56:16] 701*2^1442242-1 is not prime. Res64: 54C5AC6EA4AE6B74 Time : 0.0 sec. user=mdettweiler [2016-10-09 21:56:16] 747*2^1442242-1 is not prime. Res64: 1DCE677A7377A420 Time : 0.0 sec. user=mdettweiler [2016-10-09 22:05:47] 615*2^1442243-1 is not prime. Res64: F8DFD04482BD010E Time : 0.0 sec. user=mdettweiler [2016-10-09 22:05:49] 675*2^1442243-1 is not prime. Res64: 3A9142A73235315F Time : 0.0 sec. user=mdettweiler [2016-10-09 22:05:49] 753*2^1442243-1 is not prime. Res64: E4C306F35B15CBAE Time : 0.0 sec. user=mdettweiler [2016-10-09 22:05:50] 915*2^1442243-1 is not prime. Res64: 7B577A9B2A9575E4 Time : 0.0 sec. user=mdettweiler [2016-10-09 22:05:51] 955*2^1442243-1 is not prime. Res64: AFA7E8CBB3C7E87C Time : 0.0 sec. user=mdettweiler [2016-10-09 22:08:30] 981*2^1442243-1 is not prime. Res64: 3D5A4BE702563F6D Time : 0.0 sec. user=mdettweiler [2016-10-09 22:08:31] 609*2^1442244-1 is not prime. Res64: F025A1308A32C4C9 Time : 0.0 sec. user=mdettweiler [2016-10-09 22:08:31] 809*2^1442244-1 is not prime. Res64: C107AED7C4F5BE71 Time : 0.0 sec. user=mdettweiler [2016-10-09 22:08:31] 825*2^1442244-1 is not prime. Res64: 19392C2ADF24E111 Time : 0.0 sec. user=mdettweiler [2016-10-09 22:08:31] 873*2^1442244-1 is not prime. Res64: 50D4580B76EB8DEB Time : 0.0 sec. user=mdettweiler [2016-10-09 22:49:51] 927*2^1442244-1 is not prime. Res64: E9EFAC91F293E9CD Time : 0.0 sec. user=mdettweiler [2016-10-09 22:49:51] 717*2^1442245-1 is not prime. Res64: EBCB75D2987EC71C Time : 0.0 sec. user=mdettweiler [2016-10-09 22:49:52] 727*2^1442245-1 is not prime. Res64: 1CF6525C04366D85 Time : 0.0 sec. user=mdettweiler [2016-10-09 22:49:52] 729*2^1442245-1 is not prime. Res64: C1592E775727DAFE Time : 0.0 sec. user=mdettweiler [2016-10-09 22:49:52] 741*2^1442245-1 is not prime. Res64: 224DF634B3529366 Time : 0.0 sec. user=mdettweiler [2016-10-09 22:51:30] 775*2^1442245-1 is not prime. Res64: B763943B5AA21F30 Time : 0.0 sec. user=mdettweiler [2016-10-09 22:51:30] 799*2^1442245-1 is not prime. Res64: 2C78E31C2E6FDE09 Time : 0.0 sec. user=mdettweiler [2016-10-09 22:51:30] 831*2^1442245-1 is not prime. Res64: 0E72BE8A83BA03C4 Time : 0.0 sec. user=mdettweiler [2016-10-09 22:51:30] 939*2^1442245-1 is not prime. Res64: 97480363EDC6CC3B Time : 0.0 sec. user=mdettweiler [2016-10-09 22:51:31] 955*2^1442245-1 is not prime. Res64: 0F2007A77226947B Time : 0.0 sec. user=mdettweiler [2016-10-09 23:01:23] 641*2^1442246-1 is not prime. Res64: EC88FCA016834B61 Time : 0.0 sec. user=mdettweiler [2016-10-09 23:01:24] 707*2^1442246-1 is not prime. Res64: 0D7051F23CFA82E0 Time : 0.0 sec. user=mdettweiler [2016-10-09 23:01:25] 873*2^1442246-1 is not prime. Res64: 21466C054EDD726E Time : 0.0 sec. user=mdettweiler [2016-10-09 23:01:27] 601*2^1442247-1 is not prime. Res64: A3A5C7CC697456EE Time : 0.0 sec. user=mdettweiler [2016-10-09 23:01:28] 661*2^1442247-1 is not prime. Res64: AF1B3670249BCD65 Time : 0.0 sec. user=mdettweiler [2016-10-09 23:04:27] 705*2^1442247-1 is not prime. Res64: 85E4EC9602D8B525 Time : 0.0 sec. user=mdettweiler [2016-10-09 23:04:28] 775*2^1442247-1 is not prime. Res64: E555306B82FCBB69 Time : 0.0 sec. user=mdettweiler [2016-10-09 23:04:29] 871*2^1442247-1 is not prime. Res64: 4B2641CAC452696A Time : 0.0 sec. user=mdettweiler [2016-10-09 23:04:29] 617*2^1442248-1 is not prime. Res64: 080E441A0BA17378 Time : 0.0 sec. user=mdettweiler [2016-10-09 23:04:30] 645*2^1442248-1 is not prime. Res64: 2F88BDC161683C20 Time : 0.0 sec. user=mdettweiler [2016-10-09 23:43:12] 657*2^1442248-1 is not prime. Res64: 75986589B766B433 Time : 0.0 sec. user=mdettweiler [2016-10-09 23:43:12] 689*2^1442248-1 is not prime. Res64: B0E13811120B5214 Time : 0.0 sec. user=mdettweiler [2016-10-09 23:43:12] 713*2^1442248-1 is not prime. Res64: 6FED78978F898118 Time : 0.0 sec. user=mdettweiler [2016-10-09 23:43:12] 743*2^1442248-1 is not prime. Res64: 1D7E3F0B72C3204D Time : 0.0 sec. user=mdettweiler [2016-10-09 23:43:13] 819*2^1442248-1 is not prime. Res64: D4E3C29068871F84 Time : 0.0 sec. user=mdettweiler [2016-10-09 23:44:15] 875*2^1442248-1 is not prime. Res64: DD3CD2D6FDEFE017 Time : 0.0 sec. user=mdettweiler [2016-10-09 23:44:15] 957*2^1442248-1 is not prime. Res64: 5BE83F9ECBDFF8D3 Time : 0.0 sec. user=mdettweiler [2016-10-09 23:44:16] 615*2^1442249-1 is not prime. Res64: 9A863E24E3B526A8 Time : 0.0 sec. user=mdettweiler [2016-10-09 23:44:16] 735*2^1442249-1 is not prime. Res64: 38B32CFDE87595DF Time : 0.0 sec. user=mdettweiler [2016-10-09 23:44:16] 847*2^1442249-1 is not prime. Res64: 568C293D3F52519C Time : 0.0 sec. user=mdettweiler [2016-10-09 23:53:21] 889*2^1442249-1 is not prime. Res64: 9B31FF195350ABB7 Time : 0.0 sec. user=mdettweiler [2016-10-09 23:53:21] 615*2^1442250-1 is not prime. Res64: 691D32E0D5237A05 Time : 0.0 sec. user=mdettweiler [2016-10-09 23:53:22] 695*2^1442250-1 is not prime. Res64: 81F9F0E022CF6D75 Time : 0.0 sec. user=mdettweiler [2016-10-09 23:53:22] 921*2^1442250-1 is not prime. Res64: 4A4098CEBDED98A6 Time : 0.0 sec. user=mdettweiler [2016-10-09 23:53:22] 923*2^1442250-1 is not prime. Res64: 747E8122FD1F43A8 Time : 0.0 sec. user=mdettweiler [2016-10-09 23:57:02] 1001*2^1442250-1 is not prime. Res64: F91D2AAC263BFF55 Time : 0.0 sec. user=mdettweiler [2016-10-09 23:57:02] 609*2^1442251-1 is not prime. Res64: 6E6D34C13B3E78BC Time : 0.0 sec. user=mdettweiler [2016-10-09 23:57:02] 681*2^1442251-1 is not prime. Res64: F4B87C9D7E5E3B44 Time : 0.0 sec. user=mdettweiler [2016-10-09 23:57:03] 723*2^1442251-1 is not prime. Res64: F3987BE615EA6A13 Time : 0.0 sec. user=mdettweiler [2016-10-09 23:57:03] 741*2^1442251-1 is not prime. Res64: 52FD97629F1194DD Time : 0.0 sec.