user=mdettweiler [2016-04-09 00:01:30] 915*2^1425718-1 is not prime. Res64: CDB798EBADFC71FB Time : 0.0 sec. user=mdettweiler [2016-04-09 00:01:31] 1001*2^1425718-1 is not prime. Res64: C5B07DD7B4E843B0 Time : 0.0 sec. user=mdettweiler [2016-04-09 00:01:31] 669*2^1425719-1 is not prime. Res64: 3BD679826B1CC8D1 Time : 0.0 sec. user=mdettweiler [2016-04-09 00:01:31] 675*2^1425719-1 is not prime. Res64: 2708ED0BCA803918 Time : 0.0 sec. user=mdettweiler [2016-04-09 00:01:31] 721*2^1425719-1 is not prime. Res64: 481E81730969D51E Time : 0.0 sec. user=mdettweiler [2016-04-09 00:15:42] 771*2^1425719-1 is not prime. Res64: 906FF9B3692B45DC Time : 0.0 sec. user=mdettweiler [2016-04-09 00:15:42] 811*2^1425719-1 is not prime. Res64: D036DA140FAD1DEF Time : 0.0 sec. user=mdettweiler [2016-04-09 00:15:42] 949*2^1425719-1 is not prime. Res64: 2CBDB2A688039078 Time : 0.0 sec. user=mdettweiler [2016-04-09 00:15:43] 689*2^1425720-1 is not prime. Res64: 9E1D57347449F139 Time : 0.0 sec. user=mdettweiler [2016-04-09 00:15:43] 765*2^1425720-1 is not prime. Res64: 3EE64BE7B0D3A673 Time : 0.0 sec. user=mdettweiler [2016-04-09 00:16:23] 999*2^1425720-1 is not prime. Res64: 577306BA17DC7C33 Time : 0.0 sec. user=mdettweiler [2016-04-09 00:16:23] 615*2^1425721-1 is not prime. Res64: 4A7CF14FD5926E73 Time : 0.0 sec. user=mdettweiler [2016-04-09 00:16:23] 625*2^1425721-1 is not prime. Res64: AFF34E79B525EEA7 Time : 0.0 sec. user=mdettweiler [2016-04-09 00:16:24] 705*2^1425721-1 is not prime. Res64: 0DA5A098DF150780 Time : 0.0 sec. user=mdettweiler [2016-04-09 00:16:24] 777*2^1425721-1 is not prime. Res64: 9E6C22686865C3EF Time : 0.0 sec. user=mdettweiler [2016-04-09 00:20:06] 799*2^1425721-1 is not prime. Res64: AAFB2B380BF7CA3E Time : 0.0 sec. user=mdettweiler [2016-04-09 00:20:07] 645*2^1425722-1 is not prime. Res64: B3391E320BAD5C5A Time : 0.0 sec. user=mdettweiler [2016-04-09 00:20:07] 651*2^1425722-1 is not prime. Res64: D949E67BD6A946AF Time : 0.0 sec. user=mdettweiler [2016-04-09 00:20:07] 675*2^1425722-1 is not prime. Res64: E42CD27D2FF425D4 Time : 0.0 sec. user=mdettweiler [2016-04-09 00:20:07] 791*2^1425722-1 is not prime. Res64: 6F9A9520B67EC51C Time : 0.0 sec. user=mdettweiler [2016-04-09 00:49:10] 923*2^1425722-1 is not prime. Res64: 1093BB14F68A794A Time : 0.0 sec. user=mdettweiler [2016-04-09 00:49:10] 963*2^1425722-1 is not prime. Res64: 125D783DED226DB0 Time : 0.0 sec. user=mdettweiler [2016-04-09 00:49:11] 609*2^1425723-1 is not prime. Res64: DBBD1671AF261EE8 Time : 0.0 sec. user=mdettweiler [2016-04-09 00:49:11] 721*2^1425723-1 is not prime. Res64: 278B5DAFBABD97CF Time : 0.0 sec. user=mdettweiler [2016-04-09 00:49:11] 795*2^1425723-1 is not prime. Res64: A9BBCB701C4FD5D0 Time : 0.0 sec. user=mdettweiler [2016-04-09 01:02:39] 823*2^1425723-1 is not prime. Res64: 21000526C2BD0CB1 Time : 0.0 sec. user=mdettweiler [2016-04-09 01:02:39] 943*2^1425723-1 is not prime. Res64: 8EBC00F9A4D3912E Time : 0.0 sec. user=mdettweiler [2016-04-09 01:02:40] 639*2^1425724-1 is not prime. Res64: 83521D5030585E8B Time : 0.0 sec. user=mdettweiler [2016-04-09 01:02:40] 677*2^1425724-1 is not prime. Res64: 0A2EDE2D0B5FD780 Time : 0.0 sec. user=mdettweiler [2016-04-09 01:02:41] 723*2^1425724-1 is not prime. Res64: DE8989FA75A7292F Time : 0.0 sec. user=mdettweiler [2016-04-09 01:03:38] 755*2^1425724-1 is not prime. Res64: 7D915143B0D4B46E Time : 0.0 sec. user=mdettweiler [2016-04-09 01:03:39] 827*2^1425724-1 is not prime. Res64: FCBDFA61C38B84AF Time : 0.0 sec. user=mdettweiler [2016-04-09 01:03:39] 855*2^1425724-1 is not prime. Res64: 1D25C0539BE5DC15 Time : 0.0 sec. user=mdettweiler [2016-04-09 01:03:40] 899*2^1425724-1 is not prime. Res64: 155D5064F027D337 Time : 0.0 sec. user=mdettweiler [2016-04-09 01:03:41] 975*2^1425724-1 is not prime. Res64: 533794104398F755 Time : 0.0 sec. user=mdettweiler [2016-04-09 01:07:08] 675*2^1425725-1 is not prime. Res64: 3CCE5AEFB5A70CA5 Time : 0.0 sec. user=mdettweiler [2016-04-09 01:07:09] 685*2^1425725-1 is not prime. Res64: D2B3F1EE347DD2D2 Time : 0.0 sec. user=mdettweiler [2016-04-09 01:07:09] 691*2^1425725-1 is not prime. Res64: 461C007B24509EAD Time : 0.0 sec. user=mdettweiler [2016-04-09 01:07:09] 727*2^1425725-1 is not prime. Res64: 0AF395A2DEA227FF Time : 0.0 sec. user=mdettweiler [2016-04-09 01:07:10] 759*2^1425725-1 is not prime. Res64: 19E25A99F5D438CD Time : 0.0 sec. user=mdettweiler [2016-04-09 01:34:02] 825*2^1425725-1 is not prime. Res64: C232FCD8878500E1 Time : 0.0 sec. user=mdettweiler [2016-04-09 01:34:02] 885*2^1425725-1 is not prime. Res64: A831CA0556DD171C Time : 0.0 sec. user=mdettweiler [2016-04-09 01:34:03] 705*2^1425726-1 is not prime. Res64: A2F6358774E8B7AD Time : 0.0 sec. user=mdettweiler [2016-04-09 01:34:03] 725*2^1425726-1 is not prime. Res64: D18BEE9E85E0EBBB Time : 0.0 sec. user=mdettweiler [2016-04-09 01:34:03] 843*2^1425726-1 is not prime. Res64: 1FCB2E1AC1F4C903 Time : 0.0 sec. user=mdettweiler [2016-04-09 01:48:12] 851*2^1425726-1 is not prime. Res64: CF31B610408EBCD8 Time : 0.0 sec. user=mdettweiler [2016-04-09 01:48:12] 893*2^1425726-1 is not prime. Res64: 99EE919EBC3AB089 Time : 0.0 sec. user=mdettweiler [2016-04-09 01:48:13] 945*2^1425726-1 is not prime. Res64: 712A192F6A8B4FED Time : 0.0 sec. user=mdettweiler [2016-04-09 01:48:13] 633*2^1425727-1 is not prime. Res64: B17397CB90B22559 Time : 0.0 sec. user=mdettweiler [2016-04-09 01:48:13] 639*2^1425727-1 is not prime. Res64: BA5985491E533A51 Time : 0.0 sec. user=mdettweiler [2016-04-09 01:48:50] 663*2^1425727-1 is not prime. Res64: 96A39E5311AFFF98 Time : 0.0 sec. user=mdettweiler [2016-04-09 01:48:50] 673*2^1425727-1 is not prime. Res64: 1BFFC217C36A6983 Time : 0.0 sec. user=mdettweiler [2016-04-09 01:48:50] 693*2^1425727-1 is not prime. Res64: D0EA1E975D9A046C Time : 0.0 sec. user=mdettweiler [2016-04-09 01:48:50] 729*2^1425727-1 is not prime. Res64: AF4ABD0688450E4C Time : 0.0 sec. user=mdettweiler [2016-04-09 01:48:51] 939*2^1425727-1 is not prime. Res64: FE54E230DED3471C Time : 0.0 sec. user=mdettweiler [2016-04-09 01:52:21] 603*2^1425728-1 is not prime. Res64: 1A710E136493C247 Time : 0.0 sec. user=mdettweiler [2016-04-09 01:52:22] 767*2^1425728-1 is not prime. Res64: E55BCD8FA5FCA141 Time : 0.0 sec. user=mdettweiler [2016-04-09 01:52:22] 843*2^1425728-1 is not prime. Res64: 84A56616BB5A0354 Time : 0.0 sec. user=mdettweiler [2016-04-09 01:52:22] 627*2^1425729-1 is not prime. Res64: D25B0443940FB9D5 Time : 0.0 sec. user=mdettweiler [2016-04-09 01:52:22] 657*2^1425729-1 is not prime. Res64: BD8D0EC909591B35 Time : 0.0 sec. user=mdettweiler [2016-04-09 02:19:33] 727*2^1425729-1 is not prime. Res64: A308668A58F2085D Time : 0.0 sec. user=mdettweiler [2016-04-09 02:19:34] 895*2^1425729-1 is not prime. Res64: 774DDE3ED7C256A9 Time : 0.0 sec. user=mdettweiler [2016-04-09 02:19:34] 979*2^1425729-1 is not prime. Res64: B3A957E48C53C1EA Time : 0.0 sec. user=mdettweiler [2016-04-09 02:19:34] 991*2^1425729-1 is not prime. Res64: 2B9B190B772E529D Time : 0.0 sec. user=mdettweiler [2016-04-09 02:19:34] 611*2^1425730-1 is not prime. Res64: 735DB5E48363457C Time : 0.0 sec. user=mdettweiler [2016-04-09 02:33:41] 731*2^1425730-1 is not prime. Res64: 26A89B3651CE5467 Time : 0.0 sec. user=mdettweiler [2016-04-09 02:33:42] 891*2^1425730-1 is not prime. Res64: FC02F3B29950836B Time : 0.0 sec. user=mdettweiler [2016-04-09 02:33:43] 951*2^1425730-1 is not prime. Res64: E2883454F6028BE9 Time : 0.0 sec. user=mdettweiler [2016-04-09 02:33:43] 987*2^1425730-1 is not prime. Res64: F9FA2B2AC7AA1D76 Time : 0.0 sec. user=mdettweiler [2016-04-09 02:33:44] 603*2^1425731-1 is not prime. Res64: 707FA69B5BFD8294 Time : 0.0 sec. user=mdettweiler [2016-04-09 02:34:04] 693*2^1425731-1 is not prime. Res64: 313508093F690665 Time : 0.0 sec. user=mdettweiler [2016-04-09 02:34:04] 741*2^1425731-1 is not prime. Res64: 27669CB60C16152A Time : 0.0 sec. user=mdettweiler [2016-04-09 02:34:05] 825*2^1425731-1 is not prime. Res64: 8BE7246BE15D3E4E Time : 0.0 sec. user=mdettweiler [2016-04-09 02:34:05] 855*2^1425731-1 is not prime. Res64: 174B0B97D110A1EC Time : 0.0 sec. user=mdettweiler [2016-04-09 02:34:05] 859*2^1425731-1 is not prime. Res64: 4E05FFDE953CBEB3 Time : 0.0 sec. user=mdettweiler [2016-04-09 02:37:43] 931*2^1425731-1 is not prime. Res64: C89731B5139918ED Time : 0.0 sec. user=mdettweiler [2016-04-09 02:37:43] 615*2^1425732-1 is not prime. Res64: A322B86FBD79BE81 Time : 0.0 sec. user=mdettweiler [2016-04-09 02:37:43] 633*2^1425732-1 is not prime. Res64: F336DE1B6A27477F Time : 0.0 sec. user=mdettweiler [2016-04-09 02:37:43] 647*2^1425732-1 is not prime. Res64: A36C1277EB28E472 Time : 0.0 sec. user=mdettweiler [2016-04-09 02:37:44] 719*2^1425732-1 is not prime. Res64: 1D2A87A77D00D76D Time : 0.0 sec. user=mdettweiler [2016-04-09 03:04:36] 749*2^1425732-1 is not prime. Res64: 6AA97B925F7A81EB Time : 0.0 sec. user=mdettweiler [2016-04-09 03:04:38] 825*2^1425732-1 is not prime. Res64: 6EE50A77803899E7 Time : 0.0 sec. user=mdettweiler [2016-04-09 03:04:39] 887*2^1425732-1 is not prime. Res64: 0E2A90F57763D13C Time : 0.0 sec. user=mdettweiler [2016-04-09 03:04:40] 721*2^1425733-1 is not prime. Res64: 0C8366D05B02C102 Time : 0.0 sec. user=mdettweiler [2016-04-09 03:04:41] 747*2^1425733-1 is not prime. Res64: AE90C28E3D489588 Time : 0.0 sec. user=mdettweiler [2016-04-09 03:19:21] 789*2^1425733-1 is not prime. Res64: 148E1C80647D3BA8 Time : 0.0 sec. user=mdettweiler [2016-04-09 03:19:21] 939*2^1425733-1 is not prime. Res64: A8B054D3A7C57A94 Time : 0.0 sec. user=mdettweiler [2016-04-09 03:19:21] 979*2^1425733-1 is not prime. Res64: 43F5B974BBB9DBB0 Time : 0.0 sec. user=mdettweiler [2016-04-09 03:19:21] 999*2^1425733-1 is not prime. Res64: 6947E70CB9117360 Time : 0.0 sec. user=mdettweiler [2016-04-09 03:19:22] 677*2^1425734-1 is not prime. Res64: 87386873EE6E44FF Time : 0.0 sec. user=mdettweiler [2016-04-09 03:19:25] 705*2^1425734-1 is not prime. Res64: 5A19E8960A161F84 Time : 0.0 sec. user=mdettweiler [2016-04-09 03:19:25] 717*2^1425734-1 is not prime. Res64: 5CCD5B580307DC8C Time : 0.0 sec. user=mdettweiler [2016-04-09 03:19:25] 753*2^1425734-1 is not prime. Res64: B5B7888BC4BE5915 Time : 0.0 sec. user=mdettweiler [2016-04-09 03:19:25] 795*2^1425734-1 is not prime. Res64: 6AF77562C0C1E9DB Time : 0.0 sec. user=mdettweiler [2016-04-09 03:19:26] 861*2^1425734-1 is not prime. Res64: E49BA7C28A5FC4FE Time : 0.0 sec. user=mdettweiler [2016-04-09 03:23:04] 887*2^1425734-1 is not prime. Res64: E703F7B1C1054575 Time : 0.0 sec. user=mdettweiler [2016-04-09 03:23:04] 965*2^1425734-1 is not prime. Res64: A65163111FDF9A14 Time : 0.0 sec. user=mdettweiler [2016-04-09 03:23:04] 983*2^1425734-1 is not prime. Res64: B45C60E530800E30 Time : 0.0 sec. user=mdettweiler [2016-04-09 03:23:05] 993*2^1425734-1 is not prime. Res64: 52C9C7FA1FFD4252 Time : 0.0 sec. user=mdettweiler [2016-04-09 03:23:05] 781*2^1425735-1 is not prime. Res64: CE8D2A6F75803998 Time : 0.0 sec. user=mdettweiler [2016-04-09 03:49:56] 895*2^1425735-1 is not prime. Res64: 4D3E0B2D9A9B2B20 Time : 0.0 sec. user=mdettweiler [2016-04-09 03:49:58] 985*2^1425735-1 is not prime. Res64: E764E52223E1ED13 Time : 0.0 sec. user=mdettweiler [2016-04-09 03:49:58] 699*2^1425736-1 is not prime. Res64: 3F3A3E8C53F4F829 Time : 0.0 sec. user=mdettweiler [2016-04-09 03:49:59] 705*2^1425736-1 is not prime. Res64: 84AFF02B7FB4834F Time : 0.0 sec. user=mdettweiler [2016-04-09 03:50:00] 917*2^1425736-1 is not prime. Res64: 8F3DD1044B9E15B6 Time : 0.0 sec. user=mdettweiler [2016-04-09 04:04:19] 957*2^1425736-1 is not prime. Res64: 6E49B9CD4DCC15F5 Time : 0.0 sec. user=mdettweiler [2016-04-09 04:04:21] 969*2^1425736-1 is not prime. Res64: 9D54EAB7C50943CC Time : 0.0 sec. user=mdettweiler [2016-04-09 04:04:21] 975*2^1425736-1 is not prime. Res64: 4BD6A38359CCEEF7 Time : 0.0 sec. user=mdettweiler [2016-04-09 04:04:22] 607*2^1425737-1 is not prime. Res64: CEC70EE207630B4A Time : 0.0 sec. user=mdettweiler [2016-04-09 04:04:23] 615*2^1425737-1 is not prime. Res64: 04CEEE3079064780 Time : 0.0 sec. user=mdettweiler [2016-04-09 04:04:28] 645*2^1425737-1 is not prime. Res64: 3C5F708D9A8B21CE Time : 0.0 sec. user=mdettweiler [2016-04-09 04:04:30] 669*2^1425737-1 is not prime. Res64: FE3F1D71896ACEE7 Time : 0.0 sec. user=mdettweiler [2016-04-09 04:04:31] 675*2^1425737-1 is not prime. Res64: B46927BE7F5C785E Time : 0.0 sec. user=mdettweiler [2016-04-09 04:04:33] 699*2^1425737-1 is not prime. Res64: E3A72CC491132BAD Time : 0.0 sec. user=mdettweiler [2016-04-09 04:04:34] 759*2^1425737-1 is not prime. Res64: DAC61755B3EE331C Time : 0.0 sec. user=mdettweiler [2016-04-09 04:08:02] 771*2^1425737-1 is not prime. Res64: FDDAD23983019009 Time : 0.0 sec. user=mdettweiler [2016-04-09 04:08:03] 861*2^1425737-1 is not prime. Res64: B3AEDA11E779B3F0 Time : 0.0 sec. user=mdettweiler [2016-04-09 04:08:03] 879*2^1425737-1 is not prime. Res64: A34223C66822BD94 Time : 0.0 sec. user=mdettweiler [2016-04-09 04:08:03] 889*2^1425737-1 is not prime. Res64: 626EE34643C1A9A4 Time : 0.0 sec. user=mdettweiler [2016-04-09 04:08:04] 949*2^1425737-1 is not prime. Res64: 6A217E1B5A23BE60 Time : 0.0 sec. user=mdettweiler [2016-04-09 04:35:06] 605*2^1425738-1 is not prime. Res64: 6E3624FDBF6A6A5E Time : 0.0 sec. user=mdettweiler [2016-04-09 04:35:06] 657*2^1425738-1 is not prime. Res64: EC5D84526BD84EAE Time : 0.0 sec. user=mdettweiler [2016-04-09 04:35:06] 677*2^1425738-1 is not prime. Res64: 55DCB61AACC443FC Time : 0.0 sec. user=mdettweiler [2016-04-09 04:35:07] 923*2^1425738-1 is not prime. Res64: 59B974F99D88F156 Time : 0.0 sec. user=mdettweiler [2016-04-09 04:35:07] 1001*2^1425738-1 is not prime. Res64: C5F408026B03B4F2 Time : 0.0 sec. user=mdettweiler [2016-04-09 04:49:40] 633*2^1425739-1 is not prime. Res64: 3C1C54C2E8944920 Time : 0.0 sec. user=mdettweiler [2016-04-09 04:49:41] 649*2^1425739-1 is not prime. Res64: 39F6EE6983A46B16 Time : 0.0 sec. user=mdettweiler [2016-04-09 04:49:41] 703*2^1425739-1 is not prime. Res64: 00BFEF38C38A5616 Time : 0.0 sec. user=mdettweiler [2016-04-09 04:49:41] 733*2^1425739-1 is not prime. Res64: 9F7B5DF6FBC5AC91 Time : 0.0 sec. user=mdettweiler [2016-04-09 04:49:41] 885*2^1425739-1 is not prime. Res64: 43DD5EFB1B8E8F9D Time : 0.0 sec. user=mdettweiler [2016-04-09 04:49:51] 979*2^1425739-1 is not prime. Res64: 170F43A4EB29ECC0 Time : 0.0 sec. user=mdettweiler [2016-04-09 04:49:52] 647*2^1425740-1 is not prime. Res64: F5F479EB89642D27 Time : 0.0 sec. user=mdettweiler [2016-04-09 04:49:52] 857*2^1425740-1 is not prime. Res64: 8CD3B9350FBE8A8F Time : 0.0 sec. user=mdettweiler [2016-04-09 04:49:52] 899*2^1425740-1 is not prime. Res64: 6B08247923D042E6 Time : 0.0 sec. user=mdettweiler [2016-04-09 04:49:52] 935*2^1425740-1 is not prime. Res64: A8AA7432C4085143 Time : 0.0 sec. user=mdettweiler [2016-04-09 04:53:08] 963*2^1425740-1 is not prime. Res64: 6BF181F8AED0340A Time : 0.0 sec. user=mdettweiler [2016-04-09 04:53:08] 639*2^1425741-1 is not prime. Res64: 0263464AE3F8591E Time : 0.0 sec. user=mdettweiler [2016-04-09 04:53:08] 829*2^1425741-1 is not prime. Res64: 254457F715437C1E Time : 0.0 sec. user=mdettweiler [2016-04-09 04:53:09] 865*2^1425741-1 is not prime. Res64: 8588D2F4BB76A37B Time : 0.0 sec. user=mdettweiler [2016-04-09 04:53:09] 907*2^1425741-1 is not prime. Res64: 61C74A9F3FD5051E Time : 0.0 sec. user=mdettweiler [2016-04-09 05:21:34] 955*2^1425741-1 is not prime. Res64: 971F690E40B3BF3C Time : 0.0 sec. user=mdettweiler [2016-04-09 05:21:35] 987*2^1425741-1 is not prime. Res64: E27B110069E6A363 Time : 0.0 sec. user=mdettweiler [2016-04-09 05:21:35] 647*2^1425742-1 is not prime. Res64: 38BFC250FE99C986 Time : 0.0 sec. user=mdettweiler [2016-04-09 05:21:35] 717*2^1425742-1 is not prime. Res64: 77662747E500E93C Time : 0.0 sec. user=mdettweiler [2016-04-09 05:21:36] 813*2^1425742-1 is not prime. Res64: 0531FA5CCA171F13 Time : 0.0 sec. user=mdettweiler [2016-04-09 05:35:41] 951*2^1425742-1 is not prime. Res64: D15188A1FCA1BD02 Time : 0.0 sec. user=mdettweiler [2016-04-09 05:35:42] 693*2^1425743-1 is not prime. Res64: DA03E654FCDD2873 Time : 0.0 sec. user=mdettweiler [2016-04-09 05:35:42] 763*2^1425743-1 is not prime. Res64: 370B54BB120D9F21 Time : 0.0 sec. user=mdettweiler [2016-04-09 05:35:42] 811*2^1425743-1 is not prime. Res64: A3C74BC275499F52 Time : 0.0 sec. user=mdettweiler [2016-04-09 05:35:42] 861*2^1425743-1 is not prime. Res64: A39AE7E333A79390 Time : 0.0 sec. user=mdettweiler [2016-04-09 05:35:45] 871*2^1425743-1 is not prime. Res64: D691861B00717683 Time : 0.0 sec. user=mdettweiler [2016-04-09 05:35:45] 985*2^1425743-1 is not prime. Res64: 9391311083FF11CE Time : 0.0 sec. user=mdettweiler [2016-04-09 05:35:45] 993*2^1425743-1 is not prime. Res64: CECBF18D2A4FCF0A Time : 0.0 sec. user=mdettweiler [2016-04-09 05:35:45] 629*2^1425744-1 is not prime. Res64: 13B51F7F7F818683 Time : 0.0 sec. user=mdettweiler [2016-04-09 05:35:46] 759*2^1425744-1 is not prime. Res64: E66D557E5CBC47D1 Time : 0.0 sec. user=mdettweiler [2016-04-09 05:38:58] 767*2^1425744-1 is not prime. Res64: 1DB6FF4080E33BE8 Time : 0.0 sec. user=mdettweiler [2016-04-09 05:38:59] 923*2^1425744-1 is not prime. Res64: BD7833B1ADA35497 Time : 0.0 sec. user=mdettweiler [2016-04-09 05:38:59] 625*2^1425745-1 is not prime. Res64: F00FFF3881A6F6CD Time : 0.0 sec. user=mdettweiler [2016-04-09 05:38:59] 799*2^1425745-1 is not prime. Res64: 3623E7CD27366907 Time : 0.0 sec. user=mdettweiler [2016-04-09 05:38:59] 713*2^1425746-1 is not prime. Res64: 9E7864658B6CE9D8 Time : 0.0 sec. user=mdettweiler [2016-04-09 06:06:26] 741*2^1425746-1 is not prime. Res64: 79EC2A9974A522F0 Time : 0.0 sec. user=mdettweiler [2016-04-09 06:06:26] 743*2^1425746-1 is not prime. Res64: C2EF64D00D7789E3 Time : 0.0 sec. user=mdettweiler [2016-04-09 06:06:27] 783*2^1425746-1 is not prime. Res64: C66CF59873D92579 Time : 0.0 sec. user=mdettweiler [2016-04-09 06:06:27] 851*2^1425746-1 is not prime. Res64: 21C4245BA749E797 Time : 0.0 sec. user=mdettweiler [2016-04-09 06:06:27] 957*2^1425746-1 is not prime. Res64: 930A3BE0A76E9257 Time : 0.0 sec. user=mdettweiler [2016-04-09 06:20:44] 827*2^1425748-1 is not prime. Res64: F6EEE1BDD03ADBB9 Time : 0.0 sec. user=mdettweiler [2016-04-09 06:20:44] 855*2^1425748-1 is not prime. Res64: 0E2A49CE7A0361D3 Time : 0.0 sec. user=mdettweiler [2016-04-09 06:20:44] 989*2^1425748-1 is not prime. Res64: FF2689E1B49EBC07 Time : 0.0 sec. user=mdettweiler [2016-04-09 06:20:44] 741*2^1425749-1 is not prime. Res64: C9F2A2889D4FF631 Time : 0.0 sec. user=mdettweiler [2016-04-09 06:20:45] 747*2^1425749-1 is not prime. Res64: B1C8464867ACFCB3 Time : 0.0 sec. user=mdettweiler [2016-04-09 06:20:54] 633*2^1425747-1 is not prime. Res64: 5B470444045D9B2D Time : 0.0 sec. user=mdettweiler [2016-04-09 06:20:55] 647*2^1425748-1 is not prime. Res64: EDF0EFD4E8C8348A Time : 0.0 sec. user=mdettweiler [2016-04-09 06:20:55] 707*2^1425748-1 is not prime. Res64: EFDCEA3F251C6639 Time : 0.0 sec. user=mdettweiler [2016-04-09 06:20:55] 783*2^1425748-1 is not prime. Res64: 55032145999DDC78 Time : 0.0 sec. user=mdettweiler [2016-04-09 06:20:55] 813*2^1425748-1 is not prime. Res64: 242E9AB5CF00BA5E Time : 0.0 sec. user=mdettweiler [2016-04-09 06:24:12] 769*2^1425749-1 is not prime. Res64: AB042F391B8C9675 Time : 0.0 sec. user=mdettweiler [2016-04-09 06:24:12] 795*2^1425749-1 is not prime. Res64: D79C08BB306A98B0 Time : 0.0 sec. user=mdettweiler [2016-04-09 06:24:12] 825*2^1425749-1 is not prime. Res64: EB7D118CD35A8C58 Time : 0.0 sec. user=mdettweiler [2016-04-09 06:24:13] 865*2^1425749-1 is not prime. Res64: 6666CAC0E8699A3C Time : 0.0 sec. user=mdettweiler [2016-04-09 06:24:13] 615*2^1425750-1 is not prime. Res64: CFA46468A690F45E Time : 0.0 sec. user=mdettweiler [2016-04-09 06:51:35] 707*2^1425750-1 is not prime. Res64: F5EE456C2C832FFC Time : 0.0 sec. user=mdettweiler [2016-04-09 06:51:36] 761*2^1425750-1 is not prime. Res64: EC2BEF6F0707E0CC Time : 0.0 sec. user=mdettweiler [2016-04-09 06:51:36] 851*2^1425750-1 is not prime. Res64: 69D502AF6AACEF1B Time : 0.0 sec. user=mdettweiler [2016-04-09 06:51:36] 873*2^1425750-1 is not prime. Res64: 8B724B5F4087B81B Time : 0.0 sec. user=mdettweiler [2016-04-09 06:51:36] 603*2^1425751-1 is not prime. Res64: 8E4E70A1CD56426F Time : 0.0 sec. user=mdettweiler [2016-04-09 07:05:56] 709*2^1425751-1 is not prime. Res64: 5BFADA2BF5A783EC Time : 0.0 sec. user=mdettweiler [2016-04-09 07:05:57] 759*2^1425751-1 is not prime. Res64: 3A300C2E92F44CEC Time : 0.0 sec. user=mdettweiler [2016-04-09 07:05:57] 855*2^1425751-1 is not prime. Res64: B78B3357757194AA Time : 0.0 sec. user=mdettweiler [2016-04-09 07:05:57] 891*2^1425751-1 is not prime. Res64: EF7ED7607ECA56E6 Time : 0.0 sec. user=mdettweiler [2016-04-09 07:05:58] 813*2^1425752-1 is not prime. Res64: 88433C929FCDF567 Time : 0.0 sec. user=mdettweiler [2016-04-09 07:06:27] 843*2^1425752-1 is not prime. Res64: D67ECA38A265F07D Time : 0.0 sec. user=mdettweiler [2016-04-09 07:06:27] 867*2^1425752-1 is not prime. Res64: CDBA2AB2AF808279 Time : 0.0 sec. user=mdettweiler [2016-04-09 07:06:28] 903*2^1425752-1 is not prime. Res64: 3AEDECC33F49555E Time : 0.0 sec. user=mdettweiler [2016-04-09 07:06:28] 915*2^1425752-1 is not prime. Res64: 9B09E6F7048A0511 Time : 0.0 sec. user=mdettweiler [2016-04-09 07:06:28] 963*2^1425752-1 is not prime. Res64: C91116AEFD55D81B Time : 0.0 sec. user=mdettweiler [2016-04-09 07:09:37] 999*2^1425752-1 is not prime. Res64: 67D7D009D43D975F Time : 0.0 sec. user=mdettweiler [2016-04-09 07:09:37] 615*2^1425753-1 is not prime. Res64: 94A4E0F6DD854921 Time : 0.0 sec. user=mdettweiler [2016-04-09 07:09:37] 637*2^1425753-1 is not prime. Res64: F2DEA06D0DA5433F Time : 0.0 sec. user=mdettweiler [2016-04-09 07:09:37] 649*2^1425753-1 is not prime. Res64: E8DEF29367266CE6 Time : 0.0 sec. user=mdettweiler [2016-04-09 07:09:38] 829*2^1425753-1 is not prime. Res64: 5B024F85C8C291D9 Time : 0.0 sec. user=mdettweiler [2016-04-09 07:36:34] 861*2^1425753-1 is not prime. Res64: 5C7D32C5F7ECA984 Time : 0.0 sec. user=mdettweiler [2016-04-09 07:36:34] 633*2^1425754-1 is not prime. Res64: 645D63F027D1094B Time : 0.0 sec. user=mdettweiler [2016-04-09 07:36:34] 657*2^1425754-1 is not prime. Res64: CBB63C0D11611B6F Time : 0.0 sec. user=mdettweiler [2016-04-09 07:36:34] 705*2^1425754-1 is not prime. Res64: 8D03D588B13F68FD Time : 0.0 sec. user=mdettweiler [2016-04-09 07:36:35] 707*2^1425754-1 is not prime. Res64: F9007FF9DA177455 Time : 0.0 sec. user=mdettweiler [2016-04-09 07:51:07] 747*2^1425754-1 is not prime. Res64: 7AF24939A8AA70CD Time : 0.0 sec. user=mdettweiler [2016-04-09 07:51:07] 885*2^1425754-1 is not prime. Res64: EA56F89E9804ADA4 Time : 0.0 sec. user=mdettweiler [2016-04-09 07:51:07] 903*2^1425754-1 is not prime. Res64: 807803A4B686981B Time : 0.0 sec. user=mdettweiler [2016-04-09 07:51:08] 983*2^1425754-1 is not prime. Res64: 8C8799F2785714D2 Time : 0.0 sec. user=mdettweiler [2016-04-09 07:51:08] 645*2^1425755-1 is not prime. Res64: 5F7FE946B14FAC45 Time : 0.0 sec. user=mdettweiler [2016-04-09 07:51:48] 663*2^1425755-1 is not prime. Res64: DB1832B2691FA8A0 Time : 0.0 sec. user=mdettweiler [2016-04-09 07:51:48] 733*2^1425755-1 is not prime. Res64: 01196518CCD76355 Time : 0.0 sec. user=mdettweiler [2016-04-09 07:51:48] 741*2^1425755-1 is not prime. Res64: 705D552068F3BCC7 Time : 0.0 sec. user=mdettweiler [2016-04-09 07:51:48] 895*2^1425755-1 is not prime. Res64: A2ECE97A99130301 Time : 0.0 sec. user=mdettweiler [2016-04-09 07:51:49] 969*2^1425755-1 is not prime. Res64: EC0E2B925373FD78 Time : 0.0 sec. user=mdettweiler [2016-04-09 07:54:51] 973*2^1425755-1 is not prime. Res64: C1D988C795EA700E Time : 0.0 sec. user=mdettweiler [2016-04-09 07:54:51] 647*2^1425756-1 is not prime. Res64: EA40483E0BB394E6 Time : 0.0 sec. user=mdettweiler [2016-04-09 07:54:51] 723*2^1425756-1 is not prime. Res64: 12C67F24FC4E1920 Time : 0.0 sec. user=mdettweiler [2016-04-09 07:54:52] 987*2^1425756-1 is not prime. Res64: 0EECF67932896079 Time : 0.0 sec. user=mdettweiler [2016-04-09 07:54:52] 619*2^1425757-1 is not prime. Res64: 0E3E0E0BB7160A15 Time : 0.0 sec. user=mdettweiler [2016-04-09 08:21:28] 639*2^1425757-1 is not prime. Res64: 7877047418DBD7A4 Time : 0.0 sec. user=mdettweiler [2016-04-09 08:21:29] 727*2^1425757-1 is not prime. Res64: 19E37A944E05F637 Time : 0.0 sec. user=mdettweiler [2016-04-09 08:21:29] 741*2^1425757-1 is not prime. Res64: 9B1FA02C66F1B3CE Time : 0.0 sec. user=mdettweiler [2016-04-09 08:21:29] 775*2^1425757-1 is not prime. Res64: C68EFAB58B77AFD2 Time : 0.0 sec. user=mdettweiler [2016-04-09 08:21:29] 801*2^1425757-1 is not prime. Res64: 7A70D90BD72E21DE Time : 0.0 sec. user=mdettweiler [2016-04-09 08:36:07] 859*2^1425757-1 is not prime. Res64: B83ABEBD0D359117 Time : 0.0 sec. user=mdettweiler [2016-04-09 08:36:07] 861*2^1425757-1 is not prime. Res64: 33636F3AADF0AB1B Time : 0.0 sec. user=mdettweiler [2016-04-09 08:36:07] 871*2^1425757-1 is not prime. Res64: 40242B45E66801DD Time : 0.0 sec. user=mdettweiler [2016-04-09 08:36:08] 895*2^1425757-1 is not prime. Res64: 9FE3CBE7E0FED586 Time : 0.0 sec. user=mdettweiler [2016-04-09 08:36:08] 985*2^1425757-1 is not prime. Res64: 6782792F43CC1709 Time : 0.0 sec. user=mdettweiler [2016-04-09 08:37:00] 663*2^1425758-1 is not prime. Res64: C6200B435E062FD8 Time : 0.0 sec. user=mdettweiler [2016-04-09 08:37:01] 773*2^1425758-1 is not prime. Res64: 6782719ACCB33D41 Time : 0.0 sec. user=mdettweiler [2016-04-09 08:37:01] 843*2^1425758-1 is not prime. Res64: 0BDD798F56FDC296 Time : 0.0 sec. user=mdettweiler [2016-04-09 08:37:01] 897*2^1425758-1 is not prime. Res64: 2B52D796C0F39D99 Time : 0.0 sec. user=mdettweiler [2016-04-09 08:37:01] 911*2^1425758-1 is not prime. Res64: 1ED57E72A33DA16C Time : 0.0 sec. user=mdettweiler [2016-04-09 08:39:45] 977*2^1425758-1 is not prime. Res64: AB0BF54B2743DE51 Time : 0.0 sec. user=mdettweiler [2016-04-09 08:39:46] 741*2^1425759-1 is not prime. Res64: B8117ED3FCDF1BEB Time : 0.0 sec. user=mdettweiler [2016-04-09 08:39:46] 885*2^1425759-1 is not prime. Res64: EE46DB88BE199971 Time : 0.0 sec. user=mdettweiler [2016-04-09 08:39:46] 985*2^1425759-1 is not prime. Res64: 0042288C25432F58 Time : 0.0 sec. user=mdettweiler [2016-04-09 08:39:47] 623*2^1425760-1 is not prime. Res64: 1BE82D0B266FBAF8 Time : 0.0 sec. user=mdettweiler [2016-04-09 09:06:37] 713*2^1425760-1 is not prime. Res64: 3DF2914076FDB4C9 Time : 0.0 sec. user=mdettweiler [2016-04-09 09:06:37] 747*2^1425760-1 is not prime. Res64: EF74AA5D23BE67D7 Time : 0.0 sec. user=mdettweiler [2016-04-09 09:06:37] 803*2^1425760-1 is not prime. Res64: D3728933BF9EED6F Time : 0.0 sec. user=mdettweiler [2016-04-09 09:06:38] 863*2^1425760-1 is not prime. Res64: CD8D9E800E849B21 Time : 0.0 sec. user=mdettweiler [2016-04-09 09:06:38] 909*2^1425760-1 is not prime. Res64: 6464B07F325CEF4F Time : 0.0 sec. user=mdettweiler [2016-04-09 09:21:07] 959*2^1425760-1 is not prime. Res64: E1F25E0E50FE2A2C Time : 0.0 sec. user=mdettweiler [2016-04-09 09:21:07] 601*2^1425761-1 is not prime. Res64: 4A66654A9A61F254 Time : 0.0 sec. user=mdettweiler [2016-04-09 09:21:08] 615*2^1425761-1 is not prime. Res64: B4B0433FEAA99ECC Time : 0.0 sec. user=mdettweiler [2016-04-09 09:21:08] 717*2^1425761-1 is not prime. Res64: BFA74CA20870C5F6 Time : 0.0 sec. user=mdettweiler [2016-04-09 09:21:08] 789*2^1425761-1 is not prime. Res64: 98BA34B2C5423D01 Time : 0.0 sec. user=mdettweiler [2016-04-09 09:22:08] 801*2^1425761-1 is not prime. Res64: 7C8382F3821FE30F Time : 0.0 sec. user=mdettweiler [2016-04-09 09:22:09] 955*2^1425761-1 is not prime. Res64: 1FACF40BCAF418F6 Time : 0.0 sec. user=mdettweiler [2016-04-09 09:22:09] 735*2^1425762-1 is not prime. Res64: 2C097A8B40F1E41F Time : 0.0 sec. user=mdettweiler [2016-04-09 09:22:09] 755*2^1425762-1 is not prime. Res64: 216098EB036A92BA Time : 0.0 sec. user=mdettweiler [2016-04-09 09:22:09] 765*2^1425762-1 is not prime. Res64: 5153DB8334B96686 Time : 0.0 sec. user=mdettweiler [2016-04-09 09:24:42] 843*2^1425762-1 is not prime. Res64: F3E9FB0882A5A671 Time : 0.0 sec. user=mdettweiler [2016-04-09 09:24:42] 891*2^1425762-1 is not prime. Res64: FC4F4C5C2963ECD2 Time : 0.0 sec. user=mdettweiler [2016-04-09 09:24:42] 903*2^1425762-1 is not prime. Res64: 27EC27B403623B0C Time : 0.0 sec. user=mdettweiler [2016-04-09 09:24:42] 811*2^1425763-1 is not prime. Res64: FF29E5045EE10D95 Time : 0.0 sec. user=mdettweiler [2016-04-09 09:24:43] 829*2^1425763-1 is not prime. Res64: 5BB03A3D4B14D988 Time : 0.0 sec. user=mdettweiler [2016-04-09 09:51:46] 835*2^1425763-1 is not prime. Res64: 33D59E529E135732 Time : 0.0 sec. user=mdettweiler [2016-04-09 09:51:46] 853*2^1425763-1 is not prime. Res64: C0AF3250F4EB0C64 Time : 0.0 sec. user=mdettweiler [2016-04-09 09:51:47] 871*2^1425763-1 is not prime. Res64: 7651542FB6EDD9F8 Time : 0.0 sec. user=mdettweiler [2016-04-09 09:51:47] 873*2^1425763-1 is not prime. Res64: 689B03C18AFFDAD5 Time : 0.0 sec. user=mdettweiler [2016-04-09 09:51:47] 883*2^1425763-1 is not prime. Res64: 3DF04F39916E1CDD Time : 0.0 sec. user=mdettweiler [2016-04-09 10:06:33] 925*2^1425763-1 is not prime. Res64: F9334149F77FCAFF Time : 0.0 sec. user=mdettweiler [2016-04-09 10:06:34] 985*2^1425763-1 is not prime. Res64: F90EE4D64AC65C42 Time : 0.0 sec. user=mdettweiler [2016-04-09 10:06:35] 707*2^1425764-1 is not prime. Res64: FAC644F35AB38C20 Time : 0.0 sec. user=mdettweiler [2016-04-09 10:06:36] 743*2^1425764-1 is not prime. Res64: 6CDF175AFD3EE360 Time : 0.0 sec. user=mdettweiler [2016-04-09 10:06:37] 885*2^1425764-1 is not prime. Res64: E5C846076032EFAA Time : 0.0 sec. user=mdettweiler [2016-04-09 10:07:26] 915*2^1425764-1 is not prime. Res64: 4BE9D3F722E85C7D Time : 0.0 sec. user=mdettweiler [2016-04-09 10:07:27] 983*2^1425764-1 is not prime. Res64: F9D5F1C1865FE22E Time : 0.0 sec. user=mdettweiler [2016-04-09 10:07:28] 609*2^1425765-1 is not prime. Res64: 474AB7E5B6356B75 Time : 0.0 sec. user=mdettweiler [2016-04-09 10:07:30] 685*2^1425765-1 is not prime. Res64: CD09009BA39F4CCD Time : 0.0 sec. user=mdettweiler [2016-04-09 10:07:31] 699*2^1425765-1 is not prime. Res64: FA3ED8B0048B7006 Time : 0.0 sec. user=mdettweiler [2016-04-09 10:09:48] 795*2^1425765-1 is not prime. Res64: 2E752CD72DD170FD Time : 0.0 sec. user=mdettweiler [2016-04-09 10:09:49] 811*2^1425765-1 is not prime. Res64: 2B5ACF51732DF3D8 Time : 0.0 sec. user=mdettweiler [2016-04-09 10:09:49] 871*2^1425765-1 is not prime. Res64: 697B86470AF8CD60 Time : 0.0 sec. user=mdettweiler [2016-04-09 10:09:49] 999*2^1425765-1 is not prime. Res64: D4254D022B7E6E3F Time : 0.0 sec. user=mdettweiler [2016-04-09 10:09:50] 603*2^1425766-1 is not prime. Res64: 538A9D4DD2F6670B Time : 0.0 sec. user=mdettweiler [2016-04-09 10:36:40] 783*2^1425766-1 is not prime. Res64: 62F3EDF3C25A26F7 Time : 0.0 sec. user=mdettweiler [2016-04-09 10:36:40] 857*2^1425766-1 is not prime. Res64: 5F99D8C04DE81B36 Time : 0.0 sec. user=mdettweiler [2016-04-09 10:36:40] 903*2^1425766-1 is not prime. Res64: 4A400FCCF9DCDEBA Time : 0.0 sec. user=mdettweiler [2016-04-09 10:36:40] 603*2^1425767-1 is not prime. Res64: B93EB41212DB8ECB Time : 0.0 sec. user=mdettweiler [2016-04-09 10:36:41] 703*2^1425767-1 is not prime. Res64: 241206D90F361E26 Time : 0.0 sec. user=mdettweiler [2016-04-09 10:51:57] 735*2^1425767-1 is not prime. Res64: 437D0EFF0289A151 Time : 0.0 sec. user=mdettweiler [2016-04-09 10:51:58] 985*2^1425767-1 is not prime. Res64: ECE31308A1010DAC Time : 0.0 sec. user=mdettweiler [2016-04-09 10:51:58] 683*2^1425768-1 is not prime. Res64: B823F0B88BD3C003 Time : 0.0 sec. user=mdettweiler [2016-04-09 10:51:58] 707*2^1425768-1 is not prime. Res64: 4CB9755F2CF1197D Time : 0.0 sec. user=mdettweiler [2016-04-09 10:51:58] 735*2^1425768-1 is not prime. Res64: 7AD6CECDF7ADAC37 Time : 0.0 sec. user=mdettweiler [2016-04-09 10:52:37] 765*2^1425768-1 is not prime. Res64: 9C7A8AFF870B7DD3 Time : 0.0 sec. user=mdettweiler [2016-04-09 10:52:38] 767*2^1425768-1 is not prime. Res64: D945C7527479A1EF Time : 0.0 sec. user=mdettweiler [2016-04-09 10:52:38] 837*2^1425768-1 is not prime. Res64: 682D26CEF7B25C87 Time : 0.0 sec. user=mdettweiler [2016-04-09 10:52:38] 905*2^1425768-1 is not prime. Res64: 90E84F77D3A9854E Time : 0.0 sec. user=mdettweiler [2016-04-09 10:52:38] 945*2^1425768-1 is not prime. Res64: A69A13F98A12A709 Time : 0.0 sec. user=mdettweiler [2016-04-09 10:54:50] 625*2^1425769-1 is not prime. Res64: D3D3B7713D00E60C Time : 0.0 sec. user=mdettweiler [2016-04-09 10:54:50] 685*2^1425769-1 is not prime. Res64: 6D54268D052FD2F7 Time : 0.0 sec. user=mdettweiler [2016-04-09 10:54:50] 687*2^1425769-1 is not prime. Res64: F9F297D8A129B81D Time : 0.0 sec. user=mdettweiler [2016-04-09 10:54:50] 705*2^1425769-1 is not prime. Res64: 16A7F69F02809CDD Time : 0.0 sec. user=mdettweiler [2016-04-09 10:54:51] 789*2^1425769-1 is not prime. Res64: CDD1B148166AB95F Time : 0.0 sec. user=mdettweiler [2016-04-09 11:21:30] 799*2^1425769-1 is not prime. Res64: 634B79BAD12BE985 Time : 0.0 sec. user=mdettweiler [2016-04-09 11:21:31] 861*2^1425769-1 is not prime. Res64: A9E3F46BFFDA7E27 Time : 0.0 sec. user=mdettweiler [2016-04-09 11:21:31] 987*2^1425769-1 is not prime. Res64: 5FC0EC164D0FBD7F Time : 0.0 sec. user=mdettweiler [2016-04-09 11:21:31] 605*2^1425770-1 is not prime. Res64: 9CF2D74465D7DCDB Time : 0.0 sec. user=mdettweiler [2016-04-09 11:21:31] 615*2^1425770-1 is not prime. Res64: 3A558845483671C0 Time : 0.0 sec. user=mdettweiler [2016-04-09 11:36:57] 641*2^1425770-1 is not prime. Res64: 9170C714619D00B7 Time : 0.0 sec. user=mdettweiler [2016-04-09 11:36:58] 675*2^1425770-1 is not prime. Res64: EABB5EC6AC62DF0E Time : 0.0 sec. user=mdettweiler [2016-04-09 11:36:58] 741*2^1425770-1 is not prime. Res64: B34AACA608038643 Time : 0.0 sec. user=mdettweiler [2016-04-09 11:36:58] 861*2^1425770-1 is not prime. Res64: A1DCE8D9F17FDAB5 Time : 0.0 sec. user=mdettweiler [2016-04-09 11:36:58] 609*2^1425771-1 is not prime. Res64: A1B1A482779AACCE Time : 0.0 sec. user=mdettweiler [2016-04-09 11:37:50] 625*2^1425771-1 is not prime. Res64: 9273C1084C98C2D7 Time : 0.0 sec. user=mdettweiler [2016-04-09 11:37:51] 751*2^1425771-1 is not prime. Res64: D6401BFCBD50A1E8 Time : 0.0 sec. user=mdettweiler [2016-04-09 11:37:51] 991*2^1425771-1 is not prime. Res64: 315758340EBB555A Time : 0.0 sec. user=mdettweiler [2016-04-09 11:37:51] 749*2^1425772-1 is not prime. Res64: C57FB723DC96ACAB Time : 0.0 sec. user=mdettweiler [2016-04-09 11:37:51] 863*2^1425772-1 is not prime. Res64: BF1BEDD5A1DE4D9B Time : 0.0 sec. user=mdettweiler [2016-04-09 11:39:50] 873*2^1425772-1 is not prime. Res64: 7432372377EF255F Time : 0.0 sec. user=mdettweiler [2016-04-09 11:39:50] 975*2^1425772-1 is not prime. Res64: 57FF2830B8FFFBEB Time : 0.0 sec. user=mdettweiler [2016-04-09 11:39:50] 627*2^1425773-1 is not prime. Res64: B44DE47DE505C780 Time : 0.0 sec. user=mdettweiler [2016-04-09 11:39:50] 771*2^1425773-1 is not prime. Res64: C2681633DEE72B2B Time : 0.0 sec. user=mdettweiler [2016-04-09 11:39:51] 861*2^1425773-1 is not prime. Res64: 877F3BAA851D6AE1 Time : 0.0 sec. user=mdettweiler [2016-04-09 12:06:29] 925*2^1425773-1 is not prime. Res64: CBE8C7D30E87352B Time : 0.0 sec. user=mdettweiler [2016-04-09 12:06:29] 651*2^1425774-1 is not prime. Res64: F191F1657508BDC5 Time : 0.0 sec. user=mdettweiler [2016-04-09 12:06:29] 681*2^1425774-1 is not prime. Res64: 7630ED8C89A2A2BB Time : 0.0 sec. user=mdettweiler [2016-04-09 12:06:30] 711*2^1425774-1 is not prime. Res64: 8718689D93649899 Time : 0.0 sec. user=mdettweiler [2016-04-09 12:06:30] 741*2^1425774-1 is not prime. Res64: 67EEBF87A95832A9 Time : 0.0 sec. user=mdettweiler [2016-04-09 12:22:10] 773*2^1425774-1 is not prime. Res64: 541C0C481DC73542 Time : 0.0 sec. user=mdettweiler [2016-04-09 12:22:11] 791*2^1425774-1 is not prime. Res64: 91E52015EAF46C55 Time : 0.0 sec. user=mdettweiler [2016-04-09 12:22:11] 807*2^1425774-1 is not prime. Res64: CBC6C8712C0572C6 Time : 0.0 sec. user=mdettweiler [2016-04-09 12:22:11] 891*2^1425774-1 is not prime. Res64: D6D3FFBB54BC5772 Time : 0.0 sec. user=mdettweiler [2016-04-09 12:22:11] 917*2^1425774-1 is not prime. Res64: EFC5E3E0EF034F06 Time : 0.0 sec. user=mdettweiler [2016-04-09 12:23:14] 819*2^1425775-1 is not prime. Res64: 747CAB495D387D09 Time : 0.0 sec. user=mdettweiler [2016-04-09 12:23:15] 841*2^1425775-1 is not prime. Res64: 8600BF4EEDAB4666 Time : 0.0 sec. user=mdettweiler [2016-04-09 12:23:15] 885*2^1425775-1 is not prime. Res64: 157CEF6D9C7A19F5 Time : 0.0 sec. user=mdettweiler [2016-04-09 12:23:15] 629*2^1425776-1 is not prime. Res64: E0D59DD247009A3D Time : 0.0 sec. user=mdettweiler [2016-04-09 12:23:15] 635*2^1425776-1 is not prime. Res64: CE0643B3CB9B4DBC Time : 0.0 sec. user=mdettweiler [2016-04-09 12:25:15] 743*2^1425776-1 is not prime. Res64: 2222003C2372FEBF Time : 0.0 sec. user=mdettweiler [2016-04-09 12:25:15] 755*2^1425776-1 is not prime. Res64: 627D98D26A3F0E62 Time : 0.0 sec. user=mdettweiler [2016-04-09 12:25:15] 843*2^1425776-1 is not prime. Res64: 14F9F1827EC9513E Time : 0.0 sec. user=mdettweiler [2016-04-09 12:25:15] 855*2^1425776-1 is not prime. Res64: DB39DCF7D7329685 Time : 0.0 sec. user=mdettweiler [2016-04-09 12:25:16] 857*2^1425776-1 is not prime. Res64: 5EC17F4191A525C5 Time : 0.0 sec. user=mdettweiler [2016-04-09 12:54:07] 607*2^1425777-1 is not prime. Res64: E8FEE878D1F4308F Time : 0.0 sec. user=mdettweiler [2016-04-09 12:54:07] 615*2^1425777-1 is not prime. Res64: 7E7D57EEC92722A9 Time : 0.0 sec. user=mdettweiler [2016-04-09 12:54:07] 691*2^1425777-1 is not prime. Res64: AE7569931F86D27E Time : 0.0 sec. user=mdettweiler [2016-04-09 12:54:08] 777*2^1425777-1 is not prime. Res64: E67411EDD4FCCD5F Time : 0.0 sec. user=mdettweiler [2016-04-09 12:54:08] 831*2^1425777-1 is not prime. Res64: A837953FBD5A3F46 Time : 0.0 sec. user=mdettweiler [2016-04-09 13:09:46] 835*2^1425777-1 is not prime. Res64: 58C22A514D7DF90D Time : 0.0 sec. user=mdettweiler [2016-04-09 13:09:48] 621*2^1425778-1 is not prime. Res64: 4286A4D4F5FEA786 Time : 0.0 sec. user=mdettweiler [2016-04-09 13:09:48] 665*2^1425778-1 is not prime. Res64: 751DB3B1C5C8ED1E Time : 0.0 sec. user=mdettweiler [2016-04-09 13:09:49] 677*2^1425778-1 is not prime. Res64: DC2246C25BCBEF10 Time : 0.0 sec. user=mdettweiler [2016-04-09 13:09:49] 735*2^1425778-1 is not prime. Res64: 218FF9ED67E13B7E Time : 0.0 sec. user=mdettweiler [2016-04-09 13:11:03] 777*2^1425778-1 is not prime. Res64: 2D5FFCF3BB111DB7 Time : 0.0 sec. user=mdettweiler [2016-04-09 13:11:04] 831*2^1425778-1 is not prime. Res64: 07F8DFD19B2EB772 Time : 0.0 sec. user=mdettweiler [2016-04-09 13:11:04] 843*2^1425778-1 is not prime. Res64: D03E8272A200C10E Time : 0.0 sec. user=mdettweiler [2016-04-09 13:11:04] 887*2^1425778-1 is not prime. Res64: 73712F57A68F0BE5 Time : 0.0 sec. user=mdettweiler [2016-04-09 13:11:04] 975*2^1425778-1 is not prime. Res64: 8D6842A0206FC0F1 Time : 0.0 sec. user=mdettweiler [2016-04-09 13:13:35] 619*2^1425779-1 is not prime. Res64: 00C73C8F5FDF28FA Time : 0.0 sec. user=mdettweiler [2016-04-09 13:13:35] 735*2^1425779-1 is not prime. Res64: 0C75DBD9BD4715FD Time : 0.0 sec. user=mdettweiler [2016-04-09 13:13:35] 771*2^1425779-1 is not prime. Res64: F4224668C6D36D6B Time : 0.0 sec. user=mdettweiler [2016-04-09 13:13:36] 801*2^1425779-1 is not prime. Res64: 9568051372EF5323 Time : 0.0 sec. user=mdettweiler [2016-04-09 13:13:36] 861*2^1425779-1 is not prime. Res64: E470F442F22C873B Time : 0.0 sec. user=mdettweiler [2016-04-09 13:40:58] 885*2^1425779-1 is not prime. Res64: 3CB37B0A97815445 Time : 0.0 sec. user=mdettweiler [2016-04-09 13:40:58] 931*2^1425779-1 is not prime. Res64: CF355AE07A832F34 Time : 0.0 sec. user=mdettweiler [2016-04-09 13:40:59] 955*2^1425779-1 is not prime. Res64: 12F180C3D6974ACC Time : 0.0 sec. user=mdettweiler [2016-04-09 13:40:59] 973*2^1425779-1 is not prime. Res64: A7FFAC387ADC36C0 Time : 0.0 sec. user=mdettweiler [2016-04-09 13:40:59] 979*2^1425779-1 is not prime. Res64: 6E118F1F13F17E77 Time : 0.0 sec. user=mdettweiler [2016-04-09 13:56:59] 623*2^1425780-1 is not prime. Res64: 8740978992A894ED Time : 0.0 sec. user=mdettweiler [2016-04-09 13:57:00] 767*2^1425780-1 is not prime. Res64: 8E92398B13A85946 Time : 0.0 sec. user=mdettweiler [2016-04-09 13:57:00] 783*2^1425780-1 is not prime. Res64: 2CE875F08E80D1A7 Time : 0.0 sec. user=mdettweiler [2016-04-09 13:57:00] 915*2^1425780-1 is not prime. Res64: 0A64793FF4C4A301 Time : 0.0 sec. user=mdettweiler [2016-04-09 13:57:00] 927*2^1425780-1 is not prime. Res64: 7CD67B8345FD0DEE Time : 0.0 sec. user=mdettweiler [2016-04-09 13:58:08] 935*2^1425780-1 is not prime. Res64: FD68D33F473272BA Time : 0.0 sec. user=mdettweiler [2016-04-09 13:58:08] 959*2^1425780-1 is not prime. Res64: 8B741E9A08B916C8 Time : 0.0 sec. user=mdettweiler [2016-04-09 13:58:08] 829*2^1425781-1 is not prime. Res64: 73CB95A1CFC6AF4D Time : 0.0 sec. user=mdettweiler [2016-04-09 13:58:09] 931*2^1425781-1 is not prime. Res64: 032CD98DE13F6569 Time : 0.0 sec. user=mdettweiler [2016-04-09 13:58:09] 939*2^1425781-1 is not prime. Res64: 58B4DC49E7E87104 Time : 0.0 sec. user=mdettweiler [2016-04-09 14:00:18] 603*2^1425782-1 is not prime. Res64: 06FA7BF87DA4CFBE Time : 0.0 sec. user=mdettweiler [2016-04-09 14:00:19] 617*2^1425782-1 is not prime. Res64: 56BF44A189126A4F Time : 0.0 sec. user=mdettweiler [2016-04-09 14:00:19] 677*2^1425782-1 is not prime. Res64: F98FE3E552146555 Time : 0.0 sec. user=mdettweiler [2016-04-09 14:00:20] 801*2^1425782-1 is not prime. Res64: 0D79DF9F748BF85D Time : 0.0 sec. user=mdettweiler [2016-04-09 14:00:20] 827*2^1425782-1 is not prime. Res64: 7E951F36E65778BB Time : 0.0 sec. user=mdettweiler [2016-04-09 14:27:07] 723*2^1425783-1 is not prime. Res64: 368FD6E9FEE49F7E Time : 0.0 sec. user=mdettweiler [2016-04-09 14:27:07] 781*2^1425783-1 is not prime. Res64: 91D83DF941FD6728 Time : 0.0 sec. user=mdettweiler [2016-04-09 14:27:08] 793*2^1425783-1 is not prime. Res64: 8259F5B8BF14A3D7 Time : 0.0 sec. user=mdettweiler [2016-04-09 14:27:08] 951*2^1425783-1 is not prime. Res64: B78CBD58D5205A26 Time : 0.0 sec. user=mdettweiler [2016-04-09 14:27:09] 645*2^1425784-1 is not prime. Res64: 18FB9E338DD47425 Time : 0.0 sec. user=mdettweiler [2016-04-09 14:42:47] 755*2^1425784-1 is not prime. Res64: 57180A65486D4FD5 Time : 0.0 sec. user=mdettweiler [2016-04-09 14:42:48] 849*2^1425784-1 is not prime. Res64: 0B5AE7011996276F Time : 0.0 sec. user=mdettweiler [2016-04-09 14:42:48] 995*2^1425784-1 is not prime. Res64: A425F4E01019B79E Time : 0.0 sec. user=mdettweiler [2016-04-09 14:42:48] 729*2^1425785-1 is not prime. Res64: F792977175EDB9F5 Time : 0.0 sec. user=mdettweiler [2016-04-09 14:42:48] 787*2^1425785-1 is not prime. Res64: EE50258C33B1D703 Time : 0.0 sec. user=mdettweiler [2016-04-09 14:43:59] 871*2^1425785-1 is not prime. Res64: 711B6D956B5ACBAD Time : 0.0 sec. user=mdettweiler [2016-04-09 14:43:59] 633*2^1425786-1 is not prime. Res64: 010C42BAC517402A Time : 0.0 sec. user=mdettweiler [2016-04-09 14:43:59] 767*2^1425786-1 is not prime. Res64: E7E05EEEA21C87D9 Time : 0.0 sec. user=mdettweiler [2016-04-09 14:43:59] 861*2^1425786-1 is not prime. Res64: 307B852C35969E42 Time : 0.0 sec. user=mdettweiler [2016-04-09 14:44:00] 875*2^1425786-1 is not prime. Res64: 56A3D30BE1400375 Time : 0.0 sec. user=mdettweiler [2016-04-09 14:46:19] 921*2^1425786-1 is not prime. Res64: 70EF0A3EFBC4EF8F Time : 0.0 sec. user=mdettweiler [2016-04-09 14:46:19] 963*2^1425786-1 is not prime. Res64: A63DAAD4097898AE Time : 0.0 sec. user=mdettweiler [2016-04-09 14:46:20] 975*2^1425786-1 is not prime. Res64: CFC23A1EF3501BFE Time : 0.0 sec. user=mdettweiler [2016-04-09 14:46:20] 983*2^1425786-1 is not prime. Res64: 57C52306E7296DC9 Time : 0.0 sec. user=mdettweiler [2016-04-09 14:46:20] 735*2^1425787-1 is not prime. Res64: 1137566FC5563106 Time : 0.0 sec. user=mdettweiler [2016-04-09 15:12:34] 835*2^1425787-1 is not prime. Res64: 89B39A29ED160379 Time : 0.0 sec. user=mdettweiler [2016-04-09 15:12:34] 883*2^1425787-1 is not prime. Res64: 94A5D4C5951B5615 Time : 0.0 sec. user=mdettweiler [2016-04-09 15:12:35] 993*2^1425787-1 is not prime. Res64: 2B74D623575B004F Time : 0.0 sec. user=mdettweiler [2016-04-09 15:12:35] 623*2^1425788-1 is not prime. Res64: D5E62F11B07DA8EB Time : 0.0 sec. user=mdettweiler [2016-04-09 15:12:35] 665*2^1425788-1 is not prime. Res64: 6AB1AAE227CB8578 Time : 0.0 sec. user=mdettweiler [2016-04-09 15:28:19] 677*2^1425788-1 is not prime. Res64: 8647128C49239E64 Time : 0.0 sec. user=mdettweiler [2016-04-09 15:28:19] 683*2^1425788-1 is not prime. Res64: 3349837BBC36518C Time : 0.0 sec. user=mdettweiler [2016-04-09 15:28:19] 749*2^1425788-1 is not prime. Res64: 49D0C19315F49A99 Time : 0.0 sec. user=mdettweiler [2016-04-09 15:28:20] 843*2^1425788-1 is not prime. Res64: B8C9B7EFD521F073 Time : 0.0 sec. user=mdettweiler [2016-04-09 15:28:20] 869*2^1425788-1 is not prime. Res64: 4EFB99BCD19C45AA Time : 0.0 sec. user=mdettweiler [2016-04-09 15:29:31] 893*2^1425788-1 is not prime. Res64: 2D91D732EF10287D Time : 0.0 sec. user=mdettweiler [2016-04-09 15:29:31] 897*2^1425788-1 is not prime. Res64: BE429EC3BD886319 Time : 0.0 sec. user=mdettweiler [2016-04-09 15:29:32] 993*2^1425788-1 is not prime. Res64: F3FB01EEEDE02043 Time : 0.0 sec. user=mdettweiler [2016-04-09 15:29:32] 825*2^1425789-1 is not prime. Res64: 1E1DA6DA9DF40AA9 Time : 0.0 sec. user=mdettweiler [2016-04-09 15:29:32] 895*2^1425789-1 is not prime. Res64: F25EAEB96D3EF987 Time : 0.0 sec. user=mdettweiler [2016-04-09 15:32:05] 907*2^1425789-1 is not prime. Res64: 6BD515813C23A267 Time : 0.0 sec. user=mdettweiler [2016-04-09 15:32:05] 921*2^1425789-1 is not prime. Res64: 8210DFF539C69FD6 Time : 0.0 sec. user=mdettweiler [2016-04-09 15:32:06] 825*2^1425790-1 is not prime. Res64: 18CD967466BA21A3 Time : 0.0 sec. user=mdettweiler [2016-04-09 15:32:06] 833*2^1425790-1 is not prime. Res64: 4EA8724292079280 Time : 0.0 sec. user=mdettweiler [2016-04-09 15:32:06] 843*2^1425790-1 is not prime. Res64: C3102CD596901646 Time : 0.0 sec. user=mdettweiler [2016-04-09 16:01:27] 945*2^1425790-1 is not prime. Res64: A3B80F5EC38D8CFC Time : 0.0 sec. user=mdettweiler [2016-04-09 16:01:28] 1001*2^1425790-1 is not prime. Res64: 18E812DCFC4FE4B5 Time : 0.0 sec. user=mdettweiler [2016-04-09 16:01:29] 673*2^1425791-1 is not prime. Res64: 5122E03A53EEFBBD Time : 0.0 sec. user=mdettweiler [2016-04-09 16:01:30] 813*2^1425791-1 is not prime. Res64: 69E6E38ACB85C464 Time : 0.0 sec. user=mdettweiler [2016-04-09 16:01:31] 855*2^1425791-1 is not prime. Res64: 8D7D81C507E68DD0 Time : 0.0 sec. user=mdettweiler [2016-04-09 16:16:46] 859*2^1425791-1 is not prime. Res64: 2351ED031758C2D9 Time : 0.0 sec. user=mdettweiler [2016-04-09 16:16:46] 895*2^1425791-1 is not prime. Res64: D4DE6EA697021B00 Time : 0.0 sec. user=mdettweiler [2016-04-09 16:16:46] 609*2^1425792-1 is not prime. Res64: 7ECDABB0E7E50668 Time : 0.0 sec. user=mdettweiler [2016-04-09 16:16:47] 633*2^1425792-1 is not prime. Res64: 4F223EA816D5E937 Time : 0.0 sec. user=mdettweiler [2016-04-09 16:16:47] 725*2^1425792-1 is not prime. Res64: 3D69402AAE5D5A52 Time : 0.0 sec. user=mdettweiler [2016-04-09 16:18:32] 753*2^1425792-1 is not prime. Res64: 6E8F955FF3207D56 Time : 0.0 sec. user=mdettweiler [2016-04-09 16:18:32] 759*2^1425792-1 is not prime. Res64: 0C2F156C1917A16F Time : 0.0 sec. user=mdettweiler [2016-04-09 16:18:32] 819*2^1425792-1 is not prime. Res64: 0242BE60C97BC8A6 Time : 0.0 sec. user=mdettweiler [2016-04-09 16:18:32] 837*2^1425792-1 is not prime. Res64: 61F1AF7C86830669 Time : 0.0 sec. user=mdettweiler [2016-04-09 16:18:33] 873*2^1425792-1 is not prime. Res64: A18CFF128373F327 Time : 0.0 sec. user=mdettweiler [2016-04-09 16:20:34] 947*2^1425792-1 is not prime. Res64: 0A3A9BA8A29F115F Time : 0.0 sec. user=mdettweiler [2016-04-09 16:20:34] 615*2^1425793-1 is not prime. Res64: ADCCFD3F13EA8C46 Time : 0.0 sec. user=mdettweiler [2016-04-09 16:20:35] 751*2^1425793-1 is not prime. Res64: E78ADCC958A4FD9D Time : 0.0 sec. user=mdettweiler [2016-04-09 16:20:35] 775*2^1425793-1 is not prime. Res64: BD2422A35064DA21 Time : 0.0 sec. user=mdettweiler [2016-04-09 16:20:35] 829*2^1425793-1 is not prime. Res64: D12BB5F8611F553D Time : 0.0 sec. user=mdettweiler [2016-04-09 16:46:38] 919*2^1425793-1 is not prime. Res64: 986D332AA856734F Time : 0.0 sec. user=mdettweiler [2016-04-09 16:46:39] 903*2^1425794-1 is not prime. Res64: 423DAD9088FC86F2 Time : 0.0 sec. user=mdettweiler [2016-04-09 16:46:39] 915*2^1425794-1 is not prime. Res64: EF10EB65F3419B52 Time : 0.0 sec. user=mdettweiler [2016-04-09 16:46:39] 921*2^1425794-1 is not prime. Res64: 6477477E2FD4839D Time : 0.0 sec. user=mdettweiler [2016-04-09 16:46:39] 971*2^1425794-1 is not prime. Res64: 30A275D409ED8AAD Time : 0.0 sec. user=mdettweiler [2016-04-09 17:02:01] 981*2^1425794-1 is not prime. Res64: 0A404688FE76C3F6 Time : 0.0 sec. user=mdettweiler [2016-04-09 17:02:01] 639*2^1425795-1 is not prime. Res64: D8C9FBF222F1CED2 Time : 0.0 sec. user=mdettweiler [2016-04-09 17:02:02] 669*2^1425795-1 is not prime. Res64: 926DAAF38DAFA8DA Time : 0.0 sec. user=mdettweiler [2016-04-09 17:02:02] 735*2^1425795-1 is not prime. Res64: AEFEB5B88B7F1A0F Time : 0.0 sec. user=mdettweiler [2016-04-09 17:02:03] 765*2^1425795-1 is not prime. Res64: 4A0EDB6873A814A0 Time : 0.0 sec. user=mdettweiler [2016-04-09 17:03:44] 609*2^1425796-1 is not prime. Res64: E154BB47FF893EA8 Time : 0.0 sec. user=mdettweiler [2016-04-09 17:03:46] 653*2^1425796-1 is not prime. Res64: 96F475E8788E8877 Time : 0.0 sec. user=mdettweiler [2016-04-09 17:03:47] 705*2^1425796-1 is not prime. Res64: A72764B1703D9FD3 Time : 0.0 sec. user=mdettweiler [2016-04-09 17:03:48] 845*2^1425796-1 is not prime. Res64: 7AFFBE1D3787A17B Time : 0.0 sec. user=mdettweiler [2016-04-09 17:03:49] 903*2^1425796-1 is not prime. Res64: 5E89979BF665F63D Time : 0.0 sec. user=mdettweiler [2016-04-09 17:05:49] 969*2^1425796-1 is not prime. Res64: A1ACEBD5E9513FC1 Time : 0.0 sec. user=mdettweiler [2016-04-09 17:05:50] 649*2^1425797-1 is not prime. Res64: 30A68C4E34EBE5CF Time : 0.0 sec. user=mdettweiler [2016-04-09 17:05:51] 771*2^1425797-1 is not prime. Res64: 59678F1B5DD26640 Time : 0.0 sec. user=mdettweiler [2016-04-09 17:05:52] 801*2^1425797-1 is not prime. Res64: 6AF2B39F900FC2A8 Time : 0.0 sec. user=mdettweiler [2016-04-09 17:05:53] 871*2^1425797-1 is not prime. Res64: B79451ADA0451399 Time : 0.0 sec. user=mdettweiler [2016-04-09 17:31:49] 879*2^1425797-1 is not prime. Res64: FD90A6240AE8BBD0 Time : 0.0 sec. user=mdettweiler [2016-04-09 17:31:49] 937*2^1425797-1 is not prime. Res64: 4745558FC4228C31 Time : 0.0 sec. user=mdettweiler [2016-04-09 17:31:50] 621*2^1425798-1 is not prime. Res64: 1FCDD433AFF2378A Time : 0.0 sec. user=mdettweiler [2016-04-09 17:31:50] 627*2^1425798-1 is not prime. Res64: B0496129252FB82B Time : 0.0 sec. user=mdettweiler [2016-04-09 17:31:50] 663*2^1425798-1 is not prime. Res64: 5E99587D4736B329 Time : 0.0 sec. user=mdettweiler [2016-04-09 17:47:27] 795*2^1425798-1 is not prime. Res64: 512A3E56CFC6D2B2 Time : 0.0 sec. user=mdettweiler [2016-04-09 17:47:27] 843*2^1425798-1 is not prime. Res64: D53D21D7D01CA3BA Time : 0.0 sec. user=mdettweiler [2016-04-09 17:47:27] 867*2^1425798-1 is not prime. Res64: 9B2B5BB34FECA645 Time : 0.0 sec. user=mdettweiler [2016-04-09 17:47:27] 893*2^1425798-1 is not prime. Res64: 6E45BE0926EEBBF7 Time : 0.0 sec. user=mdettweiler [2016-04-09 17:47:28] 945*2^1425798-1 is not prime. Res64: FF1095EBEB3B7DD8 Time : 0.0 sec. user=mdettweiler [2016-04-09 17:49:10] 625*2^1425799-1 is not prime. Res64: A64720D0E9B5BC81 Time : 0.0 sec. user=mdettweiler [2016-04-09 17:49:11] 649*2^1425799-1 is not prime. Res64: 9DAF3CAB10C7B092 Time : 0.0 sec. user=mdettweiler [2016-04-09 17:49:11] 745*2^1425799-1 is not prime. Res64: A15D01AE0A955335 Time : 0.0 sec. user=mdettweiler [2016-04-09 17:49:11] 831*2^1425799-1 is not prime. Res64: DA48F9FE0AA22FBB Time : 0.0 sec. user=mdettweiler [2016-04-09 17:49:11] 843*2^1425799-1 is not prime. Res64: 512547EC8C91C4BA Time : 0.0 sec. user=mdettweiler [2016-04-09 17:51:04] 853*2^1425799-1 is not prime. Res64: 6EB0776760DC0DFF Time : 0.0 sec. user=mdettweiler [2016-04-09 17:51:04] 861*2^1425799-1 is not prime. Res64: 275F473454E4A66A Time : 0.0 sec. user=mdettweiler [2016-04-09 17:51:05] 889*2^1425799-1 is not prime. Res64: A413E75CC33CA949 Time : 0.0 sec. user=mdettweiler [2016-04-09 17:51:05] 895*2^1425799-1 is not prime. Res64: 0926B2C95FC40700 Time : 0.0 sec. user=mdettweiler [2016-04-09 17:51:05] 999*2^1425799-1 is not prime. Res64: 645762605E1D000B Time : 0.0 sec. user=mdettweiler [2016-04-09 18:17:34] 645*2^1425800-1 is not prime. Res64: 09C63898665A3C46 Time : 0.0 sec. user=mdettweiler [2016-04-09 18:17:35] 677*2^1425800-1 is not prime. Res64: 5AF5576A7BBECDB7 Time : 0.0 sec. user=mdettweiler [2016-04-09 18:17:35] 699*2^1425800-1 is not prime. Res64: D8DC15B1517B804D Time : 0.0 sec. user=mdettweiler [2016-04-09 18:17:35] 755*2^1425800-1 is not prime. Res64: 5FB3BE2DA5729CCC Time : 0.0 sec. user=mdettweiler [2016-04-09 18:17:36] 827*2^1425800-1 is not prime. Res64: 5F8D4DE654C05648 Time : 0.0 sec. user=mdettweiler [2016-04-09 18:33:08] 923*2^1425800-1 is not prime. Res64: 3BF449A44FB8F30E Time : 0.0 sec. user=mdettweiler [2016-04-09 18:33:09] 929*2^1425800-1 is not prime. Res64: E2C875F5A97FF104 Time : 0.0 sec. user=mdettweiler [2016-04-09 18:33:09] 977*2^1425800-1 is not prime. Res64: 1D9914AFA41A7CD9 Time : 0.0 sec. user=mdettweiler [2016-04-09 18:33:09] 609*2^1425801-1 is not prime. Res64: 94E26D9DE0C284EC Time : 0.0 sec. user=mdettweiler [2016-04-09 18:33:10] 627*2^1425801-1 is not prime. Res64: 6F26477AC17E3B51 Time : 0.0 sec. user=mdettweiler [2016-04-09 18:34:45] 661*2^1425801-1 is not prime. Res64: B863FBE8379F2C2D Time : 0.0 sec. user=mdettweiler [2016-04-09 18:34:45] 679*2^1425801-1 is not prime. Res64: 456EFAFC68749DF0 Time : 0.0 sec. user=mdettweiler [2016-04-09 18:34:45] 777*2^1425801-1 is not prime. Res64: 4A245D67A1EC66B7 Time : 0.0 sec. user=mdettweiler [2016-04-09 18:34:45] 811*2^1425801-1 is not prime. Res64: F5F6B5E0839D485B Time : 0.0 sec. user=mdettweiler [2016-04-09 18:34:46] 847*2^1425801-1 is not prime. Res64: B9C57E11163E4067 Time : 0.0 sec. user=mdettweiler [2016-04-09 18:37:04] 865*2^1425801-1 is not prime. Res64: C9C210F6247DE6CB Time : 0.0 sec. user=mdettweiler [2016-04-09 18:37:04] 623*2^1425802-1 is not prime. Res64: 8E91E49F8AA15FE5 Time : 0.0 sec. user=mdettweiler [2016-04-09 18:37:04] 701*2^1425802-1 is not prime. Res64: 0677194AA3007409 Time : 0.0 sec. user=mdettweiler [2016-04-09 18:37:04] 723*2^1425802-1 is not prime. Res64: B8366D00CB7D361F Time : 0.0 sec. user=mdettweiler [2016-04-09 18:37:05] 731*2^1425802-1 is not prime. Res64: 223533EC75D6C677 Time : 0.0 sec. user=mdettweiler [2016-04-09 19:04:03] 777*2^1425802-1 is not prime. Res64: BCB1FCB3472EACC4 Time : 0.0 sec. user=mdettweiler [2016-04-09 19:04:05] 911*2^1425802-1 is not prime. Res64: 10714C8516815FFF Time : 0.0 sec. user=mdettweiler [2016-04-09 19:04:06] 941*2^1425802-1 is not prime. Res64: 9CBA5748EFB75FCA Time : 0.0 sec. user=mdettweiler [2016-04-09 19:04:07] 663*2^1425803-1 is not prime. Res64: AC783FAA37D05611 Time : 0.0 sec. user=mdettweiler [2016-04-09 19:04:08] 735*2^1425803-1 is not prime. Res64: 95FE416FA57B82AB Time : 0.0 sec. user=mdettweiler [2016-04-09 19:19:59] 741*2^1425803-1 is not prime. Res64: 60D8F300E8949B87 Time : 0.0 sec. user=mdettweiler [2016-04-09 19:19:59] 775*2^1425803-1 is not prime. Res64: A18AC44338F024C9 Time : 0.0 sec. user=mdettweiler [2016-04-09 19:20:00] 871*2^1425803-1 is not prime. Res64: FA74E8AC2B442C08 Time : 0.0 sec. user=mdettweiler [2016-04-09 19:20:00] 963*2^1425803-1 is not prime. Res64: 363C53C53E4FA970 Time : 0.0 sec. user=mdettweiler [2016-04-09 19:20:00] 635*2^1425804-1 is not prime. Res64: 1BF2984EF3D2CFC0 Time : 0.0 sec. user=mdettweiler [2016-04-09 19:22:07] 969*2^1425804-1 is not prime. Res64: AAEA530602D93EF2 Time : 0.0 sec. user=mdettweiler [2016-04-09 19:22:07] 645*2^1425805-1 is not prime. Res64: 15A29D984C1AAD39 Time : 0.0 sec. user=mdettweiler [2016-04-09 19:22:08] 649*2^1425805-1 is not prime. Res64: 9D00F2883BB9989F Time : 0.0 sec. user=mdettweiler [2016-04-09 19:22:08] 721*2^1425805-1 is not prime. Res64: AFDB3CB27E0E1C95 Time : 0.0 sec. user=mdettweiler [2016-04-09 19:22:08] 895*2^1425805-1 is not prime. Res64: A5312126F2411255 Time : 0.0 sec. user=mdettweiler [2016-04-09 19:23:38] 955*2^1425805-1 is not prime. Res64: BA47E51F573FA168 Time : 0.0 sec. user=mdettweiler [2016-04-09 19:23:39] 987*2^1425805-1 is not prime. Res64: A77EE16A7E13C944 Time : 0.0 sec. user=mdettweiler [2016-04-09 19:23:39] 999*2^1425805-1 is not prime. Res64: 4FE5953D0DEE41CF Time : 0.0 sec. user=mdettweiler [2016-04-09 19:23:40] 603*2^1425806-1 is not prime. Res64: F0012C77C9A4BBD8 Time : 0.0 sec. user=mdettweiler [2016-04-09 19:23:40] 623*2^1425806-1 is not prime. Res64: 495A8E5A5AF60F82 Time : 0.0 sec. user=mdettweiler [2016-04-09 19:49:37] 635*2^1425806-1 is not prime. Res64: 0E7A93781A1A4640 Time : 0.0 sec. user=mdettweiler [2016-04-09 19:49:37] 651*2^1425806-1 is not prime. Res64: 44597445461C5A62 Time : 0.0 sec. user=mdettweiler [2016-04-09 19:49:37] 693*2^1425806-1 is not prime. Res64: 219776EF67DBD825 Time : 0.0 sec. user=mdettweiler [2016-04-09 19:49:37] 785*2^1425806-1 is not prime. Res64: 94482A963816432B Time : 0.0 sec. user=mdettweiler [2016-04-09 19:49:38] 831*2^1425806-1 is not prime. Res64: 19B88FFA04EADD14 Time : 0.0 sec. user=mdettweiler [2016-04-09 20:05:13] 917*2^1425806-1 is not prime. Res64: 65A1A0373178842F Time : 0.0 sec. user=mdettweiler [2016-04-09 20:05:14] 923*2^1425806-1 is not prime. Res64: BD6897E8789DD238 Time : 0.0 sec. user=mdettweiler [2016-04-09 20:05:15] 1001*2^1425806-1 is not prime. Res64: 10498E9B656E0B95 Time : 0.0 sec. user=mdettweiler [2016-04-09 20:05:15] 693*2^1425807-1 is not prime. Res64: 08DF81B0AF4BE2C7 Time : 0.0 sec. user=mdettweiler [2016-04-09 20:05:16] 775*2^1425807-1 is not prime. Res64: F410F8F8B9A5D52E Time : 0.0 sec. user=mdettweiler [2016-04-09 20:07:09] 795*2^1425807-1 is not prime. Res64: 75AD07016413A371 Time : 0.0 sec. user=mdettweiler [2016-04-09 20:07:09] 913*2^1425807-1 is not prime. Res64: 1D9FF3FEC575522E Time : 0.0 sec. user=mdettweiler [2016-04-09 20:07:10] 979*2^1425807-1 is not prime. Res64: 3AF8FE23D4AD874B Time : 0.0 sec. user=mdettweiler [2016-04-09 20:07:10] 705*2^1425808-1 is not prime. Res64: 343125F3E82F2ABB Time : 0.0 sec. user=mdettweiler [2016-04-09 20:07:10] 747*2^1425808-1 is not prime. Res64: CD2840982543209A Time : 0.0 sec. user=mdettweiler [2016-04-09 20:08:35] 849*2^1425808-1 is not prime. Res64: 02E1935F5340EBC9 Time : 0.0 sec. user=mdettweiler [2016-04-09 20:08:35] 927*2^1425808-1 is not prime. Res64: E941D70A4193752E Time : 0.0 sec. user=mdettweiler [2016-04-09 20:08:35] 675*2^1425809-1 is not prime. Res64: 9660968024A4C51B Time : 0.0 sec. user=mdettweiler [2016-04-09 20:08:36] 685*2^1425809-1 is not prime. Res64: CF1D544DB51BBDB5 Time : 0.0 sec. user=mdettweiler [2016-04-09 20:08:36] 705*2^1425809-1 is not prime. Res64: AB3F83C49DCE5EE7 Time : 0.0 sec. user=mdettweiler [2016-04-09 20:34:36] 711*2^1425809-1 is not prime. Res64: 7BC3CD77A82E09CB Time : 0.0 sec. user=mdettweiler [2016-04-09 20:34:36] 775*2^1425809-1 is not prime. Res64: 569AABE0704F955E Time : 0.0 sec. user=mdettweiler [2016-04-09 20:34:36] 787*2^1425809-1 is not prime. Res64: 03B0C491582FAFC4 Time : 0.0 sec. user=mdettweiler [2016-04-09 20:34:37] 801*2^1425809-1 is not prime. Res64: 69521D24BFE1A697 Time : 0.0 sec. user=mdettweiler [2016-04-09 20:34:37] 879*2^1425809-1 is not prime. Res64: 69761A22B50A8099 Time : 0.0 sec. user=mdettweiler [2016-04-09 20:50:34] 949*2^1425809-1 is not prime. Res64: 033CC5BDE8F05B02 Time : 0.0 sec. user=mdettweiler [2016-04-09 20:50:34] 987*2^1425809-1 is not prime. Res64: CC1D0F92FD92D45A Time : 0.0 sec. user=mdettweiler [2016-04-09 20:50:34] 997*2^1425809-1 is not prime. Res64: F24E822AECB45B59 Time : 0.0 sec. user=mdettweiler [2016-04-09 20:50:35] 677*2^1425810-1 is not prime. Res64: 5795A59F0E6E51B7 Time : 0.0 sec. user=mdettweiler [2016-04-09 20:50:35] 735*2^1425810-1 is not prime. Res64: 06CF20A3F80FEF47 Time : 0.0 sec. user=mdettweiler [2016-04-09 20:52:15] 765*2^1425810-1 is not prime. Res64: 02CCE21F5715756F Time : 0.0 sec. user=mdettweiler [2016-04-09 20:52:15] 773*2^1425810-1 is not prime. Res64: A32753F965486381 Time : 0.0 sec. user=mdettweiler [2016-04-09 20:52:15] 825*2^1425810-1 is not prime. Res64: DC01C8FB4614FD1E Time : 0.0 sec. user=mdettweiler [2016-04-09 20:52:15] 917*2^1425810-1 is not prime. Res64: 8431758C75E7C1D3 Time : 0.0 sec. user=mdettweiler [2016-04-09 20:52:16] 951*2^1425810-1 is not prime. Res64: 0381BD3EB7727559 Time : 0.0 sec. user=mdettweiler [2016-04-09 20:53:41] 645*2^1425811-1 is not prime. Res64: 4B56CBADB978062A Time : 0.0 sec. user=mdettweiler [2016-04-09 20:53:42] 733*2^1425811-1 is not prime. Res64: D0FFEF89AAB27C52 Time : 0.0 sec. user=mdettweiler [2016-04-09 20:53:42] 829*2^1425811-1 is not prime. Res64: 673634A6DDFA3413 Time : 0.0 sec. user=mdettweiler [2016-04-09 20:53:42] 603*2^1425812-1 is not prime. Res64: ACB442C68ED351A6 Time : 0.0 sec. user=mdettweiler [2016-04-09 20:53:42] 615*2^1425812-1 is not prime. Res64: 2A0F9C6B8D690AFA Time : 0.0 sec. user=mdettweiler [2016-04-09 21:19:23] 629*2^1425812-1 is not prime. Res64: 6EE43428A6B7B597 Time : 0.0 sec. user=mdettweiler [2016-04-09 21:19:23] 635*2^1425812-1 is not prime. Res64: 9B7C4455A0DD6585 Time : 0.0 sec. user=mdettweiler [2016-04-09 21:19:23] 689*2^1425812-1 is not prime. Res64: 1FFBEA98CE864CF9 Time : 0.0 sec. user=mdettweiler [2016-04-09 21:19:24] 759*2^1425812-1 is not prime. Res64: 884C65684952376D Time : 0.0 sec. user=mdettweiler [2016-04-09 21:19:24] 825*2^1425812-1 is not prime. Res64: 3956D66A00090526 Time : 0.0 sec. user=mdettweiler [2016-04-09 21:35:28] 837*2^1425812-1 is not prime. Res64: 88E763F276377CBC Time : 0.0 sec. user=mdettweiler [2016-04-09 21:35:28] 999*2^1425812-1 is not prime. Res64: FD35F1A0BE2782B6 Time : 0.0 sec. user=mdettweiler [2016-04-09 21:35:29] 691*2^1425813-1 is not prime. Res64: 2B281D39F2F42C88 Time : 0.0 sec. user=mdettweiler [2016-04-09 21:35:29] 759*2^1425813-1 is not prime. Res64: F63B7864B4B3819B Time : 0.0 sec. user=mdettweiler [2016-04-09 21:35:29] 817*2^1425813-1 is not prime. Res64: 022DD446D803743C Time : 0.0 sec. user=mdettweiler [2016-04-09 21:37:24] 847*2^1425813-1 is not prime. Res64: A53D7C946890532C Time : 0.0 sec. user=mdettweiler [2016-04-09 21:37:24] 871*2^1425813-1 is not prime. Res64: 39BCE4B47D5DB9A2 Time : 0.0 sec. user=mdettweiler [2016-04-09 21:37:24] 877*2^1425813-1 is not prime. Res64: E2BFD8D513512FA2 Time : 0.0 sec. user=mdettweiler [2016-04-09 21:37:24] 891*2^1425813-1 is not prime. Res64: 5F5F01A0160213FE Time : 0.0 sec. user=mdettweiler [2016-04-09 21:37:25] 927*2^1425813-1 is not prime. Res64: F5BA7B8DC6B7DE3D Time : 0.0 sec. user=mdettweiler [2016-04-09 21:38:54] 949*2^1425813-1 is not prime. Res64: EEC5387807A6A9A9 Time : 0.0 sec. user=mdettweiler [2016-04-09 21:38:55] 991*2^1425813-1 is not prime. Res64: 2B210E656B10A433 Time : 0.0 sec. user=mdettweiler [2016-04-09 21:38:55] 665*2^1425814-1 is not prime. Res64: CB6E060F251BB142 Time : 0.0 sec. user=mdettweiler [2016-04-09 21:38:55] 755*2^1425814-1 is not prime. Res64: DA3F8B9C6A5909D1 Time : 0.0 sec. user=mdettweiler [2016-04-09 21:38:55] 791*2^1425814-1 is not prime. Res64: 836A98941147E52B Time : 0.0 sec. user=mdettweiler [2016-04-09 22:04:27] 863*2^1425814-1 is not prime. Res64: 3DF36BE37534D3B9 Time : 0.0 sec. user=mdettweiler [2016-04-09 22:04:28] 799*2^1425815-1 is not prime. Res64: 43FAF3596144BAE6 Time : 0.0 sec. user=mdettweiler [2016-04-09 22:04:29] 823*2^1425815-1 is not prime. Res64: F75760D37B93B7E3 Time : 0.0 sec. user=mdettweiler [2016-04-09 22:04:30] 653*2^1425816-1 is not prime. Res64: D9C8B0C8E3D646C0 Time : 0.0 sec. user=mdettweiler [2016-04-09 22:04:32] 717*2^1425816-1 is not prime. Res64: 7783A55F5DCB367E Time : 0.0 sec. user=mdettweiler [2016-04-09 22:20:33] 767*2^1425816-1 is not prime. Res64: B2C3984BE799BE3A Time : 0.0 sec. user=mdettweiler [2016-04-09 22:20:33] 773*2^1425816-1 is not prime. Res64: EAC1FDEAB4826359 Time : 0.0 sec. user=mdettweiler [2016-04-09 22:20:34] 923*2^1425816-1 is not prime. Res64: AE14BE5805A69034 Time : 0.0 sec. user=mdettweiler [2016-04-09 22:20:34] 615*2^1425817-1 is not prime. Res64: FDFF246C560BE823 Time : 0.0 sec. user=mdettweiler [2016-04-09 22:20:34] 619*2^1425817-1 is not prime. Res64: A17D43D62B78A111 Time : 0.0 sec. user=mdettweiler [2016-04-09 22:22:38] 741*2^1425817-1 is not prime. Res64: 67ADA1ADD098C62B Time : 0.0 sec. user=mdettweiler [2016-04-09 22:22:38] 747*2^1425817-1 is not prime. Res64: 0650F170D671A976 Time : 0.0 sec. user=mdettweiler [2016-04-09 22:22:38] 777*2^1425817-1 is not prime. Res64: 167932D326546996 Time : 0.0 sec. user=mdettweiler [2016-04-09 22:22:39] 849*2^1425817-1 is not prime. Res64: C302501AA228C943 Time : 0.0 sec. user=mdettweiler [2016-04-09 22:22:39] 861*2^1425817-1 is not prime. Res64: 8A826D7B011A44D3 Time : 0.0 sec. user=mdettweiler [2016-04-09 22:24:09] 931*2^1425817-1 is not prime. Res64: 9A77C086491BF1AC Time : 0.0 sec. user=mdettweiler [2016-04-09 22:24:09] 937*2^1425817-1 is not prime. Res64: 3AF8819D3911F32E Time : 0.0 sec. user=mdettweiler [2016-04-09 22:24:09] 945*2^1425817-1 is not prime. Res64: 91813990BA9D7BD3 Time : 0.0 sec. user=mdettweiler [2016-04-09 22:24:09] 791*2^1425818-1 is not prime. Res64: 5150D34E803E5791 Time : 0.0 sec. user=mdettweiler [2016-04-09 22:24:10] 923*2^1425818-1 is not prime. Res64: 88D9F2019FFE2F12 Time : 0.0 sec. user=mdettweiler [2016-04-09 22:50:02] 679*2^1425819-1 is not prime. Res64: DF561232356D1C83 Time : 0.0 sec. user=mdettweiler [2016-04-09 22:50:02] 745*2^1425819-1 is not prime. Res64: DA8EB89A58DC8391 Time : 0.0 sec. user=mdettweiler [2016-04-09 22:50:02] 825*2^1425819-1 is not prime. Res64: 973949BD0996E004 Time : 0.0 sec. user=mdettweiler [2016-04-09 22:50:03] 873*2^1425819-1 is not prime. Res64: DFE003849BBD6F89 Time : 0.0 sec. user=mdettweiler [2016-04-09 22:50:03] 999*2^1425819-1 is not prime. Res64: 69420C5209369D7F Time : 0.0 sec. user=mdettweiler [2016-04-09 23:38:21] 893*2^1425822-1 is not prime. Res64: E5B2D6193B31C4C6 Time : 0.0 sec. user=mdettweiler [2016-04-09 23:38:22] 921*2^1425822-1 is not prime. Res64: F9868D6F80FAA735 Time : 0.0 sec. user=mdettweiler [2016-04-09 23:38:22] 965*2^1425822-1 is not prime. Res64: 84EBED7B6100DC03 Time : 0.0 sec. user=mdettweiler [2016-04-09 23:38:22] 977*2^1425822-1 is not prime. Res64: 8853137B8369D53A Time : 0.0 sec. user=mdettweiler [2016-04-09 23:38:22] 685*2^1425823-1 is not prime. Res64: 891FD252E7EBE5FD Time : 0.0 sec.