user=mdettweiler [2016-08-10 00:20:43] 651*2^1437101-1 is not prime. Res64: 18313CC604E50887 Time : 0.0 sec. user=mdettweiler [2016-08-10 00:20:45] 685*2^1437101-1 is not prime. Res64: 03DF9929EEC86FEE Time : 0.0 sec. user=mdettweiler [2016-08-10 00:20:46] 691*2^1437101-1 is not prime. Res64: 7F76CACFC5D1A3B5 Time : 0.0 sec. user=mdettweiler [2016-08-10 00:20:47] 811*2^1437101-1 is not prime. Res64: 80B10B757B6806BC Time : 0.0 sec. user=mdettweiler [2016-08-10 00:20:49] 825*2^1437101-1 is not prime. Res64: 12850E878A78DFD7 Time : 0.0 sec. user=mdettweiler [2016-08-10 00:26:34] 907*2^1437101-1 is not prime. Res64: BFF56BACE967CED4 Time : 0.0 sec. user=mdettweiler [2016-08-10 00:26:37] 627*2^1437102-1 is not prime. Res64: D8EEE0440FFF69D9 Time : 0.0 sec. user=mdettweiler [2016-08-10 00:26:40] 737*2^1437102-1 is not prime. Res64: 3E06B7CE178DA617 Time : 0.0 sec. user=mdettweiler [2016-08-10 00:26:41] 767*2^1437102-1 is not prime. Res64: FBE44B8255C86FF9 Time : 0.0 sec. user=mdettweiler [2016-08-10 00:26:44] 873*2^1437102-1 is not prime. Res64: 951CF8A462A8BE4C Time : 0.0 sec. user=mdettweiler [2016-08-10 00:34:49] 903*2^1437102-1 is not prime. Res64: A3965AF5C82BF3CE Time : 0.0 sec. user=mdettweiler [2016-08-10 00:34:49] 917*2^1437102-1 is not prime. Res64: 22A67D7BF8FD04D8 Time : 0.0 sec. user=mdettweiler [2016-08-10 00:34:49] 983*2^1437102-1 is not prime. Res64: 7B7834640BD2B873 Time : 0.0 sec. user=mdettweiler [2016-08-10 00:34:50] 661*2^1437103-1 is not prime. Res64: 89F42A134281DAF9 Time : 0.0 sec. user=mdettweiler [2016-08-10 00:34:50] 811*2^1437103-1 is not prime. Res64: 933C140BFFD1D1F5 Time : 0.0 sec. user=mdettweiler [2016-08-10 01:05:32] 831*2^1437103-1 is not prime. Res64: 9E1E7B437298182E Time : 0.0 sec. user=mdettweiler [2016-08-10 01:05:33] 849*2^1437103-1 is not prime. Res64: 1DEEBE7F121FAEE1 Time : 0.0 sec. user=mdettweiler [2016-08-10 01:05:34] 855*2^1437103-1 is not prime. Res64: 140A49DC5D327E44 Time : 0.0 sec. user=mdettweiler [2016-08-10 01:05:35] 889*2^1437103-1 is not prime. Res64: C67C2CD608C73A5E Time : 0.0 sec. user=mdettweiler [2016-08-10 01:05:36] 919*2^1437103-1 is not prime. Res64: A0CEB3A6CF17E742 Time : 0.0 sec. user=mdettweiler [2016-08-10 01:11:17] 985*2^1437103-1 is not prime. Res64: 60FEEED7F255CB38 Time : 0.0 sec. user=mdettweiler [2016-08-10 01:11:18] 617*2^1437104-1 is not prime. Res64: 62904E96667D5502 Time : 0.0 sec. user=mdettweiler [2016-08-10 01:11:18] 623*2^1437104-1 is not prime. Res64: 47488C91304EDAF4 Time : 0.0 sec. user=mdettweiler [2016-08-10 01:11:18] 665*2^1437104-1 is not prime. Res64: 7854052DE00AF04E Time : 0.0 sec. user=mdettweiler [2016-08-10 01:11:19] 857*2^1437104-1 is not prime. Res64: E33FC5B99BA02770 Time : 0.0 sec. user=mdettweiler [2016-08-10 01:19:25] 657*2^1437105-1 is not prime. Res64: C7522BEE5A7DDFF1 Time : 0.0 sec. user=mdettweiler [2016-08-10 01:19:26] 675*2^1437105-1 is not prime. Res64: A3F3887D55490EE6 Time : 0.0 sec. user=mdettweiler [2016-08-10 01:19:27] 699*2^1437105-1 is not prime. Res64: 67FE8155D09CB00B Time : 0.0 sec. user=mdettweiler [2016-08-10 01:19:27] 709*2^1437105-1 is not prime. Res64: 2F34CE698BCB594B Time : 0.0 sec. user=mdettweiler [2016-08-10 01:19:28] 711*2^1437105-1 is not prime. Res64: 27D8F774D76F3A9E Time : 0.0 sec. user=mdettweiler [2016-08-10 01:50:11] 717*2^1437105-1 is not prime. Res64: 6407BF9BB4756D9E Time : 0.0 sec. user=mdettweiler [2016-08-10 01:50:11] 759*2^1437105-1 is not prime. Res64: E08FD4DDFF7461C5 Time : 0.0 sec. user=mdettweiler [2016-08-10 01:50:11] 847*2^1437105-1 is not prime. Res64: 41FF5D7DA3AFEC7B Time : 0.0 sec. user=mdettweiler [2016-08-10 01:50:12] 891*2^1437105-1 is not prime. Res64: A5338209A9CCE640 Time : 0.0 sec. user=mdettweiler [2016-08-10 01:50:12] 635*2^1437106-1 is not prime. Res64: 52AC27C37C90B087 Time : 0.0 sec. user=mdettweiler [2016-08-10 01:55:41] 717*2^1437106-1 is not prime. Res64: 32440D66C63D0EC4 Time : 0.0 sec. user=mdettweiler [2016-08-10 01:55:42] 645*2^1437107-1 is not prime. Res64: 4523EADE1323C468 Time : 0.0 sec. user=mdettweiler [2016-08-10 01:55:42] 843*2^1437107-1 is not prime. Res64: B21A96DB8959F3CA Time : 0.0 sec. user=mdettweiler [2016-08-10 01:55:42] 879*2^1437107-1 is not prime. Res64: FDDBC3A47BF5472D Time : 0.0 sec. user=mdettweiler [2016-08-10 01:55:42] 901*2^1437107-1 is not prime. Res64: 9763430D4409B3A2 Time : 0.0 sec. user=mdettweiler [2016-08-10 02:04:06] 979*2^1437107-1 is not prime. Res64: 2179E7158AD18656 Time : 0.0 sec. user=mdettweiler [2016-08-10 02:04:08] 981*2^1437107-1 is not prime. Res64: 1A01068309CCAFFF Time : 0.0 sec. user=mdettweiler [2016-08-10 02:04:10] 629*2^1437108-1 is not prime. Res64: AAD13EFC974D7E72 Time : 0.0 sec. user=mdettweiler [2016-08-10 02:04:11] 633*2^1437108-1 is not prime. Res64: 11D7159BFE1F234F Time : 0.0 sec. user=mdettweiler [2016-08-10 02:04:13] 635*2^1437108-1 is not prime. Res64: FFC4567E364C298F Time : 0.0 sec. user=mdettweiler [2016-08-10 02:34:48] 749*2^1437108-1 is not prime. Res64: 292300968DF15D35 Time : 0.0 sec. user=mdettweiler [2016-08-10 02:34:49] 767*2^1437108-1 is not prime. Res64: A129C2AEF7E35D1D Time : 0.0 sec. user=mdettweiler [2016-08-10 02:34:49] 773*2^1437108-1 is not prime. Res64: 472A3F1F9FAB63B5 Time : 0.0 sec. user=mdettweiler [2016-08-10 02:34:50] 867*2^1437108-1 is not prime. Res64: 7B790DA4900D1F45 Time : 0.0 sec. user=mdettweiler [2016-08-10 02:34:50] 875*2^1437108-1 is not prime. Res64: 5ADD9A62DB0D3C6D Time : 0.0 sec. user=mdettweiler [2016-08-10 02:40:35] 905*2^1437108-1 is not prime. Res64: 673C1C7FB4D00CDB Time : 0.0 sec. user=mdettweiler [2016-08-10 02:40:35] 977*2^1437108-1 is not prime. Res64: D42214B3AF6EDF0B Time : 0.0 sec. user=mdettweiler [2016-08-10 02:40:36] 993*2^1437108-1 is not prime. Res64: 25A3B9B29328F927 Time : 0.0 sec. user=mdettweiler [2016-08-10 02:40:36] 687*2^1437109-1 is not prime. Res64: 1625B03EF493298F Time : 0.0 sec. user=mdettweiler [2016-08-10 02:40:37] 691*2^1437109-1 is not prime. Res64: 826CBB7D507B83AA Time : 0.0 sec. user=mdettweiler [2016-08-10 02:49:21] 799*2^1437109-1 is not prime. Res64: 38EF4528A5EBE962 Time : 0.0 sec. user=mdettweiler [2016-08-10 02:49:21] 939*2^1437109-1 is not prime. Res64: 682790793EF1EA5B Time : 0.0 sec. user=mdettweiler [2016-08-10 02:49:22] 627*2^1437110-1 is not prime. Res64: DF3497B03EB8E91B Time : 0.0 sec. user=mdettweiler [2016-08-10 02:49:22] 677*2^1437110-1 is not prime. Res64: 6DFE0BDFC2D2827F Time : 0.0 sec. user=mdettweiler [2016-08-10 02:49:22] 761*2^1437110-1 is not prime. Res64: 1E488E97BAB81FDC Time : 0.0 sec. user=mdettweiler [2016-08-10 03:19:32] 923*2^1437110-1 is not prime. Res64: 022F831C41972F16 Time : 0.0 sec. user=mdettweiler [2016-08-10 03:19:33] 965*2^1437110-1 is not prime. Res64: F7869DDA80C6DF2F Time : 0.0 sec. user=mdettweiler [2016-08-10 03:19:33] 649*2^1437111-1 is not prime. Res64: C9A4EFC032E05189 Time : 0.0 sec. user=mdettweiler [2016-08-10 03:19:33] 703*2^1437111-1 is not prime. Res64: F418AFB37E3DC94B Time : 0.0 sec. user=mdettweiler [2016-08-10 03:19:34] 735*2^1437111-1 is not prime. Res64: C2916123C77B6336 Time : 0.0 sec. user=mdettweiler [2016-08-10 03:25:14] 763*2^1437111-1 is not prime. Res64: 3BC029B24D95AB9D Time : 0.0 sec. user=juhehe [2016-08-10 03:31:40] 915*2^1437113-1 is not prime. Res64: A4A7E75AE77DA1A1 Time : 0.0 sec. user=mdettweiler [2016-08-10 03:33:58] 819*2^1437112-1 is not prime. Res64: E4A74CFD51C59BC6 Time : 0.0 sec. user=mdettweiler [2016-08-10 03:33:59] 957*2^1437112-1 is not prime. Res64: 7FECB2950C856183 Time : 0.0 sec. user=mdettweiler [2016-08-10 03:33:59] 741*2^1437113-1 is not prime. Res64: 2648CB4634C1C939 Time : 0.0 sec. user=mdettweiler [2016-08-10 03:34:00] 861*2^1437113-1 is not prime. Res64: 4D9BF6D4ECAED40D Time : 0.0 sec. user=mdettweiler [2016-08-10 03:34:02] 879*2^1437113-1 is not prime. Res64: 3EEA3AA9BD15B055 Time : 0.0 sec. user=mdettweiler [2016-08-10 04:04:27] 969*2^1437113-1 is not prime. Res64: C371F4778FA5B045 Time : 0.0 sec. user=mdettweiler [2016-08-10 04:04:29] 985*2^1437113-1 is not prime. Res64: 194104F9502A7AB7 Time : 0.0 sec. user=mdettweiler [2016-08-10 04:04:30] 633*2^1437114-1 is not prime. Res64: F100B038D06082AE Time : 0.0 sec. user=mdettweiler [2016-08-10 04:04:30] 663*2^1437114-1 is not prime. Res64: 54F8CDC69094BE79 Time : 0.0 sec. user=mdettweiler [2016-08-10 04:04:31] 671*2^1437114-1 is not prime. Res64: 12DFD036B23BABD5 Time : 0.0 sec. user=mdettweiler [2016-08-10 04:19:04] 707*2^1437114-1 is not prime. Res64: 467845C053F6766D Time : 0.0 sec. user=mdettweiler [2016-08-10 04:19:04] 717*2^1437114-1 is not prime. Res64: 5D67EDDDE76C6919 Time : 0.0 sec. user=mdettweiler [2016-08-10 04:19:05] 731*2^1437114-1 is not prime. Res64: BA3DA71C731AFCE2 Time : 0.0 sec. user=mdettweiler [2016-08-10 04:19:05] 747*2^1437114-1 is not prime. Res64: 816C6B76FAFE9BF7 Time : 0.0 sec. user=mdettweiler [2016-08-10 04:19:05] 921*2^1437114-1 is not prime. Res64: 3E1D2E19E74D6ABD Time : 0.0 sec. user=mdettweiler [2016-08-10 04:49:35] 645*2^1437115-1 is not prime. Res64: B81844C5EA25BACF Time : 0.0 sec. user=mdettweiler [2016-08-10 04:49:36] 691*2^1437115-1 is not prime. Res64: AF3E82B54019E577 Time : 0.0 sec. user=mdettweiler [2016-08-10 04:49:36] 723*2^1437115-1 is not prime. Res64: CB10DD672C31D51F Time : 0.0 sec. user=mdettweiler [2016-08-10 04:49:36] 793*2^1437115-1 is not prime. Res64: A6917D4F2F0B5879 Time : 0.0 sec. user=mdettweiler [2016-08-10 04:49:36] 873*2^1437115-1 is not prime. Res64: 2B05443AD08F5F6F Time : 0.0 sec. user=mdettweiler [2016-08-10 05:04:12] 979*2^1437115-1 is not prime. Res64: 4E3656BF9F4591FB Time : 0.0 sec. user=mdettweiler [2016-08-10 05:04:15] 985*2^1437115-1 is not prime. Res64: 570593E8615E0D9C Time : 0.0 sec. user=mdettweiler [2016-08-10 05:04:16] 677*2^1437116-1 is not prime. Res64: CA66E03B0D445638 Time : 0.0 sec. user=mdettweiler [2016-08-10 05:04:16] 813*2^1437116-1 is not prime. Res64: 27BD9943C2574175 Time : 0.0 sec. user=mdettweiler [2016-08-10 05:04:20] 827*2^1437116-1 is not prime. Res64: 2CF17CA4C82556E4 Time : 0.0 sec. user=mdettweiler [2016-08-10 05:34:31] 845*2^1437116-1 is not prime. Res64: F42E8137C005A416 Time : 0.0 sec. user=mdettweiler [2016-08-10 05:34:31] 897*2^1437116-1 is not prime. Res64: 72D7B02B91578E15 Time : 0.0 sec. user=mdettweiler [2016-08-10 05:34:31] 903*2^1437116-1 is not prime. Res64: 560E8C4264B1C2A0 Time : 0.0 sec. user=mdettweiler [2016-08-10 05:34:32] 923*2^1437116-1 is not prime. Res64: 64166F711795600F Time : 0.0 sec. user=mdettweiler [2016-08-10 05:34:32] 983*2^1437116-1 is not prime. Res64: 50D62BDD81931681 Time : 0.0 sec. user=mdettweiler [2016-08-10 05:49:23] 741*2^1437117-1 is not prime. Res64: 86BA6C10AD716ABD Time : 0.0 sec. user=mdettweiler [2016-08-10 05:49:23] 759*2^1437117-1 is not prime. Res64: 91D6FA4A41703585 Time : 0.0 sec. user=mdettweiler [2016-08-10 05:49:24] 769*2^1437117-1 is not prime. Res64: B435F6AB5ED0AEDD Time : 0.0 sec. user=mdettweiler [2016-08-10 05:49:24] 781*2^1437117-1 is not prime. Res64: 1BFCE824EC674FBC Time : 0.0 sec. user=mdettweiler [2016-08-10 05:49:24] 837*2^1437117-1 is not prime. Res64: FFC2C494A81E3A57 Time : 0.0 sec. user=mdettweiler [2016-08-10 06:11:44] 793*2^1437111-1 is not prime. Res64: 717E309930BDA45A Time : 0.0 sec. user=mdettweiler [2016-08-10 06:11:46] 909*2^1437111-1 is not prime. Res64: 5398AAC73AAF130D Time : 0.0 sec. user=mdettweiler [2016-08-10 06:11:46] 933*2^1437111-1 is not prime. Res64: 45A6AD7FCFB64D72 Time : 0.0 sec. user=mdettweiler [2016-08-10 06:11:47] 743*2^1437112-1 is not prime. Res64: 1B0C1595B06CC57E Time : 0.0 sec. user=mdettweiler [2016-08-10 06:19:21] 961*2^1437117-1 is not prime. Res64: 24F3A2FD23526714 Time : 0.0 sec. user=mdettweiler [2016-08-10 06:19:21] 623*2^1437118-1 is not prime. Res64: 8FE0F2EB4C5763B7 Time : 0.0 sec. user=mdettweiler [2016-08-10 06:19:21] 681*2^1437118-1 is not prime. Res64: 9221D41B10E506C4 Time : 0.0 sec. user=mdettweiler [2016-08-10 06:19:22] 833*2^1437118-1 is not prime. Res64: BFD64A19BD302D28 Time : 0.0 sec. user=mdettweiler [2016-08-10 06:19:22] 887*2^1437118-1 is not prime. Res64: ED09A403CD98E147 Time : 0.0 sec. user=mdettweiler [2016-08-10 06:34:02] 941*2^1437118-1 is not prime. Res64: F9243FF4E152892D Time : 0.0 sec. user=mdettweiler [2016-08-10 06:34:02] 951*2^1437118-1 is not prime. Res64: FDA2ABCEAAEFC5C0 Time : 0.0 sec. user=mdettweiler [2016-08-10 06:34:03] 603*2^1437119-1 is not prime. Res64: 9EFCF2C1C55FE6F9 Time : 0.0 sec. user=mdettweiler [2016-08-10 06:34:03] 621*2^1437119-1 is not prime. Res64: 3DA0CC713D7D3C6D Time : 0.0 sec. user=mdettweiler [2016-08-10 06:34:03] 859*2^1437119-1 is not prime. Res64: CF3B087DDF3295B3 Time : 0.0 sec. user=mdettweiler [2016-08-10 06:56:37] 883*2^1437119-1 is not prime. Res64: 14A372AB76946A0F Time : 0.0 sec. user=mdettweiler [2016-08-10 06:56:37] 623*2^1437120-1 is not prime. Res64: EAE1219DB88AB68D Time : 0.0 sec. user=mdettweiler [2016-08-10 06:56:40] 699*2^1437120-1 is not prime. Res64: E34FA9B795F009A3 Time : 0.0 sec. user=mdettweiler [2016-08-10 06:56:40] 713*2^1437120-1 is not prime. Res64: C3209BB50189EC5D Time : 0.0 sec. user=mdettweiler [2016-08-10 06:56:40] 719*2^1437120-1 is not prime. Res64: 01BC9DA542594B78 Time : 0.0 sec. user=mdettweiler [2016-08-10 07:03:43] 779*2^1437120-1 is not prime. Res64: AEECDADAA36994E5 Time : 0.0 sec. user=mdettweiler [2016-08-10 07:03:47] 803*2^1437120-1 is not prime. Res64: 4A5EE0841407A4AC Time : 0.0 sec. user=mdettweiler [2016-08-10 07:03:47] 809*2^1437120-1 is not prime. Res64: 7028271D8FEBC6AB Time : 0.0 sec. user=mdettweiler [2016-08-10 07:03:48] 849*2^1437120-1 is not prime. Res64: E7AB673FA8B7DF3B Time : 0.0 sec. user=mdettweiler [2016-08-10 07:03:49] 887*2^1437120-1 is not prime. Res64: 8549C4CD0F1DC58C Time : 0.0 sec. user=mdettweiler [2016-08-10 07:18:22] 933*2^1437120-1 is not prime. Res64: 848088F0649B01EB Time : 0.0 sec. user=mdettweiler [2016-08-10 07:18:23] 945*2^1437120-1 is not prime. Res64: 513F21C30D755E06 Time : 0.0 sec. user=mdettweiler [2016-08-10 07:18:23] 957*2^1437120-1 is not prime. Res64: D1A5052921623769 Time : 0.0 sec. user=mdettweiler [2016-08-10 07:18:23] 645*2^1437121-1 is not prime. Res64: 7C747B14664EBB88 Time : 0.0 sec. user=mdettweiler [2016-08-10 07:18:23] 777*2^1437121-1 is not prime. Res64: 56DFF861127F5C22 Time : 0.0 sec. user=mdettweiler [2016-08-10 07:41:03] 877*2^1437121-1 is not prime. Res64: 902239D3CEC19594 Time : 0.0 sec. user=mdettweiler [2016-08-10 07:41:04] 901*2^1437121-1 is not prime. Res64: 6100E9CEEF2E95CB Time : 0.0 sec. user=mdettweiler [2016-08-10 07:41:04] 955*2^1437121-1 is not prime. Res64: 1858281BFC74DB35 Time : 0.0 sec. user=mdettweiler [2016-08-10 07:41:04] 987*2^1437121-1 is not prime. Res64: F4A517312E6A92EF Time : 0.0 sec. user=mdettweiler [2016-08-10 07:41:04] 997*2^1437121-1 is not prime. Res64: 84400E386CEB4E30 Time : 0.0 sec. user=mdettweiler [2016-08-10 07:48:17] 671*2^1437122-1 is not prime. Res64: 106B2AFA8FFA7360 Time : 0.0 sec. user=mdettweiler [2016-08-10 07:48:17] 677*2^1437122-1 is not prime. Res64: A18E5BC403ACCC0D Time : 0.0 sec. user=mdettweiler [2016-08-10 07:48:18] 741*2^1437122-1 is not prime. Res64: EF68ECAE31A02961 Time : 0.0 sec. user=mdettweiler [2016-08-10 07:48:18] 755*2^1437122-1 is not prime. Res64: 1FB31F920486FEF1 Time : 0.0 sec. user=mdettweiler [2016-08-10 07:48:18] 831*2^1437122-1 is not prime. Res64: 5B35B94FA0086A83 Time : 0.0 sec. user=mdettweiler [2016-08-10 08:02:47] 875*2^1437122-1 is not prime. Res64: D0905F926E6FFFFD Time : 0.0 sec. user=mdettweiler [2016-08-10 08:02:49] 705*2^1437123-1 is not prime. Res64: 00C3C708B158055E Time : 0.0 sec. user=mdettweiler [2016-08-10 08:02:50] 751*2^1437123-1 is not prime. Res64: BBA0B10739986EFF Time : 0.0 sec. user=mdettweiler [2016-08-10 08:02:51] 775*2^1437123-1 is not prime. Res64: 9F7B685EE3CEEE6A Time : 0.0 sec. user=mdettweiler [2016-08-10 08:02:52] 783*2^1437123-1 is not prime. Res64: 9CABDC9EDEC0875D Time : 0.0 sec. user=mdettweiler [2016-08-10 08:25:25] 835*2^1437123-1 is not prime. Res64: FCF8FDBB66FF5B88 Time : 0.0 sec. user=mdettweiler [2016-08-10 08:25:25] 879*2^1437123-1 is not prime. Res64: C6D77B9EC8FF54C4 Time : 0.0 sec. user=mdettweiler [2016-08-10 08:25:25] 891*2^1437123-1 is not prime. Res64: CACD76E041C97011 Time : 0.0 sec. user=mdettweiler [2016-08-10 08:25:26] 949*2^1437123-1 is not prime. Res64: 36CB5311D1023427 Time : 0.0 sec. user=mdettweiler [2016-08-10 08:25:29] 693*2^1437124-1 is not prime. Res64: 6D0C41CF207D9AE3 Time : 0.0 sec. user=mdettweiler [2016-08-10 08:32:40] 723*2^1437124-1 is not prime. Res64: FBA181CADA08432A Time : 0.0 sec. user=mdettweiler [2016-08-10 08:32:40] 749*2^1437124-1 is not prime. Res64: 475E7DA4232D22E3 Time : 0.0 sec. user=mdettweiler [2016-08-10 08:32:40] 759*2^1437124-1 is not prime. Res64: 0BBEE28C26F0FB6C Time : 0.0 sec. user=mdettweiler [2016-08-10 08:32:44] 855*2^1437124-1 is not prime. Res64: C5226CB719F313DA Time : 0.0 sec. user=mdettweiler [2016-08-10 08:32:44] 875*2^1437124-1 is not prime. Res64: DB8F389219CA7064 Time : 0.0 sec. user=mdettweiler [2016-08-10 08:47:24] 903*2^1437124-1 is not prime. Res64: EF3686C61D349FF9 Time : 0.0 sec. user=mdettweiler [2016-08-10 08:47:25] 657*2^1437125-1 is not prime. Res64: A962923227DE2D22 Time : 0.0 sec. user=mdettweiler [2016-08-10 08:47:25] 685*2^1437125-1 is not prime. Res64: 54CB704B781FE554 Time : 0.0 sec. user=mdettweiler [2016-08-10 08:47:25] 711*2^1437125-1 is not prime. Res64: B25E1BE54AAE1B37 Time : 0.0 sec. user=mdettweiler [2016-08-10 08:47:25] 735*2^1437125-1 is not prime. Res64: C0FE51E4D06ADC31 Time : 0.0 sec. user=mdettweiler [2016-08-10 09:09:51] 759*2^1437125-1 is not prime. Res64: B2B68964B23B41D8 Time : 0.0 sec. user=mdettweiler [2016-08-10 09:09:52] 837*2^1437125-1 is not prime. Res64: DE13959EAA2C259F Time : 0.0 sec. user=mdettweiler [2016-08-10 09:09:54] 949*2^1437125-1 is not prime. Res64: 0AC39F616AF31C98 Time : 0.0 sec. user=mdettweiler [2016-08-10 09:09:58] 711*2^1437126-1 is not prime. Res64: 458161E46C12453B Time : 0.0 sec. user=mdettweiler [2016-08-10 09:10:00] 755*2^1437126-1 is not prime. Res64: F7808C14F2A633ED Time : 0.0 sec. user=mdettweiler [2016-08-10 09:17:02] 833*2^1437126-1 is not prime. Res64: 0E3F845D44051D95 Time : 0.0 sec. user=mdettweiler [2016-08-10 09:17:03] 875*2^1437126-1 is not prime. Res64: A5FE39AE9792763B Time : 0.0 sec. user=mdettweiler [2016-08-10 09:17:03] 609*2^1437127-1 is not prime. Res64: D62C7B066DC12A82 Time : 0.0 sec. user=mdettweiler [2016-08-10 09:17:03] 633*2^1437127-1 is not prime. Res64: A81747420058CC09 Time : 0.0 sec. user=mdettweiler [2016-08-10 09:17:03] 705*2^1437127-1 is not prime. Res64: EEE674599B612E03 Time : 0.0 sec. user=mdettweiler [2016-08-10 09:31:44] 729*2^1437127-1 is not prime. Res64: 089C396BC42754CB Time : 0.0 sec. user=mdettweiler [2016-08-10 09:31:45] 859*2^1437127-1 is not prime. Res64: B8B05479C1BBDD14 Time : 0.0 sec. user=mdettweiler [2016-08-10 09:31:45] 885*2^1437127-1 is not prime. Res64: 606884F6036DB8FB Time : 0.0 sec. user=mdettweiler [2016-08-10 09:31:46] 951*2^1437127-1 is not prime. Res64: 441D3FF1AA00EF3D Time : 0.0 sec. user=mdettweiler [2016-08-10 09:31:47] 617*2^1437128-1 is not prime. Res64: 423DFEC8D71F2D8F Time : 0.0 sec. user=mdettweiler [2016-08-10 09:54:39] 629*2^1437128-1 is not prime. Res64: A88F113FDF5E00A9 Time : 0.0 sec. user=mdettweiler [2016-08-10 09:54:39] 633*2^1437128-1 is not prime. Res64: 202E792A92073C57 Time : 0.0 sec. user=mdettweiler [2016-08-10 09:54:39] 797*2^1437128-1 is not prime. Res64: 186621DC8E7B04EA Time : 0.0 sec. user=mdettweiler [2016-08-10 09:54:40] 897*2^1437128-1 is not prime. Res64: EBC6739F2C963781 Time : 0.0 sec. user=mdettweiler [2016-08-10 09:54:40] 923*2^1437128-1 is not prime. Res64: 4FB3B7FC98A92A24 Time : 0.0 sec. user=mdettweiler [2016-08-10 10:01:24] 745*2^1437129-1 is not prime. Res64: 2630033352EB7CFA Time : 0.0 sec. user=mdettweiler [2016-08-10 10:01:25] 829*2^1437129-1 is not prime. Res64: 3E79A76B14271854 Time : 0.0 sec. user=mdettweiler [2016-08-10 10:01:26] 847*2^1437129-1 is not prime. Res64: 418CF3E85E15EDEB Time : 0.0 sec. user=mdettweiler [2016-08-10 10:01:26] 919*2^1437129-1 is not prime. Res64: 638D63C46861B1CF Time : 0.0 sec. user=mdettweiler [2016-08-10 10:01:27] 997*2^1437129-1 is not prime. Res64: AE21765F3CBAB103 Time : 0.0 sec. user=mdettweiler [2016-08-10 10:16:10] 657*2^1437130-1 is not prime. Res64: CC799C9E9823B706 Time : 0.0 sec. user=mdettweiler [2016-08-10 10:16:10] 755*2^1437130-1 is not prime. Res64: F9BABF6DD640DBF0 Time : 0.0 sec. user=mdettweiler [2016-08-10 10:16:11] 615*2^1437131-1 is not prime. Res64: A5AA32F53B2A31AE Time : 0.0 sec. user=mdettweiler [2016-08-10 10:16:12] 669*2^1437131-1 is not prime. Res64: 931B202B13C544FF Time : 0.0 sec. user=mdettweiler [2016-08-10 10:16:13] 675*2^1437131-1 is not prime. Res64: CA6816C16EC39992 Time : 0.0 sec. user=mdettweiler [2016-08-10 10:39:01] 949*2^1437131-1 is not prime. Res64: C61E562D430B40BB Time : 0.0 sec. user=mdettweiler [2016-08-10 10:39:03] 993*2^1437131-1 is prime! Time : 0.0 sec. user=mdettweiler [2016-08-10 10:39:10] 605*2^1437132-1 is not prime. Res64: A3128DD2CB757D9E Time : 0.0 sec. user=mdettweiler [2016-08-10 10:39:10] 623*2^1437132-1 is not prime. Res64: 4C0121015C881C88 Time : 0.0 sec. user=mdettweiler [2016-08-10 10:39:11] 627*2^1437132-1 is not prime. Res64: 5DC33FFE74CCDE16 Time : 0.0 sec. user=mdettweiler [2016-08-10 10:45:49] 689*2^1437132-1 is not prime. Res64: 07CBFE5458C7C48F Time : 0.0 sec. user=mdettweiler [2016-08-10 10:45:50] 693*2^1437132-1 is not prime. Res64: 433055254D40DB1B Time : 0.0 sec. user=mdettweiler [2016-08-10 10:45:50] 797*2^1437132-1 is not prime. Res64: F7239A9D768CAF61 Time : 0.0 sec. user=mdettweiler [2016-08-10 10:45:50] 873*2^1437132-1 is not prime. Res64: 196F8C7C4A841C41 Time : 0.0 sec. user=mdettweiler [2016-08-10 10:45:50] 909*2^1437132-1 is not prime. Res64: 1CBF08C013F1BEEE Time : 0.0 sec. user=mdettweiler [2016-08-10 11:00:41] 983*2^1437132-1 is not prime. Res64: 89F36371FD8E87A4 Time : 0.0 sec. user=mdettweiler [2016-08-10 11:00:41] 607*2^1437133-1 is not prime. Res64: 5019AC9A49979482 Time : 0.0 sec. user=mdettweiler [2016-08-10 11:00:42] 609*2^1437133-1 is not prime. Res64: 9687494B0C6F3CD2 Time : 0.0 sec. user=mdettweiler [2016-08-10 11:00:42] 615*2^1437133-1 is not prime. Res64: 04D78CA470468DCF Time : 0.0 sec. user=mdettweiler [2016-08-10 11:00:43] 769*2^1437133-1 is not prime. Res64: 6FA0F546B9C847F9 Time : 0.0 sec. user=mdettweiler [2016-08-10 11:23:34] 817*2^1437133-1 is not prime. Res64: 28240DA489965F55 Time : 0.0 sec. user=mdettweiler [2016-08-10 11:23:34] 831*2^1437133-1 is not prime. Res64: 7512A0FBE59C6820 Time : 0.0 sec. user=mdettweiler [2016-08-10 11:23:34] 861*2^1437133-1 is not prime. Res64: 16EE110902C8463E Time : 0.0 sec. user=mdettweiler [2016-08-10 11:23:34] 645*2^1437134-1 is not prime. Res64: 9AC76DD476F208FD Time : 0.0 sec. user=mdettweiler [2016-08-10 11:23:35] 663*2^1437134-1 is not prime. Res64: 853EF96EFE8E6B94 Time : 0.0 sec. user=mdettweiler [2016-08-10 11:30:09] 683*2^1437134-1 is not prime. Res64: 3FB76065D35F9038 Time : 0.0 sec. user=mdettweiler [2016-08-10 11:30:10] 693*2^1437134-1 is not prime. Res64: AA7DF0409236E0B6 Time : 0.0 sec. user=mdettweiler [2016-08-10 11:30:10] 755*2^1437134-1 is not prime. Res64: 2830F2A4D99C2234 Time : 0.0 sec. user=mdettweiler [2016-08-10 11:30:10] 887*2^1437134-1 is not prime. Res64: ADA135BA148FA9F0 Time : 0.0 sec. user=mdettweiler [2016-08-10 11:30:11] 609*2^1437135-1 is not prime. Res64: CE77F559ED73E2BE Time : 0.0 sec. user=mdettweiler [2016-08-10 11:45:11] 619*2^1437135-1 is not prime. Res64: FA2382CA61F1FD5A Time : 0.0 sec. user=mdettweiler [2016-08-10 11:45:12] 789*2^1437135-1 is not prime. Res64: EFD4ECB0207BCE49 Time : 0.0 sec. user=mdettweiler [2016-08-10 11:45:12] 849*2^1437135-1 is not prime. Res64: C288A438E47186FC Time : 0.0 sec. user=mdettweiler [2016-08-10 11:45:12] 653*2^1437136-1 is not prime. Res64: BF428E7F94B9FE5D Time : 0.0 sec. user=mdettweiler [2016-08-10 11:45:12] 689*2^1437136-1 is not prime. Res64: 7C64AC5D3CCDD9FF Time : 0.0 sec. user=mdettweiler [2016-08-10 12:07:58] 923*2^1437136-1 is not prime. Res64: F3FF504A86F83E7D Time : 0.0 sec. user=mdettweiler [2016-08-10 12:08:01] 615*2^1437137-1 is not prime. Res64: 54BE7A6C872FAFBE Time : 0.0 sec. user=mdettweiler [2016-08-10 12:08:03] 795*2^1437137-1 is not prime. Res64: 59D0762EF656C3C3 Time : 0.0 sec. user=mdettweiler [2016-08-10 12:08:06] 879*2^1437137-1 is not prime. Res64: 3FCA721C3C57AFDB Time : 0.0 sec. user=mdettweiler [2016-08-10 12:08:08] 931*2^1437137-1 is not prime. Res64: A5123C80F1D0B964 Time : 0.0 sec. user=mdettweiler [2016-08-10 12:14:32] 955*2^1437137-1 is not prime. Res64: 8FA2D5FEC659029D Time : 0.0 sec. user=mdettweiler [2016-08-10 12:14:33] 967*2^1437137-1 is not prime. Res64: 9EC743FA917CEE15 Time : 0.0 sec. user=mdettweiler [2016-08-10 12:14:33] 711*2^1437138-1 is not prime. Res64: 1A2E1E01886B1437 Time : 0.0 sec. user=mdettweiler [2016-08-10 12:14:34] 801*2^1437138-1 is not prime. Res64: 427FECEE31616DE8 Time : 0.0 sec. user=mdettweiler [2016-08-10 12:14:34] 957*2^1437138-1 is not prime. Res64: 112E783AD2762700 Time : 0.0 sec. user=mdettweiler [2016-08-10 12:29:35] 765*2^1437139-1 is not prime. Res64: 79A118288C869920 Time : 0.0 sec. user=mdettweiler [2016-08-10 12:29:35] 843*2^1437139-1 is not prime. Res64: 7A5AB7607A11B6A0 Time : 0.0 sec. user=mdettweiler [2016-08-10 12:29:35] 853*2^1437139-1 is not prime. Res64: C916DF459A6689AE Time : 0.0 sec. user=mdettweiler [2016-08-10 12:29:35] 895*2^1437139-1 is not prime. Res64: 18EAACE4A78C05F1 Time : 0.0 sec. user=mdettweiler [2016-08-10 12:29:39] 919*2^1437139-1 is not prime. Res64: 3908F30BE93A22A3 Time : 0.0 sec. user=mdettweiler [2016-08-10 12:52:41] 615*2^1437140-1 is not prime. Res64: E0F79D3E7FDD307B Time : 0.0 sec. user=mdettweiler [2016-08-10 12:52:42] 707*2^1437140-1 is not prime. Res64: 10B0031AF73AFDCB Time : 0.0 sec. user=mdettweiler [2016-08-10 12:52:42] 825*2^1437140-1 is not prime. Res64: A934CAE0AED042A8 Time : 0.0 sec. user=mdettweiler [2016-08-10 12:52:42] 843*2^1437140-1 is not prime. Res64: DE2A442242A2C411 Time : 0.0 sec. user=mdettweiler [2016-08-10 12:52:42] 977*2^1437140-1 is not prime. Res64: 2535420B2F59F775 Time : 0.0 sec. user=mdettweiler [2016-08-10 12:58:59] 983*2^1437140-1 is not prime. Res64: E578DB6561148228 Time : 0.0 sec. user=mdettweiler [2016-08-10 12:58:59] 661*2^1437141-1 is not prime. Res64: 3772401182DA31B1 Time : 0.0 sec. user=mdettweiler [2016-08-10 12:59:00] 711*2^1437141-1 is not prime. Res64: 421237BFB10067AD Time : 0.0 sec. user=mdettweiler [2016-08-10 12:59:00] 747*2^1437141-1 is not prime. Res64: 5A3C582AF4687673 Time : 0.0 sec. user=mdettweiler [2016-08-10 12:59:00] 825*2^1437141-1 is not prime. Res64: 4D26D4C5FE46ADC1 Time : 0.0 sec. user=mdettweiler [2016-08-10 13:13:59] 885*2^1437141-1 is not prime. Res64: 200D6A34F7639048 Time : 0.0 sec. user=mdettweiler [2016-08-10 13:14:01] 951*2^1437141-1 is not prime. Res64: 23C8F0ABE31B85BC Time : 0.0 sec. user=mdettweiler [2016-08-10 13:14:01] 969*2^1437141-1 is not prime. Res64: A14E6A8E930A04E3 Time : 0.0 sec. user=mdettweiler [2016-08-10 13:14:02] 987*2^1437141-1 is not prime. Res64: E4290D2ADD87AD79 Time : 0.0 sec. user=mdettweiler [2016-08-10 13:14:02] 617*2^1437142-1 is not prime. Res64: 1FCA60000B4C6831 Time : 0.0 sec. user=mdettweiler [2016-08-10 13:37:08] 621*2^1437142-1 is not prime. Res64: 777FE3B2890A34A4 Time : 0.0 sec. user=mdettweiler [2016-08-10 13:37:09] 681*2^1437142-1 is not prime. Res64: 18D0D82931EFDE29 Time : 0.0 sec. user=mdettweiler [2016-08-10 13:37:09] 761*2^1437142-1 is not prime. Res64: 57421251BAEF1612 Time : 0.0 sec. user=mdettweiler [2016-08-10 13:37:10] 825*2^1437142-1 is not prime. Res64: F5E6157A880116BD Time : 0.0 sec. user=mdettweiler [2016-08-10 13:37:11] 827*2^1437142-1 is not prime. Res64: 83129C68AFC243E7 Time : 0.0 sec. user=mdettweiler [2016-08-10 13:43:21] 983*2^1437142-1 is not prime. Res64: 7B37DEBA9FDE263D Time : 0.0 sec. user=mdettweiler [2016-08-10 13:43:21] 693*2^1437143-1 is not prime. Res64: 5DC68E0558E6B1A1 Time : 0.0 sec. user=mdettweiler [2016-08-10 13:43:21] 715*2^1437143-1 is not prime. Res64: 7862D92EE7C581CD Time : 0.0 sec. user=mdettweiler [2016-08-10 13:43:22] 745*2^1437143-1 is not prime. Res64: 9F60BDAD00ED6C42 Time : 0.0 sec. user=mdettweiler [2016-08-10 13:43:22] 859*2^1437143-1 is not prime. Res64: 2DE0016CBB30AA0D Time : 0.0 sec. user=mdettweiler [2016-08-10 13:58:33] 921*2^1437143-1 is not prime. Res64: DB22762D413A96A7 Time : 0.0 sec. user=mdettweiler [2016-08-10 13:58:33] 605*2^1437144-1 is not prime. Res64: F5471CD2AB8668D4 Time : 0.0 sec. user=mdettweiler [2016-08-10 13:58:34] 737*2^1437144-1 is not prime. Res64: E959901A0EF0AE6E Time : 0.0 sec. user=mdettweiler [2016-08-10 13:58:34] 843*2^1437144-1 is not prime. Res64: EDA8504D14A07E98 Time : 0.0 sec. user=mdettweiler [2016-08-10 13:58:34] 691*2^1437145-1 is not prime. Res64: 1845C793F38CD8C1 Time : 0.0 sec. user=mdettweiler [2016-08-10 14:21:37] 765*2^1437145-1 is not prime. Res64: B30D946138418B5C Time : 0.0 sec. user=mdettweiler [2016-08-10 14:21:38] 841*2^1437145-1 is not prime. Res64: 50DE7DEB50934627 Time : 0.0 sec. user=mdettweiler [2016-08-10 14:21:39] 939*2^1437145-1 is not prime. Res64: B370B8BF3061240A Time : 0.0 sec. user=mdettweiler [2016-08-10 14:21:43] 615*2^1437146-1 is not prime. Res64: 287097EA57276BF1 Time : 0.0 sec. user=mdettweiler [2016-08-10 14:21:44] 651*2^1437146-1 is not prime. Res64: B7EF8B427D16F4C6 Time : 0.0 sec. user=mdettweiler [2016-08-10 14:27:46] 675*2^1437146-1 is not prime. Res64: FF68FB2BF2824D6E Time : 0.0 sec. user=mdettweiler [2016-08-10 14:27:46] 713*2^1437146-1 is not prime. Res64: 14C2489A82E65F38 Time : 0.0 sec. user=mdettweiler [2016-08-10 14:27:47] 801*2^1437146-1 is not prime. Res64: 87F37C414BBEA64A Time : 0.0 sec. user=mdettweiler [2016-08-10 14:27:47] 831*2^1437146-1 is not prime. Res64: 571E3E7789DF8368 Time : 0.0 sec. user=mdettweiler [2016-08-10 14:27:47] 873*2^1437146-1 is not prime. Res64: 3B0999E2E2D9DA1E Time : 0.0 sec. user=mdettweiler [2016-08-10 14:43:03] 917*2^1437146-1 is not prime. Res64: 93B4F90276B26C4D Time : 0.0 sec. user=mdettweiler [2016-08-10 14:43:03] 953*2^1437146-1 is not prime. Res64: 843C92049261CD6B Time : 0.0 sec. user=mdettweiler [2016-08-10 14:43:03] 669*2^1437147-1 is not prime. Res64: 69654FE59D9B0AFF Time : 0.0 sec. user=mdettweiler [2016-08-10 14:43:03] 705*2^1437147-1 is not prime. Res64: 1014FCA6696BDAB0 Time : 0.0 sec. user=mdettweiler [2016-08-10 14:43:04] 709*2^1437147-1 is not prime. Res64: D529D8526710EFF9 Time : 0.0 sec. user=mdettweiler [2016-08-10 15:06:09] 801*2^1437147-1 is not prime. Res64: 911BD535FDFD03C7 Time : 0.0 sec. user=mdettweiler [2016-08-10 15:06:11] 819*2^1437147-1 is not prime. Res64: BAE22412EB790282 Time : 0.0 sec. user=mdettweiler [2016-08-10 15:06:14] 979*2^1437147-1 is not prime. Res64: 1589209A6CBDF8E1 Time : 0.0 sec. user=mdettweiler [2016-08-10 15:06:15] 991*2^1437147-1 is not prime. Res64: 0B30A84763089FB6 Time : 0.0 sec. user=mdettweiler [2016-08-10 15:06:19] 623*2^1437148-1 is not prime. Res64: A7E6ED19D0D5FE51 Time : 0.0 sec. user=mdettweiler [2016-08-10 15:12:11] 629*2^1437148-1 is not prime. Res64: 87CBF73A30CE2BA5 Time : 0.0 sec. user=mdettweiler [2016-08-10 15:12:11] 677*2^1437148-1 is not prime. Res64: B41473413D417ACC Time : 0.0 sec. user=mdettweiler [2016-08-10 15:12:11] 743*2^1437148-1 is not prime. Res64: 13F3CF7F1FA07554 Time : 0.0 sec. user=mdettweiler [2016-08-10 15:12:12] 825*2^1437148-1 is not prime. Res64: 56AF94B67DD277AB Time : 0.0 sec. user=mdettweiler [2016-08-10 15:12:12] 827*2^1437148-1 is not prime. Res64: 26026E1ECA73DF42 Time : 0.0 sec. user=juhehe [2016-08-10 15:17:42] 953*2^1437148-1 is not prime. Res64: 61CCCE5C15259CCA Time : 0.0 sec. user=mdettweiler [2016-08-10 15:27:24] 691*2^1437149-1 is not prime. Res64: 0BB8B20BFBCF3071 Time : 0.0 sec. user=mdettweiler [2016-08-10 15:27:24] 747*2^1437149-1 is not prime. Res64: 6541E1D8422CFE5C Time : 0.0 sec. user=mdettweiler [2016-08-10 15:27:25] 829*2^1437149-1 is not prime. Res64: 2D656724C28B8EB6 Time : 0.0 sec. user=mdettweiler [2016-08-10 15:27:25] 889*2^1437149-1 is not prime. Res64: 65FCF67480A8EC55 Time : 0.0 sec. user=mdettweiler [2016-08-10 15:27:25] 951*2^1437149-1 is not prime. Res64: CE721EFFCD228AEB Time : 0.0 sec. user=mdettweiler [2016-08-10 15:50:45] 797*2^1437150-1 is not prime. Res64: 6AC52D59CDCAADF4 Time : 0.0 sec. user=mdettweiler [2016-08-10 15:50:45] 825*2^1437150-1 is not prime. Res64: B4BFAEA85B7BD70F Time : 0.0 sec. user=mdettweiler [2016-08-10 15:50:45] 851*2^1437150-1 is not prime. Res64: 9D050E404BF8ED05 Time : 0.0 sec. user=mdettweiler [2016-08-10 15:50:45] 861*2^1437150-1 is not prime. Res64: F201665DB70F5E88 Time : 0.0 sec. user=mdettweiler [2016-08-10 15:50:46] 977*2^1437150-1 is not prime. Res64: E6BFDCF2E17780EC Time : 0.0 sec. user=mdettweiler [2016-08-10 15:56:39] 723*2^1437151-1 is not prime. Res64: 3F9FC4B946CFAB29 Time : 0.0 sec. user=mdettweiler [2016-08-10 15:56:39] 933*2^1437151-1 is not prime. Res64: BEB259E42BE732D7 Time : 0.0 sec. user=mdettweiler [2016-08-10 15:56:40] 633*2^1437152-1 is not prime. Res64: 74133B29B426498D Time : 0.0 sec. user=mdettweiler [2016-08-10 15:56:40] 725*2^1437152-1 is not prime. Res64: 469036114A1C1CE7 Time : 0.0 sec. user=mdettweiler [2016-08-10 15:56:40] 753*2^1437152-1 is not prime. Res64: 3B865F1ABE245FBD Time : 0.0 sec. user=mdettweiler [2016-08-10 16:11:49] 855*2^1437152-1 is not prime. Res64: 4EC7E3C7DAD36F01 Time : 0.0 sec. user=mdettweiler [2016-08-10 16:11:50] 977*2^1437152-1 is not prime. Res64: 79490BCC920A9B6B Time : 0.0 sec. user=mdettweiler [2016-08-10 16:11:51] 983*2^1437152-1 is not prime. Res64: E68461F178FD41F6 Time : 0.0 sec. user=mdettweiler [2016-08-10 16:11:51] 649*2^1437153-1 is not prime. Res64: 45AE878E35C91CA7 Time : 0.0 sec. user=mdettweiler [2016-08-10 16:11:52] 699*2^1437153-1 is not prime. Res64: FFE72EC8C2042F7A Time : 0.0 sec. user=mdettweiler [2016-08-10 16:35:21] 795*2^1437153-1 is not prime. Res64: B575F76F74EACCB3 Time : 0.0 sec. user=mdettweiler [2016-08-10 16:35:21] 891*2^1437153-1 is not prime. Res64: F9265D0D9B5BB70D Time : 0.0 sec. user=mdettweiler [2016-08-10 16:35:21] 921*2^1437153-1 is not prime. Res64: 0DFB0847AC27FF12 Time : 0.0 sec. user=mdettweiler [2016-08-10 16:35:21] 937*2^1437153-1 is not prime. Res64: 0698C2BC6E952CF1 Time : 0.0 sec. user=mdettweiler [2016-08-10 16:35:21] 979*2^1437153-1 is not prime. Res64: C043FF0FE8966392 Time : 0.0 sec. user=mdettweiler [2016-08-10 16:41:20] 665*2^1437154-1 is not prime. Res64: 9202343DC4C3D0E4 Time : 0.0 sec. user=mdettweiler [2016-08-10 16:41:20] 723*2^1437154-1 is not prime. Res64: BDED456B3940A5EE Time : 0.0 sec. user=mdettweiler [2016-08-10 16:41:21] 747*2^1437154-1 is not prime. Res64: 5F028CE99CF96CC0 Time : 0.0 sec. user=mdettweiler [2016-08-10 16:41:21] 861*2^1437154-1 is not prime. Res64: 3E8CCE065C0F096D Time : 0.0 sec. user=mdettweiler [2016-08-10 16:41:21] 945*2^1437154-1 is not prime. Res64: 7A681B933B7284BC Time : 0.0 sec. user=mdettweiler [2016-08-10 16:56:42] 947*2^1437154-1 is not prime. Res64: FD25EA7A7878995B Time : 0.0 sec. user=mdettweiler [2016-08-10 16:56:42] 1001*2^1437154-1 is not prime. Res64: 224C50AC92B3E800 Time : 0.0 sec. user=mdettweiler [2016-08-10 16:56:43] 655*2^1437155-1 is not prime. Res64: 827F6142D7ABAAE9 Time : 0.0 sec. user=mdettweiler [2016-08-10 16:56:43] 825*2^1437155-1 is not prime. Res64: 8014E5BBD703404B Time : 0.0 sec. user=mdettweiler [2016-08-10 16:56:45] 841*2^1437155-1 is not prime. Res64: 8CD2ECCEDC2E96E3 Time : 0.0 sec. user=mdettweiler [2016-08-10 17:19:51] 885*2^1437155-1 is not prime. Res64: D631379163370F9D Time : 0.0 sec. user=mdettweiler [2016-08-10 17:19:51] 903*2^1437155-1 is not prime. Res64: 4CF2914FB11D6126 Time : 0.0 sec. user=mdettweiler [2016-08-10 17:19:52] 623*2^1437156-1 is not prime. Res64: 346B90DE5750EF8E Time : 0.0 sec. user=mdettweiler [2016-08-10 17:19:52] 669*2^1437156-1 is not prime. Res64: 7E2FBE4EB8121C5D Time : 0.0 sec. user=mdettweiler [2016-08-10 17:19:53] 767*2^1437156-1 is not prime. Res64: F6034296BEE14105 Time : 0.0 sec. user=mdettweiler [2016-08-10 17:25:38] 843*2^1437156-1 is not prime. Res64: F9D823971DA1717A Time : 0.0 sec. user=mdettweiler [2016-08-10 17:25:39] 909*2^1437156-1 is not prime. Res64: AB8E6D3FDF462A39 Time : 0.0 sec. user=mdettweiler [2016-08-10 17:25:39] 923*2^1437156-1 is not prime. Res64: D8EA4F6DC9E1D7D9 Time : 0.0 sec. user=mdettweiler [2016-08-10 17:25:40] 927*2^1437156-1 is not prime. Res64: 7FC8DDB6B38C4655 Time : 0.0 sec. user=mdettweiler [2016-08-10 17:25:40] 957*2^1437156-1 is not prime. Res64: 13962C644AEB19B1 Time : 0.0 sec. user=mdettweiler [2016-08-10 17:40:51] 859*2^1437157-1 is not prime. Res64: CC77BB63727C16DA Time : 0.0 sec. user=mdettweiler [2016-08-10 17:40:52] 957*2^1437157-1 is not prime. Res64: 62BC013C8FE9D143 Time : 0.0 sec. user=mdettweiler [2016-08-10 17:40:52] 997*2^1437157-1 is not prime. Res64: B8F3ED56E1D99F98 Time : 0.0 sec. user=mdettweiler [2016-08-10 17:40:55] 663*2^1437158-1 is not prime. Res64: C37F900813842BF6 Time : 0.0 sec. user=mdettweiler [2016-08-10 17:40:56] 677*2^1437158-1 is not prime. Res64: 924CF7CCDCD7D7E5 Time : 0.0 sec. user=mdettweiler [2016-08-10 18:03:58] 753*2^1437158-1 is not prime. Res64: ACA6AFADE2449CD2 Time : 0.0 sec. user=mdettweiler [2016-08-10 18:03:59] 755*2^1437158-1 is not prime. Res64: FC1C88F76E4431BA Time : 0.0 sec. user=mdettweiler [2016-08-10 18:04:01] 857*2^1437158-1 is not prime. Res64: B8CF9E1EFE93725A Time : 0.0 sec. user=mdettweiler [2016-08-10 18:04:02] 1001*2^1437158-1 is not prime. Res64: 44058963CE70CD6B Time : 0.0 sec. user=mdettweiler [2016-08-10 18:04:04] 621*2^1437159-1 is not prime. Res64: 7A2EAF4A9835D059 Time : 0.0 sec. user=mdettweiler [2016-08-10 18:09:48] 663*2^1437159-1 is not prime. Res64: F7E351130B050C1C Time : 0.0 sec. user=mdettweiler [2016-08-10 18:09:48] 669*2^1437159-1 is not prime. Res64: DAA0AB73D486600A Time : 0.0 sec. user=mdettweiler [2016-08-10 18:09:49] 685*2^1437159-1 is not prime. Res64: ECEA452C1B1BDACC Time : 0.0 sec. user=mdettweiler [2016-08-10 18:09:49] 909*2^1437159-1 is not prime. Res64: 7D51077F6C141F8D Time : 0.0 sec. user=mdettweiler [2016-08-10 18:09:49] 635*2^1437160-1 is not prime. Res64: 42F8AA19972A12BB Time : 0.0 sec. user=mdettweiler [2016-08-10 18:39:09] 675*2^1437160-1 is not prime. Res64: 139814C1E7D39AAC Time : 0.0 sec. user=mdettweiler [2016-08-10 18:39:09] 927*2^1437160-1 is not prime. Res64: 8C749444486E5910 Time : 0.0 sec. user=mdettweiler [2016-08-10 18:39:10] 999*2^1437160-1 is not prime. Res64: FCE01412BEC059B4 Time : 0.0 sec. user=mdettweiler [2016-08-10 18:39:10] 657*2^1437161-1 is not prime. Res64: ADD6802C08A7DA1B Time : 0.0 sec. user=mdettweiler [2016-08-10 18:39:11] 865*2^1437161-1 is not prime. Res64: AB61B4C83A1012F7 Time : 0.0 sec. user=mdettweiler [2016-08-10 18:57:00] 889*2^1437161-1 is not prime. Res64: 0ECB23FD1EAD5AEB Time : 0.0 sec. user=mdettweiler [2016-08-10 18:57:01] 907*2^1437161-1 is not prime. Res64: EA3CBEDFCE3507F0 Time : 0.0 sec. user=mdettweiler [2016-08-10 18:57:01] 925*2^1437161-1 is not prime. Res64: 12634E1081208717 Time : 0.0 sec. user=mdettweiler [2016-08-10 18:57:01] 939*2^1437161-1 is not prime. Res64: 1259B0A277A126A1 Time : 0.0 sec. user=mdettweiler [2016-08-10 18:57:02] 671*2^1437162-1 is not prime. Res64: 6F5A21F5297B1A54 Time : 0.0 sec. user=mdettweiler [2016-08-10 19:05:35] 711*2^1437162-1 is not prime. Res64: 2A3E3739532A2688 Time : 0.0 sec. user=mdettweiler [2016-08-10 19:05:37] 731*2^1437162-1 is not prime. Res64: 2DABB9F58B23CC9F Time : 0.0 sec. user=mdettweiler [2016-08-10 19:05:39] 803*2^1437162-1 is not prime. Res64: 284390C50CF8D060 Time : 0.0 sec. user=mdettweiler [2016-08-10 19:05:41] 903*2^1437162-1 is not prime. Res64: 95E2791F4B472C1E Time : 0.0 sec. user=mdettweiler [2016-08-10 19:05:43] 941*2^1437162-1 is not prime. Res64: 29047003815F9B97 Time : 0.0 sec. user=mdettweiler [2016-08-10 19:23:38] 947*2^1437162-1 is not prime. Res64: D7C692C4BE66C984 Time : 0.0 sec. user=mdettweiler [2016-08-10 19:23:38] 633*2^1437163-1 is not prime. Res64: FF3DB84CD39B0FA9 Time : 0.0 sec. user=mdettweiler [2016-08-10 19:23:39] 679*2^1437163-1 is not prime. Res64: 6AF027425B66CF14 Time : 0.0 sec. user=mdettweiler [2016-08-10 19:23:39] 751*2^1437163-1 is not prime. Res64: 39AB21C35D5D3045 Time : 0.0 sec. user=mdettweiler [2016-08-10 19:23:40] 835*2^1437163-1 is not prime. Res64: A0D26C7C54C1649D Time : 0.0 sec. user=mdettweiler [2016-08-10 19:41:23] 849*2^1437163-1 is not prime. Res64: 8DFA0F1BCBF9BD7D Time : 0.0 sec. user=mdettweiler [2016-08-10 19:41:24] 901*2^1437163-1 is not prime. Res64: 7F88E9AE940CAF49 Time : 0.0 sec. user=mdettweiler [2016-08-10 19:41:24] 919*2^1437163-1 is not prime. Res64: 2721BB5325847FCB Time : 0.0 sec. user=mdettweiler [2016-08-10 19:41:25] 973*2^1437163-1 is not prime. Res64: 67F433ECDA825185 Time : 0.0 sec. user=mdettweiler [2016-08-10 19:41:25] 605*2^1437164-1 is not prime. Res64: FD9B274B1BEB7B03 Time : 0.0 sec. user=mdettweiler [2016-08-10 19:50:39] 609*2^1437164-1 is not prime. Res64: B93EC42B126C9CEC Time : 0.0 sec. user=mdettweiler [2016-08-10 19:50:39] 615*2^1437164-1 is not prime. Res64: 12C49E8FCE07E27F Time : 0.0 sec. user=mdettweiler [2016-08-10 19:50:39] 665*2^1437164-1 is not prime. Res64: E51591A3E5618566 Time : 0.0 sec. user=mdettweiler [2016-08-10 19:50:42] 675*2^1437164-1 is not prime. Res64: 96EE4A2F5006B0F6 Time : 0.0 sec. user=mdettweiler [2016-08-10 19:50:43] 755*2^1437164-1 is not prime. Res64: 5315AD54E9A11C33 Time : 0.0 sec. user=mdettweiler [2016-08-10 19:58:42] 843*2^1437164-1 is not prime. Res64: 4B83D8C427391878 Time : 0.0 sec. user=mdettweiler [2016-08-10 19:58:43] 885*2^1437164-1 is not prime. Res64: 220F893E740829DD Time : 0.0 sec. user=mdettweiler [2016-08-10 19:58:43] 897*2^1437164-1 is not prime. Res64: 2E11763742012F1B Time : 0.0 sec. user=mdettweiler [2016-08-10 19:58:44] 995*2^1437164-1 is not prime. Res64: C860334672A78EF5 Time : 0.0 sec. user=mdettweiler [2016-08-10 19:58:44] 675*2^1437165-1 is not prime. Res64: 6D5C0D7C1642D2F0 Time : 0.0 sec. user=mdettweiler [2016-08-10 20:08:06] 685*2^1437165-1 is not prime. Res64: 57C8E0AF9AB98B07 Time : 0.0 sec. user=mdettweiler [2016-08-10 20:08:08] 711*2^1437165-1 is not prime. Res64: E4026C2E32569A41 Time : 0.0 sec. user=mdettweiler [2016-08-10 20:08:10] 717*2^1437165-1 is not prime. Res64: 9246C525E80537CC Time : 0.0 sec. user=mdettweiler [2016-08-10 20:08:11] 999*2^1437165-1 is not prime. Res64: F223D5CFFB81B7D9 Time : 0.0 sec. user=mdettweiler [2016-08-10 20:08:13] 663*2^1437166-1 is not prime. Res64: 9576447F30F30F51 Time : 0.0 sec. user=mdettweiler [2016-08-10 20:25:55] 765*2^1437166-1 is not prime. Res64: 41293E0DCBCFF3BF Time : 0.0 sec. user=mdettweiler [2016-08-10 20:25:57] 861*2^1437166-1 is not prime. Res64: 3DA74AEF12884C55 Time : 0.0 sec. user=mdettweiler [2016-08-10 20:25:58] 987*2^1437166-1 is not prime. Res64: 038F9E107DB53F67 Time : 0.0 sec. user=mdettweiler [2016-08-10 20:25:58] 993*2^1437166-1 is not prime. Res64: C378B4730BA26701 Time : 0.0 sec. user=mdettweiler [2016-08-10 20:25:59] 619*2^1437167-1 is not prime. Res64: 7F88120ECC36A0E8 Time : 0.0 sec. user=mdettweiler [2016-08-10 20:35:12] 661*2^1437167-1 is not prime. Res64: 1897EC45F24F8B25 Time : 0.0 sec. user=mdettweiler [2016-08-10 20:35:13] 753*2^1437167-1 is not prime. Res64: EE72888E6116A46A Time : 0.0 sec. user=mdettweiler [2016-08-10 20:35:13] 799*2^1437167-1 is not prime. Res64: F8560A0D680E4B66 Time : 0.0 sec. user=mdettweiler [2016-08-10 20:35:14] 885*2^1437167-1 is not prime. Res64: 543258BF4C84C4B9 Time : 0.0 sec. user=mdettweiler [2016-08-10 20:35:14] 909*2^1437167-1 is not prime. Res64: C5AB4EBFDAB65FA4 Time : 0.0 sec. user=mdettweiler [2016-08-10 20:44:02] 979*2^1437167-1 is not prime. Res64: 56B0895820E527C7 Time : 0.0 sec. user=mdettweiler [2016-08-10 20:44:02] 669*2^1437168-1 is not prime. Res64: 35184E5DD02A2245 Time : 0.0 sec. user=mdettweiler [2016-08-10 20:44:03] 947*2^1437168-1 is not prime. Res64: 5CB3CE156AD7D006 Time : 0.0 sec. user=mdettweiler [2016-08-10 20:44:03] 975*2^1437168-1 is not prime. Res64: 05A2DE1E4CBDD999 Time : 0.0 sec. user=mdettweiler [2016-08-10 20:44:03] 601*2^1437169-1 is not prime. Res64: BD62A436A8B2E0A1 Time : 0.0 sec. user=mdettweiler [2016-08-10 20:53:40] 615*2^1437169-1 is not prime. Res64: 9E9696D725F47FAF Time : 0.0 sec. user=mdettweiler [2016-08-10 20:53:40] 705*2^1437169-1 is not prime. Res64: 40916577519852A5 Time : 0.0 sec. user=mdettweiler [2016-08-10 20:53:40] 751*2^1437169-1 is not prime. Res64: 9887BCD6E3F00455 Time : 0.0 sec. user=mdettweiler [2016-08-10 20:53:41] 771*2^1437169-1 is not prime. Res64: 28AAA6D0A23E6F85 Time : 0.0 sec. user=mdettweiler [2016-08-10 20:53:44] 801*2^1437169-1 is not prime. Res64: 1F0656D32F4CB1D3 Time : 0.0 sec. user=mdettweiler [2016-08-10 21:11:15] 931*2^1437169-1 is not prime. Res64: 29F4C3B3A97B75BD Time : 0.0 sec. user=mdettweiler [2016-08-10 21:11:16] 979*2^1437169-1 is not prime. Res64: F6C7AFB20D72F0E0 Time : 0.0 sec. user=mdettweiler [2016-08-10 21:11:16] 675*2^1437170-1 is not prime. Res64: 3E250F51A8EB533F Time : 0.0 sec. user=mdettweiler [2016-08-10 21:11:16] 731*2^1437170-1 is not prime. Res64: A6D3AA708227D0ED Time : 0.0 sec. user=mdettweiler [2016-08-10 21:11:17] 735*2^1437170-1 is not prime. Res64: 13A9B292D05B6953 Time : 0.0 sec. user=mdettweiler [2016-08-10 21:20:45] 791*2^1437170-1 is not prime. Res64: E017A73D11EE349D Time : 0.0 sec. user=mdettweiler [2016-08-10 21:20:46] 813*2^1437170-1 is not prime. Res64: BDB8A4B010A5CBC5 Time : 0.0 sec. user=mdettweiler [2016-08-10 21:20:46] 875*2^1437170-1 is not prime. Res64: 47D2290FEF7C9A4B Time : 0.0 sec. user=mdettweiler [2016-08-10 21:20:47] 923*2^1437170-1 is not prime. Res64: 1CA678A54BB50623 Time : 0.0 sec. user=mdettweiler [2016-08-10 21:20:47] 1001*2^1437170-1 is not prime. Res64: BB13FE0046066616 Time : 0.0 sec. user=mdettweiler [2016-08-10 21:28:57] 783*2^1437171-1 is not prime. Res64: 71442D1AC1EA417C Time : 0.0 sec. user=mdettweiler [2016-08-10 21:28:58] 801*2^1437171-1 is not prime. Res64: EC193B376453A44A Time : 0.0 sec. user=mdettweiler [2016-08-10 21:28:59] 859*2^1437171-1 is not prime. Res64: E3EEF2AD29F03B64 Time : 0.0 sec. user=mdettweiler [2016-08-10 21:29:00] 873*2^1437171-1 is not prime. Res64: CF759886ACE407FE Time : 0.0 sec. user=mdettweiler [2016-08-10 21:29:01] 879*2^1437171-1 is not prime. Res64: 71F161CC653157E4 Time : 0.0 sec. user=mdettweiler [2016-08-10 21:38:37] 689*2^1437172-1 is not prime. Res64: 79C64813FAD336CF Time : 0.0 sec. user=mdettweiler [2016-08-10 21:38:37] 735*2^1437172-1 is not prime. Res64: 60CF50C75E4DA089 Time : 0.0 sec. user=mdettweiler [2016-08-10 21:38:38] 825*2^1437172-1 is not prime. Res64: 4B53BE3D87D9700D Time : 0.0 sec. user=mdettweiler [2016-08-10 21:38:38] 855*2^1437172-1 is not prime. Res64: CCEBEC07EB2EEB14 Time : 0.0 sec. user=mdettweiler [2016-08-10 21:38:39] 873*2^1437172-1 is not prime. Res64: 03C7D4737616FC98 Time : 0.0 sec. user=mdettweiler [2016-08-10 21:56:26] 909*2^1437172-1 is not prime. Res64: C60E36BFA6473D22 Time : 0.0 sec. user=mdettweiler [2016-08-10 21:56:26] 939*2^1437172-1 is not prime. Res64: 8213286157737558 Time : 0.0 sec. user=mdettweiler [2016-08-10 21:56:27] 975*2^1437172-1 is not prime. Res64: 2755139430DAD7E3 Time : 0.0 sec. user=mdettweiler [2016-08-10 21:56:27] 691*2^1437173-1 is not prime. Res64: B9A191B0F3419B5D Time : 0.0 sec. user=mdettweiler [2016-08-10 21:56:27] 855*2^1437173-1 is not prime. Res64: DD5259ACFAC045F7 Time : 0.0 sec. user=mdettweiler [2016-08-10 22:05:41] 879*2^1437173-1 is not prime. Res64: FCA24D69E43A9B7D Time : 0.0 sec. user=mdettweiler [2016-08-10 22:05:42] 897*2^1437173-1 is not prime. Res64: 4EA20396FAD8AFEC Time : 0.0 sec. user=mdettweiler [2016-08-10 22:05:43] 939*2^1437173-1 is not prime. Res64: 662949A4E8E382C8 Time : 0.0 sec. user=mdettweiler [2016-08-10 22:05:44] 957*2^1437173-1 is not prime. Res64: 651F3FE84A282CC3 Time : 0.0 sec. user=mdettweiler [2016-08-10 22:05:45] 991*2^1437173-1 is not prime. Res64: AC781D9CA0FECED6 Time : 0.0 sec. user=mdettweiler [2016-08-10 22:13:54] 621*2^1437174-1 is not prime. Res64: 6353BD48DAFA4702 Time : 0.0 sec. user=mdettweiler [2016-08-10 22:13:55] 635*2^1437174-1 is not prime. Res64: D48477AD22CF473F Time : 0.0 sec. user=mdettweiler [2016-08-10 22:13:56] 651*2^1437174-1 is not prime. Res64: 75DB276CD589BD56 Time : 0.0 sec. user=mdettweiler [2016-08-10 22:13:57] 683*2^1437174-1 is not prime. Res64: 46C24EC13328AA9B Time : 0.0 sec. user=mdettweiler [2016-08-10 22:13:57] 717*2^1437174-1 is not prime. Res64: 314BE3D85485FFA5 Time : 0.0 sec. user=mdettweiler [2016-08-10 22:23:48] 791*2^1437174-1 is not prime. Res64: C9D11603021A6260 Time : 0.0 sec. user=mdettweiler [2016-08-10 22:23:48] 833*2^1437174-1 is not prime. Res64: E9B0557B968C1EBE Time : 0.0 sec. user=mdettweiler [2016-08-10 22:23:49] 923*2^1437174-1 is not prime. Res64: 6F6073D45B32110F Time : 0.0 sec. user=mdettweiler [2016-08-10 22:23:49] 983*2^1437174-1 is not prime. Res64: 0B8A55D82FCD5DEE Time : 0.0 sec. user=mdettweiler [2016-08-10 22:23:50] 661*2^1437175-1 is not prime. Res64: 44CA0EB0FD5F3834 Time : 0.0 sec. user=mdettweiler [2016-08-10 22:41:12] 723*2^1437175-1 is not prime. Res64: C24E44BA0C0C5873 Time : 0.0 sec. user=mdettweiler [2016-08-10 22:41:13] 735*2^1437175-1 is not prime. Res64: F15D3985E9B1852D Time : 0.0 sec. user=mdettweiler [2016-08-10 22:41:13] 763*2^1437175-1 is not prime. Res64: 8F8D500639E0028A Time : 0.0 sec. user=mdettweiler [2016-08-10 22:41:14] 765*2^1437175-1 is not prime. Res64: 92BE0833C47992EC Time : 0.0 sec. user=mdettweiler [2016-08-10 22:41:14] 973*2^1437175-1 is not prime. Res64: D0016363B0AF9196 Time : 0.0 sec. user=mdettweiler [2016-08-10 22:51:07] 669*2^1437176-1 is not prime. Res64: AF36A44A51E68B19 Time : 0.0 sec. user=mdettweiler [2016-08-10 22:51:07] 869*2^1437176-1 is not prime. Res64: F30F1038456625ED Time : 0.0 sec. user=mdettweiler [2016-08-10 22:51:08] 873*2^1437176-1 is not prime. Res64: 0C897065AC60B3DF Time : 0.0 sec. user=mdettweiler [2016-08-10 22:51:08] 935*2^1437176-1 is not prime. Res64: EBC80E8229583C44 Time : 0.0 sec. user=mdettweiler [2016-08-10 22:51:09] 945*2^1437176-1 is not prime. Res64: F784283B9A5385CB Time : 0.0 sec. user=mdettweiler [2016-08-10 22:59:05] 649*2^1437177-1 is not prime. Res64: 4C3B91B8653213A9 Time : 0.0 sec. user=mdettweiler [2016-08-10 22:59:06] 759*2^1437177-1 is not prime. Res64: BE770192CAE9AB07 Time : 0.0 sec. user=mdettweiler [2016-08-10 22:59:06] 817*2^1437177-1 is not prime. Res64: 4B61C53F1CE6FA2A Time : 0.0 sec. user=mdettweiler [2016-08-10 22:59:06] 889*2^1437177-1 is not prime. Res64: EAFC9DF4442390FC Time : 0.0 sec. user=mdettweiler [2016-08-10 22:59:07] 909*2^1437177-1 is not prime. Res64: 941323F831597F75 Time : 0.0 sec. user=mdettweiler [2016-08-10 23:08:51] 695*2^1437178-1 is not prime. Res64: 653B1A03EE8E3CCC Time : 0.0 sec. user=mdettweiler [2016-08-10 23:08:52] 945*2^1437178-1 is not prime. Res64: A5CEC7ED48524CE3 Time : 0.0 sec. user=mdettweiler [2016-08-10 23:08:52] 987*2^1437178-1 is not prime. Res64: 0CA9F595ABCD2CBB Time : 0.0 sec. user=mdettweiler [2016-08-10 23:08:53] 621*2^1437179-1 is not prime. Res64: 10A8BD9D247B8378 Time : 0.0 sec. user=mdettweiler [2016-08-10 23:08:53] 643*2^1437179-1 is not prime. Res64: D0FB25CA5E09971B Time : 0.0 sec. user=mdettweiler [2016-08-10 23:26:12] 663*2^1437179-1 is not prime. Res64: 7BF1D9F091470FBD Time : 0.0 sec. user=mdettweiler [2016-08-10 23:26:12] 675*2^1437179-1 is not prime. Res64: 3F4008A88477A57F Time : 0.0 sec. user=mdettweiler [2016-08-10 23:26:13] 711*2^1437179-1 is not prime. Res64: 6AF964B2DFCDD43B Time : 0.0 sec. user=mdettweiler [2016-08-10 23:26:13] 735*2^1437179-1 is not prime. Res64: ABB297E49CC9CC71 Time : 0.0 sec. user=mdettweiler [2016-08-10 23:26:14] 753*2^1437179-1 is not prime. Res64: BEB864A81089B226 Time : 0.0 sec. user=mdettweiler [2016-08-10 23:35:51] 883*2^1437179-1 is not prime. Res64: A005AF0B90AA25DD Time : 0.0 sec. user=mdettweiler [2016-08-10 23:35:52] 885*2^1437179-1 is not prime. Res64: A84E9806A592AA02 Time : 0.0 sec. user=mdettweiler [2016-08-10 23:35:52] 909*2^1437179-1 is not prime. Res64: C9065849EDD95A69 Time : 0.0 sec. user=mdettweiler [2016-08-10 23:35:53] 939*2^1437179-1 is not prime. Res64: 9836EE91E1353173 Time : 0.0 sec. user=mdettweiler [2016-08-10 23:35:53] 735*2^1437180-1 is not prime. Res64: 2FF868B273F1A6CA Time : 0.0 sec. user=mdettweiler [2016-08-10 23:43:53] 737*2^1437180-1 is not prime. Res64: FFA3E3AE03A1548B Time : 0.0 sec. user=mdettweiler [2016-08-10 23:43:53] 753*2^1437180-1 is not prime. Res64: 91FE251238F2E7D0 Time : 0.0 sec. user=mdettweiler [2016-08-10 23:43:54] 929*2^1437180-1 is not prime. Res64: 906B01E9F896797E Time : 0.0 sec. user=mdettweiler [2016-08-10 23:43:54] 607*2^1437181-1 is not prime. Res64: EDD28AC13BE9A9D1 Time : 0.0 sec. user=mdettweiler [2016-08-10 23:43:55] 619*2^1437181-1 is not prime. Res64: 21AB9AE989A9A019 Time : 0.0 sec. user=mdettweiler [2016-08-10 23:54:34] 639*2^1437181-1 is not prime. Res64: A3B7DEA8B7C6921C Time : 0.0 sec. user=mdettweiler [2016-08-10 23:54:34] 715*2^1437181-1 is not prime. Res64: 023CD7BC3347BBE7 Time : 0.0 sec. user=mdettweiler [2016-08-10 23:54:34] 745*2^1437181-1 is not prime. Res64: 3E9872F9E0AFBE14 Time : 0.0 sec. user=mdettweiler [2016-08-10 23:54:35] 871*2^1437181-1 is not prime. Res64: DBF1A5CF6B359652 Time : 0.0 sec. user=mdettweiler [2016-08-10 23:54:35] 955*2^1437181-1 is not prime. Res64: 55F958AD13B6666C Time : 0.0 sec.