user=mdettweiler [2016-05-04 00:18:21] 619*2^1428123-1 is not prime. Res64: 2B2ABDACE190EC74 Time : 0.0 sec. user=mdettweiler [2016-05-04 00:18:22] 621*2^1428123-1 is not prime. Res64: 3E891D298BFFC0C4 Time : 0.0 sec. user=mdettweiler [2016-05-04 00:18:22] 685*2^1428123-1 is not prime. Res64: 5B59F2EEAFC56CA8 Time : 0.0 sec. user=mdettweiler [2016-05-04 00:18:23] 705*2^1428123-1 is not prime. Res64: 0569C443C851FB3E Time : 0.0 sec. user=mdettweiler [2016-05-04 00:18:23] 781*2^1428123-1 is not prime. Res64: CB8B5B21CF8008E1 Time : 0.0 sec. user=mdettweiler [2016-05-04 00:21:29] 853*2^1428123-1 is not prime. Res64: CB3396986864424B Time : 0.0 sec. user=mdettweiler [2016-05-04 00:21:30] 895*2^1428123-1 is not prime. Res64: 66EF513CF014FE46 Time : 0.0 sec. user=mdettweiler [2016-05-04 00:21:30] 955*2^1428123-1 is not prime. Res64: 4CF62599BAF1289F Time : 0.0 sec. user=mdettweiler [2016-05-04 00:21:31] 991*2^1428123-1 is not prime. Res64: 7F1E763E4FE5B6C6 Time : 0.0 sec. user=mdettweiler [2016-05-04 00:21:31] 665*2^1428124-1 is not prime. Res64: D99E86417977AAB5 Time : 0.0 sec. user=mdettweiler [2016-05-04 00:30:49] 759*2^1428125-1 is not prime. Res64: 03028BE3E1D98F26 Time : 0.0 sec. user=mdettweiler [2016-05-04 00:30:49] 805*2^1428125-1 is not prime. Res64: FBA9764267087978 Time : 0.0 sec. user=mdettweiler [2016-05-04 00:30:49] 937*2^1428125-1 is not prime. Res64: B26C28DF93C00AFC Time : 0.0 sec. user=mdettweiler [2016-05-04 00:30:50] 957*2^1428125-1 is not prime. Res64: CE9693164671A9B2 Time : 0.0 sec. user=mdettweiler [2016-05-04 00:30:50] 981*2^1428125-1 is not prime. Res64: 6CC12E0721A9BC04 Time : 0.0 sec. user=mdettweiler [2016-05-04 00:31:15] 857*2^1428124-1 is not prime. Res64: 0B4C6B4EA35BA236 Time : 0.0 sec. user=mdettweiler [2016-05-04 00:31:16] 873*2^1428124-1 is not prime. Res64: 8CB212F0B6A57226 Time : 0.0 sec. user=mdettweiler [2016-05-04 00:31:16] 675*2^1428125-1 is not prime. Res64: 0176F39F2EF4DFF6 Time : 0.0 sec. user=mdettweiler [2016-05-04 00:31:17] 717*2^1428125-1 is not prime. Res64: FD3FD79AD53C2D06 Time : 0.0 sec. user=mdettweiler [2016-05-04 00:31:17] 729*2^1428125-1 is not prime. Res64: 4CF5433ADA2C685B Time : 0.0 sec. user=mdettweiler [2016-05-04 01:04:14] 725*2^1428126-1 is not prime. Res64: 4517A4A4C47EFCF8 Time : 0.0 sec. user=mdettweiler [2016-05-04 01:04:16] 755*2^1428126-1 is not prime. Res64: A501AE69EAECD477 Time : 0.0 sec. user=mdettweiler [2016-05-04 01:04:17] 843*2^1428126-1 is not prime. Res64: 8560029E49A08612 Time : 0.0 sec. user=mdettweiler [2016-05-04 01:04:17] 983*2^1428126-1 is not prime. Res64: 840D51FDD0D8C206 Time : 0.0 sec. user=mdettweiler [2016-05-04 01:04:18] 741*2^1428127-1 is not prime. Res64: F242B6BC2A8AB530 Time : 0.0 sec. user=mdettweiler [2016-05-04 01:07:22] 841*2^1428127-1 is not prime. Res64: 65F5DB79E83717CE Time : 0.0 sec. user=mdettweiler [2016-05-04 01:07:23] 849*2^1428127-1 is not prime. Res64: 23163ADA1CC8D7A2 Time : 0.0 sec. user=mdettweiler [2016-05-04 01:07:24] 901*2^1428127-1 is not prime. Res64: A5E7004457FFEC31 Time : 0.0 sec. user=mdettweiler [2016-05-04 01:07:24] 961*2^1428127-1 is not prime. Res64: 21AFFCDBE3B91ECD Time : 0.0 sec. user=mdettweiler [2016-05-04 01:07:25] 973*2^1428127-1 is not prime. Res64: 5CD88DE58D00BC76 Time : 0.0 sec. user=mdettweiler [2016-05-04 01:16:04] 665*2^1428128-1 is not prime. Res64: 2CD21228ADDFE251 Time : 0.0 sec. user=mdettweiler [2016-05-04 01:16:04] 879*2^1428128-1 is not prime. Res64: D587FBC0F4F2827F Time : 0.0 sec. user=mdettweiler [2016-05-04 01:16:05] 893*2^1428128-1 is not prime. Res64: 3F4126CB6631C6EB Time : 0.0 sec. user=mdettweiler [2016-05-04 01:16:05] 915*2^1428128-1 is not prime. Res64: D2EA9300E1232B14 Time : 0.0 sec. user=mdettweiler [2016-05-04 01:16:05] 705*2^1428129-1 is not prime. Res64: EFB75FF8279EFFBA Time : 0.0 sec. user=mdettweiler [2016-05-04 01:16:30] 735*2^1428129-1 is not prime. Res64: 7751B6E01B301CEF Time : 0.0 sec. user=mdettweiler [2016-05-04 01:16:30] 787*2^1428129-1 is not prime. Res64: 26799176FD268F68 Time : 0.0 sec. user=mdettweiler [2016-05-04 01:16:31] 829*2^1428129-1 is not prime. Res64: 56054D94D430CC9C Time : 0.0 sec. user=mdettweiler [2016-05-04 01:16:31] 847*2^1428129-1 is not prime. Res64: F2D1EAE76D6EF911 Time : 0.0 sec. user=mdettweiler [2016-05-04 01:16:31] 889*2^1428129-1 is not prime. Res64: 381A4015FBF37BC4 Time : 0.0 sec. user=mdettweiler [2016-05-04 01:49:47] 687*2^1428130-1 is not prime. Res64: 1E680EFAC3090805 Time : 0.0 sec. user=mdettweiler [2016-05-04 01:49:48] 831*2^1428130-1 is not prime. Res64: 4DE26C58F1C65933 Time : 0.0 sec. user=mdettweiler [2016-05-04 01:49:48] 855*2^1428130-1 is not prime. Res64: 28C7508C8C40EB90 Time : 0.0 sec. user=mdettweiler [2016-05-04 01:49:48] 917*2^1428130-1 is not prime. Res64: 63420A4DBD4BDC3D Time : 0.0 sec. user=mdettweiler [2016-05-04 01:49:49] 933*2^1428130-1 is not prime. Res64: 555EF09871634D9E Time : 0.0 sec. user=mdettweiler [2016-05-04 01:52:43] 615*2^1428131-1 is not prime. Res64: B489852D8E02217A Time : 0.0 sec. user=mdettweiler [2016-05-04 01:52:43] 643*2^1428131-1 is not prime. Res64: 12A27E6ED157A0A5 Time : 0.0 sec. user=mdettweiler [2016-05-04 01:52:44] 823*2^1428131-1 is not prime. Res64: CE5502D56DD8C9CC Time : 0.0 sec. user=mdettweiler [2016-05-04 01:52:44] 901*2^1428131-1 is not prime. Res64: 11E00808DA509EF0 Time : 0.0 sec. user=mdettweiler [2016-05-04 01:52:44] 973*2^1428131-1 is not prime. Res64: A42D700094156A13 Time : 0.0 sec. user=mdettweiler [2016-05-04 02:01:28] 993*2^1428131-1 is not prime. Res64: A8FDA3512CB737AB Time : 0.0 sec. user=mdettweiler [2016-05-04 02:01:30] 605*2^1428132-1 is not prime. Res64: B25F4665FFAB0B54 Time : 0.0 sec. user=mdettweiler [2016-05-04 02:01:31] 623*2^1428132-1 is not prime. Res64: A6B673C11AAE4F0A Time : 0.0 sec. user=mdettweiler [2016-05-04 02:01:31] 683*2^1428132-1 is not prime. Res64: 59CB9267D0756B47 Time : 0.0 sec. user=mdettweiler [2016-05-04 02:01:32] 689*2^1428132-1 is not prime. Res64: B6B1ABD153DE8E32 Time : 0.0 sec. user=mdettweiler [2016-05-04 02:01:46] 725*2^1428132-1 is not prime. Res64: AD6BD4D75D8656FC Time : 0.0 sec. user=mdettweiler [2016-05-04 02:01:47] 803*2^1428132-1 is not prime. Res64: B786D70CA0CAAA9D Time : 0.0 sec. user=mdettweiler [2016-05-04 02:01:47] 837*2^1428132-1 is not prime. Res64: B777CBBF7A058857 Time : 0.0 sec. user=mdettweiler [2016-05-04 02:01:48] 947*2^1428132-1 is not prime. Res64: 0A64454E001CABB0 Time : 0.0 sec. user=mdettweiler [2016-05-04 02:01:48] 965*2^1428132-1 is not prime. Res64: D5AEF63E16359160 Time : 0.0 sec. user=mdettweiler [2016-05-04 02:34:57] 977*2^1428132-1 is not prime. Res64: 83462D4D67C436C0 Time : 0.0 sec. user=mdettweiler [2016-05-04 02:34:58] 609*2^1428133-1 is not prime. Res64: 78611093BDD6ECC8 Time : 0.0 sec. user=mdettweiler [2016-05-04 02:34:58] 775*2^1428133-1 is not prime. Res64: EAB573D004C0A080 Time : 0.0 sec. user=mdettweiler [2016-05-04 02:34:58] 817*2^1428133-1 is not prime. Res64: 1337AB7832353476 Time : 0.0 sec. user=mdettweiler [2016-05-04 02:34:59] 867*2^1428133-1 is not prime. Res64: 76186528AE50C478 Time : 0.0 sec. user=mdettweiler [2016-05-04 02:37:52] 889*2^1428133-1 is not prime. Res64: BE5E774154AB960D Time : 0.0 sec. user=mdettweiler [2016-05-04 02:37:52] 979*2^1428133-1 is not prime. Res64: A5C9BF3512E5F613 Time : 0.0 sec. user=mdettweiler [2016-05-04 02:37:53] 985*2^1428133-1 is not prime. Res64: 9C5D960C1171947A Time : 0.0 sec. user=mdettweiler [2016-05-04 02:37:53] 635*2^1428134-1 is not prime. Res64: 275B91F815AA2129 Time : 0.0 sec. user=mdettweiler [2016-05-04 02:37:53] 645*2^1428134-1 is not prime. Res64: 61689B3EE6B9929D Time : 0.0 sec. user=mdettweiler [2016-05-04 02:46:56] 663*2^1428134-1 is not prime. Res64: B42D524EFE845BFD Time : 0.0 sec. user=mdettweiler [2016-05-04 02:46:57] 693*2^1428134-1 is not prime. Res64: A1EE5AB10D5557A9 Time : 0.0 sec. user=mdettweiler [2016-05-04 02:46:57] 705*2^1428134-1 is not prime. Res64: 88D1DF8B85809B15 Time : 0.0 sec. user=mdettweiler [2016-05-04 02:46:58] 707*2^1428134-1 is not prime. Res64: 663EC7D9A22BFE7D Time : 0.0 sec. user=mdettweiler [2016-05-04 02:46:58] 797*2^1428134-1 is not prime. Res64: AE99DBD97E888FCB Time : 0.0 sec. user=mdettweiler [2016-05-04 02:47:00] 813*2^1428134-1 is not prime. Res64: 2AA621C4588FAC3D Time : 0.0 sec. user=mdettweiler [2016-05-04 02:47:00] 857*2^1428134-1 is not prime. Res64: 0DAA367A7CBE465A Time : 0.0 sec. user=mdettweiler [2016-05-04 02:47:00] 875*2^1428134-1 is not prime. Res64: 2E30AA5C5B0B8E14 Time : 0.0 sec. user=mdettweiler [2016-05-04 02:47:01] 903*2^1428134-1 is not prime. Res64: 52BDE3A288435996 Time : 0.0 sec. user=mdettweiler [2016-05-04 02:47:01] 993*2^1428134-1 is not prime. Res64: 08F840776DDD938F Time : 0.0 sec. user=mdettweiler [2016-05-04 03:20:14] 633*2^1428135-1 is not prime. Res64: 8FBF5E8B7E7D2114 Time : 0.0 sec. user=mdettweiler [2016-05-04 03:20:14] 691*2^1428135-1 is not prime. Res64: 212F7EBB9B6EC73C Time : 0.0 sec. user=mdettweiler [2016-05-04 03:20:15] 789*2^1428135-1 is not prime. Res64: 92335BC9CCE254BE Time : 0.0 sec. user=mdettweiler [2016-05-04 03:20:15] 895*2^1428135-1 is not prime. Res64: DBADCC420AB53D8B Time : 0.0 sec. user=mdettweiler [2016-05-04 03:20:16] 979*2^1428135-1 is not prime. Res64: E33CA43D41AEAB58 Time : 0.0 sec. user=mdettweiler [2016-05-04 03:23:18] 603*2^1428136-1 is not prime. Res64: A5C9D3C3D401AE0E Time : 0.0 sec. user=mdettweiler [2016-05-04 03:23:18] 693*2^1428136-1 is not prime. Res64: F159E86FC2C978EA Time : 0.0 sec. user=mdettweiler [2016-05-04 03:23:19] 923*2^1428136-1 is not prime. Res64: 8C1C7040A39BC834 Time : 0.0 sec. user=mdettweiler [2016-05-04 03:23:19] 947*2^1428136-1 is not prime. Res64: 4DDBDDC7FD8EEABA Time : 0.0 sec. user=mdettweiler [2016-05-04 03:23:20] 993*2^1428136-1 is not prime. Res64: B2489D81F4A8CBAA Time : 0.0 sec. user=mdettweiler [2016-05-04 03:32:16] 685*2^1428137-1 is not prime. Res64: E4F35B507361DFD3 Time : 0.0 sec. user=mdettweiler [2016-05-04 03:32:17] 717*2^1428137-1 is not prime. Res64: ED81BDD1604E1325 Time : 0.0 sec. user=mdettweiler [2016-05-04 03:32:18] 769*2^1428137-1 is not prime. Res64: DC2209C3C5FB427A Time : 0.0 sec. user=mdettweiler [2016-05-04 03:32:18] 777*2^1428137-1 is not prime. Res64: C05A27E00C9ACFC6 Time : 0.0 sec. user=mdettweiler [2016-05-04 03:32:19] 925*2^1428137-1 is not prime. Res64: 4336B929C8FD29FB Time : 0.0 sec. user=mdettweiler [2016-05-04 03:32:19] 861*2^1428137-1 is not prime. Res64: 36A3EC65EDCB2E0B Time : 0.0 sec. user=mdettweiler [2016-05-04 03:32:19] 677*2^1428138-1 is not prime. Res64: C391E8E9EF75F59E Time : 0.0 sec. user=mdettweiler [2016-05-04 03:32:20] 711*2^1428138-1 is not prime. Res64: 19F7E6E313DD44FE Time : 0.0 sec. user=mdettweiler [2016-05-04 03:32:21] 881*2^1428138-1 is not prime. Res64: 02E3F7AC041B12D6 Time : 0.0 sec. user=mdettweiler [2016-05-04 03:32:22] 971*2^1428138-1 is not prime. Res64: 5B3B6602F5097339 Time : 0.0 sec. user=mdettweiler [2016-05-04 04:06:04] 1001*2^1428138-1 is not prime. Res64: 875D5D70F3214C63 Time : 0.0 sec. user=mdettweiler [2016-05-04 04:06:05] 619*2^1428139-1 is not prime. Res64: B37752B2789DA8B4 Time : 0.0 sec. user=mdettweiler [2016-05-04 04:06:07] 639*2^1428139-1 is not prime. Res64: BE90C1A0E80160A1 Time : 0.0 sec. user=mdettweiler [2016-05-04 04:06:08] 765*2^1428139-1 is not prime. Res64: 8E5675F459D1A3C3 Time : 0.0 sec. user=mdettweiler [2016-05-04 04:06:09] 841*2^1428139-1 is not prime. Res64: 561E42B8A86F1E84 Time : 0.0 sec. user=mdettweiler [2016-05-04 04:09:09] 853*2^1428139-1 is not prime. Res64: 7D83219BE3448D41 Time : 0.0 sec. user=mdettweiler [2016-05-04 04:09:10] 885*2^1428139-1 is not prime. Res64: 7B4CD3916D2A25F9 Time : 0.0 sec. user=mdettweiler [2016-05-04 04:09:10] 605*2^1428140-1 is not prime. Res64: 9B0A59787009CD49 Time : 0.0 sec. user=mdettweiler [2016-05-04 04:09:10] 659*2^1428140-1 is not prime. Res64: 4CF3FFF20B226D6E Time : 0.0 sec. user=mdettweiler [2016-05-04 04:09:11] 665*2^1428140-1 is not prime. Res64: 37BDFC37E172A235 Time : 0.0 sec. user=mdettweiler [2016-05-04 04:18:13] 687*2^1428140-1 is not prime. Res64: B29A4D32FE3D9DAD Time : 0.0 sec. user=mdettweiler [2016-05-04 04:18:13] 717*2^1428140-1 is not prime. Res64: 90C1B5C0C2B5727D Time : 0.0 sec. user=mdettweiler [2016-05-04 04:18:14] 819*2^1428140-1 is not prime. Res64: 0027A724591FAC75 Time : 0.0 sec. user=mdettweiler [2016-05-04 04:18:14] 827*2^1428140-1 is not prime. Res64: 29A66A5CB373255A Time : 0.0 sec. user=mdettweiler [2016-05-04 04:18:15] 839*2^1428140-1 is not prime. Res64: BBD53A05CA86A174 Time : 0.0 sec. user=mdettweiler [2016-05-04 04:18:47] 843*2^1428140-1 is not prime. Res64: 4B4D8B4F2F7F9A98 Time : 0.0 sec. user=mdettweiler [2016-05-04 04:18:47] 885*2^1428140-1 is not prime. Res64: C730E822FAE427D1 Time : 0.0 sec. user=mdettweiler [2016-05-04 04:18:48] 959*2^1428140-1 is not prime. Res64: 33B38B5994598911 Time : 0.0 sec. user=mdettweiler [2016-05-04 04:18:48] 977*2^1428140-1 is not prime. Res64: 7ECE8B96D079DEB4 Time : 0.0 sec. user=mdettweiler [2016-05-04 04:18:49] 625*2^1428141-1 is not prime. Res64: D4EE56CAFC8D038A Time : 0.0 sec. user=mdettweiler [2016-05-04 04:52:15] 657*2^1428141-1 is not prime. Res64: 51BEDCCDE1740A82 Time : 0.0 sec. user=mdettweiler [2016-05-04 04:52:16] 741*2^1428141-1 is not prime. Res64: 0380031FC68F1B3E Time : 0.0 sec. user=mdettweiler [2016-05-04 04:52:16] 907*2^1428141-1 is not prime. Res64: 80D90A0E5B6BC53E Time : 0.0 sec. user=mdettweiler [2016-05-04 04:52:16] 611*2^1428142-1 is not prime. Res64: 57BAF8683C8B1E27 Time : 0.0 sec. user=mdettweiler [2016-05-04 04:52:17] 645*2^1428142-1 is not prime. Res64: 9D63494AB57A1A19 Time : 0.0 sec. user=mdettweiler [2016-05-04 04:54:24] 647*2^1428142-1 is not prime. Res64: C467668E16105FE9 Time : 0.0 sec. user=mdettweiler [2016-05-04 04:54:25] 665*2^1428142-1 is not prime. Res64: A1DD571345D403EA Time : 0.0 sec. user=mdettweiler [2016-05-04 04:54:25] 723*2^1428142-1 is not prime. Res64: 9BF6F853190DA590 Time : 0.0 sec. user=mdettweiler [2016-05-04 04:54:26] 741*2^1428142-1 is not prime. Res64: 97485A8E265FE193 Time : 0.0 sec. user=mdettweiler [2016-05-04 04:54:26] 777*2^1428142-1 is not prime. Res64: 25624EF2F6DA7293 Time : 0.0 sec. user=mdettweiler [2016-05-04 05:03:25] 825*2^1428142-1 is not prime. Res64: EA88EE6509E580B4 Time : 0.0 sec. user=mdettweiler [2016-05-04 05:03:27] 891*2^1428142-1 is not prime. Res64: 86758D824BBB0E75 Time : 0.0 sec. user=mdettweiler [2016-05-04 05:03:29] 897*2^1428142-1 is not prime. Res64: F989BDCB1F2D1B56 Time : 0.0 sec. user=mdettweiler [2016-05-04 05:03:30] 917*2^1428142-1 is not prime. Res64: DD9C5D4EB87468E9 Time : 0.0 sec. user=mdettweiler [2016-05-04 05:03:32] 923*2^1428142-1 is not prime. Res64: 6956F0876C7D62F6 Time : 0.0 sec. user=mdettweiler [2016-05-04 05:04:16] 789*2^1428143-1 is not prime. Res64: 6F9AE4CE6BD90413 Time : 0.0 sec. user=mdettweiler [2016-05-04 05:04:19] 913*2^1428143-1 is not prime. Res64: 595421283A1FFF34 Time : 0.0 sec. user=mdettweiler [2016-05-04 05:04:21] 605*2^1428144-1 is not prime. Res64: 15C7E0A6F81B697E Time : 0.0 sec. user=mdettweiler [2016-05-04 05:04:22] 893*2^1428144-1 is not prime. Res64: 55095869BA7F3AA2 Time : 0.0 sec. user=mdettweiler [2016-05-04 05:04:23] 915*2^1428144-1 is not prime. Res64: ECEB92E68C4ED47D Time : 0.0 sec. user=mdettweiler [2016-05-04 05:37:34] 975*2^1428144-1 is not prime. Res64: 7CC5DA3D0F74D8E2 Time : 0.0 sec. user=mdettweiler [2016-05-04 05:37:35] 685*2^1428145-1 is not prime. Res64: B2EF49678E6FE3D9 Time : 0.0 sec. user=mdettweiler [2016-05-04 05:37:35] 687*2^1428145-1 is not prime. Res64: BCD75EE6F1B223D5 Time : 0.0 sec. user=mdettweiler [2016-05-04 05:37:36] 895*2^1428145-1 is not prime. Res64: AA261544475FCA9A Time : 0.0 sec. user=mdettweiler [2016-05-04 05:37:36] 897*2^1428145-1 is not prime. Res64: 7E0F915B12825076 Time : 0.0 sec. user=mdettweiler [2016-05-04 05:39:51] 915*2^1428145-1 is not prime. Res64: 901AD341D5FB6317 Time : 0.0 sec. user=mdettweiler [2016-05-04 05:39:51] 635*2^1428146-1 is not prime. Res64: B45E4713879C32DF Time : 0.0 sec. user=mdettweiler [2016-05-04 05:39:52] 651*2^1428146-1 is not prime. Res64: 97665483F547524C Time : 0.0 sec. user=mdettweiler [2016-05-04 05:39:52] 767*2^1428146-1 is not prime. Res64: 3F32357033E16BC4 Time : 0.0 sec. user=mdettweiler [2016-05-04 05:39:53] 831*2^1428146-1 is not prime. Res64: AE18D8B365015B11 Time : 0.0 sec. user=mdettweiler [2016-05-04 05:48:57] 851*2^1428146-1 is not prime. Res64: 89F8630461C8E8DA Time : 0.0 sec. user=mdettweiler [2016-05-04 05:48:57] 887*2^1428146-1 is not prime. Res64: 31E63929D8AFA420 Time : 0.0 sec. user=mdettweiler [2016-05-04 05:48:58] 903*2^1428146-1 is not prime. Res64: 5528F353E259B695 Time : 0.0 sec. user=mdettweiler [2016-05-04 05:48:58] 921*2^1428146-1 is not prime. Res64: 98AF5D2CF36236CA Time : 0.0 sec. user=mdettweiler [2016-05-04 05:48:58] 971*2^1428146-1 is not prime. Res64: 12239DEA72605602 Time : 0.0 sec. user=mdettweiler [2016-05-04 05:49:36] 981*2^1428146-1 is not prime. Res64: FADF2A987730BA3C Time : 0.0 sec. user=mdettweiler [2016-05-04 05:49:36] 805*2^1428147-1 is not prime. Res64: 52BD613C41569E79 Time : 0.0 sec. user=mdettweiler [2016-05-04 05:49:37] 823*2^1428147-1 is not prime. Res64: A0EA1935756CA6BC Time : 0.0 sec. user=mdettweiler [2016-05-04 05:49:37] 895*2^1428147-1 is not prime. Res64: 65FE7FF546F841F1 Time : 0.0 sec. user=mdettweiler [2016-05-04 05:49:38] 689*2^1428148-1 is not prime. Res64: 27FCBAD4B8C607CF Time : 0.0 sec. user=mdettweiler [2016-05-04 06:22:44] 855*2^1428148-1 is not prime. Res64: 7B13E7DD0FBCE2A2 Time : 0.0 sec. user=mdettweiler [2016-05-04 06:22:44] 869*2^1428148-1 is not prime. Res64: 762D162BF355B8AD Time : 0.0 sec. user=mdettweiler [2016-05-04 06:22:45] 929*2^1428148-1 is not prime. Res64: B67D013DC4B058CB Time : 0.0 sec. user=mdettweiler [2016-05-04 06:22:45] 957*2^1428148-1 is not prime. Res64: B93B43A6AEED97BC Time : 0.0 sec. user=mdettweiler [2016-05-04 06:22:46] 969*2^1428148-1 is not prime. Res64: 96A1C66E462BEDE1 Time : 0.0 sec. user=mdettweiler [2016-05-04 06:25:14] 621*2^1428149-1 is not prime. Res64: 12609337E66B0C76 Time : 0.0 sec. user=mdettweiler [2016-05-04 06:25:15] 745*2^1428149-1 is not prime. Res64: D362F48B474DF0F4 Time : 0.0 sec. user=mdettweiler [2016-05-04 06:25:15] 795*2^1428149-1 is not prime. Res64: 07907A62E3FCDC3D Time : 0.0 sec. user=mdettweiler [2016-05-04 06:25:15] 939*2^1428149-1 is not prime. Res64: 7F3B4C158C0F341E Time : 0.0 sec. user=mdettweiler [2016-05-04 06:25:16] 647*2^1428150-1 is not prime. Res64: 212FAF81923FA1F7 Time : 0.0 sec. user=mdettweiler [2016-05-04 06:34:12] 741*2^1428150-1 is not prime. Res64: 5B56E4995CBF4D3D Time : 0.0 sec. user=mdettweiler [2016-05-04 06:34:12] 795*2^1428150-1 is not prime. Res64: BBCCF4E9D397ED6B Time : 0.0 sec. user=mdettweiler [2016-05-04 06:34:12] 821*2^1428150-1 is not prime. Res64: A455F4D868BD671D Time : 0.0 sec. user=mdettweiler [2016-05-04 06:34:13] 963*2^1428150-1 is not prime. Res64: 502BACB3226C9258 Time : 0.0 sec. user=mdettweiler [2016-05-04 06:34:13] 977*2^1428150-1 is not prime. Res64: 4F1C140195EC5999 Time : 0.0 sec. user=mdettweiler [2016-05-04 06:34:58] 705*2^1428151-1 is not prime. Res64: DA7F70E155B6F30A Time : 0.0 sec. user=mdettweiler [2016-05-04 06:34:58] 709*2^1428151-1 is not prime. Res64: DB2EF504F384EF2F Time : 0.0 sec. user=mdettweiler [2016-05-04 06:34:59] 813*2^1428151-1 is not prime. Res64: 6466908386A7A0C9 Time : 0.0 sec. user=mdettweiler [2016-05-04 06:34:59] 841*2^1428151-1 is not prime. Res64: 1F358FC7C6C6A776 Time : 0.0 sec. user=mdettweiler [2016-05-04 06:34:59] 855*2^1428151-1 is not prime. Res64: 787BAAB68A4EB461 Time : 0.0 sec. user=mdettweiler [2016-05-04 07:07:55] 973*2^1428151-1 is not prime. Res64: 9D89D7B231CA5CE5 Time : 0.0 sec. user=mdettweiler [2016-05-04 07:07:55] 857*2^1428152-1 is not prime. Res64: 1CF4DBD6740EB699 Time : 0.0 sec. user=mdettweiler [2016-05-04 07:07:56] 899*2^1428152-1 is not prime. Res64: 2FC7EA27FCB13600 Time : 0.0 sec. user=mdettweiler [2016-05-04 07:07:56] 903*2^1428152-1 is not prime. Res64: 458C3474775C04AE Time : 0.0 sec. user=mdettweiler [2016-05-04 07:07:57] 615*2^1428153-1 is not prime. Res64: FE2A45658B66C022 Time : 0.0 sec. user=mdettweiler [2016-05-04 07:10:21] 649*2^1428153-1 is not prime. Res64: 62A29EA6944E47F7 Time : 0.0 sec. user=mdettweiler [2016-05-04 07:10:21] 847*2^1428153-1 is not prime. Res64: CA01FB9B98756300 Time : 0.0 sec. user=mdettweiler [2016-05-04 07:10:21] 651*2^1428154-1 is not prime. Res64: B466EE3CBF866489 Time : 0.0 sec. user=mdettweiler [2016-05-04 07:10:22] 657*2^1428154-1 is not prime. Res64: FFFE38E3DF253285 Time : 0.0 sec. user=mdettweiler [2016-05-04 07:10:22] 671*2^1428154-1 is not prime. Res64: 01E122D0F24F1A2B Time : 0.0 sec. user=mdettweiler [2016-05-04 07:19:25] 737*2^1428154-1 is not prime. Res64: 4828EF56BB9C28D5 Time : 0.0 sec. user=mdettweiler [2016-05-04 07:19:25] 755*2^1428154-1 is not prime. Res64: A466FB1ACA4F18DD Time : 0.0 sec. user=mdettweiler [2016-05-04 07:19:26] 791*2^1428154-1 is not prime. Res64: FBD013D2968F1BDF Time : 0.0 sec. user=mdettweiler [2016-05-04 07:19:26] 923*2^1428154-1 is not prime. Res64: 052A41D808F4FEDF Time : 0.0 sec. user=mdettweiler [2016-05-04 07:19:27] 619*2^1428155-1 is not prime. Res64: 84A6B3BC2EE0D755 Time : 0.0 sec. user=mdettweiler [2016-05-04 07:19:59] 655*2^1428155-1 is not prime. Res64: CEFD44A6630A8740 Time : 0.0 sec. user=mdettweiler [2016-05-04 07:19:59] 669*2^1428155-1 is not prime. Res64: F2EDE2F1D631FAC0 Time : 0.0 sec. user=mdettweiler [2016-05-04 07:20:00] 675*2^1428155-1 is not prime. Res64: F344C8D6B282EE93 Time : 0.0 sec. user=mdettweiler [2016-05-04 07:20:00] 679*2^1428155-1 is not prime. Res64: 2CA8F1A7B499B032 Time : 0.0 sec. user=mdettweiler [2016-05-04 07:20:01] 741*2^1428155-1 is not prime. Res64: BFCDCB3FE5633045 Time : 0.0 sec. user=mdettweiler [2016-05-04 07:53:02] 799*2^1428155-1 is not prime. Res64: 023FF662CF67443A Time : 0.0 sec. user=mdettweiler [2016-05-04 07:53:03] 871*2^1428155-1 is not prime. Res64: 312DD6810D35A553 Time : 0.0 sec. user=mdettweiler [2016-05-04 07:53:03] 889*2^1428155-1 is not prime. Res64: 7751AB17021A8027 Time : 0.0 sec. user=mdettweiler [2016-05-04 07:53:03] 623*2^1428156-1 is not prime. Res64: AF5E0B511F358279 Time : 0.0 sec. user=mdettweiler [2016-05-04 07:53:04] 653*2^1428156-1 is not prime. Res64: 2AEE1BCF42757A02 Time : 0.0 sec. user=mdettweiler [2016-05-04 07:55:50] 693*2^1428156-1 is not prime. Res64: 9D42F7A1A7E33A2D Time : 0.0 sec. user=mdettweiler [2016-05-04 07:55:51] 737*2^1428156-1 is not prime. Res64: 5236C62E814B8D97 Time : 0.0 sec. user=mdettweiler [2016-05-04 07:55:51] 773*2^1428156-1 is not prime. Res64: 11B01FE81060DAA1 Time : 0.0 sec. user=mdettweiler [2016-05-04 07:55:52] 645*2^1428157-1 is not prime. Res64: B4513E88A4BA5365 Time : 0.0 sec. user=mdettweiler [2016-05-04 07:55:52] 829*2^1428157-1 is not prime. Res64: 5727BD0497696880 Time : 0.0 sec. user=mdettweiler [2016-05-04 08:04:54] 849*2^1428157-1 is not prime. Res64: 10C5F3D59C3EE7E3 Time : 0.0 sec. user=mdettweiler [2016-05-04 08:04:56] 885*2^1428157-1 is not prime. Res64: 3E785107DF3C7AE9 Time : 0.0 sec. user=mdettweiler [2016-05-04 08:04:57] 889*2^1428157-1 is not prime. Res64: BA2246E7F89A4B48 Time : 0.0 sec. user=mdettweiler [2016-05-04 08:04:58] 623*2^1428158-1 is not prime. Res64: D7D70589432D7F60 Time : 0.0 sec. user=mdettweiler [2016-05-04 08:04:59] 663*2^1428158-1 is not prime. Res64: A519820F90B0C67C Time : 0.0 sec. user=mdettweiler [2016-05-04 08:05:17] 813*2^1428158-1 is not prime. Res64: 0465FE18B68B23ED Time : 0.0 sec. user=mdettweiler [2016-05-04 08:05:18] 825*2^1428158-1 is not prime. Res64: 3018D6EB0324A71E Time : 0.0 sec. user=mdettweiler [2016-05-04 08:05:19] 843*2^1428158-1 is not prime. Res64: 3D927A585F6BDC89 Time : 0.0 sec. user=mdettweiler [2016-05-04 08:05:20] 875*2^1428158-1 is not prime. Res64: B5FC8DA8E0CDA192 Time : 0.0 sec. user=mdettweiler [2016-05-04 08:05:22] 951*2^1428158-1 is not prime. Res64: 44C789C0E6343522 Time : 0.0 sec. user=mdettweiler [2016-05-04 08:38:27] 957*2^1428158-1 is not prime. Res64: DA7D313B42F8DCD4 Time : 0.0 sec. user=mdettweiler [2016-05-04 08:38:28] 661*2^1428159-1 is not prime. Res64: 24D18A6F364116F7 Time : 0.0 sec. user=mdettweiler [2016-05-04 08:38:29] 919*2^1428159-1 is not prime. Res64: B70FFE9BA0539099 Time : 0.0 sec. user=mdettweiler [2016-05-04 08:38:29] 951*2^1428159-1 is not prime. Res64: E010D76FFF18B356 Time : 0.0 sec. user=mdettweiler [2016-05-04 08:38:29] 969*2^1428159-1 is not prime. Res64: BD335FB297D8E163 Time : 0.0 sec. user=mdettweiler [2016-05-04 08:41:04] 603*2^1428160-1 is not prime. Res64: D10BC4DDD572EF43 Time : 0.0 sec. user=mdettweiler [2016-05-04 08:41:04] 855*2^1428160-1 is not prime. Res64: BD095A065245B300 Time : 0.0 sec. user=mdettweiler [2016-05-04 08:41:04] 619*2^1428161-1 is not prime. Res64: 7FA60D61A116698F Time : 0.0 sec. user=mdettweiler [2016-05-04 08:41:05] 631*2^1428161-1 is not prime. Res64: 3B67898BE026096F Time : 0.0 sec. user=mdettweiler [2016-05-04 08:41:05] 691*2^1428161-1 is not prime. Res64: 9669EAEEF5028F64 Time : 0.0 sec. user=mdettweiler [2016-05-04 08:50:13] 727*2^1428161-1 is not prime. Res64: FD75338E4BB9E389 Time : 0.0 sec. user=mdettweiler [2016-05-04 08:50:14] 925*2^1428161-1 is not prime. Res64: EBABB082470C3579 Time : 0.0 sec. user=mdettweiler [2016-05-04 08:50:14] 981*2^1428161-1 is not prime. Res64: 9916CBE15BF2B7BB Time : 0.0 sec. user=mdettweiler [2016-05-04 08:50:15] 683*2^1428162-1 is not prime. Res64: 251B7C251AB60017 Time : 0.0 sec. user=mdettweiler [2016-05-04 08:50:15] 705*2^1428162-1 is not prime. Res64: 4F2CC0BC9697069F Time : 0.0 sec. user=mdettweiler [2016-05-04 08:50:36] 725*2^1428162-1 is not prime. Res64: 96FED28816F193F1 Time : 0.0 sec. user=mdettweiler [2016-05-04 08:50:36] 747*2^1428162-1 is not prime. Res64: ECFD25752C22102D Time : 0.0 sec. user=mdettweiler [2016-05-04 08:50:36] 797*2^1428162-1 is not prime. Res64: 549A7F33D1009143 Time : 0.0 sec. user=mdettweiler [2016-05-04 08:50:37] 921*2^1428162-1 is not prime. Res64: 15E541CD2F90B57B Time : 0.0 sec. user=mdettweiler [2016-05-04 08:50:37] 975*2^1428162-1 is not prime. Res64: DAFC7D5B47944B37 Time : 0.0 sec. user=mdettweiler [2016-05-04 09:23:36] 723*2^1428163-1 is not prime. Res64: 30C1DDD9FD254E8D Time : 0.0 sec. user=mdettweiler [2016-05-04 09:23:37] 751*2^1428163-1 is not prime. Res64: E79DBA195C9C470E Time : 0.0 sec. user=mdettweiler [2016-05-04 09:23:37] 859*2^1428163-1 is not prime. Res64: 80C1AEFC046F0DEE Time : 0.0 sec. user=mdettweiler [2016-05-04 09:23:38] 939*2^1428163-1 is not prime. Res64: 62F744E793FFA6D1 Time : 0.0 sec. user=mdettweiler [2016-05-04 09:23:38] 961*2^1428163-1 is not prime. Res64: 515BC2479EB6CA68 Time : 0.0 sec. user=mdettweiler [2016-05-04 09:26:29] 973*2^1428163-1 is not prime. Res64: 5814199D4D46F814 Time : 0.0 sec. user=mdettweiler [2016-05-04 09:26:29] 609*2^1428164-1 is not prime. Res64: FC22A301E53EC58F Time : 0.0 sec. user=mdettweiler [2016-05-04 09:26:29] 635*2^1428164-1 is not prime. Res64: A0379A1485820674 Time : 0.0 sec. user=mdettweiler [2016-05-04 09:26:30] 749*2^1428164-1 is not prime. Res64: 93075BB1ED73803C Time : 0.0 sec. user=mdettweiler [2016-05-04 09:26:30] 767*2^1428164-1 is not prime. Res64: F289EF06E68AEDA1 Time : 0.0 sec. user=mdettweiler [2016-05-04 09:35:18] 813*2^1428164-1 is not prime. Res64: 075356EC782C371C Time : 0.0 sec. user=mdettweiler [2016-05-04 09:35:18] 893*2^1428164-1 is not prime. Res64: 0EA15E5792E6860A Time : 0.0 sec. user=mdettweiler [2016-05-04 09:35:19] 945*2^1428164-1 is not prime. Res64: 171F37E1B18E01E1 Time : 0.0 sec. user=mdettweiler [2016-05-04 09:35:19] 995*2^1428164-1 is not prime. Res64: D162A9FAEEE78A3E Time : 0.0 sec. user=mdettweiler [2016-05-04 09:35:19] 795*2^1428165-1 is not prime. Res64: 0D930E30A8270CE3 Time : 0.0 sec. user=mdettweiler [2016-05-04 09:35:54] 817*2^1428165-1 is not prime. Res64: 8F824C778632278B Time : 0.0 sec. user=mdettweiler [2016-05-04 09:35:54] 885*2^1428165-1 is not prime. Res64: E2C9FED6E8BD25E6 Time : 0.0 sec. user=mdettweiler [2016-05-04 09:35:55] 695*2^1428166-1 is not prime. Res64: 75CA2EB83A2ED75F Time : 0.0 sec. user=mdettweiler [2016-05-04 09:35:55] 801*2^1428166-1 is not prime. Res64: 0497FFB44299A348 Time : 0.0 sec. user=mdettweiler [2016-05-04 09:35:55] 1001*2^1428166-1 is not prime. Res64: AB2893E028DE8802 Time : 0.0 sec. user=mdettweiler [2016-05-04 10:08:40] 673*2^1428167-1 is not prime. Res64: 541EECFEA79E23B7 Time : 0.0 sec. user=mdettweiler [2016-05-04 10:08:42] 675*2^1428167-1 is not prime. Res64: D171819EC6EC4F4C Time : 0.0 sec. user=mdettweiler [2016-05-04 10:08:43] 775*2^1428167-1 is not prime. Res64: E55933FD994132CC Time : 0.0 sec. user=mdettweiler [2016-05-04 10:08:44] 823*2^1428167-1 is not prime. Res64: 38468DFF8C387F0A Time : 0.0 sec. user=mdettweiler [2016-05-04 10:08:45] 879*2^1428167-1 is not prime. Res64: 4266D1CB33DA1041 Time : 0.0 sec. user=mdettweiler [2016-05-04 10:11:39] 985*2^1428167-1 is not prime. Res64: 0AA7DBEC2B4CB27F Time : 0.0 sec. user=mdettweiler [2016-05-04 10:11:39] 657*2^1428168-1 is not prime. Res64: ADE2F9DDE0AE7934 Time : 0.0 sec. user=mdettweiler [2016-05-04 10:11:40] 753*2^1428168-1 is not prime. Res64: FB551EACB1B35620 Time : 0.0 sec. user=mdettweiler [2016-05-04 10:11:40] 789*2^1428168-1 is not prime. Res64: 2918DA3D9DAFB16F Time : 0.0 sec. user=mdettweiler [2016-05-04 10:11:41] 839*2^1428168-1 is not prime. Res64: 78066A7117F1D85A Time : 0.0 sec. user=mdettweiler [2016-05-04 10:20:26] 875*2^1428168-1 is not prime. Res64: C7FC1D476E8BB2ED Time : 0.0 sec. user=mdettweiler [2016-05-04 10:20:26] 801*2^1428169-1 is not prime. Res64: 5C65AABE2C8DB437 Time : 0.0 sec. user=mdettweiler [2016-05-04 10:20:27] 847*2^1428169-1 is not prime. Res64: 4F52262E88C9D3F9 Time : 0.0 sec. user=mdettweiler [2016-05-04 10:20:27] 897*2^1428169-1 is not prime. Res64: 8E2F78B67EF5E884 Time : 0.0 sec. user=mdettweiler [2016-05-04 10:20:28] 657*2^1428170-1 is not prime. Res64: A998A09E4A8B0283 Time : 0.0 sec. user=mdettweiler [2016-05-04 10:21:03] 701*2^1428170-1 is not prime. Res64: E8C45196353BE099 Time : 0.0 sec. user=mdettweiler [2016-05-04 10:21:03] 755*2^1428170-1 is not prime. Res64: 1DDCD17CC6EA7E04 Time : 0.0 sec. user=mdettweiler [2016-05-04 10:21:03] 783*2^1428170-1 is not prime. Res64: 11FBE024A8E5D1B8 Time : 0.0 sec. user=mdettweiler [2016-05-04 10:21:04] 845*2^1428170-1 is not prime. Res64: 920AA5C36E593667 Time : 0.0 sec. user=mdettweiler [2016-05-04 10:21:04] 619*2^1428171-1 is not prime. Res64: 9E015FBB32BBA1C6 Time : 0.0 sec. user=mdettweiler [2016-05-04 10:54:18] 793*2^1428171-1 is not prime. Res64: 275123A98679694E Time : 0.0 sec. user=mdettweiler [2016-05-04 10:54:18] 829*2^1428171-1 is not prime. Res64: D756D8AD2CCC53B1 Time : 0.0 sec. user=mdettweiler [2016-05-04 10:54:19] 903*2^1428171-1 is not prime. Res64: 84D22CCCCD1C0B11 Time : 0.0 sec. user=mdettweiler [2016-05-04 10:54:19] 913*2^1428171-1 is not prime. Res64: ADA33208C82A449F Time : 0.0 sec. user=mdettweiler [2016-05-04 10:54:19] 955*2^1428171-1 is not prime. Res64: 82AF87E8DE66BAFB Time : 0.0 sec. user=mdettweiler [2016-05-04 10:56:55] 605*2^1428172-1 is not prime. Res64: 6CA314CF0F9A4648 Time : 0.0 sec. user=mdettweiler [2016-05-04 10:56:55] 665*2^1428172-1 is not prime. Res64: E8679F2F72950CCF Time : 0.0 sec. user=mdettweiler [2016-05-04 10:56:55] 693*2^1428172-1 is not prime. Res64: 3A8A7B68E92119BC Time : 0.0 sec. user=mdettweiler [2016-05-04 10:56:56] 743*2^1428172-1 is not prime. Res64: 2FA0DACDDCE93428 Time : 0.0 sec. user=mdettweiler [2016-05-04 10:56:56] 755*2^1428172-1 is not prime. Res64: BEF376298CB73A69 Time : 0.0 sec. user=mdettweiler [2016-05-04 11:05:55] 607*2^1428173-1 is not prime. Res64: E6B1E757B630EBFD Time : 0.0 sec. user=mdettweiler [2016-05-04 11:05:56] 675*2^1428173-1 is not prime. Res64: 7232EAFABF25F2F8 Time : 0.0 sec. user=mdettweiler [2016-05-04 11:05:57] 837*2^1428173-1 is not prime. Res64: 675835147F1DB4B9 Time : 0.0 sec. user=mdettweiler [2016-05-04 11:05:59] 847*2^1428173-1 is not prime. Res64: EFCDBAA41DB2F411 Time : 0.0 sec. user=mdettweiler [2016-05-04 11:06:00] 615*2^1428174-1 is not prime. Res64: 084EC7B3DB1B733B Time : 0.0 sec. user=mdettweiler [2016-05-04 11:06:15] 651*2^1428174-1 is not prime. Res64: CA6E27ADAE06DDDE Time : 0.0 sec. user=mdettweiler [2016-05-04 11:06:17] 683*2^1428174-1 is not prime. Res64: 8AB0CB812EDE28F3 Time : 0.0 sec. user=mdettweiler [2016-05-04 11:06:18] 693*2^1428174-1 is not prime. Res64: 75E65A8A18AEA7E5 Time : 0.0 sec. user=mdettweiler [2016-05-04 11:06:19] 807*2^1428174-1 is not prime. Res64: 94F3B409FDC0B202 Time : 0.0 sec. user=mdettweiler [2016-05-04 11:06:19] 927*2^1428174-1 is not prime. Res64: 1CB98FBBEC8B1FBA Time : 0.0 sec. user=mdettweiler [2016-05-04 11:39:20] 603*2^1428175-1 is not prime. Res64: 7B9F700149AFBE9A Time : 0.0 sec. user=mdettweiler [2016-05-04 11:39:21] 625*2^1428175-1 is not prime. Res64: A5F453350384313F Time : 0.0 sec. user=mdettweiler [2016-05-04 11:39:21] 759*2^1428175-1 is not prime. Res64: 2B3B3361F45ECEBC Time : 0.0 sec. user=mdettweiler [2016-05-04 11:39:22] 861*2^1428175-1 is not prime. Res64: A842334445BB89DC Time : 0.0 sec. user=mdettweiler [2016-05-04 11:39:22] 969*2^1428175-1 is not prime. Res64: 4F18ECF30ADC92B5 Time : 0.0 sec. user=mdettweiler [2016-05-04 11:41:57] 999*2^1428175-1 is not prime. Res64: 328CDEC45714F907 Time : 0.0 sec. user=mdettweiler [2016-05-04 11:41:58] 815*2^1428176-1 is not prime. Res64: 5C52CAA9ED3EE30B Time : 0.0 sec. user=mdettweiler [2016-05-04 11:41:58] 945*2^1428176-1 is not prime. Res64: 26556A981FB4FC57 Time : 0.0 sec. user=mdettweiler [2016-05-04 11:41:58] 649*2^1428177-1 is not prime. Res64: E2A47F627492E849 Time : 0.0 sec. user=mdettweiler [2016-05-04 11:41:59] 681*2^1428177-1 is not prime. Res64: D686B43CAFA1E93D Time : 0.0 sec. user=mdettweiler [2016-05-04 11:51:18] 871*2^1428177-1 is not prime. Res64: 22F73ED83D940B4F Time : 0.0 sec. user=mdettweiler [2016-05-04 11:51:19] 945*2^1428177-1 is not prime. Res64: 1200223BAE93DCEC Time : 0.0 sec. user=mdettweiler [2016-05-04 11:51:19] 991*2^1428177-1 is not prime. Res64: DF1A3EDF7083A433 Time : 0.0 sec. user=mdettweiler [2016-05-04 11:51:19] 603*2^1428178-1 is not prime. Res64: 1F30A5CBA1FACA89 Time : 0.0 sec. user=mdettweiler [2016-05-04 11:51:20] 687*2^1428178-1 is not prime. Res64: 01C6368BCF44F54B Time : 0.0 sec. user=mdettweiler [2016-05-04 11:51:33] 731*2^1428178-1 is not prime. Res64: 0528D2D06F294E68 Time : 0.0 sec. user=mdettweiler [2016-05-04 11:51:34] 801*2^1428178-1 is not prime. Res64: 8CBCE66738595237 Time : 0.0 sec. user=mdettweiler [2016-05-04 11:51:34] 827*2^1428178-1 is not prime. Res64: 38BC72B4AA8FFD1C Time : 0.0 sec. user=mdettweiler [2016-05-04 11:51:34] 951*2^1428178-1 is not prime. Res64: FF2949F98B29FA1F Time : 0.0 sec. user=mdettweiler [2016-05-04 11:51:35] 609*2^1428179-1 is not prime. Res64: 1EFF3C2C3C413232 Time : 0.0 sec. user=mdettweiler [2016-05-04 12:24:47] 615*2^1428179-1 is not prime. Res64: 048A6676F4A3AF9F Time : 0.0 sec. user=mdettweiler [2016-05-04 12:24:47] 841*2^1428179-1 is not prime. Res64: CD0C8619A49BE4D1 Time : 0.0 sec. user=mdettweiler [2016-05-04 12:24:48] 943*2^1428179-1 is not prime. Res64: 8F56CDAE87549887 Time : 0.0 sec. user=mdettweiler [2016-05-04 12:24:48] 993*2^1428179-1 is not prime. Res64: 0E37C067E9EBA3A1 Time : 0.0 sec. user=mdettweiler [2016-05-04 12:24:49] 623*2^1428180-1 is not prime. Res64: 97E7FD7F89662D94 Time : 0.0 sec. user=mdettweiler [2016-05-04 12:27:04] 723*2^1428180-1 is not prime. Res64: AD17E4A5DFDEE764 Time : 0.0 sec. user=mdettweiler [2016-05-04 12:27:05] 765*2^1428180-1 is not prime. Res64: 8DA244DFC46A11BE Time : 0.0 sec. user=mdettweiler [2016-05-04 12:27:05] 839*2^1428180-1 is not prime. Res64: E65DE171C94B6846 Time : 0.0 sec. user=mdettweiler [2016-05-04 12:27:06] 843*2^1428180-1 is not prime. Res64: 4AEFB1627E62B597 Time : 0.0 sec. user=mdettweiler [2016-05-04 12:27:06] 899*2^1428180-1 is not prime. Res64: A97C5BD3F131162E Time : 0.0 sec. user=mdettweiler [2016-05-04 12:36:32] 645*2^1428181-1 is not prime. Res64: EECD25E49E87116D Time : 0.0 sec. user=mdettweiler [2016-05-04 12:36:32] 859*2^1428181-1 is not prime. Res64: BB7803C2AF739DB5 Time : 0.0 sec. user=mdettweiler [2016-05-04 12:36:33] 861*2^1428181-1 is not prime. Res64: AF28134EA33AEB0B Time : 0.0 sec. user=mdettweiler [2016-05-04 12:36:33] 931*2^1428181-1 is not prime. Res64: CD506CA715582004 Time : 0.0 sec. user=mdettweiler [2016-05-04 12:36:34] 615*2^1428182-1 is not prime. Res64: 658139EB69F01945 Time : 0.0 sec. user=mdettweiler [2016-05-04 12:36:47] 741*2^1428182-1 is not prime. Res64: B2CFA297B3C36CDA Time : 0.0 sec. user=mdettweiler [2016-05-04 12:36:48] 923*2^1428182-1 is not prime. Res64: 075805E5CEE694EB Time : 0.0 sec. user=mdettweiler [2016-05-04 12:36:48] 639*2^1428183-1 is not prime. Res64: 8D28771D9C03C6E2 Time : 0.0 sec. user=mdettweiler [2016-05-04 12:36:48] 703*2^1428183-1 is not prime. Res64: 92EE2F89498E5046 Time : 0.0 sec. user=mdettweiler [2016-05-04 12:36:49] 789*2^1428183-1 is not prime. Res64: 2471EA43B49A19E7 Time : 0.0 sec. user=mdettweiler [2016-05-04 13:09:57] 985*2^1428183-1 is not prime. Res64: 9C3A73FE95F6562B Time : 0.0 sec. user=mdettweiler [2016-05-04 13:09:57] 635*2^1428184-1 is not prime. Res64: 6CD36AE3EF548530 Time : 0.0 sec. user=mdettweiler [2016-05-04 13:09:58] 759*2^1428184-1 is not prime. Res64: 38BDEB5F6615D6B2 Time : 0.0 sec. user=mdettweiler [2016-05-04 13:09:58] 813*2^1428184-1 is not prime. Res64: AF4BFE74A9B1ED5F Time : 0.0 sec. user=mdettweiler [2016-05-04 13:09:59] 825*2^1428184-1 is not prime. Res64: F5A135B1DE3EB48B Time : 0.0 sec. user=mdettweiler [2016-05-04 13:12:07] 857*2^1428184-1 is not prime. Res64: 02F1E2FFCDD8395E Time : 0.0 sec. user=mdettweiler [2016-05-04 13:12:08] 875*2^1428184-1 is not prime. Res64: 0221E2A30B0C62DC Time : 0.0 sec. user=mdettweiler [2016-05-04 13:12:08] 915*2^1428184-1 is not prime. Res64: 565AD0BE27378F82 Time : 0.0 sec. user=mdettweiler [2016-05-04 13:12:09] 917*2^1428184-1 is not prime. Res64: 8FB80E86E1FCA0DC Time : 0.0 sec. user=mdettweiler [2016-05-04 13:12:09] 939*2^1428184-1 is not prime. Res64: 1938028B05918A46 Time : 0.0 sec. user=mdettweiler [2016-05-04 13:21:30] 727*2^1428185-1 is not prime. Res64: 5661658A9371DBA6 Time : 0.0 sec. user=mdettweiler [2016-05-04 13:21:30] 735*2^1428185-1 is not prime. Res64: 65E9ECD3B64CB5D5 Time : 0.0 sec. user=mdettweiler [2016-05-04 13:21:31] 871*2^1428185-1 is not prime. Res64: 9B62963498088A2D Time : 0.0 sec. user=mdettweiler [2016-05-04 13:21:31] 909*2^1428185-1 is not prime. Res64: 9560D901715B1CFD Time : 0.0 sec. user=mdettweiler [2016-05-04 13:21:32] 925*2^1428185-1 is not prime. Res64: E3743D341A92C305 Time : 0.0 sec. user=mdettweiler [2016-05-04 13:22:03] 981*2^1428185-1 is not prime. Res64: 0E7D87BB92050D56 Time : 0.0 sec. user=mdettweiler [2016-05-04 13:22:03] 711*2^1428186-1 is not prime. Res64: F5C1671514532FE1 Time : 0.0 sec. user=mdettweiler [2016-05-04 13:22:03] 893*2^1428186-1 is not prime. Res64: 6819EAB70C621B26 Time : 0.0 sec. user=mdettweiler [2016-05-04 13:22:04] 921*2^1428186-1 is not prime. Res64: 94EBF2CA08A8A2EB Time : 0.0 sec. user=mdettweiler [2016-05-04 13:22:04] 615*2^1428187-1 is not prime. Res64: 6E561857998F1325 Time : 0.0 sec. user=mdettweiler [2016-05-04 13:55:34] 633*2^1428187-1 is not prime. Res64: 8FAB53462BB06BFE Time : 0.0 sec. user=mdettweiler [2016-05-04 13:55:35] 651*2^1428187-1 is not prime. Res64: FA083D7A4C5ECFB5 Time : 0.0 sec. user=mdettweiler [2016-05-04 13:55:35] 693*2^1428187-1 is not prime. Res64: 87337B838AA3BF3C Time : 0.0 sec. user=mdettweiler [2016-05-04 13:55:36] 871*2^1428187-1 is not prime. Res64: 2F68F4407EFF9753 Time : 0.0 sec. user=mdettweiler [2016-05-04 13:55:36] 951*2^1428187-1 is not prime. Res64: BFFBF9D972A81BB1 Time : 0.0 sec. user=mdettweiler [2016-05-04 13:57:35] 623*2^1428188-1 is not prime. Res64: 57217602D2FAC66D Time : 0.0 sec. user=mdettweiler [2016-05-04 13:57:35] 629*2^1428188-1 is not prime. Res64: ECDD0804A4EDAB96 Time : 0.0 sec. user=mdettweiler [2016-05-04 13:57:36] 635*2^1428188-1 is not prime. Res64: AE0EE790050EDB35 Time : 0.0 sec. user=mdettweiler [2016-05-04 13:57:36] 843*2^1428188-1 is not prime. Res64: 3B9C9F17AAD06254 Time : 0.0 sec. user=mdettweiler [2016-05-04 13:57:36] 875*2^1428188-1 is not prime. Res64: 1C4B9B57DEA0B421 Time : 0.0 sec. user=mdettweiler [2016-05-04 14:07:01] 935*2^1428188-1 is not prime. Res64: 54840D02079FB810 Time : 0.0 sec. user=mdettweiler [2016-05-04 14:07:02] 995*2^1428188-1 is not prime. Res64: E0A2C03E568BE112 Time : 0.0 sec. user=mdettweiler [2016-05-04 14:07:02] 649*2^1428189-1 is not prime. Res64: EDDBEA2B891802F0 Time : 0.0 sec. user=mdettweiler [2016-05-04 14:07:03] 655*2^1428189-1 is not prime. Res64: 5B00ACD1732246F3 Time : 0.0 sec. user=mdettweiler [2016-05-04 14:07:03] 747*2^1428189-1 is not prime. Res64: 2EC29A7A6509E3FB Time : 0.0 sec. user=mdettweiler [2016-05-04 14:07:44] 781*2^1428189-1 is not prime. Res64: 7D004A2C95406B21 Time : 0.0 sec. user=mdettweiler [2016-05-04 14:07:45] 789*2^1428189-1 is not prime. Res64: 54AEED91CA55ED0E Time : 0.0 sec. user=mdettweiler [2016-05-04 14:07:45] 927*2^1428189-1 is not prime. Res64: 5982AD96560F6BC8 Time : 0.0 sec. user=mdettweiler [2016-05-04 14:07:45] 605*2^1428190-1 is not prime. Res64: 0248F7480E7E5B0E Time : 0.0 sec. user=mdettweiler [2016-05-04 14:07:46] 671*2^1428190-1 is not prime. Res64: BE2C1AC89801465E Time : 0.0 sec. user=mdettweiler [2016-05-04 14:40:49] 941*2^1428190-1 is not prime. Res64: CC4B59F5CFC11C14 Time : 0.0 sec. user=mdettweiler [2016-05-04 14:40:49] 619*2^1428191-1 is not prime. Res64: B8948FC4E505E3B8 Time : 0.0 sec. user=mdettweiler [2016-05-04 14:40:49] 621*2^1428191-1 is not prime. Res64: 1FB0E210247174E6 Time : 0.0 sec. user=mdettweiler [2016-05-04 14:40:50] 693*2^1428191-1 is not prime. Res64: 90942BCE15CA1B63 Time : 0.0 sec. user=mdettweiler [2016-05-04 14:40:50] 759*2^1428191-1 is not prime. Res64: 648AFFA7719240EE Time : 0.0 sec. user=mdettweiler [2016-05-04 14:42:51] 841*2^1428191-1 is not prime. Res64: D2F5B1B2BAE67F71 Time : 0.0 sec. user=mdettweiler [2016-05-04 14:42:51] 955*2^1428191-1 is not prime. Res64: B71C78DEBC4E3DE6 Time : 0.0 sec. user=mdettweiler [2016-05-04 14:42:51] 999*2^1428191-1 is not prime. Res64: 1355771EA3247D7E Time : 0.0 sec. user=mdettweiler [2016-05-04 14:42:51] 615*2^1428192-1 is not prime. Res64: 7F080AC42C459387 Time : 0.0 sec. user=mdettweiler [2016-05-04 14:42:52] 623*2^1428192-1 is not prime. Res64: 94A15D612B14D1E0 Time : 0.0 sec. user=mdettweiler [2016-05-04 14:52:19] 717*2^1428192-1 is not prime. Res64: 62B95F2B0062F180 Time : 0.0 sec. user=mdettweiler [2016-05-04 14:52:19] 975*2^1428192-1 is not prime. Res64: 98905D280CD76F3F Time : 0.0 sec. user=mdettweiler [2016-05-04 14:52:20] 999*2^1428192-1 is not prime. Res64: 15F63D78132C4B6F Time : 0.0 sec. user=mdettweiler [2016-05-04 14:52:20] 705*2^1428193-1 is not prime. Res64: 5F6F0ACCF503896C Time : 0.0 sec. user=mdettweiler [2016-05-04 14:52:20] 727*2^1428193-1 is not prime. Res64: 612CE5C234BAC725 Time : 0.0 sec. user=mdettweiler [2016-05-04 14:53:06] 817*2^1428193-1 is not prime. Res64: D600738F002CB161 Time : 0.0 sec. user=mdettweiler [2016-05-04 14:53:07] 847*2^1428193-1 is not prime. Res64: 7220C25A8EEBDB85 Time : 0.0 sec. user=mdettweiler [2016-05-04 14:53:07] 889*2^1428193-1 is not prime. Res64: 852B6E7D534AFEC5 Time : 0.0 sec. user=mdettweiler [2016-05-04 14:53:07] 919*2^1428193-1 is not prime. Res64: AE96ABD306724960 Time : 0.0 sec. user=mdettweiler [2016-05-04 14:53:07] 945*2^1428193-1 is not prime. Res64: 0D952D76A2EA1A59 Time : 0.0 sec. user=mdettweiler [2016-05-04 15:26:02] 675*2^1428194-1 is not prime. Res64: C525CFD47E37BDD0 Time : 0.0 sec. user=mdettweiler [2016-05-04 15:26:02] 747*2^1428194-1 is not prime. Res64: A8ACAC73412D97EE Time : 0.0 sec. user=mdettweiler [2016-05-04 15:26:03] 755*2^1428194-1 is not prime. Res64: 239B7890A1182143 Time : 0.0 sec. user=mdettweiler [2016-05-04 15:26:03] 767*2^1428194-1 is not prime. Res64: C392180449FDA151 Time : 0.0 sec. user=mdettweiler [2016-05-04 15:26:03] 825*2^1428194-1 is not prime. Res64: 1916F666AD4C0D44 Time : 0.0 sec. user=mdettweiler [2016-05-04 15:28:16] 851*2^1428194-1 is not prime. Res64: 376C800AB5510AB3 Time : 0.0 sec. user=mdettweiler [2016-05-04 15:28:16] 941*2^1428194-1 is not prime. Res64: F8E923D5BCA916A7 Time : 0.0 sec. user=mdettweiler [2016-05-04 15:28:16] 609*2^1428195-1 is not prime. Res64: F7766C26B54B679F Time : 0.0 sec. user=mdettweiler [2016-05-04 15:28:16] 711*2^1428195-1 is not prime. Res64: C925F3ECF4BF940B Time : 0.0 sec. user=mdettweiler [2016-05-04 15:28:17] 775*2^1428195-1 is not prime. Res64: 499BCC291F5A3F86 Time : 0.0 sec. user=mdettweiler [2016-05-04 15:37:25] 871*2^1428195-1 is not prime. Res64: 14C76DE52D4CCFEF Time : 0.0 sec. user=mdettweiler [2016-05-04 15:37:26] 949*2^1428195-1 is not prime. Res64: E3D0E6D24A4F82A5 Time : 0.0 sec. user=mdettweiler [2016-05-04 15:37:26] 677*2^1428196-1 is not prime. Res64: 28923C65F2936A6A Time : 0.0 sec. user=mdettweiler [2016-05-04 15:37:26] 773*2^1428196-1 is not prime. Res64: CF563E9C7622F124 Time : 0.0 sec. user=mdettweiler [2016-05-04 15:37:26] 807*2^1428196-1 is not prime. Res64: 644E07EB76F8F503 Time : 0.0 sec. user=mdettweiler [2016-05-04 15:38:31] 857*2^1428196-1 is not prime. Res64: 355AB4B0C8A55D59 Time : 0.0 sec. user=mdettweiler [2016-05-04 15:38:31] 691*2^1428197-1 is not prime. Res64: F33866254010447F Time : 0.0 sec. user=mdettweiler [2016-05-04 15:38:31] 795*2^1428197-1 is not prime. Res64: 337BCA20B4606C77 Time : 0.0 sec. user=mdettweiler [2016-05-04 15:38:32] 825*2^1428197-1 is not prime. Res64: 6DBF8B0E8572F86D Time : 0.0 sec. user=mdettweiler [2016-05-04 15:38:32] 837*2^1428197-1 is not prime. Res64: EA64B7E6ACF7F9C8 Time : 0.0 sec. user=mdettweiler [2016-05-04 16:11:13] 865*2^1428197-1 is not prime. Res64: 11B3A44492C3FC70 Time : 0.0 sec. user=mdettweiler [2016-05-04 16:11:14] 931*2^1428197-1 is not prime. Res64: 3CF4D90C1CC4883F Time : 0.0 sec. user=mdettweiler [2016-05-04 16:11:14] 945*2^1428197-1 is not prime. Res64: 9D5C0C689778E7FC Time : 0.0 sec. user=mdettweiler [2016-05-04 16:11:15] 641*2^1428198-1 is not prime. Res64: 78226AC97AFDA849 Time : 0.0 sec. user=mdettweiler [2016-05-04 16:11:15] 683*2^1428198-1 is not prime. Res64: DBD6F6A3AA75F571 Time : 0.0 sec. user=mdettweiler [2016-05-04 16:13:35] 713*2^1428198-1 is not prime. Res64: 15831E01A622AC46 Time : 0.0 sec. user=mdettweiler [2016-05-04 16:13:35] 731*2^1428198-1 is not prime. Res64: C493AA3581382D6B Time : 0.0 sec. user=mdettweiler [2016-05-04 16:13:36] 821*2^1428198-1 is not prime. Res64: 8BAC910685C4486F Time : 0.0 sec. user=mdettweiler [2016-05-04 16:13:36] 861*2^1428198-1 is not prime. Res64: E5AD222A7BFBB980 Time : 0.0 sec. user=mdettweiler [2016-05-04 16:13:37] 663*2^1428199-1 is not prime. Res64: F4CDDFB3A5377A61 Time : 0.0 sec. user=mdettweiler [2016-05-04 16:22:55] 675*2^1428199-1 is not prime. Res64: E65DAFCA07B3FD1F Time : 0.0 sec. user=mdettweiler [2016-05-04 16:22:56] 741*2^1428199-1 is not prime. Res64: C7296106F7DF595C Time : 0.0 sec. user=mdettweiler [2016-05-04 16:22:56] 771*2^1428199-1 is not prime. Res64: 17DD193C43F9B6AD Time : 0.0 sec. user=mdettweiler [2016-05-04 16:22:57] 873*2^1428199-1 is not prime. Res64: 2FEB9C18505E5692 Time : 0.0 sec. user=mdettweiler [2016-05-04 16:22:57] 975*2^1428199-1 is not prime. Res64: 42F27163EC7F1DB5 Time : 0.0 sec. user=mdettweiler [2016-05-04 16:24:05] 999*2^1428199-1 is not prime. Res64: 8580AE57E57F9A17 Time : 0.0 sec. user=mdettweiler [2016-05-04 16:24:05] 615*2^1428200-1 is not prime. Res64: A4CB4F1ECEAC8BE4 Time : 0.0 sec. user=mdettweiler [2016-05-04 16:24:06] 665*2^1428200-1 is not prime. Res64: 120DA64709F5472C Time : 0.0 sec. user=mdettweiler [2016-05-04 16:24:06] 785*2^1428200-1 is not prime. Res64: 6861900300AEAEEE Time : 0.0 sec. user=mdettweiler [2016-05-04 16:24:06] 839*2^1428200-1 is not prime. Res64: 2CA5BEA73B257A0B Time : 0.0 sec. user=mdettweiler [2016-05-04 16:56:47] 945*2^1428200-1 is not prime. Res64: 9480A112D05412BC Time : 0.0 sec. user=mdettweiler [2016-05-04 16:56:47] 963*2^1428200-1 is not prime. Res64: D9694145A0FE1434 Time : 0.0 sec. user=mdettweiler [2016-05-04 16:56:48] 995*2^1428200-1 is not prime. Res64: 49DA24AD65BE7DB6 Time : 0.0 sec. user=mdettweiler [2016-05-04 16:56:48] 627*2^1428201-1 is not prime. Res64: DB62DDF4D545B21F Time : 0.0 sec. user=mdettweiler [2016-05-04 16:56:49] 691*2^1428201-1 is not prime. Res64: FBBB37463F974DF0 Time : 0.0 sec. user=mdettweiler [2016-05-04 16:58:55] 711*2^1428201-1 is not prime. Res64: 9DECD50A1AF9AF82 Time : 0.0 sec. user=mdettweiler [2016-05-04 16:58:56] 819*2^1428201-1 is not prime. Res64: 4DBB250B0B352107 Time : 0.0 sec. user=mdettweiler [2016-05-04 16:58:56] 895*2^1428201-1 is not prime. Res64: FB97151052A9FD5E Time : 0.0 sec. user=mdettweiler [2016-05-04 16:58:56] 945*2^1428201-1 is not prime. Res64: E3CCB6F66FE13CD2 Time : 0.0 sec. user=mdettweiler [2016-05-04 16:58:57] 735*2^1428202-1 is not prime. Res64: 457B9DDBD5B2147B Time : 0.0 sec. user=mdettweiler [2016-05-04 17:08:11] 747*2^1428202-1 is not prime. Res64: D377810BBA85D0F2 Time : 0.0 sec. user=mdettweiler [2016-05-04 17:08:12] 951*2^1428202-1 is not prime. Res64: EE59ADCEEFE470DE Time : 0.0 sec. user=mdettweiler [2016-05-04 17:08:12] 981*2^1428202-1 is not prime. Res64: 5B67625EC6450BBA Time : 0.0 sec. user=mdettweiler [2016-05-04 17:08:13] 615*2^1428203-1 is not prime. Res64: 2D2C4EFBFB6EE263 Time : 0.0 sec. user=mdettweiler [2016-05-04 17:08:13] 693*2^1428203-1 is not prime. Res64: 764D480947BE23F3 Time : 0.0 sec. user=mdettweiler [2016-05-04 17:09:24] 699*2^1428203-1 is not prime. Res64: 4DA95931A80D4161 Time : 0.0 sec. user=mdettweiler [2016-05-04 17:09:24] 705*2^1428203-1 is not prime. Res64: 1E30917610547318 Time : 0.0 sec. user=mdettweiler [2016-05-04 17:09:25] 715*2^1428203-1 is not prime. Res64: C7C707F8A4680615 Time : 0.0 sec. user=mdettweiler [2016-05-04 17:09:25] 813*2^1428203-1 is not prime. Res64: 4033A7A76FDCC408 Time : 0.0 sec. user=mdettweiler [2016-05-04 17:09:26] 921*2^1428203-1 is not prime. Res64: 865595C8D251FA24 Time : 0.0 sec. user=mdettweiler [2016-05-04 17:42:22] 605*2^1428204-1 is not prime. Res64: 7A44DF724D739F22 Time : 0.0 sec. user=mdettweiler [2016-05-04 17:42:22] 665*2^1428204-1 is not prime. Res64: EA31CA98AB623DA2 Time : 0.0 sec. user=mdettweiler [2016-05-04 17:42:22] 705*2^1428204-1 is not prime. Res64: 7345798B9FA9D673 Time : 0.0 sec. user=mdettweiler [2016-05-04 17:42:23] 723*2^1428204-1 is not prime. Res64: 788E76B168866800 Time : 0.0 sec. user=mdettweiler [2016-05-04 17:42:23] 837*2^1428204-1 is not prime. Res64: 8BDE0E13040C67C4 Time : 0.0 sec. user=mdettweiler [2016-05-04 17:44:29] 875*2^1428204-1 is not prime. Res64: 4AD73883CEE6357B Time : 0.0 sec. user=mdettweiler [2016-05-04 17:44:30] 929*2^1428204-1 is not prime. Res64: 94377181AFFA2CC5 Time : 0.0 sec. user=mdettweiler [2016-05-04 17:44:30] 945*2^1428204-1 is not prime. Res64: 9F8A0C57C76A62A2 Time : 0.0 sec. user=mdettweiler [2016-05-04 17:44:30] 969*2^1428204-1 is not prime. Res64: 3AFEA5122BA84B1B Time : 0.0 sec. user=mdettweiler [2016-05-04 17:44:31] 649*2^1428205-1 is not prime. Res64: 4E4B834E87B7B2CB Time : 0.0 sec. user=mdettweiler [2016-05-04 17:53:45] 741*2^1428205-1 is not prime. Res64: 7C20D47805E31FDB Time : 0.0 sec. user=mdettweiler [2016-05-04 17:53:46] 825*2^1428205-1 is not prime. Res64: E2B4AD19D4866EA6 Time : 0.0 sec. user=mdettweiler [2016-05-04 17:53:46] 859*2^1428205-1 is not prime. Res64: D4D2046DAD97E5DA Time : 0.0 sec. user=mdettweiler [2016-05-04 17:53:46] 657*2^1428206-1 is not prime. Res64: C5051DA286D671E7 Time : 0.0 sec. user=mdettweiler [2016-05-04 17:53:47] 755*2^1428206-1 is not prime. Res64: 7A64936FF1100CBE Time : 0.0 sec. user=mdettweiler [2016-05-04 17:54:53] 957*2^1428206-1 is not prime. Res64: FC4679B981D34E8B Time : 0.0 sec. user=mdettweiler [2016-05-04 17:54:54] 963*2^1428206-1 is not prime. Res64: 71E32936888165D3 Time : 0.0 sec. user=mdettweiler [2016-05-04 17:54:54] 795*2^1428207-1 is not prime. Res64: 5FB0569C147F6AA1 Time : 0.0 sec. user=mdettweiler [2016-05-04 17:54:54] 871*2^1428207-1 is not prime. Res64: 348A6D46A65AEC9C Time : 0.0 sec. user=mdettweiler [2016-05-04 17:54:55] 873*2^1428207-1 is not prime. Res64: 30A40896A861CBBD Time : 0.0 sec. user=mdettweiler [2016-05-04 18:27:48] 879*2^1428207-1 is not prime. Res64: 1A6BA2ED8204F1C2 Time : 0.0 sec. user=mdettweiler [2016-05-04 18:27:49] 909*2^1428207-1 is not prime. Res64: BAB90C3A1C9BBD47 Time : 0.0 sec. user=mdettweiler [2016-05-04 18:27:50] 615*2^1428208-1 is not prime. Res64: E6CE4196FAC54C0A Time : 0.0 sec. user=mdettweiler [2016-05-04 18:27:51] 689*2^1428208-1 is not prime. Res64: 46A9B239A6342FDF Time : 0.0 sec. user=mdettweiler [2016-05-04 18:27:52] 797*2^1428208-1 is not prime. Res64: A2D3D8B26ED59598 Time : 0.0 sec. user=mdettweiler [2016-05-04 18:30:00] 813*2^1428208-1 is not prime. Res64: A3398EAAD4297B7C Time : 0.0 sec. user=mdettweiler [2016-05-04 18:30:00] 839*2^1428208-1 is not prime. Res64: 24C43201798BE04B Time : 0.0 sec. user=mdettweiler [2016-05-04 18:30:01] 845*2^1428208-1 is not prime. Res64: 6104353E092017CD Time : 0.0 sec. user=mdettweiler [2016-05-04 18:30:01] 875*2^1428208-1 is not prime. Res64: EE4F0A8C36826A62 Time : 0.0 sec. user=mdettweiler [2016-05-04 18:30:02] 929*2^1428208-1 is not prime. Res64: BD7AAA7F41109278 Time : 0.0 sec. user=mdettweiler [2016-05-04 18:39:10] 657*2^1428209-1 is not prime. Res64: 51959AE7F01626B2 Time : 0.0 sec. user=mdettweiler [2016-05-04 18:39:10] 697*2^1428209-1 is not prime. Res64: CA824AA3F8512A85 Time : 0.0 sec. user=mdettweiler [2016-05-04 18:39:10] 771*2^1428209-1 is not prime. Res64: 73E26B6866A4BBD6 Time : 0.0 sec. user=mdettweiler [2016-05-04 18:39:11] 847*2^1428209-1 is not prime. Res64: A58DB2782FCD0523 Time : 0.0 sec. user=mdettweiler [2016-05-04 18:39:11] 861*2^1428209-1 is not prime. Res64: 88FC19860C081BCF Time : 0.0 sec. user=mdettweiler [2016-05-04 18:40:34] 867*2^1428209-1 is not prime. Res64: 3CB8A01241AC30E9 Time : 0.0 sec. user=mdettweiler [2016-05-04 18:40:34] 907*2^1428209-1 is not prime. Res64: F58877DF49B70391 Time : 0.0 sec. user=mdettweiler [2016-05-04 18:40:35] 633*2^1428210-1 is not prime. Res64: 649F9C6B6913FCCA Time : 0.0 sec. user=mdettweiler [2016-05-04 18:40:35] 713*2^1428210-1 is not prime. Res64: 7B83E8B079CA74D5 Time : 0.0 sec. user=mdettweiler [2016-05-04 18:40:35] 735*2^1428210-1 is not prime. Res64: 060A5D110A77DF08 Time : 0.0 sec. user=mdettweiler [2016-05-04 19:13:09] 773*2^1428210-1 is not prime. Res64: 5588FF67F66D0721 Time : 0.0 sec. user=mdettweiler [2016-05-04 19:13:10] 801*2^1428210-1 is not prime. Res64: A823842B15C09D51 Time : 0.0 sec. user=mdettweiler [2016-05-04 19:13:10] 851*2^1428210-1 is not prime. Res64: 807786CFCE3CD9FF Time : 0.0 sec. user=mdettweiler [2016-05-04 19:13:11] 921*2^1428210-1 is not prime. Res64: 2B4920F272B9A3DD Time : 0.0 sec. user=mdettweiler [2016-05-04 19:13:11] 609*2^1428211-1 is not prime. Res64: 144E9335A99E482C Time : 0.0 sec. user=mdettweiler [2016-05-04 19:15:34] 685*2^1428211-1 is not prime. Res64: 647BFFDC81736CC1 Time : 0.0 sec. user=mdettweiler [2016-05-04 19:15:35] 715*2^1428211-1 is not prime. Res64: 573F5FBA151196E2 Time : 0.0 sec. user=mdettweiler [2016-05-04 19:15:35] 813*2^1428211-1 is not prime. Res64: 5ACCE32FF6517C33 Time : 0.0 sec. user=mdettweiler [2016-05-04 19:15:35] 835*2^1428211-1 is not prime. Res64: A43E1A12382632AD Time : 0.0 sec. user=mdettweiler [2016-05-04 19:15:36] 901*2^1428211-1 is not prime. Res64: 34232D53757B3A69 Time : 0.0 sec. user=mdettweiler [2016-05-04 19:24:51] 939*2^1428211-1 is not prime. Res64: E9703D210440B361 Time : 0.0 sec. user=mdettweiler [2016-05-04 19:24:51] 605*2^1428212-1 is not prime. Res64: E1F98B2D13098A26 Time : 0.0 sec. user=mdettweiler [2016-05-04 19:24:52] 615*2^1428212-1 is not prime. Res64: 90C7E67C05ED0ADD Time : 0.0 sec. user=mdettweiler [2016-05-04 19:24:52] 623*2^1428212-1 is not prime. Res64: 9F3B04492221AB58 Time : 0.0 sec. user=mdettweiler [2016-05-04 19:24:52] 719*2^1428212-1 is not prime. Res64: 0A376452A097DABC Time : 0.0 sec. user=mdettweiler [2016-05-04 19:26:16] 743*2^1428212-1 is not prime. Res64: E12B217BAD75E7FE Time : 0.0 sec. user=mdettweiler [2016-05-04 19:26:16] 855*2^1428212-1 is not prime. Res64: 3D697A8BE6223F90 Time : 0.0 sec. user=mdettweiler [2016-05-04 19:26:17] 875*2^1428212-1 is not prime. Res64: 9439C476F915B57F Time : 0.0 sec. user=mdettweiler [2016-05-04 19:26:17] 649*2^1428213-1 is not prime. Res64: 723EA9AE115ABC04 Time : 0.0 sec. user=mdettweiler [2016-05-04 19:26:17] 741*2^1428213-1 is not prime. Res64: 3FA30E0C3480B9F6 Time : 0.0 sec. user=mdettweiler [2016-05-04 20:02:05] 759*2^1428213-1 is not prime. Res64: 9A25EDB1A04122EA Time : 0.0 sec. user=mdettweiler [2016-05-04 20:02:06] 795*2^1428213-1 is not prime. Res64: 6A64BF1C790F5573 Time : 0.0 sec. user=mdettweiler [2016-05-04 20:02:06] 811*2^1428213-1 is not prime. Res64: FCB2F296B8A18917 Time : 0.0 sec. user=mdettweiler [2016-05-04 20:02:07] 921*2^1428213-1 is not prime. Res64: 5BA5C52507D7E55D Time : 0.0 sec. user=mdettweiler [2016-05-04 20:02:08] 731*2^1428214-1 is not prime. Res64: 5B9AB5EC1DF6C5A7 Time : 0.0 sec. user=mdettweiler [2016-05-04 20:04:14] 737*2^1428214-1 is not prime. Res64: 71457B44A8632A2B Time : 0.0 sec. user=mdettweiler [2016-05-04 20:04:15] 755*2^1428214-1 is not prime. Res64: BF1954C8AAE508E9 Time : 0.0 sec. user=mdettweiler [2016-05-04 20:04:17] 855*2^1428214-1 is not prime. Res64: 275C29D1634C26E9 Time : 0.0 sec. user=mdettweiler [2016-05-04 20:04:18] 857*2^1428214-1 is not prime. Res64: C857C580C2453385 Time : 0.0 sec. user=mdettweiler [2016-05-04 20:04:19] 915*2^1428214-1 is not prime. Res64: 9528665CCB09B4C8 Time : 0.0 sec. user=mdettweiler [2016-05-04 20:13:38] 923*2^1428214-1 is not prime. Res64: 67F86B87CD38A0B0 Time : 0.0 sec. user=mdettweiler [2016-05-04 20:13:39] 941*2^1428214-1 is not prime. Res64: C3C5D43473B98A65 Time : 0.0 sec. user=mdettweiler [2016-05-04 20:13:39] 945*2^1428214-1 is not prime. Res64: 6C6C1B2B389B30CB Time : 0.0 sec. user=mdettweiler [2016-05-04 20:13:39] 601*2^1428215-1 is not prime. Res64: A477F10FCE5C2673 Time : 0.0 sec. user=mdettweiler [2016-05-04 20:13:39] 609*2^1428215-1 is not prime. Res64: 00FE018025FFE489 Time : 0.0 sec. user=mdettweiler [2016-05-04 20:14:57] 633*2^1428215-1 is not prime. Res64: F78E98EB5ED9074F Time : 0.0 sec. user=mdettweiler [2016-05-04 20:14:57] 655*2^1428215-1 is not prime. Res64: EAC68FFA285C1066 Time : 0.0 sec. user=mdettweiler [2016-05-04 20:14:57] 661*2^1428215-1 is not prime. Res64: 97D6184AC05763E9 Time : 0.0 sec. user=mdettweiler [2016-05-04 20:14:57] 799*2^1428215-1 is not prime. Res64: 07F8A522C6F451B8 Time : 0.0 sec. user=mdettweiler [2016-05-04 20:14:58] 805*2^1428215-1 is not prime. Res64: 9FBF805696B81901 Time : 0.0 sec. user=mdettweiler [2016-05-04 20:49:27] 843*2^1428215-1 is not prime. Res64: BC7748B324AA9ABB Time : 0.0 sec. user=mdettweiler [2016-05-04 20:49:27] 909*2^1428215-1 is not prime. Res64: 8A3D743673D1674B Time : 0.0 sec. user=mdettweiler [2016-05-04 20:49:28] 653*2^1428216-1 is not prime. Res64: 0900412331311C06 Time : 0.0 sec. user=mdettweiler [2016-05-04 20:49:28] 669*2^1428216-1 is not prime. Res64: 693418203936197C Time : 0.0 sec. user=mdettweiler [2016-05-04 20:49:29] 689*2^1428216-1 is not prime. Res64: 96655646EC88C2DC Time : 0.0 sec. user=mdettweiler [2016-05-04 20:51:33] 825*2^1428216-1 is not prime. Res64: CE942A77641BA4E0 Time : 0.0 sec. user=mdettweiler [2016-05-04 20:51:33] 879*2^1428216-1 is not prime. Res64: 1EA5FAACD2E0A00E Time : 0.0 sec. user=mdettweiler [2016-05-04 20:51:34] 975*2^1428216-1 is not prime. Res64: 86BA8BB1546AD2D1 Time : 0.0 sec. user=mdettweiler [2016-05-04 20:51:34] 615*2^1428217-1 is not prime. Res64: 8F04055F0290C645 Time : 0.0 sec. user=mdettweiler [2016-05-04 20:51:35] 847*2^1428217-1 is not prime. Res64: 7A689719D4A14618 Time : 0.0 sec. user=mdettweiler [2016-05-04 21:00:04] 861*2^1428217-1 is not prime. Res64: 3B6E6D5DD6AD4CFE Time : 0.0 sec. user=mdettweiler [2016-05-04 21:00:05] 651*2^1428218-1 is not prime. Res64: 01027E02A39BBF02 Time : 0.0 sec. user=mdettweiler [2016-05-04 21:00:05] 687*2^1428218-1 is not prime. Res64: 3252477BBABD4341 Time : 0.0 sec. user=mdettweiler [2016-05-04 21:00:06] 747*2^1428218-1 is not prime. Res64: 6AB6B7117597AFFC Time : 0.0 sec. user=mdettweiler [2016-05-04 21:00:06] 767*2^1428218-1 is not prime. Res64: 2BC8B938A9EDFDCA Time : 0.0 sec. user=mdettweiler [2016-05-04 21:01:16] 837*2^1428218-1 is not prime. Res64: FC6583C19A86B637 Time : 0.0 sec. user=mdettweiler [2016-05-04 21:01:18] 845*2^1428218-1 is not prime. Res64: EA7C8FCFAE88B59F Time : 0.0 sec. user=mdettweiler [2016-05-04 21:01:19] 971*2^1428218-1 is not prime. Res64: F4E68B572CD27804 Time : 0.0 sec. user=mdettweiler [2016-05-04 21:01:20] 751*2^1428219-1 is not prime. Res64: 97C94A1BCF384F18 Time : 0.0 sec. user=mdettweiler [2016-05-04 21:01:20] 795*2^1428219-1 is not prime. Res64: D2EA010EE9006936 Time : 0.0 sec. user=mdettweiler [2016-05-04 21:35:19] 843*2^1428219-1 is not prime. Res64: 066D264AFEEA1C2D Time : 0.0 sec. user=mdettweiler [2016-05-04 21:35:19] 861*2^1428219-1 is not prime. Res64: 3DD84131E3EDDAA1 Time : 0.0 sec. user=mdettweiler [2016-05-04 21:35:20] 913*2^1428219-1 is not prime. Res64: DA7BC7F1E34A2E89 Time : 0.0 sec. user=mdettweiler [2016-05-04 21:35:20] 973*2^1428219-1 is not prime. Res64: 4F458BF08CC36D38 Time : 0.0 sec. user=mdettweiler [2016-05-04 21:35:21] 677*2^1428220-1 is not prime. Res64: 37FAE763B4CB778B Time : 0.0 sec. user=mdettweiler [2016-05-04 21:37:15] 687*2^1428220-1 is not prime. Res64: B0EAE931721A43DF Time : 0.0 sec. user=mdettweiler [2016-05-04 21:37:15] 717*2^1428220-1 is not prime. Res64: EA7A85D2DCD599BF Time : 0.0 sec. user=mdettweiler [2016-05-04 21:37:16] 735*2^1428220-1 is not prime. Res64: 4CB4CFB132701428 Time : 0.0 sec. user=mdettweiler [2016-05-04 21:37:16] 773*2^1428220-1 is not prime. Res64: 3CEFDD6F2C9FFF4D Time : 0.0 sec. user=mdettweiler [2016-05-04 21:37:17] 923*2^1428220-1 is not prime. Res64: 519F9EA2502518F0 Time : 0.0 sec. user=mdettweiler [2016-05-04 21:45:50] 929*2^1428220-1 is not prime. Res64: 2E1425CC95392E89 Time : 0.0 sec. user=mdettweiler [2016-05-04 21:45:51] 933*2^1428220-1 is not prime. Res64: B66F3800DA06C033 Time : 0.0 sec. user=mdettweiler [2016-05-04 21:45:51] 983*2^1428220-1 is not prime. Res64: DE4479B93987018F Time : 0.0 sec. user=mdettweiler [2016-05-04 21:45:52] 607*2^1428221-1 is not prime. Res64: A3C861E747C1A8C2 Time : 0.0 sec. user=mdettweiler [2016-05-04 21:45:52] 991*2^1428221-1 is not prime. Res64: D8FEE5FAB7D3B28C Time : 0.0 sec. user=mdettweiler [2016-05-04 21:47:12] 723*2^1428222-1 is not prime. Res64: E69392DBC2B00CCB Time : 0.0 sec. user=mdettweiler [2016-05-04 21:47:13] 725*2^1428222-1 is not prime. Res64: DA79EC898ED2818A Time : 0.0 sec. user=mdettweiler [2016-05-04 21:47:13] 875*2^1428222-1 is not prime. Res64: 6CC7426267FBC26C Time : 0.0 sec. user=mdettweiler [2016-05-04 21:47:13] 963*2^1428222-1 is not prime. Res64: 844B6AD51C8FA21F Time : 0.0 sec. user=mdettweiler [2016-05-04 21:47:14] 675*2^1428223-1 is not prime. Res64: 907B7A1319691C98 Time : 0.0 sec. user=mdettweiler [2016-05-04 22:21:02] 729*2^1428223-1 is not prime. Res64: 0389E26CD8F99867 Time : 0.0 sec. user=mdettweiler [2016-05-04 22:21:03] 751*2^1428223-1 is not prime. Res64: 9070586669D7D8E8 Time : 0.0 sec. user=mdettweiler [2016-05-04 22:21:03] 763*2^1428223-1 is not prime. Res64: 128B53B29105D8E0 Time : 0.0 sec. user=mdettweiler [2016-05-04 22:21:04] 771*2^1428223-1 is not prime. Res64: F2D8EC0EF35EA5D8 Time : 0.0 sec. user=mdettweiler [2016-05-04 22:21:05] 913*2^1428223-1 is not prime. Res64: 812734929CE5D144 Time : 0.0 sec. user=mdettweiler [2016-05-04 22:23:00] 919*2^1428223-1 is not prime. Res64: A8178256AAEC603C Time : 0.0 sec. user=mdettweiler [2016-05-04 22:23:01] 939*2^1428223-1 is not prime. Res64: FE6AAC8FA7239D64 Time : 0.0 sec. user=mdettweiler [2016-05-04 22:23:01] 993*2^1428223-1 is not prime. Res64: CFCF233B60355FB5 Time : 0.0 sec. user=mdettweiler [2016-05-04 22:23:02] 683*2^1428224-1 is not prime. Res64: CF9CDFEB6D4A19B8 Time : 0.0 sec. user=mdettweiler [2016-05-04 22:23:02] 843*2^1428224-1 is not prime. Res64: 73BC2FF37D1E981E Time : 0.0 sec. user=mdettweiler [2016-05-04 22:31:44] 893*2^1428224-1 is not prime. Res64: D4362EC2EC785717 Time : 0.0 sec. user=mdettweiler [2016-05-04 22:31:45] 959*2^1428224-1 is not prime. Res64: 57C3C7BFDBBC57F3 Time : 0.0 sec. user=mdettweiler [2016-05-04 22:31:45] 625*2^1428225-1 is not prime. Res64: 6E234FC155B79EAC Time : 0.0 sec. user=mdettweiler [2016-05-04 22:31:45] 649*2^1428225-1 is not prime. Res64: FF88AF51E7CA5277 Time : 0.0 sec. user=mdettweiler [2016-05-04 22:31:46] 657*2^1428225-1 is not prime. Res64: 7D3B688D1BBB51D8 Time : 0.0 sec. user=mdettweiler [2016-05-04 22:33:09] 741*2^1428225-1 is not prime. Res64: 9C6F5E8F1832F35F Time : 0.0 sec. user=mdettweiler [2016-05-04 22:33:09] 805*2^1428225-1 is not prime. Res64: 759412658135FED8 Time : 0.0 sec. user=mdettweiler [2016-05-04 22:33:10] 877*2^1428225-1 is not prime. Res64: 921B7A8E27778C2A Time : 0.0 sec. user=mdettweiler [2016-05-04 22:33:10] 889*2^1428225-1 is not prime. Res64: 05B4F049A29316A8 Time : 0.0 sec. user=mdettweiler [2016-05-04 22:33:10] 921*2^1428225-1 is not prime. Res64: DF533724A9D62428 Time : 0.0 sec. user=mdettweiler [2016-05-04 23:07:36] 997*2^1428225-1 is not prime. Res64: D8D73E58FF253E46 Time : 0.0 sec. user=mdettweiler [2016-05-04 23:07:36] 735*2^1428226-1 is not prime. Res64: 61AAE8CCEFD0F1B1 Time : 0.0 sec. user=mdettweiler [2016-05-04 23:07:36] 911*2^1428226-1 is not prime. Res64: DD68D6C6D2801CCE Time : 0.0 sec. user=mdettweiler [2016-05-04 23:07:37] 1001*2^1428226-1 is not prime. Res64: BCEF7138370E29B1 Time : 0.0 sec. user=mdettweiler [2016-05-04 23:07:37] 643*2^1428227-1 is not prime. Res64: 154262A95979A29A Time : 0.0 sec. user=mdettweiler [2016-05-04 23:09:14] 675*2^1428227-1 is not prime. Res64: A3CEF77B8C0A0B78 Time : 0.0 sec. user=mdettweiler [2016-05-04 23:09:14] 733*2^1428227-1 is not prime. Res64: 754B5D7F1C600967 Time : 0.0 sec. user=mdettweiler [2016-05-04 23:09:15] 741*2^1428227-1 is not prime. Res64: 142F7F0D5596DA4A Time : 0.0 sec. user=mdettweiler [2016-05-04 23:09:15] 861*2^1428227-1 is not prime. Res64: F224EF2281A8954F Time : 0.0 sec. user=mdettweiler [2016-05-04 23:09:15] 931*2^1428227-1 is not prime. Res64: 81383094F8C9CD94 Time : 0.0 sec. user=mdettweiler [2016-05-04 23:18:04] 981*2^1428227-1 is not prime. Res64: 07F862B074B3E4A5 Time : 0.0 sec. user=mdettweiler [2016-05-04 23:18:05] 639*2^1428228-1 is not prime. Res64: 63964E534F19D23C Time : 0.0 sec. user=mdettweiler [2016-05-04 23:18:05] 663*2^1428228-1 is not prime. Res64: 59B686120086861E Time : 0.0 sec. user=mdettweiler [2016-05-04 23:18:06] 699*2^1428228-1 is not prime. Res64: 4820459D4A672F80 Time : 0.0 sec. user=mdettweiler [2016-05-04 23:18:06] 753*2^1428228-1 is not prime. Res64: 7F6A137C07B0098B Time : 0.0 sec. user=mdettweiler [2016-05-04 23:19:22] 773*2^1428228-1 is not prime. Res64: 52CE0E53AC3C7874 Time : 0.0 sec. user=mdettweiler [2016-05-04 23:19:22] 783*2^1428228-1 is not prime. Res64: E4EB13431E53F73D Time : 0.0 sec. user=mdettweiler [2016-05-04 23:19:23] 843*2^1428228-1 is not prime. Res64: DDBF44F5BABA2277 Time : 0.0 sec. user=mdettweiler [2016-05-04 23:19:23] 601*2^1428229-1 is not prime. Res64: 478F10F487FF2013 Time : 0.0 sec. user=mdettweiler [2016-05-04 23:19:23] 625*2^1428229-1 is not prime. Res64: C73ECD7E49D174FB Time : 0.0 sec. user=mdettweiler [2016-05-04 23:53:10] 679*2^1428229-1 is not prime. Res64: 5206AAABEAF325E6 Time : 0.0 sec. user=mdettweiler [2016-05-04 23:53:10] 729*2^1428229-1 is not prime. Res64: 9ED67991FA46539D Time : 0.0 sec. user=mdettweiler [2016-05-04 23:53:11] 817*2^1428229-1 is not prime. Res64: D92C22129B288C43 Time : 0.0 sec. user=mdettweiler [2016-05-04 23:53:11] 955*2^1428229-1 is not prime. Res64: A087C2858DFF3E43 Time : 0.0 sec. user=mdettweiler [2016-05-04 23:53:11] 961*2^1428229-1 is not prime. Res64: B2BD461E5895A445 Time : 0.0 sec. user=mdettweiler [2016-05-04 23:54:50] 623*2^1428230-1 is not prime. Res64: D98CEA791A3C0ACF Time : 0.0 sec. user=mdettweiler [2016-05-04 23:54:50] 755*2^1428230-1 is not prime. Res64: B3BF497CCF0775F4 Time : 0.0 sec. user=mdettweiler [2016-05-04 23:54:51] 773*2^1428230-1 is not prime. Res64: 51254D352B1A0D67 Time : 0.0 sec. user=mdettweiler [2016-05-04 23:54:51] 941*2^1428230-1 is not prime. Res64: 0457E4A505D6A8CE Time : 0.0 sec. user=mdettweiler [2016-05-04 23:54:51] 981*2^1428230-1 is not prime. Res64: 10D60B5FCDF823AA Time : 0.0 sec.