user=mdettweiler [2016-04-03 00:10:00] 939*2^1425184-1 is not prime. Res64: F3485780FAA0FCBC Time : 0.0 sec. user=mdettweiler [2016-04-03 00:10:01] 969*2^1425184-1 is not prime. Res64: 6230FD13022BA54D Time : 0.0 sec. user=mdettweiler [2016-04-03 00:10:01] 651*2^1425185-1 is not prime. Res64: 661098F7CC4A4112 Time : 0.0 sec. user=mdettweiler [2016-04-03 00:10:01] 669*2^1425185-1 is not prime. Res64: 1024D5E9FD536C95 Time : 0.0 sec. user=mdettweiler [2016-04-03 00:10:02] 679*2^1425185-1 is not prime. Res64: 579D7C0AFB658CC9 Time : 0.0 sec. user=mdettweiler [2016-04-03 00:12:31] 685*2^1425185-1 is not prime. Res64: 9B41CB1DD3867617 Time : 0.0 sec. user=mdettweiler [2016-04-03 00:12:31] 711*2^1425185-1 is not prime. Res64: 14BAE3778990E2F7 Time : 0.0 sec. user=mdettweiler [2016-04-03 00:12:31] 759*2^1425185-1 is not prime. Res64: 44F9BDE1103D8F8D Time : 0.0 sec. user=mdettweiler [2016-04-03 00:12:32] 787*2^1425185-1 is not prime. Res64: 6AB2E2967379E1EF Time : 0.0 sec. user=mdettweiler [2016-04-03 00:12:32] 811*2^1425185-1 is not prime. Res64: 86CB32B81E3B302A Time : 0.0 sec. user=mdettweiler [2016-04-03 00:12:45] 841*2^1425185-1 is not prime. Res64: 1988106D24B0EA2E Time : 0.0 sec. user=mdettweiler [2016-04-03 00:12:46] 855*2^1425185-1 is not prime. Res64: 36096BBF5005CD27 Time : 0.0 sec. user=mdettweiler [2016-04-03 00:12:46] 867*2^1425185-1 is not prime. Res64: B93AED6401B30A22 Time : 0.0 sec. user=mdettweiler [2016-04-03 00:12:47] 957*2^1425185-1 is not prime. Res64: 093C7F39595F6DA6 Time : 0.0 sec. user=mdettweiler [2016-04-03 00:12:47] 985*2^1425185-1 is not prime. Res64: 4814668AF8DEB403 Time : 0.0 sec. user=mdettweiler [2016-04-03 00:19:21] 683*2^1425186-1 is not prime. Res64: 0798A7611B3606FA Time : 0.0 sec. user=mdettweiler [2016-04-03 00:19:22] 717*2^1425186-1 is not prime. Res64: B87144D078F025A2 Time : 0.0 sec. user=mdettweiler [2016-04-03 00:19:22] 735*2^1425186-1 is not prime. Res64: F60B90AEE0BB5425 Time : 0.0 sec. user=mdettweiler [2016-04-03 00:19:23] 741*2^1425186-1 is not prime. Res64: E67141E3F4826C59 Time : 0.0 sec. user=mdettweiler [2016-04-03 00:19:23] 765*2^1425186-1 is not prime. Res64: B8442F097C348C57 Time : 0.0 sec. user=mdettweiler [2016-04-03 00:30:52] 795*2^1425189-1 is not prime. Res64: 51813E8DEDB71DDC Time : 0.0 sec. user=mdettweiler [2016-04-03 00:55:01] 825*2^1425186-1 is not prime. Res64: 42FC8FD17D3B3846 Time : 0.0 sec. user=mdettweiler [2016-04-03 00:55:02] 833*2^1425186-1 is not prime. Res64: 86C8891A7E18DE8C Time : 0.0 sec. user=mdettweiler [2016-04-03 00:55:02] 1001*2^1425186-1 is not prime. Res64: FEA3AB857CAEA982 Time : 0.0 sec. user=mdettweiler [2016-04-03 00:55:03] 645*2^1425187-1 is not prime. Res64: 152D2E6AB33EEEF9 Time : 0.0 sec. user=mdettweiler [2016-04-03 00:55:03] 715*2^1425187-1 is not prime. Res64: E8FA3D027DB74020 Time : 0.0 sec. user=mdettweiler [2016-04-03 00:57:39] 829*2^1425187-1 is not prime. Res64: F0119B262148864B Time : 0.0 sec. user=mdettweiler [2016-04-03 00:57:39] 861*2^1425187-1 is not prime. Res64: EA58520D2AAB0E5E Time : 0.0 sec. user=mdettweiler [2016-04-03 00:57:40] 931*2^1425187-1 is not prime. Res64: 0E25F997FD40E150 Time : 0.0 sec. user=mdettweiler [2016-04-03 00:57:40] 633*2^1425188-1 is not prime. Res64: 13188602E1700E0A Time : 0.0 sec. user=mdettweiler [2016-04-03 00:57:40] 635*2^1425188-1 is not prime. Res64: 8484DC5FCDFC10BD Time : 0.0 sec. user=mdettweiler [2016-04-03 00:58:08] 743*2^1425188-1 is not prime. Res64: 2441D513438AE346 Time : 0.0 sec. user=mdettweiler [2016-04-03 00:58:08] 777*2^1425188-1 is not prime. Res64: C180F35FA3242584 Time : 0.0 sec. user=mdettweiler [2016-04-03 00:58:09] 875*2^1425188-1 is not prime. Res64: 6C71BD215B29B63D Time : 0.0 sec. user=mdettweiler [2016-04-03 00:58:09] 909*2^1425188-1 is not prime. Res64: 554EEA09F6DFF627 Time : 0.0 sec. user=mdettweiler [2016-04-03 00:58:09] 977*2^1425188-1 is not prime. Res64: 96FDCFF277E6E71E Time : 0.0 sec. user=mdettweiler [2016-04-03 01:04:32] 609*2^1425189-1 is not prime. Res64: 94C23749A9B613B7 Time : 0.0 sec. user=mdettweiler [2016-04-03 01:04:33] 679*2^1425189-1 is not prime. Res64: 82B935EFFC0BE97B Time : 0.0 sec. user=mdettweiler [2016-04-03 01:04:35] 709*2^1425189-1 is not prime. Res64: C0BACA13FE7F3EEA Time : 0.0 sec. user=mdettweiler [2016-04-03 01:04:36] 727*2^1425189-1 is not prime. Res64: 8BD0B083DC537DF6 Time : 0.0 sec. user=mdettweiler [2016-04-03 01:04:37] 745*2^1425189-1 is not prime. Res64: CAE785E16F102D32 Time : 0.0 sec. user=mdettweiler [2016-04-03 01:40:05] 907*2^1425189-1 is not prime. Res64: E1B63C18CEACE2BD Time : 0.0 sec. user=mdettweiler [2016-04-03 01:40:06] 921*2^1425189-1 is not prime. Res64: DF5AC38254B4352E Time : 0.0 sec. user=mdettweiler [2016-04-03 01:40:07] 951*2^1425189-1 is not prime. Res64: 01CE3BE99678BFBF Time : 0.0 sec. user=mdettweiler [2016-04-03 01:40:07] 999*2^1425189-1 is not prime. Res64: 23231735E95B97C1 Time : 0.0 sec. user=mdettweiler [2016-04-03 01:40:07] 611*2^1425190-1 is not prime. Res64: 72B7EE82946B1CA3 Time : 0.0 sec. user=mdettweiler [2016-04-03 01:42:56] 645*2^1425190-1 is not prime. Res64: 121443AA15B95C91 Time : 0.0 sec. user=mdettweiler [2016-04-03 01:42:56] 681*2^1425190-1 is not prime. Res64: C8172AE7BBBA0E5D Time : 0.0 sec. user=mdettweiler [2016-04-03 01:42:57] 695*2^1425190-1 is not prime. Res64: 89CE54FB7CDECB56 Time : 0.0 sec. user=mdettweiler [2016-04-03 01:42:57] 717*2^1425190-1 is not prime. Res64: 90D8B1D93E3948DD Time : 0.0 sec. user=mdettweiler [2016-04-03 01:42:58] 755*2^1425190-1 is not prime. Res64: E50380143EA754B8 Time : 0.0 sec. user=mdettweiler [2016-04-03 01:43:11] 827*2^1425190-1 is not prime. Res64: 2BE23B5403C9B6F2 Time : 0.0 sec. user=mdettweiler [2016-04-03 01:43:11] 863*2^1425190-1 is not prime. Res64: C6897538C45171A1 Time : 0.0 sec. user=mdettweiler [2016-04-03 01:43:12] 965*2^1425190-1 is not prime. Res64: 16A390FE0D1182FC Time : 0.0 sec. user=mdettweiler [2016-04-03 01:43:12] 643*2^1425191-1 is not prime. Res64: 047EEC085978FD95 Time : 0.0 sec. user=mdettweiler [2016-04-03 01:43:13] 645*2^1425191-1 is not prime. Res64: 4084743634AD92BA Time : 0.0 sec. user=mdettweiler [2016-04-03 01:50:17] 661*2^1425191-1 is not prime. Res64: 42F12042535098A8 Time : 0.0 sec. user=mdettweiler [2016-04-03 01:50:17] 735*2^1425191-1 is not prime. Res64: 9206DA35096202D9 Time : 0.0 sec. user=mdettweiler [2016-04-03 01:50:17] 859*2^1425191-1 is not prime. Res64: F697F49EC0C962D4 Time : 0.0 sec. user=mdettweiler [2016-04-03 01:50:18] 879*2^1425191-1 is not prime. Res64: 5AAA9F34946ABA80 Time : 0.0 sec. user=mdettweiler [2016-04-03 01:50:18] 931*2^1425191-1 is not prime. Res64: 1569363C04EDFFDF Time : 0.0 sec. user=mdettweiler [2016-04-03 02:17:10] 999*2^1425195-1 is not prime. Res64: D9D15B192FC1040C Time : 0.0 sec. user=mdettweiler [2016-04-03 02:17:23] 777*2^1425196-1 is not prime. Res64: 7F2FF3075EE44978 Time : 0.0 sec. user=mdettweiler [2016-04-03 02:25:13] 955*2^1425191-1 is not prime. Res64: 8976FFF70B873CCD Time : 0.0 sec. user=mdettweiler [2016-04-03 02:25:14] 979*2^1425191-1 is not prime. Res64: AC3AA5ADF1E80448 Time : 0.0 sec. user=mdettweiler [2016-04-03 02:25:15] 699*2^1425192-1 is not prime. Res64: 3AAC8A7D1892819C Time : 0.0 sec. user=mdettweiler [2016-04-03 02:25:15] 759*2^1425192-1 is not prime. Res64: 6040573FCA875054 Time : 0.0 sec. user=mdettweiler [2016-04-03 02:25:16] 767*2^1425192-1 is not prime. Res64: 140C42BA04E40DFC Time : 0.0 sec. user=mdettweiler [2016-04-03 02:27:55] 843*2^1425192-1 is not prime. Res64: DDB579AA494D6C24 Time : 0.0 sec. user=mdettweiler [2016-04-03 02:27:56] 959*2^1425192-1 is not prime. Res64: 32DB692577D72286 Time : 0.0 sec. user=mdettweiler [2016-04-03 02:27:56] 983*2^1425192-1 is not prime. Res64: B268678887581716 Time : 0.0 sec. user=mdettweiler [2016-04-03 02:27:57] 741*2^1425193-1 is not prime. Res64: E51AB2DAAA02B0EB Time : 0.0 sec. user=mdettweiler [2016-04-03 02:27:57] 751*2^1425193-1 is not prime. Res64: DC92CAAB7C23BFB5 Time : 0.0 sec. user=mdettweiler [2016-04-03 02:28:18] 805*2^1425193-1 is not prime. Res64: C1A815B67223AA97 Time : 0.0 sec. user=mdettweiler [2016-04-03 02:28:18] 641*2^1425194-1 is not prime. Res64: F7B7BD29FFF0D844 Time : 0.0 sec. user=mdettweiler [2016-04-03 02:28:19] 797*2^1425194-1 is not prime. Res64: 0F1691C33A160FF0 Time : 0.0 sec. user=mdettweiler [2016-04-03 02:28:19] 831*2^1425194-1 is not prime. Res64: C551E4B91E33BACA Time : 0.0 sec. user=mdettweiler [2016-04-03 02:28:20] 861*2^1425194-1 is not prime. Res64: 3E61E09992EDB1E4 Time : 0.0 sec. user=mdettweiler [2016-04-03 03:11:26] 843*2^1425196-1 is not prime. Res64: 13E4EB8F6B57D93A Time : 0.0 sec. user=mdettweiler [2016-04-03 03:11:27] 873*2^1425196-1 is not prime. Res64: 5A0D5B8D3FBE871B Time : 0.0 sec. user=mdettweiler [2016-04-03 03:11:27] 899*2^1425196-1 is not prime. Res64: DE3F31E01C1C421C Time : 0.0 sec. user=mdettweiler [2016-04-03 03:11:28] 999*2^1425196-1 is not prime. Res64: 8170EA8C70C5F98E Time : 0.0 sec. user=mdettweiler [2016-04-03 03:11:28] 655*2^1425197-1 is not prime. Res64: 5ED7A9397D7E7947 Time : 0.0 sec. user=mdettweiler [2016-04-03 03:14:07] 859*2^1425197-1 is not prime. Res64: 810EDF8DF7871198 Time : 0.0 sec. user=mdettweiler [2016-04-03 03:14:08] 871*2^1425197-1 is not prime. Res64: B259E3547E903F32 Time : 0.0 sec. user=mdettweiler [2016-04-03 03:14:08] 879*2^1425197-1 is not prime. Res64: 8A7B6F6BBF8DFCE9 Time : 0.0 sec. user=mdettweiler [2016-04-03 03:14:09] 967*2^1425197-1 is not prime. Res64: 2EFD0DD1E508E274 Time : 0.0 sec. user=mdettweiler [2016-04-03 03:14:09] 991*2^1425197-1 is not prime. Res64: 4A638DE708610528 Time : 0.0 sec. user=mdettweiler [2016-04-03 03:14:15] 697*2^1425197-1 is not prime. Res64: 50697A9855B425AE Time : 0.0 sec. user=mdettweiler [2016-04-03 03:14:16] 741*2^1425197-1 is not prime. Res64: BBF18CE07FF3E933 Time : 0.0 sec. user=mdettweiler [2016-04-03 03:14:16] 759*2^1425197-1 is not prime. Res64: B3E1208226E55097 Time : 0.0 sec. user=mdettweiler [2016-04-03 03:14:16] 777*2^1425197-1 is not prime. Res64: 2351CA1F1B2E4E73 Time : 0.0 sec. user=mdettweiler [2016-04-03 03:14:17] 805*2^1425197-1 is not prime. Res64: 21E33C21FF0F7D5F Time : 0.0 sec. user=mdettweiler [2016-04-03 03:57:24] 651*2^1425198-1 is not prime. Res64: B57057D4BAA0AA94 Time : 0.0 sec. user=mdettweiler [2016-04-03 03:57:25] 677*2^1425198-1 is not prime. Res64: 49AA0BD20AE825E4 Time : 0.0 sec. user=mdettweiler [2016-04-03 03:57:26] 681*2^1425198-1 is not prime. Res64: 77B8E49C681A2B74 Time : 0.0 sec. user=mdettweiler [2016-04-03 03:57:26] 755*2^1425198-1 is not prime. Res64: 582FA5FCF1A3284E Time : 0.0 sec. user=mdettweiler [2016-04-03 03:57:27] 963*2^1425198-1 is not prime. Res64: 9A974B7210B9B595 Time : 0.0 sec. user=mdettweiler [2016-04-03 03:59:51] 633*2^1425199-1 is not prime. Res64: 815492FAEFF365B4 Time : 0.0 sec. user=mdettweiler [2016-04-03 03:59:52] 675*2^1425199-1 is not prime. Res64: 7CFBB10DD513F404 Time : 0.0 sec. user=mdettweiler [2016-04-03 03:59:52] 729*2^1425199-1 is not prime. Res64: E4FB34060A86BEFD Time : 0.0 sec. user=mdettweiler [2016-04-03 03:59:52] 841*2^1425199-1 is not prime. Res64: F4F98314F05FC1A0 Time : 0.0 sec. user=mdettweiler [2016-04-03 03:59:53] 859*2^1425199-1 is not prime. Res64: D1C49DCF7C7D5F4A Time : 0.0 sec. user=mdettweiler [2016-04-03 04:00:26] 873*2^1425199-1 is not prime. Res64: 0F850BF02F8C6987 Time : 0.0 sec. user=mdettweiler [2016-04-03 04:00:28] 913*2^1425199-1 is not prime. Res64: D4B7E4FFB027CDB2 Time : 0.0 sec. user=mdettweiler [2016-04-03 04:00:30] 969*2^1425199-1 is not prime. Res64: 8B8CD706A2173AB5 Time : 0.0 sec. user=mdettweiler [2016-04-03 04:00:32] 615*2^1425200-1 is not prime. Res64: BECF2F3BD26E9AD9 Time : 0.0 sec. user=mdettweiler [2016-04-03 04:00:33] 633*2^1425200-1 is not prime. Res64: 08A064FA95B9398E Time : 0.0 sec. user=mdettweiler [2016-04-03 04:03:15] 659*2^1425200-1 is not prime. Res64: A57F8ED8FD430F61 Time : 0.0 sec. user=mdettweiler [2016-04-03 04:03:17] 789*2^1425200-1 is not prime. Res64: 3545B32BC820A448 Time : 0.0 sec. user=mdettweiler [2016-04-03 04:07:57] 727*2^1425201-1 is not prime. Res64: 8711776652D8D90E Time : 0.0 sec. user=mdettweiler [2016-04-03 04:31:59] 903*2^1425194-1 is not prime. Res64: D111CE9523324D9C Time : 0.0 sec. user=mdettweiler [2016-04-03 04:31:59] 917*2^1425194-1 is not prime. Res64: AEF33CD99BAF6C1E Time : 0.0 sec. user=mdettweiler [2016-04-03 04:32:00] 981*2^1425194-1 is not prime. Res64: 0C3015E5028666B1 Time : 0.0 sec. user=mdettweiler [2016-04-03 04:32:00] 793*2^1425195-1 is not prime. Res64: F67A428E4A63A37F Time : 0.0 sec. user=mdettweiler [2016-04-03 04:32:00] 861*2^1425195-1 is not prime. Res64: E46ED07D10DBD442 Time : 0.0 sec. user=mdettweiler [2016-04-03 04:45:36] 879*2^1425200-1 is not prime. Res64: 0969CCC99109E6A2 Time : 0.0 sec. user=mdettweiler [2016-04-03 04:45:36] 915*2^1425200-1 is not prime. Res64: 5A3AB4499383B5B1 Time : 0.0 sec. user=mdettweiler [2016-04-03 04:45:37] 927*2^1425200-1 is not prime. Res64: 1B1C049C67228A07 Time : 0.0 sec. user=mdettweiler [2016-04-03 04:45:37] 963*2^1425200-1 is not prime. Res64: 863BCEEE080567A8 Time : 0.0 sec. user=mdettweiler [2016-04-03 04:45:38] 679*2^1425201-1 is not prime. Res64: 83EA5EE11E665D69 Time : 0.0 sec. user=mdettweiler [2016-04-03 04:47:53] 777*2^1425201-1 is not prime. Res64: 8DDDA9EAF9FC596F Time : 0.0 sec. user=mdettweiler [2016-04-03 04:47:54] 781*2^1425201-1 is not prime. Res64: 930D4C456EE6CF5D Time : 0.0 sec. user=mdettweiler [2016-04-03 04:47:54] 789*2^1425201-1 is not prime. Res64: 89201D54B9B2D464 Time : 0.0 sec. user=mdettweiler [2016-04-03 04:47:54] 805*2^1425201-1 is not prime. Res64: 828DB3EB357DA73A Time : 0.0 sec. user=mdettweiler [2016-04-03 04:47:55] 909*2^1425201-1 is not prime. Res64: 6666EE0C9A22442A Time : 0.0 sec. user=mdettweiler [2016-04-03 04:49:07] 955*2^1425201-1 is not prime. Res64: F9D2364AAB4B1D45 Time : 0.0 sec. user=mdettweiler [2016-04-03 04:49:08] 975*2^1425201-1 is not prime. Res64: F4D1C1D402E2201B Time : 0.0 sec. user=mdettweiler [2016-04-03 04:49:08] 603*2^1425202-1 is not prime. Res64: 551A223C7E0AFF55 Time : 0.0 sec. user=mdettweiler [2016-04-03 04:49:09] 645*2^1425202-1 is not prime. Res64: 49695285A78C2055 Time : 0.0 sec. user=mdettweiler [2016-04-03 04:49:09] 681*2^1425202-1 is not prime. Res64: 8B2B6F1007CEC28E Time : 0.0 sec. user=mdettweiler [2016-04-03 05:19:51] 735*2^1425202-1 is not prime. Res64: 7C05F16BACF72B18 Time : 0.0 sec. user=mdettweiler [2016-04-03 05:19:52] 843*2^1425202-1 is not prime. Res64: 2B17666C234A1DC5 Time : 0.0 sec. user=mdettweiler [2016-04-03 05:19:52] 867*2^1425202-1 is not prime. Res64: 5FB7ABDBE135E220 Time : 0.0 sec. user=mdettweiler [2016-04-03 05:19:52] 891*2^1425202-1 is not prime. Res64: 020B3E7AF0BD6100 Time : 0.0 sec. user=mdettweiler [2016-04-03 05:19:53] 975*2^1425202-1 is not prime. Res64: 5B4E7C68FC3C7AB2 Time : 0.0 sec. user=mdettweiler [2016-04-03 05:33:40] 981*2^1425202-1 is not prime. Res64: F91117FF03732EAC Time : 0.0 sec. user=mdettweiler [2016-04-03 05:33:41] 615*2^1425203-1 is not prime. Res64: 626944FE7B1B3F80 Time : 0.0 sec. user=mdettweiler [2016-04-03 05:33:41] 741*2^1425203-1 is not prime. Res64: 942E1301EC1E15AE Time : 0.0 sec. user=mdettweiler [2016-04-03 05:33:42] 753*2^1425203-1 is not prime. Res64: EE62D16D767DC7E3 Time : 0.0 sec. user=mdettweiler [2016-04-03 05:33:42] 811*2^1425203-1 is not prime. Res64: B3C3A19BCF718966 Time : 0.0 sec. user=mdettweiler [2016-04-03 05:36:50] 913*2^1425203-1 is not prime. Res64: FD86866E868EDC47 Time : 0.0 sec. user=mdettweiler [2016-04-03 05:36:50] 921*2^1425203-1 is not prime. Res64: DBBFCF5F0CF90581 Time : 0.0 sec. user=mdettweiler [2016-04-03 05:36:51] 675*2^1425204-1 is not prime. Res64: 987F7C676A293E28 Time : 0.0 sec. user=mdettweiler [2016-04-03 05:36:52] 707*2^1425204-1 is not prime. Res64: 759FEE7CF7C55B94 Time : 0.0 sec. user=mdettweiler [2016-04-03 05:36:52] 773*2^1425204-1 is not prime. Res64: 3D91AE41CE6253E3 Time : 0.0 sec. user=mdettweiler [2016-04-03 05:37:08] 789*2^1425204-1 is not prime. Res64: B9AEBFA6F7498DC0 Time : 0.0 sec. user=mdettweiler [2016-04-03 05:37:08] 843*2^1425204-1 is not prime. Res64: E0882BB7DFB6170E Time : 0.0 sec. user=mdettweiler [2016-04-03 05:37:09] 651*2^1425205-1 is not prime. Res64: 3788CDA7AA7B6007 Time : 0.0 sec. user=mdettweiler [2016-04-03 05:37:09] 667*2^1425205-1 is not prime. Res64: 365335D5E6B5B443 Time : 0.0 sec. user=mdettweiler [2016-04-03 05:37:09] 861*2^1425205-1 is not prime. Res64: 0F8C5C6F0901FDE6 Time : 0.0 sec. user=mdettweiler [2016-04-03 05:50:06] 993*2^1425208-1 is not prime. Res64: CB411655CAD115AB Time : 0.0 sec. user=mdettweiler [2016-04-03 06:06:31] 877*2^1425205-1 is not prime. Res64: E4D4276F5992141A Time : 0.0 sec. user=mdettweiler [2016-04-03 06:06:31] 895*2^1425205-1 is not prime. Res64: 0CDCD09640945864 Time : 0.0 sec. user=mdettweiler [2016-04-03 06:06:32] 951*2^1425205-1 is not prime. Res64: 0DE2C6A4B21E02A0 Time : 0.0 sec. user=mdettweiler [2016-04-03 06:06:32] 683*2^1425206-1 is not prime. Res64: DDC74E403BDFC3CD Time : 0.0 sec. user=mdettweiler [2016-04-03 06:06:33] 755*2^1425206-1 is not prime. Res64: 56B8576E7439BE75 Time : 0.0 sec. user=mdettweiler [2016-04-03 06:11:14] 829*2^1425209-1 is not prime. Res64: 959C42B083944841 Time : 0.0 sec. user=mdettweiler [2016-04-03 06:20:05] 801*2^1425206-1 is not prime. Res64: 629FA280F154473A Time : 0.0 sec. user=mdettweiler [2016-04-03 06:20:06] 843*2^1425206-1 is not prime. Res64: 81B6BABC17FD3229 Time : 0.0 sec. user=mdettweiler [2016-04-03 06:20:06] 911*2^1425206-1 is not prime. Res64: EF6EF81E265BA52F Time : 0.0 sec. user=mdettweiler [2016-04-03 06:20:07] 633*2^1425207-1 is not prime. Res64: B59A5F199B705B15 Time : 0.0 sec. user=mdettweiler [2016-04-03 06:20:07] 649*2^1425207-1 is not prime. Res64: 3FB24E530DA027B7 Time : 0.0 sec. user=mdettweiler [2016-04-03 06:23:08] 765*2^1425207-1 is not prime. Res64: 810F2C2CC307AF3E Time : 0.0 sec. user=mdettweiler [2016-04-03 06:23:08] 843*2^1425207-1 is not prime. Res64: F17B492653E61173 Time : 0.0 sec. user=mdettweiler [2016-04-03 06:23:08] 919*2^1425207-1 is not prime. Res64: FA526D8B65724535 Time : 0.0 sec. user=mdettweiler [2016-04-03 06:23:09] 951*2^1425207-1 is not prime. Res64: 4D313A79CB840EC5 Time : 0.0 sec. user=mdettweiler [2016-04-03 06:23:09] 963*2^1425207-1 is not prime. Res64: 43156D47477B21E8 Time : 0.0 sec. user=mdettweiler [2016-04-03 06:23:20] 979*2^1425207-1 is not prime. Res64: A5D4EE181307DB53 Time : 0.0 sec. user=mdettweiler [2016-04-03 06:23:20] 663*2^1425208-1 is not prime. Res64: 6FAE9EE9701BCA73 Time : 0.0 sec. user=mdettweiler [2016-04-03 06:23:20] 665*2^1425208-1 is not prime. Res64: D29AA3795903942F Time : 0.0 sec. user=mdettweiler [2016-04-03 06:23:21] 905*2^1425208-1 is not prime. Res64: 7AC6D2C6D3E9331A Time : 0.0 sec. user=mdettweiler [2016-04-03 06:23:21] 957*2^1425208-1 is not prime. Res64: F13C6F23AA87F3C0 Time : 0.0 sec. user=mdettweiler [2016-04-03 06:52:20] 635*2^1425210-1 is not prime. Res64: 482082ED7C39A2B5 Time : 0.0 sec. user=mdettweiler [2016-04-03 06:52:21] 641*2^1425210-1 is not prime. Res64: EDC5148E1F68DC34 Time : 0.0 sec. user=mdettweiler [2016-04-03 06:52:21] 843*2^1425210-1 is not prime. Res64: 65FB65EA1323D87B Time : 0.0 sec. user=mdettweiler [2016-04-03 06:52:21] 663*2^1425211-1 is not prime. Res64: E5B8162C7017A11F Time : 0.0 sec. user=mdettweiler [2016-04-03 06:52:22] 811*2^1425211-1 is not prime. Res64: FFCE0ACBA3F56854 Time : 0.0 sec. user=mdettweiler [2016-04-03 07:05:51] 969*2^1425211-1 is not prime. Res64: 74815512E922BF5D Time : 0.0 sec. user=mdettweiler [2016-04-03 07:05:52] 975*2^1425211-1 is not prime. Res64: 4AF85E6E4CA5DC9D Time : 0.0 sec. user=mdettweiler [2016-04-03 07:05:53] 979*2^1425211-1 is not prime. Res64: C3B464240ECD370E Time : 0.0 sec. user=mdettweiler [2016-04-03 07:05:54] 749*2^1425212-1 is not prime. Res64: E54E9FCBF12B0B2E Time : 0.0 sec. user=mdettweiler [2016-04-03 07:05:55] 759*2^1425212-1 is not prime. Res64: A8C6A47D1CC91C45 Time : 0.0 sec. user=mdettweiler [2016-04-03 07:08:15] 827*2^1425212-1 is not prime. Res64: 2A52C524CCBA067D Time : 0.0 sec. user=mdettweiler [2016-04-03 07:08:15] 873*2^1425212-1 is not prime. Res64: E1BC59F995868687 Time : 0.0 sec. user=mdettweiler [2016-04-03 07:08:16] 983*2^1425212-1 is not prime. Res64: 08C4A2892B9EC528 Time : 0.0 sec. user=mdettweiler [2016-04-03 07:08:16] 615*2^1425213-1 is not prime. Res64: F2349695A01ADC9B Time : 0.0 sec. user=mdettweiler [2016-04-03 07:08:16] 657*2^1425213-1 is not prime. Res64: D6970A18535D2CB7 Time : 0.0 sec. user=mdettweiler [2016-04-03 07:08:28] 751*2^1425213-1 is not prime. Res64: 9E300EC5EDC1BE6B Time : 0.0 sec. user=mdettweiler [2016-04-03 07:08:29] 889*2^1425213-1 is not prime. Res64: 146E613CCD327FB0 Time : 0.0 sec. user=mdettweiler [2016-04-03 07:08:29] 951*2^1425213-1 is not prime. Res64: 8F19248C75ECBADA Time : 0.0 sec. user=mdettweiler [2016-04-03 07:08:29] 635*2^1425214-1 is not prime. Res64: C8BEB84594887C84 Time : 0.0 sec. user=mdettweiler [2016-04-03 07:08:30] 705*2^1425214-1 is not prime. Res64: B31D36FD2F2B4CD2 Time : 0.0 sec. user=mdettweiler [2016-04-03 07:16:38] 937*2^1425217-1 is not prime. Res64: 5CF0ECEAA21B12D7 Time : 0.0 sec. user=mdettweiler [2016-04-03 07:34:30] 627*2^1425218-1 is not prime. Res64: 57D00721CB9391F3 Time : 0.0 sec. user=mdettweiler [2016-04-03 07:37:08] 857*2^1425214-1 is not prime. Res64: A8BDC779025600BF Time : 0.0 sec. user=mdettweiler [2016-04-03 07:37:08] 885*2^1425214-1 is not prime. Res64: 140B8A21139CC5F5 Time : 0.0 sec. user=mdettweiler [2016-04-03 07:37:08] 971*2^1425214-1 is not prime. Res64: 7F5E89FAF01F0462 Time : 0.0 sec. user=mdettweiler [2016-04-03 07:37:09] 987*2^1425214-1 is not prime. Res64: B15E392CE67C0EAE Time : 0.0 sec. user=mdettweiler [2016-04-03 07:37:09] 1001*2^1425214-1 is not prime. Res64: 18EB688092040FA8 Time : 0.0 sec. user=mdettweiler [2016-04-03 07:51:00] 685*2^1425215-1 is not prime. Res64: 15730F99D6617D7E Time : 0.0 sec. user=mdettweiler [2016-04-03 07:51:00] 693*2^1425215-1 is not prime. Res64: D6AD512D28F24A83 Time : 0.0 sec. user=mdettweiler [2016-04-03 07:51:01] 775*2^1425215-1 is not prime. Res64: 9F86A8591A30AB53 Time : 0.0 sec. user=mdettweiler [2016-04-03 07:51:01] 963*2^1425215-1 is not prime. Res64: 1413C1BC81D755EF Time : 0.0 sec. user=mdettweiler [2016-04-03 07:51:01] 969*2^1425215-1 is not prime. Res64: 072D93FAE851174F Time : 0.0 sec. user=mdettweiler [2016-04-03 07:52:08] 1001*2^1425218-1 is not prime. Res64: F0D0242256A7B853 Time : 0.0 sec. user=mdettweiler [2016-04-03 07:53:10] 693*2^1425216-1 is not prime. Res64: EE2C6E8C196B66A6 Time : 0.0 sec. user=mdettweiler [2016-04-03 07:53:10] 759*2^1425216-1 is not prime. Res64: 63634E2A15E88256 Time : 0.0 sec. user=mdettweiler [2016-04-03 07:53:11] 899*2^1425216-1 is not prime. Res64: E3B53376EDBACBB3 Time : 0.0 sec. user=mdettweiler [2016-04-03 07:53:11] 905*2^1425216-1 is not prime. Res64: A3E2427A6EB7B034 Time : 0.0 sec. user=mdettweiler [2016-04-03 07:53:11] 999*2^1425216-1 is not prime. Res64: 804C34BF42F0AED0 Time : 0.0 sec. user=mdettweiler [2016-04-03 07:53:41] 615*2^1425217-1 is not prime. Res64: 83A8CFB11E93FB76 Time : 0.0 sec. user=mdettweiler [2016-04-03 07:53:42] 639*2^1425217-1 is not prime. Res64: EAFB1197374AA045 Time : 0.0 sec. user=mdettweiler [2016-04-03 07:53:42] 649*2^1425217-1 is not prime. Res64: 66D9C2AD88F82E29 Time : 0.0 sec. user=mdettweiler [2016-04-03 07:53:42] 885*2^1425217-1 is not prime. Res64: A8D3C115A90F14F9 Time : 0.0 sec. user=mdettweiler [2016-04-03 07:53:43] 901*2^1425217-1 is not prime. Res64: 284A339112EE404E Time : 0.0 sec. user=mdettweiler [2016-04-03 08:22:19] 767*2^1425218-1 is not prime. Res64: 3C0CDAA1A3E17EFB Time : 0.0 sec. user=mdettweiler [2016-04-03 08:22:19] 843*2^1425218-1 is not prime. Res64: AA1506D4EE5A9ABE Time : 0.0 sec. user=mdettweiler [2016-04-03 08:22:20] 887*2^1425218-1 is not prime. Res64: 62533B6FDCA012D5 Time : 0.0 sec. user=mdettweiler [2016-04-03 08:22:20] 951*2^1425218-1 is not prime. Res64: 097668A2B0105EBE Time : 0.0 sec. user=mdettweiler [2016-04-03 08:22:21] 977*2^1425218-1 is not prime. Res64: C4B5100765627C7E Time : 0.0 sec. user=mdettweiler [2016-04-03 08:27:19] 921*2^1425222-1 is not prime. Res64: EF676129F3C5CAE1 Time : 0.0 sec. user=mdettweiler [2016-04-03 08:36:01] 663*2^1425219-1 is not prime. Res64: F9ED578595DC6E8F Time : 0.0 sec. user=mdettweiler [2016-04-03 08:36:02] 675*2^1425219-1 is not prime. Res64: F97EC3CD97B9AA36 Time : 0.0 sec. user=mdettweiler [2016-04-03 08:36:02] 723*2^1425219-1 is not prime. Res64: 84A41C2406047ED8 Time : 0.0 sec. user=mdettweiler [2016-04-03 08:36:03] 753*2^1425219-1 is not prime. Res64: 5C94AE7827DE094F Time : 0.0 sec. user=mdettweiler [2016-04-03 08:36:03] 853*2^1425219-1 is not prime. Res64: D29731B1680A499A Time : 0.0 sec. user=mdettweiler [2016-04-03 08:38:20] 903*2^1425219-1 is not prime. Res64: 2EB29CD685D3C0AE Time : 0.0 sec. user=mdettweiler [2016-04-03 08:38:20] 825*2^1425220-1 is not prime. Res64: E3652CC1D8164D53 Time : 0.0 sec. user=mdettweiler [2016-04-03 08:38:21] 855*2^1425220-1 is not prime. Res64: B661B803ED534A72 Time : 0.0 sec. user=mdettweiler [2016-04-03 08:38:21] 989*2^1425220-1 is not prime. Res64: 2752F324EC3FEE4C Time : 0.0 sec. user=mdettweiler [2016-04-03 08:38:22] 889*2^1425221-1 is not prime. Res64: CBED99DE46009F62 Time : 0.0 sec. user=mdettweiler [2016-04-03 08:39:13] 927*2^1425221-1 is not prime. Res64: 2F88D515422D8FE3 Time : 0.0 sec. user=mdettweiler [2016-04-03 08:39:13] 937*2^1425221-1 is not prime. Res64: 6FCD52AAF196E887 Time : 0.0 sec. user=mdettweiler [2016-04-03 08:39:13] 955*2^1425221-1 is not prime. Res64: A19B2E0F8C086FDA Time : 0.0 sec. user=mdettweiler [2016-04-03 08:39:14] 657*2^1425222-1 is not prime. Res64: BDFB1DAB799222FF Time : 0.0 sec. user=mdettweiler [2016-04-03 08:39:14] 893*2^1425222-1 is not prime. Res64: 43FB147DADA6EEB7 Time : 0.0 sec. user=mdettweiler [2016-04-03 09:02:30] 825*2^1425227-1 is not prime. Res64: 597C06385953F6D6 Time : 0.0 sec. user=mdettweiler [2016-04-03 09:07:09] 957*2^1425222-1 is not prime. Res64: CEF2FCE8869AA59F Time : 0.0 sec. user=mdettweiler [2016-04-03 09:07:11] 729*2^1425223-1 is not prime. Res64: 6A30B8BACBAFE4B5 Time : 0.0 sec. user=mdettweiler [2016-04-03 09:07:12] 765*2^1425223-1 is not prime. Res64: 61D5E2B4AC1D879C Time : 0.0 sec. user=mdettweiler [2016-04-03 09:07:14] 829*2^1425223-1 is not prime. Res64: 255ACABA5CA6E98E Time : 0.0 sec. user=mdettweiler [2016-04-03 09:07:15] 925*2^1425223-1 is not prime. Res64: 492C006886526822 Time : 0.0 sec. user=mdettweiler [2016-04-03 09:20:59] 605*2^1425224-1 is not prime. Res64: 2C5C77789A496002 Time : 0.0 sec. user=mdettweiler [2016-04-03 09:20:59] 609*2^1425224-1 is not prime. Res64: AAE3244AA2A5710C Time : 0.0 sec. user=mdettweiler [2016-04-03 09:20:59] 753*2^1425224-1 is not prime. Res64: 862692204B1801DF Time : 0.0 sec. user=mdettweiler [2016-04-03 09:21:00] 795*2^1425224-1 is not prime. Res64: 145C057768E14EDE Time : 0.0 sec. user=mdettweiler [2016-04-03 09:21:04] 873*2^1425224-1 is not prime. Res64: F58C01D59031DB28 Time : 0.0 sec. user=mdettweiler [2016-04-03 09:23:25] 893*2^1425224-1 is not prime. Res64: 19DA5205B8716764 Time : 0.0 sec. user=mdettweiler [2016-04-03 09:23:25] 957*2^1425224-1 is not prime. Res64: 5684B66843C18240 Time : 0.0 sec. user=mdettweiler [2016-04-03 09:23:25] 711*2^1425225-1 is not prime. Res64: 7B364B0D3C086C0C Time : 0.0 sec. user=mdettweiler [2016-04-03 09:23:26] 861*2^1425225-1 is not prime. Res64: EB7B2315DE744E2A Time : 0.0 sec. user=mdettweiler [2016-04-03 09:23:26] 969*2^1425225-1 is not prime. Res64: 52B1E2F273838519 Time : 0.0 sec. user=mdettweiler [2016-04-03 09:24:22] 603*2^1425226-1 is not prime. Res64: CDD97FD84549CA37 Time : 0.0 sec. user=mdettweiler [2016-04-03 09:24:22] 623*2^1425226-1 is not prime. Res64: A2073708FE5A2CF4 Time : 0.0 sec. user=mdettweiler [2016-04-03 09:24:22] 615*2^1425227-1 is not prime. Res64: 458765A9D036CB0F Time : 0.0 sec. user=mdettweiler [2016-04-03 09:24:23] 643*2^1425227-1 is not prime. Res64: F469139CCDCD8131 Time : 0.0 sec. user=mdettweiler [2016-04-03 09:24:23] 741*2^1425227-1 is not prime. Res64: D93907BFFE593EBC Time : 0.0 sec. user=mdettweiler [2016-04-03 09:52:32] 871*2^1425227-1 is not prime. Res64: 6881B7D4B3AD8357 Time : 0.0 sec. user=mdettweiler [2016-04-03 09:52:32] 939*2^1425227-1 is not prime. Res64: 1ACD9CF385CA3078 Time : 0.0 sec. user=mdettweiler [2016-04-03 09:52:32] 963*2^1425227-1 is not prime. Res64: 49BE8189DA6A94A2 Time : 0.0 sec. user=mdettweiler [2016-04-03 09:52:33] 773*2^1425228-1 is not prime. Res64: 7CB7602F1ADF15F8 Time : 0.0 sec. user=mdettweiler [2016-04-03 09:52:33] 945*2^1425228-1 is not prime. Res64: 3C17A0B71F96EE20 Time : 0.0 sec. user=mdettweiler [2016-04-03 09:55:12] 979*2^1425231-1 is not prime. Res64: 7C68CA498F73425A Time : 0.0 sec. user=mdettweiler [2016-04-03 10:06:16] 649*2^1425229-1 is not prime. Res64: D3A8C9AB2C6562A7 Time : 0.0 sec. user=mdettweiler [2016-04-03 10:06:16] 747*2^1425229-1 is not prime. Res64: 58092C584EABD74B Time : 0.0 sec. user=mdettweiler [2016-04-03 10:06:17] 751*2^1425229-1 is not prime. Res64: 396D34638AB931C1 Time : 0.0 sec. user=mdettweiler [2016-04-03 10:06:17] 819*2^1425229-1 is not prime. Res64: 5A60C03292DDAACB Time : 0.0 sec. user=mdettweiler [2016-04-03 10:06:18] 835*2^1425229-1 is not prime. Res64: D0F66CCAED9932BE Time : 0.0 sec. user=mdettweiler [2016-04-03 10:08:42] 931*2^1425229-1 is not prime. Res64: 1B4F04C542C42073 Time : 0.0 sec. user=mdettweiler [2016-04-03 10:08:42] 997*2^1425229-1 is not prime. Res64: 15ECAD77677B085E Time : 0.0 sec. user=mdettweiler [2016-04-03 10:08:43] 999*2^1425229-1 is not prime. Res64: E5F1158259C2FDDB Time : 0.0 sec. user=mdettweiler [2016-04-03 10:08:44] 845*2^1425230-1 is not prime. Res64: 1EA028B970C16D32 Time : 0.0 sec. user=mdettweiler [2016-04-03 10:08:44] 923*2^1425230-1 is not prime. Res64: 863A6A0B5B4B488E Time : 0.0 sec. user=mdettweiler [2016-04-03 10:09:33] 625*2^1425231-1 is not prime. Res64: B87A82ECD4C07124 Time : 0.0 sec. user=mdettweiler [2016-04-03 10:09:34] 783*2^1425231-1 is not prime. Res64: CD42132164AE0AAC Time : 0.0 sec. user=mdettweiler [2016-04-03 10:09:35] 901*2^1425231-1 is not prime. Res64: F0069BD70183CFC1 Time : 0.0 sec. user=mdettweiler [2016-04-03 10:09:36] 933*2^1425231-1 is not prime. Res64: BB83C7259D7D6865 Time : 0.0 sec. user=mdettweiler [2016-04-03 10:09:37] 951*2^1425231-1 is not prime. Res64: AFDF0577AD8FED2D Time : 0.0 sec. user=mdettweiler [2016-04-03 10:37:39] 695*2^1425232-1 is not prime. Res64: 1802E76376FA73ED Time : 0.0 sec. user=mdettweiler [2016-04-03 10:37:40] 735*2^1425232-1 is not prime. Res64: EDCE72122A76F14D Time : 0.0 sec. user=mdettweiler [2016-04-03 10:37:40] 743*2^1425232-1 is not prime. Res64: 87AB34B19B73EBEF Time : 0.0 sec. user=mdettweiler [2016-04-03 10:37:41] 777*2^1425232-1 is not prime. Res64: A175EC78D2C5C8F4 Time : 0.0 sec. user=mdettweiler [2016-04-03 10:37:41] 779*2^1425232-1 is not prime. Res64: FF0B6A359CD9FB21 Time : 0.0 sec. user=mdettweiler [2016-04-03 10:51:27] 903*2^1425232-1 is not prime. Res64: 55651BB5C26B8A09 Time : 0.0 sec. user=mdettweiler [2016-04-03 10:51:28] 915*2^1425232-1 is not prime. Res64: 9A9C3E3F114C20F9 Time : 0.0 sec. user=mdettweiler [2016-04-03 10:51:28] 923*2^1425232-1 is not prime. Res64: 7D54175AB9DA4201 Time : 0.0 sec. user=mdettweiler [2016-04-03 10:51:29] 657*2^1425233-1 is not prime. Res64: AD6874327C83EB9E Time : 0.0 sec. user=mdettweiler [2016-04-03 10:51:29] 675*2^1425233-1 is not prime. Res64: 104448C93E13B829 Time : 0.0 sec. user=mdettweiler [2016-04-03 10:53:46] 801*2^1425233-1 is not prime. Res64: A64E32318A2C91E7 Time : 0.0 sec. user=mdettweiler [2016-04-03 10:53:46] 871*2^1425233-1 is not prime. Res64: D5988045D917EA5D Time : 0.0 sec. user=mdettweiler [2016-04-03 10:53:46] 897*2^1425233-1 is not prime. Res64: 9EE61198C7212AB9 Time : 0.0 sec. user=mdettweiler [2016-04-03 10:53:47] 925*2^1425233-1 is not prime. Res64: E46D6A843DC08ADA Time : 0.0 sec. user=mdettweiler [2016-04-03 10:53:47] 949*2^1425233-1 is not prime. Res64: C057D189C976E5D7 Time : 0.0 sec. user=mdettweiler [2016-04-03 10:54:34] 955*2^1425233-1 is not prime. Res64: 61B38965E11FA4C3 Time : 0.0 sec. user=mdettweiler [2016-04-03 10:54:34] 681*2^1425234-1 is not prime. Res64: F47C376C3EAD8DE8 Time : 0.0 sec. user=mdettweiler [2016-04-03 10:54:35] 711*2^1425234-1 is not prime. Res64: B00EE339D0275621 Time : 0.0 sec. user=mdettweiler [2016-04-03 10:54:35] 725*2^1425234-1 is not prime. Res64: E8B7D031A07358D1 Time : 0.0 sec. user=mdettweiler [2016-04-03 10:54:35] 737*2^1425234-1 is not prime. Res64: BF4825C30E6D9632 Time : 0.0 sec. user=mdettweiler [2016-04-03 11:22:50] 741*2^1425234-1 is not prime. Res64: 4189F65D413AB6ED Time : 0.0 sec. user=mdettweiler [2016-04-03 11:22:51] 885*2^1425234-1 is not prime. Res64: 0E03902BA82F8CB2 Time : 0.0 sec. user=mdettweiler [2016-04-03 11:22:51] 971*2^1425234-1 is not prime. Res64: 6DA01F939CB61094 Time : 0.0 sec. user=mdettweiler [2016-04-03 11:22:52] 609*2^1425235-1 is not prime. Res64: 4A7425721783E34B Time : 0.0 sec. user=mdettweiler [2016-04-03 11:22:52] 651*2^1425235-1 is not prime. Res64: 168AF0C399185E3F Time : 0.0 sec. user=mdettweiler [2016-04-03 11:36:33] 705*2^1425235-1 is not prime. Res64: A01E796DA75AEFE2 Time : 0.0 sec. user=mdettweiler [2016-04-03 11:36:33] 801*2^1425235-1 is not prime. Res64: 000F35FDDEA5EB55 Time : 0.0 sec. user=mdettweiler [2016-04-03 11:36:33] 973*2^1425235-1 is not prime. Res64: 5924202F67B11254 Time : 0.0 sec. user=mdettweiler [2016-04-03 11:36:34] 979*2^1425235-1 is not prime. Res64: 58A3F2D0EE174AD0 Time : 0.0 sec. user=mdettweiler [2016-04-03 11:36:34] 999*2^1425235-1 is not prime. Res64: 70428F68A717B53E Time : 0.0 sec. user=mdettweiler [2016-04-03 11:39:02] 677*2^1425236-1 is not prime. Res64: EFBFB6C2D678FA1F Time : 0.0 sec. user=mdettweiler [2016-04-03 11:39:02] 743*2^1425236-1 is not prime. Res64: BEEBEED91385BD2D Time : 0.0 sec. user=mdettweiler [2016-04-03 11:39:03] 813*2^1425236-1 is not prime. Res64: 62CC9A8A1BDE8673 Time : 0.0 sec. user=mdettweiler [2016-04-03 11:39:03] 839*2^1425236-1 is not prime. Res64: 7D865A0B1739B34D Time : 0.0 sec. user=mdettweiler [2016-04-03 11:39:04] 879*2^1425236-1 is not prime. Res64: 255F5E1C7D13891F Time : 0.0 sec. user=mdettweiler [2016-04-03 11:39:45] 999*2^1425236-1 is not prime. Res64: 1B9B96334F0A6A1F Time : 0.0 sec. user=mdettweiler [2016-04-03 11:39:45] 747*2^1425237-1 is not prime. Res64: 05904FA3BE1F58E3 Time : 0.0 sec. user=mdettweiler [2016-04-03 11:39:45] 781*2^1425237-1 is not prime. Res64: 30AFEA03E5661DA3 Time : 0.0 sec. user=mdettweiler [2016-04-03 11:39:46] 885*2^1425237-1 is not prime. Res64: CD109750968D8B0E Time : 0.0 sec. user=mdettweiler [2016-04-03 11:39:46] 621*2^1425238-1 is not prime. Res64: 796A679705BB66F9 Time : 0.0 sec. user=mdettweiler [2016-04-03 11:43:17] 759*2^1425239-1 is not prime. Res64: 4EAB0F7CDBD74DD2 Time : 0.0 sec. user=mdettweiler [2016-04-03 12:07:55] 681*2^1425238-1 is not prime. Res64: 9C8D7441E7555E21 Time : 0.0 sec. user=mdettweiler [2016-04-03 12:07:57] 761*2^1425238-1 is not prime. Res64: 45FC3E39D7D9F4E3 Time : 0.0 sec. user=mdettweiler [2016-04-03 12:08:00] 669*2^1425239-1 is not prime. Res64: E1BFA7FA4A6D6FAE Time : 0.0 sec. user=mdettweiler [2016-04-03 12:08:01] 693*2^1425239-1 is not prime. Res64: EDD80EE7B0651B5C Time : 0.0 sec. user=mdettweiler [2016-04-03 12:08:02] 711*2^1425239-1 is not prime. Res64: 68EABDD10E19D65B Time : 0.0 sec. user=mdettweiler [2016-04-03 12:16:44] 901*2^1425241-1 is not prime. Res64: 46DB8FAF8E2FAE1E Time : 0.0 sec. user=mdettweiler [2016-04-03 12:21:39] 813*2^1425239-1 is not prime. Res64: 854FD2FD217658D2 Time : 0.0 sec. user=mdettweiler [2016-04-03 12:21:40] 885*2^1425239-1 is not prime. Res64: 871D3484AF10C2DF Time : 0.0 sec. user=mdettweiler [2016-04-03 12:21:40] 939*2^1425239-1 is not prime. Res64: 4C88376A9BC17821 Time : 0.0 sec. user=mdettweiler [2016-04-03 12:21:41] 985*2^1425239-1 is not prime. Res64: 3B4C9B76F416493F Time : 0.0 sec. user=mdettweiler [2016-04-03 12:21:41] 623*2^1425240-1 is not prime. Res64: D1B2E10AE390BB58 Time : 0.0 sec. user=mdettweiler [2016-04-03 12:24:03] 635*2^1425240-1 is not prime. Res64: E01D5FB16B63625F Time : 0.0 sec. user=mdettweiler [2016-04-03 12:24:04] 665*2^1425240-1 is not prime. Res64: FF200EBDCECB4D47 Time : 0.0 sec. user=mdettweiler [2016-04-03 12:24:04] 713*2^1425240-1 is not prime. Res64: 45BB7F929EA9F491 Time : 0.0 sec. user=mdettweiler [2016-04-03 12:24:04] 759*2^1425240-1 is not prime. Res64: D35CCB891896B14F Time : 0.0 sec. user=mdettweiler [2016-04-03 12:24:05] 767*2^1425240-1 is not prime. Res64: A9CE1F9CD93A89CD Time : 0.0 sec. user=mdettweiler [2016-04-03 12:24:40] 819*2^1425240-1 is not prime. Res64: AFE5836945D43E4F Time : 0.0 sec. user=mdettweiler [2016-04-03 12:24:41] 857*2^1425240-1 is not prime. Res64: 0051EE7C75446976 Time : 0.0 sec. user=mdettweiler [2016-04-03 12:24:41] 887*2^1425240-1 is not prime. Res64: 10DBD40A5D8FE314 Time : 0.0 sec. user=mdettweiler [2016-04-03 12:24:42] 625*2^1425241-1 is not prime. Res64: 5683C11828D5FC6D Time : 0.0 sec. user=mdettweiler [2016-04-03 12:24:42] 639*2^1425241-1 is not prime. Res64: 2E047D799F1D50AD Time : 0.0 sec. user=mdettweiler [2016-04-03 12:34:23] 623*2^1425244-1 is not prime. Res64: 3E906ED3C6964486 Time : 0.0 sec. user=mdettweiler [2016-04-03 12:52:05] 663*2^1425244-1 is not prime. Res64: 8D9A417AA2638DF0 Time : 0.0 sec. user=mdettweiler [2016-04-03 12:53:39] 679*2^1425241-1 is not prime. Res64: F824261F27258CAD Time : 0.0 sec. user=mdettweiler [2016-04-03 12:53:39] 835*2^1425241-1 is not prime. Res64: A87B3C06E1286CD4 Time : 0.0 sec. user=mdettweiler [2016-04-03 12:53:40] 855*2^1425241-1 is not prime. Res64: 3066CDEB8899676D Time : 0.0 sec. user=mdettweiler [2016-04-03 12:53:40] 871*2^1425241-1 is not prime. Res64: B42EEE84DC4ABC1B Time : 0.0 sec. user=mdettweiler [2016-04-03 12:53:41] 895*2^1425241-1 is not prime. Res64: 344999B563EEB726 Time : 0.0 sec. user=mdettweiler [2016-04-03 13:06:34] 999*2^1425241-1 is not prime. Res64: 89CA72DBC223F7E7 Time : 0.0 sec. user=mdettweiler [2016-04-03 13:06:35] 675*2^1425242-1 is not prime. Res64: 05CCC922D1B3F26C Time : 0.0 sec. user=mdettweiler [2016-04-03 13:06:36] 771*2^1425242-1 is not prime. Res64: 0F6D81FF85DB8F39 Time : 0.0 sec. user=mdettweiler [2016-04-03 13:06:37] 791*2^1425242-1 is not prime. Res64: 7A40B0E3119E1F8F Time : 0.0 sec. user=mdettweiler [2016-04-03 13:06:38] 945*2^1425242-1 is not prime. Res64: D3E7BE86D4F1B43B Time : 0.0 sec. user=mdettweiler [2016-04-03 13:09:08] 951*2^1425242-1 is not prime. Res64: E4C40ADF6CDE3D71 Time : 0.0 sec. user=mdettweiler [2016-04-03 13:09:08] 1001*2^1425242-1 is not prime. Res64: 61F80A0DF923073F Time : 0.0 sec. user=mdettweiler [2016-04-03 13:09:09] 619*2^1425243-1 is not prime. Res64: BEED46F54FC77533 Time : 0.0 sec. user=mdettweiler [2016-04-03 13:09:10] 663*2^1425243-1 is not prime. Res64: E5FC211BD153EEA3 Time : 0.0 sec. user=mdettweiler [2016-04-03 13:09:10] 705*2^1425243-1 is not prime. Res64: 2FCE816DB8C278ED Time : 0.0 sec. user=mdettweiler [2016-04-03 13:09:32] 871*2^1425243-1 is not prime. Res64: 2DE63E2B762772EF Time : 0.0 sec. user=mdettweiler [2016-04-03 13:09:33] 873*2^1425243-1 is not prime. Res64: EBC0B74B41BA8098 Time : 0.0 sec. user=mdettweiler [2016-04-03 13:09:34] 949*2^1425243-1 is not prime. Res64: BBE7DD6978DDA83B Time : 0.0 sec. user=mdettweiler [2016-04-03 13:09:35] 963*2^1425243-1 is not prime. Res64: CE511ABD7C67C9AB Time : 0.0 sec. user=mdettweiler [2016-04-03 13:09:37] 985*2^1425243-1 is not prime. Res64: BE3D5A2B4E565D37 Time : 0.0 sec. user=mdettweiler [2016-04-03 13:38:48] 677*2^1425244-1 is not prime. Res64: 63E06C29DC59480D Time : 0.0 sec. user=mdettweiler [2016-04-03 13:38:48] 873*2^1425244-1 is not prime. Res64: BD82EBFC775FA612 Time : 0.0 sec. user=mdettweiler [2016-04-03 13:38:49] 953*2^1425244-1 is not prime. Res64: CD03DF941470CE56 Time : 0.0 sec. user=mdettweiler [2016-04-03 13:38:49] 619*2^1425245-1 is not prime. Res64: 62135AE7EAE1F0ED Time : 0.0 sec. user=mdettweiler [2016-04-03 13:38:49] 697*2^1425245-1 is not prime. Res64: BFD618DF5868A142 Time : 0.0 sec. user=mdettweiler [2016-04-03 13:51:59] 699*2^1425245-1 is not prime. Res64: 2A96E26E765F6B4A Time : 0.0 sec. user=mdettweiler [2016-04-03 13:52:00] 757*2^1425245-1 is not prime. Res64: B71DFDB7244F58E8 Time : 0.0 sec. user=mdettweiler [2016-04-03 13:52:00] 825*2^1425245-1 is not prime. Res64: 800391A37B571E2C Time : 0.0 sec. user=mdettweiler [2016-04-03 13:52:01] 847*2^1425245-1 is not prime. Res64: C9DEF56F68FD55AA Time : 0.0 sec. user=mdettweiler [2016-04-03 13:52:01] 861*2^1425245-1 is not prime. Res64: 08CE3CBEE4002063 Time : 0.0 sec. user=mdettweiler [2016-04-03 13:54:43] 981*2^1425245-1 is not prime. Res64: A8B692F6883CAA2D Time : 0.0 sec. user=mdettweiler [2016-04-03 13:54:43] 653*2^1425246-1 is not prime. Res64: 1571188FDEF7AFF0 Time : 0.0 sec. user=mdettweiler [2016-04-03 13:54:43] 755*2^1425246-1 is not prime. Res64: 7BB629BD6C14A779 Time : 0.0 sec. user=mdettweiler [2016-04-03 13:54:44] 761*2^1425246-1 is not prime. Res64: 46365B781D07C25E Time : 0.0 sec. user=mdettweiler [2016-04-03 13:54:44] 807*2^1425246-1 is not prime. Res64: A463FA489C20066A Time : 0.0 sec. user=mdettweiler [2016-04-03 13:54:52] 921*2^1425246-1 is not prime. Res64: 539879E0A4F9661E Time : 0.0 sec. user=mdettweiler [2016-04-03 13:54:52] 649*2^1425247-1 is not prime. Res64: 9E3CF3D7195CC515 Time : 0.0 sec. user=mdettweiler [2016-04-03 13:54:52] 663*2^1425247-1 is not prime. Res64: E8F3F6C104E79700 Time : 0.0 sec. user=mdettweiler [2016-04-03 13:54:53] 673*2^1425247-1 is not prime. Res64: F6FF42BF5545C9EB Time : 0.0 sec. user=mdettweiler [2016-04-03 13:54:53] 763*2^1425247-1 is not prime. Res64: 4960FD940D9C35BE Time : 0.0 sec. user=mdettweiler [2016-04-03 14:21:02] 945*2^1425250-1 is not prime. Res64: D74B9474E887BB45 Time : 0.0 sec. user=mdettweiler [2016-04-03 14:24:29] 939*2^1425247-1 is not prime. Res64: E82C1F37165A8072 Time : 0.0 sec. user=mdettweiler [2016-04-03 14:24:30] 951*2^1425247-1 is not prime. Res64: 0B8007032AF8197E Time : 0.0 sec. user=mdettweiler [2016-04-03 14:24:30] 735*2^1425248-1 is not prime. Res64: 103C6E50E081590D Time : 0.0 sec. user=mdettweiler [2016-04-03 14:24:31] 767*2^1425248-1 is not prime. Res64: 80593403DD744BF5 Time : 0.0 sec. user=mdettweiler [2016-04-03 14:24:31] 797*2^1425248-1 is not prime. Res64: EC256AE3C019E11A Time : 0.0 sec. user=mdettweiler [2016-04-03 14:37:48] 927*2^1425248-1 is not prime. Res64: 85B739912B6AC6D0 Time : 0.0 sec. user=mdettweiler [2016-04-03 14:37:49] 959*2^1425248-1 is not prime. Res64: D9D8B0507863C8F9 Time : 0.0 sec. user=mdettweiler [2016-04-03 14:37:49] 625*2^1425249-1 is not prime. Res64: 6C3C318203B35CDB Time : 0.0 sec. user=mdettweiler [2016-04-03 14:37:49] 639*2^1425249-1 is not prime. Res64: 81AEEA8928EEB0A8 Time : 0.0 sec. user=mdettweiler [2016-04-03 14:37:50] 711*2^1425249-1 is not prime. Res64: BFC798DD95D601CB Time : 0.0 sec. user=mdettweiler [2016-04-03 14:40:46] 727*2^1425249-1 is not prime. Res64: 9B0F145060B1746C Time : 0.0 sec. user=mdettweiler [2016-04-03 14:40:47] 765*2^1425249-1 is not prime. Res64: B4B37D47002E503E Time : 0.0 sec. user=mdettweiler [2016-04-03 14:40:47] 921*2^1425249-1 is not prime. Res64: 7417ECCFB170A890 Time : 0.0 sec. user=mdettweiler [2016-04-03 14:40:48] 985*2^1425249-1 is not prime. Res64: 3AA305FDE51A157B Time : 0.0 sec. user=mdettweiler [2016-04-03 14:40:48] 633*2^1425250-1 is not prime. Res64: 6103D3AB571FFB2E Time : 0.0 sec. user=mdettweiler [2016-04-03 14:41:08] 663*2^1425250-1 is not prime. Res64: 0AC07E566935706D Time : 0.0 sec. user=mdettweiler [2016-04-03 14:41:08] 755*2^1425250-1 is not prime. Res64: 14EE9FB5AE944E8B Time : 0.0 sec. user=mdettweiler [2016-04-03 14:41:08] 777*2^1425250-1 is not prime. Res64: 0285ED1887CF3342 Time : 0.0 sec. user=mdettweiler [2016-04-03 14:41:09] 825*2^1425250-1 is not prime. Res64: AC3EF55D7A0F807D Time : 0.0 sec. user=mdettweiler [2016-04-03 14:41:09] 833*2^1425250-1 is not prime. Res64: 99B0BEE3AAA84CDB Time : 0.0 sec. user=mdettweiler [2016-04-03 15:10:28] 673*2^1425251-1 is not prime. Res64: 5598C87A84003549 Time : 0.0 sec. user=mdettweiler [2016-04-03 15:10:29] 819*2^1425251-1 is not prime. Res64: E5CC80FADC35496A Time : 0.0 sec. user=mdettweiler [2016-04-03 15:10:30] 939*2^1425251-1 is not prime. Res64: AFD10CC9075AD852 Time : 0.0 sec. user=mdettweiler [2016-04-03 15:10:31] 605*2^1425252-1 is not prime. Res64: 31A0DC4E142E692A Time : 0.0 sec. user=mdettweiler [2016-04-03 15:10:32] 633*2^1425252-1 is not prime. Res64: 2C05811D6D2DA390 Time : 0.0 sec. user=mdettweiler [2016-04-03 15:13:52] 675*2^1425254-1 is not prime. Res64: F21E7D4C1E9CD267 Time : 0.0 sec. user=mdettweiler [2016-04-03 15:14:26] 987*2^1425253-1 is not prime. Res64: 40A4E9693FAA1845 Time : 0.0 sec. user=mdettweiler [2016-04-03 15:23:33] 675*2^1425252-1 is not prime. Res64: 0D70710D5AF86C84 Time : 0.0 sec. user=mdettweiler [2016-04-03 15:23:33] 819*2^1425252-1 is not prime. Res64: DE02E95ACAEEA2FB Time : 0.0 sec. user=mdettweiler [2016-04-03 15:23:33] 837*2^1425252-1 is not prime. Res64: EDBFD367AF1F30CD Time : 0.0 sec. user=mdettweiler [2016-04-03 15:23:34] 875*2^1425252-1 is not prime. Res64: 3865F31ECA90A15E Time : 0.0 sec. user=mdettweiler [2016-04-03 15:23:34] 903*2^1425252-1 is not prime. Res64: 50FF5E2C338E0FD0 Time : 0.0 sec. user=mdettweiler [2016-04-03 15:26:35] 987*2^1425252-1 is not prime. Res64: C3D46BC66C60E748 Time : 0.0 sec. user=mdettweiler [2016-04-03 15:26:35] 607*2^1425253-1 is not prime. Res64: 12C7C606CF6A4E08 Time : 0.0 sec. user=mdettweiler [2016-04-03 15:26:35] 649*2^1425253-1 is not prime. Res64: 758B1E6BCD2C11AD Time : 0.0 sec. user=mdettweiler [2016-04-03 15:26:36] 679*2^1425253-1 is not prime. Res64: DC029443ADF5B608 Time : 0.0 sec. user=mdettweiler [2016-04-03 15:26:36] 721*2^1425253-1 is not prime. Res64: 36B519AD9D5A7087 Time : 0.0 sec. user=mdettweiler [2016-04-03 15:26:58] 775*2^1425253-1 is not prime. Res64: 0587115F0BA03437 Time : 0.0 sec. user=mdettweiler [2016-04-03 15:26:59] 889*2^1425253-1 is not prime. Res64: 28F888029553C0FB Time : 0.0 sec. user=mdettweiler [2016-04-03 15:26:59] 919*2^1425253-1 is not prime. Res64: 1AA50E4F275EAFEA Time : 0.0 sec. user=mdettweiler [2016-04-03 15:26:59] 939*2^1425253-1 is not prime. Res64: 614463C25053A622 Time : 0.0 sec. user=mdettweiler [2016-04-03 15:27:00] 979*2^1425253-1 is not prime. Res64: 749B163CC0DA90A5 Time : 0.0 sec. user=mdettweiler [2016-04-03 15:57:03] 773*2^1425254-1 is not prime. Res64: 85A0D72166D571BA Time : 0.0 sec. user=mdettweiler [2016-04-03 15:57:03] 797*2^1425254-1 is not prime. Res64: 4B1CB9807EBD97E2 Time : 0.0 sec. user=mdettweiler [2016-04-03 15:57:04] 815*2^1425254-1 is not prime. Res64: F3E93EAF338100D6 Time : 0.0 sec. user=mdettweiler [2016-04-03 15:57:04] 827*2^1425254-1 is not prime. Res64: 4C3F4FCD73CA5562 Time : 0.0 sec. user=mdettweiler [2016-04-03 15:57:04] 861*2^1425254-1 is not prime. Res64: 4C6AFCC0DDB42E06 Time : 0.0 sec. user=mdettweiler [2016-04-03 16:11:05] 923*2^1425254-1 is not prime. Res64: 400FD1C20D8A0086 Time : 0.0 sec. user=mdettweiler [2016-04-03 16:11:07] 953*2^1425254-1 is not prime. Res64: B2168BB93A1B966E Time : 0.0 sec. user=mdettweiler [2016-04-03 16:11:08] 619*2^1425255-1 is not prime. Res64: 124A75A749D49EFE Time : 0.0 sec. user=mdettweiler [2016-04-03 16:11:10] 723*2^1425255-1 is not prime. Res64: E7308FF136BA0A00 Time : 0.0 sec. user=mdettweiler [2016-04-03 16:11:11] 795*2^1425255-1 is not prime. Res64: 35BBE20B83E7729C Time : 0.0 sec. user=mdettweiler [2016-04-03 16:14:37] 909*2^1425255-1 is not prime. Res64: ECC48789789B16C7 Time : 0.0 sec. user=mdettweiler [2016-04-03 16:14:37] 999*2^1425255-1 is not prime. Res64: 144A248B3626A8B5 Time : 0.0 sec. user=mdettweiler [2016-04-03 16:14:38] 617*2^1425256-1 is not prime. Res64: C06F24FE2DBAB4FB Time : 0.0 sec. user=mdettweiler [2016-04-03 16:14:38] 653*2^1425256-1 is not prime. Res64: 00F06F31C869BFB6 Time : 0.0 sec. user=mdettweiler [2016-04-03 16:14:39] 723*2^1425256-1 is not prime. Res64: B9D331911E51E50B Time : 0.0 sec. user=mdettweiler [2016-04-03 16:14:56] 777*2^1425256-1 is not prime. Res64: 970FF995587E71DF Time : 0.0 sec. user=mdettweiler [2016-04-03 16:14:56] 839*2^1425256-1 is not prime. Res64: 2A56586DA91FF59E Time : 0.0 sec. user=mdettweiler [2016-04-03 16:14:56] 857*2^1425256-1 is not prime. Res64: 7EF74CF4FE9C2B15 Time : 0.0 sec. user=mdettweiler [2016-04-03 16:14:57] 887*2^1425256-1 is not prime. Res64: D5DA78AAE4013D46 Time : 0.0 sec. user=mdettweiler [2016-04-03 16:14:57] 933*2^1425256-1 is not prime. Res64: DE5D021EB6A41C43 Time : 0.0 sec. user=mdettweiler [2016-04-04 01:56:18] 731*2^1425262-1 is not prime. Res64: 47EF8E4A3F285965 Time : 0.0 sec. user=mdettweiler [2016-04-04 02:32:09] 801*2^1425262-1 is not prime. Res64: FFA919AE35690344 Time : 0.0 sec. user=mdettweiler [2016-04-04 04:19:26] 833*2^1425262-1 is not prime. Res64: 957326EE0AA744AE Time : 0.0 sec. user=mdettweiler [2016-04-04 04:36:11] 603*2^1425263-1 is not prime. Res64: 70CA8B4C4462DBC1 Time : 0.0 sec. user=mdettweiler [2016-04-04 04:36:36] 887*2^1425262-1 is not prime. Res64: 8B9DF01986370A43 Time : 0.0 sec. user=mdettweiler [2016-04-04 05:30:12] 619*2^1425263-1 is not prime. Res64: EEC29C15CE35F1E3 Time : 0.0 sec. user=mdettweiler [2016-04-04 07:15:39] 685*2^1425263-1 is not prime. Res64: 175E6DC60DA8A870 Time : 0.0 sec. user=mdettweiler [2016-04-04 07:16:04] 759*2^1425263-1 is not prime. Res64: C89DAEBB94EF2334 Time : 0.0 sec. user=mdettweiler [2016-04-04 07:18:36] 981*2^1425263-1 is not prime. Res64: 902EAA654DCA50B4 Time : 0.0 sec. user=mdettweiler [2016-04-04 07:19:12] 705*2^1425263-1 is not prime. Res64: D81A60FD02519050 Time : 0.0 sec. user=mdettweiler [2016-04-04 07:51:29] 615*2^1425264-1 is not prime. Res64: A8D7D89939FA49D3 Time : 0.0 sec. user=mdettweiler [2016-04-04 10:13:27] 759*2^1425264-1 is not prime. Res64: F3FA2FB63A7FEC8D Time : 0.0 sec. user=mdettweiler [2016-04-04 11:57:13] 765*2^1425264-1 is not prime. Res64: 9A986775DB8A8D6A Time : 0.0 sec. user=mdettweiler [2016-04-04 13:25:27] 773*2^1425264-1 is not prime. Res64: 8390548A2218176E Time : 0.0 sec. user=mdettweiler [2016-04-04 17:04:09] 637*2^1425257-1 is not prime. Res64: 73DF7E0D5D67580F Time : 0.0 sec. user=mdettweiler [2016-04-04 17:04:10] 691*2^1425257-1 is not prime. Res64: 7AF458C61AD769DB Time : 0.0 sec. user=mdettweiler [2016-04-04 17:04:11] 715*2^1425257-1 is not prime. Res64: C62CD6BDE350FFAE Time : 0.0 sec. user=mdettweiler [2016-04-04 17:04:12] 615*2^1425258-1 is not prime. Res64: B8F088216893ED78 Time : 0.0 sec. user=mdettweiler [2016-04-04 17:04:13] 671*2^1425258-1 is not prime. Res64: 26CCA4FFB6CCB7D1 Time : 0.0 sec. user=mdettweiler [2016-04-04 17:42:43] 767*2^1425258-1 is not prime. Res64: DF009C2C4848DDDF Time : 0.0 sec. user=mdettweiler [2016-04-04 17:42:43] 801*2^1425258-1 is not prime. Res64: 0F458A1A260DE8DD Time : 0.0 sec. user=mdettweiler [2016-04-04 17:42:43] 881*2^1425258-1 is not prime. Res64: 2A57576924FBB771 Time : 0.0 sec. user=mdettweiler [2016-04-04 17:42:44] 923*2^1425258-1 is not prime. Res64: 75B51E2E35A90D06 Time : 0.0 sec. user=mdettweiler [2016-04-04 17:42:44] 1001*2^1425258-1 is not prime. Res64: 14DE4BDEF724A392 Time : 0.0 sec. user=mdettweiler [2016-04-04 17:43:32] 875*2^1425260-1 is not prime. Res64: 016A546563144821 Time : 0.0 sec. user=mdettweiler [2016-04-04 17:43:32] 675*2^1425261-1 is not prime. Res64: 5B5E193C92BF9E49 Time : 0.0 sec. user=mdettweiler [2016-04-04 17:43:32] 835*2^1425261-1 is not prime. Res64: 0865613E73D806C1 Time : 0.0 sec. user=mdettweiler [2016-04-04 17:43:32] 885*2^1425261-1 is not prime. Res64: DA0F25FDAA3AA21A Time : 0.0 sec. user=mdettweiler [2016-04-04 17:43:33] 617*2^1425262-1 is not prime. Res64: C83821DEC274BA85 Time : 0.0 sec. user=mdettweiler [2016-04-04 17:48:15] 601*2^1425259-1 is not prime. Res64: E4F63283A0BAD596 Time : 0.0 sec. user=mdettweiler [2016-04-04 17:48:16] 631*2^1425259-1 is not prime. Res64: 4630E146A64EBAE5 Time : 0.0 sec. user=mdettweiler [2016-04-04 17:48:16] 931*2^1425259-1 is not prime. Res64: FE8E30282368F545 Time : 0.0 sec. user=mdettweiler [2016-04-04 17:48:16] 647*2^1425260-1 is not prime. Res64: 7A3C68A2DEED11E3 Time : 0.0 sec. user=mdettweiler [2016-04-04 17:48:16] 665*2^1425260-1 is not prime. Res64: CC90A148814FD1A7 Time : 0.0 sec. user=mdettweiler [2016-04-04 17:55:47] 887*2^1425264-1 is not prime. Res64: 4E364B88302CFC73 Time : 0.0 sec. user=mdettweiler [2016-04-04 17:55:47] 947*2^1425264-1 is not prime. Res64: 1924796D08C9E486 Time : 0.0 sec. user=mdettweiler [2016-04-04 17:55:48] 969*2^1425264-1 is not prime. Res64: B2FC8D920749D558 Time : 0.0 sec. user=mdettweiler [2016-04-04 17:55:48] 625*2^1425265-1 is not prime. Res64: 85215F19F7B9ACBD Time : 0.0 sec. user=mdettweiler [2016-04-04 17:55:48] 651*2^1425265-1 is not prime. Res64: D010D9F91623D4A1 Time : 0.0 sec. user=mdettweiler [2016-04-04 18:29:04] 841*2^1425265-1 is not prime. Res64: C5C58FF38A60F567 Time : 0.0 sec. user=mdettweiler [2016-04-04 18:29:04] 951*2^1425265-1 is not prime. Res64: 683C9E9A323E4703 Time : 0.0 sec. user=mdettweiler [2016-04-04 18:29:05] 635*2^1425266-1 is not prime. Res64: D6419EA7913017B4 Time : 0.0 sec. user=mdettweiler [2016-04-04 18:29:05] 641*2^1425266-1 is not prime. Res64: 123C5AE73B8F7B1E Time : 0.0 sec. user=mdettweiler [2016-04-04 18:29:05] 657*2^1425266-1 is not prime. Res64: F2FC5DB9626804E7 Time : 0.0 sec. user=mdettweiler [2016-04-04 18:29:39] 837*2^1425266-1 is not prime. Res64: EFFB4DCF11654F03 Time : 0.0 sec. user=mdettweiler [2016-04-04 18:29:40] 893*2^1425266-1 is not prime. Res64: AC7EEC494D683579 Time : 0.0 sec. user=mdettweiler [2016-04-04 18:29:40] 911*2^1425266-1 is not prime. Res64: D55BDC91C4EFD184 Time : 0.0 sec. user=mdettweiler [2016-04-04 18:29:40] 699*2^1425267-1 is not prime. Res64: 6445F7DBB8284C90 Time : 0.0 sec. user=mdettweiler [2016-04-04 18:29:40] 751*2^1425267-1 is not prime. Res64: 3BDAEC38DCCC8137 Time : 0.0 sec. user=mdettweiler [2016-04-04 18:34:01] 765*2^1425267-1 is not prime. Res64: 778B776F4CD71747 Time : 0.0 sec. user=mdettweiler [2016-04-04 18:34:02] 945*2^1425267-1 is not prime. Res64: 7FF09E0B7B0072C2 Time : 0.0 sec. user=mdettweiler [2016-04-04 18:34:02] 961*2^1425267-1 is not prime. Res64: A4612DCD61F1B7C0 Time : 0.0 sec. user=mdettweiler [2016-04-04 18:34:02] 963*2^1425267-1 is not prime. Res64: 6760E80AF274263D Time : 0.0 sec. user=mdettweiler [2016-04-04 18:34:02] 699*2^1425268-1 is not prime. Res64: 6A1CA4BAD2BA3FA9 Time : 0.0 sec. user=mdettweiler [2016-04-04 18:41:34] 833*2^1425268-1 is not prime. Res64: E0B04645E7CB00AC Time : 0.0 sec. user=mdettweiler [2016-04-04 18:41:34] 869*2^1425268-1 is not prime. Res64: 1F911581855132D8 Time : 0.0 sec. user=mdettweiler [2016-04-04 18:41:35] 615*2^1425269-1 is not prime. Res64: 5D049F0ED84E8F4A Time : 0.0 sec. user=mdettweiler [2016-04-04 18:41:35] 645*2^1425269-1 is not prime. Res64: AE7E238670D7EF96 Time : 0.0 sec. user=mdettweiler [2016-04-04 18:41:35] 691*2^1425269-1 is not prime. Res64: C2E7B900EB85433A Time : 0.0 sec. user=mdettweiler [2016-04-04 19:15:00] 727*2^1425269-1 is not prime. Res64: BDF943E09EFF205F Time : 0.0 sec. user=mdettweiler [2016-04-04 19:15:00] 735*2^1425269-1 is not prime. Res64: 61523456F3C19F00 Time : 0.0 sec. user=mdettweiler [2016-04-04 19:15:00] 771*2^1425269-1 is not prime. Res64: D2226A9466C631B4 Time : 0.0 sec. user=mdettweiler [2016-04-04 19:15:00] 811*2^1425269-1 is not prime. Res64: 35A3A2AB3CF265C3 Time : 0.0 sec. user=mdettweiler [2016-04-04 19:15:01] 707*2^1425270-1 is not prime. Res64: F4A7DE3F3646D390 Time : 0.0 sec. user=mdettweiler [2016-04-04 19:15:33] 777*2^1425270-1 is not prime. Res64: D10D5254A701FD7F Time : 0.0 sec. user=mdettweiler [2016-04-04 19:15:33] 791*2^1425270-1 is not prime. Res64: E51329CD2491B59E Time : 0.0 sec. user=mdettweiler [2016-04-04 19:15:33] 795*2^1425270-1 is not prime. Res64: F3B92221EED05FF2 Time : 0.0 sec. user=mdettweiler [2016-04-04 19:15:33] 821*2^1425270-1 is not prime. Res64: 8B0D3F7C4DDD3E0B Time : 0.0 sec. user=mdettweiler [2016-04-04 19:15:34] 923*2^1425270-1 is not prime. Res64: 39BA86F26D0D521A Time : 0.0 sec. user=mdettweiler [2016-04-04 19:20:28] 971*2^1425270-1 is not prime. Res64: 4DE51777D1A7977F Time : 0.0 sec. user=mdettweiler [2016-04-04 19:20:29] 619*2^1425271-1 is not prime. Res64: B0EF0D8C431DBB90 Time : 0.0 sec. user=mdettweiler [2016-04-04 19:20:29] 841*2^1425271-1 is not prime. Res64: 132F8AB39984D35F Time : 0.0 sec. user=mdettweiler [2016-04-04 19:20:29] 859*2^1425271-1 is not prime. Res64: 1A189DD79C960D66 Time : 0.0 sec. user=mdettweiler [2016-04-04 19:20:30] 873*2^1425271-1 is not prime. Res64: A691A0C5175C5DA9 Time : 0.0 sec. user=mdettweiler [2016-04-04 19:29:01] 889*2^1425271-1 is not prime. Res64: 0E73C5CBAB20E61E Time : 0.0 sec. user=mdettweiler [2016-04-04 19:29:02] 933*2^1425271-1 is not prime. Res64: E377C2D6F7C84B78 Time : 0.0 sec. user=mdettweiler [2016-04-04 19:29:02] 603*2^1425272-1 is not prime. Res64: 5B963EF2F3BE0AB4 Time : 0.0 sec. user=mdettweiler [2016-04-04 19:29:02] 623*2^1425272-1 is not prime. Res64: AAF06F12D1EA328D Time : 0.0 sec. user=mdettweiler [2016-04-04 19:29:02] 689*2^1425272-1 is not prime. Res64: 6FA95DFDACC68595 Time : 0.0 sec. user=mdettweiler [2016-04-04 19:52:35] 775*2^1425275-1 is not prime. Res64: D350EB1D493E9669 Time : 0.0 sec. user=mdettweiler [2016-04-04 20:01:21] 725*2^1425272-1 is not prime. Res64: 2F14586A68A91561 Time : 0.0 sec. user=mdettweiler [2016-04-04 20:01:22] 753*2^1425272-1 is not prime. Res64: 9F2A8C5D202452DE Time : 0.0 sec. user=mdettweiler [2016-04-04 20:01:23] 755*2^1425272-1 is not prime. Res64: B311E5E0171F5043 Time : 0.0 sec. user=mdettweiler [2016-04-04 20:01:23] 797*2^1425272-1 is not prime. Res64: 2D44F17BF5F2E8AC Time : 0.0 sec. user=mdettweiler [2016-04-04 20:01:24] 929*2^1425272-1 is not prime. Res64: C3A084B4FB01567C Time : 0.0 sec. user=mdettweiler [2016-04-04 20:01:47] 983*2^1425272-1 is not prime. Res64: 886097FF4214DA58 Time : 0.0 sec. user=mdettweiler [2016-04-04 20:01:48] 607*2^1425273-1 is not prime. Res64: 441222FF98ED945A Time : 0.0 sec. user=mdettweiler [2016-04-04 20:01:48] 657*2^1425273-1 is not prime. Res64: B9D2726B25560026 Time : 0.0 sec. user=mdettweiler [2016-04-04 20:01:48] 735*2^1425273-1 is not prime. Res64: FBB46E90915B6555 Time : 0.0 sec. user=mdettweiler [2016-04-04 20:01:49] 789*2^1425273-1 is not prime. Res64: F1E30EE9C689A47B Time : 0.0 sec. user=mdettweiler [2016-04-04 20:06:48] 817*2^1425273-1 is not prime. Res64: 3DDA138DD4AD8E5B Time : 0.0 sec. user=mdettweiler [2016-04-04 20:06:48] 937*2^1425273-1 is not prime. Res64: D2084321EADC9278 Time : 0.0 sec. user=mdettweiler [2016-04-04 20:06:48] 951*2^1425273-1 is not prime. Res64: B4BE8D471270F270 Time : 0.0 sec. user=mdettweiler [2016-04-04 20:06:48] 979*2^1425273-1 is not prime. Res64: BFC4CB030E870159 Time : 0.0 sec. user=mdettweiler [2016-04-04 20:06:49] 605*2^1425274-1 is not prime. Res64: 4E27F5A65E55E523 Time : 0.0 sec. user=mdettweiler [2016-04-04 20:14:23] 741*2^1425274-1 is not prime. Res64: 5D045818E8965DF8 Time : 0.0 sec. user=mdettweiler [2016-04-04 20:14:23] 755*2^1425274-1 is not prime. Res64: 7DDAD8E86A07D6F4 Time : 0.0 sec. user=mdettweiler [2016-04-04 20:14:23] 815*2^1425274-1 is not prime. Res64: E4CEF074175450BA Time : 0.0 sec. user=mdettweiler [2016-04-04 20:14:24] 971*2^1425274-1 is not prime. Res64: 3EDE83FEA43638A3 Time : 0.0 sec. user=mdettweiler [2016-04-04 20:14:24] 633*2^1425275-1 is not prime. Res64: D0406E01D786AD52 Time : 0.0 sec. user=mdettweiler [2016-04-04 20:46:22] 789*2^1425275-1 is not prime. Res64: F8EA811C81C810B8 Time : 0.0 sec. user=mdettweiler [2016-04-04 20:46:22] 639*2^1425276-1 is not prime. Res64: 02D3C0B479CCFAD0 Time : 0.0 sec. user=mdettweiler [2016-04-04 20:46:22] 725*2^1425276-1 is not prime. Res64: F57A4E5699449D2F Time : 0.0 sec. user=mdettweiler [2016-04-04 20:46:22] 735*2^1425276-1 is not prime. Res64: C260549105C9A6AF Time : 0.0 sec. user=mdettweiler [2016-04-04 20:46:23] 765*2^1425276-1 is not prime. Res64: 2F32E2AC06803D9A Time : 0.0 sec. user=mdettweiler [2016-04-04 20:47:00] 773*2^1425276-1 is not prime. Res64: E8C2E512BFF47288 Time : 0.0 sec. user=mdettweiler [2016-04-04 20:47:00] 803*2^1425276-1 is not prime. Res64: 6C637929D1368AFC Time : 0.0 sec. user=mdettweiler [2016-04-04 20:47:01] 839*2^1425276-1 is not prime. Res64: 9A5E664CFFEF4833 Time : 0.0 sec. user=mdettweiler [2016-04-04 20:47:01] 905*2^1425276-1 is not prime. Res64: 0EA60ADEE04986B1 Time : 0.0 sec. user=mdettweiler [2016-04-04 20:47:01] 945*2^1425276-1 is not prime. Res64: 4269CC1331F7CC28 Time : 0.0 sec. user=mdettweiler [2016-04-04 20:52:03] 947*2^1425276-1 is not prime. Res64: 1589AC5D94B0168E Time : 0.0 sec. user=mdettweiler [2016-04-04 20:52:04] 607*2^1425277-1 is not prime. Res64: 560B3D444E8DED87 Time : 0.0 sec. user=mdettweiler [2016-04-04 20:52:04] 699*2^1425277-1 is not prime. Res64: 0C463DD548CA78D0 Time : 0.0 sec. user=mdettweiler [2016-04-04 20:52:04] 717*2^1425277-1 is not prime. Res64: 4250F6B39982B814 Time : 0.0 sec. user=mdettweiler [2016-04-04 20:52:05] 747*2^1425277-1 is not prime. Res64: 49E8189293252CF7 Time : 0.0 sec. user=mdettweiler [2016-04-04 20:59:38] 831*2^1425277-1 is not prime. Res64: 6B3F199D32AFB6AA Time : 0.0 sec. user=mdettweiler [2016-04-04 20:59:39] 885*2^1425277-1 is not prime. Res64: 3B501E71F84A499A Time : 0.0 sec. user=mdettweiler [2016-04-04 20:59:39] 641*2^1425278-1 is not prime. Res64: A95D647FDF16A905 Time : 0.0 sec. user=mdettweiler [2016-04-04 20:59:39] 797*2^1425278-1 is not prime. Res64: 6DB8AC0AFD93EA6C Time : 0.0 sec. user=mdettweiler [2016-04-04 20:59:40] 861*2^1425278-1 is not prime. Res64: 17A57178A0DB11FE Time : 0.0 sec. user=mdettweiler [2016-04-04 21:31:18] 893*2^1425278-1 is not prime. Res64: 352108088F21E86A Time : 0.0 sec. user=mdettweiler [2016-04-04 21:31:18] 911*2^1425278-1 is not prime. Res64: D17387A573910159 Time : 0.0 sec. user=mdettweiler [2016-04-04 21:31:18] 921*2^1425278-1 is not prime. Res64: 1ECC894615B5A324 Time : 0.0 sec. user=mdettweiler [2016-04-04 21:31:19] 663*2^1425279-1 is not prime. Res64: 6B38C237A059F3AD Time : 0.0 sec. user=mdettweiler [2016-04-04 21:31:19] 751*2^1425279-1 is not prime. Res64: 9D700BAF7591480F Time : 0.0 sec. user=mdettweiler [2016-04-04 21:32:26] 793*2^1425279-1 is not prime. Res64: 8191EAA871E6AA1B Time : 0.0 sec. user=mdettweiler [2016-04-04 21:32:26] 853*2^1425279-1 is not prime. Res64: 880D9FA3FC4662D5 Time : 0.0 sec. user=mdettweiler [2016-04-04 21:32:27] 933*2^1425279-1 is not prime. Res64: 682766485630AAF2 Time : 0.0 sec. user=mdettweiler [2016-04-04 21:32:27] 949*2^1425279-1 is not prime. Res64: 3AD610A40CCF6B7C Time : 0.0 sec. user=mdettweiler [2016-04-04 21:32:27] 985*2^1425279-1 is not prime. Res64: C0882E61238CBCF0 Time : 0.0 sec. user=mdettweiler [2016-04-04 21:37:35] 999*2^1425279-1 is not prime. Res64: 3BA6632538EDC2F3 Time : 0.0 sec. user=mdettweiler [2016-04-04 21:37:35] 693*2^1425280-1 is not prime. Res64: 34AE51F4B7556C17 Time : 0.0 sec. user=mdettweiler [2016-04-04 21:37:35] 819*2^1425280-1 is not prime. Res64: C1658A586B537AC9 Time : 0.0 sec. user=mdettweiler [2016-04-04 21:37:35] 849*2^1425280-1 is not prime. Res64: D0345E517286ADCE Time : 0.0 sec. user=mdettweiler [2016-04-04 21:37:36] 923*2^1425280-1 is not prime. Res64: 12BD89287B9E7AE4 Time : 0.0 sec. user=mdettweiler [2016-04-04 21:44:53] 939*2^1425280-1 is not prime. Res64: E7DA63C78AB9F392 Time : 0.0 sec. user=mdettweiler [2016-04-04 21:44:53] 601*2^1425281-1 is not prime. Res64: F64A8B01727E1495 Time : 0.0 sec. user=mdettweiler [2016-04-04 21:44:54] 717*2^1425281-1 is not prime. Res64: D78FBD71CA1E8BB4 Time : 0.0 sec. user=mdettweiler [2016-04-04 21:44:54] 837*2^1425281-1 is not prime. Res64: 80578E21A91411AD Time : 0.0 sec. user=mdettweiler [2016-04-04 21:44:54] 867*2^1425281-1 is not prime. Res64: 3FA60E446136C88F Time : 0.0 sec. user=mdettweiler [2016-04-04 22:16:24] 925*2^1425281-1 is not prime. Res64: 849DE0509099E0C8 Time : 0.0 sec. user=mdettweiler [2016-04-04 22:16:24] 635*2^1425282-1 is not prime. Res64: 313B948CD216F4B7 Time : 0.0 sec. user=mdettweiler [2016-04-04 22:16:25] 723*2^1425282-1 is not prime. Res64: A0882C3EBA4623D6 Time : 0.0 sec. user=mdettweiler [2016-04-04 22:16:25] 755*2^1425282-1 is not prime. Res64: 0F5FA840BF7E1A11 Time : 0.0 sec. user=mdettweiler [2016-04-04 22:16:25] 873*2^1425282-1 is not prime. Res64: A15417614F979501 Time : 0.0 sec. user=mdettweiler [2016-04-04 22:17:43] 875*2^1425282-1 is not prime. Res64: FA76A00E576CDB62 Time : 0.0 sec. user=mdettweiler [2016-04-04 22:17:43] 679*2^1425283-1 is not prime. Res64: 47FC29F7CFDD7D54 Time : 0.0 sec. user=mdettweiler [2016-04-04 22:17:43] 835*2^1425283-1 is not prime. Res64: 371C043398497E9B Time : 0.0 sec. user=mdettweiler [2016-04-04 22:17:44] 849*2^1425283-1 is not prime. Res64: E048629CB79B42D0 Time : 0.0 sec. user=mdettweiler [2016-04-04 22:17:44] 861*2^1425283-1 is not prime. Res64: DC51D3CB416DF9D8 Time : 0.0 sec. user=mdettweiler [2016-04-04 22:22:50] 943*2^1425283-1 is not prime. Res64: C7BB3715720D5C9C Time : 0.0 sec. user=mdettweiler [2016-04-04 22:22:50] 945*2^1425283-1 is not prime. Res64: 87F264FD3B58E023 Time : 0.0 sec. user=mdettweiler [2016-04-04 22:22:50] 605*2^1425284-1 is not prime. Res64: 57EC7A46121061CA Time : 0.0 sec. user=mdettweiler [2016-04-04 22:22:51] 617*2^1425284-1 is not prime. Res64: D47A947962F228B4 Time : 0.0 sec. user=mdettweiler [2016-04-04 22:22:51] 875*2^1425284-1 is not prime. Res64: 47C86199EE65F772 Time : 0.0 sec. user=mdettweiler [2016-04-04 22:29:55] 927*2^1425284-1 is not prime. Res64: 89BF65A9B86A4BCE Time : 0.0 sec. user=mdettweiler [2016-04-04 22:29:55] 959*2^1425284-1 is not prime. Res64: FD31A374D9158AD3 Time : 0.0 sec. user=mdettweiler [2016-04-04 22:29:55] 609*2^1425285-1 is not prime. Res64: E2DCECE868CD7A2A Time : 0.0 sec. user=mdettweiler [2016-04-04 22:29:56] 639*2^1425285-1 is not prime. Res64: CBAE83A6B4C06F59 Time : 0.0 sec. user=mdettweiler [2016-04-04 22:29:56] 819*2^1425285-1 is not prime. Res64: 718663848920A678 Time : 0.0 sec. user=mdettweiler [2016-04-04 23:01:29] 847*2^1425285-1 is not prime. Res64: DDCA10045C95D809 Time : 0.0 sec. user=mdettweiler [2016-04-04 23:01:30] 951*2^1425285-1 is not prime. Res64: 3278746702A02F5C Time : 0.0 sec. user=mdettweiler [2016-04-04 23:01:30] 603*2^1425286-1 is not prime. Res64: C3902112049DA405 Time : 0.0 sec. user=mdettweiler [2016-04-04 23:01:30] 923*2^1425286-1 is not prime. Res64: 776B5A947649C0B2 Time : 0.0 sec. user=mdettweiler [2016-04-04 23:01:31] 981*2^1425286-1 is not prime. Res64: 78777234DED3EA29 Time : 0.0 sec. user=mdettweiler [2016-04-04 23:02:52] 987*2^1425286-1 is not prime. Res64: B991B0D51246AE87 Time : 0.0 sec. user=mdettweiler [2016-04-04 23:02:52] 645*2^1425287-1 is not prime. Res64: A36851751BE0D130 Time : 0.0 sec. user=mdettweiler [2016-04-04 23:02:53] 661*2^1425287-1 is not prime. Res64: C7289BBCD3D71B0A Time : 0.0 sec. user=mdettweiler [2016-04-04 23:02:53] 759*2^1425287-1 is not prime. Res64: 565E26FACE0AA413 Time : 0.0 sec. user=mdettweiler [2016-04-04 23:02:54] 781*2^1425287-1 is not prime. Res64: FDBC666FF11DA5B9 Time : 0.0 sec. user=mdettweiler [2016-04-04 23:08:01] 909*2^1425287-1 is not prime. Res64: C0C2D999B3216DB1 Time : 0.0 sec. user=mdettweiler [2016-04-04 23:08:01] 981*2^1425287-1 is not prime. Res64: 09534D0171657F33 Time : 0.0 sec. user=mdettweiler [2016-04-04 23:08:01] 669*2^1425288-1 is not prime. Res64: 38B67A2E1D473C92 Time : 0.0 sec. user=mdettweiler [2016-04-04 23:08:02] 765*2^1425288-1 is not prime. Res64: 1F39711FD212BB22 Time : 0.0 sec. user=mdettweiler [2016-04-04 23:08:02] 819*2^1425288-1 is not prime. Res64: A2CFFC0984DE8A1E Time : 0.0 sec. user=mdettweiler [2016-04-04 23:14:49] 825*2^1425288-1 is not prime. Res64: 82E51BB6475CD860 Time : 0.0 sec. user=mdettweiler [2016-04-04 23:14:49] 909*2^1425288-1 is not prime. Res64: 4D11AEA6343BEE13 Time : 0.0 sec. user=mdettweiler [2016-04-04 23:14:49] 993*2^1425288-1 is not prime. Res64: 0DD732705567C32F Time : 0.0 sec. user=mdettweiler [2016-04-04 23:14:50] 661*2^1425289-1 is not prime. Res64: B63B0AC0A6006C48 Time : 0.0 sec. user=mdettweiler [2016-04-04 23:14:50] 679*2^1425289-1 is not prime. Res64: 54FA63C8C2B1536F Time : 0.0 sec. user=mdettweiler [2016-04-04 23:47:06] 769*2^1425289-1 is not prime. Res64: 6BE2062BD9AA612C Time : 0.0 sec. user=mdettweiler [2016-04-04 23:47:06] 877*2^1425289-1 is not prime. Res64: 30149361C01D4536 Time : 0.0 sec. user=mdettweiler [2016-04-04 23:47:06] 633*2^1425290-1 is not prime. Res64: CB66A6B7518FB240 Time : 0.0 sec. user=mdettweiler [2016-04-04 23:47:06] 635*2^1425290-1 is not prime. Res64: EBB60051EC27CE75 Time : 0.0 sec. user=mdettweiler [2016-04-04 23:47:07] 665*2^1425290-1 is not prime. Res64: EF963BC95CF3E97F Time : 0.0 sec. user=mdettweiler [2016-04-04 23:48:43] 753*2^1425290-1 is not prime. Res64: E2C3979BBD765C25 Time : 0.0 sec. user=mdettweiler [2016-04-04 23:48:43] 801*2^1425290-1 is not prime. Res64: 075F27EDDD234CBD Time : 0.0 sec. user=mdettweiler [2016-04-04 23:48:43] 851*2^1425290-1 is not prime. Res64: 48987E7BC1D3B75C Time : 0.0 sec. user=mdettweiler [2016-04-04 23:48:43] 893*2^1425290-1 is not prime. Res64: DEBC174C7393695A Time : 0.0 sec. user=mdettweiler [2016-04-04 23:48:44] 609*2^1425291-1 is not prime. Res64: BB8EFDB0AADAFF81 Time : 0.0 sec. user=mdettweiler [2016-04-04 23:53:54] 679*2^1425291-1 is not prime. Res64: AFC54F93A6C5AB79 Time : 0.0 sec. user=mdettweiler [2016-04-04 23:53:54] 703*2^1425291-1 is not prime. Res64: 8C16DD1621AFD2E0 Time : 0.0 sec. user=mdettweiler [2016-04-04 23:53:54] 751*2^1425291-1 is not prime. Res64: 7F3D9DA75F74AF75 Time : 0.0 sec. user=mdettweiler [2016-04-04 23:53:55] 775*2^1425291-1 is not prime. Res64: F38C5E9E6023207B Time : 0.0 sec. user=mdettweiler [2016-04-04 23:53:55] 781*2^1425291-1 is not prime. Res64: 65998F8477AD1919 Time : 0.0 sec. user=mdettweiler [2016-04-05 00:00:56] 895*2^1425291-1 is not prime. Res64: FCBB472CD3D91FBF Time : 0.0 sec. user=mdettweiler [2016-04-05 00:00:56] 629*2^1425292-1 is not prime. Res64: CB4D82511B3BD1E7 Time : 0.0 sec. user=mdettweiler [2016-04-05 00:00:56] 635*2^1425292-1 is not prime. Res64: 78355FF7687EA5A5 Time : 0.0 sec. user=mdettweiler [2016-04-05 00:00:56] 657*2^1425292-1 is not prime. Res64: 627E6D91AF53743A Time : 0.0 sec. user=mdettweiler [2016-04-05 00:00:57] 693*2^1425292-1 is not prime. Res64: F0A7ECF093E9E82A Time : 0.0 sec.