user=mdettweiler [2016-06-13 00:10:19] 763*2^1432215-1 is not prime. Res64: 2DEBC23F3A0CA679 Time : 0.0 sec. user=mdettweiler [2016-06-13 00:10:19] 789*2^1432215-1 is not prime. Res64: 9508CB19F05384AA Time : 0.0 sec. user=mdettweiler [2016-06-13 00:16:27] 945*2^1432224-1 is not prime. Res64: 7A80CB4E93E05E18 Time : 0.0 sec. user=mdettweiler [2016-06-13 00:16:27] 651*2^1432225-1 is not prime. Res64: 3D707E11D7E2766A Time : 0.0 sec. user=mdettweiler [2016-06-13 00:16:28] 667*2^1432225-1 is not prime. Res64: 987B93B8FD006E00 Time : 0.0 sec. user=mdettweiler [2016-06-13 00:16:28] 727*2^1432225-1 is not prime. Res64: 199152C30489048F Time : 0.0 sec. user=mdettweiler [2016-06-13 00:16:28] 741*2^1432225-1 is not prime. Res64: 3A9C9F376C346412 Time : 0.0 sec. user=mdettweiler [2016-06-13 00:22:55] 951*2^1432225-1 is not prime. Res64: C7EDFA82140CC620 Time : 0.0 sec. user=mdettweiler [2016-06-13 00:22:55] 975*2^1432225-1 is not prime. Res64: EED187BB42417EA4 Time : 0.0 sec. user=mdettweiler [2016-06-13 00:22:56] 635*2^1432226-1 is not prime. Res64: 4BE0E5BCA6E239FB Time : 0.0 sec. user=mdettweiler [2016-06-13 00:22:56] 701*2^1432226-1 is not prime. Res64: DBD5AFCB9127779C Time : 0.0 sec. user=mdettweiler [2016-06-13 00:22:57] 747*2^1432226-1 is not prime. Res64: 9BEA03B8D9084531 Time : 0.0 sec. user=mdettweiler [2016-06-13 00:45:41] 837*2^1432226-1 is not prime. Res64: 1D48D4499FCF87C2 Time : 0.0 sec. user=mdettweiler [2016-06-13 00:45:42] 923*2^1432226-1 is not prime. Res64: A9FDB55350F81DAD Time : 0.0 sec. user=mdettweiler [2016-06-13 00:45:42] 1001*2^1432226-1 is not prime. Res64: DCBAE7BAA417BB09 Time : 0.0 sec. user=mdettweiler [2016-06-13 00:45:42] 615*2^1432227-1 is not prime. Res64: 598CE8F73486493D Time : 0.0 sec. user=mdettweiler [2016-06-13 00:45:43] 621*2^1432227-1 is not prime. Res64: 7CA3E05F4A8D92A9 Time : 0.0 sec. user=mdettweiler [2016-06-13 00:55:44] 691*2^1432227-1 is not prime. Res64: 680B6648D5A59B85 Time : 0.0 sec. user=mdettweiler [2016-06-13 00:55:44] 765*2^1432227-1 is not prime. Res64: 429F4DD6971C7E18 Time : 0.0 sec. user=mdettweiler [2016-06-13 00:55:44] 781*2^1432227-1 is not prime. Res64: D5DBB9BE4486D825 Time : 0.0 sec. user=mdettweiler [2016-06-13 00:55:45] 985*2^1432227-1 is not prime. Res64: 8CD6AA237B66791E Time : 0.0 sec. user=mdettweiler [2016-06-13 00:55:45] 623*2^1432228-1 is not prime. Res64: FD3FDE2463B59ED0 Time : 0.0 sec. user=mdettweiler [2016-06-13 01:01:26] 687*2^1432228-1 is not prime. Res64: AC22A1AFEC236D9D Time : 0.0 sec. user=mdettweiler [2016-06-13 01:01:27] 797*2^1432228-1 is not prime. Res64: 1D0BEA2F80CCD1D6 Time : 0.0 sec. user=mdettweiler [2016-06-13 01:01:28] 843*2^1432228-1 is not prime. Res64: EBECF27412B4B85A Time : 0.0 sec. user=mdettweiler [2016-06-13 01:01:29] 855*2^1432228-1 is not prime. Res64: 24EA51BE022AE751 Time : 0.0 sec. user=mdettweiler [2016-06-13 01:01:29] 923*2^1432228-1 is not prime. Res64: B5CF4FBE53A0DDA9 Time : 0.0 sec. user=mdettweiler [2016-06-13 01:08:18] 927*2^1432228-1 is not prime. Res64: F4EF551F00CCEBA7 Time : 0.0 sec. user=mdettweiler [2016-06-13 01:08:19] 957*2^1432228-1 is not prime. Res64: 39924F61CB6BB39D Time : 0.0 sec. user=mdettweiler [2016-06-13 01:08:22] 995*2^1432228-1 is not prime. Res64: CBE89AD2662ECF59 Time : 0.0 sec. user=mdettweiler [2016-06-13 01:08:23] 999*2^1432228-1 is not prime. Res64: 80573AC6EF768782 Time : 0.0 sec. user=mdettweiler [2016-06-13 01:08:25] 675*2^1432229-1 is not prime. Res64: 50BD54F8B19B4326 Time : 0.0 sec. user=mdettweiler [2016-06-13 01:31:01] 691*2^1432229-1 is not prime. Res64: F0A1738504130D7C Time : 0.0 sec. user=mdettweiler [2016-06-13 01:31:01] 741*2^1432229-1 is not prime. Res64: 5B93B004881E5DBE Time : 0.0 sec. user=mdettweiler [2016-06-13 01:31:02] 747*2^1432229-1 is not prime. Res64: 17432ABFF484CBB2 Time : 0.0 sec. user=mdettweiler [2016-06-13 01:31:02] 825*2^1432229-1 is not prime. Res64: 2BB29E5BFECCD9BF Time : 0.0 sec. user=mdettweiler [2016-06-13 01:31:03] 865*2^1432229-1 is not prime. Res64: 1E676F90F3AE80FC Time : 0.0 sec. user=mdettweiler [2016-06-13 01:46:44] 861*2^1432230-1 is not prime. Res64: 527C9BF73902488D Time : 0.0 sec. user=mdettweiler [2016-06-13 01:46:44] 917*2^1432230-1 is not prime. Res64: B411928DD4D3D576 Time : 0.0 sec. user=mdettweiler [2016-06-13 01:46:45] 639*2^1432231-1 is not prime. Res64: 2ACE69DE43376079 Time : 0.0 sec. user=mdettweiler [2016-06-13 01:46:45] 681*2^1432231-1 is not prime. Res64: A67F4C9F87C9FE93 Time : 0.0 sec. user=mdettweiler [2016-06-13 01:46:45] 745*2^1432231-1 is not prime. Res64: 71E1DD1E91C98AEA Time : 0.0 sec. user=mdettweiler [2016-06-13 01:53:24] 843*2^1432231-1 is not prime. Res64: 233987792D084A8B Time : 0.0 sec. user=mdettweiler [2016-06-13 01:53:25] 975*2^1432231-1 is not prime. Res64: 1F1A373D18E727A5 Time : 0.0 sec. user=mdettweiler [2016-06-13 01:53:26] 609*2^1432232-1 is not prime. Res64: A47781CAC8E4BE9B Time : 0.0 sec. user=mdettweiler [2016-06-13 01:53:26] 657*2^1432232-1 is not prime. Res64: F74F4809ECAE9485 Time : 0.0 sec. user=mdettweiler [2016-06-13 01:53:27] 689*2^1432232-1 is not prime. Res64: 511F05D870129369 Time : 0.0 sec. user=mdettweiler [2016-06-13 02:05:01] 955*2^1432229-1 is not prime. Res64: 8558F7038169F06D Time : 0.0 sec. user=mdettweiler [2016-06-13 02:05:02] 615*2^1432230-1 is not prime. Res64: 41D968383993A8DC Time : 0.0 sec. user=mdettweiler [2016-06-13 02:05:03] 681*2^1432230-1 is not prime. Res64: 2057CCF7EC00EBB4 Time : 0.0 sec. user=mdettweiler [2016-06-13 02:05:04] 777*2^1432230-1 is not prime. Res64: D52086EEAB77A1CD Time : 0.0 sec. user=mdettweiler [2016-06-13 02:05:05] 791*2^1432230-1 is not prime. Res64: 220C694BE7FFC5BE Time : 0.0 sec. user=mdettweiler [2016-06-13 02:16:14] 699*2^1432232-1 is not prime. Res64: F770BF7B71782177 Time : 0.0 sec. user=mdettweiler [2016-06-13 02:16:14] 767*2^1432232-1 is not prime. Res64: 41DA36D0302FAC59 Time : 0.0 sec. user=mdettweiler [2016-06-13 02:16:15] 819*2^1432232-1 is not prime. Res64: AE60784731A9E8F4 Time : 0.0 sec. user=mdettweiler [2016-06-13 02:16:15] 825*2^1432232-1 is not prime. Res64: 960D1C8CA7A72DE3 Time : 0.0 sec. user=mdettweiler [2016-06-13 02:16:15] 843*2^1432232-1 is not prime. Res64: 75F15057A83FCA5C Time : 0.0 sec. user=mdettweiler [2016-06-13 02:32:08] 857*2^1432232-1 is not prime. Res64: CE5F45ADEE85F48D Time : 0.0 sec. user=mdettweiler [2016-06-13 02:32:09] 867*2^1432232-1 is not prime. Res64: 7D73B2A07C46CD92 Time : 0.0 sec. user=mdettweiler [2016-06-13 02:32:09] 873*2^1432232-1 is not prime. Res64: BCE39EBDCCCBC527 Time : 0.0 sec. user=mdettweiler [2016-06-13 02:32:10] 615*2^1432233-1 is not prime. Res64: 07CC9EA77377CE84 Time : 0.0 sec. user=mdettweiler [2016-06-13 02:32:10] 705*2^1432233-1 is not prime. Res64: 19F824C071C710F6 Time : 0.0 sec. user=mdettweiler [2016-06-13 02:38:41] 739*2^1432233-1 is not prime. Res64: ED5EDF37BDC6EA0A Time : 0.0 sec. user=mdettweiler [2016-06-13 02:38:41] 819*2^1432233-1 is not prime. Res64: 0D8426F0B4E72AAC Time : 0.0 sec. user=mdettweiler [2016-06-13 02:38:42] 889*2^1432233-1 is not prime. Res64: F153E8197E27C228 Time : 0.0 sec. user=mdettweiler [2016-06-13 02:38:42] 657*2^1432234-1 is not prime. Res64: F2007BC113D74AA1 Time : 0.0 sec. user=mdettweiler [2016-06-13 02:38:43] 675*2^1432234-1 is not prime. Res64: 9A10676346626D56 Time : 0.0 sec. user=mdettweiler [2016-06-13 02:50:34] 717*2^1432234-1 is not prime. Res64: 847912951B62A5DA Time : 0.0 sec. user=mdettweiler [2016-06-13 02:50:34] 723*2^1432234-1 is not prime. Res64: CCA7B2D50A06F566 Time : 0.0 sec. user=mdettweiler [2016-06-13 02:50:34] 737*2^1432234-1 is not prime. Res64: B95C3469DCF548BF Time : 0.0 sec. user=mdettweiler [2016-06-13 02:50:35] 765*2^1432234-1 is not prime. Res64: C32D54087D9DEC2A Time : 0.0 sec. user=mdettweiler [2016-06-13 02:50:35] 803*2^1432234-1 is not prime. Res64: E143A12E8C052160 Time : 0.0 sec. user=mdettweiler [2016-06-13 03:01:47] 855*2^1432234-1 is not prime. Res64: 086A3DFAD09E7871 Time : 0.0 sec. user=mdettweiler [2016-06-13 03:01:48] 947*2^1432234-1 is not prime. Res64: BDBA07A4B36997E8 Time : 0.0 sec. user=mdettweiler [2016-06-13 03:01:49] 983*2^1432234-1 is not prime. Res64: 6CC843939D5F2F19 Time : 0.0 sec. user=mdettweiler [2016-06-13 03:01:50] 643*2^1432235-1 is not prime. Res64: 8393DC92A0872A1F Time : 0.0 sec. user=mdettweiler [2016-06-13 03:01:50] 651*2^1432235-1 is not prime. Res64: B11B6C6F76AF8CC2 Time : 0.0 sec. user=mdettweiler [2016-06-13 03:18:05] 699*2^1432235-1 is not prime. Res64: BCAD8866B5249119 Time : 0.0 sec. user=mdettweiler [2016-06-13 03:18:05] 753*2^1432235-1 is not prime. Res64: ED36FC62121B1339 Time : 0.0 sec. user=mdettweiler [2016-06-13 03:18:06] 801*2^1432235-1 is not prime. Res64: A52D2E0B08DE8278 Time : 0.0 sec. user=mdettweiler [2016-06-13 03:18:10] 805*2^1432235-1 is not prime. Res64: 92298CF502B5A87D Time : 0.0 sec. user=mdettweiler [2016-06-13 03:18:10] 861*2^1432235-1 is not prime. Res64: 91639E85FAF0F4C5 Time : 0.0 sec. user=mdettweiler [2016-06-13 03:25:05] 985*2^1432235-1 is not prime. Res64: B3ED7DFFF66CD0B5 Time : 0.0 sec. user=mdettweiler [2016-06-13 03:25:08] 991*2^1432235-1 is not prime. Res64: 58CAA765F2326E1B Time : 0.0 sec. user=mdettweiler [2016-06-13 03:25:08] 669*2^1432236-1 is not prime. Res64: 2ECFFC4E6C74D635 Time : 0.0 sec. user=mdettweiler [2016-06-13 03:25:09] 759*2^1432236-1 is not prime. Res64: D141231A2390504D Time : 0.0 sec. user=mdettweiler [2016-06-13 03:25:10] 839*2^1432236-1 is not prime. Res64: F0843BF8877F6950 Time : 0.0 sec. user=mdettweiler [2016-06-13 03:37:20] 903*2^1432236-1 is not prime. Res64: 06A1B5FBBD803A08 Time : 0.0 sec. user=mdettweiler [2016-06-13 03:37:21] 927*2^1432236-1 is not prime. Res64: BF9874E369A2EE65 Time : 0.0 sec. user=mdettweiler [2016-06-13 03:37:22] 933*2^1432236-1 is not prime. Res64: 8BA8DBDA0B3E6C1D Time : 0.0 sec. user=mdettweiler [2016-06-13 03:37:23] 947*2^1432236-1 is not prime. Res64: 8E4A356E714BE925 Time : 0.0 sec. user=mdettweiler [2016-06-13 03:37:24] 687*2^1432237-1 is not prime. Res64: 4B4529E786FF8497 Time : 0.0 sec. user=mdettweiler [2016-06-13 03:47:59] 831*2^1432237-1 is not prime. Res64: 67DB6D65D9477731 Time : 0.0 sec. user=mdettweiler [2016-06-13 03:48:02] 901*2^1432237-1 is not prime. Res64: C3C34176A4B378BF Time : 0.0 sec. user=mdettweiler [2016-06-13 03:48:05] 945*2^1432237-1 is not prime. Res64: 398A0D501B3DEF15 Time : 0.0 sec. user=mdettweiler [2016-06-13 03:48:07] 797*2^1432238-1 is not prime. Res64: 4FFD4F97AB7D5036 Time : 0.0 sec. user=mdettweiler [2016-06-13 03:48:08] 815*2^1432238-1 is not prime. Res64: 74F481AB30997E6E Time : 0.0 sec. user=mdettweiler [2016-06-13 04:04:13] 923*2^1432238-1 is not prime. Res64: 8B96119460858A55 Time : 0.0 sec. user=mdettweiler [2016-06-13 04:04:15] 945*2^1432238-1 is not prime. Res64: FAF48AC8285DD38B Time : 0.0 sec. user=mdettweiler [2016-06-13 04:04:16] 957*2^1432238-1 is not prime. Res64: 636360744C0331FA Time : 0.0 sec. user=mdettweiler [2016-06-13 04:04:17] 609*2^1432239-1 is not prime. Res64: 323D9F2531F02ACE Time : 0.0 sec. user=mdettweiler [2016-06-13 04:04:18] 613*2^1432239-1 is not prime. Res64: 4A2AA11CB0992F71 Time : 0.0 sec. user=mdettweiler [2016-06-13 04:10:29] 633*2^1432239-1 is not prime. Res64: 2F47FFE2B44F897C Time : 0.0 sec. user=mdettweiler [2016-06-13 04:10:29] 675*2^1432239-1 is not prime. Res64: DB220D03C6D39F69 Time : 0.0 sec. user=mdettweiler [2016-06-13 04:10:30] 763*2^1432239-1 is not prime. Res64: CE9DAF7D6727D6E5 Time : 0.0 sec. user=mdettweiler [2016-06-13 04:10:30] 795*2^1432239-1 is not prime. Res64: A4337167E5840392 Time : 0.0 sec. user=mdettweiler [2016-06-13 04:10:31] 913*2^1432239-1 is not prime. Res64: 01F225D7FC78D57A Time : 0.0 sec. user=mdettweiler [2016-06-13 04:22:59] 931*2^1432239-1 is not prime. Res64: 16E9D071D5DC119D Time : 0.0 sec. user=mdettweiler [2016-06-13 04:22:59] 645*2^1432240-1 is not prime. Res64: 75B472C7DAA04912 Time : 0.0 sec. user=mdettweiler [2016-06-13 04:23:00] 665*2^1432240-1 is not prime. Res64: 6DB88D3CA84C3704 Time : 0.0 sec. user=mdettweiler [2016-06-13 04:23:00] 765*2^1432240-1 is not prime. Res64: 89BA78A01FE1A27D Time : 0.0 sec. user=mdettweiler [2016-06-13 04:23:00] 839*2^1432240-1 is not prime. Res64: 48C573B1DF07B0DC Time : 0.0 sec. user=mdettweiler [2016-06-13 04:33:49] 975*2^1432240-1 is not prime. Res64: 70EDDC9CE7ADE3F3 Time : 0.0 sec. user=mdettweiler [2016-06-13 04:33:50] 983*2^1432240-1 is not prime. Res64: 071612CC9D96DD17 Time : 0.0 sec. user=mdettweiler [2016-06-13 04:33:50] 769*2^1432241-1 is not prime. Res64: 24749723A30E9A8A Time : 0.0 sec. user=mdettweiler [2016-06-13 04:33:51] 901*2^1432241-1 is not prime. Res64: BA716740EB411225 Time : 0.0 sec. user=mdettweiler [2016-06-13 04:33:51] 907*2^1432241-1 is not prime. Res64: C0206170D7B4E272 Time : 0.0 sec. user=mdettweiler [2016-06-13 04:49:59] 621*2^1432242-1 is not prime. Res64: DDEF372B6DDEBB95 Time : 0.0 sec. user=mdettweiler [2016-06-13 04:49:59] 705*2^1432242-1 is not prime. Res64: 9DBF0EF770652AF7 Time : 0.0 sec. user=mdettweiler [2016-06-13 04:50:00] 725*2^1432242-1 is not prime. Res64: 680E149EDC63E942 Time : 0.0 sec. user=mdettweiler [2016-06-13 04:50:00] 807*2^1432242-1 is not prime. Res64: A6019F4C891379A7 Time : 0.0 sec. user=mdettweiler [2016-06-13 04:50:01] 957*2^1432242-1 is not prime. Res64: DE302150D3B15C3D Time : 0.0 sec. user=mdettweiler [2016-06-13 04:56:05] 705*2^1432243-1 is not prime. Res64: FC4839595E11BBC3 Time : 0.0 sec. user=mdettweiler [2016-06-13 04:56:05] 709*2^1432243-1 is not prime. Res64: F9293C4774C95928 Time : 0.0 sec. user=mdettweiler [2016-06-13 04:56:06] 723*2^1432243-1 is not prime. Res64: A46904A935A09610 Time : 0.0 sec. user=mdettweiler [2016-06-13 04:56:06] 859*2^1432243-1 is not prime. Res64: 49F46C84DEC4C062 Time : 0.0 sec. user=mdettweiler [2016-06-13 04:56:06] 969*2^1432243-1 is not prime. Res64: C03F4A8DA9F9E242 Time : 0.0 sec. user=mdettweiler [2016-06-13 05:08:25] 677*2^1432244-1 is not prime. Res64: C99FB12950B9216C Time : 0.0 sec. user=mdettweiler [2016-06-13 05:08:25] 719*2^1432244-1 is not prime. Res64: 02AD947564FCB2F8 Time : 0.0 sec. user=mdettweiler [2016-06-13 05:08:26] 767*2^1432244-1 is not prime. Res64: 3D9DEF50759EA96D Time : 0.0 sec. user=mdettweiler [2016-06-13 05:08:26] 837*2^1432244-1 is not prime. Res64: 49A19A31B8D4E550 Time : 0.0 sec. user=mdettweiler [2016-06-13 05:08:27] 929*2^1432244-1 is not prime. Res64: CF91EE4C8A430D36 Time : 0.0 sec. user=mdettweiler [2016-06-13 05:19:10] 819*2^1432245-1 is not prime. Res64: 36E8F1C1646EEA75 Time : 0.0 sec. user=mdettweiler [2016-06-13 05:19:11] 847*2^1432245-1 is not prime. Res64: FB51EBF809C9AF9D Time : 0.0 sec. user=mdettweiler [2016-06-13 05:19:11] 741*2^1432246-1 is not prime. Res64: 58F0D0920D966974 Time : 0.0 sec. user=mdettweiler [2016-06-13 05:19:12] 843*2^1432246-1 is not prime. Res64: 30537B3E3D988383 Time : 0.0 sec. user=mdettweiler [2016-06-13 05:19:12] 923*2^1432246-1 is not prime. Res64: 357490CEEC04EDDD Time : 0.0 sec. user=mdettweiler [2016-06-13 05:35:27] 603*2^1432247-1 is not prime. Res64: C977E6AC7C12C3A7 Time : 0.0 sec. user=mdettweiler [2016-06-13 05:35:28] 703*2^1432247-1 is not prime. Res64: 72F25167980C68EE Time : 0.0 sec. user=mdettweiler [2016-06-13 05:35:28] 823*2^1432247-1 is not prime. Res64: 69956EFD4E7BD08A Time : 0.0 sec. user=mdettweiler [2016-06-13 05:35:29] 861*2^1432247-1 is not prime. Res64: 23C602613CA7F3AF Time : 0.0 sec. user=mdettweiler [2016-06-13 05:35:29] 913*2^1432247-1 is not prime. Res64: 09807A2BF04EB0FF Time : 0.0 sec. user=mdettweiler [2016-06-13 05:41:16] 683*2^1432248-1 is not prime. Res64: CF948FB33DA89A70 Time : 0.0 sec. user=mdettweiler [2016-06-13 05:41:16] 747*2^1432248-1 is not prime. Res64: E20D927758C57598 Time : 0.0 sec. user=mdettweiler [2016-06-13 05:41:16] 767*2^1432248-1 is not prime. Res64: 9D0E5868BC1AE3A2 Time : 0.0 sec. user=mdettweiler [2016-06-13 05:41:23] 797*2^1432248-1 is not prime. Res64: 1DDE6105CF3C616B Time : 0.0 sec. user=mdettweiler [2016-06-13 05:41:23] 839*2^1432248-1 is not prime. Res64: FDC9A1F0CA2A9F02 Time : 0.0 sec. user=mdettweiler [2016-06-13 05:53:40] 637*2^1432249-1 is not prime. Res64: FEE7F934A68D3425 Time : 0.0 sec. user=mdettweiler [2016-06-13 05:53:41] 835*2^1432249-1 is not prime. Res64: D3D0038E3DCA1F41 Time : 0.0 sec. user=mdettweiler [2016-06-13 05:53:41] 979*2^1432249-1 is not prime. Res64: 0189611095A3F628 Time : 0.0 sec. user=mdettweiler [2016-06-13 05:53:41] 665*2^1432250-1 is not prime. Res64: 5661D7CC1D74C68F Time : 0.0 sec. user=mdettweiler [2016-06-13 05:53:42] 677*2^1432250-1 is not prime. Res64: 54D0B537229A6C46 Time : 0.0 sec. user=mdettweiler [2016-06-13 06:04:35] 813*2^1432250-1 is not prime. Res64: B11FBDF99371B08D Time : 0.0 sec. user=mdettweiler [2016-06-13 06:04:36] 977*2^1432250-1 is not prime. Res64: 658E15D5AB9B0C62 Time : 0.0 sec. user=mdettweiler [2016-06-13 06:04:37] 601*2^1432251-1 is not prime. Res64: 20C0FABE4F79A6E3 Time : 0.0 sec. user=mdettweiler [2016-06-13 06:04:38] 705*2^1432251-1 is not prime. Res64: 68140DA2BE2CA0E2 Time : 0.0 sec. user=mdettweiler [2016-06-13 06:04:39] 751*2^1432251-1 is not prime. Res64: 50E22A20C672DD35 Time : 0.0 sec. user=mdettweiler [2016-06-13 06:20:54] 861*2^1432251-1 is not prime. Res64: 5A69275240B359D5 Time : 0.0 sec. user=mdettweiler [2016-06-13 06:20:55] 975*2^1432251-1 is not prime. Res64: 504D3553F3F04373 Time : 0.0 sec. user=mdettweiler [2016-06-13 06:20:55] 647*2^1432252-1 is not prime. Res64: A81A030C0FA4EA1B Time : 0.0 sec. user=mdettweiler [2016-06-13 06:20:56] 689*2^1432252-1 is not prime. Res64: 25EC36099CB8F7F0 Time : 0.0 sec. user=mdettweiler [2016-06-13 06:20:56] 743*2^1432252-1 is not prime. Res64: 0CBE27FBA769D6A5 Time : 0.0 sec. user=mdettweiler [2016-06-13 06:26:41] 755*2^1432252-1 is not prime. Res64: E0D50AA0E2A80AB3 Time : 0.0 sec. user=mdettweiler [2016-06-13 06:26:41] 759*2^1432252-1 is not prime. Res64: 5B1DCCF6CE59B977 Time : 0.0 sec. user=mdettweiler [2016-06-13 06:26:42] 863*2^1432252-1 is not prime. Res64: 71C8C39329BBF534 Time : 0.0 sec. user=mdettweiler [2016-06-13 06:26:42] 957*2^1432252-1 is not prime. Res64: A86E5005F077E609 Time : 0.0 sec. user=mdettweiler [2016-06-13 06:26:42] 983*2^1432252-1 is not prime. Res64: BA7893EB5491AFCB Time : 0.0 sec. user=mdettweiler [2016-06-13 06:38:44] 651*2^1432253-1 is not prime. Res64: BEE5D795F33F3369 Time : 0.0 sec. user=mdettweiler [2016-06-13 06:38:44] 685*2^1432253-1 is not prime. Res64: 440D0E3CC395F056 Time : 0.0 sec. user=mdettweiler [2016-06-13 06:38:44] 861*2^1432253-1 is not prime. Res64: 8D4BE98EC5E13F0C Time : 0.0 sec. user=mdettweiler [2016-06-13 06:38:45] 949*2^1432253-1 is not prime. Res64: 6CE2C71738834F43 Time : 0.0 sec. user=mdettweiler [2016-06-13 06:38:45] 731*2^1432254-1 is not prime. Res64: BEFC8AFC04B64B42 Time : 0.0 sec. user=mdettweiler [2016-06-13 06:50:11] 747*2^1432254-1 is not prime. Res64: 2352A47036165B72 Time : 0.0 sec. user=mdettweiler [2016-06-13 06:50:12] 773*2^1432254-1 is not prime. Res64: 9B3BE2117279316F Time : 0.0 sec. user=mdettweiler [2016-06-13 06:50:12] 833*2^1432254-1 is not prime. Res64: 8817FCE395E38E9E Time : 0.0 sec. user=mdettweiler [2016-06-13 06:50:12] 927*2^1432254-1 is not prime. Res64: AB292ADCF2894A1A Time : 0.0 sec. user=mdettweiler [2016-06-13 06:50:13] 983*2^1432254-1 is not prime. Res64: 8F48992E0807261C Time : 0.0 sec. user=mdettweiler [2016-06-13 07:06:02] 999*2^1432255-1 is not prime. Res64: 9EF28B1257B738B9 Time : 0.0 sec. user=mdettweiler [2016-06-13 07:06:03] 717*2^1432256-1 is not prime. Res64: F978290A308DBA28 Time : 0.0 sec. user=mdettweiler [2016-06-13 07:06:03] 747*2^1432256-1 is not prime. Res64: AD7C5012FB5E4D6A Time : 0.0 sec. user=mdettweiler [2016-06-13 07:06:04] 773*2^1432256-1 is not prime. Res64: 22961ED407D9AD8A Time : 0.0 sec. user=mdettweiler [2016-06-13 07:06:04] 785*2^1432256-1 is not prime. Res64: BFD22C9CE69ED0EA Time : 0.0 sec. user=mdettweiler [2016-06-13 07:11:48] 827*2^1432256-1 is not prime. Res64: FD22EB2925389FE6 Time : 0.0 sec. user=mdettweiler [2016-06-13 07:11:49] 963*2^1432256-1 is not prime. Res64: 6499BEA7D7DB9617 Time : 0.0 sec. user=mdettweiler [2016-06-13 07:11:49] 983*2^1432256-1 is not prime. Res64: 25C12B3F6CE80078 Time : 0.0 sec. user=mdettweiler [2016-06-13 07:11:49] 717*2^1432257-1 is not prime. Res64: 9F958E5E16D4B8A5 Time : 0.0 sec. user=mdettweiler [2016-06-13 07:11:50] 751*2^1432257-1 is not prime. Res64: E0713D60C67E10A6 Time : 0.0 sec. user=mdettweiler [2016-06-13 07:23:56] 807*2^1432257-1 is not prime. Res64: DCD3DD15D60C3699 Time : 0.0 sec. user=mdettweiler [2016-06-13 07:23:56] 819*2^1432257-1 is not prime. Res64: F6C98C6DC58249FF Time : 0.0 sec. user=mdettweiler [2016-06-13 07:23:57] 849*2^1432257-1 is not prime. Res64: F01AE433C15129C0 Time : 0.0 sec. user=mdettweiler [2016-06-13 07:23:57] 955*2^1432257-1 is not prime. Res64: EFE1A372B1EB5EE3 Time : 0.0 sec. user=mdettweiler [2016-06-13 07:23:57] 991*2^1432257-1 is not prime. Res64: 51EDA3DD731D9362 Time : 0.0 sec. user=mdettweiler [2016-06-13 07:35:21] 603*2^1432258-1 is not prime. Res64: 503AFE7A490E5549 Time : 0.0 sec. user=mdettweiler [2016-06-13 07:35:21] 681*2^1432258-1 is not prime. Res64: 78D664A193B5D2C2 Time : 0.0 sec. user=mdettweiler [2016-06-13 07:35:22] 737*2^1432258-1 is not prime. Res64: EB078F7C2E21E3F4 Time : 0.0 sec. user=mdettweiler [2016-06-13 07:35:22] 861*2^1432258-1 is not prime. Res64: 4EC4BCFAD4311C8D Time : 0.0 sec. user=mdettweiler [2016-06-13 07:35:22] 951*2^1432258-1 is not prime. Res64: B4B09360022E35FA Time : 0.0 sec. user=mdettweiler [2016-06-13 07:51:29] 1001*2^1432258-1 is not prime. Res64: ACF63069E373D571 Time : 0.0 sec. user=mdettweiler [2016-06-13 07:51:29] 733*2^1432259-1 is not prime. Res64: D3C75F394F5881D1 Time : 0.0 sec. user=mdettweiler [2016-06-13 07:51:29] 735*2^1432259-1 is not prime. Res64: 913F637713C03961 Time : 0.0 sec. user=mdettweiler [2016-06-13 07:51:30] 775*2^1432259-1 is not prime. Res64: A1A08BA94CBDD88C Time : 0.0 sec. user=mdettweiler [2016-06-13 07:51:30] 799*2^1432259-1 is not prime. Res64: 87C55815B6FDD623 Time : 0.0 sec. user=mdettweiler [2016-06-13 07:57:06] 859*2^1432259-1 is not prime. Res64: FD9FC2D6FC11A06B Time : 0.0 sec. user=mdettweiler [2016-06-13 07:57:06] 931*2^1432259-1 is not prime. Res64: 24195D25CD24FEDD Time : 0.0 sec. user=mdettweiler [2016-06-13 07:57:06] 955*2^1432259-1 is not prime. Res64: 1DBFC58842BC111F Time : 0.0 sec. user=mdettweiler [2016-06-13 07:57:07] 627*2^1432260-1 is not prime. Res64: 815DC4F08F04A02C Time : 0.0 sec. user=mdettweiler [2016-06-13 07:57:07] 633*2^1432260-1 is not prime. Res64: 17E7B05F8869646F Time : 0.0 sec. user=mdettweiler [2016-06-13 08:09:09] 675*2^1432260-1 is not prime. Res64: A61DEB91E8B44C9B Time : 0.0 sec. user=mdettweiler [2016-06-13 08:09:09] 717*2^1432260-1 is not prime. Res64: 7FA424C7B1779B72 Time : 0.0 sec. user=mdettweiler [2016-06-13 08:09:10] 735*2^1432260-1 is not prime. Res64: C34708CEB007F6F4 Time : 0.0 sec. user=mdettweiler [2016-06-13 08:09:10] 759*2^1432260-1 is not prime. Res64: 3402FB83A2A5A5C5 Time : 0.0 sec. user=mdettweiler [2016-06-13 08:09:11] 783*2^1432260-1 is not prime. Res64: B403AC0B40FA389D Time : 0.0 sec. user=mdettweiler [2016-06-13 08:21:00] 839*2^1432260-1 is not prime. Res64: 303576F610E13882 Time : 0.0 sec. user=mdettweiler [2016-06-13 08:21:00] 845*2^1432260-1 is not prime. Res64: F0646E3533D4B067 Time : 0.0 sec. user=mdettweiler [2016-06-13 08:21:01] 857*2^1432260-1 is not prime. Res64: 05308BEBC3381B7E Time : 0.0 sec. user=mdettweiler [2016-06-13 08:21:01] 893*2^1432260-1 is not prime. Res64: AB663D1C9F5CE648 Time : 0.0 sec. user=mdettweiler [2016-06-13 08:21:02] 909*2^1432260-1 is not prime. Res64: DF001F2E0AB25171 Time : 0.0 sec. user=mdettweiler [2016-06-13 08:36:58] 923*2^1432260-1 is not prime. Res64: FB741B71B5086E22 Time : 0.0 sec. user=mdettweiler [2016-06-13 08:36:58] 927*2^1432260-1 is not prime. Res64: 85A002EFF446A1DF Time : 0.0 sec. user=mdettweiler [2016-06-13 08:36:59] 933*2^1432260-1 is not prime. Res64: CEF8A4A8F1EBF9C5 Time : 0.0 sec. user=mdettweiler [2016-06-13 08:36:59] 987*2^1432260-1 is not prime. Res64: 93C3C994163EDB16 Time : 0.0 sec. user=mdettweiler [2016-06-13 08:36:59] 999*2^1432260-1 is not prime. Res64: C11E93B74B603FA6 Time : 0.0 sec. user=mdettweiler [2016-06-13 08:42:42] 691*2^1432261-1 is not prime. Res64: 71C03F3B450A1F16 Time : 0.0 sec. user=mdettweiler [2016-06-13 08:42:42] 717*2^1432261-1 is not prime. Res64: 203F6F952ABEC206 Time : 0.0 sec. user=mdettweiler [2016-06-13 08:42:43] 817*2^1432261-1 is not prime. Res64: B00B5B0A092ED711 Time : 0.0 sec. user=mdettweiler [2016-06-13 08:42:43] 617*2^1432262-1 is not prime. Res64: D2DCFBCCD3B8E0D4 Time : 0.0 sec. user=mdettweiler [2016-06-13 08:42:43] 665*2^1432262-1 is not prime. Res64: 8853C9C00F0EA86E Time : 0.0 sec. user=mdettweiler [2016-06-13 08:55:15] 675*2^1432262-1 is not prime. Res64: 1B0BAC8AFB5CDDBF Time : 0.0 sec. user=mdettweiler [2016-06-13 08:55:15] 831*2^1432262-1 is not prime. Res64: 1A576E40FCF0C3EE Time : 0.0 sec. user=mdettweiler [2016-06-13 08:55:16] 833*2^1432262-1 is not prime. Res64: FEDF854E21820F26 Time : 0.0 sec. user=mdettweiler [2016-06-13 08:55:16] 935*2^1432262-1 is not prime. Res64: 7BF1BD61516410AD Time : 0.0 sec. user=mdettweiler [2016-06-13 08:55:16] 945*2^1432262-1 is not prime. Res64: FBD043798E289A7E Time : 0.0 sec. user=mdettweiler [2016-06-13 09:06:56] 983*2^1432262-1 is not prime. Res64: C14A32B3FB8F4B8C Time : 0.0 sec. user=mdettweiler [2016-06-13 09:06:59] 685*2^1432263-1 is not prime. Res64: 675B60F493232F38 Time : 0.0 sec. user=mdettweiler [2016-06-13 09:07:00] 693*2^1432263-1 is not prime. Res64: 83831308FF405B87 Time : 0.0 sec. user=mdettweiler [2016-06-13 09:07:01] 741*2^1432263-1 is not prime. Res64: 71EADC038F87CB3B Time : 0.0 sec. user=mdettweiler [2016-06-13 09:07:04] 765*2^1432263-1 is not prime. Res64: 136C107D5105ECA8 Time : 0.0 sec. user=mdettweiler [2016-06-13 09:22:46] 805*2^1432263-1 is not prime. Res64: CB408E0E0A64342E Time : 0.0 sec. user=mdettweiler [2016-06-13 09:22:46] 919*2^1432263-1 is not prime. Res64: 400FD06665C5EB59 Time : 0.0 sec. user=mdettweiler [2016-06-13 09:22:47] 955*2^1432263-1 is not prime. Res64: 418DAC7308097526 Time : 0.0 sec. user=mdettweiler [2016-06-13 09:22:47] 827*2^1432264-1 is not prime. Res64: 10633A0934BA0EE3 Time : 0.0 sec. user=mdettweiler [2016-06-13 09:22:47] 905*2^1432264-1 is not prime. Res64: DC4A48921094AC42 Time : 0.0 sec. user=mdettweiler [2016-06-13 09:28:35] 627*2^1432265-1 is not prime. Res64: 68919B4F733DB95C Time : 0.0 sec. user=mdettweiler [2016-06-13 09:28:36] 675*2^1432265-1 is not prime. Res64: 0D261FAB4950AF4B Time : 0.0 sec. user=mdettweiler [2016-06-13 09:28:36] 705*2^1432265-1 is not prime. Res64: DD26CFA18CF19F3F Time : 0.0 sec. user=mdettweiler [2016-06-13 09:28:37] 711*2^1432265-1 is not prime. Res64: 3943DB65141775D3 Time : 0.0 sec. user=mdettweiler [2016-06-13 09:28:37] 795*2^1432265-1 is not prime. Res64: 44D9221D85838596 Time : 0.0 sec. user=mdettweiler [2016-06-13 09:40:43] 865*2^1432265-1 is not prime. Res64: 3324FFBAC4A129D3 Time : 0.0 sec. user=mdettweiler [2016-06-13 09:40:43] 705*2^1432266-1 is not prime. Res64: A1C1633C4E96B7C5 Time : 0.0 sec. user=mdettweiler [2016-06-13 09:40:43] 725*2^1432266-1 is not prime. Res64: 25566638AC7D7314 Time : 0.0 sec. user=mdettweiler [2016-06-13 09:40:44] 815*2^1432266-1 is not prime. Res64: 19E0FDE438FA215C Time : 0.0 sec. user=mdettweiler [2016-06-13 09:40:44] 851*2^1432266-1 is not prime. Res64: 0B76B802AB7B531B Time : 0.0 sec. user=mdettweiler [2016-06-13 09:52:31] 861*2^1432266-1 is not prime. Res64: 3C1E96B02C7A1A30 Time : 0.0 sec. user=mdettweiler [2016-06-13 09:52:32] 947*2^1432266-1 is not prime. Res64: 2404980CED085050 Time : 0.0 sec. user=mdettweiler [2016-06-13 09:52:32] 971*2^1432266-1 is not prime. Res64: 190BC7DC664FFB37 Time : 0.0 sec. user=mdettweiler [2016-06-13 09:52:32] 639*2^1432267-1 is not prime. Res64: BB7E81A137AED74E Time : 0.0 sec. user=mdettweiler [2016-06-13 09:52:33] 675*2^1432267-1 is not prime. Res64: B2DE7486B1326248 Time : 0.0 sec. user=mdettweiler [2016-06-13 10:08:18] 715*2^1432267-1 is not prime. Res64: 7BA5D304A134C6F0 Time : 0.0 sec. user=mdettweiler [2016-06-13 10:08:18] 741*2^1432267-1 is not prime. Res64: 6F300643518C19D3 Time : 0.0 sec. user=mdettweiler [2016-06-13 10:08:19] 819*2^1432267-1 is not prime. Res64: 86102BFED08BACD8 Time : 0.0 sec. user=mdettweiler [2016-06-13 10:08:19] 861*2^1432267-1 is not prime. Res64: BF7513DF9906853B Time : 0.0 sec. user=mdettweiler [2016-06-13 10:08:20] 885*2^1432267-1 is not prime. Res64: 120A4C6B7B05BCA9 Time : 0.0 sec. user=mdettweiler [2016-06-13 10:13:45] 919*2^1432267-1 is not prime. Res64: 8CA98D3F57D69C21 Time : 0.0 sec. user=mdettweiler [2016-06-13 10:13:45] 677*2^1432268-1 is not prime. Res64: 09C1D638F0BF956F Time : 0.0 sec. user=mdettweiler [2016-06-13 10:13:46] 725*2^1432268-1 is not prime. Res64: 5AC914F7EDE97853 Time : 0.0 sec. user=mdettweiler [2016-06-13 10:13:46] 753*2^1432268-1 is not prime. Res64: D37BEE69B4D4094C Time : 0.0 sec. user=mdettweiler [2016-06-13 10:13:46] 855*2^1432268-1 is not prime. Res64: 6144AD7E96C9F6D4 Time : 0.0 sec. user=mdettweiler [2016-06-13 10:26:13] 923*2^1432268-1 is not prime. Res64: 6C3E50FC6B6EA8CA Time : 0.0 sec. user=mdettweiler [2016-06-13 10:26:14] 935*2^1432268-1 is not prime. Res64: A3D1076374AA8A65 Time : 0.0 sec. user=mdettweiler [2016-06-13 10:26:14] 621*2^1432269-1 is not prime. Res64: CCDC56028D4447EB Time : 0.0 sec. user=mdettweiler [2016-06-13 10:26:14] 657*2^1432269-1 is not prime. Res64: 3749BCD3F66D80EA Time : 0.0 sec. user=mdettweiler [2016-06-13 10:26:15] 685*2^1432269-1 is not prime. Res64: 8693BD92A0C9EE23 Time : 0.0 sec. user=mdettweiler [2016-06-13 10:37:51] 817*2^1432269-1 is not prime. Res64: BA32837F1499F8E5 Time : 0.0 sec. user=mdettweiler [2016-06-13 10:37:52] 829*2^1432269-1 is not prime. Res64: 2406BE6681433FE9 Time : 0.0 sec. user=mdettweiler [2016-06-13 10:37:52] 907*2^1432269-1 is not prime. Res64: EA3E4FEF2DEFCA44 Time : 0.0 sec. user=mdettweiler [2016-06-13 10:37:52] 951*2^1432269-1 is not prime. Res64: 87F073E89548945A Time : 0.0 sec. user=mdettweiler [2016-06-13 10:37:53] 979*2^1432269-1 is not prime. Res64: 6032055941550A13 Time : 0.0 sec. user=mdettweiler [2016-06-13 10:53:31] 985*2^1432269-1 is not prime. Res64: 56078579CBF3F210 Time : 0.0 sec. user=mdettweiler [2016-06-13 10:53:31] 605*2^1432270-1 is not prime. Res64: D3A667D2395521EE Time : 0.0 sec. user=mdettweiler [2016-06-13 10:53:32] 785*2^1432270-1 is not prime. Res64: 417F1100AF61BB0E Time : 0.0 sec. user=mdettweiler [2016-06-13 10:53:32] 911*2^1432270-1 is not prime. Res64: FBD77798C7776D49 Time : 0.0 sec. user=mdettweiler [2016-06-13 10:53:33] 957*2^1432270-1 is not prime. Res64: C7939FBCFDB2C273 Time : 0.0 sec. user=mdettweiler [2016-06-13 10:59:00] 971*2^1432270-1 is not prime. Res64: 341307582F3C9ACE Time : 0.0 sec. user=mdettweiler [2016-06-13 10:59:00] 1001*2^1432270-1 is not prime. Res64: 9D5E29084274027C Time : 0.0 sec. user=mdettweiler [2016-06-13 10:59:00] 661*2^1432271-1 is not prime. Res64: 3835C1816A0C731B Time : 0.0 sec. user=mdettweiler [2016-06-13 10:59:01] 763*2^1432271-1 is not prime. Res64: 6BFA0179F9991B2C Time : 0.0 sec. user=mdettweiler [2016-06-13 10:59:01] 909*2^1432271-1 is not prime. Res64: 5C28ED9011436BD0 Time : 0.0 sec. user=mdettweiler [2016-06-13 11:23:12] 737*2^1432272-1 is not prime. Res64: A8731D11762BE84B Time : 0.0 sec. user=mdettweiler [2016-06-13 11:23:12] 849*2^1432272-1 is not prime. Res64: 962B64A6051CB17E Time : 0.0 sec. user=mdettweiler [2016-06-13 11:23:13] 899*2^1432272-1 is not prime. Res64: 1171D642B3AD885F Time : 0.0 sec. user=mdettweiler [2016-06-13 11:23:13] 679*2^1432273-1 is not prime. Res64: D89E5D9B4BD8E596 Time : 0.0 sec. user=mdettweiler [2016-06-13 11:23:14] 687*2^1432273-1 is not prime. Res64: 892D92D3C136CF91 Time : 0.0 sec. user=mdettweiler [2016-06-13 11:39:11] 721*2^1432273-1 is not prime. Res64: 9C492D3339469298 Time : 0.0 sec. user=mdettweiler [2016-06-13 11:39:12] 741*2^1432273-1 is not prime. Res64: 2303E6488A8F0E31 Time : 0.0 sec. user=mdettweiler [2016-06-13 11:39:12] 877*2^1432273-1 is not prime. Res64: EFB0D7A7E4A410FE Time : 0.0 sec. user=mdettweiler [2016-06-13 11:39:12] 919*2^1432273-1 is not prime. Res64: D5F6C9B6AD55B1A4 Time : 0.0 sec. user=mdettweiler [2016-06-13 11:39:13] 937*2^1432273-1 is not prime. Res64: 4A05BE99E2FDDB34 Time : 0.0 sec. user=mdettweiler [2016-06-13 11:44:57] 979*2^1432273-1 is not prime. Res64: 4ABB5181E5B97C14 Time : 0.0 sec. user=mdettweiler [2016-06-13 11:44:57] 753*2^1432274-1 is not prime. Res64: E01C9A577368F848 Time : 0.0 sec. user=mdettweiler [2016-06-13 11:44:58] 825*2^1432274-1 is not prime. Res64: 46A6839B16AFA9DA Time : 0.0 sec. user=mdettweiler [2016-06-13 11:44:58] 861*2^1432274-1 is not prime. Res64: 5F75E44E9382DA82 Time : 0.0 sec. user=mdettweiler [2016-06-13 11:44:58] 895*2^1432275-1 is not prime. Res64: 9509F00C867E16FA Time : 0.0 sec. user=mdettweiler [2016-06-13 12:09:47] 913*2^1432275-1 is not prime. Res64: E27193621FF3336F Time : 0.0 sec. user=mdettweiler [2016-06-13 12:09:48] 963*2^1432275-1 is not prime. Res64: FA415B7BEB513C5C Time : 0.0 sec. user=mdettweiler [2016-06-13 12:09:48] 657*2^1432276-1 is not prime. Res64: A50EC2F906C5C01A Time : 0.0 sec. user=mdettweiler [2016-06-13 12:09:49] 705*2^1432276-1 is not prime. Res64: 51B91EFDF766D4F2 Time : 0.0 sec. user=mdettweiler [2016-06-13 12:09:50] 765*2^1432276-1 is not prime. Res64: 57DC790F5CF0E52B Time : 0.0 sec. user=mdettweiler [2016-06-13 12:27:24] 825*2^1432276-1 is not prime. Res64: 2492228DA2BFBEE7 Time : 0.0 sec. user=mdettweiler [2016-06-13 12:27:24] 833*2^1432276-1 is not prime. Res64: E0BA161140E61C62 Time : 0.0 sec. user=mdettweiler [2016-06-13 12:27:24] 843*2^1432276-1 is not prime. Res64: 0CE4A2923508B779 Time : 0.0 sec. user=mdettweiler [2016-06-13 12:27:25] 939*2^1432276-1 is not prime. Res64: 887B8E6426474E20 Time : 0.0 sec. user=mdettweiler [2016-06-13 12:27:25] 983*2^1432276-1 is not prime. Res64: A926F2DDF8AED32E Time : 0.0 sec. user=mdettweiler [2016-06-13 12:33:37] 999*2^1432276-1 is not prime. Res64: BA6506DD240A4F01 Time : 0.0 sec. user=mdettweiler [2016-06-13 12:33:37] 607*2^1432277-1 is not prime. Res64: BCB3C0DA5AB50871 Time : 0.0 sec. user=mdettweiler [2016-06-13 12:33:37] 619*2^1432277-1 is not prime. Res64: 36259A5853F3A8CE Time : 0.0 sec. user=mdettweiler [2016-06-13 12:33:37] 631*2^1432277-1 is not prime. Res64: 1D29E98E769D07BA Time : 0.0 sec. user=mdettweiler [2016-06-13 12:33:37] 651*2^1432277-1 is not prime. Res64: B1E334933E39A249 Time : 0.0 sec. user=mdettweiler [2016-06-13 13:03:00] 685*2^1432277-1 is not prime. Res64: 914A90C02BA0450D Time : 0.0 sec. user=mdettweiler [2016-06-13 13:03:02] 727*2^1432277-1 is not prime. Res64: 654CA54FB826A204 Time : 0.0 sec. user=mdettweiler [2016-06-13 13:03:02] 735*2^1432277-1 is not prime. Res64: 7C2397F306B766E3 Time : 0.0 sec. user=mdettweiler [2016-06-13 13:03:03] 769*2^1432277-1 is not prime. Res64: 658B9B954C6A7034 Time : 0.0 sec. user=mdettweiler [2016-06-13 13:03:04] 981*2^1432277-1 is not prime. Res64: EBA1C7B644B841AC Time : 0.0 sec. user=mdettweiler [2016-06-13 13:18:10] 747*2^1432278-1 is not prime. Res64: 4958404BC0503FA5 Time : 0.0 sec. user=mdettweiler [2016-06-13 13:18:11] 815*2^1432278-1 is not prime. Res64: 6219CEF79F22FF33 Time : 0.0 sec. user=mdettweiler [2016-06-13 13:18:11] 625*2^1432279-1 is not prime. Res64: 85590C36845643E4 Time : 0.0 sec. user=mdettweiler [2016-06-13 13:18:11] 759*2^1432279-1 is not prime. Res64: C31BE9981C8F70F6 Time : 0.0 sec. user=mdettweiler [2016-06-13 13:18:12] 831*2^1432279-1 is not prime. Res64: 7D7486A04075A543 Time : 0.0 sec. user=mdettweiler [2016-06-13 13:23:31] 885*2^1432279-1 is not prime. Res64: C69D5218A667F153 Time : 0.0 sec. user=mdettweiler [2016-06-13 13:23:31] 615*2^1432280-1 is not prime. Res64: C5807C1C5AEC861E Time : 0.0 sec. user=mdettweiler [2016-06-13 13:23:32] 633*2^1432280-1 is not prime. Res64: A9D728E36A0F3358 Time : 0.0 sec. user=mdettweiler [2016-06-13 13:23:32] 699*2^1432280-1 is not prime. Res64: 2180D88B9F4CD78C Time : 0.0 sec. user=mdettweiler [2016-06-13 13:23:32] 719*2^1432280-1 is not prime. Res64: 1B940CD087DD5748 Time : 0.0 sec. user=mdettweiler [2016-06-13 13:49:09] 767*2^1432280-1 is not prime. Res64: 8DED7EA2602A552A Time : 0.0 sec. user=mdettweiler [2016-06-13 13:49:09] 789*2^1432280-1 is not prime. Res64: C4E1FFF5AADEAC0B Time : 0.0 sec. user=mdettweiler [2016-06-13 13:49:09] 893*2^1432280-1 is not prime. Res64: 778308D22BC8BFC1 Time : 0.0 sec. user=mdettweiler [2016-06-13 13:49:10] 929*2^1432280-1 is not prime. Res64: D17358FE0A2D19F7 Time : 0.0 sec. user=mdettweiler [2016-06-13 13:49:10] 959*2^1432280-1 is not prime. Res64: B71280051DBED5AA Time : 0.0 sec. user=mdettweiler [2016-06-13 14:09:46] 909*2^1432281-1 is not prime. Res64: 2946DB15BA5A4AFD Time : 0.0 sec. user=mdettweiler [2016-06-13 14:09:47] 987*2^1432281-1 is not prime. Res64: D40AC446A8198CC3 Time : 0.0 sec. user=mdettweiler [2016-06-13 14:09:47] 675*2^1432282-1 is not prime. Res64: E3D6E8BD9BA89F50 Time : 0.0 sec. user=mdettweiler [2016-06-13 14:09:48] 677*2^1432282-1 is not prime. Res64: 9134947A5354952E Time : 0.0 sec. user=mdettweiler [2016-06-13 14:09:48] 705*2^1432282-1 is not prime. Res64: DE1A5835036C7C87 Time : 0.0 sec. user=mdettweiler [2016-06-13 15:01:14] 945*2^1432282-1 is not prime. Res64: 3F984AFF828A25BC Time : 0.0 sec. user=mdettweiler [2016-06-13 15:01:15] 983*2^1432282-1 is not prime. Res64: BB3FDF7E76467198 Time : 0.0 sec. user=mdettweiler [2016-06-13 15:01:16] 995*2^1432282-1 is not prime. Res64: AFAC5055AE906B09 Time : 0.0 sec. user=mdettweiler [2016-06-13 15:01:17] 789*2^1432283-1 is not prime. Res64: EAF7DC57CEBC4560 Time : 0.0 sec. user=mdettweiler [2016-06-13 15:01:18] 805*2^1432283-1 is not prime. Res64: 1B0C53669D18DEA3 Time : 0.0 sec. user=mdettweiler [2016-06-13 15:55:42] 945*2^1432283-1 is not prime. Res64: 21D64818AABF3932 Time : 0.0 sec. user=mdettweiler [2016-06-13 15:55:42] 773*2^1432284-1 is not prime. Res64: 603482075D77E62A Time : 0.0 sec. user=mdettweiler [2016-06-13 15:55:43] 857*2^1432284-1 is not prime. Res64: 2E23416145C6BF44 Time : 0.0 sec. user=mdettweiler [2016-06-13 15:55:43] 619*2^1432285-1 is not prime. Res64: 14A572A5EC725B2A Time : 0.0 sec. user=mdettweiler [2016-06-13 15:55:44] 625*2^1432285-1 is not prime. Res64: 29C1497839AD0442 Time : 0.0 sec. user=mdettweiler [2016-06-13 16:50:43] 651*2^1432285-1 is not prime. Res64: 56C46BCA50395B89 Time : 0.0 sec. user=mdettweiler [2016-06-13 16:50:44] 805*2^1432285-1 is not prime. Res64: D8D416450808131C Time : 0.0 sec. user=mdettweiler [2016-06-13 16:50:44] 877*2^1432285-1 is not prime. Res64: 86EF31CC8ADF90AF Time : 0.0 sec. user=mdettweiler [2016-06-13 16:50:45] 761*2^1432286-1 is not prime. Res64: 3452CC76DB0BB6FB Time : 0.0 sec. user=mdettweiler [2016-06-13 16:50:45] 767*2^1432286-1 is not prime. Res64: 2AF4535EED76EB6D Time : 0.0 sec. user=mdettweiler [2016-06-13 16:56:02] 973*2^1432271-1 is not prime. Res64: F45FD19846A5E1B8 Time : 0.0 sec. user=mdettweiler [2016-06-13 16:56:02] 981*2^1432271-1 is not prime. Res64: 9C99FA35E5F1F16F Time : 0.0 sec. user=mdettweiler [2016-06-13 16:56:02] 635*2^1432272-1 is not prime. Res64: 2CD0A1716769FE24 Time : 0.0 sec. user=mdettweiler [2016-06-13 16:56:03] 669*2^1432272-1 is not prime. Res64: A184981CA6CC62B6 Time : 0.0 sec. user=mdettweiler [2016-06-13 16:56:03] 675*2^1432272-1 is not prime. Res64: 2C77894D2929CFCC Time : 0.0 sec. user=mdettweiler [2016-06-13 17:40:09] 831*2^1432286-1 is not prime. Res64: 61E9B22162237145 Time : 0.0 sec. user=mdettweiler [2016-06-13 17:40:09] 867*2^1432286-1 is not prime. Res64: 62AC3E6D7AC9CFB9 Time : 0.0 sec. user=mdettweiler [2016-06-13 17:40:09] 963*2^1432286-1 is not prime. Res64: 390A997F0A924A99 Time : 0.0 sec. user=mdettweiler [2016-06-13 17:40:10] 601*2^1432287-1 is not prime. Res64: DAF151FDD8AAA7A2 Time : 0.0 sec. user=mdettweiler [2016-06-13 17:40:10] 675*2^1432287-1 is not prime. Res64: 285157E9EFA7834E Time : 0.0 sec. user=mdettweiler [2016-06-13 17:45:23] 693*2^1432287-1 is not prime. Res64: 988EC1272FC78823 Time : 0.0 sec. user=mdettweiler [2016-06-13 17:45:23] 825*2^1432287-1 is not prime. Res64: AAD5D2858D88F6B1 Time : 0.0 sec. user=mdettweiler [2016-06-13 17:45:23] 831*2^1432287-1 is not prime. Res64: AA0C421A43A95BEB Time : 0.0 sec. user=mdettweiler [2016-06-13 17:45:24] 605*2^1432288-1 is not prime. Res64: 99BD09BF9C803A2E Time : 0.0 sec. user=mdettweiler [2016-06-13 17:45:24] 615*2^1432288-1 is not prime. Res64: 37FF5E8240F5E7EC Time : 0.0 sec. user=mdettweiler [2016-06-13 18:29:23] 705*2^1432288-1 is not prime. Res64: 75E1EBD76A6A9344 Time : 0.0 sec. user=mdettweiler [2016-06-13 18:29:23] 747*2^1432288-1 is not prime. Res64: CF1C418CBC5F5E76 Time : 0.0 sec. user=mdettweiler [2016-06-13 18:29:24] 777*2^1432288-1 is not prime. Res64: E0950C4BC449348F Time : 0.0 sec. user=mdettweiler [2016-06-13 18:29:24] 839*2^1432288-1 is not prime. Res64: E04B2FA9F7101764 Time : 0.0 sec. user=mdettweiler [2016-06-13 18:29:24] 909*2^1432288-1 is not prime. Res64: C1EF1B62B3419B78 Time : 0.0 sec. user=mdettweiler [2016-06-13 18:35:45] 915*2^1432288-1 is not prime. Res64: 5D3919DFF5F54C37 Time : 0.0 sec. user=mdettweiler [2016-06-13 18:35:46] 957*2^1432288-1 is not prime. Res64: CD850DC6C65C3D39 Time : 0.0 sec. user=mdettweiler [2016-06-13 18:35:46] 601*2^1432289-1 is not prime. Res64: F28B64AD4D1729B7 Time : 0.0 sec. user=mdettweiler [2016-06-13 18:35:46] 697*2^1432289-1 is not prime. Res64: 85A67D497F641296 Time : 0.0 sec. user=mdettweiler [2016-06-13 18:35:47] 747*2^1432289-1 is not prime. Res64: 1A66716FC8BE0ABA Time : 0.0 sec. user=mdettweiler [2016-06-13 19:19:30] 789*2^1432289-1 is not prime. Res64: C3AC159C41C6DD50 Time : 0.0 sec. user=mdettweiler [2016-06-13 19:19:30] 861*2^1432289-1 is not prime. Res64: DA73328E46391C7A Time : 0.0 sec. user=mdettweiler [2016-06-13 19:19:31] 879*2^1432289-1 is not prime. Res64: DD2363275B9B4A7E Time : 0.0 sec. user=mdettweiler [2016-06-13 19:19:31] 641*2^1432290-1 is not prime. Res64: 145B202892C99842 Time : 0.0 sec. user=mdettweiler [2016-06-13 19:19:32] 681*2^1432290-1 is not prime. Res64: 32FE47F4AD4CD7A2 Time : 0.0 sec. user=mdettweiler [2016-06-13 19:24:56] 845*2^1432290-1 is not prime. Res64: 6EC451AD89807E83 Time : 0.0 sec. user=mdettweiler [2016-06-13 19:24:57] 885*2^1432290-1 is not prime. Res64: FAACDB4EB4A2DBD4 Time : 0.0 sec. user=mdettweiler [2016-06-13 19:24:57] 905*2^1432290-1 is not prime. Res64: DA2AF41DC5C25710 Time : 0.0 sec. user=mdettweiler [2016-06-13 19:24:58] 921*2^1432290-1 is not prime. Res64: E6567728A3F466BC Time : 0.0 sec. user=mdettweiler [2016-06-13 19:24:58] 705*2^1432291-1 is not prime. Res64: C88881B164A2B361 Time : 0.0 sec. user=mdettweiler [2016-06-13 20:09:23] 741*2^1432291-1 is not prime. Res64: A6309BCC4E7E983C Time : 0.0 sec. user=mdettweiler [2016-06-13 20:09:23] 759*2^1432291-1 is not prime. Res64: 41DB8DD7CC42333F Time : 0.0 sec. user=mdettweiler [2016-06-13 20:09:24] 801*2^1432291-1 is not prime. Res64: 33EBAE1656E6EF6A Time : 0.0 sec. user=mdettweiler [2016-06-13 20:09:24] 813*2^1432291-1 is not prime. Res64: E8BC0F85468335EB Time : 0.0 sec. user=mdettweiler [2016-06-13 20:09:24] 961*2^1432291-1 is not prime. Res64: 8B9948AD77584EC1 Time : 0.0 sec. user=mdettweiler [2016-06-13 20:14:46] 975*2^1432291-1 is not prime. Res64: 18B9A409FA0251E6 Time : 0.0 sec. user=mdettweiler [2016-06-13 20:14:46] 683*2^1432292-1 is not prime. Res64: 7265E620CCB662B7 Time : 0.0 sec. user=mdettweiler [2016-06-13 20:14:47] 725*2^1432292-1 is not prime. Res64: EC1771D82A487E72 Time : 0.0 sec. user=mdettweiler [2016-06-13 20:14:47] 759*2^1432292-1 is not prime. Res64: 4E733A0F4A65D1F6 Time : 0.0 sec. user=mdettweiler [2016-06-13 20:14:47] 797*2^1432292-1 is not prime. Res64: 2DD6DEF2D109FDCC Time : 0.0 sec. user=mdettweiler [2016-06-13 21:02:31] 813*2^1432292-1 is not prime. Res64: 61ADC1800A71ED5D Time : 0.0 sec. user=mdettweiler [2016-06-13 21:02:32] 837*2^1432292-1 is not prime. Res64: 618D83F6A65A14AB Time : 0.0 sec. user=mdettweiler [2016-06-13 21:02:32] 945*2^1432292-1 is not prime. Res64: A878954C6BC49C37 Time : 0.0 sec. user=mdettweiler [2016-06-13 21:02:33] 983*2^1432292-1 is not prime. Res64: 36029DFF60C7B443 Time : 0.0 sec. user=mdettweiler [2016-06-13 21:02:33] 657*2^1432293-1 is not prime. Res64: 226AD7D13111D733 Time : 0.0 sec. user=mdettweiler [2016-06-13 21:09:50] 675*2^1432293-1 is not prime. Res64: 1D65DFB2B1FA7A37 Time : 0.0 sec. user=mdettweiler [2016-06-13 21:09:51] 781*2^1432293-1 is not prime. Res64: EA58561C56D20AA0 Time : 0.0 sec. user=mdettweiler [2016-06-13 21:09:51] 829*2^1432293-1 is not prime. Res64: 8D9EFEEE31D60B03 Time : 0.0 sec. user=mdettweiler [2016-06-13 21:09:52] 871*2^1432293-1 is not prime. Res64: EFD2B4326D9074E4 Time : 0.0 sec. user=mdettweiler [2016-06-13 21:09:52] 877*2^1432293-1 is not prime. Res64: 232FDF41B1B9D7FB Time : 0.0 sec. user=mdettweiler [2016-06-13 21:17:27] 625*2^1432281-1 is not prime. Res64: F1CC7A157805A825 Time : 0.0 sec. user=mdettweiler [2016-06-13 21:17:28] 745*2^1432281-1 is not prime. Res64: F1BD341801C0F89E Time : 0.0 sec. user=mdettweiler [2016-06-13 21:17:28] 781*2^1432281-1 is not prime. Res64: 0B5AA8D97A552073 Time : 0.0 sec. user=mdettweiler [2016-06-13 21:17:28] 865*2^1432281-1 is not prime. Res64: 51F5145D36218773 Time : 0.0 sec. user=mdettweiler [2016-06-13 21:17:28] 889*2^1432281-1 is not prime. Res64: 7E58AFC6F48DDB8B Time : 0.0 sec. user=mdettweiler [2016-06-13 21:33:25] 833*2^1432282-1 is not prime. Res64: 470C01E6D943924E Time : 0.0 sec. user=mdettweiler [2016-06-13 21:33:25] 873*2^1432282-1 is not prime. Res64: 3AB15A9696776573 Time : 0.0 sec. user=mdettweiler [2016-06-13 21:33:25] 887*2^1432282-1 is not prime. Res64: BD99CD88CFE48A1D Time : 0.0 sec. user=mdettweiler [2016-06-13 21:33:25] 891*2^1432282-1 is not prime. Res64: 6CE969DF7BABE453 Time : 0.0 sec. user=mdettweiler [2016-06-13 21:33:26] 941*2^1432282-1 is not prime. Res64: 326766FF62DF2570 Time : 0.0 sec. user=mdettweiler [2016-06-13 21:54:50] 937*2^1432293-1 is not prime. Res64: 54AE6E85C62F4B26 Time : 0.0 sec. user=mdettweiler [2016-06-13 21:54:51] 979*2^1432293-1 is not prime. Res64: 29EDEECC9E6443DC Time : 0.0 sec. user=mdettweiler [2016-06-13 21:54:51] 623*2^1432294-1 is not prime. Res64: 8AE28B0E38EF40C2 Time : 0.0 sec. user=mdettweiler [2016-06-13 21:54:52] 645*2^1432294-1 is not prime. Res64: E82838D5BA24048D Time : 0.0 sec. user=mdettweiler [2016-06-13 21:54:52] 663*2^1432294-1 is not prime. Res64: 9BFB76442B0C5D40 Time : 0.0 sec. user=mdettweiler [2016-06-13 21:59:29] 723*2^1432294-1 is not prime. Res64: ACA359C56638355D Time : 0.0 sec. user=mdettweiler [2016-06-13 21:59:30] 815*2^1432294-1 is not prime. Res64: EA1305178D43736A Time : 0.0 sec. user=mdettweiler [2016-06-13 21:59:30] 827*2^1432294-1 is not prime. Res64: 7E7DAE2F8E613625 Time : 0.0 sec. user=mdettweiler [2016-06-13 21:59:31] 887*2^1432294-1 is not prime. Res64: C575B169F0C4DA3A Time : 0.0 sec. user=mdettweiler [2016-06-13 21:59:31] 981*2^1432294-1 is not prime. Res64: 0872ACAE7485BB2A Time : 0.0 sec. user=mdettweiler [2016-06-13 22:05:24] 993*2^1432294-1 is not prime. Res64: F5ED0E78A4DA85C4 Time : 0.0 sec. user=mdettweiler [2016-06-13 22:05:30] 603*2^1432295-1 is not prime. Res64: FAB74166B0381E79 Time : 0.0 sec. user=mdettweiler [2016-06-13 22:05:31] 663*2^1432295-1 is not prime. Res64: 64B57ED90C46BC8E Time : 0.0 sec. user=mdettweiler [2016-06-13 22:05:32] 685*2^1432295-1 is not prime. Res64: 542DA518B31536CE Time : 0.0 sec. user=mdettweiler [2016-06-13 22:05:33] 763*2^1432295-1 is not prime. Res64: B03DDF72D1BB8950 Time : 0.0 sec. user=mdettweiler [2016-06-13 22:20:32] 831*2^1432295-1 is not prime. Res64: F7D127027FF110BD Time : 0.0 sec. user=mdettweiler [2016-06-13 22:20:32] 843*2^1432295-1 is not prime. Res64: E87FC8FD948F2CED Time : 0.0 sec. user=mdettweiler [2016-06-13 22:20:33] 859*2^1432295-1 is not prime. Res64: CC6B2545D714ADFA Time : 0.0 sec. user=mdettweiler [2016-06-13 22:20:33] 915*2^1432295-1 is not prime. Res64: 351F07925CD82CDE Time : 0.0 sec. user=mdettweiler [2016-06-13 22:20:34] 979*2^1432295-1 is not prime. Res64: D4C6B3492C710E3D Time : 0.0 sec. user=mdettweiler [2016-06-13 22:40:24] 615*2^1432296-1 is not prime. Res64: 4B02C34C86E8A5AB Time : 0.0 sec. user=mdettweiler [2016-06-13 22:40:25] 669*2^1432296-1 is not prime. Res64: 9C5175370A704BCC Time : 0.0 sec. user=mdettweiler [2016-06-13 22:40:25] 737*2^1432296-1 is not prime. Res64: 48F88887558F5A8E Time : 0.0 sec. user=mdettweiler [2016-06-13 22:40:25] 825*2^1432296-1 is not prime. Res64: 6E719ED260129F6E Time : 0.0 sec. user=mdettweiler [2016-06-13 22:40:26] 903*2^1432296-1 is not prime. Res64: 7E7AE53FC3F2B113 Time : 0.0 sec. user=mdettweiler [2016-06-13 22:44:58] 947*2^1432296-1 is not prime. Res64: 8AED82A69498315B Time : 0.0 sec. user=mdettweiler [2016-06-13 22:44:58] 937*2^1432297-1 is not prime. Res64: BB4CEC5C78629F68 Time : 0.0 sec. user=mdettweiler [2016-06-13 22:44:59] 967*2^1432297-1 is not prime. Res64: B38E18DC8868223A Time : 0.0 sec. user=mdettweiler [2016-06-13 22:44:59] 975*2^1432297-1 is not prime. Res64: 79EA1365EBFCF2E2 Time : 0.0 sec. user=mdettweiler [2016-06-13 22:45:00] 687*2^1432298-1 is not prime. Res64: 8F4C1368A34CA761 Time : 0.0 sec. user=mdettweiler [2016-06-13 22:50:59] 743*2^1432298-1 is not prime. Res64: DEEEE3E9B429588D Time : 0.0 sec. user=mdettweiler [2016-06-13 22:51:00] 747*2^1432298-1 is not prime. Res64: 77B725D8ADDD3C6E Time : 0.0 sec. user=mdettweiler [2016-06-13 22:51:00] 791*2^1432298-1 is not prime. Res64: B70D78F395760546 Time : 0.0 sec. user=mdettweiler [2016-06-13 22:51:00] 797*2^1432298-1 is not prime. Res64: 46DD8ED41C9D4C2F Time : 0.0 sec. user=mdettweiler [2016-06-13 22:51:01] 893*2^1432298-1 is not prime. Res64: F621BC9C6D628754 Time : 0.0 sec. user=mdettweiler [2016-06-13 23:05:49] 995*2^1432298-1 is not prime. Res64: E9AB49462D118E7A Time : 0.0 sec. user=mdettweiler [2016-06-13 23:05:53] 633*2^1432299-1 is not prime. Res64: 2CECFC8703C0CE03 Time : 0.0 sec. user=mdettweiler [2016-06-13 23:05:55] 679*2^1432299-1 is not prime. Res64: 66647A71AD51C52B Time : 0.0 sec. user=mdettweiler [2016-06-13 23:05:57] 711*2^1432299-1 is not prime. Res64: BB31856B743966D2 Time : 0.0 sec. user=mdettweiler [2016-06-13 23:05:58] 741*2^1432299-1 is not prime. Res64: 9B0AE6A47A70FBCF Time : 0.0 sec. user=mdettweiler [2016-06-13 23:25:52] 801*2^1432299-1 is not prime. Res64: 7C31C08A3DD1990D Time : 0.0 sec. user=mdettweiler [2016-06-13 23:25:52] 903*2^1432299-1 is not prime. Res64: 2FAC9295C638997D Time : 0.0 sec. user=mdettweiler [2016-06-13 23:25:52] 951*2^1432299-1 is not prime. Res64: EF60D87511D18026 Time : 0.0 sec. user=mdettweiler [2016-06-13 23:25:53] 999*2^1432299-1 is not prime. Res64: F2B9F5E0DD54BFC7 Time : 0.0 sec. user=mdettweiler [2016-06-13 23:25:53] 665*2^1432300-1 is not prime. Res64: DB3CF799C30850D2 Time : 0.0 sec. user=mdettweiler [2016-06-13 23:30:09] 719*2^1432300-1 is not prime. Res64: A37CC92B7B1295F8 Time : 0.0 sec. user=mdettweiler [2016-06-13 23:30:10] 773*2^1432300-1 is not prime. Res64: 784B5707AE84CECA Time : 0.0 sec. user=mdettweiler [2016-06-13 23:30:10] 857*2^1432300-1 is not prime. Res64: CAA0F2C9FA4B57ED Time : 0.0 sec. user=mdettweiler [2016-06-13 23:30:10] 983*2^1432300-1 is not prime. Res64: 395C53D855BF482F Time : 0.0 sec. user=mdettweiler [2016-06-13 23:30:11] 615*2^1432301-1 is not prime. Res64: 0199E0BA3807EBEA Time : 0.0 sec. user=mdettweiler [2016-06-13 23:36:11] 711*2^1432301-1 is not prime. Res64: 8960B0B3915C46DA Time : 0.0 sec. user=mdettweiler [2016-06-13 23:36:12] 741*2^1432301-1 is not prime. Res64: CE5DE0F4E7C64752 Time : 0.0 sec. user=mdettweiler [2016-06-13 23:36:12] 747*2^1432301-1 is not prime. Res64: 0D34876B83AE82F0 Time : 0.0 sec. user=mdettweiler [2016-06-13 23:36:13] 967*2^1432301-1 is not prime. Res64: 92137BF5A1609385 Time : 0.0 sec. user=mdettweiler [2016-06-13 23:36:13] 683*2^1432302-1 is not prime. Res64: F91A119CFF2E639D Time : 0.0 sec. user=mdettweiler [2016-06-13 23:51:46] 801*2^1432302-1 is not prime. Res64: 55D354863C05EB2E Time : 0.0 sec. user=mdettweiler [2016-06-13 23:51:47] 863*2^1432302-1 is not prime. Res64: 84EA5F97FE7A9DF5 Time : 0.0 sec. user=mdettweiler [2016-06-13 23:51:47] 873*2^1432302-1 is not prime. Res64: 165FB69AF3C1FFF4 Time : 0.0 sec. user=mdettweiler [2016-06-13 23:51:47] 893*2^1432302-1 is not prime. Res64: 7F37780E09C9048A Time : 0.0 sec. user=mdettweiler [2016-06-13 23:51:48] 965*2^1432302-1 is not prime. Res64: 28A99D9622028E2C Time : 0.0 sec.