user=mdettweiler [2016-05-11 00:10:55] 699*2^1428776-1 is not prime. Res64: 4A33BB981D0BD9B6 Time : 0.0 sec. user=mdettweiler [2016-05-11 00:10:55] 945*2^1428776-1 is not prime. Res64: 3C29C3FFEC0BAA58 Time : 0.0 sec. user=mdettweiler [2016-05-11 00:10:56] 983*2^1428776-1 is not prime. Res64: 38583DB43782B391 Time : 0.0 sec. user=mdettweiler [2016-05-11 00:10:56] 999*2^1428776-1 is not prime. Res64: A74D65E1A6A8F276 Time : 0.0 sec. user=mdettweiler [2016-05-11 00:10:57] 609*2^1428777-1 is not prime. Res64: 8C5956FBE3BD5804 Time : 0.0 sec. user=mdettweiler [2016-05-11 00:25:24] 765*2^1428777-1 is not prime. Res64: E7C10F8B8CBFA90B Time : 0.0 sec. user=mdettweiler [2016-05-11 00:25:24] 819*2^1428777-1 is not prime. Res64: 7E8E85D161E5C002 Time : 0.0 sec. user=mdettweiler [2016-05-11 00:25:25] 829*2^1428777-1 is not prime. Res64: ED72BCDF8E7AF41A Time : 0.0 sec. user=mdettweiler [2016-05-11 00:25:25] 895*2^1428777-1 is not prime. Res64: D1CE326CD620B837 Time : 0.0 sec. user=mdettweiler [2016-05-11 00:25:26] 937*2^1428777-1 is not prime. Res64: A6CBC868984FF071 Time : 0.0 sec. user=mdettweiler [2016-05-11 00:27:17] 979*2^1428777-1 is not prime. Res64: 208AC6DA53CE7A45 Time : 0.0 sec. user=mdettweiler [2016-05-11 00:27:17] 611*2^1428778-1 is not prime. Res64: 2A20DB1E60F3385E Time : 0.0 sec. user=mdettweiler [2016-05-11 00:27:18] 705*2^1428778-1 is not prime. Res64: 12E5C27FCB388E00 Time : 0.0 sec. user=mdettweiler [2016-05-11 00:27:18] 815*2^1428778-1 is not prime. Res64: 8DB5485FA7F99935 Time : 0.0 sec. user=mdettweiler [2016-05-11 00:27:18] 887*2^1428778-1 is not prime. Res64: 79DBED89C7005B9F Time : 0.0 sec. user=mdettweiler [2016-05-11 00:38:08] 911*2^1428778-1 is not prime. Res64: 711399D7B829CAB8 Time : 0.0 sec. user=mdettweiler [2016-05-11 00:38:08] 923*2^1428778-1 is not prime. Res64: FC5537412103E51E Time : 0.0 sec. user=mdettweiler [2016-05-11 00:38:09] 995*2^1428778-1 is not prime. Res64: E7A83160201BBCB2 Time : 0.0 sec. user=mdettweiler [2016-05-11 00:38:09] 675*2^1428779-1 is not prime. Res64: 49E42DAA79DF461B Time : 0.0 sec. user=mdettweiler [2016-05-11 00:38:09] 685*2^1428779-1 is not prime. Res64: 63EE4B5D59122703 Time : 0.0 sec. user=mdettweiler [2016-05-11 00:56:43] 759*2^1428779-1 is not prime. Res64: C309EB536DF7DF5B Time : 0.0 sec. user=mdettweiler [2016-05-11 00:56:43] 789*2^1428779-1 is not prime. Res64: E5AFB96C802E4637 Time : 0.0 sec. user=mdettweiler [2016-05-11 00:56:44] 813*2^1428779-1 is not prime. Res64: AC3BC318B3269FC3 Time : 0.0 sec. user=mdettweiler [2016-05-11 00:56:44] 955*2^1428779-1 is not prime. Res64: D30FAF66EB096E7B Time : 0.0 sec. user=mdettweiler [2016-05-11 00:56:44] 991*2^1428779-1 is not prime. Res64: F56B6EE24A33CD3E Time : 0.0 sec. user=mdettweiler [2016-05-11 01:11:07] 689*2^1428780-1 is not prime. Res64: 0B24C4D3651B1E92 Time : 0.0 sec. user=mdettweiler [2016-05-11 01:11:07] 707*2^1428780-1 is not prime. Res64: D5E7714A1B47C2ED Time : 0.0 sec. user=mdettweiler [2016-05-11 01:11:08] 795*2^1428780-1 is not prime. Res64: FF1F5AA303884EAC Time : 0.0 sec. user=mdettweiler [2016-05-11 01:11:08] 839*2^1428780-1 is not prime. Res64: FE319EDB510D3DC8 Time : 0.0 sec. user=mdettweiler [2016-05-11 01:11:09] 875*2^1428780-1 is not prime. Res64: 807345DBA424829C Time : 0.0 sec. user=mdettweiler [2016-05-11 01:12:51] 899*2^1428780-1 is not prime. Res64: 2C26ED484DE18F2E Time : 0.0 sec. user=mdettweiler [2016-05-11 01:12:51] 619*2^1428781-1 is not prime. Res64: 7E017E228F20B948 Time : 0.0 sec. user=mdettweiler [2016-05-11 01:12:52] 687*2^1428781-1 is not prime. Res64: 1C089E9C352F6B70 Time : 0.0 sec. user=mdettweiler [2016-05-11 01:12:52] 741*2^1428781-1 is not prime. Res64: 62B690DB8363FE4D Time : 0.0 sec. user=mdettweiler [2016-05-11 01:12:52] 847*2^1428781-1 is not prime. Res64: 9890A5D748B16D19 Time : 0.0 sec. user=mdettweiler [2016-05-11 01:23:42] 871*2^1428781-1 is not prime. Res64: 6CE0F3C60560A86B Time : 0.0 sec. user=mdettweiler [2016-05-11 01:23:42] 895*2^1428781-1 is not prime. Res64: B4FEAA5024C18C98 Time : 0.0 sec. user=mdettweiler [2016-05-11 01:23:43] 939*2^1428781-1 is not prime. Res64: BDA54F2F5DCA1B8F Time : 0.0 sec. user=mdettweiler [2016-05-11 01:23:43] 961*2^1428781-1 is not prime. Res64: B7DFC85FC6D61A92 Time : 0.0 sec. user=mdettweiler [2016-05-11 01:23:43] 711*2^1428782-1 is not prime. Res64: 19DEFC11B9943955 Time : 0.0 sec. user=mdettweiler [2016-05-11 01:43:21] 731*2^1428782-1 is not prime. Res64: 1BF495B5B3A84EAD Time : 0.0 sec. user=mdettweiler [2016-05-11 01:43:22] 743*2^1428782-1 is not prime. Res64: C6A0983403E1B5C9 Time : 0.0 sec. user=mdettweiler [2016-05-11 01:43:22] 921*2^1428782-1 is not prime. Res64: F05C611C09E04A7A Time : 0.0 sec. user=mdettweiler [2016-05-11 01:43:23] 941*2^1428782-1 is not prime. Res64: 38FB0856CE9C490A Time : 0.0 sec. user=mdettweiler [2016-05-11 01:43:23] 977*2^1428782-1 is not prime. Res64: AC634F0A773EBBA4 Time : 0.0 sec. user=mdettweiler [2016-05-11 01:58:00] 981*2^1428782-1 is not prime. Res64: 555F00B1BEAAADFC Time : 0.0 sec. user=mdettweiler [2016-05-11 01:58:01] 639*2^1428783-1 is not prime. Res64: F14711E19B97D8CF Time : 0.0 sec. user=mdettweiler [2016-05-11 01:58:02] 693*2^1428783-1 is not prime. Res64: 8FDC86F60056E2BF Time : 0.0 sec. user=mdettweiler [2016-05-11 01:58:03] 763*2^1428783-1 is not prime. Res64: 7EA1C4C8EB07E354 Time : 0.0 sec. user=mdettweiler [2016-05-11 01:58:03] 789*2^1428783-1 is not prime. Res64: 603A3D647D68A5A7 Time : 0.0 sec. user=mdettweiler [2016-05-11 01:59:50] 885*2^1428783-1 is not prime. Res64: F8925DAC4192B56C Time : 0.0 sec. user=mdettweiler [2016-05-11 01:59:50] 919*2^1428783-1 is not prime. Res64: 6228EA6E361EA2E5 Time : 0.0 sec. user=mdettweiler [2016-05-11 01:59:51] 921*2^1428783-1 is not prime. Res64: F77EED2625F37107 Time : 0.0 sec. user=mdettweiler [2016-05-11 01:59:51] 969*2^1428783-1 is not prime. Res64: 39CA119CCF432E9C Time : 0.0 sec. user=mdettweiler [2016-05-11 01:59:51] 657*2^1428784-1 is not prime. Res64: 6AB8067F9398CCD0 Time : 0.0 sec. user=mdettweiler [2016-05-11 02:10:57] 743*2^1428784-1 is not prime. Res64: 0A83383BC1978639 Time : 0.0 sec. user=mdettweiler [2016-05-11 02:11:02] 785*2^1428784-1 is not prime. Res64: 3A7929DE8BB4CA3C Time : 0.0 sec. user=mdettweiler [2016-05-11 02:11:04] 803*2^1428784-1 is not prime. Res64: 745B0FA931CB2AAF Time : 0.0 sec. user=mdettweiler [2016-05-11 02:11:06] 833*2^1428784-1 is not prime. Res64: C4ECF4B69521083D Time : 0.0 sec. user=mdettweiler [2016-05-11 02:11:08] 843*2^1428784-1 is not prime. Res64: 153C7C3726CE331D Time : 0.0 sec. user=mdettweiler [2016-05-11 02:29:34] 863*2^1428784-1 is not prime. Res64: C4F23FA9295E0D54 Time : 0.0 sec. user=mdettweiler [2016-05-11 02:29:35] 619*2^1428785-1 is not prime. Res64: BF6BD1D9256E2B3B Time : 0.0 sec. user=mdettweiler [2016-05-11 02:29:36] 969*2^1428785-1 is not prime. Res64: 9FECA5999454B55C Time : 0.0 sec. user=mdettweiler [2016-05-11 02:29:36] 635*2^1428786-1 is not prime. Res64: E6CE9F6165768C79 Time : 0.0 sec. user=mdettweiler [2016-05-11 02:29:37] 777*2^1428786-1 is not prime. Res64: 07F3259367A9937A Time : 0.0 sec. user=mdettweiler [2016-05-11 02:44:26] 833*2^1428786-1 is not prime. Res64: 92C5A2FAEF153A6C Time : 0.0 sec. user=mdettweiler [2016-05-11 02:44:27] 861*2^1428786-1 is not prime. Res64: 688C533A9EC66797 Time : 0.0 sec. user=mdettweiler [2016-05-11 02:44:27] 633*2^1428787-1 is not prime. Res64: 7599F08AEB402749 Time : 0.0 sec. user=mdettweiler [2016-05-11 02:44:28] 699*2^1428787-1 is not prime. Res64: E79408C8A5236EA6 Time : 0.0 sec. user=mdettweiler [2016-05-11 02:44:28] 735*2^1428787-1 is not prime. Res64: A82F7671D4B2D326 Time : 0.0 sec. user=mdettweiler [2016-05-11 02:46:29] 805*2^1428787-1 is not prime. Res64: 4B645D6CF8CDAB9C Time : 0.0 sec. user=mdettweiler [2016-05-11 02:46:29] 895*2^1428787-1 is not prime. Res64: DA1FA6DF1B6B3927 Time : 0.0 sec. user=mdettweiler [2016-05-11 02:46:30] 925*2^1428787-1 is not prime. Res64: F15A9AFF7A53F001 Time : 0.0 sec. user=mdettweiler [2016-05-11 02:46:30] 975*2^1428787-1 is not prime. Res64: 26EA99A80C080BA2 Time : 0.0 sec. user=mdettweiler [2016-05-11 02:46:30] 617*2^1428788-1 is not prime. Res64: C4140CC734B69C8D Time : 0.0 sec. user=mdettweiler [2016-05-11 02:58:18] 647*2^1428788-1 is not prime. Res64: 0685AD3873BB608F Time : 0.0 sec. user=mdettweiler [2016-05-11 02:58:18] 659*2^1428788-1 is not prime. Res64: 0EED8D55FA3D9D50 Time : 0.0 sec. user=mdettweiler [2016-05-11 02:58:18] 669*2^1428788-1 is not prime. Res64: 94DAE264F2C2DC8F Time : 0.0 sec. user=mdettweiler [2016-05-11 02:58:19] 725*2^1428788-1 is not prime. Res64: 6E25B7F556377DD9 Time : 0.0 sec. user=mdettweiler [2016-05-11 02:58:19] 789*2^1428788-1 is not prime. Res64: 7EF77BC5CFA579E7 Time : 0.0 sec. user=mdettweiler [2016-05-11 03:16:22] 797*2^1428788-1 is not prime. Res64: DC18F9DE105AD270 Time : 0.0 sec. user=mdettweiler [2016-05-11 03:16:22] 915*2^1428788-1 is not prime. Res64: 19050291C027B353 Time : 0.0 sec. user=mdettweiler [2016-05-11 03:16:23] 621*2^1428789-1 is not prime. Res64: 51A75CED10EF8DF0 Time : 0.0 sec. user=mdettweiler [2016-05-11 03:16:23] 667*2^1428789-1 is not prime. Res64: 64DEDBE98337FB28 Time : 0.0 sec. user=mdettweiler [2016-05-11 03:16:24] 681*2^1428789-1 is not prime. Res64: D6BBA2C4F3E7CAB6 Time : 0.0 sec. user=mdettweiler [2016-05-11 03:30:13] 709*2^1428789-1 is not prime. Res64: 3E2E475ED2B475A0 Time : 0.0 sec. user=mdettweiler [2016-05-11 03:30:15] 789*2^1428789-1 is not prime. Res64: 1D8C0218CDF65AEC Time : 0.0 sec. user=mdettweiler [2016-05-11 03:30:17] 877*2^1428789-1 is not prime. Res64: 0DA32FB5969BCC36 Time : 0.0 sec. user=mdettweiler [2016-05-11 03:30:19] 885*2^1428789-1 is not prime. Res64: 0D176FE4433DE896 Time : 0.0 sec. user=mdettweiler [2016-05-11 03:30:20] 907*2^1428789-1 is not prime. Res64: 5D4BFD46D113E081 Time : 0.0 sec. user=mdettweiler [2016-05-11 03:32:05] 921*2^1428789-1 is not prime. Res64: 955C9D5DB1E4828F Time : 0.0 sec. user=mdettweiler [2016-05-11 03:32:06] 951*2^1428789-1 is not prime. Res64: D3ECBE3EBD19A0A7 Time : 0.0 sec. user=mdettweiler [2016-05-11 03:32:07] 955*2^1428789-1 is not prime. Res64: C6A4E3058690A2D2 Time : 0.0 sec. user=mdettweiler [2016-05-11 03:32:07] 635*2^1428790-1 is not prime. Res64: 20397D57744DFB07 Time : 0.0 sec. user=mdettweiler [2016-05-11 03:32:08] 731*2^1428790-1 is not prime. Res64: ECE2E4F350545568 Time : 0.0 sec. user=mdettweiler [2016-05-11 03:43:49] 801*2^1428790-1 is not prime. Res64: 7F42159CA4BD6434 Time : 0.0 sec. user=mdettweiler [2016-05-11 03:43:51] 827*2^1428790-1 is not prime. Res64: B9AEDA781140A030 Time : 0.0 sec. user=mdettweiler [2016-05-11 03:43:52] 857*2^1428790-1 is not prime. Res64: BFC73BEC09FE5615 Time : 0.0 sec. user=mdettweiler [2016-05-11 03:43:52] 603*2^1428791-1 is not prime. Res64: DC7502C1445D9EA9 Time : 0.0 sec. user=mdettweiler [2016-05-11 03:43:53] 615*2^1428791-1 is not prime. Res64: 325A864A2B10FFEE Time : 0.0 sec. user=mdettweiler [2016-05-11 04:02:21] 643*2^1428791-1 is not prime. Res64: 804CCD922CE2737B Time : 0.0 sec. user=mdettweiler [2016-05-11 04:02:23] 823*2^1428791-1 is not prime. Res64: 45B0DCE01318D3E3 Time : 0.0 sec. user=mdettweiler [2016-05-11 04:02:24] 605*2^1428792-1 is not prime. Res64: AA23867C799CE3C2 Time : 0.0 sec. user=mdettweiler [2016-05-11 04:02:25] 669*2^1428792-1 is not prime. Res64: DA78E8F2BF7BC333 Time : 0.0 sec. user=mdettweiler [2016-05-11 04:02:25] 683*2^1428792-1 is not prime. Res64: 4A295AAE41D92824 Time : 0.0 sec. user=mdettweiler [2016-05-11 04:16:43] 725*2^1428792-1 is not prime. Res64: 467015C1A3E4CC27 Time : 0.0 sec. user=mdettweiler [2016-05-11 04:16:43] 747*2^1428792-1 is not prime. Res64: 5CF1C125C94FBACE Time : 0.0 sec. user=mdettweiler [2016-05-11 04:16:44] 759*2^1428792-1 is not prime. Res64: 7E81BCD60567D900 Time : 0.0 sec. user=mdettweiler [2016-05-11 04:16:44] 825*2^1428792-1 is not prime. Res64: 40E93F7AA30D1533 Time : 0.0 sec. user=mdettweiler [2016-05-11 04:16:44] 867*2^1428792-1 is not prime. Res64: C82D3D2B1FA03DA0 Time : 0.0 sec. user=mdettweiler [2016-05-11 04:18:42] 915*2^1428792-1 is not prime. Res64: 97EB5831CCCD7BF2 Time : 0.0 sec. user=mdettweiler [2016-05-11 04:18:43] 649*2^1428793-1 is not prime. Res64: DF30D30CCE6222CB Time : 0.0 sec. user=mdettweiler [2016-05-11 04:18:43] 651*2^1428793-1 is not prime. Res64: 37ACCDF99C3D3857 Time : 0.0 sec. user=mdettweiler [2016-05-11 04:18:44] 685*2^1428793-1 is not prime. Res64: 00B9DAD412DCC290 Time : 0.0 sec. user=mdettweiler [2016-05-11 04:18:44] 715*2^1428793-1 is not prime. Res64: FCA52C3910CF5D0E Time : 0.0 sec. user=mdettweiler [2016-05-11 04:30:06] 721*2^1428793-1 is not prime. Res64: AA86097B82609CC4 Time : 0.0 sec. user=mdettweiler [2016-05-11 04:30:07] 855*2^1428793-1 is not prime. Res64: 52F6CCB4EE523751 Time : 0.0 sec. user=mdettweiler [2016-05-11 04:30:07] 861*2^1428793-1 is not prime. Res64: 47A3140FE448E4C2 Time : 0.0 sec. user=mdettweiler [2016-05-11 04:30:08] 915*2^1428793-1 is not prime. Res64: 6A84C84931B57CE5 Time : 0.0 sec. user=mdettweiler [2016-05-11 04:30:08] 937*2^1428793-1 is not prime. Res64: 18084516CA87461D Time : 0.0 sec. user=mdettweiler [2016-05-11 04:48:58] 957*2^1428793-1 is not prime. Res64: 7F0EA949E22B310D Time : 0.0 sec. user=mdettweiler [2016-05-11 04:48:58] 605*2^1428794-1 is not prime. Res64: 0D86A51F857B2AC8 Time : 0.0 sec. user=mdettweiler [2016-05-11 04:48:58] 635*2^1428794-1 is not prime. Res64: 9BB5E4144684581F Time : 0.0 sec. user=mdettweiler [2016-05-11 04:48:59] 641*2^1428794-1 is not prime. Res64: 33D796ED43AFE924 Time : 0.0 sec. user=mdettweiler [2016-05-11 04:48:59] 645*2^1428794-1 is not prime. Res64: 3398E66A4695D2BB Time : 0.0 sec. user=mdettweiler [2016-05-11 05:02:13] 813*2^1428794-1 is not prime. Res64: 7CA616A99F367618 Time : 0.0 sec. user=mdettweiler [2016-05-11 05:02:13] 917*2^1428794-1 is not prime. Res64: 6A180785CCF67B5D Time : 0.0 sec. user=mdettweiler [2016-05-11 05:02:14] 995*2^1428794-1 is not prime. Res64: 4C94A793D48ECCCA Time : 0.0 sec. user=mdettweiler [2016-05-11 05:02:15] 765*2^1428795-1 is not prime. Res64: A70C2EAEBDC5683A Time : 0.0 sec. user=mdettweiler [2016-05-11 05:02:16] 843*2^1428796-1 is not prime. Res64: 9B2B7BE9A3D0E3CD Time : 0.0 sec. user=mdettweiler [2016-05-11 05:04:12] 857*2^1428796-1 is not prime. Res64: F879F1354C27D401 Time : 0.0 sec. user=mdettweiler [2016-05-11 05:04:13] 869*2^1428796-1 is not prime. Res64: 9C6493C66D089401 Time : 0.0 sec. user=mdettweiler [2016-05-11 05:04:14] 887*2^1428796-1 is not prime. Res64: 1B035B8A1D5CB56D Time : 0.0 sec. user=mdettweiler [2016-05-11 05:04:15] 909*2^1428796-1 is not prime. Res64: 3F0509D645240A28 Time : 0.0 sec. user=mdettweiler [2016-05-11 05:04:16] 983*2^1428796-1 is not prime. Res64: CC604C6FCBED4E92 Time : 0.0 sec. user=mdettweiler [2016-05-11 05:15:56] 987*2^1428796-1 is not prime. Res64: 75354CB9C0E061FB Time : 0.0 sec. user=mdettweiler [2016-05-11 05:15:56] 989*2^1428796-1 is not prime. Res64: 0E4506E233EF07CF Time : 0.0 sec. user=mdettweiler [2016-05-11 05:15:57] 621*2^1428797-1 is not prime. Res64: 379C48C3EB9F739A Time : 0.0 sec. user=mdettweiler [2016-05-11 05:15:57] 685*2^1428797-1 is not prime. Res64: 5D24A1C4E29D9773 Time : 0.0 sec. user=mdettweiler [2016-05-11 05:15:57] 727*2^1428797-1 is not prime. Res64: CCD45949584DCF69 Time : 0.0 sec. user=mdettweiler [2016-05-11 05:37:28] 735*2^1428797-1 is not prime. Res64: 8780FE18AB946264 Time : 0.0 sec. user=mdettweiler [2016-05-11 05:37:29] 771*2^1428797-1 is not prime. Res64: 3034E19683598025 Time : 0.0 sec. user=mdettweiler [2016-05-11 05:37:29] 829*2^1428797-1 is not prime. Res64: A4BC0BAFF1E49F73 Time : 0.0 sec. user=mdettweiler [2016-05-11 05:37:29] 901*2^1428797-1 is not prime. Res64: CB3FAF8BCC89F5D3 Time : 0.0 sec. user=mdettweiler [2016-05-11 05:37:29] 925*2^1428797-1 is not prime. Res64: 7A644040186F49E5 Time : 0.0 sec. user=mdettweiler [2016-05-11 05:54:29] 939*2^1428797-1 is not prime. Res64: 482E5F7362F17371 Time : 0.0 sec. user=mdettweiler [2016-05-11 05:54:29] 621*2^1428798-1 is not prime. Res64: 28B19D6CFCAECE6C Time : 0.0 sec. user=mdettweiler [2016-05-11 05:54:29] 731*2^1428798-1 is not prime. Res64: FE496203080F3342 Time : 0.0 sec. user=mdettweiler [2016-05-11 05:54:30] 747*2^1428798-1 is not prime. Res64: 20B8319AD7584572 Time : 0.0 sec. user=mdettweiler [2016-05-11 05:54:30] 755*2^1428798-1 is not prime. Res64: DAD8F256A455DABC Time : 0.0 sec. user=mdettweiler [2016-05-11 05:56:59] 777*2^1428798-1 is not prime. Res64: D14A58E1764B52A9 Time : 0.0 sec. user=mdettweiler [2016-05-11 05:56:59] 801*2^1428798-1 is not prime. Res64: 661F699D86A79BF0 Time : 0.0 sec. user=mdettweiler [2016-05-11 05:57:00] 825*2^1428798-1 is not prime. Res64: 44BD9A79244A6FD4 Time : 0.0 sec. user=mdettweiler [2016-05-11 05:57:00] 891*2^1428798-1 is not prime. Res64: BFE67367A77EF956 Time : 0.0 sec. user=mdettweiler [2016-05-11 05:57:00] 893*2^1428798-1 is not prime. Res64: B99D1E70CF7991D4 Time : 0.0 sec. user=mdettweiler [2016-05-11 06:08:50] 663*2^1428799-1 is not prime. Res64: A2B60976C3CB2030 Time : 0.0 sec. user=mdettweiler [2016-05-11 06:08:50] 813*2^1428799-1 is not prime. Res64: FDB78F9A0ADD7768 Time : 0.0 sec. user=mdettweiler [2016-05-11 06:08:51] 829*2^1428799-1 is not prime. Res64: F7E5D4A90F559CFF Time : 0.0 sec. user=mdettweiler [2016-05-11 06:08:51] 841*2^1428799-1 is not prime. Res64: 430CD2DD0B029838 Time : 0.0 sec. user=mdettweiler [2016-05-11 06:08:52] 861*2^1428799-1 is not prime. Res64: 52DF937AB87E9816 Time : 0.0 sec. user=mdettweiler [2016-05-11 06:26:27] 873*2^1428799-1 is not prime. Res64: FCACAEF28E6C472F Time : 0.0 sec. user=mdettweiler [2016-05-11 06:26:28] 891*2^1428799-1 is not prime. Res64: 4D5B44A4AB16D693 Time : 0.0 sec. user=mdettweiler [2016-05-11 06:26:28] 789*2^1428800-1 is not prime. Res64: 03E99F6A0410E983 Time : 0.0 sec. user=mdettweiler [2016-05-11 06:26:29] 827*2^1428800-1 is not prime. Res64: E20DF245AD3106A6 Time : 0.0 sec. user=mdettweiler [2016-05-11 06:26:29] 845*2^1428800-1 is not prime. Res64: 059EE9584A0220B7 Time : 0.0 sec. user=mdettweiler [2016-05-11 06:40:29] 615*2^1428801-1 is not prime. Res64: 974232D2D3248A32 Time : 0.0 sec. user=mdettweiler [2016-05-11 06:40:29] 649*2^1428801-1 is not prime. Res64: E8B43AE0644C1920 Time : 0.0 sec. user=mdettweiler [2016-05-11 06:40:30] 681*2^1428801-1 is not prime. Res64: 9505A55BD2093FF2 Time : 0.0 sec. user=mdettweiler [2016-05-11 06:40:30] 717*2^1428801-1 is not prime. Res64: 235109DA57CF6527 Time : 0.0 sec. user=mdettweiler [2016-05-11 06:40:30] 751*2^1428801-1 is not prime. Res64: BBD4245806302BB0 Time : 0.0 sec. user=mdettweiler [2016-05-11 06:42:44] 777*2^1428801-1 is not prime. Res64: 1D8B4D00AB66D555 Time : 0.0 sec. user=mdettweiler [2016-05-11 06:42:44] 819*2^1428801-1 is not prime. Res64: 92E59DDD95C152C3 Time : 0.0 sec. user=mdettweiler [2016-05-11 06:42:44] 865*2^1428801-1 is not prime. Res64: 050C32A9CFF381E4 Time : 0.0 sec. user=mdettweiler [2016-05-11 06:42:45] 871*2^1428801-1 is not prime. Res64: E11169DDDCC86F5E Time : 0.0 sec. user=mdettweiler [2016-05-11 06:42:45] 999*2^1428801-1 is not prime. Res64: 78DB50727EB9D664 Time : 0.0 sec. user=mdettweiler [2016-05-11 06:54:18] 747*2^1428802-1 is not prime. Res64: 4B8F648DAECEBB7A Time : 0.0 sec. user=mdettweiler [2016-05-11 06:54:18] 791*2^1428802-1 is not prime. Res64: 9D6DD2FBA1D980CB Time : 0.0 sec. user=mdettweiler [2016-05-11 06:54:18] 801*2^1428802-1 is not prime. Res64: 7434A8A7F42B488B Time : 0.0 sec. user=mdettweiler [2016-05-11 06:54:19] 813*2^1428802-1 is not prime. Res64: 7A3205032815DA41 Time : 0.0 sec. user=mdettweiler [2016-05-11 06:54:19] 947*2^1428802-1 is not prime. Res64: E7004ADB3C8A2AD1 Time : 0.0 sec. user=mdettweiler [2016-05-11 07:12:21] 987*2^1428802-1 is not prime. Res64: 948926480897C1E1 Time : 0.0 sec. user=mdettweiler [2016-05-11 07:12:22] 771*2^1428803-1 is not prime. Res64: 472A59DE51FBB9C9 Time : 0.0 sec. user=mdettweiler [2016-05-11 07:12:22] 801*2^1428803-1 is not prime. Res64: 0E6B2097030CA7FD Time : 0.0 sec. user=mdettweiler [2016-05-11 07:12:23] 943*2^1428803-1 is not prime. Res64: 5497D366A3D0B881 Time : 0.0 sec. user=mdettweiler [2016-05-11 07:12:23] 969*2^1428803-1 is not prime. Res64: 0B45D5E4663AEB06 Time : 0.0 sec. user=mdettweiler [2016-05-11 07:25:56] 973*2^1428803-1 is not prime. Res64: 24257B58ED2E8CEA Time : 0.0 sec. user=mdettweiler [2016-05-11 07:25:56] 623*2^1428804-1 is not prime. Res64: 0963AEB18A37DF53 Time : 0.0 sec. user=mdettweiler [2016-05-11 07:25:56] 635*2^1428804-1 is not prime. Res64: 4C0E737AD98A36A0 Time : 0.0 sec. user=mdettweiler [2016-05-11 07:25:57] 665*2^1428804-1 is not prime. Res64: 51F4E2AFC8EFBC83 Time : 0.0 sec. user=mdettweiler [2016-05-11 07:25:57] 689*2^1428804-1 is not prime. Res64: D4E3C599A9824F80 Time : 0.0 sec. user=mdettweiler [2016-05-11 07:28:23] 699*2^1428804-1 is not prime. Res64: 516F692D17FFA3C3 Time : 0.0 sec. user=mdettweiler [2016-05-11 07:28:23] 707*2^1428804-1 is not prime. Res64: EFD7426EFF7B6513 Time : 0.0 sec. user=mdettweiler [2016-05-11 07:28:24] 717*2^1428804-1 is not prime. Res64: 9B879DDFF0DFEDBC Time : 0.0 sec. user=mdettweiler [2016-05-11 07:28:24] 725*2^1428804-1 is not prime. Res64: 0B417CA12A73A3AC Time : 0.0 sec. user=mdettweiler [2016-05-11 07:28:25] 795*2^1428804-1 is not prime. Res64: 47623987D97C748F Time : 0.0 sec. user=mdettweiler [2016-05-11 07:39:52] 857*2^1428804-1 is not prime. Res64: D99969E962351F99 Time : 0.0 sec. user=mdettweiler [2016-05-11 07:39:52] 965*2^1428804-1 is not prime. Res64: D3094ADA13213F68 Time : 0.0 sec. user=mdettweiler [2016-05-11 07:39:53] 651*2^1428805-1 is not prime. Res64: A9BA1EA7859F833C Time : 0.0 sec. user=mdettweiler [2016-05-11 07:39:53] 667*2^1428805-1 is not prime. Res64: 79CA41B7F7D20172 Time : 0.0 sec. user=mdettweiler [2016-05-11 07:39:53] 727*2^1428805-1 is not prime. Res64: FC5A6A12C9B86D44 Time : 0.0 sec. user=mdettweiler [2016-05-11 07:58:12] 729*2^1428805-1 is not prime. Res64: 2B2E1B8E729AF418 Time : 0.0 sec. user=mdettweiler [2016-05-11 07:58:13] 819*2^1428805-1 is not prime. Res64: 821CBB43FC9B8F64 Time : 0.0 sec. user=mdettweiler [2016-05-11 07:58:13] 985*2^1428805-1 is not prime. Res64: 17C19D933814AABA Time : 0.0 sec. user=mdettweiler [2016-05-11 07:58:13] 707*2^1428806-1 is not prime. Res64: 98BAEDED895242CE Time : 0.0 sec. user=mdettweiler [2016-05-11 07:58:14] 761*2^1428806-1 is not prime. Res64: 2F98D7AA4E0B2B17 Time : 0.0 sec. user=mdettweiler [2016-05-11 08:11:34] 873*2^1428806-1 is not prime. Res64: FF9AB6919BEBB2C7 Time : 0.0 sec. user=mdettweiler [2016-05-11 08:11:35] 897*2^1428806-1 is not prime. Res64: CB7265E039F06447 Time : 0.0 sec. user=mdettweiler [2016-05-11 08:11:35] 945*2^1428806-1 is not prime. Res64: C9A344D2FEC03FF3 Time : 0.0 sec. user=mdettweiler [2016-05-11 08:11:36] 711*2^1428807-1 is not prime. Res64: DF6B4D198B5A7774 Time : 0.0 sec. user=mdettweiler [2016-05-11 08:11:36] 781*2^1428807-1 is not prime. Res64: 20BDE69B85504644 Time : 0.0 sec. user=mdettweiler [2016-05-11 08:14:01] 919*2^1428807-1 is not prime. Res64: 20DD772B9659BC1D Time : 0.0 sec. user=mdettweiler [2016-05-11 08:14:02] 955*2^1428807-1 is not prime. Res64: 0F64E70E4838CEAC Time : 0.0 sec. user=mdettweiler [2016-05-11 08:14:02] 687*2^1428808-1 is not prime. Res64: 2923AAE453EB7F9F Time : 0.0 sec. user=mdettweiler [2016-05-11 08:14:02] 755*2^1428808-1 is not prime. Res64: A163389634745F46 Time : 0.0 sec. user=mdettweiler [2016-05-11 08:14:03] 819*2^1428808-1 is not prime. Res64: CF60BD79097638D8 Time : 0.0 sec. user=mdettweiler [2016-05-11 08:25:28] 827*2^1428808-1 is not prime. Res64: E748A283AEB75C4A Time : 0.0 sec. user=mdettweiler [2016-05-11 08:25:28] 839*2^1428808-1 is not prime. Res64: BD73038E5267E834 Time : 0.0 sec. user=mdettweiler [2016-05-11 08:25:28] 729*2^1428809-1 is not prime. Res64: 0DD72CDCB30AF0C9 Time : 0.0 sec. user=mdettweiler [2016-05-11 08:25:29] 741*2^1428809-1 is not prime. Res64: 670D7123DB4EF2F7 Time : 0.0 sec. user=mdettweiler [2016-05-11 08:25:29] 811*2^1428809-1 is not prime. Res64: 033F06D7E5B50104 Time : 0.0 sec. user=mdettweiler [2016-05-11 08:44:07] 831*2^1428809-1 is not prime. Res64: 50D997CECEC28E2E Time : 0.0 sec. user=mdettweiler [2016-05-11 08:44:07] 847*2^1428809-1 is not prime. Res64: EDCD9CBE69E39B29 Time : 0.0 sec. user=mdettweiler [2016-05-11 08:44:07] 909*2^1428809-1 is not prime. Res64: CC0262866F04B347 Time : 0.0 sec. user=mdettweiler [2016-05-11 08:44:08] 651*2^1428810-1 is not prime. Res64: 6EE9FF0C76D4622B Time : 0.0 sec. user=mdettweiler [2016-05-11 08:44:08] 843*2^1428810-1 is not prime. Res64: BB8F27236244A6F1 Time : 0.0 sec. user=mdettweiler [2016-05-11 08:57:09] 861*2^1428810-1 is not prime. Res64: 38C622271A1E3DCC Time : 0.0 sec. user=mdettweiler [2016-05-11 08:57:10] 977*2^1428810-1 is not prime. Res64: 0C271B5C77EE124D Time : 0.0 sec. user=mdettweiler [2016-05-11 08:57:10] 615*2^1428811-1 is not prime. Res64: 779AF7B0452BE6C3 Time : 0.0 sec. user=mdettweiler [2016-05-11 08:57:10] 621*2^1428811-1 is not prime. Res64: 62733CA4DD6BAD23 Time : 0.0 sec. user=mdettweiler [2016-05-11 08:57:11] 645*2^1428811-1 is not prime. Res64: C3A62A9365F82F9C Time : 0.0 sec. user=mdettweiler [2016-05-11 08:59:37] 675*2^1428811-1 is not prime. Res64: 445F14B010B41014 Time : 0.0 sec. user=mdettweiler [2016-05-11 08:59:37] 703*2^1428811-1 is not prime. Res64: 8A82249D12F58A11 Time : 0.0 sec. user=mdettweiler [2016-05-11 08:59:38] 789*2^1428811-1 is not prime. Res64: 14F52C2C48F4C406 Time : 0.0 sec. user=mdettweiler [2016-05-11 08:59:38] 633*2^1428812-1 is not prime. Res64: 057DDAF2549BCE41 Time : 0.0 sec. user=mdettweiler [2016-05-11 08:59:39] 725*2^1428812-1 is not prime. Res64: B6C3BC88DF047B2E Time : 0.0 sec. user=mdettweiler [2016-05-11 09:11:19] 767*2^1428812-1 is not prime. Res64: B0E59A7888084BD3 Time : 0.0 sec. user=mdettweiler [2016-05-11 09:11:20] 893*2^1428812-1 is not prime. Res64: C856FB590845ABE3 Time : 0.0 sec. user=mdettweiler [2016-05-11 09:11:20] 897*2^1428812-1 is not prime. Res64: 2131A1C2FB5AA2FB Time : 0.0 sec. user=mdettweiler [2016-05-11 09:11:21] 923*2^1428812-1 is not prime. Res64: 66BEEE342AC4722B Time : 0.0 sec. user=mdettweiler [2016-05-11 09:11:21] 977*2^1428812-1 is not prime. Res64: 8424CE86BB115664 Time : 0.0 sec. user=mdettweiler [2016-05-11 09:29:40] 625*2^1428813-1 is not prime. Res64: 148771428DA383C4 Time : 0.0 sec. user=mdettweiler [2016-05-11 09:29:41] 867*2^1428813-1 is not prime. Res64: F4F21E6AC0B7E3BF Time : 0.0 sec. user=mdettweiler [2016-05-11 09:29:41] 895*2^1428813-1 is not prime. Res64: 52C603580C42243C Time : 0.0 sec. user=mdettweiler [2016-05-11 09:29:42] 635*2^1428814-1 is not prime. Res64: AB2D244CA82DA130 Time : 0.0 sec. user=mdettweiler [2016-05-11 09:29:42] 657*2^1428814-1 is not prime. Res64: 3DE829E1825A0CA3 Time : 0.0 sec. user=mdettweiler [2016-05-11 09:42:43] 681*2^1428814-1 is not prime. Res64: 57B80201D508D3D7 Time : 0.0 sec. user=mdettweiler [2016-05-11 09:42:43] 741*2^1428814-1 is not prime. Res64: BF1B685D238443A5 Time : 0.0 sec. user=mdettweiler [2016-05-11 09:42:44] 945*2^1428814-1 is not prime. Res64: F8D65A3629E3E3EC Time : 0.0 sec. user=mdettweiler [2016-05-11 09:42:44] 951*2^1428814-1 is not prime. Res64: 143B66C32A1CED64 Time : 0.0 sec. user=mdettweiler [2016-05-11 09:42:45] 975*2^1428814-1 is not prime. Res64: 32632FDEFD63A8F7 Time : 0.0 sec. user=mdettweiler [2016-05-11 09:45:11] 669*2^1428815-1 is not prime. Res64: 6C3F3DC2D85B5461 Time : 0.0 sec. user=mdettweiler [2016-05-11 09:45:11] 735*2^1428815-1 is not prime. Res64: E823ABFBF6A82358 Time : 0.0 sec. user=mdettweiler [2016-05-11 09:45:11] 799*2^1428815-1 is not prime. Res64: FFA646D2553B7C83 Time : 0.0 sec. user=mdettweiler [2016-05-11 09:45:12] 805*2^1428815-1 is not prime. Res64: 60235A5A05E7F392 Time : 0.0 sec. user=mdettweiler [2016-05-11 09:45:12] 981*2^1428815-1 is not prime. Res64: D45BFE6FE8C6C95D Time : 0.0 sec. user=mdettweiler [2016-05-11 09:57:11] 623*2^1428816-1 is not prime. Res64: 8150C9B08547415F Time : 0.0 sec. user=mdettweiler [2016-05-11 09:57:11] 669*2^1428816-1 is not prime. Res64: 5BCD1B525F200C13 Time : 0.0 sec. user=mdettweiler [2016-05-11 09:57:11] 725*2^1428816-1 is not prime. Res64: 98A080CDA1CD04D7 Time : 0.0 sec. user=mdettweiler [2016-05-11 09:57:12] 845*2^1428816-1 is not prime. Res64: 49F3BCC98494C3E5 Time : 0.0 sec. user=mdettweiler [2016-05-11 09:57:12] 903*2^1428816-1 is not prime. Res64: 5DF0113E055C309C Time : 0.0 sec. user=mdettweiler [2016-05-11 10:15:52] 615*2^1428817-1 is not prime. Res64: 438931D595F9DCB8 Time : 0.0 sec. user=mdettweiler [2016-05-11 10:15:53] 649*2^1428817-1 is not prime. Res64: FD43FF1C04F98E72 Time : 0.0 sec. user=mdettweiler [2016-05-11 10:15:53] 885*2^1428817-1 is not prime. Res64: 824E9A956CA84196 Time : 0.0 sec. user=mdettweiler [2016-05-11 10:15:54] 617*2^1428818-1 is not prime. Res64: 3B05EBB623B3F5C2 Time : 0.0 sec. user=mdettweiler [2016-05-11 10:15:54] 885*2^1428818-1 is not prime. Res64: 3549BCEA91FB3886 Time : 0.0 sec. user=mdettweiler [2016-05-11 10:29:12] 927*2^1428818-1 is not prime. Res64: 61887A1F1A8B5DF5 Time : 0.0 sec. user=mdettweiler [2016-05-11 10:29:12] 963*2^1428818-1 is not prime. Res64: 10547E471CF1F9A0 Time : 0.0 sec. user=mdettweiler [2016-05-11 10:29:12] 619*2^1428819-1 is not prime. Res64: 1D650412AAB4C395 Time : 0.0 sec. user=mdettweiler [2016-05-11 10:29:13] 679*2^1428819-1 is not prime. Res64: 0CDEF72461499F27 Time : 0.0 sec. user=mdettweiler [2016-05-11 10:29:13] 705*2^1428819-1 is not prime. Res64: C20A993FA2D0E0BF Time : 0.0 sec. user=mdettweiler [2016-05-11 10:31:40] 823*2^1428819-1 is not prime. Res64: 6702890D4CFECF2E Time : 0.0 sec. user=mdettweiler [2016-05-11 10:31:41] 879*2^1428819-1 is not prime. Res64: 5A7DD1A0326F7067 Time : 0.0 sec. user=mdettweiler [2016-05-11 10:31:41] 895*2^1428819-1 is not prime. Res64: 7244EE0D13A4F113 Time : 0.0 sec. user=mdettweiler [2016-05-11 10:31:41] 605*2^1428820-1 is not prime. Res64: 74B5B2E7DF4A2EF3 Time : 0.0 sec. user=mdettweiler [2016-05-11 10:31:41] 609*2^1428820-1 is not prime. Res64: CFBA8ACDBB8D8B0F Time : 0.0 sec. user=mdettweiler [2016-05-11 10:43:33] 785*2^1428820-1 is not prime. Res64: B2120C3816EF6B46 Time : 0.0 sec. user=mdettweiler [2016-05-11 10:43:33] 819*2^1428820-1 is not prime. Res64: 8DF5176349BD6816 Time : 0.0 sec. user=mdettweiler [2016-05-11 10:43:34] 833*2^1428820-1 is not prime. Res64: B1C7A4B214942B26 Time : 0.0 sec. user=mdettweiler [2016-05-11 10:43:34] 855*2^1428820-1 is not prime. Res64: A78FFAD291E4EE84 Time : 0.0 sec. user=mdettweiler [2016-05-11 10:43:35] 857*2^1428820-1 is not prime. Res64: F13C86949587323B Time : 0.0 sec. user=mdettweiler [2016-05-11 11:01:51] 885*2^1428820-1 is not prime. Res64: 586C726F34B75A5A Time : 0.0 sec. user=mdettweiler [2016-05-11 11:01:52] 915*2^1428820-1 is not prime. Res64: 0240992D76EBD2A5 Time : 0.0 sec. user=mdettweiler [2016-05-11 11:01:53] 929*2^1428820-1 is not prime. Res64: 901962B334FBEC99 Time : 0.0 sec. user=mdettweiler [2016-05-11 11:01:53] 615*2^1428821-1 is not prime. Res64: 48875241C912D101 Time : 0.0 sec. user=mdettweiler [2016-05-11 11:01:54] 619*2^1428821-1 is not prime. Res64: F368681EB8AB402D Time : 0.0 sec. user=mdettweiler [2016-05-11 11:14:49] 657*2^1428821-1 is not prime. Res64: A3E94884EF446A66 Time : 0.0 sec. user=mdettweiler [2016-05-11 11:14:49] 801*2^1428821-1 is not prime. Res64: 7C91B991CC10993F Time : 0.0 sec. user=mdettweiler [2016-05-11 11:14:50] 837*2^1428821-1 is not prime. Res64: 0989F1F2E7D8BACC Time : 0.0 sec. user=mdettweiler [2016-05-11 11:14:50] 865*2^1428821-1 is not prime. Res64: 81E680DDA03AF32E Time : 0.0 sec. user=mdettweiler [2016-05-11 11:14:50] 635*2^1428822-1 is not prime. Res64: F8EDD1FAFB9D0C9C Time : 0.0 sec. user=mdettweiler [2016-05-11 11:17:28] 695*2^1428822-1 is not prime. Res64: 6627A731623CB374 Time : 0.0 sec. user=mdettweiler [2016-05-11 11:17:29] 711*2^1428822-1 is not prime. Res64: ADCD5C23D440E881 Time : 0.0 sec. user=mdettweiler [2016-05-11 11:17:29] 737*2^1428822-1 is not prime. Res64: D1B9A6B6EAEE27C0 Time : 0.0 sec. user=mdettweiler [2016-05-11 11:17:29] 765*2^1428822-1 is not prime. Res64: AD248C5D9693BF9A Time : 0.0 sec. user=mdettweiler [2016-05-11 11:17:30] 815*2^1428822-1 is not prime. Res64: 099F0E2DCCC4A574 Time : 0.0 sec. user=mdettweiler [2016-05-11 11:28:54] 903*2^1428822-1 is not prime. Res64: B41B5D6C400B6CC3 Time : 0.0 sec. user=mdettweiler [2016-05-11 11:28:55] 977*2^1428822-1 is not prime. Res64: 9F7977467C8A96B8 Time : 0.0 sec. user=mdettweiler [2016-05-11 11:28:55] 661*2^1428823-1 is not prime. Res64: 3A618790BCC27CC7 Time : 0.0 sec. user=mdettweiler [2016-05-11 11:28:56] 681*2^1428823-1 is not prime. Res64: 94493CA4DAD16444 Time : 0.0 sec. user=mdettweiler [2016-05-11 11:28:56] 685*2^1428823-1 is not prime. Res64: D0ECB867D96E44E1 Time : 0.0 sec. user=mdettweiler [2016-05-11 11:47:44] 705*2^1428823-1 is not prime. Res64: ABAF543C1FA895CC Time : 0.0 sec. user=mdettweiler [2016-05-11 11:47:44] 763*2^1428823-1 is not prime. Res64: F2402CC89EE7CDF2 Time : 0.0 sec. user=mdettweiler [2016-05-11 11:47:44] 813*2^1428823-1 is not prime. Res64: 3D3787584DDC65A4 Time : 0.0 sec. user=mdettweiler [2016-05-11 11:47:45] 831*2^1428823-1 is not prime. Res64: 87AE220A73BE15A2 Time : 0.0 sec. user=mdettweiler [2016-05-11 11:47:45] 853*2^1428823-1 is not prime. Res64: B080564EA817F951 Time : 0.0 sec. user=mdettweiler [2016-05-11 12:00:34] 889*2^1428823-1 is not prime. Res64: 9BD28A674DC60E6C Time : 0.0 sec. user=mdettweiler [2016-05-11 12:00:35] 901*2^1428823-1 is not prime. Res64: E08A2993233BB6B0 Time : 0.0 sec. user=mdettweiler [2016-05-11 12:00:36] 939*2^1428823-1 is not prime. Res64: E8E159831A872563 Time : 0.0 sec. user=mdettweiler [2016-05-11 12:00:37] 999*2^1428823-1 is not prime. Res64: F92A6FECCA3DE971 Time : 0.0 sec. user=mdettweiler [2016-05-11 12:00:38] 609*2^1428824-1 is not prime. Res64: A86E8200E4B34147 Time : 0.0 sec. user=mdettweiler [2016-05-11 12:03:08] 657*2^1428824-1 is not prime. Res64: B39F3632C01C44C6 Time : 0.0 sec. user=mdettweiler [2016-05-11 12:03:09] 747*2^1428824-1 is not prime. Res64: 7166B505B6405F32 Time : 0.0 sec. user=mdettweiler [2016-05-11 12:03:10] 959*2^1428824-1 is not prime. Res64: 75DBBCF0A62836E4 Time : 0.0 sec. user=mdettweiler [2016-05-11 12:03:11] 669*2^1428825-1 is not prime. Res64: 38801E3DD29AD95B Time : 0.0 sec. user=mdettweiler [2016-05-11 12:03:12] 705*2^1428825-1 is not prime. Res64: 0C464AF5CB29312A Time : 0.0 sec. user=mdettweiler [2016-05-11 12:14:45] 759*2^1428825-1 is not prime. Res64: CC93C25AE087EDA8 Time : 0.0 sec. user=mdettweiler [2016-05-11 12:14:46] 805*2^1428825-1 is not prime. Res64: FBED67422AA826F2 Time : 0.0 sec. user=mdettweiler [2016-05-11 12:14:46] 861*2^1428825-1 is not prime. Res64: AD556520571C4446 Time : 0.0 sec. user=mdettweiler [2016-05-11 12:14:46] 919*2^1428825-1 is not prime. Res64: 5969C35F5F0EB813 Time : 0.0 sec. user=mdettweiler [2016-05-11 12:14:47] 937*2^1428825-1 is not prime. Res64: 5AA0DBCA7DDF0E63 Time : 0.0 sec. user=mdettweiler [2016-05-11 12:33:16] 651*2^1428826-1 is not prime. Res64: B2E8B87D80AFF950 Time : 0.0 sec. user=mdettweiler [2016-05-11 12:33:16] 705*2^1428826-1 is not prime. Res64: 4F062B155DF7D5D7 Time : 0.0 sec. user=mdettweiler [2016-05-11 12:33:16] 737*2^1428826-1 is not prime. Res64: 79E61380B198EA29 Time : 0.0 sec. user=mdettweiler [2016-05-11 12:33:17] 777*2^1428826-1 is not prime. Res64: 5D6A877FF47275B9 Time : 0.0 sec. user=mdettweiler [2016-05-11 12:33:17] 825*2^1428826-1 is not prime. Res64: 614F84C9D9780F7B Time : 0.0 sec. user=mdettweiler [2016-05-11 12:46:33] 857*2^1428826-1 is not prime. Res64: D25B6A8B5D74697B Time : 0.0 sec. user=mdettweiler [2016-05-11 12:46:33] 971*2^1428826-1 is not prime. Res64: 9CC1FF23C8BFA80A Time : 0.0 sec. user=mdettweiler [2016-05-11 12:46:33] 735*2^1428827-1 is not prime. Res64: 4202C1C7416F2AB3 Time : 0.0 sec. user=mdettweiler [2016-05-11 12:46:34] 895*2^1428827-1 is not prime. Res64: 53B886908759C5A3 Time : 0.0 sec. user=mdettweiler [2016-05-11 12:46:34] 973*2^1428827-1 is not prime. Res64: F1F43D0E918959C0 Time : 0.0 sec. user=mdettweiler [2016-05-11 12:49:01] 627*2^1428828-1 is not prime. Res64: 14989C7E349C68F6 Time : 0.0 sec. user=mdettweiler [2016-05-11 12:49:01] 635*2^1428828-1 is not prime. Res64: FAA4F61C4E489EA7 Time : 0.0 sec. user=mdettweiler [2016-05-11 12:49:02] 663*2^1428828-1 is not prime. Res64: 71C2613B01F97558 Time : 0.0 sec. user=mdettweiler [2016-05-11 12:49:02] 689*2^1428828-1 is not prime. Res64: 1870F511BBAD67DE Time : 0.0 sec. user=mdettweiler [2016-05-11 12:49:02] 725*2^1428828-1 is not prime. Res64: C3CFA85721AFCBC9 Time : 0.0 sec. user=mdettweiler [2016-05-11 13:00:31] 753*2^1428828-1 is not prime. Res64: DC7E160AFAFA9A08 Time : 0.0 sec. user=mdettweiler [2016-05-11 13:00:33] 783*2^1428828-1 is not prime. Res64: 4614B4CEEFC0E311 Time : 0.0 sec. user=mdettweiler [2016-05-11 13:00:33] 843*2^1428828-1 is not prime. Res64: 0712EAC79D90BF71 Time : 0.0 sec. user=mdettweiler [2016-05-11 13:00:34] 947*2^1428828-1 is not prime. Res64: 219DAF963CAC1BEE Time : 0.0 sec. user=mdettweiler [2016-05-11 13:00:35] 975*2^1428828-1 is not prime. Res64: FEC6B4BF7A344E72 Time : 0.0 sec. user=mdettweiler [2016-05-11 13:18:55] 987*2^1428828-1 is not prime. Res64: 0F17D69680FD0BB7 Time : 0.0 sec. user=mdettweiler [2016-05-11 13:18:56] 817*2^1428829-1 is not prime. Res64: 6C96CF45F8805A70 Time : 0.0 sec. user=mdettweiler [2016-05-11 13:18:56] 835*2^1428829-1 is not prime. Res64: 929867B839CE3AFD Time : 0.0 sec. user=mdettweiler [2016-05-11 13:18:56] 867*2^1428829-1 is not prime. Res64: 51B6DE20BB957A6A Time : 0.0 sec. user=mdettweiler [2016-05-11 13:18:57] 877*2^1428829-1 is not prime. Res64: 6EADD5D3D0DF0C6C Time : 0.0 sec. user=mdettweiler [2016-05-11 13:32:15] 895*2^1428829-1 is not prime. Res64: 783EE7BC92DD084B Time : 0.0 sec. user=mdettweiler [2016-05-11 13:32:15] 925*2^1428829-1 is not prime. Res64: 54C28C16CAAF0787 Time : 0.0 sec. user=mdettweiler [2016-05-11 13:32:16] 967*2^1428829-1 is not prime. Res64: 1E25AB05E8D30221 Time : 0.0 sec. user=mdettweiler [2016-05-11 13:32:16] 985*2^1428829-1 is not prime. Res64: 0B517D599F5198A8 Time : 0.0 sec. user=mdettweiler [2016-05-11 13:32:17] 615*2^1428830-1 is not prime. Res64: 5E283427C9CD3341 Time : 0.0 sec. user=mdettweiler [2016-05-11 13:34:31] 785*2^1428830-1 is not prime. Res64: 76B428E510379DBF Time : 0.0 sec. user=mdettweiler [2016-05-11 13:34:32] 857*2^1428830-1 is not prime. Res64: CE80375F935BC2CE Time : 0.0 sec. user=mdettweiler [2016-05-11 13:34:32] 885*2^1428830-1 is not prime. Res64: 2B81D3CE80FE5F1B Time : 0.0 sec. user=mdettweiler [2016-05-11 13:34:32] 893*2^1428830-1 is not prime. Res64: 6F7A9F647C8E22C2 Time : 0.0 sec. user=mdettweiler [2016-05-11 13:34:33] 935*2^1428830-1 is not prime. Res64: 2FCE21EE5BA0FDAC Time : 0.0 sec. user=mdettweiler [2016-05-11 13:46:12] 971*2^1428830-1 is not prime. Res64: D391099CB2028A52 Time : 0.0 sec. user=mdettweiler [2016-05-11 13:46:12] 619*2^1428831-1 is not prime. Res64: 2C66CB4F57A8FD2D Time : 0.0 sec. user=mdettweiler [2016-05-11 13:46:12] 643*2^1428831-1 is not prime. Res64: 07B350D4944B9EAB Time : 0.0 sec. user=mdettweiler [2016-05-11 13:46:13] 703*2^1428831-1 is not prime. Res64: B6E31EE62FB5E9C1 Time : 0.0 sec. user=mdettweiler [2016-05-11 13:46:13] 711*2^1428831-1 is not prime. Res64: 05838F869AB6A9E6 Time : 0.0 sec. user=mdettweiler [2016-05-11 14:04:31] 789*2^1428831-1 is not prime. Res64: 0E74796B174B7677 Time : 0.0 sec. user=mdettweiler [2016-05-11 14:04:32] 805*2^1428831-1 is not prime. Res64: 85E2478E3E66FEE5 Time : 0.0 sec. user=mdettweiler [2016-05-11 14:04:33] 861*2^1428831-1 is not prime. Res64: 437B9E27CB2763D2 Time : 0.0 sec. user=mdettweiler [2016-05-11 14:04:34] 975*2^1428831-1 is not prime. Res64: AA41215FD8FF98B0 Time : 0.0 sec. user=mdettweiler [2016-05-11 14:04:35] 979*2^1428831-1 is not prime. Res64: 2E464BE0B8C2313A Time : 0.0 sec. user=mdettweiler [2016-05-11 14:17:47] 603*2^1428832-1 is not prime. Res64: 0AA346497E2F8793 Time : 0.0 sec. user=mdettweiler [2016-05-11 14:17:48] 609*2^1428832-1 is not prime. Res64: 43F05EBB683B5BEF Time : 0.0 sec. user=mdettweiler [2016-05-11 14:17:48] 645*2^1428832-1 is not prime. Res64: 07401BECD73B151C Time : 0.0 sec. user=mdettweiler [2016-05-11 14:17:49] 803*2^1428832-1 is not prime. Res64: 38584239AA7BAAC3 Time : 0.0 sec. user=mdettweiler [2016-05-11 14:17:49] 857*2^1428832-1 is not prime. Res64: E4DE3FF8A313DD8A Time : 0.0 sec. user=mdettweiler [2016-05-11 14:20:05] 917*2^1428832-1 is not prime. Res64: 21BF2999BB8863A2 Time : 0.0 sec. user=mdettweiler [2016-05-11 14:20:06] 651*2^1428833-1 is not prime. Res64: DBC6C2CAFD5071D2 Time : 0.0 sec. user=mdettweiler [2016-05-11 14:20:06] 801*2^1428833-1 is not prime. Res64: B0A769502C0FE51D Time : 0.0 sec. user=mdettweiler [2016-05-11 14:20:07] 901*2^1428833-1 is not prime. Res64: D9641DF2EF4C8CB5 Time : 0.0 sec. user=mdettweiler [2016-05-11 14:20:07] 951*2^1428833-1 is not prime. Res64: DAADFCAF387B3BBC Time : 0.0 sec. user=mdettweiler [2016-05-11 14:31:45] 711*2^1428834-1 is not prime. Res64: 93565A38FFA505CF Time : 0.0 sec. user=mdettweiler [2016-05-11 14:31:45] 723*2^1428834-1 is not prime. Res64: 6ACB69869A91F0E1 Time : 0.0 sec. user=mdettweiler [2016-05-11 14:31:46] 797*2^1428834-1 is not prime. Res64: C405C71EEE52C813 Time : 0.0 sec. user=mdettweiler [2016-05-11 14:31:46] 807*2^1428834-1 is not prime. Res64: B698154BBD8CB751 Time : 0.0 sec. user=mdettweiler [2016-05-11 14:31:46] 873*2^1428834-1 is not prime. Res64: 905EC6FD477DF4BB Time : 0.0 sec. user=mdettweiler [2016-05-11 14:50:26] 971*2^1428834-1 is not prime. Res64: 829AA9E8B7FEBC3F Time : 0.0 sec. user=mdettweiler [2016-05-11 14:50:26] 983*2^1428834-1 is not prime. Res64: D555511A9838162F Time : 0.0 sec. user=mdettweiler [2016-05-11 14:50:26] 775*2^1428835-1 is not prime. Res64: 43FE484EB39B5980 Time : 0.0 sec. user=mdettweiler [2016-05-11 14:50:27] 783*2^1428835-1 is not prime. Res64: 53307023490F6E41 Time : 0.0 sec. user=mdettweiler [2016-05-11 14:50:27] 951*2^1428835-1 is not prime. Res64: CF673E89C0AA9B51 Time : 0.0 sec. user=mdettweiler [2016-05-11 15:03:30] 961*2^1428835-1 is not prime. Res64: 737379CF6C3C5E9E Time : 0.0 sec. user=mdettweiler [2016-05-11 15:03:32] 969*2^1428835-1 is not prime. Res64: 464AB39F20E3C264 Time : 0.0 sec. user=mdettweiler [2016-05-11 15:03:33] 669*2^1428836-1 is not prime. Res64: E70E26F774D27E36 Time : 0.0 sec. user=mdettweiler [2016-05-11 15:03:34] 717*2^1428836-1 is not prime. Res64: 73AF19C85415B48F Time : 0.0 sec. user=mdettweiler [2016-05-11 15:03:35] 993*2^1428836-1 is not prime. Res64: 5D440892E554F595 Time : 0.0 sec. user=mdettweiler [2016-05-11 15:05:25] 607*2^1428837-1 is not prime. Res64: 2D22D319F81A5079 Time : 0.0 sec. user=mdettweiler [2016-05-11 15:05:26] 699*2^1428837-1 is not prime. Res64: C1FCB26D5A3C3AC5 Time : 0.0 sec. user=mdettweiler [2016-05-11 15:05:28] 717*2^1428837-1 is not prime. Res64: 2CDF798CD09768E0 Time : 0.0 sec. user=mdettweiler [2016-05-11 15:05:29] 781*2^1428837-1 is not prime. Res64: 4B666E98E573545B Time : 0.0 sec. user=mdettweiler [2016-05-11 15:05:30] 847*2^1428837-1 is not prime. Res64: CCD14B79935A04CC Time : 0.0 sec. user=mdettweiler [2016-05-11 15:18:20] 665*2^1428838-1 is not prime. Res64: B0E7FBAC92B11C9C Time : 0.0 sec. user=mdettweiler [2016-05-11 15:18:20] 755*2^1428838-1 is not prime. Res64: 6A012B180B5CC596 Time : 0.0 sec. user=mdettweiler [2016-05-11 15:18:20] 773*2^1428838-1 is not prime. Res64: 00AB585CBB8DA31A Time : 0.0 sec. user=mdettweiler [2016-05-11 15:18:21] 911*2^1428838-1 is not prime. Res64: 41A2408B89A6C726 Time : 0.0 sec. user=mdettweiler [2016-05-11 15:18:21] 987*2^1428838-1 is not prime. Res64: E9CFED045FF4EBA6 Time : 0.0 sec. user=mdettweiler [2016-05-11 15:37:00] 609*2^1428839-1 is not prime. Res64: 7C5BFBDD696F39CE Time : 0.0 sec. user=mdettweiler [2016-05-11 15:37:00] 615*2^1428839-1 is not prime. Res64: 1682A5BA36830910 Time : 0.0 sec. user=mdettweiler [2016-05-11 15:37:00] 703*2^1428839-1 is not prime. Res64: BFE18375189BA9F3 Time : 0.0 sec. user=mdettweiler [2016-05-11 15:37:01] 753*2^1428839-1 is not prime. Res64: 5DE358F6385F3000 Time : 0.0 sec. user=mdettweiler [2016-05-11 15:37:01] 841*2^1428839-1 is not prime. Res64: 67B978430D1AE7CB Time : 0.0 sec. user=mdettweiler [2016-05-11 15:50:51] 949*2^1428839-1 is not prime. Res64: 1E332E3ECB03509F Time : 0.0 sec. user=mdettweiler [2016-05-11 15:50:51] 985*2^1428839-1 is not prime. Res64: 02BE3C390000F8F6 Time : 0.0 sec. user=mdettweiler [2016-05-11 15:50:51] 993*2^1428839-1 is not prime. Res64: 7A41377B3A8BF4A6 Time : 0.0 sec. user=mdettweiler [2016-05-11 15:50:52] 615*2^1428840-1 is not prime. Res64: 04CDCB72388EC37B Time : 0.0 sec. user=mdettweiler [2016-05-11 15:50:52] 777*2^1428840-1 is not prime. Res64: B93D48354977C29F Time : 0.0 sec. user=mdettweiler [2016-05-11 15:52:26] 849*2^1428840-1 is not prime. Res64: 1C9DD28372210212 Time : 0.0 sec. user=mdettweiler [2016-05-11 15:52:26] 915*2^1428840-1 is not prime. Res64: DBF3143CF296F89D Time : 0.0 sec. user=mdettweiler [2016-05-11 15:52:27] 927*2^1428840-1 is not prime. Res64: 6E4D966126302066 Time : 0.0 sec. user=mdettweiler [2016-05-11 15:52:27] 957*2^1428840-1 is not prime. Res64: 60B7C1D3E660FBE8 Time : 0.0 sec. user=mdettweiler [2016-05-11 15:52:27] 619*2^1428841-1 is not prime. Res64: EC50EB3E44ED0438 Time : 0.0 sec. user=mdettweiler [2016-05-11 16:04:11] 747*2^1428841-1 is not prime. Res64: 550383829F94FF4D Time : 0.0 sec. user=mdettweiler [2016-05-11 16:04:13] 771*2^1428841-1 is not prime. Res64: 5A762C5A1F75A991 Time : 0.0 sec. user=mdettweiler [2016-05-11 16:04:14] 835*2^1428841-1 is not prime. Res64: FBCF6336E86C5708 Time : 0.0 sec. user=mdettweiler [2016-05-11 16:04:15] 861*2^1428841-1 is not prime. Res64: 91C7A21050A7409E Time : 0.0 sec. user=mdettweiler [2016-05-11 16:04:16] 901*2^1428841-1 is not prime. Res64: A996BF5B1373757E Time : 0.0 sec. user=mdettweiler [2016-05-11 16:22:45] 931*2^1428841-1 is not prime. Res64: 6F8116182B14C24D Time : 0.0 sec. user=mdettweiler [2016-05-11 16:22:45] 939*2^1428841-1 is not prime. Res64: EFF806B4E0D48E0A Time : 0.0 sec. user=mdettweiler [2016-05-11 16:22:45] 997*2^1428841-1 is not prime. Res64: 45F6FF9C7714D66D Time : 0.0 sec. user=mdettweiler [2016-05-11 16:22:46] 603*2^1428842-1 is not prime. Res64: 1DD794CFBA5E8219 Time : 0.0 sec. user=mdettweiler [2016-05-11 16:22:46] 615*2^1428842-1 is not prime. Res64: E77A6DCEB0B8301B Time : 0.0 sec. user=mdettweiler [2016-05-11 16:36:45] 645*2^1428842-1 is not prime. Res64: 47F62320E3F81ACB Time : 0.0 sec. user=mdettweiler [2016-05-11 16:36:45] 665*2^1428842-1 is not prime. Res64: B38852CFBCB6A4BB Time : 0.0 sec. user=mdettweiler [2016-05-11 16:36:46] 677*2^1428842-1 is not prime. Res64: 980804CD5FCF4F03 Time : 0.0 sec. user=mdettweiler [2016-05-11 16:36:46] 701*2^1428842-1 is not prime. Res64: 10C11799C0BAFC02 Time : 0.0 sec. user=mdettweiler [2016-05-11 16:36:47] 741*2^1428842-1 is not prime. Res64: 3DCA9BB3AB9ABF01 Time : 0.0 sec. user=mdettweiler [2016-05-11 16:37:54] 753*2^1428842-1 is not prime. Res64: 6395750804A4548C Time : 0.0 sec. user=mdettweiler [2016-05-11 16:37:55] 797*2^1428842-1 is not prime. Res64: 822F056E896843D7 Time : 0.0 sec. user=mdettweiler [2016-05-11 16:37:56] 827*2^1428842-1 is not prime. Res64: EF49051A7473938E Time : 0.0 sec. user=mdettweiler [2016-05-11 16:37:56] 867*2^1428842-1 is not prime. Res64: 979A3F54EE52DE35 Time : 0.0 sec. user=mdettweiler [2016-05-11 16:37:57] 923*2^1428842-1 is not prime. Res64: 7A495F71004814CE Time : 0.0 sec. user=mdettweiler [2016-05-11 16:50:09] 935*2^1428842-1 is not prime. Res64: 30F6B9CBF303E1A8 Time : 0.0 sec. user=mdettweiler [2016-05-11 16:50:10] 663*2^1428843-1 is not prime. Res64: 48FA46D18815CA87 Time : 0.0 sec. user=mdettweiler [2016-05-11 16:50:10] 741*2^1428843-1 is not prime. Res64: 84A633E93F443A56 Time : 0.0 sec. user=mdettweiler [2016-05-11 16:50:11] 793*2^1428843-1 is not prime. Res64: 58D1C77192C23C35 Time : 0.0 sec. user=mdettweiler [2016-05-11 16:50:11] 891*2^1428843-1 is not prime. Res64: BF587A3156A6AB26 Time : 0.0 sec. user=mdettweiler [2016-05-11 17:08:27] 961*2^1428843-1 is not prime. Res64: C3FE803AADAF2C59 Time : 0.0 sec. user=mdettweiler [2016-05-11 17:08:27] 963*2^1428843-1 is not prime. Res64: 2B3F097A5FFE18C7 Time : 0.0 sec. user=mdettweiler [2016-05-11 17:08:28] 705*2^1428844-1 is not prime. Res64: 0D3CB3B27A8F15AD Time : 0.0 sec. user=mdettweiler [2016-05-11 17:08:28] 749*2^1428844-1 is not prime. Res64: 5F2F4FDD35922427 Time : 0.0 sec. user=mdettweiler [2016-05-11 17:08:29] 755*2^1428844-1 is not prime. Res64: 04B84EFED2499F8E Time : 0.0 sec. user=mdettweiler [2016-05-11 17:22:14] 993*2^1428844-1 is not prime. Res64: CDEB0C5C05018231 Time : 0.0 sec. user=mdettweiler [2016-05-11 17:22:14] 697*2^1428845-1 is not prime. Res64: 29443D1DBEC5C6A4 Time : 0.0 sec. user=mdettweiler [2016-05-11 17:22:15] 715*2^1428845-1 is not prime. Res64: 59424948F59BAB08 Time : 0.0 sec. user=mdettweiler [2016-05-11 17:22:16] 805*2^1428845-1 is not prime. Res64: DAE68BB620C29F65 Time : 0.0 sec. user=mdettweiler [2016-05-11 17:22:16] 825*2^1428845-1 is not prime. Res64: CF78BB9B18C43FC7 Time : 0.0 sec. user=mdettweiler [2016-05-11 17:23:33] 831*2^1428845-1 is not prime. Res64: 98D053DA5782574E Time : 0.0 sec. user=mdettweiler [2016-05-11 17:23:33] 885*2^1428845-1 is not prime. Res64: E951AC047CB161D9 Time : 0.0 sec. user=mdettweiler [2016-05-11 17:23:34] 925*2^1428845-1 is not prime. Res64: 529C9C1CD414FE53 Time : 0.0 sec. user=mdettweiler [2016-05-11 17:23:34] 979*2^1428845-1 is not prime. Res64: F71AC3A82CD93677 Time : 0.0 sec. user=mdettweiler [2016-05-11 17:23:35] 641*2^1428846-1 is not prime. Res64: 9218754C5B216169 Time : 0.0 sec. user=mdettweiler [2016-05-11 17:35:36] 707*2^1428846-1 is not prime. Res64: 70B4C47B0069117A Time : 0.0 sec. user=mdettweiler [2016-05-11 17:35:36] 723*2^1428846-1 is not prime. Res64: 4BA092B41ACF3FEA Time : 0.0 sec. user=mdettweiler [2016-05-11 17:35:36] 777*2^1428846-1 is not prime. Res64: E72B88D72CB2219C Time : 0.0 sec. user=mdettweiler [2016-05-11 17:35:37] 947*2^1428846-1 is not prime. Res64: 7A715C3FD4426312 Time : 0.0 sec. user=mdettweiler [2016-05-11 17:35:37] 615*2^1428847-1 is not prime. Res64: 24F336A75FC7D7CF Time : 0.0 sec. user=mdettweiler [2016-05-11 17:54:18] 675*2^1428847-1 is not prime. Res64: 7C0479986C09CB80 Time : 0.0 sec. user=mdettweiler [2016-05-11 17:54:18] 681*2^1428847-1 is not prime. Res64: E2F84A9754F89C88 Time : 0.0 sec. user=mdettweiler [2016-05-11 17:54:18] 685*2^1428847-1 is not prime. Res64: 6E7AF0BBE506B1C5 Time : 0.0 sec. user=mdettweiler [2016-05-11 17:54:19] 885*2^1428847-1 is not prime. Res64: 281C1A70C4A00138 Time : 0.0 sec. user=mdettweiler [2016-05-11 17:54:19] 939*2^1428847-1 is not prime. Res64: 6B443365AC62E502 Time : 0.0 sec. user=mdettweiler [2016-05-11 18:07:50] 629*2^1428848-1 is not prime. Res64: 16A58B0CE3B05A3C Time : 0.0 sec. user=mdettweiler [2016-05-11 18:07:51] 669*2^1428848-1 is not prime. Res64: E5503AA7717E9B14 Time : 0.0 sec. user=mdettweiler [2016-05-11 18:07:52] 767*2^1428848-1 is not prime. Res64: 8CDB6DDFD88D4367 Time : 0.0 sec. user=mdettweiler [2016-05-11 18:07:52] 875*2^1428848-1 is not prime. Res64: 2EAE3CDBA49A1CBB Time : 0.0 sec. user=mdettweiler [2016-05-11 18:07:52] 897*2^1428848-1 is not prime. Res64: E431D84FE99CBD4D Time : 0.0 sec. user=mdettweiler [2016-05-11 18:09:10] 959*2^1428848-1 is not prime. Res64: D15193DC0DFF7A8B Time : 0.0 sec. user=mdettweiler [2016-05-11 18:09:10] 995*2^1428848-1 is not prime. Res64: 0CAFFFF3C3C54F1A Time : 0.0 sec. user=mdettweiler [2016-05-11 18:09:10] 681*2^1428849-1 is not prime. Res64: 4DE7C813728EBC72 Time : 0.0 sec. user=mdettweiler [2016-05-11 18:09:11] 735*2^1428849-1 is not prime. Res64: 426697F2D4B7513E Time : 0.0 sec. user=mdettweiler [2016-05-11 18:09:11] 789*2^1428849-1 is not prime. Res64: 7AFFA6C900714751 Time : 0.0 sec. user=mdettweiler [2016-05-11 18:21:19] 885*2^1428849-1 is not prime. Res64: EAB95C802C727C56 Time : 0.0 sec. user=mdettweiler [2016-05-11 18:21:19] 813*2^1428850-1 is not prime. Res64: 3CDD047CDC0BC2FC Time : 0.0 sec. user=mdettweiler [2016-05-11 18:21:20] 923*2^1428850-1 is not prime. Res64: 6CF64DE105CB5D39 Time : 0.0 sec. user=mdettweiler [2016-05-11 18:21:20] 651*2^1428851-1 is not prime. Res64: F96115EA218D6CE7 Time : 0.0 sec. user=mdettweiler [2016-05-11 18:21:21] 711*2^1428851-1 is not prime. Res64: 23D217A3B5C8C1B6 Time : 0.0 sec. user=mdettweiler [2016-05-11 18:39:46] 811*2^1428851-1 is not prime. Res64: B9B2A88ABA68252B Time : 0.0 sec. user=mdettweiler [2016-05-11 18:39:46] 843*2^1428851-1 is not prime. Res64: 433C973B5BD39447 Time : 0.0 sec. user=mdettweiler [2016-05-11 18:39:46] 855*2^1428851-1 is not prime. Res64: 035A74EEAE2C0D33 Time : 0.0 sec. user=mdettweiler [2016-05-11 18:39:47] 627*2^1428852-1 is not prime. Res64: F5D6A830DED72C01 Time : 0.0 sec. user=mdettweiler [2016-05-11 18:39:47] 675*2^1428852-1 is not prime. Res64: C0108912F9EEE9D8 Time : 0.0 sec. user=mdettweiler [2016-05-11 18:53:33] 693*2^1428852-1 is not prime. Res64: CEC4D0E9E104634D Time : 0.0 sec. user=mdettweiler [2016-05-11 18:53:33] 765*2^1428852-1 is not prime. Res64: F299D6FDD45874DF Time : 0.0 sec. user=mdettweiler [2016-05-11 18:53:34] 809*2^1428852-1 is not prime. Res64: DBD22E151DE409FF Time : 0.0 sec. user=mdettweiler [2016-05-11 18:53:34] 863*2^1428852-1 is not prime. Res64: AF973C20DD680CF6 Time : 0.0 sec. user=mdettweiler [2016-05-11 18:53:34] 873*2^1428852-1 is not prime. Res64: 42178BB77A1FE07F Time : 0.0 sec. user=mdettweiler [2016-05-11 18:54:42] 903*2^1428852-1 is not prime. Res64: ACA0EC638CBAA80B Time : 0.0 sec. user=mdettweiler [2016-05-11 18:54:42] 651*2^1428853-1 is not prime. Res64: A21DDA9B02B00B93 Time : 0.0 sec. user=mdettweiler [2016-05-11 18:54:42] 715*2^1428853-1 is not prime. Res64: 41A150CD83E31B11 Time : 0.0 sec. user=mdettweiler [2016-05-11 18:54:43] 741*2^1428853-1 is not prime. Res64: A8BCEB9DE45CF5E0 Time : 0.0 sec. user=mdettweiler [2016-05-11 18:54:43] 919*2^1428853-1 is not prime. Res64: 287E891A62119FC3 Time : 0.0 sec. user=mdettweiler [2016-05-11 19:06:57] 957*2^1428853-1 is not prime. Res64: 6E90B29F390AA688 Time : 0.0 sec. user=mdettweiler [2016-05-11 19:06:58] 985*2^1428853-1 is not prime. Res64: 94B18C81A83665C8 Time : 0.0 sec. user=mdettweiler [2016-05-11 19:06:58] 707*2^1428854-1 is not prime. Res64: 39B66BBAA5D5FAB8 Time : 0.0 sec. user=mdettweiler [2016-05-11 19:06:59] 815*2^1428854-1 is not prime. Res64: C1D8D4C8ED111E8E Time : 0.0 sec. user=mdettweiler [2016-05-11 19:06:59] 663*2^1428855-1 is not prime. Res64: CD7CCD0520D6FD5F Time : 0.0 sec. user=mdettweiler [2016-05-11 19:25:09] 871*2^1428855-1 is not prime. Res64: B8622F50C5BAE034 Time : 0.0 sec. user=mdettweiler [2016-05-11 19:25:10] 695*2^1428856-1 is not prime. Res64: 2A71BAAB0B95A917 Time : 0.0 sec. user=mdettweiler [2016-05-11 19:25:10] 735*2^1428856-1 is not prime. Res64: FA10E2FA42FDA55E Time : 0.0 sec. user=mdettweiler [2016-05-11 19:25:10] 873*2^1428856-1 is not prime. Res64: FA41CC8A63DBAFD2 Time : 0.0 sec. user=mdettweiler [2016-05-11 19:25:11] 899*2^1428856-1 is not prime. Res64: AE365FFE753EEDE5 Time : 0.0 sec. user=mdettweiler [2016-05-11 19:39:14] 905*2^1428856-1 is not prime. Res64: 45226D619C27EDB6 Time : 0.0 sec. user=mdettweiler [2016-05-11 19:39:14] 631*2^1428857-1 is not prime. Res64: CBF614FF5EE0F12E Time : 0.0 sec. user=mdettweiler [2016-05-11 19:39:15] 691*2^1428857-1 is not prime. Res64: DD76C823B393176D Time : 0.0 sec. user=mdettweiler [2016-05-11 19:39:15] 759*2^1428857-1 is not prime. Res64: BBB51F622A5FA41A Time : 0.0 sec. user=mdettweiler [2016-05-11 19:39:16] 837*2^1428857-1 is not prime. Res64: 653BBC20DD373283 Time : 0.0 sec. user=mdettweiler [2016-05-11 19:40:06] 865*2^1428857-1 is not prime. Res64: E473BD523530495F Time : 0.0 sec. user=mdettweiler [2016-05-11 19:40:07] 889*2^1428857-1 is not prime. Res64: C17FD6682406B8E6 Time : 0.0 sec. user=mdettweiler [2016-05-11 19:40:07] 945*2^1428857-1 is not prime. Res64: 23E41B20AEF0E1FE Time : 0.0 sec. user=mdettweiler [2016-05-11 19:40:08] 651*2^1428858-1 is not prime. Res64: B140ED1365411B76 Time : 0.0 sec. user=mdettweiler [2016-05-11 19:40:08] 707*2^1428858-1 is not prime. Res64: 59D4A5AD83ABDAC9 Time : 0.0 sec. user=mdettweiler [2016-05-11 19:52:39] 747*2^1428858-1 is not prime. Res64: D4C599E6BA21FE7E Time : 0.0 sec. user=mdettweiler [2016-05-11 19:52:39] 773*2^1428858-1 is not prime. Res64: 5DCF2EFFA6BA4945 Time : 0.0 sec. user=mdettweiler [2016-05-11 19:52:40] 861*2^1428858-1 is not prime. Res64: C6BC2A0E09E19B17 Time : 0.0 sec. user=mdettweiler [2016-05-11 19:52:40] 745*2^1428859-1 is not prime. Res64: 7F2737E93E9301B4 Time : 0.0 sec. user=mdettweiler [2016-05-11 19:52:41] 841*2^1428859-1 is not prime. Res64: D852836600EC98EF Time : 0.0 sec. user=mdettweiler [2016-05-11 20:10:49] 891*2^1428859-1 is not prime. Res64: 2AB14FEFE88B1BCB Time : 0.0 sec. user=mdettweiler [2016-05-11 20:10:50] 753*2^1428860-1 is not prime. Res64: DF14084616343291 Time : 0.0 sec. user=mdettweiler [2016-05-11 20:10:50] 773*2^1428860-1 is not prime. Res64: 7CF1494167E5C6CA Time : 0.0 sec. user=mdettweiler [2016-05-11 20:10:51] 777*2^1428860-1 is not prime. Res64: 4DF895670B8F2CA6 Time : 0.0 sec. user=mdettweiler [2016-05-11 20:10:51] 857*2^1428860-1 is not prime. Res64: 9715BB23C1EE9ECC Time : 0.0 sec. user=mdettweiler [2016-05-11 20:24:47] 927*2^1428860-1 is not prime. Res64: D110CAE6DC92C81E Time : 0.0 sec. user=mdettweiler [2016-05-11 20:24:47] 963*2^1428860-1 is not prime. Res64: 0F6019AD8BDBCAA1 Time : 0.0 sec. user=mdettweiler [2016-05-11 20:24:48] 977*2^1428860-1 is not prime. Res64: 576DF002161F25F3 Time : 0.0 sec. user=mdettweiler [2016-05-11 20:24:48] 983*2^1428860-1 is not prime. Res64: 57A8A92067EE4D9B Time : 0.0 sec. user=mdettweiler [2016-05-11 20:24:49] 607*2^1428861-1 is not prime. Res64: 950C96925A80F71F Time : 0.0 sec. user=mdettweiler [2016-05-11 20:25:58] 717*2^1428861-1 is not prime. Res64: A661B1A47EC7A1DE Time : 0.0 sec. user=mdettweiler [2016-05-11 20:26:00] 817*2^1428861-1 is not prime. Res64: D817D66A9E3AC260 Time : 0.0 sec. user=mdettweiler [2016-05-11 20:26:00] 847*2^1428861-1 is not prime. Res64: 556B9AE7B1C9B3B4 Time : 0.0 sec. user=mdettweiler [2016-05-11 20:26:01] 849*2^1428861-1 is not prime. Res64: F50E0CDD3E8D7E89 Time : 0.0 sec. user=mdettweiler [2016-05-11 20:26:02] 889*2^1428861-1 is not prime. Res64: 00B3BA7EFB0B2B19 Time : 0.0 sec. user=mdettweiler [2016-05-11 20:38:01] 895*2^1428861-1 is not prime. Res64: 7DAE42D846076A6E Time : 0.0 sec. user=mdettweiler [2016-05-11 20:38:02] 635*2^1428862-1 is not prime. Res64: 9A7B71F83DB5C832 Time : 0.0 sec. user=mdettweiler [2016-05-11 20:38:02] 657*2^1428862-1 is not prime. Res64: ACDE12B05012BE04 Time : 0.0 sec. user=mdettweiler [2016-05-11 20:38:03] 755*2^1428862-1 is not prime. Res64: F2211CFC8D93F54C Time : 0.0 sec. user=mdettweiler [2016-05-11 20:38:03] 801*2^1428862-1 is not prime. Res64: 7999235FDA84C19D Time : 0.0 sec. user=mdettweiler [2016-05-11 20:56:27] 827*2^1428862-1 is not prime. Res64: 94E4361DE9C2EF66 Time : 0.0 sec. user=mdettweiler [2016-05-11 20:56:28] 887*2^1428862-1 is not prime. Res64: A0FB3CABAA230072 Time : 0.0 sec. user=mdettweiler [2016-05-11 20:56:28] 965*2^1428862-1 is not prime. Res64: D6CB4DBF7CC742BD Time : 0.0 sec. user=mdettweiler [2016-05-11 20:56:29] 679*2^1428863-1 is not prime. Res64: AAC27442BEA75307 Time : 0.0 sec. user=mdettweiler [2016-05-11 20:56:29] 685*2^1428863-1 is not prime. Res64: ECC618A7391A2AFC Time : 0.0 sec. user=mdettweiler [2016-05-11 21:10:16] 969*2^1428863-1 is not prime. Res64: 924402DF62B81F48 Time : 0.0 sec. user=mdettweiler [2016-05-11 21:10:17] 981*2^1428863-1 is not prime. Res64: 1FF43A34E06B5839 Time : 0.0 sec. user=mdettweiler [2016-05-11 21:10:17] 999*2^1428863-1 is not prime. Res64: 14F959DC1895513B Time : 0.0 sec. user=mdettweiler [2016-05-11 21:10:17] 615*2^1428864-1 is not prime. Res64: C39AD88937F04501 Time : 0.0 sec. user=mdettweiler [2016-05-11 21:10:18] 623*2^1428864-1 is not prime. Res64: D19381121DC10C26 Time : 0.0 sec. user=mdettweiler [2016-05-11 21:11:18] 875*2^1428864-1 is not prime. Res64: B3F10F1A6B4DA321 Time : 0.0 sec. user=mdettweiler [2016-05-11 21:11:18] 903*2^1428864-1 is not prime. Res64: 27AEF49999C1DBD9 Time : 0.0 sec. user=mdettweiler [2016-05-11 21:11:19] 945*2^1428864-1 is not prime. Res64: C9F2CD815B3E0582 Time : 0.0 sec. user=mdettweiler [2016-05-11 21:11:19] 741*2^1428865-1 is not prime. Res64: C46E9F04E1B7E429 Time : 0.0 sec. user=mdettweiler [2016-05-11 21:11:20] 895*2^1428865-1 is not prime. Res64: 6673D074CDBE89D0 Time : 0.0 sec. user=mdettweiler [2016-05-11 21:23:31] 919*2^1428865-1 is not prime. Res64: 2DFE8ED2BA9C1A73 Time : 0.0 sec. user=mdettweiler [2016-05-11 21:23:31] 711*2^1428866-1 is not prime. Res64: AE4EB65A4DA4AEB0 Time : 0.0 sec. user=mdettweiler [2016-05-11 21:23:32] 831*2^1428866-1 is not prime. Res64: 3B3FBD8CDE8D13CB Time : 0.0 sec. user=mdettweiler [2016-05-11 21:23:32] 983*2^1428866-1 is not prime. Res64: 4D32DB6FAD93A6FB Time : 0.0 sec. user=mdettweiler [2016-05-11 21:23:33] 601*2^1428867-1 is not prime. Res64: D9C58E03DC7B077D Time : 0.0 sec. user=mdettweiler [2016-05-11 21:42:05] 633*2^1428867-1 is not prime. Res64: 7D0C9539CFA3BF82 Time : 0.0 sec. user=mdettweiler [2016-05-11 21:42:05] 703*2^1428867-1 is not prime. Res64: A95173A9A0787145 Time : 0.0 sec. user=mdettweiler [2016-05-11 21:42:05] 945*2^1428867-1 is not prime. Res64: 8FB2DE908C2E870B Time : 0.0 sec. user=mdettweiler [2016-05-11 21:42:06] 951*2^1428867-1 is not prime. Res64: D6D7E74F33E28BDA Time : 0.0 sec. user=mdettweiler [2016-05-11 21:42:06] 963*2^1428867-1 is not prime. Res64: DCB39C44D4CAA0F1 Time : 0.0 sec. user=mdettweiler [2016-05-11 21:56:16] 657*2^1428868-1 is not prime. Res64: A17E2B3FE4D9B2F4 Time : 0.0 sec. user=mdettweiler [2016-05-11 21:56:16] 743*2^1428868-1 is not prime. Res64: DCB9EBE85852C8AF Time : 0.0 sec. user=mdettweiler [2016-05-11 21:56:16] 749*2^1428868-1 is not prime. Res64: 5FD27574604EDED1 Time : 0.0 sec. user=mdettweiler [2016-05-11 21:56:17] 797*2^1428868-1 is not prime. Res64: 8F70CF87D8C74B2F Time : 0.0 sec. user=mdettweiler [2016-05-11 21:56:17] 869*2^1428868-1 is not prime. Res64: F39DF4649BCC8520 Time : 0.0 sec. user=mdettweiler [2016-05-11 21:57:01] 999*2^1428868-1 is not prime. Res64: 9C49347F2E0DDB14 Time : 0.0 sec. user=mdettweiler [2016-05-11 21:57:01] 645*2^1428869-1 is not prime. Res64: 691616C6BF918324 Time : 0.0 sec. user=mdettweiler [2016-05-11 21:57:02] 655*2^1428869-1 is not prime. Res64: 1EF6F77F073195F1 Time : 0.0 sec. user=mdettweiler [2016-05-11 21:57:02] 771*2^1428869-1 is not prime. Res64: 63F0B5D88BD7D297 Time : 0.0 sec. user=mdettweiler [2016-05-11 21:57:03] 795*2^1428869-1 is not prime. Res64: 491AC4433F7D542B Time : 0.0 sec. user=mdettweiler [2016-05-11 22:08:56] 861*2^1428869-1 is not prime. Res64: 6D4412278B2E445D Time : 0.0 sec. user=mdettweiler [2016-05-11 22:08:57] 865*2^1428869-1 is not prime. Res64: AA28FF0AF2C5211E Time : 0.0 sec. user=mdettweiler [2016-05-11 22:08:58] 889*2^1428869-1 is not prime. Res64: 41D0AA896E0BEABE Time : 0.0 sec. user=mdettweiler [2016-05-11 22:08:59] 927*2^1428869-1 is not prime. Res64: 6CCF4B2A6D839559 Time : 0.0 sec. user=mdettweiler [2016-05-11 22:09:00] 627*2^1428870-1 is not prime. Res64: 4E9BA549942D3124 Time : 0.0 sec. user=mdettweiler [2016-05-11 22:28:01] 711*2^1428870-1 is not prime. Res64: A33C1BF540DA6980 Time : 0.0 sec. user=mdettweiler [2016-05-11 22:28:01] 713*2^1428870-1 is not prime. Res64: 20CD97119E5FFB2E Time : 0.0 sec. user=mdettweiler [2016-05-11 22:28:02] 725*2^1428870-1 is not prime. Res64: 08ED037167B69AF4 Time : 0.0 sec. user=mdettweiler [2016-05-11 22:28:02] 755*2^1428870-1 is not prime. Res64: B4B7E08C8E7D89F2 Time : 0.0 sec. user=mdettweiler [2016-05-11 22:28:03] 801*2^1428870-1 is not prime. Res64: 19B956213FAA7E70 Time : 0.0 sec. user=mdettweiler [2016-05-11 22:41:52] 845*2^1428870-1 is not prime. Res64: 6533CF818052D0E7 Time : 0.0 sec. user=mdettweiler [2016-05-11 22:41:52] 933*2^1428870-1 is not prime. Res64: 07164F0C76D475D2 Time : 0.0 sec. user=mdettweiler [2016-05-11 22:41:52] 639*2^1428871-1 is not prime. Res64: ECF44E7CC3357903 Time : 0.0 sec. user=mdettweiler [2016-05-11 22:41:53] 663*2^1428871-1 is not prime. Res64: 25A3F1A23BEE0970 Time : 0.0 sec. user=mdettweiler [2016-05-11 22:41:53] 685*2^1428871-1 is not prime. Res64: 7ABA102C82417CF1 Time : 0.0 sec. user=mdettweiler [2016-05-11 22:42:43] 843*2^1428871-1 is not prime. Res64: C51A92ABD55D3E70 Time : 0.0 sec. user=mdettweiler [2016-05-11 22:42:44] 855*2^1428871-1 is not prime. Res64: 2363E6E1E9B0E912 Time : 0.0 sec. user=mdettweiler [2016-05-11 22:42:44] 999*2^1428871-1 is not prime. Res64: C155A0B443A8A696 Time : 0.0 sec. user=mdettweiler [2016-05-11 22:42:45] 657*2^1428872-1 is not prime. Res64: 73CA664DC92F0A6F Time : 0.0 sec. user=mdettweiler [2016-05-11 22:42:45] 665*2^1428872-1 is not prime. Res64: F59EF436DE8E5938 Time : 0.0 sec. user=mdettweiler [2016-05-11 22:55:14] 689*2^1428872-1 is not prime. Res64: DBBDC2D815030CC3 Time : 0.0 sec. user=mdettweiler [2016-05-11 22:55:15] 717*2^1428872-1 is not prime. Res64: 57813C315FF1BB33 Time : 0.0 sec. user=mdettweiler [2016-05-11 22:55:15] 735*2^1428872-1 is not prime. Res64: 394A260ECAAE3EDA Time : 0.0 sec. user=mdettweiler [2016-05-11 22:55:15] 785*2^1428872-1 is not prime. Res64: 732AE5680531D4E2 Time : 0.0 sec. user=mdettweiler [2016-05-11 22:55:16] 797*2^1428872-1 is not prime. Res64: FCF97BA1B6E5F012 Time : 0.0 sec. user=mdettweiler [2016-05-11 23:13:50] 837*2^1428872-1 is not prime. Res64: 56156D0C06A06BC2 Time : 0.0 sec. user=mdettweiler [2016-05-11 23:13:50] 739*2^1428873-1 is not prime. Res64: 11D330334826E05A Time : 0.0 sec. user=mdettweiler [2016-05-11 23:13:51] 807*2^1428873-1 is not prime. Res64: A6DCC1D649D6E80C Time : 0.0 sec. user=mdettweiler [2016-05-11 23:13:51] 969*2^1428873-1 is not prime. Res64: 596B92DCA9D56AE9 Time : 0.0 sec. user=mdettweiler [2016-05-11 23:13:52] 675*2^1428874-1 is not prime. Res64: B45E740FDB9409E8 Time : 0.0 sec. user=mdettweiler [2016-05-11 23:27:32] 681*2^1428874-1 is not prime. Res64: 16BC53E5363577AD Time : 0.0 sec. user=mdettweiler [2016-05-11 23:27:33] 705*2^1428874-1 is not prime. Res64: A7E3A3B953D29D11 Time : 0.0 sec. user=mdettweiler [2016-05-11 23:27:33] 791*2^1428874-1 is not prime. Res64: B14D925C95EAD12D Time : 0.0 sec. user=mdettweiler [2016-05-11 23:27:34] 827*2^1428874-1 is not prime. Res64: 9142D96E3AD38C6D Time : 0.0 sec. user=mdettweiler [2016-05-11 23:27:34] 885*2^1428874-1 is not prime. Res64: 644DAE729673CDEA Time : 0.0 sec. user=mdettweiler [2016-05-11 23:28:13] 983*2^1428874-1 is not prime. Res64: F8C2036D325D5DEC Time : 0.0 sec. user=mdettweiler [2016-05-11 23:28:13] 609*2^1428875-1 is not prime. Res64: CB2CE709247B2146 Time : 0.0 sec. user=mdettweiler [2016-05-11 23:28:14] 645*2^1428875-1 is not prime. Res64: 7DAA9DF93676EE1A Time : 0.0 sec. user=mdettweiler [2016-05-11 23:28:14] 669*2^1428875-1 is not prime. Res64: DEB393336A1B9E8B Time : 0.0 sec. user=mdettweiler [2016-05-11 23:28:15] 715*2^1428875-1 is not prime. Res64: FDE75F279F44DBAC Time : 0.0 sec. user=mdettweiler [2016-05-11 23:40:40] 733*2^1428875-1 is not prime. Res64: DEBFDBCA695E96AC Time : 0.0 sec. user=mdettweiler [2016-05-11 23:40:40] 871*2^1428875-1 is not prime. Res64: 624CF5E402C12E3F Time : 0.0 sec. user=mdettweiler [2016-05-11 23:40:40] 939*2^1428875-1 is not prime. Res64: 957CCB47CA6DA26B Time : 0.0 sec. user=mdettweiler [2016-05-11 23:40:41] 973*2^1428875-1 is not prime. Res64: 068F4DE0A47724FC Time : 0.0 sec. user=mdettweiler [2016-05-11 23:40:41] 999*2^1428875-1 is not prime. Res64: 4AD429EC54794E6D Time : 0.0 sec.