user=mdettweiler [2015-06-22 00:12:49] 807*2^1401049-1 is not prime. Res64: ED4675D76625D681 Time : 0.0 sec. user=mdettweiler [2015-06-22 00:12:49] 939*2^1401049-1 is not prime. Res64: 27EEBD9013C741E2 Time : 0.0 sec. user=mdettweiler [2015-06-22 00:12:50] 985*2^1401049-1 is not prime. Res64: CF79ECEB36CB465A Time : 0.0 sec. user=mdettweiler [2015-06-22 00:12:50] 713*2^1401050-1 is not prime. Res64: 73E6F6EC7E231C2D Time : 0.0 sec. user=mdettweiler [2015-06-22 00:12:50] 987*2^1401049-1 is not prime. Res64: EF498FEE061BCDE6 Time : 0.0 sec. user=mdettweiler [2015-06-22 00:12:51] 801*2^1401050-1 is not prime. Res64: 8A38D9EB6C124940 Time : 0.0 sec. user=mdettweiler [2015-06-22 00:30:12] 887*2^1401050-1 is not prime. Res64: 55444FFE0612B805 Time : 0.0 sec. user=mdettweiler [2015-06-22 00:30:12] 921*2^1401050-1 is not prime. Res64: EC8EFD271DB401EE Time : 0.0 sec. user=mdettweiler [2015-06-22 00:30:14] 669*2^1401051-1 is not prime. Res64: 3B7E291EF6A5BF3B Time : 0.0 sec. user=mdettweiler [2015-06-22 00:30:14] 685*2^1401051-1 is not prime. Res64: 73CCF4E57F8725CC Time : 0.0 sec. user=mdettweiler [2015-06-22 00:30:16] 977*2^1401050-1 is not prime. Res64: E158A3B08459535C Time : 0.0 sec. user=mdettweiler [2015-06-22 00:30:17] 981*2^1401050-1 is not prime. Res64: D93274B65967DC81 Time : 0.0 sec. user=juhehe [2015-06-22 00:34:29] 687*2^1401049-1 is not prime. Res64: 99987FA98C483B1C Time : 0.0 sec. user=mdettweiler [2015-06-22 00:47:32] 735*2^1401051-1 is not prime. Res64: 71E16002A7798473 Time : 0.0 sec. user=mdettweiler [2015-06-22 00:47:32] 769*2^1401051-1 is not prime. Res64: A7790A9FCCAA1F62 Time : 0.0 sec. user=mdettweiler [2015-06-22 00:47:33] 781*2^1401051-1 is not prime. Res64: D2E3EBD8696C4DBE Time : 0.0 sec. user=mdettweiler [2015-06-22 00:47:33] 795*2^1401051-1 is not prime. Res64: BFBEBA74496A1C65 Time : 0.0 sec. user=mdettweiler [2015-06-22 00:47:35] 945*2^1401051-1 is not prime. Res64: 5496266FD09D7E15 Time : 0.0 sec. user=mdettweiler [2015-06-22 00:47:35] 955*2^1401051-1 is not prime. Res64: 4FB6973457134FCC Time : 0.0 sec. user=mdettweiler [2015-06-22 01:04:52] 675*2^1401052-1 is not prime. Res64: F1A4707D714210CF Time : 0.0 sec. user=mdettweiler [2015-06-22 01:04:53] 743*2^1401052-1 is not prime. Res64: 333DADB902FEBB97 Time : 0.0 sec. user=mdettweiler [2015-06-22 01:04:53] 677*2^1401052-1 is not prime. Res64: 56A28897DA059B47 Time : 0.0 sec. user=mdettweiler [2015-06-22 01:04:54] 779*2^1401052-1 is not prime. Res64: 1646A780D3DF3A2B Time : 0.0 sec. user=mdettweiler [2015-06-22 01:04:54] 759*2^1401052-1 is not prime. Res64: B0F37AD52D69F64E Time : 0.0 sec. user=mdettweiler [2015-06-22 01:04:56] 897*2^1401052-1 is not prime. Res64: 195988926B0BCBDB Time : 0.0 sec. user=juhehe [2015-06-22 01:13:44] 653*2^1401052-1 is not prime. Res64: 2A876A0500644A39 Time : 0.0 sec. user=mdettweiler [2015-06-22 01:22:43] 915*2^1401052-1 is not prime. Res64: 89F47E4A617F7101 Time : 0.0 sec. user=mdettweiler [2015-06-22 01:22:43] 621*2^1401053-1 is not prime. Res64: 197739235DE788BE Time : 0.0 sec. user=mdettweiler [2015-06-22 01:22:45] 795*2^1401053-1 is not prime. Res64: 2DBC4747A087B9D4 Time : 0.0 sec. user=mdettweiler [2015-06-22 01:22:45] 979*2^1401053-1 is not prime. Res64: E0B6C891B6613836 Time : 0.0 sec. user=mdettweiler [2015-06-22 01:22:47] 621*2^1401054-1 is not prime. Res64: 1520EF74BD70D882 Time : 0.0 sec. user=mdettweiler [2015-06-22 01:22:47] 693*2^1401054-1 is not prime. Res64: 959DEE4AC0D45588 Time : 0.0 sec. user=mdettweiler [2015-06-22 01:40:01] 767*2^1401054-1 is not prime. Res64: 06AB225FE469852A Time : 0.0 sec. user=mdettweiler [2015-06-22 01:40:02] 873*2^1401054-1 is not prime. Res64: 4E36525BD0F79C96 Time : 0.0 sec. user=mdettweiler [2015-06-22 01:40:03] 965*2^1401054-1 is not prime. Res64: 3409805305A88551 Time : 0.0 sec. user=mdettweiler [2015-06-22 01:40:03] 971*2^1401054-1 is not prime. Res64: C3B4C2BC784F00D9 Time : 0.0 sec. user=mdettweiler [2015-06-22 01:40:05] 993*2^1401054-1 is not prime. Res64: 270BD1034CC8D049 Time : 0.0 sec. user=mdettweiler [2015-06-22 01:40:05] 645*2^1401055-1 is not prime. Res64: 18D5E09AA62EAC6C Time : 0.0 sec. user=mdettweiler [2015-06-22 01:57:21] 679*2^1401055-1 is not prime. Res64: 84473B5F1EB5F646 Time : 0.0 sec. user=mdettweiler [2015-06-22 01:57:22] 705*2^1401055-1 is not prime. Res64: 31A4FA7368D20DA4 Time : 0.0 sec. user=mdettweiler [2015-06-22 01:57:23] 841*2^1401055-1 is not prime. Res64: 1A0DB7D518D06D15 Time : 0.0 sec. user=mdettweiler [2015-06-22 01:57:23] 843*2^1401055-1 is not prime. Res64: 07B1617CB4206ADA Time : 0.0 sec. user=mdettweiler [2015-06-22 01:57:24] 763*2^1401055-1 is not prime. Res64: 0C2979951212AA04 Time : 0.0 sec. user=mdettweiler [2015-06-22 01:57:24] 805*2^1401055-1 is not prime. Res64: 3671744462E94CD0 Time : 0.0 sec. user=mdettweiler [2015-06-22 02:14:41] 939*2^1401055-1 is not prime. Res64: 9C95A90DCDB612C0 Time : 0.0 sec. user=mdettweiler [2015-06-22 02:14:41] 999*2^1401055-1 is not prime. Res64: 98B2976714B2070A Time : 0.0 sec. user=mdettweiler [2015-06-22 02:14:42] 617*2^1401056-1 is not prime. Res64: C980CD8BBF068992 Time : 0.0 sec. user=mdettweiler [2015-06-22 02:14:43] 693*2^1401056-1 is not prime. Res64: 7A8F9B8F419AB867 Time : 0.0 sec. user=mdettweiler [2015-06-22 02:14:43] 717*2^1401056-1 is not prime. Res64: 5EA89906333C044F Time : 0.0 sec. user=mdettweiler [2015-06-22 02:14:44] 743*2^1401056-1 is not prime. Res64: E20014912D0B4EA2 Time : 0.0 sec. user=mdettweiler [2015-06-22 02:32:01] 747*2^1401056-1 is not prime. Res64: 3DC1EB5FFF2E973C Time : 0.0 sec. user=mdettweiler [2015-06-22 02:32:02] 785*2^1401056-1 is not prime. Res64: EA329BB0E16ED52C Time : 0.0 sec. user=mdettweiler [2015-06-22 02:32:02] 869*2^1401056-1 is not prime. Res64: DCAC43349A8A5CA7 Time : 0.0 sec. user=mdettweiler [2015-06-22 02:32:02] 917*2^1401056-1 is not prime. Res64: 4F0A89D7C5F7120F Time : 0.0 sec. user=mdettweiler [2015-06-22 02:32:02] 875*2^1401056-1 is not prime. Res64: 13EBD69C176686BA Time : 0.0 sec. user=mdettweiler [2015-06-22 02:32:03] 963*2^1401056-1 is not prime. Res64: FC42A5F3EAB8B39C Time : 0.0 sec. user=juhehe [2015-06-22 02:32:13] 873*2^1401055-1 is not prime. Res64: F152B01298EC9F84 Time : 0.0 sec. user=mdettweiler [2015-06-22 02:49:33] 777*2^1401057-1 is not prime. Res64: 9F6E961E1BC65431 Time : 0.0 sec. user=mdettweiler [2015-06-22 02:49:33] 909*2^1401057-1 is not prime. Res64: 4599380ABD449125 Time : 0.0 sec. user=mdettweiler [2015-06-22 02:49:33] 885*2^1401057-1 is not prime. Res64: EE669DCD12E8FD46 Time : 0.0 sec. user=mdettweiler [2015-06-22 02:49:33] 605*2^1401058-1 is not prime. Res64: F5BF358F376447AF Time : 0.0 sec. user=mdettweiler [2015-06-22 02:49:34] 867*2^1401057-1 is not prime. Res64: CEABEA81FA27D0A0 Time : 0.0 sec. user=mdettweiler [2015-06-22 02:49:34] 633*2^1401058-1 is not prime. Res64: 05F3A62614F3825E Time : 0.0 sec. user=mdettweiler [2015-06-22 03:06:55] 671*2^1401058-1 is not prime. Res64: 6C911DE67BF85E02 Time : 0.0 sec. user=mdettweiler [2015-06-22 03:06:56] 773*2^1401058-1 is not prime. Res64: 4634BBE07119B7EE Time : 0.0 sec. user=mdettweiler [2015-06-22 03:06:56] 813*2^1401058-1 is not prime. Res64: E2AE80F6A71825FA Time : 0.0 sec. user=mdettweiler [2015-06-22 03:06:56] 833*2^1401058-1 is not prime. Res64: C79A3D41CC14B22D Time : 0.0 sec. user=mdettweiler [2015-06-22 03:06:57] 923*2^1401058-1 is not prime. Res64: F99800C033F8E71F Time : 0.0 sec. user=mdettweiler [2015-06-22 03:06:57] 951*2^1401058-1 is not prime. Res64: 7341C1ABD28C4077 Time : 0.0 sec. user=juhehe [2015-06-22 03:14:25] 665*2^1401058-1 is not prime. Res64: 5A86E8CAF2A7805F Time : 0.0 sec. user=mdettweiler [2015-06-22 03:24:18] 975*2^1401058-1 is not prime. Res64: BCB1D10227AA0B01 Time : 0.0 sec. user=mdettweiler [2015-06-22 03:24:19] 741*2^1401059-1 is not prime. Res64: F00D48457581AD34 Time : 0.0 sec. user=mdettweiler [2015-06-22 03:24:19] 993*2^1401058-1 is not prime. Res64: 11AF40CCBCE1E13E Time : 0.0 sec. user=mdettweiler [2015-06-22 03:24:19] 753*2^1401059-1 is not prime. Res64: 85ADE1E6B21C46F6 Time : 0.0 sec. user=mdettweiler [2015-06-22 03:24:20] 811*2^1401059-1 is not prime. Res64: B6DD11A81026342A Time : 0.0 sec. user=mdettweiler [2015-06-22 03:24:20] 859*2^1401059-1 is not prime. Res64: D14F7BFABD5A57E9 Time : 0.0 sec. user=mdettweiler [2015-06-22 03:41:39] 909*2^1401059-1 is not prime. Res64: 6F683C40420D666F Time : 0.0 sec. user=mdettweiler [2015-06-22 03:41:39] 623*2^1401060-1 is not prime. Res64: BDAF3FD07A9E54BD Time : 0.0 sec. user=mdettweiler [2015-06-22 03:41:40] 695*2^1401060-1 is not prime. Res64: 7A0EE5CAD3F8C78F Time : 0.0 sec. user=mdettweiler [2015-06-22 03:41:40] 969*2^1401059-1 is not prime. Res64: F23C4A3119DA1CBA Time : 0.0 sec. user=mdettweiler [2015-06-22 03:41:42] 717*2^1401060-1 is not prime. Res64: FE7B612318AB3361 Time : 0.0 sec. user=mdettweiler [2015-06-22 03:41:43] 893*2^1401060-1 is not prime. Res64: 313CA632E0E1242F Time : 0.0 sec. user=mdettweiler [2015-06-22 03:59:18] 927*2^1401060-1 is not prime. Res64: E4C92E9D7E4D7470 Time : 0.0 sec. user=mdettweiler [2015-06-22 03:59:19] 691*2^1401061-1 is not prime. Res64: 1076501332060E1D Time : 0.0 sec. user=mdettweiler [2015-06-22 03:59:20] 717*2^1401061-1 is not prime. Res64: 1B17C7B4CF88BFDF Time : 0.0 sec. user=mdettweiler [2015-06-22 03:59:20] 789*2^1401061-1 is not prime. Res64: 6A70CB74F2AD14CD Time : 0.0 sec. user=mdettweiler [2015-06-22 03:59:20] 965*2^1401060-1 is not prime. Res64: EDF9294906434372 Time : 0.0 sec. user=mdettweiler [2015-06-22 03:59:21] 871*2^1401061-1 is not prime. Res64: 29E6ED74443B18CE Time : 0.0 sec. user=mdettweiler [2015-06-22 04:16:38] 961*2^1401061-1 is not prime. Res64: DB7DF95686682A67 Time : 0.0 sec. user=mdettweiler [2015-06-22 04:16:38] 999*2^1401061-1 is not prime. Res64: 338907C70663AF15 Time : 0.0 sec. user=mdettweiler [2015-06-22 04:16:39] 623*2^1401062-1 is not prime. Res64: EC4B7EB7B09A45AE Time : 0.0 sec. user=mdettweiler [2015-06-22 04:16:39] 801*2^1401062-1 is not prime. Res64: 695BA731D4734112 Time : 0.0 sec. user=mdettweiler [2015-06-22 04:16:40] 743*2^1401062-1 is not prime. Res64: 94EA35EF80C207B7 Time : 0.0 sec. user=mdettweiler [2015-06-22 04:16:40] 963*2^1401062-1 is not prime. Res64: A4622034933008E2 Time : 0.0 sec. user=mdettweiler [2015-06-22 04:33:57] 977*2^1401062-1 is not prime. Res64: 235BDE8C946DE79F Time : 0.0 sec. user=mdettweiler [2015-06-22 04:33:58] 995*2^1401062-1 is not prime. Res64: B01BCA6F9AD2EED9 Time : 0.0 sec. user=mdettweiler [2015-06-22 04:33:59] 739*2^1401063-1 is not prime. Res64: 51DD6BB32802AF3D Time : 0.0 sec. user=mdettweiler [2015-06-22 04:33:59] 619*2^1401063-1 is not prime. Res64: 1F262E960E038C77 Time : 0.0 sec. user=mdettweiler [2015-06-22 04:33:59] 829*2^1401063-1 is not prime. Res64: C5B56CF0CD1EC7C3 Time : 0.0 sec. user=mdettweiler [2015-06-22 04:33:59] 663*2^1401063-1 is not prime. Res64: A9B56C6D3776D473 Time : 0.0 sec. user=juhehe [2015-06-22 04:39:41] 951*2^1401061-1 is not prime. Res64: C498CE0283674074 Time : 0.0 sec. user=mdettweiler [2015-06-22 04:51:17] 951*2^1401063-1 is not prime. Res64: 9089AA42868E00F3 Time : 0.0 sec. user=mdettweiler [2015-06-22 04:51:18] 629*2^1401064-1 is not prime. Res64: F09A225BE30908EA Time : 0.0 sec. user=mdettweiler [2015-06-22 04:51:18] 857*2^1401064-1 is not prime. Res64: 416F803CC0F74CBD Time : 0.0 sec. user=mdettweiler [2015-06-22 04:51:18] 873*2^1401064-1 is not prime. Res64: A8FBE24621340ABA Time : 0.0 sec. user=mdettweiler [2015-06-22 04:51:19] 917*2^1401064-1 is not prime. Res64: 83526F5F87528353 Time : 0.0 sec. user=mdettweiler [2015-06-22 04:51:19] 927*2^1401064-1 is not prime. Res64: E500338C198F7809 Time : 0.0 sec. user=mdettweiler [2015-06-22 05:08:37] 989*2^1401064-1 is not prime. Res64: FACE5781F3285F4A Time : 0.0 sec. user=mdettweiler [2015-06-22 05:08:38] 777*2^1401065-1 is not prime. Res64: FE90D59E8E4D6118 Time : 0.0 sec. user=mdettweiler [2015-06-22 05:08:38] 799*2^1401065-1 is not prime. Res64: 70FEA08D0D7B44DE Time : 0.0 sec. user=mdettweiler [2015-06-22 05:08:38] 867*2^1401065-1 is not prime. Res64: 3D4D558384EBE5B6 Time : 0.0 sec. user=mdettweiler [2015-06-22 05:08:39] 897*2^1401065-1 is not prime. Res64: C3E33A79AD4212DF Time : 0.0 sec. user=mdettweiler [2015-06-22 05:08:40] 957*2^1401065-1 is not prime. Res64: 6D84152A71981283 Time : 0.0 sec. user=mdettweiler [2015-06-22 05:25:59] 969*2^1401065-1 is not prime. Res64: E804204EE512A300 Time : 0.0 sec. user=mdettweiler [2015-06-22 05:25:59] 717*2^1401066-1 is not prime. Res64: 5A6B480988B72EDB Time : 0.0 sec. user=mdettweiler [2015-06-22 05:26:00] 905*2^1401066-1 is not prime. Res64: 8FD9ADEF759546E0 Time : 0.0 sec. user=mdettweiler [2015-06-22 05:26:00] 705*2^1401066-1 is not prime. Res64: 673B6278CACD3616 Time : 0.0 sec. user=mdettweiler [2015-06-22 05:26:00] 1001*2^1401066-1 is not prime. Res64: EC0C703FC34AF9B0 Time : 0.0 sec. user=mdettweiler [2015-06-22 05:26:00] 645*2^1401067-1 is not prime. Res64: E4E3FC01565EC5B3 Time : 0.0 sec. user=juhehe [2015-06-22 05:28:44] 983*2^1401064-1 is not prime. Res64: 3D2C218C2A2DFD7C Time : 0.0 sec. user=mdettweiler [2015-06-22 05:43:20] 699*2^1401067-1 is not prime. Res64: B3FC59E181F410C0 Time : 0.0 sec. user=mdettweiler [2015-06-22 05:43:21] 871*2^1401067-1 is not prime. Res64: 048281F9D07B9F14 Time : 0.0 sec. user=mdettweiler [2015-06-22 05:43:22] 885*2^1401067-1 is not prime. Res64: 9259BB2B548B92A0 Time : 0.0 sec. user=mdettweiler [2015-06-22 05:43:22] 891*2^1401067-1 is not prime. Res64: CE8477D7765BF5B1 Time : 0.0 sec. user=mdettweiler [2015-06-22 05:43:25] 775*2^1401067-1 is not prime. Res64: 03D6B561F802F345 Time : 0.0 sec. user=mdettweiler [2015-06-22 05:43:25] 901*2^1401067-1 is not prime. Res64: 0C5F90E8D22386D4 Time : 0.0 sec. user=mdettweiler [2015-06-22 06:00:40] 767*2^1401068-1 is not prime. Res64: 4C7512BFE30F7E18 Time : 0.0 sec. user=mdettweiler [2015-06-22 06:00:41] 759*2^1401069-1 is not prime. Res64: C9D5F539653F30D9 Time : 0.0 sec. user=mdettweiler [2015-06-22 06:00:42] 621*2^1401069-1 is not prime. Res64: CA1A2CF973F7C86B Time : 0.0 sec. user=mdettweiler [2015-06-22 06:00:42] 787*2^1401069-1 is not prime. Res64: FC067628D110B5F5 Time : 0.0 sec. user=mdettweiler [2015-06-22 06:00:43] 921*2^1401069-1 is not prime. Res64: 087815C12CB137F5 Time : 0.0 sec. user=mdettweiler [2015-06-22 06:00:44] 969*2^1401069-1 is not prime. Res64: 24FCCB68A7C096BE Time : 0.0 sec. user=mdettweiler [2015-06-22 06:18:04] 987*2^1401069-1 is not prime. Res64: 7C2394686C45F1B0 Time : 0.0 sec. user=mdettweiler [2015-06-22 06:18:05] 777*2^1401070-1 is not prime. Res64: 3B2EF3A29E7FBB89 Time : 0.0 sec. user=mdettweiler [2015-06-22 06:18:08] 941*2^1401070-1 is not prime. Res64: 9AD5BBD34169E9F2 Time : 0.0 sec. user=mdettweiler [2015-06-22 06:18:08] 945*2^1401070-1 is not prime. Res64: 31F3DB483ED228BB Time : 0.0 sec. user=mdettweiler [2015-06-22 06:18:10] 821*2^1401070-1 is not prime. Res64: 47BD98999BB0FB61 Time : 0.0 sec. user=mdettweiler [2015-06-22 06:18:10] 855*2^1401070-1 is not prime. Res64: EB61C2AD67928045 Time : 0.0 sec. user=mdettweiler [2015-06-22 06:35:24] 661*2^1401071-1 is not prime. Res64: 885BB1D349ED73AA Time : 0.0 sec. user=mdettweiler [2015-06-22 06:35:24] 715*2^1401071-1 is not prime. Res64: E73EDAC958C8D45D Time : 0.0 sec. user=mdettweiler [2015-06-22 06:35:27] 879*2^1401071-1 is not prime. Res64: 80FBBA4B187108CF Time : 0.0 sec. user=mdettweiler [2015-06-22 06:35:28] 969*2^1401071-1 is not prime. Res64: 77742E059D87D3C6 Time : 0.0 sec. user=mdettweiler [2015-06-22 06:35:29] 693*2^1401072-1 is not prime. Res64: EDA42BDDE95F5D84 Time : 0.0 sec. user=mdettweiler [2015-06-22 06:35:30] 723*2^1401072-1 is not prime. Res64: 0A5117D1A862B4FC Time : 0.0 sec. user=mdettweiler [2015-06-22 06:52:43] 767*2^1401072-1 is not prime. Res64: 819DFB4AC7CD5A19 Time : 0.0 sec. user=mdettweiler [2015-06-22 06:52:44] 959*2^1401072-1 is not prime. Res64: 46CB88D5B72380CF Time : 0.0 sec. user=mdettweiler [2015-06-22 06:52:45] 609*2^1401073-1 is not prime. Res64: 80283951BCCA7A79 Time : 0.0 sec. user=mdettweiler [2015-06-22 06:52:46] 625*2^1401073-1 is not prime. Res64: 744A882E69628A09 Time : 0.0 sec. user=mdettweiler [2015-06-22 06:52:50] 639*2^1401073-1 is not prime. Res64: 7F6D3E240AFE3740 Time : 0.0 sec. user=mdettweiler [2015-06-22 06:52:50] 691*2^1401073-1 is not prime. Res64: B06FCDD911397B3D Time : 0.0 sec. user=juhehe [2015-06-22 07:05:24] 621*2^1401071-1 is not prime. Res64: 723624A318A41E98 Time : 0.0 sec. user=mdettweiler [2015-06-22 07:10:02] 819*2^1401073-1 is not prime. Res64: EE68657351DC8E79 Time : 0.0 sec. user=mdettweiler [2015-06-22 07:10:03] 951*2^1401073-1 is not prime. Res64: 33D76A9094DB7BA0 Time : 0.0 sec. user=mdettweiler [2015-06-22 07:10:05] 705*2^1401074-1 is not prime. Res64: 2E49CBFCA1CC1E3F Time : 0.0 sec. user=mdettweiler [2015-06-22 07:10:05] 783*2^1401074-1 is not prime. Res64: 4754F300679E9821 Time : 0.0 sec. user=mdettweiler [2015-06-22 07:10:08] 791*2^1401074-1 is not prime. Res64: D48564C8063F8344 Time : 0.0 sec. user=mdettweiler [2015-06-22 07:10:09] 917*2^1401074-1 is not prime. Res64: 0D2488FDC5495DB9 Time : 0.0 sec. user=mdettweiler [2015-06-22 07:27:25] 921*2^1401074-1 is not prime. Res64: 60AF8B67622F8B22 Time : 0.0 sec. user=mdettweiler [2015-06-22 07:27:25] 993*2^1401074-1 is not prime. Res64: 039B4A6F8ED92811 Time : 0.0 sec. user=mdettweiler [2015-06-22 07:27:26] 663*2^1401075-1 is not prime. Res64: D2CC10F6E8356B2A Time : 0.0 sec. user=mdettweiler [2015-06-22 07:27:26] 691*2^1401075-1 is not prime. Res64: 17F7A69597D218EB Time : 0.0 sec. user=mdettweiler [2015-06-22 07:27:27] 853*2^1401075-1 is not prime. Res64: 1604B3E11F6ADD11 Time : 0.0 sec. user=mdettweiler [2015-06-22 07:27:28] 991*2^1401075-1 is not prime. Res64: 09A219623D681542 Time : 0.0 sec. user=mdettweiler [2015-06-22 07:44:46] 623*2^1401076-1 is not prime. Res64: 6B0A3EDE8283DCCC Time : 0.0 sec. user=mdettweiler [2015-06-22 07:44:46] 743*2^1401076-1 is not prime. Res64: B144C04FDD58415F Time : 0.0 sec. user=mdettweiler [2015-06-22 07:44:46] 749*2^1401076-1 is not prime. Res64: D637C87C81F6F164 Time : 0.0 sec. user=mdettweiler [2015-06-22 07:44:47] 803*2^1401076-1 is not prime. Res64: 0F2750303BCD2122 Time : 0.0 sec. user=mdettweiler [2015-06-22 07:44:47] 843*2^1401076-1 is not prime. Res64: 71FD17DFCB357428 Time : 0.0 sec. user=mdettweiler [2015-06-22 07:44:47] 933*2^1401076-1 is not prime. Res64: AAB23352F89F1F5B Time : 0.0 sec. user=mdettweiler [2015-06-22 08:02:06] 957*2^1401076-1 is not prime. Res64: 2BD44D420B2E23BE Time : 0.0 sec. user=mdettweiler [2015-06-22 08:02:07] 619*2^1401077-1 is not prime. Res64: 8E5EE8CF1F1BB7E7 Time : 0.0 sec. user=mdettweiler [2015-06-22 08:02:07] 655*2^1401077-1 is not prime. Res64: 5A6A5C96BD4E4BF5 Time : 0.0 sec. user=mdettweiler [2015-06-22 08:02:07] 649*2^1401077-1 is not prime. Res64: 18A37643D9276656 Time : 0.0 sec. user=mdettweiler [2015-06-22 08:02:08] 697*2^1401077-1 is not prime. Res64: DEF2A297B81B57A7 Time : 0.0 sec. user=mdettweiler [2015-06-22 08:02:08] 651*2^1401077-1 is not prime. Res64: DB23C7DB0613A818 Time : 0.0 sec. user=mdettweiler [2015-06-22 08:19:27] 879*2^1401077-1 is not prime. Res64: E8A4524EAA9788A8 Time : 0.0 sec. user=mdettweiler [2015-06-22 08:19:28] 885*2^1401077-1 is not prime. Res64: 05853A39B15D0385 Time : 0.0 sec. user=mdettweiler [2015-06-22 08:19:30] 915*2^1401077-1 is not prime. Res64: 4DD837690120D65C Time : 0.0 sec. user=mdettweiler [2015-06-22 08:19:30] 981*2^1401077-1 is not prime. Res64: 146772B53E03B2D7 Time : 0.0 sec. user=mdettweiler [2015-06-22 08:19:30] 939*2^1401077-1 is not prime. Res64: 4F2309C5F73382EC Time : 0.0 sec. user=mdettweiler [2015-06-22 08:19:30] 621*2^1401078-1 is not prime. Res64: 07A85B123D0E0641 Time : 0.0 sec. user=mdettweiler [2015-06-22 08:36:47] 663*2^1401078-1 is not prime. Res64: 1ECD3C50C3A62229 Time : 0.0 sec. user=mdettweiler [2015-06-22 08:36:47] 665*2^1401078-1 is not prime. Res64: 4A22C7A40798BF19 Time : 0.0 sec. user=mdettweiler [2015-06-22 08:36:49] 711*2^1401078-1 is not prime. Res64: 4FBF1BB6EC1C568B Time : 0.0 sec. user=mdettweiler [2015-06-22 08:36:49] 777*2^1401078-1 is not prime. Res64: 2C7BE45F56F88352 Time : 0.0 sec. user=mdettweiler [2015-06-22 08:36:49] 773*2^1401078-1 is not prime. Res64: D286ACA0F4BAD20D Time : 0.0 sec. user=mdettweiler [2015-06-22 08:36:49] 891*2^1401078-1 is not prime. Res64: 9B687312259B9196 Time : 0.0 sec. user=juhehe [2015-06-22 08:40:04] 759*2^1401077-1 is not prime. Res64: 0403EFFF59CF3985 Time : 0.0 sec. user=mdettweiler [2015-06-22 08:54:06] 961*2^1401079-1 is not prime. Res64: 19D513D62DCFF370 Time : 0.0 sec. user=mdettweiler [2015-06-22 08:54:07] 969*2^1401079-1 is not prime. Res64: 0AFCB00A9DAD32E0 Time : 0.0 sec. user=mdettweiler [2015-06-22 08:54:07] 603*2^1401080-1 is not prime. Res64: E7206349AAF0C92F Time : 0.0 sec. user=mdettweiler [2015-06-22 08:54:07] 713*2^1401080-1 is not prime. Res64: 7FB40E1DF2F3FFEC Time : 0.0 sec. user=mdettweiler [2015-06-22 08:54:08] 759*2^1401080-1 is not prime. Res64: 521182D3120A5C8C Time : 0.0 sec. user=mdettweiler [2015-06-22 08:54:08] 675*2^1401081-1 is not prime. Res64: 83D187F6970F5B60 Time : 0.0 sec. user=mdettweiler [2015-06-22 09:11:25] 741*2^1401081-1 is not prime. Res64: C0E82790A02E4C05 Time : 0.0 sec. user=mdettweiler [2015-06-22 09:11:26] 795*2^1401081-1 is not prime. Res64: EE48B9BBC7835757 Time : 0.0 sec. user=mdettweiler [2015-06-22 09:11:26] 889*2^1401081-1 is not prime. Res64: 40E4ABB09E707E39 Time : 0.0 sec. user=mdettweiler [2015-06-22 09:11:27] 945*2^1401081-1 is not prime. Res64: F03843614D21B035 Time : 0.0 sec. user=mdettweiler [2015-06-22 09:11:27] 991*2^1401081-1 is not prime. Res64: 6B7A10E1B42561E7 Time : 0.0 sec. user=mdettweiler [2015-06-22 09:11:28] 617*2^1401082-1 is not prime. Res64: 84F119D0777A1E19 Time : 0.0 sec. user=juhehe [2015-06-22 09:14:02] 771*2^1401079-1 is not prime. Res64: 101E721DCF9E9416 Time : 0.0 sec. user=juhehe [2015-06-22 09:24:48] 727*2^1401081-1 is not prime. Res64: CBAB592EAD38DB9E Time : 0.0 sec. user=mdettweiler [2015-06-22 09:28:49] 651*2^1401082-1 is not prime. Res64: 8A92192C0EB9B8E6 Time : 0.0 sec. user=mdettweiler [2015-06-22 09:28:49] 827*2^1401082-1 is not prime. Res64: C5BF54278FE1B964 Time : 0.0 sec. user=mdettweiler [2015-06-22 09:28:49] 791*2^1401082-1 is not prime. Res64: 975AC3379BDFD2C4 Time : 0.0 sec. user=mdettweiler [2015-06-22 09:28:49] 843*2^1401082-1 is not prime. Res64: BC1A2DC73302AB4E Time : 0.0 sec. user=mdettweiler [2015-06-22 09:28:49] 891*2^1401082-1 is not prime. Res64: 5684EA7977F89B60 Time : 0.0 sec. user=mdettweiler [2015-06-22 09:28:50] 915*2^1401082-1 is not prime. Res64: C22DBE0B125C2E81 Time : 0.0 sec. user=mdettweiler [2015-06-22 09:46:09] 917*2^1401082-1 is not prime. Res64: 291DCBB13D98FF30 Time : 0.0 sec. user=mdettweiler [2015-06-22 09:46:09] 957*2^1401082-1 is not prime. Res64: 526CF159FF1E853C Time : 0.0 sec. user=mdettweiler [2015-06-22 09:46:09] 941*2^1401082-1 is not prime. Res64: A883233914C03DDD Time : 0.0 sec. user=mdettweiler [2015-06-22 09:46:10] 741*2^1401083-1 is not prime. Res64: 1265D07FFFE1153C Time : 0.0 sec. user=mdettweiler [2015-06-22 09:46:10] 621*2^1401083-1 is not prime. Res64: C9DA3EBCD2C3E4CC Time : 0.0 sec. user=mdettweiler [2015-06-22 09:46:10] 823*2^1401083-1 is not prime. Res64: 537AA2A38D2735E9 Time : 0.0 sec. user=mdettweiler [2015-06-22 10:03:29] 809*2^1401084-1 is not prime. Res64: D621AC7049ADF2B2 Time : 0.0 sec. user=mdettweiler [2015-06-22 10:03:29] 879*2^1401083-1 is not prime. Res64: BA291AB8F472CA39 Time : 0.0 sec. user=mdettweiler [2015-06-22 10:03:29] 699*2^1401085-1 is not prime. Res64: 136CCE0A335FB3F7 Time : 0.0 sec. user=mdettweiler [2015-06-22 10:03:33] 909*2^1401084-1 is not prime. Res64: 595C938ADB09393C Time : 0.0 sec. user=mdettweiler [2015-06-22 10:03:33] 915*2^1401083-1 is not prime. Res64: 86841A93B6A03814 Time : 0.0 sec. user=mdettweiler [2015-06-22 10:03:34] 721*2^1401085-1 is not prime. Res64: DE9D5F91977E7BEE Time : 0.0 sec. user=mdettweiler [2015-06-22 10:21:27] 801*2^1401085-1 is not prime. Res64: 196500C86BFF83C2 Time : 0.0 sec. user=mdettweiler [2015-06-22 10:21:28] 885*2^1401085-1 is not prime. Res64: 4636C6153ED7CC85 Time : 0.0 sec. user=mdettweiler [2015-06-22 10:21:28] 951*2^1401085-1 is not prime. Res64: 7B2F9318603B1176 Time : 0.0 sec. user=mdettweiler [2015-06-22 10:21:29] 999*2^1401085-1 is not prime. Res64: CF5B3D741E06D1AF Time : 0.0 sec. user=mdettweiler [2015-06-22 10:21:31] 877*2^1401085-1 is not prime. Res64: 02425439E10E5327 Time : 0.0 sec. user=mdettweiler [2015-06-22 10:21:32] 617*2^1401086-1 is not prime. Res64: 3EB686B33DE02F23 Time : 0.0 sec. user=mdettweiler [2015-06-22 10:39:17] 861*2^1401086-1 is not prime. Res64: A8B93CC4FF99E3AF Time : 0.0 sec. user=mdettweiler [2015-06-22 10:39:17] 921*2^1401086-1 is not prime. Res64: DF1BC1ECFD511A14 Time : 0.0 sec. user=mdettweiler [2015-06-22 10:39:17] 897*2^1401086-1 is not prime. Res64: AB3DC0F431E5276D Time : 0.0 sec. user=mdettweiler [2015-06-22 10:39:18] 987*2^1401086-1 is not prime. Res64: 02D6636C59C4E271 Time : 0.0 sec. user=mdettweiler [2015-06-22 10:39:20] 1001*2^1401086-1 is not prime. Res64: 02BDA40FB74D5734 Time : 0.0 sec. user=mdettweiler [2015-06-22 10:39:20] 633*2^1401087-1 is not prime. Res64: 610EE89D4D49F553 Time : 0.0 sec. user=mdettweiler [2015-06-22 10:58:06] 711*2^1401087-1 is not prime. Res64: 78776AE7F57225A2 Time : 0.0 sec. user=mdettweiler [2015-06-22 10:58:07] 805*2^1401087-1 is not prime. Res64: 17F9B59F7C8D53D5 Time : 0.0 sec. user=mdettweiler [2015-06-22 10:58:07] 775*2^1401087-1 is not prime. Res64: DF157C6C89910699 Time : 0.0 sec. user=mdettweiler [2015-06-22 10:58:07] 861*2^1401087-1 is not prime. Res64: 8FD596E8FAB84DBC Time : 0.0 sec. user=mdettweiler [2015-06-22 10:58:11] 895*2^1401087-1 is not prime. Res64: 02A7B65833074A4A Time : 0.0 sec. user=mdettweiler [2015-06-22 10:58:11] 961*2^1401087-1 is not prime. Res64: 4E3B507C24CA5571 Time : 0.0 sec. user=juhehe [2015-06-22 11:01:44] 813*2^1401086-1 is not prime. Res64: B3A4224A48EA3BEA Time : 0.0 sec. user=mdettweiler [2015-06-22 11:16:08] 973*2^1401087-1 is not prime. Res64: 5E1C4879D4BFDD09 Time : 0.0 sec. user=mdettweiler [2015-06-22 11:16:08] 985*2^1401087-1 is not prime. Res64: 9430DB9DF4C133AA Time : 0.0 sec. user=mdettweiler [2015-06-22 11:16:13] 623*2^1401088-1 is not prime. Res64: 6B17C4C4B33CB977 Time : 0.0 sec. user=mdettweiler [2015-06-22 11:16:13] 657*2^1401088-1 is not prime. Res64: DEC94A26210D821F Time : 0.0 sec. user=mdettweiler [2015-06-22 11:16:13] 723*2^1401088-1 is not prime. Res64: BB91140496201784 Time : 0.0 sec. user=mdettweiler [2015-06-22 11:16:14] 685*2^1401089-1 is not prime. Res64: BBD2C6AC5C15591E Time : 0.0 sec. user=mdettweiler [2015-06-22 11:33:27] 729*2^1401089-1 is not prime. Res64: 2669E01C40D969EE Time : 0.0 sec. user=mdettweiler [2015-06-22 11:33:28] 781*2^1401089-1 is not prime. Res64: 03E59CA1A30CCE38 Time : 0.0 sec. user=mdettweiler [2015-06-22 11:33:31] 829*2^1401089-1 is not prime. Res64: 3044D14EC480FA78 Time : 0.0 sec. user=mdettweiler [2015-06-22 11:33:32] 925*2^1401089-1 is not prime. Res64: 7829B323CE2DEEFA Time : 0.0 sec. user=mdettweiler [2015-06-22 11:33:33] 967*2^1401089-1 is not prime. Res64: F4EB6A2A0CA90668 Time : 0.0 sec. user=mdettweiler [2015-06-22 11:33:33] 647*2^1401090-1 is not prime. Res64: F5E9AF0B160469FD Time : 0.0 sec. user=juhehe [2015-06-22 11:47:38] 711*2^1401089-1 is not prime. Res64: 3600680B4AA69B2C Time : 0.0 sec. user=mdettweiler [2015-06-22 11:50:47] 803*2^1401090-1 is not prime. Res64: E2659769711829FF Time : 0.0 sec. user=mdettweiler [2015-06-22 11:50:48] 851*2^1401090-1 is not prime. Res64: 48ECCFDBB0C001A2 Time : 0.0 sec. user=mdettweiler [2015-06-22 11:50:51] 861*2^1401090-1 is not prime. Res64: 54C82D41C4D0D9ED Time : 0.0 sec. user=mdettweiler [2015-06-22 11:50:51] 875*2^1401090-1 is not prime. Res64: 639AAB37B5854044 Time : 0.0 sec. user=mdettweiler [2015-06-22 11:50:51] 867*2^1401090-1 is not prime. Res64: 061C1B43F45EA7E1 Time : 0.0 sec. user=mdettweiler [2015-06-22 11:50:52] 921*2^1401090-1 is not prime. Res64: D53393A07C5613E4 Time : 0.0 sec. user=mdettweiler [2015-06-22 12:08:07] 927*2^1401090-1 is not prime. Res64: 70BEDF1748BC8987 Time : 0.0 sec. user=mdettweiler [2015-06-22 12:08:07] 673*2^1401091-1 is not prime. Res64: 3E024DF846704EE4 Time : 0.0 sec. user=mdettweiler [2015-06-22 12:08:11] 693*2^1401091-1 is not prime. Res64: 8ACEC5C769B3D538 Time : 0.0 sec. user=mdettweiler [2015-06-22 12:08:12] 789*2^1401091-1 is not prime. Res64: B8C06532FF0D8614 Time : 0.0 sec. user=mdettweiler [2015-06-22 12:08:13] 943*2^1401091-1 is not prime. Res64: 427198A33AE771C9 Time : 0.0 sec. user=mdettweiler [2015-06-22 12:08:13] 609*2^1401092-1 is not prime. Res64: D42AB46A89FFDA31 Time : 0.0 sec. user=mdettweiler [2015-06-22 12:25:28] 617*2^1401092-1 is not prime. Res64: 8F0DB33533DDA6F0 Time : 0.0 sec. user=mdettweiler [2015-06-22 12:25:29] 683*2^1401092-1 is not prime. Res64: 3F12CC2057F56D0F Time : 0.0 sec. user=mdettweiler [2015-06-22 12:25:31] 687*2^1401092-1 is not prime. Res64: 14399C92F98D7CAD Time : 0.0 sec. user=mdettweiler [2015-06-22 12:25:32] 717*2^1401092-1 is not prime. Res64: BD430E2A690CE52E Time : 0.0 sec. user=mdettweiler [2015-06-22 12:25:32] 725*2^1401092-1 is not prime. Res64: CBA2C21F61F2A4B9 Time : 0.0 sec. user=mdettweiler [2015-06-22 12:25:32] 819*2^1401092-1 is not prime. Res64: F5A0EF8E14614FCB Time : 0.0 sec. user=mdettweiler [2015-06-22 12:42:49] 855*2^1401092-1 is not prime. Res64: FC8ABC7DA6BB8EC0 Time : 0.0 sec. user=mdettweiler [2015-06-22 12:42:49] 879*2^1401092-1 is not prime. Res64: 3E24038CD03C99D8 Time : 0.0 sec. user=mdettweiler [2015-06-22 12:42:51] 625*2^1401093-1 is not prime. Res64: 28CB00D1AA220C7E Time : 0.0 sec. user=mdettweiler [2015-06-22 12:42:51] 627*2^1401093-1 is not prime. Res64: D4ECE4B1F795F792 Time : 0.0 sec. user=mdettweiler [2015-06-22 12:42:53] 909*2^1401092-1 is not prime. Res64: F156FA366D47C1A5 Time : 0.0 sec. user=mdettweiler [2015-06-22 12:42:53] 957*2^1401092-1 is not prime. Res64: B9605982051622AE Time : 0.0 sec. user=mdettweiler [2015-06-22 13:00:09] 681*2^1401093-1 is not prime. Res64: BE504E5AB4C0E36C Time : 0.0 sec. user=mdettweiler [2015-06-22 13:00:10] 849*2^1401093-1 is not prime. Res64: F9A2D273171160A2 Time : 0.0 sec. user=mdettweiler [2015-06-22 13:00:13] 991*2^1401093-1 is not prime. Res64: E6095330BAF76412 Time : 0.0 sec. user=mdettweiler [2015-06-22 13:00:13] 861*2^1401093-1 is not prime. Res64: 4ED315B16EA52F72 Time : 0.0 sec. user=mdettweiler [2015-06-22 13:00:15] 657*2^1401094-1 is not prime. Res64: 444BDF4068DD5742 Time : 0.0 sec. user=mdettweiler [2015-06-22 13:00:15] 871*2^1401093-1 is not prime. Res64: 8E403B97BE749C0E Time : 0.0 sec. user=juhehe [2015-06-22 13:17:06] 649*2^1401093-1 is not prime. Res64: 7A462614630A4821 Time : 0.0 sec. user=mdettweiler [2015-06-22 13:17:29] 681*2^1401094-1 is not prime. Res64: 93CCDEBCEE157A95 Time : 0.0 sec. user=mdettweiler [2015-06-22 13:17:30] 723*2^1401094-1 is not prime. Res64: 8381C143871D8A50 Time : 0.0 sec. user=mdettweiler [2015-06-22 13:17:37] 737*2^1401094-1 is not prime. Res64: 770417BA153BE071 Time : 0.0 sec. user=mdettweiler [2015-06-22 13:17:37] 813*2^1401094-1 is not prime. Res64: 561435B5FA31A419 Time : 0.0 sec. user=mdettweiler [2015-06-22 13:17:39] 833*2^1401094-1 is not prime. Res64: B8549405614C5FC6 Time : 0.0 sec. user=mdettweiler [2015-06-22 13:17:40] 917*2^1401094-1 is not prime. Res64: 1392350948AB1953 Time : 0.0 sec. user=mdettweiler [2015-06-22 13:34:51] 799*2^1401095-1 is not prime. Res64: FB94E66CFB7D2161 Time : 0.0 sec. user=mdettweiler [2015-06-22 13:34:52] 895*2^1401095-1 is not prime. Res64: F8377A402E6211D9 Time : 0.0 sec. user=mdettweiler [2015-06-22 13:34:55] 963*2^1401095-1 is not prime. Res64: 74FBE910E9D3EE1B Time : 0.0 sec. user=mdettweiler [2015-06-22 13:34:56] 633*2^1401096-1 is not prime. Res64: 1CE51CBE6438C37A Time : 0.0 sec. user=mdettweiler [2015-06-22 13:34:59] 675*2^1401096-1 is not prime. Res64: 8D6FE455DBD5AEAA Time : 0.0 sec. user=mdettweiler [2015-06-22 13:34:59] 705*2^1401096-1 is not prime. Res64: 5BE673F3E91F8697 Time : 0.0 sec. user=mdettweiler [2015-06-22 13:52:17] 747*2^1401096-1 is not prime. Res64: 7B7E19102813433D Time : 0.0 sec. user=mdettweiler [2015-06-22 13:52:18] 773*2^1401096-1 is not prime. Res64: 8A3BDB7ECDA6F4BE Time : 0.0 sec. user=mdettweiler [2015-06-22 13:52:22] 849*2^1401096-1 is not prime. Res64: 244CEE4FE816077A Time : 0.0 sec. user=mdettweiler [2015-06-22 13:52:23] 945*2^1401096-1 is not prime. Res64: C473F3F6B57A575B Time : 0.0 sec. user=mdettweiler [2015-06-22 13:52:23] 923*2^1401096-1 is not prime. Res64: 7DF68D0A990E24B6 Time : 0.0 sec. user=mdettweiler [2015-06-22 13:52:25] 889*2^1401097-1 is not prime. Res64: 03371BE55F897100 Time : 0.0 sec. user=juhehe [2015-06-22 13:57:36] 951*2^1401094-1 is not prime. Res64: ECCD9E0D5E1D4059 Time : 0.0 sec. user=mdettweiler [2015-06-22 14:09:43] 931*2^1401097-1 is not prime. Res64: 54657CDD027F135A Time : 0.0 sec. user=mdettweiler [2015-06-22 14:09:45] 937*2^1401097-1 is not prime. Res64: FE5E5DDCB1DDDC3B Time : 0.0 sec. user=mdettweiler [2015-06-22 14:09:48] 955*2^1401097-1 is not prime. Res64: ECFCDA9C34FFC5D6 Time : 0.0 sec. user=mdettweiler [2015-06-22 14:09:48] 939*2^1401097-1 is not prime. Res64: 7851BEE71147C199 Time : 0.0 sec. user=mdettweiler [2015-06-22 14:09:50] 997*2^1401097-1 is not prime. Res64: 1704FE752FD168B0 Time : 0.0 sec. user=mdettweiler [2015-06-22 14:09:51] 945*2^1401097-1 is not prime. Res64: 4E876762EBCA7594 Time : 0.0 sec. user=mdettweiler [2015-06-22 14:27:20] 633*2^1401098-1 is not prime. Res64: C6676AA6280C63FE Time : 0.0 sec. user=mdettweiler [2015-06-22 14:27:20] 945*2^1401098-1 is not prime. Res64: 7A206884D07A7BBC Time : 0.0 sec. user=mdettweiler [2015-06-22 14:27:20] 735*2^1401098-1 is not prime. Res64: EF23E2A5D9CB6497 Time : 0.0 sec. user=mdettweiler [2015-06-22 14:27:21] 713*2^1401098-1 is not prime. Res64: 736F410A633BC78F Time : 0.0 sec. user=mdettweiler [2015-06-22 14:27:25] 633*2^1401099-1 is not prime. Res64: D84214A5A6D84EF0 Time : 0.0 sec. user=mdettweiler [2015-06-22 14:27:25] 755*2^1401098-1 is not prime. Res64: 4D33527603037618 Time : 0.0 sec. user=mdettweiler [2015-06-22 14:45:00] 669*2^1401099-1 is not prime. Res64: 28C6669B1EEA9514 Time : 0.0 sec. user=mdettweiler [2015-06-22 14:45:00] 717*2^1401100-1 is not prime. Res64: CF0CE1DC77E3BCB6 Time : 0.0 sec. user=mdettweiler [2015-06-22 14:45:01] 795*2^1401099-1 is not prime. Res64: F9406A2F0F062CE3 Time : 0.0 sec. user=mdettweiler [2015-06-22 14:45:01] 833*2^1401100-1 is not prime. Res64: F529648E5BC77BFF Time : 0.0 sec. user=mdettweiler [2015-06-22 14:45:02] 855*2^1401100-1 is not prime. Res64: A80A8349789C0891 Time : 0.0 sec. user=mdettweiler [2015-06-22 14:45:03] 875*2^1401100-1 is not prime. Res64: 372F466E9547318D Time : 0.0 sec. user=mdettweiler [2015-06-22 15:02:23] 669*2^1401101-1 is not prime. Res64: 2CD76D78E20E7E36 Time : 0.0 sec. user=mdettweiler [2015-06-22 15:02:24] 989*2^1401100-1 is not prime. Res64: 1E58FE4AEF3E9BA0 Time : 0.0 sec. user=mdettweiler [2015-06-22 15:02:24] 727*2^1401101-1 is not prime. Res64: F37483AC286BD01A Time : 0.0 sec. user=mdettweiler [2015-06-22 15:02:24] 801*2^1401101-1 is not prime. Res64: FCC38DA919DB3980 Time : 0.0 sec. user=mdettweiler [2015-06-22 15:02:25] 769*2^1401101-1 is not prime. Res64: 881BE69F3C091118 Time : 0.0 sec. user=mdettweiler [2015-06-22 15:02:25] 931*2^1401101-1 is not prime. Res64: 861F0D111E1676B5 Time : 0.0 sec. user=juhehe [2015-06-22 15:15:50] 929*2^1401100-1 is not prime. Res64: DC90E0DAA0678FB0 Time : 0.0 sec. user=mdettweiler [2015-06-22 15:20:09] 717*2^1401102-1 is not prime. Res64: 67E53FB02EF4FCE7 Time : 0.0 sec. user=mdettweiler [2015-06-22 15:20:09] 967*2^1401101-1 is not prime. Res64: 78AAC90FF1CD21D4 Time : 0.0 sec. user=mdettweiler [2015-06-22 15:20:09] 725*2^1401102-1 is not prime. Res64: 48D682849F2B0C76 Time : 0.0 sec. user=mdettweiler [2015-06-22 15:20:09] 737*2^1401102-1 is not prime. Res64: B1F9EBBFC8ACA322 Time : 0.0 sec. user=mdettweiler [2015-06-22 15:20:11] 957*2^1401101-1 is not prime. Res64: A2E175D4DF20237B Time : 0.0 sec. user=mdettweiler [2015-06-22 15:20:11] 695*2^1401102-1 is not prime. Res64: 7ADDE5E536CF38D3 Time : 0.0 sec. user=mdettweiler [2015-06-22 15:37:27] 891*2^1401102-1 is not prime. Res64: 325D113BBBAD5B46 Time : 0.0 sec. user=mdettweiler [2015-06-22 15:37:28] 903*2^1401102-1 is not prime. Res64: 2BA8BE37E03F3C75 Time : 0.0 sec. user=mdettweiler [2015-06-22 15:37:28] 957*2^1401102-1 is not prime. Res64: CBDC9C55ED7BFB22 Time : 0.0 sec. user=mdettweiler [2015-06-22 15:37:28] 963*2^1401102-1 is not prime. Res64: 5074108776A699F1 Time : 0.0 sec. user=mdettweiler [2015-06-22 15:37:29] 983*2^1401102-1 is not prime. Res64: 02C5297DE57725BF Time : 0.0 sec. user=mdettweiler [2015-06-22 15:37:30] 703*2^1401103-1 is not prime. Res64: 05BF42CA0EF69A2A Time : 0.0 sec. user=mdettweiler [2015-06-22 15:54:46] 709*2^1401103-1 is not prime. Res64: 715929654B124E2E Time : 0.0 sec. user=mdettweiler [2015-06-22 15:54:46] 889*2^1401103-1 is not prime. Res64: A3D00877890285EF Time : 0.0 sec. user=juhehe [2015-06-22 15:54:47] 867*2^1401102-1 is not prime. Res64: 6EA7D57100CC61B8 Time : 0.0 sec. user=mdettweiler [2015-06-22 15:54:47] 919*2^1401103-1 is not prime. Res64: CC25290F65029F91 Time : 0.0 sec. user=mdettweiler [2015-06-22 15:54:47] 773*2^1401104-1 is not prime. Res64: D7C5CA6ED4D27814 Time : 0.0 sec. user=mdettweiler [2015-06-22 15:54:47] 617*2^1401104-1 is not prime. Res64: B438FEEF5C9030AB Time : 0.0 sec. user=mdettweiler [2015-06-22 15:54:48] 983*2^1401104-1 is not prime. Res64: 3556DA0DE440C06A Time : 0.0 sec. user=mdettweiler [2015-06-22 16:12:05] 667*2^1401105-1 is not prime. Res64: F6DA2B30DE6FE40C Time : 0.0 sec. user=mdettweiler [2015-06-22 16:12:06] 759*2^1401105-1 is not prime. Res64: D87B449E4B10BC7E Time : 0.0 sec. user=mdettweiler [2015-06-22 16:12:06] 705*2^1401105-1 is not prime. Res64: 9AE10559112CE274 Time : 0.0 sec. user=mdettweiler [2015-06-22 16:12:07] 909*2^1401105-1 is not prime. Res64: 07A948788C7C7195 Time : 0.0 sec. user=mdettweiler [2015-06-22 16:12:07] 979*2^1401105-1 is not prime. Res64: 65E47947BC0317CD Time : 0.0 sec. user=mdettweiler [2015-06-22 16:12:07] 623*2^1401106-1 is not prime. Res64: F371822B3249E85D Time : 0.0 sec. user=mdettweiler [2015-06-22 16:29:40] 783*2^1401106-1 is not prime. Res64: 1BD8D9C0BDDAE0C9 Time : 0.0 sec. user=mdettweiler [2015-06-22 16:29:40] 803*2^1401106-1 is not prime. Res64: 0DEF403F5FFAFBEE Time : 0.0 sec. user=mdettweiler [2015-06-22 16:29:41] 675*2^1401106-1 is not prime. Res64: 845BFA1FEC69B54B Time : 0.0 sec. user=mdettweiler [2015-06-22 16:29:41] 813*2^1401106-1 is not prime. Res64: 10EC8E7B9F619C22 Time : 0.0 sec. user=mdettweiler [2015-06-22 16:29:41] 917*2^1401106-1 is not prime. Res64: 7F9B215626594DF1 Time : 0.0 sec. user=mdettweiler [2015-06-22 16:29:42] 987*2^1401106-1 is not prime. Res64: 1A8396D4CDF7ED07 Time : 0.0 sec. user=mdettweiler [2015-06-22 16:47:00] 1001*2^1401106-1 is not prime. Res64: D5672F13C7CFFEB1 Time : 0.0 sec. user=mdettweiler [2015-06-22 16:47:01] 643*2^1401107-1 is not prime. Res64: 944D840977903598 Time : 0.0 sec. user=mdettweiler [2015-06-22 16:47:01] 633*2^1401107-1 is not prime. Res64: 91087742BAAEF03A Time : 0.0 sec. user=mdettweiler [2015-06-22 16:47:01] 655*2^1401107-1 is not prime. Res64: BEDC127A416FE339 Time : 0.0 sec. user=mdettweiler [2015-06-22 16:47:02] 715*2^1401107-1 is not prime. Res64: 2B834F4889DDCEF1 Time : 0.0 sec. user=mdettweiler [2015-06-22 16:47:02] 781*2^1401107-1 is not prime. Res64: 5EB130202979A9B3 Time : 0.0 sec. user=mdettweiler [2015-06-22 17:04:21] 795*2^1401108-1 is not prime. Res64: C582F32879D3E9CE Time : 0.0 sec. user=mdettweiler [2015-06-22 17:04:21] 633*2^1401108-1 is not prime. Res64: CAFD07F8B1DA5EB3 Time : 0.0 sec. user=mdettweiler [2015-06-22 17:04:23] 845*2^1401108-1 is not prime. Res64: 2EEC97FD0DF52297 Time : 0.0 sec. user=mdettweiler [2015-06-22 17:04:23] 843*2^1401108-1 is not prime. Res64: CEDA0D340AAF7475 Time : 0.0 sec. user=mdettweiler [2015-06-22 17:04:24] 635*2^1401108-1 is not prime. Res64: 7B9856212F01AA3A Time : 0.0 sec. user=mdettweiler [2015-06-22 17:04:25] 887*2^1401108-1 is not prime. Res64: A90A9A94C965BDC1 Time : 0.0 sec. user=mdettweiler [2015-06-22 17:22:12] 893*2^1401108-1 is not prime. Res64: 417FCAC62E3F3BE8 Time : 0.0 sec. user=mdettweiler [2015-06-22 17:22:13] 905*2^1401108-1 is not prime. Res64: E611BF4B3F96CA72 Time : 0.0 sec. user=mdettweiler [2015-06-22 17:22:13] 609*2^1401109-1 is not prime. Res64: 4ED816E34097BDB5 Time : 0.0 sec. user=mdettweiler [2015-06-22 17:22:14] 741*2^1401109-1 is not prime. Res64: 325EDCF8E2C86ADA Time : 0.0 sec. user=mdettweiler [2015-06-22 17:22:17] 811*2^1401109-1 is not prime. Res64: AD94175E2B376176 Time : 0.0 sec. user=mdettweiler [2015-06-22 17:22:17] 819*2^1401109-1 is not prime. Res64: B912FECBD592A297 Time : 0.0 sec. user=juhehe [2015-06-22 17:22:33] 993*2^1401107-1 is not prime. Res64: D6BF91E4C5B8FEA3 Time : 0.0 sec. user=mdettweiler [2015-06-22 17:39:33] 951*2^1401109-1 is not prime. Res64: 6DDF739A31A463D2 Time : 0.0 sec. user=mdettweiler [2015-06-22 17:39:33] 957*2^1401109-1 is not prime. Res64: 8941D72186840449 Time : 0.0 sec. user=mdettweiler [2015-06-22 17:39:33] 987*2^1401109-1 is not prime. Res64: BBB94AA8626979CB Time : 0.0 sec. user=mdettweiler [2015-06-22 17:39:34] 785*2^1401110-1 is not prime. Res64: FBF8715F8D9BDC30 Time : 0.0 sec. user=mdettweiler [2015-06-22 17:39:38] 861*2^1401110-1 is not prime. Res64: 71CECBA811E53C60 Time : 0.0 sec. user=mdettweiler [2015-06-22 17:39:38] 893*2^1401110-1 is not prime. Res64: AE52AFA29113B4F3 Time : 0.0 sec. user=mdettweiler [2015-06-22 17:56:53] 1001*2^1401110-1 is not prime. Res64: 6AAD42E1D0C21311 Time : 0.0 sec. user=mdettweiler [2015-06-22 17:56:53] 789*2^1401111-1 is not prime. Res64: 10F708C529361374 Time : 0.0 sec. user=mdettweiler [2015-06-22 17:56:56] 759*2^1401112-1 is not prime. Res64: C22CD593EB933891 Time : 0.0 sec. user=mdettweiler [2015-06-22 17:56:56] 829*2^1401111-1 is not prime. Res64: EBAF38DD7FDFD60F Time : 0.0 sec. user=mdettweiler [2015-06-22 17:56:57] 747*2^1401112-1 is not prime. Res64: AF6175DBEDE5FF6B Time : 0.0 sec. user=mdettweiler [2015-06-22 17:56:57] 825*2^1401112-1 is not prime. Res64: 940B616F7A9F4E54 Time : 0.0 sec. user=juhehe [2015-06-22 18:04:48] 977*2^1401110-1 is not prime. Res64: 11AC68A97951EAA1 Time : 0.0 sec. user=mdettweiler [2015-06-22 18:14:11] 917*2^1401112-1 is not prime. Res64: 73637CFD6550F7A2 Time : 0.0 sec. user=mdettweiler [2015-06-22 18:14:12] 939*2^1401112-1 is not prime. Res64: 71569717F36D48D7 Time : 0.0 sec. user=mdettweiler [2015-06-22 18:14:16] 651*2^1401113-1 is not prime. Res64: 4F585FA0C29780F7 Time : 0.0 sec. user=mdettweiler [2015-06-22 18:14:17] 627*2^1401113-1 is not prime. Res64: 6952881BDE7CF55F Time : 0.0 sec. user=mdettweiler [2015-06-22 18:14:17] 735*2^1401113-1 is not prime. Res64: 1B61393351FE9346 Time : 0.0 sec. user=mdettweiler [2015-06-22 18:14:17] 649*2^1401113-1 is not prime. Res64: BBBE02609897CAE9 Time : 0.0 sec. user=mdettweiler [2015-06-22 18:31:35] 741*2^1401113-1 is not prime. Res64: F5EEAB5A4F25D445 Time : 0.0 sec. user=mdettweiler [2015-06-22 18:31:35] 745*2^1401113-1 is not prime. Res64: 70964CECDEFADB96 Time : 0.0 sec. user=mdettweiler [2015-06-22 18:31:36] 811*2^1401113-1 is not prime. Res64: 664BAB6AF9B09F99 Time : 0.0 sec. user=mdettweiler [2015-06-22 18:31:36] 819*2^1401113-1 is not prime. Res64: 43BB02732D188A14 Time : 0.0 sec. user=mdettweiler [2015-06-22 18:31:37] 771*2^1401113-1 is not prime. Res64: 5677CEBA327CAE06 Time : 0.0 sec. user=mdettweiler [2015-06-22 18:31:38] 789*2^1401113-1 is not prime. Res64: 02AEBCBBEFA9E004 Time : 0.0 sec. user=mdettweiler [2015-06-22 18:48:55] 879*2^1401113-1 is not prime. Res64: F8AB401E15F6DB61 Time : 0.0 sec. user=mdettweiler [2015-06-22 18:48:55] 951*2^1401113-1 is not prime. Res64: 2D8FA270798C19C9 Time : 0.0 sec. user=mdettweiler [2015-06-22 18:48:56] 705*2^1401114-1 is not prime. Res64: 20DCEB30F4E508DD Time : 0.0 sec. user=mdettweiler [2015-06-22 18:48:57] 717*2^1401114-1 is not prime. Res64: DC89BB6D284E322B Time : 0.0 sec. user=mdettweiler [2015-06-22 18:48:57] 773*2^1401114-1 is not prime. Res64: FA861139BF096D58 Time : 0.0 sec. user=mdettweiler [2015-06-22 18:48:57] 803*2^1401114-1 is not prime. Res64: 045486C73ACCCAA4 Time : 0.0 sec. user=mdettweiler [2015-06-22 19:06:15] 603*2^1401115-1 is not prime. Res64: D097E7BB3545AA40 Time : 0.0 sec. user=mdettweiler [2015-06-22 19:06:15] 645*2^1401115-1 is not prime. Res64: D41391F9C35E5283 Time : 0.0 sec. user=mdettweiler [2015-06-22 19:06:17] 673*2^1401115-1 is not prime. Res64: 14903662C5B946B5 Time : 0.0 sec. user=mdettweiler [2015-06-22 19:06:18] 723*2^1401115-1 is not prime. Res64: 4CBB1E3C4D3E2BFB Time : 0.0 sec. user=mdettweiler [2015-06-22 19:06:19] 741*2^1401115-1 is not prime. Res64: FC3B603397752FB0 Time : 0.0 sec. user=mdettweiler [2015-06-22 19:06:20] 783*2^1401115-1 is not prime. Res64: 9354F9A0AB210C96 Time : 0.0 sec. user=mdettweiler [2015-06-22 19:23:38] 801*2^1401115-1 is not prime. Res64: 12ADA7FDA7000A37 Time : 0.0 sec. user=mdettweiler [2015-06-22 19:23:38] 841*2^1401115-1 is not prime. Res64: 86033C5504478918 Time : 0.0 sec. user=mdettweiler [2015-06-22 19:23:39] 889*2^1401115-1 is not prime. Res64: 06E8E71D6F698CFD Time : 0.0 sec. user=mdettweiler [2015-06-22 19:23:39] 913*2^1401115-1 is not prime. Res64: 07655E534A75803E Time : 0.0 sec. user=mdettweiler [2015-06-22 19:23:40] 669*2^1401116-1 is not prime. Res64: 30D1C521D4D6ED2B Time : 0.0 sec. user=mdettweiler [2015-06-22 19:23:40] 693*2^1401116-1 is not prime. Res64: 6F6C4FD22EFC9BAB Time : 0.0 sec. user=juhehe [2015-06-22 19:33:23] 993*2^1401114-1 is not prime. Res64: 137C86540F5A50AE Time : 0.0 sec. user=mdettweiler [2015-06-22 19:40:59] 837*2^1401116-1 is not prime. Res64: 9A77892CA48CBD49 Time : 0.0 sec. user=mdettweiler [2015-06-22 19:40:59] 699*2^1401116-1 is not prime. Res64: 1BDE0C4DAAB22622 Time : 0.0 sec. user=mdettweiler [2015-06-22 19:40:59] 855*2^1401116-1 is not prime. Res64: 44E3A4994175229D Time : 0.0 sec. user=mdettweiler [2015-06-22 19:40:59] 773*2^1401116-1 is not prime. Res64: 3FEEF4895FA90A8C Time : 0.0 sec. user=mdettweiler [2015-06-22 19:40:59] 873*2^1401116-1 is not prime. Res64: 8DD56D67290D264B Time : 0.0 sec. user=mdettweiler [2015-06-22 19:41:00] 621*2^1401117-1 is not prime. Res64: 7D635088337EEDEA Time : 0.0 sec. user=mdettweiler [2015-06-22 19:58:19] 627*2^1401117-1 is not prime. Res64: 1B535D99FCF5E65A Time : 0.0 sec. user=mdettweiler [2015-06-22 19:58:19] 685*2^1401117-1 is not prime. Res64: C4127C6D8D51DCF0 Time : 0.0 sec. user=mdettweiler [2015-06-22 19:58:21] 661*2^1401117-1 is not prime. Res64: 911401F860BDB376 Time : 0.0 sec. user=mdettweiler [2015-06-22 19:58:21] 915*2^1401117-1 is not prime. Res64: 1991B8F89F633BE3 Time : 0.0 sec. user=mdettweiler [2015-06-22 19:58:22] 765*2^1401117-1 is not prime. Res64: 56F15CAAFC1034D1 Time : 0.0 sec. user=mdettweiler [2015-06-22 19:58:23] 865*2^1401117-1 is not prime. Res64: F980B658691F72CF Time : 0.0 sec. user=mdettweiler [2015-06-22 20:15:38] 979*2^1401117-1 is not prime. Res64: AC0B4C8B4361DD9A Time : 0.0 sec. user=mdettweiler [2015-06-22 20:15:38] 705*2^1401118-1 is not prime. Res64: 33041EC530256DD2 Time : 0.0 sec. user=mdettweiler [2015-06-22 20:15:40] 731*2^1401118-1 is not prime. Res64: F9278E7FD167D086 Time : 0.0 sec. user=mdettweiler [2015-06-22 20:15:40] 813*2^1401118-1 is not prime. Res64: AFBBA247AB9A23D6 Time : 0.0 sec. user=mdettweiler [2015-06-22 20:15:41] 861*2^1401118-1 is not prime. Res64: AF066F236AFD3BA5 Time : 0.0 sec. user=mdettweiler [2015-06-22 20:15:41] 971*2^1401118-1 is not prime. Res64: EDE3ECF31159F19A Time : 0.0 sec. user=mdettweiler [2015-06-22 20:32:58] 649*2^1401119-1 is not prime. Res64: D67EB2189364B445 Time : 0.0 sec. user=mdettweiler [2015-06-22 20:32:59] 841*2^1401119-1 is not prime. Res64: D73E5BF9790E4D8D Time : 0.0 sec. user=mdettweiler [2015-06-22 20:33:00] 889*2^1401119-1 is not prime. Res64: 69D0E9F46C60093C Time : 0.0 sec. user=mdettweiler [2015-06-22 20:33:00] 635*2^1401120-1 is not prime. Res64: A90314D15C715E61 Time : 0.0 sec. user=mdettweiler [2015-06-22 20:33:00] 629*2^1401120-1 is not prime. Res64: 53047BD001E84276 Time : 0.0 sec. user=mdettweiler [2015-06-22 20:33:00] 717*2^1401120-1 is not prime. Res64: A0F8A32285EA6899 Time : 0.0 sec. user=mdettweiler [2015-06-22 20:50:18] 747*2^1401121-1 is not prime. Res64: 22C6D2A1DBFECDE7 Time : 0.0 sec. user=mdettweiler [2015-06-22 20:50:18] 771*2^1401121-1 is not prime. Res64: DCE12031965D8C14 Time : 0.0 sec. user=mdettweiler [2015-06-22 20:50:19] 799*2^1401121-1 is not prime. Res64: B1799E03029AE3F1 Time : 0.0 sec. user=mdettweiler [2015-06-22 20:50:19] 997*2^1401121-1 is not prime. Res64: B0EEFC0DFD4F9741 Time : 0.0 sec. user=mdettweiler [2015-06-22 20:50:20] 849*2^1401120-1 is not prime. Res64: D9D7E0986091FC49 Time : 0.0 sec. user=mdettweiler [2015-06-22 20:50:20] 607*2^1401121-1 is not prime. Res64: 770C138A29FA5BC9 Time : 0.0 sec. user=mdettweiler [2015-06-22 21:07:37] 999*2^1401121-1 is not prime. Res64: 0EB7686C62AC959B Time : 0.0 sec. user=mdettweiler [2015-06-22 21:07:37] 617*2^1401122-1 is not prime. Res64: 4B56EC374C6D2770 Time : 0.0 sec. user=mdettweiler [2015-06-22 21:07:38] 833*2^1401122-1 is not prime. Res64: 5A0191DAD24E221A Time : 0.0 sec. user=mdettweiler [2015-06-22 21:07:38] 875*2^1401122-1 is not prime. Res64: 0C97EA48E9E1785A Time : 0.0 sec. user=mdettweiler [2015-06-22 21:07:41] 677*2^1401122-1 is not prime. Res64: D74075BC1A02A021 Time : 0.0 sec. user=mdettweiler [2015-06-22 21:07:41] 743*2^1401122-1 is not prime. Res64: 7F8EF108AD558F8A Time : 0.0 sec. user=juhehe [2015-06-22 21:11:22] 797*2^1401120-1 is not prime. Res64: A33D59D5569D4B8D Time : 0.0 sec. user=mdettweiler [2015-06-22 21:24:59] 893*2^1401122-1 is not prime. Res64: 5413600BC69E3801 Time : 0.0 sec. user=mdettweiler [2015-06-22 21:24:59] 903*2^1401122-1 is not prime. Res64: DE946B03561B23B7 Time : 0.0 sec. user=mdettweiler [2015-06-22 21:24:59] 923*2^1401122-1 is not prime. Res64: 8B651856C117219C Time : 0.0 sec. user=mdettweiler [2015-06-22 21:25:00] 709*2^1401123-1 is not prime. Res64: 61B4B80630031603 Time : 0.0 sec. user=mdettweiler [2015-06-22 21:25:00] 781*2^1401123-1 is not prime. Res64: 3B8140836C18D805 Time : 0.0 sec. user=mdettweiler [2015-06-22 21:25:00] 705*2^1401124-1 is not prime. Res64: E926BF4D57FEF2F0 Time : 0.0 sec. user=mdettweiler [2015-06-22 21:42:18] 855*2^1401124-1 is not prime. Res64: BDFD77C58BDA47F5 Time : 0.0 sec. user=mdettweiler [2015-06-22 21:42:18] 857*2^1401124-1 is not prime. Res64: 3533508F1A005857 Time : 0.0 sec. user=mdettweiler [2015-06-22 21:42:19] 863*2^1401124-1 is not prime. Res64: 8DF9F9578A9C796A Time : 0.0 sec. user=mdettweiler [2015-06-22 21:42:19] 869*2^1401124-1 is not prime. Res64: BC72C0FA395A8A07 Time : 0.0 sec. user=mdettweiler [2015-06-22 21:42:20] 903*2^1401124-1 is not prime. Res64: 31551CF3D9F9C1D0 Time : 0.0 sec. user=mdettweiler [2015-06-22 21:42:21] 989*2^1401124-1 is not prime. Res64: 59814566CC5B0530 Time : 0.0 sec. user=juhehe [2015-06-22 21:54:21] 749*2^1401124-1 is not prime. Res64: F92F4BB8F5C6ECD9 Time : 0.0 sec. user=mdettweiler [2015-06-22 21:59:38] 627*2^1401125-1 is not prime. Res64: 6050611963E5E57B Time : 0.0 sec. user=mdettweiler [2015-06-22 21:59:39] 657*2^1401125-1 is not prime. Res64: 2D6974AA55463C95 Time : 0.0 sec. user=mdettweiler [2015-06-22 21:59:39] 655*2^1401125-1 is not prime. Res64: C12EB0E82BB209EA Time : 0.0 sec. user=mdettweiler [2015-06-22 21:59:39] 729*2^1401125-1 is not prime. Res64: AFB6366C8C051129 Time : 0.0 sec. user=mdettweiler [2015-06-22 21:59:40] 721*2^1401125-1 is not prime. Res64: 5641951E246559B3 Time : 0.0 sec. user=mdettweiler [2015-06-22 21:59:40] 757*2^1401125-1 is not prime. Res64: C788C9BC5A27C44D Time : 0.0 sec. user=mdettweiler [2015-06-22 22:17:03] 759*2^1401127-1 is not prime. Res64: 145F211985817EEF Time : 0.0 sec. user=mdettweiler [2015-06-22 22:17:04] 901*2^1401127-1 is not prime. Res64: 3D02A9527D1DA8E4 Time : 0.0 sec. user=mdettweiler [2015-06-22 22:17:04] 787*2^1401125-1 is not prime. Res64: B425C7FC11F9663A Time : 0.0 sec. user=mdettweiler [2015-06-22 22:17:04] 747*2^1401126-1 is not prime. Res64: 265BC9B4BC31AD70 Time : 0.0 sec. user=mdettweiler [2015-06-22 22:17:05] 795*2^1401125-1 is not prime. Res64: F8748986F2413293 Time : 0.0 sec. user=mdettweiler [2015-06-22 22:17:06] 713*2^1401126-1 is not prime. Res64: F3885B6A2B84DF5E Time : 0.0 sec. user=mdettweiler [2015-06-22 22:34:25] 633*2^1401128-1 is not prime. Res64: B8289B17D74E395F Time : 0.0 sec. user=mdettweiler [2015-06-22 22:34:25] 767*2^1401128-1 is not prime. Res64: BA53C5899C7E82E0 Time : 0.0 sec. user=mdettweiler [2015-06-22 22:34:25] 665*2^1401128-1 is not prime. Res64: 214396157C878A83 Time : 0.0 sec. user=mdettweiler [2015-06-22 22:34:25] 813*2^1401128-1 is not prime. Res64: 7C19E8EE32447476 Time : 0.0 sec. user=mdettweiler [2015-06-22 22:34:30] 845*2^1401128-1 is not prime. Res64: 7B7CEF96826786AE Time : 0.0 sec. user=mdettweiler [2015-06-22 22:34:30] 869*2^1401128-1 is not prime. Res64: 7D865F20B887355B Time : 0.0 sec. user=mdettweiler [2015-06-22 22:51:43] 897*2^1401128-1 is not prime. Res64: F6391659FD5935A5 Time : 0.0 sec. user=mdettweiler [2015-06-22 22:51:44] 649*2^1401129-1 is not prime. Res64: 125DA9A8BA05F387 Time : 0.0 sec. user=mdettweiler [2015-06-22 22:51:45] 669*2^1401129-1 is not prime. Res64: 562CD7525371C18E Time : 0.0 sec. user=mdettweiler [2015-06-22 22:51:45] 691*2^1401129-1 is not prime. Res64: 9E28CBEC61375394 Time : 0.0 sec. user=mdettweiler [2015-06-22 22:51:51] 885*2^1401129-1 is not prime. Res64: 16E63DFE8690F22E Time : 0.0 sec. user=mdettweiler [2015-06-22 22:51:51] 895*2^1401129-1 is not prime. Res64: DD7D06F378301155 Time : 0.0 sec. user=mdettweiler [2015-06-22 23:09:06] 821*2^1401130-1 is not prime. Res64: D5A0E461FF464781 Time : 0.0 sec. user=mdettweiler [2015-06-22 23:09:06] 855*2^1401130-1 is not prime. Res64: 16C39DCCC3B477B7 Time : 0.0 sec. user=mdettweiler [2015-06-22 23:09:08] 707*2^1401130-1 is not prime. Res64: 9892FB21D273CEBD Time : 0.0 sec. user=mdettweiler [2015-06-22 23:09:08] 791*2^1401130-1 is not prime. Res64: F4436034A2589121 Time : 0.0 sec. user=mdettweiler [2015-06-22 23:09:10] 873*2^1401130-1 is not prime. Res64: 1850425B4B71C79A Time : 0.0 sec. user=mdettweiler [2015-06-22 23:09:11] 933*2^1401130-1 is not prime. Res64: 9C95D42FC3279051 Time : 0.0 sec. user=juhehe [2015-06-22 23:21:20] 975*2^1401129-1 is not prime. Res64: B8F5DC01C007A02A Time : 0.0 sec. user=mdettweiler [2015-06-22 23:26:28] 951*2^1401130-1 is not prime. Res64: 98912CE095C34DC2 Time : 0.0 sec. user=mdettweiler [2015-06-22 23:26:28] 975*2^1401130-1 is not prime. Res64: 1D6DB5B0CAC9C6FC Time : 0.0 sec. user=mdettweiler [2015-06-22 23:26:28] 957*2^1401130-1 is not prime. Res64: 6132E76C596684DC Time : 0.0 sec. user=mdettweiler [2015-06-22 23:26:29] 895*2^1401131-1 is not prime. Res64: DFA73CE4883B44E0 Time : 0.0 sec. user=mdettweiler [2015-06-22 23:26:29] 843*2^1401131-1 is not prime. Res64: 039AA319D58209D4 Time : 0.0 sec. user=mdettweiler [2015-06-22 23:26:29] 913*2^1401131-1 is not prime. Res64: 191C0ED2295A9092 Time : 0.0 sec. user=mdettweiler [2015-06-22 23:43:46] 973*2^1401131-1 is not prime. Res64: F4EA097955121AD6 Time : 0.0 sec. user=mdettweiler [2015-06-22 23:43:47] 765*2^1401132-1 is not prime. Res64: 47D494283684F1D7 Time : 0.0 sec. user=mdettweiler [2015-06-22 23:43:48] 797*2^1401132-1 is not prime. Res64: 23EEE2C6B0C3C06C Time : 0.0 sec. user=mdettweiler [2015-06-22 23:43:48] 857*2^1401132-1 is not prime. Res64: 25CB4A42300521D9 Time : 0.0 sec. user=mdettweiler [2015-06-22 23:43:48] 929*2^1401132-1 is not prime. Res64: EADC6A3BC506D4A6 Time : 0.0 sec. user=mdettweiler [2015-06-22 23:43:49] 609*2^1401133-1 is not prime. Res64: E2C884F47647C332 Time : 0.0 sec.